Diffusion times and stability exponents for nearly integrable analytic systems

For a positive integer n and R>0, we set . Given R>1 and n≥4 we construct a sequence of analytic perturbations (H _j ) of the completely integrable Hamiltonian on , with unstable orbits for which we can estimate the time of drift in the action space. These functions H _j are analytic on a fixed complex neighborhood V of , and setting the time of drift of these orbits is smaller than (C(1/ɛ _j )^1/2(n-3)) for a fixed constant c>0. Our unstable orbits stay close to a doubly resonant surface, the result is therefore almost optimal since the stability exponent for such orbits is 1/2(n−2). An analogous result for Hamiltonian diffeomorphisms is also proved. Two main ingredients are used in order to deal with the analytic setting: a version of Sternberg's conjugacy theorem in a neighborhood of a normally hyperbolic manifold in a symplectic system, for which we give a complete (and seemingly new) proof; and Easton windowing method that allow us to approximately localize the wandering orbits and estimate their speed of drift.     

Characterization of certain classes of orthogonal polynomials related to elliptic functions

Summary In this paper we determine all orthogonal polynomials U_n(x) such that U_n(x)=x^−1/2 F _2n+1 (x ^1/2 ) and where f(t), u(t) have Taylor series expansions. Supported in part by N. S. F. grant GP-1593.     

A separation theorem and Serre duality for the Dolbeault cohomology

LetX be a complex manifold with finitely many ends such that each end is eitherq-concave or (n−q)-convex. If , then we prove thatH ^pn−q (X) is Hausdorff for allp. This is not true in general if (Rossi’s example withn=2 andq=1). If all ends areq-concave, then this is the classical Andreotti-Vesentini separation theorem (and holds also for ). Moreover the result was already known in the case when theq-concave ends can be ‘filled in’ (again also for ). To prove the result we first have to study Serre duality for the case of more general families of supports (instead of the family of all closed sets and the family of all compact sets) which is the main part of the paper. At the end we give an application to the extensibility of CR-forms of bidegree (p, q) from (n−q)-convex boundaries, . This research was partially supported by TMR Research Network ERBFMRXCT 98063.     

Detection of Some Elements in the Stable Homotopy Groups of Spheres

Let A be the mod p Steenrod algebra and S be the sphere spectrum localized at an odd prime p. To determine the stable homotopy groups of spheres π＊S is one of the central problems in homotopy theory. This paper constructs a new nontrivial family of homotopy elements in the stable homotopy groups of spheres πp^nq＋2pq＋q-3S which isof order p and is represented by kohn ∈ ExtA^3,P^nq＋2pq＋q（Zp,Zp） in the Adams spectral sequence, wherep 〉 5 is an odd prime, n ≥3 and q = 2（p-1）. In the course of the proof, a new family of homotopy elements in πp^nq＋（p＋1）q-1V（1） which is represented by β＊i＇＊i＊（hn） ∈ ExtA^2,pnq＋（p＋1）q＋1 （H^＊V（1）, Zp） in the Adams sequence is detected.     

Lower semicontinuity of some functionals under PDE constraints: An \mathcal{A}-quasiconvex pair

The problem of establishing necessary and sufficient conditions for l.s.c. under PDE constraints is studied for a special class of functionals:

On non-negatively curved metrics on open five-dimensional manifolds

Let V ⁿ be an open manifold of non-negative sectional curvature with a soul Σ of co-dimension two. The universal cover of the unit normal bundle N of the soul in such a manifold is isometric to the direct product M ^n-2 × R. In the study of the metric structure of V ⁿ an important role plays the vector field X which belongs to the projection of the vertical planes distribution of the Riemannian submersion on the factor M in this metric splitting . The case n = 4 was considered in [Gromoll, D., Tapp, K.: Geom. Dedicata 99, 127–136 (2003)] where the authors prove that X is a Killing vector field while the manifold V ⁴ is isometric to the quotient of by the flow along the corresponding Killing field. Following an approach of [Gromoll, D., Tapp, K.: Geom. Dedicata 99, 127–136 (2003)] we consider the next case n = 5 and obtain the same result under the assumption that the set of zeros of X is not empty. Under this assumption we prove that both M ³ and Σ³ admit an open-book decomposition with a bending which is a closed geodesic and pages which are totally geodesic two-spheres, the vector field X is Killing, while the whole manifold V ⁵ is isometric to the quotient of by the flow along corresponding Killing field. Supported by the Faculty of Natural Sciences of the Hogskolan i Kalmar (Sweden).     

