Положим
Очевидно (см. (1.2)),
при
Теорема. Если
то справедливо неравенство
Доказательство. Пусть
-положительное решение задачи (1.1). Положим
где
определена формулой (1.4):
Так как
то из (1.1) имеем
Почленным интегрированием (1.1) легко убедиться, что
значит, —
при
Поэтому из (1.6) и условия
следует неравенство
Так как
то
оказывается верхней функцией задачи
которая, таким образом, имеет положительное решение
есть нижняя функция) при любом
Отсюда и следует первое неравенство (1.5). поскольку в задаче
Пусть теперь выполнено неравенство
и пусть
положительное решение задачи (1.8) при некотором
Положим
где
определена формулой (1.4) Подставляя
в (1.1) и учитывая (1.8) и неравенство
легко убедиться, что
есть верхняя функция задачи (1.1) при том же значении К. Ввиду произвольности
отсюда следует второе неравенство (1.5).
Теорема доказана.
2. Следствия об асимптотике.
В том случае, когда плотность распределения источников
зависит от малого параметра
интересно установить асимптотику величины
при со
Если
то, очевидно,
Однако доказанная теорема позволяет указать асимптотику в ряде нетривиальных случаев.
Слсдствие 1. Пусть
а
суть ветчины (1.2), (1.4). Если равномерно по
При
очевидна асимптотика
(см 2.1)).
Часто подходящая сшивка асимптотических выражений при
дает хорошее описание зависимости
при любых со Например, при
напрашивается формула
Пример 2 В качестве другого примера рассмотрим задачу Павлопа [39] о верхнем пределе самовоспламенения в цепной неразветвленной реакции На конкретном примере такой реакции автор показывает, что нарушение условий самовоспламенения при повышении давления происходит не только в разветвленных цепных реакциях, как было принято считать, но и в неразветвленных цепных реакциях Не вдаваясь в обсуждение постановки и заложенных в ней физических предположений, приведем более строгое решение этой задачи (см [59]).
Для определения стационарного поля температур в [39] получено уравнение и граничные условия
при
при
(последнее условие равносильно ограниченности
при
Здесь
давление;
некоторые параметры
Удобно ввести безразмерные переменные и параметры
и положить
Заметим, что давление
входит только в параметр
Задача (2 9) переписывается следующим образом:
Формально задача (2 11) не является задачей типа (11), поскольку нарушается условие (1.3), но мы уже знаем
что при малых
существует как точка скачка минимального решения и
причем приближенно
Здесь
критическое значение X при
Его поведение мы и будем исследовать. Кривая
разбивает область
на две области:
I — область самовоспламенения
область малых разогревов
О верхнем пределе самовоспламенения говорят тогда, когда при любом неизменном X, увеличивая
мы попадаем из области I в область
когда
неограниченно возрастает при
Для
вычисленным по формулам (1.2), (1.4), предоставляем читателю убедиться в том, что
и что можно применять следствие 2 при
согласно которому
Из (2 13) следует, что
при о, чем и подтверждается вывод о существовании верхнего предела самоноспламепения
При
ввиду
следует асимптотика
Формулы (2 13) и (2 14) с учетом (2 12) подсказывают следующий вид зависимости
где
при
по крайней мере с такой точностью, с какой позволяет приближенная формула (2.12). Численный расчет множителя
проведенный при
дал следующую зависимость.
которая показывает правомерность использования формулы (2 15) даже без множителя
3. Замена переменной.
Как следует из доказательства теоремы п. 1 и легко проверяется непосредственно, интегрирование уравнения
тогда и только тогда сводится к интегрированию уравнения
когда существует подстановка
удовлетворяющая следующим условиям:
При этом каждое решение
уравнения (3.1) имеет вид
где
некоторое решение уравнения (3.2).
Дифференциальное уравнение (3.4) легко интегрируется, и формула (3.3) определяет класс вссх допустимых функций
для которых сведение уравнения (3.1) к уравнению (3.2) возможно. Если отбросить тривиальное решение
то для
из (3.4) получаются следующие формулы:
Здесь
произвольные константы;
Хотя, как видно из (3.5), класс допустимых функций
весьма ограничен, знание его все же оказывается полезным. Из последней формулы (3.5) и (3.3) следует, например, что при любой степенной