<p>It is known that the inequality <Equation ID="Equ1"> <EquationSource Format="TEX">\(\int_{-W/2}^{W/2} \big|\widehat{f}(\xi) \big|^2 \, d\xi \leq \int_{-W/2}^{W/2} \big|\widehat{|f|^*}(\xi) \big|^2 \, d\xi \)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <msubsup> <mo>∫</mo> <mrow> <mo>-</mo> <mi>W</mi> <mo stretchy="false">/</mo> <mn>2</mn> </mrow> <mrow> <mi>W</mi> <mo stretchy="false">/</mo> <mn>2</mn> </mrow> </msubsup> <mrow> <mo maxsize="1.2em" minsize="1.2em" stretchy="true">|</mo> </mrow> <mover accent="true"> <mi>f</mi> <mo stretchy="true">^</mo> </mover> <mrow> <mo stretchy="false">(</mo> <mi>ξ</mi> <mo stretchy="false">)</mo> </mrow> <msup> <mrow> <mo maxsize="1.2em" minsize="1.2em" stretchy="true">|</mo> </mrow> <mn>2</mn> </msup> <mspace width="0.166667em" /> <mi>d</mi> <mi>ξ</mi> <mo>≤</mo> <msubsup> <mo>∫</mo> <mrow> <mo>-</mo> <mi>W</mi> <mo stretchy="false">/</mo> <mn>2</mn> </mrow> <mrow> <mi>W</mi> <mo stretchy="false">/</mo> <mn>2</mn> </mrow> </msubsup> <mrow> <mo maxsize="1.2em" minsize="1.2em" stretchy="true">|</mo> </mrow> <mover accent="true"> <msup> <mrow> <mo stretchy="false">|</mo> <mi>f</mi> <mo stretchy="false">|</mo> </mrow> <mo>∗</mo> </msup> <mo stretchy="true">^</mo> </mover> <mrow> <mo stretchy="false">(</mo> <mi>ξ</mi> <mo stretchy="false">)</mo> </mrow> <msup> <mrow> <mo maxsize="1.2em" minsize="1.2em" stretchy="true">|</mo> </mrow> <mn>2</mn> </msup> <mspace width="0.166667em" /> <mi>d</mi> <mi>ξ</mi> </mrow> </math></EquationSource> </Equation>between the quadratic spectral concentration of a function and that of its decreasing rearrangement holds for any function <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(f\in L^2 \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>f</mi> <mo>∈</mo> <msup> <mi>L</mi> <mn>2</mn> </msup> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\( \lvert {\textrm{supp}} f|=T \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">|</mo> <mtext>supp</mtext> <mi>f</mi> <mo stretchy="false">|</mo> <mo>=</mo> <mi>T</mi> </mrow> </math></EquationSource> </InlineEquation>, if and only if the product <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(WT\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="italic">WT</mi> </mrow> </math></EquationSource> </InlineEquation> does not exceed the critical value <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\approx 0.81\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>≈</mo> <mn>0.81</mn> </mrow> </math></EquationSource> </InlineEquation>. We show that by restricting ourselves to characteristic functions we can enlarge this range up to <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(WT\leq 4/3\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>W</mi> <mi>T</mi> <mo>≤</mo> <mn>4</mn> <mo stretchy="false">/</mo> <mn>3</mn> </mrow> </math></EquationSource> </InlineEquation>. Besides, we establish various properties of minimizers of the difference <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\int_{-W/2}^{W/2} |\widehat{{\mathbb{1}}_A^*}(\xi) | ^2 \, d\xi -\int_{-W/2}^{W/2} |\widehat{{\mathbb{1}}_A}(\xi) | ^2 \, d\xi \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mo>∫</mo> <mrow> <mo>-</mo> <mi>W</mi> <mo stretchy="false">/</mo> <mn>2</mn> </mrow> <mrow> <mi>W</mi> <mo stretchy="false">/</mo> <mn>2</mn> </mrow> </msubsup> <mrow> <mo stretchy="false">|</mo> </mrow> <mover accent="true"> <msubsup> <mn mathvariant="double-struck">1</mn> <mi>A</mi> <mo>∗</mo> </msubsup> <mo stretchy="true">^</mo> </mover> <msup> <mrow> <mrow> <mo stretchy="false">(</mo> <mi>ξ</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">|</mo> </mrow> <mn>2</mn> </msup> <mspace width="0.166667em" /> <mi>d</mi> <mi>ξ</mi> <mo>-</mo> <msubsup> <mo>∫</mo> <mrow> <mo>-</mo> <mi>W</mi> <mo stretchy="false">/</mo> <mn>2</mn> </mrow> <mrow> <mi>W</mi> <mo stretchy="false">/</mo> <mn>2</mn> </mrow> </msubsup> <msup> <mrow> <mo stretchy="false">|</mo> <mover accent="true"> <msub> <mn mathvariant="double-struck">1</mn> <mi>A</mi> </msub> <mo stretchy="true">^</mo> </mover> <mrow> <mo stretchy="false">(</mo> <mi>ξ</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">|</mo> </mrow> <mn>2</mn> </msup> <mspace width="0.166667em" /> <mi>d</mi> <mi>ξ</mi> </mrow> </math></EquationSource> </InlineEquation> over sets <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(A\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>A</mi> </math></EquationSource> </InlineEquation> of finite measure and prove that this difference is non-negative for all <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(W,T&gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>W</mi> <mo>,</mo> <mi>T</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> if <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(A\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>A</mi> </math></EquationSource> </InlineEquation> is the union of two intervals. As a corollary, we obtain a sharp (up to a constant) estimate for the <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(L^2 \)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>L</mi> <mn>2</mn> </msup> </math></EquationSource> </InlineEquation>-norms of non-harmonic trigonometric polynomials with alternating coefficients <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(\pm 1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>±</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>.</p>

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

Quadratic spectral concentration of characteristic functions

  • K. Oganesyan

摘要

It is known that the inequality \(\int_{-W/2}^{W/2} \big|\widehat{f}(\xi) \big|^2 \, d\xi \leq \int_{-W/2}^{W/2} \big|\widehat{|f|^*}(\xi) \big|^2 \, d\xi \) - W / 2 W / 2 | f ^ ( ξ ) | 2 d ξ - W / 2 W / 2 | | f | ^ ( ξ ) | 2 d ξ between the quadratic spectral concentration of a function and that of its decreasing rearrangement holds for any function \(f\in L^2 \) f L 2 , \( \lvert {\textrm{supp}} f|=T \) | supp f | = T , if and only if the product \(WT\) WT does not exceed the critical value \(\approx 0.81\) 0.81 . We show that by restricting ourselves to characteristic functions we can enlarge this range up to \(WT\leq 4/3\) W T 4 / 3 . Besides, we establish various properties of minimizers of the difference \(\int_{-W/2}^{W/2} |\widehat{{\mathbb{1}}_A^*}(\xi) | ^2 \, d\xi -\int_{-W/2}^{W/2} |\widehat{{\mathbb{1}}_A}(\xi) | ^2 \, d\xi \) - W / 2 W / 2 | 1 A ^ ( ξ ) | 2 d ξ - - W / 2 W / 2 | 1 A ^ ( ξ ) | 2 d ξ over sets \(A\) A of finite measure and prove that this difference is non-negative for all \(W,T>0\) W , T > 0 if \(A\) A is the union of two intervals. As a corollary, we obtain a sharp (up to a constant) estimate for the \(L^2 \) L 2 -norms of non-harmonic trigonometric polynomials with alternating coefficients \(\pm 1\) ± 1 .