A365499 -id:A365499 - cp's OEIS frontend

A365498 Dirichlet g.f.: zeta(s) * Product_{p prime} (1 + 1/p^s - 1/p^(3*s)).

1, 2, 2, 2, 2, 4, 2, 1, 2, 4, 2, 4, 2, 4, 4, 1, 2, 4, 2, 4, 4, 4, 2, 2, 2, 4, 1, 4, 2, 8, 2, 1, 4, 4, 4, 4, 2, 4, 4, 2, 2, 8, 2, 4, 4, 4, 2, 2, 2, 4, 4, 4, 2, 2, 4, 2, 4, 4, 2, 8, 2, 4, 4, 1, 4, 8, 2, 4, 4, 8, 2, 2, 2, 4, 4, 4, 4, 8, 2, 2, 1, 4, 2, 8, 4, 4, 4

Offset: 1

Vaclav Kotesovec, Sep 06 2023

The number of unitary divisors of n that are cubefree numbers (A004709). - Amiram Eldar, Sep 06 2023

Vaclav Kotesovec, Table of n, a(n) for n = 1..10000
Jon Maiga, Computer-generated formulas for A365498, Sequence Machine.

Cf. A001620, A004709, A056671, A365488, A365499.

Cf. A034444, A158522, A190867, A286324, A307428, A368172, A368248, A368885, A369310.

f[p_, e_] := If[e <= 2, 2, 1]; a[1] = 1; a[n_] := Times @@ f @@@ FactorInteger[n]; Array[a, 100] (* Amiram Eldar, Sep 06 2023 *)

for(n=1, 100, print1(direuler(p=2, n, 1/(1-X) * (1 + X - X^3))[n], ", "))

