Square roots of elliptic operators

From MaRDI portal





Assume \(\Omega\) is an open subset of \(R^ n\), V is a closed subspace of the Sobolev space \(H^ 1(\Omega)\) which contains \(C_ 0^{\infty}(\Omega)\) and J is a sesquilinear form defined on \(V\times V\) by \[ J[u,v]=\int_{\Omega}\{\sum a_{ik}\frac{\partial u}{\partial x_ k}\frac{\overline{\partial v}}{\partial x_ j}+\sum a_ k\frac{\partial u}{\partial x_ k}\bar v+\sum \alpha_ ju\frac{\overline{\partial v}}{\partial x_ j}+ au\bar v dx \] where \(a_{jk}\), \(a_ k\), \(\alpha_ j\), \(a\in L_{\infty}(\Omega)\) and Re \(\sum a_{jk}\zeta_ k{\bar \zeta}_ j\geq K| \zeta |^ 2\) for all \(\zeta \in C^ n\) and some \(K>0\). Assume L is an operator with largest domain \({\mathcal D}(L)\) satisfying \(J[u,v]=(Lu,v)\), (\(\forall)\) \(v\in V\). One deals with some problems raised by Kato in connection with his study of parabolic and hyperbolic equations. Under quite mild regularity conditions of the coefficients and appropriate conditions on \(\Omega\) and V one proves that \((L+\lambda I)^{1/2}\) is a bounded operator from V to \(L_ 2(\Omega)\) and if \(a_{jk}=\bar a_{kj}\) and \(\lambda \geq \lambda_ 0\) then \[ {\mathcal D}((L+\lambda I)^{1/2})={\mathcal D}((L+\lambda I)^{*()})=V, \] \((L+\lambda I)^{1/2}-(L+\lambda I)^{*()}\) extends to a bounded operator on \(L_ 2(\Omega).\) If the coefficients \(a_{t,k}\), \(a_ t\in C^ m([0,t_ 1]\), \(L_{\infty}(\Omega))\) and \(a_{t,jk}\), \(\alpha_{t,j}\in C^ m([0,t_ 1]\), \(M^ s(\Omega))\) then each associated operator \((L_ t+\lambda I)\) is maximal accretive for \(\lambda \geq \lambda_ 1\) and its square root \((L_ t+\lambda I)^{1/2}\in C^ m([0,t_ 1],{\mathcal L}(V,L_ 2(\Omega)))\).




Cited in
(27)








This page was built for publication: Square roots of elliptic operators

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1075582)