Giả Jacobian và tối ưu liên tục

BỘ GIÁO DỤC VÀ ĐÀO TẠO

ĐẠI HỌC ĐÀ NẴNG

NGUYỄN VIẾT MINH

GIẢ JACOBIAN VÀ TỐI ƯU LIÊN TỤC

Chuyên ngành: Phương pháp Toán sơ cấp

Mã số: 60 46 40

https://camnangykhoa.net/

TÓM TẮT LUẬN VĂN THẠC SĨ KHOA HỌC

Đà Nẵng - 2011

Công trình ñược hoàn thành tại ĐẠI HỌC ĐÀ NẴNG

Người hướng dẫn khoa học: PGS.TS. Phan Nhật Tĩnh

Phản biện 1 : TS. Lê Hải Trung

Phản biện 2 : TS. Hoàng Quang Tuyến

Luận văn ñược bảo vệ trước Hội ñồng chấm Luận văn

tốt nghiệp Thạc sĩ khoa học họp tại Đại học Đà Nẵng

vào ngày 30 tháng 6 năm 2011.

* Có thể tìm hiểu luận văn tại :

- Trung tâm Thông tin - Học liệu, Đại học Đà Nẵng

- Thư viện trường Đại học Sư phạm, Đại học Đà Nẵng.

Mở ñầu

1. Lý do chọn ñề tài

Bài toán tối ưu hóa là hình thức là làm tối ưu (nhỏ nhất hoặc lớn nhất) một hàm mục tiêu với các ràng buộc nhất ñịnh. Công cụ chính ñể nghiên cứu bài toán là phép tính vi phân của các hàm khả vi ñược xây dựng bởi Leibnitz và Newton vào thế kỉ 17. Trong những năm ñầu của thế kỉ 21, hai nhà toán học V. Jeyakumar và Đ.T. Luc ñã ñề xuất khái niệm giả Jacobian như là một mở rộng của khái niệm Jacobian cho các hàm vectơ liên tục. Đây ñược xem như là một công cụ hiệu quả cho việc nghiên cứu các bài toán tối ưu liên tục. Như vậy, các vấn ñề về phép tính các giả Jacobian và các ứng dụng của chúng trong bài toán tối ưu liên tục thực sự là một vấn ñề hiện ñại trong lý thuyết tối ưu, nó vừa mang tính thời sự, ñồng thời lại mang tính kế thừa sâu sắc và ñạt ñến một trình ñộ khái quát cao. Từ những lí do ñó, chúng tôi quyết ñịnh chọn ñề tài với tên: Giả Jacobian và tối ưu liên tục ñể tiến hành nghiên cứu.

https://camnangykhoa.net/

2. Mục ñích nghiên cứu

Mục ñích của luận văn là trình bày một cách có hệ thống, các kiến thức cơ bản và quan trọng nhất về giả Jacobian.

Chứng minh chặt chẽ, chi tiết các ñịnh lí, mệnh ñề về mối quan hệ giữa Jacobian và các loại ñạo hàm suy rộng khác ñồng thời xét một số ví dụ ñiển hình của giả Jacobian trong tối ưu hóa.

3. Đối tượng và phạm vi nghiên cứu Đối tượng nghiên cứu: ñề tài nghiên cứu về giả Jacobian và tối ưu

Phạm vi nghiên cứu: nghiên cứu các tài liệu về giải tích lồi, giả

Jacobian trong và ngoài nước

4. Phương pháp nghiên cứu

Thu thập các bài báo khoa học, các tài liệu của các tác giả nghiên cứu liên quan ñến Giả Jacobian và tối ưu liên tục

Tham khảo thêm các tài liệu liên quan ñến ñề tài có trên mạng Internet

5. Ý nghĩa khoa học và thực tiễn của ñề tài

Luận văn ñã trình bày một cách có hệ thống về một dạng ñạo hàm suy rộng cho lớp các hàm vectơ liên tục, ñó là giả Jacobian. Đây là một dạng ñạo hàm suy rộng có tính tổng quát cao. Ngoài ra luận văn còn ñưa ra các ñiều kiện cực trị cho các bài toán tối ưu. Do ñó, luận văn có thể xem như là một tài liệu tham khảo cho sinh viên sư phạm và hệ cử nhân toán.

6. Cấu trúc của luận văn Ngoài phần mở ñầu và kết luận, luận văn ñược chia làm 3 chương. Chương 1 sẽ trình bày những kiến thức cơ bản về giả Jacobian. Trong chương này, ngoài việc chỉ ra các ñạo hàm suy rộng thường gặp như Jacobian suy rộng Clarke, dưới vi phân của hàm lồi vô hướng, dưới vi phân Michel-Penot là những trường hợp riêng của giả Jacobian, chúng tôi cũng chứng tỏ rằng dưới vi phân của hàm vectơ lồi cũng là một giả Jacobian của hàm vectơ ñó. Đây là kiến thức bổ trợ cho chương 2 và chương 3.

Chương 2 ñề cập ñến các quy tắc tính toán trong giả Jacobian, ñịnh lí giá trị trung bình, khai triển Taylor và một số tính chất cơ bản của nó.

Chương 3 sẽ trình bày các ñiều kiện cực trị (ñiều kiện tối ưu cấp một, ñiều kiện tối ưu cấp hai) cho các bài toán quy hoạch với các ràng buộc khác nhau (ràng buộc ñẳng thức, ràng buộc bất ñẳng thức,…).

Chương 1

Ma trận giả Jacobian

Trong chương này, chúng ta sẽ nhắc lại một số kiến thức ñã biết có liên quan ñến giải tích lồi, giải tích vectơ ñồng thời nghiên cứu về khái niệm giả Jacobian, một dạng ñạo hàm suy rộng của hàm vectơ liên tục.

Bố cục chương này như sau. Trong mục 1.1 chúng ta sẽ nhắc lại một số

kiến thức ñã biết và ñưa ra ñịnh nghĩa giả Jacobian, sau ñó là các tính chất cơ bản của nó. Mục 1.2 nêu lên mối quan hệ giữa giả Jacobian và một số ñạo hàm suy rộng khác cũng trong mục này ñưa ra khái niệm giả Hessian của hàm vô hướng khả vi liên tục. Các khái niệm giả Jacobian lùi xa và giả Jacobian riêng ñược nêu ở mục 1.3. Mục 1.4 dành cho việc nghiên cứu một số tính chất của ánh xạ giả Jacobian

