In mathematical analysis, a function of **bounded variation**, also known as ** 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

- History
- Formal definition
- BV functions of one variable
- BV functions of several variables
- Locally BV functions
- Notation
- Basic properties
- BV functions have only jump-type or removable discontinuities
- V(·, Ω) is lower semi-continuous on L1(Ω)
- BV(Ω) is a Banach space
- BV(Ω) is not separable
- Chain rule for BV functions
- BV(Ω) is a Banach algebra
- Generalizations and extensions
- Weighted BV functions
- SBV functions
- bv sequences
- Measures of bounded variation
- Examples
- Applications
- Mathematics
- Physics and engineering
- See also
- Notes
- References
- Research works
- Historical references
- External links
- Theory
- Other

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 *f* which can be written as a difference *g* − *h*, where both *g* and *h* are bounded monotone. In particular, a BV function may have discontinuities, but at most countably many.

In the case of several variables, a function *f* defined on an open subset Ω of 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**

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,^{ [1] } 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 ).

Definition 1.1. The ** total variation ** of a continuous real-valued (or more generally complex-valued) function *f*, defined on an interval [*a*, *b*] ⊂ ℝ is the quantity

where the supremum is taken over the set 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,

Definition 1.2. A continuous real-valued function on the real line is said to be of **bounded variation** (**BV function**) on a chosen interval [*a*, *b*] ⊂ ℝ if its total variation is finite, *i.e.*

It can be proved that a real function *ƒ* is of bounded variation in if and only if it can be written as the difference *ƒ* = *ƒ*_{1} − *ƒ*_{2} of two non-decreasing functions on : 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 [*a*, *b*] defines a bounded linear functional on *C*([*a*, *b*]). In this special case,^{ [2] } the Riesz–Markov–Kakutani 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,^{ [3] } in particular in its application to ordinary differential equations.

Functions of bounded variation, BV functions, are functions whose distributional derivative is a finite ^{ [4] } Radon measure. More precisely:

Definition 2.1. Let ** be an open subset of . A function **** belonging to **** ** is said of **bounded variation** (**BV function**), and written

if there exists a finite vector Radon measure such that the following equality holds

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 ****.**

*BV* can be defined equivalently in the following way.

Definition 2.2. Given a function ** belonging to ****, the ****total variation of **^{ [5] } in is defined as

where is the essential supremum norm. Sometimes, especially in the theory of Caccioppoli sets, the following notation is used

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 linearly to the whole by the Hahn–Banach theorem. Hence the continuous linear functional defines a Radon measure by the Riesz–Markov–Kakutani representation theorem.

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

The second one, which is adopted in references Vol'pert (1967) and Maz'ya (1985) (partially), is the following:

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.

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 ****⊂. 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**

or ** belongs to a subset of **** having zero -dimensional Hausdorff measure. The quantities**

are called **approximate limits** of the *BV* function ** at the point ****.**

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.

By definition ** is a subset of **** **, while linearity follows from the linearity properties of the defining integral i.e.

for all therefore for all , and

for all , therefore for all , and all . The proved vector space properties imply that ** is a vector subspace of **** **. Consider now the function defined as

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

From this we deduce that is continuous because it's a norm.

To see this, it is sufficient to consider the following example belonging to the space **:**^{ [6] } for each 0 < *α* < 1 define

as the characteristic function of the left-closed interval . Then, choosing *α,β*∈ such that *α*≠*β* the following relation holds true:

Now, in order to prove that every dense subset of ** cannot be countable, it is sufficient to see that for every it is possible to construct the balls **

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 every 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.^{ [7] } 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 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 ( Vol'pert 1967 , p. 248). Note all partial derivatives must be interpreted in a generalized sense, i.e., as generalized derivatives.

**Theorem**. Let be a function of class ** (i.e. a continuous and differentiable function having continuous derivatives) and let be a function in **** with **** being an open subset of . Then and**

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: using in place of , where is also a ** function and choosing , the preceding formula gives the *** Leibniz rule * for

This implies that **the product of two functions of bounded variation is again a function of bounded variation**, therefore ** is an 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**

therefore the ordinary product of functions is continuous in ** with respect to each argument, making this function space a Banach algebra.**

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

where, as usual, the supremum is taken over all finite partitions of the interval , i.e. all the finite sets of real numbers such that

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.

The space is a topological vector space with respect to the norm

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 , 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**

**1.** There exist two Borel functions and of domain ** and codomain such that**

**2.** For all of continuously differentiable vector functions of compact support contained in **, ***i.e.* for all the following formula is true:

where is the -dimensional Hausdorff measure.

Details on the properties of *SBV* functions can be found in works cited in the bibliography section: particularly the paper ( De Giorgi 1992 ) contains a useful bibliography.

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* = (*x*_{i}) 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 which is isomorphic to .

The total variation itself defines a norm on a certain subspace of *bv*, denoted by *bv*_{0}, consisting of sequences *x* = (*x*_{i}) for which

The norm on *bv*_{0} is denoted

With respect to this norm *bv*_{0} becomes a Banach space as well, which is isomorphic *and* isometric to (although not in the natural way).

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.*

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

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*.

The Sobolev space ** is a proper subset of ****. In fact, for each **** in **** it is possible to choose a measure (where is the Lebesgue measure on ) such that the equality**

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).

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 ( Giusti 1984 ).

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.
- Total variation denoising

