Khóa luận: Kĩ thuật tập mức cho bài toán Parabolic tựa tuyến tính

Khóa luận tốt nghiệp: Kĩ thuật tập mức giải bài toán parabolic tựa tuyến tính. Nghiên cứu chuyên sâu về phương pháp và ứng dụng trong toán học.

• Tác giả: Lê Khánh Huy
• Người hướng dẫn: PGS. Nguyễn Thành Nhãn
• Trường học: Trường Đại học Sư phạm Thành phố Hồ Chí Minh
• Chuyên ngành: Toán - Tin học
• Đề tài: Kĩ thuật tập mức cho bài toán Parabolic tựa tuyến tính
• Loại tài liệu: Khóa luận tốt nghiệp
• Năm xuất bản: 2024
• Địa điểm: Thành phố Hồ Chí Minh

Mục lục chi tiết

• Lời cam đoan
• Lời cảm ơn
• Lời nói đầu
• 1. Chương 1: Kiến thức chuẩn bị
• 1.1. Khái niệm về một số toán tử
• 1.2. Khái niệm về một số không gian
• 1.2.1. Không gian Lebesgue và các tính chất
• 1.2.2. Không gian Lorentz và các tính chất
• 1.2.3. Không gian Sobolev và các tính chất
• 1.3. Bài toán biến phân và nghiệm yếu
• 1.4. Bài toán chính quy nghiệm
• 1.5. Phương trình parabolic tựa tuyến tính
• 1.6. Toán tử cực đại và tính bị chặn
• 1.7. Hàm phân phối và các kết quả
• 2. Chương 2: Đánh giá so sánh
• 2.1. Kết quả cơ bản
• 2.2. Đánh giá bên trong miền
• 2.3. Đánh giá trên biên
• 3. Chương 3: Xây dựng bất đẳng thức

Tóm tắt

I. Toàn cảnh kĩ thuật tập mức cho bài toán parabolic tựa tuyến

Bài viết này cung cấp một cái nhìn tổng quan về kĩ thuật tập mức, một phương pháp hiện đại và hiệu quả để khảo sát tính chính quy nghiệm cho các bài toán phương trình đạo hàm riêng. Trọng tâm là ứng dụng của kĩ thuật này vào lớp bài toán parabolic tựa tuyến tính, một lĩnh vực còn nhiều thách thức trong giải tích hiện đại. Kĩ thuật tập mức cho phép xây dựng các đánh giá gradient toàn cục, ngay cả trên các miền có biên không trơn. Phương pháp này dựa trên việc thiết lập các bất đẳng thức tinh tế liên quan đến hàm phân phối và tập mức của gradient nghiệm, mở ra nhiều hướng nghiên cứu mới cho các phương trình phi tuyến phức tạp.

1.1. Giới thiệu bài toán parabolic tựa tuyến tính và tầm quan trọng

Các bài toán parabolic tựa tuyến tính là một lớp phương trình đạo hàm riêng phi tuyến mô tả nhiều quá trình biến đổi theo thời gian trong vật lý và kĩ thuật. Một ví dụ điển hình là phương trình p-Laplace dạng parabolic. Việc nghiên cứu tính chất của nghiệm, đặc biệt là tính chính quy nghiệm, đóng vai trò cốt lõi. Tính chính quy cho biết nghiệm có trơn hay không, có bị chặn hay không, và gradient của nó có thuộc các không gian hàm nhất định hay không. Kết quả này không chỉ có ý nghĩa lý thuyết sâu sắc mà còn cần thiết cho việc phân tích sai số của các phương pháp số và mô phỏng máy tính. Tuy nhiên, tính phi tuyến của toán tử chính làm cho việc khảo sát trở nên phức tạp hơn nhiều so với trường hợp tuyến tính. Các phương pháp cổ điển thường gặp khó khăn khi áp dụng, đặc biệt là khi miền xác định của bài toán có biên không trơn hoặc dữ liệu đầu vào không đủ tốt. Điều này thúc đẩy sự ra đời của các công cụ giải tích mới và mạnh mẽ hơn.

1.2. Định nghĩa và vai trò của kĩ thuật tập mức trong giải tích

