Sobolev Spaces

Sobolev Spaces

Motivation & Setup

PDE theory and the calculus of variations require function spaces in which (i) differentiation makes sense for non-smooth functions, (ii) the space is complete under an $L^p$-flavored norm, and (iii) one can embed into $L^q$ or Hölder spaces. The classical $C^k$ spaces fail (ii); pure $L^p$ fails (i). Sobolev spaces $W^{k,p}$ are the fix: they replace pointwise differentiation with the weak derivative and complete $C^k$ under the natural $L^p$-Sobolev norm.

Throughout: $\Omega \subset {\mathbb{R}}^n$ open, $1\le p\le \infty$, $k\in {\mathbb{N}}_0$. Use multi-index $\alpha =({\alpha }_1,\dots ,{\alpha }_n)$, $|\alpha |=\sum {\alpha }_i$, $D^{\alpha }={\partial }_1^{{\alpha }_1}\cdots {\partial }_n^{{\alpha }_n}$.

Why Classical Spaces Fail

• $C^k(\bar{\Omega })$ with $\Vert \cdot {\Vert }_{C^k}$ is complete but ignores $L^p$ structure; minimizing sequences of integral energies need not converge in $C^k$.
• $C^k(\bar{\Omega })$ with the $L^p$-Sobolev norm is not complete; its completion is precisely $W^{k,p}$.
• The Dirichlet energy $E(u)=\frac{1}{2}{\int }_{\Omega }|\nabla u{|}^2$ is minimized naturally over $H^1$, not over $C^1$.

[!note] The Direct Method The Direct Method of the Calculus of Variations needs: lower semicontinuity + coercivity + a reflexive space to extract weakly convergent minimizing subsequences. Sobolev spaces are the canonical reflexive choice (when $1<p<\infty$).

Weak Derivatives

Definition: Weak Derivative

Given $u\in L_{\text{loc}}^1(\Omega )$ and multi-index $\alpha$, a function $v\in L_{\text{loc}}^1(\Omega )$ is the $\alpha$-th weak derivative of $u$ if

$${\int }_{\Omega }u{D}^{\alpha }\phi dx=(-1{)}^{|\alpha |}{\int }_{\Omega }v\phi dx\forall \phi \in C_c^{\infty }(\Omega ).$$

Notation: $v=D^{\alpha }u$. The definition is the distributional derivative restricted to those distributions representable by an $L_{\text{loc}}^1$ function.

Uniqueness: a.e. uniqueness follows from the fundamental lemma of the calculus of variations (du Bois-Reymond).

[!tip] Recognizing weak derivatives If $u\in C^k$, weak and classical derivatives coincide. If $u$ has a jump, the weak derivative does not exist as a function — it picks up a Dirac mass and lives only as a distribution. Example: $u=1_{[0,\infty )}$ has $u^{\prime }={\delta }_0\notin L_{\text{loc}}^1$.

Calculus Rules for Weak Derivatives

The following hold in $W^{k,p}$ provided RHS makes sense:

• Linearity: $D^{\alpha }(au+bv)=a{D}^{\alpha }u+b{D}^{\alpha }v$.
• Product rule (chain): if $u\in W^{1,p}$ and $\eta \in C_c^{\infty }$, then $\eta u\in W^{1,p}$ and ${\partial }_i(\eta u)=\eta {\partial }_{i}u+u{\partial }_i\eta$.
• Chain rule (Stampacchia): if $F\in C^1(\mathbb{R})$, $F^{\prime }\in L^{\infty }$, $F(0)=0$, and $u\in W^{1,p}$, then $F(u)\in W^{1,p}$ with ${\partial }_{i}F(u)=F^{\prime }(u){\partial }_{i}u$.
• Truncation: $u^{+}=\max (u,0)\in W^{1,p}$ with $\nabla u^{+}=\nabla u\cdot 1_{\{u>0\}}$ (almost everywhere).

