
y=ϕ(х)+c.
Но допустим, что в ϕ'(х,с) содержится с. Тогда выражение y'=ϕ'(х,с) нельзя назвать
дифференциальным уравнением (ввиду неопределенности с) до тех пор, пока из выражения
y'=ϕ'(х,с) не исключим с.
Для этого разрешим уравнение y=ϕ(х,с) относительно
с: с=ψ(х,с). Это возможно, если
функция ϕ(х,с) имеет отличную от нуля производную по с (по теореме о существовании
обратной функции), т.е.
0),( ≠=
′
c
yx
–
∂
ϕ
.
Пусть это условие выполнено, тогда, подставив с=ψ(х,с) в выражение y'=ϕ'(х,с), получим
y'=ϕ'(х,ψ(х,с)) - искомое дифференциальное уравнение, решением которого будет y=ϕ(х,с).
Итак, функция, зависящая от одной произвольной постоянной y=ϕ(х,с), тогда является общим
решением дифференциального уравнения, когда выполнено условие:
0≠
c
∂
. Слово "общее"
означает, что все частные функции, удовлетворяющие уравнению y'=ϕ'(х,ψ(х,с)) могут быть
получены из функции y=ϕ(х,с) приданием с определенных значений.
Пусть дана неявная функция одной переменной ψ(х,y,с)=0, содержащая одну
произвольную переменную. Найдем дифференциальное уравнение, для которого эта неявная
функция будет решением. Для этого продифференцируем ψ(х,y,с)=0. Получим
0=c)y,(x,y+c)y,(x,
yx
′′′
y+c)y,(x,
yx
. Разрешая ψ(х,y,с)=0 относительно с=λ(x,y) и вставляя его в
уравнение 0=c)y,(x,
′
′
, получим искомое дифференциальное уравнение
0=y))(x,y,(x,y+y))(x,y,(x,
yx
′
Решение дифференциального уравнения первого порядка, записанное в виде ψ(х,y,с)=0,
зависящее от произвольной постоянной, является общим интегралом. Рассмотрим теперь
неявную функцию от одной переменной и n произвольных постоянных
ψ(х,y,с
1
,с
2
, ... ,с
n
)=0 (*)
Получим дифференциальное уравнение, для которого эта функция будет решением. Допустим,
что ψ(х,y,с
1
,с
2
, ... ,с
n
) имеет производные по переменным x, y,
n-го
порядка.
Дифференцируя
ψ(х,y,с
1
,с
2
,
...
,с
n
)=0
n раз, получим
0+
0)(2
0
)(
2
2
2
2
2
2
=+
=
′
+
′′
+
′
+
=
′
+
y
y
x
y
y
y
yy
yxx
y
y
x
n
n
n
∂
∂ψ
∂
ψ∂
∂
ψ∂
∂
∂ψ
∂∂
ψ∂
∂
ψ∂
∂
ψ
∂
ψ
L
LLLLLL
(**)
Рассмотрим совместно выражения (*) и (**). Объявим в этих выражениях неизвестными
с
1
,с
2
, ... ,с
n
. Тогда (*) и (**) составляют систему n+1 уравнений, из которых можно исключить n
произвольных постоянных. В результате получим уравнение n-го порядка
F(х,y,y',y'', ... ,y
(n)
)=0.
Выражение (
*) является общим интегралом этого уравнения. Функция (*) называется
общим интегралом уравнения тогда, когда после n-кратного дифференцирования образуется
система конечных уравнений (
*) и (**), допускающая существование единственного решения
для постоянных с
1
,с
2
, ... ,с
n
. Если (*) можно разрешить относительно y=ϕ(х,с
1
,с
2
, ... ,с
n
), то
получим общее решение уравнения.
Частным интегралом или частным решением дифференциального уравнения
называется общий интеграл или общее решение, для которых указаны конкретные значения