Spaces with Ricci curvature bounded from below

Size: px
Start display at page:

Download "Spaces with Ricci curvature bounded from below"

Transcription

1 Spaces with Ricci curvature bounded from below Nicola Gigli February 23, 2015

2 Topics 1) On the definition of spaces with Ricci curvature bounded from below 2) Analytic properties of RCD(K, N) spaces 3) Geometric properties of RCD(K, N) spaces 4) More on the differential structure of metric measure spaces

3 Topics 1) On the definition of spaces with Ricci curvature bounded from below 2) Analytic properties of RCD(K, N) spaces 3) Geometric properties of RCD(K, N) spaces 4) More on the differential structure of metric measure spaces

4 On the definition of spaces with Ricci curvature bounded from below Introduction The gradient flow of the relative entropy w.r.t. W 2 The gradient flow of the Dirichlet energy w.r.t. L 2 The heat flow as gradient flow

5 On the definition of spaces with Ricci curvature bounded from below Introduction The gradient flow of the relative entropy w.r.t. W 2 The gradient flow of the Dirichlet energy w.r.t. L 2 The heat flow as gradient flow

6 Completion / Compactification A common practice in various fields of mathematic is to start studying a certain class of smooth or nice objects, and to close it w.r.t. some relevant topology. In general, the study of the limit objects turns out to be useful to understand the properties of the original ones.

7 Gromov s plan When the original class of objects are Riemannian manifolds with some curvature bounds, this program has been proposed by Gromov.

8 Gromov s plan When the original class of objects are Riemannian manifolds with some curvature bounds, this program has been proposed by Gromov. Topology Synthetic notion Bounds from above/below on sectional curvature Bounds from below on the Ricci curvature

9 Gromov s plan When the original class of objects are Riemannian manifolds with some curvature bounds, this program has been proposed by Gromov. Topology Synthetic notion Bounds from above/below on sectional curvature Gromov-Hausdorff convergence Bounds from below on the Ricci curvature

10 Gromov s plan When the original class of objects are Riemannian manifolds with some curvature bounds, this program has been proposed by Gromov. Topology Synthetic notion Bounds from above/below on Gromov-Hausdorff Alexandrov spaces sectional curvature convergence Bounds from below on the Ricci curvature

11 Gromov s plan When the original class of objects are Riemannian manifolds with some curvature bounds, this program has been proposed by Gromov. Topology Synthetic notion Bounds from above/below on Gromov-Hausdorff Alexandrov spaces sectional curvature convergence Bounds from below on the Ricci curvature measured Gromov-Hausdorff convergence

12 Gromov s plan When the original class of objects are Riemannian manifolds with some curvature bounds, this program has been proposed by Gromov. Topology Synthetic notion Bounds from above/below on Gromov-Hausdorff Alexandrov spaces sectional curvature convergence Bounds from measured CD(K, N) spaces / below on the Gromov-Hausdorff RCD(K, N) spaces Ricci curvature convergence

13 Aim of the game (1) To understand what it means for a metric measure space to have Ricci curvature bounded from below (2) To prove in the non-smooth setting all the theorems valid for manifolds with Ric K, dim N and their limits (3) To better understand the geometry of smooth manifolds via the study of non-smooth objects

14 The curvature condition Theorem (Sturm-VonRenesse 05) - see also Otto-Villani and Cordero Erausquin-McCann-Schmuckenschlager Let M be a smooth Riemannian manifold. Then the following are equivalent: i) The Ricci curvature of M is uniformly bounded from below by K ii) The relative entropy functional is K -convex on the space (P 2 (M), W 2 )

15 The curvature condition Theorem (Sturm-VonRenesse 05) - see also Otto-Villani and Cordero Erausquin-McCann-Schmuckenschlager Let M be a smooth Riemannian manifold. Then the following are equivalent: i) The Ricci curvature of M is uniformly bounded from below by K ii) The relative entropy functional is K -convex on the space (P 2 (M), W 2 ) Definition (Lott-Villani and Sturm 06) (X, d, m) has Ricci curvature bounded from below by K if the relative entropy is K -convex on (P 2 (X), W 2 ). Called CD(K, ) spaces, in short.

16 The curvature condition Theorem (Sturm-VonRenesse 05) - see also Otto-Villani and Cordero Erausquin-McCann-Schmuckenschlager Let M be a smooth Riemannian manifold. Then the following are equivalent: i) The Ricci curvature of M is uniformly bounded from below by K ii) The relative entropy functional is K -convex on the space (P 2 (M), W 2 ) Definition (Lott-Villani and Sturm 06) (X, d, m) has Ricci curvature bounded from below by K if the relative entropy is K -convex on (P 2 (X), W 2 ). Called CD(K, ) spaces, in short. Basic features of the CD(K, ) condition: Compatibility with the Riemannian case Stability w.r.t. mg convergence More general CD(K, N) spaces can be introduced

17 Finsler structures are included Cordero-Erausquin, Villani, Sturm proved that (R d,, L d ) is a CD(0, ) space (in fact CD(0, d)) for any norm.

18 Finsler structures are included Cordero-Erausquin, Villani, Sturm proved that (R d,, L d ) is a CD(0, ) space (in fact CD(0, d)) for any norm. Some differences between the Finsler and Riemannian worlds: Analysis: Tangent / cotangent spaces can t be identified No natural Dirichlet form Geometry: no Abresch-Gromoll inequality no Splitting theorem

19 Some observations For a given Finsler manifold the following are equivalent: The manifold is Riemannian The Sobolev space W 1,2 is Hilbert The heat flow is linear The heat flow can be seen as: Gradient flow of the Dirichlet energy w.r.t. L 2 Gradient flow of the relative entropy w.r.t. W2

20 The idea Restrict to the class of CD(K, ) spaces such that W 1,2 is Hilbert, because if we were able to make computations as in Riemannian manifolds, we should be able to prove the same results.

21 The idea Restrict to the class of CD(K, ) spaces such that W 1,2 is Hilbert, because if we were able to make computations as in Riemannian manifolds, we should be able to prove the same results. The non-trivial task here is to prove that the resulting notion is stable w.r.t. mgh convergence.

22 The idea Restrict to the class of CD(K, ) spaces such that W 1,2 is Hilbert, because if we were able to make computations as in Riemannian manifolds, we should be able to prove the same results. The non-trivial task here is to prove that the resulting notion is stable w.r.t. mgh convergence.this will be achieved by: noticing that, even in the non-smooth case, W 1,2 is Hilbert if and only if the L 2 gradient flow of the Dirichlet energy is linear proving that the L 2 gradient flow of the Dirichlet energy coincides with the W 2 -gradient flow of the relative entropy proving that the W 2 -gradient flow of the relative entropy is stable

23 The idea Restrict to the class of CD(K, ) spaces such that W 1,2 is Hilbert, because if we were able to make computations as in Riemannian manifolds, we should be able to prove the same results. The non-trivial task here is to prove that the resulting notion is stable w.r.t. mgh convergence.this will be achieved by: noticing that, even in the non-smooth case, W 1,2 is Hilbert if and only if the L 2 gradient flow of the Dirichlet energy is linear proving that the L 2 gradient flow of the Dirichlet energy coincides with the W 2 -gradient flow of the relative entropy proving that the W 2 -gradient flow of the relative entropy is stable Plan pursued in: G. 09 G., Kuwada, Ohta 10 Ambrosio, G., Savaré 11 G. 11

