Bounded variation

Template:Short description Template:Use dmy dates In mathematical analysis, a function of bounded variation, also known as Template:Math function, is a real-valued function whose total variation is bounded (finite): the graph of a function having this property is well behaved in a precise sense. For a continuous function of a single variable, being of bounded variation means that the distance along the direction of the [[y-axis|Template:Math-axis]], neglecting the contribution of motion along [[x-axis|Template:Math-axis]], traveled by a point moving along the graph has a finite value. For a continuous function of several variables, the meaning of the definition is the same, except for the fact that the continuous path to be considered cannot be the whole graph of the given function (which is a hypersurface in this case), but can be every intersection of the graph itself with a hyperplane (in the case of functions of two variables, a plane) parallel to a fixed Template:Math-axis and to the Template:Math-axis.

Functions of bounded variation are precisely those with respect to which one may find Riemann–Stieltjes integrals of all continuous functions.

Another characterization states that the functions of bounded variation on a compact interval are exactly those Template:Math which can be written as a difference Template:Math, where both Template:Math and Template:Math are bounded monotone. In particular, a BV function may have discontinuities, but at most countably many.

In the case of several variables, a function Template:Math defined on an open subset Template:Math of <math>\mathbb{R}^n</math> is said to have bounded variation if its distributional derivative is a vector-valued finite Radon measure.

One of the most important aspects of functions of bounded variation is that they form an algebra of discontinuous functions whose first derivative exists almost everywhere: due to this fact, they can and frequently are used to define generalized solutions of nonlinear problems involving functionals, ordinary and partial differential equations in mathematics, physics and engineering.

We have the following chains of inclusions for continuous functions over a closed, bounded interval of the real line:

Continuously differentiable ⊆ Lipschitz continuous ⊆ absolutely continuous ⊆ continuous and bounded variation ⊆ differentiable almost everywhere

History

According to Boris Golubov, BV functions of a single variable were first introduced by Camille Jordan, in the paper Template:Harv dealing with the convergence of Fourier series. The first successful step in the generalization of this concept to functions of several variables was due to Leonida Tonelli,<ref>Tonelli introduced what is now called after him Tonelli plane variation: for an analysis of this concept and its relations to other generalizations, see the entry "Total variation".</ref> who introduced a class of continuous BV functions in 1926 Template:Harv, to extend his direct method for finding solutions to problems in the calculus of variations in more than one variable. Ten years after, in Template:Harv, Lamberto Cesari changed the continuity requirement in Tonelli's definition to a less restrictive integrability requirement, obtaining for the first time the class of functions of bounded variation of several variables in its full generality: as Jordan did before him, he applied the concept to resolve of a problem concerning the convergence of Fourier series, but for functions of two variables. After him, several authors applied BV functions to study Fourier series in several variables, geometric measure theory, calculus of variations, and mathematical physics. Renato Caccioppoli and Ennio De Giorgi used them to define measure of nonsmooth boundaries of sets (see the entry "Caccioppoli set" for further information). Olga Arsenievna Oleinik introduced her view of generalized solutions for nonlinear partial differential equations as functions from the space BV in the paper Template:Harv, and was able to construct a generalized solution of bounded variation of a first order partial differential equation in the paper Template:Harv: few years later, Edward D. Conway and Joel A. Smoller applied BV-functions to the study of a single nonlinear hyperbolic partial differential equation of first order in the paper Template:Harv, proving that the solution of the Cauchy problem for such equations is a function of bounded variation, provided the initial value belongs to the same class. Aizik Isaakovich Vol'pert developed extensively a calculus for BV functions: in the paper Template:Harv he proved the chain rule for BV functions and in the book Template:Harv he, jointly with his pupil Sergei Ivanovich Hudjaev, explored extensively the properties of BV functions and their application. His chain rule formula was later extended by Luigi Ambrosio and Gianni Dal Maso in the paper Template:Harv.

Formal definition

BV functions of one variable

Template:EquationRef The total variation of a real-valued (or more generally complex-valued) function f, defined on an interval <math>[a,b] \subset \mathbb{R}</math> is the quantity

<math> V_a^b(f)=\sup_{P \in \mathcal{P}} \sum_{i=0}^{n_{P}-1} | f(x_{i+1})-f(x_i) |. \,</math>

where the supremum is taken over the set <math display="inline"> \mathcal{P} =\left\{P=\{ x_0, \dots , x_{n_P}\} \mid P\text{ is a partition of } [a, b]\text{ satisfying } x_i\leq x_{i+1}\text{ for } 0\leq i\leq n_P-1 \right\} </math> of all partitions of the interval considered.

If f is differentiable and its derivative is Riemann-integrable, its total variation is the vertical component of the arc-length of its graph, that is to say,

<math> V_a^b(f) = \int _a^b |f'(x)|\,\mathrm{d}x.</math>

Template:EquationRef A real-valued function <math> f </math> on the real line is said to be of bounded variation (BV function) on a chosen interval <math>[a,b] \subset \mathbb{R}</math> if its total variation is finite, i.e.

<math> f \in \operatorname{BV}([a,b]) \iff V_a^b(f) < +\infty </math>

It can be proved that a real function <math>f</math> is of bounded variation in <math>[a,b]</math> if and only if it can be written as the difference <math>f=f_1-f_2</math> of two non-decreasing functions <math>f_1</math> and <math>f_2</math> on <math>[a,b]</math>: this result is known as the Jordan decomposition of a function and it is related to the Jordan decomposition of a measure.

