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

VIỆN HÀN LÂM
KHOA HỌC VÀ CÔNG NGHỆ VN

HỌC VIỆN KHOA HỌC VÀ CÔNG NGHỆ

NGUYỄN DƯƠNG NGUYỄN

CÁC PHƯƠNG PHÁP HIỆU CHỈNH LẶP
NEWTON-KANTOROVICH VÀ ĐIỂM GẦN
KỀ CHO PHƯƠNG TRÌNH TOÁN TỬ
KHÔNG CHỈNH PHI TUYẾN ĐƠN ĐIỆU

Chuyên ngành: Toán ứng dụng
Mã số:
9 46 01 12

LUẬN ÁN TIẾN SĨ TOÁN HỌC

NGƯỜI HƯỚNG DẪN KHOA HỌC
1. GS. TS. Nguyễn Bường
2. PGS. TS. Đỗ Văn Lưu

HÀ NỘI - NĂM 2018


ii

LỜI CAM ĐOAN
Các kết quả trình bày trong luận án là công trình nghiên cứu của tôi,

thành công việc học tập và nghiên cứu của mình, niềm vinh hạnh to lớn
này.
Tác giả


Mục lục

Trang bìa phụ

i

Lời cam đoan

ii

Lời cảm ơn

iii

Mục lục

iv

Một số ký hiệu và viết tắt

vi

Mở đầu

1


Chương 3. Phương pháp lặp tìm không điểm của ánh xạ đơn
điệu cực đại trong không gian Hilbert
64
3.1. Bài toán tìm không điểm của ánh xạ đơn điệu cực đại . . . . 64
3.2. Các cải biên của phương pháp điểm gần kề với dãy tham số
của toán tử giải khả tổng . . . . . . . . . . . . . . . . . . . . 66
3.3. Ví dụ số minh họa . . . . . . . . . . . . . . . . . . . . . . . 79
Kết luận chung

83

Kiến nghị hướng nghiên cứu tiếp theo

84

Danh mục các công trình đã công bố liên quan đến luận án

85

Tài liệu tham khảo

86


Một số ký hiệu và viết tắt

Rn

không gian Euclide n-chiều


hiệu của tập hợp A và tập hợp B

inf M

cận dưới đúng của tập hợp số M

sup M

cận trên đúng của tập hợp số M

S1 (0)

mặt cầu đơn vị trong không gian E

BE

hình cầu đơn vị trong không gian E

Br (x0 )

hình cầu tâm x0 và bán kính r

∀x

với mọi x

D(A)

miền xác định của ánh xạ A


không gian các dãy số khả tổng bậc p (1 < p < ∞)


vii

l1

không gian các dãy số khả tổng bậc 1

l∞

không gian các dãy số bị chặn

Wpm (Ω)

không gian Sobolev

lim sup xn

giới hạn trên của dãy số {xn }

n→∞

lim inf xn

giới hạn dưới của dãy số {xn }

αn


tập điểm bất động của ánh xạ T

M

bao đóng của tập hợp M

ρE

mêtric của không gian mêtric E

int(C)
phần trong của tập hợp C
∂ m x(t)
đạo hàm riêng cấp m của hàm x(t), với t = (t1 , t2 , ..., tn )
∂tα1 1 ∂tα2 2 · · · ∂tαnn
Dom(f )

miền hữu hiệu của f

PC

phép chiếu mêtric lên tập hợp C

∂f

dưới vi phân của phiếm hàm lồi f

arg min f

tập tất cả các điểm cực tiểu (toàn cục) của phiếm hàm f

