Пред.
След.
Макеты страниц
Распознанный текст, спецсимволы и формулы могут содержать ошибки, поэтому с корректным вариантом рекомендуем ознакомиться на отсканированных изображениях учебника выше Также, советуем воспользоваться поиском по сайту, мы уверены, что вы сможете найти больше информации по нужной Вам тематике § 89. Локальные и глобальные решенияПриведенные выше примеры показывают, что во многих случаях для задач, имеющих данную симметрию в пространстве и времени, существуют автомодельные математические решения. Однако сформулировать и доказать общую теорему существования гораздо труднее. Когда имеется симметрия, достаточная для того, чтобы общие дифференциальные уравнения течения жидкости сводились к обыкновенным дифференциальным уравнениям, мы можем использовать стандартные локальные теоремы существования. Однако существование глобальных решений, удовлетворяющих соответствующим краевым условиям, предсказать гораздо труднее. Ярким примером встречающихся здесь трудностей может служить сжимаемое невязкое плоское течение с симметрией вращения (спиральные линии тока). Как впервые показал Ринглеб, такое течение невозможно в «большом», поскольку его радиальная составляющая меняет свое направление на противоположное вдоль «предельной окружности». Такую неопределенность наглядно можно продемонстрировать на течениях Тейлора — Маккола (§ 85), для которых режим конической симметрии типа присоединенной ударной волны ограничен условием достаточной малости угла при вершине конуса (при данном числе Маха). Для общего класса стационарных осесимметричных течений, удовлетворяющих уравнению (25), очень трудно строго определить существование решения в «большом», и опубликованные результаты не всегда надежны. Подобным образом, хотя существование безударных центрированных волн разрежения возможно, волны сжатия связаны с ударными волнами, из-за чего весьма усложняется исследование существования решения в «большом» для автомодельных волн взрыва. Другой интересный пример трудности определения глобального решения представляют собой осесимметричные струи (ламинарные, вязкие). Как показано в § 83, уравнения Навье — Стокса можно свести к обыкновенным дифференциальным уравнениям, если использовать автомодельное поле скоростей, имеющее в сферических координатах вид
К сожалению, как показал Беран, результирующее обыкновенное дифференциальное уравнение (17) не имеет глобальных решений, удовлетворяющих естественным краевым условиям для струи, вытекающей из круглого отверстия в плоской стенке или из какого-либо другого конического отверстия. Вопреки некоторым опубликованным результатам, по-видимому, только струя, вытекающая из труб с параллельными стенками, математически совместима в «большом» с требуемой симметрией (38) и естественными краевыми условиями. Локальная теорема существования. Даже общие локальные теоремы существования нелегко доказать. Один из положительных результатов формулирует следующая теорема (мы просим прощения у читателя за абстрактную математическую терминологию, которой мы воспользуемся ради краткости). Теорема 1. Пусть Доказательство. В окрестности каждой точки
которое представляет собой функцию частных производных на Но те функции Следствие. Если задача Хотя при доказательстве локальных теорем существования для обыкновенных дифференциальных уравнений аналитичность несущественна, в теоремах существования для уравнений в частных производных такое условие часто существенно. В случае аналитических уравнений с частными производными (и аналитическими группами симметрии) уравнение (39) также будет аналитично. В этом случае для многих задач с начальными условиями мы располагаем хотя бы локальными теоремами существования. Так, предположим, что все производные по времени входящих в уравнение функций
Тогда теорема существования Коши — Ковалевской утверждает, что уравнение (40) имеет одно и только одно локальное аналитическое решение для данных аналитических начальных условий А теперь предположим, что уравнение (40) инвариантно относительно группы Кажущееся незначительным ограничение, что производные по пространственным координатам в уравнениях (40) должны быть первого порядка, на самом деле оказывается весьма сильным. Так, из него следует, что система (40) должна быть гиперболического типа. В случае сжимаемой невязкой жидкости это выполняется, чего нельзя сказать, например, о несжимаемой невязкой жидкости или любой вязкой жидкости. Для того чтобы строго установить даже локальную корректность метода поиска симметричных решений, нужны дальнейшие исследования в теории уравнений в частных производных.
|
1 |
Оглавление
|