Асимптотическое по времени поведение решения начальной задачи Коши для закона сохранения с нелинейной дивергентной вязкостью тема автореферата и диссертации по математике, 01.01.02 ВАК РФ
Гасников, Александр Владимирович
АВТОР
|
||||
кандидата физико-математических наук
УЧЕНАЯ СТЕПЕНЬ
|
||||
Москва
МЕСТО ЗАЩИТЫ
|
||||
2007
ГОД ЗАЩИТЫ
|
|
01.01.02
КОД ВАК РФ
|
||
|
На правах рукописи
Гасников Александр Владимирович
АСИМПТОТИЧЕСКОЕ ПО ВРЕМЕНИ ПОВЕДЕНИЕ РЕШЕНЯ НАЧАЛЬНОЙ ЗАДАЧИ КОШИ ДЛЯ ЗАКОНА СОХРАНЕНИЯ С НЕЛИНЕЙНОЙ ДИВЕРГЕНТНОЙ ВЯЗКОСТЬЮ
Специальность 01 01 02 - дифференциальные уравнения
АВТОРЕФЕРАТ
диссертации на соискание ученой степени кандидата физико-математических наук
1111111111111111111111
003160573
Москва - 2007
Диссертация выполнена на кафедре анализа систем и решений факультета управления и прикладной математики и в учебно-научном центре развития технологии анализа и прогнозирования государственной, региональной и отраслевой экономики с помощью математических моделей Московского физико-технического института (государственного университета)
Научный руководитель:
доктор физ.-мат наук, профессор Шананин Александр Алексеевич Официальные оппоненты:
доктор физ -мат наук, профессор Белолипецкий Александр Алексеевич
зав отделом математического моделирования технических систем ВЦ РАН
кандидат физ -мат наук, доцент Петросян Наталия Семеновна доцент кафедры математики ГОУ ВПО МГТУ "Станкин"
Ведущая организация:
Центральный экономико-математический институт РАН
Защита состоится _1_ ноября 2007 г. в _15 30_ часов на заседании
диссертационного совета К 212 203.04 при Российском университете дружбы народов по адресу 115419, Москва, ул Орджоникидзе, д. 3, ауд_495а_
С диссертацией можно ознакомиться
в Научной библиотеке Российского университета дружбы народов по адресу 117198, Москва, ул Миклухо-Маклая, д 6
Реферат разослан_сентября 2007 года
Ученый секретарь совета кандидат физ.-мат наук,
доцент
ИЛ Куценко
Общая характеристика работы
CD
Актуальность темы. Во второй половине 40-ых годов XX века в СССР и США интенсивно занимались изучением процессов возникающих при взрыве бомбы В частности большое внимание было уделено изучению начально-краевых задач для уравнения типа закона сохранения с нелинейной дивергентной вязкостью (здесь и везде в дальнейшем х - скалярная переменная, у - скалярная функция)
8t дх дх2
где ev'(y)> 0, f(y), v(y) - достаточно гладкие функции В последующие полвека было обнаружено, что начальная задача Коши (далее з К ) для уравнения (1) возникает также в макроскопической теории транспортных потоков, при моделировании конвекционного течения жидкости в пористой среде, при изучении устойчивых монотонных разностных аппроксимаций квазилинейных уравнений типа закона сохранения, в математической экономике при моделировании научно-технического прогресса (модель Полтеровича - Хенкина)
В конце 50-ых годов ИМ Гельфанд поставил задачу найти асимптотику при t —»оо решения y(t, х) уравнения (1) при следующих начальных условиях
У., х<х_
J>(0,*) = - Уй{х), хе[х_,х+), (2)
где х_<х+, < у+ и У0(х) - ограниченная измеримая функция при хе[х,,х+]
Интерес к этой задачи был вызван, в первую очередь, качественными вопросами газовой динамики Также решение задачи Гельфанда дает ответы на следующие вопросы как распространяется информация о заторе в транспортном потоке, описываемом моделью Лайтхилла - Уизема, как объяснить наличие нескольких укладов в экономике отрасли, описываемой моделью Полтеровича - Хенкина и ее обобщениями
В 1960 году AM Ильин и О А Олейник исследовали случай сходимости решений к бегущей волне (решению уравнения (1) вида y[x-ct)) или волне разрежения (решению уравнения (1) с £ = 0+ вида g(x/t)) Спустя 30 лет HF Weinberger изучал асимптотику вида системы бегущих волн и волн разрежения Ему удалось показать сходимость решений к этой системе волн на участках, соответствующих асимптотическому поведению "волна разрежения" Спустя еще почти 10 лет В М Полтерович и Г М Хенкин выдвинули гипотезу, согласно которой при определенных условиях асимптотика имеет вид чередующейся
системы бегущих волн и волн разрежения, при этом следует допускать зависимость сдвигов фаз бегущих волн от времени В 2004 году Г М Хенкин и А А Шананин доказали справедливость этой гипотезы в важном частном случае, когда асимптотика имеет вид бегущей волны - волны разрежения - бегущей волны В 2007 году Г М Хенкин полностью доказал сформулированную ранее гипотезу. Заметим, что в гипотезе рассматривалась конкретная вязкость При этом на функцию потока f(y) налагались условия, которые исключают возможность наличия в системе волн двух и более бегущих волн, идущих подряд Также на вторую производную функции потока налагались дополнительные требования в окрестностях точек, соответствующих переходу с бегущей волны на волну разрежения и наоборот
В последние годы наметилась тенденция другого подхода к решению задачи Гельфанда Этот подход восходит к пионерской работе А Н Колмогорова, И Г Петровского, Н С Пискунова (1937) (далее КПП), в которой изучалась сходимость решений начальной з К для уравнения теплопроводности с нелинейным источником к одной бегущей волне Результаты этой работы в 1977 году были распространены Р С Fife'oM и J В McLeod'oM на систему волн, состоящую для этого уравнения только из бегущих волн В работе М Mejai, Vit Volpert'a (1999) подход работы КПП был адаптирован к исследованию задачи Гельфанда В 2006 году S Engelberg и S Schochet с помощью "адаптированного" подхода исследовали случай сходимости решений к бегущей волне Возникла задача, подобная той, которую решили Р С Fife и J В McLeod для уравнения теплопроводности с нелинейным источником с помощью "адаптированного" подхода исследовать сходимость решений начальной з К для уравнения (1) к системе волн Актуальность решения этой задачи обусловлена, как минимум, двумя обстоятельствами Во-первых, новый подход может дать новые результаты в решении задачи Гельфанда В частности ответить на вопрос, как взаимодействуют две и более бегущие волны, идущие подряд Во-вторых, появляется возможность единообразно посмотреть на задачи исследования асимптотического поведения решений начальных з К для уравнения теплопроводности с нелинейным источником и для закона сохранения с нелинейной дивергентной вязкостью Таким образом, появляется гипотеза о достаточной универсальности подхода работы КПП
Цель работы. Основной целью диссертационной работы является распространение результатов Р С Fife'a и J В McLeod'a, касающихся сходимости решений начальной з К для уравнения теплопроводности с нелинейным источником к системе волн, на закон сохранения с нелинейной дивергентной вязкостью
Общая методика исследования. В диссертации широко используются различные обобщения известного из теории параболических уравнений принципа максимума (особо отметим принцип сравнения и принцип сравнения на фазовой плоскости) и неравенства Колмогоровского типа между нормами производных
В диссертационной работе предложен способ разбиения, в зависимости от времени, действительной оси, отвечающей пространственной переменной Разбиение делается на три типа участков, соответствующих предполагаемому поведению решений на больших временах 1) бегущая волна, 2) волна разрежения, 3) переход с одной бегущей волны на другую, переход с бегущей волны на волну разрежения, переход с волны разрежения на бегущую волну и окрестности точек х = ±оо
При доказательстве равномерной по координате сходимости по времени решений начальной з К для закона сохранения с нелинейной дивергентной вязкостью на участках, соответствующих бегущим волнам, используется конструкция, предложенная S Engelberg'oM и S Schochet'oM, базирующаяся на результатах М Mejai, Vit Volpert'a
Для доказательства равномерной по координате сходимости по времени решений начальной з К для закона сохранения с нелинейной дивергентной вязкостью на участках, соответствующих волнам разрежения, уточняются результаты Н F Wemberger'a
Сходимость на оставшихся участках выводится из уже установленных схо-димостей.
Научная новизна. Сходимость к одной бегущей волне в норме X, (Ж^) изучалась в диссертационной работе при предположении, что вязкость имеет нелинейный дивергентный вид Удалось обобщить результаты Н Freistuhler'a и D Serre'a (1998), полученные при условии, что вязкость линейна
Был предложен новый подход к исследованию задачи Гельфанда, который не требует тонкого анализа поведения решений на участках, соответствующих переходам с одной волны на другую С помощью этого подхода была доказана сходимость решений к системе волн в норме C(R;() при более общих условиях на функцию потока и на начальную функцию, чем в работах Г М Хенкина (часть из которых была выполнена в соавторстве с А А Шананиным и А Е Тумановым), правда, с менее точными оценками В частности в диссертации было исследовано взаимодействие двух и более бегущих волн, идущих подряд Было обнаружено, что, в отличие от закона сохранения (см С Н Кружков, Н С Пет-росян (1987)), у закона сохранения с нелинейной дивергентной вязкостью расстояние между центрами соседних бегущих волн неограниченно возрастает
Важным отличием предложенного в диссертации подхода от подхода Г М. Хенкина является способ определения сдвигов фаз бегущих волн В 2004 году Г М Хенкиным и А А Шананиным было предложено определять сдвиги фаз из открытых ими "локализованных законов сохранения" В диссертационной работе для случая, когда асимптотика имеет вид системы волн, показано, что сдвиги фаз можно определять аналогично тому, как это было сделано в работе КПП
Теоретическая и практическая значимость. Диссертационная работа носит теоретический характер При наиболее общих предположениях была решена задача Гельфанда.
Использовавшаяся в диссертации схема рассуждений даёт основание полагать, что подход работы КПП можно применять для широкого класса нелинейных уравнений параболического типа и их дифференциально-разностных аналогов
Полученные в диссертации результаты можно использовать, например, для качественного объяснения наличия нескольких укладов в экономике отрасли, описываемой моделью Полтеровича- Хенкина с учетом выбытия мощностей
Публикации. По материалам диссертации опубликовано 8 печатных работ
Апробация работы. Результаты работы докладывались на семинарах ВЦ РАН по нелинейным волнам под руководством проф А А Шананина (2004 - 2006 гг ), на семинаре ВЦ РАН под руководством доц С П Тарасова (2006 г ), на семинаре кафедры дифференциальных уравнений механико-математического факультета МГУ (2006 г), на семинаре им. ИГ Петровского (май 2007 г), на конференциях МФТИ (ноябрь 2004 г, ноябрь 2005 г), на 1-ой международной конференции САИТ-2005 (сентябрь 2005 г), на 5-ой международной конференции по исследованию операций, посвященной 90-летию Н Н Моисеева (апрель 2007 г ), на научной конференции ЭКОМОД-2007, посвященной 90-летию Н Н Моисеева (июль 2007 г )
Структура и объем диссертации. Диссертация состоит из введения, трех глав, четырех приложений и списка литературы Общий объем работы составляет страниц, включая список литературы из наименований
Содержание работы
Во введении сформулированы цели работы, обосновывается ее актуальность, дан краткий обзор работ связанных с темой диссертации, приводятся основные результаты и их предпосылки
В главе 1 излагается ряд примеров, в которых возникают изучаемые уравнения Приводятся необходимые в дальнейшем свойства решения начальной з К для уравнения (1) Изучается сходимость к бегущей волне в ¿¡(К^) решений начальной з К для уравнения (1)
В параграфе 1 уравнением (1) описывается макроскопическая модель однополосного транспортного движения, в которой транспортный поток рассматривается как поток одномерной сжимаемой жидкости (модель Лайтхилла - Уи-зема), а его дифференциально-разностным аналогом описывается микроскопическая модель Ньюэлла Проводится сопоставление этих моделей, которое позволяет определить в (1) зависимость вязкости от функции потока
В параграфе 2 приводится модель Полтеровича - Хенкина с учетом выбытия мощностей
Рассматривается отрасль производства Считается, что отрасль состоит из большого количества предприятий, которые распределены по уровням эффективности т е Z (показателем эффективности может быть рентабельность предприятия) Через ит (?) е [0,1] обозначается доля предприятий, которые находятся в момент времени I е [0,+°о) на уровнях с номерами не большими, чем т Ставится начальное условие им(0) = и0(т) Эволюция кривой распределения предприятий по уровням эффективности описывается бесконечной системой дифференциальных уравнений
где <р{и) > 0, р.{и) > 0 Разлагая конечные разности в ряд Тейлора до второго порядка включительно, получим
8у(и) [ 8у/{и)^сд2и ^ (4)
9/ дх дх2' где Г1'(и) = (<р(и) + ц(и))'1 >0, у/'(и) = (ср(и)-м(и))г)'(и), £ = к/2 Легко понять, что уравнение (4) сводится к уравнению (1) заменой у = т](и)
В параграфе 3 приводится теорема о корректности начальной з К для уравнения типа (1) Изучаются свойства решений
Рассматривается начальная з К
fr , df{y)j4y)
dt 8x 8x' V й>0^Ьт||Я^)-л(х)||МИл])=0) (6)
где V ye[m,M]->v'(y)2:v >0, V хеЖ-+т<у0(х)<М, lim y0{x) = y+,
со ~
У(,{х) - измеримая функция, f(y),v(y)eC4([т, M]j Под решением з К (5), (6) понимается ограниченная функция y(t, х), которая в полуплоскости t> 0 удовлетворяет (5), и принимав г начальные значения у0 (х) в смысле (6)
Приводится теорема, в которой собранны необходимые в дальнейшем свойства решения з К (5), (6) Пункты 3, 4, 6 - 8 ранее были известны только для случая v(y) = y Пункт 10 был известен для случая у'(у)> 0, но дополнительно предполагалось, что /(у) - не имеет точек сгущения нулей второй производной на отрезке [т, М]
Теорема 1. Решение y{t,x) = y(t,x,yü{xf) зК (5), (б) при t >0 существует и единственно Кроме того, y(t, х) непрерывна в полуплоскости t > 0 вместе с производными, входящими в уравнение (5), и справедливы следующие свойства решения
1 V t > 0 х, у0 (х)) - y(t, х, у0 (х))|^ < \\у0 (х) - F0 (х)|уаЛ,
СО ОС
—со —во
5 |/0(Ь)-/0(0)|<||б(х)-а(х)||^А), где /0(c) = hm|y(i,x;c(x))||A(Rj,
4 если |ук (х)}^ i - равномерно ограниченная последовательность гладких функций и ук (х) —> у0 (х), то У T>t0>0, R> 0
lim v(i,х,yn(x))-y(i,x,y*(xn ,, =0,
i-».olK V ' "0 V IJ s\> v. n\\c)l([,0 r],[-R Ä])
5 V f>0, xel$.—>m<y(t,x)<M, те y(t,x) не зависит от поведения достаточно гладких функций f(y), у(у) (v'(y)>0) при у еК\\т, М\,
6 V t>t0> 0, г =1,2,3 3 £>;>У(/О)>0 \dry(t, х)/дх'||сЛ) <£>;„,
7 если у_ = у+, V t > t0 >0d\y(t, х)-y^Jdt <-2v\\yx(t, x)(|^,
8 если y_ =y+, \Уо{х)~ У-l^j <°°> moV t>t0> 0
9 V i >0-» lim y(t,x) = y±, V t>0~> lim y'(t,x) = 0,
*->±co' 4 i->±oo V. ' /
70 V £>0 3 T*[S)>0 V t>T'(S)
inf x) > y_ - 5, sup y(t, x)<y++ô
xeR
Из п 4 теоремы 1 следует, что можно ограничиться рассмотрением только непрерывных (гладких) начальных условий, и понимать равенство (6) _у(0, х) = = Уц(х) в обычном смысле.
V lim y(t,x,)-yJx)
В параграфе 4 изучается сходимость в (№„) решений з К (5), (6) к бегущей волне
Под волновым решением (решением вида бегущей волны) уравнения (5) понимается возрастающая по х функция y(x-ct), определенная с точностью до сдвига аргумента, которая удовлетворяет уравнению (5) и следующим условиям. 3 т<ух<у2^М 7(5)при j->-оо и y(s)~*y2 при s—>00 Как известно, необходимые и достаточные условия существования волнового решения имеют следующий вид
1) с = сг(у1,72),2) V уе{у1,у2)->ст(у,у2)>сг(у1,у2), (7)
где cr(yl,y2) = (f(y2)~f(yl))/{у2 ~У,)
Доказывается следующая теорема, обобщающая результаты работ AM Ильина и О А Олейник (1960), S Osher'a и J Ralston'a (1982), H Freistuhler'a и D Serre'a (1998), D Serre'a (2004), касающиеся сходимости решений з К (5), (6) к одной бегущей волне
Теорема 2. Пусть справедлива формула (7) с у, = у_, у2=у+ и где константа d (сдвиг фазы) определяется из первого интеграла (5)
со со
^{y(t,x)-y{x-ct + d))dx = ^{y(0,x)-y{x + d))dx = 0
-«о -00
Тогда
hm\\y{t,x)-y(x-ct + d)\ |а(кЛ=0
В главе 2 исследуется поведение на больших временах производной решения з К (5), (6) по пространственной переменной, как многозначной функции самого решения и времени Доказывается сходимость на фазовой плоскости решений з К (5), (6) к системе волн
В параграфе 1 формулируется теорема о сходимости к системе волн на фазовой плоскости, обсуждается экстремальный смысл системы волн
Через Н(у) обозначается нижняя граница выпуклой оболочки множества
{(y.v)- уе[у_,у+], V>/(>>)} Везде в дальнейшем будем считать, что справедливо следующее представление
[уф.,у+] f{y)>H(y)} = (a0,ß0)v(a],ßl)v. где y_ = a0<ß0< ах <Д <a2<ß2<a3< <«„_, </?„_,<«„ < ß„ = у+, neN
Теорема 3. Пусть а0, ß0, ce¡,. ,ß„^,an,ß„ - не являются точками сгущения нулей f"{y) Тогда имеет место равномерная по у е (у_,у+) сходимость при t оо графика многозначной функции ух (у, t) к графику функции Ъ{y)/V(у), где R0(y) = f(y)-H(y),me
3а0>0 V <т0 >(Т>0 3 Т{а) V t>T(a), уе(у.,у+)
При v(j>) = у и "зажатой" между двумя монотонными функциями,
имеющими одинаковые пределы на х = ±со, соответственно у±, теорема 3 была установлена М Mejai, Vit Volpert'oM (1999)
В параграфе 2 приводится утверждение о структуре множества нулей линейного параболического уравнения с переменными коэффициентами На основе этого утверждения выводится принцип сравнения на фазовой плоскости, на котором базируется все последующее изложение в этой главе
Наряду с уравнением (5) рассматривается уравнение вида (4), в котором полагается u(t, х) ~v{y(t, x)j и е = 1 Теорема 3 переписывается, как 3 сг0 > О V <70><г>0 3 Т(а) V t>T(a), уе(у„,у+)
+ (8)
Показывается, что
dük(x-ckt + di)/dx=R0(Tj(ük)) = R1i(yk) при yke(ak,ßk) Определяется класс функций \
^(^е^ V «о еК.-» |^(50)>0=>{\/ 5 >л0 >О}] и
и {^(¿о) < О => {V 4 < 50 < О})
В заключение параграфа доказывается следующее утверждение Принцип сравнения на фазовой плоскости. Пусть и'(/, х), г = 1,2 удовлетворяют в полуплоскости ? > 0 уравнению (4), У (г, х) = ?](и' (г, х)) - такие непрерывные, ограниченные в полуплоскости I > 0 функции, что
У (0, х)-у\0,х)еА0
Тогда
V ?>0, х(/)е{х У (*, х) = у2(г, х)} *(/))>(г,х(?))
5 параграфе 3 с помощью принципа сравнения на фазовой плоскости доказывается правое неравенство (8)
В параграфе 4 с помощью принципа сравнения на фазовой плоскости доказывается левое неравенство (8) Тем самым завершается доказательство теоремы 3
В параграфе 5 при дополнительных предположениях относительно начальной функции и функции потока оценивается скорость сходимости в теореме 3, т е оценивается функция Т(а) Утверждение 1 Пусть
'/"(&_,)>о, ГК)>о, к=\,...,п
■ /"(«„)>О если а0<& и /'(«„) = + 0) , (9)
/"(/?„)> О если ап<р„ и /'(Д> Я'(Д, - 0) >>0(х) имеет вид (2),
V хе[х_,х+]^о'(х)>0 (Л'00 = Л(*±±0)) (Ю)
Тогда в теореме 3 можно считать, что
В С>0 V <т0 > с > 0 Т(<т) = Са'3/2 Условие (9), наложенное на функцию потока, называется в диссертации условием общего положения, а условие (10), наложенное на начальную функцию, -условием типа Римана
В главе 3 доказывается сходимость в С(КХ) решений зК (5), (6) к системе волн Доказательство базируется на теореме 3 и принципе сравнения
В параграфе 1 формулируется теорема о сходимости к системе волн в г) Вводятся необходимые в дальнейшем определения При условии, что справедливо соотношение
V ^е(у90,а1)и(А,аг)и /'(у)>0, (11)
вводится определение волн разрежения gk (х/г) для задачи (5), (6)
* </'(&)'
&(*А) = 'Г\Ф), Г{Рк)1<х<Г{ам)1,к = 0,..,п-\. (12)
Если рк = , то полагается gк{x|t) = Д.
С помощью формулы (7) показывается, что существуют следующие решения уравнения (5) вида бегущей волны Ук(х-с^ + <4), к- О, ,п, где
Л С5) ПРИ *->-<» и ПРИ ск=а{<хк,/Зк) Если =
то полагается ук[х-с^ + с1к) = ак. Далее из соотношения
V 1>(,>0^у((,ск(-с1к({)) = ук(0) = у;=(ак+/Зк)/2 (13)
с помощью теоремы 3 и теоремы о неявной функции определяются гладкие функции ¿ = 0, , и, а также числа ук(0), к-0, ,и
В результате получается, что система волн у[(,х, с11 (?), , «?„(*)), задаваемая формулой
= «0 + ¿(л (* - ^ + (0) - «*) + (ф)-Рк)> (14)
4=0 *=0
будет определена при
Приведенные выше определения позволяют сформулировать основной результат диссертационной работы, следующим образом
Теорема 4. Пусть справедливо соотношение (11) Тогда
2 V £ = 0, 1тк^'(*) = 0,
3 если <хк<рк- аы < Рш, то с1к (г) - <а?Л+1 (?) —» оо ирм ? -» се
.Если дополнительно справедливо условие общего положения (9), то можно также утверждать, что
4 dk(t) = o(Jt}, k = l, ,n-\,npun>2
Если, кроме того, справедливо условие типа Римана (10), то можно оценить скорость сходимости в пункте 1
sup \y(t,x) - y(t,x, d0 (i), dx (t), , dn (/))| = 0(Г1/3),
а также уточнить пункты 2иЗ следующим образом
¿/(i) = 0(r1/12), = ,n, еслиак<рк = аы<рм,тоЗ %>0, T>0 V t>T->dk(t)-dw(t)>zft
В параграфе 2 приводится схема доказательства п 1 теоремы 4. При предположениях, что уже доказана сходимость на участках, соответствующих асимптотическому поведению "бегущая волна" и "волна разрежения", устанавливается сходимость на оставшихся участках
Множество Ха (V) = y(t, х) е [а0 + сг, рп - сг]| разбивается, в зависимости от а0 â а > 0 и f > 0, на конечное число непересекающихся подмножеств
х' {1)=щ (t) и ©г (0 и До (0 и &2 (t) и щ (t) и &з (О и АГ M и и &2„-2 (0 и s*, (t) и ©Li (0 и д*, (о и ©* (о и зя* (о, где
{х y(t,x)e[ak + (7,Pk-o-]}>ecm ак = рк, то 5 *(i) = 0, К (0 = {х y(t> х) 6 [А + сг, ам - сг]}, если рк = ам, то А°к (t) = 0,
0Sw (0 = {* y{t>х)€ [А - о-, А + *] Л к+А - о-]} »
©2*(0 = {х y(t, *) е [а, - <т, at + <т] П[а0 + ст,рп-а]} В § 3, § 4 главы 3 диссертационной работы показано, что
V <70> а >0 3 Г(сг) = max jjg (<т), (<т)| V tèf(a)
V ¿ = 0, sup \y(t,x)-yk(x-ckt + dk(t))\<a, (15)
V k = 0, ,n-l~> sup \y(t, x)-gk{x/t)\<a, (16)
xeAW)
где, по определению, супремум по пустому множеству равен нулю Из теоремы 3 следует, что V сг0 > а > 0 3 Л(сг) > 0
*=0
С помощью формул (14) - (17), а также с учетом монотонности по х функций ук (х - ckt + dk (t)), gk (xft), доказывается, что
V ?>тах{г(£7),г(л(<т))} = г(а)
V £ = 0, ,и-> зир \у(г,х)-у(1,х,<1^),с1^), ,<(г))|<(4п + 1)с-, (18)
хеЗ?(1)
V к = 0, ,п-1~* вир \у(их)-уЬ,х, (*),<*,(?), ,й?„(?))к(4и + 1)<т (19)
С помощью формул (18), (19), а также с учетом монотонности по х системы волн _у( ) при х е К, доказывается, что V ?>Г(<т)
V / = 1, 81ф *)-.)!(/,*, ¿о^),^ (Г), ,й7л(?))|<(4И + 3)<т (20)
«0Г(О
Наконец, из (18) - (20) и п 9 теоремы 1 выводится справедливость п 1 теоремы 4
5 параграфе 3 с помощью теоремы 3 устанавливается сходимость решений на участках, соответствующих поведению "бегущая волна", т е. устанавливается формула (15) и, как следствие, доказывается справедливость п 2 теоремы 4 Лемма 1. 3 <т0 >0 V сг0 ><т>0, к = 0, ,п 3 ак(а)>0
V (>Т(ак(<т)) = £(<г)-> зир \у(1, х)-ук(х-ск( + с1к(1))\<а
«зго)
Схема доказательства. Пусть ак < Рк Из теоремы 3 следует, что
3 о-0>0 V <у0 > а >0 3 сок (а) > 0 t>r(ëk(cr)), уе[сск+а/2,0к-ст/2]
{ШУМ+ЧИТуЛК*)* ЩЫУЖУУЧЮУУЛУ.*) (21)
Полагая Н±а 4(у) = ± ®к (с)] <Ь>, проинтегрируем (21) по (Ьс
от - с1к (?) до х, учитывая формулу (13) Получим, что
к{у(*>х))< х-(ск1 -йк(/))<к(у(1, х)),
VI = н'-1 * (х - Ч + ^ (0) * У(*> х) * (х ~ V + ^ (0) = (22)
¿е/
Заметим, что Щ1к(х-с^ + с1к(?)) = ук(х-ск1 + ¿к(?)) = ук Считая, для определенности, ук>у'к, получим, что у*к>ук>у'к> ук Оценим сверху ук-у~к и Ук ~Ук на Еа/2(£) = {х ук(х-ск( + с!к (?)) е [ак + ег/2, Д - ег/2]} в зависимости от а Для этого заметим, что
/(-«с М/у'(м>) ~ сок И)"' сЬ = х-ск1 + с!к (?) = )(Д0 {у>)/У{у»)У +
Ук у'к
12
Ук.
+ ¡(R,(w)/y'(w)y}chV> ]{Rü{w)lv\w))'Xdw+ mm Шу)1у'{у)У{ук-у-)
* У\Ук>Ук]
Ук
Поэтому при X б Ё?1 (i) (те при у*к<ук йук<J3k- сг/2) имеем, что 3 &к(а)>&к(<т)>0- yt-y¡¿6>k(a) тах Шу)/у'(у))х
У%Ук.Ук\
л 2
Аналогично показывается, что
3 &к{а)>а>к(фО V xssf(t)^y¡-yk< <ак(а) rnx (Ra(y)¡v'(у)+ а>к{а))х
ve v, v, '
' У<{у~к.Ук\
Ук
X 1(*о (w)/v'(w) + (а))-1 (В, (w)¡v'(w)yl dw < ^ у\ ¿
Используя эти оценки, перепишем формулу (22), как
У t>T{mk{a)),XeEf{t)^f(t)
Ук (* - + dk (f)) - а/2 < y(t, х) <ук(х- ckt + dk (t)) + a¡2 => => y(t, x) - <7/2 <yk(x-ckí + dk (/)) < y(t, x) + a/2 Следовательно, xe S¿/2(?) П S¿/2(/) => x e EaJ2 (/) П Щ (t) Отсюда вытекает справедливость леммы 1
При п = \, ag=a¡, + 0), /'(Д)^Я'(Д-0) аналогичное
лемме 1 утверждение было установлено S Engelberg'oM, S Schochet'oM (2006) Следствие 1. V к = 0, ,п 3 рк>О V <j0>g>0, t>T^[cok(pka))4
dk'(t)<a
В параграфе 4 с помощью принципа сравнения устанавливается сходимость решений на участках, соответствующих поведению "волна разрежения", те устанавливается формула(16)
Принцип сравнения. Пусть РГ(1, х), х) - непрерывные ограниченные функции в полуплоскости / > 0, удовлетворяющие условиям
) = х)/& х))/дх-дЦж(и х))/дх1>0,
Ь/уУ{1,х)< О,
всюду в полуплоскости f>0 за исключением, быть может, конечного числа непрерывных кривых вида х = x(t) Причем, производные, входящие в Lj- v, ограничены вне этих кривых и на каждой такой кривой
d(w(t, x(t) - О) - V(t, x(t) - О))/дх > d{w(t, x(t) + О) - V(t, x(t)+О))/дх Тогда если W( О, х) > V(0, х), то W(t, х) > V(t, х) при t>0 Лемма 2. Путь справедливо соотношение (11) Тогда
3 <т0 >0 V <70>cr>0, k = Q, ,и-1 3 Г/(ег)>0 t>T*{cr)
sup \y(t,x)-gk(x/t)\<<? (23)
Справедливость леммы 2 была установлена Н F Weinberger'oM (1990) при условии, что супремум в формуле (23) берется по множеству , где ст0 > 0 -фиксированное число
В приложениях 1-3 завершается доказательство теоремы 4
В приложении 1 оценивается скорость сходимости в формуле (15), те оценивается функция Ts (а), при условии, что у0 (х) - неубывающая функция и справедливы соотношения (9)
В приложении 2 оценивается скорость сходимости в формуле (16), т е оценивается функция 7д (а), при условии, что у0 (х) - неубывающая функция и справедливы соотношения (9)
В приложении 3 доказываются п 3 и п 4 теоремы 4 При доказательстве п 3 используется только теорема 3 Для доказательства п 4 привлекается ещё лемма 2 При условии, что справедливы соотношения (9), (10), п2, пЗ теоремы 4 уточняются с помощью утверждения 1
В приложении 4 изучается поведение на больших временах функции распределения предприятий по уровням эффективности в отрасли, описываемой моделью Полтеровича- Хенкина с учетом выбытия мощностей
Отмеченная в § 2 главы 1 связь между уравнениями (3), (4) позволяет выдвинуть гипотезу о том, что решения начальных з К для дифференциально-разностного уравнения (3) и его непрерывного аналога (4) ведут себя схожим образом на больших временах
В заключение параграфа эта гипотеза доказывается в частном случае
Теорема 5. Пусть <р(и), р{и) еС3([0,1]),<р'{и)>0, jj'(u) < 0 Тогда 3 К > О V t S1 sup| ит (/) - G(m!t)\ < к/Jt, где
met
G(m/t) =
0, m < p(0)i (p{ ))'1(m/t), p(0)t<m<p(l)t,
1, m>p(ï)t
p(u) = <p(u)-/u(u)
Доказательство базируется на дифференциально-разностном аналоге принципа сравнения При //(«) = 0 утверждение теоремы 5 было установлено В М Полтеровичем и Г М Хенкиным(1999)
Результаты, выносимые на защиту
1 В диссертации предложен новый подход, к определению асимптотического по времени поведения решений начальной з К для закона сохранения с нелинейной дивергентной вязкостью, базирующийся на результатах H F Wemberger'a (1990), M. Mejai, Vit Volpert'a (1999) и S Engelberg'a, S Schochet'a (2006)
2 С помощью этого подхода было доказано, что если ограниченная измеримая начальная функция имеет пределы на плюс и минус бесконечности, то решение з К для закона сохранения с нелинейной дивергентной вязкостью сходится (равномерно по пространственной переменной) к системе волн, состоящей из бегущих волн и волн разрежения, причем следует допускать зависимость сдвигов фаз бегущих волн от времени
3 Были получены асимптотические оценки сдвигов фаз бегущих волн, а также исследовано взаимодействие двух и более бегущих волн, идущих рядом
4 При начальных условиях типа Римана и функции потока, удовлетворяющей условию общего положения, была оценена скорость сходимости к системе волн и скорость, с которой отдаляются друг от друга бегущие волны, идущие рядом
В заключении, автор выражает благодарность доктору физико-математических наук, профессору Александру Алексеевичу Шананину за постановку задач и постоянное внимание к работе Также хотелось бы поблагодарить H С Петросян, ЕЮ Панова, ОС Розанову и D Serre'а за ряд ценных за-
мечаний, касающихся соответственно введения и пЗ теоремы 4, теоремы 1, главы 2 и леммы 1, теоремы 1 и § 4 главы 1
Работа выполнена при финансовой поддержке РФФИ (коды проектов 05-01-00942а, 06-01-00752а), по программе государственной поддержки ведущих научных школ (код проекта НШ - 5379 2006 1), при поддержке аналитической ведомственной целевой программы РНП 2 2 1 1 2467
Публикации автора по теме диссертации
1 Гасншов А В Асимптотическое по времени стремление решений уравнений типа законов сохранения с искусственной вязкостью к ударной волне или волне разряжения Труды XLVII конференции МФТИ, 4.7 Москва - Долгопрудный 2004 С 168-170
2 Гасников А В Законы сохранения Асимптотические свойства решений Приложение к модели Полтеровича-Хенкина Труды I международной конференции САИТ-2005, Т. 1 УРСС2005 С 80-86
3 Гасников А В Сравнение определений обобщенного решения квазилинейного уравнения Труды XLVTII конференции МФТИ 4 7 Москва - Долгопрудный, 2005 С 102-104
4 Гасников А В Сравнение определений обобщенного решения задачи Коши для квазилинейного уравнения М ВЦ РАН 2006 С 1-75
5 Гасников А В Асимптотическое по времени поведение решения квазилинейного уравнения параболического типа // ЖВМ и МФ, Т 46 № 12 2006 С 2237-2255
6 Гасников А В Сходимость решения уравнения Полтеровича-Хенкина с амортизацией к волне разрежения Труды V международной конференции по исследованию операций, посвященной 90-летию со дня рождения академика НН Моисеева М МАКС Пресс 10-14 апреля 2007 С 117-119
7 Гасников А В Сходимость по форме решения начальной задачи Коши для квазилинейного уравнения параболического типа к системе волн Труды международной конференции "Дифференциальные уравнения и смежные вопросы", посвященной памяти И Г. Петровского М МГУ 21-26 мая 2007 С 97-98
8 Гасников ABO гипотезах Гельфанда и Полтеровича - Хенкина Труды II Всероссийской научной конференции "ЭКОМОД 2007", посвященной 90-летию со дня рождения академика Н Н Моисеева Киров 9-15 июля 2007 С 79
ВВЕДЕНИЕ.
ГЛАВА 1. Сходимость в норме 1,(КХ) решения начальной задачи Коши для закона сохранения с нелинейной дивергентной вязкостью к бегущей волне.
§ 1 Модель Лайтхилла - Уизема.
§ 2 Модель Полтеровича - Хенкина с выбытием мощностей.
§ 3 Свойства решения начальной задачи Коши для закона сохранения с нелинейной дивергентной вязкостью.
§ 4 Сходимость в норме Ц (M.J решения начальной задачи Коши для закона сохранения с нелинейной дивергентной вязкостью к константе и к бегущей волне.
ГЛАВА 2. Сходимость на фазовой плоскости решения начальной задачи Коши для закона сохранения с нелинейной дивергентной вязкостью к системе волн.
§ 1 Обобщение теоремы Mejai - Volpert'a. Экстремальный смысл системы волн.
§ 2 Принцип сравнения на фазовой плоскости.
§ 3 Оценка сверху производной по пространственной переменной решения начальной задачи Коши для закона сохранения с нелинейной дивергентной вязкостью.
§ 4 Оценка снизу производной по пространственной переменной решения начальной задачи Коши для закона сохранения с нелинейной дивергентной вязкостью.
§ 5 Оценка скорости сходимости на фазовой плоскости решения начальной задачи Коши для закона сохранения с нелинейной дивергентной вязкостью к системе волн.25 г
ГЛАВА 3. Сходимость в норме C(Rj решения начальной задачи Коши для закона сохранения с нелинейной дивергентной вязкостью к системе волн.
§ 1 Теорема о равномерной сходимости к системе волн.
§ 2 Схема доказательства.
§ 3 Исследование равномерной сходимости к системе волн на участках, соответствующих асимптотическому поведению "бегущая волна".
§ 4 Исследование равномерной сходимости к системе волн на участках, соответствующих асимптотическому поведению "волна разрежения".
Во второй половине 40-ых годов XX века в СССР и США интенсивно занимались исследованием процессов возникающих при взрыве бомбы. В частности, большое внимание было уделено изучению начально-краевых задач для уравнения типа закона сохранения с нелинейной дивергентной вязкостью (здесь и везде в дальнейшем х - скалярная переменная, у - скалярная функция) I5/(у) J2y(y) dt дх дх2 где у'(у) >0; f{y), у {у) - достаточно гладкие функции. В последующие полвека было обнаружено, что начальная задача Коши (далее з.К.) для уравнения (1) возникает также в макроскопической теории транспортных потоков [1], при моделировании конвекционного течения жидкости в пористой среде [2], при изучении устойчивых монотонных разностных аппроксимаций квазилинейных уравнений типа закона сохранения [3], в математической экономике при моделировании научно-технического прогресса (модель Полтеровича - Хенкина) [4]-[8].
В конце 50-ых годов И.М. Гельфанд поставил задачу (см. стр. 119 работы [9]): найти асимптотику при t -> да решения y{t, х) уравнения (1) при следующих начальных условиях типа Римана: у, х<х - у0(х), х<х<х+, (2)
Л' где х < х+, у <у+ и у0 (х) - ограниченная измеримая функция при х е [х, х+].
Интерес к этой задачи был вызван, в первую очередь, качественными вопросами газовой динамики. Также решение задачи Гельфанда даёт ответы на следующие вопросы: как распространяется информация о заторе в транспортном потоке, описываемом моделью Лайтхилла - Уизема; как объяснить наличие нескольких укладов в экономике отрасли, описываемой моделью Полтеровича - Хенкина и её обобщениями.
В 1960 году A.M. Ильин и О.А. Олейник [10] исследовали случай сходимости решения з.К. (1), (2) к бегущей волне (решению уравнения (1) вида y{x-ct}) или волне разрежения решению уравнения (1) с вида g(x/t)). Спустя 30 лет H.F. Weinberger [11] изучал асимптотику вида системы бегущих волн и волн разрежения. Ему удалось показать сходимость решения з.К. (1), (2) к этой системе волн на участках, соответствующих асимптотическому поведению "волна разрежения". Спустя ещё почти 10 лет В.М. Полтерович и Г.М. Хенкин [8] выдвинули гипотезу, согласно которой при определённых условиях асимптотика имеет вид чередующейся системы бегущих волн и волн разрежения, при этом следует допускать зависимость сдвигов фаз бегущих волн от времени. В 2004 году Г.М. Хенкин и А.А. Шананин [12] доказали справедливость этой гипотезы в важном частном случае, когда асимптотика имеет вид бегущей волны - волны разрежения - бегущей волны (см. также [13]). В 2007 году Г.М. Хенкин [14] полностью доказал сформулированную ранее гипотезу. Заметим, что в гипотезе рассматривалась конкретная вязкость. При этом на функцию потока / (у) налагались условия, которые исключают возможность наличия в системе волн двух и более бегущих волн, идущих подряд. Также на вторую производную функции потока налагались дополнительные требования в окрестностях точек, соответствующих переходу с бегущей волны на волну разрежения и наоборот.
В последние годы наметилась тенденция другого подхода к решению задачи Гельфан-да. Этот подход восходит к пионерской работе А.Н. Колмогорова, И.Г. Петровского, Н.С. Пискунова 1937 года [15], в которой изучалась сходимость решения начальной з.К. для уравнения теплопроводности с нелинейным источником к одной бегущей волне. Результаты этой работы в 1977 году были распространены Р.С. Fife'oM и J.B. McLeod'oM [16] на систему волн, состоящую для этого уравнения только из бегущих волн (см. также [17]). В 1999 году М. Mejai и Vit. Volpert'oM [18] подход работы [15] был адаптирован к исследованию задачи Гельфанда. В 2006 году S. Engelberg и S. Schochet [19] с помощью "адаптированного" подхода исследовали случай сходимости решения начальной з.К. для уравнения (1) к бегущей волне. Возникла задача, подобная той, которую решили Р.С. Fife и J.B. McLeod [16] для уравнения теплопроводности с нелинейным источником: с помощью "адаптированного" подхода исследовать сходимость решения начальной з.К. для уравнения (1) к системе волн. Актуальность решения этой задачи обусловлена, как минимум, двумя обстоятельствами. Во-первых, новый подход может дать новые результаты в решении задачи Гельфанда. В частности ответить на вопрос, как взаимодействуют две и более бегущие волны, идущие подряд. Во-вторых, появляется возможность единообразно посмотреть на задачи исследования асимптотического поведения решений начальных з.К. для уравнения теплопроводности с нелинейным источником и для закона сохранения с нелинейной дивергентной вязкостью. Таким образом, появляется гипотеза о достаточной универсальности подхода работы [15].
Основной целью диссертационной работы является распространение результатов Р.С. Fife'a и J.B. McLeod'a [16], касающихся сходимости решения начальной з.К. для уравнения теплопроводности с нелинейным источником к системе волн, на закон сохранения с нелинейной дивергентной вязкостью.
В диссертации предложен новый подход к исследованию задачи Гельфанда, который не требует тонкого анализа поведения решения на участках, соответствующих переходам с одной волны на другую. Опишем вкратце, в чём состоит этот подход.
Действительная ось, отвечающая пространственной переменной, разбивается (в зависимости от времени) на три типа участков, соответствующих предполагаемому поведению решения на больших временах: 1) бегущая волна; 2) волна разрежения; 3) переход с одной бегущей волны на другую, переход с бегущей волны на волну разрежения, переход с волны разрежения на бегущую волну и окрестности точек х = ±<ю.
При доказательстве равномерной по координате сходимости по времени решения начальной з.К. для закона сохранения с нелинейной дивергентной вязкостью на участках, соответствующих бегущим волнам, используется конструкция, предложенная S. Engelberg'ом и S. Schochet'oM [19], базирующаяся на результатах М. Mejai и Vit. Volpert'a [18].
Для доказательства равномерной по координате сходимости по времени решения начальной з.К. для закона сохранения с нелинейной дивергентной вязкостью на участках, соответствующих волнам разрежения, уточняются результаты H.F. Weinberger'а [11].
Сходимость на оставшихся участках выводится из уже установленных сходимостей.
С помощью этого подхода доказана сходимость решения к системе волн в норме C(Mj при более общих условиях на функцию потока и на начальную функцию, чем в работах [12] - [14], правда, с менее точными оценками. В частности в диссертации исследовано взаимодействие двух и более бегущих волн, идущих подряд. Было обнаружено, что, в отличие от закона сохранения (см. С.Н. Кружков, Н.С. Петросян [20]), у закона сохранения с нелинейной дивергентной вязкостью расстояние между центрами соседних бегущих волн неограниченно возрастает.
Важным отличием предложенного в диссертации подхода от подхода работ [12] - [14] является способ определения сдвигов фаз бегущих волн. В 2004 году Г.М. Хенкиным и А.А. Шананиным [12] было предложено определять сдвиги фаз из открытых ими "локализованных законов сохранения". В диссертационной работе для случая, когда асимптотика имеет вид системы волн, показано, что сдвиги фаз можно определять аналогично тому, как это было сделано в работе[15].
Опишем структуру диссертационной работы.
В главе 1 рассматривается ряд примеров, в которых возникает начальная з.К. для закона сохранения с нелинейной дивергентной вязкостью. Приводятся необходимые в дальнейшем свойства решения начальной з.К. для уравнения (1). Исследуется сходимость в норме L, (R,) решения начальной з.К. для уравнения (1) к бегущей волне.
В параграфе 1 уравнением (1) описывается макроскопическая модель однополосного транспортного движения, в которой транспортный поток рассматривается как поток одномерной сжимаемой жидкости (модель Лайтхилла - Уизема), а его дифференциально-разностным аналогом описывается микроскопическая модель Ньюэлла. Проводится сопоставление этих моделей, которое позволяет определить в (1) зависимость вязкости от функции потока. 1
В параграфе 2 приводится модель Полтеровича - Хенкина с учётом выбытия мощностей, описывающая эволюцию функции распределения предприятий в отрасли производства по уровням эффективности. Отмечается связь между задачей исследования поведения функ-, ции распределения предприятий на больших временах и задачей Гельфанда.
В параграфе 3 собраны вместе необходимые в дальнейшем свойства решения начальной з.К. для уравнения (1). Приводится теорема о корректной постановке з.К.
В параграфе 4 исследуется сходимость в норме Ц (1^) решения начальной з.К. для уравнения (1) к бегущей волне и к константе.
В главе 2 исследуется поведение на больших временах производной решения начальной з.К. для уравнения (1) по пространственной переменной, как многозначной функции самого решения и времени. Доказывается сходимость на фазовой плоскости решения начальной з.К. для уравнения (1) к системе волн.
В параграфе 1 формулируется теорема о сходимости к системе волн на фазовой плоскости, обсуждается экстремальный смысл системы волн.
В параграфе 2 приводится утверждение о структуре множества нулей линейного параболического уравнения с переменными коэффициентами. На основе этого утверждения выводится принцип сравнения на фазовой плоскости, на котором базируется всё последующее изложение в этой главе.
В параграфе 3 с помощью принципа сравнения на фазовой плоскости оценивается сверху производная решения начальной з.К. для уравнения (1) по пространственной переменной.
В параграфе 4 с помощью принципа сравнения на фазовой плоскости оценивается снизу производная решения начальной з.К. для уравнения (1) по пространственной переменной. Завершается доказательство теоремы, сформулированной в параграфе 1.
В параграфе 5 при дополнительных предположениях относительно начальной функции и функции потока оценивается скорость сходимости в теореме параграфа 1.
В главе 3 доказывается сходимость в норме C(MJt) решения начальной з.К. для уравнения (1) к системе волн. Доказательство базируется на теореме параграфа 1 главы 2 и на принципе сравнения.
В параграфе 1 формулируется теорема о сходимости к системе волн в норме C(RX).
В параграфе 2 приводится схема доказательства теоремы параграфа 1. При предположениях, что уже доказана равномерная сходимость на участках, соответствующих асимптотическому поведению "бегущая волна" и "волна разрежения", устанавливается равномерная сходимость на оставшихся участках.
В параграфе 3 с помощью теоремы параграфа 1 главы 2 устанавливается равномерная сходимость на участках, соответствующих асимптотическому поведению "бегущая волна".
В параграфе 4 с помощью принципа сравнения устанавливается равномерная сходимость решения на участках, соответствующих асимптотическому поведению "волна разрежения".
В приложении 1 оценивается скорость равномерной сходимости решения к системе волн на участках, соответствующих асимптотическому поведению "бегущая волна".
В приложении 2 оценивается скорость равномерной сходимости решения к системе волн на участках, соответствующих асимптотическому поведению " волна разрежения".
В приложении 3 при дополнительных предположениях на начальную функцию и функцию потока оценивается скорость равномерной сходимости решения к системе волн. Уточняются оценки сдвигов фаз бегущих волн.
В приложении 4 изучается поведение на больших временах функции распределения предприятий по уровням эффективности в отрасли, описываемой моделью Полтеровича -Хенкина с учётом выбытия мощностей. Доказывается теорема о сходимости функции распределения к волне разрежения.
Результаты, приведённые в диссертации, были опубликованы в работах [21] - [28].
Автор выражает благодарность доктору физико-математических наук, профессору Александру Алексеевичу Шананину за постановку задач и постоянное внимание к работе. Также хотелось бы поблагодарить Н.С. Петросян, Е.Ю. Панова, О.С. Розанову и D. Serre'a за ряд ценных замечаний, касающихся, соответственно, введения и п.З теоремы 4, теоремы 1, главы 2 и леммы 6, теоремы 1 и § 4 главы 1. Ценным для автора было обсуждение вопросов близких к теме диссертации с В.З. Беленьким, А.Г. Куликовским, В.М. Полтеровичем, В.В. Пухначёвым, И.В. Рублёвым, Р.С. Свирщевским, С.П. Тарасовым, Г.М. Хенкиным. Пользуясь случаем, хочу также поблагодарить А. Жукову, М. Рыкову, Д. Савенкова, Ю. Усанова за предоставление результатов численных экспериментов по модели Полтеровича - Хенкина и её обобщениям, а И. Виноградова за помощь в написании § 1 главы 1.
Работа выполнена при финансовой поддержке РФФИ (коды проектов 05-01-00942а, 06-01-00752а), по программе государственной поддержки ведущих научных школ (код проекта НШ - 5379.2006.1), при поддержке аналитической ведомственной целевой программы РНП.2.2.1.1.2467.
1. УиземДж. Линейные и нелинейные волны. М.: Мир, 1977.
2. Peletier L.A. The porous media equation, Proc. Cong. On Bifurcation Theory; Application of Nonlinear Analysis in the Physical Science, 1979.
3. Harten A., Hyman J.M., Lax P.D. On finite-difference approximations and entropy conditions for shocks // Comm. Pure Appl. Math., 1976. V. 29. P. 297-322.
4. Полтерович B.M., Хенкин Г.М. Математический анализ экономических моделей Эволюционная модель взаимодействия процессов создания и заимствования технологий // Экономика и мат. методы, 1988. Т. 24. № 6. С. 1071-1083.
5. Henkin G.M., Polterovich V.M. Shumpetrian dynamics as non-linear wave theory // J. Math. Econom., 1991. V. 20. P. 551-590.
6. Гельман Л.М., Левин М.И., Полтерович B.M., Спивак В.А. Моделирование динамики распределения предприятий отрасли по уровням эффективности (на примере черной металлургии) // Экономика и мат. методы, 1993. Т. 29. № 3. С. 460-469.
7. Henkin G.M., Polterovich V.M. A difference-differential analogue of the Burgers equation: Stability of the two-wave behavior // J. Nonlinear Sci., 1994. V. 4. P. 497 517.
8. Henkin G.M., Polterovich V.M. A difference-differential analogue of the Burgers equation and some models of economic development // Discrete and continuous dynamic systems, 1999. V. 5. №4. P. 697-728.
9. Гельфанд И.М. Некоторые задачи теории квазилинейных уравнений // УМН, 1959. Т. 14. №2(86). С. 87-158.
10. Ильин A.M., Олеиник О.А. Асимптотическое поведение решений задачи Коши для некоторых квазилинейных уравнений при больших значениях времени // Матем. сб., 1960. Т. 51(93). №2. С. 191-216.
11. Weinberger H.F. Long-time behavior for regularized scalar conservation law in absence of genuine nonlinearity // Ann. Inst. H. Poincare, Anal. Non Lineaire, V. 7.1990. P. 407-425.
12. Henkin G.M., Shananin A.A. Asymptotic behavior of solutions of the Cauchy problem for Burgers type equations // J. Math. Pures Appl., 2004. V. 83. P. 1457-1500.
13. Henkin G.M., Shananin A.A., Tumanov A.E. Estimates for solution of Burgers type equations and some applications // J. Math. Pures Appl., 2005. V. 84. P. 717-752.
14. Henkin G.M. Asymptotic structure for solutions of the Cauchy problem for Burgers type equations // J. fixed point theory appl., (in print).
15. Колмогоров A.H., Петровский И.Г., Пискунов H.C. Исследование уравнения диффузии, соединенной с возрастанием количества вещества, и его применение к одной биологической проблеме // Бюл. МГУ. Математика и механика, 1937. № 6. Т. 1. С. 1-26.
16. Fife Р. С., McLeod J.B. The approach of solutions of nonlinear diffusion equations to travelling front solutions // Arch. Rational Mech. Anal., 1977. V. 65. P. 335-361.
17. Volpert A.I., Volpert Vit.A., Volpert Vl.A. Traveling waves solutions of parabolic system // Translations of Mathematical Monographs, 2000. V. 140. P. 1-455.
18. Mejai M., Volpert Vit. Convergence to systems of waves for viscous scalar conservation laws // Asymptotic Analysis, 1999. V. 20. P. 351-366.
19. Engelberg S., Schochet S. Nonintegrable perturbation of scalar viscous shock profiles // Asymptotic Analysis, 2006. V. 48. P. 121-140.
20. Кружков C.H., Петросян H.C. Асимптотическое поведение решений задачи Коши для нелинейных уравнений первого порядка // УМН, 1987. Т. 42. № 5(257). С. 3-40.
21. Гасников А. В. Асимптотическое по времени стремление решений уравнений типа законов сохранения с искусственной вязкостью к ударной волне или волне разрежения. Труды XLVII конференции МФТИ. Москва Долгопрудный, 2004. Ч. 7. С. 168-170.
22. Гасников А.В. Законы сохранения. Асимптотические свойства решений. Приложение к модели Полтеровича-Хенкина. Труды I международной конференции САИТ-2005. УРСС, 2005. Т. 1.С. 80-86.
23. Гасников А.В. Сравнение определений обобщенного решения квазилинейного уравнения. Труды XLVIII конференции МФТИ. Москва Долгопрудный, 2005. Ч. 7. С. 102104.
24. Гасников А.В. Сравнение определений обобщенного решения задачи Коши для квазилинейного уравнения. М.: ВЦ РАН, 2006. С. 1-75.
25. Гасников А.В. Асимптотическое по времени поведение решения квазилинейного уравнения параболического типа//ЖВМ и МФ, 2006. Т.46. № 12. С. 2237-2255.
26. Гасников А.В. О гипотезах Гельфанда и Полтеровича Хенкина. Труды II Всероссийской научной конференции "ЭКОМОД 2007", посвященной 90-летию со дня рождения академика Н.Н. Моисеева. Киров, 9-15 июля 2007. С. 79.
27. Lighthill M.J., Whitham G.B. On kinematic waves: II. Theory of traffic flow on long crowded roads // Proc. Roy. Soc. A., 1955. V. 229. P. 281-345.
28. Richards P.I. Shock waves on the highway // Oper. Res., 1956. V. 4. P. 42-51.
29. ИносэХ, Хамада Т. Управление дорожным движением. М.: Транспорт, 1983.
30. Семенов В.В. Математическое моделирование динамики транспортных потоков // Нелинейный мир, № 5-6, Ч. 1.2005.
31. Newell G.F. Nonlinear effects in the dynamic of car-following // Oper. Res., 1961. V. 9. P. 209-229.
32. Kerner B.S. Three-phase traffic theory and highway capacity: Preprint, November 2002.
33. Олейник O.A., Вентцель Т.Д. Первая краевая задача и задача Коши для квазилинейных уравнений параболического типа// Матем. сб., 1957. Т. 41(83). № 1. С. 105-128.
34. Олейник О.А. Разрывные решения нелинейных дифференциальных уравнений // УМН, 1957. Т. 12. №3(75). С. 3-73.
35. Бернштейн С.Н. Ограничение модулей последовательных производных решений уравнений параболического типа // ДАН СССР, 1938. Т. 18. № 7. С. 385-388.
36. Ладыженская О.А., Солонников В.А., Уральцева Н.Н. Линейные и квазилинейные уравнения параболического типа. М.: Наука, 1967.
37. Кружков С.Н. Нелинейные параболические уравнения с двумя независимыми переменными // Труды Московского математического общества, 1967. Т. 16. С. 329-346.
38. Фридман А. Уравнения с частными производными параболического типа. М.: Мир, 1968.
39. Hoff D., Smoller J. Solutions in the large for certain nonlinear parapolic systems // Ann. Inst. H. Poincare, Anal. Non Lineaire, 1985. V. 2. P. 213-235.
40. Кружков С.Н. Квазилинейные уравнения первого порядка со многими независимыми переменными // Матем. сб., 1970. Т. 81(123). № 2. С. 228-255.
41. Crandall M.G., Tartar L. Some relations between non-expansive and order preserving mappings // Proc. A.M.S., 1980. V. 78. № 3. P. 385-390.
42. Serre D. Ll stability of shock waves in scalar conservation laws, in: Evolutionary Equations // Handbook of Differential Equations, North-Holland, Amsterdam. 2004. V. 1. P. 473-553.
43. Dafermos C.M. Hyperbolic Conservation Laws in Continuum Physics. Springer-Verlag Berlin Heidelberg, 2005.
44. Protter M.H., Weinberger H.F. Maximum principles in differential equations. New-York: Springer, 1986.
45. Freistiihler Н., Serre D. I1 stability of shock waves in scalar viscous conservation laws // Comm. Pure Appl. Math., 1998. V. 51. P. 291-301.
46. Matano H. Nonincrease of the lap-number of a solution for a one-dimensional semilinear parabolic equation // J. Fac. Sci. Univ. Tokyo Sect. IA Math. Phys., 1982. V. 29. P. 401-441.
47. Натансон И.П. Теория функций вещественной переменной. М.: Наука, 1974.
48. Osher S., Ralston J. Ё stability of traveling waves with application to convective porous media flow // Comm. Pure Appl. Math., 1982. V. 35. P. 737-749.
49. Рождественский Б.Л., Яненко Н.Н. Системы квазилинейных уравнений и их приложения к газовой динамике. М.: Наука, 1978.
50. Abourjaily C., Benilan P. Symmetrization of quasi-linear parabolic problems // Rev. Un. Mat. Argentina, 1998. V. 41. P. 1-13.
51. Магарил-Ильяев Г.Г., Тихомиров B.M. Выпуклый анализ и его приложения. М.: УРСС, 2003.
52. Габушин В.Н. Неравенства между производными в метриках Lp при 0<р<со // Изв.АН СССР. Сер. матем., 1976. Т. 40. № 40. С. 869-892.
53. Габушин В.Н. Неравенства для производных решений обыкновенных дифференциальных уравнений в метриках Lp (0<р<со) //Дифференц. уравнения, 1988. Т. 24. № 10. С. 1662-1670.
54. Габушин В.Н. Точные константы в неравенствах между нормами производных функций // Матем. заметки, 1968. Т. 4. № 2. С. 221-232.
55. Sz.-Nagy В. Uber integralungleichungen zwischen einer function und ihrer ableitung // Acta Sci. Math., 1941. V. 10. P. 64-74.
56. Арестов B.B. Приближение неограниченных операторов ограниченными и родственные экстремальные задачи // Успехи матем. наук, 1996. Т. 51. № 6. С. 89-124.
57. Uchiyama К. The behavior of solutions of some nonlinear diffusion equation for large time // J. Math. Kyoto Univ., 1978. V. 18. P. 453-508.
58. Khaikin B.I., Filonenko A.K., Khudyaev S.I. Flame propagation in the presence of two successive gas-phase reactions // Combust., Expl. and Shock Waves, 1968. V. 4. P. 343-349.
59. Мержанов А.Г., Руманов Э.Н., Хайкин Б.И. Мультизонное горение конденсированных систем // Прикл. мех. и техн. физ., 1972. № 6. С. 99-105.
60. Кузнецов Н.Н. Точность некоторых приближенных методов расчета слабых решений квазилинейного уравнения первого порядка // ЖВМ и МФ, 1976. Т. 16. № 6. С. 14891502.
61. Петросян Н.С. Об асимптотике решения задачи Коши для квазилинейного уравнения первого порядка с невыпуклой функцией состояния // УМН, 1983. Т. 38. № 2(230). С. 213-214.
62. DiPerna R.J. Decay and asymptotic behavior of solutions to nonlinear hyperbolic system of conservation laws // Ind. Univ. math, journ., 1975. V. 24. № 11. P. 1047-1071.
63. Dafermors C.M. Characteristics in hyperbolic conservation laws. A study of structure and the asymptotic behavior of solutions. Heriot Watt symposium, V. 1 // Research notes in math., London: Pitman, 1977. V. 17. P. 1-58.
64. Liu T.-P. Admissible solutions of hyperbolic conservation laws // Mem. Amer. Math. Soc., 1981. V. 30. №240. P. 1-78.
65. Cheng K.-S. Asymptotic behavior of solution of a conservation law without convexity condition // J. Diff. Equat., 1981. V. 40. № 3. P. 343-376.
66. Петросян Н.С. Об асимптотических свойствах решения задачи Коши для квазилинейного уравнения первого порядка // Дифференц. уравн., 1984. Т. 20. № 3. С. 502-508.