Extremal feedback perturbations for families of closed operators

Let T- S, be a family of not necessarily bounded semi-Fredholm operators, where T and S are operators acting between Banach spaces X and Y, and where S is bounded with D(S) D(T). For compact sets , as well as for certain open sets , we investigate existence and minimal rank of bounded feedback perturbations of the form F=BE such that min.ind (T-S+F)=0 for all . Here B is a given operator from a linear space Z to Y and E is some operator from X to Z.We give a simple characterization of that situation, when such regularizing feedback perturbations exist and show that for compact sets the minimal rank never exceeds max { min.ind (T-S) }+1. Moreover, an example shows that the minimal rank, in fact, may increase from max {...} to max {...}+1, if the given B enforces a certain structure of the feedbachk perturbation F.However, the minimal rank is equal to max { min.ind (T-S) }, if is an open set such that min.ind (T-S) already vanishes for all but finitely many points . We illustrate this result by applying it to the stabilization of certain infinite-dimensional dynamical systems in Hilbert space.     

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.     

Quasi-symmetric 3-designs with triangle-free graph

The following result is proved: Let D be a quasi-symmetric 3-design with intersection numbers x, y(0x<y<k). D has no three distinct blocks such that any two of them intersect in x points if and only if D is a Hadamard 3-design, or D has a parameter set (v, k, ) where v=(+2)(²+4+2)+1, k=²+3+2 and =1,2,..., or D is a complement of one of these designs.     

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.     

Difference Sets with n = 2pm

Let D be a (v,k,) difference set over an abelian group G with even n = k - . Assume that t N satisfies the congruences t q _i ^fi (mod exp(G)) for each prime divisor q_i of n/2 and some integer f_i. In [4] it was shown that t is a multiplier of D provided that n > , (n/2, ) = 1 and (n/2, v) = 1. In this paper we show that the condition n > may be removed. As a corollary we obtain that in the case of n= 2p^a when p is a prime, p should be a multiplier of D. This answers an open question mentioned in [2].     

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.     

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.     

Necessary conditions for the existence of divisible designs

BOSE and CONNOR [2] proved that a symmetric regular divisible design with w classes of sizes g and joining numbers ₁ and ₂ must satisfy for every prime p the arithmetic condition (d₁, (–1)^sw)_p(d₂,(–l)^tg^w)_p=1, where d₁=k²–v₂, d₂= k–₁ s=(w-1)(w-2)/2, t=(v-w)(v-w-1)/2 and (*,*) is the Hilbert symbol. We show that if in addition _{1 2} and the design is fully symmetric divisible then (d₁, (–1)^s w)_p=(d₂, (–1)^tg^w)=1. Our assumption is by a result of CONNOR [5] fulfilled, if d₁ and ₁–₂ are relatively prime. Thus, we can exclude parameters not accessible to the Bose-Connor-Theorem. Our result can be derived from a theorem of RAGHAVARAO [9], and we give the precise assumptions of this theorem. We also discuss arithmetic restrictions for divisible designs which satisfy diverse other rules for the intersection numbers and generalize a result of DEMBOWSKI [6; 2.1.11].Dedicated to Professor Benz on occasion of his sixtieth birthday     

The application of an interpolational method

We consider an equation of infinite order in generalized derivatives in the sense of A. O. Gel'fond with a characteristic function of finite order L()=L₁()... L_n(). It is explained by a purely analytical method (by the application of an interpolational method) when any solution of the equation is the sum of the solutions of similar equations with the characteristic functions L₁(), ..., L_n(). In the case of an equation in ordinary derivatives, when L() is a function of exponential type, the problem is solved by the application of algebraic and functional methods of V. V. Napalkov [1].Translated from Matematicheskie Zametki, Vol. 18, No. 5, pp. 735–752, November, 1975.     

The Solution Set to BVP for Some Functional Differential Inclusions

We consider a multivalued BVP x'(t) A(t)x((t))+ F(t,x((t))), Lx= . Under appropriate assumptions on A, L and F, we prove that for sufficiently small the set of solutions to this problem is a nonempty infinite dimensional AR-space (Theorem 4).     

A sphere theorem for non-reversible Finsler metrics

For a non-reversible Finsler metric F on a compact smooth manifold M we introduce the reversibility = max {F(–X)|F(X)=1}1. We prove the following generalization of the classical sphere theorem in Riemannian geometry: A simply-connected and compact Finsler manifold of dimension n3 with reversibility and with flag curvature is homotopy equivalent to the n-sphere.Mathematics Subject Classification (2000):53C60; 53C20, 53C22     

The spectrum of an elliptic operator of second order

Under minimal requirements on the coefficients and the boundary of the domain it is proved that the spectrum of the first boundary-value problem for an elliptic operator of second order always lies in the half-plane Re , where is the leading eigenvalue to which there corresponds a nonnegative eigenfunction. On the line Re = , there are no other points of the spectrum.Translated from Matematicheskie Zametki, Vol. 20, No. 3, pp. 351–358, September, 1976.     

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).     

