SlideShare a Scribd company logo
1 of 54
Download to read offline
Outline
Introduction
Compactly Supported Wavelets
Multivariable Wavelets
References
Compactly Supported Wavelets Method for
Solving Solving PDEs
Asaph Keikara Muhumuza
July 6, 2017
Asaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
Outline
Introduction
Compactly Supported Wavelets
Multivariable Wavelets
References
Introduction
Background
From Fourier Analysis to Wavelet Analysis
Time Frequency Localization
Wavelet Transform
Wavelet Function Admissibility
Multiresolution Analysis
Definition
Compactly Supported Wavelets
Riesz Sequence and Basis
Compact Support
Smooth Wavelets
Multivariable Wavelets
General Representation
Multi-dimension Multiresoultion Analysis
Regularity of Multivariate WaveletsAsaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
Outline
Introduction
Compactly Supported Wavelets
Multivariable Wavelets
References
Background
From Fourier Analysis to Wavelet Analysis
Time Frequency Localization
Wavelet Transform
Wavelet Function Admissibility
Definition
In early 70’s, sums functions, called atomic decomposition
by Coifman [8], were widely used specificlly in Hardy space
theory.
One method used to establish that a general function f has
such a decomposition is to start with ’Calderon formula’:for
a fonction f, which holds that
f(x) =
+∞
0
+∞
−∞
(ψt ∗ f) (y) ˆψt (x − y)dy
dt
t
(1)
. where the denotes convolution.
Here ψt (x) = t−1ψ(x/t) and similarly ˆφt (x), for appropriate
functions ψ and ˆψ.
This is typically an example of a continuous wavelet
function.
Asaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
Outline
Introduction
Compactly Supported Wavelets
Multivariable Wavelets
References
Background
From Fourier Analysis to Wavelet Analysis
Time Frequency Localization
Wavelet Transform
Wavelet Function Admissibility
Definition
Background
The first orthogonal wavelets were discovered by
Str¨omberg [14].
A discrete version the Calder´on formula had also been
used for similar purposes by Jawerth [12] and long before
this there were results by Haar [10], Franklin [11],
Ciesielski [16], and many others.
Lameri´e and Meyer [13], independently of Str¨omberg,
constructed new orthogonal wavelet expansions.
Mallat and Meyer [13], introduced the notion of
multiresolution a systematic framework for understanding
these orthogonal expansions.
Soon after, Daubenchie [1, 2], gave the construction of
wavelets, non-zero only on finite interval.Asaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
Outline
Introduction
Compactly Supported Wavelets
Multivariable Wavelets
References
Background
From Fourier Analysis to Wavelet Analysis
Time Frequency Localization
Wavelet Transform
Wavelet Function Admissibility
Definition
Existence and Some Applications of Wavelets
Figure: Existence and Applications of Wavelets
Asaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
Outline
Introduction
Compactly Supported Wavelets
Multivariable Wavelets
References
Background
From Fourier Analysis to Wavelet Analysis
Time Frequency Localization
Wavelet Transform
Wavelet Function Admissibility
Definition
Basic Types of Wavelets
Figure: Illustration of Common type of Wavelets
Asaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
Outline
Introduction
Compactly Supported Wavelets
Multivariable Wavelets
References
Background
From Fourier Analysis to Wavelet Analysis
Time Frequency Localization
Wavelet Transform
Wavelet Function Admissibility
Definition
Basic Illustrations and Notations
Figure: Connection between L2(R) to Fourier and then Wavelets
Asaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
Outline
Introduction
Compactly Supported Wavelets
Multivariable Wavelets
References
Background
From Fourier Analysis to Wavelet Analysis
Time Frequency Localization
Wavelet Transform
Wavelet Function Admissibility
Definition
Basic Notations and Definitions
For a complex-valued (Lebesgue) measurable function f
on R, let
||f||p = |f(x)|p
dx
1/p
1 ≤ p < ∞
By Lp we denote a Banach space of all measurable
functions f on R such that ||f||p < ∞.
In Particular, L2(R) is a Hilbert space with with an inner
product defined by
f, g =
R
f(x)g(x)dx, f, g ∈ L2(R)
As a result ||f|| = f, f 1/2
Asaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
Outline
Introduction
Compactly Supported Wavelets
Multivariable Wavelets
References
Background
From Fourier Analysis to Wavelet Analysis
Time Frequency Localization
Wavelet Transform
Wavelet Function Admissibility
Definition
Fourier Transform
Definition
Periodic Function is function f such that f(x + T) = f(x) for all
x ∈ R and T a positive constant called a period. e.g., sin x is
periodic since sin(x + 2x), sin(x + 4x), · · · are all equal to sin x.
Definition
Fourier Transform Let f ∈ L1(R). The Fourier transform of f is
the function ˆf : R → C defined by
ˆf(t) =
1
√
2π
+∞
−∞
f(x)e−itx
dx
Asaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
Outline
Introduction
Compactly Supported Wavelets
Multivariable Wavelets
References
Background
From Fourier Analysis to Wavelet Analysis
Time Frequency Localization
Wavelet Transform
Wavelet Function Admissibility
Definition
Convolution
Definition
Convolution Let f, g ∈ L1(R). We define the convolution of
f g by
(f g)(x) =
+∞
−∞
f(x − y)g(y)dy
such that the integral exists for all x ∈ R (and (f g)(x) = 0
otherwise).
Example Given H(x) = e−|x| then,
ˆH =
1
√
2π
∞
−∞
e−|x|−itx
dx =
2
π
1
1 + t2
.
Asaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
Outline
Introduction
Compactly Supported Wavelets
Multivariable Wavelets
References
Background
From Fourier Analysis to Wavelet Analysis
Time Frequency Localization
Wavelet Transform
Wavelet Function Admissibility
Definition
Windowed Fourier Transform
Given a signal f(t) (t cts time variable), one is interested in
frequency content locally.
The Fourier transform
(Ff)(ω, t) =
1
√
2π I∈R
f(t)e−iωt
dt (2)
Time localization can be achieved by first windowing the
signal f so as to cut off a well localized slice of f and taking
the transform.
(Twinf)(ω, t) =
I∈R
f(s)g(s − t)e−iωs
ds (3)
Asaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
Outline
Introduction
Compactly Supported Wavelets
Multivariable Wavelets
References
Background
From Fourier Analysis to Wavelet Analysis
Time Frequency Localization
Wavelet Transform
Wavelet Function Admissibility
Definition
The Windowed Fourier Transform
Figure: The Windowed Fourier Transform (Twinf)(ω) with signal f(x)Asaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
Outline
Introduction
Compactly Supported Wavelets
Multivariable Wavelets
References
Background
From Fourier Analysis to Wavelet Analysis
Time Frequency Localization
Wavelet Transform
Wavelet Function Admissibility
Definition
Windowed Fourier Transform Cont’d
The signal function f(x) is multiplied with the window
function g(t), and the Fourier coefficients of the product
are computed, and the procedure is then repeated for the
translated versions of the window say
g(t − t0), g(t − 2t0), · · · as shown in Figure 5.
Twin
m,n (f) =
I∈R
f(s)g(s − nt0)e−imω0s
ds (4)
If for instance, g is compactly supported, then it is clear
that with appropriately chosen ω0, the Fourier coefficients
Twin
m,n (f) are just sufficient to characterize and, if need be,
to construct f(•)g(• − nt0). Changing amounts to shifting
slice by step and its multiples, allowing recovery from
Asaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
Outline
Introduction
Compactly Supported Wavelets
Multivariable Wavelets
References
Background
From Fourier Analysis to Wavelet Analysis
Time Frequency Localization
Wavelet Transform
Wavelet Function Admissibility
Definition
Wavelet Transform
The wavelet provides a similar time frequency description,
with few noticeable differences.
The equivalent wavelet transform formulas analogous to
(3) and (4) are
(Twavf)(a, b) = |a|−1
2
I∈R
f(t)ψ
t − b
a
dt (5)
and
(Twav
m,n f)(a, b) = |a0|−m
2
I∈R
f(t)ψ a−m
0 t − nb0 dt (6)
where a is called the scale and b the translation.
Asaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
Outline
Introduction
Compactly Supported Wavelets
Multivariable Wavelets
References
Background
From Fourier Analysis to Wavelet Analysis
Time Frequency Localization
Wavelet Transform
Wavelet Function Admissibility
Definition
Wavelet/Fourier Transform (Differences)
In both cases it is assumed that ψ satisfied orthogonality
conditions i.e.,
I∈R
ψ(t)dt = 0 and
I∈R
ψ(t)ψ(t)dt = 1
Both Equations (3) and (5) take inner products of f with the
family of functions indexed respectively by two labels
gω,t
(s) = eiωs
g(s − t) (7)
and
ψa,b
= |a|−1
2 ψ
t − b
a
(8)
Asaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
Outline
Introduction
Compactly Supported Wavelets
Multivariable Wavelets
References
Background
From Fourier Analysis to Wavelet Analysis
Time Frequency Localization
Wavelet Transform
Wavelet Function Admissibility
Definition
Wavelet/Fourier Transform (Differences) Cont’d
A typical choice of ψ is
ψ(t) = (1 − t2
) exp(−t2
)/2
which is a family of Gaussian functions and it is smooth,
C∞.
As a changes, the
ψa,0
(s) = |a|−1
2 ψ(s/a)
over different sequence ranges (large values of scaling
parameter |a| correspond to small frequencies, or large
scale ψa,0); small values of |a| correspond to high
frequencies or very fine scale ψa,0.
Asaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
Outline
Introduction
Compactly Supported Wavelets
Multivariable Wavelets
References
Background
From Fourier Analysis to Wavelet Analysis
Time Frequency Localization
Wavelet Transform
Wavelet Function Admissibility
Definition
Wavelet Transformations
Asaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
Outline
Introduction
Compactly Supported Wavelets
Multivariable Wavelets
References
Background
From Fourier Analysis to Wavelet Analysis
Time Frequency Localization
Wavelet Transform
Wavelet Function Admissibility
Definition
Admissible Wavelet Functions
The mother wavelet (kernel of the wavelet transform) can
be almost any function.
More rigorously, an L2(R) function (a finite energy square
integrable function over a range of its independent
variable) which can be either real or complex; is admissible
function if
Cg =
∞
−∞
|G(ω)|2
|ω|
dω < ∞ (9)
where G(ω) is the Fourier transform of g.
Asaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
Outline
Introduction
Compactly Supported Wavelets
Multivariable Wavelets
References
Background
From Fourier Analysis to Wavelet Analysis
Time Frequency Localization
Wavelet Transform
Wavelet Function Admissibility
Definition
Admissible Wavelet Functions Cont’d
A wavelet transform operator say Wφ maps a finite energy
or L2(R) signal that is real or complex valued function as
follows;
Wψ : L2
(R) → L2
(R  {0} × R)
Stated mathematically, any finite energy signal is mapped
from time or space domain to a finite energy two
dimensional distribution in the scale transition or wavelet
domain.
Asaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
Outline
Introduction
Compactly Supported Wavelets
Multivariable Wavelets
References
Background
From Fourier Analysis to Wavelet Analysis
Time Frequency Localization
Wavelet Transform
Wavelet Function Admissibility
Definition
General Wavelet Representation
The wavelet transform of a function f w.r.t. given
admissible mother wavelet, ψ is defined as: Wavelet
domain coefficient at scale a and translation b
Wψ(a, b) = |a|−1
2
I∈R
f(x)ψ∗ x − b
a
dx
= f,
1
|a|
ψ
x − b
a
= f, ψa,b
= f, U(a, b)ψ .
Asaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
Outline
Introduction
Compactly Supported Wavelets
Multivariable Wavelets
References
Background
From Fourier Analysis to Wavelet Analysis
Time Frequency Localization
Wavelet Transform
Wavelet Function Admissibility
Definition
Multiresolution Analysis for One Dimensional
Wavelets
Definition 1 A multiresolution analysis on R is a sequence
of subspaces {Vj}j∈Z of functions L2(R) satisfying the
following conditions
(i) For all j ∈ Z, Vj ⊂ Vj+1 i.e.,
· · · , V−2 ⊂ V−1 ⊂ V0 ⊂ V1 ⊂ V2 · · ·
(ii) If f(x) is C0
c on R, then f(x) ∈ span{Vj }j∈Z.
• That is given > 0, there exists a j ∈ Z and a function
g(x) ∈ Vj such that ||f − g|| < .
• Equivalently
j∈Z
Vj = L2(R).
Asaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
Outline
Introduction
Compactly Supported Wavelets
Multivariable Wavelets
References
Background
From Fourier Analysis to Wavelet Analysis
Time Frequency Localization
Wavelet Transform
Wavelet Function Admissibility
Definition
Multiresolution Analysis for One Dimensional
Wavelets Cont’d
(iii) For al j ∈ Z, j∈Z Vj = {0}.
(iv) A function f(x) ∈ Vj if and only if f(2−jx) ∈ V0.
(v) A function f(x) ∈ V0 if and only if D2j f(x) ∈ Vj, (i.e.,
f(x − k) ∈ V0 for all k ∈ Z).
(vi) There exists a function Φ in L2 on R called the scaling
function such that the collection Tk ψ(x) is orthonormal
system of translates and
V0 = span{Tk Φ(x)}
Asaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
Outline
Introduction
Compactly Supported Wavelets
Multivariable Wavelets
References
Background
From Fourier Analysis to Wavelet Analysis
Time Frequency Localization
Wavelet Transform
Wavelet Function Admissibility
Definition
The Following Definitions Follow Immediately for
Wavelets
(i) Definition
Given a real number k we define a translation operator Tk
acting on function defined on R by the formula
Tk (f)(x) = f(x − k)
(ii) Definition
Given a integer number j we define a dyadic dilation operator
Dj acting on function defined on R by the formula
Dj
(f)(x) = f(2j
x)Asaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
Outline
Introduction
Compactly Supported Wavelets
Multivariable Wavelets
References
Background
From Fourier Analysis to Wavelet Analysis
Time Frequency Localization
Wavelet Transform
Wavelet Function Admissibility
Definition
Important Lemma
1. Lemma 1 (a) For every k ∈ R, the operator Tk is an
isometry on L2(R).
(b) For every integer j ∈ Z the operator 2jDj is an isometry
on L2(R).
2. Result For each j ∈ Z the system
2j/2
Φ(2j/2
x − k)
k∈R
is an orthonormal basis in Vj.
Asaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
Outline
Introduction
Compactly Supported Wavelets
Multivariable Wavelets
References
Riesz Sequence and Basis
Compact Support
Smooth Wavelets
Definition 2
1. Definition 2 A sequence of vectors (xn)n∈A in a Hilbert
space H is called a Riesz sequence if there exist constants
0 < c ≤ C such that
c
n∈A
|an|
1
2
≤ ||
n∈A
an|| ≤ C
n∈A
|an|2
1
2
(10)
for all sequence of scalars (an)n∈A. A Riesz sequence is
called a Riesz basis if additionally span(an)n∈A = H
Asaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
Outline
Introduction
Compactly Supported Wavelets
Multivariable Wavelets
References
Riesz Sequence and Basis
Compact Support
Smooth Wavelets
Lemma 2
1. Lemma 2 (a) If we have a Riesz basis (xn)n∈Z, in H, then
there exist biorthogonal functions (x∗
n )n∈Z i.e., vectors in H
such that x∗
n , xm = σn,m. The sequence (x∗
n )n∈Z is also a
Riesz basis in H.
(b) (xn)n∈Z is a Riesz basis in H then there exists
constants 0 < c ≤ C such that
c||x|| ≤
n∈Z
| x, xn |2
1
2
≤ C||x|| ∀ x ∈ H. (11)
Asaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
Outline
Introduction
Compactly Supported Wavelets
Multivariable Wavelets
References
Riesz Sequence and Basis
Compact Support
Smooth Wavelets
Proposition 1
1. Proposition 1 Let Φ be a function in L2(R) and let
0 < a ≤ A be two constants. The following conditions are
equivalent:
(i) for every sequence of scalars (an)n∈Z we have
a
n∈A
|an|2
1
2
≤
+∞
−∞
|
n∈Z
anΦ(x − n)|2
dx
1
2
≤ A
n∈Z
|an|2
(12)
(ii) for almost all ξ ∈ R
a2
2π
≤
l∈Z
|ˆΦ(ξ + 2πl)|2
≤
A2
2π
(13)
Asaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
Outline
Introduction
Compactly Supported Wavelets
Multivariable Wavelets
References
Riesz Sequence and Basis
Compact Support
Smooth Wavelets
Corollary 1
Corollary 1 The system {Φ(t − m)}m∈Z is an orthonormal
system if and only if
i∈Z
|ˆΦ(ξ + 2πl)|2
=
1
2π
(14)
for almost all ξ ∈ R.
Asaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
Outline
Introduction
Compactly Supported Wavelets
Multivariable Wavelets
References
Riesz Sequence and Basis
Compact Support
Smooth Wavelets
Proposition 2
Proposition 2 Suppose that {φ(t − m)}m∈Z is a Riesz
sequence, then
(i) any function g ∈ span{Φ(t − m)}m∈Z we can be written
as
g(x) =
m∈Z
amΦ(x − m)
and the series converges in L2(R). (ii)
g ∈ span{φ(t − m)}m∈Z if and only if
ˆg(ξ) = φ(ξ)ˆΦ(ξ) (15)
Asaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
Outline
Introduction
Compactly Supported Wavelets
Multivariable Wavelets
References
Riesz Sequence and Basis
Compact Support
Smooth Wavelets
Proposition 2 Cont’d
(iii) if
g =
n∈Z
anΦ(x − m)}
and φ(ξ) is given by Equation (15) then
φ(ξ) =
n∈Z
ane−inξ
and conversely
(iv) the norms of g and Φ are related s follows:
A−1
||g||2 ≤
1
2π
2π
0
|φ(ξ)|2
dξ
1
2
≤ a−1
||g||2 (16)
Asaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
Outline
Introduction
Compactly Supported Wavelets
Multivariable Wavelets
References
Riesz Sequence and Basis
Compact Support
Smooth Wavelets
Remarks 1
From Definition 1 (multiresolution analysis), for conditions
(i) and (vi) it can be seen that for a scaling function Φ in V1,
so (iv) gives Φ(ξ/1) ∈ V0. From (vi) we obtain
φ(ξ/2) =
n∈Z
anφ(x − n) (17)
or equivalently
φ(ξ) =
n∈Z
anφ(2x − n) (18)
Asaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
Outline
Introduction
Compactly Supported Wavelets
Multivariable Wavelets
References
Riesz Sequence and Basis
Compact Support
Smooth Wavelets
Remarks 1 Cont’d
From Proposition 2 above, the above Equations (17) and
(18) can be rewritten equivalently as
ˆΦ(ξ) = mΦ(ξ/2)ˆΦ(ξ/2) (19)
or equivalently
ˆΦ(2ξ) = mΦ(ξ)ˆΦ(ξ) (20)
where mΦ is a function defined by
mΦ(ξ) =
1
2
n∈Z
ane−inξ
(21)
Asaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
Outline
Introduction
Compactly Supported Wavelets
Multivariable Wavelets
References
Riesz Sequence and Basis
Compact Support
Smooth Wavelets
Remarks 1 Cont’d
Naturally, the coefficients an, in (21) are the same as in
(17) and (18). Since ||ˆΦ(ξ/2)|| =
√
2
we infer from (17) that
n∈Z
|an|2
= 2
so that
1
2π
2π
0
|mΦ(ξ)|2
dξ
1
2
=
1
√
2
Each of the equivalent equations (17)-(20) is called a
scaling equation.
Asaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
Outline
Introduction
Compactly Supported Wavelets
Multivariable Wavelets
References
Riesz Sequence and Basis
Compact Support
Smooth Wavelets
Lemma 3
Lemma 3
|mΦ(ξ)|2
+ |mΦ(ξ + π)|2
= 1 (22)
for almost all ξ ∈ R.
Proof Follows from Corollary 1 and using (19) and the fact
that mΦ(xi) is 2π- periodic gives
1
2π
=
l∈Z
Φ(ξ + πl)2
=
l∈Z
|mΦ(ξ/2 + πl)|2
.|ˆΦ(ξ/2 + πl)|2
Asaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
Outline
Introduction
Compactly Supported Wavelets
Multivariable Wavelets
References
Riesz Sequence and Basis
Compact Support
Smooth Wavelets
Lemma 3 Cont’d
Proof Cont’d
1
2π
=
l∈Z
|mΦ(ξ/2 + 2kπ)|2
.|ˆΦ(ξ/2 + 2kπ)|2
+
l∈Z
|mΦ(ξ/2 + π + 2kπ)|2
.|ˆΦ(ξ/2 + π + 2kπ)|2
= |mΦ(ξ/2)|2
.
l∈Z
|ˆΦ(ξ/2 + 2kπ)|2
+ |mΦ(ξ/2 + π)|2
.
l∈Z
|ˆΦ(ξ/2 + π + 2kπ)|2
The result follow immediately from (22).
Asaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
Outline
Introduction
Compactly Supported Wavelets
Multivariable Wavelets
References
Riesz Sequence and Basis
Compact Support
Smooth Wavelets
Theorem 1
Theorem 1 Suppose we have a function Φ in L2(R) such
that
(i) {φ(t − m)}m∈Z is a Riesz sequence in L2(R),
(ii) Φ(x/2) = k∈Z ak Φ(x − k) with the convergence of the
series understood as the norm convergence in L2(R),
(iii) ˆΦ(ξ) is continuous at 0 and ˆΦ(0) = 0.
Then, the space
Vj = span{Φ(2j
x − k)} (23)
with j ∈ Z forms a multiresolution analysis.
Asaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
Outline
Introduction
Compactly Supported Wavelets
Multivariable Wavelets
References
Riesz Sequence and Basis
Compact Support
Smooth Wavelets
Proposition 3
Proposition 3 Suppose we have a function Φ ∈ L2(R)
satisfying condition (i) of Theorem 1. Let the space Vj be
defined by (23) and let Pj be an orthonormal projection
onto Vj.
Then, for each f ∈ L2(R) we have
lim
j→−∞
Pjf = 0,
in particular
j∈Z
Vj = {0}.
Asaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
Outline
Introduction
Compactly Supported Wavelets
Multivariable Wavelets
References
Riesz Sequence and Basis
Compact Support
Smooth Wavelets
Proposition 4
Proposition 4 Suppose we have a function Φ ∈ L2(R)
satisfying conditions (i) and (ii) of Theorem 1.
Then
j∈Z
Vj
is dense in L2(R), where the spaces Vj are defined by (23).
Asaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
Outline
Introduction
Compactly Supported Wavelets
Multivariable Wavelets
References
Riesz Sequence and Basis
Compact Support
Smooth Wavelets
Theorem 2
Theorem 2 Suppose that
m(ξ) =
S
k=T
ak e−ikξ
is a trigonometric polynomial such that
|m(ξ)|2
+ |m(ξ + π)|2
= 1 for all ξ ∈ R (24)
m(0) = 1 (25)
m(ξ) = 0 for ξ ∈ −
π
2
,
π
2
(26)
Asaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
Outline
Introduction
Compactly Supported Wavelets
Multivariable Wavelets
References
Riesz Sequence and Basis
Compact Support
Smooth Wavelets
Theorem 2 Cont’d
Then, the finite product
Θ(ξ) =
∞
j=1
m(2−j
ξ) (27)
converges almost uniformly.
The function Θ(ξ) is thus continuous. Moreover, it is in
L2(R).
The function ˆΦ given by ˆΦ = 1√
2π
θ has a support contained
in [T, S] and is a scaling multiresolution analysis. In
particular it has orthonormal translates.
Asaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
Outline
Introduction
Compactly Supported Wavelets
Multivariable Wavelets
References
Riesz Sequence and Basis
Compact Support
Smooth Wavelets
Remark 2
The formula
Ψ(x) = 2
S
k=T
ak (−1)k
φ(2x + k + 1) (28)
gives a compactly supported wavelet with support
Ψ(x) ⊂
T − S − 1
2
,
S − T − 1
2
Asaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
Outline
Introduction
Compactly Supported Wavelets
Multivariable Wavelets
References
Riesz Sequence and Basis
Compact Support
Smooth Wavelets
Lemma 4
Lemma 4 If m(ξ) is a trigonometric polynomial and
Equations (24) and (25) hold, then the product (27)
converges almost uniformly and
+∞
−∞
|
∞
j=1
m(2−j
ξ)|2
dξ ≤ 2π (29)
In particular Θ(ξ) is continuous and Θ(0) = 1.
If we assume also Equation (26) then for each k ∈ Z
+∞
−∞
|
∞
j=1
m(2−j
ξ)|2
e−2πikξ
dξ =
2π if k = 0
0 otherwise
(30)
Asaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
Outline
Introduction
Compactly Supported Wavelets
Multivariable Wavelets
References
Riesz Sequence and Basis
Compact Support
Smooth Wavelets
Lemma 5
Lemma 5 If
g(ξ) =
T
k=−T
γk e−ikξ
is a non-negative trigonometric polynomial with the γk ’s
real, then there exists a polynomial
m(ξ) =
T
k=0
ak eikξ
with all ak ’s real and such that
|m(ξ)|2
= g(ξ)
for all ξ ∈ R.
Asaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
Outline
Introduction
Compactly Supported Wavelets
Multivariable Wavelets
References
Riesz Sequence and Basis
Compact Support
Smooth Wavelets
Theorem 3
Theorem 3 There exists a constant C such that for each
r = 0, 1, 2, · · · there exists a multiresolution analysis in
L2(R) with scaling function Φ(x) and an associated wavelet
Ψ(x) such that
(i) Φ(x) and Ψ(x) are Cr
(ii) Φ(x) and Ψ(x) are compactly supported and both suppΦ
and suppΨ are contained in [−Cr , Cr ]
Asaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
Outline
Introduction
Compactly Supported Wavelets
Multivariable Wavelets
References
General Representation
Multi-dimension Multiresoultion Analysis
Regularity of Multivariate Wavelets
Definition 1 (Tensor Product)
Given d functions of one variable fi(x) for j = 1, · · · , d we
can form a function of d variables
f1
⊗ f2
⊗ · · · ⊗ fd
defined as
d
j=1
fj
(x1, · · · , xd ) =
d
j=1
fj
(xj)
If we have d closed subspaces Xj ⊂ L2(R) for
j = 1, 2, · · · , d we can form a closed subspace of L2(Rd )
denoted by
d
j=1
Xj or f1
⊗ f2
⊗ · · · ⊗ fd
Asaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
Outline
Introduction
Compactly Supported Wavelets
Multivariable Wavelets
References
General Representation
Multi-dimension Multiresoultion Analysis
Regularity of Multivariate Wavelets
Proposition 1
Let (ψi)d be wavelets on R and let
ψ(x1, · · · , xd ) =
d
j=1
ψj(xj)
Then, the system
2
j1+···+jd
2 ψ(2j1
x1 − k1, · · · , 2jd xd − kd ) (31)
for all j1, · · · , jd and k1, · · · , kd in Z forms orthonormal basis
in L2(Rd )
If we have d closed subspaces Xj ⊂ L2(R) for
j = 1, 2, · · · , d we can form a closed subspace of L2(Rd )
denoted by
dAsaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
Outline
Introduction
Compactly Supported Wavelets
Multivariable Wavelets
References
General Representation
Multi-dimension Multiresoultion Analysis
Regularity of Multivariate Wavelets
Theorem 1
Suppose that on R we are given two multiresolution
analyses say
· · · ⊂ Vi
−1 ⊂ Vi
0 ⊂ Vi
1 ⊂ · · ·
with scaling functions Φi(x) and corresponding wavelets
ψi(x) where i = 1, 2. Defining subspaces Fj ⊂ L2(R2) as
Fj = V1
j ⊗ V2
j (32)
The sequence of subspaces (Fj)j∈Z has the following
properties
· · · ⊂ F−1 ⊂ F0 ⊂ F1 ⊂ · · · (33)
Asaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
Outline
Introduction
Compactly Supported Wavelets
Multivariable Wavelets
References
General Representation
Multi-dimension Multiresoultion Analysis
Regularity of Multivariate Wavelets
Theorem 1 Cont’d
j∈Z
Fj = L2(R2
) ⊗ V2
j (34)
j∈Z
Fj = {0} (35)
f(x, y) ∈ Fj if and only if f(2−j
x, 2−j
y) ∈ F0 (36)
f(x, y) ∈ F0 if and only if f(x − k, y − l) ∈ F0 ∀ k, l ∈ Z (37)
Asaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
Outline
Introduction
Compactly Supported Wavelets
Multivariable Wavelets
References
General Representation
Multi-dimension Multiresoultion Analysis
Regularity of Multivariate Wavelets
Theorem 1 Cont’d
the system
{Φ1(x − k)Φ2(y − l)}k,l∈Z (38)
is an orthonormal basis in F0.
Using the properties (33) - (38) we obtain functions
f1 = ψ1 ⊗ ψ2, f2 = ψ1 ⊗ Φ2, f3 = Φ1 ⊗ ψ2
such that the system
{fi(2j
x − k, 2j
y − l)}k,l∈Z (39)
with j, k, l ∈ Z and i = 1, 2, 3 is an orthonormal basis in
L2(R2)
Asaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
Outline
Introduction
Compactly Supported Wavelets
Multivariable Wavelets
References
General Representation
Multi-dimension Multiresoultion Analysis
Regularity of Multivariate Wavelets
Proposition 2
Suppose we have d multiresolution analyses in L2(R) with
scaling functions Φ0,j(x) and associated wavelets Φ1,j(x)
for j = 1, 2, · · · , d. Let E = {0, 1}d  (0, 0, · · · , 0)
×d
.
For e1, · · · , ed ∈ E let Ψc = d
j=1 Φcj ,j
.
Then
{2
dj
2 Ψc
(2j
x − γ)}c∈E,j∈Z,γ∈Zd (40)
is an orthonormal basis in L2(Rd )-
Here we use the notation
2j
x − γ = 2j
x − γ1, · · · , 2j
x − γd
Asaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
Outline
Introduction
Compactly Supported Wavelets
Multivariable Wavelets
References
General Representation
Multi-dimension Multiresoultion Analysis
Regularity of Multivariate Wavelets
Definition 2
The function F on Rd is r − regular, if F is of Cr −class,
r = −1, 0, 1, 2, · · · and
∂α
∂xα
F(x) ≤
Ck
(1 + |x|)k
for each k = 0, 1, 2, · · · and each multiindex α with
|α| ≤ max(r, 0) and some Ck .
For e1, · · · , ed ∈ E let Ψc = d
j=1 Φcj ,j
.
As usual class C−1 means measurable function and C0
means continuous function.
Asaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
Outline
Introduction
Compactly Supported Wavelets
Multivariable Wavelets
References
General Representation
Multi-dimension Multiresoultion Analysis
Regularity of Multivariate Wavelets
Lemma 1
If F(x) is an r−regular function on Rd and we define G(x)
by the condition
ˆG(ξ) = m(ξ) ˆF(ξ)
for a C∞, 2πZd −periodic function m(ξ), then G(x) is
r−regular.
Corollary 1 If Φ(x) is an r−regular function on Rd such
that {Φ(t − γ)}γ∈Zd is Riesz sequence, then the function
Φ1(x) defined by
Φ1(ξ) =


