<p>In this paper we show that, if an increasing sequence <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41_2025_10156_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="86" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Lambda =(\lambda _k)_{k\in {\mathbb {Z}}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">Λ</mi> <mo>=</mo> <msub> <mrow> <mo stretchy="false">(</mo> <msub> <mi>λ</mi> <mi>k</mi> </msub> <mo stretchy="false">)</mo> </mrow> <mrow> <mi>k</mi> <mo>∈</mo> <mi mathvariant="double-struck">Z</mi> </mrow> </msub> </mrow> </math></EquationSource> </InlineEquation> has gaps going to infinity <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41_2025_10156_Article_IEq4.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="130" /> </InlineMediaObject> <EquationSource Format="TEX">\(\lambda _{k+1}-\lambda _k\rightarrow +\infty \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>λ</mi> <mrow> <mi>k</mi> <mo>+</mo> <mn>1</mn> </mrow> </msub> <mo>-</mo> <msub> <mi>λ</mi> <mi>k</mi> </msub> <mo stretchy="false">→</mo> <mo>+</mo> <mi>∞</mi> </mrow> </math></EquationSource> </InlineEquation> when <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41_2025_10156_Article_IEq5.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="70" /> </InlineMediaObject> <EquationSource Format="TEX">\(k\rightarrow \pm \infty \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>k</mi> <mo stretchy="false">→</mo> <mo>±</mo> <mi>∞</mi> </mrow> </math></EquationSource> </InlineEquation>, then for every <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41_2025_10156_Article_IEq6.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="45" /> </InlineMediaObject> <EquationSource Format="TEX">\(T&gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>T</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> and every sequence <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41_2025_10156_Article_IEq7.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="52" /> </InlineMediaObject> <EquationSource Format="TEX">\((a_k)_{k\in {\mathbb {Z}}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mrow> <mo stretchy="false">(</mo> <msub> <mi>a</mi> <mi>k</mi> </msub> <mo stretchy="false">)</mo> </mrow> <mrow> <mi>k</mi> <mo>∈</mo> <mi mathvariant="double-struck">Z</mi> </mrow> </msub> </math></EquationSource> </InlineEquation> and every <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41_2025_10156_Article_IEq8.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="48" /> </InlineMediaObject> <EquationSource Format="TEX">\(N\ge 1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>N</mi> <mo>≥</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>, <Equation ID="Equ16"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="41_2025_10156_Article_Equ16.gif" Format="GIF" Height="54" Rendition="HTML" Resolution="72" Type="Linedraw" Width="296" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned} A\sum _{k=0}^N\frac{|a_k|}{1+k}\le \frac{1}{T}\int _{-T/2}^{T/2} {\left| {\sum _{k=0}^Na_ke^{2i\pi \lambda _k t}}\right| }\,\text{ d }t \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <mi>A</mi> <munderover> <mo>∑</mo> <mrow> <mi>k</mi> <mo>=</mo> <mn>0</mn> </mrow> <mi>N</mi> </munderover> <mfrac> <mrow> <mrow> <mo stretchy="false">|</mo> </mrow> <msub> <mi>a</mi> <mi>k</mi> </msub> <mrow> <mo stretchy="false">|</mo> </mrow> </mrow> <mrow> <mn>1</mn> <mo>+</mo> <mi>k</mi> </mrow> </mfrac> <mo>≤</mo> <mfrac> <mn>1</mn> <mi>T</mi> </mfrac> <msubsup> <mo>∫</mo> <mrow> <mo>-</mo> <mi>T</mi> <mo stretchy="false">/</mo> <mn>2</mn> </mrow> <mrow> <mi>T</mi> <mo stretchy="false">/</mo> <mn>2</mn> </mrow> </msubsup> <mfenced close="|" open="|"> <mrow> <munderover> <mo>∑</mo> <mrow> <mi>k</mi> <mo>=</mo> <mn>0</mn> </mrow> <mi>N</mi> </munderover> <msub> <mi>a</mi> <mi>k</mi> </msub> <msup> <mi>e</mi> <mrow> <mn>2</mn> <mi>i</mi> <mi>π</mi> <msub> <mi>λ</mi> <mi>k</mi> </msub> <mi>t</mi> </mrow> </msup> </mrow> </mfenced> <mspace width="0.166667em" /> <mspace width="0.333333em" /> <mtext>d</mtext> <mspace width="0.333333em" /> <mi>t</mi> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>further, if <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41_2025_10156_Article_IEq9.gif" Format="GIF" Height="46" Rendition="HTML" Resolution="72" Type="Linedraw" Width="140" /> </InlineMediaObject> <EquationSource Format="TEX">\(\displaystyle \sum _{k\in {\mathbb {Z}}}\dfrac{1}{1+|\lambda _k|}&lt;+\infty \)</EquationSource> <EquationSource Format="MATHML"><math> <mstyle displaystyle="true" scriptlevel="0"> <mrow> <munder> <mo>∑</mo> <mrow> <mi>k</mi> <mo>∈</mo> <mi mathvariant="double-struck">Z</mi> </mrow> </munder> <mstyle displaystyle="true" scriptlevel="0"> <mfrac> <mn>1</mn> <mrow> <mrow> <mn>1</mn> <mo>+</mo> <mo stretchy="false">|</mo> </mrow> <msub> <mi>λ</mi> <mi>k</mi> </msub> <mrow> <mo stretchy="false">|</mo> </mrow> </mrow> </mfrac> </mstyle> <mo>&lt;</mo> <mo>+</mo> <mi>∞</mi> </mrow> </mstyle> </math></EquationSource> </InlineEquation>, <Equation ID="Equ17"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="41_2025_10156_Article_Equ17.gif" Format="GIF" Height="54" Rendition="HTML" Resolution="72" Type="Linedraw" Width="301" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned} B\max _{|k|\le N}|a_k|\le \frac{1}{T}\int _{-T/2}^{T/2} {\left| {\sum _{k=-N}^Na_ke^{2i\pi \lambda _k t}}\right| }\,\text{ d }t \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <mi>B</mi> <munder> <mo movablelimits="true">max</mo> <mrow> <mo stretchy="false">|</mo> <mi>k</mi> <mo stretchy="false">|</mo> <mo>≤</mo> <mi>N</mi> </mrow> </munder> <mrow> <mo stretchy="false">|</mo> <msub> <mi>a</mi> <mi>k</mi> </msub> <mo stretchy="false">|</mo> </mrow> <mo>≤</mo> <mfrac> <mn>1</mn> <mi>T</mi> </mfrac> <msubsup> <mo>∫</mo> <mrow> <mo>-</mo> <mi>T</mi> <mo stretchy="false">/</mo> <mn>2</mn> </mrow> <mrow> <mi>T</mi> <mo stretchy="false">/</mo> <mn>2</mn> </mrow> </msubsup> <mfenced close="|" open="|"> <mrow> <munderover> <mo>∑</mo> <mrow> <mi>k</mi> <mo>=</mo> <mo>-</mo> <mi>N</mi> </mrow> <mi>N</mi> </munderover> <msub> <mi>a</mi> <mi>k</mi> </msub> <msup> <mi>e</mi> <mrow> <mn>2</mn> <mi>i</mi> <mi>π</mi> <msub> <mi>λ</mi> <mi>k</mi> </msub> <mi>t</mi> </mrow> </msup> </mrow> </mfenced> <mspace width="0.166667em" /> <mspace width="0.333333em" /> <mtext>d</mtext> <mspace width="0.333333em" /> <mi>t</mi> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>where <i>A</i>,&#xa0;<i>B</i> are constants that depend on <i>T</i> and <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41_2025_10156_Article_IEq10.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Lambda \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Λ</mi> </math></EquationSource> </InlineEquation> only. The first inequality was obtained by Nazarov for <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41_2025_10156_Article_IEq11.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="45" /> </InlineMediaObject> <EquationSource Format="TEX">\(T&gt;1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>T</mi> <mo>&gt;</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> and the second one by Ingham for <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41_2025_10156_Article_IEq12.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="45" /> </InlineMediaObject> <EquationSource Format="TEX">\(T\ge 1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>T</mi> <mo>≥</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> under the condition that <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41_2025_10156_Article_IEq13.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="102" /> </InlineMediaObject> <EquationSource Format="TEX">\(\lambda _{k+1}-\lambda _k\ge 1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>λ</mi> <mrow> <mi>k</mi> <mo>+</mo> <mn>1</mn> </mrow> </msub> <mo>-</mo> <msub> <mi>λ</mi> <mi>k</mi> </msub> <mo>≥</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>. The main novelty is that if those gaps go to infinity, then <i>T</i> can be taken arbitrarily small. The result is new even when the <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41_2025_10156_Article_IEq14.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(\lambda _k\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>λ</mi> <mi>k</mi> </msub> </math></EquationSource> </InlineEquation>’s are integers where it extends a result of McGehee, Pigno and Smith. The results are then applied to observability of Schrödinger equations with moving sensors.</p>

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

