Pointwise convergence and uniform convergence

Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
3 replies · 4K views
complexnumber
Messages
61
Reaction score
0

Homework Statement



Define the sequence [tex]\displaystyle f_n : [0,\infty) \to<br /> \left[0,\frac{\pi}{2}\right)[/tex] by [tex]f_n(x) := \tan^{-1}(nx), x \geq<br /> 0[/tex].

Homework Equations



Prove that [tex]f_n[/tex] converges pointwise, but not uniformly on
[tex][0,\infty)[/tex].

Prove that [tex]f_n[/tex] converges uniformly on [tex][t, \infty)[/tex] for [tex]t ><br /> 0[/tex].

The Attempt at a Solution



[tex]\displaystyle \lim_{n \to \infty} f_n(x) = \lim_{n \to \infty}<br /> \tan^{-1} (nx) = 0[/tex] for [tex]x = 0[/tex].

[tex]\displaystyle \lim_{n \to \infty} f_n(x) = \lim_{n \to \infty}<br /> \tan^{-1} (nx) = \frac{\pi}{2}[/tex] for [tex]x \in (0, \infty)[/tex].

Let [tex]\displaystyle f : [0, \infty) \to \left[0, \frac{\pi}{2}<br /> \right)[/tex] be defined by
[tex] \begin{align*}<br /> f(x) = \left\{<br /> \begin{array}{ll}<br /> 0 & \text{ if } x = 0 \\<br /> \dfrac{\pi}{2} & \text{ if } x > 0<br /> \end{array}<br /> \right.<br /> \end{align*}[/tex]

Therefore [tex]f_n[/tex] converges pointwise to [tex]f[/tex].

Is function [tex]f[/tex] correct? How can I prove the rest?
 
Physics news on Phys.org
complexnumber said:

Homework Statement



Define the sequence [tex]\displaystyle f_n : [0,\infty) \to<br /> \left[0,\frac{\pi}{2}\right)[/tex] by [tex]f_n(x) := \tan^{-1}(nx), x \geq<br /> 0[/tex].

Homework Equations



Prove that [tex]f_n[/tex] converges pointwise, but not uniformly on
[tex][0,\infty)[/tex].

Prove that [tex]f_n[/tex] converges uniformly on [tex][t, \infty)[/tex] for [tex]t ><br /> 0[/tex].

The Attempt at a Solution



[tex]\displaystyle \lim_{n \to \infty} f_n(x) = \lim_{n \to \infty}<br /> \tan^{-1} (nx) = 0[/tex] for [tex]x = 0[/tex].

[tex]\displaystyle \lim_{n \to \infty} f_n(x) = \lim_{n \to \infty}<br /> \tan^{-1} (nx) = \frac{\pi}{2}[/tex] for [tex]x \in (0, \infty)[/tex].

Let [tex]\displaystyle f : [0, \infty) \to \left[0, \frac{\pi}{2}<br /> \right)[/tex] be defined by
[tex] \begin{align*}<br /> f(x) = \left\{<br /> \begin{array}{ll}<br /> 0 & \text{ if } x = 0 \\<br /> \dfrac{\pi}{2} & \text{ if } x > 0<br /> \end{array}<br /> \right.<br /> \end{align*}[/tex]

Therefore [tex]f_n[/tex] converges pointwise to [tex]f[/tex].

Is function [tex]f[/tex] correct? How can I prove the rest?
Yes, that is correct. Now, just observe that each function [itex]tan^{-1}(nx)[/itex] is continuous for all x while f(x) is not continuous at x= 0. If convergence were uniform, the limit function would also be continuous.
 
Thanks. I found a theorem that says if [tex]f_n[/tex] converges uniformly to [tex]f[/tex] then [tex]f[/tex] must be continuous. Is it enough to say that since [tex]f[/tex] is
discontinuous at [tex]0[/tex], [tex]f_n[/tex] cannot converge uniformly to [tex]f[/tex] on [tex][0,<br /> \infty)[/tex]?

Is the following correct for the second question?

For any [tex]\varepsilon > 0[/tex] there must be an [tex]N \in \mathbb{N}[/tex] such
that for all [tex]n > N[/tex] and for all [tex]x \in [t, \infty)[/tex]
[tex] \begin{align*}<br /> \abs{\tan^{-1}(nx) - \frac{\pi}{2}} <& \varepsilon \\<br /> \frac{\pi}{2} - \tan^{-1}(nx) < & \varepsilon \\<br /> \frac{\pi}{2} - \varepsilon < & \tan^{-1}(nx) \\<br /> \tan \left(\frac{\pi}{2} - \varepsilon \right) < & nx \\<br /> \frac{\tan (\frac{\pi}{2} - \varepsilon)}{x} < & n<br /> \end{align*}[/tex]

Therefore choose [tex]\displaystyle N = \frac{\tan (\frac{\pi}{2} -<br /> \varepsilon)}{t}[/tex]. Then for any [tex]x \in [t, \infty)[/tex],
[tex] \begin{align*}<br /> \abs{f_n(x) - f(x)} = \abs{\tan^{-1}(nx) - \frac{\pi}{2}} \leq<br /> \varepsilon<br /> \end{align*}[/tex]
whenever [tex]n > N[/tex]. Hence [tex]f_n[/tex] converges uniformly to [tex]f[/tex] in [tex][t,<br /> \infty)[/tex].
 
complexnumber said:
Thanks. I found a theorem that says if [tex]f_n[/tex] converges uniformly to [tex]f[/tex] then [tex]f[/tex] must be continuous. Is it enough to say that since [tex]f[/tex] is
discontinuous at [tex]0[/tex], [tex]f_n[/tex] cannot converge uniformly to [tex]f[/tex] on [tex][0,<br /> \infty)[/tex]?

Yes, this is sometimes called the Uniform Limit Theorem and is fine to use (The above poster mentioned it).