How to check monotony of sequence

  • Context: MHB 
  • Thread starter Thread starter evinda
  • Start date Start date
  • Tags Tags
    Sequence
Click For Summary

Discussion Overview

The discussion revolves around the monotonicity of the sequence defined by \( a_n = \frac{8^n}{n!} \). Participants explore criteria for determining whether the sequence is monotonic, examining its behavior for different values of \( n \) and comparing it to another sequence \( d_n = \frac{n^{30}}{2^n} \).

Discussion Character

  • Exploratory
  • Technical explanation
  • Debate/contested
  • Mathematical reasoning

Main Points Raised

  • Some participants calculate the difference \( a_{n+1} - a_n \) and note that it changes sign depending on \( n \), suggesting the sequence is not monotonic.
  • Others argue that for \( n < 7 \), the sequence is ascending, while for \( n > 7 \), it is descending, indicating a potential maximum at \( n = 7 \).
  • One participant introduces the sequence \( d_n = \frac{n^{30}}{2^n} \) and discusses its behavior, suggesting it is not ascending and may only be descending after a certain point.
  • There is a discussion about the conditions under which \( d_{n+1} - d_n < 0 \) holds, with references to logarithmic inequalities.
  • Participants explore the implications of the maximum value of the sequence and its bounds, questioning whether \( 0 \) is the highest lower bound of \( a_n \).
  • Concerns are raised about whether \( a_7 = a_8 \) affects the monotonicity conclusion.
  • There is a debate about the significance of the integer part of \( \frac{1}{2^{\frac{1}{30}}-1} \) in determining the maximum value of the sequence.

Areas of Agreement / Disagreement

Participants generally agree that the sequence is eventually decreasing after \( n = 7 \), but there is no consensus on the overall monotonicity or the implications of the bounds discussed.

Contextual Notes

Participants express uncertainty regarding the exact nature of the bounds and the conditions under which the sequences change from ascending to descending. The discussion includes unresolved mathematical steps and assumptions about the sequences involved.

evinda
Gold Member
MHB
Messages
3,741
Reaction score
0
Hello! (Wave)

Consider the sequence $a_n=\frac{8^n}{n!}$.

It holds that

$$a_{n+1}-a_n=\frac{8^{n+1}}{(n+1)!}-\frac{8^n}{n!}=\frac{8 \cdot 8^n}{(n+1) \cdot n!}-\frac{8^n}{n!}=\frac{8^n}{n!}\left( \frac{8}{n+1}-1\right)=\frac{8^n}{n!} \left( \frac{7-n}{n+1}\right)$$

Since the last term is positive for some $n$ and negative for others, we cannot conclude like that if the sequece is monotonic or not.

I haven't thought of an other criterion which we could use to see if the sequence is monotonic or not. Could you give me a hint? (Thinking)
 
Physics news on Phys.org
evinda said:
Hello! (Wave)

Consider the sequence $a_n=\frac{8^n}{n!}$.

It holds that

$$a_{n+1}-a_n=\frac{8^{n+1}}{(n+1)!}-\frac{8^n}{n!}=\frac{8 \cdot 8^n}{(n+1) \cdot n!}-\frac{8^n}{n!}=\frac{8^n}{n!}\left( \frac{8}{n+1}-1\right)=\frac{8^n}{n!} \left( \frac{7-n}{n+1}\right)$$

Since the last term is positive for some $n$ and negative for others, we cannot conclude like that if the sequece is monotonic or not.

I haven't thought of an other criterion which we could use to see if the sequence is monotonic or not. Could you give me a hint? (Thinking)

Hey evinda!

Haven't you just shown that it is not monotonic? (Worried)

For $n<7$ the difference is positive, so the sequence is ascending.
At $n=7$ we find that $a_{7+1}-a_7=0$.
And for $n>7$ the sequence is descending. (Thinking)
 
Klaas van Aarsen said:
Hey evinda!

Haven't you just shown that it is not monotonic? (Worried)

For $n<7$ the difference is positive, so the sequence is ascending.
At $n=7$ we find that $a_{7+1}-a_7=0$.
And for $n>7$ the sequence is descending. (Thinking)
And the sequence is ascending for the interval $(0,7]$ and descending for the interval $(7,+\infty)$, right? (Thinking)If we consider the sequence $d_n=\frac{n^{30}}{2^n}$, we know that it is not ascending, since $d_1=\frac{1}{2}$ and $\lim_{n \to +\infty} d_n=0$.

So it could be only descending from some point and on.

Then it should hold $d_{n+1}-d_n \frac{(n+1)^{30}-2n^{30}}{2^{n+1}}<0$.

This holds for $\log_{2}\left( 1+\frac{1}{n}\right) \leq \frac{1}{30}$.

Can this be solved or to we let it as it is? (Thinking)
 
Klaas van Aarsen said:
Hey evinda!

Haven't you just shown that it is not monotonic? (Worried)

For $n<7$ the difference is positive, so the sequence is ascending.
At $n=7$ we find that $a_{7+1}-a_7=0$.
And for $n>7$ the sequence is descending. (Thinking)

Do we use $n=7$ to find the under or upper bound of the sequence? (Thinking)
 
