Questions tagged [arithmetic-functions]
An arithmetic function is one whose domain is the positive integers and whose range is a subset of the complex numbers. There are a number of important number-theoretic examples.
131 questions
4
votes
1
answer
256
views
First occurrence of formula for $\sum_{n\leq x} \mu(n) \log n$ in terms of $\psi(y)-\lfloor y\rfloor$?
The identity contained in the last two displayed equations in the following passage (from page 110 in Ayoub's An Introduction to the Analytic Theory of Numbers, 1963) gives us right away a simple ...
- 20.2k
4
votes
1
answer
322
views
A special kind of multiplicative function $f: \mathbb N \to \mathbb N$ such that $f(p)=p+k$ for all odd prime $p$, where $k>1$ is a fixed odd integer
For which odd positive integer $k$, can we find a multiplicative function $f: \mathbb N \to \mathbb N$ satisfying the following conditions :
$f(p)=p+k$ for all large enough odd prime $p$ and the set $...
user111524
4
votes
0
answers
151
views
Identities to go from $\sum_{n\leq x} \mu(n) \log \frac{x}{n}$ to $M(x) = \sum_{n\leq x} \mu(n)$?
Let $\mu$ be the Möbius function. Say we have a bound on $\check{M}(x) = \sum_{n\leq x} \mu(n) \log \frac{x}{n}$ of the form $|\check{M}(x)|\leq \epsilon x$ for all $x\geq x_0$.
It is then easy to ...
- 20.2k
4
votes
0
answers
121
views
Do all nonnegative integers appear in A051521?
For every positive integer $n$, $\tau(n)$ is the number of divisors of $n$. If we list the ratio of each positive integer $n$ to $\tau(n)$，they form a rational sequence
1,1,3/2,4/3,5/2,3/2,…
Because $\...
- 321
4
votes
0
answers
86
views
On Carmichael function and aliquot parts of odd perfect numbers
I've asked nine months ago this question on Mathematics Stack Exchange with identifier 4430381 and same title. There is not answer for this question on Mathematics Stack Exchange, I wondered if this ...
4
votes
0
answers
232
views
On the density of a particular subset of integers
Given a positive integer $n$ in the standard form
$$n=\prod_k p_k^{\alpha_k}$$
and the arithmetic function (investigated by Erdős in this paper)
$$A(n)=\sum_k \alpha_k p_k$$
let's define the subset $E$...
- 1,008
4
votes
0
answers
81
views
Joint mean values of arithmetic functions in sequences and families of sequences
This is a bit of a follow up question to this question I asked a couple days ago. The main content of that post can be phrased as asking for a nontrivial lower bound on the sum
$$
\sum_{n\leq x} \...
- 2,000
4
votes
0
answers
465
views
The properties of Pos
Given $n\in\mathbb{N}$, and $f:\mathbb{N}^*\rightarrow \mathbb{N}$, let define $Pos$ as:
$$Pos(f)(n)= |\{x \leq n, f(x)=f(n)\}|$$
When given $n\in\mathbb{N}$, this function gives the 'position' of $...
4
votes
0
answers
275
views
A closed formula for this arithmetic function
The following function comes up in my research as part of a sufficient condition for capability of $p$-group of class two and prime exponent. Given a nonnegative integer $m$, express $m$ as a ...
- 7,217
4
votes
0
answers
413
views
Maximal order of Hooley's Delta function?
There is a large literature on Hooley's
$$
\Delta(n)=\max_u\sum_{d|n,\ e^u\le d< e^{u+1}}1
$$
giving its normal and average order. What is known of its maximal order?
Clearly $\Delta(n)\le d(n)$ ...
- 9,114
3
votes
2
answers
581
views
Approximation of partial sum over prime omega function
I asked the question in Math StackExchange. Link: https://math.stackexchange.com/questions/4765476/approximation-of-partial-sum-over-prime-omega-function
I haven't got any response yet. Here are the ...
- 221
3
votes
4
answers
1k
views
A conjecture regarding odd perfect numbers
(Note: I asked this question in MSE this June 2018 but did not receive any responses there. I have therefore cross-posted it here, hoping that it gets answered.)
Let $\sigma(z)$ denote the sum of ...
3
votes
1
answer
154
views
Arithmetical function comparable to sine function [closed]
I was wondering if there exists or can we construct (using known arithmetic functions) an arithmetical function that has the same behaviour of the function sine or comparable to it (I mean that ...
- 1,257
3
votes
1
answer
134
views
Is it possible to find an estimate of $\sum_{k=1}^n\frac1{\varphi(k\cdot p_k)}$?
Is it possible to find an estimate of the summation
$$s(n)=\sum_{k=1}^n\frac1{\varphi(k\cdot p_k)}$$
where $\varphi(n)$ is the totient function and $p_k$ the k-th prime?
The corresponding series seems ...
- 1,008
3
votes
1
answer
103
views
References: rigorous algorithms for elementary computations in base-b with complexity estimates
Definitions/Notation: Fix positive integers $b$ and $M$. Consider the set of real numbers which can be exactly expressed with $2M+1$ coefficients in base $b$, defined by
$$\mathcal{X}(b,M):=\{x\in \...
- 5,405
3
votes
1
answer
189
views
Brun-Titchmarsh for sum over square divisors
Let $f(n)$ be a nonnegative arithmetic function satisfying
$f(p^l) \leq A_1^l$ for all primes $p$, integers $l\geq 1$, and some constant $A_1$;
$f(n) \leq A_2 n^\varepsilon$ for all $\varepsilon > ...
- 2,000
3
votes
2
answers
233
views
Help with R. Ryan's "A simpler dense proof regarding the abundancy Index."
I'm reading Richard Ryan's article "A simpler dense proof regarding the abundancy index" and got stuck in his proof for Theorem 2. The Theorem is stated as follows:
Suppose we have a ...
- 133
3
votes
0
answers
132
views
Is there a way to reduce this problem to two variables through functions coming from arithmetic?
Consider following diophantine equation in $\mathbb Z[x,y,z]$ in three integer variables $x,y,z$
$$x^2+L(y,z)x+L_1(y)L_2(z)=0$$ where $L(y,z)$ is a non-homogeneous linear polynomial in $y,z$ and $L_1(...
- 13.9k
3
votes
0
answers
238
views
Is there a closed form for the discrete convolution of $\sigma_1$ and $\sigma_2$?
I am trying to find a closed form for the following sum:
$$\sum_{k = 1}^{n-1}\sigma_1(k) \sigma_2(n-k)$$
where $\sigma_i$ is the sum of divisors and $\sigma_2$ is the sum of squares of divisors.
...
- 211
3
votes
0
answers
182
views
Mersenne number with small Carmichael function
Let $\lambda(\cdot)$ be the Carmichael function. I'm trying to understand the magnitude of the smallest values of $\lambda(2^n - 1)$, when $n$ runs over the positive integers. Precisely my question is:...
user40023
3
votes
0
answers
443
views
Infinite sums with Mobius Inversion : can we have uniform convergence of inversion formula?
My question is on Mobius inversion formula convergence/properties when used with infinite sums of function.
Lets consider (on $\mathbb{R}^{+}$):
$$S(x)= \sum\limits_{n=1}^{\infty} f(nx)$$
We call $...
- 1,199
2
votes
1
answer
631
views
$\frac{\sigma(n)}{n} < e \ln \ln (n)$ is true?
In Guy Robin, Grandes valeurs de la fonction somme des diviseurs et hypothèse de Riemann, J. Math. Pures Appl. 63 (1984), 187–213 (pdf)
we find the following result:
If the Riemann hypothesis is true ...
- 53
2
votes
1
answer
281
views
sum over primes involving divisor function (variation of the Titchmarsh divisor problem)
This question was also asked on MSE.
Does there exist an asymptotic estimate for the following sum over primes
$$
\sum_{p\leq x} \frac{\tau(p-1)}{p}\;,
$$
where $\tau(n)=\sum_{d|n}1$ is the divisor ...
- 215
2
votes
1
answer
379
views
A conjecture concerning the equation $\sigma\left(\square\right)=\text{prime}$
I can deduce the following simple proposition, the definitions for $\sigma(x)$ the sum of divisors functions and $\varphi(x)$ the Euler totient function are assumed. After I present a conjecture that ...
2
votes
2
answers
589
views
Which rationals are sum-of-divisor function quotients
Consider the function $\sigma(n)/n$, where $\sigma$ is the usual sum-of-divisors function. I read somewhere that it is unknown what rational numbers are in fact values of this function (or at any ...
- 367
2
votes
1
answer
301
views
What proportion of the positive integers satisfy $I(n) < \frac{2n}{n + 1} \leq I(n^2) < 2$?
Let
$$I(x) = \frac{\sigma(x)}{x}$$
be the abundancy index of the positive integer $x$. Note that $\sigma(x)$ is the classical sum-of-divisors function. For example,
$$\sigma(12) = 1 + 2 + 3 + 4 + ...
2
votes
1
answer
256
views
Sign changes of a sequence
Let $f$ be an arithmetical function. Suppose that $f(n)>0$ if $n$ is in an integer set $A$ and that $f(n)<0$ for another integer set $B.$ Is there a result from number theory or an elementary ...
- 1,257
2
votes
1
answer
198
views
Bounds for two arithmetic functions, when one assumes that $n$ are odd perfect numbers
For an integer $n>1$ in this post we denote the Dedekind psi function as $\psi(n)=n\prod_{\substack{p\mid n\\p\text{ prime}}}\left(1+\frac{1}{p}\right)$ and the product of distinct primes dividing ...
2
votes
1
answer
532
views
The Euler's totient function and the product of distinct primes dividing $n$ versus the Heronian means
For integers $n\geq 1$ with $$\operatorname{rad}(n)=\prod_{\substack{p\mid n\\p\text{ prime}}}p$$ we denote the squarefree kernel or radical of an integer $n$ (see if you want this Wikipedia). And $\...
user75829
2
votes
1
answer
1k
views
A formula combining Euler $\phi$ and $\gcd$
Let us fix a natural number $N>1$ and $a_1, \ldots, a_n$ natural numbers satisfying $0 \leq a_i < N$, with the property that $1+ \sum a_i$ is divisible by $N$. Let $\phi$ be the Euler totient ...
- 283
2
votes
0
answers
836
views
Polynomials for the indicator function
The (one-variable) indicator function (or characteristic function) is defined as
$f_{t^*}:\mathbb{Z}_q\to \mathbb{Z}_q$ satisfying that
$f_{t^*}(t)=1$ if $t=t^*$ and $f_{t^*}(t)=0$, otherwise. (Here $...
- 31
2
votes
0
answers
358
views
Mertens Bound and the Riemann Hypothesis
Let $M(x)$ denote the Mertens function ($M(x)=\sum_{i=1}^{x}\mu(i)$ where $\mu(i)$ is the Möbius function) and let $\Lambda(i)$ denote the Mangoldt function ($\Lambda(i)$ equals $\log(p)$ if $i=p^{m}$ ...
- 177
2
votes
0
answers
144
views
What is known about absolute convergence of Dirichlet inverses?
Given an arithmetic function $f$ such that the partial sums $\sum_{n \leq x} |f(n)|$ converge as $x$ approaches $\infty$, are there any results concerning the convergence properties of the series of ...
- 121
2
votes
0
answers
76
views
The number of elements with order less than $k$ in a larger cyclic group
I am working on a problem where it has become important to count (or at least bound from above and below) the number of elements of ${\bf Z}/n{\bf Z}$ that have order less than a given $k$, where $2\...
- 807
2
votes
0
answers
110
views
On variations of a claim due to Kaneko in terms of Lehmer means
This post is cross posted from Mathematics Stack Exchange, due that there was a mistake from my part (see the excellent partial answer and my thread of edits of my question on MSE) this post on ...
2
votes
0
answers
71
views
Write large $n$ as $n_1+\ldots+n_k\ (n_1<\ldots<n_k)$ with $\varphi(n_1),\ldots,\varphi(n_k)\in\{x^k:\ x\in\mathbb Z\}$
Let $\varphi$ denote Euler's totient function.
QUESTION. Is it true that for each positive integer $k$ large integers $n$ can be written as $n_1+\ldots+n_k$ with $n_1,\ldots,n_k$ distinct positive ...
- 15.6k
2
votes
0
answers
232
views
If some numbers satisfy this divisibility condition with $\sigma$ and $\varphi$, are they necessarily multiples of $6$?
After doing some computations of the divisibility of $\sigma(n)$ by $n+ \varphi(n)$, mostly with Peter´s help, we found these solutions:
$n=2, 456, 828, 7584 ,33462 , 1357440, 1596048 ,1964544 ,...
user153451
2
votes
0
answers
117
views
Alternating series of arithmetic function values
Some time ago I asked about alternating sums like
$\sum_{n\leq x}(-1)^n \phi(n)$ where $\phi(n)$ is Euler's totient
and the similar sum involving $\sigma(n)$ where $\sigma(n)=\sum_{d|n}d.$
Certain ...
- 112
2
votes
0
answers
100
views
$\varphi(m+n)\mid n$ for some positive integer $n$
Let $\varphi$ be Euler's totient function.
If $p$ is a prime, then $\varphi(1+n)=n$ for $n=p-1$.
Question. Is it true that for each integer $m>1$ there is a positive integer $n\le m^2-m$ such that ...
- 15.6k
2
votes
0
answers
98
views
Discrete "difference" equations that involve changes in both shift and scale
A standard use of the Z-transform ($F(z) = \sum_n (f[n] \cdot z^{-n} )$) is to understand the effect of a difference equation on a signal. For instance:
$y[n] = x[n] + y[n-1]$
$Y(z) = X(z) + Y(z) \...
- 4,907
2
votes
1
answer
349
views
Is there a smallest $r$ such that $n+\varphi(n)=\displaystyle \prod_{i=1}^r q_i$ always has solutions for mutually different odd primes $q_i $?
While discussing with Peter in one of the chatrooms on MSE I proposed an idea to try to find smallest natural number $r$ such that $n+\varphi(n)=\displaystyle \prod_{i=1}^r q_i$ has solutions for ...
user153451
1
vote
5
answers
5k
views
The Inverse of the Euler Totient Function
How can we calculate the cardinality of the inverse of Totient function of any positive integer n ?
I tried going through this paper, but I couldn't understand the procedure.
Thanks
- 201
1
vote
1
answer
96
views
On the behaviour for the quotient involving Fermat numbers of $\frac{\psi(F_m)}{F_m}$ where $\psi(x)$ denotes the Dedekind psi function
In this post we denote the Dedekind psi function as $\psi(m)$ for integers $m\geq 1$. This is an important arithmetic fuction in several subjects of mathematics. As reference I add the Wikipedia ...
1
vote
1
answer
233
views
Tighter upper bound for $\sum_{i=1}^kA_i\log(\frac{A_i}{e})$
What is the tightest upper bound one can obtain for the following expression
$$\sum_{i=1}^kA_i\log(\frac{A_i}{e})$$ subject to $\sum_{i = 1}^k A_i = C$ in terms of $C$ and $k$?
A very loose upper ...
- 13
1
vote
2
answers
199
views
What proportion of the positive integers satisfy $I(n^2) < (1 + \frac{1}{n})I(n)$, where $I(x)$ is the abundancy index of $x$?
Let $\sigma(x)$ denote the classical sum-of-divisors function, and let
$$I(x) = \frac{\sigma(x)}{x}$$
be the abundancy index of the positive integer $x$.
My question is this: What proportion of ...
1
vote
1
answer
123
views
Periodic sequences of integers generated by $a_{n+1}=\frac{\operatorname{rad}(pa_{n})}{p}+\frac{\operatorname{rad}(qa_{n-1})}{q}$
Let's define the radical of the positive integer $n$ as
$$\operatorname{rad}(n)=\prod_{\substack{p\mid n\\ p\text{ prime}}}p$$
and consider the sequence
$$a_{n+1}=\frac{\operatorname{rad}(p\cdot a_{n})...
- 1,008
1
vote
2
answers
1k
views
Sum of digits iterated
Original version.
I believe that it is an elementary question, already discussed somewhere. But I just have no idea of how to start it properly. Take a positive integer $n=n_1$ and compute its sum of ...
- 13.5k
1
vote
1
answer
163
views
estimate an sum
I need estimate the following sum:
$\sum_{d=1}^{n}\frac{\mu(d)}{d}\sum_{k=1}^{\lfloor n/d\rfloor}\frac{1}{k}\frac{q^k}{1-q^{-kd}}$, where $q>1$ and $\mu$ is the Möbius function.
To obtain the ...
- 609
1
vote
1
answer
170
views
Existence of arithmetic function satisfying a certain property
I was interested in an arithmetic function satisfying a certain property, I am not sure at the moment if such thing even exists or not. But I was wondering maybe I could get some hint or idea or input ...
- 579
1
vote
1
answer
347
views
On equations with arithmetic functions [closed]
Is this good topic for research:
equations with arithmetic functions, for example equations like $\varphi(n)=\sigma(n)$ or $\varphi(n)+\sigma(n)=d(n)$ ?
If Anyone here have an advise please tell me ...
- 31