Calculation of the eigenvalues of Schrödinger equations by an extension of Hill's method

The eigenfunctions of the one dimensional Schrödinger equation Ψ″ + [E ? V(x)]Ψ=0, where V(x) is a polynomial, are represented by expansions of the form $\text{∑}\text{k}\text{=0}\text{∞}{}^{\mathrm{<mtext>c</mtext>}}\text{k}{}^{\mathrm{?}}\text{k}\text{(ω,}\text{x}\text{)}$. The functions ?_k (ω, x) are chosen in such a way that recurrence relations hold for the coefficients c_k: examples treated are D_k(ωx) (Weber-Hermite functions), exp (?ωx²)x^k, exp (?cx^q)D_k(ωx). From these recurrence relations, one considers an infinite bandmatrix whose finite square sections permit to solve approximately the original eigenproblem. It is then shown how a good choice of the parameter ω may reduce dramatically the complexity of the computations, by a theoretical study of the relation holding between the error on an eigenvalue, the order of the matrix, and the value of ω. The paper contains tables with 10 significant figures of the 30 first eigenvalues corresponding to V(x) = x^2m, m = 2(1)7, and the 6 first eigenvalues corresponding to V(x) = x² + λx¹⁰ and x² + λx¹², λ = .01(.01).1(.1)1(1)10(10)100.     

On the consistency strength of ‘Accessible’ Jonsson Cardinals and of the Weak Chang Conjecture

Using the core model K we determine better lower bounds for the consistency strength of some combinatorial principles:I. Assume that λ is a Jonsson cardinal which is ‘accessible’ in the sense that at least one of (1)-(4) holds: (1) λ is a successor cardinal; (2) λ = ω_ξ and ξ<λ; (3) λ is singular of uncountable cofinality; (4) λ is a regular but not weakly hyper-Mahlo. Then 0² exists.II. For λ = ?⁺ a successor cardinal we consider the weak Chang Conjecture, wCC(λ), which is a consequence of the Chang transfer property (λ⁺, λ)?(λ, ?).III. If λ = ?⁺?ω₂, then wCC(λ) implies the existence of 0².IV. We can determine the consistency strenght of wCC(ω₁). We include a relatively simple definition of the core model which together with the results of Dodd and Jensen suffices for our proofs.     

On the maximum number of permutations with given maximal or minimal distance

Let us denote by R(k, ? λ)[R(k, ? λ)] the maximal number $\text{M}$ such that there exist $\text{M}$ different permutations of the set {1,…, k} such that any two of them have at least λ (at most λ, respectively) common positions. We prove the inequalities R(k, ? λ) ? kR(k ? 1, ? λ ? 1), R(k, ? λ) ? R(k, ? λ ? 1) ? k!, R(k, ? λ) ? kR(k ? 1, ? λ ? 1). We show: R(k, ? k ? 2) = 2, R(k, ? 1) = (k ? 1)!, R(p^m, ? 2) = (p^m ? 2)!, R(p^m + 1, ? 3) = (p^m ? 2)!, $\text{R(k, ? k ? 3) =}\text{k!}\text{2}$, R(k, ? 0) = k, R(p^m, ? 1) = p^m(p^m ? 1), R(p^m + 1, ? 2) = (p^m + 1)p^m(p^m ? 1). The exact value of R(k, ? λ) is determined whenever k ? k₀(k ? λ); we conjecture that R(k, ? λ) = (k ? λ)! for k ? k₀(λ). Bounds for the general case are given and are used to determine that the minimum of |R(k, ? λ) ? R(k, ? λ)| is attained for $\text{λ = (}\text{k}\text{2}\text{) + O(}\text{k}\text{log}\text{k}\text{)}$.     

The resolvent of a dilation-analytic three-particle system

