Convergence of a Recursive Sequence: Proving a_n*c*n\rightarrow 1 for Positive c

  • Thread starter Thread starter happyxiong531
  • Start date Start date
  • Tags Tags
    Sequence
AI Thread Summary
The discussion centers on proving that for a recursive sequence defined by a_{n+1}=a_n(1-c*a_n/(1+a_n)), the product a_n*c*n converges to 1 for all positive constants c. The initial case where c=1 shows that a_n*n approaches 1, but challenges arise when c differs from 1. The user suggests that by redefining the sequence with b_n=ca_n, the convergence can be demonstrated, although they acknowledge their proof lacks rigor. Additionally, a condition is noted that ensures the positivity of the sequence elements, limiting the size of c. Overall, the user expresses confidence in their findings despite the need for a more formal proof.
happyxiong531
Messages
3
Reaction score
0
I want to prove that
if the sequence a_n satisfy that
a_{n+1}=a_n\left(1-c\frac{a_n}{1+a_n}\right)
then a_n*c*n\rightarrow 1 for all positive c.

Like when c=1, then a_n*n\rightarrow 1,
but if c\neq 1, it's difficult to prove.
 
Mathematics news on Phys.org
What makes you believe it is true? Your question implies a_n*n ->\frac{1}{c}. Doesn't look right, especially for large c.
 
Last edited:
mathman said:
What makes you believe it is true? Your question implies a_n*n -> 1/c. Doesn't look right, especially for large c.

Thank you for you reply.
I think it's correct.
First, I can have a_n*n\rightarrow 1 when c=1, from
a_{n+1}=\frac{a_n}{1+a_n}=\frac{a_{n-1}}{1+2a_{n-1}}=\cdots=\frac{a_1}{1+(n+1)a_1}

Then, let ca_n=b_n if c\neq 1, c is some constant. we can have b_{n+1}=b_n\left(1-\frac{b_n}{1+b_n/c}\right).

Actually, it's easy to prove a_n and b_n will go to zero,
so, \frac{b_n}{1+b_n/c}\sim\frac{b_n}{1+b_n}, thenb_n*n\rightarrow 1.

I have made a plot, it's correct no matter c is larger or less than 1.
But I think my proof is not strict.
Thanks for your concern.
 
mathman said:
What makes you believe it is true? Your question implies a_n*n ->\frac{1}{c}. Doesn't look right, especially for large c.

Oh, I forget there is a condition that
the sequence should satisfy that1-c\frac{a_1}{1+a_1}>0,
so that all the elements in this sequence should be positive, and c cannot be too large.
I have made some plots like c=0.5, c=2, the conclusion is correct.
Thanks
 
Write out your complete proof.
 
Seemingly by some mathematical coincidence, a hexagon of sides 2,2,7,7, 11, and 11 can be inscribed in a circle of radius 7. The other day I saw a math problem on line, which they said came from a Polish Olympiad, where you compute the length x of the 3rd side which is the same as the radius, so that the sides of length 2,x, and 11 are inscribed on the arc of a semi-circle. The law of cosines applied twice gives the answer for x of exactly 7, but the arithmetic is so complex that the...

Similar threads

Back
Top