Nghiệm nhớt của phương trình đạo hàm riêng cấp một và công thức kiểu Hopf - lax - oleinik cho nghiệm nhớt

Trường ĐHSP Hà Nội 2

Khoá Luận Tốt Nghiệp

Lời Cảm ơn
Trong suốt quá trình thực hiện đề tài, em nhận được sự hướng dẫn và chỉ
bảo hết sức nhiệt tình của thầy giáo hướng dẫn: Th.S Trần Văn Bằng giảng
viên tổ Toán Giải tích, cùng toàn thể các thầy cô trong khoa Toán Trường
ĐHSP Hà Nội 2.
Em xin chân trọng gửi lời cảm ơn sâu sắc của mình tới thầy giáo hướng
dẫn: Th.S Trần Văn Bằng cùng toàn thể quý thầy, cô trong khoa Toán đã
giúp đỡ và tạo điều kiện tốt nhất cho em hoàn thành tốt bài khoá luận này.
Bằng sự nỗ lực hết sức của bản thân, bài khoá luận đã được hoàn thành.
Song trong khuôn khổ thời gian có hạn và năng lực của bản thân còn nhiều
hạn chế nên bài khoá luận khó tránh khỏi sai sót. Em rất mong nhận được sự
đóng góp ý kiến của quý thầy, cô và các bạn sinh viên để bản thân có thể tiếp
tục hoàn thiện hơn nữa trong quá trình học tập và giảng dạy.
Em xin chân thành cảm ơn !

Hà Nội, tháng 05 năm 2007
Sinh viên

Thân Văn Tài

GVHD:Th.S Trần Văn Bằng

-1-

SVTH: Thân Văn Tài

Lời cam đoan
Quá trình nghiên cứu khoá luận với đề tài: “Nghiệm nhớt của phƣơng
trình đạo hàm riêng cấp một và công thức kiểu Hopf-Lax-Oleinik cho
nghiệm nhớt” đã giúp em hiểu sâu hơn về bộ môn Giải tích hiện đại, đặc biệt
là về phương trình vi phân ĐHR . Qua đó cũng giúp em bước đầu làm quen
với công tác nghiên cứu khoa học.
Em xin cam đoan bài khoá luận được hoàn thành là do sự cố gắng nỗ lực
tìm hiểu, nghiên cứu của bản thân cùng với sự hướng dẫn, chỉ bảo hết sức
nhiệt tình của thầy giáo hướng dẫn: Th.S Trần Văn Bằng cũng như các thầy,
cô trong tổ Toán Giải tích của trường ĐHSP Hà Nội 2. Và đây cũng là một
đề tài không trùng với các đề tài của các tác giả khác.
Em rất mong nhận được sự đóng góp ý kiến của quý thầy, cô và các bạn
sinh viên để bản khoá luận được hoàn thiện hơn.

Hà Nội, tháng 05 năm 2007
Sinh viên

Thân Văn Tài


Mục lục
Lời cảm ơn …………………………………………………………………...1
Lời cam đoan
………………………………………………………………...2
Mục lục ………………………………………………………………………3
Lời nói đầu .………………………………………………………………….4
Chƣơng 1: Các ký hiệu và kiến thức mở đầu ……………………………..6
1.1 Ký hiệu …………………………………………………………….6
1.2 Kiến thức về giải tích thực…………………………………………8
1.3 Kiến thức về giải tích hàm ………………………………………...9

1.4 Kiến thức về lý thuyết Tôpô-Độ đo-Tích phân …………………..10 1.5
Một số bất đẳng thức …………………………………………............11
Chƣơng 2: Nghiệm nhớt của phƣơng trình đạo hàm riêng cấp một …12
2.1 Mở đầu …………………………………………………………....12
2.2 Khái niệm nghiệm nhớt …………………………………………..13
2.3 Tính duy nhất của nghiệm nhớt …………………………………..18
2.4 Các công thức Hopf-Lax .………………………………………23
Chƣơng 3: Công thức kiểu Hopf-Lax-Oleinik cho nghiệm nhớt ……….29
3.1 Các ký hiệu thường dùng………………………………………29
3.2 Công thức Hopf-Lax cổ điển …………………………………….30
3.3 Hamiltonian lồi và phụ thuộc vào u ……………………………..32
3.4 Hamiltonian phụ thuộc u và dữ kiện ban đầu tựa lồi ……………34 Kết luận
…………………………………………………………………….43 Tài liệu
tham khảo ………………………………………………………. 44