If the potential in a three-particle system is the boundary value of an analytic function, the physical Hamiltonian H(0) has a dilation-analytic continuation H(φ). The continuous spectrum of H(φ) consists of half-lines Y(λ_p, φ) starting at the thresholds λ_p of scattering channels and making angles 2φ with the positive real axis. If the interaction is the sum of local two-body potentials in suitable $\text{L}$^p-spaces, each half-line Y(λ_p, φ) is associated with an operator P(λ_p, φ) that projects onto an invariant subspace of H(φ). Suppose Y(λ_p, φ) does not pass through any two- or three-particle eigenvalues λ ≠ λ_p when φ runs through some interval $\text{0 < α ? φ ? β <}\text{π}\text{2}$. For φ in [α, β], this paper shows that the resolvent R(λ, φ) has smoothness properties near Y(λ_p, φ) that are sufficient for P(λ_p, φ)[H(φ) ? λ_p] e^?2iφ to be spectral and to generate a strongly differentiable group. The projection, the group, and the spectral resolution operators are norm continuous in φ. These results are not affected by any spurious poles of the resolvent equation. At a spurious pole λ = λ_p + ze^2iφ, the resolvent R(λ_p + ze^2iφ,φ) is examined by a method that uses two resolvent equations in succession and shows that there is norm continuity in z, φ. The case of spurious poles on Y(λ_p, φ) is included.     

Bounds for ratios of eigenvalues using traces

Let A be an n × n matrix with real eigenvalues λ₁ ? … ? λ_n, and let 1 ? k < l ? n. Bounds involving trA and trA² are introduced for λ_k/λ_l, (λ_k ? λ_l)/(λ_k + λ_l), and {kλ_k + (n ? l + 1)λ_l}²/{kλ²_k + (n ? l + 1)λ²_l}. Also included are conditions for λ_l >; 0 and for λ_k + λ_l > 0.     

On a method for computing waveguide scattering matrices in the presence of point spectrum

A waveguide occupies a domain G in ? ⁿ⁺¹, n ? 1, having several cylindrical outlets to infinity. The waveguide is described by a general elliptic boundary value problem that is self-adjoint with respect to the Green formula and contains a spectral parameter µ. As an approximation to a row of the scattering matrix S(µ) we suggest a minimizer of a quadratic functional J ^R (·, µ). To construct such a functional, we solve an auxiliary boundary value problem in the bounded domain obtained by cutting off, at a distance R, the waveguide outlets to infinity. It is proved that, if a finite interval [µ₁, µ₂] of the continuous spectrum contains no thresholds, then, as R → ∞, the minimizer tends to the row of the scattering matrix at an exponential rate uniformly with respect to µ ∈ [µ₁, µ₂]. The interval may contain some waveguide eigenvalues whose eigenfunctions exponentially decay at infinity.     

The “Full Müntz Theorem” inL p[0, 1] for 0<p<∞

Denote by span {f ₁,f ₂, …} the collection of all finite linear combinations of the functionsf ₁,f ₂, … over ?. The principal result of the paper is the following. Theorem (Full Müntz Theorem in L_p(A) for p ∈ (0, ∞) and for compact sets A ? [0, 1] with positive lower density at 0). Let A ? [0, 1] be a compact set with positive lower density at 0. Let p ∈ (0, ∞). Suppose (λ _j ) _j=1 ^∞ is a sequence of distinct real numbers greater than ?(1/p). Then span {x ^λ1,x ^λ2,…} is dense in L_p(A) if and only if $\sum\limits_{j = 1}^\infty {\frac{{\lambda _j + \left( {1/p} \right)}}{{\left( {\lambda _j + \left( {1/p} \right)} \right)^2 + 1}} = \infty } $ . Moreover, if $\sum\limits_{j = 1}^\infty {\frac{{\lambda _j + \left( {1/p} \right)}}{{\left( {\lambda _j + \left( {1/p} \right)} \right)^2 + 1}} = \infty } $ , then every function from the L_p(A) closure of {x ^λ1,x ^λ2,…} can be represented as an analytic function on {z ∈ ? \ (?∞,0] : |z| < r_A} restricted to A ∩ (0, r_A) where $r_A : = \sup \left\{ {y \in \mathbb{R}:\backslash ( - \infty ,0]:\left| z \right|< r_A } \right\}$ (m(·) denotes the one-dimensional Lebesgue measure). This improves and extends earlier results of Müntz, Szász, Clarkson, Erdös, P. Borwein, Erdélyi, and Operstein. Related issues about the denseness of {x ^λ1,x ^λ2,…} are also considered.     

Exact solution to a nonlinear Klein-Gordon equation

