... hệ sốsố o Trước xử lí phương trình (2.1) ta cần thiết lập mở rộng định lí 1.4 1.8 từ phương trình Poisson sang phương trình elliptic với hệ số Trong suốt chương không nói ta ngầm hiểu tất số ... Rn k sốnguyên không âm Không gian ¯ H¨lder C k,α Ω (C k,α (Ω)) định nghĩa không gian o ¯ C k Ω (C k (Ω)) gồm hàm mà đạo hàm riêng thứ k liên tục H older (liên tục H¨lder địa phương) với số mũ ... dụng định lí 1.8 bất đẳng thức (2.7) Nhận xét 2.1 Bổ đề 2.1 cung cấp trực tiếp mở rộng đánh giá mặt cầu Định lí 1.3 Định lí 1.6 từ phương trình Poisson sang phương trình tổng quát với hệ số 2.2.2...
... u ∈ B1 số c2 không phụ thuộc vào t Như vậy, điều kiện Địnhlý 1.7.1 thỏa mãn suy điều phải chứng minh Hệ 2.4.2 Trong Địnhlý 2.4.1 giả sử Ω hình cầu B toán tử L thỏa mãn điều kiện địnhlý Khi ... ∂ minh ∂xi w = const v i thu đánh giá Holder chứng minh Địnhlý 1.6.2 (a) Địnhlý 2.1.1 (a) 2 1Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn 19 Hệ 2.1.3 Giả sử u ∈ ... Theo Địnhlý 2.1.1 ta tiến hành đánh giá C 2,α v , biến đổi lại với u = v ◦ B Kết ta thu số phụ thuộc vào λ, Λ với giá trị riêng A, xác định giá trị riêng D xác định B Ta chứng minh địnhlý Ta...
... 1.2 Địnhlý 1.5 Từ Địnhlý 1.4 ta suy địnhlý sau Địnhlý 1.6 Với giả thiết Mục 1.1, có số R >0 C thỏa mãn: ϕ m ,0 ≤ C ( P( x, t , D )ϕ + ϕ ) ϕ ∈ DR 1.4 Trường hợp hình cầu có bán kính đủ nhỏ Định ... dụng Địnhlý 2.6 để kết luận w ∈ C ∞ (σ R ) vài R' > Đặt u = P ' ( x, t, D) w u ∈ C ∞ (σ R ) nghiệm yếu Bài tốn (1.2) (1.3) Vì vậy, theo Địnhlý 1.1, nghiệm thực Vậy Địnhlý chứng minh Số hóa ... D )v + v ) (1.23) Ta chứng minh Địnhlý 1.4 phần cuối phần Bổ đề 1.3 mục 2.2 Bây sử dụng Địnhlý Bổ đề để chứng minh Địnhlý 1.5 Với giả thuyết nêu Mục 1.1, tồn số R >0 C, cho: v m,0 ≤ C P '(...
... upl , Số hóa Trung tâm Học liệu http://lrc.tnu.edu.vn/ ∂uij ∂ukl = −uil ukj Vì có ∂2F ∂uij ∂ukl = ∂uij ∂ukl = −uil ukj Ở đây, biểu thức có số lặp ta quy định lấy tổng theo số lặp Địnhlý 1.2 ... u xác định sau Gu v = det (uij ) uij ∂ij v Do u hàm lồi ngặt, Gu tốn tử tuyến tính elliptic với hệ số C α Theo lý thuyết cổ điển Schauder, Gu tốn tử khả nghịch với điều kiện biên ϕ cố định Giả ... trận [uij (x)] xác định dương điểm x ∈ Ω Số hóa Trung tâm Học liệu http://lrc.tnu.edu.vn/ 1.1.2 Một số tính chất phương trình Monge-Ampère elliptic Tốn tử Monge-Ampère M xác định M (u) = det (uij...
... xảy ¯ ¯ với x ∈ Ω, M ≤ |z| ≤ M cho số M có số µ khác xảy (2.74) Ta nhắc lại Nguyênlý cực đại cổ điển phương trình eliptic tuyến tính cấp hai địnhlý sau đây: 30 Định lí 2.15 ([3]) Giả sử L elliptic ... minh Theo Địnhlý 1.1 ta có: sup(u − v) ≤ sup (u − v)+ Ω Γ Từ đó: ∂u ∂v ∂ (u − v) = − = ∞, ∂ν ∂ν ∂ν Γ, hàm số u − v đạt giá trị lớn Γ Ở u ≤ v Ω Ngoài áp dụng Địnhlý 2.12, lấy y ∈ ∂Ω cố định, δ ... ] ,E∗ = E |p|2 Những biến số T, E b trở thành x, u(x) Dw Bây ta chọn hàm số ψ ¯ ˜ cho Qw < miền Ω = { x ∈ Ω| r > a, |u(x)| > M } với số M 27 Và Qu = Ω theo Địnhlý 2.12 ta có: sup ≤ M + m +...
... trờn r thỡ u < V n Chng minh Theo nh lý 1.1 ta cú: sup(u v) < sup (u v) + trờn r, hm s u V khụng th t c giỏ tr ln nht trờn r õy u < V fi Ngoi ỏp dng nh lý 2.12, ly y e c nh, l ng cong kớnh ... cho nhng hng s v cú th cú hng s , khỏc xy (2.74) Ta nhc li Nguyờn lý cc i c in i vi phng trỡnh eliptic tuyn tớnh cp hai nh lý sau õy: nh lớ 2.15 ([3]) Gi s L l elliptic tuyn tớnh cp hai b chn ... c2(ớỡ) tha Qu = Q v = trờn Gi s rng toỏn t Q v tha iu kin cu v hỡnh hc ca nh lý 2.1, H qu 2., H qu 2.6, H qu 2.9 hoc nh lý 2.10 Khi ú mụun liờn tc ca trờn dớỡ cú th c ỏnh giỏ qua cỏc i lng mụun...
... 7 1.2 Các định lí điểm bất động Leray-Schauder 1.2.1 Trường hợp đặc biệt Định lí Leray-Schauder Địnhlý 1.1 ([4]) Giả sử T ánh xạ compact từ không gian Banach X lên nó, giả thiết tồn số M cho ... σb(x, u, Du) = (1.14) Ω, u = ϕ ∂Ω Áp dụng Định lí 1.1, ta phát biểu định lí tồn sau Địnhlý 1.3 ([4]) Giả sử Ω miền bị chặn Rn giả thiết Q elliptic Ω với hệ số aij , b ∈ C α (Ω × R × Rn ), < α < ... xạ T đảm bảo điều kiện (2) (3), tương đương với việc chứng minh Định lí 1.1 Khi ta kết luận Định lí 1.2 tổng quát Định lí 1.1 Địnhlý 1.4 ([4]) Giả sử Ω miền bị chặn Rn với biên ∂Ω ∈ C 2, α giả...
... vi phân CHƯƠNG MỘT SỐ KIẾN THỨC CHUẨN BỊ 0.1 Định nghĩa Cho f (t ) xác định t , f (t ) khả tích mọiđoạn a, b , (với a b ) s tham số thực (hoặc phức) Ta định nghĩa biến đổi ... biến đổi Laplace hàm f Địnhlý 0.1.1 Giả sử L f (t ) L g (t ) tồn Cho a b số Khi đó, L af (t ) bg (t ) tồn L af (t ) bg (t ) aL f (t ) bL g (t ) Địnhlý 0.1.2 Giả sử (1) ... Cho F L f , G L g , a b số Khi đó, L1 aF bG aL1 F bL1 G 0.3 Biến đổi Laplace tích chập Cho hai hàm số f g xác định hàm số f g định t ( f g )(t ) f ()g (t...
... biểu địnhlý sau Địnhlý 3.5 Giả sử điều kiện (C1) v (C2 ) đợc thỏa m n Khi b i toán Cauchy (3.1), (1.34) tồn nghiệm địa phơng, trơn Sau ta áp dụng địnhlýĐịnhlý 3.5 để phát biểu địnhlý tính ... v véc tơ g 0( ) = (g1 ( ), g2 ( ), , gn ( )) xác định bởi(1.83) Từ Địnhlý 1.1 v Địnhlý 1.3 ta phát biểu kết chơng n y địnhlý sau: Địnhlý 1.4 Giả sử điều kiện (1.11), (1.87) đợc thỏa m n ... Cauchy cho nh phần mở đầu 1.2 Một sốđịnhlý dạng vi phân, đổi biến phơng trình Monge-Ampere nhiều biến độc lập ` 1.2.1 Một sốđịnhlý dạng vi phân Sau xét số dạng vi phân đặc biệt có liên quan...
... Trong bảng này, cột thứ số bước lặp, số cột thứ hai tương ứng giá trị xấp xỉ, số cột thứ ba giá trị theo công thức Ta thấy kết tính toán theo công thức Euler có sai số lớn so với nghiệm xác ... phương pháp Runge-Kutta cấp tốt nhiều so với kết thực theo phương pháp Euler phương pháp Euler cải tiến với số bước (n=20, h=0.05) tốt phương pháp Runge-Kutta với số bước (n=10, h=0.1) Các thao ... Kết trùng khớp với kết tính toán Maple, có sai khác đơn vị chữ số thập phân thứ 10 (do làm tròn số) Phương pháp Euler với số bứơc lặp nhiều (20 bước, h = 0,05) cho kết xác hơn; Tính toán máy...
... ă Bổ đề Nếu Giả sử f Lp (R), g Lq (R) f g L1 (R) f g Định nghĩa (Định f ã (Định lý Plancherel) kí hiệu chuẩn Định nghĩa Fourier f (Định + eix. f (x)dx nghĩa biến đổi Fourier {fk } L1 (R) ... đổi Fourier p > 1, q > số thực thỏa mãn nguyên dương cho D f L2 (R) f Kết Trong phần này, ddwa đánh giá ổn định nghiệm toán (1.1) Địnhlý (3.1) với a(t) (Đánh giá ổn định) Giả sử u(x, t) nghiệm ... điều kiện sau a(t) = h.k.n [0,1], 3) 2(1à(t)) t (0, 1) Vậy địnhlý chứng minh Địnhlý hàm 1) u2 (, 0)d E 2(1à(t)) Từ suy mệnh đề địnhlý với u(ã, 0) (1à(t)) + 2à(t) (1à(t)) + Nhận xét h.k.n...
... σ ∂T , ta suy : Địnhlý 2.3.4 Nếu ζ ∈ C (0,µ) với µ ≤ λ hàm số ω liên tục T Ω \ (T \ ∂T ) định lí nêu trước, ω ∈ C (0,µ) Định lí sau nói tính liên tục dω dν điểm biên ∂T Địnhlý 2.3.5 Nếu L ... Fredholm loại hai (2.22) ta có định lí sau thường gọi định lí Fredholm Địnhlý 2.4.1 Phương trình ϕ(x) − K(x, y)ϕ(y)dy σ = ∂T 28 Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn ... hợp Từ điều này, trường hợp định lí Dirichlet, định lí suy ra: Địnhlý 3.2.2 Với giả thiết giống định lí 3.2.1 aik , ei ∈ C (1,λ) , toán Neumann toán liên hợp chấp nhận số (dương không) nghiệm độc...
... nh lý 1.1.3 ging nh lý nhỳng c xỏc nh di õy: Cho u(x) l mt phn t tựy ý tha gi thit ca nh lý Khi ú nh lý 1.1.3 õy tn ti mt i din ca phn t ny (ngha l mt hm tng ng u(x) trờn Q ) m kt lun ca nh lý ... l hin nhiờn Ta cú ba nh lý Fredholm vi phng trỡnh (1.3.18) nh lý th nht khng nh s tn ti ca nh lý t nh lý nht vi bt k s hng t (1.3.18) l tng ng (1.3.10) vi mi W2 () nh lý ny m bo s tn ti ca nghim ... uh 1 W2 (), t nh lý ca F Rellich: Mt b chn W2 () l tin compact L2 () (xem [8], trang 25) v nh lý 1.1.2 ca Chng I ta cú nh lý 2.2.1 c chng minh Chỳ ý 2.2.1 Ta khụng th gi s nh lý ny cỏc cnh biờn...
... rộng W2 (Ω) toán (2.94) với số hạng tự f + (λ − λ0 )u ∈ L2 (Ω) Bởi Địnhlý 2.5 Địnhlý 2.1 nghiệm W2 (Ω) Thật vậy, ta chứng minh địnhlý sau: Định lí 2.6 Giả thiết Địnhlý 2.3 L, f Ω, với nghiệm ... đây: - Phát biểu địnhlý Riez, địnhlý Lax-Milgram, địnhlý Fredholm Nêu l định nghĩa không gian Lp (Ω), đạo hàm riêng suy rộng, không gian Wp (Ω) Phát biểu địnhlý nhúng vết hàm số mặt cong (n ... hai chương: Chương I trình bày lý thuyết không gian Sobolev, phát biểu địnhlý Riesz, địnhlý Lax-Milgram, địnhlý Fredholm Nêu định nghĩa không l gian Lp (Ω), định nghĩa đạo hàm riêng suy rộng...
... 1.1.2 Phng trỡnh elliptic 10 1.2 Lý thuyt v cỏc s lp 13 1.2.1 Lc lp hai lp 13 1.2.2 Lc dng, nh lý c bn v s hi t ca phng phỏp lp 15 1.3 Phng phỏp chia ... p p' i vi p S húa bi Trung tõm Hc liu http://www.lrc-tnu.edu.vn/ nh lý 1.1.2 (Bt ng thc Minkowski) Nu < p < Ơ thỡ f +g nh lý 1.1.3 Khụng gian L p Ê p f (W) vi p + g p 1Ê p < Ơ l mt khụng gian ... http://www.lrc-tnu.edu.vn/ L (W ) q ẻ ộ +Ơ 1, ự ỳ ỷ W01, p (W è C (W l nhỳng Compact ) ) iii) Nu p > n thỡ nh lý 1.1.5 (nh lý vt) Gi s W l mt m R n cho ả W l liờn tc Lipschitz thỡ tn ti nht mt ỏnh x tuyn tớnh liờn...