Tổng quan luận án

Bản mô tả học thuật này phân tích luận án tiến sĩ toán học với đề tài "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), thực hiện bởi nghiên cứu sinh Nguyễn Dương Nguyễn dưới sự hướng dẫn khoa học của GS. Nguyễn Bường và PGS. Đỗ Văn Lưu. Luận án được hoàn thành tại Học viện Khoa học và Công nghệ thuộc Viện Hàn lâm Khoa học và Công nghệ Việt Nam vào năm 2018.

Tính cấp thiết và khoảng trống nghiên cứu

Nhiều vấn đề thực tiễn trong khoa học tự nhiên, kỹ thuật, kinh tế và sinh thái như bài toán xử lý ảnh, chụp cắt lớp vi tính, chụp cắt lớp địa chấn trong địa chất công trình, đo sâu bằng âm thanh trong xấp xỉ sóng hoặc bài toán quy hoạch tuyến tính đều quy về việc giải phương trình toán tử dạng: $$A(x) = f$$ trong đó $A$ là toán tử tác động từ không gian mêtric $E$ vào không gian mêtric $\tilde{E}$, với $f \in \tilde{E}$. Trong đa số trường hợp thực tế, phương trình này là bài toán đặt không chỉnh theo nghĩa Hadamard: nghiệm không tồn tại, không duy nhất, hoặc không phụ thuộc liên tục vào dữ liệu vế phải $f$. Do các số liệu thu thập qua quan trắc, đo đạc luôn chứa sai số ($f_\delta$ thỏa mãn $|f_\delta - f| \le \delta$), một biến động nhỏ của dữ liệu có thể dẫn tới sự sai lệch vô cùng lớn của nghiệm xấp xỉ.

Để giải quyết bài toán đặt không chỉnh, lý thuyết hiệu chỉnh đóng vai trò trung tâm. Tuy nhiên, các phương pháp cổ điển bộc lộ nhiều hạn chế khi áp dụng cho toán tử phi tuyến:

  1. Phương pháp làm trơn Tikhonov: Khi $A$ là toán tử phi tuyến, phiếm hàm hiệu chỉnh $F_\alpha^\delta(x) = |A(x) - f_\delta|^2 + \alpha|x - x^+|^2$ nói chung không lồi, khiến việc cực tiểu hóa và rời rạc hóa rất phức tạp.
  2. Phương pháp hiệu chỉnh Browder-Tikhonov và Newton-Kantorovich dạng Alber - Ryazantseva: Sử dụng ánh xạ đối ngẫu tổng quát $J^s$ để làm thành phần hiệu chỉnh. Trong không gian Banach không phải Hilbert, $J^s$ là ánh xạ phi tuyến, dẫn đến việc phương trình hiệu chỉnh là phi tuyến ngay cả khi $A$ là tuyến tính; đồng thời không thể bảo toàn thông tin về độ trơn của nghiệm ban đầu.
  3. Phương pháp hiệu chỉnh cho toán tử $J$-đơn điệu: Các kết quả đã công bố của Ryazantseva đò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$ (vốn chỉ thỏa mãn trên không gian rất hẹp là $l_p$), hoặc đòi hỏi các điều kiện chặt chẽ về đạo hàm Fréchet tại chính nghiệm chính xác chưa biết $x^*$.
  4. Phương pháp điểm gần kề (Proximal Point Algorithm - PPA): Nhằm tìm không điểm của ánh xạ đơn điệu cực đại $0 \in A(p^*)$ trong không gian Hilbert, phương pháp gốc của Rockafellar chỉ đạt được sự hội tụ yếu. Tất cả các cải biên đạt hội tụ mạnh sau đó (như của Moudafi, Xu, Boikanyo - Morosanu, Song, Cui) đều dựa trên điều kiện dãy tham số toán tử giải ${r_k}$ là không khả tổng, tức $\sum_{k=1}^\infty r_k = +\infty$. Câu hỏi đặt ra là liệu có tồn tại thuật toán đạt hội tụ mạnh khi chuỗi tham số khả tổng ($\sum_{k=1}^\infty r_k < +\infty$) hay không.

Mục tiêu và nhiệm vụ nghiên cứu

