A few words about the MTW tensor
|
|
- Lee Cummings
- 5 years ago
- Views:
Transcription
1 A few words about the Ma-Trudinger-Wang tensor Université Nice - Sophia Antipolis & Institut Universitaire de France Salah Baouendi Memorial Conference (Tunis, March 2014)
2 The Ma-Trudinger-Wang tensor Let M be a smooth connected (compact) manifold of dimension n equipped with a smooth Riemannian metric g. For any x, y M, we define the geodesic distance between x and y, denoted by d(x, y), as the minimum of the lengths of the curves joining x to y. Definition (The Ma-Trudinger-Wang tensor) The MTW tensor S is defined as S (x,v) (ξ, η) = 2 3 d 2 d 2 d 2 ( ) ds 2 s=0 dt 2 exp t=0 2 x (tξ), exp x (v+sη) for every x M, v I(x), and ξ, η T x M.
3 Transport maps Let µ 0 and µ 1 be probability measures on M. We call transport map from µ 0 to µ 1 any measurable map T : M M such that T µ 0 = µ 1, that is µ 1 (B) = µ 0 ( T 1 (B) ), B measurable M. T µ 0 µ 1
4 Quadratic Monge s Problem Given two probabilities measures µ 0, µ 1 sur M, find a transport map T : M M from µ 0 to µ 1 which minimizes the quadratic cost (c = d 2 /2) c(x, T (x))dµ 0 (x). M
5 Quadratic Monge s Problem Given two probabilities measures µ 0, µ 1 sur M, find a transport map T : M M from µ 0 to µ 1 which minimizes the quadratic cost (c = d 2 /2) c(x, T (x))dµ 0 (x). M Theorem (McCann 01) If µ 0 is absolutely continuous w.r.t. Lebesgue, then there exists a unique optimal transport map T from µ 0 to µ 1. In fact, there is a c-convex function ϕ : M R satisfying T (x) = exp x ( ϕ(x)) µ 0 a.e. x M. (Moreover, for a.e. x M, ϕ(x) belongs to the injectivity domain at x.)
6 The case of R n Quadratic Monge s Problem in R n : Given two probability measures µ 0, µ 1 with compact supports in R n, we are concerned with transport maps T : R n R n pushing forward µ 0 to µ 1 which minimize the transport cost R n T (x) x 2 dµ 0 (x). Theorem (Brenier 91) If µ 0 is absolutely continuous with respect to the Lebesgue measure, there exists a unique optimal transport map with respect to the quadratic cost. In fact, there is a convex function ψ : M R such that T (x) = ψ(x) µ 0 a.e. x R n.
7 The case of R n Quadratic Monge s Problem in R n : Given two probability measures µ 0, µ 1 with compact supports in R n, we are concerned with transport maps T : R n R n pushing forward µ 0 to µ 1 which minimize the transport cost R n T (x) x 2 dµ 0 (x). Theorem (Brenier 91) If µ 0 is absolutely continuous with respect to the Lebesgue measure, there exists a unique optimal transport map with respect to the quadratic cost. In fact, there is a convex function ψ : M R such that T (x) = ψ(x) µ 0 a.e. x R n. Necessary and sufficient conditions for regularity?
8 An obvious counterexample Supp(µ 0 ) Supp(µ 1 ) T
9 The convexity of the targer is necessary Supp(µ 0 ) Supp(µ 1 ) T
10 The convexity of the targer is necessary Supp(µ 0 ) Supp(µ 1 ) 49% 70% 29% 49%
11 The convexity of the targer is necessary Supp(µ 0 ) Supp(µ 1 ) 49% 70% 29% T 49%
12 The convexity of the targer is necessary Supp(µ 0 ) Supp(µ 1 )
13 The convexity of the targer is necessary Supp(µ 0 ) Supp(µ 1 ) T gradient of a convex function
14 The convexity of the targer is necessary Supp(µ 0 ) Supp(µ 1 ) T gradient of a convex function = y x, T (y) T (x) 0!!!
15 Caffarelli s Regularity Theory If µ 0 and µ 1 are associated with densities f 0, f 1 w.r.t. Lebesgue, then T µ 0 = µ 1 ζ ( T (x) ) f 0 (x)dx = ζ(y)f 1 (y)dy R n R n ψ weak solution of the Monge-Ampère equation : Theorem (Caffarelli 90s) det ( 2 ψ(x) ) = f 0(x) f 1 ( ψ(x)). ζ. Let Ω 0, Ω 1 be connected and bounded open sets in R n and f 0, f 1 be probability densities resp. on Ω 0 and Ω 1 such that f 0, f 1, 1/f 0, 1/f 1 are essentially bounded. Assume that µ 0 and µ 1 have respectively densities f 0 and f 1 w.r.t. Lebesgue and that Ω 1 is convex. Then the quadratic optimal transport map from µ 0 to µ 1 is continuous.
16 Back to Riemannian manifolds Given two probabilities measures µ 0, µ 1 sur M, find a transport map T : M M from µ 0 to µ 1 which minimizes the quadratic cost (c = d 2 /2) c(x, T (x))dµ 0 (x). M
17 Back to Riemannian manifolds Given two probabilities measures µ 0, µ 1 sur M, find a transport map T : M M from µ 0 to µ 1 which minimizes the quadratic cost (c = d 2 /2) c(x, T (x))dµ 0 (x). M Definition We say that the Riemannian manifold (M, g) satisfies the Transport Continuity Property (TCP) if for any pair of probability measures µ 0, µ 1 associated locally with continuous positive densities ρ 0, ρ 1, that is µ 0 = ρ 0 vol g, µ 1 = ρ 1 vol g, the optimal transport map from µ 0 to µ 1 is continuous.
18 Exponential mapping and injectivity domains Let x M be fixed. For every v T x M, we define the exponential of v by exp x (v) = γ x,v (1), where γ x,v : [0, 1] M is the unique geodesic starting at x with speed v.
19 Exponential mapping and injectivity domains Let x M be fixed. For every v T x M, we define the exponential of v by exp x (v) = γ x,v (1), where γ x,v : [0, 1] M is the unique geodesic starting at x with speed v. We call injectivity domain at x, the subset of T x M defined by { t > 1 s.t. γ I(x) := v T x M tv is the unique minim. geod. between x and exp x (tv) It is a star-shaped (w.r.t. 0 T x M) bounded open set with Lipschitz boundary. }
20 The distance to the cut locus Using the exponential mapping, we can associate to each unit tangent vector its distance to the cut locus. In that way, we define the so-called injectivity domain I(x) whose boundary is the tangent cut locus TCL(x).
21 A necessary condition for TCP Theorem (Figalli-R-Villani 10) Let (M, g) be a smooth compact Riemannian manifold satisfying TCP. Then the following properties hold: all the injectivity domains are convex, for any x, x M, the function F x,x : v I(x) c ( x, exp x (v) ) c ( x, exp x (v) ) is quasiconvex (its sublevel sets are always convex).
22 Almost characterization of quasiconvex functions Lemma (Sufficient condition) Let U R n be an open convex set and F : U R be a function of class C 2. Assume that for every v U and every w R n \ {0} the following property holds : Then F is quasiconvex. v F, w = 0 = 2 vf w, w > 0.
23 Almost characterization of quasiconvex functions Lemma (Sufficient condition) Let U R n be an open convex set and F : U R be a function of class C 2. Assume that for every v U and every w R n \ {0} the following property holds : Then F is quasiconvex. v F, w = 0 = 2 vf w, w > 0. Lemma (Necessary condition) Let U R n be an open convex set and F : U R be a function of class C 2. Assume that F is quasiconvex. Then for every v U and every w R n \ {0} the following property holds : v F, w = 0 = 2 vf w, w 0.
24 Proof of the easy lemma Proof. Let v 0, v 1 U be fixed. Set v t := (1 t)v 0 + tv 1, for every t [0, 1]. Define h : [0, 1] R by h(t) := F (v t ) t [0, 1]. If h max{h(0), h(1)}, there is τ (0, 1) such that h(τ) = max h(t) > max{h(0), h(1)}. t [0,1]
25 Proof of the easy lemma Proof. Let v 0, v 1 U be fixed. Set v t := (1 t)v 0 + tv 1, for every t [0, 1]. Define h : [0, 1] R by h(t) := F (v t ) t [0, 1]. If h max{h(0), h(1)}, there is τ (0, 1) such that There holds h(τ) = max h(t) > max{h(0), h(1)}. t [0,1] ḣ(τ) = vτ F, v τ et ḧ(τ) = 2 v τ F v τ, v τ. Since τ is a local maximum, one has ḣ(τ) = 0. Contradiction!!
26 The Ma-Trudinger-Wang tensor The MTW tensor S is defined as S (x,v) (ξ, η) = 3 d 2 d 2 d 2 ( ) 2 ds 2 s=0 dt 2 exp t=0 2 x (tξ), exp x (v+sη), for every x M, v I(x), and ξ, η T x M.
27 The Ma-Trudinger-Wang tensor The MTW tensor S is defined as S (x,v) (ξ, η) = 3 d 2 d 2 d 2 ( ) 2 ds 2 s=0 dt 2 exp t=0 2 x (tξ), exp x (v+sη), for every x M, v I(x), and ξ, η T x M. Proposition (Villani 09, Figalli-R-Villani 10) Let (M, g) be such that all injectivity domains are convex. Then the following properties are equivalent: All the functions F x,x are quasiconvex. The MTW tensor S is 0, that is for any x M, v I(x), and ξ, η T x M, ξ, η x = 0 = S (x,v) (ξ, η) 0.
28 When geometry enters the problem Theorem (Loeper 06) For every x M and for any pair of unit orthogonal tangent vectors ξ, η T x M, there holds S (x,0) (ξ, η) = κ x (ξ, η), where the latter denotes the sectional curvature of M at x along the plane spanned by {ξ, η}. Corollary (Loeper 06) TCP = S 0 = κ 0.
29 When geometry enters the problem Theorem (Loeper 06) For every x M and for any pair of unit orthogonal tangent vectors ξ, η T x M, there holds S (x,0) (ξ, η) = κ x (ξ, η), where the latter denotes the sectional curvature of M at x along the plane spanned by {ξ, η}. Corollary (Loeper 06) Caution!!! κ 0 S 0. TCP = S 0 = κ 0.
30 Sufficient conditions for TCP Theorem (Figalli-R-Villani 10) Let (M, g) be a compact smooth Riemannian surface. It satisfies TCP if and only if the two following properties holds: all the injectivity domains are convex, S 0.
31 Sufficient conditions for TCP Theorem (Figalli-R-Villani 10) Let (M, g) be a compact smooth Riemannian surface. It satisfies TCP if and only if the two following properties holds: all the injectivity domains are convex, S 0. Theorem (Figalli-R-Villani 10) Assume that (M, g) satisfies the two following properties: all its injectivity domains are strictly convex, the MTW tensor S is 0, that is for any x M, v I(x), and ξ, η T x M, Then, it satisfies TCP. ξ, η x = 0 = S (x,v) (ξ, η) > 0.
32 Examples and counterexamples Examples: Flat tori (Cordero-Erausquin 99) Round spheres (Loeper 06) Product of spheres (Figalli-Kim-McCann 13) Quotients of the above objects Perturbations of round spheres (Figalli-R-Villani 12)
33 Examples and counterexamples Examples: Flat tori (Cordero-Erausquin 99) Round spheres (Loeper 06) Product of spheres (Figalli-Kim-McCann 13) Quotients of the above objects Perturbations of round spheres (Figalli-R-Villani 12) Counterexamples:
34 Examples and counterexamples Examples: Flat tori (Cordero-Erausquin 99) Round spheres (Loeper 06) Product of spheres (Figalli-Kim-McCann 13) Quotients of the above objects Perturbations of round spheres (Figalli-R-Villani 12) Counterexamples:
35 Questions How is the set of metrics satisfying S 0? Does S 0 imply convexity of injectivity domains? Does S 0 imply more topological obstructions than κ 0?
36 Questions How is the set of metrics satisfying S 0? Does S 0 imply convexity of injectivity domains? Does S 0 imply more topological obstructions than κ 0? Focalization is the major obstacle
37 Focalization Definition Let x M and v be a unit tangent vector in T x M. The vector v is not conjugate at time t 0 if for any t [0, t + δ] (δ > 0 small) the geodesic from x to γ(t ) is locally minimizing. x x
38 The distance to the conjugate locus Again, using the exponential mapping, we can associate to each unit tangent vector its distance to the conjugate locus. In that way, we define the so-called nonfocal domain N F(x) whose boundary is the tangent conjugate locus TFL(x).
39 Fundamental inclusion The following inclusion holds injectivity domain nonfocal domain.
40 Spheres Loeper checked that the MTW tensor of the round sphere S 2 satisfies for any x S 2, v I(x) and ξ, η T x S 2, Theorem (Loeper 06) ξ, η x = 0 = S (x,v) (ξ, η) ξ 2 η 2. The round sphere S 2 satisifes TCP.
41 Small deformations of S 2 On S 2, the MTW tensor is given by ( S ) (x,v) ξ, ξ [ 1 = 3 r cos(r) ] 2 r sin(r) [ ξ sin 2 (r) r cos(r) sin 3 (r) [ 6 r 2 + cos(r) r sin(r) + 5 sin 2 (r) ] ξ 4 2 ] ξ 2 1ξ 2 2, with x S 2, v I(x), r := v, ξ = (ξ 1, ξ 2 ), ξ = ( ξ 2, ξ 1 ). Theorem (Figalli-R 09) Any small deformation of S 2 in C 4 topology satisfies TCP.
42 The Villani Conjecture Conjecture (Villani s Conjecture) Any Riemannian manifold satisfying S 0 has convex injectivity domains.
43 The Villani Conjecture Conjecture (Villani s Conjecture) Any Riemannian manifold satisfying S 0 has convex injectivity domains. Theorem (Figalli-Gallouët-R 14) Let (M, g) be a smooth compact Riemannian manifold, assume that it is nonfocal. Then all its injectivity domains are convex.
44 Thank you for your attention!!
Transport Continuity Property
On Riemannian manifolds satisfying the Transport Continuity Property Université de Nice - Sophia Antipolis (Joint work with A. Figalli and C. Villani) I. Statement of the problem Optimal transport on Riemannian
More informationNECESSARY AND SUFFICIENT CONDITIONS FOR CONTINUITY OF OPTIMAL TRANSPORT MAPS ON RIEMANNIAN MANIFOLDS
NECESSARY AND SUFFICIENT CONDITIONS FOR CONTINUITY OF OPTIMAL TRANSPORT MAPS ON RIEMANNIAN MANIFOLDS A. FIGALLI, L. RIFFORD, AND C. VILLANI Abstract. In this paper we continue the investigation of the
More informationCurvature and the continuity of optimal transportation maps
Curvature and the continuity of optimal transportation maps Young-Heon Kim and Robert J. McCann Department of Mathematics, University of Toronto June 23, 2007 Monge-Kantorovitch Problem Mass Transportation
More informationREGULARITY OF OPTIMAL TRANSPORT AND CUT LOCUS: FROM NONSMOOTH ANALYSIS TO GEOMETRY TO SMOOTH ANALYSIS
REGULARITY OF OPTIMAL TRANSPORT AND CUT LOCUS: FROM NONSMOOTH ANALYSIS TO GEOMETRY TO SMOOTH ANALYSIS C. VILLANI Abstract. In this survey paper I describe the convoluted links between the regularity theory
More informationOptimal Transportation. Nonlinear Partial Differential Equations
Optimal Transportation and Nonlinear Partial Differential Equations Neil S. Trudinger Centre of Mathematics and its Applications Australian National University 26th Brazilian Mathematical Colloquium 2007
More informationOn the regularity of solutions of optimal transportation problems
On the regularity of solutions of optimal transportation problems Grégoire Loeper April 25, 2008 Abstract We give a necessary and sufficient condition on the cost function so that the map solution of Monge
More informationSMOOTH OPTIMAL TRANSPORTATION ON HYPERBOLIC SPACE
SMOOTH OPTIMAL TRANSPORTATION ON HYPERBOLIC SPACE JIAYONG LI A thesis completed in partial fulfilment of the requirement of Master of Science in Mathematics at University of Toronto. Copyright 2009 by
More informationNew Examples Satisfying Ma Trudinger Wang Conditions
New Examples Satisfying Ma Trudinger Wang Conditions The MIT Faculty has made this article openly available. Please share how this access benefits you. Your story matters. Citation As Published Publisher
More informationON THE MA TRUDINGER WANG CURVATURE ON SURFACES
Author manuscript, published in "Calculus of Variations and Partial Differential Equations 39, 3-4 37" ON THE MA TRUDINGER WANG CURVATURE ON SURFACES A. FIGALLI, L. RIFFORD, AND C. VILLANI Abstract. We
More informationContinuity of optimal transport maps and convexity of injectivity domains on small deformations of S 2
Continuity of optimal transport maps and convexity of injectivity domains on small deformations of S A. Figalli L. Rifford Abstract Given a compact Riemannian manifold, we study the regularity of the optimal
More informationC 1 regularity of solutions of the Monge-Ampère equation for optimal transport in dimension two
C 1 regularity of solutions of the Monge-Ampère equation for optimal transport in dimension two Alessio Figalli, Grégoire Loeper Abstract We prove C 1 regularity of c-convex weak Alexandrov solutions of
More informationThe optimal partial transport problem
The optimal partial transport problem Alessio Figalli Abstract Given two densities f and g, we consider the problem of transporting a fraction m [0, min{ f L 1, g L 1}] of the mass of f onto g minimizing
More informationNeedle decompositions and Ricci curvature
Tel Aviv University CMC conference: Analysis, Geometry, and Optimal Transport KIAS, Seoul, June 2016. A trailer (like in the movies) In this lecture we will not discuss the following: Let K 1, K 2 R n
More informationLocal semiconvexity of Kantorovich potentials on non-compact manifolds
Local semiconvexity of Kantorovich potentials on non-compact manifolds Alessio Figalli, Nicola Gigli Abstract We prove that any Kantorovich potential for the cost function c = d / on a Riemannian manifold
More informationSobolev regularity for the Monge-Ampère equation, with application to the semigeostrophic equations
Sobolev regularity for the Monge-Ampère equation, with application to the semigeostrophic equations Alessio Figalli Abstract In this note we review some recent results on the Sobolev regularity of solutions
More informationSpaces with Ricci curvature bounded from below
Spaces with Ricci curvature bounded from below Nicola Gigli February 23, 2015 Topics 1) On the definition of spaces with Ricci curvature bounded from below 2) Analytic properties of RCD(K, N) spaces 3)
More informationMoment Measures. Bo az Klartag. Tel Aviv University. Talk at the asymptotic geometric analysis seminar. Tel Aviv, May 2013
Tel Aviv University Talk at the asymptotic geometric analysis seminar Tel Aviv, May 2013 Joint work with Dario Cordero-Erausquin. A bijection We present a correspondence between convex functions and Borel
More informationSpaces with Ricci curvature bounded from below
Spaces with Ricci curvature bounded from below Nicola Gigli March 10, 2014 Lessons Basics of optimal transport Definition of spaces with Ricci curvature bounded from below Analysis on spaces with Ricci
More informationMañé s Conjecture from the control viewpoint
Mañé s Conjecture from the control viewpoint Université de Nice - Sophia Antipolis Setting Let M be a smooth compact manifold of dimension n 2 be fixed. Let H : T M R be a Hamiltonian of class C k, with
More informationREGULARITY OF MONOTONE TRANSPORT MAPS BETWEEN UNBOUNDED DOMAINS
REGULARITY OF MONOTONE TRANSPORT MAPS BETWEEN UNBOUNDED DOMAINS DARIO CORDERO-ERAUSQUIN AND ALESSIO FIGALLI A Luis A. Caffarelli en su 70 años, con amistad y admiración Abstract. The regularity of monotone
More informationPARTIAL REGULARITY OF BRENIER SOLUTIONS OF THE MONGE-AMPÈRE EQUATION
PARTIAL REGULARITY OF BRENIER SOLUTIONS OF THE MONGE-AMPÈRE EQUATION ALESSIO FIGALLI AND YOUNG-HEON KIM Abstract. Given Ω, Λ R n two bounded open sets, and f and g two probability densities concentrated
More informationLogarithmic Sobolev Inequalities
Logarithmic Sobolev Inequalities M. Ledoux Institut de Mathématiques de Toulouse, France logarithmic Sobolev inequalities what they are, some history analytic, geometric, optimal transportation proofs
More informationOptimal transportation on the hemisphere
University of Wollongong Research Online Faculty of Engineering and Information Sciences - Papers: Part A Faculty of Engineering and Information Sciences 2014 Optimal transportation on the hemisphere Sun-Yung
More informationLECTURE 15: COMPLETENESS AND CONVEXITY
LECTURE 15: COMPLETENESS AND CONVEXITY 1. The Hopf-Rinow Theorem Recall that a Riemannian manifold (M, g) is called geodesically complete if the maximal defining interval of any geodesic is R. On the other
More informationDeforming conformal metrics with negative Bakry-Émery Ricci Tensor on manifolds with boundary
Deforming conformal metrics with negative Bakry-Émery Ricci Tensor on manifolds with boundary Weimin Sheng (Joint with Li-Xia Yuan) Zhejiang University IMS, NUS, 8-12 Dec 2014 1 / 50 Outline 1 Prescribing
More informationTHE FUNDAMENTAL GROUP OF MANIFOLDS OF POSITIVE ISOTROPIC CURVATURE AND SURFACE GROUPS
THE FUNDAMENTAL GROUP OF MANIFOLDS OF POSITIVE ISOTROPIC CURVATURE AND SURFACE GROUPS AILANA FRASER AND JON WOLFSON Abstract. In this paper we study the topology of compact manifolds of positive isotropic
More informationCONTINUITY AND INJECTIVITY OF OPTIMAL MAPS
CONTINUITY AN INJECTIVITY OF OPTIMA MAPS JÉRÔME VÉTOIS Abstract. Figalli Kim McCann proved in [14] the continuity and injectivity of optimal maps under the assumption B3 of nonnegative cross-curvature.
More informationCentre for Mathematics and Its Applications The Australian National University Canberra, ACT 0200 Australia. 1. Introduction
ON LOCALLY CONVEX HYPERSURFACES WITH BOUNDARY Neil S. Trudinger Xu-Jia Wang Centre for Mathematics and Its Applications The Australian National University Canberra, ACT 0200 Australia Abstract. In this
More informationGeneric Aubry sets on surfaces
Université de Nice - Sophia Antipolis & Institut Universitaire de France Nanjing University (June 10th, 2013) Setting Let M be a smooth compact manifold of dimension n 2 be fixed. Let H : T M R be a Hamiltonian
More informationRegularity for the optimal transportation problem with Euclidean distance squared cost on the embedded sphere
Regularity for the optimal transportation problem with Euclidean distance squared cost on the embedded sphere Jun Kitagawa and Micah Warren January 6, 011 Abstract We give a sufficient condition on initial
More informationCALCULUS ON MANIFOLDS. 1. Riemannian manifolds Recall that for any smooth manifold M, dim M = n, the union T M =
CALCULUS ON MANIFOLDS 1. Riemannian manifolds Recall that for any smooth manifold M, dim M = n, the union T M = a M T am, called the tangent bundle, is itself a smooth manifold, dim T M = 2n. Example 1.
More informationLECTURE 16: CONJUGATE AND CUT POINTS
LECTURE 16: CONJUGATE AND CUT POINTS 1. Conjugate Points Let (M, g) be Riemannian and γ : [a, b] M a geodesic. Then by definition, exp p ((t a) γ(a)) = γ(t). We know that exp p is a diffeomorphism near
More informationINTRINSIC MEAN ON MANIFOLDS. Abhishek Bhattacharya Project Advisor: Dr.Rabi Bhattacharya
INTRINSIC MEAN ON MANIFOLDS Abhishek Bhattacharya Project Advisor: Dr.Rabi Bhattacharya 1 Overview Properties of Intrinsic mean on Riemannian manifolds have been presented. The results have been applied
More informationESTIMATES FOR THE MONGE-AMPERE EQUATION
GLOBAL W 2,p ESTIMATES FOR THE MONGE-AMPERE EQUATION O. SAVIN Abstract. We use a localization property of boundary sections for solutions to the Monge-Ampere equation obtain global W 2,p estimates under
More informationarxiv: v1 [math.dg] 26 Nov 2017
arxiv:1711.09423v1 [math.dg] 26 Nov 2017 Bipolar comparison (preliminary version) Nina Lebedeva, Anton Petrunin and Vladimir Zolotov Abstract We introduce a new type of metric comparison which is closely
More informationRecent developments in elliptic partial differential equations of Monge Ampère type
Recent developments in elliptic partial differential equations of Monge Ampère type Neil S. Trudinger Abstract. In conjunction with applications to optimal transportation and conformal geometry, there
More informationA LOCALIZATION PROPERTY AT THE BOUNDARY FOR MONGE-AMPERE EQUATION
A LOCALIZATION PROPERTY AT THE BOUNDARY FOR MONGE-AMPERE EQUATION O. SAVIN. Introduction In this paper we study the geometry of the sections for solutions to the Monge- Ampere equation det D 2 u = f, u
More informationMicrolocal analysis and inverse problems Lecture 4 : Uniqueness results in admissible geometries
Microlocal analysis and inverse problems Lecture 4 : Uniqueness results in admissible geometries David Dos Santos Ferreira LAGA Université de Paris 13 Wednesday May 18 Instituto de Ciencias Matemáticas,
More informationOPTIMAL TRANSPORT AND CURVATURE
OPTIAL TRANSPORT AND CURVATURE ALESSIO FIGALLI AND CÉDRIC VILLANI Introduction These notes record the six lectures for the CIE Summer Course held by the second author in Cetraro during the week of June
More informationPseudo-Poincaré Inequalities and Applications to Sobolev Inequalities
Pseudo-Poincaré Inequalities and Applications to Sobolev Inequalities Laurent Saloff-Coste Abstract Most smoothing procedures are via averaging. Pseudo-Poincaré inequalities give a basic L p -norm control
More informationThe Karcher Mean of Points on SO n
The Karcher Mean of Points on SO n Knut Hüper joint work with Jonathan Manton (Univ. Melbourne) Knut.Hueper@nicta.com.au National ICT Australia Ltd. CESAME LLN, 15/7/04 p.1/25 Contents Introduction CESAME
More informationREGULARITY OF POTENTIAL FUNCTIONS IN OPTIMAL TRANSPORTATION. Centre for Mathematics and Its Applications The Australian National University
ON STRICT CONVEXITY AND C 1 REGULARITY OF POTENTIAL FUNCTIONS IN OPTIMAL TRANSPORTATION Neil Trudinger Xu-Jia Wang Centre for Mathematics and Its Applications The Australian National University Abstract.
More informationEXAMPLE OF A FIRST ORDER DISPLACEMENT CONVEX FUNCTIONAL
EXAMPLE OF A FIRST ORDER DISPLACEMENT CONVEX FUNCTIONAL JOSÉ A. CARRILLO AND DEJAN SLEPČEV Abstract. We present a family of first-order functionals which are displacement convex, that is convex along the
More informationRegularity of optimal transport maps on multiple products of spheres
Regularity of optimal transport maps on multiple products of spheres Alessio Figalli, Young-Heon Kim and Robert J. McCann June 9, 2010 Abstract This article addresses regularity of optimal transport maps
More informationLOCAL LENS RIGIDITY WITH INCOMPLETE DATA FOR A CLASS OF NON-SIMPLE RIEMANNIAN MANIFOLDS
LOCAL LENS RIGIDITY WITH INCOMPLETE DATA FOR A CLASS OF NON-SIMPLE RIEMANNIAN MANIFOLDS PLAMEN STEFANOV AND GUNTHER UHLMANN Abstract. Let σ be the scattering relation on a compact Riemannian manifold M
More informationDifferential Geometry Exercises
Differential Geometry Exercises Isaac Chavel Spring 2006 Jordan curve theorem We think of a regular C 2 simply closed path in the plane as a C 2 imbedding of the circle ω : S 1 R 2. Theorem. Given the
More informationStrictly convex functions on complete Finsler manifolds
Proc. Indian Acad. Sci. (Math. Sci.) Vol. 126, No. 4, November 2016, pp. 623 627. DOI 10.1007/s12044-016-0307-2 Strictly convex functions on complete Finsler manifolds YOE ITOKAWA 1, KATSUHIRO SHIOHAMA
More informationFULL CHARACTERIZATION OF OPTIMAL TRANSPORT PLANS FOR CONCAVE COSTS
FULL CHARACTERIZATION OF OPTIMAL TRANSPORT PLANS FOR CONCAVE COSTS PAUL PEGON, DAVIDE PIAZZOLI, FILIPPO SANTAMBROGIO Abstract. This paper slightly improves a classical result by Gangbo and McCann (1996)
More informationA SHARP STABILITY ESTIMATE IN TENSOR TOMOGRAPHY
A SHARP STABILITY ESTIMATE IN TENSOR TOMOGRAPHY PLAMEN STEFANOV 1. Introduction Let (M, g) be a compact Riemannian manifold with boundary. The geodesic ray transform I of symmetric 2-tensor fields f is
More informationIntegral Jensen inequality
Integral Jensen inequality Let us consider a convex set R d, and a convex function f : (, + ]. For any x,..., x n and λ,..., λ n with n λ i =, we have () f( n λ ix i ) n λ if(x i ). For a R d, let δ a
More informationON THE FOLIATION OF SPACE-TIME BY CONSTANT MEAN CURVATURE HYPERSURFACES
ON THE FOLIATION OF SPACE-TIME BY CONSTANT MEAN CURVATURE HYPERSURFACES CLAUS GERHARDT Abstract. We prove that the mean curvature τ of the slices given by a constant mean curvature foliation can be used
More informationWilliam P. Thurston. The Geometry and Topology of Three-Manifolds
William P. Thurston The Geometry and Topology of Three-Manifolds Electronic version 1.1 - March 00 http://www.msri.org/publications/books/gt3m/ This is an electronic edition of the 1980 notes distributed
More informationSurfaces in spheres: biharmonic and CMC
Surfaces in spheres: biharmonic and CMC E. Loubeau (joint with C. Oniciuc) Université de Bretagne Occidentale, France May 2014 Biharmonic maps Definition Bienergy functional at φ : (M, g) (N, h) E 2 (φ)
More informationLecture 11. Geodesics and completeness
Lecture 11. Geodesics and completeness In this lecture we will investigate further the metric properties of geodesics of the Levi-Civita connection, and use this to characterise completeness of a Riemannian
More informationKUIPER S THEOREM ON CONFORMALLY FLAT MANIFOLDS
KUIPER S THEOREM ON CONFORMALLY FLAT MANIFOLDS RALPH HOWARD DEPARTMENT OF MATHEMATICS UNIVERSITY OF SOUTH CAROLINA COLUMBIA, S.C. 29208, USA HOWARD@MATH.SC.EDU 1. Introduction These are notes to that show
More informationReminder Notes for the Course on Distribution Theory
Reminder Notes for the Course on Distribution Theory T. C. Dorlas Dublin Institute for Advanced Studies School of Theoretical Physics 10 Burlington Road, Dublin 4, Ireland. Email: dorlas@stp.dias.ie March
More informationPoincaré Inequalities and Moment Maps
Tel-Aviv University Analysis Seminar at the Technion, Haifa, March 2012 Poincaré-type inequalities Poincaré-type inequalities (in this lecture): Bounds for the variance of a function in terms of the gradient.
More informationOptimal transportation on non-compact manifolds
Optimal transportation on non-compact manifolds Albert Fathi, Alessio Figalli 07 November 2007 Abstract In this work, we show how to obtain for non-compact manifolds the results that have already been
More informationIntroduction to Optimal Transport Theory
Introduction to Optimal Transport Theory Filippo Santambrogio Grenoble, June 15th 2009 These very short lecture notes do not want to be an exhaustive presentation of the topic, but only a short list of
More informationRecovery of anisotropic metrics from travel times
Purdue University The Lens Rigidity and the Boundary Rigidity Problems Let M be a bounded domain with boundary. Let g be a Riemannian metric on M. Define the scattering relation σ and the length (travel
More information1. Geometry of the unit tangent bundle
1 1. Geometry of the unit tangent bundle The main reference for this section is [8]. In the following, we consider (M, g) an n-dimensional smooth manifold endowed with a Riemannian metric g. 1.1. Notations
More informationAFFINE SPHERES AND KÄHLER-EINSTEIN METRICS. metric makes sense under projective coordinate changes. See e.g. [10]. Form a cone (1) C = s>0
AFFINE SPHERES AND KÄHLER-EINSTEIN METRICS JOHN C. LOFTIN 1. Introduction In this note, we introduce a straightforward correspondence between some natural affine Kähler metrics on convex cones and natural
More informationHyperbolic inverse problems and exact controllability
Hyperbolic inverse problems and exact controllability Lauri Oksanen University College London An inverse initial source problem Let M R n be a compact domain with smooth strictly convex boundary, and let
More informationA Variational Model for Data Fitting on Manifolds by Minimizing the Acceleration of a Bézier Curve
A Variational Model for Data Fitting on Manifolds by Minimizing the Acceleration of a Bézier Curve Ronny Bergmann a Technische Universität Chemnitz Kolloquium, Department Mathematik, FAU Erlangen-Nürnberg,
More informationPractice Qualifying Exam Questions, Differentiable Manifolds, Fall, 2009.
Practice Qualifying Exam Questions, Differentiable Manifolds, Fall, 2009. Solutions (1) Let Γ be a discrete group acting on a manifold M. (a) Define what it means for Γ to act freely. Solution: Γ acts
More informationDIFFERENTIAL GEOMETRY HW 9
DIFFERENTIAL GEOMETRY HW 9 CLAY SHONKWILER 2. Prove the following inequality on real functions (Wirtinger s inequality). Let f : [, π] R be a real function of class C 2 such that f() f(π). Then f 2 dt
More informationCOMMENT ON : HYPERCONTRACTIVITY OF HAMILTON-JACOBI EQUATIONS, BY S. BOBKOV, I. GENTIL AND M. LEDOUX
COMMENT ON : HYPERCONTRACTIVITY OF HAMILTON-JACOBI EQUATIONS, BY S. BOBKOV, I. GENTIL AND M. LEDOUX F. OTTO AND C. VILLANI In their remarkable work [], Bobkov, Gentil and Ledoux improve, generalize and
More informationRigidity and Non-rigidity Results on the Sphere
Rigidity and Non-rigidity Results on the Sphere Fengbo Hang Xiaodong Wang Department of Mathematics Michigan State University Oct., 00 1 Introduction It is a simple consequence of the maximum principle
More informationAn introduction to Mathematical Theory of Control
An introduction to Mathematical Theory of Control Vasile Staicu University of Aveiro UNICA, May 2018 Vasile Staicu (University of Aveiro) An introduction to Mathematical Theory of Control UNICA, May 2018
More informationRiemannian Curvature Functionals: Lecture III
Riemannian Curvature Functionals: Lecture III Jeff Viaclovsky Park City Mathematics Institute July 18, 2013 Lecture Outline Today we will discuss the following: Complete the local description of the moduli
More informationSYNGE-WEINSTEIN THEOREMS IN RIEMANNIAN GEOMETRY
SYNGE-WEINSTEIN THEOREMS IN RIEMANNIAN GEOMETRY AKHIL MATHEW Abstract. We give an exposition of the proof of a few results in global Riemannian geometry due to Synge and Weinstein using variations of the
More informationRicci curvature for metric-measure spaces via optimal transport
Annals of athematics, 169 (2009), 903 991 Ricci curvature for metric-measure spaces via optimal transport By John Lott and Cédric Villani* Abstract We define a notion of a measured length space having
More informationExercise 1 (Formula for connection 1-forms) Using the first structure equation, show that
1 Stokes s Theorem Let D R 2 be a connected compact smooth domain, so that D is a smooth embedded circle. Given a smooth function f : D R, define fdx dy fdxdy, D where the left-hand side is the integral
More informationRecent progress on the explicit inversion of geodesic X-ray transforms
Recent progress on the explicit inversion of geodesic X-ray transforms François Monard Department of Mathematics, University of Washington. Geometric Analysis and PDE seminar University of Cambridge, May
More informationGeneralized Ricci Bounds and Convergence of Metric Measure Spaces
Generalized Ricci Bounds and Convergence of Metric Measure Spaces Bornes Généralisées de la Courbure Ricci et Convergence des Espaces Métriques Mesurés Karl-Theodor Sturm a a Institut für Angewandte Mathematik,
More informationJacobi fields. Introduction to Riemannian Geometry Prof. Dr. Anna Wienhard und Dr. Gye-Seon Lee
Jacobi fields Introduction to Riemannian Geometry Prof. Dr. Anna Wienhard und Dr. Gye-Seon Lee Sebastian Michler, Ruprecht-Karls-Universität Heidelberg, SoSe 2015 July 15, 2015 Contents 1 The Jacobi equation
More informationMonotone Point-to-Set Vector Fields
Monotone Point-to-Set Vector Fields J.X. da Cruz Neto, O.P.Ferreira and L.R. Lucambio Pérez Dedicated to Prof.Dr. Constantin UDRIŞTE on the occasion of his sixtieth birthday Abstract We introduce the concept
More informationL19: Fredholm theory. where E u = u T X and J u = Formally, J-holomorphic curves are just 1
L19: Fredholm theory We want to understand how to make moduli spaces of J-holomorphic curves, and once we have them, how to make them smooth and compute their dimensions. Fix (X, ω, J) and, for definiteness,
More informationHopf-Rinow and Hadamard Theorems
Summersemester 2015 University of Heidelberg Riemannian geometry seminar Hopf-Rinow and Hadamard Theorems by Sven Grützmacher supervised by: Dr. Gye-Seon Lee Prof. Dr. Anna Wienhard Contents Introduction..........................................
More informationTHE DOUBLE COVER RELATIVE TO A CONVEX DOMAIN AND THE RELATIVE ISOPERIMETRIC INEQUALITY
J. Aust. Math. Soc. 80 (2006), 375 382 THE DOUBLE COVER RELATIVE TO A CONVEX DOMAIN AND THE RELATIVE ISOPERIMETRIC INEQUALITY JAIGYOUNG CHOE (Received 18 March 2004; revised 16 February 2005) Communicated
More informationQuasi-conformal minimal Lagrangian diffeomorphisms of the
Quasi-conformal minimal Lagrangian diffeomorphisms of the hyperbolic plane (joint work with J.M. Schlenker) January 21, 2010 Quasi-symmetric homeomorphism of a circle A homeomorphism φ : S 1 S 1 is quasi-symmetric
More informationGeometric control and dynamical systems
Université de Nice - Sophia Antipolis & Institut Universitaire de France 9th AIMS International Conference on Dynamical Systems, Differential Equations and Applications Control of an inverted pendulum
More informationOn a Class of Multidimensional Optimal Transportation Problems
Journal of Convex Analysis Volume 10 (2003), No. 2, 517 529 On a Class of Multidimensional Optimal Transportation Problems G. Carlier Université Bordeaux 1, MAB, UMR CNRS 5466, France and Université Bordeaux
More informationarxiv: v2 [math.oc] 25 Sep 2012
From Knothe s Rearrangement to Brenier s Optimal Transport Map arxiv:1205.1099v2 [math.oc] 25 Sep 2012 Nicolas Bonnotte Université Paris-Sud, Orsay Scuola Normale Superiore, Pisa May 1, 2014 (revised version)
More informationA GEODESIC EQUATION IN THE SPACE OF SASAKIAN METRICS. Dedicated to Professor S.T. Yau on the occasion of his 60th birthday
A GEODESIC EQUATION IN THE SPACE OF SASAKIAN ETRICS PENGFEI GUAN AND XI ZHANG Dedicated to Professor S.T. Yau on the occasion of his 60th birthday This paper is to draw attention to a geodesic equation
More informationAPPLICATIONS OF DIFFERENTIABILITY IN R n.
APPLICATIONS OF DIFFERENTIABILITY IN R n. MATANIA BEN-ARTZI April 2015 Functions here are defined on a subset T R n and take values in R m, where m can be smaller, equal or greater than n. The (open) ball
More informationCUT LOCI AND DISTANCE FUNCTIONS
Math. J. Okayama Univ. 49 (2007), 65 92 CUT LOCI AND DISTANCE FUNCTIONS Jin-ichi ITOH and Takashi SAKAI 1. Introduction Let (M, g) be a compact Riemannian manifold and d(p, q) the distance between p, q
More informationLECTURE 21: THE HESSIAN, LAPLACE AND TOPOROGOV COMPARISON THEOREMS. 1. The Hessian Comparison Theorem. We recall from last lecture that
LECTURE 21: THE HESSIAN, LAPLACE AND TOPOROGOV COMPARISON THEOREMS We recall from last lecture that 1. The Hessian Comparison Theorem K t) = min{kπ γt) ) γt) Π γt) }, K + t) = max{k Π γt) ) γt) Π γt) }.
More informationB 1 = {B(x, r) x = (x 1, x 2 ) H, 0 < r < x 2 }. (a) Show that B = B 1 B 2 is a basis for a topology on X.
Math 6342/7350: Topology and Geometry Sample Preliminary Exam Questions 1. For each of the following topological spaces X i, determine whether X i and X i X i are homeomorphic. (a) X 1 = [0, 1] (b) X 2
More informationarxiv: v2 [math.mg] 10 Apr 2015
lexandrov meets Lott Villani Sturm nton Petrunin arxiv:1003.5948v2 [math.mg] 10 pr 2015 bstract Here I show compatibility of two definition of generalized curvature bounds the lower bound for sectional
More informationMinimizing properties of geodesics and convex neighborhoods
Minimizing properties of geodesics and convex neighorhoods Seminar Riemannian Geometry Summer Semester 2015 Prof. Dr. Anna Wienhard, Dr. Gye-Seon Lee Hyukjin Bang July 10, 2015 1. Normal spheres In the
More informationBanach Spaces V: A Closer Look at the w- and the w -Topologies
BS V c Gabriel Nagy Banach Spaces V: A Closer Look at the w- and the w -Topologies Notes from the Functional Analysis Course (Fall 07 - Spring 08) In this section we discuss two important, but highly non-trivial,
More informationStability of Feedback Solutions for Infinite Horizon Noncooperative Differential Games
Stability of Feedback Solutions for Infinite Horizon Noncooperative Differential Games Alberto Bressan ) and Khai T. Nguyen ) *) Department of Mathematics, Penn State University **) Department of Mathematics,
More informationLecture 4 Lebesgue spaces and inequalities
Lecture 4: Lebesgue spaces and inequalities 1 of 10 Course: Theory of Probability I Term: Fall 2013 Instructor: Gordan Zitkovic Lecture 4 Lebesgue spaces and inequalities Lebesgue spaces We have seen how
More informationAlexandrov meets Lott-Villani-Sturm
Münster J. of Math. 4 (2011), 53 64 Münster Journal of Mathematics urn:nbn:de:hbz:6-32449569769 c Münster J. of Math. 2011 lexandrov meets Lott-Villani-Sturm nton Petrunin (Communicated by Burkhard Wilking)
More informationIsodiametric problem in Carnot groups
Conference Geometric Measure Theory Université Paris Diderot, 12th-14th September 2012 Isodiametric inequality in R n Isodiametric inequality: where ω n = L n (B(0, 1)). L n (A) 2 n ω n (diam A) n Isodiametric
More informationINSTANTON MODULI AND COMPACTIFICATION MATTHEW MAHOWALD
INSTANTON MODULI AND COMPACTIFICATION MATTHEW MAHOWALD () Instanton (definition) (2) ADHM construction (3) Compactification. Instantons.. Notation. Throughout this talk, we will use the following notation:
More informationA class of non-convex polytopes that admit no orthonormal basis of exponentials
A class of non-convex polytopes that admit no orthonormal basis of exponentials Mihail N. Kolountzakis and Michael Papadimitrakis 1 Abstract A conjecture of Fuglede states that a bounded measurable set
More informationCompactness of Symplectic critical surfaces
August 2016 Outline Symplectic surfaces 1 Symplectic surfaces 2 3 4 5 Symplectic surfaces Let M be a compact Kähler surface, let ω be the Kähler form. For a compact oriented real surface Σ without boundary
More information