24 On the definition of spaces with Ricci curvature bounded from below Introduction The gradient flow of the relative entropy w.r.t. W 2 The gradient flow of the Dirichlet energy w.r.t. L 2 The heat flow as gradient flow

25 Definition of Gradient Flow: the smooth case Let (x t ) R d a smooth curve and f : R d R a smooth functional. Then f (x 0 ) f (x t ) t t x s f (x s ) ds 0 x s 2 + f 2 (x s ) ds.

26 Definition of Gradient Flow: the smooth case Let (x t ) R d a smooth curve and f : R d R a smooth functional. Then f (x 0 ) f (x t ) t 1 2 Therefore 0 t x t = f (x t ), t 0 f (x 0 ) = f (x t ) t 0 x s f (x s ) ds 0 x s 2 + f 2 (x s ) ds. x s 2 + f 2 (x s ) ds, t > 0.

27 Definition of Gradient Flow: the metric setting d(x t+h, x t ) ẋ t := lim for an abs.cont. curve (x t ) h 0 h (F (x) F(y)) + F (x) := lim y x d(x, y) The weak chain rule F (x 0 ) F(x t ) t 0 ẋ s 2 + F 2 (x s ) ds, t > 0. holds for K -convex and l.s.c. F : X R {+ }.

28 Definition of Gradient Flow: the metric setting d(x t+h, x t ) ẋ t := lim for an abs.cont. curve (x t ) h 0 h (F (x) F(y)) + F (x) := lim y x d(x, y) The weak chain rule F (x 0 ) F(x t ) t 0 ẋ s 2 + F 2 (x s ) ds, t > 0. holds for K -convex and l.s.c. F : X R {+ }. Definition (x t ) is a Gradient Flow for the K -conv. and l.s.c. functional F provided (x t ) {F < } is a loc.abs.cont. curve and F(x 0 ) = F (x t ) t 0 ẋ s 2 + F 2 (x s ) ds, t > 0.

29 General results about GF of K -convex functionals Existence Granted if the space is compact and F(x 0 ) < (Ambrosio, G., Savaré 04 (after De Giorgi)) Uniqueness False in general

30 Basic facts about the GF of the Entropy Thm. (G. 09) Let (X, d, m) be a compact CD(K, ) space. Then for µ P 2 (X) with Ent m (µ) < the GF of Ent m starting from µ exists and is unique.

31 Basic facts about the GF of the Entropy Thm. (G. 09) Let (X, d, m) be a compact CD(K, ) space. Then for µ P 2 (X) with Ent m (µ) < the GF of Ent m starting from µ exists and is unique. Furthermore, such flow is stable w.r.t. mg-convergence of the base space.

32 Proof of uniqueness Key Lemma Let (X, d, m) be a compact CD(K, ) space. Then Ent m 2 ( ) is convex w.r.t. linear interpolation.

33 Proof of uniqueness Key Lemma Let (X, d, m) be a compact CD(K, ) space. Then Ent m 2 ( ) is convex w.r.t. linear interpolation. Then by contradiction: assume (µ t ), (ν t ) are two GF starting from µ with Ent m ( µ) < and define σ t := µt +νt 2. Then for every t such that µ t ν t we have Ent m ( µ) > Ent m (σ t ) t 0 σ s 2 + Ent m 2 (σ s ) ds

34 mg convergence of compact spaces (X n, d n, m n ) converges to (X, d, m ) in the mg sense if there is (Y, d Y ) and isometric embeddings ι n, ι of the X s into Y such that (ι n ) m n weakly converges to (ι ) m

35 mg convergence of compact spaces (X n, d n, m n ) converges to (X, d, m ) in the mg sense if there is (Y, d Y ) and isometric embeddings ι n, ι of the X s into Y such that (ι n ) m n weakly converges to (ι ) m We say that n µ n P(X n ) weakly converges to µ P(X ) provided (ι n ) µ n weakly converges to (ι ) µ

36 Γ-convergence of the entropies Thm. (Lott-Sturm-Villani) Let (X n, d n, m n ) be converging to (X, d, m ). Then: Γ lim inequality: for every sequence n µ n P(X n ) weakly converging to µ P(X ) we have Ent m (µ ) lim Ent mn (µ n ). n Γ lim inequality: for every µ P(X ) there is a sequence n µ n P(X n ) weakly converging to µ such that Ent m (µ ) lim n Ent mn (µ n ).

37 Γ-convergence of the entropies Thm. (Lott-Sturm-Villani) Let (X n, d n, m n ) be converging to (X, d, m ). Then: Γ lim inequality: for every sequence n µ n P(X n ) weakly converging to µ P(X ) we have Ent m (µ ) lim Ent mn (µ n ). n Γ lim inequality: for every µ P(X ) there is a sequence n µ n P(X n ) weakly converging to µ such that Ent m (µ ) lim n Ent mn (µ n ). Cor. The CD(K, ) condition is closed w.r.t. mg convergence.

38 Γ lim for the slopes Thm. (G. 09) Let X n be CD(K, ) spaces mg-converging to X and µ n weakly converging to µ. Then Ent m (µ ) lim Ent mn (µ n ). n

39 Γ lim for the slopes Thm. (G. 09) Let X n be CD(K, ) spaces mg-converging to X and µ n weakly converging to µ. Then Ent m (µ ) lim Ent mn (µ n ). n Cor. 1 Let X n be mg-converging to X and µ n be weakly converging to µ be such that lim Ent m n (µ n ) = Ent m (µ ) <. n Then the GF of Ent mn starting from µ. starting from µ n converge to the GF of Ent m

40 Γ lim for the slopes Thm. (G. 09) Let X n be CD(K, ) spaces mg-converging to X and µ n weakly converging to µ. Then Ent m (µ ) lim Ent mn (µ n ). n Cor. 1 Let X n be mg-converging to X and µ n be weakly converging to µ be such that lim Ent m n (µ n ) = Ent m (µ ) <. n Then the GF of Ent mn starting from µ. starting from µ n converge to the GF of Ent m Cor. 2 The condition CD(K, )+linearity of the GF of the entropy is closed w.r.t. mg convergence.

41 On the definition of spaces with Ricci curvature bounded from below Introduction The gradient flow of the relative entropy w.r.t. W 2 The gradient flow of the Dirichlet energy w.r.t. L 2 The heat flow as gradient flow

42 Variational definition of Df on R d Let f : R d R be smooth. Then Df is the minimum continuous function G for which f (γ 1 ) f (γ 0 ) holds for any smooth curve γ 1 0 G(γ t ) γ t dt

43 Test plans Let π P(C([0, 1], X)). We say that π is a test plan provided: for some C > 0 it holds e t π Cm, t [0, 1]. it holds 1 0 γ t 2 dt dπ <

