 Modulus of continuity

In mathematical analysis, a modulus of continuity is a function
used to measure quantitatively the uniform continuity of functions. So, a function admits ω as a modulus of continuity if and only if
for all x and y in the domain of f. Since moduli of continuity are required to be infinitesimal at 0, a function turns out to be uniformly continuous if and only if it admits a modulus of continuity. Moreover, relevance to the notion is given by the fact that sets of functions sharing the same modulus of continuity are exactly equicontinuous families. For instance, the modulus ω(t): = kt describes the kLipschitz functions, the moduli ω(t): = kt^{α} describe the Hölder continuity, the modulus describes the almost Lipschitz class, and so on. In general, the role of ω is to fix some explicit functional dependence of on δ in the definition of uniform continuity. The same notions generalize naturally to functions between metric spaces. Moreover, a suitable local version of these notions allows to describe quantitatively the continuity at a point in terms of moduli of continuity.
A special role is played by concave moduli of continuity, especially in connection with extension properties, and with approximation of uniformly continuous functions. For a function between metric spaces, it is equivalent to admit a modulus of continuity that is either concave, or subadditive, or uniformly continuous, or sublinear (in the sense of growth). Actually, the existence of such special moduli of continuity for a uniformly continuous function is always ensured whenever the domain is either a compact, or a convex subset of a normed space. However, a uniformly continuous function on a general metric space admits a concave modulus of continuity if and only if the ratios are uniformly bounded for all pairs (x,x') bounded away from the diagonal of X. The functions with the latter property constitute a special subclass of the uniformly continuous functions, that in the following we refer to as the special uniformly continuous functions. Realvalued special uniformly continuous functions on the metric space X can also be characterized as the set of all functions that are restrictions to X of uniformly continuous functions over any normed space isometrically containing X. Also, it can be characterized as the uniform closure of the Lipschitz functions on X.
Contents
Formal definition
Formally, a modulus of continuity is any realextended valued function
vanishing at 0 and continuous at 0, that is
Moduli of continuity are mainly used to give a quantitative account both of the continuity at a point, and of the uniform continuity, for functions between metric spaces, according to the following definitions.
A function admits ω as (local) modulus of continuity at the point if and only if,
Also, f admits ω as (global) modulus of continuity if and only if,
One equivalently says that ω is a modulus of continuity (resp., at x) for f, or shortly, f is ωcontinuous (resp., at x). Here, we mainly treat the global notion.
Elementary facts
 If f has ω as modulus of continuity and , then, obviously, f admits ω_{1} too as modulus of continuity.
 If and are functions between metric spaces with moduli respectively ω_{1} and ω_{2}, then the composition map has modulus of continuity .
 If f and g are functions from the metric space X to the Banach space Y, with moduli respectively ω_{1} and ω_{2}, then any linear combination af + bg has modulus of continuity  a  ω_{1} +  b  ω_{2}. In particular, the set of all functions from X to Y that have ω as a modulus of continuity is a convex subset of the vector space C(X,Y), closed under pointwise convergence.
 If f and g are bounded realvalued functions on the metric space X, with moduli respectively ω_{1} and ω_{2}, then the pointwise product fg has modulus of continuity .
 If is a family of realvalued functions on the metric space X with common modulus of continuity ω, then the inferior envelope , respectively, the superior envelope , is a realvalued function with modulus of continuity ω, provided it is finite valued at every point. If ω is realvalued, it is sufficient that the envelope be finite at one point of X at least.
Remarks
 Some authors require additional properties such as ω being increasing, or continuous. However, if f admits a modulus of continuity in the weaker definition above, it also admits a modulus of continuity which is increasing and infinitely differentiable in . For instance,
 is increasing, and ;
 is also continuous, and ,
 and a suitable variant of the preceding definition also makes ω_{2} infinitely differentiable in .
 Any uniformly continuous function admits a minimal modulus of continuity ω_{f}, that is sometimes referred to as the (optimal) modulus of continuity of f:
Similarly, any function continuous at the point x admits a minimal modulus of continuity at x, ω_{f}(t;x) (the (optimal) modulus of continuity of f at x) :
However, these restricted notions are not as relevant, for in most cases the optimal modulus of f could not be computed explicitly, but only bounded from above (by any modulus of continuity of f). Moreover, the main properties of moduli of continuity concern directly the unrestricted definition.
 In general, the modulus of continuity of a uniformly continuous function on a metric space needs to take the value For instance, the function such that f(n): = n^{2} is uniformly continuous with respect to the discrete metric on , and its minimal modulus of continuity is for any positive integer t, and ω_{f}(t) = 0 otherwise. However, the situation is different for uniformly continuous functions defined on compact or convex subsets of normed spaces.
Special moduli of continuity
Special moduli of continuity also reflect certain global properties of functions such as extendibility and uniform approximation. In this section we mainly deal with moduli of continuity that are concave, or subadditive, or uniformly continuous, or sublinear. These properties are essentially equivalent in that, for a modulus ω (more precisely, its restriction on ) each of the following implies the next:
 ω is concave;
 ω is subadditive;
 ω is uniformly continuous;
 ω is sublinear, that is, there are constants a and b such that for all t;
 ω is dominated by a concave modulus, that is, there exists a concave modulus of continuity such that for all t.
Thus, for a function f between metric spaces it is equivalent to admit a modulus of continuity which is either concave, or subadditive, or uniformly continuous, or sublinear. In this case, the function f is sometimes called a special uniformly continuous map. This is always true in case of either compact or convex domains. Indeed, a uniformly continuous map defined on a convex set C of a normed space E always admits a subadditive modulus of continuity; in particular, realvalued as a function . Indeed, it is immediate to check that the optimal modulus of continuity ω_{f} defined above is subadditive if the domain of f is convex: we have, for all s and t:
 ω_{f}(s + t) = sup _{ x − x'  = t + s}d_{Y}(f(x),f(x')
However, a uniformly continuous function on a general metric space admits a concave modulus of continuity if and only if the ratios are uniformly bounded for all pairs (x,x') bounded away from the diagonal of X; this condition is certainly satisfied by any bounded uniformly continuous function; hence in particular, by any continuous function on a compact metric space.
Sublinear moduli, and bounded perturbations from Lipschitz
A sublinear modulus of continuity can easily found for any uniformly function which is a bounded perturbations of a Lipschitz function: if f is a uniformly continuous function with modulus of continuity ω, and g is a k Lipschitz function with uniform distance r from f, then f admits the sublinear module of continuity min{ω(t),2r + kt}. Conversely, at least for realvalued functions, any bounded, uniformly continuous perturbation of a Lipschitz function is a special uniformly continuous function; indeed more is true as shown below. Note that as an immediate consequence, any uniformly continuous function on a convex subset of a normed space has a sublinear growth: there are constants a and b such that for all .
Subadditive moduli, and extendibility
The above property for uniformly continuous function on convex domains admits a sort of converse at least in the case of realvalued functions: that is, every special uniformly continuous realvalued function defined on a subset X of a normed space E admits extensions over E that preserves any subadditive modulus ω of f. The least and the greatest of such extensions are respectively:
As remarked, any subadditive modulus of continuity is uniformly continuous: in fact, it admits itself as a modulus of continuity. Therefore, and are respectively inferior and superior envelopes of ωcontinuous families; hence still ωcontinuous. Incidentally, by the Kuratowski embedding any metric space is isometric to a subset of a normed space. Hence, special uniformly continuous realvalued functions are essentially the restrictions of uniformly continuous functions on normed spaces. In particular, this construction provides a quick proof of the Tietze extension theorem on compact metric spaces. However, for mappings with values in more general Banach spaces than , the situation is quite more complicated; the first nontrivial result in this direction is the Kirszbraun theorem.
Concave moduli, and Lipschitz approximation
Every special uniformly continuous realvalued function defined on the metric space X is uniformly approximable by means of Lipschitz functions. Moreover, the speed of convergence in terms of the Lipschitz constants of the approximations is strictly related to the modulus of continuity of f. Precisely, let ω be the minimal concave modulus of continuity of f, which is
Let δ(s) be the uniform distance between the function f and the set Lip_{s} of all Lipschitz realvalued functions on C having Lipschitz constant s :
Then the functions ω(t) and δ(s) can be related with each other via a Legendre transformation: more precisely, the functions 2δ(s) and − ω( − t) (suitably extended to outside their domains of finiteness) are a pair of conjugated convex functions, for
Since ω(t) = o(1) for it follows that δ(s) = o(1) for that exactly means that f is uniformly approximable by Lipschitz functions. Correspondingly, an optimal approximation is given by the functions
each function f_{s} has Lipschitz constant s and in fact, it is the greatest s − Lipschitz function that realize the distance δ(s). For example, the α − Hölder realvalued functions on a metric space are characterized as those functions that can be uniformly approximated by s − Lipschitz functions with speed of convergence while the almost Lipschitz functions are characterized by an exponential speed of convergence O(e ^{− as}).
Examples of use
 Let a continuous function. In the proof that f is Riemann integrable, one usually bounds the distance between the upper and lower Riemann sums with respect to the Riemann partition in terms of the modulus of continuity of f and the modulus of the partition P:
 For an example of use in the Fourier series, see Dini test.
History
Steffens (2006, p. 160) attributes the first usage of omega for the modulus of continuity to Lebesgue (1909, p. 309/p. 75) where omega refers to the oscillation of a Fourier transform. De la Vallée Poussin (1919, pp. 78) mentions both names (1) "modulus of continuity" and (2) "modulus of oscillation" and then concludes "but we choose (1) to draw attention to the usage we will make of it".
The translation group of L^{p} functions, and moduli of continuity L^{p}.
Let let a function of class L^{p}, and let The htranslation of f, that is the function
belongs to the L^{p} class; moreover, if , there holds
as
Therefore, since translations are in fact linear isometries, also
as
uniformly on .
In other words, the map defines a strongly continuous group of linear isometries of L^{p}. In the case the above property does not hold in general: actually, it exactly reduces to the uniform continuity, and defines the uniform continuous functions. This leads to the following definition, that generalizes the notion of a modulus of continuity of the uniformly continuous functions: a modulus of continuity L^{p} for a measurable function is a modulus of continuity such that
This way, moduli of continuity also give a quantitative account of the continuity property shared by all L^{p} functions.
Modulus of continuity of higher orders
It can be seen that formal definition of the modulus uses notion of finite difference of first order:
If we replace that difference with a difference of order n we get a modulus of continuity of order n:
See also
References
 G. Choquet, Cours D'Analyse. Tome II, Topologie, Masson et C^{ie}, Paris, 1964.
 Ch. de la Vallée Poussin, L'approximation des fonctions d'une variable réelle, GauthierVillars, Paris, 1952 (reprint of 1919 edition).
 H. Lebesgue, Sur les intégrales singulières, Ann. Fac. Sci. Univ. Toulouse, ser 3 vol 1, 1909, 25117, reproduced in: Henri Lebesgue, Œuvres scientifiques, Vol. 3., pp. 259351.
 K.G. Steffens, The history of approximation theory, Birkhäuser, Boston 2006.
 A.V. Efimov, Modulus of continuity, Encyclopaedia of Mathematics, Springer, 2001. ISBN 1402006098.
Categories: Lipschitz maps
 Approximation theory
 Mathematical constructivism
 Fourier analysis
Wikimedia Foundation. 2010.
Look at other dictionaries:
modulus of continuity — tolydumo modulis statusas T sritis fizika atitikmenys: angl. modulus of continuity vok. Kontinuitätsmodul, m rus. модуль непрерывности, m pranc. module de continuité, m … Fizikos terminų žodynas
Lévy's modulus of continuity — In mathematics, Lévy s modulus of continuity is a theorem that gives an almost sure estimate of the modulus of continuity for Brownian motion. It is due to the French mathematician Paul Pierre Lévy.tatement of the resultLet B : [0, 1] imes Omega… … Wikipedia
Modulus — may refer to: Modulus (gastropod) a genus of small sea snails Modulus (algebraic number theory), a formal product of places of a number field The absolute value of a real or complex number (  a  ) Modular arithmetic, the modulus being the value … Wikipedia
Modulus and characteristic of convexity — In mathematics, the modulus and characteristic of convexity are measures of how convex the unit ball in a Banach space is. In some sense, the modulus of convexity has the same relationship to the ε δ definition of uniform convexity as the modulus … Wikipedia
Modulus of convergence — In real analysis, a branch of mathematics, a modulus of convergence is a function that tells how quickly a convergent sequence converges. These moduli are often employed in the study of computable analysis and constructive mathematics. If a… … Wikipedia
Lipschitz continuity — In mathematics, more specifically in real analysis, Lipschitz continuity, named after Rudolf Lipschitz, is a smoothness condition for functions which is stronger than regular continuity. Intuitively, a Lipschitz continuous function is limited in… … Wikipedia
Dini continuity — In mathematical analysis, Dini continuity is a refinement of continuity. Contents 1 Definition 2 Properties 3 See also 4 References … Wikipedia
Obstacle problem — The obstacle problem is a classic motivating example in the mathematical study of variational inequalities and free boundary problems. The problem is to find the equilibrium position of an elastic membrane whose boundary is held fixed, and which… … Wikipedia
Dini test — In mathematics, the Dini and Dini Lipschitz tests are highly precise tests that can be used to prove that the Fourier series of a function converges at a given point. These tests are named after Ulisse Dini and Rudolf Lipschitz.[1] Contents 1… … Wikipedia
Wiener process — In mathematics, the Wiener process is a continuous time stochastic process named in honor of Norbert Wiener. It is often called Brownian motion, after Robert Brown. It is one of the best known Lévy processes (càdlàg stochastic processes with… … Wikipedia