<p>Let <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\overline{M_{\Lambda }}\)</EquationSource> <EquationSource Format="MATHML"><math> <mover> <msub> <mi>M</mi> <mi mathvariant="normal">Λ</mi> </msub> <mo>¯</mo> </mover> </math></EquationSource> </InlineEquation> be the closed span of the system <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\{t^{\lambda _n}\}_{n=1}^{\infty }\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mrow> <mo stretchy="false">{</mo> <msup> <mi>t</mi> <msub> <mi>λ</mi> <mi>n</mi> </msub> </msup> <mo stretchy="false">}</mo> </mrow> <mrow> <mi>n</mi> <mo>=</mo> <mn>1</mn> </mrow> <mi>∞</mi> </msubsup> </math></EquationSource> </InlineEquation> in <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(L^2 (0,1)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>L</mi> <mn>2</mn> </msup> <mrow> <mo stretchy="false">(</mo> <mn>0</mn> <mo>,</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> where <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\Lambda =\{\lambda _n\}_{n=1}^{\infty }\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">Λ</mi> <mo>=</mo> <msubsup> <mrow> <mo stretchy="false">{</mo> <msub> <mi>λ</mi> <mi>n</mi> </msub> <mo stretchy="false">}</mo> </mrow> <mrow> <mi>n</mi> <mo>=</mo> <mn>1</mn> </mrow> <mi>∞</mi> </msubsup> </mrow> </math></EquationSource> </InlineEquation> is a strictly increasing sequence of positive real numbers such that <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\sum _{n=1}^{\infty }\lambda _n^{-1}&lt;\infty \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mo>∑</mo> <mrow> <mi>n</mi> <mo>=</mo> <mn>1</mn> </mrow> <mi>∞</mi> </msubsup> <msubsup> <mi>λ</mi> <mi>n</mi> <mrow> <mo>-</mo> <mn>1</mn> </mrow> </msubsup> <mo>&lt;</mo> <mi>∞</mi> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\inf (\lambda _{n+1}-\lambda _n)&gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo movablelimits="true">inf</mo> <mo stretchy="false">(</mo> <msub> <mi>λ</mi> <mrow> <mi>n</mi> <mo>+</mo> <mn>1</mn> </mrow> </msub> <mo>-</mo> <msub> <mi>λ</mi> <mi>n</mi> </msub> <mo stretchy="false">)</mo> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>. We refer to <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\overline{M_{\Lambda }}\)</EquationSource> <EquationSource Format="MATHML"><math> <mover> <msub> <mi>M</mi> <mi mathvariant="normal">Λ</mi> </msub> <mo>¯</mo> </mover> </math></EquationSource> </InlineEquation> as the Müntz space of <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\Lambda \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Λ</mi> </math></EquationSource> </InlineEquation>. We investigate properties of <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\overline{M_{\Lambda }}\)</EquationSource> <EquationSource Format="MATHML"><math> <mover> <msub> <mi>M</mi> <mi mathvariant="normal">Λ</mi> </msub> <mo>¯</mo> </mover> </math></EquationSource> </InlineEquation> and of the unique biorthogonal family <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(\{r_n (t)\}_{n=1}^{\infty }\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mrow> <mo stretchy="false">{</mo> <msub> <mi>r</mi> <mi>n</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>t</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">}</mo> </mrow> <mrow> <mi>n</mi> <mo>=</mo> <mn>1</mn> </mrow> <mi>∞</mi> </msubsup> </math></EquationSource> </InlineEquation> to the system <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(\{t^{\lambda _n}\}_{n=1}^{\infty }\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mrow> <mo stretchy="false">{</mo> <msup> <mi>t</mi> <msub> <mi>λ</mi> <mi>n</mi> </msub> </msup> <mo stretchy="false">}</mo> </mrow> <mrow> <mi>n</mi> <mo>=</mo> <mn>1</mn> </mrow> <mi>∞</mi> </msubsup> </math></EquationSource> </InlineEquation> in <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(\overline{M_{\Lambda }}\)</EquationSource> <EquationSource Format="MATHML"><math> <mover> <msub> <mi>M</mi> <mi mathvariant="normal">Λ</mi> </msub> <mo>¯</mo> </mover> </math></EquationSource> </InlineEquation>. In the spirit of the “Clarkson-Erdős-Schwartz Phenomenon”, we obtain a series representation for functions in <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(\overline{M_{\Lambda }}\)</EquationSource> <EquationSource Format="MATHML"><math> <mover> <msub> <mi>M</mi> <mi mathvariant="normal">Λ</mi> </msub> <mo>¯</mo> </mover> </math></EquationSource> </InlineEquation> and then show that the system <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(\{t^{\lambda _n}\}_{n=1}^{\infty }\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mrow> <mo stretchy="false">{</mo> <msup> <mi>t</mi> <msub> <mi>λ</mi> <mi>n</mi> </msub> </msup> <mo stretchy="false">}</mo> </mrow> <mrow> <mi>n</mi> <mo>=</mo> <mn>1</mn> </mrow> <mi>∞</mi> </msubsup> </math></EquationSource> </InlineEquation> is a strong Markushevich basis for <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\(\overline{M_{\Lambda }}\)</EquationSource> <EquationSource Format="MATHML"><math> <mover> <msub> <mi>M</mi> <mi mathvariant="normal">Λ</mi> </msub> <mo>¯</mo> </mover> </math></EquationSource> </InlineEquation>. As a result, we construct a general class of compact operators on <InlineEquation ID="IEq16"> <EquationSource Format="TEX">\(\overline{M_{\Lambda }}\)</EquationSource> <EquationSource Format="MATHML"><math> <mover> <msub> <mi>M</mi> <mi mathvariant="normal">Λ</mi> </msub> <mo>¯</mo> </mover> </math></EquationSource> </InlineEquation> that admit spectral synthesis: one of them is the operator <InlineEquation ID="IEq17"> <EquationSource Format="TEX">\(T_{\rho }(f)=f(\rho x)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>T</mi> <mi>ρ</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>f</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mi>f</mi> <mrow> <mo stretchy="false">(</mo> <mi>ρ</mi> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> for <InlineEquation ID="IEq18"> <EquationSource Format="TEX">\(\rho \in (0,1)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ρ</mi> <mo>∈</mo> <mo stretchy="false">(</mo> <mn>0</mn> <mo>,</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. Moreover, we show that the restriction of the Hardy-Cesàro operator <i>H</i> on <InlineEquation ID="IEq19"> <EquationSource Format="TEX">\(\overline{M_{\Lambda }}\)</EquationSource> <EquationSource Format="MATHML"><math> <mover> <msub> <mi>M</mi> <mi mathvariant="normal">Λ</mi> </msub> <mo>¯</mo> </mover> </math></EquationSource> </InlineEquation>, with <InlineEquation ID="IEq20"> <EquationSource Format="TEX">\(H: \overline{M_{\Lambda }}\rightarrow \overline{M_{\Lambda }}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>H</mi> <mo>:</mo> <mover> <msub> <mi>M</mi> <mi mathvariant="normal">Λ</mi> </msub> <mo>¯</mo> </mover> <mo stretchy="false">→</mo> <mover> <msub> <mi>M</mi> <mi mathvariant="normal">Λ</mi> </msub> <mo>¯</mo> </mover> </mrow> </math></EquationSource> </InlineEquation>, admits spectral synthesis, where <Equation ID="Equ15"> <EquationSource Format="TEX">\( Hf(x) : = \frac{1}{x} \int _{0}^{x} f(t)\, dt, \qquad x\in (0,1]. \)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mi>H</mi> <mi>f</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo>:</mo> <mo>=</mo> <mfrac> <mn>1</mn> <mi>x</mi> </mfrac> <msubsup> <mo>∫</mo> <mrow> <mn>0</mn> </mrow> <mi>x</mi> </msubsup> <mi>f</mi> <mrow> <mo stretchy="false">(</mo> <mi>t</mi> <mo stretchy="false">)</mo> </mrow> <mspace width="0.166667em" /> <mi>d</mi> <mi>t</mi> <mo>,</mo> <mspace width="2em" /> <mi>x</mi> <mo>∈</mo> <mrow> <mo stretchy="false">(</mo> <mn>0</mn> <mo>,</mo> <mn>1</mn> <mo stretchy="false">]</mo> </mrow> <mo>.</mo> </mrow> </math></EquationSource> </Equation></p>

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

Müntz spaces: strong Markushevich bases and Spectral Synthesis

  • Elias Zikkos

摘要

Let \(\overline{M_{\Lambda }}\) M Λ ¯ be the closed span of the system \(\{t^{\lambda _n}\}_{n=1}^{\infty }\) { t λ n } n = 1 in \(L^2 (0,1)\) L 2 ( 0 , 1 ) where \(\Lambda =\{\lambda _n\}_{n=1}^{\infty }\) Λ = { λ n } n = 1 is a strictly increasing sequence of positive real numbers such that \(\sum _{n=1}^{\infty }\lambda _n^{-1}<\infty \) n = 1 λ n - 1 < and \(\inf (\lambda _{n+1}-\lambda _n)>0\) inf ( λ n + 1 - λ n ) > 0 . We refer to \(\overline{M_{\Lambda }}\) M Λ ¯ as the Müntz space of \(\Lambda \) Λ . We investigate properties of \(\overline{M_{\Lambda }}\) M Λ ¯ and of the unique biorthogonal family \(\{r_n (t)\}_{n=1}^{\infty }\) { r n ( t ) } n = 1 to the system \(\{t^{\lambda _n}\}_{n=1}^{\infty }\) { t λ n } n = 1 in \(\overline{M_{\Lambda }}\) M Λ ¯ . In the spirit of the “Clarkson-Erdős-Schwartz Phenomenon”, we obtain a series representation for functions in \(\overline{M_{\Lambda }}\) M Λ ¯ and then show that the system \(\{t^{\lambda _n}\}_{n=1}^{\infty }\) { t λ n } n = 1 is a strong Markushevich basis for \(\overline{M_{\Lambda }}\) M Λ ¯ . As a result, we construct a general class of compact operators on \(\overline{M_{\Lambda }}\) M Λ ¯ that admit spectral synthesis: one of them is the operator \(T_{\rho }(f)=f(\rho x)\) T ρ ( f ) = f ( ρ x ) for \(\rho \in (0,1)\) ρ ( 0 , 1 ) . Moreover, we show that the restriction of the Hardy-Cesàro operator H on \(\overline{M_{\Lambda }}\) M Λ ¯ , with \(H: \overline{M_{\Lambda }}\rightarrow \overline{M_{\Lambda }}\) H : M Λ ¯ M Λ ¯ , admits spectral synthesis, where \( Hf(x) : = \frac{1}{x} \int _{0}^{x} f(t)\, dt, \qquad x\in (0,1]. \) H f ( x ) : = 1 x 0 x f ( t ) d t , x ( 0 , 1 ] .