The truncation rule underlies the maximum principle for weak solutions.

The Spaces $W^{k,p}$ and $H^k$

Definition: Sobolev Space $W^{k,p}(\Omega )$

$$W^{k,p}(\Omega )=\{u\in L^p(\Omega ):D^{\alpha }u\in L^p(\Omega )\text{ for all }|\alpha |\le k\}.$$

Norm:

$$\Vert u{\Vert }_{W^{k,p}}=(\sum _{|\alpha |\le k}\Vert D^{\alpha }u{\Vert }_{L^p}^p{)}^{1/p}(1\le p<\infty ),\Vert u{\Vert }_{W^{k,\infty }}=\underset{|\alpha |\le k}{\max }\Vert D^{\alpha }u{\Vert }_{L^{\infty }}.$$

Equivalent norms abound — e.g., $\Vert u{\Vert }_{L^p}+{\sum }_{|\alpha |=k}\Vert D^{\alpha }u{\Vert }_{L^p}$.

Definition: $H^k$ — the Hilbert Case

For $p=2$ write $H^k(\Omega ):=W^{k,2}(\Omega )$. Inner product:

$$⟨u,v{⟩}_{H^k}=\sum _{|\alpha |\le k}{\int }_{\Omega }{D}^{\alpha }u{D}^{\alpha }vdx.$$

This is the only $p$ giving a Hilbert space — it's the workhorse for linear elliptic PDE and spectral theory.

Definition: $W_0^{k,p}(\Omega )$ — Zero Boundary Trace

$$W_0^{k,p}(\Omega ):={\overline{C_c^{\infty }(\Omega )}}^{\Vert \cdot {\Vert }_{W^{k,p}}}.$$

Heuristically: functions with "zero boundary values up to order $k-1$". On all of ${\mathbb{R}}^n$, $W_0^{k,p}({\mathbb{R}}^n)=W^{k,p}({\mathbb{R}}^n)$. On bounded $\Omega$ with reasonable boundary, the inclusion $W_0^{k,p}⊊W^{k,p}$ is strict (constants live in the latter, not the former).

Banach / Hilbert / Reflexive / Separable Properties

Property	$W^{k,p}$, $1\le p<\infty$	$W^{k,\infty }$	$H^k$
Banach	✓	✓	✓
Hilbert	only $p=2$	✗	✓
Separable	✓	✗	✓
Reflexive	✓ iff $1<p<\infty$	✗	✓
Uniformly convex	$1<p<\infty$	✗	✓

Completeness proof sketch: a Cauchy sequence $\{u_m\}\subset W^{k,p}$ has $\{D^{\alpha }{u}_m\}$ Cauchy in $L^p$ for each $|\alpha |\le k$; pass to $L^p$-limits, then verify the limits satisfy the weak-derivative identity by passing the limit through the integration-by-parts identity (dominated convergence on the test function side).

Approximation by Smooth Functions

Mollifiers

$\eta \in C_c^{\infty }({\mathbb{R}}^n)$, $\eta \ge 0$, $\int \eta =1$, $\mathrm{supp}\eta \subset B_1(0)$. Set ${\eta }_{\epsilon }(x)={\epsilon }^{-n}\eta (x/\epsilon )$. Define $u_{\epsilon }={\eta }_{\epsilon }\ast u$ on ${\Omega }_{\epsilon }=\{x\in \Omega :\mathrm{dist}(x,\partial \Omega )>\epsilon \}$. Then $u_{\epsilon }\in C^{\infty }({\Omega }_{\epsilon })$ and $D^{\alpha }{u}_{\epsilon }={\eta }_{\epsilon }\ast D^{\alpha }u$ on ${\Omega }_{\epsilon }$ (the weak derivative commutes with convolution).

Local Approximation

If $u\in W_{\text{loc}}^{k,p}(\Omega )$, $1\le p<\infty$, then $u_{\epsilon }\to u$ in $W_{\text{loc}}^{k,p}(\Omega )$. The proof is Friedrichs's classical mollification argument.

