Asymptotics of the discrete spectrum of a model operator associated with a system of three particles on a lattice

We consider a model Schrödinger operator H_μ associated with a system of three particles on the threedimensional lattice ? ³ with a functional parameter of special form. We prove that if the corresponding Friedrichs model has a zero-energy resonance, then the operator H_μ has infinitely many negative eigenvalues accumulating at zero (the Efimov effect). We obtain the asymptotic expression for the number of eigenvalues of H_μ below z as z → ?0.     

On Negative Inertia of Pick Matrices Associated with Generalized Schur Functions

It is known [6] that for every function f in the generalized Schur class and every nonempty open subset Ω of the unit disk , there exist points z₁,...,z_n ∈Ω such that the n × nPick matrix has κ negative eigenvalues. In this paper we discuss existence of an integer n₀ such that any Pick matrix based on z₁,...,z_n ∈Ω with n ≥ n₀ has κ negative eigenvalues. Definitely, the answer depends on Ω. We prove that if , then such a number n₀ does not exist unless f is a ratio of two finite Blaschke products; in the latter case the minimal value of n₀ can be found. We show also that if the closure of Ω is contained in then such a number n₀ exists for every function f in .     

Anharmonic Oscillators in the Complex Plane, $\boldsymbol{\mathcal{PT}}$-symmetry,and Real Eigenvalues

For integers m ≥ 3 and 1 ≤ ℓ ≤ m − 1, we study the eigenvalue problems − u ^″(z) + [( − 1)^ℓ(iz) ^m  − P(iz)]u(z) = λu(z) with the boundary conditions that u(z) decays to zero as z tends to infinity along the rays argz=-\fracp2±\frac(l+1)pm+2\arg z=-\frac{\pi}{2}\pm \frac{(\ell+1)\pi}{m+2} in the complex plane, where P is a polynomial of degree at most m − 1. We provide asymptotic expansions of the eigenvalues λ _n . Then we show that if the eigenvalue problem is PT\mathcal{PT}-symmetric, then the eigenvalues are all real and positive with at most finitely many exceptions. Moreover, we show that when gcd(m,l)=1\gcd(m,\ell)=1, the eigenvalue problem has infinitely many real eigenvalues if and only if one of its translations or itself is PT\mathcal{PT}-symmetric. Also, we will prove some other interesting direct and inverse spectral results.     

Strictly Hermitian positive definite functions

LetH be any complex inner product space with inner product <·,·>. We say thatf: ℂ→ℂ is Hermitian positive definite onH if the matrix

Virtual Eigenvalues of the High Order Schrödinger Operator II

We consider the Schr?dinger operator H_γ = ( − Δ)^l + γ V(x)· acting in the space where 2l ≥ d, V (x) ≥ 0, V (x) is continuous and is not identically zero, and We study the asymptotic behavior as of the non-bottom negative eigenvalues of H_γ, which are born at the moment γ = 0 from the lower bound λ = 0 of the spectrum σ(H₀) of the unperturbed operator H₀ = ( − Δ)^l (virtual eigenvalues). To this end we use the Puiseux-Newton diagram for a power expansion of eigenvalues of some class of polynomial matrix functions. For the groups of virtual eigenvalues, having the same rate of decay, we obtain asymptotic estimates of Lieb-Thirring type.     

Generalized perfect arrays and menon difference sets

Given an s ₁ × ... × s _rinteger-valued array A and a (0, 1) vector z = (z ₁, ..., z _r), form the array A from A by recursively adjoining a negative copy of the current array for each dimension i where z _i = 1. A is a generalized perfect array type z if all periodic autocorrelation coefficients of A are zero, except for shifts (u ₁, ..., u _r) where u _i, - 0 (mod s _i) for all i. The array is perfect if z = (0, ..., 0) and binary if the array elements are all ±1. A nontrivial perfect binary array (PBA) is equivalent to a Menon difference set in an abelian group.Using only elementary techniques, we prove various construction theorems for generalized perfect arrays and establish conditions on their existence. We show that a generalized PBA whose type is not (0, ..., 0) is equivalent to a relative difference set in an abelian factor group. We recursively construct several infinite families of generalized PBAs, and deduce nonexistence results for generalized PBAs whose type is not (0, ..., 0) from well-known nonexistence results for PBAs. A central result is that a PBA with 2^2y 3^2u elements and no dimension divisible by 9 exists if and only if no dimension is divisible by 2 ^y+2. The results presented here include and enlarge the set of sizes of all previously known generalized PBAs.     

Perturbation Theory for the Two-Particle Schrodinger Operator on a One-Dimensional Lattice

