English

Generalization of Lax Equivalence Theorem on Unbounded Self-adjoint Operators with Applications to Schr\"{o}dinger Operators

Functional Analysis 2019-11-26 v9

Abstract

Define A A a unbounded self-adjoint operator on Hilbert space X X . Let {An} \{ A_n \} be its resolvent approximation sequence with closed range R(An)(nN) \mathcal{R}(A_n) (n \in \mathrm{N}) , that is, An(nN) A_n (n \in \mathrm{N}) are all self-adjoint on Hilbert space X X and \begin{equation*} \hbox{ \raise-2mm\hbox{slimn\textstyle s-\lim \atop \scriptstyle {n \to \infty}}} R_\lambda (A_n) = R_\lambda (A)\quad (\lambda \in \mathrm{C} \setminus \mathrm{R}), \ \textrm{where} \ R_ \lambda(A) := (\lambda I-A)^{-1}. \end{equation*} The Moore-Penrose inverse AnB(X) A^\dagger_n \in \mathcal{B}(X) is a natural approximation to the Moore-Penrose inverse A A^\dagger . This paper shows that: A A^\dagger is continuous and strongly converged by {An} \{ A^\dagger_n \} if and only if supnAn<+ \sup\limits_n \Vert A^\dagger_n \Vert < +\infty . On the other hand, this result tells that arbitrary bounded computational scheme {An} \{ A^\dagger_n \} induced by resolvent approximation {An} \{ A_n \} is naturally instable (that is, supnAn= \sup_n \Vert A^\dagger_n \Vert = \infty ) for any self-adjoint operator equation with non-closed range, for example, free Schr\"{o}dinger operator, Schr\"{o}dinger operator with Coulumb potential and Schr\"{o}dinger operator in model of many particles. This implies the infeasibility to globally and approximately solve non-closed range self-ajoint operator equation by resolvent approximation.

Keywords

Cite

@article{arxiv.1708.04456,
  title  = {Generalization of Lax Equivalence Theorem on Unbounded Self-adjoint Operators with Applications to Schr\"{o}dinger Operators},
  author = {Yidong Luo},
  journal= {arXiv preprint arXiv:1708.04456},
  year   = {2019}
}

Comments

Ninth Version