A077610 -id:A077610 - cp's OEIS frontend

A374783 Numerator of the mean unitary abundancy index of the unitary divisors of n.

1, 5, 7, 9, 11, 35, 15, 17, 19, 11, 23, 21, 27, 75, 77, 33, 35, 95, 39, 99, 5, 115, 47, 119, 51, 135, 55, 135, 59, 77, 63, 65, 161, 175, 33, 19, 75, 195, 63, 187, 83, 25, 87, 207, 209, 235, 95, 77, 99, 51, 245, 243, 107, 275, 23, 255, 91, 295, 119, 231, 123, 315

Offset: 1

Amiram Eldar, Jul 20 2024

The unitary abundancy index of a number k is A034448(k)/k = A332882(k)/A332883(k).
The record values of a(n)/A374784(n) are attained at the primorial numbers (A002110).
The least number k such that a(k)/A374784(k) is larger than 2, 3, 4, ..., is A002110(9) = 223092870, A002110(314) = 7.488... * 10^878, A002110(65599) = 5.373... * 10^356774, ... .

			For n = 4, 4 has 2 unitary divisors, 1 and 4. Their unitary abundancy indices are usigma(1)/1 = 1 and usigma(4)/4 = 5/4, and their mean unitary abundancy index is (1 + 5/4)/2 = 9/8. Therefore a(4) = numerator(9/8) = 9.

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

Cf. A002110, A005117, A034444, A034448, A077610, A306633, A332882, A332883, A343525, A374784 (denominators).

Similar sequences: A374777/A374778, A374786/A374787.

f[p_, e_] := 1 + 1/(2*p^e); a[1] = 1; a[n_] := Numerator[Times @@ f @@@ FactorInteger[n]]; Array[a, 100]

