sinc関数
提供: miniwiki
ファイル:Sinc function (both).svg
.svg){kind=link}
正規化sinc(青) と非正規化sinc(赤)。−6π ≤ x ≤ 6π
sinc 関数（ジンクかんすう、シンクかんすう）は、正弦関数をその変数で割って得られる初等関数である。sinc(x), Sinc(x), sinc x などで表される。
Contents
定義
sinc 関数は、正規化 sinc 関数と非正規化 sinc 関数という名で区別される、2種類の定義を持つ。
- デジタル信号処理などでは、次の正規化 sinc 関数（標本化関数ともいう）が普通である。
- [math]\operatorname{sinc}(x) = \frac{\sin \pi x}{\pi x}.[/math]
- 数学では、次の歴史的な非正規化 sinc 関数が使われる。
- [math]\operatorname{sinc}(x) = \frac{\sin x}{x}.[/math]
いずれの場合も、可除特異点である 0 での値が必要であればしばしば明示的に sinc(0) = 1 が定義として与えられる。sinc 関数はいたるところ解析的である。
sinc 関数は カーディナル・サイン (cardinal sine) とも呼ばれ、"sinc" (英語発音: [ˈsɪŋk]) の関数名はラテン語の sinus cardinalis を短縮したものである。
sinc関数の性質
特にことわらないかぎり、正規化sinc関数について述べる。 非正規化sinc関数は、スケールファクタ [math]\pi[/math] が違うだけなので、非正規化sinc関数についての式を得るには、[math]x \leftarrow x / \pi [/math]を代入すればいい。
特殊値など
- [math]\operatorname{sinc}(k) = \delta_{0k}, ( k \in \mathbb{Z})[/math]
- ただし、[math]\mathbb{Z}[/math]は整数の集合、[math]\delta_{ij}[/math]はクロネッカーのデルタ。
- つまり、[math]\operatorname{sinc}(0) = 1, \ \operatorname{sinc}(\pm 1) = \operatorname{sinc}(\pm 2) = \cdots = 0[/math]である。
- [math] \lim_{x \rightarrow \pm \infty} \operatorname{sinc}(x) = 0[/math]
- [math]\left. \frac{d}{dx}\operatorname{sinc}(x) = 0 \right|_{x = a} \iff \operatorname{sinc}(a) = \cos \pi a[/math]
フーリエ変換
- [math]\operatorname{rect}(x) \leftrightarrow^\mathfrak{F} \operatorname{sinc}(\omega),[/math] ただし、[math]\operatorname{rect}(x) = \begin{cases} 1, & ( |x| \leqq \frac{1}{2}) \\ 0, & ( |x| \gt \frac{1}{2}) \end{cases}[/math]
テイラー展開
- [math]\operatorname{sinc}(x) = \sum^{\infin}_{n=0} \frac{(-1)^n\pi^{2n}}{(2n+1)!} x^{2n} [/math]
定積分
- [math]\int_{0}^{\infty} \operatorname{sinc}(x) \, dx = \frac{1}{2}, \quad \int_{-\infty}^{\infty} \operatorname{sinc}(x) \, dx = 1[/math]
- [math]\int_{0}^{\infty} \operatorname{sinc}^2(x) \, dx = \frac{1}{2}, \quad \int_{-\infty}^{\infty} \operatorname{sinc}^2(x) \, dx = 1 \quad \left(\operatorname{sinc}^2(x) = \{\operatorname{sinc}(x)\}^2 \right)[/math]
- [math]\int_{0}^{\infty} | \operatorname{sinc}(x) | \, dx = \infty, \quad \int_{-\infty}^{\infty} | \operatorname{sinc}(x) | \, dx = \infty[/math]
不定積分
- [math]\mathrm{Si}(x) = \int_{0}^{x} \frac{\sin t}{t} \, dt = \sum_{k = 0}^{\infty} \frac{ (-1)^k x^{2k+1} }{ (2k+1)(2k+1)! }[/math]
直交性
- [math]\int_{-\infty}^{\infty} \operatorname{sinc}(x-i)\operatorname{sinc}(x-j) \, dx = \delta_{ij}, ( i, j \in \mathbb{Z})[/math]
- sinc関数の平行移動同士は直交する。
無限積
- [math]\operatorname{sinc}(x) = \prod_{k = 1}^{\infty} \cos \pi\frac{x}{2^k} [/math]
- [math]\operatorname{sinc}(x) = \prod_{k = 1}^{\infty} \left( 1 - \frac{x^2}{k^2} \right) [/math]
信号処理への応用
さまざまな用途が考えられるが、コンパクト台をもたない（非0の値が有限区間に限定されていない）ため、非常に多くの計算量を要することが多い。有限長で計算を打ち切らなければならないことも多く、無限長では生じない問題が発生することもある。概して、理論的背景やシミュレーションにとどまることが多い。
- 直交性と ±∞ での収束性から、直交ウェーブレット変換の基底に用いる。ただし、コンパクト台をもたないため、計算量が O(n2)（O はランダウの記号）で増える。これは、コンパクト台をもつ基底だと計算量が O(n) であることに比べ、大きなデメリットである。
- sinc 関数のフーリエ変換が矩形関数であることから、リサンプリングや内挿の補間カーネル（低域通過フィルタ）に用いる。無限系列の信号に対しては、sinc 関数は理想的な補間カーネルである。しかし、コンパクト台をもたないことが実際の有限長の信号を処理する際には問題となるため、実際の信号処理では、sinc 関数に似たコンパクト台をもつ関数である、3次畳み込み関数や、ランツォシュ (Lanczos) フィルタなどが使われることが多い。
- 矩形関数のフーリエ変換がsinc 関数であることから、sinc 関数を使えば、理想的なD/A変換ができる。ただしこれは、重要な概念ではあるが、実際にこの方法で D/A 変換が行われるわけではない。
参考文献
- Gearhart, William B.; Shultz, Harris S. (March 1990), “The Function sin x/x”, The College Mathematics Journal (Mathematical Association of America) 21 (2): 90-99
関連項目
外部リンク
- シンク関数の数学的諸性質 - 佐藤郁郎
- Weisstein, Eric W. “Sinc Function”. MathWorld（英語）. Template:Cite webの呼び出しエラー：引数 accessdate は必須です。