Through the Stieltjes integral, any function of bounded variation on a closed interval <math>[a, b]</math> defines a bounded linear functional on <math>C([a, b])</math>. In this special case,<ref>See for example Template:Harvtxt.</ref> the Riesz–Markov–Kakutani representation theorem states that every bounded linear functional arises uniquely in this way. The normalized positive functionals or probability measures correspond to positive non-decreasing lower semicontinuous functions. This point of view has been important in spectral theory,<ref>For a general reference on this topic, see Template:Harvtxt</ref> in particular in its application to ordinary differential equations.

BV functions of several variables

Functions of bounded variation, BV functions, are functions whose distributional derivative is a finite<ref>In this context, "finite" means that its value is never infinite, i.e. it is a finite measure.</ref> Radon measure. More precisely:

Template:EquationRef Let <math> \Omega </math> be an open subset of <math>\mathbb{R}^n</math>. A function <math> u </math> belonging to <math>L^1(\Omega)</math> is said to be of bounded variation (BV function), and written

<math> u\in \operatorname\operatorname{BV}(\Omega)</math>

if there exists a finite vector Radon measure <math> Du\in\mathcal M(\Omega,\mathbb{R}^n)</math> such that the following equality holds

<math>

\int_\Omega u(x)\operatorname{div}\boldsymbol{\phi}(x)\,\mathrm{d}x = - \int_\Omega \langle\boldsymbol{\phi}, Du(x)\rangle \qquad \forall\boldsymbol{\phi}\in C_c^1(\Omega,\mathbb{R}^n) </math>

that is, <math>u</math> defines a linear functional on the space <math> C_c^1(\Omega,\mathbb{R}^n)</math> of continuously differentiable vector functions <math> \boldsymbol{\phi} </math> of compact support contained in <math> \Omega </math>: the vector measure <math>Du</math> represents therefore the distributional or weak gradient of <math>u</math>.

BV can be defined equivalently in the following way.

Template:EquationRef Given a function <math>u</math> belonging to <math>L^1(\Omega)</math>, the total variation of <math>u</math><ref name="Tvar">See the entry "Total variation" for further details and more information.</ref> in <math>\Omega</math> is defined as

<math> V(u,\Omega):=\sup\left\{\int_\Omega u(x)\operatorname{div}\boldsymbol{\phi}(x) \, \mathrm{d}x : \boldsymbol{\phi} \in C_c^1(\Omega,\mathbb{R}^n),\ \Vert\boldsymbol{\phi}\Vert_{L^\infty(\Omega)}\le 1\right\}</math>

where <math> \Vert\;\Vert_{L^\infty(\Omega)}</math> is the essential supremum norm. Sometimes, especially in the theory of Caccioppoli sets, the following notation is used

<math>\int_\Omega\vert D u\vert = V(u,\Omega)</math>

in order to emphasize that <math>V(u,\Omega)</math> is the total variation of the distributional / weak gradient of <math>u</math>. This notation reminds also that if <math>u</math> is of class <math>C^1</math> (i.e. a continuous and differentiable function having continuous derivatives) then its variation is exactly the integral of the absolute value of its gradient.

The space of functions of bounded variation (BV functions) can then be defined as

<math> \operatorname\operatorname{BV}(\Omega)=\{ u\in L^1(\Omega)\colon V(u,\Omega)<+\infty\}</math>

The two definitions are equivalent since if <math>V(u,\Omega)<+\infty </math> then

<math>\left|\int_\Omega u(x)\operatorname{div}\boldsymbol{\phi}(x) \, \mathrm{d}x \right |\leq V(u,\Omega)\Vert\boldsymbol{\phi}\Vert_{L^\infty(\Omega)}

\qquad \forall \boldsymbol{\phi}\in C_c^1(\Omega,\mathbb{R}^n) </math>

therefore <math display="inline"> \displaystyle \boldsymbol{\phi}\mapsto\,\int_\Omega u(x)\operatorname{div}\boldsymbol{\phi}(x) \, dx</math> defines a continuous linear functional on the space <math>C_c^1(\Omega,\mathbb{R}^n)</math>. Since <math>C_c^1(\Omega,\mathbb{R}^n) \subset C^0(\Omega,\mathbb{R}^n)</math> as a linear subspace, this continuous linear functional can be extended continuously and linearly to the whole <math>C^0(\Omega,\mathbb{R}^n)</math> by the Hahn–Banach theorem. Hence the continuous linear functional defines a Radon measure by the Riesz–Markov–Kakutani representation theorem.

Locally BV functions

If the function space of locally integrable functions, i.e. functions belonging to <math> L^1_\text{loc}(\Omega)</math>, is considered in the preceding definitions Template:EquationNote, Template:EquationNote and Template:EquationNote instead of the one of globally integrable functions, then the function space defined is that of functions of locally bounded variation. Precisely, developing this idea for Template:EquationNote, a local variation is defined as follows,

<math> V(u,U):=\sup\left\{\int_\Omega u(x)\operatorname{div}\boldsymbol{\phi}(x) \, \mathrm{d}x : \boldsymbol{\phi} \in C_c^1(U,\mathbb{R}^n),\ \Vert\boldsymbol{\phi}\Vert_{L^\infty(\Omega)}\le 1\right\}</math>

for every set <math> U\in\mathcal{O}_c(\Omega)</math>, having defined <math> \mathcal{O}_c(\Omega)</math> as the set of all precompact open subsets of <math>\Omega</math> with respect to the standard topology of finite-dimensional vector spaces, and correspondingly the class of functions of locally bounded variation is defined as

