In mathematical analysis, a function of bounded variation, also known as a BV 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, neglecting the contribution of motion along x-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 x-axis and to the y-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 closed interval are exactly those f which can be written as a difference g − h, where both g and h are bounded monotone.
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. Considering the problem of multiplication of distributions or more generally the problem of defining general nonlinear operations on generalized functions, function of bounded variation are the smallest algebra which has to be embedded in every space of generalized functions preserving the result of multiplication.
- 1 History
- 2 Formal definition
- 3 Basic properties
- 4 Generalizations and extensions
- 5 Examples
- 6 Applications
- 7 See also
- 8 Notes
- 9 References
- 10 Bibliography
- 11 External links
According to Boris Golubov, BV functions of a single variable were first introduced by Camille Jordan, in the paper (Jordan 1881) 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, who introduced a class of continuous BV functions in 1926 (Cesari 1986, pp. 47–48), to extend his direct method for finding solutions to problems in the calculus of variations in more than one variable. Ten years after, in (Cesari 1936), 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 (Oleinik 1957), and was able to construct a generalized solution of bounded variation of a first order partial differential equation in the paper (Oleinik 1959): 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 (Conway & Smoller 1966), 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 (Vol'pert 1967) he proved the chain rule for BV functions and in the book (Hudjaev & Vol'pert 1985) 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 (Ambrosio & Dal Maso 1990).
BV functions of one variable
It can be proved that a real function ƒ is of bounded variation in an interval if and only if it can be written as the difference ƒ = ƒ1 − ƒ2 of two non-decreasing functions: this result is known as the Jordan decomposition.
Through the Stieltjes integral, any function of bounded variation on a closed interval [a, b] defines a bounded linear functional on C([a, b]). In this special case, the Riesz representation theorem states that every bounded linear functional arises uniquely in this way. The normalised positive functionals or probability measures correspond to positive non-decreasing lower semicontinuous functions. This point of view has been important in spectral theory, in particular in its application to ordinary differential equations.
BV functions of several variables
open subset of ℝn. A function belonging to is said of bounded variation (BV function), and writtenLet be an
that is, defines a linear functional on the space of continuously differentiable vector functions of compact support contained in : the vector measure represents therefore the distributional or weak gradient of .
An equivalent definition is the following.
 in is defined asGiven a function belonging to , the total variation of
