Green's Function for the Three-Dimensional, Radial Laplacian
The Laplace operator or Laplacian () appears in a variety of differential equations that describe physical phenomena; topics include gravitational potential, diffusion, electromagnetic fields, quantum mechanics, and many others. All students of physics come across Poisson’s equation since it is one of the simplest, inhomogeneous differential equations involving the Laplacian.
In the expression above, is the Laplacian, is a known function, and is a function that we must solve for. Techniques like separation of variables are commonly used to solve for when is separable, but solving for can become very complicated in more sophisticated cases.
Green’s functions are a staple in upper-level physics because they can be used to simplify or solve more complicated expressions (like when is not separable). In this post, we will derive the Green’s function for the three-dimensional Laplacian in spherical coordinates.
Derivation of the Green’s Function
Consider Poisson’s equation in spherical coordinates.
We can expand the Laplacian in terms of the coordinate system. I looked up the full Laplacian on Wolfram Mathworld.
Since we are only interested in the radial Green’s function, we can immediately simplify the expression above to include only radial terms. Anything with a or gets canceled:
We want to find the Green’s function for the Laplace operator. In other words, we are looking for a function that satisfies:
Using the expression for the Laplacian from above, we get:
Since the right-hand side of the equation contains a Dirac delta function, it seems natural to integrate both sides with respect to . The expression becomes:
The derivatives within the integral suggest that this expression might be simplified by integration by parts. Let’s give it a shot:
Thus, the expression becomes:
This integral looks a little simpler, but we can do better! We can use integration by parts a second time to simplify it even further.
We expand the expression once again.
Dealing with derivatives is usually easier than dealing with integral equations. Thus, we should take the derivative with respect to on each side in order to eliminate the integral. Note that is a function of , so we have to use the quotient rule on the term. This causes a couple of terms to cancel out nicely.
Hooray! We turned Poisson’s equation for into a slightly less difficult to solve differential equation for !
Solving the Second Differential Equation
You can solve this new differential equation in a number of ways. I am going to use a tried and true method of analysis - guess and check! I am going to guess a solution of since that seems to fit pretty well. The variable A is some constant.
Thus, we see that is the solution for our differential equation above. Or is it…?
Update (November 12, 2016): Technically, the solution of this differential equation is where both and are constants. However, we usually set equal to zero in order to obtain the so-called fundamental solution. The fundamental solution ignores scaling by a constant and instead looks at the properties of how changes with .
Checking the Solution
We have a bit of a problem. Suppose I plug back into the Laplacian. Let’s see what happens:
Technically speaking, that is not our expected output. We were expecting a Dirac delta function and instead got zero. So what gives?
Remember, we divided by throughout the derivation, so the domain of the solution cannot include the origin . We can, however, analyze the solution in the limiting case. Suppose we define a function where:
As approaches zero, approaches the Green’s function . Let’s plug the expression into the Laplacian and turn the crank.
Ok, we are getting some expression with ’s and ’s. What does it mean?
Remember, I claimed that 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 . 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 . This is a job for L’Hopital’s rule!
It seems that when , the Laplacian of satisfies our conditions. Let’s define one last function to simplify the expression. I promise we are in the home stretch!
We should take a good, long look at this equation in the limit of . If is non-zero, the limit is very simple:
If is equal to zero, we need to use L’Hopital’s rule to simplify the expression.
This becomes infinitely large when .
Putting It All Together
Let’s tie everything together. In the limiting case of , the function is infinitely large at the origin and zero everywhere else. This means that is a Dirac delta function .
The function is equal to the Laplacian of , multiplied by a constant. Thus, in the limit as , the function is equal to a Dirac delta function (times a constant).
But remember that the limiting case of as is equivalent to the Green’s function . Thus, the Laplacian of the Green’s function is a Dirac delta function times the constant . This is exactly what we set out to prove in the first place! Woot!
One final thought. You often see the following expression written out in textbooks:
Technically, this is not entirely correct because is undefined at the origin. It should really be written as the following.
This comes directly from the analysis above.
Until next time!