Questions tagged [arithmetic-functions]
For questions on arithmetic functions, i.e. real or complex valued functions defined on the set of natural numbers.
647 questions
1 vote
0 answers
47 views
Iterating the map $f(n)=1+D(\sigma(n)-1)$
For integers $n$, the arithmetic derivative $D(n)$ is defined as follows: $D(p) = 1$, for any prime $p$. $D(mn) = D(m)n + mD(n)$, for any $m,n\in\mathbb{N}$ (Leibniz rule). The Leibniz rule implies ...
0 votes
0 answers
27 views
A singular identity involving the arithmetic derivative and the divisor counting function
For integers $n$, the arithmetic derivative $D(n)$ is defined as follows: $D(p) = 1$, for any prime $p$. $D(mn) = D(m)n + mD(n)$, for any $m,n\in\mathbb{N}$ (Leibniz rule). The Leibniz rule implies ...
1 vote
1 answer
76 views
An equivalent formulation for the twin prime conjecture
Consider Oeis $A065387$: $a(n)=\sigma(n)+\phi(n)$, where $\sigma(n)$ represents the sum of all divisors of $n$ and $\phi(n)$ is Euler's totient function. I ask to prove that the assertion the ...
0 votes
0 answers
40 views
Sum of an arithmetic function upto x with gcd(n, q) = 1 for fixed q [closed]
Given some general arithmetic function $A(n)$ with a known asymptotic formula for $\sum_{n \le x}A(n)$, is there any way to figure out the asymptotic formula for $$\sum_{\substack{n \le x \\ \gcd(n,q) ...
3 votes
1 answer
180 views
Iterating the arithmetic-derivative map $U(n)=n+D(n)−1$
For integers $n$, the arithmetic derivative $D(n)$ is defined as follows: $D(p) = 1$, for any prime $p$. $D(mn) = D(m)n + mD(n)$, for any $m,n\in\mathbb{N}$ (Leibniz rule). $D(-n) = -D(n)$. The ...
18 votes
0 answers
318 views
A sequence based on arithmetic derivative that always converges to prime numbers
For integers $n$, the arithmetic derivative $D(n)$ is defined as follows: $D(p) = 1$, for any prime $p$. $D(mn) = D(m)n + mD(n)$, for any $m,n\in\mathbb{N}$ (Leibniz rule). $D(-n) = -D(n)$. The ...
0 votes
0 answers
52 views
Product of sum of divisors function [duplicate]
Let $\sigma_{\alpha}(n) = \sum_{d|n}d^{\alpha}$ as usual. Prove that $$\sigma_{\alpha}(m)\sigma_{\alpha}(n) = \sum_{d|\gcd(m, n)}d^{\alpha}\sigma_{\alpha}(\frac{mn}{d^2})$$ I am utterly lost on this. ...
2 votes
1 answer
79 views
Proof that $\mathcal{M}_x\left[\displaystyle\sum_{n \le x} a_n\right](s) = \displaystyle\sum_{n=1}^\infty \frac{a_n}{n^s}$?
When looking into the derivation of Perron's formula, I found that it seems to come from using the inverse Mellin transform of the equation $$\mathcal{M}_x\left[\sum_{n \le x} a_n\right](s) = \frac{1}{...
1 vote
1 answer
109 views
Sum of $n$-th roots of unity over pairs of integers, whose gcd is coprime to $n$
Given two positive integers $n$ and $k$, I want to evaluate the following sum $$ g(n,k) := \sum_{1\le m_1, m_2 \le n \atop \gcd(m_1,m_2,n)=1} \omega^{km_2}, $$ where $\omega = e^{2\pi i/n}$ is a ...
2 votes
1 answer
149 views
Prove that a natural number occurs an arbitrary amount of times in this array
Suppose that we have an infinite array $[a_{ij}]_{i,j\in\mathbb{N}}$ consisting entirely of natural numbers. Also, suppose that for each $i,j$ we have $a_{ij}\leq ij$. Prove that for each natural ...
1 vote
1 answer
121 views
Compute the limit $\lim_{N \to \infty} \frac{\#Y(N)}{N^2}$
At the moment, I'm working on the following problem and I'm stuck... Let $Y = \{(x, y) \in \mathbb{Z}^2 : \gcd(x, y) = 1\}$ and $Y(N) = \{(x, y) \in Y : |x| \leq N, |y| \leq N\}$. Compute the limit $\...
2 votes
2 answers
139 views
Using an observation-based formula to determine the total times the number 1 will appear as one counts from 0 to 9,999,999,999.
I had wondered, if you begin at $0$, and count up until the resultant number is all $9$s ($0$ to $9$, $0$ to $99$, etc.), how many times the number $1$ will appear in each number along the way? In ...
0 votes
2 answers
151 views
Ramanujan's theorems about the sums of powers of the number of divisors
This is from Hardy and Wright’s An Introduction to the Theory of Numbers, Section 18.2. "The average order of $d(n)$". Here, $d(n)$ denotes the number of divisors of $n$. The section states ...
3 votes
1 answer
125 views
Evaluating a number theoretic sum asymptotically
I want to evaluate asymptotically the following: $$\sum_{ab\le N}\frac{(\log ab)(\log b)\Lambda(a)}{ab}$$ where $\Lambda$ is the von Mangoldt function. I have a few thoughts for how to do this, but so ...
1 vote
2 answers
134 views
Looking for multiplicative functions satisfying $f * 1 = \mu f $ and $f * 1 = |f|$
I'm trying to find examples of multiplicative functions $f$ that satisfy some interesting convolution identities. Here, $*$ denotes the Dirichlet convolution, $\mu$ is the Möbius function, and $1(n) = ...