- ↑ 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 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.
- ↑ See the entry "Total variation" for further details and more information.
- ↑ 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).

In calculus, and more generally in mathematical analysis, **integration by parts** or **partial integration** is a process that finds the integral of a product of functions in terms of the integral of the product of their derivative and antiderivative. It is frequently used to transform the antiderivative of a product of functions into an antiderivative for which a solution can be more easily found. The rule can be thought of as an integral version of the product rule of differentiation.

In 1851, George Gabriel Stokes derived an expression, now known as **Stokes law**, for the frictional force – also called drag force – exerted on spherical objects with very small Reynolds numbers in a viscous fluid. Stokes' law is derived by solving the Stokes flow limit for small Reynolds numbers of the Navier–Stokes equations.

In the calculus of variations, a field of mathematical analysis, the **functional derivative** relates a change in a Functional to a change in a function on which the functional depends.

In mathematics and in signal processing, the **Hilbert transform** is a specific linear operator that takes a function, *u*(*t*) of a real variable and produces another function of a real variable H(*u*)(*t*). This linear operator is given by convolution with the function . The Hilbert transform has a particularly simple representation in the frequency domain: It imparts a phase shift of ±90° to every frequency component of a function, the sign of the shift depending on the sign of the frequency. The Hilbert transform is important in signal processing, where it is a component of the analytic representation of a real-valued signal *u*(*t*). The Hilbert transform was first introduced by David Hilbert in this setting, to solve a special case of the Riemann–Hilbert problem for analytic functions.

In mathematics, a **Sobolev space** is a vector space of functions equipped with a norm that is a combination of *L ^{p}*-norms of the function together with its derivatives up to a given order. The derivatives are understood in a suitable weak sense to make the space complete, i.e. a Banach space. Intuitively, a Sobolev space is a space of functions possessing sufficiently many derivatives for some application domain, such as partial differential equations, and equipped with a norm that measures both the size and regularity of a function.

In mathematics, the **total variation** identifies several slightly different concepts, related to the structure of the codomain of a function or a measure. For a real-valued continuous function *f*, defined on an interval [*a*, *b*] ⊂ **R**, its total variation on the interval of definition is a measure of the one-dimensional arclength of the curve with parametric equation *x* ↦ *f*(*x*), for *x* ∈ [*a*, *b*]. Functions whose total variation is finite are called **functions of bounded variation**.

**Stokes flow**, also named **creeping flow** or **creeping motion**, is a type of fluid flow where advective inertial forces are small compared with viscous forces. The Reynolds number is low, i.e. . This is a typical situation in flows where the fluid velocities are very slow, the viscosities are very large, or the length-scales of the flow are very small. Creeping flow was first studied to understand lubrication. In nature this type of flow occurs in the swimming of microorganisms and sperm and the flow of lava. In technology, it occurs in paint, MEMS devices, and in the flow of viscous polymers generally.

In mathematics, **plurisubharmonic** functions form an important class of functions used in complex analysis. On a Kähler manifold, plurisubharmonic functions form a subset of the subharmonic functions. However, unlike subharmonic functions plurisubharmonic functions can be defined in full generality on complex analytic spaces.

In mathematics, a **flow** formalizes the idea of the motion of particles in a fluid. Flows are ubiquitous in science, including engineering and physics. The notion of flow is basic to the study of ordinary differential equations. Informally, a flow may be viewed as a continuous motion of points over time. More formally, a flow is a group action of the real numbers on a set.

In mathematics, a **locally integrable function** is a function which is integrable on every compact subset of its domain of definition. The importance of such functions lies in the fact that their function space is similar to *L*^{p} spaces, but its members are not required to satisfy any growth restriction on their behavior at the boundary of their domain : in other words, locally integrable functions can grow arbitrarily fast at the domain boundary, but are still manageable in a way similar to ordinary integrable functions.

