The theory of [Sobolev spaces](/page/Sobolev%20Space) $W^{1,p}(U)$ provides a powerful framework for studying partial differential equations when $1 < p < \infty$. These spaces are reflexive [Banach spaces](/page/Banach%20Space), and their reflexivity is the engine behind the existence theory: bounded [sequences](/page/Sequence) admit [weakly convergent](/page/Weak%20Convergence) subsequences, which are used to extract solutions via the direct method of the [calculus of variations](/page/Calculus%20of%20Variations).

At the endpoint $p = 1$, this machinery breaks down. The space $W^{1,1}(U)$ is not reflexive, and bounded sequences need not have weakly convergent subsequences. Worse, many natural operations — such as taking [limits](/page/Limit) of characteristic functions of smooth domains — produce [functions](/page/Function) whose [distributional](/page/Distribution) [derivatives](/page/Derivative) are not $L^1$ functions at all, but rather *measures*. The space of functions of bounded variation, $BV(U)$, is the correct enlargement of $W^{1,1}(U)$ that accommodates these limits.

## Motivation

[motivation] ### Why $W^{1,1}$ Is Too Small Consider a sequence of smooth approximations to the Heaviside step function on $U = (-1, 1)$. Define: \begin{align*} u_\epsilon(x) := \begin{cases} 0 & \text{if } x < -\epsilon, \\ \frac{1}{2} + \frac{x}{2\epsilon} & \text{if } -\epsilon \le x \le \epsilon, \\ 1 & \text{if } x > \epsilon. \end{cases} \end{align*} Each $u_\epsilon$ is Lipschitz (hence in $W^{1,1}(U)$), and its derivative is $u_\epsilon'(x) = \frac{1}{2\epsilon} \mathbb{1}_{(-\epsilon, \epsilon)}(x)$. The $L^1$ norm of the derivative is: \begin{align*} \|u_\epsilon'\|_{L^1(U)} = \int_{-\epsilon}^{\epsilon} \frac{1}{2\epsilon} \, d\mathcal{L}^1(x) = 1 \end{align*} for every $\epsilon > 0$. As $\epsilon \to 0$, the functions $u_\epsilon$ converge in $L^1(U)$ to the Heaviside function $H(x) = \mathbb{1}_{(0,1)}(x)$. The derivatives $u_\epsilon'$ have uniformly bounded $L^1$ norm, yet they converge (in the sense of distributions) not to an $L^1$ function but to the **Dirac measure** $\delta_0$: \begin{align*} \int_{-1}^1 u_\epsilon'(x) \phi(x) \, d\mathcal{L}^1(x) \to \phi(0) = \int_{-1}^1 \phi \, d\delta_0 \qquad \text{for all } \phi \in C^\infty_c(U). \end{align*} Thus $H \notin W^{1,1}(U)$ — its distributional derivative is a measure, not an integrable function — yet $H$ is the $L^1$-limit of $W^{1,1}$ functions with uniformly bounded derivatives. ### The Failure of Weak Compactness at $p = 1$ The root cause is that $L^1(U)$ is not reflexive. The Banach-Alaoglu theorem guarantees that bounded sequences in a reflexive space have weakly convergent subsequences, and this is exactly the mechanism used in the [Difference Quotient Characterisation](/theorems/78) to extract weak derivatives from bounded difference quotients when $p > 1$. At $p = 1$, the bounded sequence $\{u_\epsilon'\}$ does not converge weakly in $L^1$ — it *escapes* to a measure. More precisely, $L^1(U)$ embeds isometrically into the space of finite signed Radon measures $\mathcal{M}(U)$ (which is the dual of $C_0(U)$), and the Banach-Alaoglu theorem applied in $\mathcal{M}(U)$ gives weak-$*$ convergence to a measure. This is the correct topology for extracting limits. ### The Resolution: Allow Measure-Valued Derivatives Instead of insisting that the distributional derivative $Du$ be an $L^1$ function, we enlarge the target space and require only that $Du$ be a **finite Radon measure**. This gives the space $BV(U)$. It is strictly larger than $W^{1,1}(U)$ (since it contains the Heaviside function and characteristic functions of nice [sets](/page/Set)), but it retains enough structure to support compactness theorems that replace the Rellich-Kondrachov theorem at the endpoint $p = 1$. [/motivation]

## Definition

[definition: Functions Of Bounded Variation] Let $U \subseteq \mathbb{R}^n$ be an open set. A function $u \in L^1(U)$ is of **bounded variation** if its [distributional derivative](/page/Distributional%20Derivative) is representable by a finite vector-valued Radon measure. That is, $u \in BV(U)$ if there exists a finite $\mathbb{R}^n$-valued Radon measure $Du = (\partial_1 u, \ldots, \partial_n u)$ on $U$ such that for every $i \in \{1, \ldots, n\}$ and every [test function](/page/Test%20Function) $\phi \in C^\infty_c(U)$: \begin{align*} \int_U u \, \partial_i \phi \, d\mathcal{L}^n = -\int_U \phi \, d(\partial_i u). \end{align*} The right-hand side is integration against the signed Radon measure $\partial_i u$, not against an $L^1$ function. [/definition]

