y
y (x)
y0 |
M0 |
0 x0 x
Рис. 3
В случае, если задача Коши с начальным условием (1.10) имеет не одно
решение или совсем не имеет решений, говорят, |
что в |
точке (x0, y0) |
|
нарушается единственность решения задачи Коши. |
|
|
|
Вопрос о единственности |
решения задачи |
Коши |
исключительно |
интересен и для теории дифференциальных уравнений, и для многочисленных практических приложений. Зная, что решение задачи Коши единственно, мы, отыскав решение, удовлетворяющее заданным начальным условиям, будем уверены в том, что получили определенный, единственный закон, описывающий физическое явление, и других траекторий развития процесса при данных условиях нет.
2. В этом разделе будут сформулированы достаточные условия существования и единственности решения задачи Коши (теорема Пикара).
Ниже будут рассматриваться только непрерывно дифференцируемые задачи (1.10).
Итак, ставится вопрос: каким условиям достаточно подчинить правую часть дифференциального уравнения (1.7) в окрестности начальных данных
x0, y0, чтобы |
через точку P0(x0, y0) |
проходила одна и |
только одна |
||||||||||||
интегральная кривая этого уравнения? |
|
|
|
dy |
|
|
|||||||||
Теорема. |
Пусть |
дано |
уравнение |
(1.7) |
f (x, y), |
и поставлено |
|||||||||
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
dx |
|
||||
начальное условие (1.10) |
y y0 |
при x x0. |
|
||||||||||||
Предположим, что функция f (x, y) определена в некоторой замкнутой |
|||||||||||||||
ограниченной области (рис. 4) |
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
D: |
|
x x0 |
|
a, |
|
|
y y0 |
|
b |
|
|||
|
|
|
|
|
|
|
|||||||||
с точкой (x0, y0) внутри области (a,b - заданные положительные числа) и удовлетворяет в области D следующим условиям.
1. Функция f (x, y) непрерывна и, следовательно, ограничена (поскольку
D замкнутая область), т.е. |
|
f (x, y) M, |
(1.11) |
где M - постоянное положительное число, P(x, y) - любая точка области D. 2. Функция f (x, y) имеет ограниченную частную производную по
аргументу y, т.е.
10
f (x, y) |
|
K, |
(1.12) |
|
y |
||||
|
|
|
где K - постоянное положительное число, P(x, y) - любая точка области D. При этих условиях уравнение (1.7) имеет единственное решение y (x), удовлетворяющее начальному условию (1.10). Это решение определено и непрерывно дифференцируемо в некоторой окрестности начального значения
x0 независимой переменной x; именно, оно заведомо определено в интервале
|
|
x x0 |
h, |
(1.13) |
|
где h - наименьшее из чисел a и b M |
|
|
|
||
h min a,b M . |
(1.14) |
||||
y |
|
|
|
||
|
|
|
|
|
|
y0 b |
|
P0 |
|
|
|
y0 |
|
|
|
|
|
|
|
|
|
||
|
|
|
D |
|
|
|
|
|
|
|
|
y0 b |
|
|
|
|
x |
|
|
|
|||
0 x0 a x0 h |
x0 x0 h x0 a |
||||
Рис. 4. Иллюстрация области в теореме Пикара
Доказательство теоремы Пикара мы не приводим. Из теоремы следует,
что если правая часть уравнения (1.7) – полином относительно переменных
x |
и y |
или любая другая функция, определенная и непрерывная относительно |
x |
и y |
вместе с частной производной по y при всех значениях x и y, то |
через любую точку P0(x0, y0) проходит одна и только одна интегральная кривая, поскольку в любом прямоугольнике D с центром в точке P0(x0, y0) оба условия теоремы Пикара будут выполняться. В этом случае, вся плоскость
XOY будет заполнена не пересекающимися и не касающимися друг друга
гладкими интегральными кривыми.
2. ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ ПЕРВОГО ПОРЯДКА, ИНТЕГРИРУЕМЫЕ В КВАДРАТУРАХ
Введем терминологические дополнения. Интегрированием дифференциального уравнения назовем совокупность операций выполняемых для нахождения общего решения.
Интегрируемость дифференциального уравнения в квадратурах означает, что в общий или частный интегралы дифференциального уравнения
11
входят интегралы от функций, зависящих от y и x (по отдельности), которые не обязательно вычисляются через элементарные функции.
Например, для дифференциального уравнения y xy2 2xy
общий интеграл представляется квадратурами
dy |
xdx C. |
y(y 2) |
Вданном случае интегралы вычисляются в элементарных функциях.
2.1.Дифференциальные уравнения с разделяющимися переменными
1. К дифференциальным уравнениям, интегрируемым в квадратурах, в первую очередь принадлежат уравнения с разделяющимися переменными. В этом случае функция f (x, y), в уравнении представляет собой произведение
функции переменного x на функцию переменного y: |
|
||
|
dy |
f (x) (y). |
(2.1) |
|
|
||
|
dx |
|
|
Теорема 1. Если в уравнении с разделяющимися переменными (2.1) |
|||
функции f (x) и (y) непрерывны в интервалах (a,b) и (c,d) |
соответственно |
||
и (y) 0, то общий интеграл уравнения выражается в квадратурах:
dy |
f (x)dx C, |
|
(y) |
(2.2) |
причем заданным начальным условием y(x0) y0 определяется единственное решение этого уравнения, где M0(x0, y0) - любая точка прямоугольника (a,b)(c,d) на плоскости XOY .
Частный интеграл уравнения (2.1), определяющий решение, удовлетворяющее начальному условию может быть записан в виде
|
|
y |
|
dy |
x |
|
|
|||
|
|
|
|
f (x)dx С. |
|
|
||||
|
|
|
|
|
|
|
(2.3) |
|||
|
|
(y) |
|
|||||||
Доказательство. |
y0 |
|
|
|
|
|
x0 |
|
f (x) и (y) |
|
Поскольку по условию |
теоремы |
|||||||||
непрерывны при x (a,b), |
y (c,d) |
и (y) 0 при |
y (c,d), |
то умножая обе |
||||||
части уравнения (2.1) на |
|
dx |
|
, мы добиваемся разделения переменных |
||||||
|
|
|
||||||||
(y) |
|
|
|
|||||||
|
|
|
|
|
dy |
|
f (x)dx. |
|
(2.4) |
|
|
|
|
|
(y) |
|
|||||
|
|
|
|
|
|
|
||||
12
1 |
|
|
f (x) |
|
|
||
Функция |
|
|
и |
непрерывна, и следовательно, |
имеют |
||
|
|||||||
(y) |
|
|
|
|
|
||
первообразные |
|
|
dy |
|
|
||
|
|
|
Ф(y) |
, F(x) f (x)dx. |
|
||
|
|
|
(y) |
|
|||
Поэтому равенство (2.4) можно записать следующим образом: |
|
||||||
|
|
|
|
dФ(y) dF(x). |
(2.5) |
||
В формуле (2.5) |
y |
рассматривается как функция от x, определяемая |
|||||
дифференциальным уравнением. Из равенства дифференциалов двух функций следует, что эти функции отличаются на постоянную:
Ф(y) F(x) C ,
или |
|
|
|
dy |
|
|
|
|
|||
|
|
|
|
|
|
f (x)dx C. |
(2.6) |
||||
|
|
|
|
(y) |
|||||||
Докажем, что соотношение (2.6) представляет собой общий |
интеграл |
||||||||||
уравнения (2.1). Запишем соотношение (2.6) в виде |
|
||||||||||
|
|
|
|
|
|
G(x, y) 0, |
(2.7) |
||||
где |
G(x, y) F(x) Ф(y) C. |
(2.8) |
|||||||||
|
|
|
|||||||||
Соотношение (2.7) удовлетворяет условиям теоремы о неявной функции: |
|||||||||||
производные |
G |
f (x), |
|
G |
|
|
1 |
|
- непрерывны в области |
a x b, |
|
|
|
|
|
|
|
||||||
|
x |
|
y |
(y) |
|
||||||
c y d ; G 0. Поэтому уравнение (2.7) определяет y как функцию от x,
y
непрерывную и дифференцируемую. При этом имеет место равенство:
y G
G f (x) (y).x y
Таким образом, функции, определяемые уравнением (2.7), а следовательно и уравнением (2.6), являются решениями данного дифференциального уравнения (2.1). Эти функции получаются при различных значениях C, выбор которых определяется начальными условиями (x0, y0). При фиксированном значении параметра C решение единственное.
Справедливо и обратное утверждение. Всякая функция, являющаяся решением уравнения (2.1), т.е. тождественно ему удовлетворяющая, обязана удовлетворять и вытекающему из него соотношению (2.6).
Следовательно, формула (2.6) действительно определяет общий интеграл уравнения.
Из (2.6) видно, что любые начальные условия (x0, y0) из прямоугольника a x b, c y d однозначно определяют надлежащие значения C.
13
Действительно, из (2.7), |
(2.8) получаем |
|
|
||
следовательно |
C Ф(y0) F(x0), |
|
|
||
|
|
|
|
|
|
Ф(y) F(x) Ф(y0) F(x0). |
|
||||
|
|
1 |
0, то |
функция |
Ф(y) допускает |
|
|
||||
Поскольку же Ф (y) |
|
||||
(y)
однозначное обращение. Обозначив обратную функцию Ф 1, получим искомое частное решение, удовлетворяющее заданному начальному условию
|
|
|
y Ф 1(F(x) F(x0) Ф(y0)) |
|
(2.9) |
|||||||||||||||||
т. е., решение задачи Коши единственно и теорема доказана. |
|
|||||||||||||||||||||
Пример. |
Найти общее решение уравнения: |
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
dy |
|
|
1 y |
2 |
|
. |
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
dx |
1 x2 |
|
|
|
|
|
1 |
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
Решение. |
В представленном уравнении |
f (x) |
|
, (y) 1 y2. Эти |
||||||||||||||||||
|
|
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 x2 |
|
||
функции непрерывны при |
x , |
y , |
т.е. |
на всей плоскости |
||||||||||||||||||
XOY , функция |
|
1 |
0. |
Таким образом, |
условия теоремы 1 выполнены. |
|||||||||||||||||
|
|
|||||||||||||||||||||
|
(y) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
Разделяя переменные, получим уравнение с разделенными переменными |
||||||||||||||||||||||
|
|
|
|
|
|
|
dy |
|
|
|
dx |
. |
|
|
|
|
|
|||||
|
|
|
|
|
1 y2 |
1 x2 |
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
Отсюда получаем соотношение |
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
dy |
|
|
|
|
|
|
|
|
dx |
|
|
|
|
|||
|
|
|
d |
|
|
|
|
d |
|
|
|
. |
|
|
||||||||
|
|
|
|
|
|
2 |
|
|
|
2 |
|
|
||||||||||
|
|
|
|
|
1 y |
|
|
|
1 x |
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
Освобождаясь от дифференциалов, имеем общий интеграл:
|
dy |
|
|
dx |
|
C; |
arctgy arctgx C. |
1 y |
2 |
1 x |
2 |
||||
|
|
|
|
|
|
Разрешив общий интеграл относительно y, получим общее решение уравнения:
y tg(arctgx C), arctgx C . 2 2
Отметим, что в полученном общем решении значения параметра C (“произвольной постоянной”) не вполне произвольны. При выбранном интервале изменения независимой переменной x, параметр C может принимать бесконечное множество значений, но таких, чтобы не нарушались указанные неравенства.
14