On a fixed-point theorem on locally convex linear topological spaces

Iff is a self mapping on a closed convex subsetK of a separated quasicomplete locally convex linear topological spaceE such that (i)E is strictly convex, (ii)f (K) is contained in a compact subset ofK and (iii)f satisfies a contraction condition, then it is shown that for eachxK, the sequence of {U ⁿ (x)} _n =1 of iterates, whereU KK is defined byU (y)=f(y)+(1-) y, yK, converges to a fixed point off.     

On the positive solutions of some nonlinear diffusion problems

We consider the nonlinear diffusion equationu _t –a(x, u _{x x} )+b(x, u)=g(x, u) with initial boundary conditions andu(t, 0)=u(t, 1)=0. Here,a, b, andg denote some real functions which are monotonically increasing with respect to the second variable. Then, the corresponding stationary problem has a positive solution if and only if(0, ^*) or(0, ^*]. The endpoint ^* can be estimated by , where ₁ u denotes the first eigenvalue of the stationary problem linearized at the pointu. The minimal positive steady state solutions are stable with respect to the nonlinear parabolic equation.

---

Zusammenfassung Wir betrachten die nichtlineare Diffusionsgleichungu _t –a(x, u _x ) _x +b(x, u)=g(x, u) mit Randbedingungen undu (t, 0)=u (t, 1)=0. Dabei sinda, b, undg monoton wachsende Funktionen bzgl. des zweiten Argumentes. Das zugehörige stationäre Problem hat genau dann eine positive Lösung, falls (0, ^*) oder(0, ^*]. Der Endpunkt ^* kann durch abgeschätzt werden, wobei ₁ u den ersten Eigenwert des an der Stelleu linearisierten stationären Problems bezeichnet. Die minimale positive stationäre Lösung ist stabil bzgl. der obigen nichtlinearen parabolischen Gleichung.

     

Algebraic polynomial bases of space LP

Let (_n) be a system, close to the orthonormal complete system (x _n). An estimate is obtained for the deviation of the system {f_n}, obtained from {_n} by Schmidt's method, from the system {x_n}. This estimate is used to show that, in any L_P(–1,1), withp (1,4/3] [4,), and for any >e¦4 = i,13..., there exists an orthogonal algebraic system (P _n (x)) _n=0 , forming a basis in L_P and such that _n = degP _n (x) n for n>n_o(p,).Translated from Matematicheskie Zametki, Vol. 23, No. 2, pp. 223–230, February, 1978.     

Estimates of Entire Functions of Exponential Type Less than π in Terms of Logarithmic Sums over Real Duffin and Schaeffer Sequences

We give uniform estimates of entire functions of exponential type less than having sufficiently small logarithmic sums over real sequences { _n } satisfying | _n –n|L and _n+1– _n for fixed positive constants L and . We thereby generalize results about logarithmic sums over the set of integers and so-called relatively h-dense sequences.     

On eigenvalues of perturbed quadratic matrix polynomials

