No label defined (Q4382292)

This is a Doctor of Science thesis presented at Tohoku University. It contains two main theorems on the convergence of Riesz means \(s^\delta_\lambda\) defined with respect to a nonnegative selfadjoint realization \(\widehat A\) of \(-\Delta+ V\) in \(L^2(\Omega)\), where \(\Omega\) is a domain in \(\mathbb{R}^n\) and \(V\) is a nonnegative function in \(L^\infty_{\text{loc}}(\Omega)\). The first theorem is as follows: suppose that \(f\in L^2(\Omega)\) is such that, as \(\varepsilon\to 0+\), a regularization \(f*\phi_\varepsilon(x)\to f(x)\) for every \(x\in\Omega\). Let \(1<p\leq\infty\) and \(\delta\geq (n+3)/2\). The author proves the following: (i) Let \(\alpha> n/4\) and \(f\in D(\widehat A^\alpha)\), the domain of \(\widehat A^\alpha\). Suppose that \(K'\) is a closed subset of the compact subset \(K\) of \(\Omega\) with \(\text{dist}(K',K^c)> 0\). Then, if \(f\), \((-\Delta+ V)f\in L^P(K)\), \(\| s^\delta_\lambda f-f\|_{L^P(K')}= O(\lambda^{-1})\) as \(\lambda\to\infty\). If \(f\) vanishes in \(K\) then the right-hand side is \(o(\lambda^{-1})\). (ii) If, for a compact set \(K\) in \(\Omega\), \(\| s^\delta_\lambda f- f\|_{L^P(K)}= O(\lambda^{-1})\) as \(\lambda\to\infty\), then \((-\Delta+ V)f\in L^P(K)\). If the right-hand side is replaced by \(o(\lambda^{-1})\) then \((-\Delta+ V)f\) vanishes in \(K\). In the second theorem \(V= 0\). The results are: (i) \(\| s^\delta_\lambda f-f\|_{L^P(K)}= O(\lambda^{-1})\) as \(\lambda\to\infty\) for every compact set \(K\) in \(\Omega\) if and only if \(\Delta f\in L^p_{\text{loc}}(\Omega)\). (ii) \(\| s^\delta_\lambda f- f\|_{L^P(K)}= o(\lambda^{-1})\) as \(\lambda\to\infty\) for every compact set \(K\) in \(\Omega\) if and only if \(\Delta f\) vanishes in \(\Omega\).