Algebraic systems of quadratic forms of number fields and function fields

In this paper we examine for which Witt classes ,..., _n over a number field or a function fieldF there exist a finite extensionL/F and ₂,..., _n L^* such thatT _L/F ()=1 andTr _L/F (_i)=_i fori=2,...n.     

The Parametric Buffer Phenomenon for a Singularly Perturbed Telegraph Equation with a Pendulum Nonlinearity

We consider the boundary-value problem u _tt + u _t + (1 + cos2)sin u =² u _xx, u _x|_x=0=u_x|_x==0, where 0<1, =(1+)t, ,> 0, and the sign of is arbitrary. It is proved that for an appropriate choice of the external parameters and and for sufficiently small the number of exponentially stable solutions 2-periodic in can be made equal to an arbitrary predefined number.     

Automorphisms on a Lie group contracting modulo a compact subgroup and applications to semistable convolution semigroups

Let ( _t ) _t0 be a -semistable convolution semigroup of probability measures on a Lie groupG whose idempotent ₀ is the Haar measure on some compact subgroupK. Then all the measures ₁ are supported by theK-contraction groupC _K() of the topological automorphism ofG. We prove here the structure theoremC _K()=C()K, whereC() is the contraction group of . Then it turns out that it is sufficient to study semistable convolution semigroups on simply connected nilpotent Lie groups that have Lie algebras with a positive graduation.     

On the stationary measures of critical branching processes

Let Z _n (n=0, l, ...) be an aperiodic critical Galton-Watson process and let ² be the (possibly infinite) variance of Z ₁. Let _k (k=1, 2, ...) denote the stationary measure of the process. Kesten, Ney and Spritzer proved in 1966 that _k 2/ ² as k (*) under the additional assumption that EZ ₁ ² log Z ₁< (**) In the present paper, (*) is proved without the assumption (**). The proof uses complex function theory.     

Sensitivity analysis of the greatest eigenvalue of a symmetric matrix via the ɛ-subdifferential of the associated convex quadratic form

LetA(·) be ann × n symmetric affine matrix-valued function of a parameteruR ^m , and let (u) be the greatest eigenvalue ofA(u). Recently, there has been interest in calculating (u), the subdifferential of atu, which is useful for both the construction of efficient algorithms for the minimization of (u) and the sensitivity analysis of (u), namely, the perturbation theory of (u). In this paper, more generally, we investigate the Legendre-Fenchel conjugate function of (·) and the -subdifferential (u) of atu. Then, we discuss relations between the set (u) and some perturbation bounds for (u).The author is deeply indebted to Professor J. B. Hiriart-Urruty who suggested this study and provided helpful advice and constant encouragement. The author also thanks the referees and the editors for their substantial help in the improvement of this paper.     

The quality of the Diophantine approximations found by the Jacobi-Perron algorithm and related algorithms

Given a vector of real numbers=(₁,... _d ) ^d , the Jacobi-Perron algorithm and related algorithms, such as Brun's algorithm and Selmer's algorithm, produce a sequence of (d+1)×(d+1) convergent matrices {C⁽ⁿ⁾():n1} whose rows provide Diophantine approximations to . Such algorithms are specified by two mapsT:[0, 1] ^d [0, 1] ^d and A:[0,1] ^d GL(d+1,), which compute convergent matrices C⁽ⁿ⁾())...A(T())A(). The quality of the Diophantine approximations these algorithms find can be measured in two ways. The best approximation exponent is the upper bound of those values of for which there is some row of the convergent matrices such that for infinitely many values ofn that row of C⁽ⁿ⁾() has . The uniform approximation exponent is the upper bound of those values of such that for all sufficiently large values ofn and all rows of C⁽ⁿ⁾⁽⁾ one has . The paper applies Oseledec's multiplicative ergodic theorem to show that for a large class of such algorithms and take constant values and on a set of Lebesgue measure one. It establishes the formula where are the two largest Lyapunov exponents attached by Oseledec's multiplicative ergodic theorem to the skew-product (T, A,d), whered is aT-invariant measure, absolutely continuous with respect to Lebesgue measure. We conjecture that holds for a large class of such algorithms. These results apply to thed-dimensional Jacobi-Perron algorithm and Selmer's algorithm. We show that; experimental evidence of Baldwin (1992) indicates (nonrigorously) that. We conjecture that holds for alld2.     