https://camnangykhoa.net/

1.1. Định nghĩa và một số tính chất cơ bản Cho ( ) , nm L là không gian ma trận thực cấp mn × , mỗi ma trận M là một toán tử tuyến tính từ nm → , vì vậy với mỗi vectơ n x∈ có một ma trận ( ) m Mx ∈ . Ma trận chuyển vị của M kí hiệu

là tr M và cũng coi như là một toán tử tuyến tính từ mn → , ñôi khi ta viết vM, với m v∈ thay vì viết ( ) tr Mv . Chúng ta trang bị trên ( ) , nm L với chuẩn tuyến tính như sau

1 () x MSupMx ≤ = . Chuẩn ở ñây tương ñương với chuẩn Euclide

2 22

12 ... n MMMM =+++ , trong ñó 12 , , , m n MMM…∈ là n cột của ma trận M . Hình cầu

ñóng ñơn vị của không gian ( ) , nm L ñược kí hiệu bằng mn B .

Cho : n φ → là một hàm số và , n xu ∈ . Đạo hàm theo hướng

Dini trên của φ tại x theo hướng u kí hiệu ( ) , xu φ+ , ñược xác ñịnh bởi () ( ) ( ) 0 , lim sup t

φ+ ↓ +− = .

xtux xu t

Tương tự như vậy, ñạo hàm theo hướng Dini dưới của φ tại x theo hướng u kí hiệu ( ) , xu φ ; ñược xác ñịnh bởi () ( ) ( ) 0 , lim inf t

xtux xu t φφ φ ↓ +− = .

Các giới hạn trên có thể nhận giá trị thực mở rộng ∞ - và ∞ + . Khi ( ) ( ) , , xuxuφφ +− = , thì các giá trị ñó ñược kí hiệu chung là ( ) / , xu φ và gọi là ñạo hàm theo hướng của φ tại x theo hướng u . Nếu ñiều này ñúng với mọi hướng u thì hàm φ ñược gọi là khả vi theo hướng tại x .

1.1.1. Giả Jacobian

Định nghĩa 1.1.1. Cho : nm f → là hàm vectơ liên tục. Tập ñóng () ( ) , nm fxL∂⊆ gồm các ma trận cấp mn × ñược gọi là giả

Jacobian của f tại x nếu với mọi n u ∈ và với mọi m v∈ , ta có

()() () () , sup, Mfx vfxuvMu + ∈∂ ≤ . (1.1)

trong ñó vf là hàm thực xác ñịnh bởi 1 :, m ii i vfvfvf =

== ∑ .

Mỗi phần tử của ( )fx∂ ñược gọi là một ma trận giả Jacobian của f tại x . Nếu dấu ñẳng thức ở (1.1) xảy ra thì ( )fx∂ ñược gọi là giả

Jacobian chính quy của f tại x .

Mệnh ñề 1.1.2. (i) Một tập ñóng () ( ) , nm fxL∂⊆ là một ma trận giả Jacobian của f tại x nếu và chỉ nếu với mọi n u ∈ và với mọi m v∈ , ta có ()() () () ;inf, Mfx vfxuvMu ∈∂ ≥ . (1.2) (ii) Nếu () ( ) , nm fxL∂⊆ là giả Jacobian của f tại x , thì mọi tập con ñóng ( ) , nm AL ⊆ chứa ( )fx∂ ñều là giả Jacobian của

f tại x .

(iii) Nếu () { } 1 (,) nm i i fxL ∞ = ∂⊆ là một dãy giảm các giả Jacobian bị

chặn của f tại x , thì 1 () i i fx ∞ = ∂ I cũng là một giả Jacobian của f tại x .

1.1.2. Đạo hàm Gâteaux, ñạo hàm Fréchet và ñạo hàm chặt

Giả sử rằng : nm f → , ta nói rằng f khả vi Gâteaux tại x nếu có một ma trận M cấp mn × sao cho với mọi n u ∈ , ta có

0 ()() lim() t fxtufx Mu t ↓ +− = .

Khi ñó M ñược gọi là ñạo hàm Gâteaux của f tại x .

Nếu f khả vi Gâteaux tại x thì ñạo hàm Gâteaux M của nó trùng

với ma trận Jacobian ()fx∇ của f tại x.

Khi ma trận M thỏa mãn 0 ()()() lim0 u

fxufxMu u →

+−− = . Nó ñược gọi

là ñạo hàm Fréchet của f tại x và f gọi là khả vi Fréchet tại x .

Mệnh ñề 1.1.3. Cho : nm f → là hàm vectơ liên tục, khả vi Gâteaux

tại x , khi ñó { }()fx∇ là một giả Jacobian của f tại x . Ngược lại, nếu

f là một giả Jacobian tại x chỉ gồm một phần tử thì f khả vi Gâteaux tại ñiểm ñó và ñạo hàm Gâteaux của nó trùng với ma trận giả

https://camnangykhoa.net/

Jacobian này.

Mệnh ñề 1.1.4. Cho : nm f → là hàm vectơ liên tục, khả vi Gâteaux

tại x và ()fx∂ là một giả Jacobian bị chặn của f tại x , khi ñó với mỗi m v∈ có ma trận M của bao lồi co() fx∂ sao cho

[ ] () ()() tr tr fxvMv∇= . Trong trường hợp riêng khi m = 1 ta có

()co() fxfx

.

1.1.3. Jacobian suy rộng Clarke

Hàm : n φ → ñược gọi là Lipschitz gần x nếu tồn tại lân cận U

của x và một hằng số k > 0 sao cho

1212()() xxkxxφφ−≤− với mọi 12 , xxU

Cho n u ∈ , ñạo hàm Clarke theo hướng của hàm số φ tại x theo hướng u ñược ký hiệu ( ) o ; xu φ và xác ñịnh bằng () ( ) ( ) 0 '

'' ; :limsup o t xx

xtux xu t φφ φ ↓ →

+− = .

Dưới vi phân Clarke của φtại x ñược kí hiệu ( ) C x φ ∂ và xác ñịnh bởi () () { o :,;, Cn xuxuφξξφ ∂=∈≤ với }n u ∈ .

