On the spectrum of Schrödinger operators with a finitely supported potential on the -regular tree

We study the spectrum of Schrödinger operators with a uniform potential on the lth shell of the d-regular tree. As a result, we show the relationship between the spectral structure and the intensities of the potential. Furthermore we completely determine the discrete eigenvalues with their multiplicities. In addition we give some examples.     

Tractability through increasing smoothness

We prove that some multivariate linear tensor product problems are tractable in the worst case setting if they are defined as tensor products of univariate problems with logarithmically increasing smoothness. This is demonstrated for the approximation problem defined over Korobov spaces and for the approximation problem of certain diagonal operators. For these two problems we show necessary and sufficient conditions on the smoothness parameters of the univariate problems to obtain strong polynomial tractability. We prove that polynomial tractability is equivalent to strong polynomial tractability, and that weak tractability always holds for these problems. Under a mild assumption, the Korobov space consists of periodic functions. Periodicity is crucial since the approximation problem defined over Sobolev spaces of non-periodic functions with a special choice of the norm is not polynomially tractable for all smoothness parameters no matter how fast they go to infinity. Furthermore, depending on the choice of the norm we can even lose weak tractability.     

Tractability and Strong Tractability of Linear Multivariate Problems

Linear multivariate problems are defined as the approximation of linear operators on functions of d variables. We study the complexity of computing an ϵ-approximation in different settings. We are particularly interested in large d and/or large ϵ⁻¹. Tractability means that the complexity is bounded by c(d) K(d, ϵ), where c(d) is the cost of one information operation and K(d, ϵ) is a polynomial in d and/or in ϵ⁻¹. Strong tractability means that K(d, ϵ) is a polynomial in ϵ⁻¹, independent of d. We provide necessary and sufficient conditions for linear multivariate problems to be tractable or strongly tractable in the worst case, average case, randomized, and probabilistic settings. This is done for the class Λ^all where an information operation is defined as the computation of any continuous linear functional. We also consider the class Λ^std where an information operation is defined as the computation of a function value. We show under mild assumptions that tractability in the class Λ^all is equivalent to tractability in the class Λ^std. The proof is, however, not constructive. Finally, we consider linear multivariate problems over reproducing kernel Hilbert spaces, showing that such problems are strongly tractable even in the worst case setting.     

Multiple solutions for quasilinear elliptic equations with a finite potential well

We consider multiplicity of solutions for a class of quasilinear problems which has received considerable attention in the past, including the so called Modified Nonlinear Schrödinger Equations. By combining a new variational approach via q-Laplacian regularization and the compactness arguments from [4] we establish infinitely many bound state solutions for the quasilinear Schrödinger type equations, extending the earlier work of [4] for semilinear equations.     

Computing Schrödinger propagators on Type-2 Turing machines

We study Turing computability of the solution operators of the initial-value problems for the linear Schrödinger equation u_t=iΔu+φ and the nonlinear Schrödinger equation of the form iu_t=-Δu+mu+|u|²u. 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 L^p-functions and p≠2. The computations are performed on Type-2 Turing machines.     

On the Dirac delta as initial condition for nonlinear Schrödinger equations

In this article we will study the initial value problem for some Schrödinger equations with Dirac-like initial data and therefore with infinite L² mass, obtaining positive results for subcritical nonlinearities. In the critical case and in one dimension we prove that after some renormalization the corresponding solution has finite energy. This allows us to conclude a stability result in the defocusing setting. These problems are related to the existence of a singular dynamics for Schrödinger maps through the so-called Hasimoto transformation.     

Average case complexity of linear multivariate problems I. Theory

We study the average case complexity of linear multivariate problems, that is, the approximation of continuous linear operators on functions of d variables. The function spaces are equipped with Gaussian measures. We consider two classes of information. The first class Λ^std consists of function values, and the second class Λ^all consists of all continuous linear functionals. Tractability of a linear multivariate problem means that the average case complexity of computing an ε-approximation is O((1/)^p) with p independent of d. The smallest such p is called the exponent of the problem. Under mild assumptions, we prove that tractability in Λ^all is equivalent to tractability in Λ^std and that the difference of the exponents is at most 2. The proof of this result is not constructive. We provide a simple condition to check tractability in Λ^all. We also address the issue of how to construct optimal (or nearly optimal) sample points for linear multivariate problems. We use relations between average case and worst case settings. These relations reduce the study of the average case to the worst case for a different class of functions. In this way we show how optimal sample points from the worst case setting can be used in the average case. In Part II we shall apply the theoretical results to obtain optimal or almost optimal sample points, optimal algorithms, and average case complexity functions for linear multivariate problems equipped with the folded Wiener sheet measure. Of particular interest will be the multivariate function approximation problem.     

