| Line 24: | Line 24: | ||
-A function is said to be analytic on an open set <span class="texhtml">Ω</span> if it is <math>\mathbb{C}</math>-differentiable at every point in <span class="texhtml">Ω</span>. Since the definition of analytic involves an open set, to complete Exercise 1 we need to have an open set somewhere. Since <span class="texhtml">tr γ</span> is the continuous image of a compact set, it is compact. Since <math>\mathbb{C}</math> is a Hausdorff space, <span class="texhtml">tr γ</span> is closed. Alternately one can note that <math>\mathbb{C}</math> is homeomorphic to <math>\mathbb{R}^{2}</math> where we know that a compact set is closed and bounded. Since the complement of a closed set is open, <math>\mathbb{C}-\text{tr }\gamma</math> is open. The long and short of this is: since<math>\mathbb{C}-\text{tr }\gamma</math> is an open set, one just has to show that <math>\varphi</math> is <math>\mathbb{C}</math>-differentiable at every point in this set in order to complete the exercise. | -A function is said to be analytic on an open set <span class="texhtml">Ω</span> if it is <math>\mathbb{C}</math>-differentiable at every point in <span class="texhtml">Ω</span>. Since the definition of analytic involves an open set, to complete Exercise 1 we need to have an open set somewhere. Since <span class="texhtml">tr γ</span> is the continuous image of a compact set, it is compact. Since <math>\mathbb{C}</math> is a Hausdorff space, <span class="texhtml">tr γ</span> is closed. Alternately one can note that <math>\mathbb{C}</math> is homeomorphic to <math>\mathbb{R}^{2}</math> where we know that a compact set is closed and bounded. Since the complement of a closed set is open, <math>\mathbb{C}-\text{tr }\gamma</math> is open. The long and short of this is: since<math>\mathbb{C}-\text{tr }\gamma</math> is an open set, one just has to show that <math>\varphi</math> is <math>\mathbb{C}</math>-differentiable at every point in this set in order to complete the exercise. | ||
| + | |||
| + | ---- | ||
| + | |||
| + | '''Exercise 2''' | ||
| + | |||
| + | If | ||
| + | |||
| + | <math>U=\sum_{n=0}^{\infty}u_{n}\text{ and }V=\sum_{n=0}^{\infty}v_{n}</math> | ||
| + | |||
| + | are given by the sum of absolutely convergent series, show that | ||
| + | |||
| + | <math>UV=\sum_{n=0}^{\infty}p_{n}\text{ where } p_{n}=\sum_{k=0}^{n}u_{k}v_{n-k}</math> | ||
| + | |||
| + | and that this sum converges absolutely. | ||
| + | |||
| + | <br> '''Discussion''' | ||
| + | |||
| + | -We can define power series | ||
| + | |||
| + | <math>\sum_{n=0}^{\infty}u_{n}z^{n},\text{ }\sum_{n=0}^{\infty}v_{n}z^{n},\text{ and }\sum_{n=0}^{\infty}p_{n}z^{n}</math>. | ||
| + | |||
| + | That we have absolute convergence of the first and second series with <math>z=1</math> tells us that their radius of convergence is <math>\geq 1</math>. We could then try to use Hadamard's formula to find the radius of convergence of the third series, using information about these first two series. If we can show that this radius of convergence is <math> >1 </math>, this will imply that we have the absolute convergence when <math>z=1</math>. One issue that might arise is that we really need the radius of convergence of this third series to be ''strictly'' bigger than <math>1</math> since we can't say much about convergence for <math>z</math> with modulus equal to the radius of convergence. It seems we may be hard pressed to obtain this strict inequality since we do not have a strict inequality for the first two series. Is Hadamard's formula the way to go? Or should we drop these power series altogether and just deal with series of complex numbers? | ||
---- | ---- | ||
Revision as of 18:20, 29 January 2014
Homework 2 collaboration area
Here it is again:
$ f(a)=\frac{1}{2\pi i}\int_\gamma \frac{f(z)}{z-a}\ dz. $
This is the place.
Exercise 1
Suppose that $ \varphi(z) $ is a continuous function on the trace of a path γ. Prove that the function
$ f(z)=\int_{\gamma}\frac{\varphi(\zeta)}{\zeta-z}d\zeta $
is analytic on $ \mathbb{C}-\text{tr }\gamma $.
Discussion
-A function is said to be analytic on an open set Ω if it is $ \mathbb{C} $-differentiable at every point in Ω. Since the definition of analytic involves an open set, to complete Exercise 1 we need to have an open set somewhere. Since tr γ is the continuous image of a compact set, it is compact. Since $ \mathbb{C} $ is a Hausdorff space, tr γ is closed. Alternately one can note that $ \mathbb{C} $ is homeomorphic to $ \mathbb{R}^{2} $ where we know that a compact set is closed and bounded. Since the complement of a closed set is open, $ \mathbb{C}-\text{tr }\gamma $ is open. The long and short of this is: since$ \mathbb{C}-\text{tr }\gamma $ is an open set, one just has to show that $ \varphi $ is $ \mathbb{C} $-differentiable at every point in this set in order to complete the exercise.
Exercise 2
If
$ U=\sum_{n=0}^{\infty}u_{n}\text{ and }V=\sum_{n=0}^{\infty}v_{n} $
are given by the sum of absolutely convergent series, show that
$ UV=\sum_{n=0}^{\infty}p_{n}\text{ where } p_{n}=\sum_{k=0}^{n}u_{k}v_{n-k} $
and that this sum converges absolutely.
Discussion
-We can define power series
$ \sum_{n=0}^{\infty}u_{n}z^{n},\text{ }\sum_{n=0}^{\infty}v_{n}z^{n},\text{ and }\sum_{n=0}^{\infty}p_{n}z^{n} $.
That we have absolute convergence of the first and second series with $ z=1 $ tells us that their radius of convergence is $ \geq 1 $. We could then try to use Hadamard's formula to find the radius of convergence of the third series, using information about these first two series. If we can show that this radius of convergence is $ >1 $, this will imply that we have the absolute convergence when $ z=1 $. One issue that might arise is that we really need the radius of convergence of this third series to be strictly bigger than $ 1 $ since we can't say much about convergence for $ z $ with modulus equal to the radius of convergence. It seems we may be hard pressed to obtain this strict inequality since we do not have a strict inequality for the first two series. Is Hadamard's formula the way to go? Or should we drop these power series altogether and just deal with series of complex numbers?
