Real Analysis: Weierstrass M-Test

Click For Summary
SUMMARY

The discussion centers on the uniform convergence of the series \(\sum (-1)^n \frac{x^2+n}{n^2}\) on every bounded interval in \(\mathbb{R}\) and its lack of absolute convergence for any \(x\). Participants utilize the Weierstrass M-Test to analyze the series, concluding that while the series is uniformly convergent, it is not absolutely convergent due to the divergence of \(\sum |g_n(x)|\). The key takeaway is that the series converges uniformly by demonstrating that the limit of the supremum of the absolute difference approaches zero.

PREREQUISITES
  • Understanding of series convergence, specifically uniform and absolute convergence.
  • Familiarity with the Weierstrass M-Test for uniform convergence.
  • Knowledge of alternating series and their convergence properties.
  • Basic calculus concepts, including limits and supremum.
NEXT STEPS
  • Study the Weierstrass M-Test in detail to understand its application in uniform convergence.
  • Explore the properties of alternating series and how to estimate truncation errors.
  • Investigate the relationship between uniform convergence and the convergence of series of functions.
  • Learn about the implications of absolute convergence versus conditional convergence in series.
USEFUL FOR

Mathematics students, particularly those studying real analysis, educators teaching convergence concepts, and anyone interested in advanced series convergence techniques.

steelphantom
Messages
158
Reaction score
0

Homework Statement


Show that the series \sum(-1)n(x2+n)/n2 is uniformly convergent on every bounded interval in R, but is not absolutely convergent for any x.

Homework Equations


Weierstrass M-Test

The Attempt at a Solution


Take g_n(x) = (-1)n(x2+n)/n2. Then |g_n(x)| = (x2+n)/n2. To be uniformly convergent on every bounded interval in R, that means it would have to be uniformly convergent on any I = [a, b] s.t. a, b \in R. So now I need to find an Mn such that each Mn >= 0, |g_n(x)| <= Mn, and \sumMn converges.

But for any x, \sum|g_n(x)| >= \sum1/n, which does not converge. What is going on here? Thanks for any help.
 
Physics news on Phys.org
You have shown that it is not absolutely convergent by showing that |g_n(x)| does not converge. To show uniform convergence, you need to show that for every \varepsilon &gt; 0 there is an N such that for all n\geq N, |g_n(x) - g(x)| &lt; \varepsilon, where g(x) is the limit.

Edit: I don't believe the Weierstrass M test will work for this.
 
Last edited:
cellotim said:
You have shown that it is not absolutely convergent by showing that |g_n(x)| does not converge. To show uniform convergence, you need to show that for every \varepsilon &gt; 0 there is an N such that for all n\geq N, |g_n(x) - g(x)| &lt; \varepsilon, where g(x) is the limit.

Edit: I don't believe the Weierstrass M test will work for this.

Thanks for your response, cellotim.

How about if I use the fact that (g_n) converges uniformly to g on I = (a, b) iff lim(sup|g(x) - g_n(x)|) = 0, where x is in I.

So sup|g(x) - g_n(x)| = sup(x2 + n)/n2 = (b2 + n)/n2. So lim(sup{(b2 + n)/n2}) = 0, and the series is uniformly convergent for every bounded interval in R.
 
steelphantom said:
Thanks for your response, cellotim.

How about if I use the fact that (g_n) converges uniformly to g on I = (a, b) iff lim(sup|g(x) - g_n(x)|) = 0, where x is in I.

So sup|g(x) - g_n(x)| = sup(x2 + n)/n2 = (b2 + n)/n2. So lim(sup{(b2 + n)/n2}) = 0, and the series is uniformly convergent for every bounded interval in R.

There's a very easy way to estimate the error you make by truncating a series if it's an alternating series. Why not use that?
 
Dick said:
There's a very easy way to estimate the error you make by truncating a series if it's an alternating series. Why not use that?

I'm not sure why what I did was incorrect. I'm not really sure what you're getting at here. Sorry. :redface: What do you mean by "estimate the error you made"?
 
The series converges uniformly if the sequence of partial sums converge uniformly. So if you define g_n(x) to be the nth partial sum, sure, you want to show you can make |g_n(x)-g(x)|<epsilon. But |g_n(x)-g(x)| isn't a single term, it's an infinite series of all the terms in g(x) after the nth term. It the error you make by ignoring all those terms. In the case of an alternating series there is an easy way to estimate that error. Try Googling alternating series and see if you can find it.
 
Dick said:
The series converges uniformly if the sequence of partial sums converge uniformly. So if you define g_n(x) to be the nth partial sum, sure, you want to show you can make |g_n(x)-g(x)|<epsilon. But |g_n(x)-g(x)| isn't a single term, it's an infinite series of all the terms in g(x) after the nth term. It the error you make by ignoring all those terms. In the case of an alternating series there is an easy way to estimate that error. Try Googling alternating series and see if you can find it.

OK, let's see if this works.

Define an = (x2 + n)/n2. lim(an) = 0, so the series \sum(-1)nan converges. By lim(an) = 0, there exists N such that n > N implies an < \epsilon.

Then |\sum_{n=0}^\infty(-1)nan - \sum_{n=0}^N(-1)nan| < aN+1 < \epsilon. So the series converges uniformly.

Is this right? Thanks for your help.
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
Replies
7
Views
2K
  • · Replies 24 ·
Replies
24
Views
3K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K