Một chú ý của tính chất dưới vi phân này là một tập lồi, compact trong n và ( ) o ; xu φ thỏa mãn ( ) o () ;max, C x xuu ξφ φξ ∈∂ = với mọi n u ∈ .

Giả sử : nm f → là hàm Lipschitz gần x. Khi ñó Jacobian suy rộng Clarke của f tại x, kí hiệu là ( ) C fx ∂ và xác ñịnh bởi () { } :colim():, C iii i fxfxxxx →∞

trong ñó Ω là tập tất cả các ñiểm của U mà tại ñó f khả vi.

Tập hợp () { } :lim():, B iii i fxfxxxx →∞

ñược gọi là B-dưới vi phân của f tại x.

Mệnh ñề 1.1.5. Cho : nm f → là hàm Lipschitz gần x. Khi ñó

Jacobian suy rộng Clarke ( ) C fx ∂ của f tại x là một giả Jacobian của f tại ñiểm này.

1.2. Giả vi phân và giả Hessian của những hàm vô hướng

Định nghĩa 1.2.1. Cho : n f → là hàm liên tục. Ta nói rằng tập con ñóng ( ) n fx ∂⊆ là một giả vi phân của hàm f tại x nếu xem như một tập con của ( ) , n L thì nó là một giả Jacobian của f tại x. Như vậy ( )fx∂ là một giả vi phân của hàm f tại x khi và chỉ khi ( ) () ,sup, fx fxuu ξ ξ + ∈∂ ≤ và ( ) () ,inf,, fx fxuu ξ ξ ∈∂ ≥ n u ∀∈ .

1.2.1. Dưới vi phân của hàm lồi Cho {} : n f →∪∞ là một hàm vô hướng có giá trị thực mở rộng. Miền xác ñịnh hữu hiệu của f là tập

{ } ():() n domfxfx=∈<+∞

và trên ñồ thị của nó là một tập hợp (){ } (),:() n epifxtfxt =∈×≤ .

Dưới vi phân của f (theo ñịnh nghĩa của giải tích lồi) là một tập () () { / :,;, canfxufxu ξξ ∂=∈≤ với mọi }n u ∈ .

Mệnh ñề 1.2.2. Cho f là hàm lồi, x0 là một ñiểm trong của miền xác

ñịnh hữu hiệu của f , khi ñó

i) f Lipschitz gần x0

ii) Đạo hàm theo hướng của hàm f tại x0 theo hướng n u ∈ tồn