Theorem: Meyers–Serrin "$H=W$"

For every open $\Omega \subset {\mathbb{R}}^n$ and $1\le p<\infty$, $C^{\infty }(\Omega )\cap W^{k,p}(\Omega )$ is dense in $W^{k,p}(\Omega )$.

The historical name: $H^{k,p}$ used to denote the completion of $C^{\infty }\cap W^{k,p}$ under $\Vert \cdot {\Vert }_{W^{k,p}}$. Meyers–Serrin (1964) proved $H^{k,p}=W^{k,p}$ for arbitrary open sets, with no boundary regularity assumed. The proof partitions $\Omega$ into shells and mollifies on each, gluing with a partition of unity.

[!note] What can fail at the boundary Density of $C^{\infty }(\bar{\Omega })$ (note the closure) requires $\Omega$ to have, e.g., the segment property (a weak boundary regularity). Without it, $C^{\infty }(\Omega )\cap W^{k,p}$ may fail to be dense in $W^{k,p}$ in the $C^{\infty }(\bar{\Omega })$ subspace sense — though Meyers–Serrin density is unaffected.

Extension Theorems

Extension Operator

A bounded linear $E:W^{k,p}(\Omega )\to W^{k,p}({\mathbb{R}}^n)$ with $Eu{|}_{\Omega }=u$. Such an operator lets you transfer Fourier-analytic and global-${\mathbb{R}}^n$ results back to $\Omega$.

Existence: $E$ exists when $\partial \Omega$ is sufficiently regular — Lipschitz suffices for $k=1$; $C^k$ suffices in general. Constructions: reflection across the boundary (half-space), then partition of unity + local charts.

[!note] Calderón–Stein extension For bounded Lipschitz $\Omega$, Stein (1970) constructed a universal extension operator $E$ that works simultaneously for all $W^{k,p}$, $k\in {\mathbb{N}}_0$, $1\le p\le \infty$. Without boundary regularity, extension can fail.

Traces

The trace problem: $u\in W^{1,p}(\Omega )$ is only defined a.e., so the boundary $\partial \Omega$ (measure-zero set) sees no canonical value. Trace theorems make this work via continuity.

Theorem: Trace Operator

Let $\Omega$ be bounded with $C^1$ boundary, $1\le p<\infty$. There exists a bounded linear

$$T:W^{1,p}(\Omega )⟶L^p(\partial \Omega ),Tu=u{|}_{\partial \Omega }\text{ if }u\in C(\bar{\Omega }).$$

Range: $T$ maps $W^{1,p}$ onto $W^{1-1/p,p}(\partial \Omega )$ — a fractional Sobolev space. The kernel is $W_0^{1,p}(\Omega )$:

$$W_0^{1,p}(\Omega )=\ker T=\{u\in W^{1,p}(\Omega ):Tu=0\}.$$

Trace as Loss of $1/p$ Regularity

The "$1-1/p$" reflects a general principle: restricting to a codimension-$d$ surface costs $d/p$ derivatives. Heuristic via Fourier: restriction in ${\mathbb{R}}^n$ corresponds to summing over the normal frequency, which behaves like a Riemann sum against $|\xi {|}^{-d}$, hence the $d/p$ deficit.

