Does the Sequence Converge Uniformly Across Different Intervals?

Click For Summary

Homework Help Overview

The discussion revolves around the uniform convergence of the sequence of functions defined by f_{n} = \frac{2nx}{1+n^{2}x^{2}} across different intervals, specifically [0, 1] and (1, ∞). Participants explore pointwise convergence and the implications for uniform convergence on these intervals.

Discussion Character

  • Exploratory, Assumption checking, Conceptual clarification

Approaches and Questions Raised

  • Participants discuss the pointwise convergence of the sequence to zero and examine the supremum of the functions on the specified intervals. Questions arise regarding the conditions under which uniform convergence can be established, particularly in relation to the behavior of the functions as n increases.

Discussion Status

Some participants have provided insights into the conditions for uniform convergence on intervals such as [\delta, ∞) while noting that it does not hold on (0, ∞). There is an ongoing exploration of how to identify intervals where uniform convergence might still occur after establishing non-uniform convergence on others.

Contextual Notes

Participants are considering the implications of the function's behavior at specific points, particularly at x = 0 and x = 1/n, which influence the supremum calculations and the overall convergence properties. There is a recognition of the need for careful analysis of the intervals in question.

twoflower
Messages
363
Reaction score
0
Hi,

next one I've little problems with:

[tex] f_{n} = \frac{2nx}{1+n^{2}x^{2}}[/tex]

[tex] \mbox{a) } x \in [0, 1][/tex]

[tex] \mbox{b) } x \in (1, \infty)[/tex]

First the pointwise convergence:

[tex] \lim_{n \rightarrow \infty} \frac{2nx}{1+n^{2}x^{2}} = 0[/tex]

I computed the derivative of my function to know where to get supremum and I got that maximum is in [itex]x=\frac{1}{n}[/itex].

I used it to get supremum on the first interval and I got