l∈Zd
|ˆΦ(ξ + 2π)|2 ˆΦ(ξ)

 is also r − regular.
Asaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
Outline
Introduction
Compactly Supported Wavelets
Multivariable Wavelets
References
I., Daubechies. Ten lectures on wavelets. Number 61 in
CBMS-NSF. Series in Applied mathematics. SIAM
Publications, Philadelphia, 1992
I., Daubechies. Orthogonal bases of compactly supported
wavelets. Comm. Pure and Appl. Math., 41:909–996, 1988.
C.K., Chi. An introduction to wavelets. Academic Press.,
1992
C.K., Chi., and J.Z., Wang. On Compactly supported
splines and wavelets. J. Approx. Th. 71(3): 263–304, 1992.
A., Cohen, and I., Daubechies. On the instability of arbitrary
biorthogonal wavelet packets. Preprint.
S.S., Burns, R.A., Gopinath, and H., Guo. An introduction
to wavelets and wavelet transforms. Printice Hall, 1998.Asaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
Outline
Introduction
Compactly Supported Wavelets
Multivariable Wavelets
References
Figure: THANKS FOR LISTENNING
Asaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs

More Related Content

What's hot

Presentation on fourier transformation
Presentation on fourier transformationPresentation on fourier transformation
Presentation on fourier transformationWasim Shah
 