Kĩ thuật tập mức (level-set technique) là một phương pháp phân tích dựa trên việc nghiên cứu các tập hợp {x : |f(x)| > λ} với λ > 0, được gọi là các tập mức của hàm f. Thay vì đánh giá trực tiếp chuẩn của hàm, kĩ thuật này tập trung vào việc kiểm soát độ đo (ví dụ, độ đo Lebesgue) của các tập mức này. Gần đây, phương pháp này đã được nhiều nhà toán học áp dụng thành công để thu được các kết quả chính quy nghiệm. Cụ thể, để có được đánh giá gradient cho nghiệm, người ta chứng minh các bất đẳng thức chứa tập mức của gradient và hàm dữ liệu. Nguồn gốc của kĩ thuật này có thể kể đến bất đẳng thức "good-λ" hoặc các bất đẳng thức liên quan đến hàm phân phối. Ưu điểm vượt trội của kĩ thuật tập mức là khả năng xử lý hiệu quả các toán tử phi tuyến và các điều kiện biên phức tạp trên miền Reifenberg, nơi mà các công cụ giải tích cổ điển tỏ ra kém hiệu quả. Nó cung cấp một cách tiếp cận linh hoạt để chuyển các thông tin cục bộ thành các đánh giá toàn cục cho nghiệm của bài toán.

II. Thách thức trong đánh giá gradient bài toán parabolic tựa tuyến

Việc thiết lập các đánh giá gradient cho nghiệm của bài toán parabolic tựa tuyến tính đối mặt với nhiều thách thức lớn. Tính phi tuyến của toán tử, sự phức tạp của cấu trúc hình học của biên và yêu cầu về các không gian hàm tổng quát là những rào cản chính. Các phương pháp truyền thống thường yêu cầu giả thiết mạnh về độ trơn của dữ liệu và biên. Do đó, việc phát triển các kĩ thuật mới như phương pháp tập mức để vượt qua những khó khăn này là một định hướng nghiên cứu cấp thiết, nhằm mở rộng phạm vi áp dụng của lý thuyết phương trình đạo hàm riêng.

2.1. Hạn chế của phương pháp cổ điển với phương trình phi tuyến

Các phương pháp cổ điển để nghiên cứu tính chính quy nghiệm thường dựa trên nguyên lý cực đại, các đánh giá Schauder, hoặc lý thuyết Calderón-Zygmund cho các toán tử tuyến tính. Tuy nhiên, khi chuyển sang các bài toán parabolic tựa tuyến tính, các kĩ thuật này bộc lộ nhiều hạn chế. Tính phi tuyến của toán tử, chẳng hạn như div(|∇u|^(p-2)∇u), làm phá vỡ cấu trúc tuyến tính cần thiết để áp dụng trực tiếp các công cụ trên. Việc tìm kiếm một hàm Green tường minh là bất khả thi. Hơn nữa, các ước lượng thường phụ thuộc rất nhiều vào độ trơn của các hệ số và dữ liệu bài toán. Trong nhiều ứng dụng thực tế, các dữ liệu này có thể không liên tục hoặc chỉ thuộc các không gian Lebesgue L^p với p nhỏ. Điều này đòi hỏi một cách tiếp cận khác, không phụ thuộc quá nhiều vào tính trơn mà thay vào đó khai thác cấu trúc biến phân và các tính chất hình học của bài toán.

2.2. Yêu cầu về tính chính quy nghiệm trên miền không trơn

Một thách thức lớn khác là khảo sát bài toán trên các miền có biên không trơn, ví dụ như các miền Reifenberg. Đây là những miền có thể có các góc hoặc các điểm kỳ dị, không thỏa mãn điều kiện biên trơn C¹ hay C². Các lý thuyết chính quy nghiệm cổ điển thường yêu cầu biên phải đủ trơn để có thể "làm phẳng" biên và sử dụng các công cụ giải tích Fourier. Trên miền không trơn, nghiệm của bài toán có thể không còn giữ được các tính chất chính quy tốt như trên miền trơn. Kĩ thuật tập mức tỏ ra đặc biệt hữu ích trong bối cảnh này. Bằng cách sử dụng các công cụ hình học đo lường như bổ đề phủ Vitali và các bất đẳng thức so sánh, phương pháp này cho phép thiết lập các đánh giá gradient mà chỉ phụ thuộc vào các hằng số đặc trưng cho tính "phẳng" của miền Reifenberg, thay vì yêu cầu độ trơn cụ thể. Điều này mở rộng đáng kể lớp các bài toán có thể được phân tích một cách chặt chẽ.

III. Phương pháp tập mức và nền tảng bất đẳng thức good λ

