Is the exponential series uniformly convergent?

[bdforbes]

Is the series

\sum_{n=0}^{\infty}\frac{z^n}{n!}

uniformly convergent for all z in the complex plane? It is uniformly convergent for all z in any bounded set, but the complex plane is unbounded. My instinct is that it is NOT uniformly convergent for all z in C.

This is not homework.

 

[Vid]

It is uniformly convergent on all of C by the M-test.

 

[bdforbes]

Do you mean the Weierstrass M-test? How would one apply the M-test to an unbounded set? I can only figure out how to apply it to successively bigger bounded sets, but I don't feel comfortable exchanging limiting operations to conclude that the series is uniformly convergent for all z in C.

It is my understanding that what is meant by "the sequence S_n(z) converges uniformly to S for all z in A" is "given any e>0, there exists N(e) such that |S_n(z)-S(z)|<e for all z in A and for all n>N(e)".
If we apply the M-test to successively larger bounded subsets of the complex plane, this function N(e) changes. No matter how large we make our bounded set, there will still be points outside the set which require a different N(e). How do we know there exists some N(e) that works for EVERY point in the plane?

 

[Ben Niehoff]

No, the function diverges as z approaches positive real infinity. Therefore it can't be uniformly convergent on C.

Note: In general, if a function diverges at either a or b, then any series representation can't be uniformly convergent on [a,b]. But it can be uniformly convergent on a subinterval of [a,b].

 

[bdforbes]

Interesting, thanks. How about this similar situation?

Let C_R be the contour z=R*e^(it), 0<t<pi/4. Let f(z)=e^(-z^2). I can't figure out if |z*f(z)| tends uniformly to zero as R->infinity. It works for 0<t<(pi/4)-e for any e>0, but it's inconclusive for the original interval. I vaguely remember some theorems from complex analysis about compact sets converging to compact sets and convergence or some such, but it's all a bit hazy. Is this a similar situation?
Actually now that I look at it, |zf(z)|=Re^(-R^2 cos2t), diverges as R->infinity if t=(pi/4), so does that mean, as you mentioned above, that |zf(z)| can't tend uniformly to zero on the whole interval?

 

[jostpuur]

No, the function diverges as z approaches positive real infinity. Therefore it can't be uniformly convergent on C.

Not very accurate way to justify the conclusion. For example the identity mapping z\mapsto z diverges too when z approaches positive infinity, but its Taylor series converge uniformly on \mathbb{C}.

The key thing is to notice

<br /> \underset{z\in\mathbb{C}}{\sup}\;\big| e^{z} - \sum_{n=0}^N \frac{1}{n!} z^n\big| = \infty,\quad \forall N\in\mathbb{N}.<br />

 

[bdforbes]

jostpuur, does your statement imply that in my second example, |zf(z)| DOES tend uniformly to zero? We could write:

\sup_{\theta \in (0,\pi/4)} |zf(z)|=R, \forall R\in \mathbb{R}

 

[jostpuur]

Actually now that I look at it, |zf(z)|=Re^(-R^2 cos2t), diverges as R->infinity if t=(pi/4), so does that mean, as you mentioned above, that |zf(z)| can't tend uniformly to zero on the whole interval?

This is correct.

Actually even

<br /> e^{-R^2 \cos(2\theta)},\quad 0\leq \theta\leq \frac{\pi}{4}<br />

does not converge uniformly towards zero, because

<br /> \theta=\frac{\pi}{4}\quad\implies\quad e^{-R^2\cos(2\theta)} = 1,\quad\quad \forall R&gt;0.<br />

(edit: It seems you already knew this, though...)

jostpuur, does your statement imply that in my second example, |zf(z)| DOES tend uniformly to zero? We could write:

\sup_{\theta \in (0,\pi/4)} |zf(z)|=R, \forall R\in \mathbb{R}

No, I did not attempt to state anything like that. This equation also shows that limit R\to\infty does not produce uniform converge. Was it your point? (edit: I had difficulty understanding this equation first, so I went through a series of editings)