evinda said:
And the sequence is ascending for the interval $(0,7]$ and descending for the interval $(7,+\infty)$, right?

Yep. (Nod)

evinda said:
If we consider the sequence $d_n=\frac{n^{30}}{2^n}$, we know that it is not ascending, since $d_1=\frac{1}{2}$ and $\lim_{n \to +\infty} d_n=0$.

So it could be only descending from some point and on.

Then it should hold $d_{n+1}-d_n \frac{(n+1)^{30}-2n^{30}}{2^{n+1}}<0$.

This holds for $\log_{2}\left( 1+\frac{1}{n}\right) \leq \frac{1}{30}$.

Can this be solved or to we let it as it is?

We can also write it as:
$$1+\frac 1n<2^{1/30}$$
can't we?
Can we find n now? (Wondering)

evinda said:
Do we use $n=7$ to find the under or upper bound of the sequence? (Thinking)

Yep. We found that $a_7=a_8$ is the maximum of the sequence. (Emo)
 
We can say that the sequence is eventually decreasing, meaning that, after a certain point (here, n= 7), it becomes decreasing.
 
Klaas van Aarsen said:
Yep. (Nod)
We can also write it as:
$$1+\frac 1n<2^{1/30}$$
can't we?
Can we find n now? (Wondering)

First of all, it should be $d_{n+1}-d_n \geq 0$, right?

This holds for $\left( 1+\frac{1}{n}\right)^{30} \geq 2$. Do we get from this that $1+\frac{1}{n} \geq 2^{\frac{1}{30}}$ although $30$ is even?

Then we would get that $n \leq \frac{1}{2^{\frac{1}{30}}-1}$.

So does this mean that the sequence hat its maximum value at the largest integer smaller than $\frac{1}{2^{\frac{1}{30}}-1}$ ? (Thinking)

Klaas van Aarsen said:
Yep. (Nod)

Yep. We found that $a_7=a_8$ is the maximum of the sequence. (Emo)

Since the sequence is descending for $n>7$, we have that $a_n< a_7$.

Also, $a_n>0$ and thus $a_n$ is bounded.

Is $0$ the highest lower bound of $a_n$ ? (Thinking)
 
evinda said:
First of all, it should be $d_{n+1}-d_n \geq 0$, right?

That is what we need for the sequence to be ascending.

evinda said:
This holds for $\left( 1+\frac{1}{n}\right)^{30} \geq 2$. Do we get from this that $1+\frac{1}{n} \geq 2^{\frac{1}{30}}$ although $30$ is even?

Then we would get that $n \leq \frac{1}{2^{\frac{1}{30}}-1}$.

So does this mean that the sequence hat its maximum value at the largest integer smaller than $\frac{1}{2^{\frac{1}{30}}-1}$ ?

How does it matter that $30$ is even?

It means that the maximum value is either at the larger integer smaller, or at the smallest integer bigger. (Thinking)

evinda said:
Since the sequence is descending for $n>7$, we have that $a_n< a_7$.

Also, $a_n>0$ and thus $a_n$ is bounded.

Don't we have that $a_7=a_8$? So $a_8 \not<a_7$ isn't it? (Worried)

evinda said:
Is $0$ the highest lower bound of $a_n$ ?

Yep. The sequence approaches 0 as $n\to\infty$, doesn't it? (Thinking)
 
Klaas van Aarsen said:
That is what we need for the sequence to be ascending.
How does it matter that $30$ is even?

It means that the maximum value is either at the larger integer smaller, or at the smallest integer bigger. (Thinking)

So the sequence is bounded below by $0$ and above by the smallest integer greater that $\frac{1}{2^{\frac{1}{30}}-1}$, right? (Thinking)
Klaas van Aarsen said:
Don't we have that $a_7=a_8$? So $a_8 \not<a_7$ isn't it? (Worried)
Yep. The sequence approaches 0 as $n\to\infty$, doesn't it? (Thinking)

Oh yes, right... (Nod)
 
  • #10
evinda said:
So the sequence is bounded below by $0$ and above by the smallest integer greater that $\frac{1}{2^{\frac{1}{30}}-1}$, right?

Bounded below by $0$, yes. (Nod)

However, $\frac{1}{2^{\frac{1}{30}}-1}$ does not represent a value in the sequence does it?
Instead it shows at which $n$ the sequence changes from ascending to descending. (Worried)
 
  • #11
Klaas van Aarsen said:
Bounded below by $0$, yes. (Nod)

However, $\frac{1}{2^{\frac{1}{30}}-1}$ does not represent a value in the sequence does it?
Instead it shows at which $n$ the sequence changes from ascending to descending. (Worried)

So the sequence hat its maximum value at the integer part of $\frac{1}{2^{\frac{1}{30}}-1}$, right? (Thinking)
 
  • #12
evinda said:
So the sequence hat its maximum value at the integer part of $\frac{1}{2^{\frac{1}{30}}-1}$, right?

Either the integer part, or the integer part plus one. (Thinking)
 

Similar threads

  • · Replies 3 ·
Replies
3
Views
4K
  • · Replies 6 ·
Replies
6
Views
4K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 21 ·
Replies
21
Views
4K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 19 ·
Replies
19
Views
2K
  • · Replies 9 ·
Replies
9
Views
1K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K