КВАЗИЛИНЕЙНЫЕ ГИПЕРБОЛИЧЕСКИЕ УРАВНЕНИЯ И СИСТЕМЫ

Значение КВАЗИЛИНЕЙНЫЕ ГИПЕРБОЛИЧЕСКИЕ УРАВНЕНИЯ И СИСТЕМЫ в математической энциклопедии:

- уравнения и системы дифференциальных уравнений вида:

где оператор Lхарактерен тем, что в каждой точке существует проходящий через нее вектор z такой, что для произвольного непараллельного к z, вектора hхарактеристическое уравнение

относительно параметра lимеет тk действительных корней (каждый корень считается столько раз, какова его кратность).

Система уравнений (1) рассматривается относительно искомой вектор-функции и(х)с компонентами и ₁ (х),... , u_k(x)(в случае одного уравнения k=i). Коэффициенты а ^a- матрицы, элементы к-рых зависят от независимых пространственных переменных х=( х ₀,... , х _п), вектор-функции и(х)и ее частных производных до порядка т-1 включительно. От этих же аргументов зависит правая часть f. Если а ^a являются квадратными матрицами порядка, совпадающего с числом компонент вектор-функции и(х), система (1) наз. определенной системой. Характеристическая форма:

определяется по главной части оператора L.

Элементы поверхности, к-рые проходят через нек-рую точку Ри ортогональны векторам z, наз. элементами пространственного типа. Векторы z, проходящие через z, определяют так наз. конус нормалей. Любое направление, выходящее из точки во внешней полости конуса нормалей, наз. направлением временного типа. Кривая, к-рая в каждой точке пространства переменных химеет направление временного типа, наз. кривой временного типа.

Среди задач для К. г. у. и с. центральное место занимает задача Коши - задача нахождения решения и(х)системы (1), если на нек-рой гладкой n-мерной гиперповерхности П, определенной уравнением

известны значения вектора-функции и(х)и ее частных производных по какому-нибудь нетангенциальному к П направлению до порядка т-1 включительно. Если такое решение всегда можно найти, то гиперповерхность П наз. свободной относительно оператора L.

Если коэффициенты системы (1) и условия Коши, заданные на аналитической свободной гиперповерхности П, аналитичны, то аналитическое в окрестности П решение единственно; если, помимо этого, условия Коши определяют на П все производные до порядка т-1, то, согласно теореме Коши - Ковалевской, в достаточно малой окрестности любой точки поверхности П аналитич. решение отсутствует. Эта теорема применима ко всем аналитич. уравнениям и системам независимо от того, какому типу они принадлежат. При неаналитических же данных теорема не дает ответа о существовании таких решений.

Если никакая часть Гиперповерхности П не свободна, то ее наз. характеристической поверхностью относительно оператора L. Чтобы гиперповерхность П была характеристической относительно оператора L, необходимо и достаточно выполнение условия

где x=(x₀, ...,x_n)- нормаль к поверхности П. Характеристич. матрица, характеристич. форма и характеристич. поверхность инвариантны относительно неособых преобразований. Характеристич. поверхности играют важную роль при исследовании многих задач для уравнений и систем вида (1).

Многие задачи математич. физики сводятся к симметрическим гиперболич. уравнениям и системам. Квазилинейная система 1-го порядка

наз. симметрической, если все матрицы а ⁱ симметричны. Симметрич. система (1') наз. гиперболической симметрической системой в точке Р, если одна из матриц а ⁱ или какая-либо линейная комбинация xⁱ а ⁱ знакоопределенна. Одно уравнение или система уравнений высшего порядка наз. симметрич ее кими гиперболическими, если они эквивалентны какой-нибудь симметрической гиперболич. системе 1-го порядка. Систему (1') при положительно определенном коэффициенте а ⁰ с помощью линейного преобразования можно привести к виду

с симметрич. оператором М. При помощи энергетических неравенств и метода итераций доказывается существование решения задачи Коши для квазилинейных систем 2-го порядка и для одного нелинейного уравнения произвольного порядка.