Nền tảng của kĩ thuật tập mức cho bài toán parabolic tựa tuyến tính là sự kết hợp giữa giải tích hàm và giải tích điều hòa. Trọng tâm là việc sử dụng các không gian hàm tổng quát như không gian Lorentz và không gian Sobolev để mô tả chính xác hơn tính chất của nghiệm. Công cụ cốt lõi là bất đẳng thức good-λ, một kết quả kinh điển bắt nguồn từ phân tích Calderón-Zygmund, cho phép kiểm soát tập mức của một hàm thông qua một toán tử cực đại phù hợp. Việc hiểu rõ các khái niệm về nghiệm yếu và bổ đề Gehring là điều kiện tiên quyết để xây dựng thành công các đánh giá này.

3.1. Các không gian hàm quan trọng Sobolev Lorentz và Orlicz

Để nghiên cứu sâu về tính chính quy nghiệm, các không gian Lebesgue L^p là chưa đủ. Khóa luận này sử dụng các không gian hàm tổng quát hơn. Không gian Sobolev W^{1,p} là không gian tự nhiên để định nghĩa nghiệm yếu, vì nó chứa các hàm cùng với đạo hàm yếu của chúng. Tuy nhiên, để có được các đánh giá tinh tế hơn, không gian Lorentz L^{q,s} được giới thiệu. Không gian này là một sự mở rộng của không gian Lebesgue, cho phép mô tả chính xác hơn sự phân bố giá trị của một hàm thông qua các tập mức của nó. Một hàm có thể không thuộc L^q nhưng lại thuộc không gian Lorentz L^{q,s} (còn gọi là không gian Lebesgue yếu). Việc thu được các đánh giá gradient trong không gian Lorentz là một kết quả mạnh hơn so với trong không gian Lebesgue tương ứng. Bên cạnh đó, các không gian như Morrey hay Orlicz cũng được đề cập, cho thấy sự đa dạng của các công cụ giải tích hiện đại.

3.2. Bổ đề Gehring và phân tích Calderón Zygmund kinh điển

Nền tảng lý thuyết cho việc xây dựng bất đẳng thức good-λ đến từ hai công cụ mạnh mẽ: phân tích Calderón-Zygmund và bổ đề Gehring. Phân tích Calderón-Zygmund là một kĩ thuật phân rã một hàm thành một phần "tốt" (bị chặn) và một phần "xấu" (có dao động lớn nhưng tập trung trên một tập nhỏ). Kĩ thuật này là trung tâm của giải tích điều hòa hiện đại. Bổ đề Gehring, hay còn gọi là bất đẳng thức Holder ngược, cho thấy rằng nếu một hàm thỏa mãn một bất đẳng thức Holder ngược ở cấp độ vi phân (local), thì nó sẽ có khả năng khả tích cao hơn ở cấp độ toàn cục (global). Trong bối cảnh của bài toán parabolic tựa tuyến tính, bổ đề Gehring được áp dụng để chứng minh rằng gradient của nghiệm của phương trình thuần nhất tương ứng có khả năng khả tích cao hơn. Đây là một bước quan trọng trong việc xây dựng các đánh giá so sánh, một thành phần không thể thiếu của kĩ thuật tập mức.

3.3. Khái niệm nghiệm yếu và công thức biến phân liên quan

Đối với các phương trình đạo hàm riêng phi tuyến, việc tìm kiếm nghiệm cổ điển (nghiệm trơn) thường là bất khả thi. Do đó, khái niệm nghiệm yếu (weak solution) được đưa ra. Một hàm được gọi là nghiệm yếu nếu nó thỏa mãn một công thức tích phân, gọi là công thức biến phân, thu được bằng cách nhân hai vế của phương trình với một hàm thử (test function) và tích phân từng phần. Không gian tự nhiên cho nghiệm yếu là không gian Sobolev. Sự tồn tại và duy nhất của nghiệm yếu thường được chứng minh bằng các định lý điểm bất động hoặc các phương pháp của giải tích lồi, như Định lý Lax-Milgram trong trường hợp tuyến tính. Việc xây dựng toàn bộ kĩ thuật tập mức đều dựa trên việc phân tích nghiệm yếu này, vì nó cho phép làm việc với các hàm có độ trơn thấp và sử dụng các công cụ mạnh từ lý thuyết độ đo và giải tích hàm.

IV. Quy trình xây dựng bất đẳng thức good λ cho bài toán

