Convexes Hyperboliques et Quasiisométries

For any m ≥ 3, we construct properly convex open sets Ω in the real projective space whose Hilbert metric is Gromov hyperbolic but is not quasiisometric to the hyperbolic space . We show that such examples cannot exist for m = 2. Some of our examples are divisible, i.e. there exists a discrete group Г of projective transformations preserving Ω with a compact quotient Г\Ω. The open set Ω is strictly convex but the group Г is not isomorphic to any cocompact lattice in the isometry group of .     

Singular curves bounding two unstable minimal disks

Let A⊆ℝ³ be a convex body and Γ the union of two Jordan curves on ∂A which meet each other at two points with prescribed angles. Then Γ bounds two unstable minimal disks. Received: 21 September 1998 / Revised version: 17 May 1999     

Boundary Asymptotic Analysis for an Incompressible Viscous Flow: Navier Wall Laws

We consider a new way of establishing Navier wall laws. Considering a bounded domain Ω of R ^N , N=2,3, surrounded by a thin layer Σ _ε , along a part Γ₂ of its boundary ∂Ω, we consider a Navier-Stokes flow in Ω∪∂Ω∪Σ _ε with Reynolds’ number of order 1/ε in Σ _ε . Using Γ-convergence arguments, we describe the asymptotic behaviour of the solution of this problem and get a general Navier law involving a matrix of Borel measures having the same support contained in the interface Γ₂. We then consider two special cases where we characterize this matrix of measures. As a further application, we consider an optimal control problem within this context.     

On positivity of solutions of degenerate boundary value problems for second-order elliptic equations

In this paper we study thedegenerate mixed boundary value problem:Pu=f in Ω,B _u =gon Ω∂Г where ω is a domain in ℝ ⁿ ,P is a second order linear elliptic operator with real coefficients, Γ⊆∂Ω is a relatively closed set, andB is an oblique boundary operator defined only on ∂Ω/Γ which is assumed to be a smooth part of the boundary. The aim of this research is to establish some basic results concerning positive solutions. In particular, we study the solvability of the above boundary value problem in the class of nonnegative functions, and properties of the generalized principal eigenvalue, the ground state, and the Green function associated with this problem. The notion of criticality and subcriticality for this problem is introduced, and a criticality theory for this problem is established. The analogs for the generalized Dirichlet boundary value problem, where Γ=∂Ω, were examined intensively by many authors.     

On the steady Navier–Stokes boundary value problem in an unbounded 2D domain with arbitrary fluxes through the components of the boundary

We prove the existence of a weak solution to the steady Navier–Stokes problem in a 2D domain Ω, whose boundary ∂Ω consists of two unbounded components Γ ₋ and Γ ₊. We impose an inhomogeneous Dirichlet—type boundary condition on ∂Ω. The condition implies no restriction on fluxes of the solution through the components Γ ₋ and Γ ₊.     

Almost Extrinsically Homogeneous Submanifolds of Euclidean Space

Consider a closed manifold M immersed in R^m. Suppose that the trivial bundle M × R^m = T M ⊗ ν M is equipped with an almost metric connection ~ ∇ which almost preserves the decomposition of M × R^m into the tangent and the normal bundle. Assume moreover that the difference Γ = ∂~∇ with the usual derivative ∂ in R^m is almost ~∇-parallel. Then M admits an extrinsically homogeneous immersion into R^m. Mathematics Subject Classifications (2000): 53C20, 53C24, 53C30, 53C42, 53C40.     

Blaschke's rolling theorem for manifolds¶with boundary

For a complete Riemannian manifold M with compact boundary ∂M denote by $\Cut$ the cut locus of $\f M$ in M. The rolling radius of M is roll(M)≔ dist(∂M, ?_{∂ M} ). Let Focal(∂M) be the focal distance of ∂M in M. Then conditions are given that imply the equality roll(M)= Focal(∂M). This generalizes Blaschke's rolling theorem from bounded convex domains in Euclidean space to more general Euclidean domains and to Riemannian manifolds with boundary. Received: 28 August 1998 / Revised version: 8 February 1999     

The affine complete hypersurfaces of constant Gauss-Kronecker curvature

Given a bounded convex domain Ω with C∞ boundary and a function ψ∈C∞（δΩ）, Li-Simon-Chen can construct an Euclidean complete and W-complete convex hypersurface M with constant affine Gauss-Kronecker curvature, and they guess the M is also affine complete. In this paper, we give a confirmation answer.     

