Sobolev Spaces - Applications

Sobolev spaces are indispensable for variational methods, weak formulations, and regularity theory throughout PDE analysis and applications.

TheoremLax-Milgram Theorem and Weak Solutions

Let $V$ be a Hilbert space and $a: V \times V \to \mathbb{R}$ a bilinear form that is:

Continuous: $|a(u,v)| \leq C\|u\|_V\|v\|_V$
Coercive: $a(u,u) \geq \alpha\|u\|_V^2$ for some $\alpha > 0$

Then for any continuous linear functional $f \in V'$ , there exists unique $u \in V$ with: $a(u,v) = f(v) \quad \forall v \in V$

Application: For Dirichlet problem $-\Delta u = f$ in $\Omega$ , $u = 0$ on $\partial\Omega$ , use $V = H^1_0(\Omega)$ and: $a(u,v) = \int_\Omega \nabla u \cdot \nabla v\,dx, \quad f(v) = \int_\Omega fv\,dx$

Lax-Milgram guarantees existence/uniqueness of weak solutions.

ExampleApplications Across Mathematics

Elasticity: Displacement fields in linear elasticity belong to $H^1(\Omega; \mathbb{R}^n)$
Fluid mechanics: Velocity fields for Stokes flow are in $H^1$ , pressure in $L^2$
Electromagnetism: Electric fields satisfying Maxwell's equations are in $H(\text{curl})$ (a Sobolev-type space)
Optimal control: State constraints often require Sobolev regularity
Machine learning: Physics-informed neural networks use Sobolev norms in loss functions

TheoremRegularity Theory

Consider $-\Delta u = f$ in $\Omega$ with $u = 0$ on $\partial\Omega$ .

If $f \in L^2(\Omega)$ , then $u \in H^2(\Omega) \cap H^1_0(\Omega)$ (elliptic regularity)
If $f \in H^k(\Omega)$ , then $u \in H^{k+2}(\Omega)$ (assuming smooth $\partial\Omega$ )
If $f \in C^\infty(\overline{\Omega})$ and $\partial\Omega$ smooth, then $u \in C^\infty(\overline{\Omega})$

This "gain of two derivatives" is characteristic of elliptic equations.

Remark

Sobolev spaces in numerics: Finite element methods discretize variational problems in Sobolev spaces. Céa's lemma gives error estimates: $\|u - u_h\|_{H^1} \leq C\inf_{v_h \in V_h}\|u - v_h\|_{H^1}$

showing convergence depends on approximation properties in Sobolev norms.

TheoremCompensated Compactness

The div-curl lemma: If $u_n \rightharpoonup u$ in $L^2$ with $\text{div}\, u_n$ bounded in $H^{-1}$ and $v_n \rightharpoonup v$ in $L^2$ with $\text{curl}\, v_n$ bounded in $H^{-1}$ , then: $u_n \cdot v_n \rightharpoonup u \cdot v \text{ in } \mathcal{D}'$

This powerful tool enables passing to limits in nonlinear PDEs where standard weak convergence fails.

These applications demonstrate that Sobolev spaces provide not just a theoretical framework but practical tools for solving, approximating, and analyzing PDEs.