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:
“One of the most highly valued functions of used parents these days is to be the villains of their children’s lives, the people the child blames for any shortcomings or disappointments. But if your identity comes from your parents’ failings, then you remain forever a member of the child generation, stuck and unable to move on to an adulthood in which you identify yourself in terms of what you do, not what has been done to you.”
—Frank Pittman (20th century)
“When one of us dies of cancer, loses her mind, or commits suicide, we must not blame her for her inability to survive an ongoing political mechanism bent on the destruction of that human being. Sanity remains defined simply by the ability to cope with insane conditions.”
—Ana Castillo (b. 1953)
“In ordinary speech the words perception and sensation tend to be used interchangeably, but the psychologist distinguishes. Sensations are the items of consciousness—a color, a weight, a texture—that we tend to think of as simple and single. Perceptions are complex affairs that embrace sensation together with other, associated or revived contents of the mind, including emotions.”
—Jacques Barzun (b. 1907)
“with the plane nowhere and her body taking by the throat
The undying cry of the void falling living beginning to be something
That no one has ever been and lived through screaming without enough air”
—James Dickey (b. 1923)