Exam February h

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

HJ equations. Reachability analysis. Optimal control problems

UNIVERSITY OF MANITOBA

Sébastien Chaumont a a Institut Élie Cartan, Université Henri Poincaré Nancy I, B. P. 239, Vandoeuvre-lès-Nancy Cedex, France. 1.

HOMOGENIZATION OF HAMILTON-JACOBI EQUATIONS NOTES AND REMARKS SON NGUYEN THAI TU. Department of Mathematics, University of Wisconsin at Madison

Continuous dependence estimates for the ergodic problem with an application to homogenization

MATH202 Introduction to Analysis (2007 Fall and 2008 Spring) Tutorial Note #7

2. The Concept of Convergence: Ultrafilters and Nets

Differential Games II. Marc Quincampoix Université de Bretagne Occidentale ( Brest-France) SADCO, London, September 2011

Definition 2.1. A metric (or distance function) defined on a non-empty set X is a function d: X X R that satisfies: For all x, y, and z in X :

A fixed point theorem for weakly Zamfirescu mappings

CHAPTER 7. Connectedness

Homework I, Solutions

Calculating the domain of attraction: Zubov s method and extensions

ON NEUMANN PROBLEMS FOR NONLOCAL HAMILTON-JACOBI EQUATIONS WITH DOMINATING GRADIENT TERMS

Lecture 3. Econ August 12

Solutions to Problem Set 5 for , Fall 2007

Asymptotic behavior of infinity harmonic functions near an isolated singularity

Master Thesis. Nguyen Tien Thinh. Homogenization and Viscosity solution

Thuong Nguyen. SADCO Internal Review Metting

Flux-limited solutions for quasi-convex Hamilton-Jacobi equations on networks

Fast Marching Methods for Front Propagation Lecture 1/3

Applied Math Qualifying Exam 11 October Instructions: Work 2 out of 3 problems in each of the 3 parts for a total of 6 problems.

h(x) lim H(x) = lim Since h is nondecreasing then h(x) 0 for all x, and if h is discontinuous at a point x then H(x) > 0. Denote

Lipschitz continuity for solutions of Hamilton-Jacobi equation with Ornstein-Uhlenbeck operator

Hausdorff Continuous Viscosity Solutions of Hamilton-Jacobi Equations

Mid Term-1 : Practice problems

Iowa State University. Instructor: Alex Roitershtein Summer Homework #5. Solutions

Convex Optimization and Modeling

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

Parcours OJD, Ecole Polytechnique et Université Pierre et Marie Curie 05 Mai 2015

2. Function spaces and approximation

Functional Analysis. Franck Sueur Metric spaces Definitions Completeness Compactness Separability...

Metric Spaces and Topology

Viscosity Solutions of the Bellman Equation for Perturbed Optimal Control Problems with Exit Times 0

Basic Properties of Metric and Normed Spaces

NECESSARY CONDITIONS FOR WEIGHTED POINTWISE HARDY INEQUALITIES

Sobolev Spaces. Chapter 10

REVIEW OF ESSENTIAL MATH 346 TOPICS

Many of you got these steps reversed or otherwise out of order.

Some notes on viscosity solutions

DIFFERENTIAL GEOMETRY, LECTURE 16-17, JULY 14-17

Shape from Shading with discontinuous image brightness

Example 1. Hamilton-Jacobi equation. In particular, the eikonal equation. for some n( x) > 0 in Ω. Here 1 / 2

Nonlinear Systems and Control Lecture # 12 Converse Lyapunov Functions & Time Varying Systems. p. 1/1

GLOBAL EXISTENCE RESULTS AND UNIQUENESS FOR DISLOCATION EQUATIONS

MATH 220: MIDTERM OCTOBER 29, 2015

Math 421, Homework #9 Solutions

On the Bellman equation for control problems with exit times and unbounded cost functionals 1

GEOMETRIC APPROACH TO CONVEX SUBDIFFERENTIAL CALCULUS October 10, Dedicated to Franco Giannessi and Diethard Pallaschke with great respect

Principle of Mathematical Induction

Price formation models Diogo A. Gomes

CAUCHY PROBLEMS FOR STATIONARY HAMILTON JACOBI EQUATIONS UNDER MILD REGULARITY ASSUMPTIONS. Olga Bernardi and Franco Cardin.

Laplace s Equation. Chapter Mean Value Formulas

Continuity. Chapter 4

USING FUNCTIONAL ANALYSIS AND SOBOLEV SPACES TO SOLVE POISSON S EQUATION

Continuity. Chapter 4

Calculus of Variations. Final Examination

