Ultrafilter translations

We develop a method for extending results about ultrafilters into a more general setting. In this paper we shall be mainly concerned with applications to cardinality logics. For example, assumingV=L, Gödel's Axiom of Constructibility, we prove that if > then the logic with the quantifier there exist many is (,)-compact if and only if either is weakly compact or is singular of cofinality<. As a corollary, for every infinite cardinals and , there exists a (,)-compact non-(,)-compact logic if and only if either < orcf<cf or < is weakly compact.Counterexamples are given showing that the above statements may fail, ifV=L is not assumed.However, without special assumptions, analogous results are obtained for the stronger notion of [,]-compactness.     

The dependence of critical parameter bounds on the monotonicity of a Newton sequence

Summary A new method is proposed for the inclusion of the critical parameter ^* of some convex operator equationu=Tu (appearing e.g. in thermal explosion theory). It is based on the fact that for a fixed Newton's method starting with a suitable subsolution is not monotonically if and only if >^*. Several numerical examples arising from nonlinear boundary value problems illustrate the efficiency of the method.     

The Spectral Function and Principal Eigenvalues for Schrödinger Operators

Let m , 0 m₊ in Kato's class. We investigate the spectral function s( + m) where s( + m) denotes the upper bound of the spectrum of the Schrödinger operator + m. In particular, we determine its derivative at 0. If m_- is sufficiently large, we show that there exists a unique ₁ > 0 such that s( + ₁m) = 0. Under suitable conditions on m⁺ it follows that 0 is an eigenvalue of + ₁m with positive eigenfunction.     

Spectral parameter asymptotics of the Weyl solutions of Sturm-Liouville equations

In the paper one investigates the dependence of Weyl's solution ,)=c(,)+n()s(,) of the Sturm-Liouville equation y+q()y=²y on the spectral parameter . Under the condition that the potential q is bounded from below and q()exp(c₀+c[in1 ¦¦), it is proved for {ie217-01} for any positive values and A. If q()>1 and {ie217-02} for all >0, then in the semiplane >0 the Weyl solution (, ) is obtained from the Weyl solution (,x) is obtained from the Weyl solution e^ix with zero potential, with the aid of a generalization of B. Ya Levin's transformation operators.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova Akademii Nauk SSSR, Vol. 170, pp. 184–206, 1989.I express my sincere gratitude to L. A. Pastur and I. V. Ostrovskii for valuable advice and discussions.     

Minimal coverings and maximal packings of (k−1)-subsets by k-subsets

This paper studies the asymptotic behavior of functions M(n, k, k–1, ) and m(n, k, k–1, ), equal to the respective cardinalities of the minimal -covering and maximal -packing of all (k–1)-subsets of the n-element set of its k-subsets. It is shown that, if sequence k=k(n) is such that k(n)/n 0 as then m(n, k, k–1, ).( _k–1 ⁿ ).k¹, and if as n , thenM(n,k,k–1,).( _k–1 ⁿ ).k^–1. A consequence of these results is the validity of the Erdös-Hanani conjecture concerning the asymptotic behavior of functions M(n, k, k–1, 1) and m(n, k, k–1, 1).Translated from Matematicheskie Zametki, Vol. 21, No. 4, pp. 565–571, April, 1977.In conclusion, the author wishes to thank A. A. Sapozhenko under whose direction the present work was achieved.     

Morphisms of the Heat Equation

In this article we consider a certain class of mappings between Riemannian manifolds of the type M × R^{+ *}, which preserve two objects associated to the heat equation. First we show that maps which pull back local solutions of the heat equation to local solutions of the heat equation, called heat equation morphisms have to be the product of a homothetic submersion and an affine map of R^{+ *}. Then using the above characterisation, we study maps which pull back the heat kernel to the heat kernel. We call such maps heat kernel morphisms. We show in Theorem 3 that, in the case of compact manifolds, a map : M × M × R^{+ *} N × N × R^{+ *} of the form (x,y,t) = ( (x), (y),h(t)), with surjective, is a heat kernel morphism if and only if is a homothetic covering of N()-sheets and constant dilation such that N() = ^m (m = dim M) and h(t) = ²t. In particular, if is bijective then it must be an isometry and h(t) = t. A similar problem was considered from a different point of view in [6].     