<math>\operatorname{BV}_\text{loc}(\Omega)=\{ u\in L^1_\text{loc}(\Omega)\colon \, (\forall U\in\mathcal{O}_c(\Omega)) \, V(u,U)<+\infty\}</math>

Notation

There are basically two distinct conventions for the notation of spaces of functions of locally or globally bounded variation, and unfortunately they are quite similar: the first one, which is the one adopted in this entry, is used for example in references Template:Harvtxt (partially), Template:Harvtxt (partially), Template:Harvtxt and is the following one

• <math> \operatorname\operatorname{BV}(\Omega)</math> identifies the space of functions of globally bounded variation
• <math> \operatorname\operatorname{BV}_{\text{loc}}(\Omega)</math> identifies the space of functions of locally bounded variation

The second one, which is adopted in references Template:Harvtxt and Template:Harvtxt (partially), is the following:

• <math> \overline{\operatorname\operatorname{BV}}(\Omega)</math> identifies the space of functions of globally bounded variation
• <math> \operatorname\operatorname{BV}(\Omega)</math> identifies the space of functions of locally bounded variation

Basic properties

Only the properties common to functions of one variable and to functions of several variables will be considered in the following, and proofs will be carried on only for functions of several variables since the proof for the case of one variable is a straightforward adaptation of the several variables case: also, in each section it will be stated if the property is shared also by functions of locally bounded variation or not. References Template:Harv, Template:Harv and Template:Harv are extensively used.

BV functions have only jump-type or removable discontinuities

In the case of one variable, the assertion is clear: for each point <math>x_0</math> in the interval <math>[a , b]\subset\mathbb{R}</math> of definition of the function <math>u</math>, either one of the following two assertions is true

<math> \lim_{x\rightarrow x_{0^-}}\!\!\!u(x) = \!\!\!\lim_{x\rightarrow x_{0^+}}\!\!\!u(x) </math>

<math> \lim_{x\rightarrow x_{0^-}}\!\!\!u(x) \neq \!\!\!\lim_{x\rightarrow x_{0^+}}\!\!\!u(x) </math>

while both limits exist and are finite. In the case of functions of several variables, there are some premises to understand: first of all, there is a continuum of directions along which it is possible to approach a given point <math>x_0</math> belonging to the domain <math>\Omega</math>⊂<math>\mathbb{R}^n</math>. It is necessary to make precise a suitable concept of limit: choosing a unit vector <math>{\boldsymbol{\hat{a}}}\in\mathbb{R}^n</math> it is possible to divide <math>\Omega</math> in two sets

<math>\Omega_{({\boldsymbol{\hat{a}}},\boldsymbol{x}_0)} = \Omega \cap \{\boldsymbol{x}\in\mathbb{R}^n|\langle\boldsymbol{x}-\boldsymbol{x}_0,{\boldsymbol{\hat{a}}}\rangle>0\} \qquad

\Omega_{(-{\boldsymbol{\hat{a}}},\boldsymbol{x}_0)} = \Omega \cap \{\boldsymbol{x}\in\mathbb{R}^n|\langle\boldsymbol{x}-\boldsymbol{x}_0,-{\boldsymbol{\hat{a}}}\rangle>0\} </math>

Then for each point <math>x_0</math> belonging to the domain <math>\Omega\in\mathbb{R}^n</math> of the BV function <math>u</math>, only one of the following two assertions is true

<math> \lim_{\overset{\boldsymbol{x}\rightarrow \boldsymbol{x}_0}{\boldsymbol{x}\in\Omega_{({\boldsymbol{\hat{a}}},\boldsymbol{x}_0)}}}\!\!\!\!\!\!u(\boldsymbol{x}) = \!\!\!\!\!\!\!\lim_{\overset{\boldsymbol{x}\rightarrow \boldsymbol{x}_0}{\boldsymbol{x}\in\Omega_{(-{\boldsymbol{\hat{a}}},\boldsymbol{x}_0)}}}\!\!\!\!\!\!\!u(\boldsymbol{x})

</math>

<math> \lim_{\overset{\boldsymbol{x}\rightarrow \boldsymbol{x}_0}{\boldsymbol{x}\in\Omega_{({\boldsymbol{\hat{a}}},\boldsymbol{x}_0)}}}\!\!\!\!\!\!u(\boldsymbol{x}) \neq \!\!\!\!\!\!\!\lim_{\overset{\boldsymbol{x}\rightarrow \boldsymbol{x}_0}{\boldsymbol{x}\in\Omega_{(-{\boldsymbol{\hat{a}}},\boldsymbol{x}_0)}}}\!\!\!\!\!\!\!u(\boldsymbol{x})

</math>

or <math>x_0</math> belongs to a subset of <math>\Omega</math> having zero <math>n-1</math>-dimensional Hausdorff measure. The quantities

<math>\lim_{\overset{\boldsymbol{x}\rightarrow \boldsymbol{x}_0}{\boldsymbol{x}\in\Omega_{({\boldsymbol{\hat{a}}},\boldsymbol{x}_0)}}}\!\!\!\!\!\!u(\boldsymbol{x})=u_{\boldsymbol{\hat a}}(\boldsymbol{x}_0) \qquad \lim_{\overset{\boldsymbol{x}\rightarrow \boldsymbol{x}_0}{\boldsymbol{x}\in\Omega_{(-{\boldsymbol{\hat{a}}},\boldsymbol{x}_0)}}}\!\!\!\!\!\!\!u(\boldsymbol{x})=u_{-\boldsymbol{\hat a}}(\boldsymbol{x}_0)</math>