Economics 204 Summer/Fall 2017 Lecture 7 Tuesday July 25, 2017

COMPLETE METRIC SPACES AND THE CONTRACTION MAPPING THEOREM

Nonlinear Control. Nonlinear Control Lecture # 3 Stability of Equilibrium Points

arxiv: v1 [math.ap] 10 Apr 2013

Continuous Functions on Metric Spaces

Structure of R. Chapter Algebraic and Order Properties of R

MATH 409 Advanced Calculus I Lecture 12: Uniform continuity. Exponential functions.

Measure and Integration: Solutions of CW2

Ordinary Differential Equations II

Optimality Conditions for Constrained Optimization

The HJB-POD approach for infinite dimensional control problems

Level-set convex Hamilton-Jacobi equations on networks

A CONNECTION BETWEEN A GENERAL CLASS OF SUPERPARABOLIC FUNCTIONS AND SUPERSOLUTIONS

for all subintervals I J. If the same is true for the dyadic subintervals I D J only, we will write ϕ BMO d (J). In fact, the following is true

Research Article Almost Periodic Viscosity Solutions of Nonlinear Parabolic Equations

Asymptotic Behavior of Infinity Harmonic Functions Near an Isolated Singularity

asymptotic behaviour of singularly perturbed control systems in the non-periodic setting

MINIMAL TIME PROBLEM WITH IMPULSIVE CONTROLS

Harmonic Functions and Brownian motion

Nonlinear L 2 -gain analysis via a cascade

Preliminary Exam 2016 Solutions to Morning Exam

Division of the Humanities and Social Sciences. Supergradients. KC Border Fall 2001 v ::15.45

U e = E (U\E) e E e + U\E e. (1.6)

Math 341 Summer 2016 Midterm Exam 2 Solutions. 1. Complete the definitions of the following words or phrases:

AN INTRODUCTION TO VISCOSITY SOLUTION THEORY. In this note, we study the general second-order fully nonlinear equations arising in various fields:

ON GAP FUNCTIONS OF VARIATIONAL INEQUALITY IN A BANACH SPACE. Sangho Kum and Gue Myung Lee. 1. Introduction

MATH 425, FINAL EXAM SOLUTIONS