In mathematics, a **Caccioppoli set** is a set whose boundary is measurable and has a *finite measure*. A synonym is **set of (locally) finite perimeter**. Basically, a set is a Caccioppoli set if its characteristic function is a function of bounded variation.

In mathematics, the **trace operator** extends the notion of the restriction of a function to the boundary of its domain to "generalized" functions in a Sobolev space. This is particularly important for the study of partial differential equations with prescribed boundary conditions, where weak solutions may not be regular enough to satisfy the boundary conditions in the classical sense of functions.

In mathematics, the **direct method in the calculus of variations** is a general method for constructing a proof of the existence of a minimizer for a given functional, introduced by Stanisław Zaremba and David Hilbert around 1900. The method relies on methods of functional analysis and topology. As well as being used to prove the existence of a solution, direct methods may be used to compute the solution to desired accuracy.

**Filtering** in the context of large eddy simulation (LES) is a mathematical operation intended to remove a range of small scales from the solution to the Navier-Stokes equations. Because the principal difficulty in simulating turbulent flows comes from the wide range of length and time scales, this operation makes turbulent flow simulation cheaper by reducing the range of scales that must be resolved. The LES filter operation is low-pass, meaning it filters out the scales associated with high frequencies.

**Coherent states** have been introduced in a physical context, first as quasi-classical states in quantum mechanics, then as the backbone of quantum optics and they are described in that spirit in the article Coherent states. However, they have generated a huge variety of generalizations, which have led to a tremendous amount of literature in mathematical physics. In this article, we sketch the main directions of research on this line. For further details, we refer to several existing surveys.

In numerical mathematics, the **gradient discretisation method** (**GDM**) is a framework which contains classical and recent numerical schemes for diffusion problems of various kinds: linear or non-linear, steady-state or time-dependent. The schemes may be conforming or non-conforming, and may rely on very general polygonal or polyhedral meshes.

The **streamline upwind Petrov–Galerkin pressure-stabilizing Petrov–Galerkin formulation for incompressible Navier–Stokes equations** can be used for finite element computations of high Reynolds number incompressible flow using equal order of finite element space by introducing additional stabilization terms in the Navier–Stokes Galerkin formulation.

The **Bueno-Orovio–Cherry–Fenton model**, also simply called **Bueno-Orovio model**, is a minimal ionic model for human ventricular cells. It belongs to the category of phenomenological models, because of its characteristic of describing the electrophysiological behaviour of cardiac muscle cells without taking into account in a detailed way the underlying physiology and the specific mechanisms occurring inside the cells.

In functional analysis, every C^{*}-algebra is isomorphic to a subalgebra of the C^{*}-algebra of bounded linear operators on some Hilbert space *H*. This article describes the spectral theory of closed normal subalgebras of

In the mathematical discipline of functional analysis, it is possible to generalize the notion of derivative to arbitrary topological vector spaces (TVSs) in multiple ways. But when the domain of a TVS-value function is a subset of finite-dimensional Euclidean space then the number of generalizations of the derivative is much more limited and derivatives are more well behaved. This article presents the theory of -times continuously differentiable functions on an open subset of Euclidean space , which is an important special case of differentiation between arbitrary TVSs. All vector spaces will be assumed to be over the field where is either the real numbers or the complex numbers