are called approximate limits of the BV function <math>u</math> at the point <math>x_0</math>.

V(⋅, Ω) is lower semi-continuous on L¹(Ω)

The functional <math>V(\cdot,\Omega):\operatorname\operatorname{BV}(\Omega)\rightarrow \mathbb{R}^+</math> is lower semi-continuous: to see this, choose a Cauchy sequence of BV-functions <math>\{u_n\}_{n\in\mathbb{N}}</math> converging to <math>u\in L^1_\text{loc}(\Omega)</math>. Then, since all the functions of the sequence and their limit function are integrable and by the definition of lower limit

<math>\begin{align}

\liminf_{n\rightarrow\infty}V(u_n,\Omega) &\geq \liminf_{n\rightarrow\infty} \int_\Omega u_n(x)\operatorname{div}\, \boldsymbol{\phi}\, \mathrm{d}x \\ &\geq \int_\Omega \lim_{n\rightarrow\infty} u_n(x)\operatorname{div}\, \boldsymbol{\phi}\, \mathrm{d}x \\ &= \int_\Omega u(x)\operatorname{div}\boldsymbol{\phi}\, \mathrm{d}x \qquad\forall\boldsymbol{\phi}\in C_c^1(\Omega,\mathbb{R}^n),\quad\Vert\boldsymbol{\phi}\Vert_{L^\infty(\Omega)}\leq 1 \end{align}</math>

Now considering the supremum on the set of functions <math>\boldsymbol{\phi}\in C_c^1(\Omega,\mathbb{R}^n)</math> such that <math>\Vert\boldsymbol{\phi}\Vert_{L^\infty(\Omega)}\leq 1 </math> then the following inequality holds true

<math>\liminf_{n\rightarrow\infty}V(u_n,\Omega)\geq V(u,\Omega)</math>

which is exactly the definition of lower semicontinuity.

BV(Ω) is a Banach space

By definition <math>\operatorname\operatorname{BV}(\Omega)</math> is a subset of <math>L^1(\Omega)</math>, while linearity follows from the linearity properties of the defining integral i.e.

<math>\begin{align}

\int_\Omega [u(x)+v(x)]\operatorname{div}\boldsymbol{\phi}(x)\,\mathrm{d}x & = \int_\Omega u(x)\operatorname{div}\boldsymbol{\phi}(x)\,\mathrm{d}x +\int_\Omega v(x) \operatorname{div} \boldsymbol{\phi}(x)\,\mathrm{d}x = \\ & =- \int_\Omega \langle\boldsymbol{\phi}(x), Du(x)\rangle- \int_\Omega \langle \boldsymbol{\phi}(x), Dv(x)\rangle =- \int_\Omega \langle \boldsymbol{\phi}(x), [Du(x)+Dv(x)]\rangle \end{align} </math>

for all <math>\phi\in C_c^1(\Omega,\mathbb{R}^n)</math> therefore <math>u+v\in \operatorname\operatorname{BV}(\Omega)</math>for all <math>u,v\in \operatorname\operatorname{BV}(\Omega)</math>, and

<math>

\int_\Omega c\cdot u(x)\operatorname{div}\boldsymbol{\phi}(x)\,\mathrm{d}x = c \int_\Omega u(x)\operatorname{div}\boldsymbol{\phi}(x)\,\mathrm{d}x = -c \int_\Omega \langle \boldsymbol{\phi}(x), Du(x)\rangle </math>

for all <math> c\in\mathbb{R}</math>, therefore <math> cu\in \operatorname\operatorname{BV}(\Omega)</math> for all <math> u\in \operatorname\operatorname{BV}(\Omega)</math>, and all <math> c\in\mathbb{R}</math>. The proved vector space properties imply that <math>\operatorname\operatorname{BV}(\Omega)</math> is a vector subspace of <math>L^1(\Omega)</math>. Consider now the function <math>\|\;\|_{\operatorname{BV}}:\operatorname\operatorname{BV}(\Omega)\rightarrow\mathbb{R}^+</math> defined as

<math>\| u \|_{\operatorname{BV}} := \| u \|_{L^1} + V(u,\Omega)</math>

where <math>\| \; \|_{L^1}</math> is the usual <math>L^1(\Omega)</math> norm: it is easy to prove that this is a norm on <math>\operatorname\operatorname{BV}(\Omega)</math>. To see that <math>\operatorname\operatorname{BV}(\Omega)</math> is complete respect to it, i.e. it is a Banach space, consider a Cauchy sequence <math>\{u_n\}_{n\in\mathbb{N}}</math> in <math>\operatorname\operatorname{BV}(\Omega)</math>. By definition it is also a Cauchy sequence in <math>L^1(\Omega)</math> and therefore has a limit <math>u</math> in <math>L^1(\Omega)</math>: since <math>u_n</math> is bounded in <math>\operatorname\operatorname{BV}(\Omega)</math> for each <math>n</math>, then <math>\Vert u \Vert_{\operatorname{BV}} < +\infty </math> by lower semicontinuity of the variation <math>V(\cdot,\Omega)</math>, therefore <math>u</math> is a BV function. Finally, again by lower semicontinuity, choosing an arbitrary small positive number <math>\varepsilon</math>