Introduction to Wavelet Transform with Applications to DSP
Introduction to Wavelet Transform with Applications to DSPIntroduction to Wavelet Transform with Applications to DSP
Introduction to Wavelet Transform with Applications to DSPHicham Berkouk
 
discrete wavelet transform
discrete wavelet transformdiscrete wavelet transform
discrete wavelet transformpiyush_11
 
Wavelet Transform.ppt
Wavelet Transform.pptWavelet Transform.ppt
Wavelet Transform.pptssuser637f3e1
 
Fast Fourier Transform Analysis
Fast Fourier Transform AnalysisFast Fourier Transform Analysis
Fast Fourier Transform Analysisdhikadixiana
 
Fast fourier transform
Fast fourier transformFast fourier transform
Fast fourier transformchitra raju
 
Design and realization of fir filter using chebyshev window
Design and realization of fir filter using chebyshev windowDesign and realization of fir filter using chebyshev window
Design and realization of fir filter using chebyshev windowSubhadeep Chakraborty
 
Wavelet transform
Wavelet transformWavelet transform
Wavelet transformTwinkal
 
Fourier series and applications of fourier transform
Fourier series and applications of fourier transformFourier series and applications of fourier transform
Fourier series and applications of fourier transformKrishna Jangid
 
DSP_2018_FOEHU - Lec 08 - The Discrete Fourier Transform
DSP_2018_FOEHU - Lec 08 - The Discrete Fourier TransformDSP_2018_FOEHU - Lec 08 - The Discrete Fourier Transform
DSP_2018_FOEHU - Lec 08 - The Discrete Fourier TransformAmr E. Mohamed
 