We consider the two-particle Schrodinger operator H(k) on the one-dimensional lattice ℤ. The operator H(π) has infinitely many eigenvalues z_m(π) = v(m), m ∈ ℤ₊. If the potential v increases on ℤ₊, then only the eigenvalue z₀(π) is simple, and all the other eigenvalues are of multiplicity two. We prove that for each of the doubly degenerate eigenvalues z_m(π), m ∈ ℕ, the operator H(π) splits into two nondegenerate eigenvalues z _m ⁻ (k) and z _m ⁺ (k) under small variations of k ∈ (π − δ, π). We show that z _m ⁻ (k) < z _m ⁺ (k) and obtain an estimate for z _m ⁺ (k) − z _m ⁻ (k) for k ∈ (π − δ, π). The eigenvalues z₀(k) and z ₁ ⁻ (k) increase on [π − δ, π]. If (Δv)(m) > 0, then z _m ^± (k) for m ≥ 2 also has this property. __________ Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 145, No. 2, pp. 212–220, November, 2005.     

Countably generated prime ideals in <Emphasis Type="Italic">H</Emphasis><Superscript>∞</Superscript>

We confirm a twenty year old conjecture by showing that a nonzero prime ideal P in the algebra H^∞ of bounded analytic functions in the open unit disk is countably generated if and only if it is either a principal ideal generated by the polynomial z−z₀, |z₀|<1, or if P is generated by the n-th roots of an atomic inner function. The case of the algebra H^∞+C is also dealt with. Dedicated to the 70th birthday of Joseph Cima Research supported by the RIP-program Oberwolfach 2004.     

Virtual Eigenvalues of the High Order Schrödinger Operator I

We consider the Schr?dinger operator H_γ = ( − Δ)^l + γ V(x)· acting in the space $$L_2 (\mathbb{R}^d ),$$ where 2l ≥ d, V (x) ≥ 0, V (x) is continuous and is not identically zero, and $$\lim _{|{\mathbf{x}}| \to \infty } V({\mathbf{x}}) = 0.$$ We obtain an asymptotic expansion as $$\gamma \uparrow 0$$of the bottom negative eigenvalue of H_γ, which is born at the moment γ = 0 from the lower bound λ = 0 of the spectrum σ(H₀) of the unperturbed operator H₀ = ( − Δ)^l (a virtual eigenvalue). To this end we develop a supplement to the Birman-Schwinger theory on the process of the birth of eigenvalues in the gap of the spectrum of the unperturbed operator H₀. Furthermore, we extract a finite-rank portion Φ(λ) from the Birman- Schwinger operator $$X_V (\lambda ) = V^{\frac{1} {2}} R_\lambda (H_0 )V^{\frac{1}{2}} ,$$ which yields the leading terms for the desired asymptotic expansion.     

A fixed point theorem for a class of star-shaped sets inc 0

A subsetK ofc ₀ is coordinatewise star-shaped (c.s.s.) if there exists a center pointx ∈K such that fory ∈K andz ∈c ₀, ifz is coordinatewise betweenx andy thenz ∈K. We prove that a weakly compact c.s.s. subset ofc ₀ has the fixed point property for nonexpansive mappings and that a fixed point for such a mapping can be obtained in a constructive manner. Research of the first two authors was partially supported by NSF Grant MCS78-01344 and of the last author by MCS78-01501.     

Toeplitz Operators on Generalized Bergman Spaces

We consider the weighted Bergman spaces HL²(\mathbb B^d, m_l){\mathcal {H}L^{2}(\mathbb {B}^{d}, \mu_{\lambda})}, where we set dm_l(z) = c_l(1-|z|²)^l dt(z){d\mu_{\lambda}(z) = c_{\lambda}(1-|z|^2)^{\lambda} d\tau(z)}, with τ being the hyperbolic volume measure. These spaces are nonzero if and only if λ > d. For 0 < λ ≤ d, spaces with the same formula for the reproducing kernel can be defined using a Sobolev-type norm. We define Toeplitz operators on these generalized Bergman spaces and investigate their properties. Specifically, we describe classes of symbols for which the corresponding Toeplitz operators can be defined as bounded operators or as a Hilbert–Schmidt operators on the generalized Bergman spaces.     

On short wave stability and sufficient conditions for stability in the extended Rayleigh problem of hydrodynamic stability

We consider the extended Rayleigh problem of hydrodynamic stability dealing with the stability of inviscid homogeneous shear flows in sea straits of arbitrary cross section. We prove a short wave stability result, namely, if k > 0 is the wave number of a normal mode then k > k _c (for some critical wave number k _c) implies the stability of the mode for a class of basic flows. Furthermore, if $ K(z) = \frac{{ - (U'_0 - T_0 U'_0 )}} {{U_0 - U_{0s} }} $ K(z) = \frac{{ - (U'_0 - T_0 U'_0 )}} {{U_0 - U_{0s} }} , where U ₀ is the basic velocity, T ₀ (a constant) the topography and prime denotes differentiation with respect to vertical coordinate z then we prove that a sufficient condition for the stability of basic flow is $ 0 < K(z) \leqslant \left( {\frac{{\pi ^2 }} {{D^2 }} + \frac{{T_0^2 }} {4}} \right) $ 0 < K(z) \leqslant \left( {\frac{{\pi ^2 }} {{D^2 }} + \frac{{T_0^2 }} {4}} \right) , where the flow domain is 0 ≤ z ≤ D.     

A Proof of the Jacobian Conjecture on Global Asymptotic Stability