44 The Sobolev class S 2 (X, d, m) We say that f : X R belongs to S 2 (X, d, m) provided there exists G L 2 (X, m), G 0 such that for any test plan π. f (γ1 ) f (γ 0 ) 1 dπ(γ) G(γ t ) γ t dt dπ(γ) 0 Any such G is called weak upper gradient of f. The minimal G in the m-a.e. sense will be denoted by Df

45 Basic properties Lower semicontinuity From f n f m-a.e. with f n S 2 and Df n G weakly in L 2 we deduce f S 2, Df G Locality Df = Dg m-a.e. on {f = g} Chain rule for ϕ Lipschitz D(ϕ f ) = ϕ f Df Leibniz rule for f, g S 2 L D(fg) f Dg + g Df

46 The Energy E and the Sobolev space W 1,2 We define E : L 2 (X, m) [0, + ] as E(f ) := 1 Df 2 dm if f S 2 (X), + otherwise. 2 Then E is convex and lower semicontinuous.

47 The Energy E and the Sobolev space W 1,2 We define E : L 2 (X, m) [0, + ] as E(f ) := 1 Df 2 dm if f S 2 (X), + otherwise. 2 Then E is convex and lower semicontinuous. The Sobolev space W 1,2 (X) is W 1,2 (X) := L 2 (X) S 2 (X) endowed with the norm f 2 W 1,2 := f 2 L 2 + Df 2 L 2 W 1,2 (X) is a Banach space.

48 Laplacian (first definition) We say that f D( ) W 1,2 (X) if E(f ) 0. In this case we define f := v, where v is the element of minimal norm in E(f ).

49 Integration by parts For f D( ) and g W 1,2 (X) we have g f dm Dg Df dm. For a C 1 map u : R R we have u(f ) f dm = u (f ) Df 2 dm.

50 Gradient flow of E w.r.t. L 2 For any f 0 L 2 (X, m) there exists a unique map t f t L 2 (X, m) such that d + dt f t = f t, t > 0.

51 On the definition of spaces with Ricci curvature bounded from below Introduction The gradient flow of the relative entropy w.r.t. W 2 The gradient flow of the Dirichlet energy w.r.t. L 2 The heat flow as gradient flow

52 The result Thm. (G., Kuwada, Ohta 10. Ambrosio, G. Savaré 11) Let (X, d, m) be a CD(K, ) space and µ = f m P 2 (X) with f L 2 (X, m). Let t f t be the GF of E w.r.t. L 2 starting from f t µ t be the GF of Ent m w.r.t. W 2 starting from µ Then µ t = f t m t 0.

53 The result Thm. (G., Kuwada, Ohta 10. Ambrosio, G. Savaré 11) Let (X, d, m) be a CD(K, ) space and µ = f m P 2 (X) with f L 2 (X, m). Let t f t be the GF of E w.r.t. L 2 starting from f t µ t be the GF of Ent m w.r.t. W 2 starting from µ Then µ t = f t m t 0. The idea is to pick a Gradient Flow of E and prove that it is a Gradient Flow of Ent m

54 Main steps of the proof Let t f t be a Gradient Flow of E starting from a probability density f 0 and define µ t = f t m.

55 Main steps of the proof Let t f t be a Gradient Flow of E starting from a probability density f 0 and define µ t = f t m. We will prove: Mass preservation and maximum/minimum principle to show that c f 0 C implies c f t C for every t 0 That t Ent m (µ t ) is a.c. and The slope estimate: That (µ t ) is a.c. w.r.t. W 2 and Dft 2 t Ent m (µ t ) = dm Ent m 2 Dft 2 (µ t ) dm f t f t µ t 2 Dft 2 dm f t

56 Maximum/minimum principle ad mass preservation We claim that for any f L 2 such that f c and any τ > 0 the minimum of g 1 Dg 2 dm + f g 2 L 2, 2 2τ satisfies g c.

57 Maximum/minimum principle ad mass preservation We claim that for any f L 2 such that f c and any τ > 0 the minimum of g 1 Dg 2 dm + f g 2 L 2, 2 2τ satisfies g c. If not, the function max{g, c} provides a better competitor.

58 Maximum/minimum principle ad mass preservation We claim that for any f L 2 such that f c and any τ > 0 the minimum of g 1 Dg 2 dm + f g 2 L 2, 2 2τ satisfies g c. If not, the function max{g, c} provides a better competitor. The minimum principle follows from the convergence of the implicit Euler scheme to the Gradient Flow

59 Maximum/minimum principle ad mass preservation We claim that for any f L 2 such that f c and any τ > 0 the minimum of g 1 Dg 2 dm + f g 2 L 2, 2 2τ satisfies g c. If not, the function max{g, c} provides a better competitor. The minimum principle follows from the convergence of the implicit Euler scheme to the Gradient Flow Similarly the minimizer g satisfies g dm = f dm

60 Entropy dissipation For 0 < c f 0 C < the curve t f t L 2 (X, m) is AC.

61 Entropy dissipation For 0 < c f 0 C < the curve t f t L 2 (X, m) is AC. Then so is the curve t u(f t ) L 2 (X, m) L 1 (X, m) for u(z) = z log z.

62 Entropy dissipation For 0 < c f 0 C < the curve t f t L 2 (X, m) is AC. Then so is the curve t u(f t ) L 2 (X, m) L 1 (X, m) for u(z) = z log z. Computing we have t u(f t ) dm = u (f t ) f t dm = u (f t ) Df t 2 dm

63 Slope of the entropy and Fisher information Lemma (Lott-Villani) For µ = f m with f Lipschitz we have lip Ent m 2 2 f (µ) f dm where lip f (x) := lim y x f (y) f (x) d(x, y)

64 Slope of the entropy and Fisher information Lemma (Lott-Villani) For µ = f m with f Lipschitz we have lip Ent m 2 2 f (µ) f dm where lip f (x) := lim y x f (y) f (x) d(x, y) By relaxation, using the weak lower semicontinuity of the slope we deduce Df Ent m 2 2 (µ) dm = 4 D f 2 dm f for every µ = f m with f W 1,2.

65 The non-trivial property: Kuwada s lemma Suppose that µ 0 := f m is in P 2 (X).

66 The non-trivial property: Kuwada s lemma Suppose that µ 0 := f m is in P 2 (X). Then µ t := f t m is in P 2 (X) and the curve t µ t is absolutely continuous w.r.t. W 2 and µ t 2 Dft 2 dm f t

67 Hamilton-Jacobi semigroup alias Hopf-Lax formula alias Moreau-Yosida approximation alias inf-convolution Let (X, d) be a metric space. For ψ : X R Lipschitz and bounded t > 0 we define Q t ψ : X R by Q t ψ(x) := inf ψ(y) + d 2 (x, y) y X 2t

68 Hamilton-Jacobi semigroup alias Hopf-Lax formula alias Moreau-Yosida approximation alias inf-convolution Let (X, d) be a metric space. For ψ : X R Lipschitz and bounded t > 0 we define Q t ψ : X R by Q t ψ(x) := inf ψ(y) + d 2 (x, y) y X 2t Then: Q t ψ is Lipschitz for every t > 0, t Q t ψ is a Lipschitz curve w.r.t. the sup distance (Q 0 ψ := ψ),

