制御と振動の数学/第一類/複素数値関数の Laplace 変換/複素数値関数の微分積分学/実変数の複素数値関数

前章では Laplace 変換，

${\mathcal {L}}[f]=\int _{0}^{\infty }f(t)e^{-st}dt$

において，$f(t)$ は実変数 $t$ の実数値関数，$s$ は実数と考えた． この章では，$f(t)$ としては実変数 $t$ の複素数値関数をも許すものとする． すなわち，

$f(t)=g(t)+ih(t)$

を考える．ここに $g(t),h(t)$ は実数値関数であり，

$g(t):=\mathrm {Re} \ f(t):f(t)$ の実部

$h(t):=\mathrm {Im} \ f(t):f(t)$ の虚部

と呼ぶ．また，$s$ は実数でも，複素数でもよいが，一応複素数としておく．

以下で取り扱う複素数値関数としては，次のものが一番重要である．

$e^{\alpha t};\alpha :=a+ib,\quad i={\sqrt {-1}}$

ここに $\alpha$ は複素数である．この関数の定義を述べよう．指数関数の Taylor 展開，

$e^{x}=\sum _{n=0}^{\infty }{\frac {x^{n}}{n!}}$

が，$x$ が複素数 $it$ であっても成り立つとすればどのような結果が得られるか考えてみよう．

$e^{it}=\sum _{n=0}^{\infty }{\frac {(it)^{n}}{n!}}=\left(1-{\frac {t^{2}}{2!}}+{\frac {t^{4}}{4!}}-{\frac {t^{6}}{6!}}+\cdots \right)+i\left(t-{\frac {t^{3}}{3!}}+{\frac {t^{5}}{5!}}-{\frac {t^{7}}{7!}}+\cdots \right)$

ここで最右辺の式の括弧内はそれぞれ $\cos t$ と $\sin t$ の Taylor 展開であるから，

(4.1)

$e^{it}=\cos t+i\sin t$

という関係が得られる．これを Euler の公式と呼んでいる． ここで $t=\pi$ とおくと，

$e^{i\pi }=-1$

となる．これも Euler の公式ということがある． この公式の発見は，当時の数学界（サロン）におけるセンセーショナルな事件であったという． それは $1,i,\pi ,e$ という当時知られていた数学の基本定数が，このような簡単なそして美しい関係で結び付けられていることに対する驚きによるものである．

我々は以後この結果から出発する．すなわち 式 (4.1) を指数関数 $e^{it}$ の定義とするのである．“良き結果は良き定義として採用できる”からである．このことは，これからの議論によって次第に明らかになるであろう．

まず，指数関数の加法定理，

$e^{it}\cdot e^{i\tau }=e^{i(t+\tau )}$

$(e^{it})^{n}=e^{int}$

が導かれる．なぜなら三角関数の加法定理から，

$(\cos t+i\sin t)(\cos \tau +i\sin \tau )=\cos(t+\tau )+i\sin(t+\tau )$

が出， これより直ちに，

$(\cos t+i\sin t)^{n}=\cos nt+i\sin nt$

が得られる からである．これらの式は d'Moivre の公式として知られている．

この加法定理が，もっと一般に成立するものだとすれば，

$e^{(a+ib)t}=e^{at}\cdot e^{ibt}=e^{at}(\cos bt+i\sin bt)$

でなければならない．これが最初に述べた $e^{\alpha t}$ の定義である．すなわち，

定義 4.1

$e^{(a+ib)t}=e^{at}(\cos bt+i\sin bt)$

$\diamondsuit$

例83$\quad$

この定義から，

$e^{\alpha t}\cdot e^{\beta t}=e^{(\alpha +\beta )t},\quad \alpha ,\beta \in \mathbf {C}$

を示せ．

解答例

$\alpha =a+ib,\beta =c+id\quad (a,b,c,d\in \mathbf {R} )$ とおくと，
$e^{\alpha t}\cdot e^{\beta t}=e^{(a+ib)t}\cdot e^{(c+id)t}$
$=e^{at}(\cos bt+i\sin bt)\cdot e^{ct}(\cos dt+i\sin dt)$
$=e^{(a+c)t}e^{i(bt)}e^{i(dt)}(\because \cos bt+i\sin bt=e^{i(bt)},etc.)$
$=e^{(a+c)t}e^{i(bt+dt)}(\because e^{it}e^{i\tau }=e^{i(t+\tau )})$
$=e^{\{(a+c)+i(b+d)\}t}$．

$\diamondsuit$