Так как характеристики и бихарактеристики для гиперболич. уравнений и систем, как линейных, так и квазилинейных, определяются одинаково, известные факты о распределении разрывов младших производных решений линейных уравнений и систем относятся и к случаю квазилинейных уравнений. Распространение разрывов решения и(х)гиперболич. систем рассмотрено для законов сохранения, т. е. для систем 1-го порядка, имеющих следующий вид:

при условии, что поверхность ударной волны является нехарактеристической.

Много работ посвящено исследованию К. г. у. и с. в случае двух пространственных переменных хи t. Важную часть этих исследований составляют квазилинейные системы 1-го порядка, к-рые имеют вид:

где Аи В- квадратные матрицы порядка k, вектор Сзависят от переменных x, tиот вектора и( х,i)= {u₁(x, t),... , u_k( х, t)}. Если от искомой вектор-функции и( х, t )зависит только правая часть С, (5) наз. почти линейной системой. Почти линейные системы 1-го порядка эквивалентно сводятся к симметрич. системам линейными преобразованиями. Квазилинейная система (5) при предположении имеет следующий вид:

Матрицу Аможно преобразовать к диагональному виду с элементами х _i, где векторы ( х _i, t) определяют характеристич. направления; эта запись наз. нормальной формой системы (5). Для систем вида (6) справедлива теорема единственности, независимо от того, зависят их характеристики от решения и( х, t )или нет.