Schrödinger operators and associated hyperbolic pencils

For a large class of Schrödinger operators, we introduce the hyperbolic quadratic pencils by making the coupling constant dependent on the energy in the very special way. For these pencils, many problems of scattering theory are significantly easier to study. Then, we give some applications to the original Schrödinger operators including one-dimensional Schrödinger operators with L²-operator-valued potentials, multidimensional Schrödinger operators with slowly decaying potentials.     

Eigenvalue bounds in the gaps of Schrödinger operators and Jacobi matrices

We consider C=A+B where A is selfadjoint with a gap (a,b) in its spectrum and B is (relatively) compact. We prove a general result allowing B of indefinite sign and apply it to obtain a (δV)^d/2 bound for perturbations of suitable periodic Schrödinger operators and a (not quite) Lieb–Thirring bound for perturbations of algebro-geometric almost periodic Jacobi matrices.     

Weighted Tensor Product Algorithms for Linear Multivariate Problems

We study the ε-approximation of linear multivariate problems defined over weighted tensor product Hilbert spaces of functions f of d variables. A class of weighted tensor product (WTP) algorithms is defined which depends on a number of parameters. Two classes of permissible information are studied. Λ^all consists of all linear functionals while Λ^std consists of evaluations of f or its derivatives. We show that these multivariate problems are sometimes tractable even with a worst-case assurance. We study problem tractability by investigating when a WTP algorithm is a polynomial-time algorithm, that is, when the minimal number of information evaluations is a polynomial in 1/ε and d. For Λ^all we construct an optimal WTP algorithm and provide a necessary and sufficient condition for tractability in terms of the sequence of weights and the sequence of singular values for d=1. ForΛ^std we obtain a weaker result by constructing a WTP algorithm which is optimal only for some weight sequences.     

Direct and Inverse Spectral Theory of One-dimensional Schrödinger Operators with Measures

We present a direct and rather elementary method for defining and analyzing one-dimensional Schrödinger operators H = −d²/dx² + μ with measures as potentials. The basic idea is to let the (suitably interpreted) equation −f′′ + μ f = zf take center stage.We show that the basic results from direct and inverse spectral theory then carry over to Schrödinger operators with measures.     

Asymptotic behavior of waves

The asymptotic conjugation relation is established for all ƒL²(Rⁿ) under mild assumptions on and g, where denotes Fourier multiplication. The asymptotic estimate for finite energy solutions u of the wave equation is deduced from (*), along with generalizations to a class of first-order symmetric hyperbolic systems of partial differential equations that are homogeneous and constant coefficient, and a weakened version for the Klein-Gordon equation. Also deduced from (*) is the fact that for a free Schrödinger particle the probability of being in the set tA at time t tends to the probability that the velocity is in A as t → ±∞.     

The Price of Pessimism for Multidimensional Quadrature

We study multivariate integration in the worst case setting for weighted Korobov spaces of smooth periodic functions of d variables. We wish to reduce the initial error by a factor for functions from the unit ball of the weighted Korobov space. Tractability means that the minimal number of function samples needed to solve the problem is polynomial in ⁻¹ and d. Strong tractability means that we have only a polynomial dependence in ⁻¹. This problem has been recently studied for quasi-Monte Carlo quadrature rules and for quadrature rules with non-negative coefficients. In this paper we study arbitrary quadrature rules. We show that tractability and strong tractability in the worst case setting hold under the same assumptions on the weights of the Korobov space as for the restricted classes of quadrature rules. More precisely, let γ_j moderate the behavior of functions with respect to the jth variable in the weighted Korobov space. Then strong tractability holds iff ∑^∞_j=1 γ_j<∞, whereas tractability holds iff lim sup_d→∞ ∑^d_j=1 γ_j/ln d<∞. We obtain necessary conditions on tractability and strong tractability by showing that multivariate integration for the weighted Korobov space is no easier than multivariate integration for the corresponding weighted Sobolev space of smooth functions with boundary conditions. For the weighted Sobolev space we apply general results from E. Novak and H. Woźniakowski (J. Complexity17 (2001), 388–441) concerning decomposable kernels.     

A coupled nonlinear Schrödinger type equation and its explicit solutions

A new coupled nonlinear Schrödinger type equation is proposed and is proved to be completely integrable. Based on the resulting Lax pair, a Darboux transformation for the coupled nonlinear Schrödinger type equation is derived with the aid of a gauge transformation between spectral problems. As an application, some explicit solutions of the coupled nonlinear Schrödinger type equation are obtained, including periodic and rational solutions.     

Anderson localization and Lifshits tails for random surface potentials

