§ О4. Теоремы о единственности решений

Некоторые же проблемы полезны для одного только познания...

Аристотель. Топика

наводит на мысль, что новые (по сравнению с теоремой Коши — Пикара) теоремы единственности можно получать, ослабляя условие Липшица по пространственной переменной, т. е. ослабляя при близких x и y неравенство

Общий результат такого сорта — так называемая

Теорема единственности Перрона. Пусть непрерывная в окрестности D(f) точки (t₀, x₀) О R×Rⁿ функция f: D(f) ® Rⁿ удовлетворяет при всех (t, x), (t, y) О D(f), t О [t₀, t₀ + T] условию

||f(t, x) – f(t, y)|| Ј L(t, ||x – y||),

(1)

где непрерывная функция L: [t₀, t₀ + T] × R₊ ® R₊ такова, что единственным решением (скалярной) задачи Коши

z(t₀) = 0

(3)

на промежутке [t₀, t₀ + T] является нулевое решение. Тогда задача Коши

x(t₀) = x₀

(5)

не может иметь на промежутке [t₀, t₀+ T] более одного решения.

Схема д о к а з а т е л ь с т в а такова. В предположении противного, пусть x и y — два различных определенных на [t₀, t₀ + T] решения задачи (4) – (5). Положим y(t) = ||x(t) – y(t)||. Тогда (похожие оценки мы проводили в очерке О3)

Эта теорема позволяет, подбирая подходящие функции L, конструировать различные конкретные признаки единственности решений. Например, такими функциями L(t, z) могут служить функции C·z (в этом случае f удовлетворяет, очевидно, условию Липшица), C·z·|ln z|, C·z·|ln z|·|ln |ln z||,... (C — неотрицательная константа; перечисленные функции доопределены по непрерывности в нуле нулем).

Сформулируем в качестве следствия из теоремы Перрона один простой признак единственности, охватывающий, в частности, все признаки единственности, задаваемые перечисленными выше функциями L — так называемый

Критерий единственности Осгуда. Пусть || f(t, x) – f(t, y)|| Ј F(||x – y||) при всех t, x, y, где непрерывная функция F: R₊ ® R₊ такова, что

1

e

F(x)

® Ґ при e ® +0.

(6)

Тогда задача (4) – (5) при любых (t₀, x₀) О D(f) имеет не более одного решения, т. е. любые два ее решения совпадают на общей области определения.

Для д о к а з а т е л ь с т в а критерия Осгуда достаточно показать, что задача Коши

имеет только нулевое решение. Пусть это не так, т. е. существует решение j₀ этой задачи такое, что j₀(t₁) = x₁ > 0 при некотором t₁ > 0. Тогда при всех t

Так как j₀ — решение задачи (7), j₀(t) ® 0 при t ® 0. Поэтому, переходя в последнем равенстве к пределу при t ® 0 и используя (6), получаем противоречие:

Теорема единственности Камке.Пусть непрерывная в окрестности D(f) точки (t₀, x₀) О R × Rⁿ функция f: D(f) ® Rⁿ при всех (t, x), (t, y) О D(f), t О (t₀, t₀ + T] удовлетворяет условию (1), в котором непрерывная функция L: (t₀, t₀ + T] × R₊ ® R₊ такова, что единственным решением уравнения (2), определенным на (t₀, t₀ + T] и удовлетворяющим условию

j(t) ® 0 и

j(t)

t – t₀

® 0 при t ® t₀ + 0,

является нулевая функция. Тогда задача Коши (4) – (5) не может иметь на отрезке [t₀, t₀ + T] более одного решения.

Подчеркнем, что отличие теоремы Перрона от теоремы Камке сводится к тому, что в последней не требуется, чтобы функция L была определена при t = t₀. Поэтому, в принципе, при t ® t₀ функция L в теореме Камке может неограниченно возрастать, что в силу ее непрерывности недопустимо в теореме Перрона.

Задача О4.2. Покажите, что теорема Перрона следует из теоремы Камке.

Оказывается, что на самом деле теоремы Перрона и теоремы Камке эквивалентны, так что сила теоремы Камке, позволяющая ослабить условие малости ||f(t, x) – f(t, y)|| при t близких к t₀, в окрестности которой исследуется единственность решения, только кажущаяся. Действительно, пусть выполнены условия теоремы Камке и пусть, дополнительно, функция f(t, x) равномерно непрерывна по x (в общем случае можно переопределить функцию f вне некоторой окрестности точки (t₀, x₀) так, чтобы переопределенная функция была равномерно непрерывной). Определим функцию L₁: [t₀, t₀ + T] × R₊ ® R₊ формулой

Задача О4.3. Докажите, что функции f и L₁ удовлетворяют условиям теоремы Перрона и, таким образом, теорема Камке является следствием теоремы Перрона.

Тем не менее, теорема Камке позволяет легко получать полезные признаки единственности. Одним из таковых является следующий

Критерий единственности Нагумо. Пусть функция f удовлетворяет при всех (t, x), (t, y) О D(f), t О (t₀, t₀ + T] неравенству

