Slide 46
Slide 46 text
FWTͷಋग़ʢ࠶ߏʣ
ҙͷ t ≥ m + 1 ʹରͯ͠ (M2) ΑΓ Vm+1 ⊂ Vt
͔ͩΒɼ
Wt ⊥ Vt =⇒ Wt ⊥ Vm+1
Αͬͯ ⟨ψt,k, ϕm+1,n⟩ = 0 (t ≥ m + 1)ɽ͜ΕΑΓɼ
∞
t=m
⟨ψt,k, ϕm+1,n⟩ = ⟨ψm,k, ϕm+1,n⟩
= ⟨
l
g[l]ϕm+1,2k+l, ϕm+1,n⟩ ʢ∵ ࣜ (25)ʣ
= ⟨
s
g[s − 2k]ϕm+1,s, ϕm+1,n⟩ (s = 2k + l)
=
s
g[s − 2k]⟨ϕm+1,s, ϕm+1,n⟩ =
s
g[s − 2k]δsn
ʢ∵ ϕ ͷγϑτʹؔ͢Δަੑʣ
= g[n − 2k]
Ҏ্ͷ݁Ռ͔Βɼ
pm+1[n] =
k
pm[k]⟨ϕm,k, ϕm+1,n⟩ +
∞
t=m k
qt[k]⟨ψt,k, ϕm+1,n⟩
=
k
h[n − 2k]pm[k] +
k
g[n − 2k]qm[k]
46 / 61