Existence and analyticity of eigenvalues of a two-channel molecular resonance model

We consider a family of operators H_γμ(k), k ∈ \mathbbT^d \mathbb{T}^d := (−π,π]^d, associated with the Hamiltonian of a system consisting of at most two particles on a d-dimensional lattice ℤ^d, interacting via both a pair contact potential (μ > 0) and creation and annihilation operators (γ > 0). We prove the existence of a unique eigenvalue of H_γμ(k), k ∈ \mathbbT^d \mathbb{T}^d , or its absence depending on both the interaction parameters γ,μ ≥ 0 and the system quasimomentum k ∈ \mathbbT^d \mathbb{T}^d . We show that the corresponding eigenvector is analytic. We establish that the eigenvalue and eigenvector are analytic functions of the quasimomentum k ∈ \mathbbT^d \mathbb{T}^d in the existence domain G ⊂ \mathbbT^d \mathbb{T}^d .     

A construction of two distinct canonical sets of lifts of Brauer characters of a p-solvable group

In [5], Navarro defines the set , where Q is a p-subgroup of a p-solvable group G, and shows that if δ is the trivial character of Q, then Irr(G|Q, δ) provides a set of canonical lifts of IBr_p(G), the irreducible Brauer characters with vertex Q. Previously, in [2], Isaacs defined a canonical set of lifts B_π(G) of I_π(G). Both of these results extend the Fong-Swan Theorem to π-separable groups, and both construct canonical sets of lifts of the generalized Brauer characters. It is known that in the case that 2∈π, or if |G| is odd, we have B_π(G) = Irr(G|Q, 1_Q). In this note we give a counterexample to show that this is not the case when . It is known that if and χ∈B_π(G), then the constituents of χ_N are in B_π (N). However, we use the same counterexample to show that if , and χ∈Irr(G|Q, 1_Q) is such that θ ∈Irr(N) and [θ, χ _N] ≠ 0, then it is not necessarily the case that θ ∈Irr(N) inherits this property. Received: 17 October 2005     

Gumbel statistics for the longest interval of identical spins in a one-dimensional Gibbs measure

We consider one-dimensional Gibbs measures on spin configurations σ ∈ {–1,+1}^ℤ. For N ∈ ℕ let l _N denote the length of the longest interval of consecutive spins of the same kind in the interval [0,N]. We show that the distribution of a suitable continuous modification l _c (N) of l _N converges to the Gumbel distribution, i.e., for some α, β ∈ (0, ∞) and γ ∈ ℝ, lim _{N →∞} ℙ(l _c (N) ≤ α log N + βx + γ) = e ^{–e –x} . Received: 2 September 2002     

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.     

Density of smooth maps in Wk, p(M, N) for a close to critical domain dimension

Assuming m − 1 < kp < m, we prove that the space C ^∞(M, N) of smooth mappings between compact Riemannian manifolds M, N (m = dim M) is dense in the Sobolev space W ^k,p (M, N) if and only if π _m−1(N) = {0}. If π _m−1(N) ≠ {0}, then every mapping in W ^k,p (M, N) can still be approximated by mappings M → N which are smooth except in finitely many points.     

Localization of small zeros of sine and cosine Fourier transforms of a finite positive nondecreasing function

Let a function f be integrable, positive, and nondecreasing in the interval (0, 1). Then by Polya’s theorem all zeros of the corresponding cosine and sine Fourier transforms are real and simple; in this case positive zeros lie in the intervals (π(n−1/2), π(n+1/2)), (πn, π(n+1)), n ∈ ℕ, respectively. In the case of sine transforms it is required that f cannot be a stepped function with rational discontinuity points. In this paper, zeros of the function with small numbers are included into intervals being proper subsets of the corresponding Polya intervals. A localization of small zeros of the Mittag-Leffler function E _1/2(−z ²; μ), μ ∈ (1, 2) ∪ (2, 3) is obtained as a corollary.     

On a smooth solution of a boundary-value problem

We study a periodic boundary-value problem for the quasilinear equation u _tt −u _xx =F[u, u _t , u _x ], u(x, 0)=u(x, π)=0, u(x + ω, t) = u(x, t), x ∈ ℝ t ∈ [0, π], and establish conditions that guarantee the validity of a theorem on unique solvability. Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 50, No. 9, pp. 1293–1296, September, 1998.     