Lời nói đầu
1. Lí DO CHỌN ĐỀ TÀI
Như ta đó biết phương trỡnh vi phõn ĐHR núi chung và phương trỡnh
phi tuyến núi riờng cú ứng dụng rất rộng rói trong thực tế. Cú rất nhiều lĩnh
vực nghiờn cứu hiện đại mà trong đó phương trỡnh vi phõn ĐHR đóng một
vai trũ hết sức quan trọng như: lý thuyết biểu diễn nhúm nhiều chiều, lý
thuyết trường lượng tử, lý thuyết cỏc khụng gian thuần nhất và vật lý toỏn.
Mặc dự đó được đề cập từ rất lõu (khoảng thế kỷ 18 và 19), nhưng lý
thuyết cỏc phương trỡnh phi tuyến cho đến nay cơ bản vẫn chưa được hoàn
thiện. Từ đầu thế kỷ 20 đến nay do nhu cầu nghiờn cứu một cỏch chặt chẽ
những phương trỡnh vi phõn ĐHR đó kớch thớch sự phỏt triển cỏc phương
phỏp cơ bản của Giải tớch thực,Giải tớch hàm và Tụpụ.
Một bài toỏn phương trỡnh vi phõn ĐHR, nếu cú ý nghĩa thực tiễn thỡ
chắc chắn cú nghiệm, vấn đề là nghiệm đó hiểu theo nghĩa nào mà thụi. Cú rất

nhiều phương trỡnh vi phõn ĐHR mà ta nghiờn cứu, đặc biệt là phương trỡnh
phi tuyến đều khụng cú nghiệm cổ điển. Vấn đề đặt ra là ta cố gắng xõy dựng
lý thuyết cỏc nghiệm suy rộng hoặc nghiệm yếu của chỳng, và đặc biệt là tớnh
duy nhất nghiệm (do nhu cầu ứng dụng thực tế).
Khi nghiờn cứu phương trỡnh vi phõn ĐHR cấp một thỡ bằng kỹ thuật
của phương pháp triệt tiêu độ nhớt, ta thu được nghiệm nhớt (một loại
nghiệm yếu) của bài toỏn Cauchy đối với phương trỡnh Hamilton-Jacobi. Như
vậy nghiệm nhớt cú ý nghĩa rất lớn trong việc nghiờn cứu phương trỡnh vi
phõn ĐHR .
Vỡ tầm quan trọng rất lớn của nú trong thực tế, trong nghiờn cứu khoa học và
nhằm giỳp cho bạn đọc cú cỏi nhỡn tổng quỏt về phương trỡnh vi phõn ĐHR.


Nờn trong quỏ trỡnh nghiờn cứu khoỏ luận em đó mạnh dạn lựa chọn đề tài
“Nghiệm nhớt của phƣơng trỡnh đạo hàm riêng cấp một và cụng thức
kiểu Hopf-Lax-Oleinik cho nghiệm nhớt” đây là một phần nhỏ của lý
thuyết phương trỡnh vi phõn ĐHR.
2. NỘI DUNG ĐỀ TÀI
Trong khuụn khổ thời gian cú hạn nờn khoỏ luận của em chủ yếu đi sõu
vào một số nội dung chớnh sau:
Chƣơng 1: “Ký hiệu và kiến thức mở đầu”. Nhằm mục đích cung cấp
cho người đọc những ký hiệu thường dựng và cỏc kiến thức cú liờn quan để
tiện theo dừi cỏc phần tiếp theo.
Chƣơng 2: “Nghiệm nhớt của phƣơng trỡnh đạo hàm riờng cấp một”.
Ta sẽ đề cập đến khỏi niệm nghiệm nhớt và cụng thức kiểu Hopf-Lax của
chỳng, cựng cỏc ước lượng của nghiệm trong trường hợp khụng cổ điển.
Chương này ta sẽ đưa ra một cỏi nhỡn tổng quỏt về tớnh duy nhất của nghiệm
yếu và cụng thức Hopf-Lax cho trường hợp cỏc Hamiltonian là lồi (dữ kiện
ban đầu là lồi).
Chƣơng 3: “Cụng thức kiểu Hopf-Lax-Oleinik cho nghiệm nhớt”.

