両側ラプラス変換のソースを表示

[[数学]]の分野における'''両側ラプラス変換'''（りょうがわラプラスへんかん、{{Lang-en|''Two-sided Laplace transform''}}）とは、[[フーリエ変換]]や[[メリン変換]]、通常の片側[[ラプラス変換]]などと関係している[[積分変換]]の一種である。すべての実数に対して定義される実あるいは複素数値関数を ''&fnof;''(''t'') としたとき、その両側ラプラス変換は積分

:<math>\mathcal{B} \left\{f(t)\right\} = F(s) = 
\int_{-\infty}^\infty e^{-st} f(t) \,dt </math>

によって定義される。この積分は[[広義積分]]と解釈され、それが収束することと積分

:<math>\int_0^\infty e^{-st} f(t) \, dt,\quad \int_{-\infty}^0  e^{-st} f(t) \, dt</math>

の両方が存在することは必要十分である。両側ラプラス変換を表す一般的な記法は存在しないようである。この記事では bilateral（両側）を意識して <math>\mathcal{B}</math> を用いている。しばしば

:<math>\mathcal{T}\left\{f(t)\right\} = s\mathcal{B}\left\{f\right\} = sF(s) =
s \int_{-\infty}^\infty  e^{-st} f(t) \, dt </math>

として、両側ラプラス変換が用いられることもある。純粋数学では、独立変数 ''t'' は任意で、[[微分作用素]]がどのように関数を変換するか、ということを研究するためにラプラス変換が用いられる。

[[自然科学]]あるいは[[工学]]などの応用の場面では、独立変数 ''t'' は時間（秒）を表し、関数 ''&fnof;''(''t'') は時間とともに変動する[[信号 (情報理論)|信号]]や波形を表すことが多い。そのような場合、数学的な作用素のように働く[[デジタル信号処理|フィルタ]]によって、ある制限のもとで信号は変換される。それらは因果的である必要がある。すなわち、与えられた時間 ''t'' における出力は、それより先の時間での入力の値には依存しない。

時間の関数として扱われるとき、''&fnof;''(''t'') は信号の'''時間領域'''表現と呼ばれる。一方で、''F''(''s'') は'''s領域'''表現と呼ばれる。逆変換は、信号の周波数成分の和としての『合成』を意味する。一方で、通常の変換は周波数成分への信号の『分析』を意味する。

==他の積分変換との関係==
''u''(''t'') を[[ヘビサイド関数]]としたとき、ラプラス変換 <math>\mathcal{L}</math> は両側ラプラス変換によって

:<math>\mathcal{L}\left\{f(t)\right\} = \mathcal{B}\left\{f(t) u(t)\right\} </math>

と表される。一方で

:<math>\left\{\mathcal{B} f\right\}(s) = \left\{\mathcal{L} f(t)\right\}(s) 
+ \left\{\mathcal{L} f(-t)\right\}(-s)</math>

であるため、いずれのラプラス変換であっても、もう一方のラプラス変換によって表すことが出来ることが分かる。

[[メリン変換]]は、両側ラプラス変換によって

:<math>\left\{\mathcal{M} f\right\}(s) = \left\{\mathcal{B} f(e^{-x})\right\}(s)</math>

と表される。反対に、メリン変換によって両側ラプラス変換を

:<math> \left\{\mathcal{B} f\right\}(s) = \left\{\mathcal{M} f(-\ln x) \right\}(s) </math>

と表すことも出来る。

[[フーリエ変換]]も両側ラプラス変換によって表すことが出来る。ここではフーリエ変換を

:<math>\mathcal{F}\left\{f(t)\right\} = F(s=i\omega) = F(\omega) </math>

と定める。この定め方は、通常のものとは異なることに注意されたい。実際

:<math>\left\{\mathcal{F} f\right\}= F(s=i\omega) = \frac{1}{\sqrt{2\pi}}\left\{\mathcal{B} f\right\}(s)</math>

が通常用いられることが多い。上のようなフーリエ変換を用いて、両側ラプラス変換を

:<math>\left\{\mathcal{B} f\right\}(s) = \left\{\mathcal{F} f\right\}(-is) </math>

と表すことが出来る。フーリエ変換は通常、実数に対して存在するように定義されるが、上の定義ではその像が帯状領域 <math>a < \Im(s) < b</math> に含まれ、これは実軸を含まない。

連続な[[確率密度関数]] ''&fnof;''(''x'') の[[積率母関数]]は、<math>\left\{\mathcal{B} f\right\}(-s)</math> と表される。

==性質==
両側ラプラス変換は基本的に片側ラプラス変換と同様の性質を持つが、それらの変換の間には重要な差異も存在する。

{| class="wikitable"
 |+ '''片側ラプラス変換の性質'''
 !
 	! 時間領域
	! 片側s領域
 	! 両側s領域

 |-
 ! [[微分]]
	| <math> f'(t) \ </math>
	| <math>  s F(s) - f(0) \ </math>
	| <math>  s F(s) \ </math>
 |-
 ! 二階微分
	| <math> f''(t) \ </math>
	| <math>  s^2 F(s) - s f(0) - f'(0) \ </math>
	| <math>  s^2 F(s) \ </math>
|}

両側ラプラス変換を用いることは、片側ラプラス変換に初期条件ゼロを仮定することと等しい。したがって、微分方程式から遷移関数を計算したり、簡単な特殊解を探すときには、片側ラプラス変換の方が適していると言える。

==因果性==
両側変換は[[因果性]]を重視しない。汎用関数に応用される場合には良いが、時間関数に対しては片側変換の方が好まれる。

==関連項目==
*{{仮リンク|因果的フィルタ|en|Causal filter}}
*{{仮リンク|非因果的システム|en|Acausal system}}
*{{仮リンク|因果的システム|en|Causal system}}
*{{仮リンク|シンクフィルタ|en|Sinc filter}} - 理想的なシンクフィルタ（aka rectangular filter）は非因果的で、無限大の遅れを持つ。

==参考文献==
*[[Wilbur R. LePage|LePage, Wilbur R.]], ''Complex Variables and the Laplace Transform for Engineers'', Dover Publications, 1980
* van der Pol, Balthasar, and Bremmer, H., ''Operational Calculus Based on the Two-Sided Laplace Integral'', Chelsea Pub. Co., 3rd edition, 1987

{{DEFAULTSORT:りようかわらふらすへんかん}}
[[Category:積分変換]]
[[Category:ピエール＝シモン・ラプラス]]
[[Category:数学に関する記事]]