Complex

Download as pdf or txt
Download as pdf or txt
You are on page 1of 4

Banach Space Valued Functions

MA 466
Kurt Bryan

Analytic Functions; Series

Let f be a function from C l to a Banach Space B. We assume that B is a


Banach space over C l , so that each element of B can be sensibly multiplied by
any complex number. In this handout we’ll be interested in extending some
familiar results (especially results from complex analysis) to these types of
functions.
Recall that a function f from C l to C
l is said to be analytic at z0 if f has
a power series expansion which converges to f in some neighborhood of z0 ,
so
∑∞
f (z) = aj (z − z0 )j . (1)
j=0

Here the aj are complex numbers (though if f is a real-valued function of


a real variable the aj are of course real numbers, and f is said to be “real-
analytic”). It turns out that a f defined by a series like (1) must be infinitely
differentiable and in fact aj = f (j) (z0 )/j!. (You may recall there are other
definitions of analyticity, all equivalent to this).
We will say that a function f : Cl → B is analytic at z0 if f has a power
series expansion which converges to f in some neighborhood of z0 , so


f (z) = aj (z − z0 )j (2)
j=0

where here the aj are elements of B. Note that the expression on the right
in equation (2) has some chance of making sense: since (z − z0 )j is a complex
number we can form the products aj (z − z0 )j as elements of B and then add
them. Plugging in z = z0 shows that a0 = f (z0 ).
Recall that by the root test the series in equation (1) converges if |z−z0 | <
R where
R = lim sup |aj |1/n (3)
n→∞

since the series can then be dominated by a geometric series. EXACTLY the
same reasoning shows that the series in (2) converges for |z − z0 | < R, where
R is as in equation (3) but with |aj | replaced by ∥aj ∥, the Banach space

1
norm. Like the more elementary case, the essence of the proof is that since
the series (3) is dominated by a geometrically convergent series, the partial
sums form a Cauchy sequence in B. Since B is complete, the series converges.

Integration

What does it mean to integrate a function which takes values in a Banach


space? First, suppose that f : lR → B; it doesn’t matter if f is analytic here.
To integrate f over a bounded interval (a, b) ⊂ lR take a partition P of the
interval, say P = {a, x1 , x2 , · · · , xn−1 , b} and form a Riemann sum

n−1
S(P, f ) = f (x∗j )(xj+1 − xj ) (4)
j=0

where x∗j∈ [xj , xj+1 ]. Note that the right side of equation (4) is an element
of B. Limit the mesh of the partition to zero. If the Riemann sum converges
(in B) in the appropriate sense (just like in real analysis) we’ll say that f is
integrable over [a, b] and set
∫ b
f (x) dx = lim S(P, f ).
a ∥P ∥→0

The integral will converge if, for example, f is continuous. Of course the
integral is just an element of B.
Lebesgue integration can also be used, but we won’t need it here.
Now suppose f is a function from C l to B (again, it doesn’t matter yet
if f is analytic). We can also integrate over contours (i.e., curves) in C
l , just
as one does in complex analysis. In fact, the way one actually computes a
contour integral of f over a curve C is to parameterize C as z = z(t) for
a ≤ t ≤ b, then compute
∫ ∫ b
f (z) dz = f (z(t))z ′ (t) dt (5)
C a
as an integral over the real interval (a, b) (though the integral contains a real
and imaginary part; integrate them separately). Precisely the same formula
works to evaluate a Banach space valued function over a contour in C l.
Recall Cauchy’s integral formula, which says that if f : D → C l is analytic
on an open region D and z0 ∈ D then

1 f (z)
f (z0 ) = dz
2πi C z − z0

2
for any simple closed contour C ⊂ D containing z0 . If z0 is not inside C the
integral is zero.
Consider a function f : D → B which is analytic in some region D ⊂ C l
with z0 ∈ D, i.e., f has a power series of the form (2) which converges to f
near z0 . We have
∫ ∫ ∑ ∞
f (z) aj (z − z0 )j
dz = dz
C z − z0 C j=0 z − z0
∑∞ ∫
(z − z0 )j
= aj dz
j=0 C z − z 0
∫ ∑∞ ∫
dz
= a0 dz + aj (z − z0 )j−1 dz
C z − z 0 j=1 C

dz
= a0 dz
C z − z0
= 2πia0 . (6)
In the above I made a few manipulations that you can easily justify are
valid—integrating the convergent power series term by term (just like in real
or complex analysis) and pulling “constants” like aj outside the integrals.
Also, the contour integrals of (z − z0 )k vanish if k ≥ 0, since the integrand is
analytic.
Of course since a0 = f (z0 ) equation (6) yields

1 f (z)
f (z0 ) = dz, (7)
2πi C z − z0
the Cauchy integral formula. It holds even for analytic functions which take
values in a Banach space!

Liouville’s Theorem

Liouville’s Theorem from complex analysis says that an entire function


(analytic on the whole complex plane) which is bounded must be constant.
You prove it by differentiating both sides of equation (7) with respect to z0
(permissible!) to find

′ 1 f (z)
f (z0 ) = dz. (8)
2πi C (z − z0 )2

3
Take the contour to be a ball of radius r about z0 and let r → ∞. Since f is
bounded it’s easy to see that the right side of equation (8) goes to zero, i.e.,
f ′ (z0 ) = 0 for all z0 , so f is constant.
Precisely the same proof works if f takes values in a Banach space!

Laurent Series

l →C
Let f : C l be a function which is analytic OUTSIDE a ball Br (0) ⊂
Cl . For simplicity suppose that f (z) → 0 as z → ∞. Then f has a Laurent
expansion of the form
a1 a2
f (z) = + 2 + ··· (9)
z z
for all |z| > r. The reason is this: Let g(z) = f (1/z), so g is analytic in a
disk BR (0); since f tends to zero as z approaches infinity, g has a removable
singularity at z = 0 (set g(0) = 0). Thus g really is analytic in the ball
BR (0), and so has a convergent series expansion

g(z) = a1 z + a2 z 2 + · · · (10)

for |z| < R. Since f (z) = g(1/z), we immediately obtain equation (9) for
|z| > r = 1/R. That the expansion is unique follows from the fact that the
expansion for g is unique.
Exactly the same reasoning works if f takes values in a Banach space. If
a function f is analytic outside some disk R then f has a unique Laurent
expansion of the from (9), where the aj are of course elements of the Banach
space.

You might also like