Quy trình xây dựng bất đẳng thức good-λ, trái tim của kĩ thuật tập mức, là một quá trình gồm nhiều bước chặt chẽ. Đầu tiên, cần thiết lập các đánh giá so sánh để lượng hóa sự sai khác giữa nghiệm của bài toán ban đầu và nghiệm của một bài toán thuần nhất đơn giản hơn. Các đánh giá này được thực hiện cả bên trong miền và trên biên. Sau đó, dựa trên các đánh giá này và các công cụ từ lý thuyết độ đo như bổ đề phủ Vitali, người ta xây dựng được bất đẳng thức hàm phân phối, hay bất đẳng thức good-λ, liên kết tập mức của gradient nghiệm với tập mức của dữ liệu đầu vào.

4.1. Kĩ thuật đánh giá so sánh nghiệm bên trong và trên biên

Một bước đi then chốt trong kĩ thuật tập mức là thiết lập các đánh giá so sánh. Ý tưởng là trên một quả cầu nhỏ, nghiệm u của bài toán phi tuyến ban đầu có thể được xấp xỉ bởi nghiệm w của một bài toán thuần nhất tương ứng (với vế phải bằng 0). Sự sai khác u - w có thể được kiểm soát bởi vế phải của phương trình. Khóa luận trình bày chi tiết cách xây dựng các đánh giá này. Cụ thể, người ta chứng minh các bất đẳng thức so sánh sự sai khác giữa ∇u và ∇w cả bên trong miền và trên biên. Đối với đánh giá trên biên, các giả thiết về cấu trúc hình học của miền, như điều kiện miền Reifenberg, đóng vai trò quyết định. Các đánh giá này là nguyên liệu đầu vào không thể thiếu để xây dựng bất đẳng thức good-λ ở bước tiếp theo. Chúng cho phép "chuyển" sự phức tạp từ toán tử phi tuyến sang việc phân tích một toán tử đơn giản hơn và một số hạng sai số có thể kiểm soát được.

4.2. Xây dựng bất đẳng thức phân phối qua bổ đề phủ Vitali

Sau khi có các đánh giá so sánh, bước tiếp theo là xây dựng bất đẳng thức good-λ hay bất đẳng thức hàm phân phối. Bất đẳng thức này có dạng: w({M(|∇u|²) > βλ}) ≤ C_1 * w({M(|∇u|²) > λ}) + C_2 * w({M(|F|²) > δλ}), trong đó w là một trọng, M là toán tử cực đại Hardy-Littlewood, và λ là một ngưỡng đủ lớn. Bất đẳng thức này cho thấy rằng tập mức "cao" của |∇u| có thể được kiểm soát bởi tập mức "thấp" hơn của chính nó và tập mức của dữ liệu F. Việc chứng minh dựa trên một lập luận tinh tế sử dụng bổ đề phủ Vitali. Người ta phân rã tập mức {M(|∇u|²) > λ} thành các quả cầu (hoặc hình trụ parabolic) rời nhau. Trên mỗi quả cầu, các đánh giá so sánh được áp dụng để liên kết |∇u| với dữ liệu F. Bằng cách chọn các tham số một cách khéo léo, người ta có thể chứng minh được bất đẳng thức mong muốn. Đây là kết quả trung tâm, từ đó có thể suy ra các đánh giá gradient trong nhiều không gian hàm khác nhau.

V. Ứng dụng kĩ thuật tập mức Đánh giá gradient toàn cục

Thành quả cuối cùng của kĩ thuật tập mức là các đánh giá gradient toàn cục cho nghiệm yếu. Các kết quả này vượt xa giới hạn của các phương pháp cổ điển, cung cấp các chặn trên cho chuẩn của gradient trong các không gian hàm tinh tế như không gian Lorentz có trọng. Điều này không chỉ khẳng định tính chính quy của nghiệm mà còn mở đường cho việc phân tích các bài toán phức tạp hơn, chẳng hạn như các phương trình parabolic dạng Riccati, nơi có sự tương tác phi tuyến giữa nghiệm và gradient của nó.

5.1. Kết quả đánh giá gradient nghiệm trong không gian Lorentz

