Note: Laplacian Discovering Preharmonics

The goal of defining preharmonic functions and producing a means of upgrading them to actual harmonics is to simplify the problem of finding solutions to $\mathrm{\Delta }\phi =0$ on a manifold $(M,g)$. Inside the space of preharmonic functions, the actual harmonics have infinite codimension, so we’ve in some sense taken care of an infinite number of degrees of freedom. Unfortunately this still leaves infinitely many more, as the preharmonics are also infinite codimension in the smooth functions on $M$. The goal of this note is to illustrate one technique of finding preharmonic functions, by guessing a simple ansatz, and plug this into the preharmonic condition to get some equations to solve.

We illustrate this technique on the Euclidean plane, where we begin in cartesian coordinates to obscure the rotational symmetry. Our nice ansatze are that there is a preharmonic function that is additively separable (so $g(x,y)=a(x)+b(y)$) or multiplicatively separable (so $g(x,y)=a(x)b(y)$). Using the preharmonic condition, we find explicit solutions of both of these forms, and use them to derive the fundamental solution of the Laplacian. This is of note because the fundamental solution itself is neither additively nor multiplicatively separable. Thus, this technique gives strictly more power to the ansatz-guesser than trying to work with the Laplacian directly.

The Setup

Recall the general theory. A function $F:M\to \mathbb{R}$ is preharmonic if and only if it has the same level sets as a true harmonic function. With some work this reduces to the following equation: $F$ is preharmonic if and only if $$|\mathrm{\nabla }F{|}^2,d(\mathrm{\Delta }F,dF)=\mathrm{\Delta }f,d(|\mathrm{\nabla }F{|}^2,dF)$$

Then, if $F$ is preharmonic function, write $\frac{\mathrm{\Delta }F}{|\mathrm{\nabla }F{|}^2}=h\circ F$ for some $h:\mathbb{R}\to \mathbb{R}$. Then $f\circ F$ is harmonic, for $f:\mathbb{R}\to \mathbb{R}$ below: $$f(x)=\int e^{-\int h(x)dx}dx$$

Euclidean Geometry

For this example we work in the Euclidean plane ${\mathbb{E}}^2$. We define coordinates by choosing a point $O\in {\mathbb{E}}^2$ and two orthogonal geodesics $\mathrm{vert}$ and $\mathrm{horiz}$ through $O$. We then define the following two functions ${\mathbb{E}}^2\to \mathbb{R}$:

$$X(-)=\mathrm{dist}(-,\mathrm{vert})Y(-)=\mathrm{dist}(-,\mathrm{horiz})$$

The differentials $dX,dY$ are unit length as $X,Y$ are distance functions. The level sets of these functions are equidistant curves to the vertical and horizontal geodesics, which themselves are orthogonal geodesics (since ${\mathbb{E}}^2$ is flat). Thus, $\mathrm{vol}=dX\wedge dY$ and putting these facts together yields $$⟨dX,dY⟩=0|dX|=|dY|=1$$ $$\star dX=dY\star dY=-dX$$

From this its straightforward to compute the Laplacians of $X,Y$. We do $X$, the $Y$ case is analogous. $$\mathrm{\Delta }X=\star d\star dX=\star d(\star dX)=\star d(dY)=\star (d^{2}Y)=\star 0=0$$

These facts together with the chain rule for the Laplacian let us compute $\mathrm{\Delta }g(X,Y)$ for a function $g:{\mathbb{R}}^2\to \mathbb{R}$: $$\begin{array}{rlrl}\mathrm{\Delta }g(X,Y)& =g_{11}(X,Y)|dX{|}^2+g_{22}(X,Y)|dY{|}^2+g_1(X,Y)\mathrm{\Delta }X+g_2(X,Y)\mathrm{\Delta }Y& =g_{11}(X,Y)(1)+g_{22}(X,Y)(1)+g_1(X,Y)(0)+g_2(X,Y)(0)& =g_{11}(X,Y)+g_{22}(X,Y)\end{array}$$

(Of course, we already know this that in Cartesian coordinates $\mathrm{\Delta }={\partial }_x^2+{\partial }_y^2$ but….)

Additively Separable

Here we propose to find a preharmonic function $g(X,Y)$ which is additively separable meaning there are two functions $a,b:\mathbb{R}\to \mathbb{R}$ such that $$g(X,Y)=a(X)+b(Y)$$ The preharmonic condition on $g(X,Y)$ requires we compute $\mathrm{\Delta }g$ and $|\mathrm{\nabla }g{|}^2=|dg{|}^2$ so we begin with those: $$\begin{array}{rlrl}dg(X,Y)& =d(a(X)+b(Y))& =d(a(X))+d(b(Y))& =a^{\prime }(X)dX+b^{\prime }(Y)dY\end{array}$$ Then as $dX,dY$ from an orthonormal basis at each point,

