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)
“Manners have been somewhat cynically defined to be a contrivance of wise men to keep fools at a distance. Fashion is shrewd to detect those who do not belong to her train, and seldom wastes her attentions.”
—Ralph Waldo Emerson (1803–1882)
“I have met charming people, lots who would be charming if they hadn’t got a complex about the British and everyone has pleasant and cheerful manners and I like most of the American voices. On the other hand I don’t believe they have any God and their hats are frightful. On balance I prefer the Arabs.”
—Freya Stark (1893–1993)
“Even though I had let them choose their own socks since babyhood, I was only beginning to learn to trust their adult judgment.. . . I had a sensation very much like the moment in an airplane when you realize that even if you stop holding the plane up by gripping the arms of your seat until your knuckles show white, the plane will stay up by itself. . . . To detach myself from my children . . . I had to achieve a condition which might be called loving objectivity.”
—Anonymous Parent of Adult Children. Ourselves and Our Children, by Boston Women’s Health Book Collective, ch. 5 (1978)