A Geometric Problem and the Hopf Lemma. Ⅱ

Abstract A classical result of A. D. Alexandrov states that a connected compact smooth n-dimensional manifold without boundary, embedded in ℝⁿ⁺¹, and such that its mean curvature is constant, is a sphere. Here we study the problem of symmetry of M in a hyperplane X_n+1 =constant in case M satisfies: for any two points (X′,X_n+1), on M, with , the mean curvature at the first is not greater than that at the second. Symmetry need not always hold, but in this paper, we establish it under some additional conditions. Some variations of the Hopf Lemma are also presented. Several open problems are described. Part I dealt with corresponding one dimensional problems. (Dedicated to the memory of Shiing-Shen Chern) * Partially supported by NSF grant DMS-0401118.     

Interpolation in Logiken monotoner systeme

A monotone structure ( ;μ) consists of a structure and a monotone systemμ over the domain of .L(Q ⁿ ) is , enlarged by a newn-ary quantifierQ ⁿ . says in ( ;μ) that there isU ∈μ such thatϕ[ā] is valid in ( ;μ) for allā ∈U ⁿ . If is a class of monotone structures, means thatϕ is valid in all expansions of monotone structures in . We show for the class of all ultrafilters that interpolation with respect to holds forL(Q ⁿ ) exactly in casen=1. Then we prove for a large class of (e.g. the class of topological groups) thatL(Q ⁿ ) satisfies interpolation with respect to for alln ≧ 1. Counterexamples indicate that the class of is sharp in some sense. Finally the results are carried over to certain topological structures and the interior quantifiersI ⁿ instead ofQ ⁿ , thereby generalizing results of Makowsky/Ziegler and Sgro, and to a multidimensional type of monotone structures including uniform spaces.     

Problems similar to the additive divisor problem

For multiplicative functions ƒ(n), let the following conditions be satisfied: ƒ(n)≥0 ƒ(p ^r)≤A ^r,A>0, and for anyε>0 there exist constants ,α>0 such that and Σ _p≤x ƒ(p) lnp≥αx. For such functions, the following relation is proved:

Rates in the empirical bayes estimation problem with non-identical components

This paper considers empirical Bayes estimation of the mean θ of the univariate normal densityf ₀ with known variance where the sample sizesm(n) may vary with the component problems but remain bounded by <∞. Let {(θ _n ,X _n =(X _n,1,...,X _{n, m(n)} ))} be a sequence of independent random vectors where theθ _n are unobservable and iidG and, givenθ _n =θ has densityf _θ ^m(n) . The first part of the paper exhibits estimators for the density of and its derivative whose mean-squared errors go to zero with rates and respectively. LetR ^m(n+1)(G) denote the Bayes risk in the squared-error loss estimation ofθ _n+1 usingX _n+1. For given 0<a<1, we exhibitt _n (X₁,...,X _n ;X _n+1) such that . forn>1 under the assumption that the support ofG is in [0, 1]. Under the weaker condition that E[|θ|^2+γ]<∞ for some γ>0, we exhibitt _n ^* (X ₁,...,X _n ;X _n+1) such that forn>1.     

Stick breaking process generated by virtual permutations with Ewens distribution

Given a sequence x of points in the unit interval, we associate with it a virtual permutation w=w(x) (that is, a sequence w of permutationsw _n such that for all n=1,2,..., w_n−1=w′_n is obtained from w_n by removing the last element n from its cycle). We introduce a detailed version of the well-known stick breaking process generating a random sequence x. It is proved that the associated random virtual permutation w(x) has a Ewens distribution. Up to subsets of zero measure, the space of virtual permutations is identified with the cube [0, 1]^∞. Bibliography: 8 titles. Translated fromZapiski Nauchnykh Seminarov POMI, Vol. 223, 1995, pp. 162–180.     

On representations of Ψ* andC *-algebras ofb-pseudo-differential operators on manifolds with corners