The key distinction from $W^{1,1}(U)$ is in the nature of $Du$. For Sobolev functions, $Du$ is absolutely [continuous](/page/Continuity) with respect to Lebesgue measure (i.e., $Du = \nabla u \, d\mathcal{L}^n$ for some $\nabla u \in L^1$). For $BV$ functions, $Du$ may have singular components — concentrated on sets of Lebesgue measure zero.

[definition: Total Variation Measure] For $u \in BV(U)$, the **total variation measure** $|Du|$ is the non-negative finite Radon measure defined by: \begin{align*} |Du|(A) := \sup \left\{ \sum_{k=1}^\infty |Du(A_k)| : \{A_k\}_{k=1}^\infty \text{ is a Borel partition of } A \right\} \end{align*} for every Borel set $A \subseteq U$. The **total variation** of $u$ on $U$ is the scalar $|Du|(U)$. [/definition]

The definition above requires first knowing that $Du$ exists as a measure, and then computing its total variation through Borel partitions. In practice, one wants a criterion that works directly from the function $u$ without presupposing the existence of $Du$. The following result provides exactly this: it characterises $BV$ membership and computes the total variation simultaneously, using only [integration by parts](/theorems/210) against smooth test vector fields.

[quotetheorem:591]

The power of this characterisation is that the right-hand side involves only $u$ and smooth test fields — no reference to $Du$ is needed. This makes the dual formula the primary tool for verifying $BV$ membership in examples and for proving compactness results, since it provides a uniform bound on the total variation.

[definition: BV Norm] The **$BV$ norm** on $BV(U)$ is defined by: \begin{align*} \|u\|_{BV(U)} := \|u\|_{L^1(U)} + |Du|(U). \end{align*} [/definition]

A natural question is whether the $BV$ norm makes $BV(U)$ into a complete space. Unlike the Sobolev space $W^{1,1}(U)$, which is a separable Banach space, $BV(U)$ is complete but dramatically larger — so large that it fails to be separable. The completeness is essential for the direct method in the calculus of variations, since one needs the limit of a convergent sequence in $BV$ to remain in $BV$.

[quotetheorem:592]

The non-[separability](/page/Separable) can be seen from the characteristic functions: for distinct measurable sets $A, B \subset U$ with $\mathcal{L}^n(A \triangle B) > 0$, the distance $\|\mathbb{1}_A - \mathbb{1}_B\|_{BV}$ is bounded below by $\|\mathbb{1}_A - \mathbb{1}_B\|_{L^1} > 0$, and the collection of all such characteristic functions is uncountable with no countable dense subset.

## Examples

### The Heaviside Function

[example: Heaviside Function] Let $U = (-1, 1) \subset \mathbb{R}$ and define the Heaviside step function $H(x) := \mathbb{1}_{(0,1)}(x)$. We show that $H \in BV(U)$ with $DH = \delta_0$ and $|DH|(U) = 1$. For any $\phi \in C^\infty_c(U)$, integration by parts gives: \begin{align*} \int_{-1}^1 H(x) \phi'(x) \, d\mathcal{L}^1(x) = \int_0^1 \phi'(x) \, d\mathcal{L}^1(x) = \phi(1) - \phi(0) = -\phi(0), \end{align*} where $\phi(1) = 0$ because $\phi$ has compact support in $(-1,1)$. Thus: \begin{align*} \int_{-1}^1 H \, \phi' \, d\mathcal{L}^1 = -\phi(0) = -\int_{-1}^1 \phi \, d\delta_0. \end{align*} The distributional derivative is $DH = \delta_0$, which is a positive Radon measure with $|DH|(U) = \delta_0(U) = 1$. This function is *not* in $W^{1,1}(U)$: the measure $\delta_0$ is singular with respect to $\mathcal{L}^1$ and cannot be represented as integration against an $L^1$ function. [/example]

### The Cantor Function

[example: Cantor Function] The Cantor function $c: [0,1] \to [0,1]$ (also called the devil's staircase) is a continuous, non-decreasing function satisfying $c(0) = 0$, $c(1) = 1$, and $c'(x) = 0$ for $\mathcal{L}^1$-a.e. $x \in [0,1]$ (since $c$ is constant on each of the open intervals that make up the complement of the Cantor set $\mathcal{C}$, which has full measure $\mathcal{L}^1([0,1] \setminus \mathcal{C}) = 1$). The Cantor function belongs to $BV(0,1)$ with $|Dc|(0,1) = 1$: the total variation equals the total increase of $c$, which is $c(1) - c(0) = 1$. However, the distributional derivative $Dc$ is the **Cantor measure** — a probability measure supported on the Cantor set $\mathcal{C}$ (which has $\mathcal{L}^1(\mathcal{C}) = 0$). The Cantor measure is: - singular with respect to $\mathcal{L}^1$ (concentrated on a null set), so $c \notin W^{1,1}(0,1)$, - continuous (it assigns zero mass to every singleton $\{x\}$), so it has no jump part. This demonstrates that $BV$ functions can have derivatives that are singular continuous — neither absolutely continuous nor concentrated on countably many points. [/example]