<math>\Vert u_j - u_k \Vert_{\operatorname{BV}}<\varepsilon\quad\forall j,k\geq N\in\mathbb{N} \quad\Rightarrow\quad V(u_k-u,\Omega)\leq \liminf_{j\rightarrow +\infty} V(u_k-u_j,\Omega)\leq\varepsilon</math>

From this we deduce that <math>V(\cdot,\Omega)</math> is continuous because it's a norm.

BV(Ω) is not separable

To see this, it is sufficient to consider the following example belonging to the space <math>\operatorname\operatorname{BV}([0,1])</math>:<ref>The example is taken from Template:Harvtxt: see also Template:Harv.</ref> for each 0 < α < 1 define

<math>\chi_\alpha=\chi_{[\alpha,1]}=

\begin{cases} 0 & \mbox{if } x \notin\; [\alpha,1] \\

             1 & \mbox{if } x \in [\alpha,1]

\end{cases} </math> as the characteristic function of the left-closed interval <math>[\alpha,1]</math>. Then, choosing <math>\alpha,\beta \in [0,1]</math> such that <math>\alpha \ne \beta</math> the following relation holds true:

<math>\Vert \chi_\alpha - \chi_\beta \Vert_{\operatorname{BV}}=2</math>

Now, in order to prove that every dense subset of <math>\operatorname\operatorname{BV}(]0,1[)</math> cannot be countable, it is sufficient to see that for every <math>\alpha\in[0,1]</math> it is possible to construct the balls

<math>B_\alpha=\left\{\psi\in \operatorname\operatorname{BV}([0,1]);\Vert \chi_\alpha - \psi \Vert_{\operatorname{BV}}\leq 1\right\}</math>

Obviously those balls are pairwise disjoint, and also are an indexed family of sets whose index set is <math>[0,1]</math>. This implies that this family has the cardinality of the continuum: now, since every dense subset of <math>\operatorname\operatorname{BV}([0,1])</math> must have at least a point inside each member of this family, its cardinality is at least that of the continuum and therefore cannot a be countable subset.<ref>The same argument is used by Template:Harvtxt, in order to prove the non separability of the space of bounded sequences, and also Template:Harvtxt.</ref> This example can be obviously extended to higher dimensions, and since it involves only local properties, it implies that the same property is true also for <math>\operatorname{BV}_{loc}</math>.

Chain rule for locally BV(Ω) functions

Chain rules for nonsmooth functions are very important in mathematics and mathematical physics since there are several important physical models whose behaviors are described by functions or functionals with a very limited degree of smoothness. The following chain rule is proved in the paper Template:Harv. Note all partial derivatives must be interpreted in a generalized sense, i.e., as generalized derivatives.

Theorem. Let <math>f:\mathbb{R}^p\rightarrow\mathbb{R}</math> be a function of class <math>C^1</math> (i.e. a continuous and differentiable function having continuous derivatives) and let <math>\boldsymbol{u}(\boldsymbol{x})=(u_1(\boldsymbol{x}),\ldots,u_p(\boldsymbol{x})) </math> be a function in <math>\operatorname\operatorname{BV}_{loc} (\Omega)</math> with <math> \Omega </math> being an open subset of <math> \mathbb{R}^n </math>. Then <math>f\circ\boldsymbol{u}(\boldsymbol{x})=f(\boldsymbol{u}(\boldsymbol{x}))\in \operatorname\operatorname{BV}_{loc} (\Omega) </math> and

<math>\frac{\partial f(\boldsymbol{u}(\boldsymbol{x}))}{\partial x_i}=\sum_{k=1}^p\frac{\partial\bar{f}(\boldsymbol{u}(\boldsymbol{x}))}{\partial u_k}\frac{\partial{u_k(\boldsymbol{x})}}{\partial x_i}

\qquad\forall i=1,\ldots,n</math>

where <math>\bar f(\boldsymbol{u}(\boldsymbol{x}))</math> is the mean value of the function at the point <math>x \in\Omega</math>, defined as

<math>\bar f(\boldsymbol{u}(\boldsymbol{x})) = \int_0^1 f\left(\boldsymbol{u}_{\boldsymbol{\hat a}}(\boldsymbol{x})t + \boldsymbol{u}_{-\boldsymbol{\hat a}}(\boldsymbol{x})(1-t)\right) \, dt</math>

A more general chain rule formula for Lipschitz continuous functions <math>f:\mathbb{R}^p\rightarrow\mathbb{R}^s</math> has been found by Luigi Ambrosio and Gianni Dal Maso and is published in the paper Template:Harv. However, even this formula has very important direct consequences: we use <math>( u(\boldsymbol{x}), v(\boldsymbol{x}))</math> in place of <math>\boldsymbol u(\boldsymbol{x})</math>, where <math>v(\boldsymbol{x})</math> is also a <math>BV_{loc}</math> function. We have to assume also that <math>\bar u(\boldsymbol{x})</math> is locally integrable with respect to the measure <math>\frac{\partial v(\boldsymbol{x})}{\partial x_i}</math> for each <math>i</math>, and that <math>\bar v(\boldsymbol{x})</math> is locally integrable with respect to the measure <math>\frac{\partial u(\boldsymbol{x})}{\partial x_i}</math> for each <math>i</math>. Then choosing <math>f((u,v))=uv</math>, the preceding formula gives the Leibniz rule for 'BV' functions

<math>\frac{\partial v(\boldsymbol{x})u(\boldsymbol{x})}{\partial x_i} = {\bar u(\boldsymbol{x})}\frac{\partial v(\boldsymbol{x})}{\partial x_i} +

