Các phương pháp nghiên cứu định lí krasnoselskii về điểm bất động trong nón

114 3 0
Các phương pháp nghiên cứu định lí krasnoselskii về điểm bất động trong nón

Đ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

BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC: CÁC PHƯƠNG PHÁP NGHIÊN CỨU ĐỊNH LÍ KRASNOSELSKII VỀ ĐIỂM BẤT ĐỘNG TRONG NÓ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 mơ hình tốn học ta có nhiều cách tiếp cận, cách sử dụng chuyên ngành khoa học khác Lý thuyết phương trình vi phân, Lý thuyết phương trình đạo hàm riêng, Đại số tuyến tính, Nếu ngành khoa học nêu việc nghiên cứu mơ hình với biến liên tục tỏ xác định mạnh mơ hình biến rời rạc việc sử dụng kết kiến thức lý thuyết sai phân cho thấy giá trị vượt trội Thực tế mơ hình liên quan đến dân số, tài chính, mơi trường, ngân hàng, Và vấn đề Lý thuyết phương trình vi phân, Phương trình đạo hàm riêng giải dựa Lý thuyết sai phân 179 2 ĐỊ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) F (x, y)dy dx F (x, y)dxdy = R2n Rn  Z Z Z Rn Z Z F (x, y)dx dy = Rn  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, δ) (1) Mặt khác, h ∈ N thỏa 1/h < δ x ∈ K , theo (??), Z |(f ∗ ϱh )(x) − f (x)| = (f (x − y) − f (x))ϱh (y)dy = n ZR ≤ |f (x − y) − f (x)|ϱh (y)dy B(0,1/h) Z =ϵ ϱh (y)dy B(0,1/h) = ϵ Ta có điều phải chứng minh Chứng minh định lý ?? (i) Ta chưng minh kết n = Đủ để rằng, ϱ ∈ C1c (R), ϱ ∗ f ∈ Cm (R) với số nguyên m ≥ Cho m = giả sử ϱ ∈ C1c (R), ϱ ∗ f ∈ C1 (R) (ϱ ∗ f )′ (x) = (ϱ′ ∗ f )(x), ∀x ∈ R (22) Sau đó, ta chứng minh với m có kết luận Thật vậy, giả sử ϱ ∈ Cm c (R) m−1 ′ với m ≥ Khi ϱ ϱ ∈ Cc (R) Từ giả thiết ban đầu, ϱ ∗ f ∈ Cm−1 (R) (??) giữ Từ ϱ′ ∈ Ccm−1 (R) chí ϱ′ ∗ f ∈ Cm−1 (R), theo (??), (ϱ ∗ f )′ ∈ Cm−1 (R) giữ Vì vậy, ϱ ∗ f ∈ Cm (R), kết thúc chứng minh phát biểu (i) Ta chứng minh (??) Cho < |t| ≤ cố định x ∈ R, (ϱ ∗ f )(x + t) − (ϱ ∗ f )(x) − (ϱ′ ∗ f )(x) t Z ϱ(x − y + t) − ϱ(x − y) − tϱ′ ()x − y = f (y)dy t R (23) Lấy qua giới hạn (??) t → ∞ tốn hội tụ số hạng vế phải 23 Ta thấy, ϱ bị chặn R, Z z+t ′ ′ ′ (ϱ (s) − ϱ (z))ds ≤ |t|ϵ(|t|), |ϱ(z+t)−ϱ(z)−tϱ (z)| = ∀z ∈ R, ∀t ∈ [−1, 1], z (24) phần dư ϵ : [0, +∞) → [0, +∞) xác định sau ϵ(τ ) := sup{|ϱ′ (s) − ϱ′ (z)| : s, z ∈ R, |s − z| ≤ τ } ∈ [0, ∞), τ ∈ [0, +∞) Hơn nữa, ϱ′ liên tục R nên (25) lim ϵ(τ ) = Mặt khác, cho K0 := spt(ϱ), ϱ(x − y + t) − ϱ(x − y) − tϱ′ (x − y) = y ∈ / x + B(0, 1) − K0 , ∀t ∈ B(0, 1), x − y + t ∈ / K0 với t ∈ B(0, 1) Ký hiệu K := x + B(0, 1) − K0 , từ (??), ta suy |ϱ(x − y + t) − ϱ(x − y) − tϱ′ (x − y)||f (y)| ≤ |t|ϵ(|t|)χK (y)|f (y)|, ∀y ∈ R, ∀t ∈ [−1, 1] (26) Theo (??), (??), (??) định lý hội tụ bị trội, ta (??) (ii) Để đơn giản, ta ký hiệu ϱh ≡ ϱ Lưu ý, f ∗ ϱ : Rn → R liên tục, đo Đầu tiên, giả sử ≤ p < ∞ Khi Z

Ngày đăng: 05/07/2023, 21:36

Tài liệu cùng người dùng

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

Tài liệu liên quan