A128670 -id:A128670 - cp's OEIS frontend

A128672 Numbers m such that m^k does not divide the denominator of the m-th generalized harmonic number H(m,k) nor the denominator of the m-th alternating generalized harmonic number H'(m,k), for k = 2.

20, 42, 100, 110, 156, 272, 294, 342, 500, 506, 812, 930, 1210, 1332, 1640, 1806, 2028, 2058, 2162, 2500, 2756, 3422, 3660, 4422, 4624, 4970, 5256, 6162, 6498, 6806, 7832, 9312, 10100, 10506, 11026, 11342, 11638, 11772, 12500, 12656, 13310, 14406, 16002, 17030

Offset: 1

Alexander Adamchuk, Mar 20 2007

nonn

Generalized harmonic numbers are defined as H(m,k) = Sum_{j=1..m} 1/j^k. Alternating generalized harmonic numbers are defined as H'(m,k) = Sum_{j=1..m} (-1)^(j+1)/j^k.

Sequence contains all geometric progressions of the form (p-1)*p^k for k > 0 and some primes p > 3. Note the factorization of initial terms of {a(n)} = {4*5, 6*7, 4*5^2, 10*11, 12*13, 16*17, 6*7^2, 18*19, 4*5^3, 22*23, 28*29, 30*31, 10*11^2, 36*37, 40*41, 42*43, 12*13^2, 6*7^3, 46*47, 4*5^4, 52*53, 58*59, 60*61, 66*67, 16*17^2, 70*71, 72*73, 78*79, 18*19^2, 82*83, ...}. The smallest term that does not fit this pattern is 11026 = ((149-1)/2) * 149.

Eric Weisstein's World of Mathematics, Harmonic Number

Similar sequences for generalized harmonic numbers with different k: A125581 (k=1), A128673 (k=3), A128674 (k=4), A128675 (k=5); A128676 (k=6).
For the least numbers k > 0 such that k^n does not divide the denominator of H(k,n) nor the denominator of H'(k,n), see A128670. See also A128671(n) = A128670(prime(n)).
Cf. A001008, A002805, A058313, A058312, A007406, A007407, A119682, A125581, A126196, A126197, A128674, A128675, A128676, A128673, A128670, A129671.

k=2; f=0; g=0; Do[ f=f+1/n^k; g=g+(-1)^(n+1)*1/n^k; kf=Denominator[f]; kg=Denominator[g]; If[ !IntegerQ[kf/n^k] && !IntegerQ[kg/n^k], Print[n] ], {n,1,7000} ]

Edited and extended by Max Alekseyev, May 07 2010

A128673 Numbers m such that m^k does not divide the denominator of the m-th generalized harmonic number H(m,k) nor the denominator of the m-th alternating generalized harmonic number H'(m,k), for k = 3.

Original entry on oeis.org

94556602, 141834903, 189113204, 283669806, 450820422

Offset: 1

Alexander Adamchuk, Apr 18 2007

Generalized harmonic numbers are defined as H(m,k) = Sum_{j=1..m} 1/j^k. Alternating generalized harmonic numbers are defined as H'(m,k) = Sum_{j=1..m} (-1)^(j+1)/j^k.

Note that {a(n)} contains the following geometric progressions: ((16843-1)/3)*16843^m found by Max Alekseyev, ((16843-1)/2)*16843^m found by Max Alekseyev, ((16843-1)*2/3)*16843^m, (16843-1)*16843^m, 20826*21647^m found by Max Alekseyev, ((2124679-1)/3)*2124679^m, ((2124679-1)/2)*2124679^m, ((2124679-1)*2/3)*2124679^m, (2124679-1)*2124679^m. Here {16843, 2124679} = A088164 are the only two currently known Wolstenholme Primes: primes p such that {2p-1} choose {p-1} == 1 mod p^4. See more details in Comments at A128672 and A125581.

Eric Weisstein's World of Mathematics, Harmonic Number
Eric Weisstein's World of Mathematics, Wolstenholme Prime

Cf. A001008, A002805, A058313, A058312.
Cf. A007406, A007407, A119682, A007410, A120296, A099828.
Cf. A125581, A126196, A126197, A128672, A128674, A128675, A128676, A128670, A128671.
Cf. A088164 (Wolstenholme primes).

k=3; f=0; g=0; Do[ f=f+1/n^k; g=g+(-1)^(n+1)*1/n^k; kf=Denominator[f]; kg=Denominator[g]; If[ !IntegerQ[kf/n^k] && !IntegerQ[kg/n^k], Print[n] ], {n, 1, 450820422} ]

A128671 Least number k > 0 such that k^p does not divide the denominator of generalized harmonic number H(k,p) nor the denominator of alternating generalized harmonic number H'(k,p), where p = prime(n).

Original entry on oeis.org

20, 94556602, 444, 104, 77, 3504, 1107, 104, 2948, 903, 77, 1752, 77, 104, 370

Offset: 1

Alexander Adamchuk, Mar 24 2007, Mar 26 2007

Generalized harmonic numbers are defined as H(m,k) = Sum_{i=1..m} 1/i^k. Alternating generalized harmonic numbers are defined as H'(m,k) = Sum_{i=1..m} (-1)^(i+1)*1/i^k.
a(18)..a(24) = {77,104,77,136,104,370,136}. a(26)..a(27) = {77,104}.
a(n) is currently unknown for n = {16,17,25,...}. See more details in Comments at A128672 and A125581.

			a(2) = A128673(1) = 94556602.

Eric Weisstein's World of Mathematics, Harmonic Number

Cf. A128670, A001008, A002805, A058313, A058312, A007406, A007407, A119682, A007410, A120296, A125581, A126196, A126197, A128672, A128673, A128674, A128675, A128676.

a(n) = A128670(prime(n)).

a(9) = 2948 and a(12) = 1752 from Max Alekseyev

Edited by Max Alekseyev, Feb 20 2019

cp's OEIS Frontend

A128672 Numbers m such that m^k does not divide the denominator of the m-th generalized harmonic number H(m,k) nor the denominator of the m-th alternating generalized harmonic number H'(m,k), for k = 2.

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Mathematica

Extensions

A128673 Numbers m such that m^k does not divide the denominator of the m-th generalized harmonic number H(m,k) nor the denominator of the m-th alternating generalized harmonic number H'(m,k), for k = 3.

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Mathematica

A128671 Least number k > 0 such that k^p does not divide the denominator of generalized harmonic number H(k,p) nor the denominator of alternating generalized harmonic number H'(k,p), where p = prime(n).

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Formula

Extensions