Luận văn Thạc sĩ Toán học: Nguyên lý tựa độ lệch suy rộng trong hiệu chỉnh hệ phương trình toán tử

Chia sẻ: _ _ | Ngày: | Loại File: PDF | Số trang:47

Thêm vào BST

Báo xấu

22
lượt xem 3
download

Download Vui lòng tải xuống để xem tài liệu đầy đủ

Mục đích của luận văn là trình bày phương pháp chọn tham số hiệu chỉnh theo nguyên lý tựa độ lệch suy rộng cho hiệu chỉnh hệ phương trình toán tử, nghiên cứu sự hội tụ và đánh giá tốc độ hội tụ của nghiệm hiệu chỉnh dựa trên cách chọn tham số hiệu chỉnh này. Mời các bạn tham khảo!

Chủ đề:

Bình luận(0) Đăng nhập để gửi bình luận!

Lưu

Nội dung Text: Luận văn Thạc sĩ Toán học: Nguyên lý tựa độ lệch suy rộng trong hiệu chỉnh hệ phương trình toán tử

ĐẠI HỌC THÁI NGUYÊN TRƯỜNG ĐẠI HỌC KHOA HỌC ——————–o0o——————– NGUYỄN NGỌC PHƯƠNG NGUYÊN LÝ TỰA ĐỘ LỆCH SUY RỘNG TRONG HIỆU CHỈNH HỆ PHƯƠNG TRÌNH TOÁN TỬ LUẬN VĂN THẠC SĨ TOÁN HỌC THÁI NGUYÊN, 5/2017
ĐẠI HỌC THÁI NGUYÊN TRƯỜNG ĐẠI HỌC KHOA HỌC ——————–o0o——————– NGUYỄN NGỌC PHƯƠNG NGUYÊN LÝ TỰA ĐỘ LỆCH SUY RỘNG TRONG HIỆU CHỈNH HỆ PHƯƠNG TRÌNH TOÁN TỬ Chuyên ngành: Toán ứng dụng Mã số: 60 46 01 12 LUẬN VĂN THẠC SĨ TOÁN HỌC GIÁO VIÊN HƯỚNG DẪN PGS.TS. NGUYỄN THỊ THU THỦY THÁI NGUYÊN, 5/2017
iii Mục lục Lời cảm ơn v Bảng ký hiệu 1 Mở đầu 2 Chương 1. Hiệu chỉnh hệ phương trình toán tử đơn điệu 5 1.1 Hệ phương trình toán tử trong không gian Banach . . . . . . 5 1.1.1 Khái niệm và ví dụ về không gian Banach, không gian Hilbert . . . . . . . . . . . . . . . . . . . . . . . 6 1.1.2 Toán tử đơn điệu . . . . . . . . . . . . . . . . . . . . 9 1.1.3 Hệ phương trình toán tử đơn điệu . . . . . . . . . . . 13 1.2 Bài toán đặt không chỉnh . . . . . . . . . . . . . . . . . . . 15 1.2.1 Khái niệm về bài toán đặt không chỉnh . . . . . . . . 15 1.2.2 Ví dụ về bài toán đặt không chỉnh . . . . . . . . . . 16 1.3 Hiệu chỉnh hệ phương trình toán tử đơn điệu . . . . . . . . . 17 1.3.1 Hiệu chỉnh trong trường hợp fi = 0 . . . . . . . . . . 19 1.3.2 Hiệu chỉnh trong trường hợp fi 6= 0 . . . . . . . . . . 22 Chương 2. Nguyên lý tựa độ lệch suy rộng chọn tham số hiệu chỉnh 27 2.1 Nguyên lý tựa độ lệch suy rộng . . . . . . . . . . . . . . . . 27 2.1.1 Nguyên lý độ lệch suy rộng . . . . . . . . . . . . . . 27 2.1.2 Nguyên lý tựa độ lệch suy rộng . . . . . . . . . . . . 30
iv 2.2 Tốc độ hội tụ . . . . . . . . . . . . . . . . . . . . . . . . . . 35 2.2.1 Tốc độ hội tụ . . . . . . . . . . . . . . . . . . . . . . 35 2.2.2 Ví dụ số minh họa . . . . . . . . . . . . . . . . . . . 38 Kết luận 40 Tài liệu tham khảo 41
v Lời cảm ơn Luận văn được hoàn thành tại trường Đại học Khoa học–Đại học Thái Nguyên dưới sự hướng dẫn tận tình của PGS.TS. Nguyễn Thị Thu Thủy. Tác giả xin bày tỏ lòng biết ơn sâu sắc tới Cô. Trong quá trình học tập và nghiên cứu tại trường Đại học Khoa học–Đại học Thái Nguyên tác giả luôn nhận được sự quan tâm giúp đỡ và động viên của các thầy cô giáo của khoa Toán–Tin và các thầy cô giáo trong trường. Tác giả xin bày tỏ lòng biết ơn sâu sắc tới các thầy cô. Tác giả xin chân thành cảm ơn Ban Giám hiệu trường Trung học phổ thông Nhã Nam – Huyện Tân Yên – Tỉnh Bắc Giang và các anh chị em đồng nghiệp đã tạo điều kiện tốt nhất cho tác giả trong thời gian đi học Cao học. Xin cảm ơn các anh chị em học viên lớp cao học K9C và bạn bè đồng nghiệp đã trao đổi, động viên và khích lệ tác giả trong quá trình học tập và làm luận văn tại trường Đại học Khoa học–Đại học Thái Nguyên. Thái Nguyên, tháng 5 năm 2017 Tác giả luận văn Nguyễn Ngọc Phương
1 Bảng ký hiệu R tập hợp số thực H không gian Hilbert thực E không gian Banach E∗ không gian đối ngẫu của E Lp [a, b], 1 < p < ∞ không gian các hàm khả tích bậc p trên đoạn [a, b] lp , 1 < p < ∞ không gian các dãy số khả tổng bậc p ∅ tập rỗng ∀x với mọi x D(A) miền xác định của toán tử A R(A) miền ảnh của toán tử A I toán tử đồng nhất xn → x0 dãy {xn } hội tụ mạnh về x0 xn * x0 dãy {xn } hội tụ yếu về x0 Js ánh xạ đối ngẫu tổng quát J ánh xạ đối ngẫu chuẩn tắc j ánh xạ đối ngẫu chuẩn tắc đơn trị
2 Mở đầu Nhiều vấn đề của khoa học, công nghệ và kinh tế . . . dẫn đến việc giải các bài toán mà nghiệm của chúng không ổn định theo dữ kiện ban đầu, tức là có một thay đổi nhỏ của các dữ liệu đầu vào có thể dẫn đến sự sai khác rất lớn của nghiệm, thậm chí làm cho bài toán trở lên vô nghiệm hoặc vô định. Người ta nói những bài toán đó đặt không chỉnh. Khái niệm bài toán đặt chỉnh và đặt không chỉnh được J. Hadamard đưa ra vào đầu thế kỷ XX khi nghiên cứu các điều kiện biên lên nghiệm của các phương trình eliptic cũng như parabolic (xem [6] và tài liệu trích dẫn). Lý thuyết bài toán đặt không chỉnh đã được các nhà toán học hàng đầu thế giới đặt nền móng cho việc nghiên cứu như: V.K. Ivanov, M.M. Lavrentev, A.N. Tikhonov. . . . Gần đây, do tầm quan trọng trong ứng dụng mà lớp bài toán này được nhiều nhà toán học trong và ngoài nước quan tâm nghiên cứu như: Ya.I. Alber, A.B. Bakushinsky, P.K. Anh, Đ.Đ. Áng, Ng. Bường, Đ.N. Hào . . . Để giải lớp bài toán này ta phải sử dụng các phương pháp giải ổn định, sao cho khi sai số của các dữ kiện đầu vào 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 ban đầu. Các phương pháp giải bài toán đặt không chỉnh khi biết thêm thông tin định tính về nghiệm là: phương pháp chọn, phương pháp tựa nghiệm, phương pháp sử dụng phương trình xấp xỉ. Trong trường hợp tổng quát khi không biết thêm thông tin về nghiệm, ta có thể sử dụng phương pháp hiệu chỉnh do A.N.
3 Tikhonov đề xuất, dựa trên việc xây dựng toán tử hiệu chỉnh và cách chọn giá trị của một tham số mới đưa vào. Năm 1963 A.N. Tikhonov (xem [15]) đã đưa ra phương pháp hiệu chỉnh cho phương trình toán tử đặt không chỉnh A(x) = f, (1) với A : H → H là toán tử liên tục và đóng yếu trong không gian Hilbert thực H. Năm 1966 F. Browder (xem [11]) đã đưa ra một dạng khác của phương pháp hiệu chỉnh Tikhonov, được gọi là phương pháp hiệu chỉnh Browder– Tikhonov, với A là toán tử phi tuyến đơn điệu từ không gian Banach E vào E ∗ , ở đây E ∗ là không gian liên hợp của E. Tư tưởng của phương pháp là sử dụng toán tử M : E → E ∗ có tính chất hemi-liên tục và đơn điệu mạnh làm thành phần hiệu chỉnh. J s , ánh xạ đối ngẫu tổng quát của E, là một toán tử có tính chất như vậy. Ya.I. Alber (xem [5]) sử dụng ánh xạ này để xây dựng phương trình hiệu chỉnh Ah (x) + αJ s (x − x∗ ) = f δ , (2) cho bài toán (1), ở đây Ah là xấp xỉ của A, f δ là xấp xỉ của f , x∗ là phần tử cho trước thuộc E và α là tham số mới đưa vào. Một trong các mở rộng của bài toán (1) là bài toán tìm nghiệm của hệ phương trình toán tử đặt không chỉnh Ai (x) = fi , i = 0, 1, . . . , N, (3) ở đây, Ai : E → E ∗ là các toán tử đơn điệu, đơn trị và fi ∈ E ∗ . Năm 2006, Ng. Bường (xem [9]) đã kết hợp các phương trình hiệu chỉnh dạng (2) để hiệu chỉnh cho hệ phương trình (3) trong trường hợp vế phải fi = 0 trên cơ sở xây dựng phương trình phụ thuộc tham số N X αµi Ahi (x) + αJ(x) = 0 i=0 (4) µ0 = 0 < µi < µi+1 < 1, i = 1, 2, ..., N − 1,
4 ở đây Ahi là xấp xỉ của Ai , α là tham số hiệu chỉnh, J là ánh xạ đối ngẫu chuẩn tắc của E, h là sai số cho trước. Tham số hiệu chỉnh có thể được chọn tiên nghiệm hoặc hậu nghiệm. Năm 2006, Ng. Bường (xem [9]) đã sử dụng nguyên lý độ lệch suy rộng để chọn tham số hiệu chỉnh cho phương trình (4). Tham số hiệu chỉnh α phụ thuộc vào h được xác định từ phương trình: ρ(α) = hp α−q , p, q > 0, ở đây ρ(α) = α(a0 + kxhα k), với mỗi h > 0, a0 là hằng số dương cho trước, xhα là nghiệm của (4) phụ thuộc liên tục vào α ∈ (0, α0 ], α0 > 0. Mục đích của luận văn là trình bày phương pháp chọn tham số hiệu chỉnh theo nguyên lý tựa độ lệch suy rộng cho hiệu chỉnh hệ phương trình toán tử (3), nghiên cứu sự hội tụ và đánh giá tốc độ hội tụ của nghiệm hiệu chỉnh dựa trên cách chọn tham số hiệu chỉnh này trên cơ sở bài báo [10] của Nguyễn Bường và các đồng tác giả công bố năm 2015. Nội dung của luận văn, ngoài phần mở đầu, kết luận và tài liệu tham khảo gồm có 2 chương. Chương 1 giới thiệu hệ phương trình toán tử đặt không chỉnh và phương pháp hiệu chỉnh hệ phương trình toán tử đơn điệu trong không gian Banach. Chương 2 trình bày nguyên lý tựa độ lệch suy rộng chọn tham số hiệu chỉnh, đánh giá tốc độ hội tụ của nghiệm hiệu chỉnh và giới thiệu ví dụ minh họa cho sự hội tụ của phương pháp hiệu chỉnh với tham số hiệu chỉnh chọn tiên nghiệm.
5 Chương 1 Hiệu chỉnh hệ phương trình toán tử đơn điệu Chương này giới thiệu về hệ phương trình toán tử đơn điệu đặt không chỉnh trong không gian Banach và phương pháp hiệu chỉnh hệ phương trình toán tử đơn điệu. Nội dung của chương được trình bày trong 3 mục. Mục 1.1 giới thiệu về hệ phương trình toán tử đơn điệu. Mục 1.2 trình bày khái niệm và ví dụ về bài toán đặt không chỉnh. Mục 1.3 trình bày phương pháp hiệu chỉnh hệ phương trình toán tử đơn điệu đặt không chỉnh. Các kiến thức của chương này được tham khảo từ các tài liệu [1]–[4], [6], [7], [9]–[12] và [16]. 1.1 Hệ phương trình toán tử trong không gian Banach Để chuẩn bị cho việc trình bày phương pháp hiệu chỉnh hệ phương trình toán tử đơn điệu đặt không chỉnh trong không gian Banach ở mục sau, mục này giới thiệu định nghĩa, ví dụ và một số tính chất hình học của không gian Banach, không gian Hilbert; định nghĩa, ví dụ và một số tính chất của ánh xạ đối ngẫu chuẩn tắc, toán tử đơn điệu, toán tử đơn điệu mạnh, toán tử ngược đơn điệu mạnh trong không gian Banach. Phần cuối giới thiệu về hệ phương trình toán tử đơn điệu.
6 1.1.1 Khái niệm và ví dụ về không gian Banach, không gian Hilbert Cho E là một không gian tuyến tính định chuẩn. Định nghĩa 1.1.1 Dãy {xn } trong không gian tuyến tính định chuẩn E được gọi là hội tụ mạnh tới x0 ∈ E, viết là xn → x0 hay limn→∞ xn = x0 , nếu kxn − x0 k → 0 khi n → ∞. Định nghĩa 1.1.2 Dãy {xn } trong không gian tuyến tính định chuẩn E được gọi là dãy Cauchy (hay dãy cơ bản) nếu với mọi ε > 0, tồn tại n0 (ε) sao cho kxm − xn k < ε với mọi m > n0 (ε) và n > n0 (ε). Nhận xét 1.1.3 Mọi dãy hội tụ đều là dãy Cauchy nhưng điều ngược lại không đúng. Định nghĩa 1.1.4 (i) Không gian tuyến tính định chuẩn đầy đủ, tức là mọi dãy Cauchy đều hội tụ, là không gian Banach. (ii) Không gian tích vô hướng đầy đủ là không gian Hilbert. Ví dụ 1.1.5 Không gian Lp [a, b], 1 ≤ p < ∞ là không gian Banach với chuẩn 1/p Z b kf k = | f (t) |p dt , f ∈ Lp [a, b]. a Không gian L2 [a, b] là không gian Hilbert. Định nghĩa 1.1.6 Cho E, F là hai không gian tuyến tính định chuẩn, A1 , A2 là các toán tử tuyến tính bị chặn từ E vào F , ta định nghĩa (A1 + A2 )x = A1 x + A2 x với mọi x ∈ E; (αA1 )x = αA1 x với mọi x ∈ E, α ∈ R. Kí hiệu B(E, F ) là tập tất cả các toán tử tuyến tính bị chặn từ E vào F . Khi đó B(E, F ) là không gian tuyến tính định chuẩn với chuẩn được xác
7 định như sau: kAkB = inf{M : kAxk ≤ M kxk, x ∈ E} kAxk = sup : x 6= 0, x ∈ E kxk = sup{kAxk : x ∈ E, kxk ≤ 1} = sup{kAxk : x ∈ E, kxk = 1}. Định lý 1.1.7 (xem [3]) Nếu F là không gian Banach thì B(E, F ) là không gian Banach. Định nghĩa 1.1.8 Không gian các phiếm hàm tuyến tính bị chặn trên không gian tuyến tính định chuẩn E được gọi là không gian liên hợp của E, kí hiệu là E ∗ . Nhận xét 1.1.9 E ∗ = B(E, R) với chuẩn của phần tử f ∈ E ∗ được xác định bởi kf k = sup |f (x)| : x ∈ SE , ở đây SE ký hiệu là mặt cầu đơn vị của E, nghĩa là SE := {x ∈ E : kxk = 1}. Ví dụ 1.1.10 (i) Không gian liên hợp của Rn là Rn ; 1 1 (ii) Không gian liên hợp của lp là lq , 1 < p < ∞ và + = 1; p q 1 1 (iii) Không gian liên hợp của Lp [0, 1] là Lq [0, 1], 1 < p < ∞ và + = 1. p q Định lý 1.1.11 (xem [4]) Không gian liên hợp E ∗ của không gian tuyến tính định chuẩn E là không gian Banach. Định nghĩa 1.1.12 Không gian Banach E được gọi là phản xạ nếu với mọi phần tử x∗∗ ∈ E ∗∗ , không gian liên hợp thứ hai của E, đều tồn tại phần tử x ∈ E sao cho x∗ (x) = x∗∗ (x∗ ) với mọi x∗ ∈ E ∗ .
8 Ví dụ 1.1.13 Không gian Rn , không gian Hilbert H, không gian lp , Lp [a, b] với 1 < p < ∞ là các không gian phản xạ. Định nghĩa 1.1.14 Dãy {xn } trong không gian tuyến tính định chuẩn E được gọi là hội tụ yếu tới x0 ∈ E, viết là xn * x0 , nếu với mọi f ∈ E ∗ ta có f (xn ) → f (x0 ) khi n → ∞. Nhận xét 1.1.15 Một dãy hội tụ mạnh thì hội tụ yếu. Điều ngược lại không đúng. Ví dụ, dãy {en }∞ n=1 trong không gian Hilbert l2 với en = (0, . . . , 0, 1, 0, . . . ) hội tụ yếu đến 0, nhưng không hội tụ mạnh về 0, do ken k = 1. Nhận xét 1.1.16 Trong không gian hữu hạn chiều, khái niệm hội tụ mạnh và hội tụ yếu là tương đương. Định lý 1.1.17 (xem [3]) Giả sử E là không gian Banach. Khi đó, các mệnh đề sau là tương đương (i) E là không gian phản xạ; (ii) Mọi dãy bị chặn trong E đều có dãy con hội tụ yếu. Định nghĩa 1.1.18 Không gian Banach E được gọi là lồi chặt nếu với mọi x, y ∈ SE sao cho x 6= y ta có k(1 − λ)x + λyk < 1, λ ∈ (0, 1). Định nghĩa 1.1.18 còn có thể phát biểu dưới dạng tương đương như sau: Không gian Banach E được gọi là lồi chặt nếu với mọi x, y ∈ SE thỏa mãn x + y =1 2 suy ra x = y; hoặc với mọi x, y ∈ SE , x 6= y ta có x + y < 1. 2
9 Ví dụ 1.1.19 Không gian Rn , n ≥ 2 với chuẩn kxk2 được xác định bởi Xn 1/2 2 kxk2 = xi , x = (x1 , x1 , . . . , xn ) ∈ Rn i=1 là không gian Banach lồi chặt. Mệnh đề 1.1.20 (xem [4]) Cho C là một tập con lồi đóng khác rỗng của không gian Banach phản xạ và lồi chặt E. Khi đó, với mỗi x ∈ E tồn tại duy nhất một điểm y ∈ C thỏa mãn kx − yk = inf kx − zk. z∈C Chú ý 1.1.21 Điểm y ∈ C thỏa mãn Mệnh đề 1.1.20 còn được gọi là xấp xỉ tốt nhất của x ∈ E. Sau đây là một số tính chất hay sử dụng của không gian Banach. Định nghĩa 1.1.22 Không gian Banach E được gọi là có tính chất Kadec- Klee nếu với mọi dãy {xn } ⊂ E hội tụ yếu đến x ∈ E và kxn k → kxk thì dãy {xn } hội tụ mạnh đến x. Định nghĩa 1.1.23 Không gian Banach phản xạ E được gọi là có tính chất Ephimov–Stechkin (hay tính chất ES) nếu E lồi chặt và có tính chất Kadec–Klee. Ví dụ 1.1.24 Không gian Hilbert là không gian có tính chất ES. 1.1.2 Toán tử đơn điệu Cho E là không gian Banach phản xạ thực, E ∗ là không gian liên hợp của E, A : E → E ∗ là toán tử đơn trị với miền xác định là D(A) ≡ E, miền ảnh R(A) nằm trong E ∗ và ϕ : E → R ∪ {+∞} là một phiếm hàm lồi chính thường. Ta ký hiệu hx∗ , xi thay cho x∗ (x) với x ∈ E và x∗ ∈ E ∗ . Định nghĩa 1.1.25 Hàm ϕ : E → R ∪ {+∞} được gọi là
10 (i) nửa liên tục dưới trên E nếu lim inf ϕ(y) ≥ ϕ(x) ∀x ∈ E; y→x (ii) nửa liên tục dưới yếu trên E nếu với mọi dãy {xn }: xn * x thì lim inf ϕ(xn ) ≥ ϕ(x) ∀x ∈ E; n→∞ (iii) khả vi Gâteaux tại điểm x ∈ E nếu tồn tại x∗ ∈ E ∗ sao cho ϕ(x + λy) − ϕ(x) lim = hx∗ , yi ∀y ∈ E, λ→+0 λ và x∗ được gọi là đạo hàm Gâteaux của ϕ tại x, kí hiệu là ϕ0 (x). Định nghĩa 1.1.26 Toán tử đơn trị A : E → E ∗ được gọi là (i) đơn điệu nếu hA(x) − A(y), x − yi ≥ 0 ∀x, y ∈ E; A được gọi là đơn điệu chặt trên E nếu dấu "=" của bất đẳng thức trên chỉ xảy ra khi x = y; (ii) đơn điệu đều nếu tồn tại một hàm không âm δ(t), không giảm với t ≥ 0, δ(0) = 0 và thỏa mãn tính chất hA(x) − A(y), x − yi ≥ δ kx − yk ∀x, y ∈ E; nếu δ(t) = cA t2 , cA là hằng số dương thì A được gọi là đơn điệu mạnh; (iii) bức nếu hA(x), xi lim = +∞. kxk→+∞ kxk Định nghĩa 1.1.27 Một toán tử đơn trị đơn điệu A : E → E ∗ được gọi là đơn điệu cực đại nếu đồ thị G(A) := {(Ax, x) : x ∈ D(A)} của nó không bị chứa thực sự trong đồ thị của một toán tử đơn điệu nào khác. Ví dụ 1.1.28 Toán tử A : R → R xác định bởi A(x) = x3 là toán tử đơn điệu cực đại trên R.
11 Định nghĩa 1.1.29 Toán tử A : E → E ∗ được gọi là λ-ngược đơn điệu mạnh nếu tồn tại hằng số dương λ sao cho hA(x) − A(y), x − yi ≥ λkA(x) − A(y)k2 ∀x, y ∈ E. Định nghĩa 1.1.30 Toán tử A : E → E ∗ được gọi là (i) hemi-liên tục tại x0 ∈ E nếu A(x0 + tn x) * A(x0 ) khi tn → 0 với mọi x thỏa mãn x0 + tn x ∈ E và 0 ≤ tn ≤ t(x0 ); (ii) demi-liên tục trên E nếu từ xn → x suy ra A(xn ) * A(x); (iii) thế năng nếu A(x) là đạo hàm của phiếm hàm lồi ϕ(x). Nhận xét 1.1.31 Một toán tử đơn điệu và hemi-liên tục trên E thì demi- liên tục trên E. Định nghĩa 1.1.32 Toán tử A : E → E ∗ được gọi là L-liên tục Lipschitz nếu tồn tại hằng số L > 0 sao cho với mọi x1 , x2 ∈ E ta có kA(x1 ) − A(x2 )k ≤ Lkx1 − x2 k. Nhận xét 1.1.33 Mọi toán tử λ-ngược đơn điệu mạnh là toán tử đơn điệu và liên tục Lipschitz với hằng số Lipschitz L = 1/λ. ∗ Ký hiệu 2E là tập các tập con của E ∗ . ∗ Định nghĩa 1.1.34 Ánh xạ J s : E → 2E (nói chung là đa trị) được định nghĩa bởi J s (x) = x∗ ∈ E ∗ : hx∗ , xi = kx∗ ks−1 kxk = kxks , x ∈ E}, s ≥ 2 gọi là ánh xạ đối ngẫu tổng quát của E. Khi s = 2 thì J s được viết là J và được gọi là ánh xạ đối ngẫu chuẩn tắc của E. Trong không gian Hilbert H, ánh xạ đối ngẫu chuẩn tắc là ánh xạ đơn vị I. Mệnh đề sau chỉ ra ánh xạ đối ngẫu chuẩn tắc có tính đơn trị.
12 Mệnh đề 1.1.35 (xem [7]) Giả sử E là không gian Banach thực, J : E → E ∗ là ánh xạ đối ngẫu chuẩn tắc của E. Khi đó, (i) J(0) = {0}; (ii) J là một ánh xạ lẻ, tức là J(−x) = −J(x) với mọi x ∈ E; (iii) J là thuần nhất dương, tức là J(λx) = λJ(x) với mọi λ > 0, mọi x ∈ E; (vi) Với mỗi x ∈ E, J(x) là tập lồi đóng bị chặn và khác rỗng; (v) Nếu E ∗ là không gian lồi chặt thì J là ánh xạ đơn trị. Chứng minh. Ta sẽ chứng minh J là ánh xạ lẻ. Các chứng minh khác được làm tương tự. Thật vậy, giả sử x∗ ∈ J(−x). Theo định nghĩa ánh xạ đối ngẫu chuẩn tắc ta có hx∗ , −xi = kx∗ kk − xk = k − xk2 . Xét h−x∗ , xi = (−1)2 hx∗ , −xi = (−1)2 kx∗ kk − xk = (−1)2 k − xk2 , hay h−x∗ , xi = k − x∗ kkxk = kxk2 , chứng tỏ −x∗ ∈ J(x), hay x∗ ∈ −J(x). Ngược lại, giả sử x∗ ∈ −J(x), hay −x∗ ∈ J(x). Ta có: h−x∗ , xi = k − x∗ kkxk = kxk2 . Xét hx∗ , −xi = (−1)2 h−x∗ , xi = (−1)2 k − x∗ kkxk = (−1)2 kxk2 , hay hx∗ , −xi = kx∗ kk − xk = k − xk2 , chứng tỏ x∗ ∈ J(−x).
13 Một trong những ví dụ về toán tử đơn điệu, đơn điệu chặt và toán tử có tính chất bức là ánh xạ đối ngẫu chuẩn tắc J của không gian Banach E. Đó là nội dung của định lý sau. Định lý 1.1.36 (xem [7]) Nếu E ∗ là không gian Banach lồi chặt thì ánh xạ đối ngẫu chuẩn tắc J là toán tử đơn điệu, bức và demi-liên tục. Hơn nữa, nếu E cũng là không gian Banach lồi chặt thì J là toán tử đơn điệu chặt. Định nghĩa 1.1.37 Với toán tử r : E → E ∗ , ta sẽ viết r(x) = o(kxk) với x → 0 nếu r(x)/kxk → 0 khi x → 0. Toán tử A : E → E ∗ được gọi là khả vi Fréchet tại điểm x ∈ E, nếu tồn tại T ∈ B(E, E ∗ ) sao cho A(x + h) = A(x) + T h + o(khk), với mọi h thuộc một lân cận của điểm 0. Nếu tồn tại, thì T được gọi là đạo hàm Fréchet của A tại điểm x và ta viết A0 (x) = T . Đạo hàm Gâteaux của một hàm lồi có tính chất đơn điệu, đó là nội dung của mệnh đề sau. Mệnh đề 1.1.38 (xem [12]) Cho ϕ : E → R ∪ {+∞} là một hàm khả vi Gâteaux trên E. Khi đó, điều kiện cần và đủ để hàm ϕ lồi trên E là đạo hàm Gâteaux ϕ0 của nó là một toán tử đơn điệu từ E vào E ∗ . 1.1.3 Hệ phương trình toán tử đơn điệu Cho E là không gian Banach phản xạ thực, E ∗ là không gian liên hợp của E, cả hai có chuẩn đều được kí hiệu là k.k. Xét hệ phương trình toán tử Ai (x) = fi , i = 0, 1, . . . , N, (1.1) ở đây N là số nguyên dương cố định, Ai : E → E ∗ là các toán tử hemi-liên tục và có tính chất thế năng, fi ∈ E ∗ . Gọi Si là tập nghiệm của phương
14 N T trình thứ i của hệ (1.1). Ta luôn giả thiết S = Si khác rỗng. Khi đó, S i=0 là tập con lồi đóng trong E. Trong trường hợp Ai là đạo hàm Gâteaux của một phiếm hàm lồi chính thường nửa liên tục dưới ϕi : E → R ∪ {+∞} và fi = 0 thì tập Si trùng với tập nghiệm của bài toán cực trị inf ϕi (x) x∈E và là tập lồi đóng trong E, với mỗi i = 0, 1, . . . , N . Kết quả này được suy ra từ bổ đề Minty và các mệnh đề dưới đây. Bổ đề 1.1.39 (xem [16]) Cho E là một không gian Banach thực, E ∗ là không gian liên hợp của E, f ∈ E ∗ và A là một toán tử hemi-liên tục từ E vào E ∗ . Khi đó, nếu tồn tại x0 ∈ E thỏa mãn bất đẳng thức hA(x) − f, x − x0 i ≥ 0 ∀x ∈ E, thì A(x0 ) = f . Nếu A là toán tử đơn điệu trên E thì điều kiện trên tương đương với hA(x0 ) − f, x − x0 i ≥ 0 ∀x ∈ E. Bổ đề trên được gọi là bổ đề Minty, tên của nhà toán học Mỹ, người đã chứng minh kết quả trên trong trường hợp E là không gian Hilbert. Sau này cũng chính ông và Browder đã chứng minh một cách độc lập trong không gian Banach. Mệnh đề 1.1.40 (xem [12]) Giả sử ϕ : E → R ∪ {+∞} là một phiếm hàm lồi chính thường nửa liên tục dưới trên E và khả vi Gâteaux với đạo hàm Gâteaux ϕ0 được giả thiết là liên tục. Khi đó, các phát biểu sau là tương đương: (i) x0 là điểm cực tiểu của ϕ(x) trên E; (ii) hϕ0 (x0 ), x − x0 i ≥ 0 với mọi x ∈ E;
15 (iii) hϕ0 (x), x − x0 i ≥ 0 với mọi x ∈ E. Mệnh đề 1.1.41 (xem [12]) Cho ϕ : E → R ∪ {+∞} là một phiếm hàm lồi. Khi đó tập nghiệm của bài toán inf ϕ(x) x∈E là tập lồi đóng, có thể là tập rỗng. 1.2 Bài toán đặt không chỉnh 1.2.1 Khái niệm về bài toán đặt không chỉnh Xét phương trình toán tử A(x) = f, (1.2) trong đó A : E → F là một toán tử từ không gian Banach E vào không gian Banach F , f là phần tử thuộc F. Sau đây là một định nghĩa của Hadamard. Định nghĩa 1.2.1 Bài toán (1.2) được gọi là bài toán đặt chỉnh (well- posed) nếu (1) phương trình A(x) = f có nghiệm với mọi f ∈ F ; (2) nghiệm này là duy nhất; (3) và nghiệm phụ thuộc liên tục vào dữ kiện ban đầu. Nếu ít nhất một trong các điều kiện trên không thỏa mãn thì bài toán (1.2) được gọi là bài toán đặt không chỉnh (ill-posed). Bài toán tìm nghiệm x phụ thuộc vào dữ kiện f, nghĩa là x = R(f ), được gọi là ổn định trên cặp không gian (E, F ) nếu với mỗi ε > 0 tồn tại một số δ(ε) > 0 sao cho từ ρF (f1 , f2 ) ≤ δ(ε) cho ta ρE (x1 , x2 ) ≤ ε, ở đây xi = R(fi ), xi ∈ E, fi ∈ F, i = 1, 2.