ĐẠI HỌC THÁI NGUYÊN
TRƯỜNG ĐẠI HỌC KHOA HỌC
ĐỖ THỊ THỦY
LÝ THUYẾT SÓNG NHỎ
Chuyên ngành:
TOÁN ỨNG DỤNG
Mã số: 60.46.01.12
LUẬN VĂN THẠC SĨ TOÁN HỌC
Người hướng dẫn khoa học:
TS. NGUYỄN VĂN MINH
THÁI NGUYÊN - NĂM 2014
Mục lục
Mục lục
i
Lời cảm ơn
iii
Mở đầu
1
1 Nhập môn lý thuyết sóng nhỏ
2
1.1
Sự cục bộ hóa tần số thời gian . . . . . . . . . . . . . . . . . . . . .
1.2
Các phép biến đổi sóng nhỏ: Sự giống nhau và khác nhau với các
1.3
1.4
biến đổi Fourier dạng cửa sổ . . . . . . . . . . . . . . . . . . . . . .
4
Các loại biến đổi sóng nhỏ khác nhau . . . . . . . . . . . . . . . .
8
1.3.1
Biến đổi sóng nhỏ liên tục . . . . . . . . . . . . . . . . . . .
9
1.3.2
Các khung biến đổi sóng nhỏ dư nhưng riêng biệt . . . . .
9
1.3.3
Các cơ sở sóng nhỏ trực chuẩn: Phân tích đa phân giải . . 12
Tín hiệu và khôi phục tín hiệu . . . . . . . . . . . . . . . . . . . . . 20
1.4.1
Tín hiệu . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
1.4.2
Biến đổi Fourier
1.4.3
Xấp xỉ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
. . . . . . . . . . . . . . . . . . . . . . . . 20
2 Ứng dụng của wavelets vào xử lý ảnh
2.1
3
37
Phân loại các kỹ thuật nén. . . . . . . . . . . . . . . . . . . . . . . 38
2.1.1
Nén tổn hao và không tổn hao: . . . . . . . . . . . . . . . . 38
2.1.2
Mã hóa dự đoán và mã hóa dựa trên phép biến đổi: . . . 39
2.1.3
Mã hóa băng con: . . . . . . . . . . . . . . . . . . . . . . . 39
2.2
Tiêu chuẩn đánh giá chất lượng mã hóa ảnh. . . . . . . . . . . . . 39
2.3
Chuẩn nén ảnh tĩnh dựa trên biến đổi sóng nhỏ - JPEG2000. . . . 40
2.3.1
Lịch sử ra đời và phát triển chuẩn JPEG2000: . . . . . . . 40
i
2.3.2
Các tính năng của JPEG2000: . . . . . . . . . . . . . . . . 40
2.3.3
Các bước thực hiện nén ảnh theo chuẩn JPEG2000: . . . 41
Kết luận
48
Tài liệu tham khảo
49
ii
Lời cảm ơn
Trong suốt quá trình làm luận văn, tác giả luôn nhận được sự hướng dẫn và
giúp đỡ của TS. Nguyễn Văn Minh. Thầy đã giành nhiều thời gian chỉ bảo rất
tận tình hướng dẫn và giải đáp các thắc mắc của tôi trong suốt quá trình làm
luận văn. Tác giả xin chân thành bày tỏ lòng biết ơn sâu sắc đến Thầy và kính
chúc thầy luôn luôn mạnh khỏe.
Tác giả cũng xin cảm ơn các quý thầy, cô khoa Toán - Tin, viện Toán học,
phòng Đào tạo trường Đại học Khoa học - Đại học Thái Nguyên cũng như các
thầy cô đã tham gia giảng dạy khóa cao học 2012 - 2014, lời cảm ơn sâu sắc nhất
về công lao dạy dỗ mang đến cho tôi nhiều kiến thức bổ ích không chỉ trong
khoa học mà còn cả trong cuộc sống.
Tác giả xin chân thành cảm ơn các anh chị em học viên lớp Cao học toán K6
và bạn bè đồng môn đã giúp đỡ tác giả trong quá trình học tập tại trường Đại
học Khoa học - Đại học Thái Nguyên và trong quá trình hoàn thiện luận văn
thạc sĩ.
Cuối cùng, con xin cảm ơn bố mẹ. Nhờ có bố mẹ không quản gian khó, vất
vả sớm khuya nhưng vẫn tạo mọi điều kiện tốt nhất để con có được thành quả
ngày hôm nay.
Thái Nguyên, tháng 8 - 2014
Người Viết Luận Văn
Đỗ Thị Thủy
iii
Mở đầu
Lý thuyết sóng nhỏ là môn khoa học phát triển gần đây trong ngành toán
học ứng dụng. Tên của chúng đã được ra đời cách đây gần 3 thập kỷ (Morlet,
Arens, Fourgeau và Giard (1982), Morlet (1983), Grossmann và Morlet (1984)).
Trong 30 năm qua, từ khi ra đời sóng nhỏ đã thu hút đươc nhiều sự chú ý và đã
có bước phát triển nhanh chóng. Có một số lý do dẫn đến sự thành công hiện tại
của chúng. Một mặt, khái niệm về những sóng nhỏ có thể được xem xét như là
một sự tổng hợp của những ý tưởng mà được bắt nguồn trong suốt khoảng thời
gian qua trong ngành kỹ thuật (subband coding), vật lý (tình trạng gắn kết,
nhóm renormalization) và ngành toán học (nghiên cứu của toán từ Calderón Zygmund). Là kết quả của những nguồn gốc liên quan đến những lĩnh vực học
thuật, sóng nhỏ thu hút nhiều nhà khoa học và các kỹ sư ở nhiều lĩnh vực khác
nhau. Mặt khác, sóng nhỏ là công cụ toán học khá đơn giản mà có nhiều ứng
dụng có thể. Sóng nhỏ đã có những ứng dụng lý thú trong xử lý tín hiệu.
Mục đích của đề tài luận văn nhằm tìm hiểu và giới thiệu về lý thuyết sóng
nhỏ và ứng dụng của nó.
Nội dung của luận văn được trình bày trong hai chương.
Chương 1 trình bày và giới thiệu về một cái nhìn tổng quan của các khía cạnh
biến đổi của sóng nhỏ như là: Sự cục bộ hóa tần số thời gian; các biến đổi về
sóng; các loại biến đổi sóng nhỏ khác nhau; tín hiệu và khôi phục tín hiệu.
Chương 2 trình bày ứng dụng của wavelets vào xử lý ảnh.
Thái Nguyên, tháng 8 năm 2014
Học viên
Đỗ Thị Thủy
1
Chương 1
Nhập môn lý thuyết sóng nhỏ
Các phép biến đổi wavelet (sóng nhỏ) là công cụ chia nhỏ số liệu, hàm số
hoặc toán tử thành các phần khác nhau sau đó nghiên cứu mỗi thành phần với
một độ phân giải phù hợp với quy mô của nó. Tiền thân của kỹ thuật này đã
được phát minh một cách độc lập trong toán học thuần túy (Nhận biết độ phân
giải của Calderón trong phân tích hàm điều hoà - xem ví dụ, Caderón (1964)),
vật lý học (trạng thái nhất quán của (ax + b) - nhóm trong cơ học lượng tử, lần
đầu tiên được xây dựng bởi Aslaksen và Klauder (1968) và liên kết với nguyên
tử hidrô Hamilton bởi Paul (1985)) và kỹ thuật (phục hồi lại bộ lọc QMF bởi
Esteban và Galland (1977) và sau đó bộ lọc QMF với tính chất được phục hồi
chính xác bởi Smith và Barnwell (1986), Veterli (1986) trong kỹ thuật điện, sóng
nhỏ đã được đề xuất để phân tích các dữ liệu địa chấn bởi J.Morlet (1983)).
Nhiều năm qua đã cho thấy một sự tổng hợp giữa tất cả các phương pháp khác
nhau được coi là tiềm năng cho tất cả các lĩnh vực liên quan đến nó.
Chúng ta hãy xem xét trong khuôn khổ phân tích tín hiệu. Các phép biến
đổi sóng nhỏ của một tín hiệu phát triển bằng thời gian (VD: Các biên độ áp
lực lên màng nhĩ, các ứng dụng cho âm thanh) phụ thuộc vào hai biến: Thang
(hoặc thang tần số) và thời gian. Các sóng nhỏ cung cấp một công cụ cho sự
khoanh vùng tần số thời gian. Phần đầu cho chúng ta biết sự khoanh vùng tần
số thời gian nghĩa là gì và lý do tại sao nó lại được quan tâm. Các phần còn lại
mô tả các dạng khác nhau của các sóng nhỏ.
2
1.1
Sự cục bộ hóa tần số thời gian
Trong nhiều ứng dụng tín hiệu f (t) đã được đưa ra (quan sát chúng, ta giả
định t là một biến liên tục) là mối quan tâm về dung lượng khoanh vùng tần số
thời gian. Điều này cũng tương tự như ký hiệu âm nhạc. Ví dụ: Nó nói cho các
nhạc công biết nốt nhạc nào (bằng thông tin tần số) để chơi vào thời điểm nào
đó. Tiêu chuẩn biến đổi Fourier:
1
(F f ) (ω) = √
2π
Z
dte−iωt f (t),
cũng biểu diễn dung lượng tần số f , những thông tin liên quan đến sự khoanh
vùng thời gian, ví dụ: Những vụ nổ có tần số cao không thể được đọc ra dễ dàng
từ F f , sự khoanh vùng thời gian có thể đạt được bằng việc thiết lập cửa sổ đầu
tiên của tín hiệu f , để cắt những lát đã được định vị rõ của f và sau đó dùng
biến đổi Fourier:
T win f (ω, t) =
Z
dsf (s) g (s − t) e−tωs .
(1.1)
Đây là sự biến đổi Fourier dạng cửa sổ, đó là kỹ thuật chuẩn cho sự khoanh
vùng tần số thời gian.1 Nó thậm chí còn quen thuộc hơn với các phân tích tín
hiệu trong phiên bản riêng biệt của nó, trong đó t và ω được gán các giá trị
không gian chính quy (giá trị khoảng trống đều đặn) t = nt0 , ω = mω0 , trong đó
m, n trên miền Z và ω0 , t0 > 0 được cố định. Vậy (1.1) trở thành:
win
Tm,n
(f )
Z
=
dsf (s)g(s − nt0 )e−imω0 s .
(1.2)
win (f ) tương
Phương pháp này được minh họa trong hình 1.1: n cố định Tm,n
ứng với các hệ số Fourier của f (·)g(· − nt0 ). Chẳng hạn, nếu g là hỗ trợ có giá
win (f )
compact thì rõ ràng là với lựa chọn thích hợp ω0 , các hệ số Fourier của T·,n
đủ để mô tả và nếu cần thiết để tái tạo lại f (·)g(· − nt0 ). Thay đổi số lượng n
để dịch chuyển các “miếng” bằng các bước của t0 và bội số của nó, cho phép
win (f ). Có nhiều sự lựa chọn và được đề xuất cho chức
phục hồi tất cả f từ Tm,n
năng cửa sổ g trong các phân tích tín hiệu, hầu hết trong số đó giá compact có
tính trơn hợp lý. Trong vật lý (1.1) có tính thống nhất tới trạng thái biểu diễn;
g ω,t (s) = eiωs g(s − t) được thống nhất các trạng thái liên kết với nhóm Weyl -
Heisenberg. Trong trường hợp này, sự lựa chọn rất phổ biến là một Gaussian g .
3
Trong tất cả các ứng dụng, g được cho là tập trung cao độ trong cả thời gian và
tần số; nếu g và ĝ đều tập trung xung quanh giá trị 0, thì T win f (ω, t) có thể
được giải thích là "dung lượng" của f gần thời điểm t và gần tần số ω . Hơn thế
nữa sự biến đổi Fourier dạng cửa sổ là một mô tả của f trong các mặt phẳng
tần số thời gian.
Hình 1.1: Fourier dạng cửa sổ: Hàm f (t) là bội số với cửa sổ chức năng và các hệ số Fourier của tích
f (t) g (t); các qui trình sau đó được lặp đi lặp lại cho các dịch chuyển của cửa sổ g (t − t0 ) , g (t − 2t0 ) .
1.2
Các phép biến đổi sóng nhỏ: Sự giống nhau và khác nhau
với các biến đổi Fourier dạng cửa sổ
Các biến đổi sóng nhỏ cung cấp tần số thời gian tương tự với một vài sự khác
biệt quan trọng. Các công thức biến đổi sóng nhỏ tương tự với (1.1) và (1.2) là:
Z
t−b
−1/2
wav
(T
f ) (a, b) = |a|
dtf (t) ψ
(1.3)
a
và
wav
Tm,n
(f ) =
−m/2
a0
Z
dtf (t) ψ a−m
0 t − nb0 .
(1.4)
Trong cả hai trường hợp, chúng ta cho rằng ψ thỏa mãn
Z
dtψ (t) = 0.
(1.5)
Công thức (1.4) là có được từ (1.3) bằng cách giới hạn a, b từ những giá trị
m
riêng biệt: a = am
0 , b = nb0 a0 trong trường hợp này, với m, n trên miền Z, và
a0 > 1, b0 > 0 cố định. Một điểm giống nhau giữa sóng nhỏ và sự biến đổi
Fourier dạng cửa sổ là: Cả (1.1) và (1.3) đưa các tích trong của f với họ chuẩn
tắc của các hàm và chỉ số của 2 ký hiệu g ω,t (s) = eiωs g(s − t) trong (1.1) và
4
ψ a,b (s) = |a|−1/2 ψ
a−b
a
trong (1.3). Các hàm ψ a,b được gọi là “sóng nhỏ”; hàm ψ
đôi khi được gọi là “sóng nhỏ mẹ” (lưu ý rằng ψ và g được ngầm giả định là có thật
mặc dù điều này không cần thiết; thì các liên hợp phức tạp phải được giới thiệu
trong (1.1)(1.3)). Một sự lựa chọn tiêu biểu cho ψ là ψ (t) = 1 − t2 exp −t2 /2 ,
đạo hàm cấp hai của Gaussian, đôi khi được gọi là chức năng mũ Mexican bởi
vì nó giống như một mặt cắt ngang của một chiếc mũ Mexican. Chức năng mũ
Mexican được xác định tốt cho cả thời gian và tần số và đáp ứng (1.5). Như
là một biến đổi, ψ a,0 (s) = |a|−1/2 ψ (s/a) bao phủ các phạm vi tần số khác nhau
(các giá trị lớn của tham số tỷ lệ |a| tương ứng với các tần số nhỏ hoặc thang
lớn ψ a,0 , các giá trị nhỏ của |a| tương ứng với tần số cao hoặc thang chuẩn ψ a,0 ).
Thay đổi các tham số b cũng cho phép chúng ta di chuyển các trung tâm
khoanh vùng thời gian. Mỗi ψ a,b (s) được xác định xung quanh s = b. Vậy là
(1.3), giống (1.1) cũng cung cấp tần số thời gian của f . Sự khác biệt giữa sóng
nhỏ và các biến đổi Fourier dạng cửa sổ nằm trong các hình dạng của hàm phân
tích g ω,t , và ψ a,b như thể hiện trong hình 1.2.
Hình 1.2: Hình dạng đặc trưng (a) của biến đổi Fourier dạng cửa sổ của hàm g ω,t và (b) sóng nhỏ
ψ a,b . Các g ω,t (x) = e−iωx g (x − t) có thể được xem như là hình bao "đổ vào" g với tần số cao hơn,
ψ a,b là bản copi của tất cả các chức năng tương tự, dịch chuyển và nén hoặc kéo dài.
5
Tất cả các hàm g ω,t bao gồm chức năng hình bao g giống nhau, tịnh tiến đến
các giá trị thời gian thích hợp và “đổ vào ” dao dộng với tần số cao hơn. Tất cả
g ω,t không phụ thuộc vào các giá trị của ω có cùng chiều rộng.
Ngược lại, ψ a,b có độ rộng thời gian phù hợp với tần số của chúng: Tần số cao
ψ a,b thì rất hẹp, trong khi tần số thấp ψ a,b rộng hơn nhiều. Kết quả là các phép
biến đổi sóng nhỏ thì có thể tốt hơn so với biến đổi Fourier dạng cửa sổ để “thu
nhỏ” hiện tượng tần số cao diễn ra rất ngắn, chẳng hạn như trong các tín hiệu
nhất thời (hoặc điểm kì dị trong các hàm số hoặc các hạch tích phân) điều này
được minh họa bằng hình 1.3, hình này cho thấy biến đổi Fourier dạng cửa sổ
và các biến đổi sóng nhỏ của cùng tín hiệu f được xác định bởi
f (t) = sin (2πv1 t) + sin (2πv2 t) + γ [δ (t − t1 ) + δ (t − t2 )] .
Trong thực tế tín hiệu này không biểu diễn sự liên tục, nhưng bằng các mẫu
và thêm một chức năng δ thì tính được xấp xỉ bằng cách thêm một hằng số với
mẫu duy nhất. Trong bản mẫu thì ta có
f (nτ ) = sin (2πv1 nτ ) + sin (2πv2 nτ ) + α [δn,n1 + δn,n2 ] .
Với ví dụ trong hình 1.3a, v1 = 500Hz, v2 = 1kHz, τ = 1/8, 00 giây(ví dụ:
Chúng ta có 8,000 mẫu trong một giây), α = 1.5, và n2 − n1 = 32 (tương ứng với
4 phần nghìn giây giữa hai xung). 3 đồ thị của hàm phổ (đồ thị các mođun của
các biến đổi Fourier dạng cửa sổ) trong hình 1.3b, sử dụng các cửa sổ Hamming
chuẩn, với độ rộng tương ứng 3,2, 6,4, và 12,8 mili giây (thời gian t thay đổi
theo chiều ngang, tần số ω theo chiều dọc, trên những đồ thị này, các mức độ
màu xám cho biết giá trị của T win (f ), màu đen thay cho giá trị cao nhất). Vì
chiều rộng của cửa sổ tăng lên nên độ phân giải của hai tông màu thuần túy
được tốt hơn, nhưng nó trở nên khó khăn hơn hoặc thậm chí không thể giải
quyết được hai xung. Hình 1.3c cho thấy mođun của các phép biến đổi sóng nhỏ
f được tính toán hóa bằng các giá trị trung bình của sóng nhỏ Morlet (phức
hợp) ψ(t) = Ce−t
2
/α2 (eiπt − e−π 2 λ2 /4 ),
với α = 4 để so sánh các đồ thị của hàm phổ
dễ dàng hơn, một trục tần số tuyến tính (tần số loga) đã được sử dụng nhiều
hơn. Người ta thấy rằng 2 xung được giải thức thậm chí rất tốt với các cửa sổ
Hamming 8,2 ms (bên phải trong hình 1.3b), trong khi độ phân giải tần số với
2 tông màu thuần túy có thể so sánh với những gì thu được từ cửa sổ Hamming
6
Hình 1.3: Tín hiệu f (t).
Biến đổi Fourier dạng cửa sổ của f với 3 của sổ có độ rộng khác nhau. Đây
gọi là hàm phổ: Chỉ T win (f ) là đồ thị (giai đoạn không được vẽ ra trên đồ thị) sử dụng các
mức
xám (giá trị cao màu đen, 0 màu trắng, mức xám trung gian được chỉ định tỷ lệ loga T win (f ) trong
t (đường ngang),
ω(tọa
độ) phẳng. (c) biến đổi sóng nhỏ của f thực hiện so sánh với (b) chúng tôi
cũng đã vẽ T win (f ) với cùng một phương pháp thì mức độ màu xám và tần số tuyến tính trục, (VD:
Các tọa độ tương ứng với a−1 ). (d) so sánh độ phân giải tần số giữa 3 phổ và biến đổi sóng nhỏ.
6,4 ms (ở giữa trong hình 1.3b). Sự so sánh các độ phân giải tần số này được
minh họa rõ ràng hơn bời hình 1.3d: Đây là các lát cắt đồ thị của hàm phổ
(ví dụ: đồ thị của (T win f )(·, t) với t cố định) được so sánh với biến đổi mođun
sóng nhỏ (|(T wav f ) (·, b)|) với b cố định). Khoảng biến thiên (tỷ lệ giữa cực đại
và "nhúng" giữa hai đỉnh) của biến đổi sóng nhỏ có thể so sánh với phổ 6,4 ms
(lưu ý "phần dư" phẳng ngang đối với các phép biến đổi cho biến đổi sóng nhỏ
trong đồ thị hình 1.3d là một phần của khối đồ thị được sử dụng, trong đó thiết
lập một điểm ngắt khá cao khi so sánh với các lô phổ; dù sao điểm ngắt này
cũng ở mức - 24 dB).
Trên thực tế, tai của chúng ta sử dụng biến đổi sóng nhỏ khi phân tích âm
thanh, ít nhất trong giai đoạn đầu tiên. Các dao động biên độ áp lực được truyền
từ màng nhĩ tới lớp màng đáy, kéo dài trên toàn bộ chiều dài của ốc tai. Ốc tai
được cuộn lại như một xoắn ốc bên trong tai của chúng ta, tưởng tượng nó nằm
trên một đoạn thẳng, do vậy màng đáy cũng được kéo dài ra. Tiếp đó chúng
ta có thể đưa vào một tọa độ y dọc theo đoạn này. Thử nghiệm và mô phỏng
7
sẽ cho thấy một sóng áp lực là một âm đơn, fω (t) = eiωt , dẫn đến một phản
ứng kích thích dọc theo màng đáy mà có cùng tần số thời gian, nhưng với một
vỏ trong y , Fω (t, y) = eiωt φω (y). Trong phương pháp đầu tiên, mà kết quả nhận
được cũng khá tốt cho các tần số ω trên 500 Hz, sự phụ thuộc vào ω của φω (y)
tương ứng với một sự dịch chuyển bằng tốc độ kế ω : Ở đó tồn tại một hàm φ
bởi vậy φω (y) là luôn đóng với φ (y − log ω). Cho một hàm kích thích chung f ,
R
f (t) = √12π dω fˆ (ω)eiωt , có nghĩa là hàm đáp ứng F (t, y) được cho bởi sự chồng
chất tương ứng của "các hàm đáp ứng cơ bản":
Z
1
F (t, y) = √
dω fˆ (ω) Fω (t, y)
2π Z
1
dω fˆ (ω) eiwt φ (y − log ω) .
=√
2π
Nếu bây giờ chúng ta thay đổi tham số, bằng cách xác định:
−1/2
−x
ψ̂ e
= (2π)
φ (x) ,
G (a, t) = F (t, log a) ,
thì có nghĩa là
Z
G (a, t) =
dt0 f t0 ψ a t − t0
,
mà (lên mức chuẩn hóa) chính xác là một biến đổi sóng nhỏ. Tất nhiên, xuất
hiện tham số giãn nở vì những sự dịch chuyển loga về tần số ở φω . Sự xuất hiện
của biến đổi sóng nhỏ trong giai đoạn đầu phân tích âm thanh sinh học cho thấy
rằng các phương pháp dựa trên sóng nhỏ để phân tích âm thanh có cơ hội tốt
hơn các phương pháp ban đầu, ví dụ chúng ta không thể phát hiện sơ đồ nén
bằng tai.
1.3
Các loại biến đổi sóng nhỏ khác nhau
Có sự tồn tại của nhiều loại biến đổi sóng nhỏ khác nhau, tất cả bắt đầu từ
những công thức cơ bản (1.3), (1.4). Trong các ghi chép này, chúng ta sẽ phân
biệt giữa:
A. Sóng nhỏ biến đổi liên tục (1.3), và
B. Biến đổi sóng nhỏ rời rạc (1.4).
Trong biến đổi sóng nhỏ rời rạc, chúng ta phân biệt hơn nữa giữa:
B1. Hệ thống riêng biệt dư thừa (khung) và
B2. Cơ sở sóng nhỏ trực chuẩn.
8
1.3.1
Biến đổi sóng nhỏ liên tục
Ở đây sự giãn và các tham số tịnh tiến a, b thay đổi liên tục trên R (với ràng
buộc a 6= 0). Các biến đổi sóng nhỏ được cho bởi công thức (1.3); một hàm có
thể được phục hồi từ sóng nhỏ của nó bằng công thức "độ phân giải có tính
đồng nhất"
f=
Cψ−1
ở đâu ψ a,b (x) = |a|−1/2 ψ
Z
x−b
a
∞
Z
−∞
∞
−∞
a,b
dadb
a,b
ψ ,
f,
ψ
a2
(1.6)
, và h, i có nghĩa là L2 - bên trong. Hằng số Cψ
chỉ phụ thuộc vào ψ và được cho bởi
Z
∞
Cψ = 2π
2
dξ ψ̂ (ξ) |ξ|−1 ,
(1.7)
−∞
chúng tôi giả định Cψ < ∞ (nếu không (1.6) không có ý nghĩa). Nếu ψ nằm
trong L1 (R)(đây là trường hợp ở tất cả các ví dụ cần cần quan tâm thực tế), thì
R
ψ̂ là liên tục, vì vậy mà Cψ có thể là hữu hạn chỉ khi ψ̂ (0) = 0, VD: dxψ (x) = 0
(lưu ý rằng chúng ta đã giả định ngầm rằng ψ là có thực; với phức hợp ψ , chúng
ta nên sử dụng ψ̄ thay cho ψ trong (1.3). Trong một số ứng dụng, phức hợp ψ
rất hữu ích. Công thức (1.6) có thể được nhìn nhận bằng hai cách khác nhau:
1) Như một cách để phục hồi f một khi biến đổi sóng nhỏ của nó T wav f được
biết, hoặc
2) Là một cách để viết f như sự chồng chất của sóng nhỏ ψ a,b , các hệ số trong
sự chồng chất này được đưa ra một cách chính xác bởi biến đổi sóng nhỏ của f .
Cả hai quan điểm dẫn đến các ứng dụng thú vị.
Sự tương ứng f (x) → (T wav f ) (a, b) đại diện cho hàm một biến bằng một hàm
hai biến, mà trong đó rất nhiều mối tương quan được xây dựng. Sự dư thừa của
phép biểu diễn có thể được khai thác, một ứng dụng tuyệt vời là khái niệm "bộ
khung" của một tín hiệu, được sử dụng ở biến đổi sóng nhỏ liên tục, mà có thể
được sử dụng cho lọc phi tuyến.
1.3.2
Các khung biến đổi sóng nhỏ dư nhưng riêng biệt
Trong trường hợp này cả tham số giãn a và tham số tịnh tiến có các giá trị
riêng biệt. Với a chúng ta chọn các số nguyên (dương và âm), các lũy thừa của
9
một số nguyên cố định tham số giãn a > 1, (VD: a = am
0 ). Như đã được minh
họa bởi hình 1.2, các giá trị khác nhau của m tương ứng với độ rộng khác nhau
của sóng nhỏ. Có nghĩa là sự riêng biệt của các tham số tịnh tiến b nên phụ
thuộc vào m: Các sóng nhỏ hẹp (tần số cao) được tịnh tiến các bước nhỏ để bao
phủ toàn bộ phạm vi thời gian, trong khi các sóng nhỏ rộng hơn (tần số thấp)
m
được tịnh tiến bởi bước lớn hơn. Vì chiều rộng của ψ a−m
0 x tỷ lệ thuận với a0 ,
do đó chúng ta chọn để riêng biệt hóa b bằng b = nb0 am
0 , trong đó b0 > 0 là cố
định, và n ∈ Z. Các sóng nhỏ được ký hiệu riêng biệt tương ứng là vì lý do đó:
−m/2
ψm,n (x) = a0
m
ψ a−m
0 (x − nb0 a0 )
−m/2
= a0
ψ a−m
0 x − nb0 .
(1.8)
Hình 1.4a cho thấy phác họa sơ đồ mạng các trung tâm khoanh vùng tần số
thời gian tương ứng với ψm,n .
Với một hàm đã cho f , các tích số bên trong hf, ψm,n i thì cho biến đổi sóng
wav (f ) chính xác như đã được xác định ở (1.4) (chúng ta giả
nhỏ riêng biệt Tm,n
định lại ψ là có thật).
Trong trường hợp riêng biệt, nói chung, không có sự tồn tại một công thức
"độ phân giải đồng nhất ", tương tự với (1.6) đối với trường hợp liên tục. Khôi
phục f từ T wav (f ), nếu có thể phải được thực hiện bằng một số phương pháp
khác.
Những câu dưới đây được phát sinh một cách tự nhiên:
1) Liệu có thể mô tả f hoàn toàn bằng cách biết T wav (f )?
2) Liệu có thể khôi phục f một cách ổn định về số lượng từ T wav (f )?
Những câu hỏi này liên quan đến sự phục hồi của f từ biến đổi sóng nhỏ của
nó. Chúng ta cũng có thể xem xét các bài toán đối ngẫu, khả năng mở rộng f
vào sóng nhỏ, mà sau đó dẫn đến những câu hỏi kép:
0
1 ) Bất kỳ hàm nào cũng có thể được viết như một sự chồng chất của ψm,n ?
0
2 ) Có một thuật toán ổn định về số lượng để tính toán các hệ số cho việc mở
rộng như vậy không?
Vì trong các trường hợp sau các biến đổi sóng nhỏ riêng biệt này thường đưa
ra một mô tả thừa của hàm gốc. Sự dư thừa này có thể được khai thác (ví dụ,
nó có thể tính toán các biến đổi sóng nhỏ một cách xấp xỉ, trong khi vẫn có
10
Hình 1.4: Sự cục bộ hóa thời gian tần số cho các biến đổi sóng nhỏ và biến đổi Fourier dạng cửa sổ.
m
(a) Các
định
biến đổi sóng nhỏ: ψm,n xung quanh sự khoanh vùng thời gian a0 nb0 . Chúng tôi giả −t
2
2
rằng ψ̂ có 2 đỉnh trong tần số tại ±ξ0 (đây là trường hợp sóng nhỏ mũ Mexico ψ (t) = (1 − t )e 2 );
ψ̂m,n (ξ) sau đó đạt đến đỉnh điểm tại am
0 nb0 , đó là trung tâm sự khoanh vùng của f trong tần số.
(b) Biến đổi Fourier dạng cửa sổ: Xung quanh sự khoanh vùng gm,n trong thời gian nt0 , xung quanh
tần số mω0 .
11
được sự khôi phục của f với độ chính xác cao), hoặc loại bỏ để giảm các biến
đổi với sự cần thiết cơ bản (như trong công việc nén hình ảnh của Mallat và
Zhong (1992)). Ở dạng riêng biệt này biến đổi sóng nhỏ gần nhất với "φ - biến
đổi" của Frazier và Jawerth (1998).
Sự lựa chọn của sóng nhỏ ψ được sử dụng trong biến đổi sóng nhỏ liên tục
hoặc trong các khung họ wavelet có dán nhãn riêng biệt là giới hạn cần thiết
bởi điều kiện rằng Cψ là hữu hạn vì được xác định bởi (1.7). Vì những lý do
thực tế, người ta thường chọn ψ để nó tập trung tốt trong cả thời gian và miền
tần số, nhưng điều này còn để lại rất nhiều vấn đề. Trong phần tiếp theo chúng
ta sẽ xem xét từ bỏ hầu hết những vấn đề này như thế nào để chúng ta đi xây
dựng các cơ sở trực chuẩn của sóng nhỏ.
1.3.3
Các cơ sở sóng nhỏ trực chuẩn: Phân tích đa phân giải
Đối với một số lựa chọn rất đặc biệt của ψ và a0 , b0 , ψm,n tạo thành một cơ
sở trực chuẩn cho L2 (R). Đặc biệt, nếu chúng ta chọn a0 = 2, b0 = 1,2 thì ở đó
tồn tại ψ , với các tính chất khoanh vùng tần số thời gian tốt, như vậy là
ψm,n (x) = 2−m/2 ψ(2−m x − n)
(1.9)
tạo thành một cơ sở trực chuẩn cho L2 (R) (chúng ta giới hạn để a0 = 2).
Ví dụ cũ nhất của một hàm ψ mà ψm,n , xác định bởi (1.9) tạo thành một cơ
sở trực chuẩn cho L2 (R) là hàm Haar:
0≤x<
1
ψ(x) =
−1
0
1
2
1
2
≤x<1
Trường hợp còn lại.
Cơ sở Haar đã được biết đến từ Haar (1910). Lưu ý rằng hàm Haar không
có sự khoanh vùng tần số thời gian tốt: Biến đổi Fourier ψ̂(ξ) phân rã như |ξ|−1
cho ξ → ∞. Tuy nhiên chúng tôi sẽ sử dụng nó ở đây với mục đích minh hoạ.
Những phần tiếp theo chứng minh rằng tập hợp Haar không thực sự tạo thành
một cơ sở trực chuẩn. Sự chứng minh này khác với chứng minh trong hầu hết
các sách; trong thực tế, phân tích đa phân giải sẽ được sử dụng như một công
cụ.
Để chứng minh rằng ψm,n (x) tạo thành một cơ sở trực chuẩn, chúng ta cần
phải thiết lập:
12
Hình 1.5: Hai sóng nhỏ Haar, sự hỗ trợ của các sóng nhỏ "hẹp" là hoàn toàn nằm trong khoảng thời
gian mà các sóng nhỏ "rộng hơn" là không đổi.
1) Các ψm,n là trực chuẩn;
2) Bất kỳ L2 (R) - hàm f có thể xấp xỉ, lên đến độ chính xác nhỏ tùy ý, bởi
sự kết hợp tuyến tính hữu hạn của ψm,n.
Trực chuẩn rất dễ dàng để thiết lập. Vì giá (ψm,n ) = [2m n, 2m (n + 1)], hoá ra
là hai sóng nhỏ Haar có cùng thang (cùng giá trị m) không bao giờ trùng nhau,
do đó hψm,n , ψm,n0 i = δn,n0 .
Những giá chồng nhau là có thể nếu hai sóng nhỏ có kích cỡ khác nhau, như
trong hình 1.5. Tuy nhiên, dễ dàng kiểm tra nếu m < m0 , thì giá (ψm,n ) nằm
hoàn toàn trong một miền mà ψm0 ,n0 là hằng số (như hình 1.5). Hóa ra là tích
trong của ψm,n và ψm0 ,n0 tỷ lệ thuận với tích phân của chính ψ , đó là 0.
Bây giờ ta tập trung vào một hàm tùy ý f có thể được xấp xỉ bằng các tổ
hợp tuyến tính của sóng nhỏ Haar hoạt động tốt thế nào. Bất kỳ f trong L2 (R)
có thể đo xấp xỉ bằng một hàm với giá compact mà từng khoảng liên tục trên
−j
`2 , (` + 1) 2−j , nó thỏa mãn để nhận giá và j đủ lớn. Do đó chúng ta có thể tự
thu hẹp tới các hàm từng khoảng liên tục; giả định f được hỗ trợ trên −2J1 , 2J1 ,
và là từng khoảng liên tục trên `2−J0 , (` + 1) 2−J0 , ở đó cả J1 và J0 có thể lớn
tùy ý (xem hình 1.6).
Chúng ta hãy biểu thị giá trị hằng số của f 0 = f trên `2−J0 , (` + 1)2−J0 bởi
f`0 . Bây giờ chúng ta biểu diễn f 0 như tổng của hai phần, f 0 = f 1 + δ 1 , trong đó
f 1 xấp xỉ với f 0 là từng khoảng liên tục qua các đoạn lớn gấp hai lần ban đầu,
ví dụ: f 1 [k2−J0 +1 ,(k+1)2−J0 +1 ) ≡ constant = fk1 .
13
Hình 1.6: (a) Một hàm f với hỗ trợ trên −2J1 , 2J1 , từng khoảng liên tục trên k2−J0 , (k + 1)2−J0 .
(b) Một phần của f được tách ra. Trên mỗi cặp khoảng cách, f được thay thế (→ f 1 ) bằng mức trung
bình của nó; sự khác biệt giữa f và f 1 là δ 1 . Một sự kết hợp tuyến tính của sóng nhỏ Haar.
Các giá trị fk1 được cho bởi trung bình của hai giá trị không đổi tương ứng
0 + f0
1
với f 0 , fk1 = 21 (f2k
2k+1 )(xem hình 1.6). Hàm δ là từng khoảng liên tục với
cùng độ rộng từng bước như f 0 ; ngay lập tức có:
1 0
0
1
0
= f2t
− f`1 = (f2`
)
δ2`
− f2`+1
2
và
1 0
1
0
1
0
− f`1 = (f2`+1
δ2`+2
= f2`+1
− f2`
)=δ .
2
2`
Hóa ra δ 1 là một sự kết hợp tuyến tính của thang và chức năng tịnh tiến của
các hàm Haar:
δ1 =
+J0 −1
2J1X
1
δ2`
ψ(2J0 −1 x − `).
`=−2J1 +J0 −1 +1
Vì vậy chúng tôi đã viết f như
f = f0 = f1 +
X
c−J0 +1,` ψ−J0 +1,` .
`
trong đó f 1 là cùng loại như f 0 , nhưng độ rộng của từng bước lớn gấp đôi.
Chúng ta có thể áp dụng cùng mẹo với f 1 , do đó:
14
Hình 1.7: Mức trung bình của f trên 0, 2J1 , 0, 2J1 , có thể được làm mờ trong khoảng thời gian lớn
J +1 J +1
hơn 0, 2 1
, −2 1 , 0 khác biệt là ở sư kết hợp tuyến tính của hàm Haar được giãn ra.
f1 = f2 +
X
c−J0 +2,` ψ−J0 +2,` ,
`
với f 2 vẫn được hỗ trợ trên −2J1 , 2J1 , nhưng từng khoảng liên tục trên các
đoạn thậm chí lớn hơn các đoạn k2−J0 +2 , (k + 1)2−J0 +2 . Chúng ta tiếp tục như
vậy, cho đến khi chúng ta có:
f =f
J0 +J1
J1
X
X
m=−J0 +1
`
cm,` ψm,`.
Ở đây f J0 +J1 bao gồm hai phần liên tục(xem hình 1.7),
với f J0 +J1 [0,2J1 ) ≡ f0J0 +J1 bằng với mức trung bình của f trên 0, 2J1 , và
f J0 +J1 J
≡ f J0 +J1 trung bình của f trên −2J1 , 0 .
[−2 1 ,0)
−1
Mặc dù chúng ta đã "hoàn thành đủ" toàn bộ giá của f , chúng ta vẫn có thể
tiếp tục đi tính trung bình, không có gì ngăn chúng ta trong việc mở rộng đường
nằm ngang từ 2J1 đến 2J1 +1 , và viết f J1 +J2 = f J1 +J2 +1 + δ J1 +J2 +1 , trong đó
1
1 J1 +J2
f J1 +J2 +1 [0,2J1 +1 ) ≡ f J1 +J2 , f J1 +J2 +1 [−2J1 +1 ,0) ≡ f−1
2
2
15
và
1 J1 +J2
1
δ J1 +J2 = f0J1 +J2 ψ 2−J1 −1 x − f−1
ψ 2−J1 −1 x + 1
2
2
(xem hình 1.7). Điều này có thể được lặp lại, dẫn đến:
f =f
J0 + J1 +K
+
JX
1 +K
X
m=−J0 +1
`
cm,` ψm,` ,
ở giá đó f J0 +J1 +K = −2J1 +K , 2J1 +K , và
J0 +J1
f J0 +J1 +K [0,2J1 +K ) = 2−K f0J0 +J1 , f J0 +J1 +K [−2J1 +K ,0) = −2−K f−1
.
Kết quả là
2
J1P
+K P
J +J +K
2
f 0 1
2
f −
=
c
ψ
m,` m,`
L
m=−J0 +1 `
L2
h
J +J 2 i1/2
J1 /2 J0 +J1 2
−K/2
=2
.2
f
+ f 0 1
,
0
−1
có thể được thực hiện nhỏ tùy ý bằng cách lấy K đủ lớn. Như vật f có thể
đo xấp xỉ với độ chính xác tùy ý bởi sự kết hợp tuyến tính hữu hạn của sóng
nhỏ Haar!
Lập luận mà chúng ta vừa xem sử dụng một phương pháp tiếp cận "đa phân
giải": Chúng ta đã viết thô liên tiếp và thô tiệm cận tới f (các f j , trung bình f
lớn hơn và các khoảng thời gian lớn hơn) và tại mỗi bước chúng tôi đã viết sự
khác biệt giữa tính xấp xỉ với độ phân giải 2J−1 , và mức độ thô tiếp theo với
độ phân giải 2J , như một sự kết hợp tuyến tính của ψj,k . Thực tế, chúng tôi đã
giới thiệu một bậc thang không gian (Vj )j∈Z đại diện cho các mức độ phân giải
liên tiếp: Trong trường hợp đặc biệt này Vj = f ∈ L2 (R) ; f từng khoảng liên
tục trên 2j k, 2j (k + 1) , k ∈ Z}.
Các không gian này có các tính chất sau:
1)
... ⊂ V2 ⊂ V1 ⊂ V0 ⊂ V−1 ⊂ V−2 ⊂ ...;
2)
T
3)
f ∈ Vj ↔ f 2j · ∈ V0 ;
4)
f ∈ V0 → f (· − n) ∈ V0 cho tất cả n ∈ Z.
j∈Z Vj
S
= {0} ,
j∈Z
Vj = L2 (R) ;
Tính chất 3 thể hiện tất cả các không gian là các phiên bản của một không
gian (dạng "đa phân giải"). Trong ví dụ Haar chúng ta thấy rằng có tồn tại một
16
- Xem thêm -