<p>For <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(c\in (1,2)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>c</mi> <mo>∈</mo> <mo stretchy="false">(</mo> <mn>1</mn> <mo>,</mo> <mn>2</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> we consider the following operators <Equation ID="Equ44"> <EquationSource Format="TEX">\(\begin{aligned} \mathcal {C}_{c}f(x)&amp;{:=}\sup _{\lambda \in [-1/2,1/2)}\left| \sum _{n \ne 0}f(x-n) \frac{e^{2\pi i\lambda \lfloor |n|^{c} \rfloor }}{n}\right| {\text {,}}\\ \mathcal {C}^{\textsf{sgn}}_{c}f(x)&amp;{:=}\sup _{\lambda \in [-1/2,1/2)}\left| \sum _{n \ne 0}f(x-n) \frac{e^{2\pi i\lambda \mathsf {sign(n)} \lfloor |n|^{c} \rfloor }}{n}\right| {\text {,}} \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <msub> <mi mathvariant="script">C</mi> <mi>c</mi> </msub> <mi>f</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </mtd> <mtd columnalign="left"> <mrow> <mrow> <mo>:</mo> <mo>=</mo> </mrow> <munder> <mo movablelimits="true">sup</mo> <mrow> <mi>λ</mi> <mo>∈</mo> <mo stretchy="false">[</mo> <mo>-</mo> <mn>1</mn> <mo stretchy="false">/</mo> <mn>2</mn> <mo>,</mo> <mn>1</mn> <mo stretchy="false">/</mo> <mn>2</mn> <mo stretchy="false">)</mo> </mrow> </munder> <mfenced close="|" open="|"> <munder> <mo>∑</mo> <mrow> <mi>n</mi> <mo>≠</mo> <mn>0</mn> </mrow> </munder> <mi>f</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo>-</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> <mfrac> <msup> <mi>e</mi> <mrow> <mn>2</mn> <mi>π</mi> <mi>i</mi> <mi>λ</mi> <mo>⌊</mo> <mo stretchy="false">|</mo> <mi>n</mi> <msup> <mo stretchy="false">|</mo> <mi>c</mi> </msup> <mo>⌋</mo> </mrow> </msup> <mi>n</mi> </mfrac> </mfenced> <mtext>,</mtext> </mrow> </mtd> </mtr> <mtr> <mtd columnalign="right"> <mrow> <mrow /> <msubsup> <mrow> <mi mathvariant="script">C</mi> </mrow> <mi>c</mi> <mi mathvariant="sans-serif">sgn</mi> </msubsup> <mi>f</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </mtd> <mtd columnalign="left"> <mrow> <mrow> <mo>:</mo> <mo>=</mo> </mrow> <munder> <mo movablelimits="true">sup</mo> <mrow> <mi>λ</mi> <mo>∈</mo> <mo stretchy="false">[</mo> <mo>-</mo> <mn>1</mn> <mo stretchy="false">/</mo> <mn>2</mn> <mo>,</mo> <mn>1</mn> <mo stretchy="false">/</mo> <mn>2</mn> <mo stretchy="false">)</mo> </mrow> </munder> <mfenced close="|" open="|"> <munder> <mo>∑</mo> <mrow> <mi>n</mi> <mo>≠</mo> <mn>0</mn> </mrow> </munder> <mi>f</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo>-</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> <mfrac> <msup> <mi>e</mi> <mrow> <mn>2</mn> <mi>π</mi> <mi>i</mi> <mi>λ</mi> <mrow> <mi mathvariant="sans-serif">sign</mi> <mo stretchy="false">(</mo> <mi mathvariant="sans-serif">n</mi> <mo stretchy="false">)</mo> </mrow> <mo>⌊</mo> <mo stretchy="false">|</mo> <mi>n</mi> <msup> <mo stretchy="false">|</mo> <mi>c</mi> </msup> <mo>⌋</mo> </mrow> </msup> <mi>n</mi> </mfrac> </mfenced> <mtext>,</mtext> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>and prove that both extend boundedly on <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\ell ^p(\mathbb {Z})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>ℓ</mi> <mi>p</mi> </msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="double-struck">Z</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(p\in (1,\infty )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>∈</mo> <mo stretchy="false">(</mo> <mn>1</mn> <mo>,</mo> <mi>∞</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. The second main result is establishing almost everywhere pointwise convergence for the following ergodic averages <Equation ID="Equ45"> <EquationSource Format="TEX">\( A_Nf(x){:=}\frac{1}{N}\sum _{n=1}^Nf(T^nS^{\lfloor n^c\rfloor }x){\text {,}} \)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <msub> <mi>A</mi> <mi>N</mi> </msub> <mi>f</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mrow> <mo>:</mo> <mo>=</mo> </mrow> <mfrac> <mn>1</mn> <mi>N</mi> </mfrac> <munderover> <mo>∑</mo> <mrow> <mi>n</mi> <mo>=</mo> <mn>1</mn> </mrow> <mi>N</mi> </munderover> <mi>f</mi> <mrow> <mo stretchy="false">(</mo> <msup> <mi>T</mi> <mi>n</mi> </msup> <msup> <mi>S</mi> <mrow> <mo>⌊</mo> <msup> <mi>n</mi> <mi>c</mi> </msup> <mo>⌋</mo> </mrow> </msup> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mtext>,</mtext> </mrow> </math></EquationSource> </Equation>where <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(T,S:X\rightarrow X\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>T</mi> <mo>,</mo> <mi>S</mi> <mo>:</mo> <mi>X</mi> <mo stretchy="false">→</mo> <mi>X</mi> </mrow> </math></EquationSource> </InlineEquation> are commuting measure-preserving transformations on a <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\sigma \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>σ</mi> </math></EquationSource> </InlineEquation>-finite measure space <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\((X,\mu )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>X</mi> <mo>,</mo> <mi>μ</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, and <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(f\in L_{\mu }^p(X)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>f</mi> <mo>∈</mo> <msubsup> <mi>L</mi> <mrow> <mi>μ</mi> </mrow> <mi>p</mi> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi>X</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(p\in (1,\infty )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>∈</mo> <mo stretchy="false">(</mo> <mn>1</mn> <mo>,</mo> <mi>∞</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. The point of departure for both proofs is the study of exponential sums with phases <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\xi _2 \lfloor |n^c|\rfloor + \xi _1n\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>ξ</mi> <mn>2</mn> </msub> <mrow> <mo>⌊</mo> <mo stretchy="false">|</mo> </mrow> <msup> <mi>n</mi> <mi>c</mi> </msup> <mrow> <mo stretchy="false">|</mo> <mo>⌋</mo> </mrow> <mo>+</mo> <msub> <mi>ξ</mi> <mn>1</mn> </msub> <mi>n</mi> </mrow> </math></EquationSource> </InlineEquation> through the use of a simple variant of the circle method.</p>

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

Fractionally modulated discrete Carleson’s theorem and pointwise ergodic theorems along certain curves

  • Leonidas Daskalakis,
  • Anastasios Fragkos

摘要

For \(c\in (1,2)\) c ( 1 , 2 ) we consider the following operators \(\begin{aligned} \mathcal {C}_{c}f(x)&{:=}\sup _{\lambda \in [-1/2,1/2)}\left| \sum _{n \ne 0}f(x-n) \frac{e^{2\pi i\lambda \lfloor |n|^{c} \rfloor }}{n}\right| {\text {,}}\\ \mathcal {C}^{\textsf{sgn}}_{c}f(x)&{:=}\sup _{\lambda \in [-1/2,1/2)}\left| \sum _{n \ne 0}f(x-n) \frac{e^{2\pi i\lambda \mathsf {sign(n)} \lfloor |n|^{c} \rfloor }}{n}\right| {\text {,}} \end{aligned}\) C c f ( x ) : = sup λ [ - 1 / 2 , 1 / 2 ) n 0 f ( x - n ) e 2 π i λ | n | c n , C c sgn f ( x ) : = sup λ [ - 1 / 2 , 1 / 2 ) n 0 f ( x - n ) e 2 π i λ sign ( n ) | n | c n , and prove that both extend boundedly on \(\ell ^p(\mathbb {Z})\) p ( Z ) , \(p\in (1,\infty )\) p ( 1 , ) . The second main result is establishing almost everywhere pointwise convergence for the following ergodic averages \( A_Nf(x){:=}\frac{1}{N}\sum _{n=1}^Nf(T^nS^{\lfloor n^c\rfloor }x){\text {,}} \) A N f ( x ) : = 1 N n = 1 N f ( T n S n c x ) , where \(T,S:X\rightarrow X\) T , S : X X are commuting measure-preserving transformations on a \(\sigma \) σ -finite measure space \((X,\mu )\) ( X , μ ) , and \(f\in L_{\mu }^p(X)\) f L μ p ( X ) , \(p\in (1,\infty )\) p ( 1 , ) . The point of departure for both proofs is the study of exponential sums with phases \(\xi _2 \lfloor |n^c|\rfloor + \xi _1n\) ξ 2 | n c | + ξ 1 n through the use of a simple variant of the circle method.