<p>We show that under very mild conditions on a measure <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\mu\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>μ</mi> </math></EquationSource> </InlineEquation> on the interval <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\([0,\infty)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">[</mo> <mn>0</mn> <mo>,</mo> <mi>∞</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, the span of <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\{x^k\}_{k=n}^{\infty}\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mrow> <mo stretchy="false">{</mo> <msup> <mi>x</mi> <mi>k</mi> </msup> <mo stretchy="false">}</mo> </mrow> <mrow> <mi>k</mi> <mo>=</mo> <mi>n</mi> </mrow> <mi>∞</mi> </msubsup> </math></EquationSource> </InlineEquation> is dense in <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(L^2(\mu)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>L</mi> <mn>2</mn> </msup> <mrow> <mo stretchy="false">(</mo> <mi>μ</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> for any <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(n=0,1,\ldots{}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>=</mo> <mn>0</mn> <mo>,</mo> <mn>1</mn> <mo>,</mo> <mo>…</mo> <mrow /> </mrow> </math></EquationSource> </InlineEquation>. We present two different proofs of this result, one based on the density index of Berg and Thill and one based on the Hilbert space <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(L^2(\mu)\oplus \mathbb{C}^{n+1}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>L</mi> <mn>2</mn> </msup> <mrow> <mo stretchy="false">(</mo> <mi>μ</mi> <mo stretchy="false">)</mo> </mrow> <mo>⊕</mo> <msup> <mrow> <mi mathvariant="double-struck">C</mi> </mrow> <mrow> <mi>n</mi> <mo>+</mo> <mn>1</mn> </mrow> </msup> </mrow> </math></EquationSource> </InlineEquation>. Using the index of determinacy of Berg and Durán we prove that if the measure <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\mu\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>μ</mi> </math></EquationSource> </InlineEquation> on <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\mathbb{R}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">R</mi> </math></EquationSource> </InlineEquation> has infinite index of determinacy then the polynomial ideal <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(R(x)\mathbb{C}[x]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>R</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> <mi mathvariant="double-struck">C</mi> <mo stretchy="false">[</mo> <mi>x</mi> <mo stretchy="false">]</mo> </mrow> </math></EquationSource> </InlineEquation> is dense in <InlineEquation ID="IEq19"> <EquationSource Format="TEX">\(L^2(\mu)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>L</mi> <mn>2</mn> </msup> <mrow> <mo stretchy="false">(</mo> <mi>μ</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> for any polynomial <i>R</i> with zeros having no mass under <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(\mu\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>μ</mi> </math></EquationSource> </InlineEquation>.</p>

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

Analytic versus algebraic density of polynomials

  • C. Berg,
  • B. Simanek,
  • R. Wellman

摘要

We show that under very mild conditions on a measure \(\mu\) μ on the interval \([0,\infty)\) [ 0 , ) , the span of \(\{x^k\}_{k=n}^{\infty}\) { x k } k = n is dense in \(L^2(\mu)\) L 2 ( μ ) for any \(n=0,1,\ldots{}\) n = 0 , 1 , . We present two different proofs of this result, one based on the density index of Berg and Thill and one based on the Hilbert space \(L^2(\mu)\oplus \mathbb{C}^{n+1}\) L 2 ( μ ) C n + 1 . Using the index of determinacy of Berg and Durán we prove that if the measure \(\mu\) μ on \(\mathbb{R}\) R has infinite index of determinacy then the polynomial ideal \(R(x)\mathbb{C}[x]\) R ( x ) C [ x ] is dense in \(L^2(\mu)\) L 2 ( μ ) for any polynomial R with zeros having no mass under \(\mu\) μ .