Изменения

Перейти к: навигация, поиск

Типы дифференциальных уравнений

1603 байта добавлено, 21:34, 23 сентября 2020
Исправлена опечатка в производной, в способе решения методом Лагранжа
==Уравнение с разделяемыми переменными==
{{Определение|definition= уравнение вида <tex>M_{1}(x)N_{1}(y)dx + M_{2}(x)N_{2}(y)dy = 0 \:\: (2)</tex> называется уравнением с разделяемыми переменными}}
<b>Решение:</b> (2) разделим на <tex>N_{1}(y)M_{2}(x) \neq 0</tex> и оно сведется к (1). в случае = 0 могут существовать осбые особые решения. 
==Однородные уравнения==
{{Определение|definition = уравнение вида <tex>M(x, y)dx + N(x, y)dy = 0 \:\: (3)</tex>, где M и N - однородные функции одного измерения, называется однородным уравнением}}
{{Определение | definition= <tex>f(x, y) \ - </tex> однородная функция измерения n <tex>\Leftrightarrow \: f(\lambda x, \lambda y) = \lambda^{n}f(x, y)</tex> }}<b>Решение:</b> произвести замену <tex>t = \fracdfrac{y}{x}</tex> {{Определение | definition= <tex dpi=150>\dfrac{dy}{dx}=f\left(\dfrac{y}{x}\right) \ -</tex>один из видов однородного уравнения. }}
{{Определение | definition= <tex dpi=150>\frac{dy}{dx}=f(\frac{y}{x})</tex> - один из видов однородного уравнения. }}
==Уравнения приводящиеся к однородным==
{{Определение|definition= уравнение вида <tex dpi = 150>\fracdfrac{dy}{dx}= f\left(\fracdfrac{a_{1}x + b_{1}y + c_{1}}{a_{2}x + b_{2}y + c_{2}}\right) (4)</tex> называется уравнением приводящимся к однородному}}
{{Утверждение|statement =
Решением уравнения <tex>(4)</tex> является:
<tex> u'(x) e^{\int p(x)dx} = q(x) </tex>
<tex> u(x) = \int q(x) e^{\int -p(x)dx} dx + C_{1} </tex>. Тогда
<tex>y(x) = e^{\int p(x)dx} [ \int q(x) e^{\int -p(x)dx} dx + C_{1}] </tex>
===Способ решения методом Лагранжа===
Рассмотрим:
<tex> \frac{dxdy}{dydx} = p(x) y </tex>
Рассмотрим общее однородное(O.O) и общее неоднородное решение(O.H):
<tex>y(x) = e^{\int p(x)dx} [ \int q(x) e^{\int p(x)dx} dx + C_{1}] </tex>
 
===Способ решения методом Владимира Красноцветова===
Запомнить формулу:<br>
<tex>y(x) = e^{\int p(x)\mathrm dx} \left[ \int q(x) e^{\int p(x)\mathrm dx} dx + C_{1} \right] </tex>
==Уравнение в полных дифференциалах==
{{Определение| definition= Уравнение вида: <tex>M(x, y)dx + N(x, y)dy = 0 \:\: (6)</tex> называется уравнением в полных дифференциалах, если <tex>(6) = du(x, y)</tex>}}
т.к. <tex>du(x, y) = 0 \Leftrightarrow u(x, y) = C \: -</tex> общий интеграл.
{{Теорема|statement = Пусть <tex>M(x, y), N(x, y) \in C(G)</tex>, где G - односвязная область, и <tex>\frac{\partial M(x,y)}{\partial y}, \: \frac{\partial N(x, y)}{\partial x} \in C(G)</tex>; <br> Тогда <tex>Mdx + Ndy = du \: \Leftrightarrow \frac{\partial M(x, y)}{\partial y} \equiv \frac{\partial N(x, y)}{\partial x} </tex>| proof = сами доказывайтеРассмотрим первоначальное уравнение: <br> <tex> M(x,y)dx + N(x,y)dy = 0 </tex> <br> Перепишем его в виде: <tex> M(x,y)dx + N(x,y)dy \equiv du(x,y) = \dfrac{\partial u}{\partial x}dx + \dfrac{\partial u}{\partial y}dy. </tex> <br> Тогда видим, что <tex> \dfrac{\partial u}{\partial x} = M, \dfrac{\partial u}{\partial y} = N </tex> <br> Т.к.<tex> M,N </tex> - непрерывные на <tex> C </tex>, то давайте рассмотрим <tex> \dfrac{\partial^2 u}{\partial x \partial y} = \dfrac{\partial M}{\partial y} </tex> и <tex> \dfrac{\partial^2 u}{\partial y \partial x} = \dfrac{\partial N}{\partial x} </tex> <br> Левые части в этих равенствах равны, а следовательно равны и правые. Необходимость доказана. <br> Докажем теперь достаточность. <br> Предположим, что равенство частных производных выполняется, тогда рассмотрим следующую функцию: <br> <tex> a(x,y) = \int_{x_{0}}^{x}M(q, y)dq + \int_{y_{0}}^{y}N(x_{0}, z)dz </tex> <br> Найдем для нее частные производные по <tex> x </tex> и <tex> y </tex>: <br> <tex> \dfrac{\partial a}{\partial x} = M(x,y) </tex>, а дифференцируя по <tex> y </tex> и учитывая условие <tex> \frac{\partial M(x, y)}{\partial y} \equiv \frac{\partial N(x, y)}{\partial x} </tex>, получаем : <br> <tex> \dfrac{\partial a}{\partial y} = \int_{x_{0}}^{x}\frac{\partial M(q, y)}{\partial y}dq + N(x_0, y) = N(x,y) - N(x_0,y) + N(x_0,y) = N(x,y) </tex> , достаточность доказана, т.к. <tex> a(x,y) = u(x,y) </tex> - общий интеграл .}}
<b>Решение:</b> <tex>u(x, y) = \int_{x_{0}}^{x}M(x, y)dx + \int_{y_{0}}^{y}N(x_{0}, y)dy = C \: - </tex> Общее решение.
==Уравнение, приводящееся к уравнениию уравнению в полных дифференциалах==
в условиях предыдущего определения, но <tex>\frac{\partial M}{\partial y} \not\equiv \frac{\partial N}{\partial x}</tex>. Домножим (6) на <tex>\mu(x, y): \:</tex> <br> <tex>M \frac{\partial \mu}{\partial y} + \mu \frac{\partial M }{\partial y} = N \frac{\partial \mu}{\partial x} + \mu \frac{\partial N}{\partial x} \: \Rightarrow \: M \frac{\partial \mu}{\partial y} - N \frac{\partial \mu}{\partial x} = \mu (\frac{\partial N}{\partial x} - \frac{\partial M}{\partial y}) \: (*)</tex> <br>
{{Утверждение|statement= Пусть <tex>\exists \omega (x, y) \in C'(G): \:\:</tex> <tex dpi = "165"> \frac{\frac{\partial M}{\partial y} - \frac{\partial N}{\partial x}}{ N \frac{\partial \omega}{\partial x} - M \frac{\partial \omega}{\partial y}} = \psi(\omega) \: \Rightarrow \mu = e^{\int \psi(\omega)d\omega}</tex>|
proof= Пусть <tex dpi = "145">\mu = h(\omega) \: \Rightarrow \: M \frac{dh}{d\omega}\frac{\partial \omega}{\partial y} - N \frac{dh}{d\omega}\frac{\partial \omega}{\partial x} = h(\omega)(\frac{\partial N}{\partial x} - \frac{\partial M}{\partial y})</tex> <br><br>перегреппируемперегруппируем: <tex dpi = "165">\frac{dh}{d\omega} = h(\omega)\frac{\frac{\partial N}{\partial x} - \frac{\partial M}{\partial y})}{M\frac{\partial \omega}{\partial y} - N \frac{\partial \omega}{\partial x}} \: \Rightarrow</tex><br><tex dpi = "145">\frac{dh}{d\omega} = h(\omega)\psi(\omega)</tex>
<tex dpi = "145">\mu(x, y) = h(\omega) = e^{\int\psi(\omega)d\omega}</tex>}}
только как решать все равно не понятно.<br>
<tex>
\left\{\begin{matrix}
x = \int \frac{\phi'(t)dt}{t}
\\y = \phi(t)
\end{matrix}\right.</tex>
 
===уравнение Лагранжа===
{{Определение|definition= уравнение вида <tex>y = \phi(y')x + \psi(y')\:\: (12)</tex>, называется уравнением Лагранжа}}
Анонимный участник

Навигация