Từ bất đẳng thức good-λ, bằng cách sử dụng các định lý nội suy và tính chất của không gian Lorentz có trọng L^{q,s}_w, khóa luận đã chứng minh được kết quả chính: || |∇u| ||_{L^{q,s}_w} ≤ C || |F| ||_{L^{q,s}_w}. Đây là một đánh giá gradient toàn cục. Nó khẳng định rằng nếu dữ liệu F thuộc không gian Lorentz có trọng thì gradient của nghiệm yếu u cũng thuộc cùng không gian đó. Kết quả này mạnh hơn các đánh giá trong không gian Lebesgue L^p thông thường, vì nó cung cấp thông tin chi tiết hơn về sự phân bố của gradient. Hằng số C trong đánh giá phụ thuộc vào các tham số của bài toán, hằng số của trọng w, và đặc tính hình học của miền Reifenberg, nhưng không phụ thuộc vào nghiệm u. Đây là một minh chứng cho sức mạnh và sự tổng quát của kĩ thuật tập mức.

5.2. Mở rộng cho phương trình parabolic dạng Riccati phức tạp

Một ứng dụng quan trọng khác được đề cập là việc mở rộng phương pháp cho các phương trình parabolic dạng Riccati. Đây là lớp phương trình có dạng u_t - div(A(x,t,∇u)) = |∇u|^q + F, với số hạng |∇u|^q ở vế phải. Sự xuất hiện của số hạng này tạo ra một cấu trúc phi tuyến phức tạp hơn, vì vế phải phụ thuộc vào chính gradient của nghiệm. Việc xử lý số hạng này đòi hỏi các kĩ thuật bổ sung, kết hợp kĩ thuật tập mức với các ước lượng liên quan đến capacity. Khóa luận đã chỉ ra rằng, dưới các điều kiện phù hợp về số mũ q, phương pháp này vẫn có thể cung cấp các đánh giá gradient có ý nghĩa. Kết quả này cho thấy tính linh hoạt và tiềm năng của phương pháp tập mức trong việc giải quyết một loạt các bài toán phi tuyến đang được quan tâm trong nghiên cứu hiện đại.

VI. Kết luận và tương lai cho kĩ thuật tập mức parabolic

Khóa luận đã trình bày thành công việc áp dụng kĩ thuật tập mức để thu được các đánh giá gradient quan trọng cho bài toán parabolic tựa tuyến tính trên các miền không trơn. Phương pháp này, với nền tảng là bất đẳng thức good-λ và các đánh giá so sánh, đã chứng tỏ là một công cụ mạnh mẽ và linh hoạt. Hướng nghiên cứu trong tương lai có thể tập trung vào việc mở rộng kĩ thuật này cho các lớp toán tử tổng quát hơn, các hệ phương trình, hoặc các bài toán với điều kiện biên và dữ liệu phức tạp hơn, góp phần làm sâu sắc thêm hiểu biết về thế giới các phương trình đạo hàm riêng phi tuyến.

6.1. Tóm tắt các kết quả chính và đóng góp của khóa luận

Đóng góp chính của khóa luận là trình bày một cách có hệ thống và chi tiết quy trình xây dựng các đánh giá gradient cho bài toán parabolic tựa tuyến tính bằng kĩ thuật tập mức. Các kết quả cốt lõi bao gồm: việc thiết lập các bất đẳng thức so sánh bên trong và trên biên cho miền Reifenberg; xây dựng thành công bất đẳng thức good-λ (hay bất đẳng thức hàm phân phối) liên kết gradient nghiệm và hàm dữ liệu; và cuối cùng, thu được các đánh giá gradient toàn cục trong không gian Lorentz có trọng. Những kết quả này không chỉ tổng hợp và làm rõ các nghiên cứu gần đây mà còn cung cấp một tài liệu tham khảo hữu ích cho những người bắt đầu nghiên cứu về lĩnh vực này, đặc biệt là sinh viên và học viên cao học.

6.2. Các hướng phát triển và cải tiến kĩ thuật trong tương lai

Kĩ thuật tập mức vẫn còn nhiều tiềm năng để phát triển. Một hướng đi tự nhiên là áp dụng phương pháp này cho các lớp phương trình tổng quát hơn, ví dụ như các phương trình có cấu trúc không chuẩn (non-standard growth) hoặc các hệ phương trình parabolic. Một hướng khác là cải tiến các đánh giá để thu được kết quả ở các điểm biên, hoặc xem xét các loại dữ liệu tổng quát hơn, chẳng hạn như các độ đo Radon. Hơn nữa, việc kết hợp kĩ thuật tập mức với các công cụ từ các lĩnh vực khác như hình học vi phân hoặc xác suất có thể mở ra những kết quả mới và bất ngờ. Việc tiếp tục cải tiến và vận dụng phương pháp này hứa hẹn sẽ mang lại nhiều đóng góp quan trọng cho lý thuyết phương trình đạo hàm riêng trong tương lai.

