<p>Let <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(G\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>G</mi> </math></EquationSource> </InlineEquation> be a locally compact Abelian group, and let <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\widehat{G}\)</EquationSource> <EquationSource Format="MATHML"><math> <mover accent="true"> <mi>G</mi> <mo stretchy="false">^</mo> </mover> </math></EquationSource> </InlineEquation> denote its dual group, equipped with a Haar measure. A variant of the uncertainty principle states that for any <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(S \subset G\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>S</mi> <mo>⊂</mo> <mi>G</mi> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\Sigma \subset \widehat{G}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">Σ</mi> <mo>⊂</mo> <mover accent="true"> <mi>G</mi> <mo stretchy="false">^</mo> </mover> </mrow> </math></EquationSource> </InlineEquation>, there exists a constant <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(C(S, \Sigma )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>C</mi> <mo stretchy="false">(</mo> <mi>S</mi> <mo>,</mo> <mi mathvariant="normal">Σ</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> such that for any <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(f \in L^2(G)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>f</mi> <mo>∈</mo> <msup> <mi>L</mi> <mn>2</mn> </msup> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, the following inequality holds: <Equation ID="Equ16"> <EquationSource Format="TEX">\( \Vert f\Vert _{L^2(G)} \le C(S, \Sigma ) \bigl ( \Vert f\Vert _{L^2(G \setminus S)} + \Vert \widehat{f}\Vert _{L^2(\widehat{G} \setminus \Sigma )} \bigr ), \)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <msub> <mrow> <mo stretchy="false">‖</mo> <mi>f</mi> <mo stretchy="false">‖</mo> </mrow> <mrow> <msup> <mi>L</mi> <mn>2</mn> </msup> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </msub> <mo>≤</mo> <msub> <mrow> <mi>C</mi> <mrow> <mo stretchy="false">(</mo> <mi>S</mi> <mo>,</mo> <mi mathvariant="normal">Σ</mi> <mo stretchy="false">)</mo> </mrow> <mrow> <mo maxsize="1.2em" minsize="1.2em" stretchy="true">(</mo> </mrow> <mo stretchy="false">‖</mo> <mi>f</mi> <mo stretchy="false">‖</mo> </mrow> <mrow> <msup> <mi>L</mi> <mn>2</mn> </msup> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo lspace="0.15em" rspace="0.15em" stretchy="false">\</mo> <mi>S</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </msub> <mo>+</mo> <msub> <mrow> <mo stretchy="false">‖</mo> <mover accent="true"> <mi>f</mi> <mo stretchy="false">^</mo> </mover> <mo stretchy="false">‖</mo> </mrow> <mrow> <msup> <mi>L</mi> <mn>2</mn> </msup> <mrow> <mo stretchy="false">(</mo> <mover accent="true"> <mi>G</mi> <mo stretchy="false">^</mo> </mover> <mo lspace="0.15em" rspace="0.15em" stretchy="false">\</mo> <mi mathvariant="normal">Σ</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </msub> <mrow> <mo maxsize="1.2em" minsize="1.2em" stretchy="true">)</mo> </mrow> <mo>,</mo> </mrow> </math></EquationSource> </Equation>where <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\widehat{f}\)</EquationSource> <EquationSource Format="MATHML"><math> <mover accent="true"> <mi>f</mi> <mo stretchy="false">^</mo> </mover> </math></EquationSource> </InlineEquation> denotes the Fourier transform of <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(f\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>f</mi> </math></EquationSource> </InlineEquation>. This variant of the uncertainty principle is particularly useful in applications such as signal processing and control theory. The purpose of this paper is to show that such estimates can be strengthened when <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(S\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>S</mi> </math></EquationSource> </InlineEquation> or <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(\Sigma \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Σ</mi> </math></EquationSource> </InlineEquation> satisfies a restriction theorem and to provide an estimate for the constant <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(C(S, \Sigma )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>C</mi> <mo stretchy="false">(</mo> <mi>S</mi> <mo>,</mo> <mi mathvariant="normal">Σ</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. This result serves as a quantitative counterpart to a recent finding by the first and last author [<CitationRef CitationID="CR24">24</CitationRef>]. In the setting of finite groups, the results also extend those of Matolcsi–Szűcs and Donoho–Stark.</p>

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

Uncertainty principle, annihilating pairs and Fourier restriction

  • A. Iosevich,
  • P. Jaming,
  • A. Mayeli

摘要

Let \(G\) G be a locally compact Abelian group, and let \(\widehat{G}\) G ^ denote its dual group, equipped with a Haar measure. A variant of the uncertainty principle states that for any \(S \subset G\) S G and \(\Sigma \subset \widehat{G}\) Σ G ^ , there exists a constant \(C(S, \Sigma )\) C ( S , Σ ) such that for any \(f \in L^2(G)\) f L 2 ( G ) , the following inequality holds: \( \Vert f\Vert _{L^2(G)} \le C(S, \Sigma ) \bigl ( \Vert f\Vert _{L^2(G \setminus S)} + \Vert \widehat{f}\Vert _{L^2(\widehat{G} \setminus \Sigma )} \bigr ), \) f L 2 ( G ) C ( S , Σ ) ( f L 2 ( G \ S ) + f ^ L 2 ( G ^ \ Σ ) ) , where \(\widehat{f}\) f ^ denotes the Fourier transform of \(f\) f . This variant of the uncertainty principle is particularly useful in applications such as signal processing and control theory. The purpose of this paper is to show that such estimates can be strengthened when \(S\) S or \(\Sigma \) Σ satisfies a restriction theorem and to provide an estimate for the constant \(C(S, \Sigma )\) C ( S , Σ ) . This result serves as a quantitative counterpart to a recent finding by the first and last author [24]. In the setting of finite groups, the results also extend those of Matolcsi–Szűcs and Donoho–Stark.