Luận án xác định 3 nhiệm vụ khoa học cụ thể, được đánh số theo văn bản:

  1. Đưa ra và chứng minh sự hội tụ mạnh của một cải biên mới của phương pháp hiệu chỉnh lặp Newton-Kantorovich của I. P. Ryazantseva để giải phương trình toán tử $A(x) = f$ với $A$ là ánh xạ đơn điệu từ không gian Banach $E$ vào không gian đối ngẫu $E^*$, khắc phục các hạn chế của việc sử dụng ánh xạ đối ngẫu $J^s$.
  2. Đưa ra và chứng minh sự hội tụ mạnh của phương pháp hiệu chỉnh lặp Newton-Kantorovich cho phương trình với toán tử $J$-đơn điệu trên không gian Banach $E$, loại bỏ hoàn toàn các điều kiện ràng buộc đạo hàm tại nghiệm chưa biết $x^*$ và 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$.
  3. Đưa ra hai cải biên mới của phương pháp điểm gần kề để tìm không điểm của ánh xạ đơn điệu cực đại trong không gian Hilbert, trong đó sự hội tụ mạnh của các phương pháp được chứng minh dưới giả thiết dãy tham số của toán tử giải là khả tổng ($\sum_{k=1}^\infty r_k < +\infty$).

Đối tượng và phạm vi nghiên cứu

  • Đối tượng nghiên cứu: Lớp phương trình toán tử phi tuyến đặt không chỉnh với toán tử loại đơn điệu (đơn điệu và $J$-đơn điệu) trong không gian Banach; bài toán tìm không điểm của toán tử đa trị đơn điệu cực đại trong không gian Hilbert; các sơ đồ hiệu chỉnh lặp Newton-Kantorovich và các thuật toán điểm gần kề.
  • Phạm vi nghiên cứu: Nghiên cứu lý thuyết thuộc giải tích hàm phi tuyến, lý thuyết toán tử và giải tích số. Phạm vi không gian xét trên các không gian Banach phản xạ, lồi chặt, lồi đều (như $L_p, l_p, W_p^m$) và không gian Hilbert vô hạn chiều. Thực nghiệm số được thực hiện thông qua mô phỏng rời rạc hóa hữu hạn chiều cho phương trình tích phân phi tuyến kiểu Hammerstein và bài toán tìm không điểm.

Tổng quan tài liệu và vị trí của luận án

Lịch sử nghiên cứu tiền nhiệm

Khái niệm bài toán đặt không chỉnh bắt nguồn từ các công trình đầu thế kỷ 20 của J. Hadamard (1902, 1923, 1932). Nền móng giải tích hiện đại cho lớp bài toán này được thiết lập bởi A. N. Tikhonov, V. K. Ivanov và M. M. Lavrentiev.

Về phương pháp hiệu chỉnh cho toán tử đơn điệu, F. Browder (1966) khởi xướng phương pháp giải bất đẳng thức biến phân bằng việc bổ sung toán tử hiệu chỉnh $M$. Ya. I. Alber (1975) đã dùng ánh xạ đối ngẫu $J^s$ để phát triển phương pháp Browder-Tikhonov cho toán tử đơn điệu: $$A(x) + \alpha J^s(x - x^+) = f_\delta$$ Nguyễn Bường (1991, 2005) đã cải tiến phương pháp này bằng cách thay $J^s$ bằng toán tử tuyến tính và đơn điệu mạnh $B$, chuyển bài toán hiệu chỉnh về dạng tuyến tính khi $A$ tuyến tính và giúp bảo toàn độ trơn của nghiệm.

Về phương pháp hiệu chỉnh lặp Newton-Kantorovich, trên nền tảng phương pháp tuyến tính hóa hàm của L. V. Kantorovich (1948), A. B. Bakushinskii (1976) đã tích hợp kỹ thuật hiệu chỉnh vào quá trình lặp để giải bài toán bất đẳng thức biến phân. I. P. Ryazantseva (1987, 2007) phát triển phương pháp hiệu chỉnh lặp Newton-Kantorovich dùng toán tử đối ngẫu $J^s$: $$A(z_n) + A'(z_n)(z_{n+1} - z_n) + \alpha_n J^s(z_{n+1}) = f_{\delta_n}$$ Đối với toán tử $J$-đơn điệu trong không gian Banach, Ryazantseva đã chứng minh sự hội tụ của phương pháp hiệu chỉnh Browder-Tikhonov nhưng đòi hỏi $J$ phải liên tục yếu theo dãy; đồng thời phương pháp lặp Newton-Kantorovich đòi hỏi chặn sai số đạo hàm Fréchet trực tiếp tại nghiệm đúng $x^*$. E. I. Smirnova (2002) chứng minh sự hội tụ trong không gian Hilbert dưới điều kiện $|A'(x)| \le 1$ và đạo hàm thỏa mãn điều kiện Lipschitz. Nguyễn Bường và Nguyễn Hồng Phương (2013) đã chứng minh hội tụ của phương pháp Browder-Tikhonov mà không cần $J$ liên tục yếu theo dãy.