Among other results, it is shown that ifC andK are arbitrary complexn×n matrices and if det( ₀ ² I₀ C+K)=0 for some ₀0 (resp. ₀=0), then the Newton diagram of the polynomialt(, ) = det(² I+(1+)C+K expanded in (–₀) and , has at least a point on or below the linex+y=b (resp. has no expanded in (–₀) and , has at least a point on or below the of 0 as an eigenvalue of ₀ ² I+₀ C+K. These are extensions of similar results deu to H. Langer, B. Najman, and K. Veseli proved for diagonable matricesC, and shed light on the eigenvalues of the perturbed quadratic matrix polynomials. Our proofs are independent and seem to be simpler     

Difference sets in abelian groups ofp-rank two

Under a technical assumption that pertains to the so-called self-conjugacy, we prove: if an abelian groupG ofp-rank two,p a prime, admits a (nontrivial) (v, k, ) difference setD, then for each for some subgroupC _p ofG of orderp. Consequently,k(p=1), with equality only ifF=1/p D , whereD is the image ofD under the canonical homomorphism fromG ontoG/E (E being the unique elementary abelian subgroup ofG of orderp ²), is a (v/p ²,k/p, ) difference set inG/E. As applications, we establish the nonexistence of (i) (96, 20, 4) difference sets in ₄ x ₈ x ₃, (ii) (640, 72, 8) difference sets in ₈ x ₁₆ x ₅ and (iii) (320, 88, 24) difference sets in ₈ x ₈ x ₅. The first one fills a missing entry in Lander's table [6] and the other two in Kopilovich's table [5] (all with the answer no). We also point out the connection of the parameter sets in (i) above with the Turyn-type bounds [10] for the McFarland difference sets [9].Research partially supported by NSA Grant #904-92-H-3057 and by NSF Grant # NCR-9200265.     

Commutator Subgroups of the Extended Hecke Groups \bar H(\lambda _q )

Hecke groups H(_q) are the discrete subgroups of generated by S(z) = –(z+ _q)^–1and T(z) = –1/z. The commutator subgroup of H(_q), denoted by H(_q), is studied in [2]. It was shown that H(_q) is a free group of rank q– 1.Here the extended Hecke groups obtained by adjoining to the generators of H(_q) are considered. The commutator subgroup of is shown to be a free product of two finite cyclic groups. Also it is interesting to note that while in the H(_q) case, the index of H(_q) is changed by q, in the case of this number is either 4 for qodd or 8 for qeven.     

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.     

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.     

The existence of some resolvable block designs with divisibility into groups

This paper proves the existence of resolvable block designs with divisibility into groups GD(v; k, m; ₁, ₂) without repeated blocks and with arbitrary parameters such that ₁ = k, (v–1)/(k–1) ₂ v^k–2 (and also ₁ k/2, (v–1)/(2(k–1)) ₂ v^k–2 in case k is even) k 4 andp=1 (mod k–1), k < p for each prime divisor p of number v. As a corollary, the existence of a resolvable BIB-design (v, k, ) without repeated blocks is deduced with X = k (and also with = k/2 in case of even k) k , where a is a natural number if k is a prime power and=1 if k is a composite number.Translated from Matematicheskie Zametki, Vol. 19, No. 4, pp. 623–634, April, 1976.     

Lattice Polytopes Associated to Certain Demazure Modules of sl n + 1

Let w be an element of the Weyl group of sl _{n + 1}. We prove that for a certain class of elements w (which includes the longest element w₀ of the Weyl group), there exist a lattice polytope R ^l(w) , for each fundamental weight _i of sl _{n + 1}, such that for any dominant weight = _{i = 1} ⁿ a _{i i} , the number of lattice points in the Minkowski sum _w = _{i = 1} ⁿ a _{i i} ^w is equal to the dimension of the Demazure module E _w (). We also define a linear map A ^w : R ^l(w) P _Z R where P denotes the weight lattice, such that char E _w () = e e^–A(x) where the sum runs through the lattice points x of ^w .     

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.     

Minimality of derivative chains,corresponding to a boundary value problem on a finite segment

One investigates the minimality of derivative chains, constructed from the root vectors of polynomial pencils of operators, acting in a Hilbert space. One investigates in detail the quadratic pencil of operators. In particular, for L()=L₀+L₁+²L₂ with bounded operators L₀0, L₂0 and Re L₁0, one shows the minimality in the space_173-02 of the system {x_k, _kekx_k}, where x_k are eigenvectors of L(), corresponding to the characteristic numbers _kin the deleted neighborhoods of which one has the representation L^–1()=(–_k)^–1R_K+W_K() with one-dimensional operators R_k and operator-valued functions W_K(), k=1, 2, ..., analytic for =_k.Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 42, No. 2, pp. 195–205, February, 1990.     

On the domain monotonicity of the first eigenvalue of a boundary value problem

Summary This paper is concerned with the monotonicity of the first eigenvalue ₁ (D) of (1) as a functional of the domainD.For 0<k< we prove that ₁(D) is increasing withD in several cases, but a counterexample is given showing that this is not true in general. In the same cases we prove that, for –<k<0, ₁(D) decreases whenD increases.

---

Zusammenfassung Diese Arbeit behandelt die Monotonie des ersten Eigenwertes ₁(D) von (1) als Funktional des GebietesD. Für 0<k< beweisen wir, dass ₁(D) in mehreren Fällen mitD wächst; aber ein Gegenbeispiel zeigt, dass dies nicht allgemein gilt. In denselben Fällen beweisen wir, dass ₁(D) für –<k<0 bei wachsendemD abnimmt.

---

---

Technical Report TR-75-13.     

Estimation of the Intensity of the Flow of Nonmonotone Refusals in the Queuing System (≤ λ)/G/m

We consider a queuing system ()/G/m, where the symbol () means that, independently of prehistory, the probability of arrival of a call during the time interval dtdoes not exceed dt. The case where the queue length first attains the level r m+ 1 during a busy period is called the refusal of the system. We determine a bound for the intensity ₁(t) of the flow of homogeneous events associated with the monotone refusals of the system, namely, ₁(t) = O( ^{r+ 1}₁ ^{m– 1} _{r– m+ 1}), where _k is the kth moment of the service-time distribution.     

Cohomology of solvable lie algebras and solvmanifolds

The cohomology H^* (G/,) of the de Rham complex *(G/) of a compact solvmanifold G/ with deformed differential d = d + , where is a closed 1 -form, is studied. Such cohomologies naturally arise in Morse-Novikov theory. It is shown that, for any completely solvable Lie group G containing a cocompact lattice G, the cohomology H^*(G/, ) is isomorphic to the cohomology H^*( ) of the tangent Lie algebra of the group G with coefficients in the one-dimensional representation : defined by () = (). Moreover, the cohomology H ^*(G/,) is nontrivial if and only if -[] belongs to a finite subset of H ¹(G/,) defined in terms of the Lie algebra .Translated from Matematicheskie Zametki, vol. 77, no. 1, 2005, pp. 67–79.Original Russian Text Copyright © 2005 by D. V. Millionshchikov.This revised version was published online in April 2005 with a corrected issue number.     

Quasi-conformal mapping theorem and bifurcations

LetH be a germ of holomorphic diffeomorphism at 0 . Using the existence theorem for quasi-conformal mappings, it is possible to prove that there exists a multivalued germS at 0, such thatS(ze ²ⁱ )=HS(z) (1). IfH is an unfolding of diffeomorphisms depending on (,0), withH ₀=Id, one introduces its ideal . It is the ideal generated by the germs of coefficients (a _i (), 0) at 0 ^k , whereH (z)–z=a _i ()z ⁱ . Then one can find a parameter solutionS (z) of (1) which has at each pointz ₀ belonging to the domain of definition ofS ₀, an expansion in seriesS (z)=z+b _i ()(z–z ₀) ⁱ with , for alli.This result may be applied to the bifurcation theory of vector fields of the plane. LetX be an unfolding of analytic vector fields at 0 ² such that this point is a hyperbolic saddle point for each . LetH (z) be the holonomy map ofX at the saddle point and its associated ideal of coefficients. A consequence of the above result is that one can find analytic intervals , , transversal to the separatrices of the saddle point, such that the difference between the transition mapD (z) and the identity is divisible in the ideal . Finally, suppose thatX is an unfolding of a saddle connection for a vector fieldX ₀, with a return map equal to identity. It follows from the above result that the Bautin ideal of the unfolding, defined as the ideal of coefficients of the difference between the return map and the identity at any regular pointz, can also be computed at the singular pointz=0. From this last observation it follows easily that the cyclicity of the unfoldingX , is finite and can be computed explicity in terms of the Bautin ideal.Dedicated to the memory of R. Mañé     

A complete asymptotic expansion of the jacobi functions with error bounds

In this paper we give a complete asymptotic expansion of the Jacobi functions ^{(, )} (t) as + . The method we employed to get the complete expansion follows that of Olver in treating similar problems. By using a Gronwall-Bellman type inequality for an improper integral in which the integrand is an unbounded function and contains a parameter, we get an error bound of the asymptotic approximation which is different from that of Olver's.     

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.     

Subordination des résolvantes

Résumé Soit (V ₎₀ une résolvante définie sur un espace mesurable telle que le noyau initial est borné; on trouve une condition nécéssaire et suffisante pour qu'un noyau borné U possède une résolvante (U ₎₀ telle que U V pour tout 0. On donne plusieurs applications de ce résultat.