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
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