Chương này cú 4 phần: Phần 1 đưa ra cỏc ký hiệu chung thường dựng cho cỏc
phần tiếp theo. Phần 2 nhằm thiết lập cụng thức kiểu Hopf-Lax-Oleinik cho
nghiệm nhớt với phương trỡnh Hamilton-Jacobi trong trường hợp
Hamiltonian khụng phụ thuộc vào ẩn hàm và hàm ban đầu khụng nhất thiết
liờn tục đều. Phần 3 thực hiện cụng việc tương tự nhưng đối với Hamiltonian
lồi và phụ thuộc vào ẩn hàm cựng gradient theo cỏc biến khụng gian của nú.
Phần 4 Hamiltonian sẽ chứa biến thời gian và ẩn hàm cựng với gradient theo
cỏc biến khụng gian của nú.


Chƣơng 1

Kí HIỆU VÀ KIẾN THỨC MỞ ĐẦU
1.1. Kí HIỆU
1.1.1 Ký hiệu hỡnh học
(i)  là khụng gian Euclide thực n chiều.
n

(ii) ∂ là biờn của U, U = U
U  ∂U
(iii)UT

= U × ( 0,T

(iv)Γ = U T
− UT
T
(v)

n

x
−
y

0

n

.

là biờn parabolic của UT .

B (x, r) = { y
∈

]

là bao đóng của U .

|

< r} là hỡnh cầu mở □ với tõm x và
trong

bỏn kớnh r > 0.
(vi)

B(x, là hỡnh cầu đóng với tõm x và bỏn kớnh r > 0.
r)

(vii) 
= x = (x1, )∈
| x j > 0∀j = 1, 2,...,n} là

+
x2 ,...,{
x
nửa khụng gian
n

n

n

mở phớa trờn; 

| x > 0} .

+

