logo

B-스플라인의 성질 📂푸리에해석

B-스플라인의 성질

성질1

오더가 m∈Nm\in \mathbb{N}인 B-스플라인 NmN_{m}은 다음과 같은 성질을 만족한다.

(a) suppNm=[0,m]andNm(x)>0 for x∈(0,m)\mathrm{supp}N_{m}=[0,m] \quad \text{and} \quad N_{m}(x)>0 \text{ for } x\in(0,m)

(b) ∫−∞∞Nm(x)dx=1\displaystyle \int _{-\infty} ^{\infty} N_{m}(x)dx=1

(c) m≥2m\ge 2에 대해서 아래의 식이 성립한다.

∑k∈ZNm(x−k)=1,∀x∈R \begin{equation} \sum \limits_{k \in \mathbb{Z}} N_{m}(x-k)=1,\quad \forall x\in \mathbb{R} \end{equation}

(c’) m=1m=1일 때, 위 식은 x∈R∖Zx\in \mathbb{R}\setminus \mathbb{Z}에 대해서 성립한다.

설명

(c) 는 다시 말해 {Nm(x−k)}k\left\{ N_{m}(x-k) \right\}_{k}가 단위 분할이라는 뜻이다.

증명

(b)

  • Step 1. m=1m=1일 때 성립한다.

    N1N_{1}의 정의에 의해 자명하게 다음의 식이 성립한다.

    ∫−∞∞N1(x)dx=∫01dx=1 \int _{-\infty} ^{\infty} N_{1}(x)dx=\int _{0}^{1} dx = 1

  • Step 2. mm일 때 성립하면 m+1m+1일 때도 성립한다.

    어떤 m∈Nm\in \mathbb{N}에 대해서

    ∫−∞∞Nm(x)dx=1 \int _{-\infty} ^{\infty} N_{m}(x)dx=1

    가 성립한다고 가정하자. 그러면 정의에 의해

    ∫Nm+1(x)dx=∫Nm∗N1(x)dx=∫x∫tNm(x−t)N1(t)dtdx=∫tN1(t)∫xNm(x−t)dxdt=∫N1(t)dt=1 \begin{align*} \int N_{m+1}(x)dx &= \int N_{m} \ast N_{1}(x)dx \\ &= \int_{x} \int_{t}N_{m}(x-t)N_{1}(t)dtdx \\ &= \int_{t}N_{1}(t) \int_{x}N_{m}(x-t)dxdt \\ &= \int N_{1}(t)dt \\ &= 1 \end{align*}

  • Step 3.

    수학적 귀납법에 의해서 임의의 m∈Nm\in N에 대해서 다음이 성립한다.

    ∫−∞∞Nm(x)dx=1 \int _{-\infty} ^{\infty} N_{m}(x)dx=1

■

(c)

  • Step 1. m=2m=2일 때 성립한다.

    N2(x)={x0≤x≤1−x+21≤x≤20otherwise N_{2}(x) = \begin{cases} x & 0\le x \le 1 \\ -x+2 & 1 \le x \le 2 \\ 0 & \text{otherwise} \end{cases}

    이므로

    N2(x−k)= {x−kk≤x≤k+1−x+k+2k+1≤x≤k+20otherwiseN2(x−(k−1))= {x−k+1k−1≤x≤k−x+k+1k≤x≤k+10otherwise \begin{align*} N_{2}(x-k) =&\ \begin{cases} x-k & k\le x \le k+ 1 \\ -x+k+2 & k+1 \le x \le k+2 \\ 0 & \text{otherwise} \end{cases} \\ N_{2}(x-(k-1)) =&\ \begin{cases} x-k+1 & k-1\le x \le k \\ -x+k+1 & k \le x \le k+1 \\ 0 & \text{otherwise} \end{cases} \end{align*}

    가 성립한다. 어떤 j∈Zj\in \mathbb{Z}에 대해서 j≤x0≤j+1j \le x_{0} \le j+1라고 하자. 그러면

    N2(x0−k)=0,k∈Z∖{j,j−1} N_{2}(x_{0}-k)=0,\quad k\in \mathbb{Z}\setminus \left\{ j,j-1 \right\}

    가 성립한다. 따라서

    ∑k∈ZN2(x0−k)= N2(x0−j)+N2(x0−(j−1))= (x0−j)+(−x0+j+1)= 1 \begin{align*} \sum \limits _{k\in \mathbb{Z}} N_{2}(x_{0}-k) =&\ N_{2}(x_{0}-j)+N_{2}(x_{0}-(j-1)) \\ =&\ (x_{0}-j)+(-x_{0}+j+1) \\ =&\ 1 \end{align*}

    가 성립한다. 이는 임의의 x0x_{0}에 대해서 성립하므로

    ∑k∈ZN2(x−k)=1 \sum \limits _{k\in \mathbb{Z}} N_{2}(x-k) =1

  • Step 2. mm일 때 성립하면 m+1m+1일 때도 성립한다.

    어떤 m∈Nm\in \mathbb{N}에 대해서 (1)(1)이 성립한다고 가정하자. 그러면 정의에 의해 다음이 성립한다.

    ∑k∈ZNm+1(x−k)= ∑k∈Z∫01Nm(x−k−t)dt= ∫01∑k∈ZNm(x−k−t)dt= ∫01dt= 1 \begin{align*} \sum \limits _{k\in \mathbb{Z}} N_{m+1}(x-k) =&\ \sum \limits _{k\in \mathbb{Z}} \int_{0} ^{1} N_{m}(x-k-t)dt \\ =&\ \int_{0} ^{1} \sum \limits _{k\in \mathbb{Z}} N_{m}(x-k-t)dt \\ =&\ \int_{0}^{1} dt \\ =&\ 1 \end{align*}

    두번째 등호는 ∑k∈Z\sum _{k\in \mathbb{Z}}이 Step 1. 에서 보였듯이 유한합이므로 성립한다.

  • Step 3.

    수학적 귀납법에 의해서 임의의 m∈Nm\in \mathbb{N}에 대해서 다음이 성립한다.

    ∑k∈ZNm(x−k)=1 \sum \limits _{k\in \mathbb{Z}} N_{m}(x-k) =1

■

(c')

N1N_{1}의 정의에 의해

∑k∈ZN1(x−k)={1x∈R∖Z2x∈Z \sum \limits _{k\in \mathbb{Z}} N_{1}(x-k) =\begin{cases} 1 & x\in \mathbb{R}\setminus\mathbb{Z} \\ 2 & x \in \mathbb{Z} \end{cases}

■

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