On the convergence of eigenfunction expansion in the norm of Sobolev spaces (Q1107741)

From MaRDI portal





scientific article; zbMATH DE number 4065545
Language Label Description Also known as
English
On the convergence of eigenfunction expansion in the norm of Sobolev spaces
scientific article; zbMATH DE number 4065545

    Statements

    On the convergence of eigenfunction expansion in the norm of Sobolev spaces (English)
    0 references
    1986
    0 references
    Let \(S=\cup^{\ell}_{k=1}S_ k\), where each \(S_ k\) is a manifold of dimension \(m_ k\leq n-3\) given by \[ S_ k=\{(\xi,y)\in R^ n: y_ j=\phi^ k_ j(\xi),| \nabla \phi^ k_ j(\xi)| \leq C^ k_ j\} \] for some coordinate system \((\xi,y)=(\xi_ 1,...,\xi_{m_ k}\); \(y_ 1,...,y_{n-m_ k})\) and functions \(\phi^ k_ j\in C^ 1(R^{m_ k}\to R^{n-m_ k})\). The author considers the Schrödinger operator \(L_ 0=(-\Delta +q)\upharpoonright C_ 0^{\infty}(R^ n)\) under the assumption that the potential \(q\in C^{\infty}(R^ n\setminus S)\), is real-valued and \(| D^{\alpha}q(x)| \leq C[dist(x,S)]^{-\tau -| \alpha |}\) \((0\leq | \alpha | \leq 1)\) for some \(\tau\geq 0\). In this case \(L_ 0\) is self-adjoint and bounded below in \(L^ 2(R^ n)\). Let L be the Friedrichs extension of \(L_ 0\) and denote its spectral family by \(\{E_{\lambda}\}\). The main result proved is that if either \(\tau\in [0,3/2]\) and \(s\in [0,2]\), or \(\tau\in [0,)\) and \(0\leq s<7/2-\tau\), then \(\| E_{\lambda}f-f\|_{H^ s(R^ n)}\to 0\) as \(\lambda\to \infty\) for every \(f\in H^ s(R^ n)\), the Sobolev space of functions in \(L^ 2(R^ n)\) with norm \(\| f\|_{H^ s(R^ n)}:=\| (1- \Delta)^{s/2}f\|_{L^ 2(R^ n)}.\)
    0 references
    eigenfunction expansion
    0 references
    Schrödinger operator
    0 references
    potential
    0 references
    self-adjoint
    0 references
    Friedrichs extension
    0 references
    spectral family
    0 references
    Sobolev space
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references