The Singularities of the Distance Function Near Convex Boundary Points

In an open bounded set Ω, we consider the distance function from ∂Ω associated to a Riemannian metric with C ^1,1 coefficients. Assuming that Ω is convex near a boundary point x ₀, we show that the distance function is differentiable at x ₀ if and only if there exists the tangent space to ∂Ω at x ₀. Furthermore, if the distance function is not differentiable at x ₀ then there exists a Lipschitz continuous curve, with initial point at x ₀, such that the distance function is not differentiable along such a curve.      

Scattering Rigidity for Analytic Riemannian Manifolds with a Possible Magnetic Field

Consider a compact manifold M with boundary ∂ M endowed with a Riemannian metric g and a magnetic field Ω. Given a point and direction of entry at the boundary, the scattering relation Σ determines the point and direction of exit of a particle of unit charge, mass, and energy. In this paper we show that a magnetic system (M,∂ M,g,Ω) that is known to be real-analytic and that satisfies some mild restrictions on conjugate points is uniquely determined up to a natural equivalence by Σ. In the case that the magnetic field Ω is taken to be zero, this gives a new rigidity result in Riemannian geometry that is more general than related results in the literature.     

On a partially isometric transform of divergence-free vector fields

The paper deals with the so-called M-transform, which maps divergence-free vector fields in Ω ^T := {x ∈ Ω| dist(x, ∂Ω) < T}, Ω ⊂⊂ \mathbbR \mathbb{R} ³, to the space of transversal fields. The latter space consists of vector fields in Ω ^T tangential to the equidistant surfaces of the boundary ∂Ω. In papers devoted to the dynamical inverse problem for the Maxwell system, in the framework of the BC-method, the operator M ^T was defined for T < T _ω, where T _ω depends on the geometry of Ω. This paper provides a generalization for arbitrary T. It is proved that M ^T is partially isometric, and its intertwining properties are established. Bibliography: 6 titles.     

Quasiconformal and harmonic mappings between Jordan domains

Let Ω and Ω₁ be Jordan domains, let μ ∈ (0, 1], and let be a harmonic homeomorphism. The object of the paper is to prove the following results: (a) If f is q.c. and ∂Ω, ∂Ω₁ ∈ C ^1,μ , then f is Lipschitz; (b) if f is q.c., ∂Ω, ∂Ω₁ ∈ C ^1,μ and Ω₁ is convex, then f is bi-Lipschitz; and (c) if Ω is the unit disk, Ω₁ is convex, and ∂Ω₁ ∈ C ^1,μ , then f is quasiconformal if and only if its boundary function is bi-Lipschitz and the Hilbert transform of its derivative is in L ^∞. These extend the results of Pavlović (Ann. Acad. Sci. Fenn. 27:365–372, 2002).      

The Bieberbach-Rademacher problem for the Monge-Ampère operator

Assume that Ω is a bounded, strictly convex, smooth domain in ℝ^N withN≥2. We consider the problem det ((∂ _iju(x)))=f(x,u(x)),u(x)→∞ asx→∂Ω, where (∂ _iju(x)) denotes the Hessian ofu(x) andf meets some natural regularity and growth conditions. We prove that there exists a unique smooth, strictly convex solution of this problem. The boundary-blow-up rate ofu(x) is characterized in terms of the distance ofx from ∂Ω. Partially supported by the Royal Swedish Academy of Sciences, Gustaf Sigurd Magnuson's fund.     

Convex hull theorem for multiply connected domains in the plane with an estimate of the quasiconformal constant

For any multiply connected domain Ω in R2, let S be the boundary of the convex hull in H3 of R2\Ω which faces Ω. Suppose in addition that there exists a lower bound l > 0 of the hyperbolic lengths of closed geodesics in Ω. Then there is always a K-quasiconformal mapping from S to Ω, which extends continuously to the identity on S = Ω, where K depends only on l. We also give a numerical estimate of K by using the parameter l.     

Remarks on the uniqueness of comparable renormalized solutions of elliptic equations with measure data

We give a partial uniqueness result concerning comparable renormalized solutions of the nonlinear elliptic problem -div(a(x,Du))=μ in Ω, u=0 on ∂Ω, where μ is a Radon measure with bounded variation on Ω. Received: December 27, 2000 Published online: December 19, 2001     

