markdown
ラプラス変換の入口md 6a879f7
lecture/math/analysis/ラプラス変換の入口-講義.n.md
Download as PDF

ラプラス変換へんかん入口いりぐち

date2026-03-28descriptionラプラス変換を、微分方程式を代数方程式へ移す道具として導入し、初期値問題をどう整理するかが見えるように説明します。prerequisites積分法の基本 / 微分方程式の入口 / 指数関数と対数関数type講義statusactiverelateddata/lecture/math/analysis/フーリエ変換の入口-講義.n.md / data/lecture/math/calculus/微分方程式の入口-講義.n.md
mathanalysislaplacelecture

導入どうにゅう

この講義こうぎ最重要さいじゅうようなのは、ラプラス変換へんかん微分方程式びぶんほうていしき積分せきぶんふくべつしきうつすだけでなく、微分びぶん代数的だいすうてき操作そうさえて初期条件しょきじょうけん一緒いっしょ処理しょりできることです。

用語ようご定義ていぎ

ラプラス変換へんかんLaplace transform

[PARSE ERROR: Undefined("Command(\"mathcal\")")]L[f](s)=0e-stf(t)dt

定義ていぎされます。

方針ほうしん

時間じかんかか関数かんすうをそのままくのではなく、変換へんかんして sしきうつし、代数的だいすうてき整理せいりしてからぎゃく変換へんかんもどす、とかんがえます。

data/lecture/math/calculus/微分方程式の入口-講義.n.md data/lecture/math/analysis/フーリエ変換の入口-講義.n.md

直感的ちょっかんてき説明せつめい

微分方程式びぶんほうていしきむずかしいのは、関数かんすうとその導関数どうかんすう同時どうじるからです。ラプラス変換へんかんは、それを F(s) という 1 つの対象たいしょうへまとめてうつし、微分びぶんざんえます。

厳密げんみつ説明せつめい

重要じゅうよう性質せいしつ

[PARSE ERROR: Undefined("Command(\"mathcal\")")]L[f](s)=sF(s)-f(0)

です。ただし F(s)=[PARSE ERROR: Undefined("Command(\"mathcal\")")]L[f](s) です。

これがなぜつかを部分積分ぶぶんせきぶんたしかめます。

[PARSE ERROR: Undefined("Command(\"mathcal\")")]L[f](s)=0e-stf(t)dt

で、u=e-st,dv=f(t)dtくと

[PARSE ERROR: Undefined("Command(\"mathcal\")")]L[f](s)=[e-stf(t)]0+s0e-stf(t)dt

です。ここで e-stf(t)0つだけ十分じゅうぶん収束しゅうそくするとすれば

[e-stf(t)]0=0-f(0)

だから

[PARSE ERROR: Undefined("Command(\"mathcal\")")]L[f](s)=sF(s)-f(0)

ます。

したがって

f(t)+f(t)=0,f(0)=1

変換へんかんすると

(sF(s)-1)+F(s)=0

です。よって

(s+1)F(s)=1,F(s)=1s+1

となり、ぎゃく変換へんかん

f(t)=e-t

ます。

具体例ぐたいれい

微分方程式びぶんほうていしきそのものでは導関数どうかんすう主役しゅやくですが、ラプラス変換へんかんしたあとF(s) についての分数式ぶんすうしきになります。ここが「解析かいせき問題もんだい代数だいすう問題もんだいうつす」という核心かくしんです。

べつ見方みかた

解析的かいせきてき見方みかた

フーリエ変換へんかん周波数しゅうはすう分解ぶんかいつよいのにたいして、ラプラス変換へんかん初期値問題しょきちもんだい整理せいりつよ道具どうぐです。減衰げんすい指数関数的しすうかんすうてき挙動きょどうふく問題もんだいとも相性あいしょうがよいです。

作用素さようそによる見方みかた

微分びぶんという作用素さようそは、ラプラス変換へんかんあとでは sける操作そうさちかかたちになります。ただしフーリエ変換へんかんちがって、初期値しょきち f(0)一緒いっしょあらわれるので、初期値問題しょきちもんだいつよいわけです。

見分みわかた

  • 初期値しょきちつきの線形せんけい微分方程式びぶんほうていしきたらラプラス変換へんかんうたが
  • 微分びぶんざんえたいときに
  • 周波数分解しゅうはすうぶんかいそのものが主役しゅやくならフーリエ変換へんかん初期条件しょきじょうけんつきの方程式ほうていしきならラプラス変換へんかんさきかんがえる

どこまでつか

ここで使つかった

[PARSE ERROR: Undefined("Command(\"mathcal\")")]L[f](s)=sF(s)-f(0)

は、部分積分ぶぶんせきぶん正当化せいとうかでき、かつ e-stf(t)無限遠むげんえんで 0 に範囲はんいちます。したがって、どんな関数かんすうにも無条件むじょうけん使つかえるわけではありません。

関連かんれんリンク

data/lecture/math/calculus/微分方程式の入口-講義.n.md data/lecture/math/analysis/フーリエ変換の入口-講義.n.md
raw .n.md をコピー
loc をコピー (filepath:line ~ line)
copy share link
path をコピー
copy share link
copy share link
タブを全て閉じる