phương pháp dùng hàm biến thực để nghiên cứu các không gian nội suy

LỜI CẢM ƠN Luận văn này của tôi được hoàn thành dưới sự hướng dẫn và chỉ bảo tận tình của PGS.TSKH Nguyễn Minh Trí. Em xin bày tỏ lòng biết ơn sâu sắc và lòng thành kính nhất đến Thầy. Thầy không chỉ hướng dẫn em nghiên cứu khoa học mà còn thông cảm, động viên và tạo mọi điều kiện thuận lợi cho em trong suốt quá trình làm luận văn. Cũng nhân dịp này tôi xin chân thành cảm ơn gia đình, bạn bè đã động viên tôi trong quá trình học tập. Tôi xin cảm ơn vợ của tôi, người đã bên tôi, động viên và tạo mọi điều kiện thuận lợi cho tôi trong suốt quá trình học tâp và nghiên cứu. Em xin bày tỏ lòng biết ơn chân thành đến các thầy, cô giáo trong viện Toán học Việt Nam và các thầy, cô giáo trong khoa sau Đại học, khoa Toán trường Đại học Sư Phạm - Đại học Thái Nguyên đã dạy bảo em tận tình trong suốt quá trình em học tập tại trường. Bản luận văn này chắc chắn không tránh khỏi những hạn chế và thiếu sót. Em rất mong được sự góp ý của các thầy cô và các đồng nghiệp để luận văn được hoàn thiện hơn. Thái Nguyên, tháng 8 năm 2010 Học viên Bùi Văn Anh 1 Số hóa bởi Trung tâm Học liệu - Đại học Thái Nguyên http://www.lrc-tnu.edu.vn LỜI NÓI ĐẦU Lý thuyết các không gian nội suy được bắt đầu nghiên cứu một cách có hệ thống bởi J.Peetre [6], J.L.Lions [5] và A.P.Calderon [2] và các chuyên gia khác từ những năm 1960. Những định lý của Riesz - Thorin và Marcinkiewicz là những kết quả sơ khai, nền tảng cho lý thuyết nội suy. Lý thuyết nội suy được ứng dụng trong nhiều nhánh của Giải tích. Gần đây trong công trình của T.Tao, một bất đẳng thức nội suy cũng đã được dùng bởi [4]. Trong luận văn này tôi sẽ giới thiệu phần cơ sở của lý thuyết nội suy. Tài liệu tham khảo chính được sử dụng là quyển sách [3]. Trong quyển sách này nhiều định lý không được chứng minh trọn vẹn, bởi vậy có nhiều chỗ chúng tôi phải chứng minh chi tiết và chặt chẽ. Luận văn gồm ba chương. Trong Chương 1, chúng tôi trình bày các khái niêm và tính chất cơ bản của không gian Sobolev. Trong Chương 2, chúng tôi trình bày các khái niệm và tính tính chất cơ bản của không gian nội suy. Chương 3 là chương quan trọng nhất của luận văn, trình bày phương pháp nội suy thực. Chúng tôi trình bày phương pháp - K và phương pháp - J, Định lý tương đương của hai phương pháp đó, những tính chất cơ bản của không gian A θ,q , Định lý quan hệ, Định lý đảo, một công thức cho phương pháp nội suy - K, Định lý compact và các ứng dụng của phương pháp nội suy vào không gian Sobolev, không gian L p . 2 Số hóa bởi Trung tâm Học liệu - Đại học Thái Nguyên http://www.lrc-tnu.edu.vn MỤC LỤC Trang Lời cảm ơn 1 Lời nói đầu 2 Mục lục 3 Chương 1. Không gian Sobolev 4 1.1. Định nghĩa 4 1.2. Các tính chất 4 Chương 2. Những tính chất cơ bản của không gian nội suy 8 2.1.Phạm trù và hàm tử 8 2.2. Không gian vectơ định chuẩn 8 2.3. Cặp không gian 10 2.4. Định nghĩa không gian nội suy 12 2.5. Định lý Aronszajn-Gagliardo 14 2.6. Một điều cần thiết cho không gian nội suy 17 2.7. Định lý đối ngẫu 18 Chương 3. Phương pháp nội suy thực 21 3.1. Phương pháp - K 21 3.2. Phương pháp - J 26 3.3. Định lý tương đương 30 3.4. Những tính chất cơ bản của không gian A θ,q 32 3.5.Định lý đảo 36 3.6. Một công thức cho phương pháp nội suy - K 41 3.7.Định lý đối ngẫu 45 3.8. Định lý compact 47 3.9. Một số ứng dụng 49 Kết luận 54 Tài liệu tham khảo 55 3 Số hóa bởi Trung tâm Học liệu - Đại học Thái Nguyên http://www.lrc-tnu.edu.vn CHƯƠNG 1. KHÔNG GIAN SOBOLEV 1.1 Định nghĩa. 1.1.1. Chuẩn Sobolev. Chúng ta định nghĩa một hàm ||.|| m,p , ở đây m là một số nguyên dương và 1 ≤ p ≤ ∞, như sau ||u|| m,p =   0≤|α|≤m ||D α u|| p p  1 p nếu 1 ≤ p < ∞ (1) ||u|| m,∞ = max 0≤|α|≤m ||D α u|| ∞ (2) với mọi hàm u mà vế phải có nghĩa, ||.|| p là chuẩn trên L p (Ω). Trong một số trường hợp tránh nhầm lẫn ta sử dụng ||u|| m,p,Ω thay cho ||u|| m,p . 1.1.2 Không gian Sobolev. Với mọi số nguyên dương m và 1 ≤ p ≤ ∞ chúng ta xét ba không gian sau (a) H m,p (Ω) ≡ làm đầy {u ∈ C m (Ω) : ||u|| m,p < ∞}, với chuẩn ||u|| m,p , (b) W m,p (Ω) ≡ {u ∈ L p (Ω) : D α u ∈ L p (Ω) với 0 ≤ |α| ≤ m}, ở đây D α u là đạo hàm suy rộng, (c) W m,p 0 (Ω) là bao đóng của không gian C ∞ 0 (Ω) trong không gian W m,p (Ω). Hiển nhiên W 0,p (Ω) = L p (Ω), và nếu 1 ≤ p < ∞ thì W 0,p 0 (Ω) = L p (Ω) bởi vì C ∞ 0 (Ω) trù mật trong L p (Ω). Với mọi m, chúng ta có dãy phép nhúng W m,p 0 (Ω) → W m,p (Ω) → L p (Ω). 1.2. Các tính chất. 1.2.1. Định lý. W m,p (Ω) là một không gian Banach. Chứng minh. Cho u n là một dãy Cauchy trong không gian W m,p (Ω). Thì D α u n là một dãy Cauchy trong không gian L p (Ω) với 0 ≤ |α| ≤ m. Vì L p (Ω) là không gian định chuẩn đầy đủ nên tồn tại hàm u và u α , 0 ≤ |α| ≤ m, sao cho u n → u và D α u n → u α trong L p (Ω) khi n → ∞. Ta có L p (Ω) ⊂ L 1 loc (Ω) vì vậy u n xác định một dãy T u n ∈ D  (Ω). Với mọi φ ∈ D(Ω), theo bất đẳng thức H¨older ta có |T u n (φ) − T u (φ)| ≤  Ω |u n (x) − u(x)||φ(x)|dx ≤ ||φ|| p  ||u n − u|| p , 4 Số hóa bởi Trung tâm Học liệu - Đại học Thái Nguyên http://www.lrc-tnu.edu.vn ở đây p  là số liên hợp của p. Do đó T u n (φ) → T u (φ) với mọi φ ∈ D(Ω) khi n → ∞. Tương tự, T D α u n (φ) → T u α (φ) với mọi φ ∈ D(Ω). Do đó T u α (φ) = lim n→∞ T D α u n (φ) = lim n→∞ (−1) |α| T u n D α (φ) với mọi φ ∈ D(Ω). Do đó u α = D α u với 0 ≤ |α| ≤ m, u ∈ W m,p (Ω). Vì vậy lim n→∞ ||u n − u|| m,p = 0, suy ra W m,p (Ω) là không gian định chuẩn đầy đủ.  1.2.2. Hệ quả. H m,p (Ω) ⊂ W m,p (Ω). Chứng minh. Xét tập hợp S = {φ ∈ C m (Ω) : ||φ|| m,p < ∞}, thì S là tập con của W m,p (Ω). Vì W m,p (Ω) là đầy đủ, nên ánh xạ đồng nhất trên S có thể thác triển lên một phép đẳng cự từ bao đóng của S trong W m,p (Ω) đến H m,p (Ω)(làm đầy của S). Vì vậy ta có thể đồng nhất H m,p (Ω) với bao đóng đó.  1.2.3. Định lý. Cho A là một tập con của R n và cho A là lớp các tập mở trong R n phủ A, nghĩa là, A ⊂  U∈A U. Thì có một lớp Ψ của các hàm ψ ∈ C ∞ 0 (R n ) có những tính chất dưới đây (i) Với mọi ψ ∈ Ψ và với mọi x ∈ R n , 0 ≤ ψ(x) ≤ 1. (ii) Nếu K  A, mọi hàm ψ ∈ Ψ đều triệt tiêu trên K. (iii) Với mọi ψ ∈ Ψ tồn tại U ∈ A sao cho supp(ψ) ⊂ U. (iv) Với mọi x ∈ A, ta có  ψ∈Ψ ψ(x) = 1. Ta gọi Ψ là một C ∞ -phân hoạch đơn vị của A theo phủ mở A. Chứng minh. Trước hết giả sử A là compact. Khi đó có một lớp hữu hạn các tập hợp trong A sao cho nó phủ A, tức là A ⊂  N j=1 U j . Ta có thể xây dựng được các tập compact K j , j = 1, 2, , N mà K j ⊂ U j , j = 1, 2, , N sao cho A ⊂  N j=1 K j . Với mỗi j ta tìm được một hàm không âm φ j ∈ C ∞ 0 (U j ) sao cho φ j (x) > 0, ∀x ∈ K j . Một hàm φ trong C ∞ (R n ) được xây dựng sao cho φ(x) > 0 trên R n và φ(x) =  N j=1 φ j (x), ∀x ∈ A. Ta thấy Ψ = {ψ j : ψ j (x) = φ j (x) φ(x) , 1 ≤ j ≤ N} thoả mãn những tính chất của định lý. 5 Số hóa bởi Trung tâm Học liệu - Đại học Thái Nguyên http://www.lrc-tnu.edu.vn Nếu A là một tập mở bất kì, thì A =  ∞ j=1 A j , ở đây A j = {x ∈ A : |x| ≤ j, dist(x, ∂A) ≥ 1 j } là tập compact. Đặt A 0 = A −1 = ∅, với mỗi j ≥ 1 chọn A j = {U ∩ (A j+1 ∩ A c j−2 ) 0 : U ∈ A}, ở đậy kí hiệu A 0 là phần trong của tập A. Hiển nhiên A j là một phủ của A j và vì vậy có một C ∞ - phân hoạch đơn vị Ψ j của A j theo phủ mở A j . Tổng σ(x) =  ∞ j=1  φ∈ψ j φ(x) chỉ gồm hữu hạn những số hạng khác không với mỗi x ∈ A. Khi đó Ψ = {ψ : ψ(x) = φ(x) σ(x) , với φ ∈ Ψ j nếu x ∈ A, ψ(x) = 0, x /∈ A} có những tính chất của định lý. Cuối cùng, nếu A bất kì, thì A ⊂ B, với B là hợp tất cả các tập U ∈ A, B là tập mở. Với mọi phân hoạch đơn vị của B thì cũng là phân hoạch đơn vị của A.  1.2.4. Bổ đề. Cho J ε được định nghĩa trong 2.28[1], 1 ≤ p < ∞ và u ∈ W m,p (Ω). Nếu Ω  là một tập con compact đóng trong Ω, thì lim ε→0+ J ε ∗ u = u trong W m,p (Ω  ). Chứng minh. Cho ε < dist(Ω  , ∂Ω), và ˜u là sự mở rộng của u bên ngoài Ω. Nếu φ ∈ D(Ω  ), thì  Ω  J ε ∗ u(x)D α φ(x)dx =  R n  R n ˜u(x − y)J ε (y)D α φ(x)dxdy = (−1) |α|  R n  Ω  D α x u(x − y)J ε (y)φ(x)dxdy = (−1) |α|  Ω  J ε ∗ D α u(x)φ(x)dx. Vì vậy D α J ε ∗ u = J ε ∗ D α u là đạo hàm suy rộng trong Ω  . Từ D α u ∈ L p (Ω) với 0 ≤ |α| ≤ m và Định lý 2.29(c)[1] ta có lim ε→0+ ||D α J ε ∗ u − D α u|| p,Ω  = lim ε→0+ ||J ε ∗ D α u − D α u|| p,Ω  = 0. Vì vậy lim ε→0+ ||J ε u − u|| m,p,Ω  = 0.  1.2.5. Định lý. Nếu 1 ≤ p < ∞, thì H m,p (Ω) = W m,p (Ω). 6 Số hóa bởi Trung tâm Học liệu - Đại học Thái Nguyên http://www.lrc-tnu.edu.vn Chứng minh. Theo Hệ quả 1.4 ta chỉ cần chứng minh W m,p (Ω) ⊂ H m,p (Ω), tức là phải chứng minh {φ ∈ C m (Ω) : ||φ|| m,p < ∞} trù mật trong W m,p (Ω). Thật vậy nếu u ∈ W m,p (Ω) và ε > 0, thì luôn tồn tại φ ∈ C ∞ (Ω) sao cho ||φ − u|| m,p < ε, do đó C ∞ (Ω) trù mật trong W m,p (Ω). Với k = 1, 2 xét Ω k = {x ∈ Ω : |x| < k và dist(x, ∂Ω) > 1/k}, và cho Ω 0 = Ω −1 = ∅. Thì A = {U k : U k = Ω k+1 ∩ (Ω k−1 ) c , k = 1, 2, } là một lớp các tập con mở của Ω mà phủ Ω. Cho Ψ là một C ∞ - là một phân hoạch đơn vị của Ω theo phủ mở A. Cho ψ k là tổng của hữu hạn của các hàm ψ ∈ Ψ mà giá của chúng chứa ttrong U k . Thì ψ k ∈ C ∞ 0 (U k ) và  ∞ k=1 ψ k (x) = 1 trên Ω. Nếu 0 < ε < 1 (k+1)(k+2) , thì J ε ∗ (ψ k u) có giá trong V k = Ω k+2 ∩ (Ω k−2 ) c  Ω. Vì ψ k u ∈ W m,p (Ω) nên chúng ta có thể chọn ε k thoả mãn 0 < ε k < 1 (k+1)(k+2) , sao cho ||J ε k ∗ (ψ k u) − ψ k u|| m,p,Ω = ||J ε k ∗ (ψ k u) − ψ k u|| m,p,V k < ε 2 k . Đặt φ =  ∞ k=1 J ε k ∗ (ψ k u). Trên một tập bất kỳ Ω   Ω chỉ có hữu hạn số hạng của tổng đó khác không. Vì vậy φ ∈ C ∞ (Ω). Với mọi x ∈ Ω k , ta có u(x) = k+2  j=1 ψ j (x)u(x), và φ(x) = k+2  j=1 J ε j ∗ ψ j u(x). Vì vậy ||u − φ|| m,p,Ω k ≤ k+2  j=1 ||J ε j ∗ (ψ j u) − ψ j u|| m,p,Ω < ε. Theo Định lý 1.48[1] về sự hội tụ đều thì ||u − φ|| m,p,Ω < ε.  7 Số hóa bởi Trung tâm Học liệu - Đại học Thái Nguyên http://www.lrc-tnu.edu.vn CHƯƠNG 2. NHỮNG TÍNH CHẤT CƠ BẢN CỦA KHÔNG GIAN NỘI SUY Trong chương này chúng ta đưa ra một số định nghĩa và kí hiệu cơ bản. Chúng ta thảo luận một vài kết quả tổng quát của không gian nội suy. Một điều quan trọng là định lý Aronszajn-Gagliardo. 2.1. Phạm trù và hàm tử. Một phạm trù C cấu tạo từ các vật A, B, C, và các cấu xạ R, S, T, Giữa các vật và các cấu xạ có quan hệ được định nghĩa, T : A → B và S : B → C thì có một cấu xạ ST là tích của S và T, sao cho ST : A → C thoả mãn luật kết hợp sau (1) T (SR) = (T S)R. Hơn nữa, với mọi vật A trong C, có một cấu xạ I = I A , sao cho với mọi cấu xạ T : A → A ta có (2) T I = IT = T. Trong phần này chúng ta thường làm việc với phạm trù các không gian vectơ tôpô. Cấu xạ là các ánh xạ liên tục, ST là ánh xạ tích, I là ánh xạ đồng nhất. Với phạm trù các không gian vectơ tôpô chúng là các toán tử tuyến tính liên tục. Cho C 1 và C là hai phạm trù. Hàm tử F từ C 1 vào C, nghĩa là, mọi vật A trong C 1 và F (A) trong C, mọi cấu xạ T trong C 1 tương ứng với cấu xạ F (T) trong C. Nếu T : A → B thì F (T) : F (A) → F (B) và (3) F (ST ) = F (S)F (T), (4) F (I A ) = I F (A) . 2.2. Không gian vectơ định chuẩn. Trong phần này chúng ta xét phạm trù các không gian vectơ tôpô. Cho A là một không gian vectơ thực hoặc phức. Thì A được gọi là một không gian vectơ định chuẩn nếu có một hàm(một chuẩn) ||.|| A xác định trên A sao cho (1) ||a|| A ≥ 0 và ||a|| A = 0 nếu a = 0, (2) ||λa|| A = |λ|||a|| A , λ là một hằng số, (3) ||a + b|| A ≤ ||a|| A + ||b|| A . 8 Số hóa bởi Trung tâm Học liệu - Đại học Thái Nguyên http://www.lrc-tnu.edu.vn Nếu A là một không gian vectơ định chuẩn thì có một tôpô trên A. Một lân cận của phần tử a là tập hợp tất cả các phần tử b thuộc A sao cho ||b − a|| A < ε với hằng số ε > 0. Cho A và B là hai không gian vectơ định chuẩn. Một ánh xạ T từ A vào B gọi là một toán tử tuyến tính bị chặn nếu với mọi a, b ∈ A và mọi λ ∈ K ta có T (λa) = λT (a), T (a + b) = T (a) + T(b) và ||T || A,B = sup a=0 ||T a|| B ||a|| A . Hiển nhiên toán tử tuyến tính bị chặn là liên tục và ta cũng dễ dàng chứng minh được không gian tất cả các toán tử tuyến tính bị chặn từ từ A vào B là một không gian vectơ định chuẩn với chuẩn ||.|| A,B . Chúng ta xét phạm trù N tất cả các không gian vectơ định chuẩn. Các vật trong N là các không gian vectơ định chuẩn và các cấu xạ là các toán tử tuyến tính bị chặn. Hiển nhiên N là phạm trù con của phạm trù các không gian vectơ tôpô. 2.2.1. Bổ đề. Giả sử A là một không gian vectơ định chuẩn. Thì A là đầy đủ nếu và chỉ nếu  ∞ k=1 ||a n || A < ∞ kéo theo có một phần tử a ∈ A sao cho ||a−  N n=1 a n || A → 0 khi N → ∞. Chứng minh. Giả sử A là đầy đủ và  ||a n || A hội tụ. Xét dãy b ν =  ν n=1 a n thì (b ν ) là một dãy Cauchy trong A, do A đầy đủ nên (b ν ) hội tụ về a ∈ A, suy ra  ∞ n=1 a n = a ∈ A. Ngược lại, giả sử (a ν ) là một dãy Cauchy trong A. Khi đó với mỗi n ∈ N, tồn tại k n sao cho với mọi l, m ≥ k n ta đều có ||a l − a m || A < 1 2 n , như vậy ta được dãy (a νj ) sao cho ||a l − a m || A < 1 2 j suy ra  ∞ j=1 ||a νj − a νj−1 || A <  ∞ j=1 1 2 j  ∞ j=1 ||a νj − a νj−1 || A hội tụ, theo giả thiết thì  ∞ j=1 a νj − a νj−1 thuộc A, suy ra dãy S νj = j  k=1 a νk − a νk−1 = a νj − a ν0 hội tụ, suy ra a νj hội tụ.  9 Số 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.3. Cặp không gian. Cho A 0 và A 1 là hai không gian vectơ tôpô. Ta nói A 0 và A 1 là cặp so sánh được nếu có một không gian vectơ tôpô Hausdorff A sao cho A 0 và A 1 là không gian con của A. Thì có các tổng A 0 + A 1 và giao A 0 ∩ A 1 . Tổng xét tất cả các phần tử a ∈ A sao cho có thể viết dưới dạng a = a 0 + a 1 với a 0 ∈ A 0 và a 1 ∈ A 1 . 2.3.1. Bổ đề. Giả sử A 0 và A 1 là một cặp không gian vectơ định chuẩn so sánh được. Thì A 0 ∩ A 1 là một không gian vectơ định chuẩn với chuẩn được định nghĩa như sau (1) ||a|| A 0 ∩A 1 = max(||a|| A 0 , ||a|| A 1 ). Hơn nữa, A 0 + A 1 cũng là một không gian vectơ định chuẩn với chuẩn, (2) ||a|| A 0 +A 1 = inf a=a 0 +a 1 (||a 0 || A 0 + ||a 1 || A 1 ). Nếu A 0 và A 1 là đầy đủ thì A 0 ∩ A 1 và A 0 + A 1 cũng là các không gian đầy đủ. Chứng minh. *) Chứng minh A 0 ∩ A 1 là không gian vectơ định chuẩn. Với mọi a ∈ A 0 ∩A 1 , ta có ||a|| A 0 ∩A 1 ≥ 0 và ||a|| A 0 ∩A 1 = 0 ⇔ ||a|| A 0 = 0 và ||a|| A 1 = 0 ⇔ a = 0. Với mọi a ∈ A 0 ∩ A 1 , λ ∈ K, ta có ||λa|| A 0 = |λ|||a|| A 0 và ||λa|| A 1 = |λ|||a|| A 1 , suy ra ||λa|| A 0 ∩A 1 = max(|λ|||a|| A 0 |λ|||a|| A 1 ) = |λ|||a|| A 0 ∩A 1 . Với mọi a, b ∈ A 0 ∩ A 1 , ta có ||a + b|| A 0 ≤ ||a|| A 0 + ||b|| A 0 và ||a + b|| A 1 ≤ ||a|| A 1 + ||b|| A 1 . Từ đó suy ra ||a + b|| A 0 ∩A 1 ≤ max(||a|| A 0 + ||b|| A 0 , ||a|| A 1 + ||b|| A 1 ) ≤ ||a|| A 0 ∩A 1 + ||b|| A 0 ∩A 1 . Vậy A 0 ∩ A 1 là không gian vectơ định chuẩn. *)Chứng minh A 0 + A 1 là không gian vectơ định chuẩn. Hiển nhiên ||a|| A 0 +A 1 ≥ 0 với mọi a ∈ A 0 + A 1 . 10 Số hóa bởi Trung tâm Học liệu - Đại học Thái Nguyên http://www.lrc-tnu.edu.vn [...]... (B) là không gian nội suy chính xác của số mũ θ Theo Định lý 2.4.2 mọi hàm tử nội suy F trên B là đều, có nghĩa là ||T ||F (A),F (B) ≤ C max(||T ||A0 ,B0 , ||T ||A1 ,B1 ) với C là hằng số và nó phụ thuộc vào cặp A và B Thật vậy, vì F là hàm tử nội suy nên F (A) và F (B) là không gian nội suy, và do ta xét trên pham trù các không gian Banach nên F (A) và F (B) nội suy đều, suy ra F là hàm tử nội suy đều... là không gian nội suy giữa Lp0 và Lp1 nếu p0 < p < p 1 Nhận xét +) (A) và +) (A) và (A) là các không gian nội suy đối với cặp A và B (A) là các không gian nội suy đối với cặp A và B Thật vậy, chỉ cần chọn A = (A) (hoặc A = (A)) và B = (B)(hoặc B = (B)) Ta nói A và B là các không gian nội suy chính xác nếu điều kiện sau xảy ra (4) ||T ||A,B ≤ max(||T ||A0 ,B0 , ||T ||A1 ,B1 ) A và B là các không gian. .. A sẽ được gọi là một không gian trung gian giữa A0 và A1 nếu (1) (A) ⊂ A ⊂ (A) Với bao hàm liên tục Không gian A được gọi là không gian nội suy giữa A0 và A1 (hay đối với cặp A) nếu thêm điều kiện (2) T : A → A kéo theo T : A → A Tông quát, cho A và B là hai cặp trong C1 Ta nói rằng hai không gian A và B là không gian nội suy với cặp A và B nếu A và B là các không gian trung gian đối với A và B và... nội suy (hoặc một phương pháp nội suy) trên C có nghĩa là một hàm tử F : C1 → C thoả mãn nếu A và B là cặp trong C1 , thì F (A) và F (B) là không gian nội suy đối với cặp A và B Hơn nữa chúng ta có F (T ) = T với mọi T : A −→ B Ta nói F là hàm tử nội suy đều(tương tự chính xác) nếu F (A) và F (B) là không gian nội suy đều(tương tự chính xác) đối với cặp A và B Ta nói F là hàm tử nội suy chính xác của... đều Nếu C không phụ thuộc vào cặp A và B ta nói rằng F là hàm tử nội suy bị chặn Chú ý C = 1 thì F là hàm tử nội suy chính xác 2.5 Định lý Aronszajn-Gagliardo Số hóa bởi Trung tâm Học liệu - Đại học Thái Nguyên 14 http://www.lrc-tnu.edu.vn 2.5.1 Định lý( Aronszajn-Gagliardo) Xét phạm trù B của tất cả các không gian Banach Cho A là một không gian nội suy với cặp A Khi đó tồn tại một hàm tử nội suy đều... ||A,A ||aj ||A = ||a||A , suy ra A ⊂ F0 (A) 2.5.2 Hệ quả Xét phạm trù B Cho A là một không gian nội suy với cặp A và cho F0 là một hàm tử nội suy được xây dựng trong chứng minh của Định lý 2.5.1 Thì F0 (X) ⊂ G(X) với bất kì hàm tử nội suy G thoả mãn G(A) = A Chứng minh Nếu x = j Tj aj là một biểu diễn của x ∈ X = F0 (X) thì Tj : A → X Đặt Y = G(X), vì A và Y là các không gian nội suy đều với cặp Số hóa... ||A1 ,B1 ) A và B là các không gian nội suy đều nếu điều kiện sau xảy ra (5) ||T ||A,B ≤ C max(||T ||A0 ,B0 , ||T ||A1 ,B1 ) Không gian nội suy A và B của số mũ θ, (0 ≤ θ ≤ 1) nếu (6) ||T ||A,B ≤ C||T ||1−θ 0 ||T ||θ 1 ,B1 A A0 ,B Nếu C = 1 thì ta nói rằng A và B là các không gian nội suy chính xác của số mũ θ Định lý Riesz-Thorin nói rằng Lp là không gian nội suy giữa Lp0 và Lp1 mà chính xác của... là các không gian Banach.(Sử dụng tính chất không gian trung gian. ) Ánh xạ đồng nhất i : L1 → L2 hiển nhiên là song ánh tuyến tính bị chặn Theo Định lý Banach i−1 : L2 → L1 cũng bị chặn Điều này có nghĩa là ||T ||A,B ≤ max(||T ||A,B , ||T ||A0 ,B0 , ||T ||A1 ,B1 ) ≤ C max(||T ||A0 ,B0 , ||T ||A1 ,B1 ) Với C độc lập với T, nghĩa là A và B là các không gian nội suy đều 2.4.3 Định nghĩa Một hàm tử nội suy. .. tụ trong A0 + A1 , suy ra A0 + A1 là không gian định chuẩn đầy đủ *)Hoàn toàn tương tự ta chứng minh được A0 ∩ A1 là không gian định chuẩn đầy đủ Cho C là phạm trù con của của phạm trù các không gian tuyến tính định chuẩn N , chúng ta giả sử ánh xạ T : A → B là ánh xạ tuyến tính bị chặn từ không gian tuyến tính định chuẩn A vào không gian tuyến tính định chuẩn B Gọi C1 là phạm trù các cặp so sánh được... Vì J(t, b) = max(||b||B0 , t||b||B1 ) ≥ ti ||b||Bi suy ra, ti ||b||Bi K(t,a) ≤ J(t,b) K(t,a) ≤ 1 Vì A và B là các không gian nội suy đều, nên ||T x||B ≤ C.||x||A , với mọi x ∈ A Đặt x = a, ta có ||b||B ≤ C.||a||A vì T a = b Cuối cùng nếu A và B là không gian nội suy chính xác thì đương nhiên C = 1 2.7 Định lý đối ngẫu Giả sử B là phạm trù các không gian Banach 2.7.1 Định lý Giả sử (A) là trù mật trong . vì F là hàm tử nội suy nên F(A) và F (B) là không gian nội suy, và do ta xét trên pham trù các không gian Banach nên F (A) và F (B) nội suy đều, suy ra F là hàm tử nội suy đều. Nếu C không phụ. L p là không gian nội suy giữa L p 0 và L p 1 nếu p 0 < p < p 1 . Nhận xét. +) (A) và (A) là các không gian nội suy đối với cặp A và B. +)  (A) và  (A) là các không gian nội suy đối. không gian 10 2.4. Định nghĩa không gian nội suy 12 2.5. Định lý Aronszajn-Gagliardo 14 2.6. Một điều cần thiết cho không gian nội suy 17 2.7. Định lý đối ngẫu 18 Chương 3. Phương pháp nội suy thực