User:Mgkrupa/Analysis of vector-valued curves

In mathematics, specifically in functional analysis and real/complex analysis, curves taking values in a topological vector space (TVS), such as or a Banach space, play an important role in the more general theory of analysis of maps between two TVSs. This article describes the basic theory of analysis of curves valued in arbitrary TVSs; for analysis of curves valued in finite-dimensional spaces like , please see the articles vector calculus and multivariable calculus.

The analysis of vector-valued curves is significantly more straight forward than the analysis of TVS-valued functions having domains that are infinite-dimensional TVSs, where, for instance, there are multiple competing definitions of differentiability such as Fréchet differentiability and Gateaux differentiability. In particular, there is significant agreement about the definitions of integrals and derivatives of curves even if they take their values in infinite-dimensional TVSs.[citation needed] Consequently, the analysis of vector-valued curves is a useful tool for studying the more general case of analysis of functions between arbitrary TVSs.

Basic definitions

edit

The pair (a, b) denotes an element of some product X × Y and use ]a, b[ := { r : a < r and r < b} (rather than (a, b)) to denote an open interval. The brackets [a, b] denote an interval of real numbers and X denotes a topological vector space. If a function f is constant on a set S then one can identify the singleton set f(S) with this constant value. The Lebesgue measure is denoted by 𝜆.

The continuous dual space of a TVS X is denoted by  . The dual   is said to separate points on X if for every non-zero x in X, there exists some continuous linear functional L on X such that L(x) ≠ 0. Clearly, if   separates points on X then X is necessarily Hausdorff and the weak topology on X induced by   is a Hausdorff locally convex topology that is coarser than X's original topology.

Weak integration: the Pettis integral

edit

If f is an X-valued map on an interval I then f is called Pettis integrable or weakly integrable if for all continuous linear functionals L on X, the scalar-valued map Lf is measurable and Lebesgue integrable, and if there exists a unique y in X such that

  for all  ,

in which case we denote y by  . If the continuous dual space of X separates points on X then any such vector y is necessarily unique so that in this case one need not check for uniqueness; in addition, because of this one can henceforth assume that the continuous dual space of X separates points on X (which is a very mild requirement).

The defining condition of the value of the weak integral   is:

  for all  ,

where it is clear that if X is Euclidean space then any X-valued Lebesgue integrable function is also weakly integrable. Relative to almost every other definition of integration of a vector-valued function, the Pettis integrability condition is relatively weak. In addition, no matter what definition of "integrable" one encounters (so long as the value of this integral is an element of X), if a function is integrable under that definition then it is extremely likely that it will also be weakly integrable; furthermore these two integrals are very likely to agree in their values. Because of this, once one has proven some equality for the Pettis integral (for instance, linearity of the integral, or change of variables formula) then one may almost immediately deduce that this property holds for this other definition of the integral. Due to the importance of linear functionals in modern functional analysis, it is rare to see a definition of integrability (where the integral is valued in X) that does not imply weak integrability (if such a definition even exists).

The vector space of all X-valued weakly integrable functions will be denoted by   where it is easy to see that the integral map   defined by   is a linear operator.

The Pettis integral can also be defined more generally for X valued maps whose domains are measure spaces.

Properties

edit

If f is weakly integrable and p is a continuous seminorm on X then   and there exists a continuous linear functional L on X such that   and   for all s in I. In addition, if T : XY is a continuous linear operator into a TVS Y whose continuous dual space separates points on Y, then   is weakly integrable and  .

Conditions for existence

edit

Suppose that f is an X-valued map from an interval I and that   separates points on X.

If the domain of f is compact, f is continuous, and the closed convex hull of the image of f (denoted by  ) is compact (which is automatically true if X is a Fréchet spaces) then the weak integral of f exists and  , where 𝜆 is Lebesgue measure.[1]

If W and X are TVSs with X locally convex and Hausdorff, U is a subset of W, and   is continuous, then the for all u in U, the weak integral   exists and the map   defined by   is continuous.

Space of bounded maps

edit

Given a seminorm p on X, let   denote the map defined by sending an X-valued function f to  , where recall that for any real valued map g,  . This map is a seminorm on the space of all X-valued functions such that   is bounded. If X is a locally convex space then we let   denote the vector space of all X-valued maps such that   is bounded for every continuous seminorm p on X. If the topology of X is induced by the family of seminorms   then the seminorms   induce a canonical locally convex topology on   that we will henceforth associate with this space.

Integration of step functions and regulated maps

edit

Integration of step functions

edit

A partition of [a, b] is a finite sequence   such that a0 = a, an = b, and aiai+1 for all i = 0, ..., n − 1. An X-valued step function on [a, b] with respect to a partition   is a function f : [ab] → X such that for all i = 0, ..., n − 1, f is constant on ]ai, ai+1[ (it may take on any value at the points a0, ..., an). Denote the space of all X-valued step functions on [ab] by  

The integral of such a step function f, denoted by  , is the vector

 

It may be shown that this value is actually independent of the choice of partition for f. Essentially all definitions of the integral of a step function agree with the definition just given. We use the notation   to denote   and we may omit writing the symbols t and dt.

If astb and f is defined on [a, b], then   denotes  . It may be shown that if bc then   for all step functions f defined on [a, c].

If p is a seminorm on X and every interval [ai, ai+1] is non-degenerate then

 

If in addition at every ai, f is continuous from the left or from the right then  ; in particular, if X is normed then  ;

Regulated functions

edit

If X is locally convex then clearly  . The closure of   in   is called the space of regulated maps and is denoted by  .

Since the map   defined by   is a continuous linear operator, it has a unique continuous linear extension   that sends a function f to some value, which we will denote by  .

Integration of simple functions

edit

A function f is called a simple measurable function if it takes on only a finite number of values and if each of its fibers is a measurable subset of its domain. We define the integral of a simple measurable function f by

 

Essentially all definitions of the integral of a simple measurable function agree with the definition just given.

More generally, if f : [a, b] → X is a function such that there exist non-empty measurable pairwise disjoint sets N, A0, ..., An whose union is [a, b] such that N has measure 0 and f takes on the constant value xi on each Ai, then we can define the integral of f by

 

Properties of integration

edit

If f : [a, b] → X is a map, t0 is in the domain of f, and r > 0 is such that t + rb, then

 

where if one of these integrals exists then so too does the other one; in particular,

 

Differentiation

edit

So that limits are unique, we will henceforth assume that all TVS topologies considered are Hausdorff.

Suppose that X is a Hausdorff TVS and f, which we'll also denote by  , is an X-valued map defined on a subset I of the real numbers. For any t0 in the domain of f, we say that f is 0-times differentiable at t0 if f is continuous at t0. We say that f is (once) differentiable at t0 if t0 is not an isolated point in the domain of f and if the limit

 

exists in X, in which case we call this limit f's derivative at t0. The derivative of f is the map, denoted by   or  , whose domain consists of all t such that   exists and that sends a point t in its domain to  . Having defined  , which we call the kth derivative of f, we define   to be the derivative of  . We say that f is k-times differentiable at t0 if t0 belongs to the domain of  .

We say that f is   or 0-times differentiable if it is continuous and we say that f is (once) differentiable if it is differentiable at every point of its domain (its domain, therefore, has no isolated points). For any k ∈ { 2, 3, ... }, we say that f is k-times differentiable if it is k-1 times differentiable and its (k − 1)th derivative is differentiable.

We say that f is   or continuously differentiable if it is continuous, differentiable, and   is continuous. For any positive integer k, we say that f is   or k-times continuously differentiable if it is   and its (k – 1)th derivative,  , is continuously differentiable. For any subset I of the real numbers, we denote the vector space of all X-valued Ck functions with domain I by Ck(I; X).

We call f a C0-embedding if it is a topological embedding. For any k ∈ { 1, 2, ... }, a Ck-embedding is a Ck map that is a topological embedding whose first derivative does not vanish at any point of its domain. We denote the set of all X-valued Ck embeddings with domain I by Embedk(I; X) and the set of all X-valued Ck embeddings from any non-empty subset of   by Embedk(X).

A curve or a C0-curve is a continuous X-valued map whose domain is a non-degenerate interval of real numbers and for any k ∈ { 0, 1, ... }, a Ck-curve is a curve that is k-times continuously differentiable. An arc or a C0-arc is a topological embedding whose domain is a non-degenerate closed and bounded interval, and for any k ∈ { 1, 2, ... }, a Ck-arc is a C0-arc that is also a Ck-embedding. If I is a non-degenerate compact interval then we denote the set of all X-valued Ck arcs with domain I by Arck(I; X) and we denote the set of all X-valued Ck arcs by Arck(X).

If X is a finite-dimensional Hausdorff TVS then each of the above definitions agrees with the usual definition of its counterpart as defined in standard finite-dimensional real analysis.

Definitions extended to other topologies

edit

If we precede any of the above definitions with the word weak or weakly then we mean that definition applied to X when it has the weak topology induced by its continuous dual space. So for instance, f is weakly differentiable at t0 if f is differentiable at t0 when X is endowed with the weak topology induced by  , where one may show that this is true if and only if t0 is not an isolated point and there exists some v in X such that for all  ,

 

in which case v is called the weak derivative of f at t0. Note that even if f is not differentiable at a point, it may still be weakly differentiable at that point.

Similarly, if we precede any of the above definitions with the word Mackey (resp. bounded) then we mean that definition applied to X when it has the Mackey topology (resp. the topology of uniform convergence on bounded subsets of  ) induced by its continuous dual space.

Fundamental theorem of calculus

edit
First fundamental theorem of calculus: Let X be a TVS whose dual space separates points on X and let f : [a, b] → X be continuously differentiable. Then the weak integral   exists and  .

It follows immediately that if f and g are continuously differentiable functions [a, bX valued in a TVS whose continuous dual space separates points, then if f(a) = g(a) and   then necessarily f = g. If in addition p is a continuous seminorm on X then we also have:

 
Second fundamental theorem of Calculus: Let X be a locally convex Hausdorff TVS and let f : [a, b] → X be continuous. Then the function F : [a, b] → X defined by   is continuously differentiable and  

Change of variables

edit
Theorem: If X is a TVS whose continuous dual space separates points, f is a continuous X-valued map defined on a subset I of the real numbers, and   is continuously differentiable, then  .

Ck curves and arcs and their relation to TVS topologies

edit

If X is a set and if   is a collection of X-valued maps where the domain of each   is a topological space, then the final topology on X induced by   is the finest topology on X making all   continuous.

Relationship to the Gateaux derivative

edit

Let X and Y be two Hausdorff TVSs, U an open subset of X, F : UY a map, and   be the Gateaux derivative of F. Recall that   is the directional derivative of F in the direction v. Indeed,   is by definition equal to the derivative at t = 0 of the Y-valued map defined by  , where the domain of g is the set  ; that is,

 

Through this observation, many basic properties of the Gateaux derivative of F may be deduced from the properties of Y-valued curves.

See also

edit

References

edit
  1. ^ Rudin 1991, pp. 78–81.
  • Kriegl, Andreas; Michor, Peter W. (1997). The Convenient Setting of Global Analysis (PDF). Mathematical Surveys and Monographs. Vol. 53. Providence, R.I: American Mathematical Society. ISBN 978-0-8218-0780-4. OCLC 37141279.
  • Rudin, Walter (1991). Functional analysis. New York: McGraw-Hill Science/Engineering/Math. ISBN 978-0-07-054236-5. OCLC 21163277.
  • Ryan, Raymond (2002). Introduction to tensor products of Banach spaces. London New York: Springer. ISBN 1-85233-437-1. OCLC 48092184.
  • Schaefer, Helmut H.; Wolff, Manfred P. (1999). Topological Vector Spaces. GTM. Vol. 3. New York, NY: Springer New York Imprint Springer. ISBN 978-1-4612-7155-0. OCLC 840278135.

Category:Functional analysis