On \(L^1\)-Norms for Non-harmonic Trigonometric Polynomials with Sparse Frequencies

  • Philippe Jaming,
  • Karim Kellay,
  • Chadi Saba,
  • Yunlei Wang

摘要

In this paper we show that, if an increasing sequence \(\Lambda =(\lambda _k)_{k\in {\mathbb {Z}}}\) Λ = ( λ k ) k Z has gaps going to infinity \(\lambda _{k+1}-\lambda _k\rightarrow +\infty \) λ k + 1 - λ k + when \(k\rightarrow \pm \infty \) k ± , then for every \(T>0\) T > 0 and every sequence \((a_k)_{k\in {\mathbb {Z}}}\) ( a k ) k Z and every \(N\ge 1\) N 1 , \(\begin{aligned} A\sum _{k=0}^N\frac{|a_k|}{1+k}\le \frac{1}{T}\int _{-T/2}^{T/2} {\left| {\sum _{k=0}^Na_ke^{2i\pi \lambda _k t}}\right| }\,\text{ d }t \end{aligned}\) A k = 0 N | a k | 1 + k 1 T - T / 2 T / 2 k = 0 N a k e 2 i π λ k t d t further, if \(\displaystyle \sum _{k\in {\mathbb {Z}}}\dfrac{1}{1+|\lambda _k|}<+\infty \) k Z 1 1 + | λ k | < + , \(\begin{aligned} B\max _{|k|\le N}|a_k|\le \frac{1}{T}\int _{-T/2}^{T/2} {\left| {\sum _{k=-N}^Na_ke^{2i\pi \lambda _k t}}\right| }\,\text{ d }t \end{aligned}\) B max | k | N | a k | 1 T - T / 2 T / 2 k = - N N a k e 2 i π λ k t d t where AB are constants that depend on T and \(\Lambda \) Λ only. The first inequality was obtained by Nazarov for \(T>1\) T > 1 and the second one by Ingham for \(T\ge 1\) T 1 under the condition that \(\lambda _{k+1}-\lambda _k\ge 1\) λ k + 1 - λ k 1 . The main novelty is that if those gaps go to infinity, then T can be taken arbitrarily small. The result is new even when the \(\lambda _k\) λ k ’s are integers where it extends a result of McGehee, Pigno and Smith. The results are then applied to observability of Schrödinger equations with moving sensors.