a(n) = {my(f = factor(n)); numerator(prod(i = 1, #f~, 1 + 1/(2*f[i,1]^f[i,2])));}

Let f(n) = a(n)/A374784(n). Then:
f(n) = (Sum_{d|n, gcd(d, n/d) = 1} usigma(d)/d) / ud(n), where usigma(n) is the sum of unitary divisors of n (A034448), and ud(n) is their number (A034444).
f(n) is multiplicative with f(p^e) = 1 + 1/(2*p^e).
f(n) = (Sum_{d|n, gcd(d, n/d) = 1} d*ud(d))/(n*ud(n)) = A343525(n)/(n*A034444(n)).
Dirichlet g.f. of f(n): zeta(s) * zeta(s+1) * Product_{p prime} (1 - 1/(2*p^(s+1)) - 1/(2*p^(2*s+1))).
Asymptotic mean: Limit_{m->oo} (1/m) * Sum_{k=1..m} f(k) = Product_{p prime} (1 + 1/(2*p*(p+1))) = 1.17443669198552182119... . For comparison, the asymptotic mean of the unitary abundancy index over all the positive integers is zeta(2)/zeta(3) = 1.368432... (A306633).
Lim sup_{n->oo} f(n) = oo (i.e., f(n) is unbounded).
f(n) <= A374777(n)/A374778(n) with equality if and only if n is squarefree (A005117).

A374784 Denominator of the mean unitary abundancy index of the unitary divisors of n.

Original entry on oeis.org

1, 4, 6, 8, 10, 24, 14, 16, 18, 8, 22, 16, 26, 56, 60, 32, 34, 72, 38, 80, 4, 88, 46, 96, 50, 104, 54, 112, 58, 48, 62, 64, 132, 136, 28, 16, 74, 152, 52, 160, 82, 16, 86, 176, 180, 184, 94, 64, 98, 40, 204, 208, 106, 216, 20, 224, 76, 232, 118, 160, 122, 248

Offset: 1

Amiram Eldar, Jul 20 2024

			For n = 4, 4 has 2 unitary divisors, 1 and 4. Their unitary abundancy indices are usigma(1)/1 = 1 and usigma(4)/4 = 5/4, and their mean unitary abundancy index is (1 + 5/4)/2 = 9/8. Therefore a(4) = denominator(9/8) = 8.

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

Cf. A034444, A034448 (usigma), A077610, A374783 (numerators).

Similar sequences: A374777/A374778, A374786/A374787.

f[p_, e_] := 1 + 1/(2*p^e); a[1] = 1; a[n_] := Denominator[Times @@ f @@@ FactorInteger[n]]; Array[a, 100]

a(n) = {my(f = factor(n)); denominator(prod(i = 1, #f~, 1 + 1/(2*f[i,1]^f[i,2])));}

A379027 Irregular table read by rows in which the n-th row lists the modified exponential divisors of n.

Original entry on oeis.org

1, 1, 2, 1, 3, 1, 4, 1, 5, 1, 2, 3, 6, 1, 7, 1, 2, 8, 1, 9, 1, 2, 5, 10, 1, 11, 1, 3, 4, 12, 1, 13, 1, 2, 7, 14, 1, 3, 5, 15, 1, 16, 1, 17, 1, 2, 9, 18, 1, 19, 1, 4, 5, 20, 1, 3, 7, 21, 1, 2, 11, 22, 1, 23, 1, 2, 3, 6, 8, 24, 1, 25, 1, 2, 13, 26, 1, 3, 27, 1, 4, 7, 28

Offset: 1

Amiram Eldar, Dec 14 2024

If the prime factorization of n is Product_{i} p_i^e_i, then the modified exponential divisors of n are all the divisors of n that are of the form Product_{i} p_i^b_i such that 1 + b_i | 1 + e_i for all i.

			The table starts:
  1;
  1, 2;
  1, 3;
  1, 4;
  1, 5;
  1, 2, 3, 6;
  1, 7;
  1, 2, 8;
  1, 9;
  1, 2, 5, 10;
  1, 11;
  1, 3, 4, 12;

Amiram Eldar, Table of n, a(n) for n = 1..11627 (first 2000 rows)
Andrew V. Lelechenko, The Quest for the Generalized Perfect Numbers, Theoretical and Applied Aspects of Cybernetics, Proceedings, The 4th International Scientific Conference of Students and Young Scientists, Kyiv, 2014.
David Moews, Perfect, amicable and sociable numbers.

Cf. A379028 (row lengths), A241405 (row sums).

Similar tables: A027750 (all divisors), A077609 (infinitary), A077610 (unitary), A222266 (bi-unitary), A322791 (exponential), A361255 (exponential unitary).

modexpDivQ[n_, d_] := Module[{f = FactorInteger[n]}, And @@ MapThread[Divisible, {f[[;; , 2]] + 1, IntegerExponent[d, f[[;; , 1]]] + 1}]]; row[1] = {1}; row[n_] := Select[Divisors[n], modexpDivQ[n, #] &]; Table[row[n], {n, 1, 28}] // Flatten

ismodexpdiv(f, d) = {my(e); for(i=1, #f~, e = valuation(d, f[i, 1]); if((f[i, 2]+1) % (e+1), return(0))); 1; }
row(n) = {my(f = factor(n), d = divisors(f), mediv = [1]); if(n == 1, return(mediv)); for(i=2, #d, if(ismodexpdiv(f, d[i]), mediv = concat(mediv, d[i]))); mediv; }

A380395 The number of unitary divisors of n that are cubes.

Original entry on oeis.org

1, 1, 1, 1, 1, 1, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1

Offset: 1

Amiram Eldar, Jan 23 2025

First differs from A318672 at n = 64.

The sum of unitary divisors of n that are cubes is A380396(n).

			a(8) = 2 since 8 has 2 unitary divisors that are cubes, 1 = 1^3 and 8 = 2^3.
a(216) = 4 since 216 has 4 unitary divisors that are cubes, 1 = 1^3, 8 = 2^3, 27 = 3^3 and 216 = 6^3.

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

Cf. A000578, A046100, A056624, A061704, A077610, A307427, A318672, A366761, A380396, A380397.

Cf. A002117, A013662.

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

a(n) = {my(f = factor(n)); prod(i = 1, #f~, 2^if(f[i, 2]%3, 0, 1));}

a(n) = Sum_{d|n, gcd(d, n/d) = 1} [d is cube], where [] is the Iverson bracket.
Multiplicative with a(p^e) = 2 is e is divisible by 3, and 1 otherwise.
a(n) = abs(A307427(n)).
a(n) = A061704(n) - A380397(n).
a(n) >= 1, with equality if and only if n is not in A366761.
a(n) <= A061704(n), with equality if and only if n is biquadratefree (A046100).
Dirichlet g.f.: zeta(s)*zeta(3*s)/zeta(4*s).
Asymptotic mean: Limit_{m->oo} (1/m) * Sum_{k=1..m} a(k) = zeta(3)/zeta(4) = 1.11062653532614811717... .
In general, the asymptotic mean of the number of unitary divisors of n that are m-th powers is zeta(m)/zeta(m+1), for m >= 2.

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).

A385195 The number of integers k from 1 to n such that the greatest divisor of k that is a unitary divisor of n is either 1 or 2.

Original entry on oeis.org

1, 2, 2, 3, 4, 4, 6, 7, 8, 8, 10, 6, 12, 12, 8, 15, 16, 16, 18, 12, 12, 20, 22, 14, 24, 24, 26, 18, 28, 16, 30, 31, 20, 32, 24, 24, 36, 36, 24, 28, 40, 24, 42, 30, 32, 44, 46, 30, 48, 48, 32, 36, 52, 52, 40, 42, 36, 56, 58, 24, 60, 60, 48, 63, 48, 40, 66, 48, 44

Offset: 1

Amiram Eldar, Jun 21 2025

			For n = 6, the greatest divisor of k that is a unitary divisor of 6 for k = 1 to 6 is 1, 2, 3, 2, 1 and 6, respectively. 4 of the values are either 1 or 2, and therefore a(6) = 4.

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

The unitary analog of A126246 (with respect to the definition "the number of integers k from 1 to n such that gcd(n,k) is either 1 or 2").
Cf. A065463, A077610, A138191, A384047.
The number of integers k from 1 to n such that the greatest divisor of k that is a unitary divisor of n is: A047994 (1), A384048 (squarefree), A384049 (cubefree), A384050 (powerful), A384051 (cubefull), A384052 (square), A384053 (cube), A384054 (exponentially odd), A384055 (odd), A384056 (power of 2), A384057 (3-smooth), A384058 (5-rough), this sequence (1 or 2), A385196 (prime), A385197 (noncomposite), A385198 (prime power), A385199 (1 or prime power).

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

a(n) = {my(f = factor(n)); prod(i = 1, #f~,f[i,1]^f[i,2] - if(f[i,1] == 2 && f[i,2] == 1, 0, 1));}

Multiplicative with a(p^e) = 2 if p = 2 and e = 1, and p^e - 1 otherwise.
In general, the number of integers k from 1 to n such that ugcd(n, k), the greatest divisor of k that is a unitary divisor of n, is either 1 or a prime power q is a multiplicative function f(n) with f(p^e) = q if p^e = q, and p^e - 1 otherwise.
a(n) = A138191(n) * A047994(n), i.e., a(n) = 2*A047994(n) if n == 2 (mod 4) and A047994(n) otherwise.
In general, the number of integers k from 1 to n such that ugcd(n, k) is either 1 or a prime power q is (q/(q-1))*A047994(n) if q is a unitary divisor of n, and A047994(n) otherwise.
Sum_{k=1..n} a(k) ~ (23/40) * c * n^2, where c = Product_{p prime} (1 - 1/(p*(p+1))) = A065463.
In general, the average order of the number of integers k from 1 to n such that ugcd(n, k) is either 1 or a prime p is ((p^4+p^3-1)/(p^4+p^3-p^2)) * c * n^2 / 2, where c = A065463.

A385196 The number of integers k from 1 to n such that the greatest divisor of k that is a unitary divisor of n is a prime number.

Original entry on oeis.org

0, 1, 1, 0, 1, 3, 1, 0, 0, 5, 1, 3, 1, 7, 6, 0, 1, 8, 1, 3, 8, 11, 1, 7, 0, 13, 0, 3, 1, 14, 1, 0, 12, 17, 10, 0, 1, 19, 14, 7, 1, 20, 1, 3, 8, 23, 1, 15, 0, 24, 18, 3, 1, 26, 14, 7, 20, 29, 1, 18, 1, 31, 8, 0, 16, 32, 1, 3, 24, 34, 1, 0, 1, 37, 24, 3, 16, 38

Offset: 1

Amiram Eldar, Jun 21 2025

			For n = 6, the greatest divisor of k that is a unitary divisor of 6 for k = 1 to 6 is 1, 2, 3, 2, 1 and 6, respectively. 3 of the values are primes, and therefore a(6) = 3.

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

The unitary analog of A117494.
Cf. A010051, A047994, A065463, A077610, A384047.
The number of integers k from 1 to n such that the greatest divisor of k that is a unitary divisor of n is: A047994 (1), A384048 (squarefree), A384049 (cubefree), A384050 (powerful), A384051 (cubefull), A384052 (square), A384053 (cube), A384054 (exponentially odd), A384055 (odd), A384056 (power of 2), A384057 (3-smooth), A384058 (5-rough), A385195 (1 or 2), this sequence (prime), A385197 (noncomposite), A385198 (prime power), A385199 (1 or prime power).

f[p_, e_] := p^e - 1; a[1] = 0; a[n_] := Module[{fct = FactorInteger[n]}, (Times @@ f @@@ fct)*(Total[Boole[# == 1] & /@ fct[[;; , 2]]/(fct[[;; , 1]] - 1)])]; Array[a, 100]

a(n) = {my(f = factor(n)); prod(i = 1, #f~, f[i,1]^f[i,2]-1) * sum(i = 1, #f~, (f[i,2] == 1)/(f[i,1] - 1));}

from sympy.ntheory import factorint
from sympy import Rational
def a(n: int) -> int:
    if n == 1: return 0
    S, P, F = 0, 1, factorint(n)
    for p, e in F.items():
        P *= p**e - 1
        if e == 1: S += Rational(1, p - 1)
    return int(P * S)
print([a(n) for n in range(1, 79)])  # Peter Luschny, Jun 22 2025

The unitary convolution of A047994 (the unitary totient phi) with A010051 (the characteristic function of prime numbers): a(n) = Sum_{d | n, gcd(d, n/d) == 1} A047994(d) * A010051(n/d).
a(n) = uphi(n) * Sum_{p || n} (1/(p-1)), where uphi = A047994, and p || n denotes that p unitarily divides n (i.e., the p-adic valuation of n is 1).
a(n) = A385197(n) - A047994(n).
Sum_{k=1..n} a(k) ~ c * n^2 / 2, where c = c1 * c2 = 0.21890744964919019488..., c1 = Product_{p prime}(1 - 1/(p*(p+1))) = A065463, and c2 = Sum_{p prime}((p^2-1)/(p^2*(p^2+p-1))) = 0.31075288978811405615... .

A385197 The number of integers k from 1 to n such that the greatest divisor of k that is a unitary divisor of n is a noncomposite number.

Original entry on oeis.org

1, 2, 3, 3, 5, 5, 7, 7, 8, 9, 11, 9, 13, 13, 14, 15, 17, 16, 19, 15, 20, 21, 23, 21, 24, 25, 26, 21, 29, 22, 31, 31, 32, 33, 34, 24, 37, 37, 38, 35, 41, 32, 43, 33, 40, 45, 47, 45, 48, 48, 50, 39, 53, 52, 54, 49, 56, 57, 59, 42, 61, 61, 56, 63, 64, 52, 67, 51

Offset: 1

Amiram Eldar, Jun 21 2025

			For n = 6, the greatest divisor of k that is a unitary divisor of 6 for k = 1 to 6 is 1, 2, 3, 2, 1 and 6, respectively. 5 of the values are noncomposite numbers, and therefore a(6) = 5.

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

The unitary analog of A349338.
Cf. A047994, A065463, A077610, A080339, A384047.
The number of integers k from 1 to n such that the greatest divisor of k that is a unitary divisor of n is: A047994 (1), A384048 (squarefree), A384049 (cubefree), A384050 (powerful), A384051 (cubefull), A384052 (square), A384053 (cube), A384054 (exponentially odd), A384055 (odd), A384056 (power of 2), A384057 (3-smooth), A384058 (5-rough), A385195 (1 or 2), A385196 (prime), this sequence (noncomposite), A385198 (prime power), A385199 (1 or prime power).

f[p_, e_] := p^e - 1; a[1] = 1; a[n_] := Module[{fct = FactorInteger[n]}, (Times @@ f @@@ fct)*(1 + Total[Boole[# == 1] & /@ fct[[;; , 2]]/(fct[[;; , 1]] - 1)])]; Array[a, 100]

a(n) = {my(f = factor(n)); prod(i = 1, #f~, f[i,1]^f[i,2]-1) * (1 + sum(i = 1, #f~, (f[i,2] == 1)/(f[i,1] - 1)));}

The unitary convolution of A047994 (the unitary totient phi) with A080339 (the characteristic function of noncomposite numbers): a(n) = Sum_{d | n, gcd(d, n/d) == 1} A047994(d) * A080339(n/d).
a(n) = uphi(n) * (1 + Sum_{p || n} (1/(p-1))), where uphi = A047994, and p || n denotes that p unitarily divides n (i.e., the p-adic valuation of n is 1).
a(n) = A385196(n) + A047994(n).
Sum_{k=1..n} a(k) ~ c * n^2 / 2, where c = c1 * c2 = 0.92334965064835578762..., c1 = Product_{p prime}(1 - 1/(p*(p+1))) = A065463, and c2 = 1 + Sum_{p prime}((p^2-1)/(p^2*(p^2+p-1))) = 1.31075288978811405615... .

A385199 The number of integers k from 1 to n such that the greatest divisor of k that is either 1 or a prime power (A000961).

Original entry on oeis.org

1, 2, 3, 4, 5, 5, 7, 8, 9, 9, 11, 11, 13, 13, 14, 16, 17, 17, 19, 19, 20, 21, 23, 23, 25, 25, 27, 27, 29, 22, 31, 32, 32, 33, 34, 35, 37, 37, 38, 39, 41, 32, 43, 43, 44, 45, 47, 47, 49, 49, 50, 51, 53, 53, 54, 55, 56, 57, 59, 50, 61, 61, 62, 64, 64, 52, 67, 67

Offset: 1

Amiram Eldar, Jun 21 2025

			For n = 6, the greatest divisor of k that is a unitary divisor of 6 for k = 1 to 6 is 1, 2, 3, 2, 1 and 6, respectively. 5 of the values are either 1 or a prime power, and therefore a(6) = 5.

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

The unitary analog of A131233.
Cf. A000961, A010055, A065463, A077610, A384047.
The number of integers k from 1 to n such that the greatest divisor of k that is a unitary divisor of n is: A047994 (1), A384048 (squarefree), A384049 (cubefree), A384050 (powerful), A384051 (cubefull), A384052 (square), A384053 (cube), A384054 (exponentially odd), A384055 (odd), A384056 (power of 2), A384057 (3-smooth), A384058 (5-rough), A385195 (1 or 2), A385196 (prime), A385197 (noncomposite), A385198 (prime power), this sequence (1 or prime power).

f[p_, e_] := p^e - 1; a[1] = 1; a[n_] := Module[{fct = FactorInteger[n]}, (Times @@ f @@@ fct) * (1 + Total[1/f @@@ fct])]; Array[a, 100]

a(n) = {my(f = factor(n)); prod(i = 1, #f~, f[i,1]^f[i,2]-1) * (1 + sum(i = 1, #f~, 1/(f[i,1]^f[i,2] - 1)));}

The unitary convolution of A047994 (the unitary totient phi) with A010055 (the characteristic function of 1 and prime powers): a(n) = Sum_{d | n, gcd(d, n/d) == 1} A047994(d) * A010055(n/d).
a(n) = uphi(n) * (1 + Sum_{p^e || n} (1/(p^e-1))), where uphi = A047994, and p^e || n denotes that the prime power p^e unitarily divides n (i.e., p^e divides n but p^(e+1) does not divide n).
a(n) = A385198(n) + A047994(n).
Sum_{k=1..n} a(k) ~ c * n^2 / 2, where c = c1 * c2 = 0.96700643911290683406......, c1 = Product_{p prime}(1 - 1/(p*(p+1))) = A065463, and c2 = (1 + Sum_{p prime}(1/(p^2+p-1))) = 1.37272644617447080939... .

A306010 Let S(m) = d(k)/d(1) + ... + d(1)/d(k), where d(1)..d(k) are the unitary divisors of m; then a(n) is the number m when the sums S(m) are arranged in increasing order.

Original entry on oeis.org

1, 2, 3, 4, 5, 7, 8, 6, 9, 11, 10, 13, 12, 16, 17, 15, 14, 19, 20, 18, 23, 21, 25, 27, 24, 22, 29, 28, 31, 32, 26, 33, 37, 35, 36, 41, 40, 34, 43, 30, 39, 47, 44, 45, 38, 49, 53, 48, 52, 51, 46, 55, 56, 59, 42, 61, 50, 57, 64, 63, 67, 54, 65, 71, 68, 58, 73

Offset: 1

Clark Kimberling, Jun 16 2018

nonn

This is a permutation of the positive integers.

			The first 8 pairs {m,S(m)} are {1, 1}, {2, 5/2}, {3, 10/3}, {4, 17/4}, {5, 26/5}, {6, 25/3}, {7, 50/7}, {8, 65/8}. When the numbers S(m) are arranged in increasing order, the pairs are {1, 1}, {2, 5/2}, {3, 10/3}, {4, 17/4}, {5, 26/5}, {7, 50/7}, {8, 65/8}, {6, 25/3}, so that the first 8 terms of (a(n)) are 1,2,3,4,5,7,8,6.

Cf. A077610, A229994, A229996, A305995, A306011, A306012.

z = 100; r[n_] := Select[Divisors[n], GCD[#, n/#] == 1 &];
k[n_] := Length[r[n]];
t[n_] := Table[r[n][[k[n] + 1 - i]]/r[n][[k[1] + i - 1]], {i, 1, k[n]}];
s = Table[{n, Total[t[n]]}, {n, 1, z}]
v = SortBy[s, Last]
v1 = Table[v[[n]][[1]], {n, 1, z}]  (* A306010 *)
w = Table[v[[n]][[2]], {n, 1, z}];
Numerator[w]    (* A306011 *)
Denominator[w]  (* A306012 *)

cp's OEIS Frontend

A374783 Numerator of the mean unitary abundancy index of the unitary divisors of n.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

PARI

Formula

A374784 Denominator of the mean unitary abundancy index of the unitary divisors of n.

Views

Author

Keywords

Examples

Links

Crossrefs

Programs

Mathematica

PARI

A379027 Irregular table read by rows in which the n-th row lists the modified exponential divisors of n.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

PARI

A380395 The number of unitary divisors of n that are cubes.

Views

Author

Keywords

Comments

Examples

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

A385195 The number of integers k from 1 to n such that the greatest divisor of k that is a unitary divisor of n is either 1 or 2.

Views

Author

Keywords

Examples

Links

Crossrefs

Programs

Mathematica

PARI

Formula

A385196 The number of integers k from 1 to n such that the greatest divisor of k that is a unitary divisor of n is a prime number.

Views

Author

Keywords

Examples

Links

Crossrefs

Programs

Mathematica

PARI