Вестник Сыктывкарского университета. Сер. 1.Вып. 1.1995
УДК 517.9:536.46
К МАТЕМАТИЧЕСКОЙ ТЕОРИИ РАСПРОСТРАНЕНИЯ ПЛАМЕНИ
С.И.Худяев
Дается математическая постановка проблемы промежуточной асимптотики в теории горения и некоторые предварительные результаты в проблеме Зельдовича для КПП-уравнений (уравнений Колмогорова- Петровского- Пискунова).
1. Введение
В настоящей работе в порядке их математической формулировки рассматриваются две проблемы теории горения или более общо: проблемы волновых решений нелинейного уравнения теплопроводности. Первая касается основ теории горения и относится к понятию ” промежуточная асимптотика” [1-3], которое обычно связывается со стационарной волной горения, стационарной скоростью ее распространения. В этой части работы получают развитие представления, изложенные в работе [4], а численные расчеты [4] служат их обоснованием, хотя, конечно, не заменяют строгих доказательств.
Вторая проблема непосредственно вырастает из первой и касается наименьшей скорости волновых решений, когда существует по-лубесконечный интервал этих скоростей. В работе [4] была замечена неожиданно широкая область применимости известной формулы КПП (Колмогорова-Петровского-Пискунова) [5] для этой наименьшей скорости. В устной беседе с автором акад. Я.Б.Зельдович (1979 г.) предложил описать класс тех уравнений, для которых формула КПП остается в силе. В сообщении [6] было сформулировано одно из возможных расширений класса КПП-уравнений и некоторый предварительный результат относительно наименьшей скорости. Этот материал излагается в настоящей работе.
© С.И.Худяев, 1995. 234
2. О промежуточной асимптотике
Фундаментальным понятием в теории распространения пламени является понятие стационарной волны горения, стационарной скорости горения. В рамках простейшей математической модели волны горения, описываемой одним нелинейным уравнением теплопроводности [3, 4]
вг = вхх-<р(в), 0|*=-оо = О, 0х|х=-ОО = 0, (1)
где <р(в) - температурная зависимость скорости тепловыделения, обусловленного химическим превращением, стационарной волной принято считать ограниченное решение типа бегущей волны в(х, т) = в(х — ит) с искомой постоянной скоростью и. Для существования такого решения необходимо, по крайней мере, обращение в нуль функции <р(в) при в = 0 и в — 0|z=oo == $0 > 0. Для широко используемой в теории горения Аррениусовой функции тепловыделения [3,4]
4>{в)=впехp(“fT^)’ (2)
условие <p(6q) = 0 не имеет места. Как видно из формулы (2), <р(9о) = 0 лишь при = /З-1, что соответствует температуре, равной абсолютному нулю. Поэтому, строго говоря, для функции (2) стационарная волна отсутствует. Ее существования добиваются за счет искусственного обращения в нуль функции tp(6) в окрестности точки в — во, которая соответствует температуре непрореагировавшего вещества перед фронтом пламени. Ввиду того, что обычно #о 1, а <р(во) < 1, на результат слабо сказывается величина интервала, где (р(0) полагается равной нулю, а стационарной волне придают смысл промежуточной асимптотики решения (1), когда начальное условие уже ”забыто”, а величины порядка v?(#o) еще не сказываются [3, 4]. Ввиду неопределенности процедуры обращения в нуль <р(в) и интервала, где это происходит, такому приближению трудно придать четкий математический смысл. Кроме того, остаются неясными пределы применения такого подхода.
В работе [4] выполнено численное решение нестационарной задачи (1)-(2) при подходящих начальных условиях без обращения в нуль функции <р(9), с целью выяснения пределов применимости стационарного подхода. Хотя результаты [4] были весьма оптимистичны, все же математическая формулировка проблемы промежуточной асимптотики не была законченной. Ясно, что при <р(во) > 0
величина 0О = $|х=оо не остается постоянной и убывает во времени согласно уравнению
^ = -9(0о), 0„|„о =Г. (3)
Автором настоящей статьи было предложено в [4] искать квази-стационарное приближение для относительной величины
у(х, г) = 0 < у(х,т) < 1. (4)
Предельное значение этой функции при х = оо остается постоянной и равной 1 и подчиняется согласно (1), (3) уравнению
Ут=Ухх-<Р1, ЫМо) = - Ь(р{во)]. (5)
Отметим сразу же, что в отличие от (2) новая функция источника лр-1 в уравнении (5) обращается в нуль на граничных значениях V :
^|х=—ОО =' 0) ^|х=+оо == !• (б)
Это обстоятельство позволяет искать решение задачи (5)-(6) в виде бегущей волны
шйт,т) = и(£,т). (7)
Относительно и(£, г), £ = х — /шИт, приходим к уравнению
ит = + и>щ - 4>\{и, во), «1^-00 = 0, и|4=00 = 1. (8)
Поскольку в (8) явно входит переменная величина во, то удобно согласно (3) исключить г и считать масштабом времени
”=т-в°• = (9) <р(Т-Г1)и1, = Щ(+ШЩ-1р1(и,Т-Г1), «к=—00 = 0, «^-00 = 1.(10)
Вне некоторой окрестности г) = Т (во = 0, ср.(2)) множитель <р(Т — г}) при и^ очень мал, так что отыскание решения вида (7) сводится к сингулярно возмущенному уравнению. Можно ожидать, что вне
окрестности концов интервала 0 < г) < Т решение уравнения (10) будет близко к решению квазистационарного уравнения
и# + ищ - ч>1(и,Т - т)) = 0, м|^_оо = 0, 1х|{=00 = 1, (11)
в котором г] выступает как параметр. Вблизи г) = 0, (т = 0, #о = Т), где уравнение (10) предполагает задание произвольного начального условия, нельзя ожидать близости к решению (11), так же, как и вблизи т] — Т, когда величиной <р(Т — г]) нельзя пренебрегать. Это обстоятельство оправдывает для решения (11) термин ’’промежуточная асимптотика” [1-3].
Искомая скорость ш в задаче (11) зависит1 от параметра т], в конечном счете, от времени т. Надо сказать, что и при искусственном обращении в нуль источниковой функции скорость и> хотя и постоянна во времени, но зависит от способа обращения в нуль. Важно, что эта зависимость где-то слабая, так же, как и зависимость от г в задаче (11). При этом подход с помощью задач (10)-(11) базируется на точных математических формулировках и имеет определенные преимущества.
Мы уже подчеркивали, что независимо от параметра г) в задаче (11) имеет место
<р1(0,Т-г])=<р1(1,Т-г}) = 0.
Это условие необходимо для разрешимости (11) при каждом фиксированном 77, 0 < т) < Т, но может не быть достаточным. Совсем нетрудно проверить, что задача (11) оказывается неразрешимой, если <рх(и,Т — г}) < 0 в окрестности и = 0. Для функции (2) такая ситуация возникает при п > 1, где согласно (5) <р\ < 0 в окрестности у = 0. Излагаемая конструкция промежуточной асимптотики оказывается справедливой при п ^ 1. Тогда ц>\ > 0 и разрешимость (И) имеет место [7], причем для непрерывного спектра скоростей Ш ^ ^о(г)) > 0- При п > 1 нужны другие подходы [4].
Численные расчеты [4] показали, что свойством близости к решению (10) или (8) обладает решение (11), отвечающее наименьшей скорости и>о(г]). Задача состоит в строгом обосновании этого утверждения. Отметим, что при каждом фиксированном г) уравнение в вариациях для (11) имеет нулевое собственное значение с собственной функцией ъи — щ. Это обстоятельство, по-видимому, делает задачу обоснования непростой.
3. О наименьшей скорости волновых решений
Будем рассматривать уравнение (11) при фиксированном г). В
дальнейшем существенно поведение </?! вблизи и = 1, отвечающей,
как было сказано, температуре непрореагировавшего вещества перед фронтом пламени. Поэтому удобно положить 4 = 1 —ми иметь дело с окрестностью 4 = 0. Желая при этом сохранить решение монотонно возрастающим, положим { = —Итак, имеем
- сЛс + /(1) = 0, 4|с=-оо = о, *|с=оо = 1, (12)
где /(*) = у>](1 - *,0О). (см. (5)).
В работе [5] задача (12) подробно исследовалась в предположении
/(0) =/(!)= 0, /(*)>0, 0<*<1, (13)
/(*К/Ш 0 < 4 < 1. (14)
В действительности, в [5] вместо (14) использовалось более жесткое ограничение /'(4) ^ /'(0) при 0 < t < 1, однако результаты [5] о существовании решения задачи (12) для полубесконечного спектра скоростей и ^ и>о > 0 и формула
^ о = 2\/ /'(0) = <^кпп (15)
для нижней границы спектра справедливы при выполнении (14). Для функции /(4) = <£1(1 - t,9o), определенной формулами (5), (2) при гг ^ 1 условия (13) выполнены и, как было показано в [7], по-лубесконечный интервал скоростей и > и>о при этом сохраняется, но неравенство (14) нарушается и формула (15) для нижней границы интервала скоростей, вообще говоря, не сохраняется. Тем не менее в работе [4] было отмечено, что формула (15) может иметь место даже при сильном нарушении (14). В связи с этим и возникает вопрос о расширении класса КПП-уравнений (уравнений (12) с функцией /(4), подчиняющейся (13), (14)), для которого формула
(15) оставалась бы справедливой.
Решение () задачи (12) при выполнении (13) монотонно возрастает [7], так что д(4) = ^(() является положительным решением уравнения
^ = ш д(0) = д(1)=0. (16)
Ввиду > 0 из (16) вытекает неравенство
9(<)<(2^‘/(7-Иг)1/2 = ^((). (17)
Почленное интегрирование (16) с учетом (17) дает
и=£шл> /1 =/ ^т) = (2 /1 /(тМт),/2
Таким образом, для разрешимости задачи (12) при выполнении (13) необходимо условие
ш > (2 [ /(4)^)1/2 = и;ЗФК. (18)
,/о
В теории горения [3] правая часть (18) представляет собой известную приближенную формулу Зельдовича - Франк-Каменецкого для скорости горения. Неравенство (18) справедливо и для нижней границы и>о спектра скоростей. Следовательно, при условии (13) для выполнения (15) необходимо неравенство
/(0) ^ 2 У (^кпп^^зфк)- (19)
Условие (14), достаточное для выполнения (15), обеспечивает неравенство ^
/40) ^ 2 / /(£)Л (^кпп ^ 2о>зфк). (20)
ио
Здесь мы приведем одно расширение класса КПП-уравнений или класса функций /(4), подчиняющихся ограничениям (13), (14), и докажем следующий предварительный результат в этом классе: для выполнения формулы (15) необходимо, чтобы
/'(0) ^ / /(/)Л (^кпп ^ >/2^зфк)- (21)
Jo
Начнем со следующего вспомогательного предложения.
Лемм». Пусть /(£) положительная при 0 < £ < 2* функция, непрерывная вместе с производной /'(4) в окрестности t = 0, и /(0) =0, /'(0) > 0. Пусть д(<) положительное решение уравнения
(16) в области 0 < t < t^^ с начальным условием д(0) = 0 при некотором и ^ ^кпп- Пусть, далее,
/(*)'> с<, 0 < 4 < (22)
для некоторого с > 0, а А положительный корень уравнения
А2 - ш\ + с = 0. (23)
Тогда в интервале О < t < t* выполняется неравенство
q(t) < At. (24)
Доказательство. Прежде всего заметим, что из (22) следует неравенство с ^ /;(0), так что
и>2 — 4с ^ и2 — 4//(0) ^ ^кпп — 4/;(0) = О
и уравнение (23) имеет положительный корень А.
Предположим пока, что выполнено строгое неравенство с < f'(0). Тогда (см. (16), (23))
A>«40) = £(1 + v/1-4/'(0)«-»). (25)
Функция з» (t) = At удовлетворяет уравнению
&=u-ctq~l. (26)
Для разности q — q* из (16) и (26) с учетом (22) имеем
(q ~ q*) =----~-----+ cti - - - ) < —(g - д.).
q V?* ?/ M
Решая дифференциальное неравенство в области е < t <Л* (е > 0), находим
q(t) -At 4 (q(e) ~ Ае) exp (j- jf .
В силу (25) при достаточно малых £ имеем q{s) < Ае, тем самым
(24) доказано.
От предположения с < /'(0) легко избавиться с помощью возрастающей последовательности с„ —► /'(0) и соответствующей последовательности А„ —> А. При и — и>кпп» с = /'(О) неравенство (24) выполняется для A s= у^/'(0).
Опираясь на лемму, можно установить следующее.
Теорема. В классе функций /(4), подчиняющихся условиям (13) и неравенствам
. /(4) £/'(0)4, 0<4<4„ (27)
/(4) < /'(0)4, 4, < 4 < 1, (28)
для некоторого 4*, 0 ^ 4* ^ 1, при выполнении формулы (15) для
нижней границы шо интервала скоростей в задаче (12) справедливо неравенство (21).
Доказательство. При 4* = 0 условие (27) отпадает, а (28) сводится к (14). В этом случае выполняется (20) и тем более (21). Так что достаточно считать 4* > 0. Из (16) имеем
и; + (29)
Уо Уо 2
Условие (27) позволяет воспользоваться неравенством (24) при с =
/'(0). При ш = шкпп имеем д ^ л//'(0)4 при 0 < 4 < 4*. Поэтому из
(29) следует
/'(о) ? 4 Г ^ > 4 Г /*• (зо)
4* * 4* -/О
Если 4* = 1, то (21) установлено. Пусть 4* < 1. Рассмотрим функцию
<ф)=4/’/«*■ (31)
Согласно (30) имеем /'(0) > ^(4*). Покажем, что ^(5) ^ ф^*) при 5 > 4*. Запишем тождество
Ф(я) = ^(4*) + ~2 £ “ р?) (32)
В силу (27), (28) имеем
«<•) > 5/'(0). /’/<*»< Ло)£ЦД (»>*.)■
«/ ^
Поэтому из (32) при 4* < « следует
</>(«) ^ ^(^*)+5 у* - /Ф(^ < ф(**) < /'(°)-
При s = 1 имеем (21).
Условия теоремы, конечно расширяют класс КПП-уравнений, но утверждение теоремы констатирует лишь необходимость неравенства (21) для выполнения (15). Несомненно интересно, и в этом состоит проблема Зельдовича, описать класс функций /(<), более широкий, чем класс КПП, и достаточный для выполнения (15).
Пример, приведенный в [4], показывает, что в классе функций (13), (27), (28) неравенство (21) близко к достаточному условию выполнения (15), что во всем этом классе утверждение теоремы не может быть улучшено. Об этом же говорит следующий простой пример.
Пример. Функция f(t) = at + f3tn для t < 1, /(1) = 0 (n > 1, a > 0, /3 > 0) удовлетворяет (13), (27), (28) при t* = 1. Для нее неравенство (14) не выполнено ни при каком t £ (0,1). Тем не менее, задача (12) разрешима и формула (15) имеет место при /3 ^ а.
XI "(" 1
Неравенство (21) сводится в этом случае к (3 ^ —-—а.
&
Литература
1. Баренблатт Г.И., Зельдович Я.Б. Промежуточные асимптотики в математической физике// Успехи математических наук. 1971. Т.26. Вып. 2. С. 115-129.
2. Баренблатт Г.И. Подобие, автомодельность, промежуточная асимптотика. Л.: Гидрометеоиздат, 1978.
3. Зельдович Я.Б., Баренблатт Г.И., Либрович В.Б., Мах-виладзе Г.М. Математическая теория горения и взрыва. М.:Наука, 1980.
4. Aldushin А.Р., Khudyaev S.I., Zel’dovich Ja.B. Flame propagation in the reacting gaseous mixture//Archivum Combustionis. 1981. V.l.M/2. P. 9-21.
5. Колмогоров A.H., Петровский И.Г., Пискунов H.C. Исследование уравнения диффузии, соединенной с возрастанием количества вещества, и его применение к одной биологической проблеме//it Бюлл. МГУ. Секц. А. 1937. №16. С.1.
6. Khudyaev S.I. The Zel’dovich problem for KPP equations (Kolmogorov-Petrovskii-Piskunov equations)//Proceedings of the Zel’dovich Memorial. Intemat. Conference on Combustion. V.2. Moscow,1994. P. 451-455.
7. Ваганов Д.А., Худяев С.И. Об одной стационарной задаче теории горения//Физика горения и взрыва. 1969. №2. С.167-172.
Summary
Khudyaev S.I. To mathematical theory of flame propagation The mathematical formulation of the problem of intermediate asymptotics in the theory of flame propagation and some preliminary results in the problem of Zel’dovich for KPP-equations (equations of Kolmogorov-Petrovskii-Piscunov) are given.
Сыктывкарский университет
Поступила 8.02.95