Dirichlet g.f.: zeta(s)^2 * Product_{p prime} (1 - 1/p^(2*s) - 1/p^(3*s) + 1/p^(4*s)).
Let f(s) = Product_{p prime} (1 - 1/p^(2*s) - 1/p^(3*s) + 1/p^(4*s)).
Sum_{k=1..n} a(k) ~ f(1) * n * (log(n) + 2*gamma - 1 + f'(1)/f(1)), where
f(1) = Product_{p prime} (1 - 1/p^2 - 1/p^3 + 1/p^4) = 0.5358961538283379998085026313185459506482223745141452711510108346133288...,
f'(1) = f(1) * Sum_{p prime} (-4 + 3*p + 2*p^2) * log(p) / (1 - p - p^2 + p^4) = f(1) * 1.4525924794451595590371439593828547341482465114411929136723476679...
and gamma is the Euler-Mascheroni constant A001620.
Multiplicative with a(p^e) = 2 if e <= 2, and 1 otherwise. - Amiram Eldar, Sep 06 2023
From Vaclav Kotesovec, Jan 27 2025: (Start)
Following formulas have been conjectured for this sequence by Sequence Machine, with each one giving the first 1000000 terms correctly:
a(n) = A056671(n) * A368885(n).
a(n) = A034444(n) / A368248(n).
a(n) = A158522(n) / A307428(n).
a(n) = A369310(n) / A190867(n).
a(n) = A286324(n) / A368172(n). (End)

A385049 The sum of the unitary divisors of n that are biquadratefree numbers (A046100).

Original entry on oeis.org

1, 3, 4, 5, 6, 12, 8, 9, 10, 18, 12, 20, 14, 24, 24, 1, 18, 30, 20, 30, 32, 36, 24, 36, 26, 42, 28, 40, 30, 72, 32, 1, 48, 54, 48, 50, 38, 60, 56, 54, 42, 96, 44, 60, 60, 72, 48, 4, 50, 78, 72, 70, 54, 84, 72, 72, 80, 90, 60, 120, 62, 96, 80, 1, 84, 144, 68, 90

Offset: 1

Amiram Eldar, Jun 16 2025

First differs from A383763 at n = 32.

The number of these divisors is A365499(n), and the largest of them is A385007(n).

D. Suryanarayana, The number and sum of k-free integers <= x which are prime to n, Indian J. Math., Vol. 11 (1969), pp. 131-139.

Amiram Eldar, Table of n, a(n) for n = 1..10000
Francesco Pappalardi, A survey on k-freeness, Number Theory, Ramanujan Math. Soc. Lect. Notes Ser., Vol. 1 (2003), pp. 71-88.

The unitary analog of A385006.
Cf. A036967, A046100, A365499, A385007.
The sum of unitary divisors of n that are: A092261 (squarefree), A192066 (odd), A358346 (exponentially odd), A358347 (square), A360720 (powerful), A371242 (cubefree), A380396 (cube), A383763 (exponentially squarefree), A385043 (exponentially 2^n), A385045 (5-rough), A385046 (3-smooth), A385047 (power of 2), A385048 (cubefull), this sequence (biquadratefree).

f[p_, e_] := If[e < 4, p^e + 1, 1]; a[1] = 1; a[n_] := Times @@ f @@@ FactorInteger[n]; Array[a, 100]

a(n) = {my(f = factor(n)); prod(i = 1, #f~, if(f[i, 2] < 4, f[i, 1]^f[i, 2] + 1, 1)); }

Multiplicative with a(p^e) = p^e + 1 for e <= 3, and a(p^e) = 1 for e >= 4.
a(n) = 1 if and only if n is 4-full (A036967).
a(n) <= A034448(n), with equality if and only if n is biquadratefree.
Dirichlet g.f.: zeta(s) * Product_{p prime} (1 + 1/p^(s-1) + 1/p^(2*s-2) - 1/p^(2*s-1) + 1/p^(3*s-3) - 1/p^(3*s-2) - 1/p^(4*s-3)).
Sum_{k=1..n} a(k) ~ c * n^2 / 2, where c = Product_{p prime} (1 + 1/(p^2 + p) - 1/p^4) = 1.27769267395905900191... .

A383159 The sum of the maximum exponents in the prime factorizations of the unitary divisors of n.

Original entry on oeis.org

0, 1, 1, 2, 1, 3, 1, 3, 2, 3, 1, 5, 1, 3, 3, 4, 1, 5, 1, 5, 3, 3, 1, 7, 2, 3, 3, 5, 1, 7, 1, 5, 3, 3, 3, 6, 1, 3, 3, 7, 1, 7, 1, 5, 5, 3, 1, 9, 2, 5, 3, 5, 1, 7, 3, 7, 3, 3, 1, 11, 1, 3, 5, 6, 3, 7, 1, 5, 3, 7, 1, 8, 1, 3, 5, 5, 3, 7, 1, 9, 4, 3, 1, 11, 3, 3, 3

Offset: 1

Amiram Eldar, Apr 18 2025

First differs from A032741 at n = 36, and from A305611 and A325770 at n = 30.

a(n) depends only on the prime signature of n (A118914).

			4 has 2 unitary divisors: 1 and 4 = 2^2. The maximum exponents in their prime factorizations are 0 and 2, respectively. Therefore, a(4) = 0 + 2 = 2.
12 has 4 divisors: 1, 3 = 3^1, 4 = 2^2 and 12 = 2^2 * 3. The maximum exponents in their prime factorizations are 0, 1, 2 and 2, respectively. Therefore, a(12) = 0 + 1 + 2 + 2 = 5.

Amiram Eldar, Table of n, a(n) for n = 1..10000
Amiram Eldar, Plot of abs((Sum_{k=1..n} a(k))/(c_1*n*log(n) + c_2*n) - 1) for n = 10^(1..10).

The unitary version of A383156.
Cf. A005117, A034444, A051903, A056671, A077610, A365498, A365499, A383160, A383161.
Cf. A032741, A305611, A325770.

emax[n_] := If[n == 1, 0, Max[FactorInteger[n][[;; , 2]]]]; a[n_] := DivisorSum[n, emax[#] &, CoprimeQ[#, n/#] &]; Array[a, 100]
(* second program: *)
a[n_] := If[n == 1, 0, Module[{e = FactorInteger[n][[;; , 2]], emax, v}, emax = Max[e]; v = Table[Times @@ (If[# < k + 1, 2, 1] & /@ e), {k, 1, emax}]; v[[1]] + Sum[k*(v[[k]] - v[[k - 1]]), {k, 2, emax}] - 1]]; Array[a, 100]

emax(n) = if(n == 1, 0, vecmax(factor(n)[,2]));
a(n) = sumdiv(n, d, (gcd(d, n/d) == 1) * emax(d));

a(n) = if(n == 1, 0, my(e = factor(n)[, 2], emax = vecmax(e), v); v = vector(emax, k, vecprod(apply(x ->if(x < k+1, 2, 1), e))); v[1] + sum(k = 2, emax, k * (v[k]-v[k-1])) - 1);

a(n) = Sum_{d|n, gcd(d, n/d) = 1} A051903(d).
a(n) = A034444(n) * A383160(n)/A383161(n).
a(n) <= A383156(n), with equality if and only if n is squarefree (A005117).
a(n) = utau(n, 2) - 1 + Sum_{k=2..A051903(n)} k * (utau(n, k+1) - utau(n, k)), where utau(n, k) is the number of k-free unitary divisors of n (k-free numbers are numbers that are not divisible by a k-th power other than 1). For a given k >= 2, utau(n, k) is a multiplicative function with utau(p^e, k) = 2 if e < k, and 1 otherwise. E.g., utau(n, 2) = A056671(n), utau(n, 3) = A365498(n), and utau(n, 4) = A365499(n).
Sum_{k=1..n} a(k) ~ c_1 * n * log(n) + c_2 * n, where c_1 = c(2) + Sum_{k>=3} (k-1) * (c(k) - c(k-1)) = 0.91974850283445458744..., c(k) = Product_{p prime} (1 - 1/p^2 - 1/p^k + 1/p^(k+1)), c_2 = -1 + (2*gamma - 1)*c_1 + d(2) + Sum_{k>=3} (k-1) * (d(k) - d(k-1)) = -0.50780794945146599739..., d(k) = c(k) * Sum_{p prime} (2*p^(k-1) + k*p - k - 1) * log(p) / (p^(k+1) - p^(k-1) - p + 1), and gamma is Euler's constant (A001620).

A365491 The number of divisors of the smallest number whose 4th power is divisible by n.

Original entry on oeis.org

1, 2, 2, 2, 2, 4, 2, 2, 2, 4, 2, 4, 2, 4, 4, 2, 2, 4, 2, 4, 4, 4, 2, 4, 2, 4, 2, 4, 2, 8, 2, 3, 4, 4, 4, 4, 2, 4, 4, 4, 2, 8, 2, 4, 4, 4, 2, 4, 2, 4, 4, 4, 2, 4, 4, 4, 4, 4, 2, 8, 2, 4, 4, 3, 4, 8, 2, 4, 4, 8, 2, 4, 2, 4, 4, 4, 4, 8, 2, 4, 2, 4, 2, 8, 4, 4, 4

Offset: 1

Amiram Eldar, Sep 05 2023

First differs from A365210 at n = 25 and from A034444 at n = 32.

The number of divisors of the smallest 4th divisible by n, A053167(n), is A365492(n).

Amiram Eldar, Table of n, a(n) for n = 1..10000
Vaclav Kotesovec, Graph - the asymptotic ratio (100000 terms).

Cf. A000005, A001620, A005117, A053166, A053167, A365492, A365499.

Cf. A019554, A034444, A322483, A365210.

f[p_, e_] := Ceiling[e/4] + 1; a[1] = 1; a[n_] := Times @@ f @@@ FactorInteger[n]; Array[a, 100]
With[{c=Range[100]^4},Table[DivisorSigma[0,Surd[SelectFirst[c,Mod[#,n]==0&],4]],{n,90}]] (* Harvey P. Dale, Jul 09 2024 *)

a(n) = vecprod(apply(x -> (x-1)\4 + 2, factor(n)[, 2]));

a(n) = A000005(A053166(n)).
Multiplicative with a(p^e) = ceiling(e/4) + 1.
a(n) <= A000005(n) with equality if and only if n is squarefree (A005117).
Dirichlet g.f.: zeta(s) * zeta(4*s) * Product_{p prime} (1 + 1/p^s - 1/p^(4*s)).
From Vaclav Kotesovec, Sep 06 2023: (Start)
Dirichlet g.f.: zeta(s)^2 * zeta(4*s) * Product_{p prime} (1 - 1/p^(2*s) - 1/p^(4*s) + 1/p^(5*s)).
Let f(s) = Product_{p prime} (1 - 1/p^(2*s) - 1/p^(4*s) + 1/p^(5*s)).
Sum_{k=1..n} a(k) ~ zeta(4) * f(1) * n * (log(n) + 2*gamma - 1 + 4*zeta'(4)/zeta(4) + f'(1)/f(1)), where
f(1) = Product_{p prime} (1 - 1/p^2 - 1/p^4 + 1/p^5) = 0.57615273538566705952061107826411727540624711680289618854325028459572487...,
f'(1) = f(1) * Sum_{p prime} (-5 + 4*p + 2*p^3) * log(p) / (1 - p - p^3 + p^5) = f(1) * 1.3011434396559802378314782600747661399223385669839998680418996210...
and gamma is the Euler-Mascheroni constant A001620. (End)
a(n) = A322483(A019554(n)) (the number of exponentially odd divisors of the smallest number whose square is divisible by n). - Amiram Eldar, Sep 08 2023

A383762 The number of unitary divisors of n that are exponentially squarefree numbers.

Original entry on oeis.org

1, 2, 2, 2, 2, 4, 2, 2, 2, 4, 2, 4, 2, 4, 4, 1, 2, 4, 2, 4, 4, 4, 2, 4, 2, 4, 2, 4, 2, 8, 2, 2, 4, 4, 4, 4, 2, 4, 4, 4, 2, 8, 2, 4, 4, 4, 2, 2, 2, 4, 4, 4, 2, 4, 4, 4, 4, 4, 2, 8, 2, 4, 4, 2, 4, 8, 2, 4, 4, 8, 2, 4, 2, 4, 4, 4, 4, 8, 2, 2, 1, 4, 2, 8, 4, 4, 4

Offset: 1

Amiram Eldar, May 09 2025

First differs from A365499 at n = 32.

The sum of these divisors is A383763(n) and the largest of them is A383764(n).

Amiram Eldar, Table of n, a(n) for n = 1..10000

Cf. A005117, A034444, A077610, A209061, A365499, A365680, A383763, A383764.

f[p_, e_] := If[SquareFreeQ[e], 2, 1]; a[1] = 1; a[n_] := Times @@ f @@@ FactorInteger[n]; Array[a, 100]

a(n) = vecprod(apply(x -> if(issquarefree(x), 2, 1), factor(n)[, 2]));

Multiplicative with a(p^e) = 2 if e is squarefree (A005117), and 1 otherwise.
a(n) <= A034444(n), with equality if and only if n is an exponentially squarefree number (A209061).
a(n) <= A365680(n), with equality if and only if n is a squarefree number.

A385042 The number of unitary divisors of n whose exponents in their prime factorizations are all powers of 2 (A138302).

Original entry on oeis.org

1, 2, 2, 2, 2, 4, 2, 1, 2, 4, 2, 4, 2, 4, 4, 2, 2, 4, 2, 4, 4, 4, 2, 2, 2, 4, 1, 4, 2, 8, 2, 1, 4, 4, 4, 4, 2, 4, 4, 2, 2, 8, 2, 4, 4, 4, 2, 4, 2, 4, 4, 4, 2, 2, 4, 2, 4, 4, 2, 8, 2, 4, 4, 1, 4, 8, 2, 4, 4, 8, 2, 2, 2, 4, 4, 4, 4, 8, 2, 4, 2, 4, 2, 8, 4, 4, 4

Offset: 1

Amiram Eldar, Jun 16 2025

First differs from A367515 at n = 128.

The sum of these divisors is A385043(n), and the largest of them is A367168(n).

Amiram Eldar, Table of n, a(n) for n = 1..10000

The unitary analog of A353898.
Cf. A005117, A034444, A138302, A209229, A367168, A367515, A385043.
The number of unitary divisors of n that are: A000034 (power of 2), A055076 (exponentially odd), A056624 (square), A056671 (squarefree), A068068 (odd), A323308 (powerful), A365498 (cubefree), A365499 (biquadratefree), A368248 (cubefull), A380395 (cube), A382488 (3-smooth), this sequence (exponentially 2^n), A385044 (5-rough).

f[p_, e_] := Boole[e == 2^IntegerExponent[e, 2]] + 1; a[ 1] = 1; a[n_] := Times @@ f @@@ FactorInteger[n]; Array[a, 100]

PARI
```
a(n) = vecprod(apply(x -> (x == 1<
				
```

Multiplicative with a(p^e) = A209229(e) + 1.
a(n) <= A034444(n), with equality if and only if n is in A138302.
a(n) <= A353898(n), with equality if and only if n is squarefree (A005117).

A385044 The number of unitary divisors of n that are 5-rough numbers (A007310).

Original entry on oeis.org

1, 1, 1, 1, 2, 1, 2, 1, 1, 2, 2, 1, 2, 2, 2, 1, 2, 1, 2, 2, 2, 2, 2, 1, 2, 2, 1, 2, 2, 2, 2, 1, 2, 2, 4, 1, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 1, 2, 2, 2, 2, 2, 1, 4, 2, 2, 2, 2, 2, 2, 2, 2, 1, 4, 2, 2, 2, 2, 4, 2, 1, 2, 2, 2, 2, 4, 2, 2, 2, 1, 2, 2, 2, 4, 2, 2

Offset: 1

Amiram Eldar, Jun 16 2025

The sum of these divisors is A385045(n), and the largest of them is A065330(n).

Amiram Eldar, Table of n, a(n) for n = 1..10000

The unitary analog of A035218.
Cf. A007310, A034444, A065330, A385045.
Cf. A001620, A013661, A306016.
The number of unitary divisors of n that are: A000034 (power of 2), A055076 (exponentially odd), A056624 (square), A056671 (squarefree), A068068 (odd), A323308 (powerful), A365498 (cubefree), A365499 (biquadratefree), A368248 (cubefull), A380395 (cube), A382488 (3-smooth), A385042 (exponentially 2^n), this sequence (5-rough).

f[p_, e_] := If[p <= 3, 1, 2]; a[1] = 1; a[n_] := Times @@ f @@@ FactorInteger[n]; Array[a, 100]

a(n) = vecprod(apply(x -> if(x <= 3, 1, 2), factor(n)[, 1]));

Multiplicative with a(p^e) = 1 if p <= 3, and 2 if p >= 5.
a(n) = A034444(n)/A382488(n).
a(n) <= A034444(n), with equality if and only if n is 5-rough.
a(n) <= A035218(n).
Dirichlet g.f.: (zeta(s)^2/zeta(2*s)) * (1/((1+1/2^s)*(1+1/3^s))).
Sum_{k=1..n} a(k) ~ (n / (2 * zeta(2))) *(log(n) + 2*gamma - 1 + log(2)/3 + log(3)/4 - 2*zeta'(2)/zeta(2)), where gamma is Euler's constant (A001620).

cp's OEIS Frontend

A365498 Dirichlet g.f.: zeta(s) * Product_{p prime} (1 + 1/p^s - 1/p^(3*s)).

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Mathematica

PARI

Formula

A385049 The sum of the unitary divisors of n that are biquadratefree numbers (A046100).

Views

Author

Keywords

Comments

References

Links

Crossrefs

Programs

Mathematica

PARI

Formula

A383159 The sum of the maximum exponents in the prime factorizations of the unitary divisors of n.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

PARI

PARI

Formula

A365491 The number of divisors of the smallest number whose 4th power is divisible by n.

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Mathematica

PARI

Formula

A383762 The number of unitary divisors of n that are exponentially squarefree numbers.

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Mathematica

PARI

Formula

A385042 The number of unitary divisors of n whose exponents in their prime factorizations are all powers of 2 (A138302).

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Mathematica

PARI

Formula

A385044 The number of unitary divisors of n that are 5-rough numbers (A007310).

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Mathematica

PARI