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 operators.
A function f:U→X defined on an open subset U of the complex plane with values in a complex Banach space X is called holomorphic if it is complex-differentiable; that is, for each point z in U the limit
exists.
One may define the line integral of a vector-valued holomorphic function f:U→X along a rectifiable curve γ → U in the same way as for complex-valued holomorphic functions, as the limit of sums of the form
where a = t0 < t1 < ... < tn = b is a subdivision of the interval, 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
Moreover, the composition Tof: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
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.
A useful criterion for a function f : U → X to be holomorphic is that T o f : U → C is a holomorphic complex-valued function for every continuous linear functional T : X → C. Such an f is 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.
Read more about this topic: Infinite-dimensional Holomorphy
Famous quotes containing the words functions, defined, complex and/or plane:
“Nobody is so constituted as to be able to live everywhere and anywhere; and he who has great duties to perform, which lay claim to all his strength, has, in this respect, a very limited choice. The influence of climate upon the bodily functions ... extends so far, that a blunder in the choice of locality and climate is able not only to alienate a man from his actual duty, but also to withhold it from him altogether, so that he never even comes face to face with it.”
—Friedrich Nietzsche (1844–1900)
“An act of God was defined as “something which no reasonable man could have expected.””
—A.P. (Sir Alan Patrick)
“Instead of seeing society as a collection of clearly defined “interest groups,” society must be reconceptualized as a complex network of groups of interacting individuals whose membership and communication patterns are seldom confined to one such group alone.”
—Diana Crane (b. 1933)
“In time the scouring of wind and rain will wear down the ranges and plane off the region until it has the drab monotony of the older deserts. In the meantime—a two-million-year meantime—travelers may enjoy the cruel beauties of a desert in its youth,....”
—For the State of California, U.S. public relief program (1935-1943)