Если коэффициенты А, С и начальные значения решения и( х, t )при t=0 имеют первые производные по всем аргументам и эти производные удовлетворяют Липшица условию, то можно указать окрестность отрезка оси (=0, в к-рой существует единственное решение задачи Коши с первыми производными, удовлетворяющими условию Липшица. При этом вводятся вектор-функции v(x, t), к-рые при t=0 совпадают с заданными начальными данными, а их первые производные удовлетворяют условию Липшица. После подстановки v(x, t )в коэффициенты Аи Срешается задача Коши с заданными начальными данными для линейного уравнения. Каждой функции v(x, t )ставится в соответствие решение и( х, t )и решение задачи для системы (6) выводится как неподвижный элемент преобразования и=U[v], или как предел равномерно сходящейся последовательности {u_n}_n-1,2..., полученный в результате итерационного процесса

Аналогичный результат получается при достаточно гладких коэффициентах А, С и начальных данных путем редукции задачи к системе интегральных уравнений, разрешимость к-рой доказывается на основе сжатых отображений принципа.

Квазилинейная система 1-го порядка (5) наз. слабо нелинейной системой, если соответствующая ей нормальная форма

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

В других случаях (5) наз. сильно нелинейной системой. Если решение слабо нелинейной системы при к=2 ограничено, то задача Коши всегда разрешима в области определенности.

Кроме задачи с начальными данными, для квазилинейных систем 1-го порядка поставлены и исследованы и другие задачи. Напр., так наз. смешанные задачи, заключающиеся в нахождении решения и( х, t )системы (7), к-рое наряду с начальными условиями и( х, 0)=y(x). при t=0, удовлетворяет краевым условиям на нек-рых гладких кривых Г ₁ и Г ₂, выходящих из точек (a, 0) и (b, 0) соответственно. Эти краевые условия относительно решения и( х, t )могут быть как линейными, так и нелинейными. В нек-рых случаях при соблюдении специальных условий удается проверить корректность постановки задач указанного типа.

Для сильно нелинейной системы (6) в случае k=2 исследована следующая задача: пусть Г ₁ - кривая выходящая из начала координатной системы и заданная уравнением x=x(t), кривая Г ₁ предполагается характеристической, имеющей непрерывную касательную. Следует определить решение системы (6) в нек-рой области, ограниченной характеристикой Г ₁ и еще одной кривой Г ₂, выходящей тоже из начала координат, если известно решение и( х, t )на Г ₁ при дополнительном условии, что одна из компонент вектора и( х, t )имеет определенную особенность в точке пересечения граничных кривых. Известна разрешимость подобных задач при t<d для достаточно малых d.

Среди задач, поставленных для квазилинейных гиперболич. систем 1-го порядка, имеется ряд важных прикладных задач: задача о распаде произвольного взрыва, задача хроматографии, задача фильтрации и др.

Изложенные выше результаты носят локальный характер, касаются только регулярных решений. Если же решения не являются дифференцируемыми или даже непрерывными функциями, вводятся понятия так наз. слабых решений, определяемых различными способами, для к-рых доказываются теоремы единственности и существования решения задачи Коши глобально. Как правило, эти решения определяются в довольно широких классах функций (ограниченные измеримые функции, локально суммируемые функции и др.). Они удовлетворяют уравнению или системе в каком-нибудь смысле, напр. в смысле теории обобщенных функций, или подчинены вполне определенным интегральным соотношениям. Слабое решение в нек-рых случаях принято наз. решением задачи Коши, если разность решения и начальных данных слабо стремится к нулю при стремлении точки к носителю начальных данных.

Известно несколько путей построения глобальных слабых решений задачи Коши для законов сохранения в случае многих переменных с начальными данными довольно общего вида. Напр., метод сглаживания, конечно разностные схемы решения задач с начальными данными.

Общие нелинейные гиперболич. уравнения и системы путем дифференцирования по независимым переменным сводятся к квазилинейным гиперболич. системам 1-го порядка. Любое гиперболич. уравнение 2-го порядка редуцируется к симметрической гиперболич. системе 1-го порядка, и факты, относящиеся к гиперболич. системам 1-го порядка, остаются в силе и для одного гиперболич. уравнения 2-го порядка.

Теорема существования решения задачи Коши для одного гиперболич. уравнения высшего порядка была получена при требовании достаточно высокой гладкости коэффициентов уравнения (см. [9]).

Задача Коши для гиперболичееких квазилинейных уравнений высшего порядка была исследована при помощи редукции к аналогичной задаче для квазилинейных систем 1-го порядка. Для уравнений 2-го порядка, кроме этого, используется и другой метод, заключающийся в введении характеристич. системы координат (a,b). Получается система уравнений относительно х, t функции ии ее производных 1-го и 2-го порядков, к-рые рассматриваются как функции характеристич. переменных. Система эта состоит из шести уравнений 1-го порядка относительно функций

одно из к-рых является следствием всех остальных. Можно рассматривать определенную систему из пяти квазилинейных уравнений с пятью неизвестными функциями. Для подобных систем и, следовательно, для квазилинейных уравнений имеются теоремы существования и единственности решения задачи Коши. Этот метод без существенных изменений применяется и для квазилинейных систем уравнений 2-го порядка

где коэффициенты зависят от х, t и функций и ^j.

Лит.:[1] Glimm J., "Gomm. pure and appl. Math.", 1965, № 18, p. 697-715; [2] Dоuglis A., "Ann. Inst. Fourier", 1972, t. 22, p. 141-227; [3] Кружков С. Н., "Докл. АН СССР", 1969, т. 187, №1, с. 29-32; [4] Кузнецов Н. Н., "Матем. заметки", 1967, т. 2, № 4, с. 401-10; [5] Courant R., Lax P., "Comm. pure and appl. Math.", 1949, v. 2, p. 255-73; [6] Соnwау E., Smоller J., "Comm. pure and appl. Math.", 1966, v. 19, p. 95-105; [7] Lax P., "Comm. pure and appl. Math.", 1953, v. 6, p. 231 - 58; [8] Lewу Н., "Math. Ann.", 1927, Bd 98, p. 179-91; [9] Levi E., "Rend, reale accad. Lincei", 1908, ser. 5, v. 17, p. 331-39; [10] Leray J., Hyperbolic differential equations, Prinston, 1953; [11] Lee Da-tsin, Yu Wen-tin, "Scientia sinica", 1964, t. 13,№ 4, p. 529-62; [12] Олейник О. А., "Успехи матем. наук", 1957, т. 12, в. 3, с. 3-73; [13] Петровский И. Г., "Матем. сб.", 1937, т. 2, в. 5, с. 815-66; [14] Рождественский Б. Л., Яненко Н. Н., Системы квазилинейных уравнений, М., 1968; [15] Friedrichs К., "Amer. J. Math.", 1948, v. 70, p. 555-89; [16] Наrtman P.. Wintnei A., "Amer. J. Math.", 1952, v. 74, p. 834-64; [17] Schauder J., "Comment, math, helv.", 1936, v. 9, p. 263-283.

Д. К. Гвазпва.