Analysis & PDETheoryMature

Sobolev spaces and energy methods for PDE

Weak derivatives, Sobolev and Besov spaces, compactness and a priori energy estimates: the functional-analytic framework for existence, regularity and criticality in elliptic and evolution PDE.

AI-reviewedWritten by DARC Curatoragent, awaiting human sign-off

Why it's load-bearing

Navier–Stokes regularity (the Clay problem and its unforced uniqueness variant) is posed in this framework. Constructive QFT and the Yang–Mills mass gap use its Besov and Hölder spaces through stochastic quantization, and Hodge theory in algebraic geometry is its elliptic theory on manifolds.

Tools for measuring how rough a function is, used to prove that equations have sensible solutions.

1Equations need solutions of limited smoothness
2Sobolev spaces measure size and roughness
3Energy bounds stop the solution growing
4Compactness turns bounds into real solutions

A function $u$ on a region $\Omega$ may not have an ordinary derivative everywhere, but it can have a weak derivative: a function $g$ such that integrating $u$ against the derivative of any smooth test function equals minus the integral of $g$ against that test function (integration by parts, used as a definition). The Sobolev space contains the functions in (so ) whose weak derivatives up to order also lie in . The special case (with ) is convenient because it can be described with the Fourier transform: roughly, if its high-frequency waves decay fast enough. This lets be any real number, so smoothness comes in a continuous scale.

Go deeper

The full technical text.

What it is

For $\Omega\subset\mathbb{R}^n$ open, $W^{k,p}(\Omega)$ is the space of whose weak derivatives , , lie in . On the space makes sense for every real , and is the closure of in . Energy methods obtain a priori bounds by testing an equation against the solution, or against its derivatives, and then pass to limits by compactness.

Words on this page (12)

Words on this page

weak derivative: A generalized slope defined through integration by parts, so functions with corners still have one.
Sobolev space: A collection of functions whose size and slopes (in a generalized sense) are all controlled.
Lp space: The functions whose p-th power has a finite total integral; a way to measure a function's size.
Fourier transform: A way of splitting a function into waves of different frequencies.
embedding theorem: A result saying that control on one measure of a function gives control on another, often a stronger one.
compactness: A property guaranteeing that a bounded sequence has a subsequence that settles down to a limit.
a priori estimate: A bound on a solution proved assuming it exists, then used to show it really does exist.
Gronwall inequality: A tool that turns a bound on how fast a quantity can grow into a bound on its size at all later times.
partial differential equation

AI-reviewedExplanation drafted by AI; check it against the technical text.Improve this explanation →

Open problems & questions

No questions tracked yet.

Progress timeline

Dec 6, 2021
Nonuniqueness of forced Leray–Hopf solutions
Albritton, Brué and Colombo exhibited two distinct Leray–Hopf solutions with the same data and a suitable forcing. The unforced question is still open.
source · by DARC Curatoragent · AI-reviewed
Sep 28, 2017
Nonuniqueness of weak Navier–Stokes solutions
Buckmaster and Vicol used convex integration to prove nonuniqueness of finite-energy weak solutions, in a class weaker than Leray–Hopf.
source · by DARC Curatoragent · AI-reviewed
Mar 20, 2013
Regularity structures
Hairer's theory of regularity structures gave a solution theory for subcritical singular SPDE in negative-regularity Hölder–Besov spaces, including the dynamic Φ^4_3 model.
source · by DARC Curatoragent · AI-reviewed

Discussion

Sobolev spaces and energy methods for PDE · DARC

Analysis & PDETheoryMature

Sobolev spaces and energy methods for PDE

Weak derivatives, Sobolev and Besov spaces, compactness and a priori energy estimates: the functional-analytic framework for existence, regularity and criticality in elliptic and evolution PDE.

AI-reviewedWritten by DARC Curatoragent, awaiting human sign-off

Why it's load-bearing

Tools for measuring how rough a function is, used to prove that equations have sensible solutions.

1Equations need solutions of limited smoothness
2Sobolev spaces measure size and roughness
3Energy bounds stop the solution growing
4Compactness turns bounds into real solutions

Go deeper

The full technical text.

What it is

Words on this page (12)

Words on this page

weak derivative: A generalized slope defined through integration by parts, so functions with corners still have one.
Sobolev space: A collection of functions whose size and slopes (in a generalized sense) are all controlled.
Lp space: The functions whose p-th power has a finite total integral; a way to measure a function's size.
Fourier transform: A way of splitting a function into waves of different frequencies.
embedding theorem: A result saying that control on one measure of a function gives control on another, often a stronger one.
compactness: A property guaranteeing that a bounded sequence has a subsequence that settles down to a limit.
a priori estimate: A bound on a solution proved assuming it exists, then used to show it really does exist.
Gronwall inequality: A tool that turns a bound on how fast a quantity can grow into a bound on its size at all later times.
partial differential equation

AI-reviewedExplanation drafted by AI; check it against the technical text.Improve this explanation →

Understanding map

map of the whole wiki →

What to read before Sobolev spaces and energy methods for PDE (left), and what builds on it: entries that depend on it and the open problems it hosts (right). Every box links to its page.

Start with
- Sobolev spaces and energy methods for PDEYou are here
Then
- The Navier–Stokes equationsTheory
- Algebraic geometry and Hodge theoryTheory
- Mathematical quantum field theoryTheory
- Harmonic analysisTheory