Trích đoạn nội dung tài liệu

Chương 1 Kiến thức chuẩn bị 1.1 Khái niệm về một số toán tử Cho 0 là tập mỡ trong R" Định nghĩa 1. Gradient của hàm wi R, ki hiệu là Vu, rác định Bởi du du ốu we Gate) Néu us RE th Vu là ma trần cấp kx n, cu thể là Vu = (Var, Veg, Buy)? Dinh nghia 1. Laplace eiia ham wi +R, kí hiệu là Au, rác định hổi Aue diva) = Pu Pw Fag tte Pu Néu w+ RE thi Aw la vector k thành phần, cụ thể là Aw=(Auy,Auy,.,Au) Định nghĩa 1. Divergence eiia ham» QR, A hiew la div(v) hoặc Ý , sác dink boi 1.

Khai niém vé mot sé khong gian 1.1 Không gian Lebesgue và các tính chất Dinh nghĩa 1. Cho 9 [a tap md trong RY wa 0 <p < oe “Không gian Lebesgue LP(9) là không gian các hàm ƒ do được Lcbesgwe trên €3 sao cho lun) < se, trong đó Iflisey = (0e) nếu 0 < p< œ ' tả nếu p= 0 thi |/lu~n, = it [C >9: |/G)| < C hấu Kiấp nơi trong 9) Chú ý rằng bit đẳng thức tam giác (Minkowski) HỨ +ðllze $ Willey + lien đúng khi và chỉ khi p > 1 Dinh If 1. Vai mor 0-< p< 20, ta 06 ister = (of XlE9:1/0)|>A] 3 trong dé kí hiệu |E| là độ do Lebesgue cia tap E trong R" Ching mink, Bing kí hiệu vz là hàm đặc trưng trên E, ta có biểu điễn lứ<8I/00133)|= Í xeneiaytr 'Từ đó suy ra of arteen ire> 9 [oe (frven —. Ap dung công thức Eubini, ta được Na.

HN tants = [terra “Từ đó suy ra đẳng thức cần chứng mình. q < ce sao cho ; + ì =1.2 Không gian Lorentz và các tính chất Định nghĩa 1. Cho 9 la tap md trongB wd hai thane số 0<q< 20, 0< 8 <x. Khing gian Eononts L2(f) là không gian các hàm ƒ đo dược Lebesgue trén f9 sao cho | fis <>, trong dé Was “(1 ren ines an) : nếu 0< §< s6 tà Isl asmiay = sup Alte Leta) > ay Đôi với không gian Lorentz, ta có một số nhận xót sau: Nhận xét 1.

hig = i Không gian Lorentz L1*(Q) chính là không gian Lebesgue L1(9), theo dink Do dé khong gian Lorentz chink là mở rộng của không gian Lebesgue "Nhận xét 1. Tập lợp cổ dang {z € 1+ |/0)| > À) tới À » 0 thường được gợi là ce tip mite (level sets) cia hàm ƒ tren 9 Nhận xét 1. Thuing hợp s = s, không gian Lorents E!*(9) còn được gọi là hong gian Lebesgue yếu hoặc không gian Marrindicvic 1. Khong gian Sobolev và các tính chất Định nghĩa 1.

Cho © la tập mở trong RY vi w © LO) tới 1< p< 00. Ta ndtv 6 dao him you trong L°(0) néw tén tai n ote hin w; € LO) vidi i 3,.,n sao cho ag =- ƒ[ sydy war tới moi g € CMM).2, sen) được gọi là đạo hầm yếu của w trong Ö đây, ta có một số nhân xét và chú ý sau: Chú ý 1. Khi ø là đạo hàm yếu của u, thì ø; được gọi là đạo hàm riêng, của ø Ta vẫn kí hiệu ấn dị Và Vụ Sứ, Chú ý 2. Khi g © C(®), fa có thỂ suy ra tần lại mat tip K° compact con sao cho wre a\K.