The author computes the Jacobson topology and the corresponding Borel structure on the spectrum of . Here denotes the C^*-algebra generated by the algebra of b-pseudo-differential operators of orderO on a compact manifold with corners (in the sense of Melrose). The author also reduces the problem of classification of representations to the problem of classification of positive Borel measures on certain well-known Borel spaces. Bibliography:29 titles. Translated fromProblemy Matematicheskogo Analiza, No. 18, 1998, pp. 85–117.     

Multipolytopes and convex chains

For a simple complete multipolytope in ℝⁿ, Hattori and Masuda defined a locally constant function on ℝⁿ minus the union of hyperplanes associated with , which agrees with the density function of an equivariant complex line bundle over a Duistermaat-Heckman measure when arises from a moment map of a torus manifold. We improve the definition of and construct a convex chain on ℝⁿ. The well-definiteness of this convex chain is equivalent to the semicompleteness of the multipolytope . Generalizations of the Pukhlikov-Khovanskii formula and an Ehrhart polynomial for a simple lattice multipolytope are given as corollaries. The constructed correspondence ⨑ub;simple semicomplete multipolytopes⫂ub; →; ⨑ub;convex chains⫂ub; is surjective but not injective. We will study its “kernel.”     

On a multiplicative function on the set of shifted primes

It is proved that if ƒ(n) is a multiplicative function taking a valueζ on the set of primes such thatζ ³ = 1,ζ ≠ 1 andƒ ³(p ^r)=1 forr≥2, then there exists aθ ∈ (0, 1), for which

Polynomial automorphisms and hypercyclic operators on spaces of analytic functions

We consider hypercyclic composition operators on which can be obtained from the translation operator using polynomial automorphisms of . In particular we show that if C _S is a hypercyclic operator for an affine automorphism S on , then for some polynomial automorphism Θ and vectors a and b, where I is the identity operator. Finally, we prove the hypercyclicity of “symmetric translations” on a space of symmetric analytic functions on ℓ₁. Received: 8 June 2006 Revised: 26 September 2006     

On a transformation operator

We prove the existence of a transformation operator that takes the solution of the equationy″=λ²ⁿ y to the solution of the equation

Congruence theorems for compact hypersurfaces of a riemannian manifold

Summary Let M^m, ^m be two m-dimensional compact oriented hypersurfaces of class C³ immersed in a Riemannian manifold R^m+1 of constant sectional curvature. Suppose that R^m+1 admits a one-parameter continuous group G of conformal transformations satisfying a certain condition (which holds automatically when G is a group of isometric transformations). Suppose further that there is a1 − 1 transformation T_τ ∈ G between M^m and ^m such that for each P ∈ M^m and each ^m. If the r-th mean curvature for any r, 1 ⩽ r ⩽ m, of M^m at each point P ∈ M^m is equal to that of ^m at the corresponding point , together with other conditions, then M^m and ^m are congruent mod G. This is a generalization of a joint theorem ofH. Hopf andY. Katsurada [5] in which G is a group of isometric transformations. Entrata in Redazione il 13 Giugno 1975. The first author was partially supported by the National Science Foundation grant GP-33944.     

Unique solvability of the Cauchy problem for certain quasilinear pseudoparabolic equations

We study the Cauchy problem in the layer Π _T =ℝ ⁿ ×[0,T] for the equationu _t =cGΔu _t +Δϕ(u), wherec is a positive constant and the functionϕ(p) belongs toC ¹(ℝ₊) and has a nonnegative monotone non-decreasing derivative. The unique solvability of this Cauchy problem is established for the class of nonnegative functionsu(x,t) ∈C _x,t ^2,1 (Π _T ) with the properties: , . Translated fromMatematicheskie Zametki, Vol. 60, No. 3, pp. 356–362, September, 1996. This research was partially supported by the International Science Foundation under grant No. MX6000.     

Distances entre exponentielles et puissances d’éléments de certaines algèbres de Banach

Let A be a Banach algebra which does not contain any nonzero idempotent element, let γ > 0, and let . We show that if then . We also show, assuming a suitable spectral condition on x, that if , then Received: 12 July 2006 Revised: 31 January 2007