Math 2.0

Potential theory Definition

Method of images

Builds on Green's function for the LaplacianFundamental solution of the LaplacianOpen setBoundary

Definition

Let n≥3n \ge 3 and let Ω⊆ℝn\Omega \subseteq \R^n be an open set with boundary ∂Ω\partial\Omega. Let σn−1\sigma_{n-1} be the area of the unit sphere, and let Φ(z)=1(n−2)σn−1∣z∣2−n\Phi(z) = \frac{1}{(n-2)\sigma_{n-1}} \abs{z}^{2-n} be the fundamental solution of −Δ-\Delta. Fix x∈Ωx \in \Omega. An image system for Ω\Omega and xx is a finite or countable family of points xj∈ℝn∖Ω‾x_j \in \R^n \setminus \overline{\Omega} and real numbers cjc_j such that:

  1. the series h(y)=∑jcjΦ(y−xj)h(y) = \sum_j c_j \Phi(y - x_j) converges to a harmonic function of yy on Ω\Omega, continuous on Ω‾\overline{\Omega};
  2. Φ(y−x)=h(y)\Phi(y - x) = h(y) for every y∈∂Ωy \in \partial\Omega.

The method of images is the construction of the Green's function of Ω\Omega as G(x,y)=Φ(y−x)−h(y)G(x, y) = \Phi(y - x) - h(y) from an image system for each x∈Ωx \in \Omega.

Remarks

Example: for the half-space Ω={y:yn>0}\Omega = \set{y : y_n > 0} and x=(x′,xn)x = (x', x_n), the single point x1=(x′,−xn)x_1 = (x', -x_n) with c1=1c_1 = 1 is an image system, since ∣y−x∣=∣y−x1∣\abs{y - x} = \abs{y - x_1} when yn=0y_n = 0. This gives G(x,y)=Φ(y−x)−Φ(y−x1)G(x, y) = \Phi(y - x) - \Phi(y - x_1). For the unit ball and x≠0x \ne 0, the inverse point x∗=x/∣x∣2x^* = x/\abs{x}^2 with c=∣x∣2−nc = \abs{x}^{2-n} is an image system. Non-example: for the half-space, the point (x′,−xn)(x', -x_n) with c=−1c = -1 fails clause 2, since then h=−Φ(y−x)≠Φ(y−x)h = -\Phi(y - x) \ne \Phi(y - x) on the boundary. In the plane the same idea works with Φ(z)=12πlog⁡1∣z∣\Phi(z) = \frac{1}{2\pi} \log \frac{1}{\abs{z}}, where hh may also contain an additive constant; for the unit disc this gives the Green's function 12πlog⁡∣1−xˉyy−x∣\frac{1}{2\pi} \log \abs{\frac{1 - \bar x y}{y - x}} in complex notation.

Reading path

To understand this page from the ground up, read these 5 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. Boundary concept
  2. Fundamental solution of the Laplacian concept
  3. Green's function for the Laplacian concept
  4. Open set concept
  5. Method of images definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Method_of_image_charges
About this page
TagZEJ9VKKKRG
URIm2://ZEJ9VKKKRG
Kinddefinition
WritingW0 stub
MSC31B10, 35J08, 78A30
DefinesMethod of images
UsesGreen's function for the Laplacian, Fundamental solution of the Laplacian, Open set, Boundary

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.