Orbit counting for some discrete groups acting on simply connected manifolds with negative curvature

Summary In this article we develop a method of deriving asymptotic formulae for the orbital counting function for the action of certain discrete groups of isometries of simply connected negatively curved manifolds. We consider the particular case of normal subgroups ₀ of a co-compact group ₀ for which the quotient ₀/ ^k . Even in the special case of manifolds ofconstant negative curvature, this leads to new results. In particular, we have asymptotic estimates for some groups which arenot geometrically finite.Oblatum III-1993 & 18-VIII-1993The first author was supported by The Royal Society through a University Research Fellowship. The second author was supported by the UK SERC under grant number GR/G51930     

Extensions from the Sobolev Spaces H 1 Satisfying Prescribed Dirichlet Boundary Conditions

Extensions from H ¹(_P) into H ¹() (where _P ) are constructed in such a way that extended functions satisfy prescribed boundary conditions on the boundary of . The corresponding extension operator is linear and bounded.     

On the positive definiteness of n ↦ epnα for α close to 2

For >2, let Q ⁺() be the infimum of those q>0 for which the function n e^pn is positive definite on N ₀ for every pq. We shall prove that Q ⁺()0 as 2.     

1-formes fermées singulières et groupe fondamental

Summary We study the influence of the ₁ of a closed manifoldM ⁿ (n3) on the foliations ofM defined by closed differential 1-forms with Morse singularities (of index 0,n). Every nonexact form is cohomologous to a weakly complete one, that is one whose leaf space is of the same type as that of a nonsingular form. Generically, a form has compact leaves or is weakly complete. If ₁ M has no quotient isomorphic to *, then every nonexact form onM is weakly complete. We also say a form is complete if every path inM is homotopic to either a path transverse to or a path contained in a leaf of . Completeness of depends only on its de R ham cohomology class. The set of complete cohomology classes depends only on ₁ M and is related to finitely generated normal subgroups of ₁ M with quotient . If ₁ M is nilpotent (or even polycyclic), every nonexact form onM is complete. On irreducible 3-manifolds, a form is complete iff it is cohomologous to a nonsingular one.     

Infinitesimal obstructions to weakly mixing

Let ^t be the flow (parametrized with respect to arc length) of a smooth unit vector field v on a closed Riemannian manifold M ⁿ , whose orbits are geodesics. Then the (n-1)-plane field normal to v, v, is invariant under d ^t and, for each x M, we define a smooth real function _x (t) : (1 + _i (t)), where the _i(t) are the eigenvalues of AA ^T, A being the matrix (with respect to orthonormal bases) of the non-singular linear map d^2t , restricted to v at the point _x ^-t M ⁿ.Among other things, we prove the Theorem (Theorem II, below). Assume v is also volume preserving and that _x ^' (t) 0 for all x M and real t; then, if _x ^t : M M is weakly missng for some t, it is necessary that vx 0 at all x M.     

Tangential Limits of Potentials on Homogeneous Trees

Let T be a homogeneous tree of homogeneity q+1. Let denote the boundary of T, consisting of all infinite geodesics b=[b ₀,b ₁,b ₂,] beginning at the root, 0. For each b, 1, and a0 we define the approach region _,a (b) to be the set of all vertices t such that, for some j, t is a descendant of b _j and the geodesic distance of t to b _j is at most (–1)j+a. If >1, we view these as tangential approach regions to b with degree of tangency . We consider potentials Gf on T for which the Riesz mass f satisfies the growth condition _T f ^p (t)q ^–|t|<, where p>1 and 0<<1, or p=1 and 0<1. For 11/, we show that Gf(s) has limit zero as s approaches a boundary point b within _,a (b) except for a subset E of of -dimensional Hausdorff measure 0, where H (E)=sup_>0inf _i q ^{–|t i|}:E a subset of the boundary points passing through t _i for some i,|t _i |>log _q (1/).     

