Canonical and Boundary Representations on the Lobachevsky Plane

Canonical representations on Hermitian symmetric spaces G/K were introduced by Vershik, Gelfand and Graev and Berezin. They are unitary. We study canonical representations in a wider sense. In this paper we restrict ourselves to a crucial example – the Lobachevsky plane: G=SU(1,1), K=U(1). Canonical representations are labelled by the complex parameter (Vershik–Gelfand–Graev's representations correspond to –3/2<<0). We decompose the canonical representations into irreducible components. The decomposition includes boundary representations generated by the canonical representations. So we study these boundary representations themselves. The decomposition of boundary representations is closely connected with the meromorphic structure of Poisson and Fourier transforms associated with canonical representations. In particular, second-order poles give second-order Jordan blocks. Finally, we give a full decomposition of the Berezin transform using generalized powers (Pochhammer symbols) instead of usual powers of .     

On extremal perturbations of semi-Fredholm operators

Given a bounded linear operatorA in an infinite dimensional Banach space and a compact subset of a connected component of its semi-Fredholm domain, we construct a finite rank operatorF such that –A+F is bounded below (or surjective) for each ,F ²=0 and rankF=max min{dimN(–A), codimR(–A)}, if ind(–A)0 (or ind(–A)0, respectively) for each .     

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.     

Radon—Nikodym theorems for multimeasures and transition multimeasures

— . , — . , .

---

---

Research supported by N. S. F. Grant DMS-8802688.     

On the parallel factorization of matrices over principal ideal rings

We describe all the factorizations A=BC (up to associates) of a matrix A over a commutative principal ideal domain parallel to the factorization D^A= of its canonical diagonal form D^A ( and are diagonal matrices), that is, the factorizations such that the matrices B and C are equivalent to the matrices and respectively.Translated fromMatematichni Metodi ta Fiziko-Mekhanichni Polya, Vol. 40, No. 4, 1997, pp. 96–100.     

Reverse Functional Inequalities and Their Applications to Nonlinear Elliptic Boundary Value Problems

We establish some reverse inequalities. We give applications to nonlinear elliptic boundary value problems containing a parameter which have two branches of solutions u (0) and U (>0) of which the first is continuous at the origin and the second increases indefinitely as 0.     

Canonical Semigroups of States and Cocycles for the Group of Automorphisms of a Homogeneous Tree

Let G=A ut(T) be the group of automorphisms of a homogeneous tree and let d(v,gv) denote the natural tree distance. Fix a base vertex e in T. The function (g)=exp(–d(e,ge)), being positive definte on G, gives rise to a semigroup of states on G whose infinitesimal generator d/d|₌₀=log() is conditionally positive definite but not positive definite. Hence, log() corresponds to a nontrivial cocycle (g): GH in some representation space H . In contrast with the case of PGL(2,), the representation is not irreducible.Let _o (g) be the derivative of the spherical function corresponding to the complementary series of A ut(T). We show that –d(e,ge) and _o (g) come from cohomologous cocycles. Moreover, _o is associated to one of the two (irreducible) special representations of A ut(T).     

Positivity Preserving Forms have the Fatou Property

We prove that if (,D) is a positivity preserving form on L ² (E;m), and if (u _n)_n is a sequence in D() converging m-almost everywhere to u L ² (E;m), then (u,u) lim inf_n (u _n ,u _n ).     

Threshold theorems for a stochastic model of an epidemic with natural immunization

A stochastic model of an epidemic is investigated, taking account of the removal of ill members of the population (by death, by recovery with immunization, by isolation) and natural immunization. Limiting distributions are found for the size of the epidemic, the number immunized ₁, and their sum, under the assumption that the original number of susceptible individuals n and the number of ill individuals m , while n 1,n ₀< , where and are the coefficients for the contraction of the disease and of immunization respectively.Translated from Matematicheskie Zametki, Vol. 8, No. 3, pp. 385–392, September, 1970.     

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.     

On rearrangements of orthogonal sets

{ _d } , c _{n n} (x) , {c _n }l ². () . , .. 1) ()< { _n} — , {_(n)} m .2) ()=, {_n {c_n}l ² , c _{n (n)} . , { _n } .     

Shift invariant spaces inL 2

If is a complex, separable Hilbert space, letL ² () denote theL ²-space of functions defined on the unit circle and having values in . The bilateral shift onL ²() is the operator (U f)()=f(). A Hilbert spaceH iscontractively contained in the Hilbert spaceK ifHK and the inclusion mapH–K is a contraction. We describe the structure of those Hilbert spaces, contractively contained inL ²(), that are carried into themselves contractively byU . We also do this for the subcase of those spaces which are carried into themselves unitarily byU .     

All Lambda-Designs With λ = 2 p are Type-1

A-design is a family B ₁,B ₂,...,B _v of subsets of X={1, 2,..., v} such that B _i B _j = for all i jand not all B _i are of the same size. Ryser's andWoodall's -design conjecture states thateach -design can be obtained from a symmetricblock design by a certain complementation procedure. Our mainresult is that the conjecture is true when is twice a prime number.     

On the immersion of metrics close to immersible metrics

For a C^r,-immersion z:X E, r 2, 0 < < 1, of an n-dimensional (n 1) simply-connected C^r+2,-manifold X into Euclidean space E, the metric I(z) induced by z has a neighborhood in C^r,-topology in which every metric from a given subbundle of metrics is C^r,-immersible into E. In particular, it is proved that metric ds ₀ ² of the Riemannian product of p spheres of dimensions ₁, , _p 2 has a neighborhood in C^2,-topology from which any conformally equivalent metric to ds ₀ ² , is immersible into E with dimE = ₁ + + _p + p. The proofs are based on the investigation of a varied system of Gauss—Codazzi—Ricci equations for an infinitely small deformation of surface z(X) in E with a prescribed variation of the metric.Translated from Ukrainskii Geometricheskii Sbornik, No. 35, pp. 49–67, 1992.     

Free Algebras over Biregularizations of Varieties

Let : F N be a type of algebras, where F is a set of fundamental operation symbols and N is the set of nonnegative integers. An identity of type is called biregular if the sets of variables in and are identical and the sets of fundamental operation symbols in and are identical. If K is a variety of type , we denote by K_b the variety of type defined by all biregular identities from Id(K). K_b will be called the biregularization of K. In this paper we give a representation of free algebras over K_b by means of free algebras over K.     

Resolvent of the Toeplitz operator may increase arbitrarily fast

It is proved that for every sequence of points _n from the unit circle, _n1, and for an arbitrary sequence of positive numbers A_n, A_n, there exists a continuous real function u, such that for the Toeplitz operator T (acting in the Hardy space H²) with the symbol =e ^iu we have the estimates (T–_nI)^–1>A_n, n.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova, AN SSSR, Vol. 157, pp. 175–177, 1987.     

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 construction and calculation of optimal nonlifting critical airfoils

Numerical calculations are carried out in the hodograph plane to construct optimal critical airfoil shapes and the flow about them. These optimal airfoil shapes give the highest free-stream Mach numberM for a given thickness ratio and tail angle _t (nonlifting) for which the flow is nowhere supersonic. A relationship betweenM and for various _t is given. Analytical and numerical solutions to the same problem are found on the basis of transonic small-disturbance theory. These results provide a limiting case asM 1, 0 and agree well with the calculations of the full problem. Using a numerical method to calculate the flow about general (subsonic) airfoils, a comparison is made between the critical free-stream Mach numbers for some standard airfoil shapes and the optimal free stream Mach number of the corresponding and _t . A significant increase in the critical free-stream Mach number is found for the optimal airfoils.     

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.     

Une méthode de comparaison isopérimétrique de fonctionnelles de domaines de la physique mathématique I. Première partie: une démonstration de la conjecture isopérimétrique Pλ2 ≥ πj 0 4 /2 de Pólya et Szegö

Résumé Soient _G la première valeur propre de la membrane à contour fixé sur un domaine simplement connexeG, etP _G la rigidité à la torsion deG. En construisant un cercleK tel queP _K P _G et _{K G}, on démontre la conjecture de Pólya et Szegö [14]; P_{G G} ² j ₀ ² /2. Ce résultat renforce le théorème isopérimétrique classique de Rayleigh [15], Faber [4] et Krahn [10].

---

Summary Let _G be the first eigenvalue of the fixed membrane on a simply connected domainG, and letP _G be the torsional rigidity ofG. We prove Pólya-Szegö's conjecture [14]: P_{G G} ² j ₀ ² /2, by constructing a circleK such thatP _K P _G and _{K G}. This result sharpens the classical isoperimetric theorem of Rayleigh [15], Faber [4] and Krahn [10].