={ x
∈
(viii) ột điểm bất kỳ trong

(x,t) = (x1, x2 ,...,
xn ,t)

n
+
1

thường được ký hiệu

1.1.2. Ký hiệu cỏc hàm số


và thường dựng t = xn+1 là
biến thời gian.
(i) Nếu u :U →

 , ta viết u(x) = u(x1, x2 ,...,

xn )

(x

∈U ) . Ta núi u là trơn nếu u là khả vi vụ hạn.
+

(ii) u =
max(u,0),

−

+

u =
u= u
−min (u,0), − u − ,

(iii) Hàm u :U →

+

−

u= u + u .

 được gọi là liờn tục Lipschitz nếu

u(x) − u( y) ≤ C x − y
với hằng số C nào đó và với mọi x, y ∈U . Ta viết


u(x) − u(
Lip [u ] := sup
x,
y)
y∈U ,
x≠ y

x− y

.

(iv) Tớch chập của cỏc hàm f , h được ký hiệu: f*h

∫ f ( y)h(x −

( f * h)(x) :=

y)dy .

1.1.3. Các ký hiệu đạo hàm
Giả thiết u :U →  , x ∈U .
∂u
u(x + hεi ) − u(x)
(x) = lim
, nếu giới hạn này tồn tại.
(i)
h→0
∂xi
h
(ii) Ta hay viết u thay
cho
x

∂u

i

3

. ∂ u
∂x

2

∂ u

i

(iii) Tương tự ∂x
∂x

= u x ∂x
∂x
x ,
∂x

= u x x v.v.
x ,

i

i

j

i

j

i

k

là toỏn tử Laplace của u.

n

(iv) ∆
u
=

j k

j

uxi xi =
∑
2
i=
tr(D u)
1

1.1.4. Cỏc khụng gian hàm
(i) C(U ) = {u :U
→  |u

liờn tục

C(U ) = {u
∈C(U ) | u
C k (U ) = {u :U
→ |u

}

liờn tục đều

}

là liờn tục khả vi k lần

}


k

C (U ) =
α

{u ∈C

là liờn tục đều với mọi

k

α

≤ k} .

(U ) | D u
là đo được Lebesgue,

(ii) Lp (U ) = {u :U
→ |u

u

Lp (U )

<∞

},

trong đó
u

p

(U )
L

=

(
∫
U

u dx
p

)

1

p

L (U ) = {u
:U →  | u là đo được
Lebesgue,
trong đó
∞

(1 ≤ p < ∞).
u

∞

L
(U )

<∞

},


u

∞

= ess sup u .

L (U )

L ploc (U ) = {u
:U
→ 

U

|u
với mọi V ⊂⊂ U
p
∈ L
(V )

}.

1.1.5. Hàm véctơ
m

α

α

α

1

D u = (D u , D u
α

1

2

với mọi đa chỉ số α ,

2

m

,..., D u )
k

D u
α
= {D u |

= k
} và

α

D
u

k


=

(ii) Khi k = 1 ta cú
 ∂u1

∂x
 1

Du =

 m
 ∂u
 ∂x
 1

∂u





∞

ε

∂xn

 

(U ) .
ε

2

2
 .





= ma trận gradient.


∂u m 


∂xn m×n

(ii) f

1

1

1.2.1. Tính chất của hàm trơn húa
ε

α

α =k

1.2. KIẾN THỨC VỀ GIẢI TÍCH THỰC

f ∈C

D
u

∑



(i)

m

u :U →  , u = (u ,u ,...,u ), (x ∈U
)

(i) Nếu m > 1 và

→f


hầu khắp nơi khi
ε → 0.
(iii) Nế
u

f ∈C(U ) , thỡ f
ε

đều trờn mỗi tập compact của U.

→ f

(iv) Nếu 1 ≤ p <
∞ và

1.2.2. Định lý hàm ẩn
Giả sử f ∈C1 (U;
) và

f
∈
p
L
m

lo
c

(U thỡ f ε
) →
f

p

trong L

loc

J y f(x0 , ) ≠ 0 . Khi đó tồn tại một tập
mở
y0

V ⊂U (x , y ) ∈V , và tập mở W ⊂ x ∈W ,
0
với

một
 0n với
0
g :W
→
m


sao cho:

(U ) .

1

C ỏnh xạ


(i) g(x0 ) = y0
(ii) , f(x, g(x))

(x ∈W) ,

= z0
(iii) Nếu (x, y)
∈V
(iv) Nếu f
k
∈C

và f(x, y)

= z0

thỡ y = g(x) ,

thỡ g
(k = 2,...),
∈
k
C

Hàm g được xỏc định ẩn gần x0 bởi phương trỡnh f(x, y) = z0 .
1.3. KIẾN THỨC VỀ GIẢI TÍCH HÀM
1.3.1. Khụng gian Banach
1.3.1.1. Định nghĩa về khụng gian định chuẩn
Ta gọi khụng gian định chuẩn (hay khụng gian tuyến tớnh định chuẩn)
là khụng gian tuyến tớnh X trờn trường P ( P ∈ hoặc P ∈ )
cựng với một ỏnh xạ từ X vào tập số thực  , ký hiệu là  và đọc là
chuẩn, thỏa món
cỏc tiờn đề sau:
(i) (∀x
x ≥
∈ X 0,
)
(ii) (∀x ∈ X
) (∀α ∈ P)
(iii) (∀x, y
∈ X)

x = 0
⇔

x= θ

α

x =

(ký hiệu phần tử khụng là θ );

α

x ;

x+ y ≤ x + y .

1.3.1.2. Định nghĩa về sự hội tụ trong khụng gian định chuẩn
Dóy điểm (xn )


của khụng gian định gọi là hội tụ tới điểm
chuẩn X
x ∈ X , nếu xn
= 0 . Ký hiệu lim hay xn → x (n
lim − x x = x
n
→ ∞) .
n→∞
n→∞
1.3.1.3. Định lý về không gian Banach
Khụng gian định chuẩn X là khụng gian Banach khi và chỉ khi trong
khụng gian X mọi chuỗi hội tụ tuyệt đối đều hội tụ.

1.3.2. Khụng gian Hilber
Cho H là khụng gian tuyến tớnh thực. Ánh xạ (⋅,⋅) : H × H
→  được gọi là tớch vụ hướng nếu :


(i) (u,v) =
(v,u),

∀u,v ∈ H .

(ii) Ánh xạ u  (u,v) là tuyến tớnh với mọi v ∈ H .
(iii) (u,v) ≥ ∀u ∈ H .
0,
(iv) (u,u) = 0 ⇔

u= 0.

Khụng gian Hilbert là một khụng gian Banach với chuẩn được sinh bởi
một tích vô hướng.
1.3.3. Toỏn tử tuyến tớnh bị chặn
1.3.3.1. Toỏn tử tuyến tớnh bị chặn trong khụng gian Banach
(i) Ánh xạ

A: X
gọi là toỏn tử tuyến tớnh nếu:
→
Y

A(λu + µv)
∀u, v ∀λ,

= λ Au + µ Av, ∈ X ,
(ii)

µ ∈ .

Cho khụng gian định chuẩn X và Y . Toỏn tử tuyến tớnh A từ
khụng gian X vào khụng gian Y gọi là bị chặn, nếu tồn tại hằng số C
sao cho:
Ax ≤ C x , ∀x ∈ X .

1.3.3.2. Toỏn tử tuyến tớnh bị chặn trong khụng gian Hilbert
Cho H là khụng gian Hilbert với tớch vụ hướng (,).
(i) Nếu

A:H
là toỏn tử tuyến tớnh bị chặn, toỏn tử liờn hợp của
→
H

nú là A*: H
→
H

thỏa món ( Au,v) = (u,
A* v),

(ii) A là đối xứng nếu A* = A .

∀u,v ∈ H .

1.4. KIẾN THỨC VỀ Lí THUYẾT Tễ Pễ - ĐỘ ĐO - TÍCH PHÂN
1.4.1. Khỏi niệm hầu khắp nơi
Cho một khụng gian độ đo (X, M, µ ), A ∈ M. Ta núi một tớnh
chất (T) nào đó xẩy ra hầu khắp nơi trờn A (viết tắt h.k.n) nếu tồn tại
một tập hợp B∈M
sao cho B
⊂ A,

µ(B) = 0 và tại mỗi x ∈A\B đều cú tớnh chất (T).
điểm


1.4.2. Độ đo Lebesgue

được gọi là một σ -đại số
nếu:

Một tập hợp M gồm cỏc tập con của 
n

(i) φ,  n ∈ M.
(ii) A ∈ Mkộo
theo
(iii) Nếu {A
k

}

k

 n \ A∈ M.
∞

A

⊂ M
thỡ

k
=
1

,

∞
k



A ∈ M.

k
k =1

1.4.2. Hàm đo đƣợc
(i) Cho f :  n →  . Ta núi f là hàm
đo được nếu
U là tập con mở trong  .
(ii) Một hàm đo được f là khả tổng nếu:

∫



−1

f (U ) ∈ M với
mọi

f dx < ∞ .
n

1.5. MỘT SỐ BẤT ĐẲNG THỨC
1.5.1. Hàm lồi
Một hàm f :  n →  được gọi là lồi nếu
f (τ x + (1 − τ ) y) ≤ τ f (x) + (1 − τ ) f ( y)
với mọi x, y ∈

n

và với 0 ≤τ ≤1.

1.5.2. Bất đẳng thức Jensen
Giả thiết f :


→  là lồi là mở và bị chặn. Cho u :U
n
→  là

và U ∈

khả tổng. Khi đó
f

( ∫

U

) ≤ ∫

udx

U


f (u)dx .
Nhớ rằng

 udx =1 ∫
∫
U udx
U

U

là trung bỡnh của u trờn U .


Chƣơng 2

NGHIỆM NHỚT CỦA PHƢƠNG TRèNH ĐẠO
HÀM RIấNG CẤP MỘT
2.1. MỞ ĐẦU
Xột bài toỏn Cauchy đối với phương trỡnh Hamilton- Jacobi tổng quỏt:
ut + H (t, x,u,
Du) = 0
u
=
f

Trong đó:
(i) Hamiltonian

trong ( 0,∞)
× n
trờn

{t = 0} ×  n .

H : ( 0,∞ ) × ×  →  .
 n× 
n

(ii) Hàm giỏ trị ban đầu f :  n → 
là
u : [ 0, ∞ ) ×  n
→  với u = u(t, x)
(iii) Ta viết

(2.1)

đó được xỏc định ẩn hàm

và Du = Dxu
= (ux

H = H ( t, x, ξ, p ) , trong

1

,...,u x ).
n

là cỏc biến thay thế cho hàm

đó ξ , p

u, Du trong phương trỡnh đạo hàm riờng.
Nhỡn chung bài toỏn giỏ trị ban đầu đối với phương trỡnh Hamilton-Jacobi
đó được khẳng định là khụng cú nghiệm trơn u với mọi t . Nờn trong phần
này chỳng ta xột một loại nghiệm suy rộng của (2.1) dựa trờn kĩ thuật của
phương pháp triệt tiêu độ nhớt.
Trước hết ta xột bài toỏn xấp xỉ :
ut + H (t,
x,u


trong
(×0,∞

 )

)−
ε
∆
u
=
0

, Du
ε

ε

ε

(2.2)

ε

u= f

n

trờn

{t = 0} ×  n .

với ε > 0. Ta thấy (2.1) chứa phương trỡnh đạo hàm riờng cấp 1 hoàn
phi toàn

tuyến cũn (2.2) là bài toỏn giỏ trị ban đầu đối với phương trỡnh parabolic tựa


tuyến tớnh mà ta đó biết nú cú nghiệm trơn. Thừa số

ε∆ trong (2.2) là

tỏc nhõn
chớnh quy hoỏ của phương trỡnh Hamilton-Jacobi.
Ta hi vọng khi cho

ε

ε

cỏc nghiệm u của (2.2) sẽ hội tụ tới một loại
→
0

nghiệm suy rộng của (2.1).
2.2. KHÁI NIỆM NGHIỆM NHỚT
Cho H là một hàm liờn tục theo

( x,ξ,

và đo được theo t ; hơn nữa

p)

(t,0,0,0)∈

(0,T )
H

và
H (t, x,ξ , p ) − H (t,
x,ξ , p ) ≤
'

với

x,y
,ξ

,

ξ

L1

(t, x
R

− y

ω

,p
,q≤

R(với R>0 nào đó)

,

'

ξ
ξ

+
−
+

với mọi

s,ωR ( t,0) = 0 h.k.n.

)

'

ωR

(t, s)

khụng õm , khụng giảm theo s và đo được theo t và

ωR (⋅, s ) ∈ L1 (0,T )

p− q

là hàm liờn tục,

Ta cần đưa ra cỏch thiết lập cỏc dạng yếu của (2.1) với u ∈C

]×  n )