Sound Source Localization with microphone arrays
Sound Source Localization with microphone arraysSound Source Localization with microphone arrays
Sound Source Localization with microphone arraysRamin Anushiravani
 
An introduction to discrete wavelet transforms
An introduction to discrete wavelet transformsAn introduction to discrete wavelet transforms
An introduction to discrete wavelet transformsLily Rose
 
Image trnsformations
Image trnsformationsImage trnsformations
Image trnsformationsJohn Williams
 
Fir filter design using windows
Fir filter design using windowsFir filter design using windows
Fir filter design using windowsSarang Joshi
 
Digital Image Processing: Image Restoration
Digital Image Processing: Image RestorationDigital Image Processing: Image Restoration
Digital Image Processing: Image RestorationMostafa G. M. Mostafa
 
Fourier transforms
Fourier transformsFourier transforms
Fourier transformsIffat Anjum
 

What's hot (20)

Presentation on fourier transformation
Presentation on fourier transformationPresentation on fourier transformation
Presentation on fourier transformation
 
Introduction to Wavelet Transform with Applications to DSP
Introduction to Wavelet Transform with Applications to DSPIntroduction to Wavelet Transform with Applications to DSP
Introduction to Wavelet Transform with Applications to DSP
 
discrete wavelet transform
discrete wavelet transformdiscrete wavelet transform
discrete wavelet transform
 
Wavelet Transform.ppt
Wavelet Transform.pptWavelet Transform.ppt
Wavelet Transform.ppt
 
Fast Fourier Transform Analysis
Fast Fourier Transform AnalysisFast Fourier Transform Analysis
Fast Fourier Transform Analysis
 
Fast fourier transform
Fast fourier transformFast fourier transform
Fast fourier transform
 
Design and realization of fir filter using chebyshev window
Design and realization of fir filter using chebyshev windowDesign and realization of fir filter using chebyshev window
Design and realization of fir filter using chebyshev window
 
Wavelet transform
Wavelet transformWavelet transform
Wavelet transform
 
Fourier series and applications of fourier transform
Fourier series and applications of fourier transformFourier series and applications of fourier transform
Fourier series and applications of fourier transform
 
Fft ppt
Fft pptFft ppt
Fft ppt
 
DSP_2018_FOEHU - Lec 08 - The Discrete Fourier Transform
DSP_2018_FOEHU - Lec 08 - The Discrete Fourier TransformDSP_2018_FOEHU - Lec 08 - The Discrete Fourier Transform
DSP_2018_FOEHU - Lec 08 - The Discrete Fourier Transform
 
Sound Source Localization with microphone arrays
Sound Source Localization with microphone arraysSound Source Localization with microphone arrays
Sound Source Localization with microphone arrays
 
An introduction to discrete wavelet transforms
An introduction to discrete wavelet transformsAn introduction to discrete wavelet transforms
An introduction to discrete wavelet transforms
 
Fourier transform
Fourier transformFourier transform
Fourier transform
 
Image trnsformations
Image trnsformationsImage trnsformations
Image trnsformations
 
Fourier Transform
Fourier TransformFourier Transform
Fourier Transform
 
Fir filter design using windows
Fir filter design using windowsFir filter design using windows
Fir filter design using windows
 
Image Restoration
Image Restoration Image Restoration
Image Restoration
 
Digital Image Processing: Image Restoration
Digital Image Processing: Image RestorationDigital Image Processing: Image Restoration
Digital Image Processing: Image Restoration
 
Fourier transforms
Fourier transformsFourier transforms
Fourier transforms
 

Similar to Wavelets presentation

Running Head Fourier Transform Time-Frequency Analysis. .docx
Running Head Fourier Transform Time-Frequency Analysis.         .docxRunning Head Fourier Transform Time-Frequency Analysis.         .docx
Running Head Fourier Transform Time-Frequency Analysis. .docxcharisellington63520
 
On Fractional Fourier Transform Moments Based On Ambiguity Function
On Fractional Fourier Transform Moments Based On Ambiguity FunctionOn Fractional Fourier Transform Moments Based On Ambiguity Function
On Fractional Fourier Transform Moments Based On Ambiguity FunctionCSCJournals
 
(2016) Hennequin and Rigaud - Long-Term Reverberation Modeling for Under-Dete...
(2016) Hennequin and Rigaud - Long-Term Reverberation Modeling for Under-Dete...(2016) Hennequin and Rigaud - Long-Term Reverberation Modeling for Under-Dete...
(2016) Hennequin and Rigaud - Long-Term Reverberation Modeling for Under-Dete...François Rigaud
 
ARTICLE IN PRESS0143-8166$ - sedoi10.1016j.opE-ma.docx
ARTICLE IN PRESS0143-8166$ - sedoi10.1016j.opE-ma.docxARTICLE IN PRESS0143-8166$ - sedoi10.1016j.opE-ma.docx
ARTICLE IN PRESS0143-8166$ - sedoi10.1016j.opE-ma.docxfredharris32
 
3.Frequency Domain Representation of Signals and Systems
3.Frequency Domain Representation of Signals and Systems3.Frequency Domain Representation of Signals and Systems
3.Frequency Domain Representation of Signals and SystemsINDIAN NAVY
 
Slide Handouts with Notes
Slide Handouts with NotesSlide Handouts with Notes
Slide Handouts with NotesLeon Nguyen
 
(2012) Rigaud, David, Daudet - Piano Sound Analysis Using Non-negative Matrix...
(2012) Rigaud, David, Daudet - Piano Sound Analysis Using Non-negative Matrix...(2012) Rigaud, David, Daudet - Piano Sound Analysis Using Non-negative Matrix...
(2012) Rigaud, David, Daudet - Piano Sound Analysis Using Non-negative Matrix...François Rigaud
 
Chapter no4 image transform3
Chapter no4 image transform3Chapter no4 image transform3
Chapter no4 image transform3ShardaSalunkhe1
 
Basics of edge detection and forier transform
Basics of edge detection and forier transformBasics of edge detection and forier transform
Basics of edge detection and forier transformSimranjit Singh
 
Waveguide beamprop
Waveguide beampropWaveguide beamprop
Waveguide beampropeiacqer
 
Discussion Reply Fourier Transform.docx
Discussion Reply Fourier Transform.docxDiscussion Reply Fourier Transform.docx
Discussion Reply Fourier Transform.docxwrite31
 
Discussion Reply Fourier Transform.docx
Discussion Reply Fourier Transform.docxDiscussion Reply Fourier Transform.docx
Discussion Reply Fourier Transform.docxbkbk37
 
Discussion Reply Fourier Transform.docx
Discussion Reply Fourier Transform.docxDiscussion Reply Fourier Transform.docx
Discussion Reply Fourier Transform.docxbkbk37
 
Sparsity based Joint Direction-of-Arrival and Offset Frequency Estimator
Sparsity based Joint Direction-of-Arrival and Offset Frequency EstimatorSparsity based Joint Direction-of-Arrival and Offset Frequency Estimator
Sparsity based Joint Direction-of-Arrival and Offset Frequency EstimatorJason Fernandes
 

Similar to Wavelets presentation (20)

Running Head Fourier Transform Time-Frequency Analysis. .docx
Running Head Fourier Transform Time-Frequency Analysis.         .docxRunning Head Fourier Transform Time-Frequency Analysis.         .docx
Running Head Fourier Transform Time-Frequency Analysis. .docx
 
On Fractional Fourier Transform Moments Based On Ambiguity Function
On Fractional Fourier Transform Moments Based On Ambiguity FunctionOn Fractional Fourier Transform Moments Based On Ambiguity Function
On Fractional Fourier Transform Moments Based On Ambiguity Function
 
(2016) Hennequin and Rigaud - Long-Term Reverberation Modeling for Under-Dete...
(2016) Hennequin and Rigaud - Long-Term Reverberation Modeling for Under-Dete...(2016) Hennequin and Rigaud - Long-Term Reverberation Modeling for Under-Dete...
(2016) Hennequin and Rigaud - Long-Term Reverberation Modeling for Under-Dete...
 
Unit 8
Unit 8Unit 8
Unit 8
 
ARTICLE IN PRESS0143-8166$ - sedoi10.1016j.opE-ma.docx
ARTICLE IN PRESS0143-8166$ - sedoi10.1016j.opE-ma.docxARTICLE IN PRESS0143-8166$ - sedoi10.1016j.opE-ma.docx
ARTICLE IN PRESS0143-8166$ - sedoi10.1016j.opE-ma.docx
 
What Is Fourier Transform
What Is Fourier TransformWhat Is Fourier Transform
What Is Fourier Transform
 
3.Frequency Domain Representation of Signals and Systems
3.Frequency Domain Representation of Signals and Systems3.Frequency Domain Representation of Signals and Systems
3.Frequency Domain Representation of Signals and Systems
 
Slide Handouts with Notes
Slide Handouts with NotesSlide Handouts with Notes
Slide Handouts with Notes
 
(2012) Rigaud, David, Daudet - Piano Sound Analysis Using Non-negative Matrix...
(2012) Rigaud, David, Daudet - Piano Sound Analysis Using Non-negative Matrix...(2012) Rigaud, David, Daudet - Piano Sound Analysis Using Non-negative Matrix...
(2012) Rigaud, David, Daudet - Piano Sound Analysis Using Non-negative Matrix...
 
Discrete Fourier Series | Discrete Fourier Transform | Discrete Time Fourier ...
Discrete Fourier Series | Discrete Fourier Transform | Discrete Time Fourier ...Discrete Fourier Series | Discrete Fourier Transform | Discrete Time Fourier ...
Discrete Fourier Series | Discrete Fourier Transform | Discrete Time Fourier ...
 
