<p>Motivated by applications in number theory, analysis, and fractal geometry, we consider regularity properties and dimensions of graphs associated with Fourier series of the form <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41478_2025_923_Article_IEq1.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="188" /> </InlineMediaObject> <EquationSource Format="TEX">\(F(t)=\sum _{n=1}^\infty f(n)e^{2\pi i nt}/n\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>F</mi> <mrow> <mo stretchy="false">(</mo> <mi>t</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <msubsup> <mo>∑</mo> <mrow> <mi>n</mi> <mo>=</mo> <mn>1</mn> </mrow> <mi>∞</mi> </msubsup> <mi>f</mi> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> <msup> <mi>e</mi> <mrow> <mn>2</mn> <mi>π</mi> <mi>i</mi> <mi>n</mi> <mi>t</mi> </mrow> </msup> <mo stretchy="false">/</mo> <mi>n</mi> </mrow> </math></EquationSource> </InlineEquation>, for general coefficient functions <i>f</i>. Our main result states that if, for some constants <i>C</i> and <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41478_2025_923_Article_IEq2.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="14" /> </InlineMediaObject> <EquationSource Format="TEX">\(\alpha\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>α</mi> </math></EquationSource> </InlineEquation> with <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41478_2025_923_Article_IEq3.gif" Format="GIF" Height="13" Rendition="HTML" Resolution="72" Type="Linedraw" Width="74" /> </InlineMediaObject> <EquationSource Format="TEX">\(0&lt;\alpha &lt;1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>0</mn> <mo>&lt;</mo> <mi>α</mi> <mo>&lt;</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>, we have <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41478_2025_923_Article_IEq4.gif" Format="GIF" Height="23" Rendition="HTML" Resolution="72" Type="Linedraw" Width="198" /> </InlineMediaObject> <EquationSource Format="TEX">\(|\sum _{1\le n\le x}f(n)e^{2\pi i nt}|\le C x^{\alpha }\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mo stretchy="false">|</mo> </mrow> <msub> <mo>∑</mo> <mrow> <mn>1</mn> <mo>≤</mo> <mi>n</mi> <mo>≤</mo> <mi>x</mi> </mrow> </msub> <mi>f</mi> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> <msup> <mi>e</mi> <mrow> <mn>2</mn> <mi>π</mi> <mi>i</mi> <mi>n</mi> <mi>t</mi> </mrow> </msup> <mrow> <mo stretchy="false">|</mo> <mo>≤</mo> <mi>C</mi> </mrow> <msup> <mi>x</mi> <mi>α</mi> </msup> </mrow> </math></EquationSource> </InlineEquation> uniformly in <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41478_2025_923_Article_IEq5.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="42" /> </InlineMediaObject> <EquationSource Format="TEX">\(x\ge 1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>x</mi> <mo>≥</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41478_2025_923_Article_IEq6.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="39" /> </InlineMediaObject> <EquationSource Format="TEX">\(t\in \mathbb R\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>t</mi> <mo>∈</mo> <mi mathvariant="double-struck">R</mi> </mrow> </math></EquationSource> </InlineEquation>, then the series <i>F</i>(<i>t</i>) is Hölder continuous with exponent <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41478_2025_923_Article_IEq7.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="43" /> </InlineMediaObject> <EquationSource Format="TEX">\(1-\alpha\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>1</mn> <mo>-</mo> <mi>α</mi> </mrow> </math></EquationSource> </InlineEquation>, and the graph of |<i>F</i>(<i>t</i>)| on the interval [0,&#xa0;1] has box-counting dimension <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41478_2025_923_Article_IEq8.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="61" /> </InlineMediaObject> <EquationSource Format="TEX">\(\le 1+\alpha\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>≤</mo> <mn>1</mn> <mo>+</mo> <mi>α</mi> </mrow> </math></EquationSource> </InlineEquation>. As applications we recover the best-possible uniform Hölder exponents for the Weierstrass functions <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41478_2025_923_Article_IEq9.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="135" /> </InlineMediaObject> <EquationSource Format="TEX">\(\sum _{k=1}^\infty a^k\cos (2\pi b^k t)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mo>∑</mo> <mrow> <mi>k</mi> <mo>=</mo> <mn>1</mn> </mrow> <mi>∞</mi> </msubsup> <msup> <mi>a</mi> <mi>k</mi> </msup> <mo>cos</mo> <mrow> <mo stretchy="false">(</mo> <mn>2</mn> <mi>π</mi> <msup> <mi>b</mi> <mi>k</mi> </msup> <mi>t</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> and the Riemann function <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41478_2025_923_Article_IEq10.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="134" /> </InlineMediaObject> <EquationSource Format="TEX">\(\sum _{n=1}^\infty \sin (\pi n^2 t)/n^2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mo>∑</mo> <mrow> <mi>n</mi> <mo>=</mo> <mn>1</mn> </mrow> <mi>∞</mi> </msubsup> <mo>sin</mo> <mrow> <mo stretchy="false">(</mo> <mi>π</mi> <msup> <mi>n</mi> <mn>2</mn> </msup> <mi>t</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">/</mo> <msup> <mi>n</mi> <mn>2</mn> </msup> </mrow> </math></EquationSource> </InlineEquation>. Moreoever, under the assumption of the Generalized Riemann Hypothesis, we obtain nontrivial bounds for Hölder exponents and dimensions associated with series of the form <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41478_2025_923_Article_IEq11.gif" Format="GIF" Height="24" Rendition="HTML" Resolution="72" Type="Linedraw" Width="147" /> </InlineMediaObject> <EquationSource Format="TEX">\(\sum _{n=1}^\infty \mu (n)e^{2\pi i n^kt}/n^k\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mo>∑</mo> <mrow> <mi>n</mi> <mo>=</mo> <mn>1</mn> </mrow> <mi>∞</mi> </msubsup> <mi>μ</mi> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> <msup> <mi>e</mi> <mrow> <mn>2</mn> <mi>π</mi> <mi>i</mi> <msup> <mi>n</mi> <mi>k</mi> </msup> <mi>t</mi> </mrow> </msup> <mo stretchy="false">/</mo> <msup> <mi>n</mi> <mi>k</mi> </msup> </mrow> </math></EquationSource> </InlineEquation>, where <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41478_2025_923_Article_IEq12.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="15" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mu\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>μ</mi> </math></EquationSource> </InlineEquation> is the Möbius function.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Hölder continuity and dimensions of fractal Fourier series

  • Efstathios-K. Chrontsios-Garitsis,
  • A. J. Hildebrand

摘要

Motivated by applications in number theory, analysis, and fractal geometry, we consider regularity properties and dimensions of graphs associated with Fourier series of the form \(F(t)=\sum _{n=1}^\infty f(n)e^{2\pi i nt}/n\) F ( t ) = n = 1 f ( n ) e 2 π i n t / n , for general coefficient functions f. Our main result states that if, for some constants C and \(\alpha\) α with \(0<\alpha <1\) 0 < α < 1 , we have \(|\sum _{1\le n\le x}f(n)e^{2\pi i nt}|\le C x^{\alpha }\) | 1 n x f ( n ) e 2 π i n t | C x α uniformly in \(x\ge 1\) x 1 and \(t\in \mathbb R\) t R , then the series F(t) is Hölder continuous with exponent \(1-\alpha\) 1 - α , and the graph of |F(t)| on the interval [0, 1] has box-counting dimension \(\le 1+\alpha\) 1 + α . As applications we recover the best-possible uniform Hölder exponents for the Weierstrass functions \(\sum _{k=1}^\infty a^k\cos (2\pi b^k t)\) k = 1 a k cos ( 2 π b k t ) and the Riemann function \(\sum _{n=1}^\infty \sin (\pi n^2 t)/n^2\) n = 1 sin ( π n 2 t ) / n 2 . Moreoever, under the assumption of the Generalized Riemann Hypothesis, we obtain nontrivial bounds for Hölder exponents and dimensions associated with series of the form \(\sum _{n=1}^\infty \mu (n)e^{2\pi i n^kt}/n^k\) n = 1 μ ( n ) e 2 π i n k t / n k , where \(\mu\) μ is the Möbius function.