A Modification of the Lyons-Sullivan Discretization of Positive Harmonic Functions

A modification of the Lyons-Sullivan discretization of positive harmonic functions on a Riemannian manifold M is proposed. This modification, depending on a choice of constants C = {C _n :n = 1,2,..}, allows for constructing measures n_x^C, x ? M\nu_x^\mathbf{C},\ x\in M, supported on a discrete subset Γ of M such that for every positive harmonic function f on M

Discretization of Compact Riemannian Manifolds Applied to the Spectrum of Laplacian

For κ ⩾ 0 and r₀ > 0 let ℳ(n, κ, r₀) be the set of all connected, compact n-dimensional Riemannian manifolds (Mⁿ, g) with Ricci (M, g) ⩾ −(n−1) κ g and Inj (M) ⩾ r₀. We study the relation between the kth eigenvalue λ_k(M) of the Laplacian associated to (Mⁿ,g), Δ = −div(grad), and the kth eigenvalue λ_k(X) of a combinatorial Laplacian associated to a discretization X of M. We show that there exist constants c, C > 0 (depending only on n, κ and r₀) such that for all M ∈ ℳ(n, κ, r₀) and X a discretization of for all k < |X|. Then, we obtain the same kind of result for two compact manifolds M and N ∈ ℳ(n, κ, r₀) such that the Gromov–Hausdorff distance between M and N is smaller than some η > 0. We show that there exist constants c, C > 0 depending on η, n, κ and r₀ such that for all . Mathematics Subject Classification (2000): 58J50, 53C20 Supported by Swiss National Science Foundation, grant No. 20-101 469     

On the Erlang Loss Model with Time Dependent Input

We consider the M(t)/M(t)/m/m queue, where the arrival rate λ(t) and service rate μ(t) are arbitrary (smooth) functions of time. Letting p_n(t) be the probability that n servers are occupied at time t (0≤ n≤ m, t > 0), we study this distribution asymptotically, for m→∞ with a comparably large arrival rate λ(t) = O(m) (with μ(t) = O(1)). We use singular perturbation techniques to solve the forward equation for p_n(t) asymptotically. Particular attention is paid to computing the mean number of occupied servers and the blocking probability p_m(t). The analysis involves several different space-time ranges, as well as different initial conditions (we assume that at t = 0 exactly n₀ servers are occupied, 0≤ n₀≤ m). Numerical studies back up the asymptotic analysis. AMS subject classification: 60K25,34E10 Supported in part by NSF grants DMS-99-71656 and DMS-02-02815     

Differential Harnack inequalities for heat equations with potentials under geometric flows

In the paper we consider a closed Riemannian manifold M with a time-dependent Riemannian metric g _ij (t) evolving by ? _t g _ij  = ?2S _ij , where S _ij is a symmetric two-tensor on (M,g(t)). We prove some differential Harnack inequalities for positive solutions of heat equations with potentials on (M,g(t)). Some applications of these inequalities will be obtained.     

New Families in the Stable Homotopy of Spheres Revisited

This paper constructs a new family in the stable homotopy of spheres π _{t −6} S represented by h _n g ₀γ₃∈E ^{6 t} ₂ in the Adams spectral sequence which revisits the b _{n −1} g ₀γ₃-elements ∈π _{t −7} S constructed in [3], where t = 2p ⁿ (p− 1) + 6(p ² + p + 1)(p− 1) and p≥ 7 is a prime, n≥ 4. Received October 7, 1998, Revised May 8, 2000, Accepted August 8, 2000.     

Transient behavior ofM/M ij/1 queues

We obtain the time dependent probabilities for the joint distribution of the number of arrivals and departures in [0,t] for theM/M ^ij/1 queue. This queue has the exponential service with parametersμ _ij, depending on the types of the successive customers attended. We provide an intuitive interpretation of the solution and also present some numerical results, including time dependent event probabilities and queue length.     

Sudakov-type minoration for gaussian chaos processes