A proof of snevily’s conjecture

We prove Snevily’s conjecture, which states that for any positive integer k and any two k-element subsets {a ₁, …, a _k } and {b ₁, …, b _k } of a finite abelian group of odd order there exists a permutation π ∈ S _k such that all sums a _i + b _π(i) (i ∈ [1, k]) are pairwise distinct.     

On a smooth solution of a nonlinear periodic boundary-value problem

We establish conditions for the existence of a smooth solution of a quasilinear hyperbolic equationu _tt - u_xx = ƒ(x, t, u, u, u _x),u (0,t) = u (π,t) = 0,u (x, t+ T) = u (x, t), (x, t) ∈ [0, π] ×R, and prove a theorem on the existence and uniqueness of a solution. Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 51, No. 11, pp. 1574–1576, November, 1999.     

The Nielsen number for free fundamental groups and maps without remnant

For Y any space that has the homotopy type of a wedge of finitely many circles, and for g : Y → Y a map, the Nielsen number of g, N(g), is a homotopy invariant lower bound for the size of the fixed point set of any map homotopic to g. Such a map g has k-remnant if, roughly, there is limited cancellation in any product g _♯(u)g _♯(v) where g _♯ is the induced homomorphism and u, v ∈ π₁(Y) and |u| = |v| = k. We prove that such maps are (k + 1)-characteristic, meaning that in order to determine the Nielsen classes of fixed points, we need only test whether a limited, specified, set of elements z ∈ π₁(Y) are solutions to the equation z = W ⁻¹ _x f _♯(z)W _y , with x and y fixed points that are represented in the fundamental group by W _x and W _y , respectively. The number of elements to be tested is profoundly decreased by using abelianization as well. This work is a significant extension of Wagner’s results involving maps with remnant and Wagner’s algorithm. Our proofs involve new concepts and techniques. We present an algorithm for N(g) for any map g with k-remnant, and we provide examples for which no algebraic techniques previously known would work. One example shows that for any k there is a map that does not have (k − 1)-remnant but does have k-remnant. Dedicated to Edward Fadell for inspirational teaching and guidance as the thesis advisor of the first author     

On a Class of Vector-Valued Sequences Associated with Multiplier Sequences

In this article we introduce the vector valued sequence space m(E_k,φ,∧),associated with themultiplier sequence ∧=(λ_k) of non-zero complex numbers,and the terms of the sequence are chosen from theseminormed spaces E_k,seminormed by f_k for all k∈N.This generalizes the sequence space m(φ) introducedand studied by Sargent.We study some of its properties like solidity,completeness,and obtain some inclusionresults.We also characterize the multiplier problem and obtain the corresponding spaces dual to m(E_k,φ,∧).We prove some general results too.     

The range of a projection of small norm inl 1 n

It is proved that there exists a positive function Φ(∈) defined for sufficiently small ∈ 〉 0 and satisfying lim_t→0 Φ(∈) =0 such that for any integersn 〉>0, ifQ is a projection ofl ₁ ⁿ onto ak-dimensional subspaceE with ‖|Q‖|≦1+∈ then there is an integerh〉=k(1−Φ(∈)) and anh-dimensional subspaceF ofE withd(F,l ₁ ^h ) 〈= 1+Φ (∈) whered(X, Y) denotes the Banach-Mazur distance between the Banach spacesX andY. Moreover, there is a projectionP ofl ₁ ⁿ ontoF with ‖|P‖| ≦1+Φ(∈). Author was partially supported by the N.S.F. Grant MCS 79-03042.     

Tiling Transitive Tournaments and Their Blow-ups

Let TT _k denote the transitive tournament on k vertices. Let TT(h,k) denote the graph obtained from TT _k by replacing each vertex with an independent set of size h≥1. The following result is proved: Let c ₂=1/2, c ₃=5/6 and c _k =1−2^{−k−log k} for k≥4. For every ∈>0 there exists N=N(∈,h,k) such that for every undirected graph G with n>N vertices and with δ(G)≥c _k n, every orientation of G contains vertex disjoint copies of TT(h,k) that cover all but at most ∈n vertices. In the cases k=2 and k=3 the result is asymptotically tight. For k≥4, c _k cannot be improved to less than 1−2^{−0.5k(1+o(1))}. This revised version was published online in June 2006 with corrections to the Cover Date.     

