Elliptic PDE Theory - Core Definitions

Elliptic PDE theory studies steady-state equations with ellipticity conditions that ensure strong regularity and well-posedness properties. These equations model equilibrium phenomena throughout science.

DefinitionElliptic Operators

A second-order linear differential operator in divergence form: $Lu = -\sum_{i,j=1}^n \frac{\partial}{\partial x_i}\left(a^{ij}(x)\frac{\partial u}{\partial x_j}\right) + \sum_{i=1}^n b^i(x)\frac{\partial u}{\partial x_i} + c(x)u$

is uniformly elliptic if there exists $\lambda > 0$ such that: $\sum_{i,j=1}^n a^{ij}(x)\xi_i\xi_j \geq \lambda|\xi|^2$ for all $x \in \Omega$ and $\xi \in \mathbb{R}^n$ . The matrix $(a^{ij})$ is positive definite.

For non-divergence form $Lu = \sum a^{ij}\partial_{ij}u + \sum b^i\partial_i u + cu$ , ellipticity requires the same condition on $(a^{ij})$ .

DefinitionWeak Formulation

The weak form of $-\nabla \cdot (A\nabla u) = f$ in $\Omega$ with $u = 0$ on $\partial\Omega$ is:

Find $u \in H^1_0(\Omega)$ such that: $\int_\Omega A\nabla u \cdot \nabla v\,dx = \int_\Omega fv\,dx$ for all $v \in H^1_0(\Omega)$ .

This variational formulation requires less regularity than the classical formulation and is natural for proving existence via minimization or Lax-Milgram.

ExampleModel Elliptic Problems

Poisson equation: $-\Delta u = f$ (simplest elliptic PDE)
Diffusion with variable conductivity: $-\nabla \cdot (k(x)\nabla u) = f$
Helmholtz equation: $-\Delta u + \lambda u = f$ (from wave equation separation)
Biharmonic equation: $\Delta^2 u = f$ (appears in plate theory, fourth-order elliptic)

Remark

Ellipticity ensures regularity: weak solutions are actually classical solutions if data is smooth. This contrasts with hyperbolic equations where weak solutions may develop shocks. The maximum principle and energy methods are powerful tools specific to elliptic theory.

DefinitionBoundary Conditions

Dirichlet: $u = g$ on $\partial\Omega$ (specified values)
Neumann: $\frac{\partial u}{\partial n} = h$ on $\partial\Omega$ (specified normal derivative)
Robin/Mixed: $\alpha u + \beta\frac{\partial u}{\partial n} = k$ on $\partial\Omega$

For well-posedness, boundary conditions must match the order and type of the equation.

Elliptic PDEs model phenomena without preferred time direction: steady heat distribution, electrostatic potentials, membrane shapes under load. The theory is mature with beautiful connections to geometry, probability, and potential theory.