Luận văn Thạc sĩ Toán học: Phương trình elliptic á tuyến tính cấp hai với hai biến độc lập

Chia sẻ: Tran Van Lam | Ngày: | Loại File: PDF | Số trang:41

Thêm vào BST

Báo xấu

277
lượt xem 54
download

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

Luận văn Thạc sĩ Toán học: Phương trình elliptic á tuyến tính cấp hai với hai biến độc lập nhằm trình bày lý thuyết phương trình elliptic á tuyến tính cấp hai với hai biến độc lập. Mời bạn đọc cùng 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: Phương trình elliptic á tuyến tính cấp hai với hai biến độc lập

ĐẠI HỌC THÁI NGUYÊN TRƯỜNG ĐẠI HỌC SƯ PHẠM ---------------------------- TRẦN THỊ TÂM PHƯƠNG TRÌNH ELLIPTIC Á TUYẾN TÍNH CẤP HAI VỚI HAI BIẾN ĐỘC LẬP LUẬN VĂN THẠC SĨ TOÁN HỌC THÁI NGUYÊN – 2012 1Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn
ĐẠI HỌC THÁI NGUYÊN TRƯỜNG ĐẠI HỌC SƯ PHẠM ---------------------------- TRẦN THỊ TÂM PHƯƠNG TRÌNH ELLIPTIC Á TUYẾN TÍNH CẤP HAI VỚI HAI BIẾN ĐỘC LẬP Chuyên ngành: Toán giải tích Mã số: 60.46.01.02 LUẬN VĂN THẠC SĨ TOÁN HỌC Người hướng dẫn khoa học: PGS. TS. Hà Tiến Ngoạn THÁI NGUYÊN – 2012 2Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn
1 Mục lục Mở đầu 2 1 Một số kiến thức chuẩn bị 4 1.1. Lớp hàm Holder ……………………………………………… 4 1.1.1 Liên tục Holder ………………………………………... 4 1.1.2 Không gian C k ,   …………………………………... 5 1.2. Đánh giá đối với ánh xạ á bảo giác…………………………… 6 1.2.1 Đánh giá đối với tích phân Dirichlet đối với ánh xạ á bảo giác…………………………………………………. 8 1.2.2 Đánh giá chuẩn Holder đối với ánh xạ á bảo giác………. 12 2 Bài toán biên Dirichlet cho phương trình elliptic á tuyến tính cấp hai với hai biến độc lập 16 2.1 Đánh giá địa phương đối với chuẩn Holder cho đạo hàm cấp một của nghiệm phương trình tuyến tính cấp hai……………… 16 2.2 Đánh giá toàn cục đối với chuẩn Holder cho đạo hàm cấp một của nghiệm phương trình tuyến tính cấp hai…………………... 20 2.3 Tính giải được của bài toán biên Dirichlet cho phương trình elliptic đều á tuyến tính cấp hai……………………………….. 22 2.4 Tính giải được của bài toán biên Dirichlet cho phương trình elliptic không đều á tuyến tính cấp hai………………………… 28 2.5 Sự tương đương của độ nghiêng bị chặn và điều kiện ba điểm.... 35 Kết luận 38 Tài liệu tham khảo 39 3Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn
2 Mở đầu 1. Lý do chọn Luận văn Phương trình đạo hàm riêng cấp hai loại elliptic có một quá trình phát triển lâu dài. Trường hợp phương trình với hai biến độc lập có một mối liên quan chặt chẽ với lý thuyết hàm chỉnh hình và ánh xạ bảo giác trên mặt phẳng phức. Mục tiêu của Luận văn là trình bày lý thuyết phương trình elliptic á tuyến tính cấp hai với hai biến độc lập. Khác với trường hợp khi số biến lớn hơn hoặc bằng ba, trong trường hợp hai biến, người ta không đòi hỏi các hệ số của phương trình là các hàm trơn, mà chỉ cần là các hàm liên tục. 2. Phương pháp nghiên cứu Sử dụng các kết quả và phương pháp của lý thuyết ánh xạ á bảo giác và của lý thuyết phương trình elliptic cấp hai tuyến tính cùng với phương pháp lặp. 3. Mục đích của Luận văn Trình bày các tính chất định tính về độ trơn của nghiệm phương trình elliptic á tuyến tính cấp hai với hai biến độc lập. 4. Nội dụng của luận văn Nội dung chủ yếu của Luận văn được dựa vào một chương của tài liệu [1]. Trong chương 1 Luận văn đã trình bày khái niệm ánh xạ á bảo giác cùng với các đánh giá tiên nghiệm trong lớp Holder của chúng. Các kết quả trong chương 1 đã được áp dụng trong chương 2 vào các đánh giá tiên nghiệm và tính giải được của bài toán Dirichlet cho phương trình á tuyến tính elliptic đều và không đều. Đối với trường hợp elliptic không đều, bài toán Dirichlet chỉ được xét trong các miền lồi với dữ kiện biên thoả 4Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn
3 mãn điều kiện độ nghiêng bị chặn. Luận văn cũng đã chỉ ra rằng điều kiện độ nghiêng bị chặn là tương đương với điều kiện ba điểm. Luận văn này được hoàn thành dưới sự hướng dẫn và chỉ bảo nhiệt tình của PGS.TS. Hà Tiến Ngoạn, Viện toán học. Em xin được bày tỏ lòng biết ơn sâu sắc đến thầy. Tác giả cũng xin gửi lời cảm ơn chân thành đến Ban Giám hiệu, phòng Đào tạo, khoa Toán – trường Đại học sư phạm, Đại học Thái Nguyên đã tạo điều kiện thuận lợi trong suốt quá trình học tập tại trường. Xin chân thành cảm ơn gia đình, bạn bè đồng nghiệp và các thành viên trong lớp cao học toán K18B đã luôn quan tâm, động viên, giúp đỡ tôi trong suốt thời gian học tập và quá trình làm Luận văn. Tuy có nhiều cố gắng, song thời gian và năng lực của bản thân có hạn nên Luận văn khó tránh khỏi những thiếu sót. Rất mong được sự đóng góp ý kiến của các thầy cô cùng toàn thể bạn đọc. Thái Nguyên, tháng 08 năm 2012 Tác giả Trần Thị Tâm 5Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn
4 Chương 1 Một số kiến thức chuẩn bị 1.1 Lớp hàm Holder 1.1.1. Liên tục Holder Định nghĩa 1.1. Cho x0 là một điểm trong n và f là một hàm xác định trên miền bị chặn D chứa x0 . Nếu 0    1 , ta nói rằng f là liên tục Holder với số mũ  tại x0 nếu: f  x   f  x0  (1.1) f  ; x0  sup  xD x  x0 x  x0 hữu hạn. Ta gọi  f  ;x là hệ số Holder bậc α của f tại x0 . 0 Nếu f là liên tục Holder tại x0 thì f liên tục tại x0 . Khi (1.1) là hữu hạn với   1 , f là liên tục Lipschitz tại x0 . Ví dụ 1.2. Hàm f trên B1  0 được cho bởi f  x   x , 0    1 là liên tục  Holder với số mũ  và liên tục Lipschitz khi   1, trong đó B1  0 là hình cầu đơn vị. Định nghĩa 1.3. Ta nói f là liên tục đều Holder trong D với số mũ  nếu đẳng thức: 6Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn
5 f  x  f  y (1.2) f  ;D  sup  , 0    1, x , yD x y x y hữu hạn. Ta nói f là liên tục Holder địa phương với số mũ  trong D nếu f là liên tục đều Holder với số mũ  trên mọi tập con compact của D . 1.1.2. Không gian C k ,   Cho  là tập mở trong n và k là một số nguyên không âm. C k ,   là không gian các hàm f  C k    mà các đạo hàm riêng cấp k liên tục Holder với số số mũ  trong  . Để đơn giản ta viết: C 0,     C     , C 0,   C   .    Và ta hiểu rằng với 0    1 ký hiệu này được sử dụng bất cứ khi nào, trừ khi có quy ước khác. Cũng như vậy, ta đặt:   C k ,0     C k    , C k ,0   C k  .   Chúng bao gồm các không gian C k    , C k     trong số các không gian    với 0    1. Ta cũng ký hiệu C C k ,    , C k ,  k , 0   là không gian các hàm trên C k ,   có giá compact trong  . Ta đặt: u k ,0;  D k u 0;  supsup D  u ,  k  k  0,1,2,... (1.3) u k , ;  D k u  ;  sup  D  u  ; .   k  Với những nửa chuẩn này, ta định nghĩa các chuẩn tương ứng: 7Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn
6 u C    u k ;  u k ,0;   u  j ,0;    D ju  0; , k k k j 0 j 0   (1.4) u C k ,    u k , ;  u k ;  u k , ;  u k ;   D k u  ; ,       trên các không gian C k  , C k ,  tương ứng. Đặc biệt, đôi lúc ta đưa vào   các chuẩn không thứ nguyên trên C k  , C k ,  : nếu  bị chặn, với d là   đường kính của  , ta đặt, u C     u k ;   d j u  j ,0;   d j  D j u  0; , k k k j 0   j 0 (1.5) u C     u k , ;  u k ;  d k  u k , ;  u k ;  d k   D k u  ; . k ,       Các không gian C k  , C k ,  với các chuẩn tương ứng là những không gian Banach. Ta chú ý rằng, tích các hàm liên tục Holder cũng liên tục Holder. Thật     vậy, nếu u  C   , v  C   , ta có uv  C   trong đó   min  ,   ,   và uv C    max 1, d    2  u    C  v   C  ; (1.6) uv C    u C    v C   .    1.2 Đánh giá đối với ánh xạ á bảo giác. Nhiều khái niệm và phương pháp khác nhau trong lý thuyết hàm đóng vai trò đặc biệt trong lý thuyết của các phương trình elliptic hai biến. Ở đây chủ yếu quan tâm đến đánh giá tiên nghiệm phát sinh từ lý thuyết của ánh xạ á bảo giác. Một ánh xạ khả vi liên tục p  p  x, y  , q  q  x, y  từ một miền  8Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn
7 trong mặt phẳng z   x, y  tới mặt phẳng w   p, q  là á bảo giác hay K  á bảo giác, trong miền  nếu với mỗi hằng số K  0 , ta có: (1.7) px  p y  qx  q y  2 K  px q y  p y qx  2 2 2 2 với mọi  x, y   . Mặc dù bất đẳng thức (1.7) thỏa mãn cho p và q trong C1    , trong phần này kết quả được phát triển cho p, q liên tục và có đạo hàm yếu bình phương khả tích. Khi K  1, (1.7) kéo theo p và q là hằng số và do đó ta giả thiết K  1 . Với K  1, ánh xạ w  z   p  z   iq  z  là một hàm giải tích của z . Khi K  1 bất đẳng thức (1.7) có ý nghĩa hình học là tại mọi điểm không triệt tiêu của Jacobian thì ánh xạ này giữa mặt phẳng z và mặt phẳng w sẽ bảo toàn định hướng và ánh xạ đường tròn đủ nhỏ vào các đường elliptic đủ nhỏ với tâm sai bị chặn đều, trong đó tỉ số của trục nhỏ tới trục lớn là bị chặn dưới bởi   K   K 2  1  0 . 1/2 Ta sẽ quan tâm đến lớp các ánh xạ tổng quát hơn  x, y    p, q  xác định bởi bất đẳng thức: (1.8) px  p y  qx  q y  2 K  px q y  p y qx   K ' 2 2 2 2 trong đó K , K ' là hằng số, với K  1, K '  0 . Mặc dù ý nghĩa hình học là không giống nhau, ta sẽ gọi các ánh xạ tuân theo (1.8) là  K , K '  á bảo giác. Trong sự phát triển tiếp theo, ta thấy rằng các ánh xạ thỏa mãn (1.7) và (1.8) phát sinh từ phương trình elliptic hai biến với p và  q biểu diễn các đạo hàm cấp một của nghiệm. Mục đích của phần này là đưa ra các đánh giá tiên nghiệm trong lớp Holder cho ánh xạ  K , K '  á bảo giác. Kết quả cơ bản sẽ là hệ quả của những bổ đề liên quan đến công thức tính tích phân Dirichlet: 9Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn
8 (1.9) D(r , z )   Br (z) 2 Dw dx dy    w Br ( z ) x 2 2   wy dx dy của ánh xạ  K , K '  á bảo giác w được lấy trên đĩa Br  z  . Khi đó để đơn giản ta viết D r  thay cho D r , z  và Br thay cho Br ( z ) . 1.2.1 Đánh giá đối với tích phân Dirichlet đối với ánh xạ á bảo giác. Bổ đề 1.4. Giả sử w  p  iq là  K , K '  á bảo giác trên hình tròn BR  BR ( z0 ) thỏa mãn (1.8) với K  0, K  0 , và giả sử p  M trong BR . Khi đó với mọi r  R / 2 , ta có 2 2 r (1.10) D(r )   Dw dx dy  C   ,   K  ( K 2  1)1/2 , Br R với C  C1 ( K )(M 2  K ' R2 ) . Nếu K '  0 , kết luận vẫn đúng với K  1. Chứng minh. Trước tiên chúng ta thiết lập đánh giá cho tích phân Dirichlet trong hình tròn bán kính R / 2. Từ (1.8) ta có với bất kỳ hình tròn đồng tâm Br  BR , ta có: 2  ( p, q ) D( z)   Dw dx dy  2 K  dx dy  K ' r 2  ( x, y ) (1.11) Br Br q =2K  p ds  K ' r 2 , Cr s với s là ký hiệu độ dài cung tròn Cr  Br lấy theo phương ngược chiều kim 2 đồng hồ. Mặt khác sử dụng D'( z )   Dw Cr ds , ta thấy: 10Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn
9 1/2 q  2   s Cr p ds    p 2ds  Dq ds   Cr Cr  (1.12) 1/2      p 2 ds  Dw ds   M  2 rD '  r   . 2 1/2  Cr Cr  Thay vào (1.11) và thay r bằng R vào thành phần thứ hai của vế phải, ta thu được: D(r )  k1   k2r D'(r ) 2 (1.13) với k1   R2 K ' , k2  8 M 2 K 2 . Bây giờ hoặc là D( R / 2)  k1 , ta có ước lượng cần tìm; hoặc nếu không thì D(r )  k1 với r  r0  R / 2 nào đó và do đó với mọi r đủ lớn. Bất đẳng thức vi phân (1.13) được lấy tích phân trong miền r0  r1  r  r2  R và cho ta bất đẳng thức như sau: r 1 2 D '(r )dr 1 r   log 2 . D(r1 )  k1 r1  D(r )  k1 2 k2 r1 Lấy r1  R / 2, r2  R ta thu được: 8 (1.14) D( R / 2)  M 2 K 2   R2 K ' . log 2 Ta chú ý rằng việc chứng minh đánh giá này không liên quan tới các hạn chế lên K , K ' ngoài giả thiết K không âm. Ta cũng lưu ý rằng trong trường hợp tổng quát ta cũng không thể thu được đánh giá trong toàn bộ hình tròn Br , bởi vì rằng tập các hàm giải tích wn  z n , n  1,2,... tất cả đều thỏa mãn wn  1 trong z  1, nhưng: 2  z 1 Dwn dx dy   khi n   . 11Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn
10 2 Mặt khác  z 1 Dwn dx dy  C ( )   với bất kỳ   0 cố định, trong đó C ( ) độc lập với n . Ta tiếp tục sử dụng (1.14) cho tích phân Dirichlet trong BR/2 để đánh giá cấp tăng cho D r  . Từ bất đẳng thức,  1 2  1 2 px q y  px  2 qy , px q y  qx  2 py , (  0), 2 2 2 2 ta thu được  1 2 J  px q y  p y qx  wx  2 wy . 2 2 Do đó viết (1.8) dưới dạng, 2 wx  wy  2 KJ  K ' , 2 và thế   K  ( K 2  1)1/2 (hoặc tương tương K  (1   2 ) / 2 ), ta tìm được 1 2 2K ' wx  wy  2 .  2 1 2 Vì vậy wx  2 1 1 2 2  wx   2 wx 2  (1.15) 1  2 2 K '    Dw  2 . 1 2  1 2  Do (1.8) là bất biến dưới phép quay, bất đẳng thức này vẫn có hiệu lực nếu phép lấy đạo hàm theo hướng ws thay bởi wx . Chúng ta sẽ áp dụng (1.15) để thu được đánh giá chính xác hơn của  pq ds Cr s trong (1.11). Giả sử kí hiệu p  p(r ) là giá trị trung bình của p trên đường tròn Cr . Khi đó 12Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn
11 1  ( p  p) 2  (1.16)  Cr pqs ds   ( p  p)qs ds    Cr 2 Cr  r  rqs2  ds.  Ta sử dụng bất đẳng thức Wirtinger sau đây 2 2 2   p(r, )  p  d   p d , 2   0 0 có nghĩa là  ( p  p) ds  r  p 2 2 2 (1.17) s ds. Cr Cr (Kết quả này dễ dàng được chứng minh bằng cách khai triển p  p (r , ) thành chuỗi Fourier theo  và ứng dụng bất đẳng thức Parseval). Thay (1.17) vào (1.16), ta thấy rằng: r r 2  Cr pqs ds   2 Cr ( ps2  qs2 ) ds   ws ds , 2 Cr và do đó từ (1.15), r 2 2 2 K ' 2  Cr pqs ds   Dw ds  1   4 r . 2(1   2 ) Cr Thế bất đẳng thức này vào (1.11) và sử dụng lại hệ thức Dw ds  D'  r  , 2  Cr ta đi đến bất đẳng thức vi phân, r  2  (1.18) D r   D '  r   kr 2 , k   K ' 1  2  . 2  1  Điều này kéo theo  dr  r D r   2 kr12 , d 2 Từ phép lấy tích phân sau đây giữa r và r0 13Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn
12 2    r  (1.19) D(r )  D(r0 )  kr02    .  1   r0  Đặt r0  R / 2 và thay vào (1.14) ta thu được đánh giá (1.10) với C  max C2  K  , C3  K  M 2  K ' R 2  , với 32 2    2   C2  K , C3    4  1  2  . log 2  1    1    Cuối cùng ta nhận thấy rằng khi K '  0 các lý luận không bị ảnh hưởng khi cho phép K  1, và C được thay thế bởi C2 M 2 . 1.2.2 Đánh giá chuẩn Holder đối với ánh xạ á bảo giác. Bổ đề tính toán sau đây của Morrey là một bước thiết yếu để từ đánh giá cấp tăng của tích phân Dirichlet có thể nhận được đánh giá Holder trên chính hàm đó. Giả sử  và Ω là các miền trong 2 . Ta ký hiệu    nếu bao đóng của  chứa trong  , tức là    . Bổ đề 1.5. Giả sử w  C1 () và    với dist(, )  R . Giả sử các hằng số dương C , , R '  0 thỏa mãn 2 D (r , z )   Br ( z ) Dw dx dy  Cr 2 với mọi đĩa Br ( z ) có tâm z   và bán kính r  R '  R . Khi đó với mọi z1 , z2  thỏa mãn z2  z1  R ' , ta có C  w( z2 )  w( z1 )  2 z2  z1 .  14Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn
13 Sau đây là định lý về đánh giá tiên nghiệm Holder cho ánh xạ  K , K '  á bảo giác. Định lý 1.6. Giả sử w là  K , K '  á bảo giác trong miền  với K  1, K '  0 và giả sử w  M . Giả sử    với hình tròn   dist ,   d . Khi đó với mọi z1 , z2  . Ta có z2  z1 2 1 (1.20) w  z2   w  z1  C ,   K   K  1 2 . 2 d   trong đó C  C1  K  M  d K ' . Nếu K '  0 thì C  C1  K  M và kết luận này cũng đúng với K  1. d Chứng minh. Đầu tiên giả sử z2  z1  . Điều kiện của Bổ đề 1.4 và 1.5 áp 2 d dụng với R  d và R '  , vì vậy ta có: 2  z z w  z2   w  z1  L 2 1 d trong đó   1 L  C  K  M  K 'd 2 2 2   CK  M  d K ' . d Nếu z2  z1  thì 2 2  z z z z w  z2   w  z1   2M  2M 2 1  4M 2 1 . 1 2d d Do đó định lý được chứng minh với C1  K   max  4, C  K   . Để kết thúc phần này, ta có một số chú ý sau. 15Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn
14 Chú ý 1.7. 1 1. Số mũ   K   K 2  1 2 là lớn nhất để cho Bổ đề 1.4 và Định lý 1.6 là đúng. Điều này có thể thấy từ ví dụ của ánh xạ K  á bảo giác 1 w  z   r e ,   K   K  1 có số mũ  Holder tại z  0 . Cùng một  i 2 2 kết quả (cho K  1, K '  0 ) với số mũ  nhỏ hơn có thể đạt được từ chứng minh trực tiếp Bổ đề 1.4 bắt đầu với (1.11) và kết hợp với (1.15), trong trường hợp này bất đẳng thức (1.17) không cần phải sử dụng tới. 2. Phản ví dụ chỉ ra rằng Bổ đề 1.4 và Định lý 1.6 không đúng với số mũ   K   K 2  1 12 khi K  1 và K   0 , đó là với   1 . Tuy nhiên nếu một ánh xạ thỏa mãn (1.8) với K  1, nó cũng thỏa mãn bất đẳng thức đó với giá trị lớn hơn của K và kết quả tương ứng trong Bổ đề 1.4 và Định lý 1.6 khi áp dụng với số mũ  tùy ý gần đến 1. d 3. Nếu  bị chặn và được phủ và bởi N đĩa đường kính , chứng minh ta 2 thấy Định lý 1.6 vẫn đúng với giả thiết yếu hơn p  M , với hằng số C trong (1.20) cũng phụ thuộc vào N và do đó phụ thuộc vào đường kính của  . 4. Đánh giá toàn cục. Nếu w  p  iq là  K , K '  á bảo giác trong miền C 1   của  và w  C1  thì Định lý 1.6 được mở rộng cho đánh giá tiên nghiệm Holder toàn cục cho w . Đặc biệt nếu w  M và p  0 trên  khi đó w thỏa mãn một điều kiện Holder toàn cục với hệ số và số mũ Holder chỉ phụ thuộc vào K , K ' , M và  . Để chứng minh, đặt  là hợp hữu hạn các cung chồng lên nhau mà được duỗi thẳng bằng một đồng phôi C 1 phù hợp  x, y    ,  được xác định trong lân cận của cung. 16Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn
15 Hàm w là bảo giác trong biến số  ,  với hằng số K , K ' phụ thuộc vào K , K ' và  . Bằng phản xạ qua   0 để p  ,     p  ,  và q  ,    q  ,  trong mặt phẳng mở rộng  ,  , áp dụng đánh giá trong phần trước hàm p  iq được định nghĩa là  K , K '  á bảo giác. Quay lại mặt phẳng  x, y  ta thu được đánh giá Holder cho w trong  ; đó là w  z1   w  z2   C z1  z2 , z1, z2  , trong đó     K , K ',   và C  C  K , K ', , M  . Nếu p  p trên  với   p  C1  và p 1,  M , thì xét p  p trong vị trí của p , ta thấy w cũng thỏa mãn với đánh giá toàn cục, với  , C phụ thuộc vào K , K ', M , M ' và  . 17Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn
16 Chương 2 Bài toán Dirichlet cho phương trình elliptic á tuyến tính cấp hai 2.1 Đánh giá địa phương đối với chuẩn Holder cho đạo hàm cấp một của nghiệm phương trình tuyến tính cấp hai Những kết quả phần trước sẽ được áp dụng để thu được đánh giá Holder cho các nghiệm của đạo hàm cấp một của phương trình elliptic đều. (2.1) Lu  auxx  2buxy  cu yy  f , với a, b, c, f được xác định trong miền  của mặt phẳng z   x, y  . Ký hiệu     z  , =  z  là giá trị riêng nhỏ nhất và lớn nhất của ma trận các hệ số thỏa mãn (2.2)   2   2   a 2  2b  c 2    2   2  ,   ,   2 ; và giả sử L là elliptic đều trong  , tức là:  (2.3) .  18Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn
17 với hằng số   1 . Ta giả sử sup  f       . Chia (2.1) bởi giá trị riêng  cực tiểu  , Ta giả thiết rằng   1 và (2.2) cố định với   1 và    , khi f   . Ta giả thiết như sau. Đặt: p  ux , q  u y , ta có thể viết (2.1) thành a 2b f (2.4) px  py  qy  , p y  qx c c c Bằng phép lấy đạo hàm p là một nghiệm của phương trình elliptic đều dạng: a f  py     py   0 , 2b  px  c c c x y và tương tự ta có phương trình đối với q . Nhân vế trái của (2.4) với cpx , ta thu được: px  p y  apx  2bpx p y  cp y  cJ  fpx , 2 2 2 2 J  qx p y  q y px , tương tự qx  q y  aJ  fq y 2 2 Cộng các bất đẳng thức này và lưu ý rằng 2  a  c  1    1   , ta có Dp  Dq   a  c  J  f  px  q y  2 2 (2.5) . 1   1    J  1     px  q y . 2  Sử dụng bất đẳng thức, 1      px   q y    px  q y   1 1     2 ,   0, 2 2 2 2 và cố định   1 (đặc biệt chọn   2 ), từ (2.5) ta thu được: Dp  Dq  2 1    J  1     2 / 2. 2 2 2 (2.6) 19Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn
18 Do đó w  p  iq (hoặc q  ip ) xác định một ánh xạ  K , K '  á bảo giác thỏa mãn (1.8) với K 1  , K '  1     2 / 2 . 2 (2.7) Lấy  đủ nhỏ, hằng số K chọn tùy ý gần 1    / 2 . Nếu f  0 , ta trực tiếp thu được từ bất đẳng thức (2.2) và (2.3): Dw  Dp  Dq   a  c  J  1    J . 2 2 2 Trong trường hợp này ánh xạ w  p  iq là K  á bảo giác với hằng số K  1    / 2 . Có thể chỉ ra rằng hằng số á bảo giác nhỏ nhất không vượt quá K    1/   / 2 . Chúng ta thiết lập đánh giá cơ bản cho nghiệm của (2.1) mà nó cần cho lí thuyết phi tuyến tính tiếp theo. Chúng ta sử dụng kí hiệu   d z  dist  z ,   , d1.2  min d z1 , d z2 và phần trong chuẩn và nửa chuẩn Du  z2   Du  z1   2 u 1,   sup d1 1,2  , f  0  supd 2 f  z z1 , z2 z2  z1 z Định lý 2.1. Giả sử u là nghiệm thuộc C 2    và bị chặn của phương trình: Lu  auxx  2buxy  cu yy  f , với L là elliptic đều, thỏa mãn (2.2) và (2.3) trong miền  của 2 . Khi đó với bất kỳ    ( )  0 , ta có: u 1,  C  u 0   2   (2.8) f /0 , C  C ( ) . Đặc điểm quan trọng của kết quả này là đánh giá (2.8) chỉ phụ thuộc vào tính bị chặn và không phụ thuộc vào tính trơn của các hệ số. Điều này ngược lại với đánh giá Schauder phụ thuộc vào hằng số Holder của các hệ số. 20Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn