Материал: Обыкновенные дифференциальные уравнения с приложениями к задачам механики, физики, термодинамики и экологии. Ряжских В.И., Бырдин А.П

Внимание! Если размещение файла нарушает Ваши авторские права, то обязательно сообщите нам

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

Источник: https://studfile.net/preview/16568742/