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

Khôi phục một lớp hàm nguyên và áp dụng vào phương trình truyền nhiệt

129 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 129
Dung lượng 669,7 KB

Nội dung

BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC: KHÔI PHỤC MỘT LỚP HÀM NGUYÊN VÀ ÁP DỤNG VÀO PHƯƠNG TRÌNH TRUYỀN NHIỆT 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 MỞ ĐẦU Phương trình elliptic cấp hai xuất thực tế đa dạng như: phương trình mơ tả dịng điện từ trường, mặt cự tiểu Gần số chuyên gia nghiên cứu phương trình elliptic phi tuyến cấp bốn phương trình để nghiên cứu sóng truyền cầu treo độ võng tĩnh đàn hồi chất lỏng Nghiên cứu phương trình chứa tốn tử elliptic suy biến thường phức tạp so với phương trình chứa tốn tử elliptic có ứng dụng thực tế rộng lớn ta nghiên cứu vật chất có mật độ khơng đồng đều, chỗ mỏng chỗ lại dày Những vật chất tồn vô số vũ trụ bao la 248 2 Không gian hàm liên tục C0 (Ω) Định nghĩa (i) Cho tập A ⊂ Rn , C0 (A) := {f : A → R, f liên tục x ∈ A} (ii) Cho K ⊂ Rn tập compact cho f ∈ C0 (K) Ta ký hiệu ∥f ∥∞ số thực không âm xác định ∥f ∥∞ = ∥f ∥∞,K = sup |f (x)| x∈K ∥.∥∞ gọi chuẩn (hay chuẩn vô cùng) Định lý Cho Ω ⊂ Rn tập mở bị chặn Khi (C0 (Ω), ∥.∥∞ ) khơng gian Banach vô hạn chiều Chứng minh Ta giới hạn n = Ω = (a, b) ta phải chứng minh (C0 (Ω), ∥.∥∞ ) không gian định chuẩn vô hạn chiều R Ta chứng minh khơng gian Banach Nghĩa phải dãy Cauchy (fh )h ⊂ (C0 (Ω), ∥.∥∞ ) hội tụ (tại phần tử thuộc không gian) Giả sử (fh )h dãy Cauchy, theo định nghĩa ta có, ∀ϵ > 0, ∃k ∈ N cho ∥fh − fk ∥∞ = sup |fh (x) − fk (x)| < ϵ ∀h, k ≥ k x∈Ω Điều có nghĩa ∀ϵ > 0, ∃k ∈ N cho |fh (x) − fk (x)| < ϵ ∀h, k ≥ k, ∀x ∈ Ω (1) Từ (52), (fh (x))h ⊂ R dãy Cauchy Do dó: ∃f (x) := lim fh (x), h→∞ ∀x ∈ Ω (2) Từ (53), lấy qua giới hạn (52), cho k → ∞ ta ∀ϵ > 0, ∃k ∈ N cho |fh (x) − f (x)| ≤ ϵ ∀h ≥ k, x ∈ Ω, theo định nghĩa fh → f Ω Do dó f ∈ C0 (Ω) Tính compact (C0 (Ω), ∥.∥∞ ) Bây tìm hiểu đặc trưng tập compact (C0 (Ω), ∥.∥∞ ) Đầu tiên ta nhớ lại số khái niệm kết quan trọng liên quan đến chủ đề compact không gian metric Định nghĩa Cho (X, d) không gian metric ký hiệu B(x, r) hình cầu mở X , tâm x bán kính r > với x ∈ X (i) Điểm x0 ∈ X gọi điểm giới hạn tập A ⊂ X A ∩ (B(x0 , r)\{x0 }) ̸= ∅, ∀r > (ii) Tập A ⊂ X gọi bị chặn tồn R0 > cho d(x, y) ≤ R0 với x, y ∈ A (iii) Tập A ∩ X gọi bị chặn hoàn toàn với ϵ > 0, A phủ họ hữu hạn hình cầu B(x1 , ϵ), B(x2 , ϵ), , B(xN , ϵ), nghĩa A ⊂ ∪N i=1 B(xi , ϵ) (iv) Họ A ⊂ X gọi compact dãy dãy A có dãy hội tụ điểm thuộc A (v) Tập A ⊂ X gọi có tính chất Bolzano-Weierstrass (BW) tập vơ hạn A có điểm giới hạn thuộc A Nhận xét Dễ thấy tập bị chặn hoàn toàn tập bị chặn, điều ngược lại không không gian topo (X, τ ) tập hợp compact tập hợp compact dãy có tính chất (BW) Các tính chất khơng cịn giữ trường hợp tổng quát Định lý (Các tiên đề chuẩn tập compact không gian metric) Nếu A tập không gian metric (X, d), ta có điều sau tương đương: (i) A compact; (ii) A compact dãy; (iii) (A, d) đầy đủ bị chặn hoàn toàn; (iv) A có tính chất BW Nhận xét Nếu (X, d) đầy đủ, A ⊆ X đóng (A, d) đầy đủ Hệ Cho A ⊂ Rn Khi đó: A compact ⇔ A đóng bị chặn Định lý (Riesz) Cho (E, ∥.∥) không gian định chuẩn ta ký hiệu BE := {x ∈ E : ∥x∥ ≤ 1} Khi BE compact dimR E < ∞ Nhận xét Định lý 49 cho tập A bị chặn không gian định chuẩn vô hạn chiều (E, ∥.∥) không thiết phải bị chặn hồn tồn Ví dụ A = BE Định nghĩa Cho A ⊂ Rn Một họ tập F ⊂ C0 (A) gọi tựa liên tục với ϵ > 0, ∃δ(ϵ) > cho f ∈ F, |f (x) − f (y)| < ϵ với x, y ∈ A thỏa |x − y| < δ Ta thêm tiên đề chuẩn tập compact (C0 (K), ∥.∥∞ ) K ⊂ Rn compact Định lý (Arzelà - Ascoli) Cho K ⊂ Rn compact giả sử F ⊂ C0 (K) Khi F compact (C0 (K), ∥.∥∞ ) F là: (i) đóng (C0 (K), ∥.∥∞ ); (ii) bị chặn (C0 (K), ∥.∥∞ ); (iii) liên tục Hệ Cho K ⊂ Rn compact cho F ⊂ C0 (K) Giả sử F bị chặn liên tục Khi F compact (C0 (K), ∥.∥∞ ) Cụ thể hệ cho ta kết đặc biệt sau Hệ Cho fh : [a, b] → R, (h = 1, 2, ) dãy hàm liên tục Giả sử rằng: (i) ∃M > cho |f (x) ≤ M, ∀x ∈ [a, b], ∀h (ii) (fh )h liên tục đều, nghĩa là, ∀ϵ > 0, ∃δ(ϵ) > cho |fh (x) − fh (y)| < ϵ, ∀x, y ∈ [a, b] với |x − y| < δ, ∀h Khi ta có dãy (fhk )k hàm f ∈ C0 ([a, b]) thỏa mãn fhk → f [a, b] Định lý Giả sử M > số cho trước F = {f ∈ C1 ([a, b]) : ∥.∥C1 ≤ M } Khi F tập compact tương đối (C0 ([a, b]), ∥.∥∞ ); Chứng minh định lý 50 Tính đầy đủ: Giả sử có (i), (ii) (iii) ta F compact Theo tính chất tập compact định lý 48 ta F compact dãy Vì dãy (fh )h ∈ F có dãy (fhk )k hội tụ hàm f ∈ F , nghĩa là, ∥fhk − f ∥∞ → k → ∞ Nhớ K compact tách Giả sử D := {xi : i ∈ N} đếm trù mật K F bị chặn nghĩa tồn M1 > thỏa mãn ∥f − g∥∞ ≤ M1 , ∀f, g ∈ F Cụ thể ta thay f0 ∈ F , đó: ∥f0 − fh ∥∞ ≤ M1 , ∀h ∈ N Hơn ∥fh ∥∞ = ∥(fh − f0 ) + f0 ∥∞ ≤ ∥fh − f0 ∥∞ + ∥f0 ∥∞ ≤ M1 + ∥f0 ∥∞ := M2 Do ta có số M2 > thỏa mãn |fh (x)| ≤ M2 , ∀x ∈ K, ∀h Bây ta xây dựng dãy hội tụ theo trình chéo Cantor Bước 1: (fh (x1 ))h dãy số thực [−M2 , M2 ] Suy dãy có dãy (fh(1) (x1 ))h hội tụ R; Bước 2: Xét dãy (fh(1) (x2 ))h ⊂ [−M2 , M2 ] Do dãy (fh(2) (x2 ))h hội tụ Chú ý dãy (fh(2) (x1 ))h hội tụ có dãy (fh(1) (x1 ))h hội tụ Tiếp tục trình ta Bước k: Một dãy (fh(k) )h (fh(k−1) )h thỏa mãn (fhk (xj ))h hội tụ với j = 1, k Ta có tình sau đây: Định nghĩa: gk := fkk : K → R Lưu ý rằng, i = 1, 2, , dãy (gk )k≥i dãy (fki )k≥i Cụ thể, dãy (gk )k dãy (fh )h theo cách xây dựng ∀x ∈ D (3) (gk )k hội tụ (C0 (K), ∥.∥∞ ) (4) (gk (x))k hội tụ R Tiếp tục trình ta Sử dụng giả thiết F liên tục đều, tức ∀ϵ > 0, ∃δ(ϵ) > : x, y ∈ K |x − y| < δ ⇒ |f (x) − f (y)| < ϵ, ∀f ∈ F (5) Với ϵ > thay đổi tùy ý, δ thay đổi Bởi K bị chặn hồn tồn, σ > có họ hữu hạn hình cầu B(x1 , σ), , B(xN , σ) Rn thỏa mãn N = N (σ), xi ∈ K với i = 1, , N n [ K⊂ B(xi , σ) i=1 Do tính trù mật D K , tồn yi ∈ D ∩ B(xi , σ) với i = 1, , N Cụ thể n \ K⊂ B(yi , 2σ) i=1 Vì ta chọn σ = δ/2 Khi tồn N = N (σ) = N (δ) = N (ϵ) D′ := {y1 , , yn } ⊂ D thỏa mãn K⊂ N [ i=1 B(yi , δ) (6) Từ (54) dãy (gk (y1 ))k , , (gk (yN ))k , ¯ hội tụ, có số nguyên k¯ = k(ϵ) với |gk (yi ) − gr (yi )|, ϵ ¯ ∀i = 1, , N ∀k, r > k, Theo (57) (56) ∀x ∈ K, ∃yi ∈ D′ thỏa |x − yi | < δ ⇒ |gk (x) − gk (yi )| < ϵ, ∀k ∈ N Từ ta có |gk (x)−gr (x)| ≤ |gk (x)−gk (yi )|+|gk (yi )−gr (yi )|+|gr (yi )−gr (x)| ≤ ϵ+ϵ+ϵ = 3ϵ ∀x ∈ K ¯ với k, r ≥ k¯ Điều có nghĩa ϵ > tồn k¯ = k(ϵ) thỏa ∥gk − gr ∥∞ ≤ 3ϵ ¯ ∀k, r > k Nghĩa (gk )k dãy Cauchy (C0 (K), ∥.∥∞ ) Từ (C0 (K), ∥.∥∞ ) đầy đủ F đóng, suy tồn f ∈ F thỏa mãn lim ∥gk − f ∥∞ = k→∞ Từ (gk )k dãy dãy (fh )h , phải F compact dãy Sự cần thiết: Cần rằng, F compact (C0 (K), ∥.∥∞ ) ta có (i), (ii) (iii) Giả sử F compact không gian metric (C0 (K), ∥.∥∞ ), đó, theo tính chất tập compact khơng gian metric, F đóng bị chặn hồn tồn bị chặn Chỉ F liên tục đều, nghĩa ta phải chứng minh (56) Theo phản chứng, giả sử ∃ϵ0 > : ∀ > 0, ∃fδ ∈ F, xδ , yδ ∈ K với |xδ −yδ | < δ |fδ (xδ )−fδ (yδ )| ≥ ϵ0 Chọn δ = 1/h ký hiệu fh := f1/h , xh := x1/h yh := y1/h Khi ta xây dựng ba dãy (fh )h ⊂ F, (xh )h , (yh )h ⊂ K |xh − yh | < 1/h, |fh (xh ) − f (yh )| ≥ ϵ > 0, ∀h (7) Từ F K compact, tồn ba dãy (fh )h ⊂ F, (xh )h , (yh )h ⊂ K thỏa mãn lim xh = lim yh = z ∈ K fh → f ∈ F K h→∞ h→∞ Khi tồn lim fh (xh lim fh (yh ) = f (z) h→∞ h→∞ Lấy qua giới hạn (58) ta có mâu thuẫn Do đó, ta có điều phải chứng minh Khơng gian hàm khả vi liên tục C1 (Ω) Định nghĩa Cho Ω ⊂ Rn tập mở (i) Cho f : Ω → R i = 1, , n, ta nói f liên tục khả vi cấp ∂f = Di f ∈ C0 (Ω)) có tồn g ∈ C0 (Ω) thỏa mãn ∂xi ∂f ∂f g= = Di f Ω, = Di f hiểu lớp đạo hàm ∂xi ∂xi riêng thứ i f i Ω (∃ (i) C (Ω) :=   ∂f ∈ C0 (Ω), ∀i = 1, , n f ∈ C (Ω) : ∃ ∂xi (iii) Cho f C1 (Ω) Ta biểu thị ∥f ∥C1 = ∥f ∥C1 ,Ω = X ∥Dα f ∥∞,Ω |α|≤1 ∥.∥C1 gọi chuẩn C1 Định lý Cho Ω ⊂ Rn tập mở, bị chặn Khi (C1 (Ω), ∥.∥C1 ) khơng gian Banach vô hạn chiều, không không gian Hilbert Chứng minh Ta xét trường hợp n = Ω = (a, b) Đầu tiên ta phải đầy đủ khơng khơng gian Hilbert Xét ánh xạ tuyến tính T : (C1 (Ω), ∥.∥C1 ) → (C0 (Ω) × C0 (Ω), ∥.∥C0 (Ω)×C0 (Ω) ), T (f ) := (f, f ′ ) (8) ∥f, g∥C0 (Ω)×C0 (Ω) := ∥f ∥∞ + ∥g∥∞ (f, g) ∈ C0 (Ω) × C0 (Ω) 69 Bài tập Cho h : Rn → Z R ϱ : Ω → [0, +∞) hàm đo Lebesgue giả sử ϱdx = Chứng minh với p ∈ Rn [1, +∞) p Z |h|ϱdx Z ≤ |h|p ϱdx Rn Rn Theo (??), tập ?? định lý Fubini-Tonelli, suy Z  Z ∥f ∗ ϱ∥pLp (Rn ) ≤ |f (x − y)|p ϱ(y)dy dx ZR n = Rn Z p |f (x − y)| dx ϱ(y)dy Rn  Rn Z =  Z |f (x)| dx ϱ(y)dy Rn Rn = ∥f ∥pLp (Rn ) Bây cho p = ∞ Theo định nghĩa tích chập Z Z |(f ∗ ϱ)(x)| = |(ϱ ∗ f )(x)| = ϱ(x − y)f (y)dy ≤ ∥f ∥L∞ (Rn ) n R = ∥f ∥L∞ (Rn ) , ϱ(x − y)dy Rn ∀x ∈ Rn Do đó, ta có điều phải chứng minh (iii) Đặt ϱh ≡ ϱ cố định x ∈ R Khi đó, từ  ϱ(x − y)f (y) = hầu khắp nơi, y ∈ / x − B(0, 1/h) ∩ spte (f ), Z Z ϱ(x − y)f (y)dy = (ϱ ∗ f )(x) := Rn ϱ(x − y)f (y)dy (x−B(0,1/h))∩spte (f ) Chú ý  x − B(0, 1/h) ∩ spte (f ) ̸= ⇔ x ∈ B(0, 1/h) + spte (f ), (ϱ ∗ f )(x) = với x ∈ / B(0, 1/h) + spte (f ), từ ϱ ∗ f liên tục, spt(ϱ ∗ f ) ⊂ B(0, 1/h) + spte (f ) (iv) Từ (i) (ii), ϱh ∗ f ∈ C∞ (Rn ) ∩ Lp (Rn ) với p ∈ [1, ∞] Ta lim ∥ϱh ∗ f − f ∥Lp (Rn ) = ≤ p < ∞ (52) h→∞ p  70 Từ C0c (Rn ) trù mật (Lp (Rn ), ∥.∥Lp ), với ≤ p < ∞, với ϵ > tồn f1 ∈ C0c (Rn ) cho ∥f − f1 ∥Lp ()Rn 0, h→∞ ta (??) 18 Nhóm nhị diện Mệnh đề 27 Cho nhóm nhị diện Dn = ⟨r, s | rn = s2 = 1, s−1 rs = r−1 ⟩ với n ⩾ 3, H nhóm Dn Khi (i) Nếu H = Rk với k|n, ⩽ k ⩽ n Pr(H, Dn ) =  n+k   n n lẻ, n chẵn k ∤ , 2n   n + 2k n chẵn k | n 2n 71 (ii) Nếu H = Tl với ⩽ l ⩽ n − Pr(H, Dn ) =  n+1   n lẻ, 2n n   + n chẵn 2n (iii) Nếu H = Ui,j với i|n, ⩽ i ⩽ n − 1, ⩽ j ⩽ i − Pr(H, Dn ) =  n+i+2     4n         n lẻ, n+i+4 n n chẵn i ∤ , 4n n n + 2i + n chẵn i | 4n Chứng minh (i) Giả sử H = Rk với k|n, ⩽ k ⩽ n Theo Mệnh đề 17 ta có |Rk | = Do Rk = ⟨rk ⟩ =  n n = (n, k) k  n kl r 0⩽l ⩽ −1 k Khi X X |CDn (x)| = |CDn (1)| + |CDn (rkl )| 1⩽l⩽ nk −1 x∈Rk Ta xét hai trường hợp n sau Trường hợp 1: n lẻ Theo Mệnh đề 18 ta có X kl |CDn (r )| = 1⩽l⩽ nk −1 Từ suy X |CDn (x)| = |Dn | + x∈Rk n k  n k  − |R1 | − |R1 | = 2n + n k  −1 n= n(n + k) k

Ngày đăng: 05/07/2023, 17:20

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

  • Đang cập nhật ...

TÀI LIỆU LIÊN QUAN

w