69 Solutions of Hamilton-Jacobi equation For any x X the map t Q t ϕ(x) is locally Lipschitz and it holds ( d dt Q lipqt ϕ(x) ) 2 tϕ(x) + 0, 2 for every t 0 with the possible exception of a countable set.

70 Solutions of Hamilton-Jacobi equation For any x X the map t Q t ϕ(x) is locally Lipschitz and it holds ( d dt Q lipqt ϕ(x) ) 2 tϕ(x) + 0, 2 for every t 0 with the possible exception of a countable set. = holds if the space is geodesic

71 Estimating W 2 (µ t, µ t+s ) by duality 1 2 W 2 2 (µ t, µ t+s ) = sup ϕ LIP = sup ψ LIP ϕf t dm + Q 1 ψf t+s dm ϕ c f t+s dm ψf t dm

72 Key computation r Q r ψ and r f t+rs are Lipschitz curves with values in L 2 (X, m).

73 Key computation r Q r ψ and r f t+rs are Lipschitz curves with values in L 2 (X, m). Thus Q 1 ψf t+s ψf t dm 1 d ) = (Q r ψf t+rs dr dm dr 0 1 = (lipq r ψ) 2 f t+rs + sq r ψ f t+rs dr dm 2 (lipq r ψ) (lipq r ψ) s2 Df t+rs 2 2 f t+rs 0 f t+rs + DQ r ψ s Df t+rs f t+rs dr dm f t+rs f t+rs + DQ r ψ 2 f t+rs + s2 Df t+rs 2 dr dm 2 2 f t+rs dr dm.

74 Conclusion of the argument W 2 2 (µ t, µ t+s ) s 2 1 s2 c s2 c Df 2 t+rs f t+rs Df t 2 dm dm dr Df t+rs 2 dm dr

75 Spaces with Riemannian Ricci curvature bounded from below RCD(K, N) := CD(K, N) + linearity of the heat flow = CD(K, N) + W 1,2 is Hilbert

76 Thank you

Spaces with Ricci curvature bounded from below

Spaces 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 information

Discrete Ricci curvature via convexity of the entropy

Discrete Ricci curvature via convexity of the entropy Discrete Ricci curvature via convexity of the entropy Jan Maas University of Bonn Joint work with Matthias Erbar Simons Institute for the Theory of Computing UC Berkeley 2 October 2013 Starting point McCann

More information

Logarithmic Sobolev Inequalities

Logarithmic 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 information

Density of Lipschitz functions and equivalence of weak gradients in metric measure spaces

Density of Lipschitz functions and equivalence of weak gradients in metric measure spaces Density of Lipschitz functions and equivalence of weak gradients in metric measure spaces Luigi Ambrosio Nicola Gigli Giuseppe Savaré May 16, 212 Abstract We compare several notion of weak (modulus of)

More information

Metric measure spaces with Ricci lower bounds, Lecture 1

Metric measure spaces with Ricci lower bounds, Lecture 1 Metric measure spaces with Ricci lower bounds, Lecture 1 Andrea Mondino (Zurich University) MSRI-Berkeley 20 th January 2016 Motivation-Smooth setting:comparison geometry Question: (M, g) smooth Riemannian

More information

Heat flow on Alexandrov spaces

Heat flow on Alexandrov spaces Heat flow on Alexandrov spaces Nicola Gigli, Kazumasa Kuwada, Shin-ichi Ohta January 19, 2012 Abstract We prove that on compact Alexandrov spaces with curvature bounded below the gradient flow of the Dirichlet

More information

Ricci Curvature and Bochner Formula on Alexandrov Spaces

Ricci Curvature and Bochner Formula on Alexandrov Spaces Ricci Curvature and Bochner Formula on Alexandrov Spaces Sun Yat-sen University March 18, 2013 (work with Prof. Xi-Ping Zhu) Contents Alexandrov Spaces Generalized Ricci Curvature Geometric and Analytic

More information

Entropic curvature-dimension condition and Bochner s inequality

Entropic curvature-dimension condition and Bochner s inequality Entropic curvature-dimension condition and Bochner s inequality Kazumasa Kuwada (Ochanomizu University) joint work with M. Erbar and K.-Th. Sturm (Univ. Bonn) German-Japanese conference on stochastic analysis

More information

arxiv: v1 [math.mg] 28 Sep 2017

arxiv: v1 [math.mg] 28 Sep 2017 Ricci tensor on smooth metric measure space with boundary Bang-Xian Han October 2, 2017 arxiv:1709.10143v1 [math.mg] 28 Sep 2017 Abstract Theaim of this note is to studythemeasure-valued Ricci tensor on

More information

ON THE VOLUME MEASURE OF NON-SMOOTH SPACES WITH RICCI CURVATURE BOUNDED BELOW

ON THE VOLUME MEASURE OF NON-SMOOTH SPACES WITH RICCI CURVATURE BOUNDED BELOW ON THE VOLUME MEASURE OF NON-SMOOTH SPACES WITH RICCI CURVATURE BOUNDED BELOW MARTIN KELL AND ANDREA MONDINO Abstract. We prove that, given an RCD (K, N)-space (X, d, m), then it is possible to m-essentially

More information

Local semiconvexity of Kantorovich potentials on non-compact manifolds

Local 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 information

Ricci curvature for metric-measure spaces via optimal transport

Ricci 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 information

RESEARCH STATEMENT MICHAEL MUNN

RESEARCH STATEMENT MICHAEL MUNN RESEARCH STATEMENT MICHAEL MUNN Ricci curvature plays an important role in understanding the relationship between the geometry and topology of Riemannian manifolds. Perhaps the most notable results in

More information

ON THE VOLUME MEASURE OF NON-SMOOTH SPACES WITH RICCI CURVATURE BOUNDED BELOW

ON THE VOLUME MEASURE OF NON-SMOOTH SPACES WITH RICCI CURVATURE BOUNDED BELOW ON THE VOLUME MEASURE OF NON-SMOOTH SPACES WITH RICCI CURVATURE BOUNDED BELOW MARTIN KELL AND ANDREA MONDINO Abstract. We prove that, given an RCD (K, N)-space (X, d, m), then it is possible to m-essentially

More information

Metric measure spaces with Riemannian Ricci curvature bounded from below Lecture I

Metric measure spaces with Riemannian Ricci curvature bounded from below Lecture I 1 Metric measure spaces with Riemannian Ricci curvature bounded from below Lecture I Giuseppe Savaré http://www.imati.cnr.it/ savare Dipartimento di Matematica, Università di Pavia Analysis and Geometry

More information

EXAMPLE OF A FIRST ORDER DISPLACEMENT CONVEX FUNCTIONAL

EXAMPLE 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 information

Alexandrov meets Lott-Villani-Sturm

Alexandrov 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 information

arxiv: v2 [math.mg] 10 Apr 2015

arxiv: 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 information

Generalized Ricci Bounds and Convergence of Metric Measure Spaces

Generalized 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 information

Discrete Ricci curvature: Open problems

Discrete Ricci curvature: Open problems Discrete Ricci curvature: Open problems Yann Ollivier, May 2008 Abstract This document lists some open problems related to the notion of discrete Ricci curvature defined in [Oll09, Oll07]. Do not hesitate

More information

Heat Flows, Geometric and Functional Inequalities

Heat Flows, Geometric and Functional Inequalities Heat Flows, Geometric and Functional Inequalities M. Ledoux Institut de Mathématiques de Toulouse, France heat flow and semigroup interpolations Duhamel formula (19th century) pde, probability, dynamics

More information

Geodesics on Shape Spaces with Bounded Variation and Sobolev Metrics

Geodesics on Shape Spaces with Bounded Variation and Sobolev Metrics Geodesics on Shape Spaces with Bounded Variation and Sobolev Metrics arxiv:142.654v6 [math.oc] 26 Dec 214 Giacomo Nardi, Gabriel Peyré, François-Xavier Vialard Ceremade, Université Paris-Dauphine Abstract

More information

WEAK CURVATURE CONDITIONS AND FUNCTIONAL INEQUALITIES

WEAK CURVATURE CONDITIONS AND FUNCTIONAL INEQUALITIES WEA CURVATURE CODITIOS AD FUCTIOAL IEQUALITIES JOH LOTT AD CÉDRIC VILLAI Abstract. We give sufficient conditions for a measured length space (, d, ν to admit local and global Poincaré inequalities, along

More information

ICM 2014: The Structure and Meaning. of Ricci Curvature. Aaron Naber ICM 2014: Aaron Naber

ICM 2014: The Structure and Meaning. of Ricci Curvature. Aaron Naber ICM 2014: Aaron Naber Outline of Talk Background and Limit Spaces Structure of Spaces with Lower Ricci Regularity of Spaces with Bounded Ricci Characterizing Ricci Background: s (M n, g, x) n-dimensional pointed Riemannian

More information

CURVATURE BOUNDS FOR CONFIGURATION SPACES

CURVATURE BOUNDS FOR CONFIGURATION SPACES CURVATURE BOUNDS FOR CONFIGURATION SPACES MATTHIAS ERBAR AND MARTIN HUESMANN Abstract. We show that the configuration space Υ over a manifold M inherits many curvature properties of the manifold. For instance,

More information

Transport Continuity Property

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 information

Radial processes on RCD(K, N) spaces

Radial processes on RCD(K, N) spaces Radial processes on RCD(K, N) spaces Kazumasa Kuwada (Tohoku University) joint work with K. Kuwae (Fukuoka University) Geometric Analysis on Smooth and Nonsmooth Spaces SISSA, 19 23 Jun. 2017 1. Introduction

More information

Sobolev Spaces. Chapter 10

Sobolev Spaces. Chapter 10 Chapter 1 Sobolev Spaces We now define spaces H 1,p (R n ), known as Sobolev spaces. For u to belong to H 1,p (R n ), we require that u L p (R n ) and that u have weak derivatives of first order in L p

More information

SHARP AND RIGID ISOPERIMETRIC INEQUALITIES IN METRIC-MEASURE SPACES WITH LOWER RICCI CURVATURE BOUNDS

SHARP AND RIGID ISOPERIMETRIC INEQUALITIES IN METRIC-MEASURE SPACES WITH LOWER RICCI CURVATURE BOUNDS SHARP AND RIGID ISOPERIMETRIC INEUALITIES IN METRIC-MEASURE SPACES WITH LOWER RICCI CURVATURE BOUNDS FABIO CAVALLETTI AND ANDREA MONDINO Abstract. We prove that if (X, d, m) is a metric measure space with

More information

A new notion of angle between three points in a metric space

A new notion of angle between three points in a metric space A new notion of angle between three points in a metric space Andrea Mondino August 4, 203 Abstract We give a new notion of angle in general metric spaces; more precisely, given a triple a points p, x,

More information

A few words about the MTW tensor

A few words about the MTW tensor A few words about the Ma-Trudinger-Wang tensor Université Nice - Sophia Antipolis & Institut Universitaire de France Salah Baouendi Memorial Conference (Tunis, March 2014) The Ma-Trudinger-Wang tensor

More information

Optimal transport and Ricci curvature in Finsler geometry

Optimal transport and Ricci curvature in Finsler geometry ASP.tex : 2010/1/22 (15:59) page: 1 Advanced Studies in Pure athematics, pp. 1 20 Optimal transport and Ricci curvature in Finsler geometry Abstract. Shin-ichi Ohta This is a survey article on recent progress

More information

COMMENT 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 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 information

arxiv:math/ v3 [math.dg] 30 Jul 2007

arxiv:math/ v3 [math.dg] 30 Jul 2007 OPTIMAL TRANSPORT AND RICCI CURVATURE FOR METRIC-MEASURE SPACES ariv:math/0610154v3 [math.dg] 30 Jul 2007 JOHN LOTT Abstract. We survey work of Lott-Villani and Sturm on lower Ricci curvature bounds for

More information

Fokker-Planck Equation on Graph with Finite Vertices

Fokker-Planck Equation on Graph with Finite Vertices Fokker-Planck Equation on Graph with Finite Vertices January 13, 2011 Jointly with S-N Chow (Georgia Tech) Wen Huang (USTC) Hao-min Zhou(Georgia Tech) Functional Inequalities and Discrete Spaces Outline

More information

Displacement convexity of the relative entropy in the discrete h

Displacement convexity of the relative entropy in the discrete h Displacement convexity of the relative entropy in the discrete hypercube LAMA Université Paris Est Marne-la-Vallée Phenomena in high dimensions in geometric analysis, random matrices, and computational

More information

Ricci curvature bounds for warped products and cones

Ricci curvature bounds for warped products and cones Ricci curvature bounds for warped products and cones Dissertation zur Erlangung des Doktorgrades (Dr. rer. nat.) der Mathematisch Naturwissenschaftlichen Fakultät der Rheinischen Friedrich Wilhelms Universität

More information

A REPRESENTATION FOR THE KANTOROVICH RUBINSTEIN DISTANCE DEFINED BY THE CAMERON MARTIN NORM OF A GAUSSIAN MEASURE ON A BANACH SPACE

A REPRESENTATION FOR THE KANTOROVICH RUBINSTEIN DISTANCE DEFINED BY THE CAMERON MARTIN NORM OF A GAUSSIAN MEASURE ON A BANACH SPACE Theory of Stochastic Processes Vol. 21 (37), no. 2, 2016, pp. 84 90 G. V. RIABOV A REPRESENTATION FOR THE KANTOROVICH RUBINSTEIN DISTANCE DEFINED BY THE CAMERON MARTIN NORM OF A GAUSSIAN MEASURE ON A BANACH

More information

Applied Analysis (APPM 5440): Final exam 1:30pm 4:00pm, Dec. 14, Closed books.

Applied Analysis (APPM 5440): Final exam 1:30pm 4:00pm, Dec. 14, Closed books. Applied Analysis APPM 44: Final exam 1:3pm 4:pm, Dec. 14, 29. Closed books. Problem 1: 2p Set I = [, 1]. Prove that there is a continuous function u on I such that 1 ux 1 x sin ut 2 dt = cosx, x I. Define

More information

curvature, mixing, and entropic interpolation Simons Feb-2016 and CSE 599s Lecture 13

curvature, mixing, and entropic interpolation Simons Feb-2016 and CSE 599s Lecture 13 curvature, mixing, and entropic interpolation Simons Feb-2016 and CSE 599s Lecture 13 James R. Lee University of Washington Joint with Ronen Eldan (Weizmann) and Joseph Lehec (Paris-Dauphine) Markov chain

More information

SHARP GEOMETRIC AND FUNCTIONAL INEQUALITIES IN METRIC MEASURE SPACES WITH LOWER RICCI CURVATURE BOUNDS

SHARP GEOMETRIC AND FUNCTIONAL INEQUALITIES IN METRIC MEASURE SPACES WITH LOWER RICCI CURVATURE BOUNDS SHAP GEOMETIC AND FUNCTIONAL INEQUALITIES IN METIC MEASUE SPACES WITH LOWE ICCI CUVATUE BOUNDS FABIO CAVALLETTI AND ANDEA MONDINO Abstract. For metric measure spaces satisfying the reduced curvature-dimension

More information

MINIMAL GRAPHS PART I: EXISTENCE OF LIPSCHITZ WEAK SOLUTIONS TO THE DIRICHLET PROBLEM WITH C 2 BOUNDARY DATA

MINIMAL GRAPHS PART I: EXISTENCE OF LIPSCHITZ WEAK SOLUTIONS TO THE DIRICHLET PROBLEM WITH C 2 BOUNDARY DATA MINIMAL GRAPHS PART I: EXISTENCE OF LIPSCHITZ WEAK SOLUTIONS TO THE DIRICHLET PROBLEM WITH C 2 BOUNDARY DATA SPENCER HUGHES In these notes we prove that for any given smooth function on the boundary of

More information

A new Hellinger-Kantorovich distance between positive measures and optimal Entropy-Transport problems

A new Hellinger-Kantorovich distance between positive measures and optimal Entropy-Transport problems A new Hellinger-Kantorovich distance between positive measures and optimal Entropy-Transport problems Giuseppe Savaré http://www.imati.cnr.it/ savare Dipartimento di Matematica, Università di Pavia Nonlocal

More information

On the Geometry of Metric Measure Spaces. II.

On the Geometry of Metric Measure Spaces. II. Extended Version On the Geometry of etric easure Spaces. II. Karl-Theodor Sturm This is a continuation of our previous paper [St04] On the Geometry of etric easure Spaces where we introduced and analyzed

More information

LECTURE 15: COMPLETENESS AND CONVEXITY

LECTURE 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 information

Functional Analysis HW #3

Functional Analysis HW #3 Functional Analysis HW #3 Sangchul Lee October 26, 2015 1 Solutions Exercise 2.1. Let D = { f C([0, 1]) : f C([0, 1])} and define f d = f + f. Show that D is a Banach algebra and that the Gelfand transform

More information

Calculus of Variations. Final Examination

Calculus of Variations. Final Examination Université Paris-Saclay M AMS and Optimization January 18th, 018 Calculus of Variations Final Examination Duration : 3h ; all kind of paper documents (notes, books...) are authorized. The total score of

More information

SEPARABILITY AND COMPLETENESS FOR THE WASSERSTEIN DISTANCE

SEPARABILITY AND COMPLETENESS FOR THE WASSERSTEIN DISTANCE SEPARABILITY AND COMPLETENESS FOR THE WASSERSTEIN DISTANCE FRANÇOIS BOLLEY Abstract. In this note we prove in an elementary way that the Wasserstein distances, which play a basic role in optimal transportation

More information

Second order differentiation formula on RCD(K, N) spaces

Second order differentiation formula on RCD(K, N) spaces Secon orer ifferentiation formula on RCD(K, N) spaces Nicola Gigli Luca Tamanini February 8, 018 Abstract We prove the secon orer ifferentiation formula along geoesics in finite-imensional RCD(K, N) spaces.

More information

Metric and comparison geometry

Metric and comparison geometry Surveys in Differential Geometry XI Metric and comparison geometry Jeff Cheeger and Karsten Grove The present volume surveys some of the important recent developments in metric geometry and comparison

More information

Mean field games via probability manifold II

Mean field games via probability manifold II Mean field games via probability manifold II Wuchen Li IPAM summer school, 2018. Introduction Consider a nonlinear Schrödinger equation hi t Ψ = h2 1 2 Ψ + ΨV (x) + Ψ R d W (x, y) Ψ(y) 2 dy. The unknown

More information

ON WEAKLY NONLINEAR BACKWARD PARABOLIC PROBLEM

ON WEAKLY NONLINEAR BACKWARD PARABOLIC PROBLEM ON WEAKLY NONLINEAR BACKWARD PARABOLIC PROBLEM OLEG ZUBELEVICH DEPARTMENT OF MATHEMATICS THE BUDGET AND TREASURY ACADEMY OF THE MINISTRY OF FINANCE OF THE RUSSIAN FEDERATION 7, ZLATOUSTINSKY MALIY PER.,

More information

at time t, in dimension d. The index i varies in a countable set I. We call configuration the family, denoted generically by Φ: U (x i (t) x j (t))

at time t, in dimension d. The index i varies in a countable set I. We call configuration the family, denoted generically by Φ: U (x i (t) x j (t)) Notations In this chapter we investigate infinite systems of interacting particles subject to Newtonian dynamics Each particle is characterized by its position an velocity x i t, v i t R d R d at time

More information

RIEMANNIAN GEOMETRY COMPACT METRIC SPACES. Jean BELLISSARD 1. Collaboration:

RIEMANNIAN GEOMETRY COMPACT METRIC SPACES. Jean BELLISSARD 1. Collaboration: RIEMANNIAN GEOMETRY of COMPACT METRIC SPACES Jean BELLISSARD 1 Georgia Institute of Technology, Atlanta School of Mathematics & School of Physics Collaboration: I. PALMER (Georgia Tech, Atlanta) 1 e-mail:

More information

SMOOTHING AND NON-SMOOTHING VIA A FLOW TANGENT TO THE RICCI FLOW

SMOOTHING AND NON-SMOOTHING VIA A FLOW TANGENT TO THE RICCI FLOW SMOOTHING AND NON-SMOOTHING VIA A FLOW TANGENT TO THE RICCI FLOW MATTHIAS ERBAR AND NICOLAS JUILLET Abstract. We study a transformation of metric measure spaces introduced by Gigli and Mantegazza consisting

More information

A new proof of Gromov s theorem on groups of polynomial growth

A new proof of Gromov s theorem on groups of polynomial growth A new proof of Gromov s theorem on groups of polynomial growth Bruce Kleiner Courant Institute NYU Groups as geometric objects Let G a group with a finite generating set S G. Assume that S is symmetric:

More information

Gradient flows and a Trotter Kato formula of semi-convex functions on CAT(1)-spaces

Gradient flows and a Trotter Kato formula of semi-convex functions on CAT(1)-spaces Gradient flows and a Trotter Kato formula of semi-convex functions on CAT(1)-spaces Shin-ichi Ohta & Miklós Pálfia November 0, 015 Abstract We generalize the theory of gradient flows of semi-convex functions

More information

{Euclidean, metric, and Wasserstein} gradient flows: an overview

{Euclidean, metric, and Wasserstein} gradient flows: an overview Bull. Math. Sci. (2017) 7:87 154 DOI 10.1007/s13373-017-0101-1 {Euclidean, metric, and Wasserstein} gradient flows: an overview Filippo Santambrogio 1 Received: 11 September 2016 / Revised: 9 February

More information

arxiv: v3 [math.na] 11 Oct 2017

arxiv: v3 [math.na] 11 Oct 2017 Indirect Image Registration with Large Diffeomorphic Deformations Chong Chen and Ozan Öktem arxiv:1706.04048v3 [math.na] 11 Oct 2017 Abstract. The paper adapts the large deformation diffeomorphic metric

More information

On some nonlinear parabolic equation involving variable exponents

On some nonlinear parabolic equation involving variable exponents On some nonlinear parabolic equation involving variable exponents Goro Akagi (Kobe University, Japan) Based on a joint work with Giulio Schimperna (Pavia Univ., Italy) Workshop DIMO-2013 Diffuse Interface

More information

Introduction to optimal transport

Introduction to optimal transport Introduction to optimal transport Nicola Gigli May 20, 2011 Content Formulation of the transport problem The notions of c-convexity and c-cyclical monotonicity The dual problem Optimal maps: Brenier s

More information

Geometric Analysis on Riemannian and Metric Spaces

Geometric Analysis on Riemannian and Metric Spaces RIMS Project 2016: Differential Geometry and Geometric Analysis Conference Geometric Analysis on Riemannian and Metric Spaces September 5 (Mon) 9 (Fri), 2016 Room 420, Research Institute for Mathematical

More information

Some functional inequalities on non-reversible Finsler manifolds

Some functional inequalities on non-reversible Finsler manifolds Some functional inequalities on non-reversible Finsler manifolds Shin-ichi Ohta Abstract We continue our study of geometric analysis on possibly non-reversible) Finsler manifolds, based on the Bochner

More information

Math 742: Geometric Analysis

Math 742: Geometric Analysis Math 742: Geometric Analysis Lecture 5 and 6 Notes Jacky Chong jwchong@math.umd.edu The following notes are based upon Professor Yanir ubenstein s lectures with reference to Variational Methods 4 th edition

More information

2) Let X be a compact space. Prove that the space C(X) of continuous real-valued functions is a complete metric space.

