Материал из Викиконспекты
Задача Коши для ДУ высших порядков
Определение: |
[math]F(x, y, y', \dots, y^{(n)})\:\:(1) - [/math] ДУ порядка n |
Определение: |
Задача отыскания решения ДУ (1), удовлетворяющего услювию [math]y(x_{0}) = y_{0}, y'(x_{0}) = y'_{0}, \:\dots\:, y^{(n - 1)}(x_{0}) = y_{0}^{(n - 1)}[/math], где [math]y_{0}, y'_{0}, \dots, y_{0}^{(n- 1)} \in \mathbb{R}[/math] |
Теорема (Пикар): |
Пусть ДУ разрешено относительно производной n-ного порядка т.е. [math]y^{(n)}= f(x, y, y', \dots, y^{(n - 1)})[/math], f - непрерывна в некоторой окрестности начальных условий V и [math]\frac{\partial f}{\partial y^{(j)}} \in C(V)[/math] тогда существует единственное решение задачи Коши |
Определение: |
Функция [math]y = \phi(x, y, C_1, \dots , C_n)[/math] является общим решением, если:
1) Система разрешима относительно производных т.е.
[math]\:\:\left\{\begin{matrix}
y =\phi (x, C_1, \dots, C_n)
\\
y' =\phi' (x, C_1, \dots, C_n)
\\
\dots
\\
y^{(n - 1)} =\phi^{(n - 1)} (x, C_1, \dots, C_n)
\end{matrix}\right.
\Rightarrow
\left\{\begin{matrix}
C_1 =\psi_1 (x, y', \dots, y^{(n - 1)})
\\
C_2 =\psi_2 (x, y', \dots, y^{(n - 1)})
\\
\dots
\\
C_n =\psi_n (x, y', \dots, y^{(n - 1)})
\end{matrix}\right.[/math]
2)[math]y = \phi(x, C_1, \dots, C_n)[/math] — решение уравнения (2) для любого набора констант [math]C_1, \dots, C_n[/math]. |