首页 | 本学科首页   官方微博 | 高级检索  
     


Computing Schrödinger propagators on Type-2 Turing machines
Authors:Klaus Weihrauch  Ning Zhong  
Affiliation:aUniversity of Hagen, 58084 Hagen, Germany;bUniversity of Cincinnati, Cincinnati, OH 45221, USA
Abstract:We study Turing computability of the solution operators of the initial-value problems for the linear Schrödinger equation ut=iΔu+φ and the nonlinear Schrödinger equation of the form iut=-Δu+mu+|u|2u. We prove that the solution operators are computable if the initial data are Sobolev functions but noncomputable in the linear case if the initial data are Lp-functions and p≠2. The computations are performed on Type-2 Turing machines.
Keywords:Computability   Type-2 theory of effectivity   Initial value problem   Schrö  dinger equation   Sobolev space
本文献已被 ScienceDirect 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号