与えられた微分方程式の問題を解きます。具体的には、以下の7つの問題があります。 1. $(x+3)(x-4)y' = 7xy$ の一般解を求める。

解析学微分方程式積分因子一般解完全微分形
2025/5/19

1. 問題の内容

与えられた微分方程式の問題を解きます。具体的には、以下の7つの問題があります。

1. $(x+3)(x-4)y' = 7xy$ の一般解を求める。

2. $y' = \frac{4x^7 + 3y^5}{3xy^4}$ の一般解を求める。

3. $y' = \frac{3x - y + 13}{x + y + 3}$ の一般解を求める。

4. $x \frac{dy}{dx} - 4y = x^8$ の一般解を求める。

5. $7y' + 2xy = 2x^{\frac{5}{6}}$ の一般解を求める。

6. $(3xe^{3x^2 + 2y^2} + 6x^5) dx + (2ye^{3x^2 + 2y^2} + 4y^3) dy = 0$ が完全微分形であることを確かめ、一般解を求める。

7. $(2xylogy) dx + (x^2 + 3y^2) dy = 0$ に対して $x^\alpha y^\beta$ 型の積分因子を見出して一般解を求める。

今回は7番の問題を解きます。

2. 解き方の手順

問題7: (2xylogy)dx+(x2+3y2)dy=0(2xylogy) dx + (x^2 + 3y^2) dy = 0 に対して xαyβx^\alpha y^\beta 型の積分因子を見出して一般解を求める。
まず、与えられた微分方程式を
M(x,y)dx+N(x,y)dy=0M(x,y) dx + N(x,y) dy = 0 の形に書くと、
M(x,y)=2xylogyM(x,y) = 2xylogy
N(x,y)=x2+3y2N(x,y) = x^2 + 3y^2
となります。
完全微分形であるためには My=Nx\frac{\partial M}{\partial y} = \frac{\partial N}{\partial x} が成り立つ必要がありますが、
My=2xlogy+2x\frac{\partial M}{\partial y} = 2x \log y + 2x
Nx=2x\frac{\partial N}{\partial x} = 2x
なので、完全微分形ではありません。
次に、積分因子 xαyβx^\alpha y^\beta をかけて完全微分形になるようにします。
新しい MMNN
M(x,y)=xαyβ(2xylogy)=2xα+1yβ+1logyM'(x,y) = x^\alpha y^\beta (2xylogy) = 2 x^{\alpha+1} y^{\beta+1} \log y
N(x,y)=xαyβ(x2+3y2)=xα+2yβ+3xαyβ+2N'(x,y) = x^\alpha y^\beta (x^2 + 3y^2) = x^{\alpha+2} y^\beta + 3x^\alpha y^{\beta+2}
完全微分形になる条件 My=Nx\frac{\partial M'}{\partial y} = \frac{\partial N'}{\partial x} を適用します。
My=2xα+1(β+1)yβlogy+2xα+1yβ=2xα+1yβ((β+1)logy+1)\frac{\partial M'}{\partial y} = 2 x^{\alpha+1} (\beta+1) y^\beta \log y + 2 x^{\alpha+1} y^\beta = 2 x^{\alpha+1} y^\beta ((\beta+1) \log y + 1)
Nx=(α+2)xα+1yβ+3αxα1yβ+2\frac{\partial N'}{\partial x} = (\alpha+2) x^{\alpha+1} y^\beta + 3\alpha x^{\alpha-1} y^{\beta+2}
2xα+1yβ((β+1)logy+1)=(α+2)xα+1yβ+3αxα1yβ+22x^{\alpha+1} y^{\beta} ((\beta+1) \log y + 1) = (\alpha+2) x^{\alpha+1} y^{\beta} + 3\alpha x^{\alpha-1} y^{\beta+2}
この式が成り立つためには、α=0\alpha = 0 である必要があります。
α=0\alpha = 0 とすると、
2xyβ((β+1)logy+1)=2xyβ+02 x y^{\beta} ((\beta+1) \log y + 1) = 2 x y^{\beta} + 0
(β+1)logy+1=1(\beta+1) \log y + 1 = 1
(β+1)logy=0(\beta+1) \log y = 0
β=1\beta = -1
したがって、積分因子は x0y1=1yx^0 y^{-1} = \frac{1}{y} です。
微分方程式に 1y\frac{1}{y} をかけると、
2xlogydx+(x2y+3y)dy=02x \log y dx + (\frac{x^2}{y} + 3y) dy = 0
M(x,y)=2xlogyM(x,y) = 2x \log y
N(x,y)=x2y+3yN(x,y) = \frac{x^2}{y} + 3y
My=2xy\frac{\partial M}{\partial y} = \frac{2x}{y}
Nx=2xy\frac{\partial N}{\partial x} = \frac{2x}{y}
これで完全微分形になりました。
Fx=2xlogy\frac{\partial F}{\partial x} = 2x \log y
F(x,y)=x2logy+g(y)F(x,y) = x^2 \log y + g(y)
Fy=x2y+g(y)=x2y+3y\frac{\partial F}{\partial y} = \frac{x^2}{y} + g'(y) = \frac{x^2}{y} + 3y
g(y)=3yg'(y) = 3y
g(y)=32y2+Cg(y) = \frac{3}{2} y^2 + C
したがって、一般解は
x2logy+32y2=Cx^2 \log y + \frac{3}{2} y^2 = C

3. 最終的な答え

x2logy+32y2=Cx^2 \log y + \frac{3}{2}y^2 = C

「解析学」の関連問題

関数 $f(x) = \arctan x$ について、以下の問いに答えます。 (1) $f(x)$ の4次導関数 $f^{(4)}(x)$ を求めます。 (2) $x = 0$ での値 $f(0), ...

微分導関数マクローリン展開arctan円周率の近似
2025/6/6

与えられた4つの関数をそれぞれ微分します。 (1) $y = x^{\sin x}$ ($x>0$) (2) $y = x^{e^x}$ ($x>0$) (3) $y = x^{\log x}$ ($...

微分対数微分法関数
2025/6/6

与えられた関数を微分する問題です。ただし、$a$ は定数とします。ここでは、4つの関数それぞれの微分を求めます。 (1) $y = \frac{(x+1)^2}{(x+2)^3(x+3)^4}$ (2...

微分対数微分法関数の微分
2025/6/6

関数 $f(x) = \arctan x$ について、次の問いに答えます。 (1) $f(x)$ の4次導関数 $f^{(4)}(x)$ を求めます。 (2) $x=0$ での値 $f(0)$, $f...

微分導関数arctan高階導関数
2025/6/6

$t > 0$ に対して、定積分 $\int_0^1 |2x^2 - tx| dx$ の最小値を求め、そのときの $t$ の値を求める問題です。

定積分絶対値最小値微分積分
2025/6/6

はい、承知いたしました。画像にある数学の問題について、一つずつ解いていきます。

微分導関数関数の微分商の微分積の微分
2025/6/6

$x = \tan t$、$y = \sin t$のとき、$t = \frac{\pi}{6}$における$\frac{dy}{dx}$と$\frac{d^2y}{dx^2}$の値を求め、それぞれ$\f...

微分媒介変数表示合成関数の微分二階微分
2025/6/6

関数 $f(x) = x^2 \sin(2x)$ の第5次導関数 $f^{(5)}(x)$ を求め、さらに $f^{(5)}(0)$ の値を求めよ。

導関数微分三角関数
2025/6/6

関数 $y = \cos 2x$ の第 $n$ 次導関数 $y^{(n)}$ を求める問題です。ただし、$n \ge 1$ とします。

導関数三角関数微分数学的帰納法
2025/6/6

$x \leq 0$ において、不等式 $-2x^3 - 36x + k \geq 15x^2$ が常に成り立つような定数 $k$ の値の範囲を求める問題です。

不等式微分関数の最大値増減表三次関数
2025/6/6