|
|
| Line 1: |
Line 1: |
| In [[mathematics]], '''infinite-dimensional holomorphy''' is a branch of [[functional analysis]]. It is concerned with generalizations of the concept of [[holomorphic function]] to functions defined and taking values in [[complex number|complex]] [[Banach space]]s (or [[Fréchet spaces]] more generally), typically of infinite dimension. It is one aspect of [[nonlinear functional analysis]].
| | Hi there. Allow me begin by introducing the author, her title is Sophia. Since I was eighteen I've been working as a bookkeeper but soon my spouse and I will start our own business. I've usually cherished living in Alaska. Playing badminton is a factor that he is totally addicted to.<br><br>Feel free to surf to my blog [http://www.whitetailtube.com/deer_hunting_videos/users/KGuess best psychic] |
| | |
| ==Vector-valued holomorphic functions defined in the complex plane==
| |
| A first step in extending the theory of holomorphic functions beyond one complex dimension is considering so-called ''vector-valued holomorphic functions'', which are still defined in the [[complex plane]] '''C''', but take values in a Banach space. Such functions are important, for example, in constructing the [[holomorphic functional calculus]] for [[bounded linear operator]]s.
| |
| | |
| <blockquote>'''Definition.''' A function ''f'' : ''U'' → ''X'', where ''U'' ⊂ '''C''' is an [[open subset]] and ''X'' is a complex Banach space is called ''holomorphic'' if it is complex-differentiable; that is, for each point ''z'' ∈ ''U'' the following [[limit of a function|limit]] exists:
| |
| | |
| :<math>f'(z)=\lim_{\zeta\to z} \frac{f(\zeta)-f(z)}{\zeta - z}.</math></blockquote>
| |
| | |
| One may define the [[line integral]] of a vector-valued holomorphic function ''f'' : ''U'' → ''X'' along a [[rectifiable curve]] γ : [''a'', ''b''] → ''U'' in the same way as for complex-valued holomorphic functions, as the limit of sums of the form
| |
| | |
| :<math>\sum_{1 \le k \le n} f(\gamma(t_k)) ( \gamma(t_k) - \gamma(t_{k-1}) )</math>
| |
| | |
| where ''a'' = ''t''<sub>0</sub> < ''t''<sub>1</sub> < ... < ''t''<sub>''n''</sub> = ''b'' is a subdivision of the interval [''a'', ''b''], as the lengths of the subdivision intervals approach zero.
| |
| | |
| It is a quick check that the [[Cauchy integral theorem]] also holds for vector-valued holomorphic functions. Indeed, if ''f'' : ''U'' → ''X'' is such a function and ''T'' : ''X'' → '''C''' a bounded linear functional, one can show that
| |
| | |
| :<math>T\left(\int_\gamma f(z)\,dz\right)=\int_\gamma (T\circ f)(z)\,dz.</math>
| |
|
| |
| Moreover, the [[function composition|composition]] ''T'' <small>o</small> ''f'' : ''U'' → '''C''' is a complex-valued holomorphic function. Therefore, for γ a [[simple closed curve]] whose interior is contained in ''U'', the integral on the right is zero, by the classical Cauchy integral theorem. Then, since ''T'' is arbitrary, it follows from the [[Hahn–Banach theorem]] that
| |
| | |
| :<math>\int_\gamma f(z)\,dz=0</math>
| |
| | |
| which proves the Cauchy integral theorem in the vector-valued case.
| |
| | |
| Using this powerful tool one may then prove [[Cauchy's integral formula]], and, just like in the classical case, that any vector-valued holomorphic function is [[analytic function|analytic]].
| |
| | |
| A useful criterion for a function ''f'' : ''U'' → ''X'' to be holomorphic is that ''T'' <small>o</small> ''f'' : ''U'' → '''C''' is a holomorphic complex-valued function for every [[continuous linear functional]] ''T'' : ''X'' → '''C'''. Such an ''f'' is [[weak topology|weakly]] holomorphic. It can be shown that a function defined on an open subset of the complex plane with values in a Fréchet space is holomorphic if, and only if, it is weakly holomorphic.
| |
| | |
| ==Holomorphic functions between Banach spaces==
| |
| More generally, given two complex [[Banach space]]s ''X'' and ''Y'' and an open set ''U'' ⊂ ''X'', ''f'' : ''U'' → ''Y'' is called '''holomorphic''' if the [[Fréchet derivative]] of ''f'' exists at every point in ''U''. One can show that, in this more general context, it is still true that a holomorphic function is analytic, that is, it can be locally expanded in a power series. It is no longer true however that if a function is defined and holomorphic in a ball, its power series around the center of the ball is convergent in the entire ball; for example, there exist holomorphic functions defined on the entire space which have a finite radius of convergence.{{ref|Harris}}
| |
| | |
| ==Holomorphic functions between topological vector spaces==
| |
| In general, given two complex [[topological vector space]]s ''X'' and ''Y'' and an open set ''U'' ⊂ ''X'', there are various ways of defining holomorphy of a function ''f'' : ''U'' → ''Y''. Unlike the finite dimensional setting, when ''X'' and ''Y'' are infinite dimensional, the properties of holomorphic functions may depend on which definition is chosen. To restrict the number of possibilities we must consider, we shall only discuss holomorphy in the case when ''X'' and ''Y'' are [[locally convex]].
| |
| | |
| This section presents a list of definitions, proceeding from the weakest notion to the strongest notion. It concludes with a discussion of some theorems relating these definitions when the spaces ''X'' and ''Y'' satisfy some additional constraints.
| |
| | |
| ===Gâteaux holomorphy===
| |
| Gâteaux holomorphy is the direct generalization of weak holomorphy to the fully infinite dimensional setting.
| |
| | |
| Let ''X'' and ''Y'' be locally convex topological vector spaces, and ''U'' ⊂ ''X'' an open set. A function ''f'' : ''U'' → ''Y'' is said to be '''Gâteaux holomorphic''' if, for every ''a'' ∈ ''U'' and ''b'' ∈ ''X'', and every [[continuous linear functional]] φ : ''Y'' → '''C''', the function
| |
| :<math>f_{\varphi}(z) = \varphi\circ f(a+zb)</math>
| |
| is a holomorphic function of ''z'' in a neighborhood of the origin. The collection of Gâteaux holomorphic functions is denoted by H<sub>G</sub>(''U'',''Y'').
| |
| | |
| In the analysis of Gâteaux holomorphic functions, any properties of finite-dimensional holomorphic functions hold on finite-dimensional subspaces of ''X''. However, as usual in functional analysis, these properties may not piece together uniformly to yield any corresponding properties of these functions on full open sets.
| |
| | |
| ====Examples====
| |
| *If ''f'' ∈ ''U'', then ''f'' has [[Gâteaux derivative]]s of all orders, since for ''x'' ∈ ''U'' and ''h''<sub>1</sub>, ..., ''h<sub>k</sub>'' ∈ ''X'', the ''k''-th order Gâteaux derivative ''D<sup>k</sup>f''(''x''){''h''<sub>1</sub>, ..., ''h<sub>k</sub>''} involves only iterated directional derivatives in the span of the ''h<sub>i</sub>'', which is a finite-dimensional space. In this case, the iterated Gâteaux derivatives are multilinear in the ''h<sub>i</sub>'', but will in general fail to be continuous when regarded over the whole space ''X''.
| |
| | |
| *Furthermore, a version of Taylor's theorem holds:
| |
| ::<math>f(x+y)=\sum_{n=0}^\infty \frac{1}{n!} \widehat{D}^nf(x)(y)</math>
| |
| :Here, <math>\widehat{D}^nf(x)(y)</math> is the [[homogeneous polynomial]] of degree ''n'' in ''y'' associated with the [[multilinear operator]] ''D<sup>n</sup>f''(''x''). The convergence of this series is not uniform. More precisely, if ''V'' ⊂ ''X'' is a ''fixed'' finite-dimensional subspace, then the series converges uniformly on sufficiently small compact neighborhoods of 0 ∈ ''Y''. However, if the subspace ''V'' is permitted to vary, then the convergence fails: it will in general fail to be uniform with respect to this variation. Note that this is in sharp contrast with the finite dimensional case.
| |
| | |
| *[[Hartog's theorem]] holds for Gâteaux holomorphic functions in the following sense:
| |
| <blockquote>If ''f'' : (''U'' ⊂ ''X''<sub>1</sub>) × (''V'' ⊂ ''X''<sub>2</sub>) → ''Y'' is a function which is ''separately'' Gâteaux holomorphic in each of its arguments, then ''f'' is Gâteaux holomorphic on the product space.</blockquote>
| |
| | |
| ===Hypoanalyticity===
| |
| A function ''f'' : (''U'' ⊂ ''X'') → ''Y'' is '''hypoanalytic''' if ''f'' ∈ ''H''<sub>G</sub>(''U'',''Y'') and in addition ''f'' is continuous on [[relatively compact]] subsets of ''U''.
| |
| | |
| ===Holomorphy===
| |
| A function ''f'' ∈ H<sub>G</sub>(U,''Y'')</sub> is '''holomorphic''' if, for every ''x'' ∈ ''U'', the Taylor series expansion
| |
| :<math>f(x+y)=\sum_{n=0}^\infty \frac{1}{n!} \widehat{D}^nf(x)(y)</math>
| |
| (which is already guaranteed to exist by Gâteaux holomorphy) converges and is continuous for ''y'' in a neighborhood of 0 ∈ ''X''. Thus holomorphy combines the notion of weak holomorphy with the convergence of the power series expansion. The collection of holomorphic functions is denoted by H(''U'',''Y'').
| |
| | |
| ===Locally bounded holomorphy===
| |
| A function ''f'' : (''U'' ⊂ ''X'') → ''Y'' is said to be [[locally bounded]] if each point of ''U'' has a neighborhood whose image under ''f'' is bounded in ''Y''. If, in addition, ''f'' is Gâteaux holomorphic on ''U'', then ''f'' is '''locally bounded holomorphic'''. In this case, we write ''f'' ∈ H<sub>LB</sub>(''U'',''Y'').
| |
| <!-- to be continued by User:Silly Rabit, I guess -->
| |
| | |
| ==References==
| |
| <references/>
| |
| * [[Richard V. Kadison]], John R. Ringrose, ''Fundamentals of the Theory of Operator Algebras'', Vol. 1: Elementary theory. American Mathematical Society, 1997. ISBN 0-8218-0819-2. (See Sect. 3.3.)
| |
| * Soo Bong Chae, ''Holomorphy and Calculus in Normed Spaces'', Marcel Dekker, 1985. ISBN 0-8247-7231-8.
| |
| * {{note|Harris}} Lawrence A. Harris, ''[http://www.ms.uky.edu/~larry/paper.dir/korea.ps Fixed Point Theorems for Infinite Dimensional Holomorphic Functions]'' (undated).
| |
| | |
| {{Functional Analysis}}
| |
| | |
| [[Category:Banach spaces]]
| |
Hi there. Allow me begin by introducing the author, her title is Sophia. Since I was eighteen I've been working as a bookkeeper but soon my spouse and I will start our own business. I've usually cherished living in Alaska. Playing badminton is a factor that he is totally addicted to.
Feel free to surf to my blog best psychic