Embedding of hyperbolic groups into products of binary trees

We show that every Gromov hyperbolic group Γ admits a quasi-isometric embedding into the product of n+1 binary trees, where n=dim∂_∞Γ is the topological dimension of the boundary at infinity of Γ.     

Horospheres and Convex Bodies in n-Dimensional Hyperbolic Space

In n-dimensional Euclidean space, the measure of hyperplanes intersecting a convex domain is proportional to the (n–2)-mean curvature integral of its boundary. This question was considered by Santaló in hyperbolic space. In non-Euclidean geometry the totally geodesic hypersurfaces are not always the best analogue to linear hyperplanes. In some situations horospheres play the role of Euclidean hyperplanes.In dimensions n=2 and 3, Santaló proved that the measure of horospheres intersecting a convex domain is also proportional to the (n–2)-mean curvature integral of its boundary.In this paper we show that this analogy does not generalize to higher dimensions. We express the measure of horospheres intersecting a convex body as a linear combination of the mean curvature integrals of its boundary.     

Finite groups and hyperbolic manifolds

The isometry group of a compact n-dimensional hyperbolic manifold is known to be finite. We show that for every n≥2, every finite group is realized as the full isometry group of some compact hyperbolic n-manifold. The cases n=2 and n=3 have been proven by Greenberg (1974) and Kojima (1988), respectively. Our proof is non constructive: it uses counting results from subgroup growth theory to show that such manifolds exist.     

Hyperbolic Volume of Manifolds with Geodesic Boundary and Orthospectra

In this paper we describe a function F _n : R ₊ → R ₊ such that for any hyperbolic n-manifold M with totally geodesic boundary ${\partial M \neq \emptyset}In this paper we describe a function F _n : R ₊ → R ₊ such that for any hyperbolic n-manifold M with totally geodesic boundary ?M 1 ?{\partial M \neq \emptyset} , the volume of M is equal to the sum of the values of F _n on the orthospectrum of M. We derive an integral formula for F _n in terms of elementary functions. We use this to give a lower bound for the volume of a hyperbolic n-manifold with totally geodesic boundary in terms of the area of the boundary.     

The Moduli Space of Points in the Boundary of Complex Hyperbolic Space

We consider the space M(n,m)\mathcal{M}(n,m) of ordered m-tuples of distinct points in the boundary of complex hyperbolic n-space, H_\mathbbCⁿ\mathbf{H}_{\mathbb{C}}^{n}, up to its holomorphic isometry group PU(n,1). An important problem in complex hyperbolic geometry is to construct and describe the moduli space for M(n,m)\mathcal{M}(n,m). In particular, this is motivated by the study of the deformation space of complex hyperbolic groups generated by loxodromic elements. In the present paper, we give the complete solution to this problem.     

Maximal surfaces and the universal Teichmüller space

We show that any element of the universal Teichmüller space is realized by a unique minimal Lagrangian diffeomorphism from the hyperbolic plane to itself. The proof uses maximal surfaces in the 3-dimensional anti-de Sitter space. We show that, in AdS _n+1, any subset E of the boundary at infinity which is the boundary at infinity of a space-like hypersurface bounds a maximal space-like hypersurface. In AdS₃, if E is the graph of a quasi-symmetric homeomorphism, then this maximal surface is unique, and it has negative sectional curvature. As a by-product, we find a simple characterization of quasi-symmetric homeomorphisms of the circle in terms of 3-dimensional projective geometry.     

Inverse Hyperbolic Problems with Time-Dependent Coefficients

We consider the inverse problem for the second order self-adjoint hyperbolic equation in a bounded domain in R ⁿ with lower order terms depending analytically on the time variable. We prove that, assuming the BLR condition, the time-dependent Dirichlet-to-Neumann operator prescribed on a part of the boundary uniquely determines the coefficients of the hyperbolic equation up to a diffeomorphism and a gauge transformation. As a by-product we prove a similar result for the nonself-adjoint hyperbolic operator with time-independent coefficients.     

Domains with Hyperbolic Orbit Accumulation Boundary Points

Let Ω be a smoothly bounded pseudoconvex domain in ℂ ⁿ satisfying the condition R. Suppose that its Bergman kernel extends to [`(W)]×[`(W)]\overline{\Omega}\times\overline{\Omega} minus the boundary diagonal set as a locally bounded function. In this paper we show that for each hyperbolic orbit accumulation boundary point p, there exists a contraction f∈Aut(Ω) at p. As an application, we show that Ω admits a hyperbolic orbit accumulation boundary point if and only if it is biholomorphically equivalent to a domain defined by a weighted homogeneous polynomial and that Ω is of finite D’Angelo type.     

