Tài liệu Lý thuyết sóng nhỏ và một số ứng dụng trong giải phương trình vi phân

LỜI CẢM ƠN Trước hết tác giả xin bày tỏ sự kính trọng, lòng biết ơn sâu sắc tới thầy giáo, TS. Nguyễn Văn Tuấn người đã tận tình hướng dẫn tác giả trong học tập, nghiên cứu và hoàn thành luận văn tại trường Đại học Sư phạm Hà Nội 2. Tác giả cũng xin bày tỏ lòng biết ơn chân thành tới toàn thể các thầy cô giáo trong Phòng sau đại học, Đại học Sư phạm Hà Nội 2 đã chỉ dạy tận tình cho tác giả trong suốt quá trình học tập tại trường. Nhân dịp này tác giả cũng cũng xin được gửi lời cảm ơn chân thành tới gia đình, bạn bè đã luôn cổ vũ, động viên, giúp đỡ tác giả trong suốt quá trình học tập và thực hiện khóa luận tốt nghiệp. Hà Nội, ngày 05 tháng 12 năm 2013 Tác giả Nguyễn Ngọc Quang LỜI CAM ĐOAN Tôi xin cam đoan luận văn này là công trình nghiên cứu của riêng tôi, được hoàn thành dưới sự hướng dẫn của thầy giáo, TS. Nguyễn Văn Tuấn. Trong khi nghiên cứu luận văn tôi đã kế thừa thành quả khoa học của các nhà khoa học với sự trân trọng biết ơn. Hà Nội, ngày 05 tháng 12 năm 2013 Tác giả Nguyễn Ngọc Quang Mục lục Lời cảm ơn i Lời cam đoan ii Bảng ký hiệu vi Mở đầu 1 1 KIẾN THỨC CHUẨN BỊ 4 1.1 Lý thuyết độ đo . . . . . . . . . . . . . . . . . . . . . . . 4 1.2 Tích phân Lebesgue . . . . . . . . . . . . . . . . . . . . . 7 1.2.1 Tích phân các hàm đơn giản . . . . . . . . . . . . 7 1.2.2 Tích phân của các hàm đo được . . . . . . . . . . 8 1.3 1.4 Không gian vectơ, không gian định chuẩn, không gian Hilbert, không gian L2 . . . . . . . . . . . . . . . . . . . 9 1.3.1 Không gian vectơ . . . . . . . . . . . . . . . . . . 9 1.3.2 Không gian định chuẩn . . . . . . . . . . . . . . . 10 1.3.3 Không gian Hilbert . . . . . . . . . . . . . . . . . 12 1.3.4 Không gian L2 . . . . . . . . . . . . . . . . . . . 13 Khai triển Fourier . . . . . . . . . . . . . . . . . . . . . . 13 iii 1.5 1.6 Không gian các hàm Spline . . . . . . . . . . . . . . . . 14 1.5.1 Spline đa thức bậc 3 với mốc cách đều . . . . . . 14 1.5.2 Spline đa thức tổng quát . . . . . . . . . . . . . . 16 Xấp xỉ và tốc độ hội tụ . . . . . . . . . . . . . . . . . . . 18 2 LÝ THUYẾT SÓNG NHỎ 2.1 2.2 2.3 2.4 2.5 2.6 20 Cơ sở sóng nhỏ Haar . . . . . . . . . . . . . . . . . . . . 20 2.1.1 Xấp xỉ bằng hàm bậc thang . . . . . . . . . . . . 20 2.1.2 Cơ sở sóng nhỏ Haar . . . . . . . . . . . . . . . . 21 Phân tích đa phân giải . . . . . . . . . . . . . . . . . . . 23 2.2.1 Định nghĩa phân tích đa phân giải . . . . . . . . 23 2.2.2 Tính ổn định của các hàm Scaling . . . . . . . . . 24 2.2.3 Tính đầy đủ của hàm bậc thang . . . . . . . . . . 26 Cơ sở sóng nhỏ trực chuẩn từ phân tích đa phân giải . . 27 2.3.1 Sóng nhỏ trực chuẩn . . . . . . . . . . . . . . . . 31 Sóng nhỏ spline trực chuẩn . . . . . . . . . . . . . . . . . 32 2.4.1 B-spline cơ bản . . . . . . . . . . . . . . . . . . . 32 2.4.2 Xây dựng sóng nhỏ spline trực chuẩn . . . . . . . 34 Sóng nhỏ có giá compact . . . . . . . . . . . . . . . . . . 36 2.5.1 Tính đối xứng của hàm Scaling và mặt nạ của nó 36 Biến đổi sóng nhỏ nhanh . . . . . . . . . . . . . . . . . . 37 2.6.1 Xấp xỉ khởi đầu . . . . . . . . . . . . . . . . . . . 37 2.6.2 Phân dã đa bậc thang . . . . . . . . . . . . . . . 39 2.6.3 Biến đổi sóng nhỏ nhanh . . . . . . . . . . . . . . 40 2.6.4 Thuật toán kim tự tháp . . . . . . . . . . . . . . 43 iv 3 MỘT SỐ ỨNG DỤNG CỦA SÓNG NHỎ 45 3.1 Xấp xỉ hàm số bằng chuỗi sóng nhỏ . . . . . . . . . . . . 45 3.2 Nghiệm sóng nhỏ cho phương trình vi phân . . . . . . . 46 3.2.1 Kỹ thuật sóng nhỏ Galerkin . . . . . . . . . . . . 48 3.2.2 Các hệ số kết nối . . . . . . . . . . . . . . . . . . 50 3.2.3 Phương pháp sóng nhỏ cho ODE . . . . . . . . . 51 3.2.4 Áp dụng . . . . . . . . . . . . . . . . . . . . . . . 53 3.3 Một ứng dụng sóng nhỏ Haar trong giải phương trình vi phân . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54 3.3.1 Hàm xấp xỉ . . . . . . . . . . . . . . . . . . . . . 54 3.3.2 Giải xấp xỉ phương trình vi phân . . . . . . . . . 55 3.3.3 Ứng dụng vấn đề giá trị biên . . . . . . . . . . . . 56 3.3.4 Áp dụng với điều kiện biên hỗn hợp loại 1 . . . . 57 3.3.5 Áp dụng với điều kiện biên hỗn hợp loại 2 . . . . 57 3.3.6 Một số ví dụ . . . . . . . . . . . . . . . . . . . . . 59 Kết luận 63 Tài liệu tham khảo 64 v BẢNG KÝ HIỆU N Tập số tự nhiên Z Tập các số nguyên R Tập số thực C Tập số phức S3 Không gian các hàm Spline bậc 3 C[a;b] Không gian các hàm số thực liên tục trên đoạn [a; b] L2 [a;b] Không gian các hàm bình phương khả tích trên [a; b] MỞ ĐẦU 1. Lý do chọn đề tài Trong thời gian gần đây lý thuyết sóng nhỏ và các ứng dụng nhận được sự quan tâm nghiên cứu của rất nhiều nhà toán học trong và ngoài nước. Lý thuyết sóng nhỏ với các ứng dụng của nó đã xâm nhập vào rất nhiều lĩnh vực trong cuộc sống hiện đại như sử lý tín hiệu, sử lý ảnh, đồ họa máy tính... Khi nghiên cứu về lý thuyết sóng nhỏ và ứng dụng có xuất hiện một số vấn đề sau 1. Có thể xấp xỉ một hàm số bằng chuỗi sóng nhỏ hay không? 2. Trong các sóng nhỏ đã được giới thiệu sóng nhỏ Haar có ứng dụng rất tốt vào giải phương trình vi phân. Sóng nhỏ Haar có thể đơn giản phương trình vi phân về thành một hệ phương trình đại số. Tuy nhiên ứng dụng cụ thể trong việc sử dụng sóng nhỏ Haar để giải gần đúng nghiệm của phương trình y 00 + α1 (t)y 0 + α2 (t)y = f (t) Với các điều kiện biên khác nhau : y(0) = y0 , y 0 (0) = y1 , y(0) = β0 , y(1) = β1 , y(0) = A, y 0 (1) = B, và y 0 (0) = A, y(1) = B. Còn nhiều vấn đề cần được làm rõ. 2 3. Trong phương pháp giải xấp xỉ phương trình vi phân, sử dụng kỹ thuật Galerkin cũng thường xuyên được sử dụng. Tuy nhiên có khó khăn trong việc đối phó với điều kiện biên. Phương pháp tiếp cận biên ảo với các hệ số kết nối có thể khắc phục được các khó khăn trên. Cần được nghiên cứu nhiều hơn. Với mong muốn được tìm hiểu sâu hơn về lý thuyết sóng nhỏ và các ứng dụng của nó, được sự đồng ý hướng dẫn của Tiến sĩ Nguyễn Văn Tuấn, tôi đã lựa chọn đề tài nghiên cứu "Lý thuyết sóng nhỏ và một số ứng dụng trong giải phương trình vi phân" để thực hiện luận văn tốt nghiệp. 2. Mục đích nghiên cứu Tìm hiểu lý thuyết cơ bản của sóng nhỏ. Nghiên cứu xấp xỉ hàm số bằng chuỗi sóng nhỏ, nghiệm sóng nhỏ cho phương trình vi phân. 3. Nhiệm vụ nghiên cứu Trình bày về khái niệm sóng nhỏ. Trình bày về xấp xỉ hàm số bằng chuỗi sóng nhỏ. Trình bày nghiệm sóng nhỏ cho phương trình vi phân. 4. Đối tượng và phạm vi nghiên cứu Đối tượng nghiên cứu: Lý thuyết sóng nhỏ và ứng dụng trong giải phương trình vi phân. 3 5. Phương pháp nghiên cứu Thu thập nghiên cứu phân tích tổng hợp tài liệu có liên quan, đặc biệt là các bài báo mới trong nước và ngoài nước về vấn đề luận văn đề cập tới. Lấy ý kiến chuyên gia. 6. Dự kiến đóng góp mới Luận văn là một nghiên cứu tổng quan của tác giả về lý thuyết sóng nhỏ. Sử dụng sóng nhỏ để xấp xỉ một hàm số. Sử dụng sóng nhỏ để tìm nghiệm của phương trình vi phân với độ chính xác cao. Chương 1 KIẾN THỨC CHUẨN BỊ 1.1 Lý thuyết độ đo Định nghĩa 1.1.1. Cho tập hợp X tùy ý. M là một lớp tập con của X. Một hàm số µ xác định trên M được gọi là một hàm tập hợp, hay gọn hơn, một hàm tập. Hàm tập hợp đó là cộng tính nếu: A, B ∈ M, A ∩ B = ∅, A ∪ B ∈ M ⇒ µ(A ∪ B) = µ(A) + µ(B). Bằng cách quy nạp ta có nếu µ là cộng tính thì µ là "hữu hạn cộng tính", S nghĩa là Ai ∈ M(i = 1, 2, ..., n), Ai ∩ Aj = ∅(i 6= j), ni=1 Ai ∈ M thì ta có µ [n i=1  Ai = n X µ(Ai ). i=1 Hàm µ được gọi là σ-cộng tính nếu Ai ∈ M(i = 1, 2, ...n), Ai ∩Aj = S ∅(i 6= j), ∞ i=1 Ai ∈ M thì ta có µ [∞ i=1  Ai = ∞ X µ(Ai ). i=1 Một hàm tập µ gọi là một độ đo nếu nó xác định trên một đại số C và 1. µ(A) ≥ 0 với mọi A ∈ C. 4 5 2. µ(θ) = 0. 3. µ là σ-cộng tính. Định lý 1.1.1. Nếu µ là độ đo trên đại số C thì 1. A, B ∈ C, B ⊂ A ⇒ µ(B) ≤ µ(A). 2. A, B ∈ C, B ⊂ A, µ(B) < +∞ ⇒ µ (A\B) = µ(A) − µ(B). S P∞ 3. Ai ∈ C, A ∈ C, A ⊂ ∞ A ⇒ µ(A) ≤ i=1 i i=1 µ(Ai ), (i = 1, 2, ...). S P∞ 4. A1 ∈ C, Ai ∩Aj = ∅, A ∈ C, A ⊃ ∞ A ⇒ µ(A) ≥ i=1 i i=1 µ(Ai ), (i = 1, 2, ...). Định lý 1.1.2. Nếu µ là một độ đo trên đại số C thì S 1. Ai ∈ C(i = 1, 2, ...), A1 ⊂ A2 ⊂ ..., ∞ i=1 Ai ∈ C [∞  Ai = lim µ (Ai ) ⇒µ i=1 i→∞ T 2. Ai ∈ C, A1 ⊃ A2 ⊃ ..., µ(A1 ) < ∞, ∞ i=1 Ai ∈ C \ ∞  ⇒µ Ai = lim µ (Ai ) . i=1 n→∞ Định nghĩa 1.1.2. Một hàm tập µ∗ xác định trên lớp tất cả các tập con của một không gian X, được gọi là một độ đo ngoài nếu 1. µ∗ (A) ≥ 0 với mọi A ⊂ X. 2. µ∗ (∅) = 0. ∞ P S∞ ∗ 3. A ⊂ i=1 Ai ⇒ µ (A) ≤ µ∗ (Ai ). i=1 Định lý 1.1.3 (Caratheodory). Cho µ∗ là một độ đo ngoài trên X và L là lớp tất cả các tập con A của X sao cho µ∗ (E) = µ∗ (E ∩ A) + µ∗ (E\A) với mọi E ⊂ X. (1.1) Khi ấy L là một σ-đại số và hàm µ = µ∗ /L (thu hẹp của µ∗ trên L) là một độ đo trên L. 6 Độ đo µ gọi là độ đo cảm sinh bởi độ đo ngoài µ∗ . Các tập A (thỏa mãn điều kiện (1.1)) gọi là µ∗ -đo được. Định lý 1.1.4. Cho m là một độ đo trên đại số C những tập con của X. Nếu ta đặt với mỗi A ⊂ X: (∞ ) X [∞ µ∗ (A) = inf m(Pi ) : Pi ⊃ A, Pi ∈ C , i=1 i=1 (1.2) thì µ∗ là một độ đo ngoài và µ∗ (A) = m(A) với mọi A ∈ C, đồng thời mọi tập hợp thuộc σ-đại số F(C) đều là µ∗ -đo được. Định nghĩa 1.1.3. Một độ đo µ trên một σ-đại số L được gọi là đủ nếu mọi tập con của một tập bất kỳ thuộc L có độ 0 đều cũng thuộc L và có độ đo 0, nghĩa là nếu N ⊂ E, µ (E) = 0 ⇒ N ∈ L, µ(N ) = 0. (1.3) Định lý 1.1.5. Cho một độ đo m trên một đại số C. Bao giờ cũng có một độ đo µ trên σ-đại số L ⊃ F(L) ⊃ C sao cho: 1. µ(A) = m(A) với mọi A ∈ C (nghĩa là µ khuếch m). 2. µ là hữu hạn (σ-hữu hạn) nếu m là hữu hạn (σ-hữu hạn). 3. µ là độ đo đủ. 4. Một tập A thuộc họ L khi và chỉ khi nó có thể biểu diễn dưới dạng A = B\N hoặc A = B ∪ N trong đó B ∈ F(C), N ⊂ E ∈ F(C), µ∗ (E) = µ(E) = 0, và µ∗ là độ đo ngoài xác định từ m theo công thức (1.2). Định nghĩa 1.1.4. Trong không gian X, một σ-đại số F những tập con của X, và một tập A ∈ F. Một hàm f (x) : X → R gọi là đo được trên tập A đối với σ-đại số F nếu ∀a ∈ R, {x ∈ A : f (x) < a} ∈ F. (1.4) 7 Điều kiện (1.4) có thể thay bằng một trong các điều kiện sau : ∀a ∈ R, {x ∈ A : f (x) > a} ∈ F, ∀a ∈ R, {x ∈ A : f (x) ≤ a} ∈ F, ∀a ∈ R, {x ∈ A : f (x) ≥ a} ∈ F. 1.2 Tích phân Lebesgue 1.2.1 Tích phân các hàm đơn giản Trong một không gian X, với một σ-đại số F và một độ đo µ trên F, cho A là một tập đo được (tức là ∈ F), và một hàm đơn giản không âm trên A: f (x) = n X αi χAi (x), (1.5) i=1 trong đó Ai đo được, rời nhau và n \ Ai = A. i=1 Nếu mỗi Ai là một đoạn ∆i trong Rk thì tích phân của hàm f (x) là số n P αi |∆i |. Trong trường hợp tổng quát khi mỗi Ai là các tập đo được i=1 thì ta thay |∆i | bằng µ(Ai ). Vì vậy ta hiểu tích phân của các hàm đơn giản không âm f (x) trên tập A với độ đo µ là số Z n X f (x)dµ = αi µ(Ai ). i=1 Kí hiệu: R A f (x)dµ hay R Af . Bổ đề 1.2.1. Nếu hai dãy hàm đơn giản fn , gn ≥ 0, đơn điệu tăng (tức là f1 (x) ≤ f2 (x) ≤ ...; g1 (x) ≤ g2 (x) ≤ ...) và nếu lim fn = lim gn thì n→∞ n→∞ Z Z lim fn = lim gn . n→∞ A n→∞ A 8 1.2.2 Tích phân của các hàm đo được Ta lần lượt xét các trường hợp các hàm không âm, trường hợp hàm có dấu thay đổi. 1. f (x) ≥ 0 trên tập A. Khi đó có một dãy hàm đơn giản fn ≥ 0, đơn điệu tăng hội tụ đến f . Ta gọi tích phân của f (x) trên tập A đối với độ đo µ là số (hữu hạn hay vô cực) Z Z f (x)dµ = lim n→∞ A fn (x)dµ. A Ta có tích phân trên xác định duy nhất và không phụ thuộc vào cách chọn dãy hàm fn . 2. f (x) có dấu bất kỳ trên tập A. Ta đặt f = f+ − f− với f + = max {f, 0} ≥ 0, f − = max {−f, 0} ≥ 0 . Nếu hiệu số R + R − A f − A f có nghĩa (tức là không có dạng ∞ − ∞) thì ta gọi nó là tích phân của hàm f trên tập A với độ đo µ: Z Z Z f (x)dµ = f + (x)dµ − f − (x)dµ, A A A nếu tích phân trên hữu hạn ta nói f khả tích. Định lý 1.2.1. 1. Nếu µ(A) = 0 và f đo được thì R Af = 0. 2. Nếu µ(A) < ∞, f đo được và bị chặn trên A, thì f khả tích trên A. 9 1.3 Không gian vectơ, không gian định chuẩn, không gian Hilbert, không gian L2 1.3.1 Không gian vectơ Định nghĩa 1.3.1. Cho tập hợp E mà các phần tử được ký hiệu là: → − − → − α, β ,→ γ,... và trường số K mà các phần tử được kí hiệu là: x, y, z.... Giả sử trên E có 2 phép toán:  → − → − → − − 1. Phép toán cộng, kí hiệu là + : E × E → E, α , β 7→ → α + β. − − 2. Phép toán nhân, kí hiệu là . : K × E → E, (x, → α ) 7→ x.→ α. Thỏa mãn các tiên đề sau: → − → − − → → − − (a) → α + β = β +→ α , ∀− α , β ∈ E. − → → − − → − → − → − − − − (b) (α + β ) + → γ =→ α + ( β + γ), ∀→ α, β ,→ γ ∈ E. → − → − − → − − − − (c) Tồn tại θ ∈ E sao cho θ + → α =→ α + θ =→ α , ∀→ α ∈ E. → − − − − − − − (d) Với mỗi → α tồn tại → α 0 ∈ E sao cho → α0 +→ α =→ α +→ α0 = θ . − − − − (e) (x + y) → α = x→ α + y→ α , ∀→ α ∈ E, x, y ∈ K.   → − → − − → − − − (f) x → α + β = x→ α + x β , ∀→ α , β ∈ E, x ∈ K. − − − (g) x (y → α ) = (xy) → α , ∀→ α ∈ E, x, y ∈ K. − − − (h) 1.→ α =→ α , ∀→ α ∈ E với 1 là đơn vị của trường K. Khi đó E cùng với hai phép toán trên gọi là không gian vectơ trên trường K hay K không gian vectơ, hay không gian tuyến tính. Nếu K = R thì E gọi là không gian vectơ thực. Nếu K = C thì E gọi là không gian vectơ phức. Định nghĩa 1.3.2. Giả sử E là một không gian vectơ. Một hệ vectơ trong E gọi là hệ sinh của E nếu mọi vectơ của E đều được biểu thị tuyến tính qua hệ đó. 10 Khi E có hệ sinh gồm hữu hạn phần tử thì ta nói E là không gian vectơ hữu hạn sinh. Một hệ vectơ trong E được gọi là cơ sở của E nếu nó là hệ sinh độc lập tuyến tính. Định nghĩa 1.3.3. Cho E là không gian vectơ có cơ sở gồm hữu hạn phần tử. Khi đó số phần tử của cơ sở được gọi là số chiều của không gian vectơ. Khi không gian vectơ có số chiều là n ta kí hiệu: dim E = n hay dimK E = n. Định nghĩa 1.3.4. Tập con W 6= ∅ của một K không gian vectơ E được gọi là không gian vectơ con của E nếu các điều kiện sau được thỏa mãn: → − → − − − 1. ∀→ α , β ∈ W, → α + β ∈ W. − − 2. ∀→ α ∈ W và ∀x ∈ K thì x→ α ∈ W. 1.3.2 Không gian định chuẩn Cho X là một không gian vectơ trên trường P (P = R hoặc C). Định nghĩa 1.3.5. Một chuẩn, kí hiệu k.k, trong X là một ánh xạ từ X vào R thỏa mãn các điều kiện: 1. kxk ≥ 0, ∀x ∈ X; kxk = 0 khi và chỉ khi x = 0. 2. kλxk = |λ| kxk , ∀λ ∈ P, ∀x ∈ X. 3. kx + yk ≤ kxk + kyk , ∀x, y ∈ X. Số kxk được gọi là chuẩn (hay độ dài) của vectơ x ∈ X. Một không gian vectơ X cùng với một chuẩn xác định trong không gian ấy, được gọi là không gian định chuẩn (thực hoặc phức tùy theo P). 11 Định lý 1.3.1. Giả sử X là một không gian tuyến tính định chuẩn. Với mọi x, y ∈ X, đặt d (x, y) = kx − yk . Khi đó d là một metric trên X. Định nghĩa 1.3.6. Dãy (xn ) trong không gian tuyến tính định chuẩn X được gọi là hội tụ đến x0 ∈ X nếu lim kxn − x0 k = 0. n→∞ Khi đó, ta kí hiệu: lim xn = x0 . n→∞ Định nghĩa 1.3.7. Dãy xn trong không gian tuyến tính định chuẩn X được gọi là một dãy cơ bản nếu lim kxm − xn k = 0. m,n→∞ Định nghĩa 1.3.8. Giả sử không gian tuyến tính định chuẩn X là một không gian metric đầy đủ (với metric d (x, y) = kx − yk). Khi đó, X được gọi là một không gian định chuẩn đầy đủ, hay còn gọi là không gian Banach. Định nghĩa 1.3.9. Cho hai không gian tuyến tính X và Y trên trường P. Ánh xạ A từ không gian X vào Y được gọi là ánh xạ tuyến tính nếu A thỏa mãn: 1. A (x + y) = Ax + Ay, ∀x, y ∈ X. 2. A (αx) = αAx, ∀x ∈ X, α ∈ P. Nếu A chỉ thỏa mãn 1. thì A được gọi là cộng tính. Nếu A thỏa mãn 2. thì ta nói A là toán tử thuần nhất. Khi Y = P thì A được gọi là phiếm hàm tuyến tính. 12 1.3.3 Không gian Hilbert Định nghĩa 1.3.10. Cho không gian tuyến tính X trên trường số P (P = R hoặc P = C). Ta gọi tích vô hướng trên không gian X là một ánh xạ từ tích Descartes X × X vào trường P, kí hiệu (., .), thỏa mãn các tiên đề 1. (y, x) = (x, y), ∀x, y ∈ X. 2. (x + y, z) = (x, z) + (y, z) , ∀x, y, z ∈ X. 3. (αx, y) = α (x, y) , ∀α ∈ P và ∀x, y ∈ X. 4. (x, x) > 0, nếu x 6= θ; (x, x) = 0, nếu x = θ (θ là kí hiệu của phần tử không), ∀x ∈ X. 5. (x, x) = kxk2 . Các phần tử x, y, z ... gọi là các phần tử của tích vô hướng. Số (x, y) gọi là tích vô hướng của hai phần tử x, y. Các tiên đề 1, 2, 3, 4, 5 gọi là hệ tiên đề của tích vô hướng. Định nghĩa 1.3.11. Không gian tuyến tính X trên trường P cùng với một tích vô hướng ở trên X gọi là không gian tiền Hilbert. Định lý 1.3.2. Cho X là một không gian tiền Hilbert. Với mỗi x ∈ X, đặt kxk = p (x, x). Khi đó, ta có bất đẳng thức Schwarz |(x, y)| ≤ kxk . kyk , ∀x, y ∈ X. Định nghĩa 1.3.12. Ta gọi không gian tuyến tính H 6= ∅ trên trường P là một không gian Hilbert nếu H thỏa mãn các điều kiện. 1. H là không gian tiền Hilbert. 13 2. H là không gian Banach với chuẩn kxk = p (x, x), ∀x ∈ X. Ta gọi mỗi không gian tuyến tính con đóng của không gian Hilbert H là một không gian Hilbert con của không gian H. Không gian L2 1.3.4 Định nghĩa 1.3.13. Cho khoảng [a; b], khi đó không gian L2[a;b] là tập hợp tất cả các hàm lũy thừa bậc 2 khả tích trên đoạn [a; b], tức là   Z  |f |2 < ∞ L2[a;b] = f  [a;b] với tích vô hướng hf, gi = Rb a f.g. Định lý 1.3.3. Không gian L2[a;b] là không gian đầy đủ. 1.4 Khai triển Fourier Định nghĩa 1.4.1. Cho một hàm f ∈ L1 , là một hàm nhận giá trị phức Z fb(ω) = f (t) e−iωt dt, ω ∈ R, (1.6) R được gọi là khai triển Fourier của hàm f. Khai triển Fourier có tính chất tuyến tính tức là c = cfb f[ + g = fb + gb và cf trong đó c ∈ C. Định nghĩa 1.4.2. Cho g ∈ L1 . Tích phân 1 2π ∨ R R g (ω) e iωt dω được gọi là khai triển Fourier ngược của g kí hiệu là g . Định nghĩa 1.4.3. Cho f, g ∈ L1 . Tích chập của hàm f và g được xác định bởi Z +∞ f ∗ g(x) = f (x − t)g(t)dt. −∞ 14 Định lý 1.4.1 (Định lý tích chập). Nếu f ∈ L2 và g ∈ L1 thì [f ∗ g]∧ (ω) = fb(ω).b g (ω) hầu khắp nơi. Định lý 1.4.2 (Công thức Parseval). Nếu f, g ∈ L2 , thì Z ∞ Z ∞ fb(u) g (u) du = f (u) gb (u) du. −∞ 1.5 −∞ Không gian các hàm Spline 1.5.1 Spline đa thức bậc 3 với mốc cách đều Xét phân hoạch π trên đoạn [a, b] với các mốc nội suy a = t0 < t1 < t2 < ... < tn = b. Kí hiệu hi = ti − ti−1 , nếu hi = h = const thì các mốc nội suy t0 , t1 , ..., tn gọi là các mốc nội suy cách đều. Định nghĩa 1.5.1. Một Spline đa thức bậc 3 trên đoạn [a, b] với phân hoạch π là một hàm số y = s (t) thỏa mãn hai điều kiện sau: 1. s (t) ∈ C 2 [a, b] . 2. Hạn chế của s (t) trên mỗi khoảng ∆i = [ti ; ti+1 ] là đa thức s (t) |∆i với deg(s(t) |∆i ) ≤ 3, ∀i = 0, 1, 2, ..., n. Không gian gồm tất cả các hàm s(t) thỏa mãn hai điều kiện trên kí hiệu là S3 (π). Từ định nghĩa ta có không gian S3 (π) chứa tất cả các đa thức có bậc nhỏ hơn hoặc bằng 3. Ta có thể kiểm tra được S3 (π) là một không gian tuyến tính.