I. Tổng quan luận văn thạc sĩ phương trình Maxwell đa kích thước
Luận văn thạc sĩ với chủ đề phương trình dạng Maxwell đa kích thước là một công trình nghiên cứu chuyên sâu trong lĩnh vực toán giải tích, tập trung vào việc áp dụng lý thuyết thuần nhất hóa để phân tích các tính chất của vật liệu điện từ. Vật liệu tổng hợp, với vai trò ngày càng quan trọng trong khoa học kỹ thuật, đặt ra thách thức lớn cho các nhà toán học và vật lý. Các tính chất vật lý của chúng, như độ dẫn điện hay từ tính, thường dao động rất nhanh và không liên tục, tạo ra những cấu trúc vi mô phức tạp. Việc mô tả hành vi của các vật liệu này dẫn đến việc phải giải các phương trình đạo hàm riêng có hệ số dao động nhanh, một nhiệm vụ cực kỳ khó khăn bằng các phương pháp tính toán trực tiếp. Để giải quyết vấn đề này, lý thuyết thuần nhất hóa nổi lên như một công cụ mạnh mẽ. Lý thuyết này cho phép nghiên cứu các tính chất vĩ mô của vật liệu thông qua việc phân tích cấu trúc vi mô của chúng, bằng cách xét giới hạn của một dãy các bài toán khi một tham số tỉ lệ (ε) tiến về không. Luận văn này tập trung nghiên cứu bài toán giá trị biên cho phương trình dạng Maxwell: curl(aε(x)curl uε(x)) + bε(x)uε(x) = f(x). Đây là một mô hình toán học cơ bản trong lý thuyết trường điện từ. Mục tiêu chính của luận văn là sử dụng phương pháp hội tụ đa kích thước, một kỹ thuật hiện đại trong lý thuyết thuần nhất hóa, để tìm ra phương trình giới hạn (phương trình thuần nhất) và phân tích các tính chất của nghiệm. Công trình này không chỉ làm rõ các kết quả lý thuyết từ các bài báo khoa học uy tín mà còn trình bày chi tiết các chứng minh, giúp người đọc dễ dàng tiếp cận một chủ đề phức tạp. Hơn nữa, việc ứng dụng mô phỏng số qua phần mềm Matlab để minh họa các kết quả lý thuyết cũng là một điểm nhấn quan trọng, kết nối giữa giải tích hàm và ứng dụng thực tiễn.
1.1. Bối cảnh nghiên cứu và vai trò của lý thuyết trường điện từ
Vật liệu tổng hợp được ứng dụng rộng rãi trong nhiều ngành công nghiệp. Tuy nhiên, cấu trúc vi mô không đồng nhất của chúng khiến việc mô hình hóa trở nên phức tạp. Các tính chất vật lý dao động ở quy mô rất nhỏ, đòi hỏi một phương pháp phân tích đặc biệt. Trong bối cảnh đó, việc nghiên cứu các vật liệu điện từ, một dạng vật liệu tổng hợp quan trọng, trở nên cấp thiết. Hành vi của các vật liệu này được mô tả bởi hệ phương trình Maxwell, nền tảng của lý thuyết trường điện từ cổ điển. Việc giải trực tiếp hệ phương trình này cho vật liệu có cấu trúc phức tạp là bất khả thi về mặt tính toán. Do đó, luận văn này chọn cách tiếp cận thông qua lý thuyết thuần nhất hóa để tìm ra một mô hình vĩ mô hiệu quả, phản ánh đúng các đặc tính trung bình của vật liệu.
1.2. Mục tiêu cốt lõi của luận văn thạc sĩ toán giải tích
Luận văn đặt ra các mục tiêu nghiên cứu cụ thể. Thứ nhất, tìm hiểu sâu về khái niệm hội tụ đa kích thước, một công cụ toán học trong giải tích hàm. Thứ hai, áp dụng phương pháp này để thực hiện quá trình thuần nhất hóa cho phương trình dạng Maxwell đa kích thước. Thứ ba, làm rõ và chi tiết hóa các chứng minh toán học phức tạp được trình bày trong các tài liệu tham khảo, đặc biệt là bài báo [3]. Cuối cùng, sử dụng phần mềm Matlab để thực hiện mô phỏng số, cung cấp các ví dụ minh họa trực quan cho kết quả lý thuyết đã đạt được. Những mục tiêu này phù hợp với chuyên ngành toán giải tích và thể hiện sự kết hợp giữa lý thuyết và ứng dụng.
1.3. Cấu trúc và phương pháp nghiên cứu chính được áp dụng
Nội dung luận văn được tổ chức thành ba chương rõ ràng. Chương 1 trình bày các kiến thức nền tảng về không gian hàm, đặc biệt là không gian Sobolev, và các định lý quan trọng của giải tích hàm. Chương 2 là nội dung cốt lõi, trình bày chi tiết bài toán thuần nhất hóa cho phương trình dạng Maxwell, bao gồm việc xây dựng phương trình giới hạn và phân tích các tính chất liên quan đến nghiệm yếu (weak solution). Chương 3 tập trung vào khía cạnh giải tích số, giới thiệu phương pháp phần tử hữu hạn (FEM) để giải phương trình và đưa ra các ví dụ minh họa. Phương pháp nghiên cứu chủ đạo là tổng hợp, phân tích tài liệu khoa học và thể hiện lại các kết quả một cách tường minh.
II. Thách thức cốt lõi khi giải phương trình đạo hàm riêng phức tạp
Việc giải các phương trình đạo hàm riêng mô tả các vật liệu tổng hợp luôn là một thách thức lớn trong toán học ứng dụng. Vấn đề chính xuất phát từ các hệ số trong phương trình, chúng không phải là hằng số mà dao động một cách nhanh chóng và tuần hoàn ở cấp độ vi mô. Sự dao động này phản ánh cấu trúc không đồng nhất của vật liệu, nơi các thành phần khác nhau được trộn lẫn. Khi giải trực tiếp các phương trình này bằng các phương pháp giải tích số như phương pháp phần tử hữu hạn (FEM) hoặc phương pháp sai phân hữu hạn (FDM), người ta buộc phải sử dụng một lưới tính toán cực kỳ mịn. Lưới này phải đủ nhỏ để nắm bắt được mọi chi tiết của cấu trúc vi mô, dẫn đến chi phí tính toán khổng lồ và thời gian xử lý không thực tế. Đối với hệ phương trình Maxwell, vấn đề càng trở nên phức tạp hơn do bản chất vector của bài toán và các toán tử đạo hàm phức tạp như toán tử curl. Thêm vào đó, việc chứng minh các tính chất quan trọng của nghiệm, chẳng hạn như sự tồn tại và duy nhất nghiệm hay tính ổn định của nghiệm, trở nên khó khăn hơn nhiều khi các hệ số không còn trơn. Đây là những rào cản chính mà lý thuyết thuần nhất hóa được phát triển để vượt qua. Thay vì giải bài toán phức tạp ban đầu, lý thuyết này tìm cách xây dựng một mô hình toán học vĩ mô tương đương, với các hệ số thuần nhất (hiệu dụng) không còn dao động. Mô hình mới này dễ giải hơn rất nhiều nhưng vẫn nắm bắt được hành vi tổng thể của hệ thống.
2.1. Phân tích sự phức tạp của mô hình toán học trong vật liệu dị thể
Vật liệu dị thể (composite) có cấu trúc vi mô gồm nhiều pha vật liệu khác nhau. Điều này làm cho các hệ số vật lý trong mô hình toán học (ví dụ: độ từ thẩm, độ điện thẩm trong phương trình Maxwell) trở thành các hàm dao động nhanh theo không gian. Việc mô tả chính xác sự phụ thuộc này đòi hỏi phải giải quyết phương trình đạo hàm riêng trên nhiều thang đo (đa kích thước), từ vi mô đến vĩ mô. Sự tương tác phức tạp giữa các thang đo này là nguồn gốc của những khó khăn cả về mặt lý thuyết lẫn tính toán.
2.2. Hạn chế của các phương pháp giải tích số truyền thống
Các phương pháp giải tích số kinh điển như phương pháp phần tử hữu hạn (FEM) và phương pháp sai phân hữu hạn (FDM) gặp giới hạn nghiêm trọng khi xử lý các bài toán có hệ số dao động nhanh. Để đảm bảo độ chính xác, kích thước của các phần tử lưới phải nhỏ hơn nhiều so với chu kỳ dao động của hệ số. Yêu cầu này dẫn đến số lượng bậc tự do khổng lồ, vượt quá khả năng của các hệ thống máy tính hiện đại. Do đó, việc áp dụng trực tiếp các phương pháp này là không hiệu quả và tốn kém.
2.3. Vai trò của lý thuyết thuần nhất hóa trong bài toán giá trị biên
Lý thuyết thuần nhất hóa cung cấp một giải pháp thay thế hiệu quả. Thay vì giải bài toán vi mô phức tạp, nó cho phép xác định một bài toán giá trị biên vĩ mô tương đương. Bài toán này có các hệ số hằng số hoặc biến đổi chậm, gọi là hệ số hiệu dụng. Các hệ số này được tính toán bằng cách giải các bài toán cục bộ trên một ô đơn vị (cell problem) đại diện cho cấu trúc vi mô. Nghiệm của bài toán vĩ mô này là một xấp xỉ tốt cho nghiệm của bài toán gốc ở quy mô lớn, giúp giảm đáng kể chi phí tính toán.
III. Phương pháp hội tụ đa kích thước cho hệ phương trình Maxwell
Để thực hiện quá trình thuần nhất hóa cho phương trình dạng Maxwell đa kích thước, luận văn sử dụng một công cụ toán học mạnh mẽ là sự hội tụ đa kích thước. Đây là một khái niệm tổng quát hóa của sự hội tụ yếu trong giải tích hàm, được phát triển đặc biệt để xử lý các bài toán có sự phụ thuộc vào nhiều thang đo không gian. Ý tưởng cốt lõi là một dãy hàm uε(x) không chỉ hội tụ đến một giới hạn vĩ mô u0(x), mà còn chứa thông tin về hành vi dao động của nó ở các cấp độ vi mô. Thông tin này được mã hóa trong các hàm giới hạn phụ thuộc vào các biến vi mô y1, y2, ..., yn, với yi = x/εi. Luận văn trình bày lại định nghĩa và các mệnh đề quan trọng của sự hội tụ đa kích thước, đặc biệt là kết quả cho các dãy bị chặn trong không gian H(curl, Ω). Dựa trên định lý Lax-Milgram và các ước lượng năng lượng tiên nghiệm, dãy nghiệm uε của phương trình Maxwell được chứng minh là bị chặn trong không gian hàm thích hợp. Điều này đảm bảo sự tồn tại của một dãy con hội tụ đa kích thước. Bằng cách chọn các hàm thử phù hợp và cho tham số ε tiến về 0 trong dạng biến phân của phương trình ban đầu, luận văn đã xây dựng thành công phương trình thuần nhất hóa. Đây là một hệ phương trình mới cho các hàm giới hạn u0, u1, ..., un. Quá trình này đòi hỏi kiến thức sâu sắc về lý thuyết toán tử và các phép tính trong không gian Sobolev. Việc chứng minh sự tồn tại và duy nhất nghiệm cho hệ phương trình thuần nhất hóa cũng được thực hiện bằng cách sử dụng lại định lý Lax-Milgram trên một không gian tích được xây dựng phù hợp.
3.1. Giới thiệu khái niệm hội tụ đa kích thước trong giải tích hàm
Sự hội tụ đa kích thước là một khái niệm trung tâm trong luận văn, được giới thiệu lần đầu bởi Nguetseng và Allaire. Một dãy hàm {uε} được gọi là hội tụ (n+1)-s tới hàm giới hạn u0(x, y1, ..., yn) nếu tích phân của uε(x) với một hàm thử dao động φ(x, x/ε1, ...) hội tụ về tích phân của u0 với φ. Mệnh đề 2.2 trong luận văn khẳng định rằng từ một dãy bị chặn trong không gian H(curl, Ω), ta có thể trích ra một dãy con hội tụ đa kích thước. Kết quả này là nền tảng cho toàn bộ quá trình thuần nhất hóa.
3.2. Xây dựng phương trình thuần nhất hóa từ nghiệm yếu weak solution
Quá trình thuần nhất hóa bắt đầu từ dạng biến phân (hay dạng nghiệm yếu (weak solution)) của phương trình Maxwell ban đầu. Bằng cách thay thế nghiệm uε và hàm thử v bằng các biểu thức khai triển theo sự hội tụ đa kích thước, và sau đó lấy giới hạn khi ε → 0, một hệ phương trình mới cho các hàm giới hạn được thiết lập. Hệ phương trình này, được gọi là phương trình thuần nhất hóa, không còn chứa tham số ε và mô tả hành vi trung bình của hệ thống. Đây là bước quan trọng nhất, chuyển đổi một bài toán phức tạp thành một hệ thống có thể giải được.
3.3. Chứng minh sự tồn tại và duy nhất nghiệm bằng định lý Lax Milgram
Sau khi xây dựng được hệ phương trình thuần nhất hóa, bước tiếp theo là chứng minh nó có nghiệm và nghiệm đó là duy nhất. Luận văn đã chứng minh rằng dạng song tuyến tính B(u, v) liên kết với hệ phương trình thuần nhất thỏa mãn hai điều kiện quan trọng: tính liên tục (bị chặn) và tính bức (coercivity) trên một không gian Hilbert V được định nghĩa thích hợp. Theo định lý Lax-Milgram, hai điều kiện này đảm bảo sự tồn tại và duy nhất nghiệm của bài toán. Điều này khẳng định tính đúng đắn của mô hình thuần nhất hóa đã xây dựng.
IV. Bí quyết hiệu chỉnh và ước lượng sai số nghiệm a priori
Một trong những đóng góp quan trọng của lý thuyết thuần nhất hóa không chỉ là tìm ra phương trình giới hạn, mà còn là xây dựng các hàm hiệu chỉnh (correctors) để có được xấp xỉ tốt hơn cho nghiệm gốc. Luận văn đã trình bày chi tiết cách xây dựng các hàm hiệu chỉnh cho phương trình dạng Maxwell đa kích thước. Ý tưởng là xây dựng một nghiệm xấp xỉ uε_approx có dạng uε_approx(x) = u0(x) + ε * u1(x, x/ε) + ..., trong đó u0 là nghiệm của bài toán thuần nhất, còn u1, u2, ... là các hàm hiệu chỉnh. Các hàm này được xác định bằng cách giải các bài toán cục bộ trên các ô đơn vị Y_i. Sau khi có nghiệm xấp xỉ, một câu hỏi quan trọng là đánh giá mức độ chính xác của nó. Luận văn đã đi sâu vào việc thiết lập các ước lượng sai số a priori, tức là đánh giá sai số ||uε - uε_approx|| theo lũy thừa của ε. Kết quả chỉ ra rằng sai số này tiến về 0 khi ε tiến về 0 với một tốc độ nhất định. Việc chứng minh các ước lượng này đòi hỏi các kỹ thuật phân tích phức tạp, bao gồm việc sử dụng các hàm cắt và các bất đẳng thức trong không gian Sobolev. Đặc biệt, luận văn cũng xem xét đến tính chính quy của nghiệm (regularity). Giả định rằng nghiệm thuần nhất u0 và các hàm hiệu chỉnh đủ trơn (thuộc các không gian Sobolev bậc cao hơn) là điều kiện cần thiết để có được các ước lượng sai số tốt hơn. Phần cuối của chương 2 dành riêng để chứng minh rằng dưới các giả định hợp lý về sự trơn của các hệ số, các hàm hiệu chỉnh này thực sự có đủ tính chính quy của nghiệm (regularity), qua đó làm cho toàn bộ lý thuyết trở nên chặt chẽ và hoàn chỉnh.
4.1. Xây dựng hàm hiệu chỉnh cho bài toán hai và đa kích thước
Luận văn trình bày một cách có hệ thống việc xây dựng các hàm hiệu chỉnh (correctors) χr và ωr. Các hàm này là nghiệm của các bài toán cục bộ tuần hoàn trên các ô đơn vị Y. Chúng đóng vai trò "sửa lỗi" cho nghiệm vĩ mô u0 để tái tạo lại các dao động vi mô của nghiệm gốc uε. Công thức cho nghiệm xấp xỉ u_approx được xây dựng tường minh, là nền tảng cho việc phân tích sai số. Quy trình này được thực hiện cho cả trường hợp hai chiều và đa kích thước.
4.2. Kỹ thuật ước lượng sai số a priori cho nghiệm thuần nhất
Đây là một phần trọng tâm của luận văn. Bằng cách thay nghiệm xấp xỉ u_approx vào phương trình ban đầu và so sánh với phương trình thuần nhất, một biểu thức cho phần dư được tạo ra. Sử dụng các kỹ thuật tích phân từng phần và các bất đẳng thức cổ điển trong toán giải tích, luận văn chứng minh rằng chuẩn của sai số ||uε - u_approx|| trong không gian H(curl) được chặn bởi C * ε^α với α > 0. Việc thiết lập ước lượng sai số a priori này khẳng định tính chính xác của phương pháp thuần nhất hóa.
4.3. Phân tích tính chính quy của nghiệm regularity trong không gian Sobolev
Các kết quả về ước lượng sai số thường yêu cầu nghiệm u0 và các hàm hiệu chỉnh phải đủ trơn. Mục 2.3 của luận văn tập trung chứng minh tính chính quy của nghiệm (regularity) cho các hàm hiệu chỉnh. Dưới giả định rằng hệ số a(x,y) đủ trơn, luận văn chỉ ra rằng các hàm hiệu chỉnh χr thuộc vào các không gian Sobolev bậc cao hơn. Điều này được thực hiện bằng cách sử dụng các kết quả kinh điển về tính chính quy của nghiệm cho các phương trình elliptic và hệ phương trình Maxwell trên các miền tuần hoàn.
V. Cách ứng dụng phương pháp phần tử hữu hạn FEM mô phỏng số
Để kết nối lý thuyết thuần nhất hóa với ứng dụng thực tiễn, chương 3 của luận văn tập trung vào việc giải số phương trình dạng Maxwell đa kích thước bằng phương pháp phần tử hữu hạn (FEM). FEM là một trong những công cụ giải tích số mạnh mẽ và phổ biến nhất để giải các phương trình đạo hàm riêng trên các miền có hình dạng phức tạp. Luận văn trình bày các kiến thức cơ bản về việc rời rạc hóa không gian H(curl) bằng các phần tử hữu hạn phù hợp, chẳng hạn như phần tử Nédélec. Việc xây dựng một sơ đồ số ổn định và chính xác cho hệ phương trình Maxwell là một nhiệm vụ không tầm thường. Luận văn đã giới thiệu về các kỹ thuật xây dựng không gian phần tử hữu hạn rời rạc, bao gồm cả phương pháp tích tenxơ đầy đủ và tích tenxơ thưa, nhằm xử lý hiệu quả các bài toán đa kích thước. Sau khi thiết lập được hệ phương trình đại số tuyến tính từ việc rời rạc hóa, luận văn đề cập đến việc sử dụng phần mềm Matlab để giải hệ thống này và thực hiện các mô phỏng số. Các ví dụ minh họa được đưa ra không chỉ để kiểm chứng các kết quả lý thuyết đã được chứng minh trong chương 2, mà còn để khảo sát tính ổn định của nghiệm số và so sánh hiệu quả giữa việc giải bài toán gốc với bài toán thuần nhất. Các kết quả mô phỏng số cho thấy rằng nghiệm của bài toán thuần nhất thực sự là một xấp xỉ tốt cho nghiệm của bài toán dao động nhanh, đặc biệt khi tham số ε rất nhỏ. Điều này một lần nữa khẳng định giá trị thực tiễn của lý thuyết thuần nhất hóa.
5.1. Rời rạc hóa bài toán bằng phương pháp phần tử hữu hạn FEM
Luận văn giới thiệu cách áp dụng phương pháp phần tử hữu hạn (FEM) để xấp xỉ nghiệm của phương trình Maxwell. Quá trình này bao gồm việc chia miền tính toán thành một lưới các phần tử nhỏ, sau đó xấp xỉ nghiệm trên mỗi phần tử bằng các hàm đa thức cơ sở. Việc lựa chọn không gian phần tử hữu hạn phù hợp (ví dụ, phần tử cạnh) là rất quan trọng để đảm bảo tính ổn định của nghiệm số và tránh các nghiệm giả (spurious solutions). Luận văn cũng đề cập đến các kỹ thuật tích tenxơ để xây dựng cơ sở cho các bài toán nhiều chiều.
5.2. Triển khai mô phỏng số bằng Matlab để minh họa kết quả
Phần mềm Matlab được chọn làm công cụ để thực hiện các mô phỏng số. Dựa trên việc rời rạc hóa bằng FEM, một hệ phương trình tuyến tính lớn được hình thành. Matlab cung cấp các công cụ mạnh mẽ để lắp ráp và giải các hệ phương trình này một cách hiệu quả. Luận văn trình bày các ví dụ cụ thể, trong đó các kết quả số được so sánh với nghiệm chính xác (nếu có) hoặc với nghiệm của bài toán thuần nhất, qua đó minh họa trực quan cho các định lý và ước lượng sai số đã được trình bày.
VI. Kết luận và hướng nghiên cứu cho luận án tiến sĩ toán học
Luận văn thạc sĩ về phương trình dạng Maxwell đa kích thước đã hoàn thành xuất sắc các mục tiêu đề ra. Công trình đã trình bày một cách hệ thống và chi tiết phương pháp hội tụ đa kích thước để nghiên cứu bài toán thuần nhất hóa cho hệ phương trình Maxwell. Các kết quả chính bao gồm việc xây dựng thành công phương trình thuần nhất, thiết lập các hàm hiệu chỉnh, và đưa ra các ước lượng sai số a priori chặt chẽ. Luận văn không chỉ tổng hợp lại các kết quả đã biết mà còn làm rõ nhiều chứng minh phức tạp, đóng góp vào việc làm cho chủ đề này dễ tiếp cận hơn đối với sinh viên và các nhà nghiên cứu trẻ. Việc kết hợp giữa phân tích lý thuyết sâu sắc trong giải tích hàm và giải tích số thông qua mô phỏng số bằng Matlab đã tạo ra một cầu nối quan trọng giữa toán học lý thuyết và ứng dụng. Các kết quả của luận văn có thể được sử dụng làm tài liệu tham khảo giá trị cho các sinh viên ngành toán và các lĩnh vực liên quan. Từ những thành công này, nhiều hướng nghiên cứu tiếp theo đã được mở ra. Đây là những nền tảng vững chắc để phát triển thành một luận án tiến sĩ toán học. Một trong những hướng đi tiềm năng là mở rộng phương pháp này cho các phương trình Maxwell phi tuyến, vốn mô tả các vật liệu quang học phi tuyến có nhiều ứng dụng trong công nghệ hiện đại. Một hướng khác là nghiên cứu các bài toán trong miền không bị chặn, liên quan đến các bài toán tán xạ sóng điện từ. Những hướng nghiên cứu này hứa hẹn sẽ mang lại nhiều kết quả khoa học mới mẻ và có ý nghĩa.
6.1. Tóm tắt các kết quả chính về phương trình dạng Maxwell đa kích thước
Luận văn đã thành công trong việc: (1) Trình bày lại một cách tường minh phương pháp hội tụ đa kích thước; (2) Áp dụng phương pháp này để thu được phương trình thuần nhất cho bài toán Maxwell đa kích thước; (3) Chi tiết hóa các chứng minh quan trọng về sự tồn tại và duy nhất nghiệm cũng như tính chính quy của nghiệm (regularity); (4) Cung cấp các ước lượng sai số a priori để đánh giá độ chính xác của xấp xỉ thuần nhất; (5) Minh họa kết quả lý thuyết bằng mô phỏng số.
6.2. Hướng nghiên cứu tiềm năng cho phương trình Maxwell phi tuyến
Một hướng phát triển tự nhiên và đầy hứa hẹn cho một luận án tiến sĩ toán học là mở rộng các kết quả của luận văn cho trường hợp phương trình Maxwell phi tuyến. Các hệ số a và b có thể phụ thuộc vào chính nghiệm u, làm cho bài toán trở nên phức tạp hơn rất nhiều. Việc nghiên cứu các hiện tượng phi tuyến trong vật liệu tổng hợp có ý nghĩa thực tiễn lớn, đặc biệt trong lĩnh vực quang học và truyền thông. Điều này đòi hỏi các công cụ giải tích hàm phi tuyến tiên tiến hơn.
6.3. Tiềm năng ứng dụng trong các bài toán trong miền không bị chặn
Nhiều bài toán thực tế trong vật lý, chẳng hạn như tán xạ sóng radar hoặc thiết kế anten, được mô hình hóa trên các miền không gian vô hạn. Việc nghiên cứu thuần nhất hóa cho các bài toán trong miền không bị chặn là một lĩnh vực đầy thách thức. Nó đòi hỏi phải kết hợp lý thuyết thuần nhất hóa với các kỹ thuật xử lý điều kiện biên ở vô cùng, như điều kiện bức xạ Sommerfeld hoặc phương pháp lớp biên hoàn toàn phù hợp (Perfectly Matched Layers - PML). Đây cũng là một hướng đi giá trị cho các nghiên cứu sâu hơn.
