Luận văn thạc sĩ sự tồn tại nghiệm của mô hình chất bán dẫn với điều kiện biên hỗn hợp

ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC KHOA HỌC TỰ NHIÊN PHẠM THỊ LIỄU SỰ TỒN TẠI NGHIỆM CỦA MƠ HÌNH CHẤT BÁN DẪN VỚI ĐIỀU KIỆN BIÊN HỖN HỢP LUẬN VĂN THẠC SĨ KHOA HỌC Chuyên ngành : TỐN GIẢI TÍCH Mã số : 60 46 01 02 NGƯỜI HƯỚNG DẪN KHOA HỌC: TS LÊ HUY CHUẨN HÀ NỘI, 2015 Mục lục Mở đầu .3 Kiến thức chuẩn bị 1.1 Những không gian hàm 1.1.1 Không gian Hăolder 1.1.2 Không gian Sobolev 1.2 Toán tử quạt .9 1.2.1 Định nghĩa 1.2.2 Toán tử liên kết với dạng nửa song tuyến tính 12 1.2.3 Tốn tử quạt khơng gian L2 16 1.2.4 Tốn tử quạt khơng gian tích 20 1.3 Phương trình tiến hóa nửa tuyến tính 20 Mơ hình chất bán dẫn 30 2.1 Nghiệm địa phương 31 2.1.1 Sự tồn nghiệm địa phương 31 2.1.2 Tính khơng âm nghiệm địa phương 34 2.2 Nghiệm toàn cục 40 2.2.1 Đánh giá tiên nghiệm 40 2.2.2 Nghiệm toàn cục 42 2.3 Tập hút mũ 43 Kết Luận 50 Tài liệu tham khảo .51 Mở đầu Trong luận văn này, nghiên cứu mơ hình chất bán dẫn nhà Vật lý Shockley đưa vào năm 1950 để mô tả dòng electron lỗ trống chất bán dẫn (xem [10]) Ý nghĩa Vật lý chi tiết mơ hình xem thêm tài liệu [6] Cụ thể, mơ hình Shockley có dạng sau:  ∂u = a∆u − µ∇.[u∇χ] + f (1 − uv) + g(x)  Ω× ∂v(0, ∞), (1) ∂t = b∆v + ν∇.[v∇χ] + f (1 − uv) + g(x) Ω ∂t (0, ∞), ×  = c∆χ − u + v + h(x), ∞) Ω × (0, Trong đó, hàm chưa biết u(x, t), v(x, t) mật độ electron mật độ lỗ trống thiết bị chất bán dẫn Ω, thời điểm t ≥ Số hạng a∆u, b∆v ký hiệu tự khuếch tán electron lỗ trống, a b hệ số khuếch tán dương Hàm χ đặc trưng cho điện tĩnh điện xác định phương trình Poisson, c > số điện môi Số hạng −µ∇.{u∇χ} ν∇.{v∇χ} ký hiệu khuếch tán electron lỗ trống phụ thuộc vào điện χ, µ ν hệ số khuếch tán electron lỗ trống Với điều kiện thích hợp electron lỗ trống hình thành với tốc độ f ≥ kết hợp với tốc độ fuv Các hàm g ≥ h hàm ngoại lực biết Luận văn bao gồm: phần mở đầu, hai chương, kết luận danh mục tài liệu tham khảo Chương gồm khái niệm kết Giải tích hàm liên quan n khụng gian Hăolder, khụng gian Sobolev, toỏn t quạt Cuối cùng, trình bày chi tiết định lý tồn nghiệm toán tiến hóa nửa tuyến tính để phục vụ cho nghiên cứu chương Chương nội dung luận văn, chương nghiên cứu toán (1) với điều kiện biên hỗn hợp Cụ thể, Mục 2.1 chứng minh tồn tại, tính khơng âm nghiệm địa phương Sự tồn nghiệm toàn cục trình bày Mục 2.2 dựa đánh giá tiên nghiệm Cuối cùng, nghiên cứu dáng điệu tiệm cận nghiệm phương trình Cụ thể, Mục 2.3 xây dựng tập hút mũ cho hệ động lực xác định phương trình (2.1) Tập hút mũ khái niệm đưa nhà Toán học Eden, Foias, Nicolaenko, Temam - Mở Đầu tập bất biến dương chứa tập hút tồn cục, có số chiều fractal hữu hạn hút quỹ đạo với tốc độ mũ Những nghiên cứu chi tiết tập hút mũ xem [2] Các nội dung luận văn trình bày dựa tài liệu tham khảo [11], [5] Trong luận văn chắn tránh khỏi hạn chế sai sót, tác giả mong nhận ý kiến đóng góp Thầy Cơ bạn đọc Qua tác giả bày tỏ lòng biết ơn chân thành sâu sắc tới TS Lê Huy Chuẩn, người tận tình bảo, hướng dẫn giúp đỡ để tác giả hồn thành luận văn Hà Nội, 02 tháng 01 năm 2015 Tác giả Phạm Thị Liễu Bảng ký hiệu Rn = { { x = (x1, x2, , xn) : xi ∈ } } x = i== 1, n (x1, x2, , xn) : xi ∈ R, i = 1, n − 1, xn > C([a, b]) := {f : [a, b] → R liên tục [a, b]} n R R+, Cm([a, b]) = m { f : [a, b] → R : Dαf ∈ C0(Ω), ∀α : |α| ≤ m } m C0 ([a, b]) := {f ∈ C ([a, b]) : giá f compact [a, b]} Cm, (Ω) := không gian hàm khả vi liên tục m lần đạo hàm cấp m liên tục Lipschitz Ω { L(X, Y ) = f : X → Y : f tuyến tính liên Lp (Ω) } = {f : Ω → C : ∫ |f (x)|p dx < +∞} , p ≥ tục Ω L∞ (Ω) = {f đo Ω : ess sup|f | < +∞} với ess sup|f | = inf {k : µ {x ∈ Ω : f (x) > k} = 0} , µ độ đo Lebesgue Ω Ω (Ω) = {f đo Ω : f ∈ Lp(Ω′ ), Lp lo c ∀Ω′ compa ct ⊂ Ω} Chương Kiến thức chuẩn bị Trong chương này, trình bày số khái niệm kết qu liờn quan n khụng gian Hăolder, khụng gian Sobolev, toán tử quạt thường sử dụng nghiên cứu tốn phương trình vi phân đạo hàm riêng Chứng minh chi tiết kết xem [11, 9] Và trình bày số kết liên quan đến phương trình tiến hóa tuyến tính nửa tuyến tính sử dụng chương sau luận văn Chúng ta đưa định lý tồn nghiệm hệ phương trính tiến hóa nửa tuyến tính trình bày chi tiết chứng minh định lý Những vấn đề khác liên quan đến phương trình nửa tuyến tính xem [11, Chương 4] 1.1 Những không gian hm c bn 1.1.1 Khụng gian Hăolder Cho Rn tập mở < γ ≤ Định nghĩa 1.1 a) Hàm số u : Ω R c gi l liờn tc Hăolder bc tồn số C > cho |u(x) − u(y)| ≤ C|x − y|γ , x, y ∈ Ω Khi γ = 1, hàm số u gọi liên tục Lipschitz b) Cho u : Ω → R bị chặn liên tục Ta định nghĩa uC() := sup |u(x)| x c) Na chun Hăolder bậc γ u : Ω → R C0,γ [u](Ω) |u(x) − := sup u(y)| | − |̸ x y γ x=y x,y∈Ω Chương Kiến thức chuẩn bị v chun Hăolder bc l uC0, () := uC() + [u]C0, () nh ngha 1.2 Khụng gian Hăolder C k,γ (Ω) gồm tất hàm số u ∈ C k (Ω), mà chuẩn ∑ ∑ ∥u∥Ck,γ (Ω) := |α| ≤k hữu hạn ∥Dαu∥C(Ω) + |α|=k [Dαu]C0,γ (Ω) Như vậy, không gian Ck,γ (Ω) gồm tất hàm số u cho đạo hàm riêng cấp k ca nú b chn v liờn tc Hăolder bc Nhn xột: Khụng gian Hăolder C k, () không gian Banach với chuẩn ∥.∥C k,γ (Ω) , Khụng gian hm liờn tc Hăolder cú trng F ((a, b]; X) Cho (X, ∥.∥) không gian Banach, với hai số mũ < σ < β < Không gian β,σ F ((a, b]; X) gồm hàm liên tục F (t) : (a, b] → X thỏa mãn ba tính chất sau: (1) (t − a)1−βF (t) có giới hạn t → a (2) F l hm liờn tc Hăolder vi s m v trọng (s − a)1−β+σ , nghĩa 1−β+σ ∥F (t) − F (s)∥ sup (s − a) (t − s)σ a≤s