<p>We characterize the set of semiclassical measures corresponding to sequences of eigenfunctions of the attractive Coulomb operator <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\widehat{H}_{\hbar }{:}{=}-\frac{\hbar ^2}{2}\Delta _{\mathbb {R}^3}-\frac{1}{|x|}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mover accent="true"> <mi>H</mi> <mo stretchy="true">^</mo> </mover> <mi>ħ</mi> </msub> <mo>:</mo> <mo>=</mo> <mo>-</mo> <mfrac> <msup> <mi>ħ</mi> <mn>2</mn> </msup> <mn>2</mn> </mfrac> <msub> <mi mathvariant="normal">Δ</mi> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mn>3</mn> </msup> </msub> <mo>-</mo> <mfrac> <mn>1</mn> <mrow> <mo stretchy="false">|</mo> <mi>x</mi> <mo stretchy="false">|</mo> </mrow> </mfrac> </mrow> </math></EquationSource> </InlineEquation>. In particular, any Radon probability measure on the fixed negative energy hypersurface <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\Sigma _E\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="normal">Σ</mi> <mi>E</mi> </msub> </math></EquationSource> </InlineEquation> of the Kepler Hamiltonian <i>H</i> in classical phase space that is invariant under the regularized Kepler flow is the semiclassical measure of a sequence of eigenfunctions of <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\widehat{H}_{\hbar }\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mover accent="true"> <mi>H</mi> <mo stretchy="true">^</mo> </mover> <mi>ħ</mi> </msub> </math></EquationSource> </InlineEquation> with eigenvalue <i>E</i> as <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\hbar \rightarrow 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ħ</mi> <mo stretchy="false">→</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>. The main tool that we use is the celebrated Fock unitary conjugation map between eigenspaces of <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\widehat{H}_{\hbar }\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mover accent="true"> <mi>H</mi> <mo stretchy="true">^</mo> </mover> <mi>ħ</mi> </msub> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(-\Delta _{\mathbb {S}^3}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>-</mo> <msub> <mi mathvariant="normal">Δ</mi> <msup> <mrow> <mi mathvariant="double-struck">S</mi> </mrow> <mn>3</mn> </msup> </msub> </mrow> </math></EquationSource> </InlineEquation>. We first prove that for any Kepler orbit <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\gamma \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>γ</mi> </math></EquationSource> </InlineEquation> on <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\Sigma _E\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="normal">Σ</mi> <mi>E</mi> </msub> </math></EquationSource> </InlineEquation>, there is a sequence of eigenfunctions that converge in the sense of semiclassical measures to the delta measure supported on <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\gamma \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>γ</mi> </math></EquationSource> </InlineEquation> as <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(\hbar \rightarrow 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ħ</mi> <mo stretchy="false">→</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>, and we finish using a density argument in the weak-* topology.</p>

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

Semiclassical Measures of Eigenfunctions of the Attractive Coulomb Operator

  • Nicholas Lohr

摘要

We characterize the set of semiclassical measures corresponding to sequences of eigenfunctions of the attractive Coulomb operator \(\widehat{H}_{\hbar }{:}{=}-\frac{\hbar ^2}{2}\Delta _{\mathbb {R}^3}-\frac{1}{|x|}\) H ^ ħ : = - ħ 2 2 Δ R 3 - 1 | x | . In particular, any Radon probability measure on the fixed negative energy hypersurface \(\Sigma _E\) Σ E of the Kepler Hamiltonian H in classical phase space that is invariant under the regularized Kepler flow is the semiclassical measure of a sequence of eigenfunctions of \(\widehat{H}_{\hbar }\) H ^ ħ with eigenvalue E as \(\hbar \rightarrow 0\) ħ 0 . The main tool that we use is the celebrated Fock unitary conjugation map between eigenspaces of \(\widehat{H}_{\hbar }\) H ^ ħ and \(-\Delta _{\mathbb {S}^3}\) - Δ S 3 . We first prove that for any Kepler orbit \(\gamma \) γ on \(\Sigma _E\) Σ E , there is a sequence of eigenfunctions that converge in the sense of semiclassical measures to the delta measure supported on \(\gamma \) γ as \(\hbar \rightarrow 0\) ħ 0 , and we finish using a density argument in the weak-* topology.