We consider Schrödinger operators on L²(R^d) with a random potential concentrated near the surface R^d₁×{0}⊂R^d. We prove that the integrated density of states of such operators exhibits Lifshits tails near the bottom of the spectrum. From this and the multiscale analysis by Boutet de Monvel and Stollmann [Arch. Math. 80 (2003) 87-97] we infer Anderson localization (pure point spectrum and dynamical localization) for low energies. Our proof of Lifshits tails relies on spectral properties of Schrödinger operators with partially periodic potentials. In particular, we show that the lowest energy band of such operators is parabolic.     

Trace formulas for non-self-adjoint periodic Schrödinger operators and some applications

Recently, a trace formula for non-self-adjoint periodic Schrödinger operators in L²(R) associated with Dirichlet eigenvalues was proved in [Differential Integral Equations 14 (2001) 671-700]. Here we prove a corresponding trace formula associated with Neumann eigenvalues. In addition we investigate Dirichlet and Neumann eigenvalues of such operators. In particular, using the Dirichlet and Neumann trace formulas, we provide detailed information on location of the Dirichlet and Neumann eigenvalues for the model operator with the potential Ke2ix, where K∈C.     

Integration and approximation in arbitrary dimensions

We study multivariate integration and approximation for various classes of functions of d variables with arbitrary d. We consider algorithms that use function evaluations as the information about the function. We are mainly interested in verifying when integration and approximation are tractable and strongly tractable. Tractability means that the minimal number of function evaluations needed to reduce the initial error by a factor of ɛ is bounded by C(d)ɛ^−p for some exponent p independent of d and some function C(d). Strong tractability means that C(d) can be made independent of d. The ‐exponents of tractability and strong tractability are defined as the smallest powers of ɛ{^-1} in these bounds. We prove that integration is strongly tractable for some weighted Korobov and Sobolev spaces as well as for the Hilbert space whose reproducing kernel corresponds to the covariance function of the isotropic Wiener measure. We obtain bounds on the ‐exponents, and for some cases we find their exact values. For some weighted Korobov and Sobolev spaces, the strong ‐exponent is the same as the ‐exponent for d=1, whereas for the third space it is 2. For approximation we also consider algorithms that use general evaluations given by arbitrary continuous linear functionals as the information about the function. Our main result is that the ‐exponents are the same for general and function evaluations. This holds under the assumption that the orthonormal eigenfunctions of the covariance operator have uniformly bounded L∞ norms. This assumption holds for spaces with shift-invariant kernels. Examples of such spaces include weighted Korobov spaces. For a space with non‐shift‐invariant kernel, we construct the corresponding space with shift-invariant kernel and show that integration and approximation for the non-shift-invariant kernel are no harder than the corresponding problems with the shift-invariant kernel. If we apply this construction to a weighted Sobolev space, whose kernel is non-shift-invariant, then we obtain the corresponding Korobov space. This enables us to derive the results for weighted Sobolev spaces. This revised version was published online in June 2006 with corrections to the Cover Date.     

Convergence of quantum systems on grids

We discuss here the convergence of quantum systems on grids embedded in Rd and generalize the earlier results found for scalar-valued potentials to the case of matrix-valued potentials. We also discuss the essential self-adjointness of Schrödinger operators for a large class of matrix potentials and give a Feynman-Kac formula for their associated imaginary time Schrödinger semigroups when the matrix potential is positive and continuous. Furthermore, we establish an operator kernel estimate for the semigroups.     

Discrete artificial boundary conditions for nonlinear Schrödinger equations

In this work we construct and analyze discrete artificial boundary conditions (ABCs) for different finite difference schemes to solve nonlinear Schrödinger equations. These new discrete boundary conditions are motivated by the continuous ABCs recently obtained by the potential strategy of Szeftel. Since these new nonlinear ABCs are based on the discrete ABCs for the linear problem we first review the well-known results for the linear Schrödinger equation. We present our approach for a couple of finite difference schemes, including the Crank–Nicholson scheme, the Dùran–Sanz-Serna scheme, the DuFort–Frankel method and several split-step (fractional-step) methods such as the Lie splitting, the Strang splitting and the relaxation scheme of Besse. Finally, several numerical tests illustrate the accuracy and stability of our new discrete approach for the considered finite difference schemes.     

Absolute Continuity of a Two-Dimensional Magnetic Periodic Schrödinger Operator ith Potentials of the Type of Measure Derivative

A two-dimensional magnetic periodic Schrödinger operator with a variable metric is considered. An electric potential is assumed to be a distribution formally given by an expression , where d is a periodic signed measure with a locally finite variation. We also assume that the perturbation generated by the electric potential is strongly subject (in the sense of forms) to the free operator. Under this natural assumption, we prove that the spectrum of the Schrödinger operator is absolutely continuous. Bibliography: 15 titles.