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

前章では Laplace 変換，テンプレート:制御と振動の数学/equation において， $f (t)$ は実変数 $t$ の実数値関数， $s$ は実数と考えた．この章では， $f (t)$ としては実変数 $t$ の複素数値関数をも許すものとする．^[1] すなわち，テンプレート:制御と振動の数学/equation を考える．ここに $g (t), h (t)$ は実数値関数であり，テンプレート:制御と振動の数学/equation テンプレート:制御と振動の数学/equation と呼ぶ．また， $s$ は実数でも，複素数でもよいが，一応複素数としておく．^[2]

以下で取り扱う複素数値関数としては，次のものが一番重要である．テンプレート:制御と振動の数学/equation ここに $α$ は複素数である．この関数の定義を述べよう．指数関数の Taylor 展開，テンプレート:制御と振動の数学/equation が， $x$ が複素数 $i t$ であっても成り立つとすればどのような結果が得られるか考えてみよう．

テンプレート:制御と振動の数学/equation ここで最右辺の式の括弧内はそれぞれ $\cos t$ と $\sin t$ の Taylor 展開であるから，テンプレート:制御と振動の数学/equation という関係が得られる．これを Euler の公式と呼んでいる．ここで $t = π$ とおくと，テンプレート:制御と振動の数学/equation となる．これも Euler の公式ということがある．この公式の発見は，当時の数学界（サロン）におけるセンセーショナルな事件であったという．それは $1, i, π, e$ という当時知られていた数学の基本定数が，このような簡単なそして美しい関係で結び付けられていることに対する驚きによるものである．

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

まず，指数関数の加法定理，テンプレート:制御と振動の数学/equation テンプレート:制御と振動の数学/equation が導かれる．なぜなら三角関数の加法定理から，テンプレート:制御と振動の数学/equation が出^[3]，これより直ちに，テンプレート:制御と振動の数学/equation が得られる^[4] からである．これらの式は d'Moivre の公式として知られている．

↑ 定義域の変数 $t$ としては常に実数を考える．
↑ 複素数は既知として取り扱う．複素数の全体を $𝐂$ ，実数の全体を $𝐑$ で表す．
↑
$(\cos t + i \sin t) (\cos τ + i \sin τ) = \cos t \cos τ + i \cos t \sin τ + i \sin t \cos τ - \sin t \sin τ$

$= {\cos t \cos τ - \sin t \sin τ} + i {\cos t \sin τ + \sin t \cos τ}$

$= \cos (t + τ) + i \sin (t + τ) (∵$ 実部は $\cos$ の加法定理，虚部は $\sin$ の加法定理．）
↑ $(\cos t + i \sin t)^{n} = (\cos t + i \sin t) (\cos t + i \sin t) (\cos t + i \sin t)^{n - 2}$
$= (\cos 2 t + i \sin 2 t) (\cos t + i \sin t)^{n - 2} = (\cos 2 t + i \sin 2 t) (\cos t + i \sin t) (\cos t + i \sin t)^{n - 3}$
$= (\cos 3 t + i \sin 3 t) (\cos t + i \sin t)^{n - 3}$
$= (\cos 4 t + i \sin 4 t) (\cos t + i \sin t)^{n - 4}$
$\dots$
$= {\cos (n - 1) t + i \sin (n - 1)} (\cos t + i \sin t)$
$= \cos n t + i \sin n t$

この加法定理が，もっと一般に成立するものだとすれば，テンプレート:制御と振動の数学/equation でなければならない．これが最初に述べた $e^{α t}$ の定義である．すなわち，

定義 4.1

テンプレート:制御と振動の数学/equation $♢$

例83

この定義から，

テンプレート:制御と振動の数学/equation を示せ．

解答例

$α = a + i b, β = c + i d (a, b, c, d \in 𝐑)$ とおくと，
$e^{α t} \cdot e^{β t} = e^{(a + i b) t} \cdot e^{(c + i d) t}$
$= e^{a t} (\cos b t + i \sin b t) \cdot e^{c t} (\cos d t + i \sin d t)$
$= e^{(a + c) t} e^{i (b t)} e^{i (d t)} (∵ \cos b t + i \sin b t = e^{i (b t)}, e t c .)$
$= e^{(a + c) t} e^{i (b t + d t)} (∵ e^{i t} e^{i τ} = e^{i (t + τ)})$
$= e^{{(a + c) + i (b + d)} t}$ ．

$♢$

[1] 定義域の変数 $t$ としては常に実数を考える．

[2] 複素数は既知として取り扱う．複素数の全体を $𝐂$ ，実数の全体を $𝐑$ で表す．

[3] 
$(\cos t + i \sin t) (\cos τ + i \sin τ) = \cos t \cos τ + i \cos t \sin τ + i \sin t \cos τ - \sin t \sin τ$

$= {\cos t \cos τ - \sin t \sin τ} + i {\cos t \sin τ + \sin t \cos τ}$

$= \cos (t + τ) + i \sin (t + τ) (∵$ 実部は $\cos$ の加法定理，虚部は $\sin$ の加法定理．）

[4] $(\cos t + i \sin t)^{n} = (\cos t + i \sin t) (\cos t + i \sin t) (\cos t + i \sin t)^{n - 2}$
$= (\cos 2 t + i \sin 2 t) (\cos t + i \sin t)^{n - 2} = (\cos 2 t + i \sin 2 t) (\cos t + i \sin t) (\cos t + i \sin t)^{n - 3}$
$= (\cos 3 t + i \sin 3 t) (\cos t + i \sin t)^{n - 3}$
$= (\cos 4 t + i \sin 4 t) (\cos t + i \sin t)^{n - 4}$
$\dots$
$= {\cos (n - 1) t + i \sin (n - 1)} (\cos t + i \sin t)$
$= \cos n t + i \sin n t$

[1]

[2]

[3]

[4]

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

ナビゲーション メニュー

検索

ナビゲーションメニュー