Professional Documents
Culture Documents
Gopikrishnan C R
School of Mathematics Indian Institute of Science Education and Research Thiruvananthapuram
March 7, 2014
Gopikrishnan C R Weak Solutions
Notations Denitions
Notation Lip (f ) (x , t ) F g u
Denition Lipschitz constant associated with a Lipschitz function f Element of R [0, ) RR RR R [0, ) R
Gopikrishnan C R
Weak Solutions
Notations Denitions
Entropy Solution
We say that a function u L (R (0, )) is an entropy solution of the initial-value problem ut + F (u )x = 0 u=g provided
0
in on
R (0, ) R {t = 0 }
(1) (2)
gvdx |t =0 = 0
(3)
for all test functions v : R [0, ) R with compact support, and u (x + z , t ) u (x , t ) C 1 + 1 z t (4)
Notations Denitions
Molliers
Dene C (Rn ) by := C exp 0 for constant C > 0 selected so that For each > 0, set (x ) := 1 n
1 |x |2 1
, if |x | < 1 if |x | 1
Rn dx
(5)
= 1.
(6)
dx = 1
spt ( ) B (0, )
Weak Solutions
(7)
Gopikrishnan C R
Notations Denitions
Outline
Step 1: Derive a one sided jump condition/inequality/estimate for the Lax - Oleinik Formula. We shall call this estimate as the Entropy Condition.
Gopikrishnan C R
Weak Solutions
Notations Denitions
Outline
Step 1: Derive a one sided jump condition/inequality/estimate for the Lax - Oleinik Formula .We shall call this estimate as the Entropy Condition.
Gopikrishnan C R
Weak Solutions
Lemma Assume that F is smooth and uniformly convex, and g L (R). Then there exists a constant C such that the function u dened bu the Lax - Oleinik formula satises the inequality u (x + z , t ) u (x , t ) for all t > 0 and x , z R, z > 0. Proof:- The mapping x y (x , t ) is non decreasing as well G = (F )1 . Therefore we have, u (x , t ) = G G x y (x , t ) t x y (x + z , t ) t
Weak Solutions
C z t
(8)
for
z >0
Gopikrishnan C R
Gopikrishnan C R
Weak Solutions
Theorem Assume F is convex and smooth. Then there exists - up to a set of measure zero - at most one entropy solution of 2. Proof:Step 1 Assume that u and v are two entropy solutions of 2. Write w = u v . Observe that for any point (x , t )
1
F (u (x , t )) F (v (x , t )) =
0
d F (ru (x , t ) + (1 r )v (x , t ))dr dr
1
= (u (x , t ) v (x , t ))
0
F (ru (x , t ) + (1 r )v (x , t ))dr
Gopikrishnan C R
Weak Solutions
Dene,
1
(u (x , t ) v (x , t ))
0
F (ru (x , t ) + (1 r )v (x , t ))dr = b (x , t )w (x , t )
Let is a test function . Then we will obtain from 2 and above denition,
0=
0
(u v )t + [F (u ) F (v )] x
(9) (10)
=
0
w (t + b x )dxdt
Gopikrishnan C R
Weak Solutions
Step 2 Take > 0 and dene u = u , v = v , where is the standard mollier in x and t variables. Then, ||u ||L ||u ||L ||v ||L ||v ||L
u u, v v
a.e
as
1 ux (x , t ) t
(11)
F (ru (x , t ) + (1 r )v (x , t ))dr
(12)
0=
0
w [t + b x ] dxdt +
w [b b ] dxdt
(13)
Step 4 Now choose T > 0 and any smooth function : R (0, T ) R with compact support. We choose be the solution of the following terminal value problem,
t + b x =
in
R (0, T ) R {t = T }
Weak Solutions
(14) (15)
=0
on
Gopikrishnan C R
we shall solve this equation by method of characteristics. For this x x R, 0 t T , and denote by x (.) the solution of the ODE, x (s ) = b (x (s ), s ) x (t ) = x and set
T
(s t )
(16) (17)
(x , t ) :=
t
(x (s ), s )ds
(x R, 0 t T )
(18)
Then is the unique solution of 16. Observe that has compact support in R [0, T ).
Gopikrishnan C R
Weak Solutions
Step 5 We now claim that for each s > 0, there exists a constant Cs such that
|x | Cs
(19)
b ,x (x , t ) =
C t C s
Gopikrishnan C R
Weak Solutions
(20)
Now set
t a(x , t ) := e t x (x , t )
(21)
for = Then
C +1 s
(22)
at + b ax = a + e t [xt + b vx x ] = a + e t [b ,x x + x ]
= [ b ,x ] a + e t x
Gopikrishnan C R Weak Solutions
Since has compact support, a attains a nonnegative maximum over R [s , T ] at some point (x0 , t0 ). If t0 = T then x = 0. If 0 t0 T then, at (x0 , t0 ) 0, ax (t0 , x0 ) = 0 Consequently the last expression gives, [ b ,x ] + e t0 x 0 But since b , x
C s
(23)
(24)
a(x0 , t0 ) e t0 e T ||x ||L A similar argument shows that, a(x1 , t1 ) e T ||x ||L
(26)
at any point (x1 , t1 ) where a attains a non positive minimum. These two estimates and denition of a imply the required bound.
Gopikrishnan C R Weak Solutions
(27)
for all 0 t and some constatn D, provided t is small enough. To prove this choose > 0 so small taht = 0 on R (0, ). Then if 0 t , is constant along the characteristic curve x (.) for t s . Select any partiton x0 < x1 < x2 < < xN . Then y0 < y1 < < yN , where yi := xi (s ) for, x (s ) = b (x (s ), s ) x (t ) = xi
Gopikrishnan C R Weak Solutions
(t s )
(28) (29)
(30) 30 holds because has constant support and estimate by the estimate 11 applied on s = .
Gopikrishnan C R
Weak Solutions
w dxdt =
0 T + J
(31)
(34)
Thus
0
w dxdt = 0
Weak Solutions
(35)
Gopikrishnan C R
Inverse Function Theorem Assume that f C k (U ; Rn ) and Jf (x0 ) = 0. Then there exists an open set V U, with x0 V , and with an open set W Rn with zo W such that the mapping f :V W is one one and onto and the inverse function is also C k . (36)
Any C 1 function is smooth in a closed and bounded and interval. Since F is smooth so is G. Therefore restricting our consideration of G to some bounded interval we can safely assume G is Lipschitz.
Gopikrishnan C R
Weak Solutions
(x , t ) :=
t
(x (s ), s )ds
(37)
The integrand is smooth and compactly supported. Therefore is a compactly supported smooth function on R [0, T ). Then we have the result, Theorem If f : [a, b ] R has nite derivatives at every point x in [a, b ] and f is bounded on [a, b ] then f is a function of bounded variation.
Gopikrishnan C R
Weak Solutions
For all t > 0, the mapping x u (x , t ) Cx t is a non increasing function (easily follows the entropy condition). From this we nd that, u Cx t = u C x t (38)
is also non increasing. This is a smooth function and therefore, x which gives, u C C 1 C + = C 1+ x t t t (40) u Cx t = u C 0 x t (39)
Gopikrishnan C R
Weak Solutions
Lawrence C Evans, Partial Dierential Equations, Graduate Studies in Mathematics - AMS, Shaper 3, Section 3.4.3 p.n 149 - 154. Utpal Chatterjee, Advanced Mathematical Analysis, Academic Publishers, Chapter 3 and Chapter 4. Joel Smoller,Shock Waves and Reaction Diusion Equations, Springer Verlag, Chapter 16, p.n 281 - 290 Walter Rudin, Real Analysis
Gopikrishnan C R
Weak Solutions
Gopikrishnan C R
Weak Solutions
THANK YOU...!
Gopikrishnan C R
Weak Solutions