The nonlinear Klein-Gordon equation ?^μ?_μΦ + M²Φ + λ₁Φ^1?m + λ₂Φ^1?2m = 0 has the exact formal solution Φ = [u^2m ?λ₁u^m/(m ? 2)M²+λ₁²/(m?2)²M⁴?λ₂/4(m ? 1)M²]^1/mu^?1, m ≠ 0, 1, 2, where u and v^?1 are solutions of the linear Klein-Gordon equation. This equation is a simple generalization of the ordinary second order differential equation satisfied by the homogeneous function y = [au^m + b(uv)^m/2 + cv^m]^k/m, where u and v are linearly independent solutions of y″ + r(x) y′ + q(x) y = 0.     

More bounds for elgenvalues using traces

Let the n × n complex matrix A have complex eigenvalues λ₁,λ₂,…λ_n. Upper and lower bounds for Σ(Reλ_i)² are obtained, extending similar bounds for Σ|λ_i|² obtained by Eberlein (1965), Henrici (1962), and Kress, de Vries, and Wegmann (1974). These bounds involve the traces of A¹A, B², C², and D², where $\text{B}\text{=}\text{1}\text{2}\text{(}\text{A}\text{+}\text{A}{}^1\text{)}$, $\text{C}\text{=}\text{1}\text{2}\text{(}\text{A}\text{?}\text{A}{}^1\text{) /i}$, and $\text{D}\text{=}\text{AA}{}^1\text{?}\text{A}{}^1\text{A}$, and strengthen some of the results in our earlier paper “Bounds for eigenvalues using traces” in Linear Algebra and Appl. [12].     

More bounds for eigenvalues

A method introduced by Leighton [J. Math. Anal. Appl.35, 381–388 (1971)] for bounding eigenvalues has been extended to include problems of the form ?y″ + p(x) y = λy, when p(x) ? 0 on [0, 1]. The boundary conditions are the general homogeneous conditions y(0) ? ay′(0) = 0 = y(1) + by′(1), where 0 ? a, b ? ∞. Upper and lower bounds for the eigenvalues of these problems are obtained, and these bounds may be made as close together as desired, thereby allowing λ to be estimated precisely.     

Separate asymptotics of two series of eigenvalues for a single elliptic boundary-value problem

The spectral problem in a bounded domain Ω?Rⁿ is considered for the equation Δu= λu in Ω, ?u=λ?υ/?ν on the boundary of Ω (ν the interior normal to the boundary, Δ, the Laplace operator). It is proved that for the operator generated by this problem, the spectrum is discrete and consists of two series of eigenvalues {λ _j ⁰ } _j=1 ^∞ and {λ _j ^∞ } _j=1 ^∞ , converging respectively to 0 and +∞. It is also established that $$N^0 (\lambda ) = \sum\nolimits_{\operatorname{Re} \lambda _j^0 \geqslant 1/\lambda } {1 \approx const} \lambda ^{n - 1} , N^\infty (\lambda ) \equiv \sum\nolimits_{\operatorname{Re} \lambda _j^\infty \leqslant \lambda } {1 \approx const} \lambda ^{n/1} .$$ The constants are explicitly calculated.     

Asymptotic behavior of solutions of the functional differential equation x′(t) = Ax(λt) + Bx(t), λ>0

The author discusses the asymptotic behavior of the solutions of the functional differential equation x′(t) = Ax(λt) + Bx(t), λ>0 (1) where x(t) is an n-dimensional column vector and A, B are n × n matrices with complex constant entries. He obtains the following results for the case 0 < λ < 1: (i) If B is diagonalizable with eigenvalues b_i such that Re b_i < 0 for all i, then there is a constant α such that every solution of (1) is O(t^α) as t → ∞. (ii) If B is diagonalizable with eigenvalues b_i such that 0 < Re b₁ ? Re b₂ ? ··· ? Re b_n and λ times Re b_n < Re b₁, then every solution of (1) is O(e^bn^t) as t → ∞. For the case λ>1, he has the following results: (i) If B is diagonalizable with eigenvalues b_i such that Re b_i>0 for all i, then there is a constant α such that no solution x(t) of (1), except the identically zero solution, is 0(t^α) as t → ∞. (ii) If B is diagonalizable with eigenvalues b_i such that Re b₁ ? Re b₂ ? ··· ? Re b_n < 0 and λ Re b_n < Re b₁, then no solution x(t) of (1), except the identically zero solution, is 0(e^b1^t) as t → ∞.     

