Sự không tồn tại nghiệm dương của một số phương trình laplace liên kết với điều kiện biên neumann

BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC: SỰ KHƠNG TỒN TẠI NGHIỆM DƯƠNG CỦA MỘT SỐ PHƯƠNG TRÌNH LAPLACE LIÊN KẾT VỚI ĐIỀU KIỆN BIÊN NEUMANN 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 Tác giả học tập vận dụng cơng cụ Giải tích hàm phi tuyến để khảo sát sư tồn nhât nghiêm toán biên phi tuyến, chẳng hạn như: phương pháp Galerkin liên hệ vời kỹ thuật đánh giá tiên nghiệm, kỹ thuật tính compacl hội tụ yếu Trong phần nầy, chúng tơi có dịp sử dụng dược định lý Schauder việc chứng minh tồn nghiệm xấp xỉ Galerkin Tác giả cụ thể vấn đề vào ví dụ trình bày chương 4, để minh hoạ phương pháp tìm nghiệm tốn 761 2 Nhóm nhị diện Mệnh đề 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 (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 + 2i + n n chẵn i | 4n Chứng minh (i) Giả sử H = Rk với k|n, ⩽ k ⩽ n Theo Mệnh đề 46 ta có |Rk | = Do Rk = ⟨rk ⟩ =  n n = (n, k) k  n rkl ⩽ l ⩽ − k Khi X |CDn (x)| = |CDn (1)| + x∈Rk Ta xét hai trường hợp n sau X 1⩽l⩽ nk −1 |CDn (rkl )| Trường hợp 1: n lẻ Theo Mệnh đề 47 ta có X kl |CDn (r )| = n k 1⩽l⩽ nk −1 Từ suy X |CDn (x)| = |Dn | + n k x∈Rk  − |R1 |  − |R1 | = 2n + n k  −1 n= n(n + k) k Áp dụng Mệnh đề ?? ta có Pr(Rk , Dn ) = X 1 n+k n+k |CDn (x)| = n n = |Rk ||Dn | k 2n 2n x∈Rk k Trường hợp 2: n chẵn Ta xét hai trường hợp k n Trường hợp 2a: k ∤ Khi đó, theo Mệnh đề 47 ta có n  X |CDn (rkl )| = k 1⩽l⩽ nk −1 Từ suy X |CDn (x)| = |Dn | + x∈Rk n k − |R1 |  − |R1 | = 2n + n k  −1 n= n(n + k) k Áp dụng Mệnh đề ??, ta có X n+k n+k |CDn (x)| = n n = |Rk ||Dn | k 2n 2n x∈Rk k n Trường hợp 2b: k | Khi đó, theo Mệnh đề 47 ta có n  X X n
ϱ(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 < ∞ (8) h→∞ p  11 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 (??) Định lý tồn cho hệ thống tuyến tính Định lý (Định lý tồn cho hệ thống tuyến tính) Cho I đoạn thực giả sử A ∈ C(I, Mn (F)), B ∈ C(I, F n ) Cho τ ∈ I, ξ ∈ F n tồn giải pháp X (IV P) đoạn I 12 Chứng minh Cho t ∈ I , giả sử J = [c; d] đoạn bị chặn I cho τ, π ∈ J , Bởi định lý 7.3 tồn hàm Xj khác biệt đoạn [a, b] cho XJt (s) = A(s)XJ (s) + B(s), XJ (τ ) = ξ, s∈J Định nghĩa X(t) = Xj(t) Nếu ta chọn J1 = [c1 , c2 ] ⊂ I cho τ, t ∈ J1 , J1 ∩ J đoạn bị chặn chứa τ, t kết áp dụng cho đoạn cho thấy XJ1 (s) = XJ (s), s ∈ J1 ∩ J Đặc biệt, XJ1 (t) = XJ (t) Để định nghĩa X(t) khơng phụ thuộc vào J chọn Vì X có tính khả vi [a, b] thỏa mãn X ′ (t) = A(t)X(t) + B(t), X(τ ) = ξ, t∈I Nó giải pháp (IV P) đoạn I Nó nhất, Y mơt giải pháp I t thuộc I có đoạn nhỏ J chứa τ, t kết cho J ngụ ý X(t) = Y (t) Trước tiếp tục phát triển lý thuyết, xem xét ví dụ khác Xét tốn với n = : x′ = 3t2 x, x(0) = 1, t∈R Phương trình tích phân tương ứng Z t 3s2 x(s)ds = (T x)(t), x(t) = + t ∈ R Nếu x0 (t) = 1, t Z 3s2 xm (s)ds, xm+1 (t) = + m = 0, 1, Do Z x1 (t) = + t 3s2 ds = + t3 , t Z 3s2 [1 + s3 ]ds = + t3 + t6 /2, x2 (t) = + 13 Z x3 (t)1 + t 3s2 [1 + s3 + s6 /2]ds = + t3 + t6 /2 + t9 /6, Và quy nạp cho thấy xm = + t3 + (t3 )2 (t3 )3 (t3 )m + + ··· + 3! m! Chúng ta nhận xm (i) môt tổng riêng cho việc triển khai dãy số hàm x(t) = et Dãy số hội tụ đến x(t) cho t thuộc R, hàm x(t) kết vấn đề Nhìn lại phương pháp chứng minh định lý 7.3, khơng khó để nhận thấy lựa chọn hàm liên tục ban đầu X0 (t) dần đến giải pháp X(t) Thực sự, bất đẳng thức áp dụng Z t |Xm+1 (t) − Xm | ≤ ∥A∥∞ |Xm (s) − Xm−1 (s)|ds, m ≥ 1, t ∈ I τ Sự khác biệt phát sinh khác biệt ban đầu Xi (t) − X0 (t) Ước lượng thu từ lập luận quy nạp sau trở thành h im |Xm+1 (t) − Xm | ≤ ∥X1 − X0 ∥∞ ∥A∥∞ [t − τ ] /m! Phần lại lập luận diễn trước đây, đưa giải pháp X(t) (7.2) Nếu (IV P) xem xét đoạn I nào, ta ước lượng khoảng cách Xm (t) X(t) đoạn nhỏ J = [a, b] nằm I chứa τ Với k > m ∥X − Xm ∥∞,J ≤ ∥X − Xk ∥∞,J + ∥Xk − Xm ∥∞,J ≤ ∥X − Xk ∥∞,J + ∥(Xk − Xk−1 ) + (Xk−1 − Xk−2 ) + · · · + (Xm+1 − Xm )∥∞,J Và sử dụng bất đẳng thức tam giác lấy giới hạn (7.10) ngụ ý ∥X − Xm ∥∞,J ≤ ∞ X ∥Xk+1 − Xk ∥∞,J , (7.11) k=m ≤ ∥X1 − X0 ∥∞,J ∞ h X k=m ∥A∥∞,J [b − τ ] im /m! 14 Tất nhiên, chuỗi cuối lại phần lại chuỗi cho hàm mũ (∥A∥∞,J [b − τ ]) Do (7.11) ngụ ý Xm → X định mức tối đa J Chúng tơi tóm tắt định lý sau Định lý (Định nghĩa xấp xỉ liên tiếp bởi) Z t Xm+1 (t) = ξ + [A(s)Xm (s) + B(s)]ds, t∈I τ Tại X0 ∈ C(I, F n ) tùy ý Nếu X(t) giải pháp (IV P) I , Xm → X đồng ∥X − Xm ∥∞,J → 0, k→∞ Trên đoạn nhỏ J ⊂ I chứa τ Tính liên tục giải pháp Trở lại tình Định lý 7.3, [a, b] đoạn đóng, giải pháp X(t) tốn giá trị ban đầu X ′ = A(t)X + B(t), X(τ ) = ξ, t ∈ I, IV P Rõ ràng phụ thuộc vào τ ∈ I, ξ ∈ F n , A ∈ C(I, Mn (F)) B ∈ C(I, F n ) Kết phần khẳng định t ∈ I Giá trị X(t) hàm liên tục biến Phân tích phụ thuộc bắt đầu ước lượng cho ∥X∥∞ điều suy cách sử dụng phương pháp chứng minh Định lý 7.3 Bắt đầu với việc xấp xỉ từ Z t X0 (t) = ξ + B(s)ds, τ Kết X(t) = lim Xk (t) k→∞ Sau đáp ứng ước lượng   k−1 X ∥X∥∞ = ∥ lim Xk ∥ = lim X0 (t) + (Xm+1 (t) − xm (t)) k→∞ k→∞ m=0 ∞ 15 ≤ ∥X0 ∥ + ∞ X ∥Xm+1 − Xm ∥∞ m=0 Bây áp dụng bất đẳng thức (7.8), cho kết ∥X∥∞ ≤ ∥X0 ∥∞ + ∥X0 ∥∞ ∞ X ∥A∥m+1 [b − τ ]m+1 ∞ m=0 (m + 1)! = ∥X0 (t)∥∞ exp(∥A∥∞ [b − τ ]) Từ Z t ∥X0 (t)∥∞ = ξ + B(s)ds τ ∞ ≤ |ξ| + |b − a|∥B∥∞ , Ước lượng mong muốn cho ∥X∥∞   ∥X∥∞ ≤ |ξ| + |b − a|∥B∥∞ exp(∥A∥∞ [b − a]) (7.12) Ước lượng đơn giản (7.12) sử dụng để X hàm liên tục chung tất biến Do đó, thay đổi nhỏ t, A, b, τ, ξ tạo thay đổi nhỏ X Nếu ký hiệu giải pháp (IV P) thời điểm t X(t, A, B, τ, ξ), sau đó, định lý 7.6 cung cấp ý nghĩa xác cho phát biểu X(s, C, D, σ, η) → X(t, A, B, τ, ξ), (s, C, D, σ, η) → (t, A, B, τ, ξ) Đó là, X liên tục (t, A, B, τ, ξ) Định lý Đặt I đoạn [a, b] bị chặn, A, C ∈ C(I, Mn (F)), B, D ∈ C(I, F n ), τ, σ ∈ I , ξη ∈ F n Giả định X kết X ′ = A(t)X + B(t), X(τ ) = ξ, t∈I Cho t thuộc I e > 0, có tồn ϵ > Y kết Y ′ = C(t)Y + D(t), y(σ) = η, t∈I 16 |s − t| < δ, ∥C − A∥∞ < δ, |σ − τ | < δ, ∥D − B∥∞ < δ |η − ξ| < δ Vậy |Y (s) − X(t)| < ϵ (7.14) Chứng minh Hiệu hai phương trình cho X(t) Y (t) ta (Y − X)′ = C(t)(Y − X) + (C(t) − A(t))X + D(t) − B(t) Do Z = Y − X Z đáp ứng giá trị toán ban đầu Z ′ = C(t)Z + E(t), Z(σ) = η − X(σ) Nơi E(t) = (C(t) − A(t))X(t) + D(t) − B(t) Chúng ta áp dụng đánh giá (7.12) cho Z thu   ∥Y − X∥∞ = ∥Z∥∞ ≤ |Z(σ)| + (b − a)∥E∥∞ exp(∥C∥∞ [b − a]) (7.15) Đặt e > cho Ta thấy |Y (s) − X(t)| < |Y (s) − X(s)| + |X(s) − X(t)| ≤ ∥Y − X∥∞ + |X(s) − X(t)| (7.16) Từ X liên tục t, cho e > có ϵ > |s − t| < δ1 Ngụ ý |X(s) − X(t)| < ϵ Mà |Z(σ)| = |η − X(σ)| ≤ |η − ξ| + |X(τ ) − X(σ)| Từ X liên tục t, cho e > có ϵ2 > |η − ξ| < δ2 , Ngụ ý |τ − σ| < δ2 ϵ |Z(σ)| exp(∥C∥∞ [b − a]) < 17 Cuối cùng, từ E(t) = (C(t) − A(t))X(t) + D(t) − B(t) Có ϵ3 ∥C − A∥∞ < ϵ3 , ∥D − B∥∞ < ϵ3 Ngụ ý ϵ |b − a|∥E∥∞ exp(∥C∥[b − a]) < Và chọn δ > thoả mãn δ = min(δ1 , δ2 , δ3 ) Vậy (7.13) hợp lệ cho ϵ (7.14) sau từ (7.15)-(7.19) Không gian hữu hạn chiều Định nghĩa (i) Một không gian vector E trường số thực gọi hữu hạn chiều bao gồm hữu hạn vector độc lập tuyến tính (ii) Số lớn vector độc lập tuyến tính khơng gian vector hữu hạn chiều E gọi chiều ký hiệu dimR E Hệ B ⊂ E sinh dimR E vector độc lập tuyến tính gọi sở Định lý Giả sử E không gian vector hữu hạn chiều dimR E = n (i) Nếu B ⊂ E sở, B sinh E , cụ thể spanR B = E (ii) E Rn đẳng cấu tuyến tính (iii) Giả sử ∥.∥1 ∥.∥2 hai chuẩn E Khi (E, ∥.∥1 ) (E, ∥.∥2 ) đẳng cấu topo (iv) Giả sử ∥.∥ chuẩn E Khi (E, ∥.∥) (E ′ , ∥.∥E ′ ) đẳng cấu topo Theo tập trước, không gian định chuẩn hữu hạn chiều (E, ∥.∥) đẳng cấu topo với không gian Hilbert Rn Đây đặc trưng mạnh, khơng cịn cho khơng gian định chuẩn vô hạn chiều 18 Các khái niệm Định nghĩa Cho tập hợp R khác rỗng, R ta trang bị hai phép toán mà ta gọi phép cộng phép nhân thỏa mãn: R nhóm Abel với phép tốn cộng, R nửa nhóm với phép tốn nhân phép tốn nhân phân phối với phép toán cộng, nghĩa x(y + z) = xy + xz, (x + y)z = zx + yz với x, y, z ∈ R Phần tử trung hòa phép cộng ký hiệu (thường gọi phần tử không) Phần tử đơn vị phép nhân có ký hiệu Nếu vành có nhiều phần tử có đơn vị ̸= Định nghĩa Tập A vành R gọi vành R A vành hai phép toán cộng nhân R (bao gồm tính đóng hai phép tốn A) Định nghĩa Ideal trái (phải) vành R vành A thỏa mãn điều kiện ∈ A(ar ∈ A), a ∈ A, r ∈ R Vành I R vừa ideal trái, vừa ideal phải gọi ideal vành R Cho I ideal vành R, ta ký hiệu R/I =: {r + I|r ∈ R} gọi tập thương R theo I Trên tập thương R/I ta xây dựng hai phép toán (x + I) + (y + I) = (x + y) + I, (x + I)(y + I) = (xy) + I với x, y ∈ R Định nghĩa Tập thương R/I với hai phép toán xác định lập thành vành gọi vành thương R theo I 19 7.0.1 Định lý đồng cấu vành Định nghĩa Cho R, R′ hai vành Ánh xạ f : R → R′ gọi đồng cấu vành f bảo toàn hai phép toán cộng nhân R, nghĩa f (x + y) = f (x) + f (y), f (xy) = f (x)f (x), với x, y ∈ R 7.0.2 Một số kết liên quan ĐỊNH LÍ FUBINI Định lý (G.Fubini - L.Tonelli) Cho F : R2n → [0, ∞] hàm đo (đối với M2n ) Khi (i) Hàm Rn ∋ y 7→ F (x, y) đo (đối với Mn ) với Ln hầu khắp nơi x ∈ Rn (ii) Hàm Z n R ∋ x 7→ F (x, y)dy Rn đo (đối với Mn ) (ii) Z F (x, y)dxdy = R2n Z Z dx Rn  F (x, y)dy Rn Z Z dy = Rn  F (x, y)dx Rn Bổ đề Cho f ∈ C0 (Rn ) Khi ϱ ∗ f → f tập compact Rn Chứng minh Cho K ⊂ Rn tập compact cho K ′ := K + B(0, 1) Theo tính liên tục f tập compact K ′ , ∀ϵ > tồn < δ = δ(ϵ, K ′ ) < thỏa mãn |f (x − y) − f (x)| ≤ ϵ, ∀x ∈ K, ∀y ∈ B(0, δ) (12) 20 Mặt khác, h ∈ N thỏa 1/h < δ x ∈ K , theo (??), Z