([0,T

; ở đây ta chỉ trỡnh bày cỏch thiết lập nghiệm dưới u của
ut + H (t, x,u,
Du) ≤ 0

trong

( 0,∞)

Đối với nghiệm trờn ta tiến hành tương tự. Hàm u
= u(t, x)

×  n.

(2.3)

là nghiệm của bài

toỏn nếu nú vừa là nghiệm trờn vừa là nghiệm dưới.
Xột hàm thử v như sau:
v ∈C 1 ( 

n

> 0, ∀ x

), ∃R

≥ R, u(t, x) − v(x) < s up {u(t,⋅)
− v(⋅)}.

Kớ hiệu K (t) là tập cỏc điểm cực đại của
s up {u(t,⋅) − v(⋅)}



n

trờn  (với mọi
n


t ∈[ 0.T

m(t) = max{u(t, x) − v(x)}. Khi đó xột dạng yếu tương

]), và

đương

n

với (2.3) như sau:

,

m (t)
+

'
inf H (t, x,u(t, x), Dv(x)) ≤ 0 D (0,T
trong
)

(2.4)

x∈K (t )

hoặc
m, (t) +
sup

H (t, x,u(t, x), Dv(x)) trong D' (0,T
≤ 0
)

(2.5)

x∈K (t )

hay
vt (t0 , x0 ) + F(t0 , x0 ,u((t0 , x0 ),
Dv(t0 , x0 )) ≤ 0

với (t0 , x0 ) ∈( 0,T

n

)×


. (2.6)

Định lí 2.2.1
Cỏc hệ thức (2.3), (2.4), (2.5) và (2.6) là tương đương
Chỳ ý :
+Vỡ

K(t)
nờn với mọi t ta cú (2.4), (2.5) hoàn toàn cú nghĩa.
⊂ BR

+ Dựa vào định nghĩa nghiệm nhớt do Ishii đưa ra ta cú:
Nếu b ∈ L1 (0,T ), F (t, x,ξ ,
p)∈C

([0,T ]× 

n

× 
n
× 

) và F thỏa món

b(t) + F(t, x,ξ, p) ≤ H (t, x,ξ, p ) ,
với x − < ∆,
x0
ξ − u(t0 , x0 )
< ∆,
trong đó

p − Dv(t0 , x0 )
< ∆ và h.k.n.

t − < ∆,
t0


n
1
∆ > 0,
,T ) ×  , v ∈C
,x )
(t
n
∈( 0 ) × 
0

)