Am I correct to guess, that your original problem deals with figuring out does

<br /> \int\limits_{\gamma} dz\; e^{-z^2}<br />

exist when \gamma=\{Re^{i\theta}\;|\; 0\leq \theta \leq \frac{\pi}{4}\} (counter clockwise), and does it approaches zero when R\to \infty?

 

[bdforbes]

Thanks, you've clarified a lot of my confusion.

You are correct, that is the problem. I believe it doesn't approach zero. A colleague of mine claims that it does, by considering the contour \gamma=\lbrace Re^{i\theta}|0\le \theta \le (\frac{\pi}{4}-\epsilon)\rbrace and letting \epsilon\to 0. What is your opinion on this?

 

[jostpuur]

The sequence of functions f_n:[0,1]\to\mathbb{R}, f_n = n\chi_{[0,\frac{1}{n}]}, is a standard example of functions which converge uniformly towards zero on [\epsilon,1] for all \epsilon &gt; 0, but still

<br /> \lim_{n\to\infty} \int\limits_0^1 dx\; f_n(x) = \lim_{n\to\infty} 1 = 1 \neq 0.<br />

So if your colleague says that the integral vanishes on [0,\frac{\pi}{4}] because it vanishes on [0,\frac{\pi}{4} - \epsilon] (while the integrand happens to approach infinity at \frac{\pi}{4}!), he or she surely on wrong there

However! It could be he or she is still right on the final claim. Because it can be that the integral actually does vanish. I'm not fully sure about that right now. If the integral does vanish, it is probably not very difficult to find some collection of functions g_R:[0,\frac{\pi}{4}]\to [0,\infty[, so that

<br /> \int\limits_0^{\pi /4} d\theta\; g_R(\theta)<br />

can actually be calculated, so that

<br /> R e^{-R^2\cos(2\theta)} \leq g_R(\theta)<br />

and so that

<br /> \lim_{R\to\infty} \int\limits_0^{\pi /4} d\theta\; g_R(\theta) = 0.<br />

If nobody else finds those kind of dominating functions soon, it could be I'm trying to find them sooner or later. No promises, though.

 

[jostpuur]

Starting with inequality

<br /> 1 - \frac{4}{\pi}\theta \leq \cos(2\theta),\quad\quad 0\leq \theta\leq \frac{\pi}{4}<br />

we should get this:

<br /> \int\limits_0^{\pi/4} d\theta\; R e^{-R^2\cos(2\theta)} \leq \frac{\pi}{4R}\big(1 - e^{-R^2}\big)\;\underset{R\to\infty}{\to}\; 0<br />

Doesn't this settle the question?

 

[bdforbes]

Yes, that works perfectly, thanks. Regarding the inequality for cos(2theta), I see that you have bounded the function below by the straight line segment that connects the two end points. Is that how you came up with the inequality? Should I always try using such a straight line segment if I encounter trig functions in this context?

The colleague I mentioned is my maths professor, so I'm not sure I can dismiss his argument straight away. I believe his argument goes like this:

- Show that |zf(z)| goes uniformly to zero for 0\le\theta\le(\frac{\pi}{4}-\epsilon)
- Apply a limiting contour theorem to show that the integral over 0\le\theta\le(\frac{\pi}{4}-\epsilon) goes to zero
- Interchange the limits \lim_{R\to\infty} and \lim_{\epsilon\to 0}
- Conclude that the integral over 0\le\theta\le\frac{\pi}{4} vanishes.

The problem lies in justifying the interchange of limits. He tends to be evasive when I ask him to justify interchanging limits. Do you think it is justified here?

Personally I prefer your method, it is far more straightforward.

 

[jostpuur]

Yes, that works perfectly, thanks. Regarding the inequality for cos(2theta), I see that you have bounded the function below by the straight line segment that connects the two end points. Is that how you came up with the inequality?

Yep, "from the picture". One could prove it more rigorously too, with not much effort, by comparing the derivatives.

Should I always try using such a straight line segment if I encounter trig functions in this context?

