One-dimensional harmonic oscillator form domain ($X=H^1(\mathbb{R})\cap L^2(\mathbb{R},x^{2}dx)$)

This Hilbert space has norm $\Vert u{\Vert }_X^2=\Vert u{\Vert }_2^2+\Vert u^{\prime }{\Vert }_2^2+\Vert xu{\Vert }_2^2$. Completeness follows from completeness of H1 space and closedness of the multiplication operator $u\mapsto xu$. Smooth cutoffs followed by convolution with a mollifier show that smooth compactly supported functions are dense. The space is the natural energy domain of the dimensionless quantum harmonic oscillator, whereas the operator domain additionally requires $u^{\prime \prime }$ and $x^{2}u$ to lie in L2 space.

For $c>0$ and smooth compactly supported $u$, integration by parts givesDropping the nonnegative weighted derivative term proves the displayed bound. For a weak resolvent solution in the one-dimensional harmonic oscillator form domain, apply the bound to ${\chi }_{R}u$, where ${\chi }_R$ is a smooth cutoff. The cutoff error $-2{\chi }_R^{\prime }{u}^{\prime }-{\chi }_R^{\prime \prime }u$ is bounded in L2 space and tends to zero. The Fatou lemma then shows that $u^{\prime \prime }$ and $x^{2}u$ belong to L2 space, identifying the strong operator domain.

For $Au=u^{\prime \prime }-(1+x^2)u$ on $D(A)=\{u\in H^2(\mathbb{R}):x^{2}u\in L^2\}$, the form $a_{\lambda }(u,v)=\int u^{\prime }\overline{v^{\prime }}+(1+\lambda +x^2)u\bar{v}$ is coercive on the one-dimensional harmonic oscillator form domain when $\lambda >0$. The Lax-Milgram theorem gives a unique weak solution of $(\lambda -A)u=g$. The graph estimate for the harmonic oscillator puts it in $D(A)$, and $a_{\lambda }(u,u)\ge (1+\lambda )\Vert u{\Vert }_2^2$ gives the displayed resolvent bound. The domain is dense and the bounded resolvent proves closedness, so the Hille-Yosida theorem gives a contraction semigroup. An exponentially shifted semigroup with generator $A+I$ solves the heat equation with oscillator potential.