[tex] \sup \left\{\left|\frac{2nx}{1+n^{2}x^{2}}\right|, x \in [0,1]\right\} = 1 \Rightarrow f_{n} \mbox{ doesn't converge uniformly on } [0,1][/tex]

On the second interval [itex](1, \infty)[/itex] I cannot use the point [itex]x = \frac{1}{n}[/itex] and since the function is decreasing on this interval I will take the leftmost point to compute the supremum. It will be

[tex] \sup \left\{\left|\frac{2nx}{1+n^{2}x^{2}}\right|, x \in (1,\infty)\right\} \leq \left|\frac{2n}{1+n^2}\right| \longrightarrow 0 \mbox{ as n goes to \infty}[/tex]

Thus

[tex] f_{n} \rightrightarrows 0 \mbox{ on (1, \infty)}[/tex]

According to "official" results this is not complete result. Would you help me please to finish it?

Thank you.
 
Last edited:
Physics news on Phys.org
The only error I see is that the supremum on [0,1] is not 2, but 1.
All else looks right to me. The function converges pointwise to the zero function and. It doesn't converge uniformly on [0,1], but it does on the interval [itex][\delta,\infty)[/itex] for any [itex]\delta>0[/itex].
 
Galileo said:
The only error I see is that the supremum on [0,1] is not 2, but 1.
You're right, my mistake.

Galileo said:
...but it does on the interval [itex][\delta,\infty)[/itex] for any [itex]\delta>0[/itex].
That's what I was asking for - how can you see that? I can't see it so far - I proved it doesn't converge uniformly on some interval ([itex][0,1][/itex]) but I can't see the possibility it could still converge uniformly on its part.

Btw, would [itex](0, \infty)[/itex] be the same as you wrote? (I mean just not using delta here).
 
I didn't say anything.
 
Last edited:
twoflower said:
You're right, my mistake.


That's what I was asking for - how can you see that? I can't see it so far - I proved it doesn't converge uniformly on some interval ([itex][0,1][/itex]) but I can't see the possibility it could still converge uniformly on its part.

Btw, would [itex](0, \infty)[/itex] be the same as you wrote? (I mean just not using delta here).

You already showed that the function [itex]f_n[/itex] is monotonically decreasing after the point 1/n, so this maximum shifts to the left (if you visualize the graph) as n increases. That means if you have the interval [itex][\delta, \infty)[/itex] the point at which [itex]f_n[/itex] has a maximum will eventually leave this interval (provided [itex]\delta>0[/itex]). So the function will be monotonically decreasing in this interval, so you can take the supremum to be the left endpoint and show that it goes to zero, just as before.

It may seem surprising at first, but the although the sequence converges uniformly on [itex][\delta, \infty)[/itex] it does NOT converge uniformly on [itex](0,\infty)[/itex]. That is because the spike at 1/n will always lie in the interval (0,->) for any n.
 
Last edited:
Thank you very much Galileo, it helped me a lot.

Then, would this be correct formal finish of the problem?

[tex] \delta > 0,\mbox{ then \\}<br /> \sup \left\{\left|\frac{2nx}{1+n^2x^2}\right|, x \in [\delta, \infty)\right\} = \frac{2\delta n}{1+\delta^2n^2} \longrightarrow 0 \mbox{ as n goes to \infty}[/tex]

I already understood this particular problem, but I'm afraid it won't always be that obvious so that I can guess on which interval it could still converge uniformly. Is there any common approach how to find interval, on which it could still converge uniformly when I prove it doesn't on some others?
 
Almost right. Ofcourse I wasn't totally precise on this point either, but the supremum of [itex]f_n[/itex] on the interval [itex][\delta,\infty)[/itex] is not always the left endpoint. What matters is that from a given moment on the spike will leave the interval. I.e. there exists an [itex]N>0[/itex] such that the supremum is the value of the function at the left endpoint (as in your expression) for all n>N (in this case [itex]n>1/\delta[/itex]. So it is still true that
[tex]\lim_{n\to \infty} \sup_{x\in D}|f_n(x)-f(x)|=0[/tex].

Where in this case ofcourse [itex]D=[\delta,\infty)[/itex], [itex]f(x)=0[/itex] (the limit function).

Usually the reason why a sequence of functions doesn't converge uniformly is because of the limiting behaviour at a specific point (in this case at x=0).
For a sequence of [itex]\arctan(nx)[/itex] functions, the problem also lies at x=0 and this also converges uniformly on [itex][\delta, \infty)[/itex] for any [itex]\delta>0[/itex]. I think practice is the best way to get a feel for these things. I personally always visualize the functions and see how the graphs change as n increases, because I have a very visual way of thinking.
Also see the analogy between (continuity - uniform continuity) and (convergence - uniforn convergence).
they are expressed in epsilons and delta's (or more commonly N's for the latter), but with continuity, you first specify a point x in the domain of f, then you any [itex]\epsilon>0[/itex] and then find your [itex]\delta>0[/itex] to match, so your [itex]\delta[/itex] may depend on the point and the chosen epsilon [itex]\delta=\delta(x,\epsilon)[/itex], while for uniform continuity you can find a [itex]\delta[/itex] which works (uniformly) for all points x in the region of interest and depends only on [itex]\epsilon[/itex].
Likewise, for pointwise convergence your take the pointwise limit ([itex]f_n(x)\to f(x)[/itex] for each point [itex]x[/itex]), so the [itex]N[/itex] in your limit is chosen after specifying the point and the [itex]\epsilon[/itex], while for uniform convergence you can find a [itex]N(\epsilon)[/itex] which works (uniformly) or ALL points in the region of interest.

Anyway, when you've found the supremum of |fn(x)-f(x)| and you find that it depends on n, you should check whether this point will remain in the region of interest.
 

Similar threads

  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 21 ·
Replies
21
Views
2K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 21 ·
Replies
21
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 11 ·
Replies
11
Views
2K