sinc関数

提供: miniwiki
移動先:案内検索


ファイル:Sinc function (both).svg
正規化sinc(青) と非正規化sinc(赤)。−6π ≤ x ≤ 6π

sinc 関数(ジンクかんすう、シンクかんすう)は、正弦関数をその変数で割って得られる初等関数である。sinc(x), Sinc(x), sinc x などで表される。

定義

sinc 関数は、正規化 sinc 関数と非正規化 sinc 関数という名で区別される、2種類の定義を持つ。

  1. デジタル信号処理などでは、次の正規化 sinc 関数標本化関数ともいう)が普通である。
    • [math]\operatorname{sinc}(x) = \frac{\sin \pi x}{\pi x}.[/math]
  2. 数学では、次の歴史的な非正規化 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]f(x) \leftrightarrow^\mathfrak{F} F(\omega)[/math]フーリエ変換対、[math]\operatorname{rect}(x)[/math]は(単位)矩形関数。つまり、矩形関数のフーリエ変換はsinc関数、sinc関数のフーリエ変換は矩形関数である。

テイラー展開

  • [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]
    • (非正規化)sinc関数の不定積分を正弦積分と呼び、[math]\operatorname{Si}(x)[/math]で表す。[math]\operatorname{Si}(x)[/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 変換が行われるわけではない。

参考文献

関連項目

外部リンク