The spectral bound of Schrödinger operators

Let V: R ^N [0, ] be a measurable function, and >0 be a parameter. We consider the behaviour of the spectral bound of the operator 1/2–V as a function of . In particular, we give a formula for the limiting value as , in terms of the integrals of V over subsets of R ^N on which the Laplacian with Dirichlet boundary conditions has prescribed values. We also consider the question whether this limiting value is attained for finite .     

A Remark on Real Parameter Global Bifurcation

We study the nonlinear eigenvalue problem F(x,) = L()x +R(x,) = 0 where F : X × R X with X a Hilbert space. IfL() is a polynomial in , then it is shown that 0> 0 is a global bifurcation point of the eigenvalue problem provided astandard transversality condition is satisfied, the dimension of the nullspace of L(0) is an odd number and L() is composed of asequence of positive operators on the finite dimensional null space ofL(0).     

A Proof of the Jungnickel-Tonchev Conjecture on Quasi-Multiple Quasi-Symmetric Designs

A proof of the following conjecture of Jungnickel and Tonchev on quasi-multiple quasi-symmetric designs is given: Let D be a design whose parameter set (v,b,r,k,) equals (v,sv,sk,k, s) for some positive integer s and for some integers v,k, that satisfy (v-1) = k(k-1) (that is, these integers satisfy the parametric feasibility conditions for a symmetric (v,k,)-design). Further assume that D is a quasi-symmetric design, that is D has at most two block intersection numbers. If (k, (s-1)) = 1, then the only way D can be constructed is by taking multiple copies of a symmetric (v,k, )-design.     

A Recursive Construction for 2-Designs

This paper contains two main results: given a symmetric (v, k, ) design, D, and a resolvable design which has the parameters of a residual design of D, there exists a symmetric (dv + 1, v, k) design, where d = (v - k)/(k - ), and d is a prime power; given a symmetric (v, k, ) design, D, and a resolvable design with the parameters of a derived design of D, there exists a 2 - (ek + v, 2k, k) design, where e = k/,and e is a prime power.     

Factorization of a selfadjoint nonanalytic operator function II. Single spectral zone

