logo

B-スプライン スケーリング 方程式 📂フーリエ解析

B-スプライン スケーリング 方程式

1

(a) B-スプラインのスケーリング方程式:

オーダーがmNm\in NB-スプラインについて、次の式が成り立つ。

Nm^(2γ)=H0(γ)Nm^(γ),γR \widehat{N_{m}}(2\gamma)=H_{0}(\gamma)\widehat{N_{m}}(\gamma),\quad \forall \gamma \in \mathbb{R}

この時、H0H_{0}は周期が11の関数であり、次のようになる。

H0(γ)=(1+e2πiγ2)m H_{0}(\gamma)=\left( \frac{1+e^{-2\pi i \gamma}}{2} \right)^{m}

また、ffフーリエ変換f^\widehat{f}の定義は、次のようになる。

f^(γ):=f(x)e2πixγdx \widehat{f}(\gamma):=\int _{-\infty} ^{\infty} f(x)e^{-2\pi i x \gamma}dx

(b) 中心B-スプラインのスケーリング方程式:

同様に、オーダーがmm中心B-スプラインについて、次の式が成り立つ。

Bm^(2γ)=H0(γ)Bm^(γ),γR \widehat{B_{m}}(2\gamma) = H_{0}(\gamma)\widehat{B_{m}}(\gamma),\quad \forall \gamma \in \mathbb{R}

この時、再びH0H_{0}は周期が22の関数で、次のようになる。

H0(γ)=(eπiγ+eπiγ2)m=cosm(πγ) H_{0}(\gamma)=\left( \frac{e^{\pi i \gamma}+e^{-\pi i \gamma}}{2} \right)^{m}=\cos^{m}(\pi \gamma)

証明

(a)

B-スプラインのフーリエ変換は、次のようになる。

Nm^(γ)=(1e2πiγ2πiγ)m \widehat{N_{m}}(\gamma)=\left( \frac{1-e^{-2\pi i\gamma}}{2\pi i \gamma} \right)^{m}

したがって、

Nm^(2γ)= (1e2πi2γ2πi2γ)m= (1+e2πiγ)m(1e2πiγ)m2m(2πiγ)m= (1+e2πiγ2)m(1e2πiγ2πiγ)m= H0(γ)Nm^(γ) \begin{align*} \widehat{N_{m}}(2\gamma) =&\ \left( \frac{1-e^{-2\pi i2\gamma}}{2\pi i 2\gamma} \right)^{m} \\ =&\ \frac{(1+e^{-2\pi i \gamma})^{m}(1-e^{-2\pi i \gamma})^{m}}{2^{m}(2\pi i \gamma)^{m}} \\ =&\ \left( \frac{1+e^{-2\pi i \gamma}}{2} \right)^{m} \left( \frac{1-e^{-2\pi i \gamma}}{2\pi i \gamma} \right)^{m} \\ =&\ H_{0}(\gamma) \widehat{N_{m}}(\gamma) \end{align*}

(b)

中心B-スプラインのフーリエ変換は、次のようになる。

Bm^(γ)=(eπiγeπiγ2πiγ)m=(sin(πγ)πγ)m \widehat{B_{m}}(\gamma)=\left( \frac{e^{\pi i \gamma}-e^{-\pi i \gamma}}{2\pi i \gamma} \right)^{m}=\left( \frac{\sin (\pi\gamma)}{\pi \gamma} \right)^{m}

したがって、

Bm^(2γ)= (eπi2γeπi2γ2πi2γ)m= (eπiγ+eπiγ)m(eπiγeπiγ)m2m(2πiγ)m= (eπiγ+eπiγ2)m(eπiγeπiγ2πiγ)m= H0(γ)Bm^(γ) \begin{align*} \widehat{B_{m}}(2\gamma) =&\ \left( \frac{e^{\pi i 2\gamma} - e^{-\pi i 2\gamma}}{2\pi i 2\gamma} \right)^{m} \\ =&\ \frac{(e^{\pi i \gamma}+e^{-\pi i \gamma})^{m}(e^{\pi i \gamma}-e^{-\pi i \gamma})^{m} }{2^{m}(2\pi i \gamma)^{m}} \\ =&\ \left( \frac{e^{\pi i \gamma}+e^{-\pi i \gamma}}{2} \right)^{m} \left( \frac{e^{\pi i \gamma}-e^{-\pi i \gamma} }{2\pi i \gamma} \right)^{m} \\ =&\ H_{0}(\gamma)\widehat{B_{m}}(\gamma) \end{align*}


  1. Ole Christensen, Functions, Spaces, and Expansions: Mathematical Tools in Physics and Engineering (2010), p213 ↩︎