Cho © fa tap md tong BY vài 1< p< so. Không gian Sobolew W?(Q) la tap hop các hàm u € L*(Q) sao cho dao đầm yếu của nó Vu € (I7(đ))”, túc là 2),i = 2 } Chuẩn trong khong gian Sobolev W1(Q) được định nghĩa bởi leliussey [ (oe vee đớn, IP a hoặc một chuẩn khác tương đương là 7¬". Giả sử X(9) là một không gian Lebesgue hoặc không gian Soboler. Khi đó kí liệu Xige(Q) là không gian địa phương, là tập tất cả các hầm u€ X(Ñ) uổi mọi tập con campact K của 2.

Cho Q là tap ma bong RY vit 1 €p< %. Không gian Soboleu HÀ "(Q) được định nghĩa là lao đóng ciia CHM) trong W2(n) Dinh lf 1.3 (Green), Cho © là tap mở trong BY va cae him uw © WMO) vse trong dé n(x) là vector pháp tuyến hướng ra ngoai tai x € 9, Sử dụng công thức này, ta có thé dé dàng chứng mình được hai hệ quả sau. Cho 0 la tap mở trong TẾ" tà các hàm ứ € V19(9,R) (u nhận giá trị thực), te V12 (Q,RP) (e nhận giá trị vector) di 1 < p< oo. Khi chọn ø € IWJ”(9) hay ø e C2X(f), các tích phân trên Ø9 đều triệt tiêu.

Cu 9 l tp mở, ị đơn rà dĩ hiến bốn ng EP, Giả sity € (Ln), ta Kt hie pt = Khe dd, tới mới ạ € (Ly, tổn lại hằng số C= C(n, p,q, diam(Q)) > 0 sao cho Ielisep Š CINsliyye, Vé€ W)Z() rong đó kí hiệu diam(9) = sap{[z = v|: s,ự 9) là đường kính của f1 1.3 Bài toán biến phân và nghiệm yếu. Cho @ là tập mỏ, bị chặn trong lề" và hàm dữ liệu f e C(f). Xót phương trình. Laplace sau: ‘Au .- =f, trong 2, onLa XVới n = 1, 1á để đăng tìm được nghiệm thuộc lớp C2 thoả là nghiệm cổ điển (classical solution) hoặc nghiệm xanh (strong solution)c }_ Ta có thể xác định.

được công thức biểu diễn của nghiêm này Vi du 1. Ching hạn, với Ø = (0,1) và / € C(0,1) thì phương trình Laplaee viết lại thành w= f, trong (0,1), m sÍ0) = s1) =0 Phuong trình 6 nghi¢m w € C%((0,1}) cho bởi công thức v6) =z Í /090= 985= [ f9 S308, re 0.1 Với m > 2, không tổn tại nghiệm mạnh thuộc lớp. 2 ủa “Tuy nhiên, người ta số thể tìm được hầm u ý C2) nhưng thoả mãn Jhàm hip nơi. Do đó cần xác định mot không gian chứa nghiệm rộng hơn lớp C2.

Tit day dẫn đến ý tưởng là đưa ra định nghĩa nghiêm khác với nghiêm mạnh, thoả mãn. ầu khấp mới. Có nhiều đình nghĩa nghiệm khác, va trong số đó thì nghiệm yéu (weak solution) là định nghĩa cơ bản đầu tí Ý tưởng định nghĩa nghiệm yếu như sau. Nhân hai về phương trình =Aw = ƒ với ham y € CM), sau đó lấy tích phân trên © ta được.

Ap dung He quả |L3.2|với chú ý rằng ý = 0 trên Ø9, ta suy ra được lnÍ v6) 9z00Mr = [I /0)g6)á5,- z€CfG® (as) hi đó, ham w € W"(9) thoả mãn bài toán } được goi là nghiêm yếu của Í Đến đây, thay vì tìm nghiệm mạnh œ 1), người ta sẽ tìm nghiêm. yéu w € W!2() thoi man bài toán Đài toán (1.3) được gọi là công thức biến phân tương ting với phương trinh Laplace và hàm ¿ được gọi là hàm thử (Iest function), Để chứng mình sự tồn tại và duy nhất của nghiệm yếu, người ta thường dùng Dinh i Lax-Milgram BI Corollary 5. Cu thé, người ta chứng mình được với mọi dir lion f € £°(M) (véu hon gia thiét ƒ liên tục trước đó), phương trình Laplace Môn tồn tại duy nhất nghiêm yếu w € W3(). Ngoai ra, do tinh trit mat etia CHM) trong I2 (9), bài toán (L3) có thể viớt lại thành vue) VnG0Me= [ 1690105, ve 9%) 09 XXết bai én xa a: XxX 9 Rvb: X 9 Rvel X= W2%(0), xe din boi atone) = [ Vub):SeGMa, bo) [ /GvGiMr Khu đó, đồ dàng kiểm trà được a là ánh xa song tuyến tính liên tục và 1 dnl xa tuyển tính liên tục.

