「応用数学 - 1階常微分方程式」の版間の差分

提供: MochiuWiki : SUSE, EC, PCB

126行目: 126行目:
  \end{align}
  \end{align}
  </math>
  </math>
<br><br>
== 同次形微分方程式 ==
<math>\frac{dy}{dx}</math> が <math>\frac{y}{x}</math> のみの関数になっている微分方程式を、同次形微分方程式という。<br>
<math>\frac{dy}{dx} = f \left ( \frac{y}{x} \right )</math><br>
<br>
同次形微分方程式は、変数変換することにより、変数分離形として記述できる。<br>
<br>
変数分離形として記述できることの説明
<math>u = \frac{y}{x}</math> とおけば、<math>y = ux</math> より、積の微分公式を使用して、<math>\frac{dy}{dx} = \frac{du}{dx} x + u</math> となる。
これを、<math>\frac{dy}{dx} = f \left ( \frac{y}{x} \right )</math> に代入すると、<math>u + \frac{du}{dx} x = f(u)</math> となる。
したがって、<math>\frac{du}{dx} = \frac{f(u) - u}{x}</math>
これは未知関数uの変数分離形である。
<br>
同次形微分方程式の例<br>
* <math>\frac{dy}{dx} = \frac{y}{x} + 1</math>
* <math>\frac{dy}{dx} = 2 \left ( \frac{y}{x} \right )^3 + \frac{y}{x}</math>
* <math>\frac{dy}{dx} = \frac{(x + y)}{(x - y)} \quad \Rightarrow</math> 分母分子をxで除算すると、<math>\frac{dy}{dx} = \frac{1 + \frac{y}{x}}{1 - \frac{y}{x}}</math> と記述できるため、同次形微分方程式である。
<br>
例題.
微分方程式の一般解を求めよ。
<math>\frac{dy}{dx} = \frac{y}{x} + 1</math>
解答.
<math>\frac{y}{x} = u</math> とおくと、<math>y = ux</math>
積の微分公式より、<math>\frac{dy}{dx} = \frac{du}{dx} x + u</math>
これを微分方程式に代入すると、<math>u + \frac{du}{dx} x = u + 1</math> となり、各項を計算すると、<math>\frac{du}{dx} x = 1</math> となる。
したがって、<math>\frac{du}{dx} = \frac{1}{x}</math> であるため、変数分離形となる。
この両辺をxで積分すると、
<math>
\begin{align}
\int{\frac{du}{dx} dx} &= \int{\frac{1}{x}} dx \\
\int{du} &= \int{\frac{1}{x} dx} \\
u &= \ln|x| + C
\end{align}
</math>
<math>u = \frac{y}{x}</math> であるので、これを上式に代入すると、次式となる。
<math>\frac{y}{x} = \ln|x| + C</math>
したがって、一般解は、
<math>y = x(\ln(|x|) + C) \qquad \mbox{( C : 任 意 定 数 )}</math>
<br><br>
<br><br>


__FORCETOC__
__FORCETOC__
[[カテゴリ:解析学]]
[[カテゴリ:解析学]]

2022年11月14日 (月) 15:03時点における版

概要

1階常微分方程式としては、以下のようなものがある。
これらは方程式の形により分類される。

  • 変数分離形微分方程式
  • 同次形微分方程式
  • 1階線形微分方程式
  • ベルヌーイ形微分方程式
  • 完全微分方程式



dydxの扱い

以下の命題は、dydx は、形式的に分数のように扱うことができることを示している。

命題1.
(g(y)dydx)dx=g(y)dy

証明.
y=ϕ(x) とおいて、両辺をxで微分すると、dydx=dϕdx
置換積分の公式より、g(y)dy=g(ϕ(x))dϕdxdx
y=ϕ(x) より、
g(ϕ(x))dϕdxdx=(g(y)dydx)dx


命題2.
g(y)dy=f(x)dxg(y)dy=f(x)dx

証明.
g(y)dy=f(x)dx の両辺をdxで除算して、本来の記号 dydx に戻すと次式となる。
g(y)dydx=f(x)

両辺をxで積分すると次式となる。
g(y)(dydx)dx=f(x)dx

左辺に対して命題1を適用すると次式となる。
g(y)dy=f(x)dx


命題3.
f(x)dx+g(y)dy=0f(x)dx+g(y)dy=C( C : 任 意 の 定 数 )

証明.
f(x)dx+g(y)dy=0 の両辺をdxで除算して、本来の記号dydx に戻すと次式となる。
f(x)+g(y)(dydx)=0

この両辺をxで積分すると次式となる。
f(x)+g(y)(dydx)dx=0f(x)dx+g(y)(dydx)dx=C

左辺第2項に命題1を適用して整理する。
f(x)dx+g(y)dy=C( C : 任 意 の 定 数 )



変数分離形微分方程式

f(x)をxのみの関数、g(y)をyのみの関数とする時、以下に示す形になる微分方程式を変数分離形という。
g(y)dydx=f(x)

変数分離系の方程式は、以下のように記述することもある。

  • g(y)dy=f(x)dx
  • f(x)dxg(y)dy=0
  • dydx=f(x)h(y)h(y)=1g(y)


  • 変数分離形の例
    dydx=2xy
    dydx=(x2+1)(y+1y)

  • 変数分離形ではない例
    dydx=2x+3y
    dydx=xy


例題1. 
微分方程式の一般解を求めよ。
dydx=x

解答.
dy=xdxdy=xdxy=12x2+C( C : 任 意 の 定 数 )


例題2.
微分方程式の一般解を求めよ。
dydx=y

解答.
1ydy=dx1ydy=dxln|y|=x+C( C : 任 意 の 定 数 )|y|=ex+Cy=±eCexy=Cex( C : 任 意 の 定 数 )


例題3.
微分方程式の一般解を求めよ。
ydy=xdx

解答.
ydy=xdx12y2=12x2+C( C : 任 意 の 定 数 )y2=x2+2Cy2=x2+C( C : 任 意 の 定 数 )


例題4.
微分方程式の一般解を求めよ。
xdx(1+x2)dy=0

解答.
dy=x1+x2 とおく。
dy=x1+x2dxy=122x1+x2y=12ln(1+x2)+C( C : 任 意 の 定 数 )



同次形微分方程式

dydxyx のみの関数になっている微分方程式を、同次形微分方程式という。
dydx=f(yx)

同次形微分方程式は、変数変換することにより、変数分離形として記述できる。

変数分離形として記述できることの説明

u=yx とおけば、y=ux より、積の微分公式を使用して、dydx=dudxx+u となる。
これを、dydx=f(yx) に代入すると、u+dudxx=f(u) となる。
したがって、dudx=f(u)ux

これは未知関数uの変数分離形である。


同次形微分方程式の例

  • dydx=yx+1
  • dydx=2(yx)3+yx
  • dydx=(x+y)(xy) 分母分子をxで除算すると、dydx=1+yx1yx と記述できるため、同次形微分方程式である。


例題.
微分方程式の一般解を求めよ。
dydx=yx+1

解答.
yx=u とおくと、y=ux
積の微分公式より、dydx=dudxx+u

これを微分方程式に代入すると、u+dudxx=u+1 となり、各項を計算すると、dudxx=1 となる。
したがって、dudx=1x であるため、変数分離形となる。

この両辺をxで積分すると、
dudxdx=1xdxdu=1xdxu=ln|x|+C

u=yx であるので、これを上式に代入すると、次式となる。
yx=ln|x|+C

したがって、一般解は、
y=x(ln(|x|)+C)( C : 任 意 定 数 )