$$\begin{array}{rlr}|dg{|}^2=⟨dg,dg⟩& =(a^{\prime }{)}^2|dX{|}^2+2a^{\prime }{b}^{\prime }⟨dX,dY⟩+(b^{\prime }{)}^2|dY{|}^2& =(a^{\prime }{)}^2+(b^{\prime }{)}^2\end{array}$$

And, using our formula for the laplacian chain rule,

$$\mathrm{\Delta }g(X,Y)=a^{\prime \prime }+b^{\prime \prime }$$

The preharmonic condition on $g$ requires that

$$|dg{|}^2,[d\mathrm{\Delta }g\wedge dg]=\mathrm{\Delta }g,[d|dg{|}^2\wedge dg]$$

The easiest way to satisfy this equation would be for both sides to constantly equal zero. And, since we are looking for simple solutions, let’s impose that!

$$\{\begin{array}{l}d\mathrm{\Delta }g\wedge dg=0d|dg{|}^2\wedge dg=0\end{array}$$

Computing the first equation: $$d(\mathrm{\Delta }g)=d(a^{\prime \prime }+b^{\prime \prime })=a^{\prime \prime \prime }dX+b^{\prime \prime \prime }dY$$ So $$\begin{array}{rlrl}d(\mathrm{\Delta }g)\wedge dg& =(a^{\prime \prime \prime }dX+b^{\prime \prime \prime }dY)\wedge (a^{\prime }dX+b^{\prime }dY)& =a^{\prime \prime \prime }{b}^{\prime }dX\wedge dY+b^{\prime \prime \prime }{a}^{\prime }dY\wedge dX& =(a^{\prime \prime \prime }{b}^{\prime }-b^{\prime \prime \prime }{a}^{\prime })\mathrm{vol}\end{array}$$

For the second equation,

$$d|dg{|}^2=d((a^{\prime }{)}^2+(b^{\prime }{)}^2)=2a^{\prime }{a}^{\prime \prime }dX+2b^{\prime }{b}^{\prime \prime }dY$$

$$\begin{array}{rlrlr}d|dg{|}^2\wedge dg& =(2a^{\prime }{a}^{\prime \prime }dX+2b^{\prime }{b}^{\prime \prime }dY)\wedge (a^{\prime }dX+b^{\prime }dY)& =2a^{\prime }{a}^{\prime \prime }{b}^{\prime }dX\wedge dY+2b^{\prime }{b}^{\prime \prime }{a}^{\prime }dY\wedge dX& =(2a^{\prime }{a}^{\prime \prime }{b}^{\prime }-2b^{\prime }{b}^{\prime \prime }{a}^{\prime })dX\wedge dY& =2a^{\prime }{b}^{\prime }(a^{\prime \prime }-b^{\prime \prime })\mathrm{vol}\end{array}$$

If these are both simultaneously equal to zero, we are looking for real valued functions $a,b$ which satisfy the following system of ODEs:

$$\{\begin{array}{l}{a}^{\prime \prime \prime }{b}^{\prime }-b^{\prime \prime \prime }{a}^{\prime }=02a^{\prime }{b}^{\prime }(a^{\prime \prime }-b^{\prime \prime })=0\end{array}$$

Its easiest to begin with the second equation. So long as $a,b$ are not constants (which leads to the trivially harmonic $g=\mathrm{const}$) we know $a^{\prime }$ and $b^{\prime }$ are not constantly zero and so we must have $a^{\prime \prime }-b^{\prime \prime }=0$, or $$a^{\prime \prime }(X)=b^{\prime \prime }(Y)$$ But since these are functions of different variables which are always equal, we recognize a favorite trick - each side must individually be constant! Thus, there is some $K$ such that $$a^{\prime \prime }=b^{\prime \prime }=K$$ Integrating each we get

$$a(X)=\frac{K}{2}{X}^2+C_{1}X+C_2$$ $$b(X)=\frac{K}{2}{Y}^2+C_{3}Y+C_4$$

Since both of these are quadratic, their third derivatives are identically zero and the first equation in the system is automatically satisfied. Thus for any constants $K,A,B,C$ the following is preharmonic

$$g(X,Y)=K(X^2+Y^2)+AX+BY+C$$

This is the sum of a function $K(X^2+Y^2)$ with a function $AX+BY+C$ which is harmonic on all of ${\mathbb{E}}^2$. Since we are in search of fundamental solutions, (which are undefined at the origin) we can ignore this ‘trivial’ harmonic piece, and normalizing to $K=1$, we’ve found a nontrivial preharmonic function $$g(X,Y)=X^2+Y^2$$

Upgrading

We now use the general theory to upgrade this to a harmonic function on ${\mathbb{E}}^2\setminus O$. Computing, $$\mathrm{\Delta }g=2+2=4$$ $$|dg{|}^2=(2X{)}^2+(2Y{)}^2=4(X^2+Y^2)$$ So, $$\frac{\mathrm{\Delta }g}{|dg{|}^2}=\frac{1}{X^2+Y^2}$$ and so defining $h(s)=1/s$ we have $h\circ g=\frac{\mathrm{\Delta }g}{|dg{|}^2}$. Computing the rescaling via integrating factor, $$\begin{array}{rlrlrlr}f(s)& =\int e^{-\int h,ds},ds& =\int e^{\int }\frac{-ds}{s},ds& =\int e^{-\log s},ds& =\int e^{\log \frac{1}{s}},ds& =\int \frac{1}{s},ds& =\log s\end{array}$$

Thus, $f\circ g(X,Y)$ is harmonic on ${\mathbb{E}}^2\setminus O$: $$f\circ g(X,Y)=\log g(X,Y)=\log (X^2+Y^2)$$

From here its just a simple rescaling to the fundamental solution!

$$\phi (X,Y)=\frac{1}{2\pi }\log (r)=\frac{1}{4\pi }\log (X^2+Y^2)$$

Multiplicatively Separable

Now we propose to find a preharmonic function $g(X,Y)$ which is multiplicatively separable meaning there are two functions $a,b:\mathbb{R}\to \mathbb{R}$ such that $$g(X,Y)=a(X)b(Y)$$ The preharmonic condition on $g(X,Y)$ requires we compute $\mathrm{\Delta }g$ and $|\mathrm{\nabla }g{|}^2=|dg{|}^2$ so we begin with those:

$$\begin{array}{rlrl}dg(X,Y)& =d(a(X)b(Y))& =d(a(X))b(Y)+a(X)d(b(Y))& =a^{\prime }(X)b(Y)dX+a(X)b^{\prime }(Y)dY\end{array}$$ Then as $dX,dY$ from an orthonormal basis at each point,

$$\begin{array}{rlr}|dg{|}^2=⟨dg,dg⟩& =(a^{\prime }b{)}^2|dX{|}^2+2(a^{\prime }b)(a{b}^{\prime })⟨dX,dY⟩+(a{b}^{\prime }{)}^2|dY{|}^2& =(a^{\prime }b{)}^2+(a{b}^{\prime }{)}^2\end{array}$$

And, using our formula for the laplacian chain rule,

$$\mathrm{\Delta }g(X,Y)=a^{\prime \prime }b+a{b}^{\prime \prime }$$

Again, the preharmonic condition on $g$ requires that

$$|dg{|}^2,[d\mathrm{\Delta }g\wedge dg]=\mathrm{\Delta }g,[d|dg{|}^2\wedge dg]$$

Same as above; the easiest way to satisfy this equation would be for both sides to constantly equal zero. And, since we are looking for simple solutions, let’s impose that!

$$\{\begin{array}{l}d\mathrm{\Delta }g\wedge dg=0d|dg{|}^2\wedge dg=0\end{array}$$

Expanding the first

$$\begin{array}{rlr}d\left(\mathrm{\Delta }g\right)& =d(a^{\prime \prime }b+a{b}^{\prime \prime })& =(a^{\prime \prime \prime }b+a^{\prime }{b}^{\prime \prime })dX+(a^{\prime \prime }{b}^{\prime }+a{b}^{\prime \prime \prime })dY\end{array}$$

and wedging with $dg=a^{\prime }bdX+a{b}^{\prime }dY$,

$$\begin{array}{rlr}d\left(\mathrm{\Delta }g\right)\wedge dg& =(a^{\prime \prime \prime }b+a^{\prime }{b}^{\prime \prime })(a{b}^{\prime })dX\wedge dY+(a^{\prime \prime }{b}^{\prime }+a{b}^{\prime \prime \prime })(a^{\prime }b)dY\wedge dX& =[(a^{\prime \prime \prime }b+a^{\prime }{b}^{\prime \prime })a{b}^{\prime }-(a^{\prime \prime }{b}^{\prime }+a{b}^{\prime \prime \prime })a^{\prime }b]\mathrm{vol}\end{array}$$

Repeating with the second equation,

$$\begin{array}{rlrlr}d|dg{|}^2& =d((a^{\prime }b{)}^2+(a{b}^{\prime }{)}^2)& =2a^{\prime }bd(a^{\prime }b)+2a{b}^{\prime }d(a{b}^{\prime })& =2a^{\prime }b(a^{\prime \prime }b,dX+a^{\prime }{b}^{\prime }dY)+2a{b}^{\prime }(a^{\prime }{b}^{\prime }dX+a{b}^{\prime \prime }dY)& =2(a^{\prime }{a}^{\prime \prime }{b}^2+a{a}^{\prime }(b^{\prime }{)}^2)dX+2((a^{\prime }{)}^{2}b{b}^{\prime }+a^2{b}^{\prime }{b}^{\prime \prime })dY\end{array}$$

$$\begin{array}{rlr}(d|dg{|}^2)\wedge dg& =2(a^{\prime }{a}^{\prime \prime }{b}^2+a{a}^{\prime }(b^{\prime }{)}^2)\left(a{b}^{\prime }\right)dX\wedge dY+2((a^{\prime }{)}^{2}b{b}^{\prime }+a^2{b}^{\prime }{b}^{\prime \prime })\left(a^{\prime }b\right)dY\wedge dX& =2[(a^{\prime }{a}^{\prime \prime }{b}^2+a{a}^{\prime }(b^{\prime }{)}^2)a{b}^{\prime }-((a^{\prime }{)}^{2}b{b}^{\prime }+a^2{b}^{\prime }{b}^{\prime \prime })a^{\prime }b]\mathrm{vol}\end{array}$$

Together these result in the following system of equations:

$$\{\begin{array}{l}(a^{\prime \prime \prime }b+a^{\prime }{b}^{\prime \prime })a{b}^{\prime }-(a^{\prime \prime }{b}^{\prime }+a{b}^{\prime \prime \prime })a^{\prime }b=0(a^{\prime }{a}^{\prime \prime }{b}^2+a{a}^{\prime }(b^{\prime }{)}^2)a{b}^{\prime }-((a^{\prime }{)}^{2}b{b}^{\prime }+a^2{b}^{\prime }{b}^{\prime \prime })a^{\prime }b=0\end{array}$$

Every solution to this system is a multiplicatively separable preharmonic (though this may not cover all such functions - we are looking at a special case to simplify things after all). As in the additive case, the second equation provides us with the easiest line of attack: factoring out a copy of $a^{\prime }{b}^{\prime }$ and noting these are zero only in the trivial case where $g$ is constant,

$$(a^{\prime \prime }{b}^2+a(b^{\prime }{)}^2)a-((a^{\prime }{)}^{2}b+a^2{b}^{\prime \prime })b=0$$

Multiplying through we collect terms with $a^2$ on one side and $b^2$ on the other:

$$[a^{\prime \prime }a-(a^{\prime }{)}^2]b^2=[b^{\prime \prime }-(b^{\prime }{)}^2]a^2$$

Dividing through gives a separation of variables: thus each side must eaqual the same constant

$$\frac{a^{\prime \prime }a-(a^{\prime }{)}^2}{a^2}=\frac{b^{\prime \prime }b-(b^{\prime }{)}^2}{b^2}=K$$

Every term has a product of two copies of $a$ or $b$ (and their derivatives). This suggests proposing an ansatz where $a^{\prime }$ is a multiple of $a$, say $a^{\prime }(X)=f(X)a(X)$ for some function $f$. This implies $$a^{\prime \prime }=(fa{)}^{\prime }=f^{\prime }a+f{a}^{\prime }=f^{\prime }a+f^{2}a=(f^{\prime }+f^2)a$$ Plugging this in,

$$K=\frac{a^{\prime \prime }a-(a^{\prime }{)}^2}{a^2}=\frac{(f^{\prime }+f^2)a^2-f^2{a}^2}{a^2}=f^{\prime }$$

Thus $f^{\prime }=K$ and so $f(X)=Kx+C$ is affine. Looking at the linear case $f(s)=Ks$ for simplicity, we have $$a^{\prime }=fa⟹\frac{a^{\prime }}{a}=f⟹{[\log a]}^{\prime }=f$$ $$\begin{array}{rlrl}a(s)=& \exp (\int f,ds)& =\exp (\int Ks,ds)& =\exp \left(K{s}^2\right)\end{array}$$

Finally, we need to see that this solution also satisfies the first equation:

DO CALCULATION

So it does, and we have our separable function

$$g(X,Y)=a(X)b(Y)=\exp (K{X}^2)\exp (K{Y}^2)=\exp (K(X^2+Y^2))$$

We can see directly from here that $X^2+Y^2$ has the same level sets as what we found, and so this is also a preharmonic function. We could then proceed exactly as in the additive case to upgrade this.