2) Let X be a compact space. Prove that the space C(X) of continuous real-valued functions is a complete metric space. University of Bergen General Functional Analysis Problems with solutions 6 ) Prove that is unique in any normed space. Solution of ) Let us suppose that there are 2 zeros and 2. Then = + 2 = 2 + = 2. 2)

More information

P(E t, Ω)dt, (2) 4t has an advantage with respect. to the compactly supported mollifiers, i.e., the function W (t)f satisfies a semigroup law:

P(E t, Ω)dt, (2) 4t has an advantage with respect. to the compactly supported mollifiers, i.e., the function W (t)f satisfies a semigroup law: Introduction Functions of bounded variation, usually denoted by BV, have had and have an important role in several problems of calculus of variations. The main features that make BV functions suitable

More information

arxiv: v3 [math.dg] 26 Sep 2018

arxiv: v3 [math.dg] 26 Sep 2018 Bakry-Émery conditions on almost smooth metric measure spaces Shouhei Honda September 27, 208 ariv:804.07043v3 [math.dg] 26 Sep 208 Abstract In this short note, we give a sufficient condition for almost

More information

Essential Spectra of complete manifolds

Essential Spectra of complete manifolds Essential Spectra of complete manifolds Zhiqin Lu Analysis, Complex Geometry, and Mathematical Physics: A Conference in Honor of Duong H. Phong May 7, 2013 Zhiqin Lu, Dept. Math, UCI Essential Spectra