Về phương pháp điểm gần kề, B. Martinet (1970) đề xuất phương pháp cho bài toán cực tiểu phiếm hàm lồi. R. T. Rockafellar (1976) tổng quát hóa cho bài toán tìm không điểm của ánh xạ đơn điệu cực đại: $$x_{k+1} = J_k x_k + e_k, \quad J_k = (I + r_k A)^{-1}$$ và chứng minh thuật toán hội tụ yếu khi $r_k \ge \varepsilon > 0$ và $\sum |e_k| < \infty$. O. Güler (1991) chỉ ra rằng thuật toán của Rockafellar không đạt được sự hội tụ mạnh trong không gian vô hạn chiều. Để khắc phục, hàng loạt biến thể được công bố:

  • N. Moudafi (1996) đề xuất phương pháp điểm gần kề - Tikhonov.
  • H. K. Xu (2002, 2004) mở rộng sơ đồ Moudafi và nghiên cứu phương pháp điểm gần kề co (Contraction PPA).
  • S. Kamimura và W. Takahashi (2000), M. A. Noor (2005), O. A. Boikanyo và G. Morosanu (2011, 2012), Y. Song (2013), F. Cui (2015) tiếp tục nới lỏng các điều kiện về tham số và dãy sai số $e_k$.

Vị trí và khoảng trống luận án giải quyết

Tiêu chí Các công trình tiền nhiệm Giải pháp trong luận án Nguyễn Dương Nguyễn
Thành phần hiệu chỉnh trong Newton-Kantorovich Ya. I. Alber, I. P. Ryazantseva: dùng ánh xạ đối ngẫu $J^s$ (phi tuyến trong Banach, mất độ trơn của nghiệm). Thay thế bằng toán tử tuyến tính, đơn điệu mạnh $B$. Giữ tính tuyến tính cho bài toán con và bảo toàn độ trơn của nghiệm.
Điều kiện cho toán tử $J$-đơn điệu Ryazantseva, Smirnova: đòi hỏi $J$ liên tục yếu theo dãy, hoặc đạo hàm Fréchet tại nghiệm chưa biết $x^*$. Loại bỏ hoàn toàn điều kiện đạo hàm tại $x^*$; không đòi hỏi tính liên tục yếu theo dãy của $J$.
Hội tụ mạnh của phương pháp điểm gần kề Rockafellar: chỉ hội tụ yếu. Xu, Noor, Boikanyo, Morosanu, Cui: hội tụ mạnh nhưng bắt buộc $\sum_{k=1}^\infty r_k = +\infty$. Xây dựng hai sơ đồ lặp mới chứng minh hội tụ mạnh khi dãy tham số khả tổng: $\sum_{k=1}^\infty r_k < +\infty$.

Cơ sở lý thuyết và phương pháp nghiên cứu

Khung lý thuyết và các khái niệm sử dụng