{\bar v(\boldsymbol{x})}\frac{\partial u(\boldsymbol{x})}{\partial x_i} </math>

Generalizations and extensions

Weighted BV functions

It is possible to generalize the above notion of total variation so that different variations are weighted differently. More precisely, let <math>\varphi : [0, +\infty)\longrightarrow [0, +\infty)</math> be any increasing function such that <math>\varphi(0) = \varphi(0+) =\lim_{x\rightarrow 0_+}\varphi(x) = 0</math> (the weight function) and let <math>f: [0, T]\longrightarrow X </math> be a function from the interval <math>[0 , T]</math><math>\subset \mathbb{R}</math> taking values in a normed vector space <math>X</math>. Then the <math>\boldsymbol\varphi</math>-variation of <math>f</math> over <math>[0, T]</math> is defined as

<math>\mathop{\varphi\text{-}\operatorname{Var}}_{[0, T]} (f) := \sup \sum_{j = 0}^k \varphi \left( | f(t_{j + 1}) - f(t_j) |_X \right),</math>

where, as usual, the supremum is taken over all finite partitions of the interval <math>[0, T]</math>, i.e. all the finite sets of real numbers <math>t_i</math> such that

<math>0 = t_0 < t_1 < \cdots < t_k = T.</math>

The original notion of variation considered above is the special case of <math>\varphi</math>-variation for which the weight function is the identity function: therefore an integrable function <math>f</math> is said to be a weighted BV function (of weight <math>\varphi</math>) if and only if its <math>\varphi</math>-variation is finite.

<math>f\in \operatorname{BV}_\varphi([0, T];X)\iff \mathop{\varphi\text{-}\operatorname{Var}}_{[0, T]} (f) <+\infty</math>

The space <math>\operatorname{BV}_\varphi([0, T];X)</math> is a topological vector space with respect to the norm

<math>\| f \|_{\operatorname{BV}_\varphi} := \| f \|_\infty + \mathop{\varphi\text{-}\operatorname{Var}}_{[0, T]} (f),</math>

where <math>\| f \|_{\infty}</math> denotes the usual supremum norm of <math>f</math>. Weighted BV functions were introduced and studied in full generality by Władysław Orlicz and Julian Musielak in the paper Template:Harvnb: Laurence Chisholm Young studied earlier the case <math>\varphi(x)=x^p</math> where <math>p</math> is a positive integer.

SBV functions

SBV functions i.e. Special functions of Bounded Variation were introduced by Luigi Ambrosio and Ennio De Giorgi in the paper Template:Harv, dealing with free discontinuity variational problems: given an open subset <math> \Omega </math> of <math>\mathbb{R}^n</math>, the space <math>\operatorname{SBV}(\Omega)</math> is a proper linear subspace of <math>\operatorname\operatorname{BV}(\Omega)</math>, since the weak gradient of each function belonging to it consists precisely of the sum of an <math>n</math>-dimensional support and an <math>n-1</math>-dimensional support measure and no intermediate-dimensional terms, as seen in the following definition.

Definition. Given a locally integrable function <math>u</math>, then <math>u\in \operatorname{SBV}(\Omega) </math> if and only if

1. There exist two Borel functions <math>f</math> and <math>g</math> of domain <math>\Omega</math> and codomain <math>\mathbb{R}^n</math> such that

<math> \int_\Omega\vert f\vert \, dH^n+ \int_\Omega\vert g\vert \, dH^{n-1}<+\infty.</math>

2. For all of continuously differentiable vector functions <math> \phi </math> of compact support contained in <math> \Omega </math>, i.e. for all <math> \phi \in C_c^1(\Omega,\mathbb{R}^n)</math> the following formula is true:

<math> \int_\Omega u\operatorname{div} \phi \, dH^n = \int_\Omega \langle \phi, f\rangle \, dH^n +\int_\Omega \langle \phi, g\rangle \, dH^{n-1}.</math>

where <math>H^\alpha</math> is the <math>\alpha</math>-dimensional Hausdorff measure.

Details on the properties of SBV functions can be found in works cited in the bibliography section: particularly the paper Template:Harv contains a useful bibliography.

BV sequences

As particular examples of Banach spaces, Template:Harvtxt consider spaces of sequences of bounded variation, in addition to the spaces of functions of bounded variation. The total variation of a sequence x = (x_i) of real or complex numbers is defined by

<math>\operatorname{TV}(x) = \sum_{i=1}^\infty |x_{i+1}-x_i|.</math>

The space of all sequences of finite total variation is denoted by BV. The norm on BV is given by

<math>\|x\|_{\operatorname{BV}} = |x_1| + \operatorname{TV}(x) = |x_1| + \sum_{i=1}^\infty |x_{i+1}-x_i|.</math>

With this norm, the space BV is a Banach space which is isomorphic to <math>\ell_1</math>.

The total variation itself defines a norm on a certain subspace of BV, denoted by BV₀, consisting of sequences x = (x_i) for which

<math>\lim_{n\to\infty} x_n =0.</math>

The norm on BV₀ is denoted

<math>\|x\|_{\operatorname{BV}_0} = \operatorname{TV}(x) = \sum_{i=1}^\infty |x_{i+1}-x_i|.</math>

With respect to this norm BV₀ becomes a Banach space as well, which is isomorphic and isometric to <math>\ell_1</math> (although not in the natural way).

Measures of bounded variation

