Full Text
Об асимптотике решения задачи коши для сингулярно возмущенного дифференциально-операторного уравнения переноса с малой диффузией в случае многих пространственных переменных [1]
1. ПОСТАНОВКА ЗАДАЧИ
Строится асимптотическое разложение решения задачи Коши для сингулярно возмущенного дифференциально-операторного уравнения переноса с малой нелинейностью и диффузионными слагаемыми
(1)
(2)
Здесь – решение, зависящее от времени, пространственных переменных и переменной , 0<ε<<1 – малый положительный параметр, Di (p) – непрерывные по переменной p функции, достаточно гладкая, быстро убывает вместе со всеми своими производными при :
(3)
константы C,κ могут зависеть от номера k. Операторы коэффициентов диффузионного обмена описывают диффузионные потоки по пространственным переменным xi ( первый индекс относится к пространственным переменным, второй указывает, что операторы действуют по переменной p).
На данные задачи наложим условия.
I. Оператор Lp имеет счетное количество простых собственных значений λi , i=0,1,…, которым отвечает полная система собственных функций hi. Оператор Lp имеет однократное нулевое собственное значение λ0 =0, которому отвечает собственная функция h0, собственная функция h*0 есть собственная функция сопряженного оператора L*, отвечающая нулевому собственному значению; остальные ненулевые собственные значения λ имеют отрицательные вещественные части: Re λ <-ϰ<0.
II.
III. Операторы B*i имеют нулевые собственные значения, которым отвечают собственные функции :
IV. Ниже положим
Легко показать, что из условий I–III следует закон сохранения
(4)
Начальные условия (2), имеющие вид асимптотически узкой «шапочки», выбраны таким образом для того, чтобы исследовать асимптотику решения в наиболее интересных зонах больших градиентов начальных условий.
Настоящая работа является продолжением работ [1]–[3]. Основная цель настоящей работы – получение формального асимптотического разложения решения (ФАР, АР) задачи (1), (2) по малому параметру и определение задач, описывающих главный член разложения, представляющий в прикладных областях основной интерес.
Асимптотическое разложение (АР) решения начальной задачи строится методом пограничных функций (см. [4]) и имеет вид
(5)
Вид переменных описан ниже. Порядок разложения N определяется гладкостью входных данных.
Для краткости записи в тех случаях, когда это не вызывает неоднозначности при прочтении, в формулах зависимость от параметра p может быть опущена.
В соответствии с погранслойным методом А.Б. Васильевой и В.Ф. Бутузова (см. [4]) нелинейная функция F(U) представляется в виде
(6)
В представлениях (5) и (6) играет вспомогательную роль.
2. ПОСТРОЕНИЕ АСИМПТОТИКИ
Наличие нулевого собственного значения у оператора Lp относит сингулярно возмущенное уравнение (1) к так называемому критическому случаю (см. [4]). Построение АР для решения аналогичных задач подробно описано в работах [1]–[3], поэтому многие выкладки ниже опущены.
2.1. Построение регулярной части АР
Регулярная часть АР решения задачи (1) при условиях (2) равна нулю, но для дальнейшего изложения необходимо выписать задачу, из которой определяется главное слагаемое регулярной части:
(7)
Опуская выкладки, аналогичные выкладкам в работах [1]–[3], сразу выпишем форму главного члена и уравнение, которому подчиняется функция :
(8)
где
(9)
Полученные выражения для коэффициентов Vi существенны для дальнейших построений.
При начальных условиях, зависящих только от растянутых переменных , начальные условия для u0 имеют вид , поэтому , все остальные ui тоже равны нулю. Соответственно этому, и представление (6) принимает вид
2.2. Построение функции S
Функция S, зависящая от растянутых переменных , строится в виде
(10)
где Vi определяются формулами (9). Функция S есть решение уравнения
(11)
Переходя к переменным и принимая во внимание получаем уравнение для определения
(12)
Подставляя (10) в (12) (см. [4]), получаем соотношения
где
Из первого соотношения получаем
(13)
Легко показать, что уравнение для s1 разрешимо в силу условий II и III, следовательно, s1 можно записать в виде
(14)
В (13) и (14) – пока не определенные функции, зависящие от переменных , G – псевдообратный к Lp оператор. (Назовем линейный оператор псевдообратным к оператору , имеющему однократное нулевое собственное значение , если решение уравнения при выполнении условия представимо в виде , где не зависит от , – собственная функция сопряженного оператора , отвечающая собственному значению .)
Исключим с помощью (14) функцию φ1 из условия разрешимости уравнения для определения s2 :
Подставляя сюда s0= φ0 h0, , исключая s1 с помощью соотношения (14), принимая во внимание условия I–III и легко проверяемое равенство получаем замкнутое уравнение для определения φ0. Введем обозначения
(15)
Тогда уравнение для определения φ0 может быть записано в компактной форме
(16)
Наложим условие диссипативности.
V. Квадратичная форма является отрицательно знакоопределенной ( или полузнакоопределенной):
Не затрагивая вопросы существования, единственности и свойств решений уравнения (16), формально построим остальные члены разложения (10).
Уравнения для остальных членов разложения (10) получаются стандартно (см. [4]). Опуская объемные выкладки, которые приведены, например, в [1],[2], вводя обозначение
и принимая во внимание обозначения (15), введенные выше, запишем уравнение для определения φ1 :
(17)
где Φ1 выражается через φ0. Отметим, что уравнение (17), в отличие от уравнения (16), линейное.
Уравнения для остальных членов разложения получаются аналогично и имеют аналогичный вид (с заменой индекса у φ и Φ с 1 на n, при этом Φn выражается через φj, j<n).
2.3. Построение функции П
Построенная выше функция S ни в каком приближении не может удовлетворить начальным условиям. Для удовлетворения начальным условиям строится функция П:
(18)
Построение функции П делается стандартно (см. [4]). Функция Π есть решение уравнения
(19)
совместно с функцией S должна удовлетворять начальным условиям и быть функцией погранслоя:
(20)
Построение уравнений, из которых определяются члены разложения (18), проводится стандартно (см. [4]), описано во многих работах и здесь не приводится.
Главный член разложения (18) есть решение уравнения
(21)
Начальные условия для s0 и π0 ставятся совместно с условием π0 →0 при τ→∞:
(22)
В силу условия I на собственные значения оператора Lp и условия (20) функция π0 имеет вид
(23)
Начальные условия для φ0 и π0 получаются из (22) и (23) с учетом s0=h0 (p)φ0 (ζ,t) и полноты системы собственных функций hi :
откуда однозначно находятся φ0(ζ,0) и все Ci, i=1,2,... :
(24)
Начальные условия для φ0(ζ,t) определены, функция π0 построена в явном виде.
Остальные πi (i≥1) определяются из неоднородных уравнений
(25)
Здесь Pi выражаются через πj, j<i.
Начальные условия для функций φi и πi ставятся совместно:
(26)
Из (26) получаются начальные условия для φi и πi по аналогии с [4] .
Тем самым, построены задачи для определения всех членов АР (5).
3. ОЦЕНКА S- и Π-ФУНКЦИЙ
3.1. Оценка S-функций
Авторам не удалось найти в литературе исчерпывающих результатов, касающихся вопросов существования, единственности и оценок решений начальных задач для уравнений типа (16). Для одномерных уравнений подобного вида ряд результатов приведен, например, в работах [5]–[7].
Ввиду этого обстоятельства, ниже придется оперировать с, по сути, непроверяемыми условиями на данные задачи.
Будем считать выполненными следующие условия 1 и 2.
Условие 1. Пусть выполнены условия I–V и функция F(U,p), операторы Lp и Bi,p таковы, что решение задачи (15), (23) существует и единственно на некотором промежутке [0,T], и на этом промежутке выполняется оценка
(27)
где С и k – положительные постоянные.
Условие 2. Решения всех задач (16), (26) до номера N существуют, единственны и удовлетворяют на том же промежутке оценке
(28)
3.2. Оценка Π-функций
Из явного вида функции π0 (23) и алгоритма построения функций πi, i=1,2,…, при выполнении условия I справедливы оценки
(29)
Доказательство элементарное и здесь не приводится.
4. ОЦЕНКА ОСТАТОЧНОГО ЧЛЕНА
Ограничимся теоремой об оценке остаточного члена в АР (5) по невязке.
Будем считать выполненным следующее условие 3, непроверяемое непосредственно по данным задачи.
Условие 3. Пусть решение задачи (1), (2), существует и единственно на некотором промежутке [0,T], где T>0 не зависит от ε.
Оценка остаточного члена проводится по невязке.
Теорема. Если справедливы условия I–V и условия 1, 2, 3, то решение задачи (1), (2) представимо в виде
где S+Π есть построенное АР, и остаточный член удовлетворяет задаче Коши
Доказательство. Существование самой величины R следует из условия 3. Оценка непосредственно вытекает из оценок (27)–(29) и алгоритма построения АР.
5. ЗАКЛЮЧЕНИЕ
1. Отметим еще раз, что главный член АР (5)
при t> t0, где t0 >0 – любое фиксированное (не зависящее от ε) число, имеет вид
(30)
В представлении (30) есть решение уравнения (15), которое в развернутой форме имеет вид
(31)
Уравнение (31) можно назвать обобщенным уравнением Бюргерса–Кортевега–де Фриза (см. [8]). Для квадратичной по переменной u функции F (u,p) уравнение (31) становится прямым обобщением уравнения Бюргерса–Кортевега–де Фриза на многомерный случай:
(32)
В случае одной пространственной переменной уравнение (32) отличается от уравнения Бюргерса–Кортевега–де Фриза (см. [8]) только коэффициентами.
2. Представляется интересным тот факт, что эволюция начального распределения (2), имеющего вид асимптотически узкой «шапочки», определяется уравнением (31) – уравнением в частных производных третьего порядка, в то время как исходное уравнение (1) содержит производные по пространственным переменным второго порядка.
3. При иной расстановке степеней малого параметра, а также при изменении условий на функцию F и на операторы L, B асимптотика решения может иметь иной вид.
[1] Работа выполнена при финансовой поддержке Минобрнауки РФ в рамках государственного задания в сфере научной деятельности на тему «Модели, методы и алгоритмы искусственного интеллекта в задачах экономики для анализа и стилизации многомерных данных, прогнозирования временных рядов и проектирования рекомендательных систем», номер проекта FSSW-2023-0004.