作者doom8199 (~口卡口卡 修~)
看板Grad-ProbAsk
标题Re: [理工] [工数] laplace
时间Wed Sep 15 14:22:34 2010
※ 引述《dapouchi (原来如此)》之铭言:
: 爬了一下文章 看不太懂 囧
: 请问 A 对w作双边微分(Leibniz微分 把L-T条件可微分带入)
: 这句话是什麽意思 有人可以帮帮我吗? ^^
考虑 一连续函数 f(w,t), f_w: [ m, n] ×[ a, ∞) → |R
( f_w 指的是 f 对 w 偏微 )
且 ∞
F(w) = ∫ f(w,t) dt 在 [ m, n] 上收敛
a
若
∞ δ
G(w) = ∫ ──[f(w,t)] dt 在 [ m, n] 上均匀收敛(uniform convergence)
a δw
则 F(w) 在 [ m, n] 上可微
并且 F'(w) = G(w)
δ ∞ ∞ δ
( ──[∫ f(w,t) dt ] = ∫ ──[f(w,t)] dt )
δw a a δw
-----
比如说
考虑一 sin(wt) 对 t 取 Laplace transform:
∞ -st w
∫ sin(wt)*e dt = ─────
0 s^2 + w^2
若当某个 function 在 D上具有 uniform convergence 特性
那麽(偏)微分运算子的前後次序可以颠倒:
δ ∞ -st ∞ δ -st
──[∫ sin(wt)*e dt ] = ∫ ──[ sin(wt)*e ] dt
δw 0 0 δw
δ w ∞ -st
→ ──[ ───── ] = ∫ t*cos(wt)*e dt
δw s^2 + w^2 0
就能马上知道 L{ t*cos(wt) } = ?
-----
这样的算法对某些题型来说虽快
但它是有先决条件的
若没有满足一开始所述
随意变动微分算子的先後顺序,就无法保证它是对的
只是对 LT 来说
因为有 e^(-st) 这个 term
该函数特别地方在於它在 Domain t 上为递减函数
且在 Domain s 上均匀收敛至 0
造成微分算子的次序变换所需的条件,相对上变宽松
所以一般工数上的 LT 题目
用此算法会发现几乎都对 OTZ
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 140.113.211.136
※ 编辑: doom8199 来自: 140.113.211.136 (09/15 14:24)
1F:推 Ertkkpoo:推! 09/15 22:27
2F:→ Ertkkpoo:不过想请问第一行两个区间相乘并指向|R是指什麽意思呢? 09/15 22:28
3F:→ doom8199:乘号是指 Cartesian Product 的意思 09/15 23:02
4F:→ doom8199:就只是单纯定义函数的 Domain 和 Codomain 09/15 23:03
5F:推 dapouchi:挖 好清楚 谢谢谢谢 ^^ 09/16 00:13