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ñé     

On the mixed problem for hyperbolic partial differential-functional equations of the first order

We consider the mixed problem for the hyperbolic partial differential-functional equation of the first order where is a function defined by z _(x,y)(t, s) = z(x + t, y + s), (t, s) [–, 0] × [0, h]. Using the method of bicharacteristics and the method of successive approximations for a certain integral-functional system we prove, under suitable assumptions, a theorem of the local existence of generalized solutions of this problem.     

Heavy Transversals and Indecomposable Hypergraphs

A weighted hypergraph is a hypergraph H = (V, E) with a weighting function , where R is the set of reals. A multiset S V generates a partial hypergraph H ^S with edges , where both the cardinality and the total weight w(S) are counted with multiplicities of vertices in S. The transversal number of H is represented by (H). We prove the following: there exists a function f(n) such that, for any weighted n-Helly hypergraph H, (H ^B ) 1, for all multisets B V if and only if (H ^A ) 1, for all multisets A V with . We provide lower and upper bounds for f(n) using a link between indecomposable hypergraphs and critical weighted n-Helly hypergraphs.* On leave from Computing and Automation Research Institute, Hungarian Academy of Sciences.     

Visible shorelines inR d

Summary LetC be a closed set inR ^d and letj be a fixed integer,j 1. The setS R ^d ~C is said to have aj-partition relative toC if there existj or fewer pointsc ₁,, c _j ofC such that each point ofS sees via the complement ofC at least one pointc _i. For every triple of integersd, p, j withd 0, p d + 1, j 1, there exists a smallest integerf(d, p, j) such that the following is true: IfC is a convexd-polytope inR ^d havingp vertices and ifS R ^d ~C, S has aj-partition relative toC if and only if everyf(d, p, j)-member subset of S has such a partition.ForC a convex polytope inR ² andS R ² ~C, all points ofS see via the complement ofC a common neighborhood in the boundary ofC if and only if every three points ofS see via the complement ofC such a neighborhood.A weak analogue of this result holds for arbitrary compact convex sets inR ^d .     

A Characterisation of the Generalized Quadrangle Q (5, q) Using Cohomology

If a GQ S of order (s, s) is contained in a GQ S of order (s, s ²) as a subquadrangle, then for each point X of S\S the set of points of S collinear with X form an ovoid of S. Thas and Payne proved that if S= (4,q),q even, and is an elliptic quadric for each XS\S,thenS (5,q). In this paper we provide a single proof for the q odd and q even cases by establishing a link between the geometry involved and the first cohomology group of a related simplicial complex.     

A characterization theorem for certain unions of two starshaped sets in R 2

Let S be a compact set in R ². For S simply connected, S is a union of two starshaped sets if and only if for every F finite, F bdry S, there exist a set G bdry S arbitrarily close to F and points s, t depending on G such that each point of G is clearly visible via S from one of s, t. In the case where S has at most finitely many components, the necessity of the condition still holds while the sufficiency fails.     

Sets which are almost starshaped

A nonempty setS in a real topological linear spaceL is said to be quasi-starshaped if and only if there is some pointq in clS such that the subset of points ofS visible viaS fromq is everywhwere dense inS and contains intS, and the set of all such pointsq is called the quasi-kernel ofS and denoted by qkerS. It is proved that forS connected with slncS nonempty {conv Â_z:z slncS} qkerS, where slncS denotes the set of strong local nonconvexity points ofS and Â_z={s clS:z is clearly visible froms via S}. Familiar procedures generate then the Krasnosel'skii-type characterizations for the dimension of the quasi-kernel ofS. This contributes to an open problem.Jakub Oswald gewidmet     

Differentiable structures with zero entropy on simply connected 4-manifolds

We show that a closed 4-dimensional simply connected topological manifoldM admits a differentiable structure with aC Riemannian metric whose geodesic flow has zero topological entropy if and only ifM is homeomorphic toS ⁴, ²,S ²×S ², or ²#².     

The self-adjointness conditions for a higher order differential operator with an operator coefficient

Certain sufficient conditions are found for self-adjointness of the differential operator generated by the expressionl (y)=(–1) ⁿ y ²ⁿ +Q (x)y, – <x <, where Q(x) is for each fixed value of x a bounded self-adjoint operator acting from the Hilbert space H into H, and y(x) is a vector function of H₁ for which .Translated from Matematicheskie Zametki, Vol. 5, No. 6, pp. 697–707, June, 1969.     

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.     

A remark on normal derivations of Hilbert-Schmidt type

LetB (H) denote the algebra of operators on the separable Hilbert spaceH. LetC ₂ denote the (Hilbert) space of Hilbert-Schmidt operators onH, with norm .₂ defined by S ₂ ² =(S,S)=tr(SS ^*). GivenA, B B (H), define the derivationC (A, B):B(H)B(H) byC(A, B)X=AX-XB. We show that C(A,B)X+S ₂ ² =C(A,B)X ₂ ² +S ₂ ² holds for allXB(H) and for everySC ₂ such thatC(A, B)S=0 if and only if reducesA, ker S reducesB, andA | S and B| ker S are unitarily equivalent normal operators. We also show that ifA, BB(H) are contractions andR(A, B)B(H)B(H) is defined byR(A, B)X=AXB-X, thenSC ₂ andR(A, B)S=0 imply R(A,B)X+S ₂ ² =R(A,B)X ₂ ² +S ₂ ² for allXB(H).     

Hypersurfaces of restricted type in Minkowski space

