Exact norm estimates for the singular Schrödinger operator (Q1207363)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Exact norm estimates for the singular Schrödinger operator |
scientific article |
Statements
Exact norm estimates for the singular Schrödinger operator (English)
0 references
1 April 1993
0 references
Define the Schrödinger operator \(L_ \mu f=: -\Delta f+ qf+ \mu f\) and introduce the Liouville class \(L^ t_ p (R^ N)\), \(1\leq p\leq \infty\), \(t\geq 0\), with corresponding norm \(\| F^{-1} ((1+| x|^ 2)^{-t/2} Ff)\|_{ L^ t_ p (R^ N)}:= \| f\|_{L_ p (R^ N)}\). The Fourier transform defined on the Schwartz distributions is designated by \(F\). Define the manifolds \(S_ k:= \{(\xi, \eta)\): \(\xi\in R^{m_ k}\), \(\eta\in R^{N-m_ k}\), \(\xi= \varphi_ k (\eta)\} \subset R^ N\), \(k=1, \dots, K\); where the maps \(\varphi_ k: R^{N- m_ k}\to R^{m_ k}\) are uniformly bounded: \(| \nabla \varphi_ k (\zeta)|\leq c\), \(\eta\in R^{N- m_ k}\), \(k=1,\dots, K\). Set \(S= \bigcup_{j=1}^ K S_ j\). For \(0\leq\tau <2\), \(m:= \min_ k m_ k\), let (i) \(q\in C^ \infty (R^ N/ S)\) be a real-valued function such that (ii) \(| D^ \alpha q(x) |\leq c_ 0 [\text{dist} (x,S) ]^{-\tau- \alpha}\), \(x\in R^ N\), \(0\leq | \alpha| <m+2-\tau\). Finally, let \(\ell_ 0\) be an integer defined by \(m/ (\tau+ 2\ell_ 0) \leq 1<m/ (\tau+ 2(\ell_ 0 - 1))\). The main theorem states: (a) Let \(1<p< m/\tau\), \(0\leq s\leq 2\ell_ 0\), \(s< m/p+2-\tau\). Then \(L^{s/2}: L^ s_ p\to L_ p\) is an isomorphism of \(L^ s_ p\) onto \(L_ p\). (b) Let the conclusion of (a) hold and consider the bounded linear operators \(A_ n: L_ p\to L_ p\), \(L^ s_ p\to L^ s_ p\). And, let \(A_ n\) be changeable with \(L_ \mu\) and \(A_ n f @> L_ p >>f\), \(n\to\infty\), \(f\in L_ p\). Then, \(A_ n f @> L^ s_ p >> f\), \(n\to\infty\), \(f\in L_ p\). Finally, (c) let \(1<p <m/\tau\), \(s= m/p+ 2-\tau\). Then there is a potential function \(q\) satisfying conditions (i) and (ii) and a function \(f\in C_ 0^ \infty (R^ N)\) for which \(f\not\in D(L_ \mu^{s/2})\).
0 references
Schrödinger operator
0 references
Liouville class
0 references
Fourier transform
0 references
Schwartz distributions
0 references