login
The OEIS Foundation is supported by donations from users of the OEIS and by a grant from the Simons Foundation.

 

Logo


Hints
(Greetings from The On-Line Encyclopedia of Integer Sequences!)
A291785 Iterate the map A291784: k -> (psi(k)+phi(k))/2, starting with n, until a power of a prime (A000961) is reached, or -1 if that never happens. 5
1, 2, 3, 4, 5, 7, 7, 8, 9, 11, 11, 16, 13, 16, 16, 16, 17, 23, 19, 23, 23, 23, 23, 47, 25, 27, 27, 47, 29, 47, 31, 32, 83, 83, 83, 83, 37, 47, 47, 47, 41, 83, 43, 47, -1, 47, 47, -1, 49, -1, 83, 83, 53, 83, -1, -1, 59, 59, 59, -1, 61, 83, 83, 64, 83, 83, 67, -1, -1, -1, 71, -1, 73 (list; graph; refs; listen; history; text; internal format)
OFFSET

1,2

COMMENTS

Primes and prime powers are fixed points under the map f(k) = (psi(k)+phi(k))/2. (If n = p^k, then psi(n) = p^k(1+1/p), phi(n) = p^k(1-1/p), and their average is p^k, so n is a fixed point under the map.)

Since f(n)>n if n is not a prime power, there can be no nontrivial cycles.

Wall (1985) observes that the trajectories of 45 and 50 are unbounded, so a(45) = a(50) = -1.

Also 48 and many more terms seem to have unbounded trajectories. - Hugo Pfoertner, Sep 03 2017.

Obviously any number in the trajectory of a number with unbounded trajectory (in particular that of 45, A291787) again has this property. A291788 is the union of all these. - M. F. Hasler, Sep 03 2017

REFERENCES

Richard K. Guy, Unsolved Problems in Number Theory, 3rd Edition, Springer, 2004. See Section B41, p. 147.

LINKS

Table of n, a(n) for n=1..73.

C. R. Wall, Unbounded sequences of Euler-Dedekind means, Amer. Math. Monthly, 92 (1985), 587.

PROG

(PARI) A291785(n, L=n)={for(i=0, L, isprimepower(n=A291784(n))&&return(n)); (-1)^(n>1)} \\ The search limit L=n is only experimental but appears quite conservative w.r.t. known data, cf. A291786. The algorithm assumes that there are no cycles except for the powers of primes. - M. F. Hasler, Sep 03 2017

CROSSREFS

Cf. A000010, A001615, A291784, A291786, A291787, A291788.

Sequence in context: A306369 A291784 A291934 * A122411 A325353 A117174

Adjacent sequences:  A291782 A291783 A291784 * A291786 A291787 A291788

KEYWORD

sign

AUTHOR

N. J. A. Sloane, Sep 02 2017

EXTENSIONS

More terms from Hugo Pfoertner, Sep 03 2017

STATUS

approved

Lookup | Welcome | Wiki | Register | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Style Sheet | Transforms | Superseeker | Recent
The OEIS Community | Maintained by The OEIS Foundation Inc.

License Agreements, Terms of Use, Privacy Policy. .

Last modified October 1 13:04 EDT 2020. Contains 337443 sequences. (Running on oeis4.)