For on , the form is coercive on the one-dimensional harmonic oscillator form domain when . The Lax-Milgram theorem gives a unique weak solution of . The graph estimate for the harmonic oscillator puts it in , and 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 solves the heat equation with oscillator potential.
Articles by others on the same topic
There are currently no matching articles.