About the method of characteristics
|
|
- Dwight Conley
- 6 years ago
- Views:
Transcription
1 About the method of characteristics Francis Nier, IRMAR, Univ. Rennes 1 and INRIA project-team MICMAC. Joint work with Z. Ammari about bosonic mean-field dynamics June 3, 2013
2 Outline The problem An example Infinite dimensional measure transportation Why a probabilistic trajectory picture?
3 The problem Let E be a separable real Hilbert space. We want to prove that a Borel probability measure µ t on E, which depends continuously on the time t R and fulfills equals t µ + div (v(t, x)µ) = 0, µ t=0 = µ 0 µ t = Φ(t, 0) µ 0, when Φ(t, s) is a well-defined flow on E, associated with the ODE ẋ = v(t, x).
4 The problem Finite dimensional case: Assume that Φ(t, s) is a diffeomorphism on E for all t, s R. The transport equation is ( t ϕ+ v(t,.), x ϕ E ) dµ t (x)dt = 0, ϕ C0 (R E), or R E T 0 ( t ϕ+ v(t, x), x ϕ E ) dµ t (x)dt+ ϕ(0, x) dµ 0 (x) E E ϕ(t, x) dµ T (x) = 0, ϕ C0 ([0, T ] E). E
5 The problem Finite dimensional case: The method of characteristics consists in taking We get and E ϕ(x, t) = a(φ(t, t)x) a C 0 (E). ( t ϕ + v, ϕ )(Φ(t, 0)x, t) = d [a(φ(t, 0)x)] = 0 dt a(φ(t, 0)x) dµ 0 (x) = E a(x) dµ T (x), a C 0 (E), which is µ T = Φ(T, 0) µ 0.
6 The problem Infinite dimensional case: The weak formulation ( t ϕ + v(t,.), x ϕ E ) dµ t (x)dt = 0, R E is given for a class of test functions: the cylindrical functions ϕ C0,cyl (R E) or some polynomial functions on E.
7 The problem Infinite dimensional case: The weak formulation ( t ϕ + v(t,.), x ϕ E ) dµ t (x)dt = 0, R E is given for a class of test functions: the cylindrical functions ϕ C0,cyl (R E) or some polynomial functions on E. Problem: A nonlinear flow does not preserve these classes. We cannot take ϕ(x, t) = a(φ(t, t)x)!!!
8 An example, the Hartree flow The Hartree equation is given by i t z = z + (V z 2 )z, z t=0 = z 0. with V ( x) = V (x). Example : V (x) = ± 1 x in dimension 3.
9 An example, the Hartree flow The Hartree equation is given by i t z = z + (V z 2 )z, z t=0 = z 0. with V ( x) = V (x). Example : V (x) = ± 1 x in dimension 3. The equation can be written i t z = z E(z) with E(z) = z(x) 2 dx + 1 V (x y) z(x) 2 z(y) 2 dxdy R d 2 R 2d = z, z z 2, V (x y)z 2.
10 An example, the Hartree flow Set z t = e it z t and the equation becomes i t z t = z h( z, t) h(z, t) = z 2, V t z 2 V t = e it( x + y ) it( x + y ) (V (x y) )e
11 An example, the Hartree flow Set z t = e it z t and the equation becomes i t z t = z h( z, t) h(z, t) = z 2, V t z 2 V t = e it( x + y ) it( x + y ) (V (x y) )e When V = ± 1 x, d = 3, Hardy s inequality leads to ( ) z 1, V t z 2 z 3 L 2 C min zσ(1) H 1 z σ(2) L 2 z σ(3) L 2 σ S 3 z 1, V t z 2 z 3 H 1 C min σ S 3 ( zσ(1) H 1 z σ(2) H 1 z σ(3) L 2 )
12 An example, the Hartree flow Set z t = e it z t and the equation becomes i t z t = z h( z, t) h(z, t) = z 2, V t z 2 V t = e it( x + y ) it( x + y ) (V (x y) )e When V = ± 1 x, d = 3, Hardy s inequality leads to ( ) z 1, V t z 2 z 3 L 2 C min zσ(1) H 1 z σ(2) L 2 z σ(3) L 2 σ S 3 z 1, V t z 2 z 3 H 1 C min σ S 3 ( zσ(1) H 1 z σ(2) H 1 z σ(3) L 2 More generally it works if V satisfies V ( x) = V (x) and V (1 ) 1/2 L(L 2 (R d )). )
13 An example, the Hartree flow Theorem Assume V (x) = V ( x) and V (1 ) 1/2 L(L 2 (R d )). The equations i t z = z E(z) et i t z = z h( z, t) define flows Φ(t) and Φ(t, s) on H 1 (R d ; C). The norm L 2 and the energy E are invariant under Φ. The norm L 2 (R d ) is invariant under Φ and the velocity field v(z, t) = 1 i zh(z, t), satisfies v(z, t) H 1 C z 2 H 1 z L 2.
14 An example, the Hartree flow The mean field analysis for bosons interacting via a pair potential V (x y), leads to Borel probability measures on H 1 = H 1 (R d ; C) which verifies ( t ϕ + i( z h. z ϕ z ϕ. z h) dµ t (z)dt = 0 R H 1 for all ϕ C 0,cyl (R H1 ; R).
15 An example, the Hartree flow The mean field analysis for bosons interacting via a pair potential V (x y), leads to Borel probability measures on H 1 = H 1 (R d ; C) which verifies ( t ϕ + i( z h. z ϕ z ϕ. z h) dµ t (z)dt = 0 R H 1 for all ϕ C 0,cyl (R H1 ; R). For a cylindrical function f C 0,cyl (H1 ; R) on H 1, we define z f by u H 1 (R d ), u, z f H 1 = u, z f. Its gradient for the real structure on H 1 = H 1 (R d ; C) with the scalar product u 1, u 2 H 1 = Re u 1, u 2 R H 1 is given by = 2 z
16 An example, the Hartree flow The mean field analysis for bosons interacting via a pair potential V (x y), leads to Borel probability measures on H 1 = H 1 (R d ; C) which verifies ( t ϕ + i( z h. z ϕ z ϕ. z h) dµ t (z)dt = 0 R H 1 for all ϕ C 0,cyl (R H1 ; R). The above equation is the weak version of t µ + div (v t µ) = 0, v t = 1 i zh(z, t) with cylindrical test functions on R H 1 R, H1 R = H1 (R d ; C) being the real Hilbert space with the scalar product u, v H 1 R and z H 1 R = z H 1.
17 An example, the Hartree flow Remark : With good assumptions (on the initial mean field data), one verifies that the measure µ t is continuous w.r.t the Wasserstein distance W 2 (µ 1, µ 2 ) = ( inf { H 1 R H1 R z 2 z 1 2 H 1 dµ(z 1, z 2 ), Π j, µ = µ j }) 1/2. Also, for all t R H 1 R z 4 H 1 z 2 L 2 dµ t (z) C and T 0 H 1 R v(t, z) 2 H 1 dµ t (z) C T. This strong continuity property is requires intermediate steps
18 Solving a transport equation in Prob 2 (E) E real separable Hilbert space. Prob 2 (E) is the space of Borel probability measures on E, µ, such that x 2 dµ(x) < + E The Wasserstein distance W 2 on Prob 2 (E) is given by { } W2 2 (µ 1, µ 2 ) = inf x 2 x 1 2 dµ(x 1, x 2 ), (Π j ) µ = µ j. E 2
19 Solving a transport equation in Prob 2 (E) For T > 0, set Γ T = C 0 ([ T, T ]; E) endowed with the norm γ = max t [ T,T ] γ(t) or the distance d(γ, γ ) = max t [ T,T ] ( n N γ(t) γ (t), e n 2 2 n) 1/2 with (e n ) n N ONB of E For a Borel probability measure η on E Γ T define the evaluation map at time t [ T, T ] by ϕ dµ η t = ϕ(γ(t)) dη(x, γ), ϕ C0,cyl (E). E Γ T
20 Solving a transport equation in Prob 2 (E) For T > 0, set Γ T = C 0 ([ T, T ]; E) endowed with the norm γ = max t [ T,T ] γ(t) or the distance d(γ, γ ) = max t [ T,T ] ( n N γ(t) γ (t), e n 2 2 n) 1/2 with (e n ) n N ONB of E For a Borel probability measure η on E Γ T define the evaluation map at time t [ T, T ] by ϕ dµ η t = ϕ(γ(t)) dη(x, γ), ϕ C0,cyl (E). E Γ T Actually, µ η t = (e t ) η with e t : (x, γ) E Γ T γ(t) E.
21 Solving a transport equation in Prob 2 (E) The following result is the infinite dimensional version of a result by Ambrosio-Gigli-Savaré. Proposition If µ t : [ T, T ] Prob 2 (E) is a W 2 -continuous solution to the equation t µ + div (v(t, x))µ) = 0 on ( T, T ), for a Borel velocity field v(t, x) = v t (x) on E such that v t L 2 (E,µ t) L 1 ([ T, T ]) ; then there exists a Borel probability measure η on E Γ T which satisfies η is carried by the set of pairs (x, γ) such that γ AC 2 ([ T, T ]; E) solves γ(t) = v t (γ(t)) for almost all t ( T, T ) and γ(0) = x. µ t = µ η t for all t [ T, T ].
22 Solving a transport equation in Prob 2 (E) Corollary If for all x E, the Cauchy problem γ(t) = v t (γ(t)), γ(0) = x is well posed and defines a flow Φ(t, s) on E, then µ t = Φ(t, 0) µ 0.
23 Solving a transport equation in Prob 2 (E) Corollary If for all x E, the Cauchy problem γ(t) = v t (γ(t)), γ(0) = x E is well posed and defines a flow Φ(t, s) on E, then µ t = Φ(t, 0) µ 0. Proof: ϕ dµ t = ϕ(γ(t)) dη(x, γ) = [ϕ Φ(t, s)](γ(s)) dη(x, γ) E Γ T E Γ T = ϕ Φ(t, s) dµ s. E
24 Why a probabilistic trajectory picture? Notations: (e n ) n N Hilbert basis of E.
25 Why a probabilistic trajectory picture? Notations: (e n ) n N Hilbert basis of E. π d, π d,t, ˆπ d = π d,t π d are defined by E x π d (x) = ( e n, x, n d) R d, d R d (y 1,..., y d ) π d,t (y) = y n e n E, n=1 d E x ˆπ d (x) = e n, x e n E. n=1
26 Why a probabilistic trajectory picture? Notations: (e n ) n N Hilbert basis of E. π d, π d,t, ˆπ d = π d,t π d are defined by E x π d (x) = ( e n, x, n d) R d, d R d (y 1,..., y d ) π d,t (y) = y n e n E, E x ˆπ d (x) = n=1 d e n, x e n E. n=1 µ d t = π d µ t ˆµ d t = ˆπ d µ t = µ d t δ 0 when E = F d F d, F d R d. { µt,y, y R d} is the disintegration of µ t w.r.t µ d t.
27 Why a probabilistic trajectory picture? Notations: (e n ) n N Hilbert basis of E. π d, π d,t, ˆπ d = π d,t π d are defined by E x π d (x) = ( e n, x, n d) R d, d R d (y 1,..., y d ) π d,t (y) = y n e n E, E x ˆπ d (x) = n=1 d e n, x e n E. n=1 µ d t = π d µ t ˆµ d t = ˆπ d µ t = µ d t δ 0 when E = F d F d, F d R d. { µt,y, y R d} is the disintegration of µ t w.r.t µ d t. v d t (y) = ˆv d t (y) = (π d ) 1 (y) (ˆπ d ) 1 (ˆπ d y) π d (v t (x)) dµ t,y (x) for a.e.y R d, ˆπ d (v t (x)) dµ t,π d y (x) for a.e.y E.
28 Why a probabilistic trajectory picture? t,y F d x v t (x ) 1 x 3 1 v t (x ) 3 y = (x) d F d x 2 v t (x ) 2 t µ t + div (v t µ t ) = 0.
29 Why a probabilistic trajectory picture? t,y F d x 3 x 1 v t (x ) 3 v t (x ) 1 x 2 d v t (y) y d = (x) v t (x ) 2 F d t µ d t + div (v d t µ d t ) = 0.
30 Why a probabilistic trajectory picture? t,y F d x 3 v t (x ) 3 x x 1 x v t (x ) 1 2 d v t (x) d v t (y) y d = (x) v t (x ) 2 F d t ˆµ d t + div (ˆv d t ˆµ d t ) = 0.
31 Why a probabilistic trajectory picture? Properties: ˆv d t L 2 (E,ˆµ d t ) = v d t L 2 (R d,µ d t ) v t L 2 (E,µ t).
32 Why a probabilistic trajectory picture? Properties: ˆv d t L 2 (E,ˆµ d t ) = v d t L 2 (R d,µ d t ) v t L 2 (E,µ t). W 2 (µ d t 1, µ d t 2 ) t 2 t 1 v d t L 2 (R d,µ d t )dt t 2 t 1 v t L 2 (E,µ t)dt.
33 Why a probabilistic trajectory picture? Properties: ˆv d t L 2 (E,ˆµ d t ) = v d t L 2 (R d,µ d t ) v t L 2 (E,µ t). W 2 (µ d t 1, µ d t 2 ) t 2 t 1 vt d L 2 (R d,µ d )dt t 2 t t 1 v t L 2 (E,µ t)dt. The sequence (ˆµ d t ) d N converges weakly narrowly to µ t with the estimate W 2 (µ t2, µ t1 ) lim inf d W 2(ˆµ d t 2, ˆµ d t 1 ).
34 Why a probabilistic trajectory picture? Properties: ˆv d t L 2 (E,ˆµ d t ) = v d t L 2 (R d,µ d t ) v t L 2 (E,µ t). W 2 (µ d t 1, µ d t 2 ) t 2 t 1 vt d L 2 (R d,µ d )dt t 2 t t 1 v t L 2 (E,µ t)dt. The sequence (ˆµ d t ) d N converges weakly narrowly to µ t with the estimate W 2 (µ t2, µ t1 ) lim inf d W 2(ˆµ d t 2, ˆµ d t 1 ). Similar properties hold for the families η d, ˆη d after projecting the trajectories.
35 Why a probabilistic trajectory picture? Properties: ˆv d t L 2 (E,ˆµ d t ) = v d t L 2 (R d,µ d t ) v t L 2 (E,µ t). W 2 (µ d t 1, µ d t 2 ) t 2 t 1 vt d L 2 (R d,µ d )dt t 2 t t 1 v t L 2 (E,µ t)dt. The sequence (ˆµ d t ) d N converges weakly narrowly to µ t with the estimate W 2 (µ t2, µ t1 ) lim inf d W 2(ˆµ d t 2, ˆµ d t 1 ). Similar properties hold for the families η d, ˆη d after projecting the trajectories. In this approximation process, the finite dimensional vector field v d t may be (is) singular no uniqueness of trajectories.
Stationary states for the aggregation equation with power law attractive-repulsive potentials
Stationary states for the aggregation equation with power law attractive-repulsive potentials Daniel Balagué Joint work with J.A. Carrillo, T. Laurent and G. Raoul Universitat Autònoma de Barcelona BIRS
More informationPhase-space approach to bosonic mean field dynamics
field dynamics sept. 5th, 2013 Outline 1 2 3 4 N-body bosonic problem Let Z = L 2 (X, m; C) be the one particle space. e.g. (X, m) measured add. group. Z separable. X R d, X Z d, X = Z d /(KZ) d. The bosonic
More informationA regularised particle method for linear and nonlinear diffusion
1/25 A regularised particle method for linear and nonlinear diffusion Francesco Patacchini Department of Mathematical Sciences, Carnegie Mellon University Joint work with J. A. Carrillo (Imperial College
More informationOn Lagrangian solutions for the semi-geostrophic system with singular initial data
On Lagrangian solutions for the semi-geostrophic system with singular initial data Mikhail Feldman Department of Mathematics University of Wisconsin-Madison Madison, WI 5376, USA feldman@math.wisc.edu
More informationAN ELEMENTARY PROOF OF THE TRIANGLE INEQUALITY FOR THE WASSERSTEIN METRIC
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 136, Number 1, January 2008, Pages 333 339 S 0002-9939(07)09020- Article electronically published on September 27, 2007 AN ELEMENTARY PROOF OF THE
More informationAbsolutely continuous curves in Wasserstein spaces with applications to continuity equation and to nonlinear diffusion equations
Università degli Studi di Pavia Dipartimento di Matematica F. Casorati Dottorato di ricerca in Matematica e Statistica Absolutely continuous curves in Wasserstein spaces with applications to continuity
More informationSEPARABILITY 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 informationb i (µ, x, s) ei ϕ(x) µ s (dx) ds (2) i=1
NONLINEAR EVOLTION EQATIONS FOR MEASRES ON INFINITE DIMENSIONAL SPACES V.I. Bogachev 1, G. Da Prato 2, M. Röckner 3, S.V. Shaposhnikov 1 The goal of this work is to prove the existence of a solution to
More informationNewton s second law with a semiconvex potential
Newton s second law with a semiconvex potential yan Hynd arxiv:82.789v [math.ap] 7 Dec 28 December 9, 28 Abstract We make the elementary observation that the differential equation associated with Newton
More informationOn dissipation distances for reaction-diffusion equations the Hellinger-Kantorovich distance
Weierstrass Institute for! Applied Analysis and Stochastics On dissipation distances for reaction-diffusion equations the Matthias Liero, joint work with Alexander Mielke, Giuseppe Savaré Mohrenstr. 39
More informationOptimal 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 information1 Fourier Integrals of finite measures.
18.103 Fall 2013 1 Fourier Integrals of finite measures. Denote the space of finite, positive, measures on by M + () = {µ : µ is a positive measure on ; µ() < } Proposition 1 For µ M + (), we define the
More informationApplied 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 informationNONLOCAL INTERACTION EQUATIONS IN ENVIRONMENTS WITH HETEROGENEITIES AND BOUNDARIES
NONLOCAL INTERACTION EQUATIONS IN ENVIRONENTS WITH HETEROGENEITIES AND BOUNDARIES LIJIANG WU AND DEJAN SLEPČEV Abstract. We study well-posedness of a class of nonlocal interaction equations with spatially
More informationProblem Set 6: Solutions Math 201A: Fall a n x n,
Problem Set 6: Solutions Math 201A: Fall 2016 Problem 1. Is (x n ) n=0 a Schauder basis of C([0, 1])? No. If f(x) = a n x n, n=0 where the series converges uniformly on [0, 1], then f has a power series
More informationUniqueness of the solution to the Vlasov-Poisson system with bounded density
Uniqueness of the solution to the Vlasov-Poisson system with bounded density Grégoire Loeper December 16, 2005 Abstract In this note, we show uniqueness of weak solutions to the Vlasov- Poisson system
More informationGRADIENT FLOWS FOR NON-SMOOTH INTERACTION POTENTIALS
GRADIENT FLOWS FOR NON-SMOOTH INTERACTION POTENTIALS J. A. CARRILLO, S. LISINI, E. MAININI Abstract. We deal with a nonlocal interaction equation describing the evolution of a particle density under the
More informationDIFFERENTIAL GEOMETRY, LECTURE 16-17, JULY 14-17
DIFFERENTIAL GEOMETRY, LECTURE 16-17, JULY 14-17 6. Geodesics A parametrized line γ : [a, b] R n in R n is straight (and the parametrization is uniform) if the vector γ (t) does not depend on t. Thus,
More informationAsymptotic stability of an evolutionary nonlinear Boltzmann-type equation
Acta Polytechnica Hungarica Vol. 14, No. 5, 217 Asymptotic stability of an evolutionary nonlinear Boltzmann-type equation Roksana Brodnicka, Henryk Gacki Institute of Mathematics, University of Silesia
More informationWeak KAM pairs and Monge-Kantorovich duality
Advanced Studies in Pure Mathematics 47-2, 2007 Asymptotic Analysis and Singularities pp. 397 420 Weak KAM pairs and Monge-Kantorovich duality Abstract. Patrick Bernard and Boris Buffoni The dynamics of
More informationarxiv: 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 informationControllability of linear PDEs (I): The wave equation
Controllability of linear PDEs (I): The wave equation M. González-Burgos IMUS, Universidad de Sevilla Doc Course, Course 2, Sevilla, 2018 Contents 1 Introduction. Statement of the problem 2 Distributed
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 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 informationOn Lagrangian solutions for the semi-geostrophic system with singular initial data
On Lagrangian solutions for the semi-geostrophic system with singular initial data Mikhail Feldman Department of Mathematics University of Wisconsin-Madison Madison, WI 5376, USA feldman@math.wisc.edu
More informationLecture No 1 Introduction to Diffusion equations The heat equat
Lecture No 1 Introduction to Diffusion equations The heat equation Columbia University IAS summer program June, 2009 Outline of the lectures We will discuss some basic models of diffusion equations and
More informationNotes of the seminar Evolution Equations in Probability Spaces and the Continuity Equation
Notes of the seminar Evolution Equations in Probability Spaces and the Continuity Equation Onno van Gaans Version of 12 April 2006 These are some notes supporting the seminar Evolution Equations in Probability
More informationProbability and Measure
Part II Year 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2018 84 Paper 4, Section II 26J Let (X, A) be a measurable space. Let T : X X be a measurable map, and µ a probability
More informationLecture No 2 Degenerate Diffusion Free boundary problems
Lecture No 2 Degenerate Diffusion Free boundary problems Columbia University IAS summer program June, 2009 Outline We will discuss non-linear parabolic equations of slow diffusion. Our model is the porous
More informationApplied Math Qualifying Exam 11 October Instructions: Work 2 out of 3 problems in each of the 3 parts for a total of 6 problems.
Printed Name: Signature: Applied Math Qualifying Exam 11 October 2014 Instructions: Work 2 out of 3 problems in each of the 3 parts for a total of 6 problems. 2 Part 1 (1) Let Ω be an open subset of R
More informationKramers formula for chemical reactions in the context of Wasserstein gradient flows. Michael Herrmann. Mathematical Institute, University of Oxford
eport no. OxPDE-/8 Kramers formula for chemical reactions in the context of Wasserstein gradient flows by Michael Herrmann Mathematical Institute, University of Oxford & Barbara Niethammer Mathematical
More informationThe Gaussian free field, Gibbs measures and NLS on planar domains
The Gaussian free field, Gibbs measures and on planar domains N. Burq, joint with L. Thomann (Nantes) and N. Tzvetkov (Cergy) Université Paris Sud, Laboratoire de Mathématiques d Orsay, CNRS UMR 8628 LAGA,
More information9 Radon-Nikodym theorem and conditioning
Tel Aviv University, 2015 Functions of real variables 93 9 Radon-Nikodym theorem and conditioning 9a Borel-Kolmogorov paradox............. 93 9b Radon-Nikodym theorem.............. 94 9c Conditioning.....................
More informationEffective Potentials Generated by Field Interaction in the Quasi-Classical Limit. Michele Correggi
Effective Potentials Generated by Field Interaction in the Quasi-Classical Limit Michele Correggi Dipartimento di Matematica Quantum Mean Field and Related Problems LAGA Université Paris 13 joint work
More informationControllability of the linear 1D wave equation with inner moving for
Controllability of the linear D wave equation with inner moving forces ARNAUD MÜNCH Université Blaise Pascal - Clermont-Ferrand - France Toulouse, May 7, 4 joint work with CARLOS CASTRO (Madrid) and NICOLAE
More informationKernel Method: Data Analysis with Positive Definite Kernels
Kernel Method: Data Analysis with Positive Definite Kernels 2. Positive Definite Kernel and Reproducing Kernel Hilbert Space Kenji Fukumizu The Institute of Statistical Mathematics. Graduate University
More informationMinimal time mean field games
based on joint works with Samer Dweik and Filippo Santambrogio PGMO Days 2017 Session Mean Field Games and applications EDF Lab Paris-Saclay November 14th, 2017 LMO, Université Paris-Sud Université Paris-Saclay
More informationGradient Flows: Qualitative Properties & Numerical Schemes
Gradient Flows: Qualitative Properties & Numerical Schemes J. A. Carrillo Imperial College London RICAM, December 2014 Outline 1 Gradient Flows Models Gradient flows Evolving diffeomorphisms 2 Numerical
More informationFinite-dimensional spaces. C n is the space of n-tuples x = (x 1,..., x n ) of complex numbers. It is a Hilbert space with the inner product
Chapter 4 Hilbert Spaces 4.1 Inner Product Spaces Inner Product Space. A complex vector space E is called an inner product space (or a pre-hilbert space, or a unitary space) if there is a mapping (, )
More informationRough metrics, the Kato square root problem, and the continuity of a flow tangent to the Ricci flow
Rough metrics, the Kato square root problem, and the continuity of a flow tangent to the Ricci flow Lashi Bandara Mathematical Sciences Chalmers University of Technology and University of Gothenburg 22
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 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 informationThe Navier-Stokes Equations with Time Delay. Werner Varnhorn. Faculty of Mathematics University of Kassel, Germany
The Navier-Stokes Equations with Time Delay Werner Varnhorn Faculty of Mathematics University of Kassel, Germany AMS: 35 (A 35, D 5, K 55, Q 1), 65 M 1, 76 D 5 Abstract In the present paper we use a time
More information2. Dual space is essential for the concept of gradient which, in turn, leads to the variational analysis of Lagrange multipliers.
Chapter 3 Duality in Banach Space Modern optimization theory largely centers around the interplay of a normed vector space and its corresponding dual. The notion of duality is important for the following
More informationThe local equicontinuity of a maximal monotone operator
arxiv:1410.3328v2 [math.fa] 3 Nov 2014 The local equicontinuity of a maximal monotone operator M.D. Voisei Abstract The local equicontinuity of an operator T : X X with proper Fitzpatrick function ϕ T
More informationIntroduction to Algebraic and Geometric Topology Week 3
Introduction to Algebraic and Geometric Topology Week 3 Domingo Toledo University of Utah Fall 2017 Lipschitz Maps I Recall f :(X, d)! (X 0, d 0 ) is Lipschitz iff 9C > 0 such that d 0 (f (x), f (y)) apple
More informationA Concise Course on Stochastic Partial Differential Equations
A Concise Course on Stochastic Partial Differential Equations Michael Röckner Reference: C. Prevot, M. Röckner: Springer LN in Math. 1905, Berlin (2007) And see the references therein for the original
More informationIf Y and Y 0 satisfy (1-2), then Y = Y 0 a.s.
20 6. CONDITIONAL EXPECTATION Having discussed at length the limit theory for sums of independent random variables we will now move on to deal with dependent random variables. An important tool in this
More informationQuadratic estimates and perturbations of Dirac type operators on doubling measure metric spaces
Quadratic estimates and perturbations of Dirac type operators on doubling measure metric spaces Lashi Bandara maths.anu.edu.au/~bandara Mathematical Sciences Institute Australian National University February
More informationContinuous Functions on Metric Spaces
Continuous Functions on Metric Spaces Math 201A, Fall 2016 1 Continuous functions Definition 1. Let (X, d X ) and (Y, d Y ) be metric spaces. A function f : X Y is continuous at a X if for every ɛ > 0
More informationOptimal Trade Execution with Instantaneous Price Impact and Stochastic Resilience
Optimal Trade Execution with Instantaneous Price Impact and Stochastic Resilience Ulrich Horst 1 Humboldt-Universität zu Berlin Department of Mathematics and School of Business and Economics Vienna, Nov.
More information2 (Bonus). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure?
MA 645-4A (Real Analysis), Dr. Chernov Homework assignment 1 (Due 9/5). Prove that every countable set A is measurable and µ(a) = 0. 2 (Bonus). Let A consist of points (x, y) such that either x or y is
More informationL p Functions. Given a measure space (X, µ) and a real number p [1, ), recall that the L p -norm of a measurable function f : X R is defined by
L p Functions Given a measure space (, µ) and a real number p [, ), recall that the L p -norm of a measurable function f : R is defined by f p = ( ) /p f p dµ Note that the L p -norm of a function f may
More informationNon-Differentiable Embedding of Lagrangian structures
Non-Differentiable Embedding of Lagrangian structures Isabelle Greff Joint work with J. Cresson Université de Pau et des Pays de l Adour CNAM, Paris, April, 22nd 2010 Position of the problem 1. Example
More informationKolmogorov equations in Hilbert spaces IV
March 26, 2010 Other types of equations Let us consider the Burgers equation in = L 2 (0, 1) dx(t) = (AX(t) + b(x(t))dt + dw (t) X(0) = x, (19) where A = ξ 2, D(A) = 2 (0, 1) 0 1 (0, 1), b(x) = ξ 2 (x
More informationStability of an abstract wave equation with delay and a Kelvin Voigt damping
Stability of an abstract wave equation with delay and a Kelvin Voigt damping University of Monastir/UPSAY/LMV-UVSQ Joint work with Serge Nicaise and Cristina Pignotti Outline 1 Problem The idea Stability
More informationarxiv: v1 [math.ap] 10 Oct 2013
The Exponential Formula for the Wasserstein Metric Katy Craig 0/0/3 arxiv:30.292v math.ap] 0 Oct 203 Abstract We adapt Crandall and Liggett s method from the Banach space case to give a new proof of the
More informationTHE INVERSE FUNCTION THEOREM
THE INVERSE FUNCTION THEOREM W. PATRICK HOOPER The implicit function theorem is the following result: Theorem 1. Let f be a C 1 function from a neighborhood of a point a R n into R n. Suppose A = Df(a)
More information3 (Due ). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure?
MA 645-4A (Real Analysis), Dr. Chernov Homework assignment 1 (Due ). Show that the open disk x 2 + y 2 < 1 is a countable union of planar elementary sets. Show that the closed disk x 2 + y 2 1 is a countable
More informationCONVERGENCE 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 informationOn the velocities of flows consisting of cyclically monotone maps
On the velocities of flows consisting of cyclically monotone maps A. Tudorascu Department of Mathematics West Virginia University Morgantown, WV 2656, USA adriant@math.wvu.edu August 25, 21 Abstract Motivated
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 informationSquare roots of perturbed sub-elliptic operators on Lie groups
Square roots of perturbed sub-elliptic operators on Lie groups Lashi Bandara (Joint work with Tom ter Elst, Auckland and Alan McIntosh, ANU) Centre for Mathematics and its Applications Australian National
More informationMATH MEASURE THEORY AND FOURIER ANALYSIS. Contents
MATH 3969 - MEASURE THEORY AND FOURIER ANALYSIS ANDREW TULLOCH Contents 1. Measure Theory 2 1.1. Properties of Measures 3 1.2. Constructing σ-algebras and measures 3 1.3. Properties of the Lebesgue measure
More information1 The Existence and Uniqueness Theorem for First-Order Differential Equations
1 The Existence and Uniqueness Theorem for First-Order Differential Equations Let I R be an open interval and G R n, n 1, be a domain. Definition 1.1 Let us consider a function f : I G R n. The general
More informationDeterministic Dynamic Programming
Deterministic Dynamic Programming 1 Value Function Consider the following optimal control problem in Mayer s form: V (t 0, x 0 ) = inf u U J(t 1, x(t 1 )) (1) subject to ẋ(t) = f(t, x(t), u(t)), x(t 0
More information6.2 Fubini s Theorem. (µ ν)(c) = f C (x) dµ(x). (6.2) Proof. Note that (X Y, A B, µ ν) must be σ-finite as well, so that.
6.2 Fubini s Theorem Theorem 6.2.1. (Fubini s theorem - first form) Let (, A, µ) and (, B, ν) be complete σ-finite measure spaces. Let C = A B. Then for each µ ν- measurable set C C the section x C is
More informationBrownian Motion. 1 Definition Brownian Motion Wiener measure... 3
Brownian Motion Contents 1 Definition 2 1.1 Brownian Motion................................. 2 1.2 Wiener measure.................................. 3 2 Construction 4 2.1 Gaussian process.................................
More informationReminder Notes for the Course on Measures on Topological Spaces
Reminder Notes for the Course on Measures on Topological Spaces T. C. Dorlas Dublin Institute for Advanced Studies School of Theoretical Physics 10 Burlington Road, Dublin 4, Ireland. Email: dorlas@stp.dias.ie
More informationUniformly Uniformly-ergodic Markov chains and BSDEs
Uniformly Uniformly-ergodic Markov chains and BSDEs Samuel N. Cohen Mathematical Institute, University of Oxford (Based on joint work with Ying Hu, Robert Elliott, Lukas Szpruch) Centre Henri Lebesgue,
More informationFree energy estimates for the two-dimensional Keller-Segel model
Free energy estimates for the two-dimensional Keller-Segel model dolbeaul@ceremade.dauphine.fr CEREMADE CNRS & Université Paris-Dauphine in collaboration with A. Blanchet (CERMICS, ENPC & Ceremade) & B.
More informationOn the Stability of the Best Reply Map for Noncooperative Differential Games
On the Stability of the Best Reply Map for Noncooperative Differential Games Alberto Bressan and Zipeng Wang Department of Mathematics, Penn State University, University Park, PA, 68, USA DPMMS, University
More informationIntroduction to Gradient Flows in Metric Spaces (II)
Introduction to Gradient Flows in Metric Spaces (II) Philippe Clément November 23, 200 Preface The aim of these Lectures Notes is to provide a gentle introduction to the theory of gradient flows in metric
More informationErrata Applied Analysis
Errata Applied Analysis p. 9: line 2 from the bottom: 2 instead of 2. p. 10: Last sentence should read: The lim sup of a sequence whose terms are bounded from above is finite or, and the lim inf of a sequence
More informationA Sufficient Condition for the Kolmogorov 4/5 Law for Stationary Martingale Solutions to the 3D Navier-Stokes Equations
A Sufficient Condition for the Kolmogorov 4/5 Law for Stationary Martingale Solutions to the 3D Navier-Stokes Equations Franziska Weber Joint work with: Jacob Bedrossian, Michele Coti Zelati, Samuel Punshon-Smith
More informationBIHARMONIC WAVE MAPS INTO SPHERES
BIHARMONIC WAVE MAPS INTO SPHERES SEBASTIAN HERR, TOBIAS LAMM, AND ROLAND SCHNAUBELT Abstract. A global weak solution of the biharmonic wave map equation in the energy space for spherical targets is constructed.
More informationFunctional Analysis. Martin Brokate. 1 Normed Spaces 2. 2 Hilbert Spaces The Principle of Uniform Boundedness 32
Functional Analysis Martin Brokate Contents 1 Normed Spaces 2 2 Hilbert Spaces 2 3 The Principle of Uniform Boundedness 32 4 Extension, Reflexivity, Separation 37 5 Compact subsets of C and L p 46 6 Weak
More informationMcGill University Department of Mathematics and Statistics. Ph.D. preliminary examination, PART A. PURE AND APPLIED MATHEMATICS Paper BETA
McGill University Department of Mathematics and Statistics Ph.D. preliminary examination, PART A PURE AND APPLIED MATHEMATICS Paper BETA 17 August, 2018 1:00 p.m. - 5:00 p.m. INSTRUCTIONS: (i) This paper
More informationMath 421, Homework #9 Solutions
Math 41, Homework #9 Solutions (1) (a) A set E R n is said to be path connected if for any pair of points x E and y E there exists a continuous function γ : [0, 1] R n satisfying γ(0) = x, γ(1) = y, and
More informationGeometry and the Kato square root problem
Geometry and the Kato square root problem Lashi Bandara Centre for Mathematics and its Applications Australian National University 7 June 2013 Geometric Analysis Seminar University of Wollongong Lashi
More informationNonlinear stabilization via a linear observability
via a linear observability Kaïs Ammari Department of Mathematics University of Monastir Joint work with Fathia Alabau-Boussouira Collocated feedback stabilization Outline 1 Introduction and main result
More informationTonelli Full-Regularity in the Calculus of Variations and Optimal Control
Tonelli Full-Regularity in the Calculus of Variations and Optimal Control Delfim F. M. Torres delfim@mat.ua.pt Department of Mathematics University of Aveiro 3810 193 Aveiro, Portugal http://www.mat.ua.pt/delfim
More informationCHAPTER II HILBERT SPACES
CHAPTER II HILBERT SPACES 2.1 Geometry of Hilbert Spaces Definition 2.1.1. Let X be a complex linear space. An inner product on X is a function, : X X C which satisfies the following axioms : 1. y, x =
More informationTHEOREMS, ETC., FOR MATH 515
THEOREMS, ETC., FOR MATH 515 Proposition 1 (=comment on page 17). If A is an algebra, then any finite union or finite intersection of sets in A is also in A. Proposition 2 (=Proposition 1.1). For every
More informationHolomorphic functions which preserve holomorphic semigroups
Holomorphic functions which preserve holomorphic semigroups University of Oxford London Mathematical Society Regional Meeting Birmingham, 15 September 2016 Heat equation u t = xu (x Ω R d, t 0), u(t, x)
More informationChap. 3. Controlled Systems, Controllability
Chap. 3. Controlled Systems, Controllability 1. Controllability of Linear Systems 1.1. Kalman s Criterion Consider the linear system ẋ = Ax + Bu where x R n : state vector and u R m : input vector. A :
More informationRegularization and Inverse Problems
Regularization and Inverse Problems Caroline Sieger Host Institution: Universität Bremen Home Institution: Clemson University August 5, 2009 Caroline Sieger (Bremen and Clemson) Regularization and Inverse
More informationA 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 informationFunctional Analysis Review
Outline 9.520: Statistical Learning Theory and Applications February 8, 2010 Outline 1 2 3 4 Vector Space Outline A vector space is a set V with binary operations +: V V V and : R V V such that for all
More informationANALYSIS QUALIFYING EXAM FALL 2017: SOLUTIONS. 1 cos(nx) lim. n 2 x 2. g n (x) = 1 cos(nx) n 2 x 2. x 2.
ANALYSIS QUALIFYING EXAM FALL 27: SOLUTIONS Problem. Determine, with justification, the it cos(nx) n 2 x 2 dx. Solution. For an integer n >, define g n : (, ) R by Also define g : (, ) R by g(x) = g n
More informationON THE EULER-LAGRANGE EQUATION FOR A VARIATIONAL PROBLEM: THE GENERAL CASE II
ON THE EULER-LAGRANGE EQUATION FOR A VARIATIONAL PROBLEM: THE GENERAL CASE II STEFANO BIANCHINI MATTEO GLOYER Abstract. We prove a regularity property for vector fields generated by the directions of maximal
More informationRisk-Averse Dynamic Optimization. Andrzej Ruszczyński. Research supported by the NSF award CMMI
Research supported by the NSF award CMMI-0965689 Outline 1 Risk-Averse Preferences 2 Coherent Risk Measures 3 Dynamic Risk Measurement 4 Markov Risk Measures 5 Risk-Averse Control Problems 6 Solution Methods
More informationA BLOB METHOD FOR DIFFUSION
A BLOB METHOD FOR DIFFUSION JOSÉ ANTONIO CARRILLO, KATY CRAIG, AND FRANCESCO S. PATACCHINI Abstract. As a counterpoint to classical stochastic particle methods for diffusion, we develop a deterministic
More informationA mixed formulation for the approximation of the HUM control for the wave equation
Nicolae Cîndea Approimation of the HUM control for the wave equation / 6 A mied formulation for the approimation of the HUM control for the wave equation Nicolae Cîndea joint work with Arnaud Münch Université
More informationErrata and additional material for Infinite-Dimensional Dynamical Systems
Errata and additional material for Infinite-Dimensional Dynamical Systems Many thanks to all who have sent me errata, including: Marco Cabral, Carmen Chicone, Marcus Garvie, Grzegorz Lukaszewicz, Edgardo
More informationA Class of Shock Wave Solutions of the Periodic Degasperis-Procesi Equation
ISSN 1749-3889 (print), 1749-3897 (online) International Journal of Nonlinear Science Vol.9(2010) No.3,pp.367-373 A Class of Shock Wave Solutions of the Periodic Degasperis-Procesi Equation Caixia Shen
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 informationA Eulerian approach to the analysis of rendez-vous algorithms
A Eulerian approach to the analysis of rendez-vous algorithms Claudio Canuto, Fabio Fagnani, Paolo Tilli Dipartimento di Matematica, Politecnico di Torino, Corso D. Abruzzi, 4, 9 Torino, Italy Abstract:
More information1. Subspaces A subset M of Hilbert space H is a subspace of it is closed under the operation of forming linear combinations;i.e.,
Abstract Hilbert Space Results We have learned a little about the Hilbert spaces L U and and we have at least defined H 1 U and the scale of Hilbert spaces H p U. Now we are going to develop additional
More informationOPERATOR THEORY ON HILBERT SPACE. Class notes. John Petrovic
OPERATOR THEORY ON HILBERT SPACE Class notes John Petrovic Contents Chapter 1. Hilbert space 1 1.1. Definition and Properties 1 1.2. Orthogonality 3 1.3. Subspaces 7 1.4. Weak topology 9 Chapter 2. Operators
More information