三角形関数
提供: miniwiki
三角形関数（さんかくけいかんすう、英: triangular function）は、以下のように定義される。
- [math] \begin{align} \operatorname{tri}(t) = \and (t) \quad &\overset{\underset{\mathrm{def}}{}}{=} \ \max(1 - |t|, 0) \\ &= \begin{cases} 1 - |t|, & |t| \lt 1 \\ 0, & \mbox{otherwise} \end{cases}\\ &=\frac{1}{2}|t+1|+\frac{1}{2}|t-1|-|t| \end{align} [/math]
あるいは等価的に2つの矩形関数の畳み込みで表すこともできる。
- [math] \begin{align} \operatorname{tri}(t) = \operatorname{rect}(t) * \operatorname{rect}(t) \quad &\overset{\underset{\mathrm{def}}{}}{=} \int_{-\infty}^\infty \mathrm{rect}(\tau) \cdot \mathrm{rect}(t-\tau)\ d\tau\\ &= \int_{-\infty}^\infty \mathrm{rect}(\tau) \cdot \mathrm{rect}(\tau-t)\ d\tau \end{align} [/math]
これをテント関数（英: tent function）とも呼ぶ。三角形関数は信号処理や通信工学で、理想的信号の表現としてよく使われ、そこからより現実的な信号を引き出すことができるプロトタイプまたはカーネルとして利用する。パルス符号変調でもデジタル信号を転送するパルスの波形として利用し、受信側では整合フィルタとして利用する。また、窓関数の三角窓と等価である（バートレット窓とも呼ぶ）。
尺度を変換する場合、[math]a \ne 0\,[/math] である任意のパラメータを使い、次のように表す。
- [math] \begin{align} \operatorname{tri}(t/a) &= \int_{-\infty}^\infty \mathrm{rect}(\tau) \cdot \mathrm{rect}(\tau - t/a)\ d\tau \\ &= \begin{cases} 1 - |t/a|, & |t| \lt |a| \\ 0, & \mbox{otherwise} \end{cases} \end{align} [/math]
三角形関数のフーリエ変換は、これを矩形関数の畳み込みで表し、フーリエ変換の畳み込み特性から、次のように導き出せる。
- [math] \begin{align} \mathcal{F}\{\operatorname{tri}(t)\} &= \mathcal{F}\{\operatorname{rect}(t) * \operatorname{rect}(t)\}\\ &= \mathcal{F}\{\operatorname{rect}(t)\}\cdot \mathcal{F}\{\operatorname{rect}(t)\}\\ &= \mathcal{F}\{\operatorname{rect}(t)\}^2\\ &= \mathrm{sinc}^2(f) \end{align} [/math]