ConceptComplete

Elliptic PDE Theory - Examples and Constructions

Concrete examples and construction methods illuminate the theory and provide templates for solving practical elliptic problems.

ExamplePerron's Method for Dirichlet Problem

Construct the solution as u(x)=sup{v(x):v is subharmonic with vg on Ω}u(x) = \sup\{v(x) : v \text{ is subharmonic with } v \leq g \text{ on } \partial\Omega\}. This supremum over subharmonic functions yields the unique harmonic function with boundary values gg, provided the domain and data are regular.

ExampleLayer Potentials

For Laplace equation, single-layer potential: u(x)=ΩΦ(xy)μ(y)dSyu(x) = \int_{\partial\Omega} \Phi(x-y)\mu(y)\,dS_y and double-layer potential: v(x)=ΩΦny(xy)ν(y)dSyv(x) = \int_{\partial\Omega} \frac{\partial\Phi}{\partial n_y}(x-y)\nu(y)\,dS_y provide integral representations. Solving for densities μ,ν\mu, \nu to match boundary conditions leads to boundary integral equations.

ExampleVariational Methods

Minimize the Dirichlet energy: J[u]=12Ωu2dxΩfudxJ[u] = \frac{1}{2}\int_\Omega |\nabla u|^2\,dx - \int_\Omega fu\,dx over uH01(Ω)u \in H^1_0(\Omega). The minimizer satisfies Δu=f-\Delta u = f (Euler-Lagrange equation). This direct method establishes existence via:

  1. Show JJ is bounded below and coercive
  2. Take minimizing sequence
  3. Use weak compactness in H01H^1_0
  4. Show limit is the minimum (using lower semicontinuity)
Remark

Conformal mapping (2D): For simply connected planar domains, conformal maps to the unit disk transform Laplace's equation to itself, enabling solution of Dirichlet problems via complex analysis and Riemann mapping theorem.

ExampleMethod of Particular Solutions

For Δu+cu=f-\Delta u + cu = f, use Green's function: u(x)=ΩG(x,y)f(y)dy+Ωu(y)Gny(x,y)dSyu(x) = \int_\Omega G(x,y)f(y)\,dy + \int_{\partial\Omega} u(y)\frac{\partial G}{\partial n_y}(x,y)\,dS_y Determining GG for specific domains (disk, half-space, exterior of sphere) gives explicit formulas.

ExampleFinite Element Method

Discretize variational formulation using piecewise polynomial spaces VhH01V_h \subset H^1_0. Solve: Ωuhvh=Ωfvh\int_\Omega \nabla u_h \cdot \nabla v_h = \int_\Omega fv_h for all vhVhv_h \in V_h. This reduces to sparse linear systems with convergence uuhH1=O(hk)\|u - u_h\|_{H^1} = O(h^k) for degree kk elements.

These methods—analytical, integral, variational, numerical—complement each other, providing a rich toolkit for elliptic problems across pure and applied mathematics.