có thể được viết lại dưới dạng Ue), Yee Phường trink Laplace —Au = f có thể viết lại dang = div Ve) =f Ta thiy toántử w ++ —div(Vu) là ánh xạ tuyến tính, Do đó, người ta gọi phương trình Laplae là phương trình elliptic dang tuyén tinh Các bài toán phương trình đạo hàm riêng đang được nghiên cứu hiện nay thông, thường là đạng phi tuyén. Mặt ví dụ đơn gin cho dang phương anh pi ayn Th pong tin p Laplace có dạng tiv (1puP-*0) =f với tham số p > 1 ¡ các phương trình đạo hàm riêng khác, nghiệm yếu được định nghĩa hoàn toàn. tương tự, thông qua bài toán biến phân.4 Bài toán chính quy nghiệm Giả sử hàm đữ liêu ƒ € 12G) và w € WJ(O) là nghiệm yếu của phương trình. Laplace tức là u thoả mãn bài toán (14).

Chọn hàm thử ¿ u, thay vào ta được fivecortar= f reomerar Ấp dụng bất đẳng thite Holder véi p = q = 2 cho về phải, ta được [Iveihe 5 (/ me) U kuz) ta)! (1. Két luận trong thường được suy ra từ bất đẳng thức có dang IVAlsuen < CÍf xám: (9) 1 mà ta thường gọi là đánh giá gradient cho nghiêm của phương trình đạo hàm riêng, Các đánh giá gradient với Xị, X; là các không gian Lebesgue thường là kết quả cổ điển. Chúng ta thường mở rõng kết quả khi hai không gian này là các không gian Lorentz hoặc không gian Morrey 1.5 Phương trình parabolic tựa tuyến tính XXết phương tình sau (soi là phương trình parabolic tựa tuyến tính) `. Tà giả thiết A thoả mãn.€| < Aild: (L1) và thoả mãn (A,b9 = A,tO,£= Q > AalE = GP, (1.12) ‘v6i moi (£,¢) € RY x RY va hiiu khiip noi (x,t) € RY x R, trong dé A; va Ay là các hằng số dương.

Thêm nữa, ta giả sử rằng đạo hàm của 4 theo € bị chăn, tức là Ag.) SM (8) với mọi CE RY và (ryt) ERY XR. Trongsuốt khoá luận này, chúng ta luôn giả sử 4 thoả mãn, Ben cạnh đó, ta kí hiệu T¡ = diam(9) + 72 và với (ø,£) € RẺ và ø > 0 thì ta kí hiến Qola,t) = Bola) x (t= p*,t), Qolast) = Bol) x (t= p2/2,t+ 92/2) Nghiêm yến w của phương trình được hiểu theo ng thông thường, tức là ¬. | nến thoả mãn bài toán. Điển phãn sau: `.

Sự tồn tại và duy nhất của nghiệm yêu trong £2 (0,7; 3(2)) ) vai F € 12(Ar,EŠ) số được xom xót trong khoá luận này Để khảo sát phương trình này, chúng ta cần miễn £ thoả mãn điều kiện sau, gọi Tà điều kiện (5, Ro)-Reifenberg Định nghĩa 1. Miễn Q dude got la thod điều kiên (5, Ro)-Reifenterg wdi 5 € (0,1) tà Rụ > 0 nếu nổi mọi z € AO vi € (0, Rol, tồn tại hé tow độ (si, sa, ., sa} phụ thuộc vào nềz sao cho toa độ của + theo hệ ton độ này là bằng0 vie 40) n{ > BFC By(0) n8 B,(0) 03, > ~5} Ta gif sit A thoi man điều kiện nhỏ của dạng BMO theo biến z, nghĩa là A(z.f,C} thoả mãn điều kiện (5, Ra}-BMO v6i 5, Ro > 0 theo s6 mũ p > 0 nếu » (wer Ror sR (f .8) = ca K AAp,qp(ts6) là tích phan trang binh ciia A(t,¢) trén quả cầu B,(y), tức là "-'.- “Ta nhắc lại rằng hàm dương sẽ € Lệ [R**!) được gọi là trong Â, với 1 < p.