On certain classes of hyperbolic 3-manifolds

We study the topological structure and the homeomorphism problem for closed 3-manifolds M(n,k) obtained by pairwise identifications of faces in the boundary of certain polyhedral 3-balls. We prove that they are (n/d)-fold cyclic coverings of the 3-sphere branched over certain hyperbolic links of d+1 components, where d= (n/k). Then we study the closed 3-manifolds obtained by Dehn surgeries on the components of these links. Received: 27 November 1998 / Accepted: 12 May 1999     

Commensurability of Hyperbolic Manifolds with Geodesic Boundary

Suppose , let M ₁, M ₂ be n-dimensional connected complete finite-volume hyperbolic manifolds with nonempty geodesic boundary, and suppose that π₁ (M ₁) is quasi-isometric to π₁ (M ₂) (with respect to the word metric). Also suppose that if n=3, then ∂M ₁ and ∂M ₂ are compact. We show that M ₁ is commensurable with M ₂. Moreover, we show that there exist homotopically equivalent hyperbolic 3-manifolds with non-compact geodesic boundary which are not commensurable with each other. We also prove that if M is as M ₁ above and G is a finitely generated group which is quasi-isometric to π₁ (M), then there exists a hyperbolic manifold with geodesic boundary M′ with the following properties: M′ is commensurable with M, and G is a finite extension of a group which contains π₁ (M′) as a finite-index subgroupMathematics Subject Classification (2000). Primary: 20F65; secondary: 30C65, 57N16     

Asymptotic expansions for hyperbolic–parabolic systems with a small parameter

In this paper we consider initial-boundary value problems for systems with a small parameter ?. The problems are mixed hyperbolic–parabolic when ? > 0 and hyperbolic when ? = 0. Often the solution can be expanded asymptotically in ? and to first approximation it consists of the solution of the corresponding hyperbolic problem and a boundary layer part. We prove sufficient conditions for the expansion to exist and give estimates of the remainder. We also examine how the boundary conditions should be choosen to avoid O(1) boundary layers.     

Convergence to equilibrium for a fully hyperbolic phase‐field model with Cattaneo heat flux law

We consider a fully hyperbolic phase‐field model in this paper. Our model consists of a damped hyperbolic equation of second order with respect to the phase function χ(t) , which is coupled with a hyperbolic system of first order with respect to the relative temperature θ(t) and the heat flux vector q (t). We prove the well‐posedness of this system subject to homogeneous Neumann boundary condition and no‐heat flux boundary condition. Then, we show that this dynamical system is a dissipative one. Finally, using the celebrated ?ojasiewicz–Simon inequality and by constructing an auxiliary functional, we prove that the solution of this problem converges to an equilibrium as time goes to infinity. We also obtain an estimate of the decay rate to equilibrium. Copyright © 2008 John Wiley & Sons, Ltd.     

The Moduli Space of n+1 Points in Complex Hyperbolic n-Space

The structure of the space of orbits of PU(n, 1) acting on (n+1)-tuples of points in complex hyperbolic space is characterized in terms of side lengths and angular invariants. The more general situation in which some of the points lie on the boundary of complex hyperbolic space is described in terms of other basic invariants.     

Splitting Potential and the Poincaré-Melnikov Method for Whiskered Tori in Hamiltonian Systems

Summary. We deal with a perturbation of a hyperbolic integrable Hamiltonian system with n+1 degrees of freedom. The integrable system is assumed to have n -dimensional hyperbolic invariant tori with coincident whiskers (separatrices). Following Eliasson, we use a geometric approach closely related to the Lagrangian properties of the whiskers, to show that the splitting distance between the perturbed stable and unstable whiskers is the gradient of a periodic scalar function of n phases, which we call splitting potential. This geometric approach works for both the singular (or weakly hyperbolic) case and the regular (or strongly hyperbolic) case, and provides the existence of at least n+1 homoclinic intersections between the perturbed whiskers. In the regular case, we also obtain a first-order approximation for the splitting potential, that we call Melnikov potential. Its gradient, the (vector) Melnikov function, provides a first-order approximation for the splitting distance. Then the nondegenerate critical points of the Melnikov potential give rise to transverse homoclinic intersections between the whiskers. Generically, when the Melnikov potential is a Morse function, there exist at least 2 ⁿ critical points. The first-order approximation relies on the n -dimensional Poincaré-Melnikov method, to which an important part of the paper is devoted. We develop the method in a general setting, giving the Melnikov potential and the Melnikov function in terms of absolutely convergent integrals, which take into account the phase drift along the separatrix and the first-order deformation of the perturbed hyperbolic tori. We provide formulas useful in several cases, and carry out explicit computations that show that the Melnikov potential is a Morse function, in different kinds of examples. Received January 18, 1999; final revision received October 25, 1999; accepted December 12, 1999     