Construction of a recurrence relation for modified moments

In this paper we are constructing a recurrence relation of the form

$\text{∑}\text{i=0}\text{r}\text{ω}{}_{\mathrm{i}}\text{(k)m}{}_{\mathrm{k+i}}{}^{\mathrm{\{\lambda \}}}\text{[f] = ω(k)}$

for integrals (called modified moments)

$\text{m}{}_{\mathrm{k}}{}^{\mathrm{\{\lambda \}}}\text{[f]df=}\text{∫}\text{?1}\text{1}\text{f(x)C}{}_{\mathrm{k}}{}^{\mathrm{(\lambda )}}\text{(x)dx (k = 0,1,…)}$

in which C_k^(λ) is the k-th Gegenbauer polynomial of order $\text{λ(λ > ?}\text{1}\text{2}\text{)}$, and f is a function satisfying the differential equation

$\text{∑}\text{i=0}\text{n}\text{P}{}_{\mathrm{i}}\text{(x)f}{}^{\mathrm{(i)}}\text{(x) = p(x) (?1?x?1)}$

of order n, where p₀, p₁, …, p_n ? 0 are polynomials, and m_k^〈λ〉[p] is known for every k. We give three methods of construction of such a recurrence relation. The first of them (called Method I) is optimum in a certain sense.     

The algebra of hyperboloids of revolution

If we change the sign of p ? m columns (or rows) of an m × m positive definite symmetric matrix A, the resultant matrix B has p negative eigenvalues. We give systems of inequalities for the eigenvalues of B and of the matrix obtained from B by deleting one row and column. To obtain these, we first develop characterizations of the eigenvalues of B which are analogous to the minimum-maximum properties of the eigenvalues of a symmetric A, i.e. the Courant-Fischer theorem. These results arose from studying probability distributions on the hyperboloid of revolution

$\text{x}{}^2{}_1\text{+ ? + x}{}^2{}_{\mathrm{m?p}}\text{? x}{}^2{}_{\mathrm{m\; ?\; p\; +\; 1}}\text{? ? ? x}{}^2{}_{\mathrm{m}}\text{= 1}$

. By contrast, the familiar results are associated with the sphere x²₁ + ? + x²_m = 1.     

Linking solutions for p-Laplace equations with nonlinearity at critical growth

Under a suitable condition on n and p, the quasilinear equation at critical growth −Δpu=λ|u|^p−2u+|u|^p∗−2u is shown to admit a nontrivial weak solution for any λ?λ₁. Nonstandard linking structures, for the associated functional, are recognized.     

Multiple solutions for a Schrdinger-Poisson-Slater equation with external Coulomb potential

Consider the following Schrdinger-Poisson-Slater system,(P)u+ω-β|x|u+λφ(x)u=|u|p-1u,x∈R3,-φ=u2,u∈H1(R3),whereω0,λ0 andβ0 are real numbers,p∈(1,2).Forβ=0,it is known that problem(P)has no nontrivial solution ifλ0 suitably large.Whenβ0,-β/|x|is an important potential in physics,which is called external Coulomb potential.In this paper,we find that(P)withβ0 has totally different properties from that ofβ=0.Forβ0,we prove that(P)has a ground state and multiple solutions ifλcp,ω,where cp,ω0 is a constant which can be expressed explicitly viaωand p.     

Asymptotic representations of solutions of two-term nonautonomous nth-order ordinary differential equations with exponential nonlinearity

We obtain necessary and sufficient conditions for the existence of a certain class of solutions of the differential equation $$ (|y^{(n - 1)} |^{\lambda - 1} y^{(n - 1)} )' = \alpha _0 p(t)e^{\sigma y} $$ , where α ₀ ∈ {?1, 1}, σ, λ ∈ R \ {0}, and p: [a, ω[→]0,+∞[(?∞ < a < ω ≤ + ∞) is a continuously differentiable function. We also establish asymptotic representations of such solutions.