Show Cauchy Sequence Convergence with sin(n)/2^n

  • Thread starter Thread starter sara_87
  • Start date Start date
  • Tags Tags
    Cauchy Sequence
Click For Summary

Homework Help Overview

The problem involves showing the convergence of the sequence defined by the sum of terms involving sine functions divided by powers of two, specifically \( x_n = \sum_{k=1}^{n} \frac{\sin(k)}{2^k} \). The context is within real analysis, focusing on Cauchy sequences and convergence criteria.

Discussion Character

  • Exploratory, Assumption checking, Mathematical reasoning

Approaches and Questions Raised

  • Participants discuss the definition of Cauchy sequences and their convergence properties. There are attempts to establish bounds for the terms of the sequence and to relate these bounds to the Cauchy criterion. Questions arise about the monotonicity of the sequence and the implications of the sine function's behavior.

Discussion Status

The discussion is active, with participants exploring various aspects of the problem, including bounding the terms of the sequence and the implications of the Cauchy criterion. Some guidance has been provided regarding the use of geometric series to establish bounds, but there is no explicit consensus on the final approach to proving convergence.

Contextual Notes

Participants are navigating the requirements of the homework, particularly the need to demonstrate that the sequence is Cauchy as part of the convergence proof. There is an emphasis on the relationship between the terms of the sequence and the chosen epsilon for the Cauchy condition.

sara_87
Messages
748
Reaction score
0

Homework Statement



Show that the following sequence converges:

xn= (sin(1)/2) + (sin(2)/2^2) + (sin(3)/2^3) +...+ (sin(n)/2^n)

Homework Equations





The Attempt at a Solution


To show that it converges, i want to show that it is a cauchy sequence (since all cauchy sequences converge).
I know that xn is cauchy if abs(xn-xm)< E for all E>0.
and the above sequence can be written as:
[tex]\sum(sink/2^k[/tex]

But i don't know how to proceed??
Any help would be very much appreciated.
 
Physics news on Phys.org
sara_87 said:
(since all cauchy sequences converge).

Is that a fact? Check really if that's true...

As for your sequence, your sequence is (monotonically) increasing and bounded thus convergent. Can you show that it is true?
 
dirk_mec1 said:
Is that a fact? Check really if that's true...

As for your sequence, your sequence is (monotonically) increasing and bounded thus convergent. Can you show that it is true?

It's not monotonic. sin(k) can be negative. And why are you questioning whether cauchy sequences converge?? The question is clearly about the real numbers, and they are complete. All cauchy sequences DO converge. sara_87, to show it's cauchy just notice sin(k)/2^k<=1/2^k. You can bound abs(xn-xm) by the sum of a geometric series.
 
Dick said:
It's not monotonic. sin(k) can be negative. And why are you questioning whether cauchy sequences converge?? The question is clearly about the real numbers, and they are complete. All cauchy sequences DO converge.
Yes, you're right I made two mistakes.

sara_87, to show it's cauchy just notice sin(k)/2^k<=1/2^k. You can bound abs(xn-xm) by the sum of a geometric series.
Dick uses [tex]sin(x) \leq 1[/tex]
 
Yep. And I should have written |sin(k)/2^k|<=1/2^k.
 
ok, so |sin(k)/2^k|<=1/2^k

and the formula for geometric series is:
a(1-r^n)/1-r

i don't know how to apply this to sin(k)/2^k
 
Look, you want to have [tex]|a_n - a_m|< \varepsilon[/tex].

Now you know you can make an upper bound via a geometric series, okay?
 
Yes, i understand this bit and i know that in this case, we have:
abs(sin(k)/2^k) < 1/2^k

but is this it?? surely not. I still haven't proved that it is cauchy.
 
sara_87 said:
Yes, i understand this bit and i know that in this case, we have:
abs(sin(k)/2^k) < 1/2^k

but is this it?? surely not. I still haven't proved that it is cauchy.
The problem as stated asked that you prove that the sequence was convergent. You brought up the part about Cauchy sequences. If you can show that the sequence converges (see Dick's and Dirk's posts), you're done.
 
  • #10
Yes, but i 'want' to show that it is cauchy (part of the question). I know that:
abs(xn-xm)< E
and
abs(sin(k)/2^k) < 1/2^k
but how do i relate these two?
 
  • #11
Using your definition for xn at the beginning of this thread, what is xn - xm?
 
  • #12
(sin(1)/2) + (sin(2)/2^2) + (sin(3)/2^3) +...+ (sin(n)/2^n) - xm
 
  • #13
Let's assume n>m. So xn-xm=sin(m+1)/2^(m+1)+sin(m+2)/2^(m+2)+...sin(n)/2^n. |xn-xm|<=1/2^(m+1)+...+1/2^n. Apply your geometric series thing to that.
 
  • #14
ok, so i get:
abs(xn-xm)<=1/2^m for all m>N ;
but this must mean that 1/2^m is less than E but how do we know that m is greater than E (for this to be true)?
 
  • #15
You are given e. You PICK an N large enough that 1/2^N<e. That means |xn-xm|<e for all n,m>N, right? That's Cauchy.
 
  • #16
but however large N is, the 1/2^N will always be positive.
so, just as an example, what kind of value can N be?
 
  • #17
N will depend on your epsilon chosen. In your case you should use the geometric series to find your N.
 
  • #18
sara_87 said:
but however large N is, the 1/2^N will always be positive.
so, just as an example, what kind of value can N be?

Pick N so 2^N>1/epsilon.
 

Similar threads

  • · Replies 8 ·
Replies
8
Views
3K
  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 17 ·
Replies
17
Views
3K
Replies
1
Views
1K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
Replies
4
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K