Luận văn Thạc sĩ Khoa học: Bài toán Calderón trong hình tròn đơn vị

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

Thêm vào BST

Báo xấu

19
lượt xem 4
download

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

Bài toán Calderón đặt ra là nếu như ta hiểu ánh xạ Dirichlet-Neumann thì ta biết được gì về tính dẫn của vật thể dẫn điện. Trong luận văn này, công việc của người viết là trình bày ví dụ mở rộng của Alessandrini về bài toán Calderón như xét được tính ổn định và khôi phục lại tính dẫn của vật. Mời các bạn 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ĩ Khoa học: Bài toán Calderón trong hình tròn đơn vị

ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC KHOA HỌC TỰ NHIÊN NGUYỄN THU HIỀN BÀI TOÁN CALDERÓN TRONG HÌNH TRÒN ĐƠN VỊ LUẬN VĂN THẠC SĨ TOÁN HỌC Hà Nội - 2019
ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC KHOA HỌC TỰ NHIÊN NGUYỄN THU HIỀN BÀI TOÁN CALDERÓN TRONG HÌNH TRÒN ĐƠN VỊ Chuyên ngành: Toán giải tích Mã số: 8 46 01 01 02 LUẬN VĂN THẠC SĨ TOÁN HỌC Người hướng dẫn khoa học: TS. ĐẶNG ANH TUẤN Hà Nội - 2019
Lời cảm ơn Tôi xin chân thành cảm ơn Ban giám hiệu, Ban chủ nhiệm Khoa Toán - Cơ - Tin học, Phòng Sau Đại Học, Phòng Đào tạo, Phòng CTCT - SV, trường Đại học Khoa học Tự nhiên, ĐHQGHN đã tạo điều kiện thuận lời và giúp đỡ tôi trong quá trình học tập cũng như nghiên cứu. Tôi xin được gửi lời cảm ơn tới các thầy cô trong Khoa Toán - Cơ - Tin học, trường ĐHKHTN - ĐHQGHN về sự động viên khích lệ, giúp đỡ trong suốt quá trình học tập. Đặc biệt, tôi xin bày tỏ lòng biết ơn sâu sắc tới TS.Đặng Anh Tuấn, người đã luôn hướng dẫn, chỉ bảo tận tình, sát sao tôi trong quá trình thực hiện luận văn. Tôi cũng xin gửi lời cảm ơn tới em Mai Thị Kim Dung, người đã giúp tôi trong việc sử dụng Latex và hoàn thiện trình bày luận văn. Cuối cùng, tôi xin được gửi lời cảm ơn tới người thân, bạn bè những người đã giúp đỡ, động viên tôi trong suốt quá trình thực hiện luận văn. Hà Nội, ngày 24 tháng 11 năm 2019. Học viên Nguyễn Thu Hiền 1
Mục lục Lời cảm ơn 1 Danh mục kí hiệu 3 Mở đầu 4 1 Chuẩn bị 6 1.1 Một số kiến thức giải tích . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 1.2 Không gian Sobolev . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 1.2.1 Không gian Sobolev trên xuyến . . . . . . . . . . . . . . . . . . . . 9 1.2.2 Không gian Sobolev trên B . . . . . . . . . . . . . . . . . . . . . . 17 2 Bài toán biên elliptic 26 2.1 Phương trình elliptic . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26 2.2 Ánh xạ Dirichlet - Neumann . . . . . . . . . . . . . . . . . . . . . . . . . 31 3 Bài toán Calderón 35 3.1 Ví dụ Alessandrini . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35 3.2 Mở rộng ví dụ Alessandrini . . . . . . . . . . . . . . . . . . . . . . . . . . 36 3.3 Một số ví dụ khác . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44 Kết luận 52 Tài liệu tham khảo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54 2
Danh mục kí hiệu • N : Tập hợp số tự nhiên. • Z+ : Tập hợp số nguyên không âm. • Zn+ : Tập hợp số nguyên không âm n chiều. • α : đa chỉ số, α ∈ Zn+ , α = (α1 , α2 , ..., αn ). • |α| = α1 + α2 + ... + αn . ∂ |α| u • Dα u : được định nghĩa Dα u = . ∂x1 α1 ∂x2 α2 ...∂xn αn • B = {(x1 , x2 ) ∈ R2 |x21 + x22 < 1}, hình tròn đơn vị tâm tại gốc. • Tn là xuyến n chiều, Tn = Rn /2πZn . • S1 = {eiθ |θ ∈ R} ⊂ R2 . • Với A có thể là S1 , B, Tn ta định nghĩa: Z đđ p L (A) = {u : A −−−−−−−→ C| |u(x)|p dx < ∞}, 1 ≤ p < ∞. Lebesgue A • C(S1 ): Không gian các hàm liên tục trên R, tuần hoàn chu kì 2π. • C m (B): Không gian các hàm có đạo hàm tới cấp m liên tục trên B, với ∀|α| ≤ m. ∞ • C ∞ (B): Không gian các hàm khả vi vô hạn trên B, C ∞ (B) = C m (B). T m=0 • C0 (B) = {u ∈ C(B), supp u là tập compact trong B}, supp u = {x ∈ B : u(x) 6= 0}. • C0m (B) = {u ∈ C m (B), supp u là tập compact trong B}. ∞ • C0∞ (B) = C0m (B). T m=0 • C m (B) : Không gian các hàm u có đạo hàm Dα u liên tục đều trên B, ∀|α| ≤ m. ∞ • C ∞ (B) = C m (B). T m=0 • ∇u = (ux1 , ux2 ) , uxj , j = 1, 2 là đạo hàm riêng của u theo xj . 3
Mở đầu Xét vật thể dẫn điện là một bản mỏng, có thể xem là hình tròn B với tính dẫn γ(x). Giả thiết trên miền B vật thể không có nguồn hoặc tụ. Đặt một điện áp f lên S1 sẽ sinh ra một điện thế u trong B, thỏa mãn bài toán biên Dirichlet  ∇ · (γ∇u) = 0 trong B,  (1) 1 u = f trên S .   1 Bài toán biên Dirichlet (1) có duy nhất nghiệm u ∈ H 1 (B) với mỗi f ∈ H 2 (S1 ). Khi đó 1 1 ta có thể định nghĩa ánh xạ Dirichlet-Neumann Λγ : H 2 (S1 ) → H − 2 (S1 ) được xác định bởi Λγ f = γ∂ν u|S1 . Λγ f biểu thị dòng điện đi ra theo hướng pháp tuyến trên S1 . Ánh xạ Dirichlet-Neumann hoàn toàn được xác định bằng phép đo đạc trên biên. Bài toán Calderón đặt ra là nếu như ta hiểu ánh xạ Dirichlet-Neumann thì ta biết được gì về tính dẫn của vật thể dẫn điện. Trong luận văn này, công việc của người viết là trình bày ví dụ mở rộng của Alessandrini về bài toán Calderón như xét được tính ổn định và khôi phục lại tính dẫn của vật. Ngoài ra người viết quan tâm đến các kết quả về tính ổn định C α , 0 < α < 1, của T.Barcelo và đồng nghiệp trong bài báo [11], tính ổn định H α , 0 < α < 1, của A. Clop và đồng nghiệp trong bài báo [5]. Bố cục của luận văn gồm 3 chương: • Chương 1: Trình bày những kiến thức về giải tích, không gian Sobolev trên xuyến và không gian Sobolev trên hình tròn để sử dụng cho các chương sau. • Chương 2: Trình bày các kết quả về tính trơn của nghiệm trong phương trình elliptic. Sau đó, từ định lý về sự tồn tại duy nhất nghiệm của bài toán biên Dirichlet cho phương trình elliptic, người viết trình bày định nghĩa và một số tính chất của ánh xạ Dirichlet-Neumann. Trong trường hợp hệ số của phương trình elliptic đặc biệt, người viết nhắc lại các kết quả giúp cho việc viết được tường minh ánh xạ Dirichlet- Neumann. 4
• Chương 3: Xuất phát từ ví dụ của Alessandrini, người viết quan tâm đến lớp tính dẫn  α0 + α1 (a − r)  nếu 0 < r < a, r = |x| , γα (x) = (2) α0  nếu a < r < 1, Đối với lớp tính dẫn này, người viết thu được các kết quả: (+) Viết tường minh ánh xạ Dirichlet - Neumann (D-N). (+) Tính ổn định Lipschitz. (+) Khôi phục được tính dẫn từ ánh xạ D-N. Về tính ổn định của các tính dẫn trong C α trong bài báo [11], T.Barcelo và đồng nghiệp thu được kγ1 − γ2 kL∞ (Ω) ≤ V kΛγ1 − Λγ2 k∗ . Bằng nội suy dẫn đến C β ổn định, 0 < β < α. Trong luận văn, người viết dùng dãy các tính dẫn r α γa (r) = 1 + a ρ , a > 0, a trong đó  1 e r2 −1 |r| < 1,  ρ (r) = 0 |r| ≥ 1,  để chỉ ra rằng β không thể bằng α. Về tính ổn định của các tính dẫn trong H α trong bài báo [5], A.Clop và đồng nghiệp thu được kγ1 − γ2 kL2 (Ω) ≤ V kΛγ1 − Λγ2 k∗ . Bằng nội suy dẫn đến H β ổn định, 0 < β < α. Để chỉ ra β không bằng α ta cần đến dãy các tính dẫn phức tạp hơn. Trong trường hợp C β ổn định ta cần một hình tròn con còn trong trường hợp này ta cần đến nhiều hình tròn con. Khi số hình tròn con tăng ra vô hạn ta sẽ thấy không H α ổn định. 5
Chương 1 Chuẩn bị 1.1 Một số kiến thức giải tích Ký hiệu Tn là xuyến n chiều, Tn = Rn /2πZn . Hàm f : Tn → C được hiểu f : Rn → C, tuần hoàn với chu kỳ 2πZn . Định nghĩa 1.1. Cho p ∈ [1; +∞), không gian Lp (Tn ) được định nghĩa như sau    Z  p n n p L (T ) := f : R → C : |f (x)| dx < +∞ ,   Tn R trong đó là tích phân Lebesgue trên [0; 2π]n , với chuẩn Tn   p1 Z 1 kf kLp (Tn ) :=  |f (x)|p dx . (2π)n Tn Nhận xét 1.1. (1) L2 (Tn ) là một không gian Hilbert trên C, với tích vô hướng Z 1 (f, g)L2 (Tn ) := f (x)g(x)dx, f, g ∈ L2 (Tn ). (2π)n Tn (2) Với n = 1 , T = R/2πZ = S1 , hàm f : T = S1 → C được hiểu f : R → C, tuần hoàn với chu kỳ 2π. (3) Với n = 2, T2 = R2 /2πZ2 6= S2 , hàm f : T2 → C được hiểu f : R2 → C thỏa mãn f (x1 + k1 2π, x2 + k2 2π) = f (x1 , x2 ), ∀k1 , k2 ∈ Z, ∀(x1 , x2 ) ∈ R2 . Khi đó L2 (T) = L2 S1 = L2 (0, 2π) ; L2 (Tn ) = L2 ((0, 2π)n ) . 6
Định nghĩa 1.2. ([8]) Với f ∈ L1 (Tn ), ta định nghĩa hệ số Fourier thứ k của f như sau: Z 1 f (k) = b f (x) e−ikx dx, (2π)n (0,2π)n trong đó k ∈ Zn , k = (k1 , k2 , ..., kn ), kx = k1 x1 + k2 x2 + ... + kn xn . Chuỗi Fourier của f là: X fb(k) ek với ek (x) = eikx . k∈Zn Định lý 1.1. ([8])(Tính duy nhất ) Cho f ∈ L1 (Tn ). Nếu fb(k) = 0 với mọi k ∈ Zn thì f = 0 hầu khắp nơi. Chứng minh. Xem chứng minh chi tiết trong [8], Định lý 3.2.4 . Định lý 1.2. ([8]) (i) Với mọi f ∈ L2 (Tn ), tổng riêng Sn,R f (x) = P fb(k)ek (x) hội tụ đến f trong k∈Zn ,|kj |≤R L2 (Tn ), khi R → ∞. |ak |2 < +∞. Khi đó tồn tại f ∈ L2 (Tn ) thỏa mãn P (ii) Với {ak }k∈Zn thỏa mãn k∈Zn fb(k) = ak . Cụ thể f là giới hạn trong L2 (Tn ) của P ak ek khi R → ∞. k∈Zn ,|kj |≤R Chứng minh. Xem chứng minh chi tiết trong [8], Định lý 3.2.7 . Định lý 1.3. ([8]) Cho f, g ∈ L2 (Tn ), ta có các đẳng thức sau: (1) Đẳng thức Parseval X (f, g)L2 (Tn ) = fb(k)b g (k). k∈Zn (2) Đẳng thức Plancherel X
2 kf k2L2 (Tn ) =
fb(k)
.
k∈Zn Chứng minh. Xem chứng minh chi tiết trong [8], Định lý 3.2.7 . Phần tiếp theo, ta sẽ quan tâm đến tích chập. Định nghĩa 1.3. Cho f, g là hàm đo được trên Rn , tích chập của hai hàm đo được f, g được định nghĩa hình thức như sau Z (f ∗ g)(x) = f (x − y)g(y)dy, x ∈ Rn . Rn 7
Định nghĩa 1.4. (1) Cho hàm ρ ∈ C0∞ (Rn ) được xác định bởi   Ce |x|21−1 nếu |x| < 1, ρ(x) = 0 nếu |x| ≥ 1,  R trong đó C là hằng số sao cho ρ(x)dx = 1. Rn (2) Với mỗi ε > 0, ta định nghĩa 1 x ρε (x) = ρ( ). εn ε Nhận xét 1.2. (1) ρ ≥ 0 và ρ ∈ C0∞ (Rn ), supp ρ = B(0, 1). (2) ρε ∈ C0∞ (Rn ) thỏa mãn Z ρε (x)dx = 1, Rn và supp ρε ⊆ B(0, ε). Mệnh đề 1.1. Với R > 0, ε > 0 và x0 ∈ Rn . Ta xây dựng được một hàm cắt η = χBR+ ε (x0 ) ∗ ρ 2ε , 2 thỏa mãn (1) η ∈ C0∞ (Rn ) và 0 ≤ η ≤ 1 trong Rn . (2) η = 1 trong BR (x0 ) và η = 0 ngoài BR+ε (x0 ). C (3) | 5 η| ≤ ε , trong Rn với C là một hằng số dương. Chứng minh. Tính toán tương tự trong chứng minh Mệnh đề 1.2 trong [3]. Ta có thể xem u ∈ Lp (B) như một hàm u ∈ Lp (Rn ) bằng cách cho u = 0 ngoài B. Khi đó sử dụng Mệnh đề 1.2 trong [1] ta có kết quả sau. Mệnh đề 1.2. Cho 1 ≤ p < ∞. Khi đó với mọi u ∈ Lp (B), ta có ρε ∗ u hội tụ đến u trong Lp (B), khi ε → 0+ . Định lý 1.4. ([8])(Bất đẳng thức Young) Cho 1 ≤ p, q ≤ ∞ và r ≥ 1 thỏa mãn 1 1 1 1 + = + . Nếu f ∈ Lp (Rn ), g ∈ Lq (Rn ), thì r p q kf ∗ gkLr (Rn ) ≤ kf kLp (Rn ) kgkLq (Rn ) . (1.1) Chứng minh. Xem chứng minh chi tiết trong [8], Định lý 1.2.12. 1 1 1 1 1 Nhận xét 1.3. Với 1 ≤ p, q ≤ ∞ và r ≥ 1 thỏa mãn 1 + = + thì 1 ≤ + ≤ 2. r p q p q 8
1.2 Không gian Sobolev 1.2.1 Không gian Sobolev trên xuyến Định nghĩa 1.5. Cho s > 0, không gian Sobolev trên xuyến được định nghĩa như sau: ( ) X s
2 H s (Tn ) = f ∈ L2 (Tn ) : 1 + |k|2
fb(k)