Green's Function for the Two-Dimensional, Radial Laplacian
In a previous blog post I derived the Green’s function for the three-dimensional, radial Laplacian in spherical coordinates. That post showed how the actual derivation of the Green’s function was relatively straightforward, but the verification of the answer was much more involved. At the end of the post, I commented on how many textbooks simplify the expression for the Green’s function, ignoring the limiting behavior around the origin ().
I decided to follow up that post with a similar derivation for the two-dimensional, radial Laplacian. The derivations are almost identical - in fact, throughout this post, I will refer to the spherical Laplacian in a few places. You might want to read over the previous blog post before tackling this one.
Derivation of the Green’s Function
Consider Poisson’s equation in polar coordinates.
We can expand the Laplacian in terms of the coordinate system. I looked up the full Laplacian on Wolfram Mathworld (i.e. cylindrical coordinates without the z-component).
Some textbooks write the equation in a slightly different form; they expand the derivatives with respect to , yielding:
In this derivation, I am going to keep the original form of the Laplacian because it will make it easier to use integration by parts. We are only interested in the radial Green’s function here, so we can immediately simplify the expression to include only radial terms.
We are looking for a Green’s function that satisfies:
Let’s point something out right off the bat. In the previous blog post, I set the Green’s function equal to wheras here, I set it equal to without the constant. Why is that?
It’s because physicists love to mix all sorts of conventions and confuse people :P
Traditionally, mathematicians use in all cases. However, it is convenient to use for the derivation of the three-dimensional Green’s function for the Laplacian in spherical coordinates for a number of reasons. The final ouput is simple (no constants aside from a negative sign), the constant describes the solid angle of a sphere, and the answer aligns with CGS units in electromagnetism. However, I have not come across any sources where the 2D Green’s function is set to . Thus, sticking with tradition, I will use .
If this change of notation rubs you the wrong way, you can go back to my previous blog post and re-derive the Green’s function using without the constant of . Your answer will (unsurprisingly) be rather than .
Let’s integrate both sides of the expression above with respect to . This will eliminate the Dirac delta function in the expression.
Whenever we see derivatives within an integral, there is a chance that the integral might be simplified by integration by parts. It turns out that integration by parts works splendidly in this case.
The expression becomes:
Similar to the radial Laplacian in spherical coordinates, we can use integration by parts a second time to simplify the integral in the expression above.
We expand the expression using integration by parts once again.
It is generally preferable to work with differential equations rather than integral equations. Thus, on each side of the expression above, we can take the derivative with respect to ; this will eliminate the integral in the expression. Remember that is a function of , so we have to use the quotient rule on the term.
Similar to the case of the radial, spherical Laplacian, we have simplified the expression for into a straightforward, differential equation. I am going to guess and check the solution where and are some constants.
Thus, we see that the solution solves the differential equation. Notice how is simply an additive constant in the expression. We usually set this constant equal to zero in order to obtain the fundamental solution of the differential equation. Thus, we will use the function for the remainder of this post.
Checking the Solution
Like the derivation in the previous blog post, we need to check that our solution makes sense. And like the previous blog post, we run into a small problem.
Zero is not our expected output - we were expecting a Dirac delta function. The reason that we are not getting the expected output is that the domain of the solution does not include the origin (we divided by throughout the derivation). We need to analyze the solution in the limiting case of . The strategy is identical to the previous blog post.
Define a function where:
As approaches zero, approaches the Green’s function . Let’s plug the expression into the Laplacian and simplify.
Remember that by the definition of a Green’s function, the Laplacian of (or more correctly, the Laplacian of the limiting case of ), will yield . If that is true, I should be able to integrate over all space and get one. Let’s try doing just that:
If we are going to integrate over all space, we need to take the limit of this expression as . Once again, we turn to L’Hopital’s rule.
When , the Laplacian of satisfies the condition that the integral must equal one. Finally, let’s verify that the Laplacian of is actually a Dirac delta function. We will define one final function, :
What is the value of this function in the limit of ? If is non-zero, the limit is very simple:
However, if is equal to zero, we need to use L’Hopital’s rule to simplify the expression.
This becomes infinitely large when .
The Final Solution
We can now tie everything together in a similar method as the previous post. In the limit of , the function is infinitely large at the origin and zero everywhere else. Thus, is a Dirac delta function .
The function is equal to the Laplacian of (remember that the constant is equal to one since ). This means that in the limit as , the function is equal to a Dirac delta function.
Finally, the limiting case of as is equal to the Green’s function . Thus, the Laplacian of the Green’s function is a Dirac delta function. Just what we needed.
Until next time!