When it works. The suitable dominating functions naturally look different with different problems. I have used a same kind of "line" at least once earlier, when dealing with one complex contour integral.

The colleague I mentioned is my maths professor, so I'm not sure I can dismiss his argument straight away.

hmhm.. better be careful then. I'm safely far away from any conflicts myself of course

I believe his argument goes like this:

- Show that |zf(z)| goes uniformly to zero for 0\le\theta\le(\frac{\pi}{4}-\epsilon)
- Apply a limiting contour theorem to show that the integral over 0\le\theta\le(\frac{\pi}{4}-\epsilon) goes to zero
- Interchange the limits \lim_{R\to\infty} and \lim_{\epsilon\to 0}
- Conclude that the integral over 0\le\theta\le\frac{\pi}{4} vanishes.

The problem lies in justifying the interchange of limits.

Yeah, it can be pretty big problem sometimes. Look at the example I showed earlier. These functions:

<br /> f_n:[0,1]\to\mathbb{R},\quad\quad f_n(x)=\left\{\begin{array}{ll}<br /> n,\quad &amp;0\leq x\leq \frac{1}{n}\\<br /> 0,\quad &amp;\frac{1}{n} &lt; x \leq 1\\<br /> \end{array}\right.<br />

Now following equations are true:

<br /> \int\limits_{\epsilon}^1 dx\; f_n(x) = \left\{\begin{array}{ll}<br /> 1 - \epsilon n,\quad &amp; \epsilon \leq \frac{1}{n}\\<br /> 0,\quad &amp; \frac{1}{n} &lt; \epsilon\\<br /> \end{array}\right.<br />

<br /> \lim_{\epsilon\to 0} \int\limits_{\epsilon}^1 dx\; f_n(x) = 1<br />

<br /> \lim_{n\to\infty} \int\limits_{\epsilon}^1 dx\; f_n(x) = 0,\quad\quad \epsilon &gt; 0<br />

So:

<br /> \lim_{n\to\infty} \lim_{\epsilon\to 0} \int\limits_{\epsilon}^1 dx\; f_n(x) = 1 \neq 0<br /> = \lim_{\epsilon\to 0} \lim_{n\to\infty} \int\limits_{\epsilon}^1 dx\; f_n(x)<br />

He tends to be evasive when I ask him to justify interchanging limits.

Sounds like a dilemma.

Do you think it is justified here?

Once it is proven somehow, but not before. Like my example shows, changing the order of limits can change the value of the integral at the same time. The commutation of the two limits doesn't look like handy "proving trick", because you need to first prove something else to prove that the limits can be commutated.

 

[bdforbes]

Thank you for your detailed responses. Perhaps my professor was just being hasty in making that argument. Obviously he knows the integral does go to zero, maybe he applied the commutation of limits because in his mind it is justified by another proof, such as the one you showed. He has made slip-ups like this before. In any case, I will meet with him tomorrow to discuss it, and I will tell you what he said.

Is absolute continuity involved with this commutation of limits? I know it is involved with a situation like the following:

\frac{\partial}{\partial t}\int f(x,t)dx=\int \frac{\partial}{\partial t}f(x,t)dx.

This commutation of limits is justified when f(x,t) is absolutely continuous, as is my understanding. If we knew e^{-z^2} were absolutely continuous, would that justify the interchange of limits?

 

[bdforbes]

My professor confirmed, his method of interchanging the limits is valid if the integrand is absolutely continuous in epsilon. It is difficult to prove, but in this case it is true. He much preferred your method jostpuur.

EDIT:

After taking R to infinity, he has this equation:

\int_0^{\infty}e^{ir^2 e^{2i\epsilon}}dr=\int_0^{\infty}e^{-r^2}dr

where the arc integral has gone to zero. The integrand on the left hand side is absolutely continuous, so we have

\lim_{\epsilon\to 0}\int_0^{\infty}e^{ir^2 e^{2i\epsilon}}dr=\int_0^{\infty}\lim_{\epsilon\to 0}e^{ir^2 e^{2i\epsilon}}dr

 

[jostpuur]

ok. Great to hear this.