||f(t, x) – f(t, y)|| Ј

||x – y||

t – t₀

(8)

Тогда задача (4) – (5) не может иметь на отрезке [t₀, t₀ + T] более одного решения.

Задача О4.4. Докажите критерий единственности Нагумо.

Интересно, что в оценке (8) нельзя правую часть заменить на k||x – y||)/(t – t₀) (k > 1). Действительно, для любого k > 1 определим функцию f: R₊ × R ® R равенством

f(t, x) =

м
п
н
п
о

0, если t = 0 или x = 0,

kx/t, если 0 < x < t^k,

kt^k, если 0 < t^k < x.

имеет решения вида x(t) = Ct^k (C О [0, 1]). С другой стороны, очевидно,

На другой идее основано следующее утверждение о единственности. Пусть в скалярной задаче Коши (4) – (5) непрерывная функция f при любом фиксированном t является невозрастающей по x, т. е.

Тогда задача Коши (4) – (5) на любом промежутке вида [t₀, t₀ + T] не может иметь более одного решения. В самом деле, пусть x и y — два решения этой задачи. Обозначим [x(t) – y(t)]² через y(t). Тогда

yў(t) = 2[x(t) – y(t)]·[xў(t) – yў(t)] = 2[x(t) – y(t)]·[(f(t, x) – f(t, y)].

В силу (9) правая часть последнего равенства неположительна. Таким образом,

и следовательно, j(t) є 0, что и требовалось доказать.

Это утверждение легко переносится на случай систем дифференциальных уравнений:

Теорема единственности с односторонними ограничениями. Пусть f: D(f) ® Rⁿ (D(f) Н R × Rⁿ) непрерывна и такова, что при всех (t, x), (t,y) О D(f)

(x – y, f(t, x) – f(t, y)) Ј 0;

(10)

(здесь (·,·) — любое скалярное произведение в Rⁿ). Тогда задача (4) – (5) не может иметь на любом отрезке [t₀, t₀ + T] более одного решения.

Задача О4.5. Докажите, что в последней теореме для единственности решения на промежутке [t₀ – T, t₀] (T > 0) достаточно взамен (10) потребовать выполнения неравенства

Задачи. О4.6. Пусть L(t, x) = Y(t)F(x), Y, F: R₊ ® R₊, Y — измеримая, а F — непрерывная функции. Докажите, что задача (2) – (3) имеет единственное решение (в смысле Каратеодори) на [0, T], если т₀^TY(s) ds < Ґ и т₀¹dx/F(x) = Ґ.

В следующих трех задачах показывается, что в теореме Камке нельзя заменить требование j(t)/(t – t₀) ® 0 при t ® t₀ + 0 на требование jў(t) ® 0 при t ® t₀ + 0.

f(t, x) =

м
н
о

0, если t = 0 или x = 0,
kx/t, если 0 < x < t^k,
kt^k, если 0 < t^k <x.

Покажите, что задача (4) – (5) с t₀ = x₀ = 0 имеет неединственное решение.

О4.8. Пусть y: (0,Ґ) ® R непрерывно дифференцируема, t < y(t) < 4t²/3, yў(t) і 2t и lim_t®0yў(t) не существует. Пусть L: (0, Ґ) × R ® R определяется равенством L(t, z) = zyў(t)/y(z). Покажите, что функция f из предыдущей задачи удовлетворяет условию (1) с такой L.

О4.9. Покажите, что уравнение (2) с определенной в предыдущей задаче функцией L имеет на R₊ единственное решение j, удовлетворяющее условиям j(t) ®0, jў(t) ® 0 при t ® +0.

О4.10. Докажите, что если F: R₊ ® R₊ непрерывно дифференцируема, Fў(0) = 0 и F(0) = 0, то она удовлетворяет условиям теоремы Осгуда.

О4.11. Пусть D(f) = R × Rⁿ, ||f(t, x) – f(t, y)|| Ј F(||x – y||) при всех x, y О Rⁿ, а F(0) = Fў(0) = 0. Докажите, что f(t, x) не зависит от x.

О4.12. Докажите, что если функция f непрерывно дифференцируема по второму аргументу, т. е. ¶f/¶x непрерывна в D(f), то задача (4) – (5) не может иметь более одного решения.

О4.13. Покажите, что не существует "самого сильного критерия Осгуда", т. е. постройте для любой непрерывной функции F, удовлетворяющей условию (6), непрерывную удовлетворяющую этому же условию функцию Y такую, что F(x)/Y(x) ® 0 при x ® 0.

О4.14. Пусть задача xў = F(x), x(0) = 0, где F: R₊ ® R₊ — непрерывная функция, имеет единственное нулевое решение на промежутке [0,T]. Докажите, что т₀^edx/F(x) = Ґ при некотором e > 0.

File based on translation from T_EX by T_TH, version 2.32.
Created 15 Jan 2000, 21:12.
Last modified 23 Apr 2002.