Consider the series $f(x)=\sum_{n=1}^{\infty}e^{-nx^{2}}\sin(nx)$:

a) Prove that this series converges uniformly on $[a,\infty)$, for each $a>0$

b) Does the series converge uniformly on $[0,\infty)?$

We can show uniform convergence on the interval $[a,\infty)$ with Weierstrass M-Test for part (a). For part (b), I suspect that there's a discontinuity at $x=0$ but I don't know how to justify it mathematically.

  • $\begingroup$ discontinuity at $0$ ? $\endgroup$ – Ahmad Bazzi Sep 15 '18 at 22:38
  • $\begingroup$ Your part (a) approach is correct. $\endgroup$ – RRL Sep 15 '18 at 23:21

For the series to converge uniformly on $[0,∞)$, given any $\epsilon > 0$ we must be able to find $N$ such that

$$\tag{*}\left|\sum_{k=n+1}^{m}e^{-kx^2}\sin kx\right| < \epsilon$$

for all $m >n > N$ and all $x \in [0,\infty)$ -- the uniform Cauchy criterion.

However if we take $m = 2n$ and $x_n = \pi/(4n)$, then for $n <k < 2n$ we have $\sin kx_n > 1/\sqrt{2}$ and

$$\left|\sum_{k=n+1}^{2n}e^{-kx_n^2}\sin kx_n\right| > n\frac{1}{\sqrt{2}}e^{-2nx_n^2 } = \frac{ne^{-\pi^2/(8n)}}{\sqrt{2}} $$

where the RHS does not converge to $0$ as $n \to \infty$.

Hence, convergence is not uniform on $[0,\infty)$. Notice that $x_n = \pi/(4n) \to 0$ as $n \to \infty$ and non-uniform convergence arises for this series if $x$ can be arbitrarily close to $0$.

  • $\begingroup$ So $x_{n}$ depends on $n$? Then the summation is $f(x)=f_{1}(x)+f_{2}(x)+\dots$, and we're varying the values of $x$ per term, and have the partial summation $f(??)=f_{n+1}(x_{n+1})+f_{n+2}(x_{n+2})+\dots$? It feels like we're putting multiple values for $x$ in at a time... $\endgroup$ – looseleif Sep 16 '18 at 0:37
  • $\begingroup$ That's not the point of this. If $S_n(x) \to S(x)$ uniformly for $x \in [0,\infty)$ then we must have some $N$ for every $\epsilon$ such that $|S_m(x) - S_n(x)| < \epsilon $ for ALL $m > n > N$ and ALL $x \in [0,\infty)$. This fails if there is an $\epsilon_0> 0$ and for every $N$ we can find even one $x_N$ and one choice $m > n > N$ such that $|S_m(x_N) - S_n(x_N)| > \epsilon_0$. $\endgroup$ – RRL Sep 16 '18 at 0:43
  • $\begingroup$ Take any $N$. Let $n = N$, $m = 2n$, and $X_N = \pi/(4N)$ and you will see that the Cauchy condition for uniform convergence is violated. $\endgroup$ – RRL Sep 16 '18 at 0:46

Useful fact: If $\sum f_n$ converges uniformly on a set $E,$ then $\sup_E |f_n| \to 0$ as $n\to \infty.$ In our case we have

$$\sup_{[0,\infty)}|f_n| \ge f_n(1/n) = e^{-1/n}\sin (1) \to \sin (1)>0.$$

Therefore the given series does not converge uniformly on $[0,\infty).$


We could proceed by argument about continuity. We could try to compute the sum as follows: for $x >0$ we have $|\mathrm e^{-x^2\pm \mathrm ix}| = \mathrm e^{-x^2} <1$, thus \begin{align*} S(x) &=\frac 1{2\mathrm i}\sum_1^\infty \mathrm e^{-nx^2}(\mathrm e^{\mathrm inx} - \mathrm e^{-\mathrm inx})\\ &=\frac 1{2\mathrm i}\sum_0^\infty \mathrm e^{-nx^2}(\mathrm e^{\mathrm inx} - \mathrm e^{-\mathrm inx})\\ &=\frac 1{2\mathrm i}\sum_0^\infty \mathrm e^{n(\mathrm ix-x^2) }- \mathrm e^{n (-\mathrm ix - x^2)}\\ &= \frac 1 {2\mathrm i}\left(\frac {1} {1 - \exp(\mathrm ix -x^2)}-\frac 1 {1-\exp(-\mathrm ix-x^2)}\right)\\ &= \frac 1{2\mathrm i}\cdot \frac {\mathrm e^{-x^2} (\mathrm e^{\mathrm ix} - \mathrm e^{-\mathrm ix})}{(1-\exp(\mathrm ix -x^2) )(1 -\exp(-\mathrm ix -x^2))}\\ &= \mathrm e^{-x^2}\sin(x)\cdot \frac 1{1 + \mathrm e^{-2x^2}-2\mathrm {Re}(\mathrm e^{\mathrm ix -x^2})}\\ &=\frac {\mathrm e^{-x^2}\sin(x)} {1+\mathrm e^{-2x^2}- 2\mathrm e^{-x^2}\cos(x)}\\ &= \frac {\sin(x)} {\mathrm e^{x^2} + \mathrm e^{-x^2} - 2\cos(x)}. \end{align*} Since \begin{align*} &\phantom{=}\mathrm e^{-x^2} + \mathrm e^{x^2}- 2\cos(x) \\ &= 1 + (-x^2) + \frac {x^4}2 + 1 + x^2 + \frac {x^4}2 - 2\left(1 - \frac {x^2}2 +\frac {x^4}{24}\right) + o(x^4) \\ &= x^2 + O(x^4)\quad [x \to 0^+], \end{align*} we conclude that $$ S(0^+) = \lim_{x \to 0^+}\frac {\sin(x)}{x^2 +O(x^4)} = +\infty, $$ while $$ S(0) = 0, $$ thus $S$ is not continuous on $[0,+\infty)$.

Now assume the series converge uniformly on $[0,+\infty)$, then $S \in \mathcal C[0,+\infty)$, but this does not hold from above. Therefore the series does not converge uniformly on $[0,+\infty)$.


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.