Existence of solutions for linear hyperbolic initial-boundary value problems in a rectangle

In a recent article, we achieved the well-posedness of linear hyperbolic initial and boundary value problems (IBVP) in a rectangle via semigroup method, and we found that there are only two elementary modes called hyperbolic and elliptic modes in the system. It seems that, there is only one set of boundary conditions for the hyperbolic mode, while there are infinitely many sets of boundary conditions for the elliptic mode, which can lead to well-posedness. In this article, we continue to consider linear hyperbolic IBVP in a rectangle in the constant coefficients case and we show that there are also infinitely many sets of boundary conditions for hyperbolic mode which will lead to the existence of a solution. We also have uniqueness in some special cases. The boundary conditions satisfy the reflection conditions introduced in Section 3, which turn out to be equivalent to the strictly dissipative conditions.     

Hyperbolic manifolds with convex boundary

Let (M,∂M) be a 3-manifold, which carries a hyperbolic metric with convex boundary. We consider the hyperbolic metrics on M such that the boundary is smooth and strictly convex. We show that the induced metrics on the boundary are exactly the metrics with curvature K>-1, and that the third fundamental forms of ∂M are exactly the metrics with curvature K<1, for which the closed geodesics which are contractible in M have length L>2π. Each is obtained exactly once. Other related results describe existence and uniqueness properties for other boundary conditions, when the metric which is achieved on ∂M is a linear combination of the first, second and third fundamental forms.     

Steady transonic shocks and free boundary problems in infinite cylinders for the Euler equations

We establish the existence and stability of multidimensional transonic shocks (hyperbolic‐elliptic shocks) for the Euler equations for steady compressible potential fluids in infinite cylinders. The Euler equations, consisting of the conservation law of mass and the Bernoulli law for velocity, can be written as a second order nonlinear equation of mixed elliptic‐hyperbolic type for the velocity potential. The transonic shock problem in an infinite cylinder can be formulated into the following free boundary problem: The free boundary is the location of the multidimensional transonic shock which divides two regions of C^1,α flow in the infinite cylinder, and the equation is hyperbolic in the upstream region where the C^1,α perturbed flow is supersonic. We develop a nonlinear approach to deal with such a free boundary problem in order to solve the transonic shock problem in unbounded domains. Our results indicate that there exists a solution of the free boundary problem such that the equation is always elliptic in the unbounded downstream region, the uniform velocity state at infinity in the downstream direction is uniquely determined by the given hyperbolic phase, and the free boundary is C^1,α, provided that the hyperbolic phase is close in C^1,α to a uniform flow. We further prove that, if the steady perturbation of the hyperbolic phase is C^2,α, the free boundary is C^2,α and stable under the steady perturbation. © 2003 Wiley Periodicals Inc.     

Radial Graphs with Constant Mean Curvature in the Hyperbolic Space

The existence is proved of radial graphs with constant mean curvature in the hyperbolic space H ⁿ⁺¹ defined over domains in geodesic spheres of H ⁿ⁺¹ whose boundary has positive mean curvature with respect to the inward orientation.     

Weil–Petersson volumes and cone surfaces

The moduli spaces of hyperbolic surfaces of genus g with n geodesic boundary components are naturally symplectic manifolds. Mirzakhani proved that their volumes are polynomials in the lengths of the boundaries by computing the volumes recursively. In this paper, we give new recursion relations between the volume polynomials.      

A remark on the mean curvature of a graph-like hypersurface in hyperbolic space

In this paper we investigate the mean curvature H of a radial graph in hyperbolic space Hn+1. We obtain an integral inequality for H, and find that the lower limit of H at infinity is less than or equal to 1 and the upper limit of H at infinity is more than or equal to −1. As a byproduct we get a relation between the n-dimensional volume of a bounded domain in an n-dimensional hyperbolic space and the (n−1)-dimensional volume of its boundary. We also sharpen the main result of a paper by P.-A. Nitsche dealing with the existence and uniqueness of graph-like prescribed mean curvature hypersurfaces in hyperbolic space.