Người ta nói những bài toán đó đặt không chỉnh. Do các số liệu thường
được thu thập bằng thực nghiệm (đo đạc, quan trắc ...) và sau đó lại được
xử lý trên máy tính nên chúng không tránh khỏi sai số. Vì vậy, yêu cầu đặt
ra là phải có những phương pháp giải các bài toán đặt không chỉnh sao
cho khi sai số của dữ liệu càng nhỏ thì nghiệm xấp xỉ tìm được càng gần
với nghiệm đúng của bài toán xuất phát. Những người có công đặt nền
móng cho lý thuyết bài toán đặt không chỉnh là V.K. Ivanov [50], M.M.
Lavrent’ev [57], J.L. Lions [102], A.N. Tikhonov [83, 84], ... Do tầm quan
trọng đặc biệt của lý thuyết này mà nhiều nhà toán học đã dành phần lớn
thời gian và công sức của mình cho việc nghiên cứu các phương pháp giải
bài toán đặt không chỉnh, điển hình là Ya.I. Alber [9], A.B. Bakushinskii
[15, 16], J. Baumeister [19], H.W. Engl [40, 41], V.B. Glasko [42], A.V.
Goncharskii [15], R. Gorenflo [10, 44], C.W. Groetsch [40, 45], M. Hanke
[41, 47], B. Hoffmann [49, 98], A.K. Louis [99], V.A. Morozov [63, 64],
M.Z. Nashed [66], F. Natterer [67, 68], A. Neubauer [41], G.M. Vainikko
[88], F.P. Vasil’ev [89, 90], ... Một số nhà toán học Việt Nam cũng đi sâu


2

nghiên cứu và có nhiều đóng góp cho lý thuyết cũng như ứng dụng các bài
toán đặt không chỉnh như Đ.Đ. Áng [10], P.K. Anh [1], Ng. Bường [1, 2],
Đ.Đ. Trọng [10], v.v ... hoặc có công trình liên quan đến lý thuyết trên
như Ng.M. Chương [36], Đ.N. Hào [48, 87], T.Đ. Vân [87], ...
Nếu E là không gian Banach với chuẩn . thì trong một số trường hợp
của ánh xạ A, bài toán (0.1) có thể hiệu chỉnh bằng phương pháp cực tiểu
phiếm hàm làm trơn Tikhonov:
Fαδ (x) = A(x) − fδ

2

T (u0 ) − ω, v − u0 ≥ f (u0 ) − f (v), v ∈ E.

(0.4)

Kí hiệu tập nghiệm của bài toán (0.4) tương ứng với phần tử ω là Aω .
Thay cho việc giải bất đẳng thức biến phân (0.4), F.E. Browder đã xét


3

bất đẳng thức biến phân sau:
Tα (uα ) − ωα , v − uα ≥ f (uα ) − f (v), v ∈ E,

(0.5)

trong đó α > 0, Tα = T + αM và ωα = ω + αv0 , với v0 là phần tử bất
kỳ trong E ∗ . Ông đã chỉ ra với mỗi α > 0, bất đẳng thức biến phân (0.5)
có duy nhất một nghiệm uα và dãy nghiệm {uα } hội tụ mạnh về phần tử
u0 ∈ Aω khi α → 0, với u0 là nghiệm duy nhất của bất đẳng thức biến
phân:
M u0 − v0 , v − u0 ≥ 0, v ∈ Aω .
Nếu E là không gian Banach phản xạ và không gian đối ngẫu E ∗ là
không gian lồi chặt thì ánh xạ đối ngẫu tổng quát J s của E có tính chất
như ánh xạ M nêu ở trên (xem [9]). Năm 1975, dựa trên tư tưởng phương
pháp hiệu chỉnh của F.E. Browder và tính chất của ánh xạ đối ngẫu J s ,
Ya.I. Alber (xem [1, 7, 9]) đã xây dựng phương pháp hiệu chỉnh BrowderTikhonov để giải bài toán (0.1) khi A là ánh xạ phi tuyến đơn điệu như
sau:
A(x) + αJ s (x − x+ ) = fδ .

(0.6)

