1. Trang chủ
  2. » Luận Văn - Báo Cáo

Ng dụng định lý krasnoselskii trong phương trình vi phân và tích phân

102 1 0

Đang tải... (xem toàn văn)

Tài liệu hạn chế xem trước, để xem đầy đủ mời bạn chọn Tải xuống

THÔNG TIN TÀI LIỆU

Thông tin cơ bản

Định dạng
Số trang 102
Dung lượng 554,99 KB

Nội dung

BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC: ỨNG DỤNG ĐỊNH LÝ KRASNOSELSKII TRONG PHƯƠNG TRÌNH VI PHÂN VÀ TÍCH PHÂN LUẬN VĂN THẠC SĨ Năm: BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC Chuyên ngành: : Mã số: : LUẬN VĂN THẠC SĨ Người hướng dẫn TS 1 PHẦN MỞ ĐẦU Giải tích Fourier khơng góp phần vào phát triển giải tích cổ điển mà cịn ứng dụng lĩnh vực khoa học khác như: vật lý, học, quang học, hóa học, sinh học, phân tích tín hiệu, kỹ thuật máy tính đại, Trong giải tích nói riêng, Giải tích Fourier khẳng định chỗ đứng thơng qua việc giải phương trình vi phân, phương trình đạo hàm riêng phương trình tích phân Đặc biệt giải phương trình kể miền hữu hạn phép biến đổi tích phân dạng Fourier hữu hạn hữu dụng lý sau: trước tiên, phương trình thay phương trình đại số đơn giản, cho phép tìm nghiệm biến đổi dạng Fourier hàm Nghiệm phương trình ban đầu thu thông qua phép biến đổi ngược Thứ hai, biến đổi dạng Fourier hữu hạn kết hợp với định lý tích chập cung cấp cách biểu diễn nghiệm dạng tường minh cho toán biên ban đầu 320 2 KHÔNG GIAN CÁC HÀM KHẢ TÍCH Định lý Cho Ω ⊂ Rn tập mở Khi (Lp (Ω), ∥.∥Lp ) tách ≤ p < ∞ không tách p = ∞ Ta cần hai kết để chứng minh định lý ??: trước kết topo (Urysohn’s Lemma) sau quan hệ xấp xỉ không gian hàm liên tục Lp Định nghĩa Cho (X, τ ) không gian topo Khi C0c (X) := {f : X → R liên tục spt(f ) compact (X, d)} spt(f ) := Bao đóng{x ∈ X : f (x) ̸= 0} Bổ đề (Bổ đề Urysohn) Cho X compact địa phương không gian metric, cho K ⊂ X V ⊂ X , K compact V mở thỏa mãn K ⊂ V Khi đó, tồn hàm φ ∈ C0c (X) thỏa mãn ≤ φ ≤ 1, φ ≡ K spt(φ) ⊂ V Định lý (Xấp xỉ Lp hàm liên tục) Cho Ω ⊂ Rn tập mở Khi C0c (Ω) trù mật (Lp (Ω), ∥.∥Lp ), biết ≤ p < ∞ Chứng minh định lý dựa hai kết tảng xấp xỉ hàm đo được, ta cần nhớ lại Định lý (Xấp xỉ hàm đơn giản) Cho (X, M) không gian đo cho f : X → [0, +∞] hàm đo Khi tồn dãy hàm đơn giản đo sh : X → [0, +∞], (h = 1, 2, ) thỏa mãn tính chất (i) ≤ s1 ≤ s2 ≤ ≤ sh ≤ ≤ f ; (ii) lim sh (x) = f (x), ∀x ∈ X h→∞ Z Đặc biệt, f ∈ L (X, µ), nghĩa f dµ < ∞, sh → f X L1 (X, µ), nghĩa Z |f − sh |dµ → ∥f − sh ∥L1 (X,µ) := X Định lý (Lusin - Dạng không gian metric compact địa phương) Cho µ độ đo Radon compact địa phương, không gian metric tách X Cho f : X → R hàm đo cho tồn tập Borel A ⊂ X với µ(A) < ∞, f (x) = ∀x ∈ X \A |f (x)| < ∞ µ− hầu khắp nơi x ∈ X Khi đó, với ϵ > 0, tồn g ∈ C0c (X) cho µ({x ∈ X : f (x) ̸= g(x)}) < ϵ Hơn nữa, g chọn cho supx∈X |g(x)| ≤ sup |f (x)| x∈X Chứng minh cho định lý Ta chia chứng minh định lý thành hai bước Bước 1: Ta chứng minh răng, ∀ϵ > 0, ∀f ∈ Lp (Ω) tồn hàm đơn giản đo s : Ω → R cho |{x ∈ Ω : s(x) ̸= 0} < ∞| (đặc biệt s ∈ Lp (Ω), ∀p ∈ [1, ∞]); (1) ∥f − s∥Lp < ϵ (2) Đầu tiên, giả sử f ≥ Ω Theo xấp xỉ hàm không âm đo phương pháp hàm đơn giản (Định lý 3), tồn dãy hàm đơn giản đo sh : Ω → [0, +∞], (h = 1, 2, ) cho ≤ s1 ≤ s2 ≤ ≤ sk ≤ ≤ f ; lim sh (x) = f (x) h→∞ (3) ∀x ∈ Ω (4) Từ (3) ta sh ∈ Lp (Ω) |s ∈ Ω : sh (x) ̸= 0| < ∞ ∀h, (5) ∥sh − f ∥ ≤ 2f Ω, ∀h (6) Theo (4) (6), ta cso thể áp dụng định lý hội theo Lebesgue, ≤ p < ∞, ta lim ∥sh − f ∥Lp = h→∞ (7) Cho ϵ > 0, từ (7), tồn h = h(ϵ) ∈ N cho ∥sh − f ∥Lp < ϵ Nếu ta định nghĩa s := sh , theo (1) (2) Trường hợp tổng quát f : Ω → R chứng minh tách f = + f − f − áp dụng (1) (2), tách thành f + f − Bước 2: Ta ∀ϵ > 0, ∀f ∈ Lp (Ω), ∃g ∈ C0c (Ω) cho ∥f −g∥Lp < ϵ ϵ Cho f hàm đơn giản đo thỏa mãn (1) (2) với ϵ ≡ ký hiệu A := {x ∈ Ω : s(x) ̸= 0} Giả sử ∥s∥∞ > 0, khơng s ≡ ∈ C0c (Ω) kết thúc chứng minh Áp dụng định lý Lusin cho hàm s, tồn hàm g ∈ C0c (Ω) thỏa mãn |Ac | = |{x ∈ Ω : s(x) ̸= g(x)}| < ϵp , 4p ∥s∥p∞ (8) với |g(x)| ≤ ∥x∥∞ x ∈ Ω (9) Chú ý ∥f − g∥Lp ≤ ∥f − s∥Lp + ∥s − g∥Lp < Bây ta đánh giá ∥s − g∥Lp Z Z ∥s − g∥pLp = |s − g|p dx = Ω ϵ + ∥s − g∥Lp |s − g|p dx ≤ 2p ∥s∥p∞ |Aϵ | < Aϵ (10) ϵp 2p (11) Vì (10) (11) kết thúc chứng minh Chứng minh định lý ?? Ta cần chứng minh (C0c (Ω), ∥.∥∞ ) tách (12) Thật vậy, ta giả sử rằng, từ (12), ta (Lp (Ω), ∥.∥∞ ) tách được, biết ≤ p < ∞ Đầu tiên, giả sử Ω bị chặn Cho D ⊂ (C0c (Ω), ∥.∥∞ ) trù mật đếm được, ta chứng minh D trù mật (Lp (Ω), ∥.∥Lp ) với ≤ p < ∞ (13) Từ định lý 2, ∀f ∈ Lp (Ω), ∀ϵ > 0, ∃g ∈ C0c (Ω) cho ϵ ∥f − g∥Lp < (14) D trù mật, tồn e g ∈ D cho ∥g − e g ∥∞ < ϵ 2|Ω|1/p Nhớ lại Bài tập ∥f ∥Lp ≤ |Ω|1/p ∥f ∥∞ , ∀f ∈ L∞ (Ω), biết |Ω| < ∞ Điều nghĩa ϵ ∥g − g∥Lp ≤ |Ω1/p |∥g − g∥∞ < (15) Do gợi ý (14) (15) ám (13) Bây giả sử Ω không bị chặn Theo kết biết topo, tồn dãy (Ωh )h tập mở bị chặn cho Ωh ⊂ Ωh ⊂ Ωh+1 Ω= ∪∞ h=1 Ωh Hơn nữa, ý C0c (Ω) = ∪∞ h=1 Cc (Ωh ) (16) Theo (12) tồn tập Dh ⊂ (C0c (Ω), ∥.∥∞ ) trù mật đếm Cho D := ∪∞ h=1 Dh (13) giữ Từ định lý 2, ∀f ∈ Lp (Ω), ∀ϵ > 0, ∃g ∈ C0c (Ω) cho (14) Từ K := spt(g) tập compact chứa Ω, tồn h = h(g) = ϵ ∈ N cho K ⊂ Ωh Điều có nghĩa g ∈ C0c (Ωh ) ta có kết luận bước trước Bây ta chứng minh (12) Nhớ lại (C0 (K), ∥.∥∞ ) tách được, biết K ⊂ Rn tập compact (định lý 39) Cho (Ωh ) dãy tập mở bị chặn Rn Theo định nghĩa, C0c (Ωh ) ⊂ (C0 (Ω), ∥.∥∞ ) Vì (C0 (Ω), ∥.∥∞ ) tách nên với h, tồn tập D ⊂ (C0 (Ωh ), ∥.∥∞ ) trù mật đếm (17) Bây giờ, theo bổ đề Urysohn, ta sửa tập hợp hàm D eh ⊂ C0c (Ω) đẻ họ cho tập hợp hàm đếm D e D := ∪∞ h=1 Dh ⊂ (Cc (Ω), ∥.∥inf ty ) đếm trù mật (18) Áp dụng bổ đề Urysohn với K := Ωh−1 , V = Ωh cho φh ∈ C0 (Ω) cho ≤ φh (x) ≤ 1, ∀x ∈ Ω, φh (x) = 1, ∀x ∈ Ωh−1 spt(φh ) ⊂ Ωh xác định g ∈ Dh , g : Ωh → R, định nghĩa e g : Ω → R hàm ( g(x) x ∈ Ωh e g (x) := , nếux ∈ Ω \ Ωh cho e := {φhe D g : g ∈ D} e (h ∈ N) D := ∪∞ h=1 D Ta chứng minh (18) Theo cách xây dựng, D đếm Vì ta cần chứng minh trù mật (C0c , ∥.∥∞ ) Sửa ϵ > 0, f ∈ C0c (Ω) cho K := spt(f ) ⊂ Ω compact Tồn h0 ∈ N cho K ⊂ Ωh0 ⊂ Ωh0 +1 Điều có nghĩa f ∈ C0c (Ωh0 ) ⊂ C0 (Ωh0 ) ⊂ C0 (Ωh0 +1 ) Theo (17), tồn f1 ∈ Dh0 +1 cho ∥f − f1 ∥∞,Ω := sup |f (x) − f1 (x)| < ϵ (19) x∈Ω Từ f ≡ Ωh0 +1 \ Ωh0 từ (19), suy |f1 (x)| < ϵ sup (20) x∈Ωh0 +1 \Ωh0 eh0 +1 , theo (19) (20) ta Bây ta định nghĩa f2 := φh0 +1 fe1 ∈ D ∥f − f2 ∥∞,Ω = sup |f (x) − f2 (x)| = x∈Ω sup |f (x) − φh0 +1 f (x)| ≤ x∈Ωh0 +1 ( max ) sup |f (x) − f1 (x)|, x∈Ωh0 sup x∈Ωh0 +1 \Ωh0 |f1 (x)| < ϵ Như (18) Cuối ta chứng minh (L∞ (Ω), ∥.∥L∞ ) khơng tách Ta tìm họ rời khơng đếm Ui : i ∈ I tập mở L∞ (Ω) Cho a ∈ Ω cho ωa := B(a, ) > với B(a, ) ⊂ Ω Định nghĩa o n Ua := f ∈ L∞ (Ω) : ∥f − χωa ∥L∞ < a ∈ I := Ω Chú ý • Ua mở (L∞ (Ω), ∥.∥L∞ ), ∀a ∈ Ω: hiển nhiên • Ua ∩ Ub = ∅ a ̸= b, thật vậy, theo phản chứng, f ∈ Ua ∩ Ub , điều nghĩa ∥χωa − χωb ∥L∞ ≤ ∥χωa − f ∥L∞ + ∥f − χωb ∥L∞ < 1 + = 2 Mặt khác ∥χωa − χωb ∥L∞ = a ̸= b, mâu thuẫn • I = Ω khơng đếm Các tính chất tổng quát ∆U -vành Ta biết + J(R) ⊆ U (R) Vành R gọi U J -vành U (R) ⊆ + J(R), nghĩa + J(R) = U (R) Lưu ý R U J -vành ∆(R) = J(R) Một vành R gọi ∆U -vành + ∆(R) = U (R) Mệnh đề Một vành R ∆U -vành U (R)+U (R) ⊆ ∆(R) (khi U (R) + U (R) = ∆(R)) Chứng minh Giả sử R ∆U -vành, lấy u, v ∈ U (R), ta có + u ∈ ∆(R) − v ∈ ∆(R), u + v = (1 + u) − (1 − v) ∈ ∆(R) hay U (R) + U (R) ⊆ ∆(R) Ngược lại, giả sử U (R) + U (R) ⊆ ∆(R), suy U (R) + U (R) = ∆(R) (vì ∆(R) ⊂ U (R) + U (R)) hay + ∆(R) = U (R) Vậy R ∆U -vành Mệnh đề sau trình bày số tính chất ∆U -vành Mệnh đề Cho R ∆U -vành Khi (1) ∈ ∆(R); (2) Nếu R thể, R ∼ = F2 ; (3) Nếu x2 ∈ ∆(R) x ∈ ∆(R) (do N (R) ⊆ ∆(R)); (4) R hữu hạn Dedekind; (5) Cho I ⊆ J(R) iđêan R Khi R ∆U -vành R/I ∆U -vành; Y (6) Vành Ri ∆U vành Ri ∆U , với i ∈ I i∈I (7) Nếu T vành R thỏa mãn U (T ) = U (R) ∩ T , T ∆U -vành Cụ thể áp dụng cho Z = Z(R) tâm R Chứng minh (1) Từ Mệnh đề 49 ta dễ dàng suy ∈ ∆(R) (2) Nếu R thể ∆(R) = Vì R U J -vành nên ta suy ∼ R = F2 (3) Giả sử x2 ∈ ∆(R) Khi (1+x)(1−x) = (1−x)(1+x) = 1−x2 ∈ U (R) tức 1+x ∈ U (R) Vì R ∆U -vành nên 1+x ∈ 1+∆(R), x ∈ ∆(R) (4) Giả sử a, b ∈ R với ab = Khi phần tử − ba lũy đẳng R, [b(1 − ba)]2 = = [(1 − ba)a]2 ∈ ∆(R) Từ (3), ta có b(1 − ba) ∈ ∆(R) (1 − ba)a ∈ ∆(R) Suy − ba = (1 − ba)2 = [(1 − ba)a][b(1 − ba)] ∈ ∆(R) Từ đó, ba ∈ U (R) ba = (5) Nếu I ⊆ J(R) iđêan, ∆(R/I) = ∆(R)/I theo Mệnh đề 50 Giả sử R ∆U -vành Khi đó, u + I ∈ U (R/I), ta có u ∈ U (R) u ∈ + ∆(R) Suy u + I ∈ + ∆(R)/I = + ∆(R/I) Do R/I ∆U -vành Ngược lại, giả sử R/I ∆U -vành Lấy u ∈ U (R) tùy ý Khi u + I ∈ + ∆(R)/I Ta kiểm tra u ∈ + ∆(R) Do đó, R ∆U -vành  1⩽l⩽ nk −1 n X |CDn (rkl )| = |Dn |+ 1⩽l⩽ nk −1 n l̸= 2k Từ suy X |CDn (x)| = |Dn | + |Dn | + x∈Rk = 2n + 2n + n k n k k  − |R1 |  − |R1 |  −2 n= n(n + 2k) k Áp dụng Mệnh đề ?? ta có X n + 2k 1 n(n + 2k) |CDn (x)| = n = Pr(Rk , Dn ) = |Rk ||Dn | k 2n 2n x∈Rk k Vậy ta có điều phải chứng minh (ii) Giả sử H = Tl với ⩽ l ⩽ n − Theo Mệnh đề ??, |Tl | = Tl = ⟨rl s⟩ = {1, rl s} Theo Mệnh đề ??, ta có Pr(Tl , Dn ) = X 1 (|CDn (1)| + |CDn (rl s)|) |CDn (x)| = |Tl ||Dn | · 2n x∈Tl = (|Dn | + |CDn (rl s)|) 4n Ta áp dụng Mệnh đề ?? cho hai trường hợp n sau Nếu n lẻ |CDn (rl s)| = |Tl | = Từ suy Pr(Tl , Dn ) = Nếu n chẵn, giả sử m = n+1 (2n + 2) = 4n n |CDn (rl s)| = |Um,l | = 2n 2n = = (n, m) m 68 Từ suy n+2 (2n + 4) = 4n 2n Pr(Tl , Dn ) = Vậy ta có điều phải chứng minh (iii) Giả sử H = Ui,j với i|n, ⩽ i ⩽ n − 1, ⩽ j ⩽ i − Theo Mệnh đề ?? ta có |Ui,j | = Do Ui,j = ⟨ri , rj s⟩ = Khi X  n ril , ril+j s ⩽ l ⩽ − i X |CDn (x)| = |CDn (1)| + x∈Ui,j  2n 2n = (n, i) i 1⩽l⩽ X |CDn (ril )| + n −1 i 0⩽l⩽ Ta xét hai trường hợp n Trường hợp 1: n lẻ Khi đó, theo Mệnh đề ?? ta có n  n X il |CDn (r )| = n 1⩽l⩽ −1 i X 0⩽l⩽ Từ suy X |CDn (ril+j s)| = n −1 i |CDn (x)| = 2n + n x∈Ui,j Áp dụng Mệnh đề ?? ta có X Pr(Ui,j , Dn) = i − |R1 | = n |Ui,j ||Dn | x∈Ui,j n i n −1 i  −1 , n 2n |Til+j | = i i  −1 + |CDn (x)| = i |CDn (ril+j s)| 2n n(n + i + 2) = i i n(n + i + 2) n+i+2 = 2n i 4n 2n i 69 Trường hợp 2: n chẵn Ta xét hai trường hợp i n Trường hợp 2a: i ∤ Khi đó, theo Mệnh đề ?? ta có n  n  X |CDn (ril )| = i 1⩽l⩽ ni −1 X |CDn (ril+j s)| = 0⩽l⩽ ni −1 Từ suy X |CDn (x)| = 2n + n n x∈Ui,j Áp dụng Mệnh đề ?? ta có X Pr(Ui,j , Dn) = − |R1 | = n |Ui,j ||Dn | i i −1 , 4n n U n2 ,il+j = i i  −1 + |CDn (x)| = x∈Ui,j 4n n(n + i + 4) = i i n(n + i + 4) n+i+4 = 2n i 4n 2n i n Trường hợp 2b: i Khi đó, theo Mệnh đề ?? ta có X X n

Ngày đăng: 06/07/2023, 10:00

TÀI LIỆU CÙNG NGƯỜI DÙNG

TÀI LIỆU LIÊN QUAN

w