On the equivalence of spectra of linear partial differential operators in certain function spaces (Q1810262)

From MaRDI portal





scientific article; zbMATH DE number 1928349
Language Label Description Also known as
default for all languages
No label defined
    English
    On the equivalence of spectra of linear partial differential operators in certain function spaces
    scientific article; zbMATH DE number 1928349

      Statements

      On the equivalence of spectra of linear partial differential operators in certain function spaces (English)
      0 references
      0 references
      15 June 2003
      0 references
      Let \(X\) be a complex Banach space and, for \(1\leq p < \infty\) and \(n\in {\mathbb N}\), consider the following spaces: (1) strongly measurable Lebesgue space \(L^p=L^p({\mathbb R}^n, X)\) with the usual norm (2) the Stepanov space \(M^p=M^p({\mathbb R}^n, X)\) consisting of \(u\) with finite norm \[ \| u\| _{M^p}:=\sup_{x\in {\mathbb R}^n} \biggl(\int\limits _{K(x)} \| u(x)\| _X^p \, dx \biggr)^{1/p} , \] where \(K(x)\) is the unit cube in \({\mathbb R}^n\) with center at the the point \(x\in {\mathbb R}^n\); (3) the space \(V^p=V^p({\mathbb R}^n, X)\) of all \(u\in L^p\), for which \[ \| u\| _{V^p}:=\sum\limits_{j=1}^\infty \biggl(2^{j-1}\int_{R_j} \| u(x)\| _X^p \, dx \biggr)^{1/p} < \infty, \] where \(R_1=\{x\in{\mathbb R}^n \, : \,\,0<| x| <1 \}\), \(R_j=\{x\in{\mathbb R}^n\, : \,\, 2^{j-2}<| x| <2^{j-1} \}\), \(j=2,3, \dots \). Denote by \(F\) one of the spaces \(L^p, M^p\), or \(V^p\). The Sobolev space \(W^m(F)\), \(m\in {\mathbb N}\), consists of all functions \(u\in F\), for which the generalized derivatives \(D^{\alpha}u\) belong to \(F\) for all multi-indices \(\alpha=(\alpha_1,\dots ,\alpha_n)\) with \(| \alpha| \leq m\), and \[ \| u\| _{W^m(F)}:=\sum\limits_{| \alpha| \leq m} \| D^{\alpha}u\| _ F. \] Consider a linear partial differential operator \(P:F \to F \) acting on the domain \(D(P,F)=W^m(F)\) according to the formula \[ Pu= \sum\limits_{| \alpha| \leq m} A_{\alpha}(x) i^{-| \alpha| }D^{\alpha}u, \] where the coefficients \(A_{\alpha}:{\mathbb R}^n \to B(X)\) are continuous and bounded (\(B(X)\) being the Banach algebra of linear bounded operators in \(X\)). The main result of this paper is as follows: the spectra of the operators \[ P: L^p\to L^p, \qquad P: V^p\to V^p, \qquad P: M^p\to M^p \] coincide, the \(L^p\)-resolvent of the operator \(P\) is a continuous operator in \(V^p\), and the \(M^p\)-resolvent of the operator \(P\) is a continuous operator in \(L^p\).
      0 references
      0 references
      linear partial differential operator
      0 references
      invertibility
      0 references
      equivalence of spectra
      0 references

      Identifiers