Abstract. We continue to consider initial-boundary value problems for a generalized timedependent Schrödinger equation in 1D on the semi-axis and in 2D on a semi-bounded strip. The Crank-Nicolson finite-difference schemes with general approximate transparent boundary conditions (TBCs), including the discrete TBCs, are investigated. We prove unconditional stability in L 2 and in the energy norm with respect to initial data and free terms in the equation and the approximate TBC, in general non-uniform in time, under new suitable conditions (inequalities) on a non-local operator S of the approximate TBC.
IntroductionWe continue to consider initial-boundary value problems for a generalized timedependent Schrödinger equation in 1D on the semi-axis and in 2D on a semi-bounded strip closely related to a microscopic description of low-energy nuclear fission dynamics [7,13]. We investigate the Crank-Nicolson finite-difference schemes with general approximate transparent boundary conditions (TBCs) including the discrete TBCs [4,5,12].The importance of the stability problem is well-known for mesh methods with the approximate TBCs of solving time-dependent Schrödinger-like equations in unbounded domains see . In Part I of this study (see [10]), a new form of the approximate TBCs has been suggested, with a non-local operator S governing properties of the schemes. The uniform-in-time stability bounds in L 2 have been proved under suitable condition (inequality) on S, for non-uniform meshes in space and time.In the present Part II, we establish essential further results in this direction. We prove unconditional stability in L 2 and in the energy norm with respect to initial data and free terms in the equation and the approximate TBC, in general non-uniform in time in order to cover broader applications. To this end, we introduce new suitable conditions (inequalities) on S. These inequalities are valid for the operators S ref of the discrete TBCs (ensuring the uniform-in-time stability); we clarify them by considering the corresponding schemes on infinite space meshes. We suggest a trick reducing the derivation of general non-uniform in time bounds to the derivation of simpler uniform