A signed (or complex) measure <math>\mu</math> on a measurable space <math>(X,\Sigma)</math> is said to be of bounded variation if its total variation <math>\Vert \mu\Vert=|\mu|(X)</math> is bounded: see Template:Harvtxt, Template:Harvtxt or the entry "Total variation" for further details.

Examples

File:Sin x^-1.svg

The function f(x) = sin(1/x) is not of bounded variation on the interval <math> [0,2 / \pi] </math>.

As mentioned in the introduction, two large class of examples of BV functions are monotone functions, and absolutely continuous functions. For a negative example: the function

<math>f(x) = \begin{cases} 0, & \mbox{if }x =0 \\ \sin(1/x), & \mbox{if } x \neq 0 \end{cases} </math>

is not of bounded variation on the interval <math> [0, 2/\pi]</math>

File:Xsin(x^-1).svg

The function f(x) = x sin(1/x) is not of bounded variation on the interval <math> [0,2 / \pi] </math>.

While it is harder to see, the continuous function

<math>f(x) = \begin{cases} 0, & \mbox{if }x =0 \\ x \sin(1/x), & \mbox{if } x \neq 0 \end{cases} </math>

is not of bounded variation on the interval <math> [0, 2/\pi]</math> either.

File:X^2sin(x^-1).svg

The function f(x) = x² sin(1/x) is of bounded variation on the interval <math> [0,2 / \pi] </math>.

At the same time, the function

<math>f(x) = \begin{cases} 0, & \mbox{if }x =0 \\ x^2 \sin(1/x), & \mbox{if } x \neq 0 \end{cases} </math>

is of bounded variation on the interval <math> [0,2/\pi]</math>. However, all three functions are of bounded variation on each interval <math>[a,b]</math> with <math>a>0</math>.

Every monotone, bounded function is of bounded variation. For such a function <math>f</math> on the interval <math>[a,b]</math> and any partition <math>P=\{x_0,\ldots,x_{n_P}\}</math> of this interval, it can be seen that

<math>\sum_{i=0}^{n_P-1}|f(x_{i+1})-f(x_i)|=|f(b)-f(a)|</math>

from the fact that the sum on the left is telescoping. From this, it follows that for such <math>f</math>,

<math>V_a^b(f)=|f(b)-f(a)|.</math>