(){() o ::;, n MP fxfxuu ξξ∂=∈≥ với mọi

Mệnh ñề 1.2.4. Cho : n f → là một hàm Lipschitz gần x. Khi ñó tập hợp ( ) MP fx ∂ là một giả vi phân của hàm f tại ñiểm này.

1.2.3. Giả Hessian

Định nghĩa 1.2.5. Cho : n f → là hàm khả vi liên tục. Ánh xạ ñạo hàm f∇ là hàm vectơ liên tục từ n vào n . Tập con ñóng () ( ) 2 , nn fxL∂⊆ gồm các ma trận vuông cấp n ñược gọi là một giả Hessian của hàm f tại x nếu nó là một giả Jacobian của f∇ tại ñiểm này.

Giả Hessian cũng có các tính chất như giả Jacobian.

fxtufxfxtufx fxu tt↓> +−+− == .

tại và ñược xác ñịnh bởi () ( ) ( ) ( ) ( ) 0000 / 0 00 ;liminf tt

Mệnh ñề 1.2.3. Giả sử rằng { } : n f →∪∞ là một hàm lồi và cho x

là ñiểm thuộc miền xác ñịnh hữu hiệu của f . Dưới vi phân

Mệnh ñề 1.2.6. Cho : n f → là hàm khả vi liên tục. Khi ñó (i) Nếu () ( ) 2 , nn fxL∂⊆ là một giả Hessian của hàm f tại x , thì mọi tập con ñóng ( ) , nn AL ⊆ chứa ( ) 2 fx ∂ là một giả

( ) ca fx

∂ của f tại x trùng với tập của vectơ n ξ∈ xác ñịnh

( ) ( ) ,ufxufx ξ ≤+− , với mọi n u ∈ .

Dưới vi phân này cũng trùng với dưới vi phân của Clarke. Do ñó dưới vi phân ( ) ca fx ∂ cũng là một giả vi phân của f tại x.

https://camnangykhoa.net/

1.2.2. Dưới vi phân Michel-Penot

Cho : n f → là hàm liên tục. Đạo hàm theo hướng Michel-

Hessian của hàm f tại x . (ii) Nếu f là khả vi Gâteaux hai lần tại x thì ma trận () { } 2 fx ∇ là một giả Hessian của hàm f tại x. Hơn nữa, f là khả vi Gâteaux hai lần tại x nếu và chỉ nếu nó có một giả Hessian chỉ gồm một phần tử tại x .

1.3. Ma trận giả Jacobian lùi xa và giả Jacobian riêng

1.3.1. Ma trận giả Jacobian lùi xa

fxtztufxtz fxu t ↓

Penot trên của f tại x theo hướng u ñược xác ñịnh bởi () ( ) ( ) o 0 ;:suplimsup n t z

và ñạo hàm theo hướng Michel-Penot dưới của f tại x theo hướng u ñược xác ñịnh bởi () ( )

Cho n A ⊆ là một tập không rỗng. Nón lùi xa của tập hợp A kí hiệu A ∞ và ñược xác ñịnh bởi

Mỗi phần tử của A ∞ gọi là một hướng lùi xa của tập hợp A .

Giả sử rằng : nm f → là hàm vectơ liên tục. Cho ( )fx∂ là giả

Jacobian của f tại x. Khi ñó nón lùi xa của ( )fx∂ , kí hiệu là ( ) ( ) fx ∞ ∂

ñược gọi là giả Jacobian lùi xa của f tại x. Mỗi phần tử của ( ) ( ) fx ∞ ∂

ñược gọi là một ma trận giả Jacobian lùi xa của f tại x.

Mệnh ñề 1.3.1.

Bổ ñề 1.3.2.

Bây giờ giả sử rằng : nm f → liên tục. Gọi ( )fx∂ là giả

Jacobian của hàm f tại x. Khi ñó ( ) ( ) fx ∞ ∂ biểu thị như một nón lùi xa

của ( )fx∂ . Phần tử của ( ) ( ) fx ∞ ∂ gọi là ma trận lùi xa của ( )fx∂ .

Mệnh ñề 1.3.3. Giả sử rằng ( )fx∂ là một giả Jacobian của hàm f tại

x. Khi ñó (i) ( )fx∂ bị chặn nếu và chỉ nếu ( ) ( ) { }0 fx ∞ ∂= ;

(ii) Nếu ( )fx∂ là tập lồi thì ( ) ( ) ( ) ( ) fxfxfx ∞ ∂=∂+∂ ;

(iii) Nếu ( )fx∂ là tập lồi và ( ) 0 fx∈∂ thì ( ) ( ) ( )fxfx ∞ ∂⊂∂ .

1.3.2. Giả Jacobian riêng

Giả sử rằng 12 : nn m f ×→ là một hàm vectơ liên tục theo cả hai biến 12 (,) nn xy ∈× . Giả Jacobian () ( ) 1 ,, n m x fxyL∂⊂ của hàm ( ) , xfxy → với 2n y ∈ không ñổi ñược gọi là giả Jacobian riêng

https://camnangykhoa.net/

của f tại (x,y) theo biến x, và () ( ) 2 ,, n m y fxyL∂⊂ của hàm ( ) , yfxy → ñược gọi là giả Jacobian riêng của f tại (x,y) theo biến y.

Cho tập con ( ) 12 , nn m QL⊂× , ta kí hiệu

( ) { 1 Proj:,: n m xQML =∈ sao cho ( ) () } 2 ,, n m NMNQ ∃∈∈ ,

( ) { 2 Proj:,: n m yQNL =∈ sao cho ( ) () } 1 ,, n m MMNQ ∃∈∈ .

Mệnh ñề 1.3.4. Cho 12 : nn m f ×→ là một hàm vectơ liên tục. Nếu

() ( ) 12 ,, nn m fxyL ∂⊂× là một giả Jacobian của hàm f tại (x,y)

thì ( ) Proj, x fxy∂ là một giả Jacobian riêng của f tại (x,y) theo biến x,

và ( ) Proj, y fxy∂ là một giả Jacobian riêng của f tại (x,y) theo biến y.

Mệnh ñề 1.3.5. Cho 12 : nn m f ×→ là một hàm vectơ liên tục và cho () ( ) 12 ,, nn m fxyL ∂⊂× là một giả Jacobian của f tại (x,y).

Khi ñó ta có ( ) ( ) ( ) ( ) Proj,Proj, xxfxyfxy ∞∞ ∂⊂∂ ; ( ) ( ) ( ) ( ) Proj,Proj, yyfxyfxy ∞ ∞ ∂⊂∂ .

1.4.Ánh xạ giả Jacobian nửa liên tục trên

1.4.1. Ánh xạ ña trị nửa liên tục trên

Một ánh xạ ña trị F từ n vào m , kí hiệu là : nm F là một ánh xạ từ n vào họ tất cả các tập con của m

Đồ thị của ánh xạ ña trị F là tập hợp ( ) graph nm F ⊂× ñược xác ñịnh bởi ()()() { } graph:,: nm FxyyFx =∈×∈ .

Tập hợp ( ) ( ) Im: n x FFx ∈ = U , ñược gọi là ảnh của ánh xạ ña trị F.

F ñược gọi là bị chặn ñịa phương tại n x∈ nếu tồn tại lân cận U của x sao cho tập hợp ( ) ( ) xU FUFx ∈ = U là tập bị chặn.

Ánh xạ ña trị F ñược gọi là nửa liên tục trên tại x nếu với mọi 0 ε > , tồn tại số 0 δ> sao cho ( ) ( ) nm FxBFxB δε+⊆+ .

Khi F là ánh xạ ñơn trị thì tính nửa liên tục trên theo ñịnh nghĩa trên chính là tính liên tục theo nghĩa thông thường.

Cho : nm F là một ánh xạ ña trị. Giới hạn trên Kuratowski-

Painleve của F tại x ñược xác ñịnh bởi ( ) ( ) { ' lim sup':lim:,iiii xx FxyyFxxx → =∈→ khi } i →∞ .

Giới hạn trên này ñược kí hiệu ()Fx . Từ các ñịnh nghĩa trên cho ta thấy rằng ()Fx là một tập ñóng.

Mệnh ñề 1.4.1. Cho : nm F là một ánh xạ ña trị nhận giá trị compact và nửa liên tục trên. Khi ñó nếu A là một tập compact trong

n thì

FAFx ∈ = U cũng là tập compact trong m

xA

Mệnh ñề 1.4.2. Giả sử rằng F là bị chặn ñịa phương tại x, khi ñó ánh xạ ña trị G xác ñịnh bởi () ( ) () ' ' ' ' Fxxx Gx Fxxx  ≠  =  =   neáu neáu

là nửa liên tục trên tại x. Hơn nữa, nếu F bị chặn ñịa phương thì ánh xạ

ña trị F là nhỏ nhất theo quan hệ bao hàm trong lớp các ánh xạ ña trị

nửa liên tục trên nhận giá trị ñóng và chứa F.

1.4.2. Ánh xạ giả Jacobian

Định nghĩa 1.4.3. Cho : nm f → là một hàm vectơ liên tục và ( )fx∂ là một giả Jacobian cho trước của f tại x, với mọi n x∈ . Khi ñó ánh xạ ña trị ( )xfx ∂ a ñược gọi là ánh xạ giả Jacobian của f .

Định lí 1.4.4. Cho f∂ là một ánh xạ giả Jacobian của f . Khi ñó các

khẳng ñịnh sau ñúng. (i)Nếu f∂ là bị chặn ñịa phương tại x thì ánh

xạ giả Jacobian f I xác ñịnh bởi () ( ) () ' ' ' ' fxxx fx fxxx  ∂≠ =  ∂=  neáu neáu I

là nửa liên tục trên tại x.

https://camnangykhoa.net/

(ii) Nếu f∂ là bị chặn ñịa phương, thì f∂ là nhỏ nhất trong tất cả các

ánh xạ giả Jacobian nửa liên tục trên chứa f∂ .

Mệnh ñề 1.4.5. Cho : nm f → là Lipschitz ñịa phương . Nếu f∂ là

một ánh xạ giả Jacobian nửa liên tục trên của f sao cho ( ) ( )fxfx∇∈∂ khi f∇ tồn tại, khi ñó ( ) ( ) B fxfx∂⊆∂ với mọi

.

Chương 2

Các quy tắc tính toán trên giả Jacobian

2.1. Quy tắc cơ bản

2.1.1. Tích vô hướng và tổng

Định lí 2.1.1. Cho f và : nm g → là các hàm vectơ liên tục. Nếu ( ) ( ) và fxgx ∂∂ lần lượt là các giả Jacobian của và fg tại x thì

(i) ( )fx α∂ là giả Jacobian của f tại x với mọi α∈ ;

(ii) ( ) ( ) ( ) clfxgx ∂+∂ là giả Jacobian của fg + tại x.

Mệnh ñề 2.1.2. Giả sử rằng f và g là hai hàm Lipschitz ñịa phương

từ n vào . Khi ñó với mỗi n x∈ , ta có ( )( ) ( ) ( )

2.1.2. Tích Decartes

Với hàm vectơ : nm f → và : nl g → , kí hiệu fg × ñược sử dụng ñể chỉ hàm vectơ từ n vào ml + , xác ñịnh bởi ( )( ) ( ) ( ) ( ) , fgxfxgx ×= .

Định lí 2.1.3. Cho : nm f → và : nl g → là các hàm vectơ liên

tục. Nếu () ( ) , nm fxL∂⊆ và () ( ) , nl gxL∂⊆ lần lượt là các giả

Jacobian của hàm f và g tại x thì ( ) ( )fxgx∂×∂ cũng là giả

Jacobian của hàm fg × tại x.

2.1.3. Tích và thương

Định lí 2.1.4. Cho ,: n fg → là hàm liên tục. Cho ( )fx∂ và ( )gx∂ lần lượt là các giả vi phân của f và g tại x. Nếu một trong các

tập ( )fx∂ và ( )gx∂ bị chặn hoặc ít nhất một trong các giá trị ( )fx

và ( )gx khác không khi cả hai tập ( )fx∂ và ( )gx∂ không bị

chặn, thì bao ñóng của tập hợp ( ) ( ) ( ) ( )fxgxgxfx ∂+∂ là giả vi phân của hàm tích fg tại x.

Định lí 2.1.5. Cho ,: n fg → là hàm liên tục với ( )gx 0 ≠ . Cho , fg∂∂ lần lượt là các giả vi phân của và fg tại x. Khi ñó bao ñóng

của tập ( ) ( ) ( ) ( ) () 2 gxfxfxgx gx ∂−∂ ,là giả vi phân của hàm thương f g

tại x.

Mệnh ñề 2.1.6. Cho ,: n fg → là hàm Lipschitz ñịa phương. Thì ta có

∂⊆∂+∂

( )( ) ( ) ( ) ( ) ( )

16

∂−=−∈∂∈

.

Mệnh ñề 2.2.2. Cho , n ab∈ và : nm f → là hàm vectơ liên tục, giả sử f∂ là ánh xạ giả Jacobian bị chặn và nửa liên tục trên của f trên ñoạn [ ] , ab . Khi ñó ()() [ ] ( ) { }() co, fbfafabba −∈∂− .

Mệnh ñề 2.2.3. Cho , n ab∈ và : nm f → là hàm Lipschitz ñịa phương. Khi ñó ()() [ ] ( ) { }() co, C fbfafabba −∈∂− .

∂⊆ ≠

()() ()()()() () () 2 , 0.

fgxfxgxgxfx gxfxfxgx fgxkhigx gx ∂+∂

2.1.4. Hàm max và hàm min

Định nghĩa 2.1.7. Cho , 1,..., i fik = là các hàm liên tục trên n . Khi

ñó hàm max và hàm min của chúng là các hàm và : n fg → lần lượt ñược xác ñịnh như sau: ( ) ( ) { } :max:1,..., i fxfxik == và ( ) ( ) { } :min:1,...,. i gxfxik ==

Kí hiệu ( )Ix là tập của tất cả các chỉ số { } 1,..., ik ∈ sao cho ( ) ( ) i fxfx = và ( )Jx là tập của tất cả các chỉ số { } 1,...,,jk ∈ sao cho ( ) ( ) j fxgx = .

https://camnangykhoa.net/

Định lí 2.1.8. Giả sử rằng ( ) ( ) 1 ,..., k fxfx∂∂ lần lượt là giả vi phân của hàm 1,..., kff tại x. Thì () ( ) i iIx fx ∈ ∂ U là một giả vi phân của hàm f tại x.

Mệnh ñề 2.1.9. Giả sử rằng 1,..., nff là hàm Lipschitz ñịa phương. Khi

ñó () () () co CC i iIx fxfx ∈

∂⊆∂  U .

2.2. Định lí giá trị trung bình và khai triển Taylor

2.2.1. Định lí giá trị trung bình

tại x. Khi ñó ()() [ ] ( )() { } co, fbfafabba −∈∂− ,

Mệnh ñề 2.2.4. Cho , n ab∈ và : n f → là hàm liên tục. Giả sử rằng với mỗi [ ] ( ) ,, xabfx ∈∂ là một giả vi phân của f tại x. Khi ñó tồn tại ( ) , cab ∈ và dãy { } ( ) ( ) co k fc ξ ⊂∂ sao cho ( ) ( ) lim, k k fbfaba ξ →∞ −=− .

2.2.2. Đặc trưng của hàm Lipschitz ñịa phương

Như phần trước ñã nêu, ánh xạ ña trị ( ) :L,nnm G ñược gọi là bị chặn ñịa phương tại x nếu tồn tại một lân cận U của x và một số dương α sao cho A α ≤ , với mọi ( ) AGU ∈ . Rõ ràng, nếu G là nửa liên tục trên tại x và bị chặn, thì G là bị chặn ñịa phương tại x.

Mệnh ñề

2.2.5. Cho : nm f → là hàm vectơ liên tục. Khi ñó f có một ánh xạ giả Jacobian bị chặn ñịa phương tại x nếu và chỉ nếu f Lipschitz gần x.

2.2.3. Khai triển Taylor Định lí 2.2.6. Cho : n f → là hàm khả vi liên tục trên n và

, n xy ∈ . Giả sử với mỗi [ ] ( ) 2 ,, zxyfz ∈∂ là giả Hessian của f tại ñiểm này. Khi ñó tồn tại ( ) , cxy ∈ sao cho

()()() ()() 2 1 ,co, 2 fyfxfxyxfcyxyx ∈+∇−+∂−− .

Hệ quả 2.2.7. Cho : n f → là hàm khả vi liên tục trên n và

, n xy ∈ . Giả sử với mỗi [ ] ( ) 2 ,, zxyfz ∈∂ là giả Hessian lồi của f

tại ñiểm này. Khi ñó tồn tại ( ) , cxy ∈ và ( ) 2 Mfc ∈∂ sao cho

()()() () 1 ,, 2 fyfxfxyxMyxyx =+∇−+−− .

Chương 3

Một số ứng dụng giả

Jacobian trong t

ối ưu

Trong chương này, sử dụng các kết quả của những chương trước ñể nêu lên ñiều cần cực trị của các hàm vectơ liên tục. Bố cục chương này

bao gồm các mục như sau. Mục 3.1 nêu lên các ñịnh lí ñiều kiện cần ñể hàm vectơ ñạt cực trị ñịa phương. Mục 3.2 ñiều kiện tối ưu cấp một sẽ

ñược ñưa ra ñối với bài toán tối ưu với dữ kiện là một hàm vectơ liên

tục. Mục 3.3 dành cho việc nêu lên ñiều kiện tối ưu cấp hai cho bài toán tối ưu với dữ kiện là khả vi liên tục.

3.1. Điều kiện cần của cực trị của hàm vectơ liên tục

Cho : n f → là hàm vectơ liên tục. Điểm x0 ñược gọi là cực tiểu ñịa phương của f nếu có một lân cận U của x0 trong n sao cho

( ) ( ) 0fxfx ≥ với mọi xU ∈ .

Sau ñây là một số ñiều kiện cần cho cực tiểu ñịa phương.

3.2. Điều kiện tối ưu cấp một

3.2.1. Bài toán với ràng buộc ñẳng thức

Cho U là một tập con mở trong n , cho 1 ,,...: m fhhU → là các

hàm nhận giá trị thực. Ta xét bài toán quy hoạch với m ràng buộc ñẳng thức mà ñược kí hiệu là (PE): Min ( )fx

Với ñiều kiện ( ) 0,1,..., i hxim == , Hàm vectơ với các thành phần 2 ,,..., imhhh ñược kí hiệu h . Hàm f ñược gọi là hàm mục tiêu và tập ràng buộc (hay tập chấp nhận ñược) của bài toán, kí hiệu là C ñược xác ñịnh bởi ( ) { } :0, 1,..., i CxUhxim =∈== .

Mỗi phần tử của C ñược gọi là ñiểm chấp nhận ñược. Điểm xC ∈ ñược gọi là nghiệm ñịa phương của bài toán (PE) nếu tồn tại lân cận V của x sao cho ( ) ( )fxfx ≤ với mọi xVC ∈∩ .

Ta kí hiệu: % () ()() ( ) {} ( ) :coco\0hxhxhx ∞ ∂=∂∂ U .

https://camnangykhoa.net/

Định lí 3.1.1. Nếu x0 là cực tiểu ñịa phương của f và ( ) 0fx∂ là một giả vi phân của f tại x0, thì ( ) 0 0co fx∈∂ .

Mệnh ñề 3.1.2. Nếu x0 là cực tiểu ñịa phương của f , thì

(i) ( ) 0 0 fx ∇= , khi f là hàm khả vi Gâteux tại x0 ;

(ii) ( ) 0 0 MP fx ∈∂ , khi f là hàm Lipschitz ñịa phương tại x0.

Định lí 3.1.3. Cho C là một tập lồi khác rỗng trong n và cho

: n f → là hàm vectơ liên tục. Nếu xC ∈ là ñiểm cực tiểu ñịa phương của f trên C và ( )fx∂ là một giả vi phân của f tại x, thì () ( ) sup,0, , fx uuTCx ξ ξ ∈∂ ≥∀∈ .

Trong ñó ( ) ( ) { } ,cl:, 0 TCxtcxcCt =−∈≥ là nón tiếp xúc của C tại

Trong ñó ( )hx∂ là giả Jacobian của h tại x. Định lí sau cho ta ñiều kiện cần ñể một ñiểm chấp nhận ñược là nghiệm ñịa phương của bài toán (PE). Đôi khi ñiều kiện này còn ñược xem như là quy tắc nhân tử Lagrange hay ñiều kiện tối ưu Fritz-John.

Định lí 3.2.1. Xét bài toán (PE) trong ñó f và h là các hàm liên tục trên U. Giả sử thêm rằng hàm ( ) , Ffh = có F∂ là ánh xạ giả jacobian nửa liên tục trên tại xU ∈ và x là một nghiệm ñịa phương của bài toán (PE). Khi ñó tồn tại các số 01 0, ,..., mλλλ ≥ không ñồng thời bằng 0 sao cho

() () ( ) {} ( ) ( ) 0coco\0 FxFx λ ∞ ∈∂∂ oU , trong ñó ( ) 0,..., mλλλ = .

Mệnh ñề 3.2.2. Xét bài toán (PE), cho ( ) , Ffh = là hàm Lipschitz gần

xU

∈ và x là một nghiệm ñịa phương của bài toán (PE). Khi ñó tồn tại

các số 01 0, ,... mλλλ ≥ không ñồng thời bằng 0 sao cho ( )( ) 0 C Fx λ ∈∂ o .

trong ñó ( ) 01,,..., mλλλλ = .

Đối với các nhân tử Lagrange mà ở ñó thành phần 0 0 λ = sẽ rất ít

ñược quan tâm, vì nó không chứa một thông tin nào có liên quan ñến

hàm mục tiêu f. Chính vì vậy mà người ta cố gắng ñưa ñến những kết quả mà ở ñó nhân tử Lagrange có thành phần 0λ khác không. Điều kiện

ñể có nhân tử Lagrange như vậy thường ñược gọi là ñiều kiện KuhnTucker hay ñiều kiện chính quy. Mệnh ñề sau cho ta một ñiều kiện chính quy của bài toán (PE).

Mệnh ñề 3.2.3. Với các giả thuyết của ñịnh lí 3.2.1 và bổ sung thêm giả sử hệ m vectơ lấy từ m dòng cuối của các phần tử của % ( ) Fx∂ ñều ñộc lập tuyến tính. Khi ñó tồn tại các số 1,..., mλλ sao cho

% ( ) 0 Fx λ ∈∂ o với ( ) 1 1,,..., mλλλ = .

Ví dụ 3.2.1.

https://camnangykhoa.net/

Xét bài toán sau : Min 2 34xx +

Với ñiều kiện ( ) 2/34 1123 2sgn20 xxxx+−=

1/32 12422 xxx +− .

Cho ( ) 012 ,, ffff = , ở ñây

( ) 2 0123434 ,,, fxxxxxx =+

( ) ( ) 2/34 112341123 ,,,2sgn20fxxxxxxxx=+−=

( ) 1/32 21234124 ,,,22 fxxxxxxx =+− .

Ta ñang quan tâm ñến ñiểm x = 0, rõ

a phương của bài toán.

3.2.2. Bài toán với ràng buộc ñẳng thức và bất ñẳng thức Trong phần này ta sẽ nghiên cứu bài toán quy hoạch với ràng buộc ñẳng thức và bất ñẳng thức. Cho ,,:, n ijfgh → 1,...,;ip = 1,..., jq = là các hàm nhận giá trị thực. Ta xét bài toán sau kí hiệu là (P) Min ( )fx

Với ñiều kiện ( ) 0, 1,... i gxip ≤= ( ) 0, 1,... j hxjq ==

Ta kí hiệu ( ) 1,..., p ggg = , ( ) 1,..., q hhh = và ( ) ,, Ffgh = . Dưới ñây là

một quy tắc nhân tử cho bài toán (P).

Định lí 3.2.4. Giả sử F liên tục và có ánh xạ giả Jacobian ( )Fx∂ là

nửa liên tục trên tại n x ∈ . Nếu x là một nghiệm tối ưu ñịa phương

của bài toàn (P), thì tồn tại vectơ khác không ( ) ,, pq αβγ ∈××

trong ñó ( ) 1 0,,..., pαβββ ≥= với 0 i β ≥ sao cho

( ) 0, 1,..., iigxipβ ==

Và () () () ( ) {} ( ) 0,,coco\0 FxFx αβγ ∞

∈∂∂ oU .

Mênh ñề 3.2.5. Giả sử rằng F là Lipschitz ñịa phương và x là một

nghiệm tối ưu ñịa phương của bài toán (P). Khi ñó tồn tại một vectơ

khác không ( ) ,, pq αβγ ∈×× trong ñó 0 α ≥ , ( ) 1,..., pβββ = với 0 i β ≥ , ( ) 1,..., pγγγ = sao cho ( ) 0, 1,..., iigxipβ == ( ) ( ) 0,, C Fx αβγ ∈∂ o .

Mênh ñề 3.2.6. Giả sử rằng F là Lipschitz ñịa phương và x là nghiệm tối ưu ñịa phương của bài toán (P). Giả sử rằng thêm rằng các ñiều kiện sau thỏa mãn.

(i) Hệ q vectơ lấy từ q dòng cuối của mỗi phần tử của % ( ) Fx∂ ñều ñộc lập tuyến tính.

(ii) Với phần tử % ( ) MFx ∈∂ với các hàng là M0, M1,…, Mp+q, tồn tại

vectơ n v∈ sao cho

,0 i Mv < nếu ( ) { } 0, 1,..., i gxip =∈ , ,0 i Mv = với 1,..., jppq =++

Khi ñó tồn tại một vectơ ( ) , pq βγ ∈× trong ñó ( ) 1,..., pβββ = với 0 i β ≥ , sao cho 0, 1,..., iigipβ ==

và () () () ( ) {} ( ) 01,,\0 coFxcoFx βγ ∞ ∈∂∂ U .

3.3. Điều kiện tối ưu cấp hai

3.3.1. Điều kiện cần

Cho : n f → , : np g → và : nq h → . Ta xét bài toán quy hoạch (P) xác ñịnh bởi Min

fx

Với ñiều kiện ( ) 0 gx ≤ , ( ) 0 hx = .

Ta ñã biết phần trước rằng nếu , fg và h là các hàm khả vi liên tục và x0 là một nghiệm tối ưu ñịa phương của bài toán (P), thì ñiều kiện

Fritz John ñúng, nghĩa là tồn tại vectơ khác không

( ) 0,, pq λλµ ∈×× sao cho

( ) ( ) ( ) 0000,,0fxgxhxλλµ ∇+∇+∇= , ( ) 00 0,0và 0,1,..., iiigxipλλλ≥≥== .

Khi 0 1 λ = ta thu ñược ñiều kiện tối ưu Kuhn-Tucker. Cho

( ) , pq λµ ∈× . Ta kí hiệu ( ) ( ) ( ) ( ) : ,, Lxfxgxhx λµ=++ ,

()() () { }::0,,0vàh0 n Xxgxgxx λ =∈≤== ,

()() { } 0 00 ,::lim,,,0 n iiiii TXxvvtxxxXxxt =∈=−∈→> ,

( ) 00,:TXx = { n v∈ tồn tại 0 δ> sao cho [ ]} 0 , 0, xtvXt δ +∈∈ .

Hàm Lagrange L liên kết với nhân tử ( ) , λµ , tập hợp X là tập tất cả

các ñiểm chấp nhận ñược thỏa mãn ( ) 0,1,..., iigxipλ == , tập ( ) 0 , TXx là nón tiếp xúc của X tại 0x và tập ( ) 0 , TXx là tập tất cả các hướng chấp nhận ñược của X. Ta thiết lập ñiều kiện tối ưu cấp hai cho bài toán

(P). Các ñiều kiện này sẽ ñược biểu diễn bằng cách sử dụng ma trận giả Hessian và ma trận lùi xa.

Định lí 3.3.1. Giả sử rằng các ñiều kiện sau thỏa mãn

(i) Các hàm , fg và h khả vi liên tục và x0 là một nghiệm ñịa phương của bài toán (P);

(ii) Điều kiện Kuhn-Tucker thỏa mãn tại 0x với ( ) , pq λµ ∈× ;

(iii) ( ) 2 0Lx ∂ là một giả Hessian của L tại 0x . Khi ñó với mỗi

Định lí 3.3.2. Giả sử rằng bài toán (P) có một nghiệm ñịa phương là x0.

Cho ñiều kiện Kuhn-Tucker thỏa mãn tại x0 với ( ) , pq λµ ∈× . Giả

sử rằng với mỗi n x∈ , ( ) 2 ,,Lx λµ ∂ là một giả Hessian của ( ) .,, L λµ

tại x. Nếu ánh xạ ( ) 2 .,, L λµ ∂ bị chặn ñịa phương tại x0, thì với mọi

( ) 0 , uTXx ∈ tồn tại ( ) 2 0,, MLx λµ ∈∂ sao cho ( ),0.Muu ≥

Ví dụ 3.3.1.

Xét bài toán

Min 434 xy

Với ñiều kiện 24 0 xy −+≤ ,

Tập chấp nhận ñược của bài toán là (){ } 224 ,:0Cxyxy =∈−+≤ .

Đặt ( ) 434 , fxyxy =− và ( ) 24 , gxyxy =−+ . Có thể thấy rằng ( ) 0 0,0 x = là một nghiệm ñịa phương của bài toán. Ta có () 13 3 4 ,,4 3 fxyxx

, () ( ) 3 ,2,4 gxyxy∇=−

Suy ra ( ) ( ) 0,00,00fg ∇+∇= , có nghĩa là ñiều kiện Kuhn-Tucker thỏa

3.3.2. Điều kiện

Bây giờ ta xét ñiều kiện ñủ cho nghiệm của bài toán (P). Tập nghiệm chấp nhận ñược của bài toán này kí hiệu là S, nón tiếp xúc của S tại xS ∈ ñược kí hiệu bằng ( ) ,.TSx

Định lí 3.3.4. Giả sử các ñiều kiện sau ñây thỏa mãn

(i) Các hàm , fg và h là khả vi liên tục;

(ii) Điều kiện Kuhn-Tucker thỏa mãn tại 0x , với ( ) , pq λµ ∈× ;

(iii) Ánh xạ Giả Hessian 2L ∂ của L là nửa liên tục trên tại 0x sao cho

với mọi ( ) { } 0 ,\0uTSx ∈ và

()() {} ( ) 22 00 \0, MLxLx ∞

U ta

Lxxyxyxx =−−+=− . Vì

mãn tại ( ) 0 0,0 x = . Hàm Lagrange ñược cho bởi ( ) 43424432

https://camnangykhoa.net/

ánh xạ gradient của L là () 13 4 ,2,0 3 Lxyxx∇=−

không Lipschitz gần ( )0,0 nên Hessian suy rộng của L tại ( )0,0 không tồn tại. Đặt () 2 23 4 20 ,: 9 00 Lxy x

có ( ) ,0.uMu > Khi ñó 0x là nghiệm ñịa phương của bài toán.

Ví dụ 3.3.2. Xét bài toán Min 434 xy

Với ñiều kiện 42 0 yx−= .

Tập chấp nhận ñược của bài toán là (){ } 242 ,:0Cxyyx =∈−= .

Đặt ( ) 434 , fxyxy =−− và ( ) 42 , hxyyx =− .f và h là các hàm khả vi

liên tục với () 13 3 4 ,,4 3 fxyxx

∇=−−

, () ( ) 3 ,2,4 hxyxy∇=−

Kết luận

Như vậy, luận văn ñã trình bày một cách có hệ thống về một dạng

ñạo hàm suy rộng cho lớp các hàm vectơ liên tục, ñó là giả Jacobian.

Đây là một dạng ñạo hàm suy rộng có tính tổng quát cao và mối quan hệ giữa giả Jacobian và các loại ñạo hàm suy rộng khác cũng ñược trình

bày trong luận văn này. Một phần không thể thiếu khi ñề cập ñến các khái niệm ñạo hàm ñó là các quy tắc tính toán và ñối với giả Jacobian cũng vậy, chúng tôi ñã lần lượt trình bày các quy tắc xác ñịnh giả

Jacobian cho tổng, hiệu, tích, thương, tích Decartes của các hàm vectơ ñịnh lí giá trị trung bình, khai triển Taylor cho hàm vô hướng khả vi liên tục. Đây chính là những công cụ ñể ñưa ñến các ứng dụng trong tối ưu mà chúng tôi ñã trình bày trong phần cuối của luận văn.

TC ββ =∈ , với mỗi ( ) ( ) ( ) 0,,0,0uTC β =∈ mà

Khi ñó 2L ∂ xác ñịnh như trên là một ánh xạ giả Hessian của L nửa liên tục trên tại ( )0,0 . Ta có nón tiếp xúc của C tại ( ) 0 0,0 x = là ( ) ( ) ( ) { } ,0,00,:

0 β≠ và với mỗi ( ) 2 0,0 ML ∈∂ ta có

() 2 ,0uMu β α => , do 2 α ≥ .

Tuy nhiên, ( )0,0 không phải là nghiệm ñịa phương của bài toán và ñiều

https://camnangykhoa.net/

này hoàn toàn hợp lí khi ñiều kiện ñủ của bài toán không thỏa mãn ñối

với ma trận giả Hessian lùi xa. Thật vậy, ta có () () 2 0 0,0:0 00 L α α ∞

Chọn () () {} 2 10 0,0\0 00 ML ∞

.

thì ( ) ,0.uMu

Chúng tôi cho rằng việc ứng dụng giả Jacobian vào các hàm vectơ

liên tục là một vấn ñề mở và có thể phát triển theo nhiều hướng khác nhau. Một trong các hướng ñó là có thể mở rộng các ñiều kiện tối ưu cho các hàm vectơ thay vì các hàm vô hướng như ñã trình bày trong luận văn.

Trên ñây là toàn bộ luận văn, tác giả ñã có rất nhiều có gắng nghiên cứu và thực hiện. Tuy nhiên, do những hạn chế nhất ñịnh về trình ñộ khoa học, thời gian thực hiện và phương pháp nghiên cứu nên chưa thể thực hiện hết tất cả các ý tưởng liên quan ñến nội dung của luận văn. Hy

vọng trong thời gian tới tác giả sẽ giải quyết vấn ñề này trọn vẹn hơn.

Tác giả mong muốn luận văn sẽ phục vụ thiết thực cho sinh viên sư

phạm hệ cử nhân toán, xem như tài liệu tham khảo, ở hiện tại cũng như

tương lai.