Fractional powers of the parabolic Hermite operator. Regularity properties

Abstract

Let $\mathcal{L}= \partial_t- Δ_x+|x|^2$. Consider its Poisson semigroup $e^{-y\sqrt{\mathcal{L}}}$. For $α>0$ define the Parabolic Hermite-Zygmund spaces $$ Λ^α_{\mathcal{L}}=\left\{f: \:f\in L^\infty(\mathbb{R}^{n+1})\:\; {\rm and} \:\; \left\|\partial_y^k e^{-y\sqrt{\mathcal{L}}} f \right\|_{L^\infty(\mathbb{R}^{n+1})}\leq C_k y^{-k+α},\;\: {\rm with }\, k=[α]+1, y>0. \right\}, $$ with the obvious norm. It is shown that these spaces have a pointwise description of Hölder type. The fractional powers $\mathcal{L}^{\pm β}$ are well defined in these spaces and the following regularity properties are proved: \begin{eqnarray*} α, β>0, \quad \|\mathcal{L}^{-β} f\|_{ Λ^{α+2β}_{\mathcal{L}}}\le C \|f\|_{ Λ^α_{\mathcal{L}}}. \end{eqnarray*} \begin{eqnarray*} 0< 2β< α, \quad \|\mathcal{L}^βf\|_{Λ_{\mathcal{L}}^{α-2β}}\le C \|f\|_{Λ^α_{\mathcal{L}}}. \end{eqnarray*} Parallel results are obtained for the Hermite operator $- Δ+|x|^2.$ The proofs use in a fundamental way the semigroup definition of the operators $\mathcal{L}^{\pm β}$ and $(-Δ+|x|^2)^{\pm β}$. The non-convolution structure of the operators produce an extra difficulty of the arguments.