Luận án sử dụng các cấu trúc giải tích hàm phi tuyến hiện đại:

  1. Hình học không gian Banach: Không gian phản xạ, lồi chặt, lồi đều (như $L_p(\Omega), l_p, W_p^m(\Omega)$ với $1 < p < \infty$); không gian có chuẩn khả vi Gâteaux, khả vi Fréchet đều; không gian có tính chất ES; không gian có tính chất xấp xỉ hữu hạn chiều.
  2. Ánh xạ đối ngẫu: Ánh xạ đối ngẫu tổng quát $J^s(x) = {g \in E^* : \langle x, g \rangle = |x|^s, |g| = |x|^{s-1}}$ với $s \ge 2$; ánh xạ đối ngẫu chuẩn tắc $J \equiv J^2$. Dạng tường minh của $J$ trên $L_p(\Omega)$ là $J(x) = |x|{L_p}^{2-p}|x(t)|^{p-2}x(t)$, trên $l_p$ là $J(x) = |x|{l_p}^{2-p}(|x_i|^{p-2}x_i)$, và dạng tương ứng trên không gian Sobolev $W_p^m(\Omega)$.
  3. Phân loại toán tử:
    • Toán tử đơn điệu, đơn điệu cực đại, bức, $\alpha$-đơn điệu mạnh, đơn điệu đều.
    • Toán tử $J$-đơn điệu: $\langle A(x) - A(y), j(x - y) \rangle \ge 0$; toán tử $m$-$J$-đơn điệu ($R(A + \alpha I) = E$ với mọi $\alpha > 0$); toán tử $\alpha$-$J$-đơn điệu mạnh.
    • Toán tử liên tục Lipschitz, ánh xạ không giãn, ánh xạ co, ánh xạ trung bình, ánh xạ $\gamma$-giả co chặt.
    • Bổ đề Minty cho ánh xạ hemi-liên tục. Toán tử giải $J_k = (I + r_k A)^{-1}$ của ánh xạ đơn điệu cực đại.

Phương pháp tiếp cận và kỹ thuật chứng minh

  • Phương pháp giải tích phi tuyến và đánh giá tiên nghiệm: Thiết lập bất đẳng thức sai số giữa dãy lặp hiệu chỉnh Newton-Kantorovich ${z_n}$ và dãy nghiệm hiệu chỉnh Browder-Tikhonov ${x_n}$.
  • Kỹ thuật quy nạp toán học kết hợp xấp xỉ Taylor: Sử dụng khai triển Taylor bậc hai của toán tử $A$ trên không gian Banach với điều kiện giới nội đạo hàm cấp hai $|A''(x)| \le \phi(|x|)$ để khống chế sai số qua hệ thức truy hồi phi tuyến.
  • Phương pháp toán tử giải và phép chiếu mêtric: Khai thác tính chất không giãn của toán tử giải $J_k$ trên không gian Hilbert và tính chất của phép chiếu mêtric $P_{\text{Zer}A}$ lên tập không điểm.
  • Phương pháp xấp xỉ hữu hạn chiều (Galerkin): Chiếu phương trình toán tử từ không gian vô hạn chiều lên dãy không gian con hữu hạn chiều tăng dần để giải số và phân tích hội tụ.

Nội dung chính theo từng chương

Chương 1. Một số kiến thức chuẩn bị

