数学の分野における積分変換(せきぶんへんかん、: Integral transform)とは、次の形をとるような変換 T のことである:

この積分変換の入力は関数 f であり、出力は関数 Tf である。積分変換は作用素の一種である。

多くの便利な積分変換が存在する。個々の積分変換は、その変換の核関数 (kernel function) あるいは (kernel, nucleus) と呼ばれる二変数関数 K を定めれば決まる。また、積分区間は,核によって適当に定められる。 いくつかの核関数には K−1(u, t) が存在し、それは(大まかに言えば)次のような逆変換を満たす:

このような公式は反転公式と呼ばれる。二変数の順番が変わっても変化しないような核は対称核と呼ばれる。

動機

編集

数学に関する記述はさておき、積分変換が用いられる動機は理解しやすいものである。もともとの表記法では、解くことの難しい(少なくとも代数的に扱いづらい)問題が多く存在する。積分変換は、それらの問題の方程式を、元の「領域」から別の領域へと「写す」。その写された領域で方程式を扱い、そして解くことの方が、元の領域で行うよりもはるかに簡単であるような場合がある。そうして得られた解を、積分変換の逆によって元の領域へと戻すのである。

歴史

編集

積分変換の前身は、有限区間における関数の表現のためのフーリエ級数である。その後、有限区間という制限を取り払うために、フーリエ変換が開発された。

フーリエ級数を用いることで、どのような実践的な時間依存の関数(例えば、電子装置のターミナルを通過する電圧など)でも正弦関数余弦関数の和で表すことが出来、それらは定数係数をかけることによりスケールが適正に調整され、時間に関して前進あるいは後退させることでシフトされ、振動数を増加あるいは減少することにより「圧縮」あるいは「伸長」される。フーリエ級数における正弦関数および余弦関数は正規直交基底の例である。

積分変換の表

編集
積分変換の表
名称 記号 t1 t2 u1 u2
フーリエ変換
フーリエ正弦変換
フーリエ余弦変換
ハートレー変換
メリン変換
両側ラプラス変換
ラプラス変換
ワイエルシュトラス変換英語版
ハンケル変換
アーベル変換英語版
ヒルベルト変換
ポアソン核
恒等変換

逆変換に対する積分の極限において、上の表における c は変換関数の性質に依存する定数となる。例えば、ラプラス変換あるいは両側ラプラス変換に対し、c は変換関数の零点の実部のうち最大のものよりも必ず大きい定数となる。

定義域が異なる場合

編集

本項では主に、実数全体で定義された関数に対して定義される積分変換を扱うが、より一般な群上で定義された関数に対してもその積分変換を定義することが出来る。

  • 円周群上で定義された函数(つまり周期関数)を用いた場合、積分核は二重周期関数となる。円周上の関数による畳み込みは巡回畳み込みである。
  • 位数 n巡回群(これを CnZ/nZ で表す)の上で定義された関数を用いた場合、積分核は n × n 行列となり、畳み込みは巡回行列に対応する。

一般論

編集

各々の積分変換が持つ性質は多岐に渡るが、いくつかの性質は共通のものとなっている。例えば、すべての積分変換は線形作用素である。実は、核函数が超関数となることをも許せば、すべての線形作用素は積分変換になる(このことをきちんと定式化したものがシュワルツの核定理英語版である)。

そのような積分方程式に関する一般論はフレドホルム理論として知られている。この理論では、核とは「関数からなる或るバナッハ空間上のコンパクト作用素」のことであるものと理解される。状況に応じてその核はフレドホルム作用素核作用素フレドホルム核など様々な呼ばれ方をする。

参考文献

編集

関連項目

編集

📚 Artikel Terkait di Wikipedia

カーネル密度推定

カーネル密度推定(カーネルみつどすいてい、英: kernel density estimation)は、統計学において、確率変数の確率密度関数を推定するノンパラメトリック手法のひとつ。エマニュエル・パルツェン(英語版)の名をとってパルツェン窓(英: Parzen

メッシュフリー法

kernel/window function)と同じ連続性で補間することが可能。 エンリッチ関数の挿入が容易である。 node増加による解の収束はFEMよりも早い。 デメリット(主に弱形式) 要素単位での積分ができず形状関数(trial function

セマフォ

MUTEX: Introduce simple mutex implementation Linux Kernel Mailing List, 19 December 2005 ^ Linus Kernel hacking HOWTO LinuxGrill.com ^ sem_init | The Open

ベルグマン核

ベルグマン計量は自動的に領域の自己同型群の下で不変である。 ベルグマン計量 ベルグマン空間 Szegő kernel(英語版) Krantz, Steven G. (2002), Function Theory of Several Complex Variables, Providence, R.I

GNU

"…after more than 25 years in development, GNU remains incomplete: its kernel, Hurd, has never really made it out of the starting blocks. […] Almost no

リーマンの写像定理

版)に従うディリクレの境界値問題の正規な性質を使い証明することができる。リーマン写像定理を証明するもう一つの方法は、核函数(英語版)(kernel function)を使う方法や、ベルトラミ方程式(英語版)(Beltrami equation)を使う方法である。 カラテオドリの定理 (等角写像) (Carathéodory's

例外処理

リファレンスマニュアル(2013年10月7日閲覧)。 ^ 組み込み例外 Python 2.7ドキュメンテーション(2013年10月7日閲覧)。 ^ module function Kernel.#throw Ruby 1.9.2 リファレンスマニュアル(2013年10月7日閲覧)。 ^

Silex

SilexはSymfonyコンポーネントを元に実装された、PHP言語でWebアプリケーションを開発するためのマイクロフレームワークである。Symfony の成果物であるHttpKernel等の各種パッケージ、依存性注入を行うためのシンプルなDIコンテナ pimple 等で構成されている。また、Ruby向けマイクロフレームワークである