Ft3 new
Ft3 newFt3 new
Ft3 new
 
Chapter no4 image transform3
Chapter no4 image transform3Chapter no4 image transform3
Chapter no4 image transform3
 
Basics of edge detection and forier transform
Basics of edge detection and forier transformBasics of edge detection and forier transform
Basics of edge detection and forier transform
 
Waveguide beamprop
Waveguide beampropWaveguide beamprop
Waveguide beamprop
 
Ft and FFT
Ft and FFTFt and FFT
Ft and FFT
 
Discussion Reply Fourier Transform.docx
Discussion Reply Fourier Transform.docxDiscussion Reply Fourier Transform.docx
Discussion Reply Fourier Transform.docx
 
Discussion Reply Fourier Transform.docx
Discussion Reply Fourier Transform.docxDiscussion Reply Fourier Transform.docx
Discussion Reply Fourier Transform.docx
 
Discussion Reply Fourier Transform.docx
Discussion Reply Fourier Transform.docxDiscussion Reply Fourier Transform.docx
Discussion Reply Fourier Transform.docx
 
Acoustic Model.pptx
Acoustic Model.pptxAcoustic Model.pptx
Acoustic Model.pptx
 
Sparsity based Joint Direction-of-Arrival and Offset Frequency Estimator
Sparsity based Joint Direction-of-Arrival and Offset Frequency EstimatorSparsity based Joint Direction-of-Arrival and Offset Frequency Estimator
Sparsity based Joint Direction-of-Arrival and Offset Frequency Estimator
 

Recently uploaded

Animal Communication- Auditory and Visual.pptx
Animal Communication- Auditory and Visual.pptxAnimal Communication- Auditory and Visual.pptx
Animal Communication- Auditory and Visual.pptxUmerFayaz5
 
Disentangling the origin of chemical differences using GHOST
Disentangling the origin of chemical differences using GHOSTDisentangling the origin of chemical differences using GHOST
Disentangling the origin of chemical differences using GHOSTSérgio Sacani
 
Call Us ≽ 9953322196 ≼ Call Girls In Mukherjee Nagar(Delhi) |
Call Us ≽ 9953322196 ≼ Call Girls In Mukherjee Nagar(Delhi) |Call Us ≽ 9953322196 ≼ Call Girls In Mukherjee Nagar(Delhi) |
Call Us ≽ 9953322196 ≼ Call Girls In Mukherjee Nagar(Delhi) |aasikanpl
 
Call Girls in Munirka Delhi 💯Call Us 🔝9953322196🔝 💯Escort.
Call Girls in Munirka Delhi 💯Call Us 🔝9953322196🔝 💯Escort.Call Girls in Munirka Delhi 💯Call Us 🔝9953322196🔝 💯Escort.
Call Girls in Munirka Delhi 💯Call Us 🔝9953322196🔝 💯Escort.aasikanpl
 
Scheme-of-Work-Science-Stage-4 cambridge science.docx
Scheme-of-Work-Science-Stage-4 cambridge science.docxScheme-of-Work-Science-Stage-4 cambridge science.docx
Scheme-of-Work-Science-Stage-4 cambridge science.docxyaramohamed343013
 
Analytical Profile of Coleus Forskohlii | Forskolin .pptx
Analytical Profile of Coleus Forskohlii | Forskolin .pptxAnalytical Profile of Coleus Forskohlii | Forskolin .pptx
Analytical Profile of Coleus Forskohlii | Forskolin .pptxSwapnil Therkar
 
Natural Polymer Based Nanomaterials
Natural Polymer Based NanomaterialsNatural Polymer Based Nanomaterials
Natural Polymer Based NanomaterialsAArockiyaNisha
 
Stunning ➥8448380779▻ Call Girls In Panchshil Enclave Delhi NCR
Stunning ➥8448380779▻ Call Girls In Panchshil Enclave Delhi NCRStunning ➥8448380779▻ Call Girls In Panchshil Enclave Delhi NCR
Stunning ➥8448380779▻ Call Girls In Panchshil Enclave Delhi NCRDelhi Call girls
 
PossibleEoarcheanRecordsoftheGeomagneticFieldPreservedintheIsuaSupracrustalBe...
PossibleEoarcheanRecordsoftheGeomagneticFieldPreservedintheIsuaSupracrustalBe...PossibleEoarcheanRecordsoftheGeomagneticFieldPreservedintheIsuaSupracrustalBe...
PossibleEoarcheanRecordsoftheGeomagneticFieldPreservedintheIsuaSupracrustalBe...Sérgio Sacani
 
Traditional Agroforestry System in India- Shifting Cultivation, Taungya, Home...
Traditional Agroforestry System in India- Shifting Cultivation, Taungya, Home...Traditional Agroforestry System in India- Shifting Cultivation, Taungya, Home...
Traditional Agroforestry System in India- Shifting Cultivation, Taungya, Home...jana861314
 
Physiochemical properties of nanomaterials and its nanotoxicity.pptx
Physiochemical properties of nanomaterials and its nanotoxicity.pptxPhysiochemical properties of nanomaterials and its nanotoxicity.pptx
Physiochemical properties of nanomaterials and its nanotoxicity.pptxAArockiyaNisha
 
Recombinant DNA technology (Immunological screening)
Recombinant DNA technology (Immunological screening)Recombinant DNA technology (Immunological screening)
Recombinant DNA technology (Immunological screening)PraveenaKalaiselvan1
 
STERILITY TESTING OF PHARMACEUTICALS ppt by DR.C.P.PRINCE
STERILITY TESTING OF PHARMACEUTICALS ppt by DR.C.P.PRINCESTERILITY TESTING OF PHARMACEUTICALS ppt by DR.C.P.PRINCE
STERILITY TESTING OF PHARMACEUTICALS ppt by DR.C.P.PRINCEPRINCE C P
 
Nanoparticles synthesis and characterization​ ​
Nanoparticles synthesis and characterization​  ​Nanoparticles synthesis and characterization​  ​
Nanoparticles synthesis and characterization​ ​kaibalyasahoo82800
 
Discovery of an Accretion Streamer and a Slow Wide-angle Outflow around FUOri...
Discovery of an Accretion Streamer and a Slow Wide-angle Outflow around FUOri...Discovery of an Accretion Streamer and a Slow Wide-angle Outflow around FUOri...
Discovery of an Accretion Streamer and a Slow Wide-angle Outflow around FUOri...Sérgio Sacani
 
Boyles law module in the grade 10 science
Boyles law module in the grade 10 scienceBoyles law module in the grade 10 science
Boyles law module in the grade 10 sciencefloriejanemacaya1
 
Analytical Profile of Coleus Forskohlii | Forskolin .pdf
Analytical Profile of Coleus Forskohlii | Forskolin .pdfAnalytical Profile of Coleus Forskohlii | Forskolin .pdf
Analytical Profile of Coleus Forskohlii | Forskolin .pdfSwapnil Therkar
 
A relative description on Sonoporation.pdf
A relative description on Sonoporation.pdfA relative description on Sonoporation.pdf
A relative description on Sonoporation.pdfnehabiju2046
 
GFP in rDNA Technology (Biotechnology).pptx
GFP in rDNA Technology (Biotechnology).pptxGFP in rDNA Technology (Biotechnology).pptx
GFP in rDNA Technology (Biotechnology).pptxAleenaTreesaSaji
 

Recently uploaded (20)

Animal Communication- Auditory and Visual.pptx
Animal Communication- Auditory and Visual.pptxAnimal Communication- Auditory and Visual.pptx
Animal Communication- Auditory and Visual.pptx
 
Disentangling the origin of chemical differences using GHOST
Disentangling the origin of chemical differences using GHOSTDisentangling the origin of chemical differences using GHOST
Disentangling the origin of chemical differences using GHOST
 
Call Us ≽ 9953322196 ≼ Call Girls In Mukherjee Nagar(Delhi) |
Call Us ≽ 9953322196 ≼ Call Girls In Mukherjee Nagar(Delhi) |Call Us ≽ 9953322196 ≼ Call Girls In Mukherjee Nagar(Delhi) |
Call Us ≽ 9953322196 ≼ Call Girls In Mukherjee Nagar(Delhi) |
 
Call Girls in Munirka Delhi 💯Call Us 🔝9953322196🔝 💯Escort.
Call Girls in Munirka Delhi 💯Call Us 🔝9953322196🔝 💯Escort.Call Girls in Munirka Delhi 💯Call Us 🔝9953322196🔝 💯Escort.
Call Girls in Munirka Delhi 💯Call Us 🔝9953322196🔝 💯Escort.
 
Scheme-of-Work-Science-Stage-4 cambridge science.docx
Scheme-of-Work-Science-Stage-4 cambridge science.docxScheme-of-Work-Science-Stage-4 cambridge science.docx
Scheme-of-Work-Science-Stage-4 cambridge science.docx
 
Analytical Profile of Coleus Forskohlii | Forskolin .pptx
Analytical Profile of Coleus Forskohlii | Forskolin .pptxAnalytical Profile of Coleus Forskohlii | Forskolin .pptx
Analytical Profile of Coleus Forskohlii | Forskolin .pptx
 
Natural Polymer Based Nanomaterials
Natural Polymer Based NanomaterialsNatural Polymer Based Nanomaterials
Natural Polymer Based Nanomaterials
 
Stunning ➥8448380779▻ Call Girls In Panchshil Enclave Delhi NCR
Stunning ➥8448380779▻ Call Girls In Panchshil Enclave Delhi NCRStunning ➥8448380779▻ Call Girls In Panchshil Enclave Delhi NCR
Stunning ➥8448380779▻ Call Girls In Panchshil Enclave Delhi NCR
 
PossibleEoarcheanRecordsoftheGeomagneticFieldPreservedintheIsuaSupracrustalBe...
PossibleEoarcheanRecordsoftheGeomagneticFieldPreservedintheIsuaSupracrustalBe...PossibleEoarcheanRecordsoftheGeomagneticFieldPreservedintheIsuaSupracrustalBe...
PossibleEoarcheanRecordsoftheGeomagneticFieldPreservedintheIsuaSupracrustalBe...
 
Traditional Agroforestry System in India- Shifting Cultivation, Taungya, Home...
Traditional Agroforestry System in India- Shifting Cultivation, Taungya, Home...Traditional Agroforestry System in India- Shifting Cultivation, Taungya, Home...
Traditional Agroforestry System in India- Shifting Cultivation, Taungya, Home...
 
Physiochemical properties of nanomaterials and its nanotoxicity.pptx
Physiochemical properties of nanomaterials and its nanotoxicity.pptxPhysiochemical properties of nanomaterials and its nanotoxicity.pptx
Physiochemical properties of nanomaterials and its nanotoxicity.pptx
 
Recombinant DNA technology (Immunological screening)
Recombinant DNA technology (Immunological screening)Recombinant DNA technology (Immunological screening)
Recombinant DNA technology (Immunological screening)
 