More information

Outline of Fourier Series: Math 201B

Outline of Fourier Series: Math 201B Outline of Fourier Series: Math 201B February 24, 2011 1 Functions and convolutions 1.1 Periodic functions Periodic functions. Let = R/(2πZ) denote the circle, or onedimensional torus. A function f : C

More information

The eigenvalue problem in Finsler geometry

The eigenvalue problem in Finsler geometry The eigenvalue problem in Finsler geometry Qiaoling Xia Abstract. One of the fundamental problems is to study the eigenvalue problem for the differential operator in geometric analysis. In this article,

More information

The Dirichlet s P rinciple. In this lecture we discuss an alternative formulation of the Dirichlet problem for the Laplace equation:

The Dirichlet s P rinciple. In this lecture we discuss an alternative formulation of the Dirichlet problem for the Laplace equation: Oct. 1 The Dirichlet s P rinciple In this lecture we discuss an alternative formulation of the Dirichlet problem for the Laplace equation: 1. Dirichlet s Principle. u = in, u = g on. ( 1 ) If we multiply

More information

CAPACITIES ON METRIC SPACES

CAPACITIES ON METRIC SPACES [June 8, 2001] CAPACITIES ON METRIC SPACES V. GOL DSHTEIN AND M. TROYANOV Abstract. We discuss the potential theory related to the variational capacity and the Sobolev capacity on metric measure spaces.