3 (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?

The Minimum Speed for a Blocking Problem on the Half Plane

Review of Multi-Calculus (Study Guide for Spivak s CHAPTER ONE TO THREE)

1/12/05: sec 3.1 and my article: How good is the Lebesgue measure?, Math. Intelligencer 11(2) (1989),

Nonlinear Control. Nonlinear Control Lecture # 2 Stability of Equilibrium Points

Large deviations and averaging for systems of slow fast stochastic reaction diffusion equations.

FUNCTIONAL ANALYSIS LECTURE NOTES: WEAK AND WEAK* CONVERGENCE

Convergence and sharp thresholds for propagation in nonlinear diffusion problems

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

Analysis Qualifying Exam

ODE Final exam - Solutions

Optimization and Optimal Control in Banach Spaces

Sobolevology. 1. Definitions and Notation. When α = 1 this seminorm is the same as the Lipschitz constant of the function f. 2.

Analysis Finite and Infinite Sets The Real Numbers The Cantor Set

SEPARABILITY AND COMPLETENESS FOR THE WASSERSTEIN DISTANCE

Transcription:

Master 2 Mathématiques et Applications PUF Ho Chi Minh Ville 2009/10 Viscosity solutions, HJ Equations and Control O.Ley (INSA de Rennes) Exam February 2010 3h Written-by-hands documents are allowed. Printed documents, computers, cellular phones are forbiden. The text is composed of 4 pages. Do not worry about the length of the text. It is not necessary to answer all questions to have the maximum mark. Answer seriously, rigorously and clearly the questions you choose to work. You may use without proof the results which were proven in the lecture. Exercises in Part I are independent. Part II, III and IV can be treated independently in any order. For the correction see my webpage: http://www.lmpt.univ-tours.fr/ ley (teaching) Notations: In R N, we consider the classical Euclidean inner product N x,y = x i y i for all x = (x 1,x 2,...,x N ),y = (y 1,y 2,...,y N ) R N. i=1 The Euclidean norm is written or : x = x = x,x 1/2 = N x 2 i. i=1 I. Preliminaries exercises I.1. Let f : R N R be a bounded continuous function. For any α > 0, we define Prove that lim α 0 M α = M. M α = sup x R N {f(x) α x } and M = sup x R N {f(x)}. I.2. Let f : R N R be a continuous function. Suppose that f is not differentiable at x 0 R N. Prove that either D + f(x 0 ) = or D f(x 0 ) =. I.3. Let f : R N R be a K-Lipschitz continuous function (K > 0), that is, f(x) f(y) K x y for all x, y R N. Let x R N. Prove that: if p D + f( x), then p K.

I.4. Let ψ : R N R P R be a C 1 function. Let C be a compact subset of R P. We define ϕ(x) = inf ψ(x, y). y C Let x 0 R N y 0 C be such that ϕ(x 0 ) = ψ(x 0, y 0 ). Prove that D x ψ(x 0, y 0 ) D + ϕ(x 0 ) (D x ψ denotes the gradient of ψ with respect to the x variable). II. The distance function is a viscosity solution to the Eikonal equation Let Ω R N be an open bounded subset. We consider the Eikonal equation { Du = 1 in Ω, u = 0 on Ω. (1) The subset Ω = Ω \ int(ω) is the boundary of Ω, Ω is its closure and int(ω) is its interior. Notice that Ω and Ω are compact subset of R N. We introduce the distance function to Ω: d Ω (x) = inf y x. y Ω II.1. Show that d Ω is 1-Lipschitz continuous in R N and that, d Ω (x) = 0 if and only if x Ω. II.2. Let x Ω and p D + d Ω (x). Prove that p 1 and conclude that d Ω is a viscosity subsolution of (1) in Ω. II.3. Let x 0 Ω. We distinguish two cases. II.3.1. Case 1: there exists a unique y 0 Ω such that d Ω (x 0 ) = x 0 y 0. Prove that d Ω is then differentiable at x 0 and that Dd Ω (x 0 ) = 1. [You may use, without proof, some results of an exercise solved during the lecture.] II.3.2. Case 2: assume that y 0 in Case 1 is not unique. Prove that (x 0 y 0 )/ x 0 y 0 D + d Ω (x 0 ). Conclude that, either d Ω (x 0 ) is differentiable at x 0 with Dd Ω (x 0 ) = 1, or d Ω is not differentiable at x 0 and D d Ω (x 0 ) =. Conclude that d Ω is a supersolution of (1). [You may use I.4 and I.2.] II.3.3. Draw a quick picture which illustrates Case 1 and Case 2 in II.3.1 and II.3.2. II.4. Conclude that d Ω is a viscosity solution of (1). 2

III. The distance function is the unique viscosity solution of (1). We use the notations and the definitions of Section II. III.1. Write the Hamiltonian H(x, r, p) associated with (1). Does this Hamiltonian satisfy (H1)? (H2)? ((H1) and (H2) are the assumptions introduced in the Section Uniqueness in the lecture). It follows that we cannot apply directly the uniqueness theorem (stationary case) proven in the lecture. III.2. We make the change of function v = Φ(u) = exp( u) in (1). Prove that v satisfies a new Hamilton-Jacobi equation { F(v, Dv) = 0 in Ω, (2) v = c on Ω. Give F(r, p) and the constant c. [You can use the result of the lecture about the change of functions in Hamilton- Jacobi equations without proof. But you have to justify that Φ is an admissible change of function.] III.3. Prove that the new Hamiltonian F satisfies (H1) and (H2) and conclude that (2) (and therefore (1)) has a unique viscosity solution. IV. Optimal control You can apply, without proof, all the results about optimal control which were proven in the lecture. We consider the controlled ordinary differential equation { Ẋx (s) = α(s) for 0 < s T, X x (0) = x R, (3) where the control α L ([0, T]) is such that α(s) [0, 1] for almost all s [0, T]. We consider the control problem of minimizing, among all admissible control, the cost J(x, t, α( )) = t 0 ds + u 0 (X x (t)), where x R, t [0, T] and u 0 is a given real-valued bounded Lipschitz continuous function. We introduce as usual the value function V (x, t) = inf {J(x, t, α( ))} α L ([0,T]), α 1a.e. 3

IV.1. Write the general form of the solution of (3). What is the trajectory X x (t) when T = 1, α(s) = 1 for 0 s 1/2 and α(s) = s for 1/2 < s 1? IV.2. Find a Hamilton-Jacobi-Bellman equation such that the value function V is the unique viscosity solution. IV.3. Check (formally) that W(x, t) = V (x, t) t is the unique viscosity solution of u t + u x = 0 in R (0, T), u(x, 0) = u 0 (x) in R. Deduce a formula for V (x, t). IV.4. Let u 0 (x) = 1. What is V (x, t) in this case? IV.5. Let u 0 (x) = 1 1+x 2. What is V (x, t) in this case? IV.6. Let u 0 (x) = sin(x). Prove that V (x, t) = 1 + t if t π. END 4

Master 2 Mathématiques et Applications PUF Ho Chi Minh Ville 2009/10 Viscosity solutions, HJ Equations and Control O.Ley (INSA de Rennes) CORRECTION of the exam of February 2010 I.1. α [0,+ ) M α R is a nonincreasing function bounded from above by M = M 0 < + since f is bounded. It follows that lim α 0 M α exists and is less than M. For any ǫ > 0, there exists x ǫ R N such that M f(x ǫ) + ǫ. Therefore M f(x ǫ) α x ǫ + α x ǫ + ǫ M α + α x ǫ + ǫ. Sending α 0, we get M lim α 0 M α + ǫ. Sending ǫ 0, we conclude. I.2. It suffices to prove that, if D + f(x 0 ) and D f(x 0 ) are both nonempty, then f is differentiable at x 0. Suppose that p D + f(x 0 ) and q D f(x 0 ). By definition, for all h R N, we have f(x 0 + h) f(x 0 ) p, h o( h ) and f(x 0 + h) f(x 0 ) q, h o( h ). (4) It follows q p, h o( h ). For h = λ q p (for small λ > 0), we get q p 2 o(λ) which implies, by sending λ 0, p = q. Coming back to (4), we finally obtain f(x 0 + h) f(x 0 ) p, h = o( h ) which proves that f is differentiable at x 0 with Df(x 0 ) = p. I.3. Using that p D + f( x) and that f is K-Lipschitz, we have, for h R N, K h p, h f( x + h) f( x) p, h o( h ). If p = 0, the inequality is obvious. Otherwise, we can choose h = λp/ p for small λ > 0. It follows λ( K+ p ) o(λ). Dividing by λ and sending λ 0, we obtain the desired inequality. I.4. Writing that ψ is differentiable with respect to x at x 0, that ϕ(x 0 ) = ψ(x 0, y 0 ) and that ϕ(x 0 +h) ψ(x 0 +h, y 0 ), we have ϕ(x 0 + h) ϕ(x 0 ) D xψ(x 0, y 0 ), h ψ(x 0 + h, y 0 ) ψ(x 0, y 0 ) D xψ(x 0, y 0 ), h = o( h ). The inequality ϕ(x 0 + h) ϕ(x 0 ) D xψ(x 0, y 0 ), h o( h ) proves that D xψ(x 0, y 0 ) D + ϕ(x 0 ). II.1. Using that inf(a) inf(b) sup(a b), we have, for all x, x R N, d Ω (x) d Ω (x ) inf y x (y y Ω x ) = x x. Let x R N. Since Ω is a compact subset and y y x is continuous in R N, there exists ȳ Ω such that d Ω ( x) = ȳ x.it follows that d Ω ( x) = 0 if and only if ȳ = x, i.e., x Ω. II.2. It is an immediate consequence of II.1, I.3 and the equivalent definition of viscosity solution using the sub- and superdifferentials. II.3.1. We use the exercise we did during the lecture about the properties of the function ϕ defined in I.4. Since x 0 Ω, the function y y x 0 is C 1 in a neighborhood of Ω (in fact, in any open subset containing Ω which does not contain x 0 ). The uniqueness of y 0 for which the minimum is achieved then implies that d Ω is differentiable at x 0 and Dd Ω (x 0 ) = D( y 0 )(x 0 ) = x 0 y 0 thus Dd Ω (x 0 ) = x 0 y 0 x 0 y 0 x 0 y 0 = 1. II.3.2. If the minimum is not achieved at some unique y 0, we saw in the exercise that d Ω may be not differentiable at x 0 and we cannot proceed as in II.3.1. In this case, (x, y) y x is C 1 in the open set B(x 0, ǫ) O (O is a neighborhood of Ω and ǫ is small enough in order that O B(x 0, ǫ) = ). From I.4., we obtain that D( y 0 )(x 0 ) = (x 0 y 0 )/ x 0 y 0 belongs to D + d Ω (x 0 ). In particular D + d Ω (x 0 ) is not empty. Now, either D d Ω (x 0 ) is empty, or D d Ω (x 0 ) is also not empty. In the first case, the condition d Ω is a supersolution at x 0 is automatically fulfilled. In the second case, from I.2, we have that d Ω (x 0 ) is differentiable at x 0 with Dd Ω (x 0 ) = (x 0 y 0 )/ x 0 y 0. It follows that Dd Ω (x 0 ) = 1 which proves, as in II.3.1, that d Ω is a supersolution at x 0. II.3.3. On the picture 1, the open set Ω can be divided in Ω = D (Ω \ D). For all x 0 in the open set Ω \ D, there is a unique y 0 Ω such that d Ω (x 0 ) = x 0 y 0 and d Ω is differentiable. On the contrary, if x 0 lies on the line D, there are two different y 0, y 0 Ω such that d Ω(x 0 ) = x 0 y 0 = x 0 y 0. At such points x 0, we can prove that d Ω is not differentiable. 5

y 0 x 0 D Ω y 0 x 0 y 0 Figure 1: Illustration of the cases in II.3.1 and II.3.2. II.3.4. From II.2 and II.3, we know that d Ω is a viscosity solution in Ω. From II.1, we obtain that d Ω = 0 on Ω and therefore the boundary conditions are satisfied. Finally d Ω is a viscosity solution of (1). III.1. The Hamiltonian H associated with (1) is H(x, r, p) = p 1 for all x, p R N and r R. This Hamiltonian does not depend on x and r. It satisfies obviously (H1) since H(x, r, p) H(y, r, p) = 0 but it does not satisfy (H2) since, if r s, then H(x, r, p) H(y, s, p) = 0 (in other word (H2) holds with γ = 0 whereas one requires γ > 0 in the uniqueness theorem of the lecture). It follows that we cannot apply directly the uniqueness result of the lecture. We have to extend the uniqueness result to this degenerate case. There are several ways to proceed. One, which is left as an exercise, consists in repeating the uniqueness proof of the lecture by considering x y 2 M µ,ε = sup {µu(x) v(y) x,y Ω ε 2 } for ε > 0 and some fixed 0 < µ < 1. The idea is to do an analogous proof with the fixed parameter µ which will help, and to send µ 1 at the end of the proof to conclude. Here we choose an alternative way to overcome the difficulty: we do a change of function. III.2. The function Φ : R R is C 1 and increasing. It is therefore an admissible change of function (result in the lecture). An easy computation shows that, if v = exp( u), then Du = Dv/v and therefore, using that v 0, Du 1 = 0 Dv v 1 = 0 Dv + v = 0. Moreover, u = 0 v = 1. It follows that v is solution to (2) with F(x, r, p) = p + r and c = 1. The new Hamiltonian F satisfies now clearly (H1) and (H2) (with γ = 1 > 0). Therefore (2) has at most one solution (uniqueness) but, since, if u is solution to (1), then Φ(u) is solution to (2); we have also uniqueness for (1). We conclude that (1) has a unique viscosity solution which is d Ω by Part II. IV.1. We have (see the lecture), X x(t) = x + R t 0 α(s)ds. If T = 1, α(s) = 1 for 0 s 1/2 and α(s) = s for 1/2 < s 1, we have X x(t) = x + t for 0 t 1 2, Xx(t) = x + 5 8 t2 2 The trajectory is absolutely continuous (and even C 1 except at t = 1/2). for 1 2 t 1. IV.2. Using the notations of the lecture, we have that: the control set A is [ 1,1] which is a compact subset of R; b(x, α) = α is bounded by 1 and obviously Lispchitz continuous with respect to x; f(x, α) = 1 which is obviously bounded and Lipschitz continuous. Finally u 0 is bounded Lipschitz continuous by assumption. From the lecture, we then know that the value function V of the control problem is the unique viscosity solution of the Hamilton-Jacobi-Bellman equation 8 < : u t + u x = 1 u(x, 0) = u 0 (x) in R (0, T), in R IV.3. Set W(x, t) = V (x, t) t. Then V t = W t + 1, (H(x, p) = sup { b(x, α)p f(x, α)} = p 1). α [ 1,1] V x = W x and V (x,0) = u 0 (x) = W(x,0). It follows that W is the unique viscosity solution of the equation in IV.3. In the lecture, we gave a formula for the unique viscosity solution W of this equation: we have, for all x R, t [0, T], V (x, t) = W(x, t) + t = inf {u 0(y)} + t. (5) y x t IV.4,5,6. These questions are easy computations from the formula (5). We find V (x, t) = 1 + t when u 0 = 1. When u 0 (x) = 1/(1 + x 2 ) (which is increasing on R and decreasing on R + ), then V (x, t) = 1/(1 + (x + t) 2 ) + t when x 0 and V (x, t) = 1/(1 + (x t) 2 ) + t when x 0. The last example looks more complicated but the minimum of sinus is 1 and, for any x 0 R, there is y 0 such that x 0 y 0 π and sin(y 0 ) = 1. It follows from (5) that, if t π, then inf y x t {sin(y)} = 1 and therefore V (x, t) = 1 + t. 6