Engler and Prantl system of classification in plant taxonomy
Engler and Prantl system of classification in plant taxonomyEngler and Prantl system of classification in plant taxonomy
Engler and Prantl system of classification in plant taxonomy
 
STERILITY TESTING OF PHARMACEUTICALS ppt by DR.C.P.PRINCE
STERILITY TESTING OF PHARMACEUTICALS ppt by DR.C.P.PRINCESTERILITY TESTING OF PHARMACEUTICALS ppt by DR.C.P.PRINCE
STERILITY TESTING OF PHARMACEUTICALS ppt by DR.C.P.PRINCE
 
Nanoparticles synthesis and characterization​ ​
Nanoparticles synthesis and characterization​  ​Nanoparticles synthesis and characterization​  ​
Nanoparticles synthesis and characterization​ ​
 
Discovery of an Accretion Streamer and a Slow Wide-angle Outflow around FUOri...
Discovery of an Accretion Streamer and a Slow Wide-angle Outflow around FUOri...Discovery of an Accretion Streamer and a Slow Wide-angle Outflow around FUOri...
Discovery of an Accretion Streamer and a Slow Wide-angle Outflow around FUOri...
 
Boyles law module in the grade 10 science
Boyles law module in the grade 10 scienceBoyles law module in the grade 10 science
Boyles law module in the grade 10 science
 
Analytical Profile of Coleus Forskohlii | Forskolin .pdf
Analytical Profile of Coleus Forskohlii | Forskolin .pdfAnalytical Profile of Coleus Forskohlii | Forskolin .pdf
Analytical Profile of Coleus Forskohlii | Forskolin .pdf
 
A relative description on Sonoporation.pdf
A relative description on Sonoporation.pdfA relative description on Sonoporation.pdf
A relative description on Sonoporation.pdf
 
GFP in rDNA Technology (Biotechnology).pptx
GFP in rDNA Technology (Biotechnology).pptxGFP in rDNA Technology (Biotechnology).pptx
GFP in rDNA Technology (Biotechnology).pptx
 