Lower bounds at infinity of solutions of partial differential equations in the exterior of a proper cone

An extension of a classical theorem of Rellich to the exterior of a closed proper convex cone is proved: Let Γ be a closed convex proper cone inR ⁿ and −Γ′ be the antipodes of the dual cone of Γ. Let be a partial differential operator with constant coefficients inR ⁿ, whereQ(ζ)≠0 onR ⁿ−iΓ′ andP _i is an irreducible polynomial with real coefficients. Assume that the closure of each connected component of the set {ζ∈R ⁿ−iΓ′;P _j(ζ)=0, gradP _j(ζ)≠0} contains some real point on which gradP _j≠0 and gradP _j∉Γ∪(−Γ). LetC be an open cone inR ⁿ−Γ containing both normal directions at some such point, and intersecting each normal plane of every manifold contained in {ξ∈R ⁿ;P(ξ)=0}. Ifu∈ℒ′∩L _loc ² (R ⁿ−Γ) and the support ofP(−i∂/∂x)u is contained in Γ, then the condition implies that the support ofu is contained in Γ.     

Boundaries of singularity sets, removable singularities, and CR-invariant subsets of CR-manifolds

Let Ω be a bounded strictly pseudoconvex domain in ℂⁿ, n ≥ 3, with boundary ∂Ω, of class C². A compact subset K is called removable if any analytic function in a suitable small neighborhood of ∂Ω K extends to an analytic function in Ω. We obtain sufficient conditions for removability in geometric terms under the condition that K is contained in a generic C² -submanifold M of co-dimension one in ∂Ω. The result uses information on the global geometry of the decomposition of a CR-manifold into CR-orbits, which may be of some independent interest. The minimal obstructions for removability contained in M are compact sets K of two kinds. Either K is the boundary of a complex variety of co-dimension one in Ω or it is an exceptional minimal CR-invariant subset of M, which is a certain analog of exceptional minimal sets in co-dimension one foliations. It is shown by an example that the latter possibility may occur as a nonremovable singularity set. Further examples show that the germ of envelopes of holomorphy of neighborhoods of ∞Ω K for K ⊂ M may be multisheeted. A couple of open problems are discussed.     

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.     

L P-Integrability of derivatives of Riemann mappings on Ahlfors-David regular curves

In 1981, Hayman and Wu proved that for any simply connected domain Ω and any Riemann mappingF: Ω →D,F′ ∈ L¹ (L ∩ Ω), whereL is any line in the complex plane. Several years later, Fernández, Heinonen and Martio showed that there is anε > 0 such thatF′ ∈ L^1+∈(L ∩ Ω). The question arises as to which curves other than lines satisfy such a statement. A curve Γ is said to be Ahlfors-David regular if there is a constantA such that for any B(x, r) (the disk of radiusr centered atx), l(Γ ∩ B(x, r))≤ Ar. The major result of the paper is the following theorem: Let Γ be an Ahlfors-David regular curve with constantA. Then there exists an∈ > 0, depending only onA, such thatF′ ∈ L^1+∈(Γ ∩ Ω). This result is the synthesis of the extension of Fernández, Heinonen and Martio, and the result of Bishop and Jones showing thatF′ ∈ L¹(Γ ∩ Ω). The proof of the results uses a stopping-time argument which seeks out places in the curve where small pieces may be added in order to control the portions of the curve where |F′ | is large. This is accomplished with an estimate on the vanishing of the harmonic measure of the curve in such places. The paper also includes simpler arguments for the special cases where Γ = ∂Ω and Γ ⊂Ω.     

Torsion in Boundary Coinvariants and K -Theory for Affine Buildings

Let (G, I, N, S) be an affine topological Tits system, and let Γ be a torsion-free cocompact lattice in G. This article studies the coinvariants H ₀(Γ; C(Ω,Z)), where Ω is the Furstenberg boundary of G. It is shown that the class [1] of the identity function in H ₀(Γ; C(Ω, Z)) has finite order, with explicit bounds for the order. A similar statement applies to the K ₀ group of the boundary crossed product C ^*-algebra C(Ω)Γ. If the Tits system has type ? ₂, exact computations are given, both for the crossed product algebra and for the reduced group C ^*-algebra.