Hölder condition explained
In mathematics, a real or complex-valued function on -dimensional Euclidean space satisfies a Hölder condition, or is Hölder continuous, when there are real constants,, such thatfor all and in the domain of . More generally, the condition can be formulated for functions between any two metric spaces. The number
is called the
exponent of the Hölder condition. A function on an interval satisfying the condition with is
constant (see proof below). If, then the function satisfies a Lipschitz condition. For any, the condition implies the function is
uniformly continuous. The condition is named after
Otto Hölder.
We have the following chain of inclusions for functions defined on a closed and bounded interval of the real line with :
where .
Hölder spaces
Hölder spaces consisting of functions satisfying a Hölder condition are basic in areas of functional analysis relevant to solving partial differential equations, and in dynamical systems. The Hölder space, where is an open subset of some Euclidean space and k ≥ 0 an integer, consists of those functions on Ω having continuous derivatives up through order and such that the -th partial derivatives are Hölder continuous with exponent, where . This is a locally convex topological vector space. If the Hölder coefficient
, is finite, then the function is said to be
(uniformly) Hölder continuous with exponent in . In this case, the Hölder coefficient serves as a
seminorm. If the Hölder coefficient is merely bounded on
compact subsets of, then the function is said to be
locally Hölder continuous with exponent in .If the function and its derivatives up to order are bounded on the closure of Ω, then the Hölder space
Ck,\alpha(\overline{\Omega})
can be assigned the norm
where β ranges over
multi-indices and
These seminorms and norms are often denoted simply
and
or also
and
in order to stress the dependence on the domain of . If is open and bounded, then
Ck,\alpha(\overline{\Omega})
is a
Banach space with respect to the norm
Compact embedding of Hölder spaces
Let Ω be a bounded subset of some Euclidean space (or more generally, any totally bounded metric space) and let 0 < α < β ≤ 1 two Hölder exponents. Then, there is an obvious inclusion map of the corresponding Hölder spaces:which is continuous since, by definition of the Hölder norms, we have:
Moreover, this inclusion is compact, meaning that bounded sets in the norm are relatively compact in the norm. This is a direct consequence of the Ascoli-Arzelà theorem. Indeed, let be a bounded sequence in . Thanks to the Ascoli-Arzelà theorem we can assume without loss of generality that uniformly, and we can also assume . Thenbecause
= \left(\frac
\right)^ \left | u_n(x)-u_n(y) \right |^ \leq |u_n|_^ \left(2\|u_n\|_\infty\right)^ = o(1).
Examples
C0,\beta(\overline{\Omega})
Hölder continuous functions on a
bounded set Ω are also
C0,\alpha(\overline{\Omega})
Hölder continuous. This also includes and therefore all
Lipschitz continuous functions on a bounded set are also Hölder continuous.
- The function (with) defined on serves as a prototypical example of a function that is Hölder continuous for, but not for . Further, if we defined analogously on
, it would be Hölder continuous only for .
is
- Hölder continuous on an interval and
then
is constant.Consider the case
where
. Then
\left|
\right|\leqC|x-y|\alpha
, so the difference quotient converges to zero as
. Hence
exists and is zero everywhere. Mean-value theorem now implies
is constant.
Q.E.D.Alternate idea: Fix
and partition
into
where
. Then
|f(x)-f(y)|\leq|f(x0)-f(x1)|+|f(x1)-f(x2)|+\ldots+|f(xn-1)-f(xn)|\leq
C\left(
\right)\alpha=C|x-y|\alphan1-\alpha\to0
as
, due to
. Thus
.
Q.E.D.- There are examples of uniformly continuous functions that are not - Hölder continuous for any . For instance, the function defined on by and by otherwise is continuous, and therefore uniformly continuous by the Heine-Cantor theorem. It does not satisfy a Hölder condition of any order, however.
- The Weierstrass function defined by: where
is an integer,
and
is -Hölder continuous with
[1]
\alpha\le\tfrac{log2}{log3},
and for no larger one. In the former case, the inequality of the definition holds with the constant .
- Peano curves from onto the square can be constructed to be 1/2 - Hölder continuous. It can be proved that when
the image of a
-Hölder continuous function from the unit interval to the square cannot fill the square.
-Hölder for every
.
- Functions which are locally integrable and whose integrals satisfy an appropriate growth condition are also Hölder continuous. For example, if we let
\int_ u(y) \, dy and satisfies
then is Hölder continuous with exponent .
[2] - Functions whose oscillation decay at a fixed rate with respect to distance are Hölder continuous with an exponent that is determined by the rate of decay. For instance, if for some function satisfies for a fixed with and all sufficiently small values of, then is Hölder continuous.
- Functions in Sobolev space can be embedded into the appropriate Hölder space via Morrey's inequality if the spatial dimension is less than the exponent of the Sobolev space. To be precise, if
then there exists a constant, depending only on and, such that:
where
Thus if, then is in fact Hölder continuous of exponent, after possibly being redefined on a set of measure 0.
Properties
- A closed additive subgroup of an infinite dimensional Hilbert space, connected by - Hölder continuous arcs with, is a linear subspace. There are closed additive subgroups of, not linear subspaces, connected by 1/2 - Hölder continuous arcs. An example is the additive subgroup of the Hilbert space .
- Any - Hölder continuous function on a metric space admits a Lipschitz approximation by means of a sequence of functions such that is -Lipschitz and Conversely, any such sequence of Lipschitz functions converges to an - Hölder continuous uniform limit .
- Any - Hölder function on a subset of a normed space admits a uniformly continuous extension to the whole space, which is Hölder continuous with the same constant and the same exponent . The largest such extension is:
- The image of any
under an - Hölder function has Hausdorff dimension at most
, where
is the Hausdorff dimension of
.
C0,\alpha(\Omega),0<\alpha\leq1
is not separable.
C0,\beta(\Omega)\subsetC0,\alpha(\Omega),0<\alpha<\beta\leq1
is not dense.
and
satisfy on smooth arc the
and
conditions respectively, then the functions
and
satisfy the
condition on, where
.
See also
References
- Book: Lawrence C. Evans . Lawrence C. Evans . Partial Differential Equations . American Mathematical Society, Providence . 1998 . 0-8218-0772-2.
- Book: D.. Gilbarg. Neil. Trudinger. Neil Trudinger. Elliptic Partial Differential Equations of Second Order. Springer. New York. 1983. 3-540-41160-7. .
- Book: Qing. Han. Fanghua. Lin. Lin Fanghua. Elliptic Partial Differential Equations. Courant Institute of Mathematical Sciences. New York. 1997. 0-9658703-0-8. 38168365.
Notes and References
- Hardy . G. H. . Weierstrass's Non-Differentiable Function . Transactions of the American Mathematical Society . 17 . 3 . 1916 . 301–325 . 10.2307/1989005 . 1989005 .
- See, for example, Han and Lin, Chapter 3, Section 1. This result was originally due to Sergio Campanato.