Wavelets presentation

  • 1. Outline Introduction Compactly Supported Wavelets Multivariable Wavelets References Compactly Supported Wavelets Method for Solving Solving PDEs Asaph Keikara Muhumuza July 6, 2017 Asaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
  • 2. Outline Introduction Compactly Supported Wavelets Multivariable Wavelets References Introduction Background From Fourier Analysis to Wavelet Analysis Time Frequency Localization Wavelet Transform Wavelet Function Admissibility Multiresolution Analysis Definition Compactly Supported Wavelets Riesz Sequence and Basis Compact Support Smooth Wavelets Multivariable Wavelets General Representation Multi-dimension Multiresoultion Analysis Regularity of Multivariate WaveletsAsaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
  • 3. Outline Introduction Compactly Supported Wavelets Multivariable Wavelets References Background From Fourier Analysis to Wavelet Analysis Time Frequency Localization Wavelet Transform Wavelet Function Admissibility Definition In early 70’s, sums functions, called atomic decomposition by Coifman [8], were widely used specificlly in Hardy space theory. One method used to establish that a general function f has such a decomposition is to start with ’Calderon formula’:for a fonction f, which holds that f(x) = +∞ 0 +∞ −∞ (ψt ∗ f) (y) ˆψt (x − y)dy dt t (1) . where the denotes convolution. Here ψt (x) = t−1ψ(x/t) and similarly ˆφt (x), for appropriate functions ψ and ˆψ. This is typically an example of a continuous wavelet function. Asaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
  • 4. Outline Introduction Compactly Supported Wavelets Multivariable Wavelets References Background From Fourier Analysis to Wavelet Analysis Time Frequency Localization Wavelet Transform Wavelet Function Admissibility Definition Background The first orthogonal wavelets were discovered by Str¨omberg [14]. A discrete version the Calder´on formula had also been used for similar purposes by Jawerth [12] and long before this there were results by Haar [10], Franklin [11], Ciesielski [16], and many others. Lameri´e and Meyer [13], independently of Str¨omberg, constructed new orthogonal wavelet expansions. Mallat and Meyer [13], introduced the notion of multiresolution a systematic framework for understanding these orthogonal expansions. Soon after, Daubenchie [1, 2], gave the construction of wavelets, non-zero only on finite interval.Asaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
  • 5. Outline Introduction Compactly Supported Wavelets Multivariable Wavelets References Background From Fourier Analysis to Wavelet Analysis Time Frequency Localization Wavelet Transform Wavelet Function Admissibility Definition Existence and Some Applications of Wavelets Figure: Existence and Applications of Wavelets Asaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
  • 6. Outline Introduction Compactly Supported Wavelets Multivariable Wavelets References Background From Fourier Analysis to Wavelet Analysis Time Frequency Localization Wavelet Transform Wavelet Function Admissibility Definition Basic Types of Wavelets Figure: Illustration of Common type of Wavelets Asaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
  • 7. Outline Introduction Compactly Supported Wavelets Multivariable Wavelets References Background From Fourier Analysis to Wavelet Analysis Time Frequency Localization Wavelet Transform Wavelet Function Admissibility Definition Basic Illustrations and Notations Figure: Connection between L2(R) to Fourier and then Wavelets Asaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
  • 8. Outline Introduction Compactly Supported Wavelets Multivariable Wavelets References Background From Fourier Analysis to Wavelet Analysis Time Frequency Localization Wavelet Transform Wavelet Function Admissibility Definition Basic Notations and Definitions For a complex-valued (Lebesgue) measurable function f on R, let ||f||p = |f(x)|p dx 1/p 1 ≤ p < ∞ By Lp we denote a Banach space of all measurable functions f on R such that ||f||p < ∞. In Particular, L2(R) is a Hilbert space with with an inner product defined by f, g = R f(x)g(x)dx, f, g ∈ L2(R) As a result ||f|| = f, f 1/2 Asaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
  • 9. Outline Introduction Compactly Supported Wavelets Multivariable Wavelets References Background From Fourier Analysis to Wavelet Analysis Time Frequency Localization Wavelet Transform Wavelet Function Admissibility Definition Fourier Transform Definition Periodic Function is function f such that f(x + T) = f(x) for all x ∈ R and T a positive constant called a period. e.g., sin x is periodic since sin(x + 2x), sin(x + 4x), · · · are all equal to sin x. Definition Fourier Transform Let f ∈ L1(R). The Fourier transform of f is the function ˆf : R → C defined by ˆf(t) = 1 √ 2π +∞ −∞ f(x)e−itx dx Asaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
  • 10. Outline Introduction Compactly Supported Wavelets Multivariable Wavelets References Background From Fourier Analysis to Wavelet Analysis Time Frequency Localization Wavelet Transform Wavelet Function Admissibility Definition Convolution Definition Convolution Let f, g ∈ L1(R). We define the convolution of f g by (f g)(x) = +∞ −∞ f(x − y)g(y)dy such that the integral exists for all x ∈ R (and (f g)(x) = 0 otherwise). Example Given H(x) = e−|x| then, ˆH = 1 √ 2π ∞ −∞ e−|x|−itx dx = 2 π 1 1 + t2 . Asaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
  • 11. Outline Introduction Compactly Supported Wavelets Multivariable Wavelets References Background From Fourier Analysis to Wavelet Analysis Time Frequency Localization Wavelet Transform Wavelet Function Admissibility Definition Windowed Fourier Transform Given a signal f(t) (t cts time variable), one is interested in frequency content locally. The Fourier transform (Ff)(ω, t) = 1 √ 2π I∈R f(t)e−iωt dt (2) Time localization can be achieved by first windowing the signal f so as to cut off a well localized slice of f and taking the transform. (Twinf)(ω, t) = I∈R f(s)g(s − t)e−iωs ds (3) Asaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
  • 12. Outline Introduction Compactly Supported Wavelets Multivariable Wavelets References Background From Fourier Analysis to Wavelet Analysis Time Frequency Localization Wavelet Transform Wavelet Function Admissibility Definition The Windowed Fourier Transform Figure: The Windowed Fourier Transform (Twinf)(ω) with signal f(x)Asaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
  • 13. Outline Introduction Compactly Supported Wavelets Multivariable Wavelets References Background From Fourier Analysis to Wavelet Analysis Time Frequency Localization Wavelet Transform Wavelet Function Admissibility Definition Windowed Fourier Transform Cont’d The signal function f(x) is multiplied with the window function g(t), and the Fourier coefficients of the product are computed, and the procedure is then repeated for the translated versions of the window say g(t − t0), g(t − 2t0), · · · as shown in Figure 5. Twin m,n (f) = I∈R f(s)g(s − nt0)e−imω0s ds (4) If for instance, g is compactly supported, then it is clear that with appropriately chosen ω0, the Fourier coefficients Twin m,n (f) are just sufficient to characterize and, if need be, to construct f(•)g(• − nt0). Changing amounts to shifting slice by step and its multiples, allowing recovery from Asaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
  • 14. Outline Introduction Compactly Supported Wavelets Multivariable Wavelets References Background From Fourier Analysis to Wavelet Analysis Time Frequency Localization Wavelet Transform Wavelet Function Admissibility Definition Wavelet Transform The wavelet provides a similar time frequency description, with few noticeable differences. The equivalent wavelet transform formulas analogous to (3) and (4) are (Twavf)(a, b) = |a|−1 2 I∈R f(t)ψ t − b a dt (5) and (Twav m,n f)(a, b) = |a0|−m 2 I∈R f(t)ψ a−m 0 t − nb0 dt (6) where a is called the scale and b the translation. Asaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
  • 15. Outline Introduction Compactly Supported Wavelets Multivariable Wavelets References Background From Fourier Analysis to Wavelet Analysis Time Frequency Localization Wavelet Transform Wavelet Function Admissibility Definition Wavelet/Fourier Transform (Differences) In both cases it is assumed that ψ satisfied orthogonality conditions i.e., I∈R ψ(t)dt = 0 and I∈R ψ(t)ψ(t)dt = 1 Both Equations (3) and (5) take inner products of f with the family of functions indexed respectively by two labels gω,t (s) = eiωs g(s − t) (7) and ψa,b = |a|−1 2 ψ t − b a (8) Asaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
  • 16. Outline Introduction Compactly Supported Wavelets Multivariable Wavelets References Background From Fourier Analysis to Wavelet Analysis Time Frequency Localization Wavelet Transform Wavelet Function Admissibility Definition Wavelet/Fourier Transform (Differences) Cont’d A typical choice of ψ is ψ(t) = (1 − t2 ) exp(−t2 )/2 which is a family of Gaussian functions and it is smooth, C∞. As a changes, the ψa,0 (s) = |a|−1 2 ψ(s/a) over different sequence ranges (large values of scaling parameter |a| correspond to small frequencies, or large scale ψa,0); small values of |a| correspond to high frequencies or very fine scale ψa,0. Asaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
  • 17. Outline Introduction Compactly Supported Wavelets Multivariable Wavelets References Background From Fourier Analysis to Wavelet Analysis Time Frequency Localization Wavelet Transform Wavelet Function Admissibility Definition Wavelet Transformations Asaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
  • 18. Outline Introduction Compactly Supported Wavelets Multivariable Wavelets References Background From Fourier Analysis to Wavelet Analysis Time Frequency Localization Wavelet Transform Wavelet Function Admissibility Definition Admissible Wavelet Functions The mother wavelet (kernel of the wavelet transform) can be almost any function. More rigorously, an L2(R) function (a finite energy square integrable function over a range of its independent variable) which can be either real or complex; is admissible function if Cg = ∞ −∞ |G(ω)|2 |ω| dω < ∞ (9) where G(ω) is the Fourier transform of g. Asaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
  • 19. Outline Introduction Compactly Supported Wavelets Multivariable Wavelets References Background From Fourier Analysis to Wavelet Analysis Time Frequency Localization Wavelet Transform Wavelet Function Admissibility Definition Admissible Wavelet Functions Cont’d A wavelet transform operator say Wφ maps a finite energy or L2(R) signal that is real or complex valued function as follows; Wψ : L2 (R) → L2 (R {0} × R) Stated mathematically, any finite energy signal is mapped from time or space domain to a finite energy two dimensional distribution in the scale transition or wavelet domain. Asaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
  • 20. Outline Introduction Compactly Supported Wavelets Multivariable Wavelets References Background From Fourier Analysis to Wavelet Analysis Time Frequency Localization Wavelet Transform Wavelet Function Admissibility Definition General Wavelet Representation The wavelet transform of a function f w.r.t. given admissible mother wavelet, ψ is defined as: Wavelet domain coefficient at scale a and translation b Wψ(a, b) = |a|−1 2 I∈R f(x)ψ∗ x − b a dx = f, 1 |a| ψ x − b a = f, ψa,b = f, U(a, b)ψ . Asaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
  • 21. Outline Introduction Compactly Supported Wavelets Multivariable Wavelets References Background From Fourier Analysis to Wavelet Analysis Time Frequency Localization Wavelet Transform Wavelet Function Admissibility Definition Multiresolution Analysis for One Dimensional Wavelets Definition 1 A multiresolution analysis on R is a sequence of subspaces {Vj}j∈Z of functions L2(R) satisfying the following conditions (i) For all j ∈ Z, Vj ⊂ Vj+1 i.e., · · · , V−2 ⊂ V−1 ⊂ V0 ⊂ V1 ⊂ V2 · · · (ii) If f(x) is C0 c on R, then f(x) ∈ span{Vj }j∈Z. • That is given > 0, there exists a j ∈ Z and a function g(x) ∈ Vj such that ||f − g|| < . • Equivalently j∈Z Vj = L2(R). Asaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
  • 22. Outline Introduction Compactly Supported Wavelets Multivariable Wavelets References Background From Fourier Analysis to Wavelet Analysis Time Frequency Localization Wavelet Transform Wavelet Function Admissibility Definition Multiresolution Analysis for One Dimensional Wavelets Cont’d (iii) For al j ∈ Z, j∈Z Vj = {0}. (iv) A function f(x) ∈ Vj if and only if f(2−jx) ∈ V0. (v) A function f(x) ∈ V0 if and only if D2j f(x) ∈ Vj, (i.e., f(x − k) ∈ V0 for all k ∈ Z). (vi) There exists a function Φ in L2 on R called the scaling function such that the collection Tk ψ(x) is orthonormal system of translates and V0 = span{Tk Φ(x)} Asaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
  • 23. Outline Introduction Compactly Supported Wavelets Multivariable Wavelets References Background From Fourier Analysis to Wavelet Analysis Time Frequency Localization Wavelet Transform Wavelet Function Admissibility Definition The Following Definitions Follow Immediately for Wavelets (i) Definition Given a real number k we define a translation operator Tk acting on function defined on R by the formula Tk (f)(x) = f(x − k) (ii) Definition Given a integer number j we define a dyadic dilation operator Dj acting on function defined on R by the formula Dj (f)(x) = f(2j x)Asaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
  • 24. Outline Introduction Compactly Supported Wavelets Multivariable Wavelets References Background From Fourier Analysis to Wavelet Analysis Time Frequency Localization Wavelet Transform Wavelet Function Admissibility Definition Important Lemma 1. Lemma 1 (a) For every k ∈ R, the operator Tk is an isometry on L2(R). (b) For every integer j ∈ Z the operator 2jDj is an isometry on L2(R). 2. Result For each j ∈ Z the system 2j/2 Φ(2j/2 x − k) k∈R is an orthonormal basis in Vj. Asaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
  • 25. Outline Introduction Compactly Supported Wavelets Multivariable Wavelets References Riesz Sequence and Basis Compact Support Smooth Wavelets Definition 2 1. Definition 2 A sequence of vectors (xn)n∈A in a Hilbert space H is called a Riesz sequence if there exist constants 0 < c ≤ C such that c n∈A |an| 1 2 ≤ || n∈A an|| ≤ C n∈A |an|2 1 2 (10) for all sequence of scalars (an)n∈A. A Riesz sequence is called a Riesz basis if additionally span(an)n∈A = H Asaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
  • 26. Outline Introduction Compactly Supported Wavelets Multivariable Wavelets References Riesz Sequence and Basis Compact Support Smooth Wavelets Lemma 2 1. Lemma 2 (a) If we have a Riesz basis (xn)n∈Z, in H, then there exist biorthogonal functions (x∗ n )n∈Z i.e., vectors in H such that x∗ n , xm = σn,m. The sequence (x∗ n )n∈Z is also a Riesz basis in H. (b) (xn)n∈Z is a Riesz basis in H then there exists constants 0 < c ≤ C such that c||x|| ≤ n∈Z | x, xn |2 1 2 ≤ C||x|| ∀ x ∈ H. (11) Asaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
  • 27. Outline Introduction Compactly Supported Wavelets Multivariable Wavelets References Riesz Sequence and Basis Compact Support Smooth Wavelets Proposition 1 1. Proposition 1 Let Φ be a function in L2(R) and let 0 < a ≤ A be two constants. The following conditions are equivalent: (i) for every sequence of scalars (an)n∈Z we have a n∈A |an|2 1 2 ≤ +∞ −∞ | n∈Z anΦ(x − n)|2 dx 1 2 ≤ A n∈Z |an|2 (12) (ii) for almost all ξ ∈ R a2 2π ≤ l∈Z |ˆΦ(ξ + 2πl)|2 ≤ A2 2π (13) Asaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
  • 28. Outline Introduction Compactly Supported Wavelets Multivariable Wavelets References Riesz Sequence and Basis Compact Support Smooth Wavelets Corollary 1 Corollary 1 The system {Φ(t − m)}m∈Z is an orthonormal system if and only if i∈Z |ˆΦ(ξ + 2πl)|2 = 1 2π (14) for almost all ξ ∈ R. Asaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
  • 29. Outline Introduction Compactly Supported Wavelets Multivariable Wavelets References Riesz Sequence and Basis Compact Support Smooth Wavelets Proposition 2 Proposition 2 Suppose that {φ(t − m)}m∈Z is a Riesz sequence, then (i) any function g ∈ span{Φ(t − m)}m∈Z we can be written as g(x) = m∈Z amΦ(x − m) and the series converges in L2(R). (ii) g ∈ span{φ(t − m)}m∈Z if and only if ˆg(ξ) = φ(ξ)ˆΦ(ξ) (15) Asaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
  • 30. Outline Introduction Compactly Supported Wavelets Multivariable Wavelets References Riesz Sequence and Basis Compact Support Smooth Wavelets Proposition 2 Cont’d (iii) if g = n∈Z anΦ(x − m)} and φ(ξ) is given by Equation (15) then φ(ξ) = n∈Z ane−inξ and conversely (iv) the norms of g and Φ are related s follows: A−1 ||g||2 ≤ 1 2π 2π 0 |φ(ξ)|2 dξ 1 2 ≤ a−1 ||g||2 (16) Asaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
  • 31. Outline Introduction Compactly Supported Wavelets Multivariable Wavelets References Riesz Sequence and Basis Compact Support Smooth Wavelets Remarks 1 From Definition 1 (multiresolution analysis), for conditions (i) and (vi) it can be seen that for a scaling function Φ in V1, so (iv) gives Φ(ξ/1) ∈ V0. From (vi) we obtain φ(ξ/2) = n∈Z anφ(x − n) (17) or equivalently φ(ξ) = n∈Z anφ(2x − n) (18) Asaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
  • 32. Outline Introduction Compactly Supported Wavelets Multivariable Wavelets References Riesz Sequence and Basis Compact Support Smooth Wavelets Remarks 1 Cont’d From Proposition 2 above, the above Equations (17) and (18) can be rewritten equivalently as ˆΦ(ξ) = mΦ(ξ/2)ˆΦ(ξ/2) (19) or equivalently ˆΦ(2ξ) = mΦ(ξ)ˆΦ(ξ) (20) where mΦ is a function defined by mΦ(ξ) = 1 2 n∈Z ane−inξ (21) Asaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
  • 33. Outline Introduction Compactly Supported Wavelets Multivariable Wavelets References Riesz Sequence and Basis Compact Support Smooth Wavelets Remarks 1 Cont’d Naturally, the coefficients an, in (21) are the same as in (17) and (18). Since ||ˆΦ(ξ/2)|| = √ 2 we infer from (17) that n∈Z |an|2 = 2 so that 1 2π 2π 0 |mΦ(ξ)|2 dξ 1 2 = 1 √ 2 Each of the equivalent equations (17)-(20) is called a scaling equation. Asaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
  • 34. Outline Introduction Compactly Supported Wavelets Multivariable Wavelets References Riesz Sequence and Basis Compact Support Smooth Wavelets Lemma 3 Lemma 3 |mΦ(ξ)|2 + |mΦ(ξ + π)|2 = 1 (22) for almost all ξ ∈ R. Proof Follows from Corollary 1 and using (19) and the fact that mΦ(xi) is 2π- periodic gives 1 2π = l∈Z Φ(ξ + πl)2 = l∈Z |mΦ(ξ/2 + πl)|2 .|ˆΦ(ξ/2 + πl)|2 Asaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
  • 35. Outline Introduction Compactly Supported Wavelets Multivariable Wavelets References Riesz Sequence and Basis Compact Support Smooth Wavelets Lemma 3 Cont’d Proof Cont’d 1 2π = l∈Z |mΦ(ξ/2 + 2kπ)|2 .|ˆΦ(ξ/2 + 2kπ)|2 + l∈Z |mΦ(ξ/2 + π + 2kπ)|2 .|ˆΦ(ξ/2 + π + 2kπ)|2 = |mΦ(ξ/2)|2 . l∈Z |ˆΦ(ξ/2 + 2kπ)|2 + |mΦ(ξ/2 + π)|2 . l∈Z |ˆΦ(ξ/2 + π + 2kπ)|2 The result follow immediately from (22). Asaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
  • 36. Outline Introduction Compactly Supported Wavelets Multivariable Wavelets References Riesz Sequence and Basis Compact Support Smooth Wavelets Theorem 1 Theorem 1 Suppose we have a function Φ in L2(R) such that (i) {φ(t − m)}m∈Z is a Riesz sequence in L2(R), (ii) Φ(x/2) = k∈Z ak Φ(x − k) with the convergence of the series understood as the norm convergence in L2(R), (iii) ˆΦ(ξ) is continuous at 0 and ˆΦ(0) = 0. Then, the space Vj = span{Φ(2j x − k)} (23) with j ∈ Z forms a multiresolution analysis. Asaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
  • 37. Outline Introduction Compactly Supported Wavelets Multivariable Wavelets References Riesz Sequence and Basis Compact Support Smooth Wavelets Proposition 3 Proposition 3 Suppose we have a function Φ ∈ L2(R) satisfying condition (i) of Theorem 1. Let the space Vj be defined by (23) and let Pj be an orthonormal projection onto Vj. Then, for each f ∈ L2(R) we have lim j→−∞ Pjf = 0, in particular j∈Z Vj = {0}. Asaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
  • 38. Outline Introduction Compactly Supported Wavelets Multivariable Wavelets References Riesz Sequence and Basis Compact Support Smooth Wavelets Proposition 4 Proposition 4 Suppose we have a function Φ ∈ L2(R) satisfying conditions (i) and (ii) of Theorem 1. Then j∈Z Vj is dense in L2(R), where the spaces Vj are defined by (23). Asaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
  • 39. Outline Introduction Compactly Supported Wavelets Multivariable Wavelets References Riesz Sequence and Basis Compact Support Smooth Wavelets Theorem 2 Theorem 2 Suppose that m(ξ) = S k=T ak e−ikξ is a trigonometric polynomial such that |m(ξ)|2 + |m(ξ + π)|2 = 1 for all ξ ∈ R (24) m(0) = 1 (25) m(ξ) = 0 for ξ ∈ − π 2 , π 2 (26) Asaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
  • 40. Outline Introduction Compactly Supported Wavelets Multivariable Wavelets References Riesz Sequence and Basis Compact Support Smooth Wavelets Theorem 2 Cont’d Then, the finite product Θ(ξ) = ∞ j=1 m(2−j ξ) (27) converges almost uniformly. The function Θ(ξ) is thus continuous. Moreover, it is in L2(R). The function ˆΦ given by ˆΦ = 1√ 2π θ has a support contained in [T, S] and is a scaling multiresolution analysis. In particular it has orthonormal translates. Asaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
  • 41. Outline Introduction Compactly Supported Wavelets Multivariable Wavelets References Riesz Sequence and Basis Compact Support Smooth Wavelets Remark 2 The formula Ψ(x) = 2 S k=T ak (−1)k φ(2x + k + 1) (28) gives a compactly supported wavelet with support Ψ(x) ⊂ T − S − 1 2 , S − T − 1 2 Asaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
  • 42. Outline Introduction Compactly Supported Wavelets Multivariable Wavelets References Riesz Sequence and Basis Compact Support Smooth Wavelets Lemma 4 Lemma 4 If m(ξ) is a trigonometric polynomial and Equations (24) and (25) hold, then the product (27) converges almost uniformly and +∞ −∞ | ∞ j=1 m(2−j ξ)|2 dξ ≤ 2π (29) In particular Θ(ξ) is continuous and Θ(0) = 1. If we assume also Equation (26) then for each k ∈ Z +∞ −∞ | ∞ j=1 m(2−j ξ)|2 e−2πikξ dξ = 2π if k = 0 0 otherwise (30) Asaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
  • 43. Outline Introduction Compactly Supported Wavelets Multivariable Wavelets References Riesz Sequence and Basis Compact Support Smooth Wavelets Lemma 5 Lemma 5 If g(ξ) = T k=−T γk e−ikξ is a non-negative trigonometric polynomial with the γk ’s real, then there exists a polynomial m(ξ) = T k=0 ak eikξ with all ak ’s real and such that |m(ξ)|2 = g(ξ) for all ξ ∈ R. Asaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
  • 44. Outline Introduction Compactly Supported Wavelets Multivariable Wavelets References Riesz Sequence and Basis Compact Support Smooth Wavelets Theorem 3 Theorem 3 There exists a constant C such that for each r = 0, 1, 2, · · · there exists a multiresolution analysis in L2(R) with scaling function Φ(x) and an associated wavelet Ψ(x) such that (i) Φ(x) and Ψ(x) are Cr (ii) Φ(x) and Ψ(x) are compactly supported and both suppΦ and suppΨ are contained in [−Cr , Cr ] Asaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
  • 45. Outline Introduction Compactly Supported Wavelets Multivariable Wavelets References General Representation Multi-dimension Multiresoultion Analysis Regularity of Multivariate Wavelets Definition 1 (Tensor Product) Given d functions of one variable fi(x) for j = 1, · · · , d we can form a function of d variables f1 ⊗ f2 ⊗ · · · ⊗ fd defined as d j=1 fj (x1, · · · , xd ) = d j=1 fj (xj) If we have d closed subspaces Xj ⊂ L2(R) for j = 1, 2, · · · , d we can form a closed subspace of L2(Rd ) denoted by d j=1 Xj or f1 ⊗ f2 ⊗ · · · ⊗ fd Asaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
  • 46. Outline Introduction Compactly Supported Wavelets Multivariable Wavelets References General Representation Multi-dimension Multiresoultion Analysis Regularity of Multivariate Wavelets Proposition 1 Let (ψi)d be wavelets on R and let ψ(x1, · · · , xd ) = d j=1 ψj(xj) Then, the system 2 j1+···+jd 2 ψ(2j1 x1 − k1, · · · , 2jd xd − kd ) (31) for all j1, · · · , jd and k1, · · · , kd in Z forms orthonormal basis in L2(Rd ) If we have d closed subspaces Xj ⊂ L2(R) for j = 1, 2, · · · , d we can form a closed subspace of L2(Rd ) denoted by dAsaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
  • 47. Outline Introduction Compactly Supported Wavelets Multivariable Wavelets References General Representation Multi-dimension Multiresoultion Analysis Regularity of Multivariate Wavelets Theorem 1 Suppose that on R we are given two multiresolution analyses say · · · ⊂ Vi −1 ⊂ Vi 0 ⊂ Vi 1 ⊂ · · · with scaling functions Φi(x) and corresponding wavelets ψi(x) where i = 1, 2. Defining subspaces Fj ⊂ L2(R2) as Fj = V1 j ⊗ V2 j (32) The sequence of subspaces (Fj)j∈Z has the following properties · · · ⊂ F−1 ⊂ F0 ⊂ F1 ⊂ · · · (33) Asaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
  • 48. Outline Introduction Compactly Supported Wavelets Multivariable Wavelets References General Representation Multi-dimension Multiresoultion Analysis Regularity of Multivariate Wavelets Theorem 1 Cont’d j∈Z Fj = L2(R2 ) ⊗ V2 j (34) j∈Z Fj = {0} (35) f(x, y) ∈ Fj if and only if f(2−j x, 2−j y) ∈ F0 (36) f(x, y) ∈ F0 if and only if f(x − k, y − l) ∈ F0 ∀ k, l ∈ Z (37) Asaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
  • 49. Outline Introduction Compactly Supported Wavelets Multivariable Wavelets References General Representation Multi-dimension Multiresoultion Analysis Regularity of Multivariate Wavelets Theorem 1 Cont’d the system {Φ1(x − k)Φ2(y − l)}k,l∈Z (38) is an orthonormal basis in F0. Using the properties (33) - (38) we obtain functions f1 = ψ1 ⊗ ψ2, f2 = ψ1 ⊗ Φ2, f3 = Φ1 ⊗ ψ2 such that the system {fi(2j x − k, 2j y − l)}k,l∈Z (39) with j, k, l ∈ Z and i = 1, 2, 3 is an orthonormal basis in L2(R2) Asaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
  • 50. Outline Introduction Compactly Supported Wavelets Multivariable Wavelets References General Representation Multi-dimension Multiresoultion Analysis Regularity of Multivariate Wavelets Proposition 2 Suppose we have d multiresolution analyses in L2(R) with scaling functions Φ0,j(x) and associated wavelets Φ1,j(x) for j = 1, 2, · · · , d. Let E = {0, 1}d (0, 0, · · · , 0) ×d . For e1, · · · , ed ∈ E let Ψc = d j=1 Φcj ,j . Then {2 dj 2 Ψc (2j x − γ)}c∈E,j∈Z,γ∈Zd (40) is an orthonormal basis in L2(Rd )- Here we use the notation 2j x − γ = 2j x − γ1, · · · , 2j x − γd Asaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
  • 51. Outline Introduction Compactly Supported Wavelets Multivariable Wavelets References General Representation Multi-dimension Multiresoultion Analysis Regularity of Multivariate Wavelets Definition 2 The function F on Rd is r − regular, if F is of Cr −class, r = −1, 0, 1, 2, · · · and ∂α ∂xα F(x) ≤ Ck (1 + |x|)k for each k = 0, 1, 2, · · · and each multiindex α with |α| ≤ max(r, 0) and some Ck . For e1, · · · , ed ∈ E let Ψc = d j=1 Φcj ,j . As usual class C−1 means measurable function and C0 means continuous function. Asaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
  • 52. Outline Introduction Compactly Supported Wavelets Multivariable Wavelets References General Representation Multi-dimension Multiresoultion Analysis Regularity of Multivariate Wavelets Lemma 1 If F(x) is an r−regular function on Rd and we define G(x) by the condition ˆG(ξ) = m(ξ) ˆF(ξ) for a C∞, 2πZd −periodic function m(ξ), then G(x) is r−regular. Corollary 1 If Φ(x) is an r−regular function on Rd such that {Φ(t − γ)}γ∈Zd is Riesz sequence, then the function Φ1(x) defined by Φ1(ξ) =   l∈Zd |ˆΦ(ξ + 2π)|2 ˆΦ(ξ)   is also r − regular. Asaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
  • 53. Outline Introduction Compactly Supported Wavelets Multivariable Wavelets References I., Daubechies. Ten lectures on wavelets. Number 61 in CBMS-NSF. Series in Applied mathematics. SIAM Publications, Philadelphia, 1992 I., Daubechies. Orthogonal bases of compactly supported wavelets. Comm. Pure and Appl. Math., 41:909–996, 1988. C.K., Chi. An introduction to wavelets. Academic Press., 1992 C.K., Chi., and J.Z., Wang. On Compactly supported splines and wavelets. J. Approx. Th. 71(3): 263–304, 1992. A., Cohen, and I., Daubechies. On the instability of arbitrary biorthogonal wavelet packets. Preprint. S.S., Burns, R.A., Gopinath, and H., Guo. An introduction to wavelets and wavelet transforms. Printice Hall, 1998.Asaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs
  • 54. Outline Introduction Compactly Supported Wavelets Multivariable Wavelets References Figure: THANKS FOR LISTENNING Asaph Keikara Muhumuza Compactly Supported Wavelets Method for Solving Solving PDEs