Chương 1 đóng vai trò hệ thống hóa cơ sở lý thuyết phục vụ trực tiếp cho các đóng góp ở Chương 2 và Chương 3:

  • Mục 1.1: Định nghĩa và tính chất của các không gian $L_p(\Omega), l_p, l_\infty, l_1, W_p^m(\Omega)$. Trình bày chi tiết tính khả vi Gâteaux, khả vi Fréchet, tính hemi-liên tục, Bổ đề Minty, cấu trúc hình học của không gian lồi đều và lồi chặt. Phân tích bài toán đặt không chỉnh theo Hadamard, phương pháp hiệu chỉnh tham số Tikhonov và phương pháp hiệu chỉnh Browder-Tikhonov. Trình bày Định lý 1.17 của Nguyễn Bường và Nguyễn Hồng Phương về sự hội tụ mạnh của nghiệm hiệu chỉnh cho toán tử $m$-$J$-đơn điệu mà không cần $J$ liên tục yếu theo dãy.
  • Mục 1.2: Khái quát phương pháp Newton trong $\mathbb{R}$ và phương pháp Newton-Kantorovich trong không gian Banach. Nêu Định lý 1.19 của Kantorovich về điều kiện hội tụ và tốc độ hội tụ của nghiệm xấp xỉ; phân tích sự nới lỏng điều kiện của Mysovskikh (1949).
  • Mục 1.3: Trình bày phương pháp điểm gần kề kinh điển của Martinet (1970) và Rockafellar (1976 - Định lý 1.20). Điểm lại các cải biên hội tụ mạnh: sơ đồ Tikhonov của Moudafi (1996), sơ đồ H. K. Xu (2002 - Định lý 1.21), sơ đồ Boikanyo - Morosanu (2012 - Định lý 1.22), sơ đồ Y. Song (2013 - Định lý 1.23), sơ đồ điểm gần kề co của Kamimura - Takahashi (2000), G. Xu (2004 - Định lý 1.24), Y. Noor (2005 - Định lý 1.25), Boikanyo - Morosanu (2012 - Định lý 1.26), và F. Cui (2015 - Định lý 1.27). Nhấn mạnh phát hiện: tất cả các kết quả này đều phụ thuộc vào các điều kiện $(C0), (C0'), (C0'')$ dẫn đến $\sum_{k=1}^\infty r_k = +\infty$.

Chương 2. Phương pháp hiệu chỉnh lặp Newton-Kantorovich cho phương trình phi tuyến với toán tử loại đơn điệu

Chương này giải quyết trọn vẹn hai mục tiêu nghiên cứu đầu tiên của luận án:

  • Mục 2.1 (Toán tử đơn điệu trong không gian Banach): Xét phương trình $A(x) = f$, $A: E \to E^$, với dữ liệu nhiễu $|f_{\delta_n} - f| \le \delta_n \to 0$. Luận án đề xuất sơ đồ lặp: $$z_0 \in E, \quad A(z_n) + A'(z_n)(z_{n+1} - z_n) + \alpha_n B(z_{n+1} - x^+) = f_{\delta_n}$$ trong đó $B: E \to E^$ là toán tử tuyến tính, $m_B$-đơn điệu mạnh.
    • Bổ đề 2.1: Chứng minh phương trình lặp luôn có nghiệm duy nhất $z_{n+1}$ với mỗi bước $n$ dựa trên tính đơn điệu cực đại và bức của $A'(z_n)(\cdot) + \alpha_n B$.
    • Bổ đề 2.2 / Định lý 2.3: Chứng minh nghiệm hiệu chỉnh Browder-Tikhonov tương ứng $x_n$ (nghiệm của $A(x) + \alpha_n B(x - x^+) = f$) hội tụ mạnh về $x^$ là nghiệm duy nhất của bất đẳng thức biến phân $\langle B(x^+ - x^), x^* - y \rangle \ge 0, \forall y \in S$, và thiết lập đánh giá khoảng cách giữa hai bước nghiệm liên tiếp: $$|x_n - x_{n+1}| \le \frac{|\alpha_n - \alpha_{n+1}|}{\alpha_n \alpha_{n+1}} \frac{L}{m_B} d$$
    • Định lý 2.4: Chứng minh sự hội tụ mạnh $z_n \to x^*$ trong trường hợp không có nhiễu dữ liệu ($\delta_n = 0$), với điều kiện dãy tham số $\alpha_{n+1} \ge \sigma \alpha_n$ và chặn sai số ban đầu.
    • Định lý 2.5: Chứng minh sự hội tụ mạnh $z_n \to x^*$ trong trường hợp có sai số dữ liệu $\delta_n > 0$, dưới các điều kiện phối hợp tham số: $$\frac{|\alpha_n - \alpha_{n+1}|}{\alpha_n^2 \alpha_{n+1}} \le p, \quad \frac{\delta_n}{\alpha_n^2} \le q$$
  • Mục 2.2 (Toán tử $J$-đơn điệu trong không gian Banach): Nghiên cứu sơ đồ lặp hiệu chỉnh cho phương trình toán tử $J$-đơn điệu $A(x) = f$. Luận án loại bỏ hoàn toàn các giả thiết khắt khe trong công trình của Ryazantseva và Smirnova (không cần điều kiện liên quan đến đạo hàm tại nghiệm chưa biết $x^*$, không đòi hỏi $J$ liên tục yếu theo dãy).
  • Mục 2.3 (Ví dụ số minh họa): Áp dụng sơ đồ hiệu chỉnh lặp Newton-Kantorovich để giải phương trình tích phân phi tuyến kiểu Hammerstein: $$x(t) + \int_0^1 K(t, s) g(s, x(s)) ds = f(t)$$ Rời rạc hóa bài toán bằng phương pháp xấp xỉ hữu hạn chiều trên lưới điểm, tính toán sai số nghiệm và chứng minh sự ổn định của thuật toán khi mức nhiễu $\delta_n \to 0$.

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

Chương này hiện thực hóa đóng góp thứ ba của luận án:

  • Mục 3.1: Đặt bài toán tìm $p^* \in H$ sao cho $0 \in A(p^*)$ với $A: H \to 2^H$ là ánh xạ đa trị đơn điệu cực đại, liên hệ bài toán với bất đẳng thức biến phân và tìm điểm cực tiểu của phiếm hàm lồi qua dưới vi phân $\partial f$.
  • Mục 3.2: Xây dựng hai sơ đồ cải biên mới của phương pháp điểm gần kề. Điểm khác biệt căn bản so với toàn bộ y văn trước đó là luận án thiết lập và chứng minh sự hội tụ mạnh của dãy lặp tới phần tử hình chiếu mêtric $P_{\text{Zer}A} u$ dưới giả thiết chuỗi tham số của toán tử giải là khả tổng: $$\sum_{k=1}^\infty r_k < +\infty$$ Các đánh giá hội tụ được xử lý bằng cách kết hợp kỹ thuật co và kiểm soát tổng tích lũy sai số của toán tử giải.
  • Mục 3.3: Cung cấp ví dụ tính toán số trong không gian Hilbert cụ thể để kiểm nghiệm thuật toán, so sánh số bước lặp và sai số thực nghiệm, khẳng định tính khả thi của sơ đồ khi chuỗi tham số khả tổng.

Kết quả và những đóng góp mới

Luận án đã đạt được các kết quả khoa học nguyên bản, được công bố trên các tạp chí chuyên ngành toán học:

Đóng góp về mặt lý luận

  1. Hoàn thiện phương pháp hiệu chỉnh lặp Newton-Kantorovich cho toán tử đơn điệu trong không gian Banach:
    • Thay thế thành công toán tử đối ngẫu phi tuyến $J^s$ bằng toán tử tuyến tính đơn điệu mạnh $B$.
    • Giúp bài toán giải ở mỗi bước lặp trở thành tuyến tính (nếu $A$ tuyến tính), giảm đáng kể độ phức tạp tính toán.
    • Giữ nguyên được các thuộc tính hình học và độ trơn của nghiệm chính xác nhờ việc lựa chọn cấu trúc toán tử $B$ thích hợp.
  2. Khắc phục hạn chế lý thuyết đối với toán tử $J$-đơn điệu:
    • Mở rộng phạm vi áp dụng của phương pháp hiệu chỉnh lặp Newton-Kantorovich cho lớp toán tử $J$-đơn điệu trên không gian Banach tổng quát.
    • Loại bỏ hoàn toàn đòi hỏi về tính liên tục yếu theo dãy của ánh xạ đối ngẫu chuẩn tắc $J$ (vượt qua ranh giới không gian $l_p$).
    • Loại bỏ các điều kiện ràng buộc ngặt nghèo về đạo hàm Fréchet tại nghiệm chưa biết $x^*$.
  3. Giải quyết câu hỏi mở về phương pháp điểm gần kề trong không gian Hilbert:
    • Xây dựng thành công hai thuật toán cải biên của phương pháp điểm gần kề đạt hội tụ mạnh trong không gian Hilbert vô hạn chiều.
    • Thiết lập điều kiện hội tụ mạnh với giả thiết dãy tham số của toán tử giải là khả tổng ($\sum_{k=1}^\infty r_k < +\infty$), mở ra một hướng tiếp cận hoàn toàn mới trái ngược với điều kiện không khả tổng kinh điển ($\sum r_k = +\infty$).

Đóng góp về mặt thực tiễn và tính toán ứng dụng

  • Luận án đã cụ thể hóa các kết quả lý thuyết trừu tượng thành các thuật toán xấp xỉ hữu hạn chiều giải được trên máy tính.
  • Áp dụng thành công thuật toán để giải số phương trình tích phân phi tuyến loại Hammerstein và bài toán tìm không điểm, chứng minh tính ổn định cao của nghiệm số trước các nhiễu dữ liệu thực nghiệm.

Hạn chế và hướng nghiên cứu tiếp

Hạn chế được ghi nhận từ phạm vi nghiên cứu

  • Đòi hỏi độ trơn cao của toán tử: Để thiết lập sự hội tụ của phương pháp lặp Newton-Kantorovich, toán tử $A$ bắt buộc phải khả vi Fréchet cấp hai và đạo hàm cấp hai phải bị chặn bởi hàm không giảm $\phi(|x|)$, cùng tính chất liên tục Lipschitz của đạo hàm cấp một. Trong nhiều bài toán biên phi tuyến thực tế, điều kiện khả vi Fréchet cấp hai là rất khó kiểm tra hoặc không thỏa mãn.
  • Ràng buộc về vùng hội tụ cục bộ: Giống như bản chất của các phương pháp kiểu Newton, sơ đồ đòi hỏi điểm xuất phát $z_0$ phải nằm trong lân cận đủ gần của nghiệm hiệu chỉnh ban đầu $x_0$ (thông qua điều kiện $\Delta_0 / \gamma \le q < 1$).
  • Phạm vi không gian của thuật toán điểm gần kề: Hai cải biên mới của phương pháp điểm gần kề với dãy tham số khả tổng mới được thiết lập và chứng minh trong không gian Hilbert, chưa được mở rộng sang lớp không gian Banach tổng quát cho toán tử $J$-đơn điệu cực đại.

Hướng nghiên cứu tiếp theo

Văn bản luận án đề xuất các hướng phát triển:

  1. Nghiên cứu nới lỏng điều kiện khả vi cấp hai của toán tử $A$, thay thế bằng các điều kiện kiểu Hölder hoặc điều kiện tựa Lipschitz cho đạo hàm cấp một.
  2. Mở rộng sơ đồ hiệu chỉnh lặp Newton-Kantorovich cho hệ phương trình toán tử phi tuyến và phương trình toán tử với dữ liệu toán tử bị nhiễu ($A_h$ xấp xỉ $A$).
  3. Phát triển các cải biên của phương pháp điểm gần kề với chuỗi tham số khả tổng cho ánh xạ đa trị $J$-đơn điệu cực đại trong không gian Banach.

Giá trị tham khảo

Luận án là tài liệu chuyên khảo có giá trị học thuật chuyên sâu, hữu ích cho các đối tượng và mục đích cụ thể:

  • Đối với nghiên cứu sinh và giảng viên chuyên ngành Toán ứng dụng, Giải tích số và Tối ưu hóa: Luận án cung cấp hệ thống chứng minh giải tích mẫu mực về phương pháp hiệu chỉnh và lý thuyết toán tử đơn điệu. Đặc biệt, Mục 1.1 là tài liệu tổng hợp đầy đủ, cô đọng về cấu trúc hình học không gian Banach và biểu diễn tường minh của ánh xạ đối ngẫu $J$ trên các không gian hàm ($L_p, l_p, W_p^m$).
  • Đối với các nhà nghiên cứu trong lĩnh vực bài toán ngược (Inverse Problems): Kỹ thuật thay thế ánh xạ đối ngẫu $J^s$ bằng toán tử tuyến tính đơn điệu mạnh $B$ trong Chương 2 là công cụ hữu hiệu để xử lý các bài toán khôi phục tín hiệu, xử lý ảnh y tế hoặc xử lý dữ liệu địa chấn, nơi nghiệm cần bảo toàn các tính chất trơn cục bộ.
  • Phần đáng tham khảo nhất:
    • Kỹ thuật ước lượng sai số thông qua quy nạp phi tuyến trong chứng minh Định lý 2.4 và Định lý 2.5 (trang 40-43).
    • Sơ đồ thiết lập sự hội tụ mạnh của thuật toán điểm gần kề dưới điều kiện dãy tham số khả tổng trong Chương 3.

Câu hỏi thường gặp

1. Tại sao việc thay thế ánh xạ đối ngẫu $J^s$ bằng toán tử tuyến tính $B$ trong phương pháp Newton-Kantorovich lại là cải tiến quan trọng?

Trong không gian Banach không phải Hilbert, ánh xạ đối ngẫu $J^s$ là ánh xạ phi tuyến. Việc sử dụng $J^s$ làm thành phần hiệu chỉnh khiến phương trình lặp ở mỗi bước vẫn là phi tuyến (ngay cả khi toán tử xuất phát $A$ tuyến tính), gây khó khăn lớn cho việc tính toán nghiệm thực tế. Hơn nữa, do miền xác định của $J^s$ trên toàn không gian, nghiệm hiệu chỉnh không kiểm soát được độ trơn. Việc thay $J^s$ bằng toán tử tuyến tính, $m_B$-đơn điệu mạnh $B$ đảm bảo phương trình ở mỗi bước lặp là tuyến tính và cho phép bảo toàn thông tin về độ trơn của nghiệm thực tế.

2. Hạn chế của giả thiết ánh xạ đối ngẫu chuẩn tắc $J$ liên tục yếu theo dãy trong các nghiên cứu trước đây là gì?

Giả thiết $J$ liên tục yếu theo dãy từng được Ya. I. Alber và I. P. Ryazantseva áp dụng để chứng minh sự hội tụ của phương pháp hiệu chỉnh Browder-Tikhonov cho toán tử $J$-đơn điệu. Tuy nhiên, trong lý thuyết không gian Banach vô hạn chiều, lớp không gian thỏa mãn điều kiện này là cực kỳ hẹp; trên thực tế chỉ có không gian dãy số $l_p$ thỏa mãn, loại trừ hầu hết các không gian hàm quan trọng như không gian Lebesgue $L_p(\Omega)$ và không gian Sobolev $W_p^m(\Omega)$. Do đó, việc luận án loại bỏ giả thiết này có ý nghĩa mở rộng phạm vi ứng dụng cho các bài toán phương trình vi phân và tích phân.

3. Nguyên nhân phương pháp điểm gần kề gốc của Rockafellar (1976) không đạt hội tụ mạnh trong không gian vô hạn chiều là gì?

Phương pháp của Rockafellar xác định bởi $x_{k+1} = J_k x_k + e_k$ với $J_k = (I + r_k A)^{-1}$. Trong không gian vô hạn chiều, toán tử giải $J_k$ chỉ có tính chất không giãn chứ không phải là ánh xạ co chặt. Năm 1991, O. Güler đã đưa ra phản ví dụ chứng minh rằng dãy nghiệm sinh bởi phương pháp này chỉ có thể hội tụ yếu về một không điểm của $A$ chứ không đạt được sự hội tụ mạnh theo chuẩn nếu không bổ sung các cơ chế hiệu chỉnh hoặc co điểm.

4. Điểm đột phá về điều kiện dãy tham số ${r_k}$ trong Chương 3 của luận án là gì?

Tất cả các cải biên của phương pháp điểm gần kề đạt hội tụ mạnh trước đó (như các công trình của Moudafi, Xu, Boikanyo, Morosanu, Song, Cui) đều áp đặt các điều kiện như $r_k \ge \varepsilon > 0$, $\liminf r_k > 0$, dẫn đến hệ quả bắt buộc là chuỗi tham số của toán tử giải phải phân kỳ ($\sum_{k=1}^\infty r_k = +\infty$). Luận án của Nguyễn Dương Nguyễn là công trình đầu tiên thiết lập hai sơ đồ lặp mới chứng minh được sự hội tụ mạnh khi chuỗi tham số của toán tử giải hội tụ ($\sum_{k=1}^\infty r_k < +\infty$).

5. Bài toán cụ thể nào được chọn để thử nghiệm số trong luận án?

Luận án sử dụng phương trình tích phân phi tuyến loại Hammerstein trong không gian hàm để làm ví dụ số cho phương pháp hiệu chỉnh lặp Newton-Kantorovich (Mục 2.3). Bài toán này được chiếu lên các không gian con hữu hạn chiều thông qua lưới chia tích phân, sau đó áp dụng thuật toán lặp để tìm nghiệm xấp xỉ dưới các mức nhiễu dữ liệu $\delta_n$ khác nhau nhằm kiểm chứng tốc độ hội tụ và tính ổn định lý thuyết.

Kết luận

Luận án tiến sĩ của tác giả Nguyễn Dương Nguyễn là một công trình nghiên cứu hệ thống, giải quyết trọn vẹn hai bài toán lớn trong giải tích số phi tuyến: phương pháp hiệu chỉnh lặp Newton-Kantorovich cho phương trình toán tử không chỉnh loại đơn điệu trong không gian Banach và phương pháp điểm gần kề cho ánh xạ đơn điệu cực đại trong không gian Hilbert. Bằng việc thay thế thành phần hiệu chỉnh phi tuyến bằng toán tử tuyến tính đơn điệu mạnh, loại bỏ các ràng buộc ngặt nghèo về đạo hàm tại nghiệm chưa biết, và thiết lập thành công sự hội tụ mạnh của phương pháp điểm gần kề với chuỗi tham số khả tổng, luận án đã đóng góp các kết quả lý thuyết nguyên bản có giá trị khoa học cao. Các định lý hội tụ và thuật toán đề xuất tạo cơ sở toán học tin cậy cho việc tính toán nghiệm xấp xỉ của các bài toán ngược phi tuyến trong khoa học và kỹ thuật.