Sequence of Continuous Function Integral Has Convergent Subsequence
The Arzelà–Ascoli theorem is a fundamental result of mathematical analysis giving necessary and sufficient conditions to decide whether every sequence of a given family of real-valued continuous functions defined on a closed and bounded interval has a uniformly convergent subsequence. The main condition is the equicontinuity of the family of functions. The theorem is the basis of many proofs in mathematics, including that of the Peano existence theorem in the theory of ordinary differential equations, Montel's theorem in complex analysis, and the Peter–Weyl theorem in harmonic analysis and various results concerning compactness of integral operators.
The notion of equicontinuity was introduced in the late 19th century by the Italian mathematicians Cesare Arzelà and Giulio Ascoli. A weak form of the theorem was proven by Ascoli (1883–1884), who established the sufficient condition for compactness, and by Arzelà (1895), who established the necessary condition and gave the first clear presentation of the result. A further generalization of the theorem was proven by Fréchet (1906), to sets of real-valued continuous functions with domain a compact metric space (Dunford & Schwartz 1958, p. 382). Modern formulations of the theorem allow for the domain to be compact Hausdorff and for the range to be an arbitrary metric space. More general formulations of the theorem exist that give necessary and sufficient conditions for a family of functions from a compactly generated Hausdorff space into a uniform space to be compact in the compact-open topology; see Kelley (1991, page 234).
Statement and first consequences [edit]
By definition, a sequence of continuous functions on an interval I = [a, b] is uniformly bounded if there is a number M such that
for every function fn belonging to the sequence, and every x ∈ [a, b]. (Here, M must be independent of n and x .)
The sequence is said to be uniformly equicontinuous if, for every ε > 0, there exists a δ > 0 such that
whenever |x − y| < δ for all functions fn in the sequence. (Here, δ may depend on ε , but not x , y or n .)
One version of the theorem can be stated as follows:
- Consider a sequence of real-valued continuous functions {fn } n ∈ N defined on a closed and bounded interval [a, b] of the real line. If this sequence is uniformly bounded and uniformly equicontinuous, then there exists a subsequence {fnk } k ∈ N that converges uniformly.
- The converse is also true, in the sense that if every subsequence of {fn } itself has a uniformly convergent subsequence, then {fn } is uniformly bounded and equicontinuous.
Proof
The proof is essentially based on a diagonalization argument. The simplest case is of real-valued functions on a closed and bounded interval:
- Let I = [a, b] ⊂ R be a closed and bounded interval. If F is an infinite set of functions f : I → R which is uniformly bounded and equicontinuous, then there is a sequence fn of elements of F such that fn converges uniformly on I.
Fix an enumeration {x i } i ∈N of rational numbers in I. Since F is uniformly bounded, the set of points {f(x 1)} f∈F is bounded, and hence by the Bolzano–Weierstrass theorem, there is a sequence {f n 1 } of distinct functions in F such that {f n 1 (x 1)} converges. Repeating the same argument for the sequence of points {f n 1 (x 2)}, there is a subsequence {f n 2 } of {f n 1 } such that {f n 2 (x 2)} converges.
By induction this process can be continued forever, and so there is a chain of subsequences
such that, for each k = 1, 2, 3, ..., the subsequence {fnk } converges at x 1, ..., xk . Now form the diagonal subsequence {f} whose mth term fm is the mth term in the mth subsequence {fnm }. By construction, fm converges at every rational point of I.
Therefore, given any ε > 0 and rational xk in I, there is an integer N = N(ε, xk ) such that
Since the family F is equicontinuous, for this fixed ε and for every x in I, there is an open interval Ux containing x such that
for all f ∈F and all s,t in I such that s, t ∈ Ux .
The collection of intervals Ux , x ∈ I, forms an open cover of I. Since I is closed and bounded, by the Heine-Borel theorem I is compact, implying that this covering admits a finite subcover U 1, ..., UJ . There exists an integer K such that each open interval Uj , 1 ≤ j ≤ J , contains a rational xk with 1 ≤ k ≤ K . Finally, for any t ∈I, there are j and k so that t and xk belong to the same interval Uj . For this choice of k,
for all n, m > N = max{N(ε, x 1), ..., N(ε, x K )}. Consequently, the sequence {fn } is uniformly Cauchy, and therefore converges to a continuous function, as claimed. This completes the proof.
Immediate examples [edit]
Differentiable functions [edit]
The hypotheses of the theorem are satisfied by a uniformly bounded sequence {fn } of differentiable functions with uniformly bounded derivatives. Indeed, uniform boundedness of the derivatives implies by the mean value theorem that for all x and y,
where K is the supremum of the derivatives of functions in the sequence and is independent of n. So, given ε > 0, let δ = ε / 2K to verify the definition of equicontinuity of the sequence. This proves the following corollary:
- Let {fn } be a uniformly bounded sequence of real-valued differentiable functions on [a, b] such that the derivatives {fn ′} are uniformly bounded. Then there exists a subsequence {fnk } that converges uniformly on [a, b].
If, in addition, the sequence of second derivatives is also uniformly bounded, then the derivatives also converge uniformly (up to a subsequence), and so on. Another generalization holds for continuously differentiable functions. Suppose that the functions fn are continuously differentiable with derivatives f′n . Suppose that fn ′ are uniformly equicontinuous and uniformly bounded, and that the sequence {fn }, is pointwise bounded (or just bounded at a single point). Then there is a subsequence of the {fn } converging uniformly to a continuously differentiable function.
The diagonalization argument can also be used to show that a family of infinitely differentiable functions, whose derivatives of each order are uniformly bounded, has a uniformly convergent subsequence, all of whose derivatives are also uniformly convergent. This is particularly important in the theory of distributions.
Lipschitz and Hölder continuous functions [edit]
The argument given above proves slightly more, specifically
- If {fn } is a uniformly bounded sequence of real valued functions on [a, b] such that each f is Lipschitz continuous with the same Lipschitz constant K:
- for all x, y ∈ [a, b] and all fn , then there is a subsequence that converges uniformly on [a, b].
The limit function is also Lipschitz continuous with the same value K for the Lipschitz constant. A slight refinement is
- A set F of functions f on [a, b] that is uniformly bounded and satisfies a Hölder condition of order α, 0 < α ≤ 1, with a fixed constant M,
- is relatively compact in C([a, b]). In particular, the unit ball of the Hölder space C0,α ([a, b]) is compact in C([a, b]).
This holds more generally for scalar functions on a compact metric space X satisfying a Hölder condition with respect to the metric on X.
Generalizations [edit]
Euclidean spaces [edit]
The Arzelà–Ascoli theorem holds, more generally, if the functions fn take values in d-dimensional Euclidean space R d , and the proof is very simple: just apply the R -valued version of the Arzelà–Ascoli theorem d times to extract a subsequence that converges uniformly in the first coordinate, then a sub-subsequence that converges uniformly in the first two coordinates, and so on. The above examples generalize easily to the case of functions with values in Euclidean space.
Compact metric spaces and compact Hausdorff spaces [edit]
The definitions of boundedness and equicontinuity can be generalized to the setting of arbitrary compact metric spaces and, more generally still, compact Hausdorff spaces. Let X be a compact Hausdorff space, and let C(X) be the space of real-valued continuous functions on X. A subset F ⊂ C(X) is said to be equicontinuous if for every x ∈ X and every ε > 0, x has a neighborhood Ux such that
A set F ⊂ C(X, R) is said to be pointwise bounded if for every x ∈ X,
A version of the Theorem holds also in the space C(X) of real-valued continuous functions on a compact Hausdorff space X (Dunford & Schwartz 1958, §IV.6.7):
- Let X be a compact Hausdorff space. Then a subset F of C(X) is relatively compact in the topology induced by the uniform norm if and only if it is equicontinuous and pointwise bounded.
The Arzelà–Ascoli theorem is thus a fundamental result in the study of the algebra of continuous functions on a compact Hausdorff space.
Various generalizations of the above quoted result are possible. For instance, the functions can assume values in a metric space or (Hausdorff) topological vector space with only minimal changes to the statement (see, for instance, Kelley & Namioka (1982, §8), Kelley (1991, Chapter 7)):
- Let X be a compact Hausdorff space and Y a metric space. Then F ⊂ C(X, Y) is compact in the compact-open topology if and only if it is equicontinuous, pointwise relatively compact and closed.
Here pointwise relatively compact means that for each x ∈X, the set F x = {f (x) :f ∈ F} is relatively compact in Y.
In the case that Y is complete, the proof given above can be generalized in a way that does not rely on the separability of the domain. On a compact Hausdorff space X, for instance, the equicontinuity is used to extract, for each ε = 1/n, a finite open covering of X such that the oscillation of any function in the family is less than ε on each open set in the cover. The role of the rationals can then be played by a set of points drawn from each open set in each of the countably many covers obtained in this way, and the main part of the proof proceeds exactly as above. A similar argument is used as a part of the proof for the general version which does not assume completeness of Y.
Functions on non-compact spaces [edit]
The Arzela-Ascoli theorem generalises to functions where is not compact. Particularly important are cases where is a topological vector space. Recall that if is a topological space and is a uniform space (such as any metric space or any topological group, metrisable or not), there is the topology of compact convergence on the set of functions ; it is set up so that a sequence (or more generally a filter or net) of functions converges if and only if it converges uniformly on each compact subset of . Let be the subspace of consisting of continuous functions, equipped with the topology of compact convergence. Then one form of the Arzèla-Ascoli theorem is the following:
- Let be a topological space, a Hausdorff uniform space and an equicontinuous set of continuous functions such that is relatively compact in for each . Then is relatively compact in .
This theorem immediately gives the more specialised statements above in cases where is compact and the uniform structure of is given by a metric. There are a few other variants in terms of the topology of precompact convergence or other related topologies on . It is also possible to extend the statement to functions that are only continuous when restricted to the sets of a covering of by compact subsets. For details one can consult Bourbaki (1998), Chapter X, § 2, nr 5.
Non-continuous functions [edit]
Solutions of numerical schemes for parabolic equations are usually piecewise constant, and therefore not continuous, in time. As their jumps nevertheless tend to become small as the time step goes to , it is possible to establish uniform-in-time convergence properties using a generalisation to non-continuous functions of the classical Arzelà–Ascoli theorem (see e.g. Droniou & Eymard (2016, Appendix)).
Denote by the space of functions from to endowed with the uniform metric
Then we have the following:
- Let be a compact metric space and a complete metric space. Let be a sequence in such that there exists a function and a sequence satisfying
- Assume also that, for all , is relatively compact in . Then is relatively compact in , and any limit of in this space is in .
Necessity [edit]
Whereas most formulations of the Arzelà–Ascoli theorem assert sufficient conditions for a family of functions to be (relatively) compact in some topology, these conditions are typically also necessary. For instance, if a set F is compact in C(X), the Banach space of real-valued continuous functions on a compact Hausdorff space with respect to its uniform norm, then it is bounded in the uniform norm on C(X) and in particular is pointwise bounded. Let N(ε, U) be the set of all functions in F whose oscillation over an open subset U ⊂ X is less than ε:
For a fixed x∈X and ε, the sets N(ε, U) form an open covering of F as U varies over all open neighborhoods of x. Choosing a finite subcover then gives equicontinuity.
Further examples [edit]
- To every function g that is p-integrable on [0, 1], with 1 < p ≤ ∞, associate the function G defined on [0, 1] by
- Let F be the set of functions G corresponding to functions g in the unit ball of the space Lp ([0, 1]). If q is the Hölder conjugate of p, defined by 1 / p + 1 / q = 1, then Hölder's inequality implies that all functions in F satisfy a Hölder condition with α = 1 / q and constant M = 1.
- It follows that F is compact in C([0, 1]). This means that the correspondence g → G defines a compact linear operator T between the Banach spaces Lp ([0, 1]) and C([0, 1]). Composing with the injection of C([0, 1]) into Lp ([0, 1]), one sees that T acts compactly from Lp ([0, 1]) to itself. The case p = 2 can be seen as a simple instance of the fact that the injection from the Sobolev space into L 2(Ω), for Ω a bounded open set in R d , is compact.
- When T is a compact linear operator from a Banach space X to a Banach space Y, its transpose T ∗ is compact from the (continuous) dual Y ∗ to X ∗ . This can be checked by the Arzelà–Ascoli theorem.
- Indeed, the image T(B) of the closed unit ball B of X is contained in a compact subset K of Y. The unit ball B∗ of Y ∗ defines, by restricting from Y to K, a set F of (linear) continuous functions on K that is bounded and equicontinuous. By Arzelà–Ascoli, for every sequence {y ∗
n }, in B∗ , there is a subsequence that converges uniformly on K, and this implies that the image of that subsequence is Cauchy in X ∗ .
- When f is holomorphic in an open disk D 1 = B(z 0, r), with modulus bounded by M, then (for example by Cauchy's formula) its derivative f ′ has modulus bounded by 2M / r in the smaller disk D 2 = B(z 0, r / 2 ). If a family of holomorphic functions on D 1 is bounded by M on D 1 , it follows that the family F of restrictions to D 2 is equicontinuous on D 2 . Therefore, a sequence converging uniformly on D 2 can be extracted. This is a first step in the direction of Montel's theorem.
- Let be endowed with the uniform metric Assume that is a sequence of solutions of a certain partial differential equation (PDE), where the PDE ensures the following a priori estimates: is equicontinuous for all , is equitight for all , and, for all and all , is small enough when is small enough. Then by the Fréchet–Kolmogorov theorem, we can conclude that is relatively compact in . Hence, we can, by (a generalization of) the Arzelà–Ascoli theorem, conclude that is relatively compact in
See also [edit]
- Helly's selection theorem
- Fréchet–Kolmogorov theorem
References [edit]
- Arzelà, Cesare (1895), "Sulle funzioni di linee", Mem. Accad. Sci. Ist. Bologna Cl. Sci. Fis. Mat., 5 (5): 55–74 .
- Arzelà, Cesare (1882–1883), "Un'osservazione intorno alle serie di funzioni", Rend. Dell' Accad. R. Delle Sci. dell'Istituto di Bologna: 142–159 .
- Ascoli, G. (1883–1884), "Le curve limite di una varietà data di curve", Atti della R. Accad. Dei Lincei Memorie della Cl. Sci. Fis. Mat. Nat., 18 (3): 521–586 .
- Bourbaki, Nicolas (1998), General topology. Chapters 5–10, Elements of Mathematics, Berlin, New York: Springer-Verlag, ISBN978-3-540-64563-4, MR 1726872 .
- Dieudonné, Jean (1988), Foundations of modern analysis, Academic Press, ISBN978-0-12-215507-9
- Droniou, Jérôme; Eymard, Robert (2016), "Uniform-in-time convergence of numerical methods for non-linear degenerate parabolic equations", Numer. Math., 132 (4): 721–766, arXiv:2003.09067, doi:10.1007/s00211-015-0733-6, S2CID 5287603 .
- Dunford, Nelson; Schwartz, Jacob T. (1958), Linear operators, volume 1, Wiley-Interscience .
- Fréchet, Maurice (1906), "Sur quelques points du calcul fonctionnel", Rend. Circ. Mat. Palermo, 22: 1–74, doi:10.1007/BF03018603, hdl:10338.dmlcz/100655, S2CID 123251660 .
- Arzelà-Ascoli theorem at Encyclopaedia of Mathematics
- Kelley, J. L. (1991), General topology, Springer-Verlag, ISBN978-0-387-90125-1
- Kelley, J. L.; Namioka, I. (1982), Linear Topological Spaces, Springer-Verlag, ISBN978-0-387-90169-5
- Rudin, Walter (1976), Principles of mathematical analysis, McGraw-Hill, ISBN978-0-07-054235-8
This article incorporates material from Ascoli–Arzelà theorem on PlanetMath, which is licensed under the Creative Commons Attribution/Share-Alike License.
Source: https://en.wikipedia.org/wiki/Arzel%C3%A0%E2%80%93Ascoli_theorem
0 Response to "Sequence of Continuous Function Integral Has Convergent Subsequence"
Post a Comment