More information

Pseudo-Poincaré Inequalities and Applications to Sobolev Inequalities

Pseudo-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 information

MAT 578 FUNCTIONAL ANALYSIS EXERCISES

MAT 578 FUNCTIONAL ANALYSIS EXERCISES MAT 578 FUNCTIONAL ANALYSIS EXERCISES JOHN QUIGG Exercise 1. Prove that if A is bounded in a topological vector space, then for every neighborhood V of 0 there exists c > 0 such that tv A for all t > c.

More information

Solution Sheet 3. Solution Consider. with the metric. We also define a subset. and thus for any x, y X 0

Solution Sheet 3. Solution Consider. with the metric. We also define a subset. and thus for any x, y X 0 Solution Sheet Throughout this sheet denotes a domain of R n with sufficiently smooth boundary. 1. Let 1 p

More information

Contents: 1. Minimization. 2. The theorem of Lions-Stampacchia for variational inequalities. 3. Γ -Convergence. 4. Duality mapping.

Contents: 1. Minimization. 2. The theorem of Lions-Stampacchia for variational inequalities. 3. Γ -Convergence. 4. Duality mapping. Minimization Contents: 1. Minimization. 2. The theorem of Lions-Stampacchia for variational inequalities. 3. Γ -Convergence. 4. Duality mapping. 1 Minimization A Topological Result. Let S be a topological

More information

Functions with bounded variation on Riemannian manifolds with Ricci curvature unbounded from below

Functions with bounded variation on Riemannian manifolds with Ricci curvature unbounded from below Functions with bounded variation on Riemannian manifolds with Ricci curvature unbounded from below Institut für Mathematik Humboldt-Universität zu Berlin ProbaGeo 2013 Luxembourg, October 30, 2013 This

More information

Overview of normed linear spaces

Overview of normed linear spaces 20 Chapter 2 Overview of normed linear spaces Starting from this chapter, we begin examining linear spaces with at least one extra structure (topology or geometry). We assume linearity; this is a natural