In particular, the monotone Cantor function is a well-known example of a function of bounded variation that is not absolutely continuous.<ref>{{#invoke:citation/CS1|citation |CitationClass=web }}</ref>

The Sobolev space <math> W^{1,1}(\Omega)</math> is a proper subset of <math> \operatorname\operatorname{BV}(\Omega)</math>. In fact, for each <math> u </math> in <math> W^{1,1}(\Omega) </math> it is possible to choose a measure <math> \mu:=\nabla u \mathcal L</math> (where <math> \mathcal L</math> is the Lebesgue measure on <math>\Omega</math>) such that the equality

<math> \int u\operatorname{div}\phi = -\int \phi\, d\mu = -\int \phi \,\nabla u \qquad \forall \phi\in C_c^1 </math>

holds, since it is nothing more than the definition of weak derivative, and hence holds true. One can easily find an example of a BV function which is not <math>W^{1,1}</math>: in dimension one, any step function with a non-trivial jump will do.

Applications

Mathematics

Functions of bounded variation have been studied in connection with the set of discontinuities of functions and differentiability of real functions, and the following results are well-known. If <math>f</math> is a real function of bounded variation on an interval <math>[a,b]</math> then

• <math>f</math> is continuous except at most on a countable set;
• <math>f</math> has one-sided limits everywhere (limits from the left everywhere in <math>(a,b]</math>, and from the right everywhere in <math>[a,b)</math> ;
• the derivative <math>f'(x)</math> exists almost everywhere (i.e. except for a set of measure zero).

For real functions of several real variables

• the characteristic function of a Caccioppoli set is a BV function: BV functions lie at the basis of the modern theory of perimeters.
• Minimal surfaces are graphs of BV functions: in this context, see reference Template:Harv.

Physics and engineering

The ability of BV functions to deal with discontinuities has made their use widespread in the applied sciences: solutions of problems in mechanics, physics, chemical kinetics are very often representable by functions of bounded variation. The book Template:Harv details a very ample set of mathematical physics applications of BV functions. Also there is some modern application which deserves a brief description.

• The Mumford–Shah functional: the segmentation problem for a two-dimensional image, i.e. the problem of faithful reproduction of contours and grey scales is equivalent to the minimization of such functional.
• Total variation denoising

See also

• Renato Caccioppoli
• Caccioppoli set
• Lamberto Cesari
• Ennio De Giorgi
• Helly's selection theorem
• Locally integrable function
• L^p(Ω) space
• Lebesgue–Stieltjes integral
• Radon measure
• Reduced derivative
• Riemann–Stieltjes integral
• Total variation
• Quadratic variation
• p-variation
• Aizik Isaakovich Vol'pert
• Total variation denoising
• Total variation diminishing

References

Research works

• Template:Citation.
• Template:Citation
• Template:Citation. Includes a discussion of the functional-analytic properties of spaces of functions of bounded variation.
• Template:Citation.
• Template:Citation, particularly part I, chapter 1 "Functions of bounded variation and Caccioppoli sets". A good reference on the theory of Caccioppoli sets and their application to the minimal surface problem.
• Template:Citation. The link is to a preview of a later reprint by Springer-Verlag.
• Template:Citation. The whole book is devoted to the theory of Template:Math functions and their applications to problems in mathematical physics involving discontinuous functions and geometric objects with non-smooth boundaries.
• Template:Citation. Maybe the most complete book reference for the theory of Template:Math functions in one variable: classical results and advanced results are collected in chapter 6 "Bounded variation" along with several exercises. The first author was a collaborator of Lamberto Cesari.
• Template:Citation.
• Template:Citation.
• Template:Citation. One of the most complete monographs on the theory of Young measures, strongly oriented to applications in continuum mechanics of fluids.
• Template:Citation; particularly chapter 6, "On functions in the space Template:Math". One of the best monographs on the theory of Sobolev spaces.
• Template:Citation
• Template:Citation. In this paper, Musielak and Orlicz developed the concept of weighted Template:Math functions introduced by Laurence Chisholm Young to its full generality.
• Template:Citation
• Template:Citation. A seminal paper where Caccioppoli sets and Template:Math functions are thoroughly studied and the concept of functional superposition is introduced and applied to the theory of partial differential equations: it was also translated in English as Template:Citation.

Historical references

• Template:Citation.
• Template:Citation. In this paper, the authors prove the compactness of the space of SBV functions.
• Template:Citation. A paper containing a very general chain rule formula for composition of BV functions.
• Template:Citation. The first paper on Template:Math functions and related variational problems.
• Template:Citation. Available at Numdam. In the paper "On the functions of bounded variation" (English translation of the title) Cesari he extends the now called Tonelli plane variation concept to include in the definition a subclass of the class of integrable functions.
• Template:Citation. "The work of Leonida Tonelli and his influence on scientific thinking in this century" (English translation of the title) is an ample commemorative article, reporting recollections of the Author about teachers and colleagues, and a detailed survey of his and theirs scientific work, presented at the International congress in occasion of the celebration of the centenary of birth of Mauro Picone and Leonida Tonelli (held in Rome on 6–9 May 1985).
• Template:Citation. An important paper where properties of BV functions were applied to obtain a global in time existence theorem for single hyperbolic equations of first order in any number of variables.
• Template:Citation. A survey paper on free-discontinuity variational problems including several details on the theory of SBV functions, their applications and a rich bibliography.
• Template:Citation. The first part of a survey of many different definitions of "Total variation" and associated functions of bounded variation.
• Template:Citation. The second part of a survey of many different definitions of "Total variation" and associated functions of bounded variation.
• Template:Citation (at Gallica). This is, according to Boris Golubov, the first paper on functions of bounded variation.
• Template:Citation (Template:In lang). An important paper where the author describes generalized solutions of nonlinear partial differential equations as Template:Math functions.
• Template:Citation (Template:In lang). An important paper where the author constructs a weak solution in BV for a nonlinear partial differential equation with the method of vanishing viscosity.
• Tony F. Chan and Jianhong (Jackie) Shen (2005), Image Processing and Analysis - Variational, PDE, Wavelet, and Stochastic Methods, SIAM Publisher, Template:ISBN (with in-depth coverage and extensive applications of Bounded Variations in modern image processing, as started by Rudin, Osher, and Fatemi).

External links

Theory

• Template:Springer
• Template:Planetmath reference.
• {{#invoke:Template wrapper|{{#if:|list|wrap}}|_template=cite web

|_exclude=urlname, _debug, id |url = https://mathworld.wolfram.com/{{#if:BoundedVariation%7CBoundedVariation.html}} |title = Bounded Variation |author = Rowland, Todd |website = MathWorld |access-date = |ref = Template:SfnRef }}

• Function of bounded variation at Encyclopedia of Mathematics

Other

• Luigi Ambrosio home page at the Scuola Normale Superiore di Pisa. Academic home page (with preprints and publications) of one of the contributors to the theory and applications of BV functions.
• Research Group in Calculus of Variations and Geometric Measure Theory, Scuola Normale Superiore di Pisa.

{{#if: | This article incorporates material from the following PlanetMath articles, which are licensed under the Creative Commons Attribution/Share-Alike License: {{#if: | BV function | {{#if: 6969 | BV function | [{{{sourceurl}}} BV function] }} }}, {{#if: | {{{title2}}} | {{#if: | {{{title2}}} | [{{{sourceurl2}}} {{{title2}}}] }} }}{{#if: | , {{#if: | {{{title3}}} | {{#if: | {{{title3}}} | [{{{sourceurl3}}} {{{title3}}}] }} }} }}{{#if: | , {{#if: | {{{title4}}} | {{#if: | {{{title4}}} | [{{{sourceurl4}}} {{{title4}}}] }} }} }}{{#if: | , {{#if: | {{{title5}}} | {{#if: | {{{title5}}} | [{{{sourceurl5}}} {{{title5}}}] }} }} }}{{#if: | , {{#if: | {{{title6}}} | {{#if: | {{{title6}}} | [{{{sourceurl6}}} {{{title6}}}] }} }} }}{{#if: | , {{#if: | {{{title7}}} | {{#if: | {{{title7}}} | [{{{sourceurl7}}} {{{title7}}}] }} }} }}{{#if: | , {{#if: | {{{title8}}} | {{#if: | {{{title8}}} | [{{{sourceurl8}}} {{{title8}}}] }} }} }}{{#if: | , {{#if: | {{{title9}}} | {{#if: | {{{title9}}} | [{{{sourceurl9}}} {{{title9}}}] }} }} }}. | This article incorporates material from {{#if: | BV function | BV function}} on PlanetMath, which is licensed under the Creative Commons Attribution/Share-Alike License. }}