We left off last time (May 9th) after finding the fundamental solution to in
. Recall: the solution is
(where
is the surface area of the unit sphere in
).
Goal for this post: explore the physical significances behind this fundamental solution.
We begin by exploring in the entire
, but for simplicity, we will restrict ourselves to n = 3.
We know from before that when ,
. So what about at the origin?
Notice that the flux across the surface of any sphere is . This follows from the fact that
is in opposite direction of the normal vectors pointing outward of the surface of the sphere and the magnitude of
at each point on the surface is
. Since the surface area of the sphere is
, it follows that the total flux across the surface is
(if we take the direction of the normal vector pointing outwards to be positive). This is true for any sphere centered at the origin. We can extend this statement to any closed surface containing the origin. Why?
Explanation: Let’s call our chosen closed surface containing the origin . Find a sphere
of radius $\latex r$ that is completely contained in
. We consider the flux across the region lying between the
and
. Since
at all points not the origin, by the Divergence Theorem, it follows that the flux across this region must be 0. This means that the flux across the surface of
must cancel out with the flux across the surface of
. We have what we want.

We can make such closed surface arbitrarily small, as long as it contains the origin. What does this say about ?
for all
for all
containing the origin
Does this make us remember something? Yes, the -function! By definition,
.
Physical meaning of the fundamental solution, u: this represents the potential of a unit charge at 0. In the case for n = 3, .
A minor question: the potential corresponding to a positive charge should be non-negative, so are we assuming that this unit charge is a negative charge?
A nice change of view:

Key: we can go back and forth between potentials and fields.
The above diagram gives us a way of understanding electric fields on the plane as a “slice” of the electric field of a uniformly charged line in 3D.
We can compute the potential at point B in 2 ways:
- Find the electric field created by the line at point B and then compute the potential. Classic 🙂
- (slightly sketchy) We consider the picture to the right and restrict everything to the plane passing perpendicular to the line at A. We put the “entire” charge at point A (note: this is the weird part. The total charge on the line might be infinite. How can we put that all at A? Maybe I’m understanding this completely wrong…) and compute things on the plane.
Anyhow, Arnold warns us not to “add” all the potentials corresponding to each point. He then proceeds to give this formula:

This is certainly remarkable, given the LHS does not even converge. The RHS is the computation restricted onto the plane and the LHS (not too sure) is what happens when you “add” the potential corresponding to each point along the line.
So how do we compute the potential associated to a region of charge and not just a point charge?
Suppose on a region , at each point
, there is a charge of magnitude
, then the potential that this charge creates at a point x is:
(
). Aside: this solution is just simply a shift and scaled version of the original solution; where the initial solution reaches
at the origin, here it reaches
at y (this makes sense since the charge we are now considering is at y). The potential corresponding to a charge at a fixed radius is also directly proportional to the magnitude of the charge, hence, this explains why it suffices to scale
by
.
A minor question: Why do we take f(y) to be the magnitude of the charge? How would we then represent negative charges?
Then, by superposition, it follows that at point x, the potential corresponding to would be:
.
Then,
(assuming we can take derivative inside the integral).


It follows that in the region and is harmonic outside.
What about uniqueness of this solution ? It is up to adding by any harmonic function.
But if we impose the condition that at infinity, vanishes, then we have uniqueness (this follows from the maximum principle). What about when n = 2? Recall the fundamental solution is a scalar multiple of
. In this case, uniqueness is up to an addition of a constant and the condition we impose to obtain such uniqueness is for the solution to be bounded by logarithmic growth as x tends to infinity, i.e.
(for some k).
This is a very interesting phenomenon: harmonic functions on the plane whose growth is bounded by a logarithm must be constant. (Why?)
Leave a Reply