Master Thesis. Nguyen Tien Thinh. Homogenization and Viscosity solution
|
|
- Sharyl Parks
- 5 years ago
- Views:
Transcription
1 Master Thesis Nguyen Tien Thinh Homogenization and Viscosity solution Advisor: Guy Barles Defense: Friday June 21 th, 2013
2 ii Preface Firstly, I am grateful to Prof. Guy Barles for helping me studying my research. Additionally, I would like to thank him for helping me developing my experience in PDEs. The second word of thanks goes to all of people in the labotory of Mathematics and Physics Theory, Francois Rabelais University for helping me during the time I was here. Thirdly, I would like to thank Tran Cong Thanh, who is always besides me even I have any difficulties and sadness. Thank for encouraging me. Finally, I would like to thank my friends. I had a wonderful time with them experiencing French life style and surroundings. I want to thank them for the talks about my research, but even more for the fun we had after working time. Tours, June 21 th, 2013 Nguyen Tien Thinh
3 iii Introduction This paper is devoted to the homogenization of the Hamilton-Jacobi equations u ɛ t + H(x, x ɛ, Duɛ ) = 0 in R n (0, + ). (1) u ɛ t=0 = u 0 (x). (2) where the initial data u 0 (x) is a bounded, uniformly continuous on R n. We consider the behavior of the viscosity solution u ɛ of (1)-(2) as ɛ tends to 0 under assumptions (H1) H is uniformly continuous on R n R n B(0, R) for any R < +. (H2) H(x, y, p) = H(x, y + z, p) for all x, y, p R n. (H3) M > 0, r M > 0 such that H(x, y, p) > M for all p R n, p > r M uniformly for all x, y R n. This problem was introduced in [5] by P.L. Lions, G. Papanicolaou and S.R.S. Varadhan in The key to solve was used is an assymptotic expansions introduced by A.Bensoussan, J.L Lions and G. Papanicolaou (see in [7]) u ɛ (x, t) = u 0 (x, t) + ɛw 1 (x, x ɛ, t) + ɛ2 w 2 (x, x, t) +... (3) ɛ where w i (x, y, t) are Z n -periodic in y, for all i N. Then inserting (3) in (1) and identifying the terms in front of powers of ɛ, we have u 0 t (x, t) + H(x, y, D xu 0 (x, t) + D y w 1 (y, t)) = 0 in R n R n (0, + ). (4) It leads to the cell problem: for x, p R n, is there H(x, p) R such that the equation H(x, y, p + D y v) = H(x, p) in R n (5) has a Z n -periodic viscosity solution v? If the answer is yes, then using an other argument, one concludes that u ɛ tends to u, the unique viscosity solution of the equation u t + H(x, Du) = 0 in Rn (0, + ), (6) u(x, 0) = u 0 (x), (7) where H is called the effective-hamiltonian. This is two-scale method which is divided in two steps: first, find the homogenized and cell equations by means of asymptotic expansions;
4 iv second, prove the convergence. Our aim in this paper is also using the two-scale method with the second step following the perturbed test-function method adapted to Hamilton-Jacobi equations introduced by L.C Evans in 1989 (see in [6]). This framework is organized as follows. In chapter 1, we introduce viscosity solution (see in [1],[2],[3]) and related properties. Chapter 2, we give the answer for the existence of solution of cell problem. Finally, results about homogenization is taken in chapter 3.
5 Contents Preface Introduction ii iii 1 Viscosity Solution Theory Introduction Properties Ergodic Problem Theory Introduction Main results Homogenization Theory Introduction Main results References 33 1
6 Chapter 1 Viscosity Solution Theory 1.1 Introduction. The term viscosity solutions first appear in the work of Michael Crandall and Pierre-Louis Lions in 1983 regarding the Hamilton-Jacobi equation. The name is justified by the fact that the existence of solutions was obtained by the vanishing viscosity method. The definition of solution had actually been given earlier by Lawrence Evans in Subsequently the definition and properties of viscosity solutions for the Hamilton-Jacobi equation were refined in a joint work by Crandall, Evans and Lions in Let us give an example to know where this idea comes from. Consider the C 2 -solution u of the equation u = 0 and φ is an arbitrary C 2 -function, touching u from above at some point x 0. Hence, u φ locally, φ(x 0 ) = u(x 0 ). We conclude that u(x) φ(x) 0 = u(x 0 ) φ(x 0 ) (1.1) in a neighborhood of x 0. It means x 0 is a local maximum point of u φ. Therefore, one has φ (x 0 ) = (u φ) (x 0 ) 0. (1.2) The same idea, when we touch u from below at x 0, one concludes that x 0 is a local minimum of u φ and φ (x 0 ) 0. In the case u doesn t belong to C 2 but these above properties hold. We call that u is a viscosity solution. On the other hand, for another example u 1 = 0. This problem has two different almost 2
7 1.2 Properties. 3 everywhere solutions x + 1 and x 1. Hence, it is not unique. We need a different kind of weak solution such that the uniqueness holding. The notion of viscosity solution can solved this problem. In this framework, we consider the Hamilton-Jacobi Equation where H satisfies u t + H(x, Du) = 0 in Rn (0, + ), (1.3) (H1) H is uniformly continuous on R n B(0, R) for any R < +. (H2) H(x, p) = H(x + z, p) for all x, p R n. (H3) M > 0, r M > 0 such that H(x, p) > M for all p R n, p > r M uniformly for all x R n. Definition 1.1. u C(R n (0, + )) is a subsolution of (1.3) if for any φ C 1 (R n (0, + )) and (x 0, t 0 ) is a local maximum point of u φ, one has φ t (x 0, t 0 ) + H(x 0, Dφ(x 0, t 0 )) 0. (1.4) and u C(R n (0, + )) is a supersolution of (1.3) if for any φ C 1 (R n (0, + )) and (x 0, t 0 ) is a local minimum point of u φ, one has φ t (x 0, t 0 ) + H(x 0, Dφ(x 0, t 0 )) 0. (1.5) If u C(R n (0, + )) is a subsolution and also a supersolution, it is called a viscosity solution. 1.2 Properties. In the real world, the data for solving the PDEs are not always exact such as the initial condition, the boundary condition, etc. These errors maybe come from the measurement. Therefore, the stability result of the viscosity solutions plays an important role. It shows that under needed conditions, the limit of a sequence of subsolution and supersolution is still a subsolution and supersolution. Theorem 1.1. Assume that, for ɛ > 0, u ɛ C(R n (0, + )) is a viscosity solution of the equation u ɛ t + H ɛ(x, Du ɛ ) = 0 in R n (0, + ), (1.6)
8 1.2 Properties. 4 where (H ɛ ) ɛ>0 is a sequence of continuous functions. If u ɛ u in C(R n (0, + )) and if H ɛ H in C(R n (0, + ) R R n ) then u is a viscosity solution of the equation u t + H(x, Du) = 0, in Rn (0, + ). (1.7) An other important basic property is Maximum Principle. It comes from a nature question that if u and v are two viscosity solution of (1.3) and u v on the boundary, one can conclude that u v in general or not, because in PDEs, we just know the data on the boundary or initial time. Hence, this property is needed for the a priori estimation of solutions. In the viscosity solution theory, it is called Comparison result. Theorem 1.2. If (H1) (H3) hold and u, v are respectively bounded, uniformly continuous subsolution and supersolution of (1.3) and if u(x, 0) v(x, 0), x R n, (1.8) then u(x, t) v(x, t), (x, t) R n (0, + ). (1.9) Proof. Firstly, assume that u is a strict subsolution of (1.3) since w(x, t) = u(x, t) ηt for some η > 0 is a subsolution of and w(x, 0) = u(x, 0). w t + H(x, Dw) = η in Rn (0, + ), (1.10) Suppose M = sup R n (0,+ )(u v) > 0 and introduce the test-function Since Ψ ɛ,α,β Ψ ɛ,α,β (x, y, t, s) = u(x, t) v(y, s) x y 2 t s 2 ɛ 2 α 2 β( x 2 + y 2 ). (1.11) as x, y, t, s +, there exists a maximum point ( x, ȳ, t, s) depending on ɛ, α, β > 0 such that Ψ ɛ,α,β (x, y, t, s) Ψ ɛ,α,β ( x, ȳ, t, s), x, y R n, t, s (0, + ). (1.12) Choose y = x, t = s, we have u(x, t) v(x, t) 2β x 2 Ψ ɛ,α,β ( x, ȳ, t, s), (x, t) R n (0, + ). (1.13)
9 1.2 Properties. 5 On the other hand, since u(x, t) v(x, t) 2β x 2 as x, t +, there exists a maximum point (x, t ) depending on β of u(x, t) v(x, t) 2β x 2. And we denote Hence, M = max (u(x, t) v(x, t) R n (0,+ ) 2β x 2 ). (1.14) M Ψ ɛ,α,β ( x, ȳ, t, s) = u( x, t) v(ȳ, s) x ȳ 2 ɛ 2 t s 2 α 2 β( x 2 + ȳ 2 ). (1.15) Moreover, since M M as β 0, one choose β small enough such that M > 0. One concludes that where R = max( u, v ). Therefore, x ȳ 2 ɛ 2 + t s 2 α 2 + β( x 2 + ȳ 2 ) R, (1.16) x ȳ R 1/2 ɛ, (1.17) t s R 1/2 α, (1.18) 2β x 2β 1/2 (β x 2 ) 1/2 2β 1/2 R 1/2, (1.19) 2βȳ 2β 1/2 (β ȳ 2 ) 1/2 2β 1/2 R 1/2. (1.20) Notice that t, s 0. Indeed, if t = 0, s 0, since M > 0 and (1.15), we have M = u( x, 0) v(ȳ, s) u( x, 0) v(ȳ, s) x ȳ 2 ɛ 2 s 2 α 2 β( x 2 + ȳ 2 ) u( x, 0) v( x, 0) + v( x, 0) v(ȳ, s) v( x, 0) v(ȳ, s). (1.21) On the other hand, v BUC(R n [0, + )), there exists δ(m ) > 0 such that v(x, t) v(y, s) < M 2, x, y Rn, t, s [0, + ), x y + t s δ(m ). (1.22) Since (1.17),(1.18), choose ɛ, α < δ(m ), we conclude that 2R1/2 M v( x, 0) v(ȳ, s) < M 2. (1.23)
10 1.2 Properties. 6 Hence, M < 0 is the contradiction and then x, ȳ R n, t, s (0, + ) for ɛ, α, β small enough. On the other hand, since ( x, ȳ, t, s) is the maximum point of Ψ ɛ α,β, we conclude that ( x, t) is the maximum point of u(x, t) [v(ȳ, s) + x ȳ 2 ɛ 2 Besides, u is a subsolution of (1.3), one has + ] t s 2 α 2 + β( x 2 + ȳ 2 ). (1.24) p ɛ,α,β + H( x, q ɛ,α,β + 2β x) η, (1.25) where p ɛ,α,β = 2( t s) 2( x ȳ) α 2 and q ɛ,α,β = ɛ 2. In the same way, (ȳ, s) is the minimum point of x y 2 v(y, s) [u( x, t) ɛ 2 t s 2 ] α 2 β( x 2 + y 2 ). (1.26) But, v is a supersolution of (1.3), one has On the other hand, since (1.18), one gets p ɛ,α,β + H(ȳ, q ɛ,α,β 2βȳ) 0. (1.27) p ɛ,α,β = 2( t s) α 2 2R1/2 α. (1.28) And by the coercivity of H, from (1.25),(1.28) we conclude that there exists C α > 0 depending only on α and H such that q ɛ,α,β + 2β x < C α. Thus, since H is uniformly continuous on R n B(0, C α ), one gets H(x, p) H(y, q) m H ( x y + p q ), x, y R n, p, q B(0, C α ), (1.29) where m H (r) 0 as r 0. Subtracting two sides of (1.25),(1.27), we have η H(ȳ, q ɛ,α,β 2βȳ) H( x, q ɛ,α,β + 2β x) m H ( x ȳ + 2β x + 2βȳ ). (1.30) Let (ɛ, β) 0 and then α 0, we have the contradiction η 0. Corollary 1.1. Under the assumption of Theorem 1.2, if u, v BUC(R n [0, + )) are respectively subsolution and supersolution of (1.3) then sup (u v) sup(u(x, 0) v(x, 0)). (1.31) R n (0,+ ) R n
11 1.2 Properties. 7 The next property of viscosity solutions is the existence via Perron s method. This method had been introduced in 1923 by Oskar Perron in order to find solutions for the Laplace equation and consists in building a solution as the supremum of a suitable family of viscosity subsolutions. Theorem 1.3. (Perron s method) If u and u are respectively sub and supersolution of and the comparison result holds. Let consider the set u t + H(x, Du) = 0 in Rn (0, + ) (1.32) S = {v C(R n (0, + )); u v u, v is a subsolution of (1.32)} then u = sup S v(x, t) is a Lipschitz viscosity solution of (1.32). Theorem 1.4. If (H1)-(H3) hold, then the Hamilton-Jacobi Equation u t + H(x, Du) = 0 in Rn (0, + ), (1.33) u(x, 0) = u 0 (x), (1.34) where u 0 (x) C 1 (R n ) W 1, (R n ), then there exists a unique Lipschitz viscosity solution of (1.33)-(1.34) in W 1, (R n (0, + )). Proof. Set M = u 0 (x) + Ct and N = u 0 (x) Ct, where C = sup q Du0 H(, q) L L one has C + H(x, Du 0 ) 0, x R n, (1.35) C + H(x, Du 0 ) 0, x R n. (1.36) Thus, M, N are respectively supersolution and subsolution of (1.33)-(1.34). We have the first a priori estimate N(x, t) u(x, t) M(x, t), (x, t) R n (0, + ). (1.37) For all h > 0, one has u(x, t + h) u(x, t) max (u(x, t + h) u(x, t)) R n (0,+ ) max(u(x, h) u(x, 0)) Rn max (u 0(x) + Ch u 0 (x)) R n Ch. (1.38)
12 1.2 Properties. 8 Hence, On the other hand, u(x, t + h) u(x, t) h C. (1.39) u(x, t) u(x, t + h) max (u(x, t) u(x, t + h)) R n (0,+ ) max u(x, 0) u(x, h) Rn max (u 0(x) u 0 (x) + Ch) R n Ch. (1.40) Hence, u(x, t) u(x, t + h) h C. (1.41) Let h 0, one gets u C. (1.42) t Therefore, (1.33) becomes H(x, Du) = u t u C. (1.43) t Lemma 1.1. If H satisfy (H3) and u is a continuous, bounded viscosity solution of (1.43), then there exists a constant K > 0 depending only on C and H such that u is K-Lipschitz. Furthermore, u W 1, (R n ) and Du K. Proof. Let x R n. Since u(y) K y x as y + where K > 0, max(u(y) K y x ) exists over R n and we denote this maximum point by y 0. If y 0 = x, one has u(y) K y x max(u(y) K y x ) = u(x), y R n. (1.44) If y 0 x, one has where φ(y) = K y x. u(y) φ(y) u(y 0 ) φ(y 0 ), y R n, (1.45) Since φ is C 1 in a neighborhood of y 0 and u is a subsolution of (1.33), one gets H(y 0, K(y 0 x) ) C. (1.46) y 0 x
13 1.2 Properties. 9 Because of the coercivity of H, there is a constant R > 0 depending only on C and H such that K = K(y 0 x) y 0 x R. (1.47) Choose K 1 = R + 1. Hence, max(u(y) K 1 y x ) exists only at y 0 = x, it means u(y) K 1 y x u(x), y R n. (1.48) By the same way, let y R n, there is K 2 > 0 depending only on C and H such that max(u(x) K 2 x y ) exists only at y, one gets u(x) K 2 y x u(y), x R n. (1.49) Therefore, from (1.48),(1.49), with K = max(k 1, K 2 ), u(y) u(x) K y x, x, y R n. (1.50) Applying the Rademacher s Theorem, one has u is differentiable almost everywhere in R n. Finally, by the subsolution inequality, H(x, Du) C, a.e in R n, (1.51) By the coercivity of H, there is a constant K > 0 depending only on C and H such that Du K. Using these a priori estimates, we introduce the sets W = {v W 1, (R n (0, + )); N v M, v t C, Dv K}, S = {v W; v is a subsolution of (1.33)-(1.34)}. Following Perron s method, we conclude that there is a viscosity solution u of (1.33)-(1.34). Moreover, by the comparison result, this viscosity solution is unique.
14 Chapter 2 Ergodic Problem Theory 2.1 Introduction. A central concern of ergodic theory is the behavior of a dynamical system when it is allowed to run for a long time. For example, for large time t, if the viscosity solution u of the equation u t + H(x, Du) = 0 in Rn (0, + ) (2.1) looks like λt + v(x), then λ and v must satisfy the equation H(x, Dv) = λ in R n. (2.2) The question here is if λ and v like that exit or not. Ergodic theory studies about this kind of PDEs problem. In this part, we consider the cell problem H(x, y, Du p + p) = H(x, p), in R n, (2.3) for any (x, p) R n R n, where H satisfies (H1) H is uniformly continuous on R n R n B(0, R) for any R < +. (H2) H(x, y, p) = H(x, y + z, p) for all x, y, p R n. (H3) M > 0, r M > 0 such that H(x, y, p) > M for all p R n, p > r M uniformly for all x, y R n. 10
15 2.2 Main results Main results. Theorem 2.1. Assume that H satisfies (H1)-(H2)-(H3). For (x, p) R n R n, there exists a unique H(x, p) such that there exists a Z n -periodic viscosity solution u p satisfy (2.3). Proof. Lemma 2.1. For γ > 0 and (x, p) R n R n, the equation H(x, y, Du γ,p (y) + p) + γu γ,p (y) = 0 in R n, (2.4) where the Hamiltonian H satisfy (H1), (H2) and (H3), has a unique, Lipschitz continuous, Z n -periodic viscosity solution u γ,p (y). Proof. Firstly, for γ > 0, (x, p) R n R n, put M γ,p = H(x,, p), one has γ H(x, y, p) γm γ,p 0, y R n, (2.5) H(x, y, p) + γm γ,p 0, y R n. (2.6) Thus, M γ,p, M γ,p are subsolution and supersolution of (2.4). Lemma 2.2. If u and v are bounded, uniformly continuous subsolution and supersolution of (2.4), u v on R n. Proof. Suppose M = sup R n(u v) is positive and introduce the test-function One has Ψ ɛ,α (y, z) = u(y) v(z) y z 2 ɛ 2 α( y 2 + z 2 ). (2.7) y ɛ,α z ɛ,α R 1/2 ɛ, (2.8) 2α y ɛ,α = 2α 1/2 (α y ɛ,α 2 ) 1/2 2α 1/2 R 1/2, (2.9) 2α z ɛ,α = 2α 1/2 (α z ɛ,α 2 ) 1/2 2α 1/2 R 1/2. (2.10) where (y ɛ,α, z ɛ,α ) R n R n is the maximum point of Ψ ɛ,α and R = max( u, v ). By the definition of subsolution and supersolution, H(x, y ɛ,α, q ɛ,α + 2αy ɛ,α + p) + γu(y ɛ,α ) 0, (2.11) H(x, z ɛ,α, q ɛ,α 2αz ɛ,α + p) + γv(z ɛ,α ) 0, (2.12)
16 2.2 Main results. 12 where q ɛ,α = 2(y ɛ,α z ɛ,α ) ɛ 2. On the other hand, from (2.11) and (H3), there exists a constant C > 0 such that q ɛ,α + 2αy ɛ,α + p C. Hence, since H is uniformly continuous on R n R n B(0, C), one deduces H(x, y, p) H(x, z, q) m C H( y z + p q ), x, y, z R n, p, q B(0, C), (2.13) where m C H (t) 0 as t 0. Subtracting two sides of (2.11), (2.12), then apply (2.13), one gets γ(u(y ɛ,α ) v(z ɛ,α )) H(x, z ɛ,α, q ɛ,α 2αz ɛ,α + p) H(x, y ɛ,α, q ɛ,α + 2αy ɛ,α + p) m C H( y ɛ,α z ɛ,α + 2αy ɛ,α + 2αz ɛ,α ). (2.14) Therefore, from (2.8),(2.9),(2.10), letting (ɛ, α) 0, we have the contradiction γm 0. Hence, if u γ,p is a viscosity solution of (2.4), u γ,p is also a subsolution and a supersolution. Thus, we have the a priori estimate M γ,p u γ,p (y) M γ,p, y R n. (2.15) Thus, by the subsolution inequality and (2.15), we have H(x, y, Du + p) γu(y) γm γ,p H(x,, p), a.e in R n. (2.16) Therefore, by Lemma 1.1, one concludes that there is a constant K p > 0 depending only on H(x,, p) and H such that Du K p. Using these a priori estimates, we introduce the sets W = {v W 1, (R n ); M γ,p v M γ,p, Dv K p }, S = {v W; v is a subsolution of (2.4)}. Following Perron s method, we conclude that there is a viscosity solution u γ,p of (2.4). Moreover, by Lemma 2.2, this viscosity solution is unique. Finally, for all z Z n, u γ,p (y + z) is a viscosity solution of H(x, y + z, Du γ,p (y + z) + p) + γu γ,p (y + z) = 0 in R n. (2.17) On the other hand, since H satisfy (H2), one gets H(x, y, Du γ,p (y + z) + p) + γu γ,p (y + z) = H(x, y + z, Du γ,p (y + z) + p) + γu γ,p (y + z) = 0.
17 2.2 Main results. 13 Therefore, u γ,p (y + z) is also a viscosity solution of (2.4), but by the uniqueness, one has u γ,p (y + z) = u γ,p (y). Therefore, u γ,p is Z n -periodic. For (x, p) R n R n, we consider u γ,p, where γ > 0 is small enough, viscosity solution of (2.4). For y R n, we set v γ,p (y) = u γ,p (y) u γ,p (0), then by the result in Theorem 2.1, one has v γ,p (y) = u γ,p (y) u γ,p (0) = u γ,p (y [y]) u γ,p (0) K p y [y], (2.18) where y = (y i ) 1 i n and [y] = ([y i ]) 1 i n Z n, 0 y i [y i ] < 1 for 1 i n. Hence, since y [y] [0, 1] n, we have v γ,p is equibounded. Besides, for all y, z R n, v γ,p (z) v γ,p (y) = u γ,p (z) u γ,p (y) K p z y. (2.19) Thus, v γ,p is equi-lipschitz-continuous. Applying Ascoli s Theorem, we deduce that there exists a subsequence {v γk,p} {v γ,p } which converges to u p C(R n ). On the other hand, γ k u γk,p(0) = γ k u γk,p(0) γ k M γk,p = H(x,, p). (2.20) Thus, there exists a constant H(x, p) such that there is a subsequence γ km u γkm,p(0) H(x, p) as γ km 0. Furthermore, since (2.20), we have H(x, p) H(x,, p). (2.21) Finally, by the definition of v γ,p and the equation (2.4), one gets H(x, y, Dv γkm,p + p) + γ km v γkm,p = γ km u γkm,p(0) a.e in R n. (2.22) Then, let m +, the stability result says H(x, y, Du p + p) = H(x, p) a.e in R n. Finally, we show that (x, p) R n R n, H(x, p) is unique. Let (x, p) R n R n, suppose (u p, H(x, p)) and (v p, H (x, p)) respectively satisfy H(x, y, Du p + p) = H(x, p) in R n (2.23) H(x, z, Dv p + p) = H (x, p) in R n, (2.24)
18 2.2 Main results. 14 where u p, v p are continuous, Z n -periodic viscosity solution of (2.23), (2.24). One can consider the test-function Ψ ɛ (y, z) = u p (y) v p (z) y z 2 ɛ 2, (2.25) and we can assume without loss of generality that y [0, 1] n and z [0, 2] n since the Z n -periodicity. Therefore, Ψ ɛ has a maximum point (y ɛ, z ɛ ) and we have where R p = max( u p, v p ). y ɛ z ɛ R 1/2 p ɛ, (2.26) On the other hand, since u p is subsolution of (2.23) and v p is supersolution of (2.24), we also have H(x, y ɛ, q ɛ + p) H(x, p), (2.27) H(x, z ɛ, q ɛ + p) H (x, p), (2.28) where q ɛ = 2(y ɛ z ɛ ) ɛ 2. Besides of that, since (2.27) and the coercivity of H, there is a constant C p > 0 such that q ɛ + p C p. Hence, H(x, y, q) H(x, z, q) m Cp H ( y z ), q B(0, C p), (y, z) [0, 1] n [0, 2] n, (2.29) where m Cp H (t) 0. Subtracting two sides of (2.27), (2.28), then, applying (2.29), one gets H (x, p) H(x, p) H(x, z ɛ, q ɛ + p) H(x, y ɛ, q ɛ + p), m Cp H ( y ɛ z ɛ ). (2.30) Let ɛ 0, we conclude Exchanging the roles of u p, v p, one has H (x, p) H(x, p). (2.31) H (x, p) H(x, p). (2.32) Therefore, for all (x, p) R n R n, H(x, p) is unique.
19 2.2 Main results. 15 Example 2.1. In this example, let p R, we consider the equation u + p = f(x) + λ(p), in R, (2.33) and compute the unique λ(p) such that (2.33) has a 1-periodic viscosity solution if f is 1-periodic, non negative and min R n f(x) = 0. Firstly, one can assume that u(0) = u(1) = 0 and notice that, at x 0 is the minimum point of f, one has λ(p) = u (x 0 ) + p 0. On the other hand, let θ [0, 1], p, q R n, we have λ(θp + (1 θ)q) = u + θp + (1 θ)q f(x) = θ(u + p) + (1 θ)(u + q) θf(x) (1 θ)f(x) θ u + p + (1 θ) u + q θf(x) (1 θ)f(x) = θλ(p) + (1 θ)λ(q). (2.34) Thus, λ is convex. Secondly, we look for p R n and λ(p) such that there are viscosity solutions. Assume that u (x) + p = f(x) + λ(p), x [0, 1]. (2.35) Thus, there is a C 1 ([0, 1]) viscosity solution u such that u(x) u(0) = px + x Hence, by the assumption u(0) = u(1) = 0, one has p = Besides, since λ(p) 0, it implies that 1 p On the other hand, assume that 0 0 [f(t) + λ(p)]dt. (2.36) f(t)dt + λ(p). (2.37) 1 0 f(t)dt. (2.38) u (x) + p = [f(x) + λ(p)], x [0, 1]. (2.39) Thus, there is a C 1 ([0, 1]) viscosity solution u such that u(x) u(0) = px x 0 [f(t) + λ(p)]dt. (2.40)
20 2.2 Main results. 16 Hence, p = And since λ(p) 0, it implies that 1 0 p f(t)dt λ(p). (2.41) 1 0 f(t)dt. (2.42) Therefore, for all p R n, p 1 0 f(t)dt and λ(p) = p 1 0 f(t)dt, one obtains u(x) = px + is a viscosity solutions of (2.33). x 0 [f(t) + λ(p)]dt, (2.43) And, for all p R n, p 1 0 f(t)dt and λ(p) = p 1 0 f(t)dt, one has u(x) = px is a viscosity solutions of (2.33). x 0 [f(t) + λ(p)]dt, (2.44) On the other hand, since λ(p) 0 and convex for all p R n. We have necessarily λ(p) = 0 for 1 0 f(t)dt < p < 1 0 f(t)dt. (2.45) We show that there is a 1-periodic viscosity solution for the equation (2.33). To do that, starting at x 0 [0, 1] which we choose after. Then, if this viscosity solution exists, it is continuous and 1-periodic. Thus, we look for a solution with one change of sign in u + p after some x [x 0, x 0 + 1]. Hence, we choose a viscosity solution satisfies u (x) = p + f(x) (2.46) on [x 0, x], denoting by u 1. This viscosity solution satisfies also u (x) = p f(x), (2.47) on [ x, x 0 + 1], denoting by u 2. And such that u 1 ( x) = u 2 ( x) for the continuity. One has u 1 (x) = u 2 (x) = x x 0 [ p + f(t)] dt, (2.48) 1+x0 x [p + f(t)] dt. (2.49)
21 2.2 Main results. 17 Remark 2.1. One can choose to find a viscosity solution. u 2 (x) = u 1 (x) = x 1+x0 x x 0 [p + f(t)] dt, (2.50) [ p + f(t)] dt, (2.51) On the other hand, u 1 (x 0 ) u 2 (x 0 ) = u 1 (1 + x 0 ) u 2 (1 x 0 ) = 1+x0 x 0 1+x0 Besides of that, since f is 1-periodic, 1+x0 [ 1+x0 [p + f(t)] dt = p + x 0 [ p + f(t)] dt = p + x 0 f(t)dt = Then apply (2.52), (2.53), (2.54), one has 1 [u 1 (x 0 ) u 2 (x 0 )][u 1 (1 + x 0 ) u 2 (1 + x 0 )] = 0 x 0 1+x0 ] f(t)dt, (2.52) x 0 f(t)dt. (2.53) f(t)dt, (2.54) [ p 2 + ( Hence, there exists x [x 0, 1 + x 0 ] such that u 1 ( x) u 2 ( x) = f(t)dt) 2 ] < 0. (2.55) Therefore, we can define a 1-periodic, continuous function on [x 0, 1 + x 0 ] as below x [ p + f(t)] dt, x [x 0, x], x u(x) = 0 1+x0 [p + f(t)] dt, x [ x, 1 + x 0 ], x (2.56) Finally, we choose x 0 such that for p 0, u is a viscosity solution for the equation (2.33). Indeed, we have lim x x 0 lim x x + 0 u(x) u(x 0 ) x x 0 = p + f(x 0 ), (2.57) u(x) u(x 0 ) x x 0 = p f(x 0 ). (2.58) One takes x 0 [0, 1] such that f(x 0 ) = 0, u is differentiable at x 0. On the other hand, since f is 1-periodic, one concludes that f(x 0 + 1) = f(x 0 ) = 0. Therefore u is also differentiable at x Thus, we obtain that u is differentiable in [x 0, 1+x 0 ]\ x and u +p = f(x), x [x 0, 1+x 0 ]\ x. Hence, u is a 1-periodic viscosity solution of the equation u + p = f(x), in [x 0, 1 + x 0 ] \ x. (2.59)
22 2.2 Main results. 18 On the other hand, we consider if the local maximum point and the local minimum point at x. Let φ C 1 (R), suppose that u φ has a local maximum point at x. Then there exists r > 0 such that u(x) φ(x) u( x) φ( x), x B( x, r). (2.60) Hence, For x < x, one gets u(x) u( x) φ(x) φ( x), x B( x, r). (2.61) φ(x) φ( x) x = x 0 [ p + f(t)]dt x x x x 0 [ p + f(t)]dt [ p + f(t)]dt. (2.62) Thus, φ(x) φ( x) x x 1 x x x x [ p + f(t)]dt. (2.63) Sending x x, one has φ ( x) + p f( x). (2.64) For x > x, one gets Thus, φ(x) φ( x) = 1+x0 x x x [p + f(t)]dt 1+x0 x [p + f(t)]dt [p + f(t)]dt. (2.65) Hence, since p 0, one has φ(x) φ( x) x x 1 x x x x [p + f(t)]dt. (2.66) φ(x) φ( x) x x + p 1 x x 1 x x x x x x f(t)dt + 2p f(t)dt. (2.67) Sending x x, one has φ ( x) + p f( x). (2.68)
23 2.2 Main results. 19 From (2.64), (2.68), we conclude φ ( x) + p f( x). (2.69) Therefore, u is a subsolution of (2.33). On the other hand, Let φ C 1 (R), suppose that u φ has a local minimum point at x. Then there exists r > 0 such that u(x) φ(x) u( x) φ( x), x B( x, r). (2.70) Hence, For x < x, one has Thus, For x > x, one has Thus, u(x) u( x) φ(x) φ( x), x B( x, r). (2.71) φ(x) φ( x) x x 1 x x x x [ p + f(t)]dt. (2.72) φ(x) φ( x) lim f( x) p. (2.73) x x x x φ(x) φ( x) x x From (2.73), (2.75), one concludes that 1 x x x x [p + f(t)]dt. (2.74) φ(x) φ( x) lim [f( x) p]. (2.75) x x + x x φ(x) φ( x) φ(x) φ( x) lim lim. (2.76) x x x x x x + x x It is in contradiction with φ C 1 (R n ). Hence, u φ has no local minimum point in x. Generally, u is a viscosity solution of (2.33). Proposition 2.1. (x, p) H(x, p) is continuous on R n R n. Proof. Let (x, p) R n R n and (x k, p k ) k N R n, (x k, p k ) (x, p) as k +. We can assume that x k x < 1 and p k p < 1. For each k N, there is a continuous, Z n -periodic viscosity solution u pk satisfy H(x k, y, Du pk + p k ) = H(x k, p k ), in R n. (2.77)
24 2.2 Main results. 20 One can suppose u pk (0) = 0 since w pk (y) = u pk (y) u pk (0) is also a Z n -periodic viscosity solution of (2.77). On the other hand, since (2.21), we have H(x k, p k ) H(x k,, p k ). (2.78) Therefore, H(x k, p k ) K x,p, (2.79) where K x,p = max z x <1, q p <1 H(z,, q). Besides, by the coercivity of H, one concludes from (2.77), there is a constant C p such that Du pk C x,p. (2.80) It implies u pk (z) u pk (y) C x,p z y, y, z R n. (2.81) Therefore, u pk is equi-lipschitz continuous. On the other hand, u pk (y) = u pk (y) u pk (0) = u pk (y [y]) u pk (0) C x,p y [y], y R n, (2.82) where y = (y i ) 1 i n and [y] = ([y i ]) 1 i n Z n, 0 y i [y i ] < 1 for 1 i n. Thus, u pk is equi-bounded because y [y] [0, 1] n. Hence, by Ascoli s Theorem, there exists a subsequence (u pm ) of (u pk ) and v C(R n ) such that u pm v as m. On the other hand, since (2.79), one has H(x m, p m ) K x,p. (2.83) Then, there exists a λ and a subsequence (H(x mj, p mj )) of (H(x m, p m )) which we also denote by such that H(x mj, p mj ) λ as j. Therefore, by (2.77), one has H(x mj, y, Du pmj + p mj ) = H(x mj, p mj ) in R n. (2.84) Sending j and using the stability of H, one has H(x, y, Dv + p) = λ a.e in R n. (2.85)
25 2.2 Main results. 21 Finally, since H(x, p) is unique, we have λ = H(x, p). It implies that H(x k, p k ) H(x, p) as k. Remark 2.2. (x, p) H(x, p) is uniformly continuous on R n B(0, R) for any R < +. Proposition 2.2. If H(x, y, p) is convex in p for all x, y R n, H(x, p) is convex in p for all x R n. Proof. Let θ [0, 1], x R n, p and q belong to R n. There exists a Z n -periodic viscosity solution u p and unique H(x, p) satisfy H(x, y, Du p + p) = H(x, p) in R n. (2.86) There exists a Z n -periodic viscosity solution u q and unique H(x, q) satisfy H(x, y, Du q + q) = H(x, q) in R n. (2.87) Firstly, put v = θu p + (1 θ)u q, we show that v is a subsolution of the equation H(x, y, Dv + r) = θh(x, p) + (1 θ)h(x, q) in R n, (2.88) where r = θp + (1 θ)q. Let φ C 1 (R n ) and y 0 is a strict local maximum point of v φ, there exists k > 0 such that v(y) φ(y) < v(y 0 ) φ(y 0 ), y B(x 0, k). (2.89) Introduce on the set B(y 0, k) B(y 0, k), the test function Ψ ɛ (y, z) = θu p (y) + (1 θ)u q (z) φ(y) Then there exists a maximum point (y ɛ, z ɛ ) of Ψ ɛ in B(y 0, k) B(y 0, k). y z 2 ɛ 2. (2.90) One has y ɛ z ɛ R 1/2 p,q ɛ. (2.91) On the other hand, B(y 0, k) B(y 0, k) is a compact set, there exists a subsequence (y ɛm, z ɛm ) of (y ɛ, z ɛ ) and (y 1, z 1 ) B(y 0, k) B(y 0, k) such that (y ɛm, z ɛm ) (y 1, z 1 ). We can note this subsequence as (y ɛ, z ɛ ) and by (2.91), one has y 1 = z 1. Besides of that, Ψ ɛ (y, z) Ψ ɛ (y ɛ, z ɛ ), (y, z) B(y 0, k) B(y 0, k). (2.92)
26 2.2 Main results. 22 Choose y = z, we obtain for all y B(y 0, k), θu p (y) + (1 θ)u q (y) φ(y) θu p (y ɛ ) + (1 θ)u q (z ɛ ) φ(y ɛ ) y ɛ z ɛ 2 Let ɛ 0, (2.93) becomes for all y B(y 0, k). ɛ 2. (2.93) θu p (y) + (1 θ)u q (y) φ(y) θu p (y 1 ) + (1 θ)u q (y 1 ) φ(y 1 ), (2.94) Hence, y 1 is a maximum point of Ψ ɛ on B(y 0, k). But y 0 is a strict maximum point of Ψ ɛ on this set, so y 1 = y 0. One can see that y ɛ is a local maximum point of And z ɛ is a local maximum point of u p (y) (1/θ)[ (1 θ)u q (z ɛ ) + φ(y) + y z ɛ 2 u q (z) 1/(1 θ)[ θu p (y ɛ ) + φ(y ɛ ) + y ɛ z 2 ɛ 2 ]. (2.95) ɛ 2 ]. (2.96) Because u p is a subsolution of (2.86) and u q is a supersolution of (2.87), then H(x, y ɛ, Dφ(y ɛ) θ + q ɛ + p) H(x, p), (2.97) θ q ɛ H(x, z ɛ, + q) H(x, q), (2.98) 1 θ where q ɛ = 2(y ɛ z ɛ ) ɛ 2. On the other hand, by (2.97) and the coercivity of H, there is a constant C x,p > 0 such that Dφ(y ɛ) + q ɛ θ θ + p C x,p. Therefore, since H is uniformly continuous on R n B(0, C x,p ), we have H(x, y, r) H(x, z, q) m Cx,p H ( y z + r q ), x, y, z Rn, r, q B(0, C x,p ), (2.99) Multiplying two sides of (2.97) by θ and (2.98) by (1 θ) then adding them side by side, one has θh(x, p) + (1 θ)h(x, q) θh(x, y ɛ, Dφ(y ɛ) θ θ[h(x, y ɛ, Dφ(y ɛ) θ +θh(x, z ɛ, Dφ(y ɛ) θ + q ɛ θ + p) + (1 θ)h(x, z ɛ, 1 θ + q) q ɛ + q ɛ θ + p) H(x, z ɛ, Dφ(y ɛ) + q ɛ θ θ + p)] + q ɛ θ + p) + (1 θ)h(x, z ɛ, 1 θ + q) θm Cx,p H ( y ɛ z ɛ ) + θh(x, z ɛ, Dφ(y ɛ) + q ɛ θ θ + p) +(1 θ)h(x, z ɛ, q ɛ + q). (2.100) 1 θ q ɛ
27 2.2 Main results. 23 On the other hand, H(x, z ɛ, Dφ(y ɛ ) + r) = H [ x, z ɛ, θ( Dφ(y ɛ) + q ɛ θ θ ] + p) + (1 θ)( q ɛ 1 θ + q). (2.101) Hence, by the convexity of H(x, y, p) in p for all x, y R n, we conclude H(x, z ɛ, Dφ(y ɛ ) + r) θh(x, z ɛ, Dφ(y ɛ) θ Applying (2.102) in (2.100), one gets + q ɛ θ + p) + (1 θ)h(x, z ɛ, + q). (2.102) 1 θ θm Cx,p H ( y ɛ z ɛ ) + H(x, z ɛ, r) θh(x, p) + (1 θ)h(x, q). (2.103) Finally, by (2.91), let ɛ 0, we have Therefore, v is a subsolution of (2.88). H(x, y 0, Dφ(y 0 ) + r) θh(x, p) + (1 θ)h(x, q). (2.104) Secondly, with H(x, r), there exists a Z n -periodic viscosity solution w r of the equation H(x, y, Dw r + r) = H(x, r), in R n. (2.105) Since u p, u q are Z n -periodic, v is also Z n -periodic. Hence, one can consider the behavior of v and w r in [0, 1] n. Introduce the test-function on [0, 1] n [0, 1] n, Ψ ɛ (y, z) = v(y) w r (z) Reproducing the technic as above, we obtain y z 2 ɛ 2. (2.106) H(x, r) = H(x, θp + (1 θ)q) θh(x, p) + (1 θ)h(x, q). (2.107) Therefore, H(x, p) is convex in p for all x R n. Proposition 2.3. H(x, p) is coercive in p uniformly for all x R n. Proof. Let M > 0, there exists r M > 0 such that H(x, y, p) > M, p R n, p > r M, x, y R n, (2.108) since H(x, y, p) + as p + uniformly for all x, y R n. On the other hand, for p R n, p > r M, there exists a Z n -periodic viscosity solution u p and a unique H(x, p) satisfy H(x, y, Du p + p) = H(x, p), in R n. (2.109) q ɛ
28 2.2 Main results. 24 Besides of that, since the Z n -periodic, one can see in [0, 1] n, there is a maximum point y ɛ of u p 0. And thus, H(x, y ɛ, p) H(x, p). (2.110) Finally, combine with (2.108), we conclude that H(x, p) > M. Therefore, H(x, p) is coercive in p uniformly for all x R n.
29 Chapter 3 Homogenization Theory 3.1 Introduction. Homogenization theory is concerned with the derivation of equations for averages of solutions of equations with rapidly varying coefficients. This problem arises in obtaining microscopic or homogenized or effective equations for systems with a fine microscopic structure. In this part, under the assumptions in chapter 2, we consider the behavior as ɛ tends to 0 of the viscosity solution u ɛ of the Hamilton-Jacobi equation u ɛ t + H(x, x ɛ, Duɛ ) = 0 in R n (0, + ). (3.1) u ɛ t=0 = u 0 (x). (3.2) where u 0 (x) BUC(R n ). This problem was introduced in [5] by P.L. Lions, G. Papanicolaou and S.R.S. Varadhan in The key to solve was used is base on two-scale method. 3.2 Main results. Theorem 3.1. Assume that H satisfies (H1)-(H3), for all ɛ > 0, there exist a unique viscosity solution u ɛ of (3.1)-(3.2) and a unique viscosity solution u of the equation u t + H(x, Du) = 0 in Rn (0, + ), (3.3) u(x, 0) = u 0 (x) BUC(R n ), (3.4) where H(x, p) = H(x, y, p + D y v) such that u ɛ u in BUC(R n [0, T ]) as ɛ 0. 25
30 3.2 Main results. 26 Proof. Firstly, since u 0 (x) BUC(R n ), there exists a sequence (u k 0 ) k N C 1 (R n ) W 1, (R n ) such that u k 0 u 0 in BUC(R n ) as k and u k 0 u 0, k N. On the other hand, since Theorem 1.4, for each k N, the equation w t + H(x, x ɛ, Dw) = 0, in Rn (0, + ), (3.5) w(x, 0) = u k 0(x), (3.6) has a unique viscosity solution u ɛ k in W 1, (R n (0, + )). Besides, since Theorem 1.4, there exist C k, R C k > 0 such that uɛ k (x, t) is C k-lipschitz in t and Rk C -Lipschitz in x. Hence, for all (x, t), (y, s) R n [0, T ], one has u ɛ k (x, t) uɛ k (y, s) C k t s + Rk C x y, (3.7) where C k, R C k are independent on ɛ. Thus, u ɛ k is equi-continuous. On the other hand, since (1.37), for all (x, t) R n [0, T ], one has u ɛ k (x, t) u 0 + C k T, (x, t) R n [0, T ]. (3.8) We obtain that u ɛ k is equi-bounded in Rn [0, T ]. Applying Ascoli s Theorem, there exists a subsequence (u ɛ j k ) of (uɛ k ) such that uɛ j k u k in C(R n [0, T ]). Omit the notation of k, j. We consider the cell problem H(x, p) = H(x, y, p + D y v(y)) in R n, (3.9) where (x, p) R n R n is fixed. Theorem 3.2. u is the unique viscosity solution of the Hamilton-Jacobi Equation u t + H(x, Du) = 0 in Rn (0, + ), (3.10) u(x, 0) = u 0 (x). (3.11) Proof. Lemma 3.1. u is a subsolution of (3.10).
31 3.2 Main results. 27 Proof. Let φ C 1 (R n [0, T ]) and (x 0, t 0 ) is a strict local maximum point of u φ. There exists a Z n -periodic, Lipschitz continuous viscosity solution w(y) satisfying H(x 0, y, D x φ(x 0, t 0 ) + D y w(y)) = H(x 0, D x φ(x 0, t 0 )). (3.12) We introduce the test-function Ψ ɛ,β (x, t, y) = u ɛ (x, t) φ(x, t) ɛw(y) 1 β 2 y x ɛ 2. (3.13) Since (x 0, t 0 ) is a strict local maximum point of u φ, there is r > 0 and r > 0 such that u(x, t) φ(x, t) < u(x 0, t 0 ) φ(x 0, t 0 ), (3.14) for all x B(x 0, r) and t B(t 0, r ). On the other hand, the set B(x 0, r) B(t 0, r ) B( x 0 ɛ, r ɛ ) is a compact set and Ψ ɛ,β is continuous. There exists a maximum point (x ɛ,β, t ɛ,β, y ɛ,β ) of Ψ ɛ,β such that u ɛ (x, t) φ(x, t) ɛw(y) 1 β 2 y x ɛ 2 u ɛ (x ɛ,β, t ɛ,β ) φ(x ɛ,β, t ɛ,β ) for all x B(x 0, r), t B(t 0, r ) and y B( x 0 ɛ, r ɛ ). Choose y = x ɛ, then for all (x, t) B(x 0, r) B(t 0, r ), we have ɛw(y ɛ,β ) 1 β 2 y ɛ,β x ɛ,β ɛ 2. (3.15) u ɛ (x, t) φ(x, t) ɛw( x ɛ ) uɛ (x ɛ,β, t ɛ,β ) φ(x ɛ,β, t ɛ,β ) ɛw(y ɛ,β ) 1 β 2 y ɛ,β x ɛ,β ɛ 2. (3.16) Thus, there exists a constant C > 0 such that y ɛ,β x ɛ,β ɛ C1/2 β. (3.17) Besides, one has B(x 0, r) B(t 0, r ) is a compact set, we can suppose that x ɛ,β x 1 and t ɛ,β t 1 as (ɛ, β) 0, where (x 1, t 1 ) B(x 0, r) B(t 0, r ). On the other hand, since w(y) is bounded and u ɛ u in C(R n [0, T ]) as ɛ 0, let (ɛ, β) 0 in (3.16), one gets u(x, t) φ(x, t) u(x 1, t 1 ) φ(x 1, t 1 ), (x, t) B(x 0, r) B(t 0, r ). (3.18) It implies that (x 1, t 1 ) is a maximum point of u φ on B(x 0, r) B(t 0, r ). But, since (x 0, t 0 ) is a strict maximum point of u φ on B(x 0, r) B(t 0, r ), we conclude that (x 1, t 1 ) = (x 0, t 0 ).
32 3.2 Main results. 28 It implies that (x ɛ,β, t ɛ,β ) B(x 0, r) B(t 0, r ). Unless, by the convergence of (x ɛ,β, t ɛ,β ) to (x 0, t 0 ) as (ɛ, β) 0, for all α > 0, there exist δ(0, α) and δ (0, α) such that r = x ɛ,β x 0 < α, ɛ, β < δ(0, α), (3.19) r = t ɛ,β t 0 < α, ɛ, β < δ (0, α). (3.20) Thus, r = r = 0 is the contradiction. Besides, since u ɛ is a subsolution of (3.1)-(3.2), we have φ t (x ɛ,β, t ɛ,β ) + H(x ɛ,β, x ɛ,β ɛ, D xφ(x ɛ,β, t ɛ,β ) p ɛ,β ) 0, (3.21) where p ɛ,β = 2 ɛβ 2 (y ɛ,β x ɛ,β ɛ ). On the other hand, w is a supersolution of (3.12), one gets H(x 0, y ɛ,β, D x φ(x 0, t 0 ) p ɛ,β ) H(x 0, D x φ(x 0, t 0 )) 0. (3.22) Besides, since H is coercive, one concludes from (3.21) that there exists a constant C > 0 depending on φ t and H such that D x φ(x ɛ,β, t ɛ,β ) p ɛ,β < C. (3.23) Hence, since H is uniformly continuous on R n R n B(0, C), we deduce H(x, y, p) H(x, y, p ) m C H( x x + y y + p p ), (3.24) for all (x, y, p), (x, y, p ) R n R n B(0, C) where m C H (t) 0 as t 0. Subtracting two sides of (3.21), (3.22) and applying (3.24), one has φ t (x ɛ,β, t ɛ,β ) + H(x 0, q ) H(x 0, y ɛ,β, q p ɛ,β ) H(x ɛ,β, x ɛ,β ɛ, q p ɛ,β), (3.25) where q = D x φ(x ɛ,β, t ɛ,β ) and q = D x φ(x 0, t 0 ). On the other hand, H(x 0, y ɛ,β, q p ɛ,β ) H(x ɛ,β, x ɛ,β ɛ, q p ɛ,β) m C H( x ɛ,β x 0 + y ɛ,β x ɛ,β ɛ + q q ). And since φ C 1 (R n [0, T ]) and (3.17), let (ɛ, β) 0, we obtain Therefore, u is a subsolution of (3.10). φ t (x 0, t 0 ) + H(x 0, D x φ(x 0, t 0 )) 0. (3.26)
33 3.2 Main results. 29 Lemma 3.2. u is a supersolution of (3.10). Proof. Let φ C 1 (R n [0, T ]) and (x 0, t 0 ) is a strict local minimum point of u φ. There exists a Z n -periodic Lipschitz continuous, viscosity solution w(y) statisfies We introduce the test-function H(x 0, y, D x φ(x 0, t 0 ) + D y w(y)) = H(x 0, D x φ(x 0, t 0 )). (3.27) Ψ ɛ,β (x, t, y) = u ɛ (x, t) φ(x, t) ɛw(y) + 1 β 2 y x ɛ 2. (3.28) Since (x 0, t 0 ) is a strict local minimum point of u φ, there is r > 0 and r > 0 such that for all x B(x 0, r) and t B(t 0, r ). u(x, t) φ(x, t) > u(x 0, t 0 ) φ(x 0, t 0 ), (3.29) On the other hand, the set B(x 0, r) B(t 0, r ) B( x 0 ɛ, r ɛ ) is a compact set and Ψ ɛ,β is continuous. There exists a minimum point (x ɛ,β, t ɛ,β, y ɛ,β ) of Ψ ɛ,β such that u ɛ (x, t) φ(x, t) ɛw(y) + 1 β 2 y x ɛ 2 u ɛ (x ɛ,β, t ɛ,β ) φ(x ɛ,β, t ɛ,β ) for all x B(x 0, r), t B(t 0, r ) and y B( x 0 ɛ, r ɛ ). Choose y = x ɛ, then for all (x, t) B(x 0, r) B(t 0, r ), we have ɛw(y ɛ,β ) + 1 β 2 y ɛ,β x ɛ,β ɛ 2. (3.30) u ɛ (x, t) φ(x, t) ɛw( x ɛ ) uɛ (x ɛ,β, t ɛ,β ) φ(x ɛ,β, t ɛ,β ) ɛw(y ɛ,β ) + 1 β 2 y ɛ,β x ɛ,β ɛ 2. (3.31) Thus, there exists a constant C > 0 such that y ɛ,β x ɛ,β ɛ C1/2 β. (3.32) Besides, one has B(x 0, r) B(t 0, r ) is a compact set, we can suppose that x ɛ,β x 1 and t ɛ,β t 1 as (ɛ, β) 0, where (x 1, t 1 ) B(x 0, r) B(t 0, r ). On the other hand, since w(y) is bounded and u ɛ u in C(R n [0, T ]) as ɛ 0, let (ɛ, β) 0 in (3.31), one gets u(x, t) φ(x, t) u(x 1, t 1 ) φ(x 1, t 1 ), (x, t) B(x 0, r) B(t 0, r ). (3.33) It implies that (x 1, t 1 ) is a minimum point of u φ on B(x 0, r) B(t 0, r ). But, since (x 0, t 0 ) is a strict minimum point of u φ on B(x 0, r) B(t 0, r ), we conclude that (x 1, t 1 ) = (x 0, t 0 ).
34 3.2 Main results. 30 The same argument in the proof of subsolution, one has (x ɛ,β, t ɛ,β ) B(x 0, r) B(t 0, r ). Besides, since u ɛ is a supersolution of (3.1)-(3.2), we have φ t (x ɛ,β, t ɛ,β ) + H(x ɛ,β, x ɛ,β ɛ, D xφ(x ɛ,β, t ɛ,β ) + p ɛ,β ) 0, (3.34) where p ɛ,β = 2 ɛβ 2 (y ɛ,β x ɛ,β ɛ ). On the other hand, w is a subsolution of (3.12), one gets H(x 0, y ɛ,β, D x φ(x 0, t 0 ) + p ɛ,β ) H(x 0, D x φ(x 0, t 0 )) 0. (3.35) Besides, since H is coercive, one concludes from (3.35) that there exists a constant C > 0 depending on H such that D x φ(x 0, t 0 ) + p ɛ,β < C. (3.36) Hence, since H is uniformly continuous on R n R n B(0, C), we deduce H(x, y, p) H(x, y, p ) m C H( x x + y y + p p ), (3.37) for all (x, y, p), (x, y, p ) R n R n B(0, C) where m C H (t) 0 as t 0. Subtracting two sides of (3.34), (3.35) and applying (3.37), one has φ t (x ɛ,β, t ɛ,β ) + H(x 0, q ) H(x 0, y ɛ,β, q + p ɛ,β ) H(x ɛ,β, x ɛ,β ɛ, q + p ɛ,β), (3.38) where q = D x φ(x ɛ,β, t ɛ,β ) and q = D x φ(x 0, t 0 ). On the other hand, m C H( x ɛ,β x 0 + y ɛ,β x ɛ,β ɛ + q q ) H(x 0, y ɛ,β, q + p ɛ,β ) H(x ɛ,β, x ɛ,β ɛ, q + p ɛ,β). Since φ C 1 (R n [0, T ]) and (3.32), let (ɛ, β) 0, we obtain Therefore, u is a supersolution of (3.10). φ t (x 0, t 0 ) + H(x 0, D x φ(x 0, t 0 )) 0. (3.39) Hence, u is a viscosity solution of (3.10) and by Theorem 1.2, u is unique. Remark 3.1. For k N, let (u ɛ j k ) be an arbitrary subsequence of (uɛ k ) such that uɛ j k v k in C(R n [0, T ]). Hence, since Theorem 3.10, v k is a viscosity solution of v t + H(x, Dv) = 0 in Rn (0, + ), (3.40) v(x, 0) = u k 0(x). (3.41)
35 3.2 Main results. 31 On the other hand, since the uniqueness of u k, we have that u ɛ j k u k in C(R n [0, T ]) for all (ɛ j ) (ɛ) as ɛ j 0. Moreover, by Ascoli s Theorem, u ɛ k is bounded on a compact set of Rn [0, T ]. We conclude that u ɛ k u k as ɛ 0. On the other hand, since u k is the unique viscosity solution of the equation u t + H(x, Du) = 0 in Rn (0, + ), (3.42) u(x, 0) = u k 0(x). (3.43) Set N k (x, t) = u k 0 (x) C kt and M k (x, t) = u k 0 (x)+ct, where C = sup q Du k 0 H(, q). One has C + H(x, Du k 0) 0, x R n (3.44) C + H(x, Du k 0) 0, x R n. (3.45) Hence, N k (x, t) and M k (x, t) are respectively subsolution and supersolution of (3.42). And then, by the comparison result, we have N k (x, t) u k (x, t) M k (x, t), (x, t) R n [0, T ]. (3.46) By Corollary 1.1, for m, k N, m k, since u m, u k are respectively supersolution and subsolution of (3.42), one has sup (u k (x, t) u m (x, t)) sup(u k (x, 0) u m (x, 0)) R n [0,T ] R n sup(u k 0(x) u m 0 (x)) R n u k 0 u m 0 u k 0 u 0 + u m 0 u 0. (3.47) Hence, u k u m u k 0 u 0 + u m 0 u 0. (3.48) Therefore, (u k ) k N is a Cauchy sequence in BUC(R n [0, T ]). Thus, u k uniformly converges to u BUC(R n [0, T ]) as k. Hence, by Theorem 1.1, u is a viscosity solution of (3.10)-(3.11). On the other hand, for k, m N, since Theorem 1.4, u ɛ k, uɛ m are respectively subsolution and supersolution of (3.5). Then, by the comparison result, one has u ɛ k uɛ m u k 0 u 0 + u m 0 u 0. (3.49)
36 3.2 Main results. 32 Hence, u ɛ k uɛ in BUC(R n [0, T ]) as k. Therefore, since Theorem 1.1, u ɛ is a viscosity solution of (3.1)-(3.2). Finally, for all ɛ > 0, since u k 0 u 0 and u k u in BUC(R n [0, T ]), one has K 1 (ɛ) N, u k 0 u 0 < ɛ, k K 1 (ɛ), (3.50) K 2 (ɛ) N, u k u < ɛ, k K 2 (ɛ). (3.51) Let k max(k 1 (ɛ), K 2 (ɛ)), we have u ɛ u u ɛ u ɛ k + u ɛ k u k + u k u u 0 u k 0 + u ɛ k u k + u k u ɛ + u ɛ k u k + ɛ. (3.52) Sending ɛ 0, we obtain u ɛ u in BUC(R n [0, T ]).
37 References [1] G. Barles, An introduction to the Theory of viscosity solutions for first-order Hamilton- Jacobi equations and applications. [2] M.G. Crandall, L.C. Evans and P.L. Lions, Viscosity solutions of Hamilton-Jacobi equations, Trans. Amer. Math. Soc., 277 (1983), p [3] M.G. Crandall, L.C. Evans and P.L. Lions, Some properties of viscosity solutions of Hamilton-Jacobi equations, Trans. Amer. Math. Soc., 282 (1984), p [4] M.G. Crandall, H. Ishii and P.L. Lions, User s guide to viscosity solutions of secondorder partial differential equations, Bull. AMS 27 (1992), [5] P.L. Lions, G. Papanicolaou and S.R.S. Varadhan, Homogenization of Hamilton-Jacobi equations, unpublished work. [6] L.C. Evans, The perturbed test function technique for viscosity solutions, Proc. Roy. Soc. Edinburgh Sect. A 111 (1989), [7] A.Bensoussan, J.L Lions and G. Papanicolaou, Assymptotic analysis for periodic structures, North-Holland, Amsterdam, [8] R.A. Adams, Sobolev Spaces, Academic Press, NewYork, [9] H. Brezis, Analyse fonctionnelle. Theorie et Applications, Masson Paris,
HOMOGENIZATION OF HAMILTON-JACOBI EQUATIONS NOTES AND REMARKS SON NGUYEN THAI TU. Department of Mathematics, University of Wisconsin at Madison
HOMOGENIZATION OF HAMILTON-JACOBI EQUATIONS NOTES AND REMARKS SON NGUYEN THAI TU Department of Mathematics, University of Wisconsin at Madison SON PHUNG TRUONG VAN Department of Mathematical Sciences,
More informationThuong Nguyen. SADCO Internal Review Metting
Asymptotic behavior of singularly perturbed control system: non-periodic setting Thuong Nguyen (Joint work with A. Siconolfi) SADCO Internal Review Metting Rome, Nov 10-12, 2014 Thuong Nguyen (Roma Sapienza)
More informationLipschitz continuity for solutions of Hamilton-Jacobi equation with Ornstein-Uhlenbeck operator
Lipschitz continuity for solutions of Hamilton-Jacobi equation with Ornstein-Uhlenbeck operator Thi Tuyen Nguyen Ph.D student of University of Rennes 1 Joint work with: Prof. E. Chasseigne(University of
More informationHomogenization and error estimates of free boundary velocities in periodic media
Homogenization and error estimates of free boundary velocities in periodic media Inwon C. Kim October 7, 2011 Abstract In this note I describe a recent result ([14]-[15]) on homogenization and error estimates
More informationSome notes on viscosity solutions
Some notes on viscosity solutions Jeff Calder October 11, 2018 1 2 Contents 1 Introduction 5 1.1 An example............................ 6 1.2 Motivation via dynamic programming............. 8 1.3 Motivation
More informationAN ASYMPTOTIC MEAN VALUE CHARACTERIZATION FOR p-harmonic FUNCTIONS. To the memory of our friend and colleague Fuensanta Andreu
AN ASYMPTOTIC MEAN VALUE CHARACTERIZATION FOR p-harmonic FUNCTIONS JUAN J. MANFREDI, MIKKO PARVIAINEN, AND JULIO D. ROSSI Abstract. We characterize p-harmonic functions in terms of an asymptotic mean value
More informationNew Identities for Weak KAM Theory
New Identities for Weak KAM Theory Lawrence C. Evans Department of Mathematics University of California, Berkeley Abstract This paper records for the Hamiltonian H = p + W (x) some old and new identities
More informationAN ASYMPTOTIC MEAN VALUE CHARACTERIZATION FOR p-harmonic FUNCTIONS
AN ASYMPTOTIC MEAN VALUE CHARACTERIZATION FOR p-harmonic FUNCTIONS JUAN J. MANFREDI, MIKKO PARVIAINEN, AND JULIO D. ROSSI Abstract. We characterize p-harmonic functions in terms of an asymptotic mean value
More informationMINIMAL 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 informationLarge time behavior of solutions of local and nonlocal nondegenerate Hamilton-Jacobi equations with Ornstein-Uhlenbeck operator
Large time behavior of solutions of local and nonlocal nondegenerate Hamilton-Jacobi equations with Ornstein-Uhlenbeck operator Thi-Tuyen Nguyen To cite this version: Thi-Tuyen Nguyen. Large time behavior
More informationOn the infinity Laplace operator
On the infinity Laplace operator Petri Juutinen Köln, July 2008 The infinity Laplace equation Gunnar Aronsson (1960 s): variational problems of the form S(u, Ω) = ess sup H (x, u(x), Du(x)). (1) x Ω The
More informationExam February h
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
More informationHomogenization of Neuman boundary data with fully nonlinear operator
Homogenization of Neuman boundary data with fully nonlinear operator Sunhi Choi, Inwon C. Kim, and Ki-Ahm Lee Abstract We study periodic homogenization problems for second-order nonlinear pde with oscillatory
More informationA MAXIMUM PRINCIPLE FOR SEMICONTINUOUS FUNCTIONS APPLICABLE TO INTEGRO-PARTIAL DIFFERENTIAL EQUATIONS
Dept. of Math. University of Oslo Pure Mathematics ISBN 82 553 1382 6 No. 18 ISSN 0806 2439 May 2003 A MAXIMUM PRINCIPLE FOR SEMICONTINUOUS FUNCTIONS APPLICABLE TO INTEGRO-PARTIAL DIFFERENTIAL EQUATIONS
More informationDynamical properties of Hamilton Jacobi equations via the nonlinear adjoint method: Large time behavior and Discounted approximation
Dynamical properties of Hamilton Jacobi equations via the nonlinear adjoint method: Large time behavior and Discounted approximation Hiroyoshi Mitake 1 Institute of Engineering, Division of Electrical,
More informationExample 1. Hamilton-Jacobi equation. In particular, the eikonal equation. for some n( x) > 0 in Ω. Here 1 / 2
Oct. 1 0 Viscosity S olutions In this lecture we take a glimpse of the viscosity solution theory for linear and nonlinear PDEs. From our experience we know that even for linear equations, the existence
More informationSébastien Chaumont a a Institut Élie Cartan, Université Henri Poincaré Nancy I, B. P. 239, Vandoeuvre-lès-Nancy Cedex, France. 1.
A strong comparison result for viscosity solutions to Hamilton-Jacobi-Bellman equations with Dirichlet condition on a non-smooth boundary and application to parabolic problems Sébastien Chaumont a a Institut
More informationVISCOSITY SOLUTIONS OF HAMILTON-JACOBI EQUATIONS, AND ASYMPTOTICS FOR HAMILTONIAN SYSTEMS
VISCOSITY SOLUTIONS OF HAMILTON-JACOBI EQUATIONS, AND ASYMPTOTICS FOR HAMILTONIAN SYSTEMS DIOGO AGUIAR GOMES U.C. Berkeley - CA, US and I.S.T. - Lisbon, Portugal email:dgomes@math.ist.utl.pt Abstract.
More informationHausdorff Continuous Viscosity Solutions of Hamilton-Jacobi Equations
Hausdorff Continuous Viscosity Solutions of Hamilton-Jacobi Equations R Anguelov 1,2, S Markov 2,, F Minani 3 1 Department of Mathematics and Applied Mathematics, University of Pretoria 2 Institute of
More informationWeak KAM from a PDE point of view: viscosity solutions of the Hamilton-Jacobi equation and Aubry set. Albert FATHI
Weak KAM from a PDE point of view: viscosity solutions of the Hamilton-Jacobi equation and Aubry set Albert FATHI Course CANPDE 17-19 February 2011 1 Contents 1 The different forms of the Hamilton-Jacobi
More informationShape from Shading with discontinuous image brightness
Shape from Shading with discontinuous image brightness Fabio Camilli Dip. di Matematica Pura e Applicata, Università dell Aquila (Italy), camilli@ing.univaq.it Emmanuel Prados UCLA Vision Lab. (USA), eprados@cs.ucla.edu
More informationasymptotic behaviour of singularly perturbed control systems in the non-periodic setting
UNIVERSITÀ DI ROMA LA SAPIENZA Doctoral Thesis asymptotic behaviour of singularly perturbed control systems in the non-periodic setting Author Nguyen Ngoc Quoc Thuong Supervisor Prof. Antonio Siconolfi
More informationA SIMPLE, DIRECT PROOF OF UNIQUENESS FOR SOLUTIONS OF THE HAMILTON-JACOBI EQUATIONS OF EIKONAL TYPE
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 100, Number 2, June 1987 A SIMPLE, DIRECT PROOF OF UNIQUENESS FOR SOLUTIONS OF THE HAMILTON-JACOBI EQUATIONS OF EIKONAL TYPE HITOSHI ISHII ABSTRACT.
More informationGLOBAL EXISTENCE RESULTS AND UNIQUENESS FOR DISLOCATION EQUATIONS
GLOBAL EXISTENCE RESULTS AND UNIQUENESS FOR DISLOCATION EQUATIONS GUY BARLES, PIERRE CARDALIAGUET, OLIVIER LEY & RÉGIS MONNEAU Abstract. We are interested in nonlocal Eikonal Equations arising in the study
More informationContinuous dependence estimates for the ergodic problem with an application to homogenization
Continuous dependence estimates for the ergodic problem with an application to homogenization Claudio Marchi Bayreuth, September 12 th, 2013 C. Marchi (Università di Padova) Continuous dependence Bayreuth,
More informationarxiv: v1 [math.ap] 1 Feb 2016
arxiv:1602.00530v1 [math.ap] 1 Feb 2016 STABILITY PROPERTIES AND LARGE TIME BEHAVIOR OF VISCOSITY SOLUTIONS OF HAMILTON-JACOBI EQUATIONS ON METRIC SPACES ATSUSHI NAKAYASU AND TOKINAGA NAMBA Abstract. We
More informationAN OVERVIEW OF STATIC HAMILTON-JACOBI EQUATIONS. 1. Introduction
AN OVERVIEW OF STATIC HAMILTON-JACOBI EQUATIONS JAMES C HATELEY Abstract. There is a voluminous amount of literature on Hamilton-Jacobi equations. This paper reviews some of the existence and uniqueness
More informationConservation law equations : problem set
Conservation law equations : problem set Luis Silvestre For Isaac Neal and Elia Portnoy in the 2018 summer bootcamp 1 Method of characteristics For the problems in this section, assume that the solutions
More informationAsymptotic Behavior of Infinity Harmonic Functions Near an Isolated Singularity
Savin, O., and C. Wang. (2008) Asymptotic Behavior of Infinity Harmonic Functions, International Mathematics Research Notices, Vol. 2008, Article ID rnm163, 23 pages. doi:10.1093/imrn/rnm163 Asymptotic
More informationFlux-limited solutions for quasi-convex Hamilton-Jacobi equations on networks
Flux-limited solutions for quasi-convex Hamilton-Jacobi equations on networks C. Imbert and R. Monneau June 24, 2014 Abstract We study Hamilton-Jacobi equations on networks in the case where Hamiltonians
More informationThe main motivation of this paper comes from the following, rather surprising, result of Ecker and Huisken [13]: for any initial data u 0 W 1,
Quasilinear parabolic equations, unbounded solutions and geometrical equations II. Uniqueness without growth conditions and applications to the mean curvature flow in IR 2 Guy Barles, Samuel Biton and
More informationSingular Perturbations of Stochastic Control Problems with Unbounded Fast Variables
Singular Perturbations of Stochastic Control Problems with Unbounded Fast Variables Joao Meireles joint work with Martino Bardi and Guy Barles University of Padua, Italy Workshop "New Perspectives in Optimal
More informationEverywhere differentiability of infinity harmonic functions
Everywhere differentiability of infinity harmonic functions Lawrence C. Evans and Charles K. Smart Department of Mathematics University of California, Berkeley Abstract We show that an infinity harmonic
More informationThe infinity-laplacian and its properties
U.U.D.M. Project Report 2017:40 Julia Landström Examensarbete i matematik, 15 hp Handledare: Kaj Nyström Examinator: Martin Herschend December 2017 Department of Mathematics Uppsala University Department
More informationLimit problems for a Fractional p-laplacian as p
Limit problems for a Fractional p-laplacian as p Raúl Ferreira and Mayte Pérez-Llanos Abstract. The purpose of this work is the analysis of the solutions to the following problems related to the fractional
More informationAsymptotic behavior of infinity harmonic functions near an isolated singularity
Asymptotic behavior of infinity harmonic functions near an isolated singularity Ovidiu Savin, Changyou Wang, Yifeng Yu Abstract In this paper, we prove if n 2 x 0 is an isolated singularity of a nonegative
More informationSobolev Spaces. Chapter Hölder spaces
Chapter 2 Sobolev Spaces Sobolev spaces turn out often to be the proper setting in which to apply ideas of functional analysis to get information concerning partial differential equations. Here, we collect
More informationSome lecture notes for Math 6050E: PDEs, Fall 2016
Some lecture notes for Math 65E: PDEs, Fall 216 Tianling Jin December 1, 216 1 Variational methods We discuss an example of the use of variational methods in obtaining existence of solutions. Theorem 1.1.
More informationAN INTRODUCTION TO VISCOSITY SOLUTION THEORY. In this note, we study the general second-order fully nonlinear equations arising in various fields:
AN INTRODUCTION TO VISCOSITY SOLUTION THEORY QING LIU AND XIAODAN ZHOU 1. Introduction to Fully Nonlinear Equations In this note, we study the general second-order fully nonlinear equations arising in
More informationADJOINT METHODS FOR OBSTACLE PROBLEMS AND WEAKLY COUPLED SYSTEMS OF PDE. 1. Introduction
ADJOINT METHODS FOR OBSTACLE PROBLEMS AND WEAKLY COPLED SYSTEMS OF PDE F. CAGNETTI, D. GOMES, AND H.V. TRAN Abstract. The adjoint method, recently introduced by Evans, is used to study obstacle problems,
More informationHomogenization of first order equations with (u/ε)-periodic Hamiltonians. Part I: local equations
Homogenization of first order equations with u/-periodic Hamiltonians. Part I: local equations Cyril Imbert, Régis Monneau February 23, 2006 Abstract. In this paper, we present a result of homogenization
More informationResearch Article Almost Periodic Viscosity Solutions of Nonlinear Parabolic Equations
Hindawi Publishing Corporation Boundary Value Problems Volume 29, Article ID 873526, 15 pages doi:1.1155/29/873526 Research Article Almost Periodic Viscosity Solutions of Nonlinear Parabolic Equations
More informationPerron method for the Dirichlet problem.
Introduzione alle equazioni alle derivate parziali, Laurea Magistrale in Matematica Perron method for the Dirichlet problem. We approach the question of existence of solution u C (Ω) C(Ω) of the Dirichlet
More informationSobolev 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 informationASYMPTOTIC STRUCTURE FOR SOLUTIONS OF THE NAVIER STOKES EQUATIONS. Tian Ma. Shouhong Wang
DISCRETE AND CONTINUOUS Website: http://aimsciences.org DYNAMICAL SYSTEMS Volume 11, Number 1, July 004 pp. 189 04 ASYMPTOTIC STRUCTURE FOR SOLUTIONS OF THE NAVIER STOKES EQUATIONS Tian Ma Department of
More informationarxiv: v2 [math.ap] 28 Nov 2016
ONE-DIMENSIONAL SAIONARY MEAN-FIELD GAMES WIH LOCAL COUPLING DIOGO A. GOMES, LEVON NURBEKYAN, AND MARIANA PRAZERES arxiv:1611.8161v [math.ap] 8 Nov 16 Abstract. A standard assumption in mean-field game
More informationSingular limits for reaction-diffusion equations with fractional Laplacian and local or nonlocal nonlinearity
Singular limits for reaction-diffusion equations with fractional Laplacian and local or nonlocal nonlinearity Sylvie Méléard, Sepideh Mirrahimi September 2, 214 Abstract We perform an asymptotic analysis
More informationTHE NEUMANN PROBLEM FOR THE -LAPLACIAN AND THE MONGE-KANTOROVICH MASS TRANSFER PROBLEM
THE NEUMANN PROBLEM FOR THE -LAPLACIAN AND THE MONGE-KANTOROVICH MASS TRANSFER PROBLEM J. GARCÍA-AZORERO, J. J. MANFREDI, I. PERAL AND J. D. ROSSI Abstract. We consider the natural Neumann boundary condition
More informationVISCOSITY SOLUTIONS. We follow Han and Lin, Elliptic Partial Differential Equations, 5.
VISCOSITY SOLUTIONS PETER HINTZ We follow Han and Lin, Elliptic Partial Differential Equations, 5. 1. Motivation Throughout, we will assume that Ω R n is a bounded and connected domain and that a ij C(Ω)
More informationREGULARITY FOR INFINITY HARMONIC FUNCTIONS IN TWO DIMENSIONS
C,α REGULARITY FOR INFINITY HARMONIC FUNCTIONS IN TWO DIMENSIONS LAWRENCE C. EVANS AND OVIDIU SAVIN Abstract. We propose a new method for showing C,α regularity for solutions of the infinity Laplacian
More informationHopfLax-Type Formula for u t +H(u, Du)=0*
journal of differential equations 126, 4861 (1996) article no. 0043 HopfLax-Type Formula for u t +H(u, Du)=0* E. N. Barron, - R. Jensen, and W. Liu 9 Department of Mathematical Sciences, Loyola University,
More informationTHE DIRICHLET PROBLEM FOR THE CONVEX ENVELOPE
THE DIRICHLET PROBLEM FOR THE CONVEX ENVELOPE LUIS SILVESTRE AND ADAM M. OBERMAN Abstract. This work studies the Dirichlet problem for the Convex Envelope. While the convex envelope is a natural object
More informationON SELECTION OF SOLUTIONS TO VECTORIAL HAMILTON-JACOBI SYSTEM
ON SELECTION OF SOLUTIONS TO VECTORIAL HAMILTON-JACOBI SYSTEM BAISHENG YAN Abstract. In this paper, we discuss some principles on the selection of the solutions of a special vectorial Hamilton-Jacobi system
More informationHJ equations. Reachability analysis. Optimal control problems
HJ equations. Reachability analysis. Optimal control problems Hasnaa Zidani 1 1 ENSTA Paris-Tech & INRIA-Saclay Graz, 8-11 September 2014 H. Zidani (ENSTA & Inria) HJ equations. Reachability analysis -
More informationRégularité des équations de Hamilton-Jacobi du premier ordre et applications aux jeux à champ moyen
Régularité des équations de Hamilton-Jacobi du premier ordre et applications aux jeux à champ moyen Daniela Tonon en collaboration avec P. Cardaliaguet et A. Porretta CEREMADE, Université Paris-Dauphine,
More informationON SOME SINGULAR LIMITS OF HOMOGENEOUS SEMIGROUPS. In memory of our friend Philippe Bénilan
ON SOME SINGULAR LIMITS OF HOMOGENEOUS SEMIGROUPS P. Bénilan, L. C. Evans 1 and R. F. Gariepy In memory of our friend Philippe Bénilan Mais là où les uns voyaient l abstraction, d autres voyaient la vérité
More informationTWO-SCALE CONVERGENCE ON PERIODIC SURFACES AND APPLICATIONS
TWO-SCALE CONVERGENCE ON PERIODIC SURFACES AND APPLICATIONS Grégoire ALLAIRE Commissariat à l Energie Atomique DRN/DMT/SERMA, C.E. Saclay 91191 Gif sur Yvette, France Laboratoire d Analyse Numérique, Université
More informationON NEUMANN PROBLEMS FOR NONLOCAL HAMILTON-JACOBI EQUATIONS WITH DOMINATING GRADIENT TERMS
ON NEUMANN PROBLEMS FOR NONLOCAL HAMILTON-JACOBI EQUATIONS WITH DOMINATING GRADIENT TERMS DARIA GHILLI Abstract. We are concerned with the well-posedness of Neumann boundary value problems for nonlocal
More informationVISCOSITY SOLUTIONS OF ELLIPTIC EQUATIONS
VISCOSITY SOLUTIONS OF ELLIPTIC EQUATIONS LUIS SILVESTRE These are the notes from the summer course given in the Second Chicago Summer School In Analysis, in June 2015. We introduce the notion of viscosity
More informationOn a weighted total variation minimization problem
On a weighted total variation minimization problem Guillaume Carlier CEREMADE Université Paris Dauphine carlier@ceremade.dauphine.fr Myriam Comte Laboratoire Jacques-Louis Lions, Université Pierre et Marie
More informationThe De Giorgi-Nash-Moser Estimates
The De Giorgi-Nash-Moser Estimates We are going to discuss the the equation Lu D i (a ij (x)d j u) = 0 in B 4 R n. (1) The a ij, with i, j {1,..., n}, are functions on the ball B 4. Here and in the following
More informationPERTURBATION THEORY FOR NONLINEAR DIRICHLET PROBLEMS
Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 28, 2003, 207 222 PERTURBATION THEORY FOR NONLINEAR DIRICHLET PROBLEMS Fumi-Yuki Maeda and Takayori Ono Hiroshima Institute of Technology, Miyake,
More informationESTIMATES FOR ELLIPTIC HOMOGENIZATION PROBLEMS IN NONSMOOTH DOMAINS. Zhongwei Shen
W,p ESTIMATES FOR ELLIPTIC HOMOGENIZATION PROBLEMS IN NONSMOOTH DOMAINS Zhongwei Shen Abstract. Let L = div`a` x, > be a family of second order elliptic operators with real, symmetric coefficients on a
More informationATTRACTORS FOR SEMILINEAR PARABOLIC PROBLEMS WITH DIRICHLET BOUNDARY CONDITIONS IN VARYING DOMAINS. Emerson A. M. de Abreu Alexandre N.
ATTRACTORS FOR SEMILINEAR PARABOLIC PROBLEMS WITH DIRICHLET BOUNDARY CONDITIONS IN VARYING DOMAINS Emerson A. M. de Abreu Alexandre N. Carvalho Abstract Under fairly general conditions one can prove that
More informationSobolev spaces. May 18
Sobolev spaces May 18 2015 1 Weak derivatives The purpose of these notes is to give a very basic introduction to Sobolev spaces. More extensive treatments can e.g. be found in the classical references
More informationRELATIONSHIP BETWEEN SOLUTIONS TO A QUASILINEAR ELLIPTIC EQUATION IN ORLICZ SPACES
Electronic Journal of Differential Equations, Vol. 2014 (2014), No. 265, pp. 1 10. ISSN: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu RELATIONSHIP
More informationu xx + u yy = 0. (5.1)
Chapter 5 Laplace Equation The following equation is called Laplace equation in two independent variables x, y: The non-homogeneous problem u xx + u yy =. (5.1) u xx + u yy = F, (5.) where F is a function
More information= 2 x y 2. (1)
COMPLEX ANALYSIS PART 5: HARMONIC FUNCTIONS A Let me start by asking you a question. Suppose that f is an analytic function so that the CR-equation f/ z = 0 is satisfied. Let us write u and v for the real
More informationDifferential Games II. Marc Quincampoix Université de Bretagne Occidentale ( Brest-France) SADCO, London, September 2011
Differential Games II Marc Quincampoix Université de Bretagne Occidentale ( Brest-France) SADCO, London, September 2011 Contents 1. I Introduction: A Pursuit Game and Isaacs Theory 2. II Strategies 3.
More informationConvergence of a first order scheme for a non local eikonal equation
Convergence of a first order scheme for a non local eikonal equation O. Alvarez, E. Carlini, R. Monneau, E. Rouy March 22, 2005 Abstract We prove the convergence of a first order finite difference scheme
More informationREGULARITY RESULTS FOR THE EQUATION u 11 u 22 = Introduction
REGULARITY RESULTS FOR THE EQUATION u 11 u 22 = 1 CONNOR MOONEY AND OVIDIU SAVIN Abstract. We study the equation u 11 u 22 = 1 in R 2. Our results include an interior C 2 estimate, classical solvability
More informationRegularity of Weak Solution to Parabolic Fractional p-laplacian
Regularity of Weak Solution to Parabolic Fractional p-laplacian Lan Tang at BCAM Seminar July 18th, 2012 Table of contents 1 1. Introduction 1.1. Background 1.2. Some Classical Results for Local Case 2
More informationOn Generalized and Viscosity Solutions of Nonlinear Elliptic Equations
Advanced Nonlinear Studies 4 (2004), 289 306 On Generalized and Viscosity Solutions of Nonlinear Elliptic Equations David Hartenstine, Klaus Schmitt Department of Mathematics, University of Utah, 155 South
More informationLong time behaviour of periodic solutions of uniformly elliptic integro-differential equations
1/ 15 Long time behaviour of periodic solutions of uniformly elliptic integro-differential equations joint with Barles, Chasseigne (Tours) and Ciomaga (Chicago) C. Imbert CNRS, Université Paris-Est Créteil
More informationA LOCALIZATION PROPERTY AT THE BOUNDARY FOR MONGE-AMPERE EQUATION
A LOCALIZATION PROPERTY AT THE BOUNDARY FOR MONGE-AMPERE EQUATION O. SAVIN. Introduction In this paper we study the geometry of the sections for solutions to the Monge- Ampere equation det D 2 u = f, u
More informationLandesman-Lazer type results for second order Hamilton-Jacobi-Bellman equations
Author manuscript, published in "Journal of Functional Analysis 258, 12 (2010) 4154-4182" Landesman-Lazer type results for second order Hamilton-Jacobi-Bellman equations Patricio FELMER, Alexander QUAAS,
More informationCONTINUOUS DEPENDENCE ESTIMATES FOR VISCOSITY SOLUTIONS OF FULLY NONLINEAR DEGENERATE ELLIPTIC EQUATIONS
Electronic Journal of Differential Equations, Vol. 20022002), No. 39, pp. 1 10. ISSN: 1072-6691. URL: http://ejde.math.swt.edu or http://ejde.math.unt.edu ftp ejde.math.swt.edu login: ftp) CONTINUOUS DEPENDENCE
More information1. Introduction Boundary estimates for the second derivatives of the solution to the Dirichlet problem for the Monge-Ampere equation
POINTWISE C 2,α ESTIMATES AT THE BOUNDARY FOR THE MONGE-AMPERE EQUATION O. SAVIN Abstract. We prove a localization property of boundary sections for solutions to the Monge-Ampere equation. As a consequence
More informationRobustness for a Liouville type theorem in exterior domains
Robustness for a Liouville type theorem in exterior domains Juliette Bouhours 1 arxiv:1207.0329v3 [math.ap] 24 Oct 2014 1 UPMC Univ Paris 06, UMR 7598, Laboratoire Jacques-Louis Lions, F-75005, Paris,
More information(Almost) Everything You Always Wanted to Know About Deterministic Control Problems in Stratified Domains
Almost Everything You Always Wanted to Know About Deterministic Control Problems in Stratified Domains G Barles, Emmanuel Chasseigne To cite this version: G Barles, Emmanuel Chasseigne. Almost Everything
More informationPrice formation models Diogo A. Gomes
models Diogo A. Gomes Here, we are interested in the price formation in electricity markets where: a large number of agents owns storage devices that can be charged and later supply the grid with electricity;
More informationarxiv: v1 [math.ap] 12 Aug 2016
arxiv:1608.03682v1 [math.ap] 12 Aug 2016 Viscosity solutions for junctions: well posedness and stability Pierre-Louis Lions 1 and Panagiotis Souganidis 2,3 October 15, 2018 Abstract We introduce a notion
More informationMATHER THEORY, WEAK KAM, AND VISCOSITY SOLUTIONS OF HAMILTON-JACOBI PDE S
MATHER THEORY, WEAK KAM, AND VISCOSITY SOLUTIONS OF HAMILTON-JACOBI PDE S VADIM YU. KALOSHIN 1. Motivation Consider a C 2 smooth Hamiltonian H : T n R n R, where T n is the standard n-dimensional torus
More informationMath 2a Prac Lectures on Differential Equations
Math 2a Prac Lectures on Differential Equations Prof. Dinakar Ramakrishnan 272 Sloan, 253-37 Caltech Office Hours: Fridays 4 5 PM Based on notes taken in class by Stephanie Laga, with a few added comments
More informationMEAN VALUE PROPERTY FOR p-harmonic FUNCTIONS
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 40, Number 7, July 0, Pages 453 463 S 000-9939(0)8-X Article electronically published on November, 0 MEAN VALUE PROPERTY FOR p-harmonic FUNCTIONS
More informationStochastic Homogenization for Reaction-Diffusion Equations
Stochastic Homogenization for Reaction-Diffusion Equations Jessica Lin McGill University Joint Work with Andrej Zlatoš June 18, 2018 Motivation: Forest Fires ç ç ç ç ç ç ç ç ç ç Motivation: Forest Fires
More informationd(x n, x) d(x n, x nk ) + d(x nk, x) where we chose any fixed k > N
Problem 1. Let f : A R R have the property that for every x A, there exists ɛ > 0 such that f(t) > ɛ if t (x ɛ, x + ɛ) A. If the set A is compact, prove there exists c > 0 such that f(x) > c for all x
More informationEXISTENCE OF WEAK SOLUTIONS FOR A NONUNIFORMLY ELLIPTIC NONLINEAR SYSTEM IN R N. 1. Introduction We study the nonuniformly elliptic, nonlinear system
Electronic Journal of Differential Equations, Vol. 20082008), No. 119, pp. 1 10. ISSN: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu login: ftp) EXISTENCE
More informationLaplace s Equation. Chapter Mean Value Formulas
Chapter 1 Laplace s Equation Let be an open set in R n. A function u C 2 () is called harmonic in if it satisfies Laplace s equation n (1.1) u := D ii u = 0 in. i=1 A function u C 2 () is called subharmonic
More informationJournal of Inequalities in Pure and Applied Mathematics
Journal of Inequalities in Pure and Applied athematics http://jipam.vu.edu.au/ Volume 4, Issue 5, Article 98, 2003 ASYPTOTIC BEHAVIOUR OF SOE EQUATIONS IN ORLICZ SPACES D. ESKINE AND A. ELAHI DÉPARTEENT
More informationGENERAL EXISTENCE OF SOLUTIONS TO DYNAMIC PROGRAMMING PRINCIPLE. 1. Introduction
GENERAL EXISTENCE OF SOLUTIONS TO DYNAMIC PROGRAMMING PRINCIPLE QING LIU AND ARMIN SCHIKORRA Abstract. We provide an alternative approach to the existence of solutions to dynamic programming equations
More informationLecture 3. Topology of the set of singularities of a solution of the Hamilton-Jacobi Equation
Lecture 3. Topology of the set of singularities of a solution of the Hamilton-Jacobi Equation Albert Fathi Padova, 14 February 2018 We will present results which are a joint work with Piermarco Cannarsa
More informationNonlinear oblique derivative problems for singular degenerate parabolic equations on a general domain
Nonlinear Analysis 57 (2004) 1077 1098 www.elsevier.com/locate/na Nonlinear oblique derivative problems for singular degenerate parabolic equations on a general domain Hitoshi Ishii a; ;1, Moto-Hiko Sato
More informationHAMILTON-JACOBI EQUATIONS : APPROXIMATIONS, NUMERICAL ANALYSIS AND APPLICATIONS. CIME Courses-Cetraro August 29-September COURSES
HAMILTON-JACOBI EQUATIONS : APPROXIMATIONS, NUMERICAL ANALYSIS AND APPLICATIONS CIME Courses-Cetraro August 29-September 3 2011 COURSES (1) Models of mean field, Hamilton-Jacobi-Bellman Equations and numerical
More informationHomogenization of the free boundary velocity
Homogenization of the free boundary velocity Inwon C. Kim February 17, 2006 Abstract In this paper we investigate some free boundary problems with space-dependent free boundary velocities. Based on maximum
More informationarxiv: v1 [math.ap] 18 Jan 2019
Boundary Pointwise C 1,α C 2,α Regularity for Fully Nonlinear Elliptic Equations arxiv:1901.06060v1 [math.ap] 18 Jan 2019 Yuanyuan Lian a, Kai Zhang a, a Department of Applied Mathematics, Northwestern
More informationOn Some Estimates of the Remainder in Taylor s Formula
Journal of Mathematical Analysis and Applications 263, 246 263 (2) doi:.6/jmaa.2.7622, available online at http://www.idealibrary.com on On Some Estimates of the Remainder in Taylor s Formula G. A. Anastassiou
More informationOn the long time behavior of the master equation in Mean Field Games
On the long time behavior of the master equation in Mean Field Games P. Cardaliaguet (Paris-Dauphine) Joint work with A. Porretta (Roma Tor Vergata) Mean Field Games and Related Topics - 4 Rome - June
More informationLocal strong convexity and local Lipschitz continuity of the gradient of convex functions
Local strong convexity and local Lipschitz continuity of the gradient of convex functions R. Goebel and R.T. Rockafellar May 23, 2007 Abstract. Given a pair of convex conjugate functions f and f, we investigate
More informationEXISTENCE AND UNIQUENESS OF p(x)-harmonic FUNCTIONS FOR BOUNDED AND UNBOUNDED p(x)
UNIVERSITY OF JYVÄSKYLÄ DEPARTMENT OF MATHEMATICS AND STATISTICS REPORT 30 UNIVERSITÄT JYVÄSKYLÄ INSTITUT FÜR MATHEMATIK UND STATISTIK BERICHT 30 EXISTENCE AND UNIQUENESS OF p(x)-harmonic FUNCTIONS FOR
More information