- Ambrosio, Luigi; Fusco, Nicola; Pallara, Diego (2000),
*Functions of bounded variation and free discontinuity problems*, Oxford Mathematical Monographs, Oxford: The Clarendon Press / Oxford University Press, pp. xviii+434, ISBN 978-0-19-850245-6, MR 1857292, Zbl 0957.49001 . - Brudnyi, Yuri (2007), "Multivariate functions of bounded (
*k*,*p*)–variation", in Randrianantoanina, Beata; Randrianantoanina, Narcisse (eds.),*Banach Spaces and their Applications in Analysis. Proceedings of the international conference, Miami University, Oxford, OH, USA, May 22--27, 2006. In honor of Nigel Kalton's 60th birthday*, Berlin–Boston: Walter De Gruyter, pp. 37–58, doi: 10.1515/9783110918298.37 , ISBN 978-3-11-019449-4, MR 2374699, Zbl 1138.46019 - 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, pp. XII+240, ISBN 978-0-8176-3153-6, MR 0775682, 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 0785938, 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 . - Leoni, Giovanni (2017),
*A First Course in Sobolev Spaces*, Graduate Studies in Mathematics (Second ed.), American Mathematical Society, pp. xxii+734, ISBN 978-1-4704-2921-8 . - 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*BV*(Ω)". 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. (eds.),
*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)" (PDF),
*Studia Mathematica*, Warszawa–Wrocław,**18**: 13–41, doi:10.4064/sm-18-1-11-41, Zbl 0088.26901 . In this paper, Musielak and Orlicz developed the concept of weighted*BV*functions introduced by Laurence Chisholm Young to its 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 0216338, 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 Vol'Pert, A I (1967), "Spaces*BV*and quasi-linear equations",*Mathematics of the USSR-Sbornik*,**2**(2): 225–267, Bibcode:1967SbMat...2..225V, doi:10.1070/SM1967v002n02ABEH002340, hdl: 10338.dmlcz/102500 , MR 0216338, 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–854, 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 dell'Unione Matematica Italiana*, IV Serie,**11**(2): 375–382, MR 1459286, Zbl 0877.49001 . In this paper, the authors prove 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, doi: 10.1090/S0002-9939-1990-0969514-3 , MR 0969514, 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*, VIII (in Italian),**LXXXII**(2): 199–210, MR 1152641, Zbl 0715.49014 . The first paper on*SBV*functions and related variational problems. - Cesari, Lamberto (1936), "Sulle funzioni a variazione limitata",
*Annali della Scuola Normale Superiore*, Serie II (in Italian),**5**(3–4): 299–313, MR 1556778, Zbl 0014.29605 . 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. - Cesari, Lamberto (1986), "L'opera di Leonida Tonelli e la sua influenza nel pensiero scientifico del secolo", in Montalenti, G.; Amerio, L.; Acquaro, G.; Baiada, E.; et al. (eds.),
*Convegno celebrativo del centenario della nascita di Mauro Picone e Leonida Tonelli (6–9 maggio 1985)*, Atti dei Convegni Lincei (in Italian),**77**, Roma: Accademia Nazionale dei Lincei, pp. 41–73, archived from the original on 23 February 2011, retrieved 23 January 2007. "*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 May 6–9, 1985). - 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", in Amaldi, E.; Amerio, L.; Fichera, G.; Gregory, T.; Grioli, G.; Martinelli, E.; Montalenti, G.; Pignedoli, A.; Salvini, Giorgio; Scorza Dragoni, Giuseppe (eds.),
*Convegno internazionale in memoria di Vito Volterra (8–11 ottobre 1990)*, Atti dei Convegni Lincei (in Italian),**92**, Roma: Accademia Nazionale dei Lincei, pp. 39–76, ISSN 0391-805X, MR 1783032, Zbl 1039.49507, archived from the original on 7 January 2017, retrieved 11 March 2007. A survey paper on free-discontinuity variational problems including several details on the theory of*SBV*functions, their applications and a rich bibliography. - Faleschini, Bruno (1956a), "Sulle definizioni e proprietà delle funzioni a variazione limitata di due variabili. Nota I." [On the definitions and properties of functions of bounded variation of two variables. Note I],
*Bollettino dell'Unione Matematica Italiana*, Serie III (in Italian),**11**(1): 80–92, MR 0080169, Zbl 0071.27901 . The first part of a survey of many different definitions of "*Total variation*" and associated functions of bounded variation. - Faleschini, Bruno (1956b), "Sulle definizioni e proprietà delle funzioni a variazione limitata di due variabili. Nota II." [On the definitions and properties of functions of bounded variation of two variables. Note I],
*Bollettino dell'Unione Matematica Italiana*, Serie III (in Italian),**11**(2): 260–75, MR 0080169, Zbl 0073.04501 . The second part of a survey of many different definitions of "*Total variation*" and associated functions of bounded variation. - Jordan, Camille (1881), "Sur la série de Fourier" [On Fourier's series],
*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",
*Uspekhi Matematicheskikh Nauk*,**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"",
*Uspekhi Matematicheskikh Nauk*,**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 Jianhong (Jackie) 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) [1994], "Variation of a function",
*Encyclopedia of Mathematics*, EMS Press - "BV function".
*PlanetMath*.. - Rowland, Todd & Weisstein, Eric W. "Bounded Variation".
*MathWorld*. - Function of bounded variation at Encyclopedia of Mathematics

- 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.

*This article incorporates material from BV function on PlanetMath, which is licensed under the Creative Commons Attribution/Share-Alike License.*

This page is based on this Wikipedia article

Text is available under the CC BY-SA 4.0 license; additional terms may apply.

Images, videos and audio are available under their respective licenses.

Text is available under the CC BY-SA 4.0 license; additional terms may apply.

Images, videos and audio are available under their respective licenses.