Monotony of a recurrence relation

  • Context: Undergrad 
  • Thread starter Thread starter Keru
  • Start date Start date
  • Tags Tags
    Recurrence Relation
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 · 1K views
Keru
Messages
20
Reaction score
1
What method should i use to know if a recurrence relation is increasing or decreasing?
i was given the following relation:
A1 = 1
An=(An-1)^5 - 3

I know for sure it actually decreases since every term for n>=2 is a negative number raised to and odd number, but i don't know how to demonstrate it mathematically. I tried using induction, but it doesn't work...

Thanks to whoever can answer me.
 
Mathematics news on Phys.org
Keru said:
What method should i use to know if a recurrence relation is increasing or decreasing?
i was given the following relation:
A1 = 1
An=(An-1)^5 - 3

I know for sure it actually decreases since every term for n>=2 is a negative number raised to and odd number, but i don't know how to demonstrate it mathematically. I tried using induction, but it doesn't work...

Thanks to whoever can answer me.

Why do you think induction doesn't work?

It's clear that if ##A_n < 0## then ##A_{n+1} < A_n## and that's your inductive step.
 
Keru said:
What method should i use to know if a recurrence relation is increasing or decreasing?
i was given the following relation:
A1 = 1
An=(An-1)^5 - 3

I know for sure it actually decreases since every term for n>=2 is a negative number raised to and odd number, but i don't know how to demonstrate it mathematically. I tried using induction, but it doesn't work...

Thanks to whoever can answer me.

You can show that [itex]|A_n|[/itex] is strictly increasing. If all terms are negative this shows that [itex]A_n[/itex] is strictly decreasing. For [itex]n \geq 2[/itex] you have that [itex]|A_{n+1}| = |A_n^5 - 3| = |A_{n}|^5 + 3 > |A_n|^5[/itex]. If you can show that [itex]|A_{n}|^5 > |A_n|[/itex] you are done.
 
Thanks guys, very quick and useful answers! I'll keep practising so i can see it by myself next time!