0

u(t, x) +

((0,T

và nếu

t

∫ b(s)ds − v(t, x)
0

đạt cực đại địa phương tại

(t0 , x0 ) , thỡ ta được (2.6).

Bõy giờ chỳng ta sẽ đưa ra định nghĩa nghiệm nhớt của bài toỏn Cauchy
đối với phương trỡnh Hamilton-Jacobi dạng đơn giản:
ut + H (x,
Du) = 0
u(0, x) =

trong U : (0, ∞) × 

f (x) trờn

n

{t = 0} ×  n .

(2.7)

(2.8)


Ở đây Hamiltonian H (x,
p)
Định nghĩa 2.2.1

là hàm liờn tục theo x, p .

Một hàm liờn tục đều, bị chặn u được gọi là một nghiệm nhớt của (2.7) -(2.8)
nếu:
(i) u=f trờn

{t = 0} ×  n .

(ii) với mọi v ∈C

∞

((0,∞) ×



n

),

n
nếu u - v đạt cực đại địa phương tại (t0 , x0 ) ∈(0,∞)

× 

thỡ vt (t0 , x0 ) + H (x0 , Dv(t0 , x0 )) ≤ 0,
và
nếu u - v đạt cực tiểu địa phương
tại

n

(t0 , x0 ) ∈(0,∞) × 

thỡ vt (t0 , x0 ) + H (x0 , Dv(t0 , x0 )) ≥ 0 .
Trước tiờn ta chỉ ra rằng khỏi niệm nghiệm nhớt khụng mõu thuẫn với
khỏi niệm nghiệm cổ điển . Trước hết giả sử u ∈C1

([0, ∞) × 
)

thỏa món

n

(2.7), nếu u liờn tục đều và bị chặn thỡ u là nghiệm nhớt của

ut + H (x, Du) = 0 .
Thật vậy, cho v là hàm trơn và u − v đạt cực đại địa phương tại (t0 , x0 ) ,
khi đó
Du ( t0 , x0 ) = Dv ( t0 , x0 )

ut ( t0 , x0 ) = vt ( t0 , x0 ) .

Do u thoả món (2.7) nờn


vt (t0 , x0 ) + H ( x0 , Dv (t0 , x0 )) = ut (t0 , x0 ) + H ( x0 , Du (t0 , x0

))

= 0.

Đẳng thức tương tự cũng đạt được tại điểm mà đạt cực tiểu địa phương.
u−v
Tiếp theo ta chứng tỏ một nghiệm nhớt đủ trơn là nghiệm cổ điển. Để có