主題
Search

精確一階常微分方程

考慮以下稍微不同形式的一階 ODE

p(x,y)dx+q(x,y)dy=0.
(1)

如果滿足以下條件，則稱該方程為精確方程

(partialp)/(partialy)=(partialq)/(partialx).
(2)

此陳述等價於存在保守場的條件，以便可以定義標量勢。對於精確方程，解為

int_((x_0,y_0))^((x,y))p(x,y)dx+q(x,y)dy=c,
(3)

其中 c 是常數。

如果滿足以下條件，則稱一階 ODE (◇) 為非精確方程

(partialp)/(partialy)!=(partialq)/(partialx).
(4)

對於非精確方程，可以透過定義 (◇) 的積分因子 mu 來獲得解，使得新方程

mup(x,y)dx+muq(x,y)dy=0
(5)

滿足

partial/(partialy)(mup)=partial/(partialx)(muq),
(6)

或者，顯式地寫出，

p(partialmu)/(partialy)+mu(partialp)/(partialy)=q(partialmu)/(partialx)+mu(partialq)/(partialx).
(7)

這將非精確方程轉換為精確方程。求解方程 (7) 中的 mu 得到

mu=(q(partialmu)/(partialx)-p(partialmu)/(partialy))/((partialp)/(partialy)-(partialq)/(partialx)).
(8)

因此，如果可以找到滿足方程 (8) 的函式 mu，則將

P(x,y)=mup
(9)
Q(x,y)=muq
(10)

代入方程 (◇) 得到

P(x,y)dx+Q(x,y)dy=0,
(11)

這就是一個精確的 ODE。可以找到 mu 的特殊情況包括 x-依賴型、xy-依賴型和 y-依賴型積分因子。

給定一個非精確一階 ODE，我們也可以尋找一個積分因子 mu(x) 使得

(partialmu)/(partialy)=0.
(12)

為了使方程在 mup 和 muq 中是精確的，一階非精確 ODE 的方程

p(partialmu)/(partialy)+mu(partialp)/(partialy)=q(partialmu)/(partialx)+mu(partialp)/(partialx)
(13)

變為

mu(partialp)/(partialy)=q(partialmu)/(partialx)+mu(partialp)/(partialx).
(14)

求解 partialmu/partialx 得到

(partialmu)/(partialx)=mu(x)((partialp)/(partialy)-(partialq)/(partialx))/q
(15)
=f(x,y)mu(x),
(16)

如果滿足以下條件，則可積分

f(x,y)=((partialp)/(partialy)-(partialq)/(partialx))/q
(17)
=f(x),
(18)

在這種情況下

(dmu)/mu=f(x)dx,
(19)

因此方程是可積的

mu(x)=e^(intf(x)dx),
(20)

並且方程

[mup(x,y)]dx+[muq(x,y)]dy=0
(21)

其中 mu(x) 已知，現在是精確方程，可以作為精確 ODE 求解。

給定一個精確一階 ODE，尋找積分因子 mu(x,y)=g(xy)。然後

(partialmu)/(partialx)=(partialg)/(partialx)y
(22)
(partialmu)/(partialy)=(partialg)/(partialy)x.
(23)

將這兩者結合起來，

(partialmu)/(partialx)=y/x(partialmu)/(partialy).
(24)

為了使方程在 mup 和 muq 中是精確的，一階非精確 ODE 的方程

p(partialmu)/(partialy)+mu(partialp)/(partialy)=q(partialmu)/(partialx)+mu(partialp)/(partialx)
(25)

變為

(partialmu)/(partialy)(p-y/xq)=((partialq)/(partialx)-(partialp)/(partialy))mu.
(26)

因此，

1/x(partialmu)/(partialy)=((partialq)/(partialx)-(partialp)/(partialy))/(xp-yq)mu.
(27)

定義一個新變數

t(x,y)=xy,
(28)

然後 partialt/partialy=x, 因此

(partialmu)/(partialt)=(partialmu)/(partialy)(partialy)/(partialt)=((partialq)/(partialx)-(partialp)/(partialy))/(xp-yq)mu(t)=f(x,y)mu(t).
(29)

現在，如果

f(x,y)=((partialq)/(partialx)-(partialp)/(partialy))/(xp-yq)=f(xy)=f(t),
(30)

那麼

(partialmu)/(partialt)=f(t)mu(t),
(31)

因此

mu=e^(intf(t)dt)
(32)

並且方程

[mup(x,y)]dx+[muq(x,y)]dy=0
(33)

現在是精確方程，可以作為精確 ODE 求解。

給定一個非精確一階 ODE，假設存在一個積分因子

mu=f(y),
(34)

因此 partialmu/partialx=0。為了使方程在 mup 和 muq 中是精確的，方程 (◇) 變為

(partialmu)/(partialy)=((partialq)/(partialx)-(partialp)/(partialy))/pmu=f(x,y)mu(y).
(35)

現在，如果

f(x,y)=((partialq)/(partialx)-(partialp)/(partialy))/p=f(y),
(36)

那麼

(dmu)/mu=f(y)dy,
(37)

因此

mu(y)=e^(intf(y)dy),
(38)

並且方程

mup(x,y)dx+muq(x,y)dy=0
(39)

現在是精確方程，可以作為精確 ODE 求解。

給定一個形式為一階 ODE 的

yf(xy)dx+xg(xy)dy=0,
(40)

定義

v=xy.
(41)

那麼解是

{lnx=int(g(v)dv)/(c[g(v)-f(v)])+c for g(v)!=f(v); xy=c for g(v)=f(v).
(42)

如果

(dy)/(dx)=F(x,y)=G(v),
(43)

其中

v=y/x,
(44)

那麼令

y=xv
(45)

得到

(dy)/(dx)=xdv/dx+v
(46)
x(dv)/(dx)+v=G(v).
(47)

這可以透過積分法求解，因此

lnx=int(dv)/(f(v)-v)+c for f(v)!=v
(48)
y=cx forf(v)=v.
(49)

另請參閱

一階常微分方程, 常微分方程

使用 探索

參考文獻

Boyce, W. E. 和 DiPrima, R. C. Elementary Differential Equations and Boundary Value Problems, 4th ed. New York: Wiley, 1986.Ross, C. C. §3.3 in Differential Equations. New York: Springer-Verlag, 2004.Zwillinger, D. Ch. 62 in Handbook of Differential Equations. San Diego, CA: Academic Press, 1997.

在 上被引用

精確一階常微分方程

請這樣引用

Weisstein, Eric W. "精確一階常微分方程。" 來自 Web 資源。 https://mathworld.tw/ExactFirst-OrderOrdinaryDifferentialEquation.html

主題分類