Square roots of elliptic operators (Q1075582)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Square roots of elliptic operators
scientific article

    Statements

    Square roots of elliptic operators (English)
    0 references
    1985
    0 references
    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)))\).
    0 references
    0 references
    sesquilinear form
    0 references
    parabolic and hyperbolic equations
    0 references
    regularity
    0 references
    maximal accretive
    0 references
    square root
    0 references
    0 references