Does there exist $a_0$, such that $a_n_n=0^infty$ is unbounded?
Clash Royale CLAN TAG#URR8PPP
up vote
15
down vote
favorite
Suppose $a_n_n=0^infty$ is a sequence, defined by recurrent relation: $a_n+1 = phi(a_n) + sigma(a_n) - a_n$, where $sigma$ is divisor sum and $phi$ is Euler totient function. Does there exist $a_0$, such that the corresponding $a_n_n=0^infty$ is unbounded?
As $phi(a_n) + sigma(a_n) geq 2a_n$ (see: Is $phi(n) + sigma(n) geq 2n$ always true?), every sequence of this type is monotonously non-decreasing. This means, that it is bounded iff it contains an element $a_n$, such that $phi(a_n) + sigma(a_n) = 2a_n$. We know, that to satisfy this equation, $a_n$ must either be $1$ or prime (see: Find all positive integers $n$ such that $phi(n)+sigma(n)=2n$.). Thus, the question is equivalent to: "Does every such sequence $a_n_n=0^infty$ with $a_0 geq 2$ contain a prime element?". And I do not know how to proceed further.
Any help will be appreciated.
elementary-number-theory prime-numbers recurrence-relations totient-function divisor-sum
add a comment |Â
up vote
15
down vote
favorite
Suppose $a_n_n=0^infty$ is a sequence, defined by recurrent relation: $a_n+1 = phi(a_n) + sigma(a_n) - a_n$, where $sigma$ is divisor sum and $phi$ is Euler totient function. Does there exist $a_0$, such that the corresponding $a_n_n=0^infty$ is unbounded?
As $phi(a_n) + sigma(a_n) geq 2a_n$ (see: Is $phi(n) + sigma(n) geq 2n$ always true?), every sequence of this type is monotonously non-decreasing. This means, that it is bounded iff it contains an element $a_n$, such that $phi(a_n) + sigma(a_n) = 2a_n$. We know, that to satisfy this equation, $a_n$ must either be $1$ or prime (see: Find all positive integers $n$ such that $phi(n)+sigma(n)=2n$.). Thus, the question is equivalent to: "Does every such sequence $a_n_n=0^infty$ with $a_0 geq 2$ contain a prime element?". And I do not know how to proceed further.
Any help will be appreciated.
elementary-number-theory prime-numbers recurrence-relations totient-function divisor-sum
You mean "Does there exists an $a_0$ such that the sequence doesn't contain a prime element", don't you?
â N. S.
Aug 24 at 16:28
It looks like there are a lot of numbers with this property, with $a_0 = 22$ being the smallest.
â Paul
Aug 29 at 17:56
Here the numbers up to 1000
â Paul
Aug 29 at 18:32
add a comment |Â
up vote
15
down vote
favorite
up vote
15
down vote
favorite
Suppose $a_n_n=0^infty$ is a sequence, defined by recurrent relation: $a_n+1 = phi(a_n) + sigma(a_n) - a_n$, where $sigma$ is divisor sum and $phi$ is Euler totient function. Does there exist $a_0$, such that the corresponding $a_n_n=0^infty$ is unbounded?
As $phi(a_n) + sigma(a_n) geq 2a_n$ (see: Is $phi(n) + sigma(n) geq 2n$ always true?), every sequence of this type is monotonously non-decreasing. This means, that it is bounded iff it contains an element $a_n$, such that $phi(a_n) + sigma(a_n) = 2a_n$. We know, that to satisfy this equation, $a_n$ must either be $1$ or prime (see: Find all positive integers $n$ such that $phi(n)+sigma(n)=2n$.). Thus, the question is equivalent to: "Does every such sequence $a_n_n=0^infty$ with $a_0 geq 2$ contain a prime element?". And I do not know how to proceed further.
Any help will be appreciated.
elementary-number-theory prime-numbers recurrence-relations totient-function divisor-sum
Suppose $a_n_n=0^infty$ is a sequence, defined by recurrent relation: $a_n+1 = phi(a_n) + sigma(a_n) - a_n$, where $sigma$ is divisor sum and $phi$ is Euler totient function. Does there exist $a_0$, such that the corresponding $a_n_n=0^infty$ is unbounded?
As $phi(a_n) + sigma(a_n) geq 2a_n$ (see: Is $phi(n) + sigma(n) geq 2n$ always true?), every sequence of this type is monotonously non-decreasing. This means, that it is bounded iff it contains an element $a_n$, such that $phi(a_n) + sigma(a_n) = 2a_n$. We know, that to satisfy this equation, $a_n$ must either be $1$ or prime (see: Find all positive integers $n$ such that $phi(n)+sigma(n)=2n$.). Thus, the question is equivalent to: "Does every such sequence $a_n_n=0^infty$ with $a_0 geq 2$ contain a prime element?". And I do not know how to proceed further.
Any help will be appreciated.
elementary-number-theory prime-numbers recurrence-relations totient-function divisor-sum
asked Aug 21 at 13:39
Yanior Weg
1,0741731
1,0741731
You mean "Does there exists an $a_0$ such that the sequence doesn't contain a prime element", don't you?
â N. S.
Aug 24 at 16:28
It looks like there are a lot of numbers with this property, with $a_0 = 22$ being the smallest.
â Paul
Aug 29 at 17:56
Here the numbers up to 1000
â Paul
Aug 29 at 18:32
add a comment |Â
You mean "Does there exists an $a_0$ such that the sequence doesn't contain a prime element", don't you?
â N. S.
Aug 24 at 16:28
It looks like there are a lot of numbers with this property, with $a_0 = 22$ being the smallest.
â Paul
Aug 29 at 17:56
Here the numbers up to 1000
â Paul
Aug 29 at 18:32
You mean "Does there exists an $a_0$ such that the sequence doesn't contain a prime element", don't you?
â N. S.
Aug 24 at 16:28
You mean "Does there exists an $a_0$ such that the sequence doesn't contain a prime element", don't you?
â N. S.
Aug 24 at 16:28
It looks like there are a lot of numbers with this property, with $a_0 = 22$ being the smallest.
â Paul
Aug 29 at 17:56
It looks like there are a lot of numbers with this property, with $a_0 = 22$ being the smallest.
â Paul
Aug 29 at 17:56
Here the numbers up to 1000
â Paul
Aug 29 at 18:32
Here the numbers up to 1000
â Paul
Aug 29 at 18:32
add a comment |Â
active
oldest
votes
active
oldest
votes
active
oldest
votes
active
oldest
votes
active
oldest
votes
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2889876%2fdoes-there-exist-a-0-such-that-a-n-n-0-infty-is-unbounded%23new-answer', 'question_page');
);
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
You mean "Does there exists an $a_0$ such that the sequence doesn't contain a prime element", don't you?
â N. S.
Aug 24 at 16:28
It looks like there are a lot of numbers with this property, with $a_0 = 22$ being the smallest.
â Paul
Aug 29 at 17:56
Here the numbers up to 1000
â Paul
Aug 29 at 18:32