Consider a setA of symmetricn×n matricesa=(a _i,j) _i,j≤n . Consider an independent sequence (g _i) _i≤n of standard normal random variables, and letM=Esup_a∈A|Σ_i,j⪯na_i,jg_ig_j|. Denote byN ₂(A, α) (resp.N _t(A, α)) the smallest number of balls of radiusα for thel ₂ norm ofR ^{n 2} (resp. the operator norm) needed to coverA. Then for a universal constantK we haveα(logN ₂(A, α))^1/4≤KM. This inequality is best possible. We also show that forδ≥0, there exists a constantK(δ) such thatα(logN _t≤K(δ)M. Work partially supported by an N.S.F. grant.     

On the distribution of reducible polynomials

Let ℛ _n (t) denote the set of all reducible polynomials p(X) over ℤ with degree n ≥ 2 and height ≤ t. We determine the true order of magnitude of the cardinality |ℛ _n (t)| of the set ℛ _n (t) by showing that, as t → ∞, t ² log t ≪ |ℛ₂(t)| ≪ t ² log t and t ⁿ ≪ |ℛ _n (t)| ≪ t _n for every fixed n ≥ 3. Further, for 1 < n/2 < k < n fixed let ℛ _k,n (t) ⊂ ℛ _n (t) such that p(X) ∈ ℛ _k,n (t) if and only if p(X) has an irreducible factor in ℤ[X] of degree k. Then, as t → ∞, we always have t ^k+1 ≪ |ℛ _k,n (t)| ≪ t ^k+1 and hence |ℛ _n−1,n (t)| ≫ |ℛ _n (t)| so that ℛ _n−1,n (t) is the dominating subclass of ℛ _n (t) since we can show that |ℛ _n (t)∖ℛ _n−1,n (t)| ≪ t ⁿ⁻¹(log t)².On the contrary, if R _n ^s (t) is the total number of all polynomials in ℛ _n (t) which split completely into linear factors over ℤ, then t ²(log t) ⁿ⁻¹ ≪ R _n ^s (t) ≪ t ² (log t) ⁿ⁻¹ (t → ∞) for every fixed n ≥ 2.      

Isometric Embeddings of Families of Special Lagrangian Submanifolds

We prove that certain Riemannian manifolds can be isometrically embedded inside Calabi–Yau manifolds. For example, we prove that given any real-analytic one parameter family of Riemannian metrics g _t on a three-dimensional manifold Y with volume form independent of t and with a real-analytic family of nowhere vanishing harmonic one forms θ _t , then (Y,g _t ) can be realized as a family of special Lagrangian submanifolds of a Calabi–Yau manifold X. We also prove that certain principal torus bundles can be equivariantly and isometrically embedded inside Calabi-Yau manifolds with torus action. We use this to construct examples of n-parameter families of special Lagrangian tori inside n + k-dimensional Calabi–Yau manifolds with torus symmetry. We also compute McLean's metric of 3-dimensional special Lagrangian fibrations with T ²-symmetry. Mathematics Subject Classification (2000): 53-XX, 53C38.Communicated by N. Hitchin (Oxford)     

Nonlinear and linear instability of the Rossby-Haurwitz wave

The dynamics of perturbations to the Rossby-Haurwitz (RH) wave is analytically analyzed. These waves, being of great meteorological importance, are exact solutions to the nonlinear vorticity equation describing the motion of an ideal incompressible fluid on a rotating sphere. Each RH wave belongs to a space H ₁ ⊕ H _n , where H _n is the subspace of homogeneous spherical polynomials of degree n. It is shown that any perturbation of the RH wave evolves in such a way that its energy K(t) and enstrophy η(t) decrease, remain constant, or increase simultaneously. A geometric interpretation of variations in the perturbation energy is given. A conservation law for arbitrary perturbations is obtained and used to classify all the RH-wave perturbations in four invariant sets, M ₋ ⁿ , M ₊ ⁿ , H _n , and M ₀ ⁿ − H _n , depending on the value of their mean spectral number χ(t) = η(t)/K(t). The energy cascade of growing (or decaying) perturbations has opposite directions in the sets M ₋ ⁿ and M ₊ ⁿ due to the hyperbolic dependence between K(t) and χ(t). A factor space with a factor norm of the perturbations is introduced, using the invariant subspace H _n of neutral perturbations as the zero factor class. While the energy norm controls the perturbation part belonging to H _n , the factor norm controls the perturbation part orthogonal to H _n . It is shown that in the set M ₋ ⁿ (χ(t) < n(n + 1)), any nonzonal RH wave of subspace H ₁ ⊕ H _n (n ≥ 2) is Lyapunov unstable in the energy norm. This instability has nothing in common with the orbital (Poincaré) instability and is caused by asynchronous oscillations of two almost coinciding RH-wave solutions. It is also shown that the exponential instability is possible only in the invariant set M ₀ ⁿ − H _n . A necessary condition for this instability is given. The condition states that the spectral number η(t) of the amplitude of each unstable mode must be equal to n(n + 1), where n is the RH wave degree. The growth rate is estimated and the orthogonality of the unstable normal modes to the RH wave are shown in two Hilbert spaces. The instability in the invariant set M ₊ ⁿ of small-scale perturbations (χ(t) > n(n + 1)) is still an open problem. __________ Translated from Sovremennaya Matematika. Fundamental’nye Napravleniya (Contemporary Mathematics. Fundamental Directions), Vol. 17, Differential and Functional Differential Equations. Part 3, 2006.     

On solutions of the Ricci curvature equation and the Einstein equation

We consider the pseudo-Euclidean space (R ⁿ , g), with n ≥ 3 and g _ij = δ _ij ε _i , ε _i = ±1, where at least one ε _i = 1 and nondiagonal tensors of the form T = Σ _ij f _ij dx _i dx _j such that, for i ≠ j, f _ij (x _i , x _j ) depends on x _i and x _j . We provide necessary and sufficient conditions for such a tensor to admit a metric ḡ, conformal to g, that solves the Ricci tensor equation or the Einstein equation. Similar problems are considered for locally conformally flat manifolds. Examples are provided of complete metrics on R ⁿ , on the n-dimensional torus T ⁿ and on cylinders T ^k ×R ^n-k , that solve the Ricci equation or the Einstein equation. Partially supported by CAPES/PROCAD. Partially Supported By Cnpq, Capes/Procad.     

Asymptotic behaviour of trajectories of unipotent flows on homogeneous spaces

We show that ifG is a semisimple algebraic group defined overQ and Γ is an arithmetic lattice inG:=G _R with respect to theQ-structure, then there exists a compact subsetC ofG/Γ such that, for any unipotent one-parameter subgroup {u _t} ofG and anyg∈G, the time spent inC by the {u _t}-trajectory ofgΓ, during the time interval [0,T], is asymptotic toT, unless {g ⁻¹u_tg} is contained in aQ-parabolic subgroup ofG. Some quantitative versions of this are also proved. The results strengthen similar assertions forSL(n,Z),n≥2, proved earlier in [5] and also enable verification of a technical condition introduced in [7] for lattices inSL(3,R), which was used in our proof of Raghunathan’s conjecture for a class of unipotent flows, in [8].     

Comparison theorems for the volume of a complex submanifold of a Kaehler manifold

LetM be a Kaehler manifold of real dimension 2n with holomorphic sectional curvatureK _H≥4λ and antiholomorphic Ricci curvatureρ _A≥(2n−2)λ, andP is a complex hypersurface. We give a bound for the quotient (volume ofP)/(volume ofM) and prove that this bound is attained if and only ifP=C P ⁿ⁻¹(λ) andM=C P ⁿ(λ). Moreover, we give some results on the volume of of tubes aboutP inM. Work partially supported by a DGICYT Grant No. PS87-0115-CO3-01.     

Some presentations for the special linear groups on finite fields

We simplify the Steinberg presentation of SL _n (F _d ), where n≥1 and F _d is any finite field with d elements. That presentation has the elementary matrices e _ij (r), with i,j∈{1,...,n}, i≠=j and r∈F _d , as generators, and (E1)–(E3), described at the opening of this work, as relations. The presentation that we shall obtain reduces the number of generators e _ij (r) and relations (E1)–(E3). In particular, relations (E3) are considerably reduced. Received: March 16, 1998; in final form: November 3, 2000?Published online: October 2, 2001     

About the Blowup of Quasimodes on Riemannian Manifolds

On any compact Riemannian manifold (M,g) of dimension n, the L ²-normalized eigenfunctions φ _λ satisfy ||f_l||_￥ ￡ Cl^\fracn-12\|\phi_{\lambda}\|_{\infty}\leq C\lambda^{\frac{n-1}{2}} where −Δφ _λ =λ ² φ _λ . The bound is sharp in the class of all (M,g) since it is obtained by zonal spherical harmonics on the standard n-sphere S ⁿ . But of course, it is not sharp for many Riemannian manifolds, e.g., flat tori ℝ ⁿ /Γ. We say that S ⁿ , but not ℝ ⁿ /Γ, is a Riemannian manifold with maximal eigenfunction growth. The problem which motivates this paper is to determine the (M,g) with maximal eigenfunction growth. In an earlier work, two of us showed that such an (M,g) must have a point x where the set ℒ _x of geodesic loops at x has positive measure in S^*_xMS^{*}_{x}M. We strengthen this result here by showing that such a manifold must have a point where the set ℛ _x of recurrent directions for the geodesic flow through x satisfies |{ℛ} _x |>0. We also show that if there are no such points, L ²-normalized quasimodes have sup-norms that are o(λ ^(n−1)/2), and, in the other extreme, we show that if there is a point blow-down x at which the first return map for the flow is the identity, then there is a sequence of quasimodes with L ^∞-norms that are Ω(λ ^(n−1)/2).     

Generalized Symplectic Action and Symplectomorphism Groups of Coadjoint Orbits

Let M be a quantizable symplectic manifold. If ψ_t is a loop in the group {Ham}(M) of Hamiltonian symplectomorphisms of M and A is a 2k-cycle in M, we define a symplectic action κ_A(ψ)∊ U(1) around ψ_t(A), which is invariant under deformations of ψ, and such that κ_A(ψ) depends only on the homology class of A. Using properties of κ_A( ) we determine a lower bound for ♯π₁(Ham(O)), where O is a quantizable coadjoint orbit of a compact Lie group. In particular we prove that ♯π₁(Ham(CPⁿ)) ≥ n+1. Mathematics Subject Classifications (2000): 53D05, 57S05, 57R17, 57T20.     

Multiparameter inverse problem of approximation by functions with given supports

Let L _p (S), 0 < p < +∞, be a Lebesgue space of measurable functions on S with ordinary quasinorm ∥·∥ _p . For a system of sets {B _t |t ∈ [0, +∞) ⁿ } and a given function ψ: [0, +∞) ⁿ ↦ [ 0, +∞), we establish necessary and sufficient conditions for the existence of a function f ∈ L _p (S) such that inf {∥f − g∥ _p ^p g ∈ L _p (S), g = 0 almost everywhere on S\B _t } = ψ (t), t ∈ [0, +∞) ⁿ . As a consequence, we obtain a generalization and improvement of the Dzhrbashyan theorem on the inverse problem of approximation by functions of the exponential type in L ₂. __________ Translated from Ukrains’kyi Matematychnyi Zhurnal, Vol. 58, No. 8, pp. 1116–1127, August, 2006.     

On the Cauchy problem for D t 2–D x a(t,x) n D x

Abstract The well posedness of the Cauchy problem for the operator P=D_t²–D_xa(t,x)ⁿD_x, with data on t=0 is studied assuming a ∈ C^N( (R)), s₀>1 and sufficiently close to 1, a(t,x)≥ 0. Well posedness is proved in Gevrey classes γ^(s), for , n≥ n₀. Keywords: Partial differential equations, Cauchy problem, Well posedness     

On multivariate Gaussian tails

Let {X _{n, n} ≥1} be a sequence of standard Gaussian random vectors in ℝ _d ,d ≥ 2. In this paper we derive lower and upper bounds for the tail probabilityP{X _n >t _n } witht _n ∈ ℝ _d some threshold. We improve for instance bounds on Mills ratio obtained by Savage (1962,J. Res. Nat. Bur. Standards Sect. B,66, 93–96). Furthermore, we prove exact asymptotics under fairly general conditions on bothX _n andt _n , as ‖t _n ‖→∞ where the correlation matrix Σ _n ofX _n may also depend onn.     

A class of Hamiltonian and edge symmetric Cayley graphs on symmetric groups

Abstract. Let Sn be the symmetric group