The Selberg trace formula for SL(3,Z)

In this article the first step toward the generalization of the Selberg trace formula to the case of a rank 2 symmetric space S and a discrete group for which the fundamental region \S goes to infinity nontrivially appears. For S we use the space SL(3,)/SO(3) and for we use SL(3,). The fundamental results are Theorems 9 and 10, in which is calculated the contribution to the matrix trace of the operator K which appears in the right side of the trace formula of the expression h()d^c(), where ^c() is the continuous part of the spectral measure of the quasiregular representation on the space IL₂(\S).Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 63, pp. 8–66, 1976.     

A sandwich theorem and Hyers—Ulam stability of affine functions

It is shown that two real functionsf andg, defined on a real intervalI, satisfy the inequalitiesf(x + (1 – )y) g(x) + (1 – )g(y) andg(x + (1 – )y) f(x) + (1 – )f(y) for allx, y I and [0, 1], iff there exists an affine functionh: I such thatf h g. As a consequence we obtain a stability result of Hyers—Ulam type for affine functions.     

Consistency of a λ-theory withn-tuples and easy term

We give here a model-theoretical solution to the problem, raised by J.L: Krivine, of the consistency of +U(G)+=t, wheret is an arbitrary -term,G an arbitrary finite group of order, sayn, andU(G) the theory which expresses the existence of a surjectiven-tuple notion, such that each element ofG behaves simultaneously as a permutation of the components of then-tuple and as an automorphism of the model. This provides in particular a semantic proof of the -easiness of the -term .     

Statistical topography. I. Fractal dimension of coastlines and number-area rule for Islands

Summary Statistical topography involves the study of the geometrical properties of the iso-sets (contour lines or surfaces) of a random potential (r). Previous work [1,2] has addressed coastlines on a random relief (x, y) that possess a single characteristic spatial scale with topography belonging to the universality class of the random percolation problem. In the present paper this previous analytical approach is extended to the case of a multiscale random function with a power spectrum of scales, ^H , in a wide range of wavelengths, ₀ < < _m . It is found that the pattern of the coastline differs significantly from that of a monoscale landscape provided that –3/4 <H < 1, with the case –3/4 <H < 0 corresponding to the long-range correlated percolation and 0 <H < 1 to the fractional Brownian relief. The expression for the fractal dimension of an individual coastline is derived,D _h = (10 – 3H)/7, the maximum value of whichD _h = 7/4, corresponds to the monoscale relief. The distribution functionF(a) of level lines over their sizea is calculated:F(a) a ^–4(1-H)/7, for ₀ a _m . A comparison of the theoretical results with geographical data is presented.     

Topological influence of the presence of fully-λ-bases in locally convex spaces

This article reveals the topological impact of fully--bases in locally convex spaces where carries either the traditional normal topology or the fairly generalized-topology of Ruckle. It has been established that the generalized nuclearity of plays a significant role in influencing the topology of the space. Further, the equivalence of normal topology and the topology arising out of the fully--base ( being equipped with normal topology or-topology) has been investigated.We acknowledge with thanks the suggestions of the referee.     

The core of a chain complete poset with no one-way infinite fence and no tower

Like dismantling for finite posets, a perfect sequence = P : of a chain complete posetP represents a canonical procedure to produce a coreP . It has been proved that if the posetP contains no infinite antichain then this coreP is a retract ofP andP has the fixed point property iffP has this property. In this paper the condition of having no infinite antichain is replaced by a weaker one. We show that the same conclusion holds under the assumption thatP does not contain a one-way infinite fence or a tower.Supported by a grant from The National Natural Science Foundation of China.     

Strong rightD-domains

An integral domainR is called rightD-domain if its lattice of all right ideals is distributive. In § 2 a sufficient condition for an integral domainR is given such thatR is a rightD-domain if and only ifR is a leftD-domain. For example each integral domain which is algebraic over its center satisfies this criterion. Furthermore, a rightD-domain is called strong if its lattice of all fractional right ideals is distributive. Examples of strong rightD-domains are given in §4. Each overring of a strong rightD-domain is also a strong rightD-domain whereas arbitrary rightD-domains may have overrings which are no rightD-domains. Section 3 is mainly concerned with the set * of all left invertible fractional right ideals and the mapping :**,II _l ^–1 whereI _l ^–1 denotes the left inverse ofI. For example, equivalent conditions are given for * to be a sublattice of and it is shown that is bijective if and only if (IJ)=(I)+(J) holds for allI,J*. Finally, §5 deals with (right)D-domains which are algebraic over their centersC. It is proved thatR is invariant if and only ifC is a commutative Prüfer domain andR the integral closure ofC inQ(R).