[!question] Why no trace for $p=1$ on the kernel side? $W_0^{1,1}(\Omega )$ still equals $\ker T$, but $W^{1-1,1}=L^1$, and the trace operator $W^{1,1}\to L^1(\partial \Omega )$ is surjective onto $L^1(\partial \Omega )$ — the fractional space "collapses". For $p=\infty$ traces land in $W^{1,\infty }(\partial \Omega )$ directly (it's just Lipschitz restriction).

Sobolev Embedding Theorems

The heart of the theory. Set the Sobolev conjugate $p^{\ast }:=\frac{np}{n-p}$ for $1\le p<n$. Three regimes by $kp$ vs. $n$.

Theorem: Gagliardo–Nirenberg–Sobolev ($kp<n$)

Let $\Omega$ be bounded with Lipschitz boundary, $1\le p<n$. Then $W^{1,p}(\Omega )\hookrightarrow L^{p^{\ast }}(\Omega )$, i.e.

$$\Vert u{\Vert }_{L^{p^{\ast }}(\Omega )}\le C\Vert u{\Vert }_{W^{1,p}(\Omega )}.$$

On ${\mathbb{R}}^n$ for $u\in C_c^{\infty }({\mathbb{R}}^n)$, the sharp form is

$$\Vert u{\Vert }_{L^{p^{\ast }}({\mathbb{R}}^n)}\le C(n,p)\Vert \nabla u{\Vert }_{L^p({\mathbb{R}}^n)}.$$

Sharp constant: Talenti–Aubin (1976). Extremizers exist only for $1<p<n$ and are translates/dilates of the Aubin–Talenti profile $U(x)=(1+|x{|}^{p/(p-1)}{)}^{-(n-p)/p}$ (mod scaling).

General order: $W^{k,p}(\Omega )\hookrightarrow L^q(\Omega )$ for $\frac{1}{q}=\frac{1}{p}-\frac{k}{n}$ when $kp<n$.

Theorem: Morrey ($kp>n$)

If $kp>n$, then

$$W^{k,p}(\Omega )\hookrightarrow C^{m,\alpha }(\bar{\Omega }),m+\alpha =k-n/p,m\in {\mathbb{N}}_0,\alpha \in (0,1].$$

In particular $W^{1,p}\hookrightarrow C^{0,1-n/p}$ for $p>n$ on Lipschitz domains. This is the Morrey embedding, with explicit Hölder modulus.

The Borderline Case $kp=n$

The naive guess $L^{\infty }$ fails: $W^{1,n}/\hookrightarrow L^{\infty }$. Counterexample (n=2): $u(x)=\log \log (1+1/|x|)$ on the unit ball, in $W^{1,2}$ but unbounded.

• One has $W^{1,n}\hookrightarrow L^q$ for all $q\in [n,\infty )$ but not $q=\infty$.
• Trudinger–Moser inequality: there exists ${\alpha }_n>0$ such that

$$\underset{\Vert \nabla u{\Vert }_{L^n}\le 1}{\sup }{\int }_{\Omega }\exp ({\alpha }_n|u{|}^{n/(n-1)})dx<\infty .$$

Sharp constant ${\alpha }_n=n{\omega }_{n-1}^{1/(n-1)}$ (Moser, 1971). This is the natural limit replacing $L^{\infty }$.

Summary Table of Embeddings

Regime	Embedding	Borderline
$kp<n$	$W^{k,p}\hookrightarrow L^q$, $\frac{1}{q}=\frac{1}{p}-\frac{k}{n}$	$q=p^{\ast }=np/(n-p)$ best
$kp=n$	$W^{k,p}\hookrightarrow L^q$ all $q<\infty$	Trudinger–Moser exponential
$kp>n$	$W^{k,p}\hookrightarrow C^{m,\alpha }$, $m+\alpha =k-n/p$	$\alpha =1$ requires $kp>n$ strict

Proof Sketch — GNS via the $p=1$ Identity

The slickest route. For $u\in C_c^{\infty }({\mathbb{R}}^n)$:

$$|u(x)|\le {\int }_{-\infty }^{x_i}|{\partial }_{i}u(\dots ,t,\dots )|dt.$$

Apply this in each direction, multiply the $n$ inequalities, take the $(n-1)$-th root, integrate, use generalized Hölder, get

$$\Vert u{\Vert }_{L^{n/(n-1)}}\le \prod _{i=1}^n\Vert {\partial }_{i}u{\Vert }_{L^1}^{1/n}\le \Vert \nabla u{\Vert }_{L^1}.$$

This is the $p=1$ case. For general $1<p<n$, apply the $p=1$ inequality to $v=|u{|}^{\gamma }$ with $\gamma$ chosen so the $L^{n/(n-1)}$ exponent matches $p^{\ast }$. Standard, e.g., Evans Ch. 5.6.

Compactness: Rellich–Kondrachov

Theorem: Rellich–Kondrachov

Let $\Omega \subset {\mathbb{R}}^n$ be bounded with Lipschitz boundary, $1\le p<n$. Then the embedding

$$W^{1,p}(\Omega )\hookrightarrow \hookrightarrow L^q(\Omega )\text{is compact for every }1\le q<p^{\ast }.$$

At the critical exponent $q=p^{\ast }$ the embedding is continuous but not compact. For $p\ge n$ compact embeddings into $L^q$ all $q<\infty$ (resp. into $C^{0,\alpha }$ for $p>n$ and $\alpha <1-n/p$).

Consequences for Variational Methods

Compactness is the workhorse for:

• Existence of minimizers (extract weakly convergent subsequence → strongly convergent in $L^q$ for sub-critical $q$).
• Discrete spectrum of self-adjoint elliptic operators (Laplacian on bounded domain with Dirichlet BC → compact resolvent → countable eigenvalues ${\lambda }_k\to \infty$).
• Concentration-compactness (Lions) handles loss at critical exponents.

[!note] Loss of compactness at the critical exponent Failure of $H^1\hookrightarrow \hookrightarrow L^{2^{\ast }}$ (with $2^{\ast }=2n/(n-2)$) is the source of all critical-exponent phenomena: Yamabe problem, prescribed scalar curvature, Brezis–Nirenberg. Bubbles $u_{\epsilon }(x)={\epsilon }^{-(n-2)/2}U(x/\epsilon )$ converge weakly but not strongly.

Poincaré-Type Inequalities

These convert control of $\nabla u$ into control of $u$ — essential for coercivity of the Dirichlet form.

Poincaré Inequality (Zero-Trace Version)

For $u\in W_0^{1,p}(\Omega )$, $\Omega$ bounded, $1\le p<\infty$:

$$\Vert u{\Vert }_{L^p(\Omega )}\le C(\Omega ,p)\Vert \nabla u{\Vert }_{L^p(\Omega )}.$$

Best constant for $p=2$ is $1/\sqrt{{\lambda }_1}$, where ${\lambda }_1$ is the first Dirichlet eigenvalue of $-\Delta$ on $\Omega$.

Consequence: on $W_0^{1,p}$, the seminorm $\Vert \nabla u{\Vert }_{L^p}$ is an equivalent norm.

Poincaré–Wirtinger (Zero-Mean Version)

For $u\in W^{1,p}(\Omega )$, $\Omega$ bounded connected Lipschitz:

$$\Vert u-\frac{1}{|\Omega |}{\int }_{\Omega }u{\Vert }_{L^p(\Omega )}\le C(\Omega ,p)\Vert \nabla u{\Vert }_{L^p(\Omega )}.$$

Best $p=2$ constant: $1/\sqrt{{\mu }_1}$ where ${\mu }_1$ is the first Neumann eigenvalue (the second eigenvalue of the Neumann Laplacian; the first is 0 with constant eigenfunction).

[!tip] When you need a Poincaré Any time you want coercivity for $\int |\nabla u{|}^p$ as a norm. If you have Dirichlet BC, use the zero-trace version. If you're working on $W^{1,p}/\mathbb{R}$ (e.g., Neumann problems), use Poincaré–Wirtinger.

Fractional Sobolev Spaces $W^{s,p}$

Two main definitions; for $p=2$ they coincide and equal the Bessel potential space.

Slobodeckij Seminorm (Gagliardo)

For $s\in (0,1)$, $1\le p<\infty$:

$$[u{]}_{W^{s,p}(\Omega )}^p:={\int }_{\Omega }{\int }_{\Omega }\frac{|u(x)-u(y){|}^p}{|x-y{|}^{n+sp}}dxdy,$$ $$\Vert u{\Vert }_{W^{s,p}}^p:=\Vert u{\Vert }_{L^p}^p+[u{]}_{W^{s,p}}^p.$$

For $s>1$, write $s=k+\sigma$ with $k\in \mathbb{N}$, $\sigma \in (0,1)$, and require $D^{\alpha }u\in W^{\sigma ,p}$ for $|\alpha |=k$.

Bessel Potential Spaces $H^{s,p}$

Via Fourier transform on ${\mathbb{R}}^n$:

$$H^{s,p}({\mathbb{R}}^n):=\{u\in {\mathcal{S}}^{\prime }({\mathbb{R}}^n):(1-\Delta {)}^{s/2}u\in L^p({\mathbb{R}}^n)\},$$

i.e. $\widehat{(1-\Delta {)}^{s/2}u}(\xi )=(1+|\xi {|}^2{)}^{s/2}\hat{u}(\xi )$.

Property	$W^{s,p}$ (Slobodeckij)	$H^{s,p}$ (Bessel)
Defined via	Difference quotients	Fourier multipliers
Equals $W^{s,p}$ for $p=2$	✓	✓
Equals $W^{s,p}$ for $p\ne 2$	—	only if $s\in \mathbb{N}$
Interpolation behavior	Real interp. (Besov-like)	Complex interp.

In fact, $W^{s,p}$ (Slobodeckij) coincides with the Besov space $B_{p,p}^s$, not with $H^{s,p}=F_{p,2}^s$ — the latter is Triebel–Lizorkin. The mismatch for $p\ne 2$, $s\notin \mathbb{N}$ is fundamental.

Trace Spaces Revisited

The trace operator $T:W^{k,p}(\Omega )\to W^{k-1/p,p}(\partial \Omega )$ uses precisely the Slobodeckij version because $\partial \Omega$ is a manifold without group structure where Fourier is awkward. The image is genuinely fractional unless $p=2$, where everything coincides nicely.

Dual Spaces and Negative-Order Sobolev Spaces

$H^{-1}(\Omega )$ — Dual of $H_0^1$

$$H^{-1}(\Omega ):=(H_0^1(\Omega ){)}^{\ast }.$$

Characterization: $f\in H^{-1}$ iff $f=f_0+{\sum }_{i=1}^n{\partial }_i{f}_i$ for some $f_0,\dots ,f_n\in L^2(\Omega )$ (in distributional sense). Norm: infimum of $(\sum \Vert f_i{\Vert }_{L^2}^2{)}^{1/2}$ over such decompositions.

This is the natural target space for the Laplacian:

$$-\Delta :H_0^1(\Omega )\to H^{-1}(\Omega )\text{is an isomorphism}.$$

(Lax–Milgram applied to the bilinear form $a(u,v)=\int \nabla u\cdot \nabla v$.)

Negative Fractional Spaces

For $s>0$, $W^{-s,p}(\Omega ):=(W_0^{s,p^{\prime }}(\Omega ){)}^{\ast }$ where $p^{\prime }=p/(p-1)$. These appear when applying differential operators of order $>k$ to $W^{k,p}$ functions, the result lying in negative-order spaces.

Bounded Variation $BV$ and the $W^{1,1}$ Subtleties

$BV(\Omega )$

$$BV(\Omega ):=\{u\in L^1(\Omega ):Du\in \mathcal{M}(\Omega ;{\mathbb{R}}^n)\}$$

where $\mathcal{M}$ is the space of finite Radon measures. $W^{1,1}⊊BV$: $BV$ allows the gradient to be a measure, e.g., $1_E$ for $E$ a set of finite perimeter has $D{1}_E={\nu }_E{\mathcal{H}}^{n-1}\lfloor {\partial }^{\ast }E$ (the reduced boundary times the outer normal).

$BV$ replaces $W^{1,1}$ in image processing (Rudin–Osher–Fatemi total variation denoising), free-boundary problems, and minimal surface theory. It is not reflexive, only weak-$\ast$ compact (Banach–Alaoglu on the dual of a separable space).

Connections, Comparisons, Applications

Sobolev vs. Hölder vs. Lipschitz Spaces

Space	Norm strength	When useful
$W^{k,p}$	$L^p$ of $k$ derivatives	Variational PDE, weak solutions
$C^{k,\alpha }$	Hölder modulus	Regularity theory, Schauder estimates
$W^{k,\infty }=C^{k-1,1}$	Bounded $k$th derivative	Lipschitz / semiconcave regularity
$BV$	Measure-valued gradient	Free discontinuities, $L^1$-coercivity
$H^{s,p}$	Bessel/Fourier	Pseudodifferential, harmonic analysis

Why $p=2$ Is Privileged

• Only $p$ giving Hilbert structure → Riesz representation, Lax–Milgram, spectral theory.
• Fourier transform is unitary on $L^2$ → exact characterization of $H^s$ via $\int (1+|\xi {|}^2{)}^s|\hat{u}{|}^2$.
• Coincidence of all definitions: $W^{s,2}=H^{s,2}=B_{2,2}^s=F_{2,2}^s$.
• Self-dual scale: $(H^s{)}^{\ast }=H^{-s}$.

Connection to Statistical Learning / NN Approximation

• Barron spaces and RKHSs sit inside Sobolev spaces — used to bound NN approximation rates.
• Curse of dimensionality manifests through Sobolev embeddings: to approximate $W^{k,p}$ functions in $L^{\infty }$ requires $k>n/p$, giving the classical $n^{-k/d}$ rate.
• Neural ODEs / flow-based models implicitly minimize Sobolev-type norms on the velocity field (e.g., FFJORD).
• For Stein discrepancies / score matching, Sobolev regularity of the data density controls convergence.

Connection to Optimal Transport & Functional Inequalities

• The log-Sobolev inequality ${\mathrm{Ent}}_{\mu }(f^2)\le 2c\int |\nabla f{|}^{2}d\mu$ controls hypercontractivity and exponential ergodicity of diffusions.
• Bakry–Émery ${\Gamma }_2$-calculus uses Sobolev-type spaces on metric measure spaces.
• Sobolev–type inequalities ↔ isoperimetric inequalities (Federer–Fleming), via $W^{1,1}$ and BV.
• The Otto–Villani theorem links log-Sobolev → Talagrand $T_2$ → Wasserstein concentration.

[!note] Tangent to Angelo's work Sobolev structure underlies most rigorous analysis of continuous-time/space multi-agent systems and continuous strategy spaces. Mechanism-design impossibility results (Myerson–Satterthwaite, Gibbard–Satterthwaite) live in discrete/measurable settings — but their continuous analogues (e.g. matching with continuous types, Hotelling-style games) often require Sobolev-regular type distributions, and welfare functionals' minimizers naturally live in $H^1$-type spaces over the strategy simplex. The Cooperation Gap framework's "approximate mechanism" notion could be re-cast as a closeness condition in a Sobolev-type seminorm over the policy space.

Canonical References

• Evans, Partial Differential Equations, Ch. 5 — the standard graduate intro.
• Brezis, Functional Analysis, Sobolev Spaces, and PDEs — clean, modern.
• Adams & Fournier, Sobolev Spaces — encyclopedic.
• Maz'ya, Sobolev Spaces with Applications to Elliptic PDE — deep and technical, capacity theory.
• Di Nezza–Palatucci–Valdinoci, Hitchhiker's guide to the fractional Sobolev spaces (2012) — best intro to $W^{s,p}$.
• Triebel, Theory of Function Spaces I–III — for Besov / Triebel–Lizorkin scales.