Math 2.0

Potential theory Example

Symm's integral equation

Example

Let Γ⊂ℝ2\Gamma \subset \R^2 be a closed C2C^2 curve, and let ff be a continuous function on Γ\Gamma. Symm's integral equation asks for a density ψ\psi on Γ\Gamma with −12π∫Γln⁡∣x−y∣ ψ(y) ds(y)=f(x),x∈Γ.-\frac{1}{2\pi} \int_\Gamma \ln \abs{x - y} \, \psi(y) \, ds(y) = f(x), \quad x \in \Gamma. The left side is the single layer potential of ψ\psi in the plane, a logarithmic potential, restricted to Γ\Gamma. The unknown appears only under the integral, so it is an integral equation of the first kind, with the weakly singular kernel −12πln⁡∣x−y∣-\frac{1}{2\pi}\ln\abs{x - y}. Solving it gives a single layer potential that solves the interior Dirichlet problem for the Laplace equation with boundary values ff.

Check on the circle Γ={x:∣x∣=a}\Gamma = \set{x : \abs{x} = a}, with y=aeiθy = a e^{i\theta} and x=aeiϕx = a e^{i\phi}: by the mean value property, 12π∫02πln⁡∣x−aeiθ∣ dθ=ln⁡a\frac{1}{2\pi} \int_0^{2\pi} \ln \abs{x - a e^{i\theta}} \, d\theta = \ln a for ∣x∣=a\abs{x} = a, and ln⁡∣eiϕ−eiθ∣=−∑n≥1cos⁡n(ϕ−θ)n\ln \abs{e^{i\phi} - e^{i\theta}} = -\sum_{n \ge 1} \frac{\cos n(\phi - \theta)}{n}. Hence the operator maps ψ=1\psi = 1 to the constant −aln⁡a-a \ln a, and ψ(θ)=einθ\psi(\theta) = e^{in\theta} with n≠0n \ne 0 to a2∣n∣einϕ\frac{a}{2\abs{n}} e^{in\phi}. So on a circle of radius a≠1a \ne 1 the equation is uniquely solvable for every trigonometric polynomial ff. For a=1a = 1 the constant density ψ=1\psi = 1 solves the homogeneous equation.

Remarks

The circle example shows the general picture: the homogeneous equation has only the zero solution unless Γ\Gamma has logarithmic capacity 11, and this exceptional case can be avoided by rescaling. The eigenvalues a2∣n∣\frac{a}{2\abs{n}} tend to 00, so the solution depends unstably on ff in the supremum norm, as for every first-kind equation with a compact operator. Because of its simple structure, the equation is a standard test case for boundary element and collocation methods.

Further reading

  1. Web https://en.wikipedia.org/wiki/Newtonian_potential
About this page
Tag60TBPSWD32
URIm2://60TBPSWD32
Kindexample
WritingW0 stub
MSC31A10, 45A05, 65R20
Instance ofIntegral equation of the first kind

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.