The finite-dimensionalP λ spaces with small λ

It is proved that there is a positive function Φ(∈) defined for sufficiently small ∈>0 such that lim_∈→0 Φ(∈)=0 and for every integerk and everyk-dimensionalP _1+∈ spaceE, d(E, l _∞ ^k )<1+Φ(∈). Author was partially supported by N.S.F. Grant MCS 79-03042. An erratum to this article is available at .     

On Projections of Semi-Algebraic Sets Defined by Few Quadratic Inequalities

Let S⊂ℝ ^k+m be a compact semi-algebraic set defined by P ₁≥0,…,P _ℓ ≥0, where P _i ∈ℝ[X ₁,…,X _k ,Y ₁,…,Y _m ], and deg (P _i )≤2, 1≤i≤ℓ. Let π denote the standard projection from ℝ ^k+m onto ℝ ^m . We prove that for any q>0, the sum of the first q Betti numbers of π(S) is bounded by (k+m) ^{O(q ℓ)}. We also present an algorithm for computing the first q Betti numbers of π(S), whose complexity is . For fixed q and ℓ, both the bounds are polynomial in k+m. The author was supported in part by an NSF Career Award 0133597 and a Sloan Foundation Fellowship.     

A General Version of the Retract Method for Discrete Equations

We study a problem concerning the compulsory behavior of the solutions of systems of discrete equations u（k ＋ 1） = F（k, u（k））, k ∈ N（a） = {a, a ＋ 1, a ＋ 2 }, a ∈ N,N= {0, 1,... } and F ： N（a） × R^n→R^n. A general principle for the existence of at least one solution with graph staying for every k ∈ N（a） in a previously prescribed domain is formulated. Such solutions are defined by means of the corresponding initial data and their existence is proved by means of retract type approach. For the development of this approach a notion of egress type points lying on the defined boundary of a given domain and with respect to the system considered is utilized. Unlike previous investigations, the boundary can contain points which are not points of egress type, too. Examples are inserted to illustrate the obtained result.     

Comonotone approximation of twice differentiable periodic functions

In the case where a 2π-periodic function f is twice continuously differentiable on the real axis ℝ and changes its monotonicity at different fixed points y _i ∈ [− π, π), i = 1,…, 2s, s ∈ ℕ (i.e., on ℝ, there exists a set Y := {y _i } _i∈ℤ of points y _i = y _i+2s + 2π such that the function f does not decrease on [y _i , y _i−1] if i is odd and does not increase if i is even), for any natural k and n, n ≥ N(Y, k) = const, we construct a trigonometric polynomial T _n of order ≤n that changes its monotonicity at the same points y _i ∈ Y as f and is such that

Moduli of continuity for <Emphasis Type="Italic">l</Emphasis><Superscript>∞</Superscript>-valued Gaussian random fields

This paper establishes the general moduli of continuity for l ^∞-valued Gaussian random fields {X(t):= (X ₁(t),X ₂(t), h.), t ∈ [0, ∞) ^N } indexed by the N-dimensional parameter t:= (t ₁,…,t _N ), under the explicit condition yielding that the covariance function of distinct increments of X _k (t) for fixed k ≧ 1 is positive or nonpositive. Supported by KOSEF-R01-2008-000-11418-0.     

New approach to the numerical solution of forward-backward equations

This paper is concerned with the approximate solution of functional differential equations having the form: x′(t) = αx(t) + βx(t - 1) + γx(t + 1). We search for a solution x, defined for t ∈ [−1, k], k ∈ ℕ, which takes given values on intervals [−1, 0] and (k-1, k]. We introduce and analyse some new computational methods for the solution of this problem. Numerical results are presented and compared with the results obtained by other methods.      

Characterization of the spectrum of the Sturm-Liouville operator with irregular boundary conditions

We consider the spectral problem generated by the Sturm-Liouville equation with arbitrary complex-valued potential, q(x), ∈ L ₂(0, π) and irregular boundary conditions. We derive necessary and sufficient conditions for a set of complex numbers to be the spectrum of such an operator.