Math 2.0

Potential theory Harmonic functions Example

Harmonic function on a ball

Builds on Poisson kernelLaplacianOpen ball

Example

Let n≥2n \ge 2, let B={x∈ℝn:∣x∣<1}B = \set{x \in \R^n : \abs{x} < 1} be the unit open ball, and fix a point ζ\zeta with ∣ζ∣=1\abs{\zeta} = 1. Consider the function u(x)=1−∣x∣2∣x−ζ∣n,x∈B,u(x) = \frac{1 - \abs{x}^2}{\abs{x - \zeta}^n}, \qquad x \in B, which is the Poisson kernel of the ball with pole ζ\zeta, up to a constant factor. It is positive on BB, because ∣x∣<1\abs{x} < 1 and x≠ζx \ne \zeta. To check that it is harmonic, write f(x)=1−∣x∣2f(x) = 1 - \abs{x}^2, g(x)=∣x−ζ∣−ng(x) = \abs{x - \zeta}^{-n} and r=∣x−ζ∣r = \abs{x - \zeta}. Then Δf=−2n\Delta f = -2n, ∇f=−2x\nabla f = -2x, ∇g=−nr−n−2(x−ζ)\nabla g = -n r^{-n-2} (x - \zeta) and Δg=2nr−n−2\Delta g = 2n r^{-n-2}, where Δ\Delta is the Laplacian. The product rule Δ(fg)=fΔg+2∇f⋅∇g+gΔf\Delta(fg) = f \Delta g + 2 \nabla f \cdot \nabla g + g \Delta f gives Δu=2nr−n−2(1−∣x∣2+2x⋅(x−ζ)−r2).\Delta u = 2n r^{-n-2} \left( 1 - \abs{x}^2 + 2 x \cdot (x - \zeta) - r^2 \right). Since r2=∣x∣2−2x⋅ζ+1r^2 = \abs{x}^2 - 2 x \cdot \zeta + 1, the bracket equals 00, so Δu=0\Delta u = 0.

Remarks

As xx tends to a boundary point η≠ζ\eta \ne \zeta, the numerator tends to 00 and the denominator stays away from 00, so u(x)→0u(x) \to 0. As x→ζx \to \zeta along the radius, u(tζ)=(1+t)/(1−t)n−1u(t\zeta) = (1 + t)/(1 - t)^{n-1} tends to +∞+\infty. So uu is a positive harmonic function on the ball that vanishes on the whole boundary sphere except at one point.

Reading path

To understand this page from the ground up, read these 14 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Euclidean space object
  2. Function concept
  3. Open ball concept
  4. Poisson kernel concept
  5. Total derivative concept
  6. Function of several variables concept
  7. Vector-valued function concept
  8. Differentiable function of several variables concept
  9. Partial derivative concept
  10. Vector field concept
  11. Gradient concept
  12. Divergence concept
  13. Laplacian concept
  14. Harmonic function on a ball example

Further reading

  1. Web https://en.wikipedia.org/wiki/Poisson_kernel
About this page
Tag9PV9CN8X0Y
URIm2://9PV9CN8X0Y
Kindexample
WritingW0 stub
MSC31B05, 31B10
Instance ofPositive harmonic function
UsesPoisson kernel, Laplacian, Open ball

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.