in order to emphasize that is the total variation of the distributional / weak gradient of . This notation reminds also that if is of class (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
The two definitions are equivalent since if then
therefore defines a continuous linear functional on the space . Since as a linear subspace, this continuous linear functional can be extended continuously and linearily to the whole by the Hahn–Banach theorem i.e. it defines a Radon measure.
Locally BV functions
If the function space of locally integrable functions, i.e. functions belonging to , is considered in the preceding definitions 1.2, 2.1 and 2.2 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 definition 2.2, a local variation is defined as follows,
for every set , having defined as the set of all precompact open subsets of with respect to the standard topology of finite-dimensional vector spaces, and correspondingly the class of functions of locally bounded variation is defined as
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 Giusti (1984) (partially), Hudjaev & Vol'pert (1985) (partially), Giaquinta, Modica & Souček (1998) and is the following one
- identifies the space of functions of globally bounded variation
- identifies the space of functions of locally bounded variation
- identifies the space of functions of globally bounded variation
- identifies the space of functions of locally bounded variation
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 (Giusti 1984, pp. 7–9), (Hudjaev & Vol'pert 1985) and (Màlek et al. 1996) are extensively used.
BV functions have only jump-type discontinuities
In the case of one variable, the assertion is clear: for each point in the interval ⊂ℝ of definition of the function , either one of the following two assertions is true
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 belonging to the domain ⊂ℝn. It is necessary to make precise a suitable concept of limit: choosing a unit vector it is possible to divide in two sets
Then for each point belonging to the domain of the BV function , only one of the following two assertions is true
are called approximate limits of the BV function at the point .
V(·, Ω) is lower semi-continuous on BV(Ω)
The functional is lower semi-continuous: to see this, choose a Cauchy sequence of BV-functions converging to . Then, since all the functions of the sequence and their limit function are integrable and by the definition of lower limit
Now considering the supremum on the set of functions such that then the following inequality holds true
which is exactly the definition of lower semicontinuity.
BV(Ω) is a Banach space
for all therefore for all , and
where is the usual norm: it is easy to prove that this is a norm on . To see that is complete respect to it, i.e. it is a Banach space, consider a Cauchy sequence in . By definition it is also a Cauchy sequence in and therefore has a limit in : since is bounded in for each , then by lower semicontinuity of the variation , therefore is a BV function. Finally, again by lower semicontinuity, choosing an arbitrary small positive number
BV(Ω) is not separable
To see this, it is sufficient to consider the following example belonging to the space : for each 0<α<1 define
Obviously those balls are pairwise disjoint, and also are an indexed family of sets whose index set is . This implies that this family has the cardinality of the continuum: now, since any dense subset of 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. 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 .
Chain rule for BV functions
Chain rules for nonsmooth functions are very important in mathematics and mathematical physics since there are several important physical models whose behavior is described by functions or functionals with a very limited degree of smoothness.The following version is proved in the paper (Vol'pert 1967, p. 248): all partial derivatives must be intended in a generalized sense. i.e. as generalized derivatives
where is the mean value of the function at the point , defined as
A more general chain rule formula for Lipschitz continuous functions has been found by Luigi Ambrosio and Gianni Dal Maso and is published in the paper (Ambrosio & Dal Maso 1990). However, even this formula has very important direct consequences: choosing , where is also a function, the preceding formula gives the Leibniz rule for functions
This implies that the product of two functions of bounded variation is again a function of bounded variation, therefore is an algebra.
BV(Ω) is a Banach algebra
This property follows directly from the fact that is a Banach space and also an associative algebra: this implies that if and are Cauchy sequences of functions converging respectively to functions and in , then
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 be any increasing function such that (the weight function) and let be a function from the interval ⊂ℝ taking values in a normed vector space . Then the -variation of over is defined as
The original notion of variation considered above is the special case of -variation for which the weight function is the identity function: therefore an integrable function is said to be a weighted BV function (of weight ) if and only if its -variation is finite.
where denotes the usual supremum norm of . Weighted BV functions were introduced and studied in full generality by Władysław Orlicz and Julian Musielak in the paper Musielak & Orlicz 1959: Laurence Chisholm Young studied earlier the case where is a positive integer.
SBV functions i.e. Special functions of Bounded Variation were introduced by Luigi Ambrosio and Ennio de Giorgi in the paper (Ambrosio & De Giorgi 1988), dealing with free discontinuity variational problems: given an open subset of ℝn, the space is a proper linear subspace of , since the weak gradient of each function belonging to it consists precisely of the sum of an -dimensional support and an -dimensional support measure and no intermediate-dimensional terms, as seen in the following definition.
Definition. Given a locally integrable function , then if and only if
As particular examples of Banach spaces, Dunford & Schwartz (1958, Chapter IV) consider spaces of sequences of bounded variation, in addition to the spaces of functions of bounded variation. The total variation of a sequence x=(xi) of real or complex numbers is defined by
The space of all sequences of finite total variation is denoted by bv. The norm on bv is given by
With this norm, the space bv is a Banach space.
The total variation itself defines a norm on a certain subspace of bv, denoted by bv0, consisting of sequences x = (xi) for which
The norm on bv0 is denoted
With respect to this norm bv0 becomes a Banach space as well.
Measures of bounded variation
A signed (or complex) measure on a measurable space is said to be of bounded variation if its total variation is bounded: see Halmos (1950, p. 123), Kolmogorov & Fomin (1969, p. 346) or the entry "Total variation" for further details.
is not of bounded variation on the interval
While it is harder to see, the continuous function
is not of bounded variation on the interval either.
At the same time, the function
is of bounded variation on the interval . However, all three functions are of bounded variation on each interval with .
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 : in dimension one, any step function with a non-trivial jump will do.
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 is a real function of bounded variation on an interval then
- is continuous except at most on a countable set;
- has one-sided limits everywhere (limits from the left everywhere in , and from the right everywhere in ;
- the derivative exists almost everywhere (i.e. except for a set of measure zero).
- 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 (Giusti 1984).
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 (Hudjaev & Vol'pert 1985) 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.
- 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".
- See the entry "Total variation" for further details and more information.
- See for example Kolmogorov & Fomin (1969, pp. 374–376).
- For a general reference on this topic, see Riesz & Szőkefalvi-Nagy (1990)
- In this context, "finite" means that its value is never infinite, i.e. it is a finite measure.
- The example is taken from Giaquinta, Modica & Souček (1998, p. 331): see also (Kannan & Krueger 1996, example 9.4.1, p. 237).
- The same argument is used by Kolmogorov & Fomin (1969, example 7, pp. 48–49), in order to prove the non separability of the space of bounded sequences, and also Kannan & Krueger (1996, example 9.4.1, p. 237).
- Ambrosio, Luigi; Fusco, Nicola; Pallara, Diego (2000) Functions of bounded variation and free discontinuity problems. Oxford Mathematical Monographs. The Clarendon Press, Oxford University Press, New York.
- Dunford, Nelson; Jacob T., Schwartz (1958), Linear operators. Part I: General Theory, Pure and Applied Mathematics VII, New York-London-Sydney: Wiley-Interscience, ISBN 0-471-60848-3, Zbl 0084.10402. Includes a discussion of the functional-analytic properties of spaces of functions of bounded variation.
- Giaquinta, Mariano; Modica, Giuseppe; Souček, Jiří (1998), Cartesian Currents in the Calculus of Variation I, Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics 37, Berlin-Heidelberg-New York: Springer Verlag, ISBN 3-540-64009-6, Zbl 0914.49001.
- Giusti, Enrico (1984), Minimal surfaces and functions of bounded variations, Monographs in Mathematics 80, Basel-Boston-Stuttgart: Birkhäuser Verlag, ISBN 978-0-8176-3153-6, Zbl 0545.49018, 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.
- Halmos, Paul (1950), Measure theory, Van Nostrand and Co., ISBN 978-0-387-90088-9, Zbl 0040.16802. The link is to a preview of a later reprint by Springer-Verlag.
- Hudjaev, Sergei Ivanovich; Vol'pert, Aizik Isaakovich (1985), Analysis in classes of discontinuous functions and equations of mathematical physics, Mechanics: analysis 8, Dordrecht–Boston–Lancaster: Martinus Nijhoff Publishers, ISBN 90-247-3109-7, MR 785938, Zbl 0564.46025. The whole book is devoted to the theory of BV functions and their applications to problems in mathematical physics involving discontinuous functions and geometric objects with non-smooth boundaries.
- Kannan, Rangachary; Krueger, Carole King (1996), Advanced analysis on the real line, Universitext, Berlin–Heidelberg–New York: Springer Verlag, pp. x+259, ISBN 978-0-387-94642-9, MR 1390758, Zbl 0855.26001. Maybe the most complete book reference for the theory of BV 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.
- Kolmogorov, Andrej N.; Fomin, Sergej V. (1969), Introductory Real Analysis, New York: Dover Publications, pp. xii+403, ISBN 0-486-61226-0, MR 0377445, Zbl 0213.07305.
- Màlek, Josef; Nečas, Jindřich; Rokyta, Mirko; Růžička, Michael (1996), Weak and measure-valued solutions to evolutionary PDEs, Applied Mathematics and Mathematical Computation 13, London-Weinheim-New York-Tokyo-Melbourne-Madras: Chapman & Hall/CRC Press, pp. xi+331, ISBN 0-412-57750-X, MR 1409366, Zbl 0851.35002. One of the most complete monographs on the theory of Young measures, strongly oriented to applications in continuum mechanics of fluids.
- Maz'ya, Vladimir G. (1985), Sobolev Spaces, Berlin-Heidelberg-New York: Springer-Verlag, ISBN 0-387-13589-8, Zbl 0692.46023; particularly chapter 6, "On functions in the space ". One of the best monographs on the theory of Sobolev spaces.
- Moreau, Jean Jacques (1988), "Bounded variation in time", in Moreau, J.J.; Panagiotopoulos, P.D.; Strang, G., Topics in nonsmooth mechanics, Basel-Boston-Stuttgart: Birkhäuser Verlag, pp. 1–74, ISBN 3-7643-1907-0, Zbl 0657.28008
- Musielak, Julian; Orlicz, Władysław (1959), "On generalized variations (I)", Studia Mathematica (Warszawa-Wrocław) 18: 13–41, Zbl 0088.26901. The first paper where weighted BV functions are studied in full generality.
- Riesz, Frigyes; Szőkefalvi-Nagy, Béla (1990), Functional Analysis, New York: Dover Publications, ISBN 0-486-66289-6, Zbl 0732.47001
- Vol'pert, Aizik Isaakovich (1967), "Spaces BV and quasi-linear equations", Matematicheskii Sbornik, (N.S.) (in Russian), 73(115) (2): 255–302, MR 216338, Zbl 0168.07402. A seminal paper where Caccioppoli sets and BV 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 "Spaces BV and quasi-linear equations", Mathematics USSR-Sbornik 2 (2), 1967: 225–267, doi:10.1070/SM1967v002n02ABEH002340, MR 216338, Zbl 0168.07402.
- Adams, C. Raymond; Clarkson, James A. (1933), "On definitions of bounded variation for functions of two variables", Transactions of the American Mathematical Society 35 (4): 824–824, doi:10.1090/S0002-9947-1933-1501718-2, MR 1501718, Zbl 0008.00602.
- Alberti, Giovanni; Mantegazza, Carlo (1997), "A note on the theory of SBV functions", Bollettino della Unione Matematica Italiana, Sezione B 11 (2): 375–382, Zbl 0877.49001. A paper containing a proof of the compactness of the space of SBV functions.
- Ambrosio, Luigi; Dal Maso, Gianni (1990), "A General Chain Rule for Distributional Derivatives", Proceedings of the American Mathematical Society 108 (3): 691–691, doi:10.1090/S0002-9939-1990-0969514-3, MR 969514, Zbl 0685.49027. A paper containing a very general chain rule formula for composition of BV functions.
- Ambrosio, Luigi; De Giorgi, Ennio (1988), "Un nuovo tipo di funzionale del calcolo delle variazioni (A new kind of functional in the calculus of variations)", Atti della Accademia Nazionale dei Lincei, Rendiconti della Classe di Scienze Fisiche, Matematiche e Naturali, 8 82 (2): 199–210, Zbl 0715.49014 (in Italian, with English summary). The first paper about SBV functions and related variational problems.
- Cesari, Lamberto (1936), "Sulle funzioni a variazione limitata (On the functions of bounded variation)", Annali della Scuola Normale Superiore, II 5 (3–4): 299–313, JFM 62.0247.03, Zbl 0014.29605 (in Italian). Available at Numdam.
- Cesari, Lamberto (6–9 May 1985), "L'opera di Leonida Tonelli e la sua influenza nel pensiero scientifico del secolo (the work of Leonida Tonelli and his influence on scientific thinking in this century)", in Montalenti, G.; Amerio, L.; et als., Convegno celebrativo del centenario della nascita di Mauro Picone e Leonida Tonelli (International congress in occasion of the celebration of the centenary of birth of Mauro Picone and Leonida Tonelli), Atti dei Convegni Lincei 77, Roma: Accademia Nazionale dei Lincei, pp. 41–73 (in Italian). Some recollections from one of the founders of the theory of BV functions of several variables.
- Conway, Edward D.; Smoller, Joel A. (1966), "Global solutions of the Cauchy problem for quasi-linear first-order equations in several space variables", Communications on Pure and Applied Mathematics 19 (1): 95–105, doi:10.1002/cpa.3160190107, MR 0192161, Zbl 0138.34701. 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.
- De Giorgi, Ennio (1992), "Problemi variazionali con discontinuità libere (Free-discontinuity variational problems)", in Amaldi, E.; Amerio, L., et als., Convegno internazionale in memoria di Vito Volterra (International congress in memory of Vito Volterra), 8–11 October 1990, Atti dei Convegni Lincei 92, Roma: Accademia Nazionale dei Lincei, pp. 133–150. A survey paper on free-discontinuity variational problems including several details on the theory of SBV functions, their applications and a rich bibliography (in Italian), written by Ennio de Giorgi.
- Jordan, Camille (1881), "Sur la série de Fourier", Comptes rendus hebdomadaires des séances de l'Académie des sciences 92: 228–230 (at Gallica). This is, according to Boris Golubov, the first paper on functions of bounded variation.
- Oleinik, Olga A. (1957), "Discontinuous solutions of non-linear differential equations", 'UMN' 12 (3(75)): 3–73, Zbl 0080.07701 (in Russian). An important paper where the author describes generalized solutions of nonlinear partial differential equations as BV functions.
- Oleinik, Olga A. (1959), "Construction of a generalized solution of the Cauchy problem for a quasi-linear equation of first order by the introduction of "vanishing viscosity"", 'UMN' 14 (2(86)): 159–164, Zbl 0096.06603 (in Russian). 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 Jackie (Jianhong) Shen (2005), Image Processing and Analysis - Variational, PDE, Wavelet, and Stochastic Methods, SIAM Publisher, ISBN 0-89871-589-X (with in-depth coverage and extensive applications of Bounded Variations in modern image processing, as started by Rudin, Osher, and Fatemi).
- Golubov, Boris I.; Vitushkin, Anatolii G. (2001), "Variation of a function", in Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4
- BV function, PlanetMath.org..
- Rowland, Todd and Weisstein, Eric W., "Bounded Variation", MathWorld.
- Function of bounded variation at Encyclopedia of Mathematics
- Luigi Ambrosio home page at the Scuola Normale Superiore, 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, Pisa.