We consider a selfadjoint and smooth enough operator-valued functionL() on the segment [a, b]. LetL(a)0,L(b)0, and there exist two positive numbers and such that the inequality |(L()f, f)|< ([a, b] f=1) implies the inequality (L'()f, f)>. Then the functionL() admits a factorizationL()=M()(I-Z) whereM() is a continuous and invertible on [a, b] operator-valued function, and operatorZ is similar to a selfadjoint one. This result was obtained in the first part of the present paper [10] under a stronge conditionL()0 ( [a,b]). For analytic functionL() the result of this paper was obtained in [13].     

Spectral properties of λ-matrices

One investigates the spectral problem for polynomial -matrices of the general form (regular and singular). One establishes a relation between the elements of the complete spectral structure of the -matrix (i.e., its elementary divisors, its Jordan chains of vectors, its minimal indices and polynomial solutions) and of the matrices which occur in its transformation to the Smith canonical form. One establishes a correspondence between the complete spectral structures of a -matrix and of three linear accompanying matrix pencils. One notes the possibility of reducing the solution of the spectral problem for a -matrix to the solution of a similar problem for its accompanying pencil. One gives a factorization of a -matrix which allows to represent it by any of its considered accompanying pencils or by its Kronecker canonical form.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 111, pp. 180–194, 1981.     

The spectra of closed interpolated operators

Let (E ₀,E ₁) be a compatible couple of Banach spaces, and letE : 0Re1 be the complex interpolation spaces ofE ₀,E ₁. LetT be a closed linear operator onE ₀+E ₁, then the restrictionT ofT to eachE is closed. If we denote by the extended spectrum ofT inE , then, under appropriate conditions, it is shown that the map is an analytic multifunction in the strip {C0<Re<1}. We use these results to give some applications to the spectral theory of semigroups.     

Balanced Incomplete Block Designs with Block Size 7

The object of this paper is the construction of balanced incomplete block designs with k=7. This paper continues the work begun by Hanani, who solved the construction problem for designs with a block size of 7, and with =6, 7, 21 and 42. The construction problem is solved here for designs with > 2 except for v=253, = 4,5 ; also for = 2, the number of unconstructed designs is reduced to 9 (1 nonexistent, 8 unknown).     

Periodic solutions of singularly perturbed delay equations

We consider a general class of singularly perturbed delay differential systems depending on a singular parameter and another parameter . For =0, the equation defines a mapT which undergoes a generic period doubling at =0. If the bifurcation is supercritical (subcritical), these period two points define a stable period two square wave (unstable period two pulse wave). We give conditions on the vector field such that there is a sectorS in the , plane such that there is a unique periodic orbit if the parameters are inS, the orbit is stable (unstable) if the period doubling bifurcation is supercritical (subcritical) and approaches the square (pulse) wave as 0.Partially supported by NSF and DARPA.     

The Theorem of Fáry and Milnor for Hadamard Manifolds

Suppose M is a complete noncompact surface C² immersed in E³ with K 0. It is proved that M is a cylinder if H 2 for some > 0. Moreover, the pinching constant 2 is optimal.     

The dynamics of perturbations of the contracting Lorenz attractor

We show here that by modifying the eigenvalues ₂ < ₃ < 0 < ₁ of the geometric Lorenz attractor, replacing the usualexpanding condition ₃+₁ > 0 by acontracting condition ₃+₁ < 0, we can obtain vector fields exhibiting transitive non-hyperbolic attractors which are persistent in the following measure theoretical sense: They correspond to a positive Lebesgue measure set in a twoparameter space. Actually, there is a codimension-two submanifold in the space of all vector fields, whose elements are full density points for the set of vector fields that exhibit a contracting Lorenz-like attractor in generic two parameter families through them. On the other hand, for an open and dense set of perturbations, the attractor breaks into one or at most two attracting periodic orbits, the singularity, a hyperbolic set and a set of wandering orbits linking these objects.     

The Müntz-Szasz problem

A condition is obtained on the placement of point _n (in some sense, the final point) with which completeness of the system of functionsexp (– _n x), Re_n>0, in spaces L^p, 1p<2. is equivalent to divergence of the series re_n(1+¦_n¦²)^–1.Translated from Matematicheskie Zametki, Vol. 23, No. 1, pp. 91–103, January, 1978.Deceased.     

Reinforcement problems for elliptic equations and variational inequalities

Summary Consider the Dirichlet problem for an elliptic equation in a domain , with coefficients having discontinuity on a surface . Suppose divides into _{1 2}(₂ the inner core), the thickness of ₁ is of order of magnitude , and the modulus of ellipticity in ₁ is of order magnitude ₁. The asymptotic behavior of the solution is studied as 0, ₁ 0, provided lim (/₁) exists. Other questions of this type are studied both for elliptic equations and for elliptic variational inequalities.The second author is partially supported by National Science Foundation Grant 7406375 A01. The third author is partially supported by National Science Foundation Grant MC575-21416 A01.     

Nonnegative Hall Polynomials

The number of subgroups of type and cotype in a finite abelian p-group of type is a polynomialg with integral coefficients. We prove g has nonnegative coefficients for all partitions and if and only if no two parts of differ by more than one. Necessity follows from a few simple facts about Hall-Littlewood symmetric functions; sufficiency relies on properties of certain order-preserving surjections that associate to each subgroup a vector dominated componentwise by . The nonzero components of (H) are the parts of , the type of H; if no two parts of differ by more than one, the nonzero components of – (H) are the parts of , the cotype of H. In fact, we provide an order-theoretic characterization of those isomorphism types of finite abelian p-groups all of whose Hall polynomials have nonnegative coefficients.