Implicit elliptic boundary-value problems with discontinuous nonlinearities

Let be a bounded domain in ⁿ (n3) having a smooth boundary, let be an essentially bounded real-valued function defined on × ^h, and let be a continuous real-valued function defined on a given subset Y of Y ^h. In this paper, the existence of strong solutions u W ^2,p (, ^h) W _o ^1,p (n/2<p<+) to the implicit elliptic equation (–u)=(x,u), with u=(u₁, u₂, ..., u_h) and u=(u ₁, u ₂, ..., u _h), is established. The abstract framework where the problem is placed is that of set-valued analysis.     

Best approximation by splines on classes of periodic functions in the metric of L

We have obtained the exact value of the upper bound on the best approximations in the metric of L on the classes W^rH of functionsf C ₂ ^r for which ¦f ^(r) (x)-f ^(r) (x)) ¦ <(¦ x-xf) [ (t) is the upwards-convex modulus of continuity] by subspaces of r-th order polynomial splines of defect 1 with respect to the partitioning k/n.Translated from Matematicheskie Zametki, Vol. 20, No. 5, pp. 655–664, November, 1976.     

The interpolation ofℓ r sequences by hp functions

The sequence spaceH ^P (z)={{f (z_h)}:f H ^p} is defined for a fixed sequence Z={z_k} of different points of the open unit disk and the Hardy class HP of analytic functions in the disk. For an arbitrary p[1, ) is constructed a point sequence Z= {z_k} such that ¹h ^p(z), but ^r h^p (Z) for r > 1. It follows from a well-known result of L. Carleson that the inclusions ^r h (Z) for all r[1,] are equivalent.Translated from Matematicheskie Zametki, Vol. 21, No. 4, pp. 503–508, April, 1977.     

Temps de vie des solutions régulières des équations d'Euler compressibles axisymétriques en dimension deux

Résumé Nous considérons le système des équations d'Euler isentropiques en dimension deux; pour des données initiales invariantes par rotation et perturbations de taille d'un état de repos, on établit un équivalent du temps de vieT de la solution classique (lim ² T = _* ² ).De plus, on donne, pour une estimation de la vraie solution, en calculant la taille de son écart à une solution approchée construite dans un précédent travail.

---

Summary We consider the 2D isentropic Euler equations; for rotationnally invariant data which are a perturbation of size of a rest state, we establish the first term asymptotic of the life spanT of the classical solution (lim ² T = _* ² ).Moreover, we give, for an estimate of the true solution, by computing the size of its difference with an approximate solution obtained in a previous work.

---

---

Oblatum 2-XII-1991 & 24-IX-1992     

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 the convergence in a restricted sense of multiple series

Z ^d — k=(k ₁, ...,k _d) k _j,d1.d- (8), . . a _k s _m= a _k s, >0 N, min (m ₁,...,m _d)N, ¦s _m–s¦. , , >0 N, min (m ₁,...,m _d)N min (n ₁,...,n _d)N, ¦s _m–s _n. . , (8) , >0 N, max (b ₁,...,b _d) N, m — Z ^d , m1, ¦s(b, m)¦ where      

Sufficient Conditions for the Existence of Disintegrations

Let be a probability space and a partition of . A necessary and sufficient condition is given for the existence of a -additive and measurable disintegration of P on . It is also shown that P admits a -additive (but not measurable) disintegration on whenever is a standard space and the set (₁, ₂):₁ and ₂ are in the same element of } is coanalytic in ×. Finally, sufficient statistics (in the classical Fisherian sense) are investigated by using -additive disintegrations as conditional probabilities.     

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.