A submanifold M _n ^r of Minkowski space is said to be of restricted type if its shape operator with respect to the mean curvature vector is the restriction of a fixed linear transformation of to the tangent space of M _n ^r at every point of M _n ^r . In this paper we completely classify hypersurfaces of restricted type in . More precisely, we prove that a hypersurface of is of restricted type if and only if it is either a minimal hypersurface, or an open part of one of the following hypersurfaces: S ^k × , S _k ¹ × , H ^k × , S _n ¹ , H ⁿ , with 1kn–1, or an open part of a cylinder on a plane curve of restricted type.This work was done when the first and fourth authors were visiting Michigan State University.Aangesteld Navorser N.F.W.O., Belgium.     

The Busy Period of the M/GI/∞ Queue

An equation for the distribution Z() of the duration T of the busy period in a stationary M/GI/ service system is constructed from first principles. Two scenarios are examined, being distinguished by the half-plane Re()>₀ for some ₀0 in which the generic service time random variable S, always assumed to have a finite mean E(S), has an analytic Laplace–Stieltjes transform E(e^–S ). If ₀<0 then E(e^–T ) is analytic in a half-plane (₁,), where ₀₁<0 and ₁ is determined by the distribution of S; then for any 0<s<|₁|.When ₀=0, E(e^–T ) is analytic in (0,), and now more is known about T. Inequalities on the tail () are used to show that for any 1, E(T ) is finite if and only if E(S ) is finite. It follows that the point process consisting of the starting epochs of busy periods is long range dependent if and only if E(S ²)=, in which case it has Hurst index equal to [frac12](3–), where is the moment index of S.If also the tail (x)=Pr{Sx} of the service time distribution satisfies the subexponential density condition ₀ ^x (x–u) (u)du/ (x)2E(S) as x, then (x)/ (x)e^E(S), where is the arrival rate.     

On Two Conjectures of Steinhaus

We disprove two conjectures of H. Steinhaus by showing that: (1) there is a convex surface S such that for any point x on S and any point y in the set F _x of farthest points from x, there are at most two segments from x to y; (2) the properties and do not characterize the sphere.     

On Mercer's theorem for (C,2)-means

A direct proof is given for the following theorem, contained as a special case in a more general result ofPolniakowski:Theorem. Denote _n the Cesaro-means of order 2 of the sequenceS ₁, S₂, ... , any real number satisfying 0<<=1. Then implies To Prof. Th. Schneider on the occasion of his 65^th birthday     

3-regularity in generalized quadrangles of order (s,s 2)

If (x, y, z) is a 3-regular triad of a generalized quadrangle S=(P, B, I) of order (s, s ²), s even, then {x, y, z} {x, y, z} is contained in a subquadrangle of order s. As an application it is proved that a generalized quadrangle of order (4, 16) with at least one 3-regular triad is isomorphic to the classical generalized quadrangle Q(5, 4) of order (4, 16).     

Numerical Solutions to the Darboux Problem with Functional Dependence

The paper deals with the Darboux problem for the equation D _{xy z} (x,y) = f(x,y,z( _x,y ) where z( _x,y ) is a function defined by . We construct a general class of difference methods for this problem. We prove the existence and uniqueness of solutions to implicit functional difference equations by means of a comparison method; moreover we give an error estimate. The convergence of explicit difference schemes is proved under a general assumption that given functions satisfy nonlinear estimates of the Perron type. Our results are illustrated by a numerical example.     

On a generalization of the Gallai-Sylvester theorem

It is shown that ifS ^d , affS=aff ^d , and every hyperplane spanned by (a subset of)S misses fewer thank points ofS(k2), then (a) #Skm ifd=2m–1 is odd and (b) #Skm+1 ifd=2m is even. We also fully describe the extreme sets for which equality holds in (a) or in (b). For oddd the proofs are later modified to purely algebraic ones, and carry over to , where is an arbitrary field. For evend, (b) is generally not true when , but we prove some weaker inequalities that do hold over arbitrary fields.This is part of a Ph.D. thesis, supervised by Professor Micha A. Perles at the Hebrew University of Jerusalem. This research was supported in part by the Landau Center for Mathematical Research.     

A Krasnosel'skii-type theorem for nonclosed sets in the plane

This work will be concerned with a Krasnosel'skii-type theorem for nonclosed bounded sets in R², and the following result will be obtained: Let S be a nonempty bounded set in R² whose complement consists of a finite number of locally compact components. Assume that every 4 or fewer points in S see a common point via S. Then for some point p in cl S, the set A {s s in S and (p,s] S} is nowhere dense in S. The number 4 is best possible.     

Zonotopal Subdivisions of Cyclic Zonotopes

The cyclic zonotope (n, d) is the zonotope in ^d generated by any n distinct vectors of the form (1, t, t ²,..., t ^d–1). It is proved that the refinement poset of all proper zonotopal subdivisions of (n, d) which are induced by the canonical projection : (n, d) (n, d), in the sense of Billera and Sturmfels, is homotopy equivalent to a sphere and that any zonotopal subdivision of (n, d) is shellable. The first statement gives an affirmative answer to the generalized Baues problem in a new special case and refines a theorem of Sturmfels and Ziegler on the extension space of an alternating oriented matroid. An important ingredient in the proofs is the fact that all zonotopal subdivisions of (n, d) are stackable in a suitable direction. It is shown that, in general, a zonotopal subdivision is stackable in a given direction if and only if a certain associated oriented matroid program is Euclidean, in the sense of Edmonds and Mandel.