Questions tagged [dirichlet-convolution]
Use this tag for questions related to Dirichlet convolution in number theory
121
questions
0
votes
0
answers
38
views
Dirichlet convolution inverse of Euler's totient function
Let g(n) be the convolution inverse of Euler's totient function $\varphi(n)$. Let $n=p_1^{a_1}...p_t^{a_t}$, where $p_j$ are the distinct prime divisors of $n$. Find a formula for $g(n)$ and prove ...
- 1
1
vote
1
answer
37
views
Book reference for studying Dirichlet Convolution
Now I am studying elementary number theory, I am interested in arithmetic function, I have studied Burton's Number Theory but I can't find Dirichlet Convolution as a particular topic, I will be highly ...
- 31
-1
votes
0
answers
24
views
Dirichlet convolution: $f \ast Id = 1$
How do I find a $f$ such that $f \ast Id = 1$ where $Id$ denotes the identity function, $f(x)=x$ , and $1(x)=1$? I tried convolving both sides with $\mu$ and got $f \ast \phi = \epsilon$ which gave no ...
0
votes
1
answer
46
views
Discrete Fourier Transform & GCD
While reading Wolfgang Schramm's original paper concerning the relationship between the discrete Fourier transform and gcd, I came across the following condensed argument for his more general theorem ...
- 91
1
vote
1
answer
84
views
Freshman's dream and the commutativity of the square root of the Möbius function over the divisors.
Let the infinite matrix $A$ be:
$$A(n,k)=\left[ k \mid n \right] \left(\frac{\sqrt{k \, \mu(k)}}{n^s}\right)$$
where $n=1,2,3,4,5,...$ and $k=1,2,3,4,5,...$
Multiply $A$ with its transpose $A^{\mathsf{...
- 7,326
0
votes
0
answers
28
views
Dirichlet convolutions and a formula given in Selberg's sieve
I was reading the Selberg's sieve theorem and stumbled on one equation that I honestly cannot understand. As in theorem, we let $A$ be a set of positive integers, $\mathcal{P}$ -set of primes, let
$$
...
- 1
3
votes
1
answer
57
views
Convolution Method for Bound
I am reading A survey of gcd-sum functions where the following result is stated:
Let $P(n)$ be the Pillai's arithmetical function. The Dirichlet series of $P$ is given by:
$$\sum_{n=1}^\infty \frac{P(...
0
votes
1
answer
45
views
What is the Dirichlet serie of The function $A$ (OEIS A001414) which gives the sum of prime factors (with repetition) of a number $n$?
The function $A$ (OEIS A001414) which gives the sum of prime factors (with repetition) of a number $n$ and defined by
$$
A(n)=\sum \limits_{p^{\alpha}\parallel n}\alpha p
$$
is this serie calculated ...
1
vote
0
answers
44
views
Characterization of Möbius-monotonicity
We say that an arithmetic function $f:\mathbb{Z}^+\to\mathbb{C}$ is Möbius-monotone if $\forall n\geq1:(\mu*f)(n)\geq0$ (where $*$ denotes de Dirichlet convolution), i.e. if there exists a non-...
- 1,633
0
votes
1
answer
85
views
Which arithmetic functions satisfy $\sum_{d \mid n} f(\frac{n}{d}) k^d \equiv 0 \pmod{n}$ for all positive integers $n,k$?
There are $$\frac{1}{n} \sum_{d \mid n} \varphi\left(\frac{n}{d}\right) \cdot k^d$$ different $k$-ary necklaces of length $n$ as a result of Pólya's enumeration theorem, where $\varphi$ is Euler's ...
- 665
0
votes
0
answers
59
views
Dirichlet's Series - Convergence
Calculate the expression of the following Dirichlet's series:
$$ \dfrac{\zeta(s-1)}{\zeta(s)} = \sum_{n=1}^{\infty} \dfrac{\varphi(n)}{n^s} $$
$$ \dfrac{\zeta(2s)}{\zeta(s)}=\sum_{n=1}^{\infty} \dfrac{...
0
votes
2
answers
41
views
Count non-decreasing sequences of a given length N made from multiples under a limit M
Given integers N and M, count how many sequences A of N integers satisfy the following conditions?
$1 ≤ A_i ≤ M(i=1,2,…,N)$
$A_{i+1}$ is a multiple of $A_i$. $(i=1,2,…,N−1)$
For example for N=3 and M=...
- 481
3
votes
0
answers
67
views
Claim: The Euler's totient function is unique with the following property
In this post, I had an idea that
$$\varphi(n) = \sum_{d \mid n} d \cdot \mu(\frac{n}{d})$$
has this property, where $\mu$ is the Mobius function.
Let $\star$ be the Dirichlet convolution of functions $...
- 623
0
votes
1
answer
80
views
What is the Dirichlet Convolution of the identity function with itself?
If you have two identity functions, then $f(d) * g(n/d)$ would be just $dn/d = n$. Since we have an $n$ added for each divisor of $n$, would the resulting function just be $n$ times the number of ...
1
vote
1
answer
35
views
Term-wise product of arithmetic functions and its Dirichlet generating function
If we know Dirichlet generating function F(s) of $f(n)$ and G(s) of g(n) we can express generating function of Dirichlet convolution of $f(n)$ and $g(n)$ as product of the two generating functions $F(...
- 1,106
2
votes
1
answer
220
views
A question about the property of completely multiplicative functions
I am self-studying number theory. In Apostol's number theory textbook, Theorem 2.17 states:
Let $f$ be multiplicative. Then $f$ is completely multiplicative if
and only if $$f^{-1}(n)=\mu(n) f(n) \...
- 1,066
0
votes
1
answer
161
views
Product form of a Dirichlet convolution
I have derived (by a little unpure way) the product form for a Dirichlet convolution
$$f*g\left(n\right)=\sum_{d|n}f\left(d\right)g\left(\frac nd \right)=\prod_{p|n} \left( \sum_{m=0}^{k_p} f \left( p^...
- 44
1
vote
1
answer
62
views
Necessary and sufficient condition to be completely multiplicative
I want to prove that $f*f=f \tau$ iff $f$ is completely multiplicative. The "if" part was relatively easy, using $f(g*h)=(fg)*(fh)$ and plug $g=h=1$ for all $n$.
Juxtaposition is ordinary, ...
- 732
0
votes
2
answers
107
views
Let $f:\Bbb{N}\to\Bbb{C}$ denotes the indicator function of squares. Express it in terms of Mobious function $\mu$.
Here $f(n)=\begin{cases}
1\ \text{if } n=m^2\text{ for some }m\in\Bbb{N}\\
0\ \text{if otherwise}
\end{cases}$
This is a multiplicative function. At first I define $g:\Bbb{N}\to\Bbb{C}$ be $g(n)$ to ...
- 3,093
0
votes
2
answers
89
views
direct computation of inverse of Dirichlet convolution
For an arithmetical function $f(n)$ with $f(1)\neq 0$ we have the recursive formula for the inverse (under Dirichlet convolution) of $f$ :
$$f^{-1}(n)=(-1/f(1))\sum_{d|n, d<n}f(d)f^{-1}(n/d)$$ such ...
- 19
1
vote
2
answers
123
views
Does equal Bell series imply Dirichlet convolution?
Apostol states in Ch.$2$ , section $2.17$ of his "Intro to Analytic NT" book;
For any two arithmetical Functions $f$ and $g$ let $h = f*g$. Then for every prime $p$ we have $h_p(x)=f_p(x) \...
- 1,775
-2
votes
1
answer
82
views
$f$ is multiplicative $\implies f^{-1}$ is multiplicative. [closed]
Let $f$ be a multiplicative function i.e. $f(mn)=f(m)f(n)$ for all $m,n$ satisfying $\gcd(m,n)=1$ and $f\not\equiv 0$. Define $f^{-1}$ to be the function $g$ such that $f*g=I$ where $I(n)=1$ if $n=1$ ...
- 3,324
0
votes
1
answer
75
views
Dirichlet inverse for $\left\{1,0,-1,0,1,0,-1,0,1,0,-1,0,\ldots\right\}$
I am looking for the Dirichlet inverse of $\left\{1,0,-1,0,1,0,-1,0,1,0,-1,0,\ldots\right\}$ or equivalently
$$
f(n)=\frac{ {i^{n-1}+(-i)^{n-1}}}{2}.
$$
It is an interesting inverse, it seems always ...
- 524
6
votes
1
answer
418
views
Fourier series: proving that the limit is zero
Let $f: \mathbb{R}\to \mathbb{C}$ be a $2\pi$ periodic function that satisfies:
$f(t)=\frac{1}{t^{\frac{1}{3}}}$ for every $t\in (0,2\pi]$.
Show that:
$\;\lim_{n\to \infty} \int_0^{2\pi} |f(t)-(S_n(f))...
- 762
0
votes
2
answers
81
views
How to find the coefficent of a term in a Dirichlet generating function in Mathematica?
For a normal Dirichlet generating function like $Zeta[s]^2$, I can get the coefficient of the n-th term by applying Dirichlet convolution of the two constant functions. But how to find the coefficient ...
- 273
1
vote
1
answer
52
views
Is there a continuous function $f: \mathbb{T} \rightarrow \mathbb{R}$ such that $\lim_{n\rightarrow\infty} |S_{n}f(0)| = 1$?
Problem
Is there a continuous function $f: \mathbb{T} \rightarrow \mathbb{R}$ such that $\lim_{n\rightarrow\infty} |S_{n}f(0)| = 1$?
Relevant Definitions
The Dirichlet Kernel, $D_{n}$, is defined as:
$...
3
votes
0
answers
120
views
Zero divisors in the Dirichlet ring
I'm trying to determine if the ring $(\mathbb{A}, +, *)$ is an integral domain, where $\mathbb{A}$ is the set of arithmetic functions and $*$ is the Dirichlet convolution. To do so, I'm trying to ...
- 1,550
1
vote
0
answers
151
views
Dirichlet convolution of Mobius function with exponential function
Define $\exp_x : \mathbb{N} \rightarrow \mathbb{C}$ by $\exp_x(d) = e^{ixd}$ for all $d \in \mathbb{N}$ and some $x \in \mathbb{R}$. I want to evaluate the Dirichlet convolution of the Mobius function ...
- 83
0
votes
0
answers
63
views
Internal binary operation
Dirichlet Convolution.
If $f,g:\mathbb {N} \to \mathbb {C}$ are two arithmetic functions from the positive integers to the complex numbers, the Dirichlet convolution $f ∗ g$ is a new arithmetic ...
1
vote
0
answers
166
views
Dirichlet convolution of a multiplicative function with itself
Let $f$ be a multiplicative function, i.e. for all coprime $a,b\in\mathbb{N}\quad f(ab)=f(a)f(b)$.
Consider:
$$(f*f)(n)=\sum_{d\vert n}f(d)f\left(\frac{n}{d}\right),\quad\text{where * is Dirichlet ...
user764256
2
votes
0
answers
438
views
Dirichlet Energy for Graphs, Derivation
I would like to prove this formulation of the Dirichlet Energy for Graph Neural Networks $$
\begin{aligned}
E(\mathbf{X}) &=\frac{1}{d_{i}} \sum_{j \in \mathcal{N}(i)} w_{i j}\left\|\mathbf{x}_{i}-...
- 421
1
vote
1
answer
99
views
Why does the proof of Theorem 3.10 in Apostol (1976) use generalized convolutions from previous chapter when there could be a simpler proof?
The proof of Theorem 3.10 in Introduction to Analytic Number Theory by Apostol goes like this:
Theorem 3.10 If $ h = f * g $, let
$$
H(x) = \sum_{n \le x} h(n),
F(x) = \sum_{n \le x} f(n), \text{ and ...
- 1,076
1
vote
0
answers
102
views
Pulse train rect function
Why $ X_\delta (f) = \frac{4A}{3} ( 1 - \frac{1}{2} rect \frac{f}{B} ) $ is equal to The $ X_\delta (f) $ signal I wrote here ? my book obtained the same equation I wrote on the paper but , before ...
- 261
0
votes
0
answers
82
views
Dirichlet Inverses of Binomial Coefficients
Let $\omega$ be a real number between $0$ and $1$, and let:
$$\mathbf{c}\left(n\right)=\binom{\omega+n-1}{n}$$
for all positive integers $n$. Is there a closed form for the Dirichlet inverse $\mathbf{...
- 2,199
1
vote
0
answers
82
views
Apply the method of hyperpolas to $\sum_{n \le {x}^{1/k}} n * Fraction \left(\frac{x}{{n}^{k}}\right)$
I am using the example from Theorem 1 of Friedrich Pillichshammer "Euler's Constant and Averages of Fractional Parts" (https://www.dmg.tuwien.ac.at/nfn/gamma.pdf) we have for integers $k >...
- 939
2
votes
2
answers
183
views
Is it possible turn the Dirichlet ring into a Banach algebra?
The set of all arithmetic functions $f:\mathbb{Z}^{+}\to\mathbb{C}$, under pointwise addition and Dirichlet convolution, is a commutative ring, not all functions are Dirichlet invertible.
So my ...
user764256
0
votes
1
answer
300
views
Dirichlet convolution of the small prime omega function and the Mobius function
I have seen that: $$(\omega\star\mu)(n)=\sum_{d\vert n}\mu(d)\omega\left(\frac{n}{d}\right)=\begin{cases}1 & n\ \text{is prime}\\ 0 &\text{otherwise} \end{cases}$$ where $\mu(n)=\delta_{\omega(...
user764256
0
votes
0
answers
30
views
Does $ \mu * N $ imply $ \mu^{-1} * N^{-1} $ where $ * $ denotes Dirichlet multiplication?
Quoting from the book Introduction to Analytic Number Theory by Tom A. Apostol > Section 2.11 (page 37).
EXAMPLE The inverse of Euler's $ \varphi $ function. Since $ \varphi = \mu * N $ we have $ \...
- 1,076
6
votes
1
answer
304
views
Dirichlet series and Dirichlet convolution
Let $f$ and $g$ be an arithmetic functions, and let $f*g$ be the Dirichlet convolution of $f$ and $g$.
As known from fundamental analytic number theory, the Dirichlet series generating function is: $...
- 1,736
1
vote
1
answer
202
views
Lp Convergence of Fourier Integrals Using Hilbert Transform
I am reading about Hilbert transform and its application on Fourier analyisis, and I am triying to prove a statement given by Terence Tao in his notes on Fourier Analysis. He says that if $\varphi\in\...
- 77
1
vote
0
answers
53
views
Commutative monoid structures on $\Bbb{N}$
Suppose $m \oplus n$ is a commutative and associative binary relation $\oplus: \Bbb{N} \times \Bbb{N} \to \Bbb{N}$, and that $1$ is an identity element for this operation. In other words, $(\oplus, \...
- 5,456
2
votes
1
answer
159
views
A certain identity of a Dirichlet series
I have encountered this problem:
I need to prove that
$\sum_{n=1}^{\infty} \frac{d(n^2)}{n^s} = \frac{\zeta^{3}(s)}{\zeta(2s)}$.
Now, I already know that $\frac{\zeta(s)}{\zeta(2s)} = \sum_{n is ...
- 41
2
votes
1
answer
69
views
Question related to the expression of prime, twin-prime, and Sophie Germain prime counting functions in terms of Mertens function
This question assumes the following definitions.
(1) $\quad\pi(x)==\sum\limits_{p\le x}1\qquad\text{(prime counting function where $p\in P$ is a prime})$
(2) $\quad\pi_2(x)==\sum\limits_{p_2\le x}1\...
- 6,908
0
votes
3
answers
100
views
Proving identity using Dirichlet L functions
I'm trying to prove the following identity using Dirichlet L functions :
${\displaystyle \sum _{d\mid n}\varphi (d)=n}$
I have shown proved that the Dirichlet Series of $\varphi (n)$ equals to
${\...
- 105
0
votes
0
answers
80
views
Convolution integral with fraction expansion
I have to solve this convolution integral $$ \int_{-\infty}^{+\infty} \frac{1}{\frac{1}{T_1} + i2\pi \tau } + \frac{1}{\frac{1}{T_2} + i2\pi (f- \tau) } d \tau $$ but I have a lot of problems with ...
- 261
0
votes
1
answer
271
views
A question regarding change of index of summation in analytic number theory
I am trying exercises of Apostol's Dirichlet Series and Modular Functions in Number Theory and I am unable to get past an argument in this question.
!Original Question statement of book]1
->!...
user775699
1
vote
1
answer
102
views
Proof of an identity concerning the prime $\zeta$ function
I have to prove the following identity:
let $P(s)=\sum_p\frac{1}{p^s}$, for $Re(s)>1$, then
\begin{equation}
P(s)=\sum_{n=1}^{\infty}\frac{\mu(n)}{n}\log(\zeta(ns)).
\end{equation}
I proved that
\...
- 187
0
votes
0
answers
42
views
On solutions of $\varphi(n)=\frac{1}{2n}\sum_{1\leq d\mid n}\varphi(dn)$, where $\varphi(m)$ denotes the Euler's totient function
I wondered if one can to get easily an answer for the following question (I have thought about the other direction $\Leftarrow$). I don't know if it is in the literature, please refer it in comments ...
4
votes
1
answer
313
views
Estimate for $\sum_{n\leq x}2^{\Omega(n)}$
I need some help to find a mistake in my proof.
I have to prove that $\sum_{n\leq x}2^{\Omega(n)}\sim cx\log^2x$ for $x\rightarrow+\infty$, where $\Omega(p_1^{k_1}\cdot\ldots\cdot p_j^{k_j})=k_1+\...
- 187
2
votes
1
answer
99
views
Question on the coefficient of the Dirichlet series related to $\frac{\zeta(s+2)}{\zeta(s)}$
This question is about the evaluation of $a(n)$ defined in (1) below which is related to the Riemann zeta function $\zeta(s)$ as illustrated in (2) below.
(1) $\quad a(n)=\sum\limits_{d|n}\frac{\mu\...
- 6,908