login
A348964
Exponential harmonic (or e-harmonic) numbers of type 2: numbers k such that the harmonic mean of the exponential divisors of k is an integer.
9
1, 2, 3, 5, 6, 7, 10, 11, 12, 13, 14, 15, 17, 18, 19, 21, 22, 23, 26, 29, 30, 31, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 46, 47, 51, 53, 55, 57, 58, 59, 60, 61, 62, 65, 66, 67, 69, 70, 71, 73, 74, 75, 77, 78, 79, 82, 83, 84, 85, 86, 87, 89, 90, 91, 93, 94
OFFSET
1,2
COMMENTS
Sándor (2006) proved that all the squarefree numbers are e-harmonic of type 2.
Equivalently, numbers k such that A348963(k) | k * A049419(k).
Apparently, most exponential harmonic numbers of type 1 (A348961) are also terms of this sequence. Those that are not exponential harmonic numbers of type 2 are 1936, 5808, 9680, 13552, 17424, 29040, ...
LINKS
Nicuşor Minculete, Contribuţii la studiul proprietăţilor analitice ale funcţiilor aritmetice - Utilizarea e-divizorilor, Ph.D. thesis, Academia Română, 2012. See section 4.3, pp. 90-94.
József Sándor, On exponentially harmonic numbers, Scientia Magna, Vol. 2, No. 3 (2006), pp. 44-47.
EXAMPLE
The squarefree numbers are trivial terms. If k is squarefree, then it has a single exponential divisor, k itself, and thus the harmonic mean of its exponential divisors is also k, which is an integer.
12 is a term since its exponential divisors are 6 and 12, and their harmonic mean, 8, is an integer.
MATHEMATICA
f[p_, e_] := p^e * DivisorSigma[0, e] / DivisorSum[e, p^(e-#) &]; ehQ[1] = True; ehQ[n_] := IntegerQ[Times @@ f @@@ FactorInteger[n]]; Select[Range[100], ehQ]
CROSSREFS
A005117 and A348965 are subsequences.
Similar sequences: A001599, A006086, A063947, A286325, A319745.
Sequence in context: A065872 A028741 A119316 * A349026 A336360 A102750
KEYWORD
nonn
AUTHOR
Amiram Eldar, Nov 05 2021
STATUS
approved