More information

Optimal Transport for Data Analysis

Optimal Transport for Data Analysis Optimal Transport for Data Analysis Bernhard Schmitzer 2017-05-16 1 Introduction 1.1 Reminders on Measure Theory Reference: Ambrosio, Fusco, Pallara: Functions of Bounded Variation and Free Discontinuity

More information

Ollivier Ricci curvature for general graph Laplacians

Ollivier Ricci curvature for general graph Laplacians for general graph Laplacians York College and the Graduate Center City University of New York 6th Cornell Conference on Analysis, Probability and Mathematical Physics on Fractals Cornell University June

More information

NEW FUNCTIONAL INEQUALITIES

NEW FUNCTIONAL INEQUALITIES 1 / 29 NEW FUNCTIONAL INEQUALITIES VIA STEIN S METHOD Giovanni Peccati (Luxembourg University) IMA, Minneapolis: April 28, 2015 2 / 29 INTRODUCTION Based on two joint works: (1) Nourdin, Peccati and Swan

More information

The oblique derivative problem for general elliptic systems in Lipschitz domains

The oblique derivative problem for general elliptic systems in Lipschitz domains M. MITREA The oblique derivative problem for general elliptic systems in Lipschitz domains Let M be a smooth, oriented, connected, compact, boundaryless manifold of real dimension m, and let T M and T

More information

Strictly convex functions on complete Finsler manifolds

Strictly 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 information

Optimal Transportation. Nonlinear Partial Differential Equations

Optimal 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 information

LECTURE 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. 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 information

Boundary measures, generalized Gauss Green formulas, and mean value property in metric measure spaces

Boundary measures, generalized Gauss Green formulas, and mean value property in metric measure spaces Boundary measures, generalized Gauss Green formulas, and mean value property in metric measure spaces Niko Marola, Michele Miranda Jr, and Nageswari Shanmugalingam Contents 1 Introduction 2 2 Preliminaries

More information

CONVERGENCE THEORY. G. ALLAIRE CMAP, Ecole Polytechnique. 1. Maximum principle. 2. Oscillating test function. 3. Two-scale convergence

CONVERGENCE THEORY. G. ALLAIRE CMAP, Ecole Polytechnique. 1. Maximum principle. 2. Oscillating test function. 3. Two-scale convergence 1 CONVERGENCE THEOR G. ALLAIRE CMAP, Ecole Polytechnique 1. Maximum principle 2. Oscillating test function 3. Two-scale convergence 4. Application to homogenization 5. General theory H-convergence) 6.

More information

Lipschitz p-convex and q-concave maps

Lipschitz p-convex and q-concave maps Lipschitz p-convex and q-concave maps J. Alejandro Chávez-Domínguez Instituto de Ciencias Matemáticas, CSIC-UAM-UCM-UC3M, Madrid and Department of Mathematics, University of Texas at Austin Conference

More information

USING FUNCTIONAL ANALYSIS AND SOBOLEV SPACES TO SOLVE POISSON S EQUATION

USING FUNCTIONAL ANALYSIS AND SOBOLEV SPACES TO SOLVE POISSON S EQUATION USING FUNCTIONAL ANALYSIS AND SOBOLEV SPACES TO SOLVE POISSON S EQUATION YI WANG Abstract. We study Banach and Hilbert spaces with an eye towards defining weak solutions to elliptic PDE. Using Lax-Milgram

More information

ON TWO-DIMENSIONAL MINIMAL FILLINGS. S. V. Ivanov

ON TWO-DIMENSIONAL MINIMAL FILLINGS. S. V. Ivanov ON TWO-DIMENSIONAL MINIMAL FILLINGS S. V. Ivanov Abstract. We consider Riemannian metrics in the two-dimensional disk D (with boundary). We prove that, if a metric g 0 is such that every two interior points

More information

GLOBAL LIPSCHITZ CONTINUITY FOR MINIMA OF DEGENERATE PROBLEMS

GLOBAL LIPSCHITZ CONTINUITY FOR MINIMA OF DEGENERATE PROBLEMS GLOBAL LIPSCHITZ CONTINUITY FOR MINIMA OF DEGENERATE PROBLEMS PIERRE BOUSQUET AND LORENZO BRASCO Abstract. We consider the problem of minimizing the Lagrangian [F ( u+f u among functions on R N with given

More information

A description of transport cost for signed measures

A description of transport cost for signed measures A description of transport cost for signed measures Edoardo Mainini Abstract In this paper we develop the analysis of [AMS] about the extension of the optimal transport framework to the space of real measures.

More information

Functional Analysis Exercise Class

Functional Analysis Exercise Class Functional Analysis Exercise Class Wee November 30 Dec 4: Deadline to hand in the homewor: your exercise class on wee December 7 11 Exercises with solutions Recall that every normed space X can be isometrically

More information

https://doi.org/ /doctor.k19

https://doi.org/ /doctor.k19 Title Convergence of stochastic processes Dissertation_ 全文 ) Author(s) Suzuki, Kohei Citation Kyoto University ( 京都大学 ) Issue Date 2016-03-23 URL https://doi.org/10.14989/doctor.k19 Right Type Thesis or

More information

Basic Properties of Metric and Normed Spaces

Basic Properties of Metric and Normed Spaces Basic Properties of Metric and Normed Spaces Computational and Metric Geometry Instructor: Yury Makarychev The second part of this course is about metric geometry. We will study metric spaces, low distortion

More information

1 Continuity Classes C m (Ω)

1 Continuity Classes C m (Ω) 0.1 Norms 0.1 Norms A norm on a linear space X is a function : X R with the properties: Positive Definite: x 0 x X (nonnegative) x = 0 x = 0 (strictly positive) λx = λ x x X, λ C(homogeneous) x + y x +

More information

Tangents and dimensions of. metric spaces

Tangents and dimensions of. metric spaces Tangents and dimensions of metric spaces Tapio Rajala University of Jyväskylä tapio.m.rajala@jyu.fi Winter School Workshop: New developments in Optimal Transport, Geometry and Analysis Bonn, February 26th,

More information

MATH 4200 HW: PROBLEM SET FOUR: METRIC SPACES

MATH 4200 HW: PROBLEM SET FOUR: METRIC SPACES MATH 4200 HW: PROBLEM SET FOUR: METRIC SPACES PETE L. CLARK 4. Metric Spaces (no more lulz) Directions: This week, please solve any seven problems. Next week, please solve seven more. Starred parts of

More information

3. (a) What is a simple function? What is an integrable function? How is f dµ defined? Define it first

3. (a) What is a simple function? What is an integrable function? How is f dµ defined? Define it first Math 632/6321: Theory of Functions of a Real Variable Sample Preinary Exam Questions 1. Let (, M, µ) be a measure space. (a) Prove that if µ() < and if 1 p < q

More information

g 2 (x) (1/3)M 1 = (1/3)(2/3)M.

g 2 (x) (1/3)M 1 = (1/3)(2/3)M. COMPACTNESS If C R n is closed and bounded, then by B-W it is sequentially compact: any sequence of points in C has a subsequence converging to a point in C Conversely, any sequentially compact C R n is

More information