Multifractal analysis of arithmetic functions 10mm @[email protected]
Transcript of Multifractal analysis of arithmetic functions 10mm @[email protected]
![Page 1: Multifractal analysis of arithmetic functions 10mm @[email protected]](https://reader031.fdocuments.in/reader031/viewer/2022021903/620ef54a841171490c0a9163/html5/thumbnails/1.jpg)
Multifractal analysis of arithmetic functions
Stephane JaffardUniversite Paris Est (France)
Collaborators:
Arnaud Durand Universite Paris Sud Orsay
Samuel Nicolay Universite de Liege
International Conference on Advances on Fractals and Related Topics
Hong-Kong, December 10-14, 2012
![Page 2: Multifractal analysis of arithmetic functions 10mm @[email protected]](https://reader031.fdocuments.in/reader031/viewer/2022021903/620ef54a841171490c0a9163/html5/thumbnails/2.jpg)
Multifractal analysisPurpose of multifractal analysis : Introduce and study classificationparameters for data (functions, measures, distributions, signals,images), which are based on regularity
0.30.2-2
-1
0.7
0
1
2
3
4
0.0 0.90.1 0.80.60.50.4 1.0
Fonction de Weierstrass : Espace x frequence = 1000x20
Weierstrass function
WH(x) =+∞∑j=0
2−Hj cos(2jx)
0 < H < 1
0.50.4-0.5
0.0
0.5
0.7
1.0
1.5
2.0
0.0 1.00.1 0.30.2 0.90.80.6
Brownien : 1000 points
Brownian motion
![Page 3: Multifractal analysis of arithmetic functions 10mm @[email protected]](https://reader031.fdocuments.in/reader031/viewer/2022021903/620ef54a841171490c0a9163/html5/thumbnails/3.jpg)
Multifractal analysisPurpose of multifractal analysis : Introduce and study classificationparameters for data (functions, measures, distributions, signals,images), which are based on regularity
0.30.2-2
-1
0.7
0
1
2
3
4
0.0 0.90.1 0.80.60.50.4 1.0
Fonction de Weierstrass : Espace x frequence = 1000x20
Weierstrass function
WH(x) =+∞∑j=0
2−Hj cos(2jx)
0 < H < 1
0.50.4-0.5
0.0
0.5
0.7
1.0
1.5
2.0
0.0 1.00.1 0.30.2 0.90.80.6
Brownien : 1000 points
Brownian motion
![Page 4: Multifractal analysis of arithmetic functions 10mm @[email protected]](https://reader031.fdocuments.in/reader031/viewer/2022021903/620ef54a841171490c0a9163/html5/thumbnails/4.jpg)
Multifractal analysisPurpose of multifractal analysis : Introduce and study classificationparameters for data (functions, measures, distributions, signals,images), which are based on regularity
0.30.2-2
-1
0.7
0
1
2
3
4
0.0 0.90.1 0.80.60.50.4 1.0
Fonction de Weierstrass : Espace x frequence = 1000x20
Weierstrass function
WH(x) =+∞∑j=0
2−Hj cos(2jx)
0 < H < 1
0.50.4-0.5
0.0
0.5
0.7
1.0
1.5
2.0
0.0 1.00.1 0.30.2 0.90.80.6
Brownien : 1000 points
Brownian motion
![Page 5: Multifractal analysis of arithmetic functions 10mm @[email protected]](https://reader031.fdocuments.in/reader031/viewer/2022021903/620ef54a841171490c0a9163/html5/thumbnails/5.jpg)
Everywhere irregular signals and imagesJet turbulence Eulerian velocity signal (ChavarriaBaudetCiliberto95)
0 300 temps (s) 600 9000
35
70 ∆ = 3.2 ms
Fully developed turbulence Internet Trafic
! "!! #!!! #"!! $!!! $"!! %!!!!!&$
!!&#
!
!&#
!&$
!&%
!&'
!&"
!&(
)*+,-./01234
567!689
Euro vs Dollar (2001-2009)
![Page 6: Multifractal analysis of arithmetic functions 10mm @[email protected]](https://reader031.fdocuments.in/reader031/viewer/2022021903/620ef54a841171490c0a9163/html5/thumbnails/6.jpg)
Van Gogh paintingy
f752
300 600 900 1200 1500
300
600
900
1200
1500
1800
2100
![Page 7: Multifractal analysis of arithmetic functions 10mm @[email protected]](https://reader031.fdocuments.in/reader031/viewer/2022021903/620ef54a841171490c0a9163/html5/thumbnails/7.jpg)
Van Gogh paintingy
f752
300 600 900 1200 1500
300
600
900
1200
1500
1800
2100
y
100 200 300 400 500
50
100
150
200
250
300
350
400
450
500
![Page 8: Multifractal analysis of arithmetic functions 10mm @[email protected]](https://reader031.fdocuments.in/reader031/viewer/2022021903/620ef54a841171490c0a9163/html5/thumbnails/8.jpg)
Pointwise regularity
Definition :Let f : Rd → R be a locally bounded function and x0 ∈ Rd ;f ∈ Cα(x0) if there exist C > 0 and a polynomial P such that, for|x − x0| small enough,
|f (x)− P(x − x0)| ≤ C|x − x0|α
The Holder exponent of f at x0 is
hf (x0) = sup{α : f ∈ Cα(x0)}
The Holder exponent of the Weierstrass function WH is constant andequal to H (Hardy)
The Holder exponent of Brownian motion is constant and equal to1/2 (Wiener)
WH and B are mono-Holder function
![Page 9: Multifractal analysis of arithmetic functions 10mm @[email protected]](https://reader031.fdocuments.in/reader031/viewer/2022021903/620ef54a841171490c0a9163/html5/thumbnails/9.jpg)
Pointwise regularity
Definition :Let f : Rd → R be a locally bounded function and x0 ∈ Rd ;f ∈ Cα(x0) if there exist C > 0 and a polynomial P such that, for|x − x0| small enough,
|f (x)− P(x − x0)| ≤ C|x − x0|α
The Holder exponent of f at x0 is
hf (x0) = sup{α : f ∈ Cα(x0)}
The Holder exponent of the Weierstrass function WH is constant andequal to H (Hardy)
The Holder exponent of Brownian motion is constant and equal to1/2 (Wiener)
WH and B are mono-Holder function
![Page 10: Multifractal analysis of arithmetic functions 10mm @[email protected]](https://reader031.fdocuments.in/reader031/viewer/2022021903/620ef54a841171490c0a9163/html5/thumbnails/10.jpg)
Pointwise regularity
Definition :Let f : Rd → R be a locally bounded function and x0 ∈ Rd ;f ∈ Cα(x0) if there exist C > 0 and a polynomial P such that, for|x − x0| small enough,
|f (x)− P(x − x0)| ≤ C|x − x0|α
The Holder exponent of f at x0 is
hf (x0) = sup{α : f ∈ Cα(x0)}
The Holder exponent of the Weierstrass function WH is constant andequal to H (Hardy)
The Holder exponent of Brownian motion is constant and equal to1/2 (Wiener)
WH and B are mono-Holder function
![Page 11: Multifractal analysis of arithmetic functions 10mm @[email protected]](https://reader031.fdocuments.in/reader031/viewer/2022021903/620ef54a841171490c0a9163/html5/thumbnails/11.jpg)
Multifractal spectrum (Parisi and Frisch, 1985)The iso-Holder sets of f are the sets
EH = {x0 : hf (x0) = H}
Let f be a locally bounded function. The Holder spectrumof f is
Df (H) = dim (EH)
where dim stands for the Hausdorff dimension(by convention, dim (∅) = −∞)
The upper-Holder sets of f are the sets
EH = {x0 : hf (x0) ≥ H}
The lower-Holder sets of f are the sets
EH = {x0 : hf (x0) ≤ H}
![Page 12: Multifractal analysis of arithmetic functions 10mm @[email protected]](https://reader031.fdocuments.in/reader031/viewer/2022021903/620ef54a841171490c0a9163/html5/thumbnails/12.jpg)
Multifractal spectrum (Parisi and Frisch, 1985)The iso-Holder sets of f are the sets
EH = {x0 : hf (x0) = H}
Let f be a locally bounded function. The Holder spectrumof f is
Df (H) = dim (EH)
where dim stands for the Hausdorff dimension(by convention, dim (∅) = −∞)
The upper-Holder sets of f are the sets
EH = {x0 : hf (x0) ≥ H}
The lower-Holder sets of f are the sets
EH = {x0 : hf (x0) ≤ H}
![Page 13: Multifractal analysis of arithmetic functions 10mm @[email protected]](https://reader031.fdocuments.in/reader031/viewer/2022021903/620ef54a841171490c0a9163/html5/thumbnails/13.jpg)
Multifractal spectrum (Parisi and Frisch, 1985)The iso-Holder sets of f are the sets
EH = {x0 : hf (x0) = H}
Let f be a locally bounded function. The Holder spectrumof f is
Df (H) = dim (EH)
where dim stands for the Hausdorff dimension(by convention, dim (∅) = −∞)
The upper-Holder sets of f are the sets
EH = {x0 : hf (x0) ≥ H}
The lower-Holder sets of f are the sets
EH = {x0 : hf (x0) ≤ H}
![Page 14: Multifractal analysis of arithmetic functions 10mm @[email protected]](https://reader031.fdocuments.in/reader031/viewer/2022021903/620ef54a841171490c0a9163/html5/thumbnails/14.jpg)
Riemann’s non-differentiable function and beyond
R2(x) =∞∑
n=1
sin(n2x)n2
dF (H) =
4H − 2 if H ∈ [1/2,3/4]0 if H = 3/2
−∞ else
The cubic Riemann function : R3(x) =∞∑
n=1
sin(n3x)n3
In a recent paper (arXiv :1208.6533v1) F. Chamizo and A. Ubisconsider
F (x) =∞∑
n=1
eiP(n)x
nαdeg(P) = k
Theorem : (Chamizo and Ubis) : let νF be the maximal multiplicityof the zeros of P ′. If 1 + k
2 < α < k and 1k (α− 1) ≤ H ≤ 1
k
(α− 1
2
),
then
dF (H) ≥ max(νf ,2)(
H − α− 1k
)
![Page 15: Multifractal analysis of arithmetic functions 10mm @[email protected]](https://reader031.fdocuments.in/reader031/viewer/2022021903/620ef54a841171490c0a9163/html5/thumbnails/15.jpg)
Riemann’s non-differentiable function and beyond
R2(x) =∞∑
n=1
sin(n2x)n2
dF (H) =
4H − 2 if H ∈ [1/2,3/4]0 if H = 3/2
−∞ else
The cubic Riemann function : R3(x) =∞∑
n=1
sin(n3x)n3
In a recent paper (arXiv :1208.6533v1) F. Chamizo and A. Ubisconsider
F (x) =∞∑
n=1
eiP(n)x
nαdeg(P) = k
Theorem : (Chamizo and Ubis) : let νF be the maximal multiplicityof the zeros of P ′. If 1 + k
2 < α < k and 1k (α− 1) ≤ H ≤ 1
k
(α− 1
2
),
then
dF (H) ≥ max(νf ,2)(
H − α− 1k
)
![Page 16: Multifractal analysis of arithmetic functions 10mm @[email protected]](https://reader031.fdocuments.in/reader031/viewer/2022021903/620ef54a841171490c0a9163/html5/thumbnails/16.jpg)
Riemann’s non-differentiable function and beyond
R2(x) =∞∑
n=1
sin(n2x)n2
dF (H) =
4H − 2 if H ∈ [1/2,3/4]0 if H = 3/2
−∞ else
The cubic Riemann function : R3(x) =∞∑
n=1
sin(n3x)n3
In a recent paper (arXiv :1208.6533v1) F. Chamizo and A. Ubisconsider
F (x) =∞∑
n=1
eiP(n)x
nαdeg(P) = k
Theorem : (Chamizo and Ubis) : let νF be the maximal multiplicityof the zeros of P ′. If 1 + k
2 < α < k and 1k (α− 1) ≤ H ≤ 1
k
(α− 1
2
),
then
dF (H) ≥ max(νf ,2)(
H − α− 1k
)
![Page 17: Multifractal analysis of arithmetic functions 10mm @[email protected]](https://reader031.fdocuments.in/reader031/viewer/2022021903/620ef54a841171490c0a9163/html5/thumbnails/17.jpg)
Riemann’s non-differentiable function and beyond
R2(x) =∞∑
n=1
sin(n2x)n2
dF (H) =
4H − 2 if H ∈ [1/2,3/4]0 if H = 3/2
−∞ else
The cubic Riemann function : R3(x) =∞∑
n=1
sin(n3x)n3
In a recent paper (arXiv :1208.6533v1) F. Chamizo and A. Ubisconsider
F (x) =∞∑
n=1
eiP(n)x
nαdeg(P) = k
Theorem : (Chamizo and Ubis) : let νF be the maximal multiplicityof the zeros of P ′. If 1 + k
2 < α < k and 1k (α− 1) ≤ H ≤ 1
k
(α− 1
2
),
then
dF (H) ≥ max(νf ,2)(
H − α− 1k
)
![Page 18: Multifractal analysis of arithmetic functions 10mm @[email protected]](https://reader031.fdocuments.in/reader031/viewer/2022021903/620ef54a841171490c0a9163/html5/thumbnails/18.jpg)
Generalization : Nonharmonic Fourier seriesLet (λn)n∈N be a sequence of points in Rd ; a nonharmonic Fourierseries is a function f that can be written
f (x) =∑
aneiλn·x .
The gap sequence associated with (λn) is the sequence (θn) :
θn = infm 6=n|λn − λm|
The sequence (λn) is separated if : infnθn > 0.
Theorem : Let x0 ∈ Rd . If (λn) is separated and f ∈ Cα(x0), then∃C such that ∀n,
(1) if |λn| ≥ θn, then |an| ≤C
(θn)α.
Thus, ifH = sup{α : (1) holds},
then, for any x0 ∈ Rd , hf (x0) ≤ H.
Open problem : Optimality of this result
![Page 19: Multifractal analysis of arithmetic functions 10mm @[email protected]](https://reader031.fdocuments.in/reader031/viewer/2022021903/620ef54a841171490c0a9163/html5/thumbnails/19.jpg)
Generalization : Nonharmonic Fourier seriesLet (λn)n∈N be a sequence of points in Rd ; a nonharmonic Fourierseries is a function f that can be written
f (x) =∑
aneiλn·x .
The gap sequence associated with (λn) is the sequence (θn) :
θn = infm 6=n|λn − λm|
The sequence (λn) is separated if : infnθn > 0.
Theorem : Let x0 ∈ Rd . If (λn) is separated and f ∈ Cα(x0), then∃C such that ∀n,
(1) if |λn| ≥ θn, then |an| ≤C
(θn)α.
Thus, ifH = sup{α : (1) holds},
then, for any x0 ∈ Rd , hf (x0) ≤ H.
Open problem : Optimality of this result
![Page 20: Multifractal analysis of arithmetic functions 10mm @[email protected]](https://reader031.fdocuments.in/reader031/viewer/2022021903/620ef54a841171490c0a9163/html5/thumbnails/20.jpg)
Generalization : Nonharmonic Fourier seriesLet (λn)n∈N be a sequence of points in Rd ; a nonharmonic Fourierseries is a function f that can be written
f (x) =∑
aneiλn·x .
The gap sequence associated with (λn) is the sequence (θn) :
θn = infm 6=n|λn − λm|
The sequence (λn) is separated if : infnθn > 0.
Theorem : Let x0 ∈ Rd . If (λn) is separated and f ∈ Cα(x0), then∃C such that ∀n,
(1) if |λn| ≥ θn, then |an| ≤C
(θn)α.
Thus, ifH = sup{α : (1) holds},
then, for any x0 ∈ Rd , hf (x0) ≤ H.
Open problem : Optimality of this result
![Page 21: Multifractal analysis of arithmetic functions 10mm @[email protected]](https://reader031.fdocuments.in/reader031/viewer/2022021903/620ef54a841171490c0a9163/html5/thumbnails/21.jpg)
Generalization : Nonharmonic Fourier seriesLet (λn)n∈N be a sequence of points in Rd ; a nonharmonic Fourierseries is a function f that can be written
f (x) =∑
aneiλn·x .
The gap sequence associated with (λn) is the sequence (θn) :
θn = infm 6=n|λn − λm|
The sequence (λn) is separated if : infnθn > 0.
Theorem : Let x0 ∈ Rd . If (λn) is separated and f ∈ Cα(x0), then∃C such that ∀n,
(1) if |λn| ≥ θn, then |an| ≤C
(θn)α.
Thus, ifH = sup{α : (1) holds},
then, for any x0 ∈ Rd , hf (x0) ≤ H.
Open problem : Optimality of this result
![Page 22: Multifractal analysis of arithmetic functions 10mm @[email protected]](https://reader031.fdocuments.in/reader031/viewer/2022021903/620ef54a841171490c0a9163/html5/thumbnails/22.jpg)
Generalization : Nonharmonic Fourier seriesLet (λn)n∈N be a sequence of points in Rd ; a nonharmonic Fourierseries is a function f that can be written
f (x) =∑
aneiλn·x .
The gap sequence associated with (λn) is the sequence (θn) :
θn = infm 6=n|λn − λm|
The sequence (λn) is separated if : infnθn > 0.
Theorem : Let x0 ∈ Rd . If (λn) is separated and f ∈ Cα(x0), then∃C such that ∀n,
(1) if |λn| ≥ θn, then |an| ≤C
(θn)α.
Thus, ifH = sup{α : (1) holds},
then, for any x0 ∈ Rd , hf (x0) ≤ H.
Open problem : Optimality of this result
![Page 23: Multifractal analysis of arithmetic functions 10mm @[email protected]](https://reader031.fdocuments.in/reader031/viewer/2022021903/620ef54a841171490c0a9163/html5/thumbnails/23.jpg)
Davenport seriesThe sawtooth function is
{x} =
{x − bxc − 1/2 if x 6∈ Z0 else
-
6
rrr0 1
1/2
In one variable, Davenport series are of the form
F (x) =∞∑
n=1
an{nx}, an ∈ R.
![Page 24: Multifractal analysis of arithmetic functions 10mm @[email protected]](https://reader031.fdocuments.in/reader031/viewer/2022021903/620ef54a841171490c0a9163/html5/thumbnails/24.jpg)
Spectrum estimates for Davenport series
F (x) =∞∑
n=1
an{nx}, an ∈ R.
Assuming that (an) ∈ l1, then F is continuous at irrational points andthe jump at p/q (if p ∧ q = 1) is
Bq =∞∑
n=1
anq
Theorem : Assume that (nβan) /∈ l∞ and β > 1. Then
dim(EH) ≥Hβ
if (nβan) ∈ l∞and β > 2. Then
dim(EH) ≤2Hβ
Open problem : Sharpen these bounds
![Page 25: Multifractal analysis of arithmetic functions 10mm @[email protected]](https://reader031.fdocuments.in/reader031/viewer/2022021903/620ef54a841171490c0a9163/html5/thumbnails/25.jpg)
Spectrum estimates for Davenport series
F (x) =∞∑
n=1
an{nx}, an ∈ R.
Assuming that (an) ∈ l1, then F is continuous at irrational points andthe jump at p/q (if p ∧ q = 1) is
Bq =∞∑
n=1
anq
Theorem : Assume that (nβan) /∈ l∞ and β > 1. Then
dim(EH) ≥Hβ
if (nβan) ∈ l∞and β > 2. Then
dim(EH) ≤2Hβ
Open problem : Sharpen these bounds
![Page 26: Multifractal analysis of arithmetic functions 10mm @[email protected]](https://reader031.fdocuments.in/reader031/viewer/2022021903/620ef54a841171490c0a9163/html5/thumbnails/26.jpg)
Spectrum estimates for Davenport series
F (x) =∞∑
n=1
an{nx}, an ∈ R.
Assuming that (an) ∈ l1, then F is continuous at irrational points andthe jump at p/q (if p ∧ q = 1) is
Bq =∞∑
n=1
anq
Theorem : Assume that (nβan) /∈ l∞ and β > 1. Then
dim(EH) ≥Hβ
if (nβan) ∈ l∞and β > 2. Then
dim(EH) ≤2Hβ
Open problem : Sharpen these bounds
![Page 27: Multifractal analysis of arithmetic functions 10mm @[email protected]](https://reader031.fdocuments.in/reader031/viewer/2022021903/620ef54a841171490c0a9163/html5/thumbnails/27.jpg)
Hecke’s functions
Hs(x) =∞∑
n=1
{nx}ns .
The function Hs(x) is a Dirichlet series in the variable s, and itsanalytic continuation depends on Diophantine approximationproperties of x (Hecke, Hardy, Littlewood).
Theorem : If Re(s) ≥ 2, the spectrum of singularities of Hs is
d(H) =2H
Re(s)for H ≤ Re(s)
2,
= −∞ else.
If 1 < Re(s) < 2, the spectrum of singularities of Hecke’s function Hs
satisfiesd(H) =
2Hs
for H ≤ Re(s)− 1.
Open problem : Improve the second case
![Page 28: Multifractal analysis of arithmetic functions 10mm @[email protected]](https://reader031.fdocuments.in/reader031/viewer/2022021903/620ef54a841171490c0a9163/html5/thumbnails/28.jpg)
Hecke’s functions
Hs(x) =∞∑
n=1
{nx}ns .
The function Hs(x) is a Dirichlet series in the variable s, and itsanalytic continuation depends on Diophantine approximationproperties of x (Hecke, Hardy, Littlewood).
Theorem : If Re(s) ≥ 2, the spectrum of singularities of Hs is
d(H) =2H
Re(s)for H ≤ Re(s)
2,
= −∞ else.
If 1 < Re(s) < 2, the spectrum of singularities of Hecke’s function Hs
satisfiesd(H) =
2Hs
for H ≤ Re(s)− 1.
Open problem : Improve the second case
![Page 29: Multifractal analysis of arithmetic functions 10mm @[email protected]](https://reader031.fdocuments.in/reader031/viewer/2022021903/620ef54a841171490c0a9163/html5/thumbnails/29.jpg)
Hecke’s functions
Hs(x) =∞∑
n=1
{nx}ns .
The function Hs(x) is a Dirichlet series in the variable s, and itsanalytic continuation depends on Diophantine approximationproperties of x (Hecke, Hardy, Littlewood).
Theorem : If Re(s) ≥ 2, the spectrum of singularities of Hs is
d(H) =2H
Re(s)for H ≤ Re(s)
2,
= −∞ else.
If 1 < Re(s) < 2, the spectrum of singularities of Hecke’s function Hs
satisfiesd(H) =
2Hs
for H ≤ Re(s)− 1.
Open problem : Improve the second case
![Page 30: Multifractal analysis of arithmetic functions 10mm @[email protected]](https://reader031.fdocuments.in/reader031/viewer/2022021903/620ef54a841171490c0a9163/html5/thumbnails/30.jpg)
Hecke’s functions (continued)
Hs(x) =∞∑
n=1
{nx}ns .
If Re(s) ≤ 1, the sum is no more locally bounded, however :if 1/2 < Re(s) < 1 then Hs ∈ Lp for p < 1
1−β
One can still define a pointwise regularity exponent as follows(Calderon and Zygmund, 1961) :
Definition : Let B(x0, r) denote the open ball centered at x0 and ofradius r ; α > −d/p. Let f ∈ Lp. Then f belongs to T p
α(x0) if∃C,R > 0 and a polynomial P such that
∀r ≤ R,
(1rd
∫B(x0,r)
|f (x)− P(x − x0)|pdx
)1/p
≤ Crα.
The p-exponent of f at x0 is : hpf (x0) = sup{α : f ∈ T p
α(x0)}.The p-spectrum of f is : dp
f (H) = dim({x0 : hp
f (x0) = H})
Open problem : Determine the p-spectrum of Hecke’s functions
![Page 31: Multifractal analysis of arithmetic functions 10mm @[email protected]](https://reader031.fdocuments.in/reader031/viewer/2022021903/620ef54a841171490c0a9163/html5/thumbnails/31.jpg)
The Lebesgue-Davenport functionLet t ∈ [0,1) andt = (0; t1, t2, . . . , tn, . . . )2
be its proper expansion in basis 2.
Then L(t) = (x3(t), y3(t)) where{x3(t) = (0; t1, t3, t5, . . . )2y3(t) = (0; t2, t4, t6, . . . )2.
![Page 32: Multifractal analysis of arithmetic functions 10mm @[email protected]](https://reader031.fdocuments.in/reader031/viewer/2022021903/620ef54a841171490c0a9163/html5/thumbnails/32.jpg)
The Lebesgue-Davenport functionLet t ∈ [0,1) andt = (0; t1, t2, . . . , tn, . . . )2
be its proper expansion in basis 2.
Then L(t) = (x3(t), y3(t)) where{x3(t) = (0; t1, t3, t5, . . . )2y3(t) = (0; t2, t4, t6, . . . )2.
![Page 33: Multifractal analysis of arithmetic functions 10mm @[email protected]](https://reader031.fdocuments.in/reader031/viewer/2022021903/620ef54a841171490c0a9163/html5/thumbnails/33.jpg)
The Lebesgue-Davenport functionLet t ∈ [0,1) andt = (0; t1, t2, . . . , tn, . . . )2
be its proper expansion in basis 2.
Then L(t) = (x3(t), y3(t)) where{x3(t) = (0; t1, t3, t5, . . . )2y3(t) = (0; t2, t4, t6, . . . )2.
The Lebesgue-Davenport function L has the following expansion
x3(t) =12+∑
an{2nt} where a2n = 2−n and a2n+1 = −2−n−1
y3(t) =12+∑
bn{2nt} where b2n = −2−n and b2n+1 = 2−n.
The spectrum of singularities of L is{dL(H) = 2H if 0 ≤ H ≤ 1/2
= −∞ else.
![Page 34: Multifractal analysis of arithmetic functions 10mm @[email protected]](https://reader031.fdocuments.in/reader031/viewer/2022021903/620ef54a841171490c0a9163/html5/thumbnails/34.jpg)
The Lebesgue-Davenport functionLet t ∈ [0,1) andt = (0; t1, t2, . . . , tn, . . . )2
be its proper expansion in basis 2.
Then L(t) = (x3(t), y3(t)) where{x3(t) = (0; t1, t3, t5, . . . )2y3(t) = (0; t2, t4, t6, . . . )2.
The Lebesgue-Davenport function L has the following expansion
x3(t) =12+∑
an{2nt} where a2n = 2−n and a2n+1 = −2−n−1
y3(t) =12+∑
bn{2nt} where b2n = −2−n and b2n+1 = 2−n.
The spectrum of singularities of L is{dL(H) = 2H if 0 ≤ H ≤ 1/2
= −∞ else.
![Page 35: Multifractal analysis of arithmetic functions 10mm @[email protected]](https://reader031.fdocuments.in/reader031/viewer/2022021903/620ef54a841171490c0a9163/html5/thumbnails/35.jpg)
Davenport series in several variablesDavenport series in several variables are of the form
f (x) =∑n∈Zd
an{n · x}
where (an)n∈Zd is an odd sequence indexed by Zd .
Discontinuities of Davenport seriesFor p ∈ Z and q ∈ Zd
∗ , let
Hp,q = {x ∈ Rd | p = q · x}
Let us assume that (an)n∈Zd is an odd sequence in `1. Then,The Davenport series is continuous except on the set
⋃Hp,q where it
has a jump of magnitude |Aq | with
Aq = 2∞∑l=1
alq
![Page 36: Multifractal analysis of arithmetic functions 10mm @[email protected]](https://reader031.fdocuments.in/reader031/viewer/2022021903/620ef54a841171490c0a9163/html5/thumbnails/36.jpg)
Davenport series in several variablesDavenport series in several variables are of the form
f (x) =∑n∈Zd
an{n · x}
where (an)n∈Zd is an odd sequence indexed by Zd .
Discontinuities of Davenport seriesFor p ∈ Z and q ∈ Zd
∗ , let
Hp,q = {x ∈ Rd | p = q · x}
Let us assume that (an)n∈Zd is an odd sequence in `1. Then,The Davenport series is continuous except on the set
⋃Hp,q where it
has a jump of magnitude |Aq | with
Aq = 2∞∑l=1
alq
![Page 37: Multifractal analysis of arithmetic functions 10mm @[email protected]](https://reader031.fdocuments.in/reader031/viewer/2022021903/620ef54a841171490c0a9163/html5/thumbnails/37.jpg)
Upper bound on the Holder exponent of a Davenportseries
For each q ∈ Zd , let Pq = {p ∈ Z | gcd(p,q) = 1}.For x0 ∈ Rd , let
δPq (x0) = dist
x0,⋃
p∈Pq
Hp,q
Let f be a Davenport series with jump sizes (Aq)q∈Zd . Then,
∀x0 ∈ Rd hf (x0) ≤ lim infq→∞Aq 6=0
log |Aq |log δPq (x0)
.
Connection with Diophantine approximation :
|q · x0 − p| < |q| |Aq |1/α for an infinite sequence =⇒ hf (x0) ≤ α.
Corollary : If the jumps Aq satisfy : |Aq | ≥ C/qa for all q in onedirection at least, then
∀x , hf (x) ≤ a/2 and d(EH) ≤ d − 1 +2Ha
![Page 38: Multifractal analysis of arithmetic functions 10mm @[email protected]](https://reader031.fdocuments.in/reader031/viewer/2022021903/620ef54a841171490c0a9163/html5/thumbnails/38.jpg)
Upper bound on the Holder exponent of a Davenportseries
For each q ∈ Zd , let Pq = {p ∈ Z | gcd(p,q) = 1}.For x0 ∈ Rd , let
δPq (x0) = dist
x0,⋃
p∈Pq
Hp,q
Let f be a Davenport series with jump sizes (Aq)q∈Zd . Then,
∀x0 ∈ Rd hf (x0) ≤ lim infq→∞Aq 6=0
log |Aq |log δPq (x0)
.
Connection with Diophantine approximation :
|q · x0 − p| < |q| |Aq |1/α for an infinite sequence =⇒ hf (x0) ≤ α.
Corollary : If the jumps Aq satisfy : |Aq | ≥ C/qa for all q in onedirection at least, then
∀x , hf (x) ≤ a/2 and d(EH) ≤ d − 1 +2Ha
![Page 39: Multifractal analysis of arithmetic functions 10mm @[email protected]](https://reader031.fdocuments.in/reader031/viewer/2022021903/620ef54a841171490c0a9163/html5/thumbnails/39.jpg)
Sparse Davenport seriesA Davenport series with coefficients given by a sequence (an)n∈Zd issparse if
limR→∞
log#{|n| < R | an 6= 0}log R
= 0.
A sequence a = (an)n∈Zd belongs to Fγ if
|an| ≤C|n|γ
Theorem : Let f be a Davenport series with coefficientsa = (an)n∈Zd . Let
γa := sup{γ > 0 | (an)n∈Zd ∈ Fγ}
We assume that f is sparse and that 0 < γa <∞. Then,
∀H ∈ [0, γa] df (H) = d − 1 +Hγa,
else df (H) = −∞
![Page 40: Multifractal analysis of arithmetic functions 10mm @[email protected]](https://reader031.fdocuments.in/reader031/viewer/2022021903/620ef54a841171490c0a9163/html5/thumbnails/40.jpg)
Sparse Davenport seriesA Davenport series with coefficients given by a sequence (an)n∈Zd issparse if
limR→∞
log#{|n| < R | an 6= 0}log R
= 0.
A sequence a = (an)n∈Zd belongs to Fγ if
|an| ≤C|n|γ
Theorem : Let f be a Davenport series with coefficientsa = (an)n∈Zd . Let
γa := sup{γ > 0 | (an)n∈Zd ∈ Fγ}
We assume that f is sparse and that 0 < γa <∞. Then,
∀H ∈ [0, γa] df (H) = d − 1 +Hγa,
else df (H) = −∞
![Page 41: Multifractal analysis of arithmetic functions 10mm @[email protected]](https://reader031.fdocuments.in/reader031/viewer/2022021903/620ef54a841171490c0a9163/html5/thumbnails/41.jpg)
Sparse Davenport seriesA Davenport series with coefficients given by a sequence (an)n∈Zd issparse if
limR→∞
log#{|n| < R | an 6= 0}log R
= 0.
A sequence a = (an)n∈Zd belongs to Fγ if
|an| ≤C|n|γ
Theorem : Let f be a Davenport series with coefficientsa = (an)n∈Zd . Let
γa := sup{γ > 0 | (an)n∈Zd ∈ Fγ}
We assume that f is sparse and that 0 < γa <∞. Then,
∀H ∈ [0, γa] df (H) = d − 1 +Hγa,
else df (H) = −∞
![Page 42: Multifractal analysis of arithmetic functions 10mm @[email protected]](https://reader031.fdocuments.in/reader031/viewer/2022021903/620ef54a841171490c0a9163/html5/thumbnails/42.jpg)
Open problems concerning multivariate Davenportseries
I Understand when the upper bound for the Holder exponent issharp
I Mutivariate analogue of Hecke’s function
Hs(x) =∑ {n · x}
ns
where the sum is taken on an half-plane
I What can be the shape of the spectrum of singularities of aDavenport series ?
I Directional regularity
Thank you for your (fractal ?) attention !
![Page 43: Multifractal analysis of arithmetic functions 10mm @[email protected]](https://reader031.fdocuments.in/reader031/viewer/2022021903/620ef54a841171490c0a9163/html5/thumbnails/43.jpg)
Open problems concerning multivariate Davenportseries
I Understand when the upper bound for the Holder exponent issharp
I Mutivariate analogue of Hecke’s function
Hs(x) =∑ {n · x}
ns
where the sum is taken on an half-plane
I What can be the shape of the spectrum of singularities of aDavenport series ?
I Directional regularity
Thank you for your (fractal ?) attention !
![Page 44: Multifractal analysis of arithmetic functions 10mm @[email protected]](https://reader031.fdocuments.in/reader031/viewer/2022021903/620ef54a841171490c0a9163/html5/thumbnails/44.jpg)
Open problems concerning multivariate Davenportseries
I Understand when the upper bound for the Holder exponent issharp
I Mutivariate analogue of Hecke’s function
Hs(x) =∑ {n · x}
ns
where the sum is taken on an half-plane
I What can be the shape of the spectrum of singularities of aDavenport series ?
I Directional regularity
Thank you for your (fractal ?) attention !
![Page 45: Multifractal analysis of arithmetic functions 10mm @[email protected]](https://reader031.fdocuments.in/reader031/viewer/2022021903/620ef54a841171490c0a9163/html5/thumbnails/45.jpg)
Open problems concerning multivariate Davenportseries
I Understand when the upper bound for the Holder exponent issharp
I Mutivariate analogue of Hecke’s function
Hs(x) =∑ {n · x}
ns
where the sum is taken on an half-plane
I What can be the shape of the spectrum of singularities of aDavenport series ?
I Directional regularity
Thank you for your (fractal ?) attention !
![Page 46: Multifractal analysis of arithmetic functions 10mm @[email protected]](https://reader031.fdocuments.in/reader031/viewer/2022021903/620ef54a841171490c0a9163/html5/thumbnails/46.jpg)
Open problems concerning multivariate Davenportseries
I Understand when the upper bound for the Holder exponent issharp
I Mutivariate analogue of Hecke’s function
Hs(x) =∑ {n · x}
ns
where the sum is taken on an half-plane
I What can be the shape of the spectrum of singularities of aDavenport series ?
I Directional regularity
Thank you for your (fractal ?) attention !