Trường hợp E ≡ H là không gian Hilbert thì phương pháp (0.6) có
dạng đơn giản nhất với s = 2. Khi đó, ánh xạ đối ngẫu J 2 ≡ I là ánh xạ
đơn vị trong E và phương pháp (0.6) trở thành:
A(x) + α(x − x+ ) = fδ .

(0.9)

Lý thuyết về ánh xạ J-đơn điệu trong không gian Banach là một hướng
mở rộng của lý thuyết ánh xạ đơn điệu trong không gian Hilbert. Bài toán
(0.1) với A là ánh xạ J-đơn điệu trong không gian Banach có mối liên hệ
chặt chẽ với bài toán điểm bất động, phương trình tiến hóa và bất đẳng
thức đồng biến phân (xem [8]). Ngoài ra, lớp bài toán này còn đóng một
vai trò quan trọng trong việc nghiên cứu phương trình đạo hàm riêng trong
không gian Lp và Wpm (xem [56, 59, 78, 79]). Năm 2006, Ya.I. Alber và I.P.
Ryazantseva [9] đã đưa ra sự hội tụ của phương pháp (0.9) khi A là một
ánh xạ J-đơn điệu trong không gian Banach E dưới điều kiện ánh xạ đối
ngẫu chuẩn tắc J của E liên tục yếu theo dãy. Rất tiếc là lớp không gian
Banach vô hạn chiều có ánh xạ đối ngẫu chuẩn tắc liên tục yếu theo dãy là
quá nhỏ (chỉ có không gian lp ). Năm 2013, Ng. Bường và Ng.T.H. Phương
[33] đã chứng minh được sự hội tụ của phương pháp (0.9) mà không đòi
hỏi tính liên tục yếu theo dãy của ánh xạ đối ngẫu chuẩn tắc J. Dựa vào
phương pháp (0.9), vào năm 2014, Ng. Bường và Ng.Đ. Dũng [30] đã xây
dựng phương pháp hiệu chỉnh cho hệ phương trình toán tử (0.7) trong
trường hợp fi ∈ E, A0 là ánh xạ J-đơn điệu và Ai là ánh xạ ngược J-đơn
điệu mạnh trên không gian Banach E, i = 1, 2, ..., N .
Tuy nhiên, ta thấy, nếu A là ánh xạ phi tuyến thì (0.6), (0.8) và (0.9)
là các bài toán phi tuyến. Chính vì lí do đó, một phương pháp ổn định
khác để giải bài toán (0.1), có tên là phương pháp hiệu chỉnh lặp NewtonKantorovich đã được quan tâm nghiên cứu. Phương pháp này được đề
xuất bởi A.B. Bakushinskii [14] vào năm 1976 để giải bài toán bất đẳng
thức biến phân với ánh xạ phi tuyến đơn điệu. Đây là phương pháp hiệu

A (x∗ )v = x+ − x∗ ,

(0.13)

ở đây τ > 0, x∗ là nghiệm của bài toán (0.1), A (x∗ ) là đạo hàm Fréchet
của ánh xạ A tại x∗ , J ∗ là ánh xạ đối ngẫu chuẩn tắc của E ∗ và v là phần
tử nào đó trong E. Ta thấy, các điều kiện (0.12) và (0.13) sử dụng đạo hàm
Fréchet của ánh xạ A tại nghiệm chưa biết x∗ nên chúng là hết sức chặt
chẽ. Năm 2007, A.B. Bakushinskii và A. Smirnova [17] đã chứng minh sự
hội tụ của phương pháp (0.11) đến nghiệm của bài toán (0.1) khi A là ánh
xạ đơn điệu từ không gian Hilbert H vào H (trong không gian Hilbert,
khái niệm J-đơn điệu trùng với khái niệm đơn điệu) dưới điều kiện là
A (x) ≤ 1, A (x) − A (y) ≤ L x − y , ∀x, y ∈ H, L > 0.

(0.14)


Luận án đủ ở file: Luận án full