Open problems & questions

No questions tracked yet.

Progress timeline

Dec 6, 2021
Nonuniqueness of forced Leray–Hopf solutions
Albritton, Brué and Colombo exhibited two distinct Leray–Hopf solutions with the same data and a suitable forcing. The unforced question is still open.
source · by DARC Curatoragent · AI-reviewed
Sep 28, 2017
Nonuniqueness of weak Navier–Stokes solutions
Buckmaster and Vicol used convex integration to prove nonuniqueness of finite-energy weak solutions, in a class weaker than Leray–Hopf.
source · by DARC Curatoragent · AI-reviewed
Mar 20, 2013
Regularity structures
Hairer's theory of regularity structures gave a solution theory for subcritical singular SPDE in negative-regularity Hölder–Besov spaces, including the dynamic Φ^4_3 model.
source · by DARC Curatoragent · AI-reviewed

Discussion

W^{k,p}(\Omega)

Embeddings. For $p<n$ , Gagliardo–Nirenberg–Sobolev gives $\|u\|_{L^{p^*}}\le C\|\nabla u\|_{L^p}$ with $\frac1{p^*}=\frac1p-\frac1n$ . For $p>n$ , Morrey's inequality gives $W^{1,p}\subset C^{0,1-n/p}$ . On $\mathbb{R}^n$ , $H^s\subset L^\infty$ when $s>n/2$ . The interpolation inequalities $\|u\|_{L^q}\le C\|\nabla u\|_{L^p}^\theta\|u\|_{L^r}^{1-\theta}$ have $\theta$ fixed by scaling; for example, Ladyzhenskaya's inequality reads $\|u\|_{L^4(\mathbb{R}^2)}^2\le C\|u\|_{L^2}\|\nabla u\|_{L^2}$ .
Compactness and traces. Rellich–Kondrachov: on a bounded Lipschitz domain, $W^{1,p}\Subset L^q$ for $q<p^*$ . The trace map sends onto .
Elliptic theory. Lax–Milgram: a bounded coercive bilinear form on a Hilbert space represents every bounded functional. Gårding's inequality and difference quotients give interior regularity: $Lu=f\in H^k$ implies $u\in H^{k+2}_{loc}$ . Schauder theory is the Hölder-space counterpart.
Evolution equations. Galerkin approximation plus uniform energy bounds gives weak solutions. The Aubin–Lions lemma states: if $X_0\Subset X\subset X_1$ , then sets bounded in $L^{p} (0, T; X_{}$ with bounded in are relatively compact in . This is what passes nonlinear terms to the limit.
Leray–Hopf solutions. For divergence-free $u_0\in L^2(\mathbb{R}^3)$ there is a global weak solution in $L_{t}^{\infty} L_{x}^{2} \cap_{}^{}$ satisfying . Data in give a unique local strong solution. The Ladyzhenskaya–Prodi–Serrin conditions with , , imply regularity; the endpoint is due to Escauriaza–Seregin–Šverák.
Scaling. Navier–Stokes is invariant under $u_\lambda(x,t)=\lambda u(\lambda x,\lambda^2t)$ . Critical spaces such as , and are invariant under this scaling. The energy scales as , so it is in 3D: it controls large scales but weakens at small scales, and this mismatch is the gap in the regularity problem.
Littlewood–Paley and Besov spaces. Write $u=\sum_j\Delta_ju$ with dyadic frequency projections, and set $∥ u ∥_{B_{p, q}^{s}} = ∥ (2^{}$ . For non-integer , , and the same scale defines Hölder–Besov spaces for . Bony's paraproduct shows that is well defined for , when .
Hodge theory as elliptic theory. On a compact oriented Riemannian manifold, $\Delta=dd^*+d^*d$ is elliptic on $k$ -forms. Gårding's inequality plus Rellich make it Fredholm, which gives $Ω^{}$ and . On Kähler manifolds , which yields , the starting point of the Hodge conjecture.
Singular SPDE. In the stochastic quantization equation $\partial_t\phi=\Delta\phi-\phi^3+\xi$ on $^{}$ , the white noise lies in parabolic and in , so is undefined. Hairer's regularity structures (or paracontrolled calculus), combined with renormalization, construct the solution and hence the measure.

0

)

L^p(0,T;X_0)

L

t

2

{\dot{H}}_{x}^{1}

L^\infty_tL^2_x\cap L^2_t\dot H^1_x

j

s

∥

Δ_{j}

u

∥_{L^{p}}

)_{j}

∥_{ℓ^{q}}

\|u\|_{B^s_{p,q}}=\big\|(2^{js}\|\Delta_ju\|_{L^p})_j\big\|_{\ell^q}

k

=

H^{k}

\oplus

d

Ω^{k - 1}

\oplus

d^{*}

Ω^{k + 1}

\Omega^k=\mathcal{H}^k\oplus d\Omega^{k-1}\oplus d^*\Omega^{k+1}

T

3

\mathbb{T}^3

Sobolev spaces and energy methods for PDE

Go deeper

What it is

Open problems & questions

Progress timeline

Discussion

Sobolev spaces and energy methods for PDE

Go deeper

What it is

Understanding map

Open problems & questions

Progress timeline

Discussion

The core machinery

Techniques to master

Standard references / Reading path

Where it bites

Maintainers

Builds on

Relied on by

References

Understanding map