Let ƒ∈C ¹ (R ¹, R ²), ƒ(0) = 0. The Jacobian Conjecture states that if for any x∈R ², the eigenvalues of the Jacobian matrix Dƒ(x) have negative real parts, then the zero solution of the differential equation x = ƒ(x) is globally asymptotically stable. In this paper we prove that the conjecture is true. This work is supported by the National Natural Science Foundation of China     

Carathéodory balls and norm balls of the domainH={(z1,z2)∈C2∶|z1|+|z2|<1}

LetH be the domain inC ² defined byH={Z=(z ₁,z ₂):║Z║₁=│z║₁│+│z║₂│<1}. LetC _H(z,w) be the Carathéodory distance ofH,z,w∈H. The Carathéodory ballB _C(z_C,α;H) with centerz _C,z_C∈H, and radius α, 0<α<1, is defined byB _c(z_C,α;H)={z∶C_H(z,z_C)<arc tanh α}. The norm ballB _N(z_N,r) with centerz _N,z_N∈H, and radiusr, 0<r<1-‖z _N‖₁, is defined byB _N(z_N,r)={z∶ ‖z−z_N‖₁<r}. Theorem:The only Carathéodory balls of H which are also norm balls are those with their center at the origin.     

Rank One Perturbations in a Pontryagin Space with One Negative Square

Let N₁ denote the class of generalized Nevanlinna functions with one negative square and let N_1, 0 be the subclass of functions Q(z)∈N₁ with the additional properties lim_y→∞ Q(iy)/y=0 and lim sup_y→∞ y |Im Q(iy)|<∞. These classes form an analytic framework for studying (generalized) rank one perturbations A(τ)=A+τ[·, ω] ω in a Pontryagin space setting. Many functions appearing in quantum mechanical models of point interactions either belong to the subclass N_1, 0 or can be associated with the corresponding generalized Friedrichs extension. In this paper a spectral theoretical analysis of the perturbations A(τ) and the associated Friedrichs extension is carried out. Many results, such as the explicit characterizations for the critical eigenvalues of the perturbations A(τ), are based on a recent factorization result for generalized Nevanlinna functions.     

On differentiable area-preserving maps of the plane

F: ℝ² → ℝ² is an almost-area-preserving map if: (a) F is a topological embedding, not necessarily surjective; and (b) there exists a constant s > 0 such that for every measurable set B, μ(F(B)) = sμ(B) where μ is the Lebesgue measure. We study when a differentiable map whose Jacobian determinant is nonzero constant to be an almost-area-preserving map. In particular, if for all z, the eigenvalues of the Jacobian matrix DF _z are constant, F is an almost-area-preserving map with convex image.     

On a nontraditional method of approximation

We study the approximation of functions f(z) that are analytic in a neighborhood of zero by finite sums of the form H _n (z) = H _n (h, f, {λ _k }; z) = Σ _k=1 ⁿ λ _k h(λ _k z), where h is a fixed function that is analytic in the unit disk |z| < 1 and the numbers λ _k (which depend on h, f, and n) are calculated by a certain algorithm. An exact value of the radius of the convergence H _n (z) → f(z), n → ∞, and an order-sharp estimate for the rate of this convergence are obtained; an application to numerical analysis is given.     

On the algebraic independence in the selberg class

We prove that a functionF of the Selberg class ℐ is ab-th power in ℐ, i.e.,F=H ^b for someHσ ℐ, if and only ifb divides the order of every zero ofF and of everyp-componentF _p. This implies that the equationF ^a=G^b with (a, b)=1 has the unique solutionF=H ^b andG=H ^a in ℐ. As a consequence, we prove that ifF andG are distinct primitive elements of ℐ, then the transcendence degree of ℂ[F,G] over ℂ is two.     

Homogenization of eigenvalue problems in perforated domains

In this paper, we treat some eigenvalue problems in periodically perforated domains and study the asymptotic behaviour of the eigenvalues and the eigenvectors when the number of holes in the domain increases to infinity Using the method of asymptotic expansion, we give explicit formula for the homogenized coefficients and expansion for eigenvalues and eigenvectors. If we denote by ε the size of each hole in the domain, then we obtain the following aysmptotic expansion for the eigenvalues: Dirichlet: λ_ε = ε⁻² λ + λ₀ +O (ε), Stekloff: λ_ε = ελ₁ +O (ε²), Neumann: λ_ε = λ₀ + ελ₁ +O (ε²). Using the method of energy, we prove a theorem of convergence in each case considered here. We briefly study correctors in the case of Neumann eigenvalue problem.     

On meromorphic univalent functions omitting a disc

The class Σ_b is defined to consist of meromorphic univalent functionsH omitting a disc with the radiusb:H(z)=z+ Σ ₀ ^∞ A _n z ⁻ⁿ ,z>1,H(b)>b ∈ (0, 1). By aid of FitzGerald inequalities the inverse coefficients of odd Σ_b-functions are maximized. The result extends the corresponding estimation, due to Netanyahu and Schober, fromb=0 to the whole interval (0, 1). The author wishes to express her gratitude to Professor O. Tammi for valuable discussions connected with the problem. This work was supported by a grant from the Finnish Ministry of Education.