О граничной регулярности решений системы магнитной гидродинамики

Диссертация посвящена исследованию регулярности решений системы магнитной гидродинамики (МГД). Эта система может быть записана следующим образом.

Здесь Г2 С М3 это ограниченная область с границей класса С2, (¿-т = П х (0,Т). V: С}т —> К3 поле скоростей жидкости, р: —> М давление. Я: С^т -> К3 папряжеиностт> магнитного поля. Данная система описывает движение проводящей вязкой несжимаемой жидкости в магнитном поле. В область примииеиия магнитной гидродинамики входят очень разнообразные физические объекты от жидких металлов до космической плазмы. Магнитная проницаемость сред, которые рассматриваются в данных задачах, мало отличается от единицы. Система уравнений (0.1) (0.2) получается из систем Навье-Стокса и Максвелла в предположении, что ток смещения мал и им можно пренебречь (см. [45]).

Сразу же отметим, что данная система является переопределенной, в ней на 7 неизвестных (по три компоненты у и и Я и давление) приходится (г- • V) у — Дг> + 7р = го! Я х Я Л (0.1) сну у = 0 сИу Я = 0.

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

Ишх (о, т) = 0, (0.3).

Н"тх{о.т) = (г<*Я)т|5пХ (о, г) = 0. (0.4).

Исследованиям свойств решений системы магнитной гидродинамики посвящено достаточно большое количество работ: [44]. [1| [4| [5] [7] [18] [32] [17] [10] [И] [29] и многие другие.

Поскольку в частном случае при Н = 0 система (0.1) (0.2) превращается в систему Навье-Стокса, мы начнем с краткого обзора теории уравнений Навье-Стокса. чтобы обозначить круг результатов, па которые мы ориентировались в наших исследованиях системы магнитной гидродинамики.

На сегодняшний день проблема гладкости слабых решений трехмерной системы Навье-Стокса,.

9,1- + (у ¦ У) г" - Аи + V" = 0.

0.5).

IV и = 0 описывающей движение вязкой ньютоновской жидкости, является одной из фундаментальных проблем современной математической гидродинамики. Система (0.5) применяются в математическом моделировании многих природных явлений и технических задач. Разнообразным исследованиям этой системы посвящено множество работ [15] [12] [41] [42] [43] [52] [3] [21] [19] [31] [13] [14] [24] [25] [29] [26] [40] [46] и многие другие. Однако, в настоящее время существует лишь несколько ситуаций, обусловленных простой геометрией, которые решены в аналитическом виде (течение Пуазейля. течение ТейлораКуэтта и др.). При этом вопросы о единственности решения и существовании глобального гладкого решения для задачи Коши для трехмерной системы уравнений Навье-Стокса тесно связаны между собой, до сих пор остаются открытыми и входят в число millenium problems.

Отметим ряд результатов, которые были получены еще Ж. Лере’в его, ставшей уже классической работе [15j.

• Сущесвует Г* > 0 такое, что задача Коши для системы (0.5) имеет единственное гладкое решение с «приемлемыми свойствами паоо» (см. также [41]).

• Задача Коши для системы (0.5) имеет по крайней мере одно глобальное слабое решение, удовлетворяющее естественному энергетическому неравенству. Более того, слабое решение совпадает с гладким решением в R3 х (0-Т*). Аналогичные результаты для иачалыю-краепой задачи в ограниченной области были получены Э. Хопфом (см. [12]).

• Для данного слабого решения существует замкнутое множество S € (0- +оо) нулевой меры такое, что решение гладкое в М3 х ((0- -foo) S). (На самом деле, рассуждения Лере позволяют получить, что= 0, однако явно это пе отмечено.).

В дальнейшем точку i ()) G Qt мы будем называть регулярной, если слабое решение уравнения гладкое в окрестности этой точки. Остальные точки мы будем называть сингулярными. Важным шагом при исследовании множества сингулярных точек, стала идея «локализации решения в точке ж». Исследования в этом направлении были начаты В. Шеффером в.

20] [23] и в дальнейшем развиты Л. Каффарелли. Р.-В. Коном и Л. Ниреи-бергом в [3]. Позже Лин [16] сумел значительно упростить доказательство этих результатов (см. также [14]). Один из вариантов этого критерия может быть представлен в виде следующей теоремы.

Теорема I Существует абсолютная константа г > 0 такая, что для, любой пары функций гк р подходящего слабого решения (0.5) в параболическом цилиндре Я{). если выполнено условие:

Нт вир — [ |Уг>|2 (Ь <? (0.6).

-+о Р У ОМ то существует рц < /?у такое, что V непрерывно по Гель деру в Q (zQ, p{)).

Здесь используется понятие подходящего слабого решения, которое впервые. видимо, было введено В. Шеффером в [20] [23]. Дальнейшие обобщения этих результатов, были сделаны Г. А. Серегиным в работе [26].

Еще одно очень важное обобщение результатов Лере было получено в работах Проди [19]. Серрипа [31] и Ладыженской [13].

Теорема II Пусть V и и два слабых решения Лере-Хопфа задачи Коши для системы (0.5). Предположим, что для некоторого Т > 0 ноле скоростей V удовлетворяет условию Лады’женской-Проди-Серрина и е Д./(<2г). где.

3 2.

— + 7 = 1, 5? (3. +оо). .5' / '.

Тогда V = VI в (~)т и, более того, V это гладкая функция в М3 х (0- Т].

Единствен и ость была доказана Проди в [19] и Серрином в [30], а гладкость была получена Ладыженской в [13]. Дальнейшие обобщения этой теоремы можно найти в работе Гига [9]. Локальная версия этой теоремы.

Напомним. что смешанная норма па пространстве ЛебегаLsi (Qt) задается следующим образом: ess sup \f{-, t)\s, I = +00 l *е (о.Г).

При этом в силу стандартных теорем вложения слабое решение Лере-Хопфа принадлежит классу Lsj с.

Приведенные выше теоремы иллюстрируют два типа маштабно-иива-риантпых функционалов, в терминах которых можно получать достаточные условия регулярности. Так. в теореме I критерий регулярности сформулирован в терминах малости нормы решения в пространстве Морри. В теореме II используются нормы в анизотропных пространствах Лебега. Заметим. что в обеих теоремах на функционалы накладывается условие малости (в теореме II оно получается автоматически засчет абсолютной непрерывности норм в пространствах Лебега). Достаточно большое количество подобных критериев можно найти в [26]. При этом проблема регулярности решений в случае только конечности маштабпо-инвариаптпых энергетических норм на сегодняшний день полностью открыта. Единственный известный на данный момент функционал, обеспечивающий гладкость без условия малости. это норма в пространстве Этот результат был получен Л. Искуриазой. Г. А. Серегиным и В. Швераком в работе [40]. была доказана Серрииом [31] для ^ + j < 1 и Штруве [36] для j + j = 1.

0.7).

Отдельный интерес представляют критерии регулярности для системы (0.5) вблизи границы. Подобные исследования требуют гораздо более глубокого и детального (по сравнению с внутренним случаем) изучения свойств решении линеаризованной системы. При этом локально вблизи границы. как было показано в |49|. максимальная гладкость, которую можно получить для решении ¿-гон системы, это принадлежность пространству Гельдера. Эта ситуация обусловлена тем. что линеаризованная система не обладает свойством гипоэллептичиости по времени. Данную трудность удалось обойти, благодаря использованию оценок в апизатроппых пространствах Соболева. Оценки в этих пространствах позволяют получить значительное увеличение показателя суммируемости решения по простраии-ствеппым переменным, что в дальнейшем при помощи теорем вложения дает необходимую гладкость. Данные исследования были проведены в работах В. А. Солоппикова [35j и [33] (см. также [25]. [53]).При этом возникает необходимость в коэрцитивных оценках в анизотропных пространствах Соболева в случае, когда дивергенция вектора г отлична от нуля (см. [29]). что сопряжено с определенными трудностями (см. [53]). На основе этих результатов в работах [24] и [29] были доказаны граничные аналоги критериев Каффарели-Копа-Ниреиберга (см. [3]). В дальнейшем эти результаты были развиты в |4С]. Еще отметим работу [47]. в которой аналогичные критерии получаются при помощи явной схемы. Позже подобные исследования были еще проведены в работах [37] и [38].

Заметим, что во внутреннем случае важную роль играет оценка нормы давления в пространстве L±. Для получения этой оценки к уравнению (0.5) применяется оператор div. и в результате получается, чго давление удовлетворяет уравнению Лапласа.

Ар = с11усИ'(и <8> и), (0.8) решение которого можно достаггочио просгго оцепить (подробности см. [14]. [40]). Вблизи границы подобный подход не работает так как решение (0.8) в качестве одной из компонент может содержать фундаментальное решение с особенностью па границе области. В результате приходится использовать коэрцитивные оценки для системы Стокса. что в случае системы Навье-Стокса значительно усложняет доказательство, а в случае системы магнитно]" ! гидродинамики требует получения еще и дополнительных оценок па магнитную составляющую.

Теперь перейдем к обзору известных результатов по системе уравнений магшгпюй гидродинамики (0.1) (0.2). Разрешимостьугон системы была исследована г, начале 1960;х годов О. А. Ладыженской и В. А. Солон пи ков-ым. Так в работе [44| рассматриваются следующие три задачи, связанные с системой (0.1) (0.2):

• Все явления изучаются только вггутрн объема О. заполненного жидкостью. От окружающего пространства она изолирована идеальным проводником, так что вне Г2 все поля отсутствуют.

• Область О состоит из области заполненной проводящей жидкостью. области Оц — твердого проводника, по которому текут заданные токи, и области 02. окружающей 0 и и заполненной диэлектриком или вакуумом. От всего пространства область О отделена идеальным проводником.

• Рассмотрения ведутся во всем пространствеНа бесконечности (¡-.г| -оо) поддерживается заданное электромагнитное поле. Пространство М:3 все заполнено диэлектриком, кроме некоторого объема в котором движется проводящая жидкость.

Результаты, полученные в отношении этих задач, аналогичны результатам. полученным по краевым задачам дли вязкой несжимаемой жидкости в работе [41| А. А. Киселева и О А. Ладыженской и в работе [42] О. А. Ладыженской. Именно, для плоских задач (когда все величины не зависят от координаты п’з и г.} = Я, 5 — 0) установлена однозначная разрешимость «в целом» при произвольных начальных данных. В общем случае трехмерных задач, хотя слабое решение и существует для всех£ > 0. по его единственность установлена только для некоторого, вообще говоря, малого промежутка времени, величина которого определяется данными задачи. Для задач, имеющих вращательную симметрию относительно какой-нибудь оси. пусть оси .Т-з, так же как и в случае плоских задач, имеет место однозначная разрешимость «в целом», если только область О. в которой проводятся все исследования, не содержит осп гг.}. Стационарная система магнитной гидродинамики была исследована в работе [50].

Однако, как и для самих уравнений Навье-Стокса. вопрос о глобальной однозначной разрешимости остается открытым и вопрос о единственности решении тесно связан с вопросом об их гладкости. Формально изучение гладкости решений уравнений (0.1) (0.2) более сложно, чем в случае системы Навье-Стокса. поскольку интуитивно попятно, что для не слишком гладкого поля скоростей V поле Я может быть негладким, и тогда внешняя сила в правой части первого уравнения может оказаться сингулярной, что. в свою очередь, может привести к разрушению гладкости решети') уравнения.

Для системы магнитной гидродинамики можно развить теорию регулярности. обобщающую уже известные результаты для сппемы Навье-Стокса. Так для точек внутри области практически прямым копированием техники из работ!, I [11| можно получить следующее1 обобщение теоремы I (см. напр.

Теорема III Существует абсолютная константа? > 0 такая, что для любой тройка функции v, p, Н подходящего слабого решения системы (0.1) (0.2) б иарабо tu ческой цилиндре i? u). ее tu выно t не, но условие. то существует р^ < /?о такое, что с и Н непрерывны по Геы>дсрч в.

При этом остается вопрос о возможности заменить условия малости ма-штабпоипвариаптпых функционалов условиями ограниченности. В частности А. Махнловым Б. Николаепко. Т. Шилкииым в работе [17] было получено обобщение результатов [40|. а именнотам было доказано. ч ю. если решение и. Н принадлежат классу с (От) — 'г0 °по регулярно.

В силу того, что при Н = 0 система (0.1) (0.2) н})евращается в систему уравнении Навье-Стокса. то. скорее всего, не стоит ожидать ослабления условий па поле скоростей и. При этом у пас возникает промежуточный случай: условия малости накладываются па поле скоростей V. а па магнитную компоненту Н накладываются только условия ограниченности. Подобные результаты были получены в работе [10) Ч. Хе и 3. Ксииом. Их подход позволил получить целую серию критериев регулярности решений.

55]).

0.9).

Qi~o/>).

Q (~o-A>). системы (0.1) (0.2). Ниже приводиться один из них. остальные полностью аналогичны.

Теорема IV Существует абсолютная константа? > 0 такая, ¦что для любой тройки функции v. р, Н подходящего слабого решения системы (0.1) (0.2) в параболическом цилиндре Q (zu. По). если выполнены, условия.

— I |Vr|2 dz < s V0 <�р<�Ви, P J и sup — I H'2 dz < oc. (0.10) р<�П" P J.

Q (-u-p) то существует r < i? o такое, что sup (|Vf | + |V#|) < cr~2 для любого 0 < г < r.

Однако вопрос о граничной регулярности решений системы (0.1) (0.2)до сих пор оставался полностью открытым. Исследование этого вопроса составляет основное содержание данной диссертации. Также развитые в нашей работе методы позволили «отшлифовать» ' найденное в ¡-заботах [1()|. |llj доказательство частичной регулярности во внутреннем случае и получить ряд новых критериев (см. теорему IX).

По аналогии с работами [14]. [40]. [29] мы будем исследовать регулярность «подходящих слабых решений». Для уравнений Навье-Стокса данное понятие было, по-сути. введено В. Шеффером (см. [20]-[23]). Основные результаты диссертации заключаются в следующем:

• Доказана частичная регулярность подходящих слабых решений уравнений магнитной гидродинамики вблизи плоского участка границы.

А именно, установлено, что одномерная параболическая хаусдорфо-ва мера пересечения множества сингулярных точек (в окрестности которых решение по является непрерывным по Гельдеру) с плоским участком границы равна нулю. Этот результат является оптимальным в 'юм смысле, что он аналогичен наилучшему из известных па сегодняшний день результатов для уравнении Навье-Стокса (установленным Каффарелли. Коном и Нирепбергом во внутреннем случае и Г. А. Серегиным в случае плоской границы).

• Установлен ряд достаточных условий локальной граничной регулярности подходящих слабых решений уравнении магнитной гидродинамики. Типичным таким условием является требование малости какого-либо масти габпо-ипвариантпого энергетического функционала для поля скоростей жидкости при условии конечности аналогичного функционала для магнитного поля. Эти результаты являются оптимальными в том смысле, что они аналогичны известным па сегодняшний день условиям регулярности, установленным для уравнений магнитной гидродинамики в работе [10] для внутренних точек области.

• Проведено исследование гладкости решении системы уравнений Навье-Стокса. возмущенной внешней силой электромагнитного происхождения. норма которой в соответствующем маштабио-ипвариапт-иом пространстве Морри не предполагается изначально малой.

• «'Отшлифована» техника доказателт. ства достаточных условий регулярности решений системы магнитной гидродинамики, что позволило установить ряд условии, являющихся новыми даже во внутреннем случае (и частности, условие «равномерной малости'' энергетических функционалов удалось заменить условием «равномерная ограниченность малость при некотором радиусе»).

В этом месте надо сделать 071,110 очень важное замечание Как уже отмечалось выше во внутреннем случае для системы (0.1) (0 2) можно практически без изменений повторить схему изложенную в работе [14] и доказать критерий регулярности, позволяющий получит ь оценку па параболическую хаусдорфову размерность множества сингулярных точек. Однако этот подход не работает при исследовании регулярности системы магнитной гидродинамики вблизи границы. Это происходит из-за того, что при доказательстве критериев регулярности одну из ключевых ролей играют оценки на давление При этом при исследованиях вблизи границы для получения такого рода оценок приходиться использовать коэрцитивные оценки для системы Стокса. что значительно, по сравнению с внутренним случаем. сужает класс неравенств, которые можно получить В случае системы Навье-Стокса это частично компенсируется граничными условиями Дирихле на поле скоростей, что позволяет использовать теоремы вложения без слабых норм. Но при исследовании граничной регулярности для системы (0.1) (0.2) подобные рассуждения провести не удается, так как среди граничных условий па магнитную составляющую присутствуют условия Неймана. Эта проблема решается при помощи идеи рассматривать уравнение (0.2). как уравнение теплопроводности, что дает дополнительные оценки для норм магнитной компоненты. При этом в граничном случае подобный подход это единственный, по крайней мере известный нам па данный момент, способ получить разумную оценку на хаусдорфову размерность множества сингулярных точек, принадлежащих границе.

Переидем к детальному описанию содержания диссертации. Глава 1 посвящена доказательству теоремы существования подходящих слабых решении, и получению различных вспомогательных оценок. Основные результаты главы следующие.

Теорема V Пусть i), Hq? ^(П). Существует по крайней мере одна троч’та функций (v. p. II) такая, что.

Г. н е L2^{Qt) П Ь2{0. Т: W} (П)), реь.<{П X (7-т)) v-7 е (о, г) v, p. H решают систему (0.1) (0.2) в смысле распределении, удовлетворяют локальному энергетическому неравенству (1.2) внутри области, являются подходящим слабым решением в окрестности любой граничной точки. Дополнительно v, Н являются слабым решением системы.

Теорема VI Для любого М > 0 существует константа с (М) > 0 такая. что для любого a? М'5 вида, а = (а, О)7 удовлетворяющего условию, а < М. и любой тропки функций (it, h. q) удовлетворяющих систе-л i с л и 11 с й 11, ых ура в н ен и й dfit — Ли + SJq — rot h х, а div и — 0 dfh — Ah = rot (u х а) div h = 0 и | ,-,=" = 0,.

Л:"к=о = 0, = 0. а = 1.2, 4 выполнены следующие оценки:

Здесь b 6 М'5 произвольный вситор вида Ь = (b]. l)2−0)T. и с & Ш протьо iuhoc ч1н ю.

В § 1.1 /гаюгея определения подходящих слабых решений и доказывается теорема V об их существовании.

§ 1.2 посвящен доказательству вспомогательных оценок для подходящих слабы ч решений. В дальнейшем эти онепки используются для доказатель-сгва базовых критериев 5-регулярноегп.

В § 1.3 псследуегся система, получаемая при линеаризации ыд^чи (0 1- (0.2). Для решений этой системы доказывается теорема VI об их принадлежности пространству Гельдера.

В § 1.4 рассматривается уравнение (0.2). как уравнение теплопроводности. В результате получаются оценки для магнитной составляющей, помогающие 15 дальнейшем обобщить результаты работы [10] на граничный случай.

В главе 2 описанная выше техника применяется для получения критериев регулярности в окрестности внутренней точки. Главными результатами этой главы являются следующие теоремы. Основной критерии ?-регулярности внутри области.

Теорема VII Существует абсолютная константа Го > 0 такая, vmo u 1я любой тройки V. р. Н подходя meso (лабо/о ранения МГД б 0(—(), /?()). если для некоторого R < /?о.

Y? / (|И:5 + |Я|:Ч|р|^/г<�бо- (0.11).

QU.fl) то г и II непрерывны по Гельдеру в Q{zо. j).

Обобщенно известного критерия Кафарели-Копа-Ниринберга (см. [3J) па случай системы МГД.

Теорема VIII Для любого К > 0 существует константа со (А') > U обладающая следующим свойством: Пусти (v. Н. р) подходящее, слабое решение системы МГД в Qj. Если, limsup (- / VH2 dxclt) l/2 < К (0.12).

->о ^ г J '.

— о-'') и 1 С 1 /2 limsupi- / Vv'? dxdt) < slh (0.13).

Q (=a.r) то существует р* > 0 такое, •что функции с и Н непрерывны по Гельдеру на замыкании множества Q (co, ()*)¦

Отметим отличия последних двух теорем. Теорема VII является базовым критерием e-регулярности. Главной ее особенностью является то. что для непрерывности по Гельдеру достаточно выполнения условия (0.11) при одном фиксированном R. В теореме VIII условия ограниченности и малости должны выполняться для всех цилиндров достаточно малого радиуса, и также используются более сильные нормы. С другой стороны в условия теоремы VIII отсутствуют какие-либо ограничения па давление. В условиях (0.12) (0.13) радиус цилиндра входит с показателем 1. что позволяет получить значительно лучшую оценку па Хаусдорфову размерность множества сингулярных точек. Этот момент будет особенно актуален при получении критериев регулярности вблизи границы.

Отметим, что для решений системы Навье-Стокса па сегодняшний день остается открытым вопрос о справедливости теоремы I в случае замены условий малости па условия ограниченности. Поэтому условие (0.12) подчеркивает подчиненную роль уравнения (0.2), чего нельзя увидеть из теоремы VII.

Во внутреннем случае можно получить достаточно большое количество утверждении, которая является обобщением результатов работы [2G] (см. также [4CJ). В пашей работе мы для краткости остановимся только па окном из них. Следующая теорема в каком-то смысле является «пптерпо-ляциеП» предыдущих двух критериев: па супремум накладывается условие ограниченности, а малости достаточно только при фиксированном радиусе.

Теорема IX Для любого К > 0 существует константа £]{К) > 0 обла-даюищя слсдуюш/им свойством: Пусть (v.H.p) подходящее слабое решение системы. МГД в Qj. Если limsup К.

Qi-a-1').

QM.

0.14) и выполнено одно из трех условий limhif (i J |V—|'2 fto/f)½ <

Q (^.r).

1 f ½ liminf (- sup / Irl2 dxdt) < £ь mir4.

V r ,.2>.

If l/'Л liminf (- j |r|3 dxdt) < n..

Q (—u.r) то существует p* > 0 такое, что функции v и Ii непрерывны по Гельдеру па замыкании множества Q (zq, p*)..

Одним из наиболее, важных следствии теорем VIII и IX является возможность оценить параболическую Хаусдорфову размерность множества сингулярных точек, а также возможность доказать регулярность решений в случае наличия дополнительных условий пли симметрии. Так. например, легко получить, что решения, не зависящие от одной из координат, будут гладкими. Гладким будет и осесимметричное решение, за исключением, может быть, оси симметрии..

Теорема X Пусть (v.H.p) подходящее слабое решение системы МГД в Qt¦ Тогда существует замкнутое множество Z С Qt такое. что Оля любого ~о G Qt? функции (v, Н) непрерывны, но Гельдеру в zq, и 0, где 'Р1 (Е) это одномерная параболическая Хаусдорфова мера на X..

Из теоремы X можно получить знаменитый результат Лере: пусть, а множество моментов времени, где решение (0.5) может быть негладким, тогда Мл (а) = 0. где 7i это Хаусдорфова мера на R..

В § 2.1 на основе теоремы VI и результатов § 1.2 доказывается теорема VII. Данная теорема была доказана С. А. Мищенко в его дипломной работе, но. к сожалению, не была опубликована..

В § 2.2 доказываются различные оценки для энергетических функционалов (аналог для системы Навье-Стокса см. [48|). позволяющие получить ограниченность для всех основных норм..

В § 2.3 доказывается основная теорема, посвященная критериям регулярности внутри области. Из этой теоремы и оценок, полученных в § 2.2. легко выводится теорема IX за исключением случая, когда условия малости накладываются на V/'..

Доказательству теоремы VIII и оставшегося случая теоремы IX посвящен § 2.4. Это сделано для того, чтобы подчеркнуть 'тот факт, что во внутреннем случае доказательство этих v i вержденпй требует специального подхода..

Глава 3 посвящена исследованию критериев локальной регулярности для системы (0.1) (0.2) вблизи плоского участка границы. Результаты этой главы находятся в прямом соответствии с результатами главы 2. Тем самым теория граничной регулярности развитая в работах автора, доведена до того же состояния, что и теория регулярности внутри области..

Как и во внутреннем случае, ключевую ролт" в наших рассуждения будет играть следующий критерий ^-регулярности.

Теорема XI Существует абсолютная константа г* > 0 обладающая следующими свойствами. Пусть есть тройка функций (и, Н, р) подходящее слабое решение системы МГД в Q-j и точка ~о = (.т (),/ц) € дО х (0, Т) такая, что Тц принадлежит плоскому участку дО. Если существует г () > 0. для которой вы полнено г о) с С) т и.

У (К'|3 + |Я|, + И^ < то функции с и Я непрерывны, но Гельдеру в замыкании множества.

Также нами был получен аналог критерия Каффарелли-Копа-Нирипберга..

Теорема XII Для любого К > 0 существует констан та с о (Л') > 0 обладающая следующим свойством: Пусть (г, Н, р) подходящее слабое решение системы, МГД вблизи границы в От, а пусть ¿-о = (.Го- ^о) € 00, х (0, Т) такая, что точка Хц 'принадлежит плоскому участку 00. Если.

Нтяир I |УЯ|2 йхсИ < К (0.16).

ГМ и.

ПтвирГ^ / \7и2 еЫ ()]/2 < е{). (0.17).

•-«о ^ г .) '.

ГЫ-г) то существует р* > 0 такое, что (функции и и Я непрерывны, по Гельдеру на замыкании множества С} ' (. /л)..

Здесь стоит еще раз сделать важное замечание. Во внутреннем случае теорема VII уже дает оценку на параболическую Хаусдорфову размерность множества сингулярных точек: из нее следует, что она не превосходит 2. При этом такая оценка в граничном случае оказывается бессодержательной. так как сама граница также имеет размерность 2, а значит, необходима теорема XII или подходящий ее аналог..

Вблизи плоского участка границы можно доказать достаточно большое количество аналогов критериев из работ [26] и [46] п. в частности, следующую теорему..

Теорема XIII Для любого К > 0 существует константа Е (К) > О обладающая следующим свойством: Пусть (с. II, р) подходящее слабое решение системы МГД вблизи границы вС}т и пусть ¿-о = (з'и-^о)? ЭО х (0.7″) такая, что точка .г0 принидле/ж.ит плоскому участку 00. Если.

Нт.чир (^ У И" rf. Tr/i) 1/Л + (^ У |Я|2 йхсИ У'* < К (0.18) и выполнено одно из трех условий.

Нтт^ I |У/-|2 (1х (Пу/2 < ?,..

Г ил.

НттГ (- кпр [ М2 с! х (Н) < с], '¦-+0 V г ,-'<,<, .)) г,./-).

1 Г., 3 ..

0.19).

НииМ ^ — j и[> (!хсИ) < £Ь.

ГЫ-г) то существует р* > 0 такое, что функции V и Н непрерывны, но Гельдеру на замыкании множества /?*)..

И. как уже было отмечено выше, теорема XII позволяет получит!, оценку па параболическую Хаусдорфову размерность множества сингулярных точек па плоском участке границе..

Теорема XIV Пусть (г. И, р) подходящее слабое решение системы МГД вбл, изи границы, в (}т и обозначим за Г плоский участок 00,. Тогда существует замкнутое множество Е С Г такое, что для любого ¿-о € (Г Е) х (0, Г] (функции (и, Н) непрерывны, но гельдеру в 2ц, и.

Г1^) = 0. гдеТ'-УП1<) одномерная параболическая Хпусдорфова мера пи Е..

Структура этой главы аналогична главе 2..

§ 3.1 посвящен доказательству теоремы XI..

В § 3.2 доказываются различные оценки для энергетических функционалов (аналог для системы Навье-Стокса см. [48)). вблизи границы кроме случая ограниченности ¿—¿—нормы Vr и VH..

В § 3.3 доказыватся основная теорема, посвященная критериям регулярности внутри области. Из этой теоремы и оценок, полученных в параграфах 3.2 и 3.4. легко выводится теорема XIII..

В § 3.4 проводятся более топкие исследования уравнения (0.2). позволяющие в дальнейшем доказать теорему XII Также здесь приводиться доказательство этой теоремы..

Результаты диссертации докладывались па семинаре им. В. И. Смирнова по математической физике в Санкт-Петербургском отделении математического института им. В. А. Стеклова РАН (2010) и па международной конференции «'Дифференциальные уравнения и смежные вопросы» 1, посвященной 110-ой годовщине со дня рождения И. Г. Петровского (Москва. 2011)..

Результаты диссертации опубликованы в работах [53)-[58|..

Работы [5GJ. [57[ опубликованы в журналах из перечня ВАК. Работа [55J опубликована в журнале, удовлетворяющем достаточному условию для включения в перечень ВАК (переводная версия этого журнала «'.Journal of Mathematical Sciences» входит в системы цитирования Springer и Scopus) в соответствии с решением Президиума ВАК № 9 11 от 07.03.2008..

В работе [57[ соавтору с Т. Н. Шилкину принадлежит постановка задачи и общее руководство работой, а диссертанту доказательство основных теорем..

Работа выполнена при поддержке Лаборатории им. П. Л. Чебышева СПб-ГУ. грант правительства РФ дог. 11. G34.31.002G.

Список обозначений пространство Лебега. || • ||, норма этого пространства. Анизотропное пространство Лебега Ь¹(С}т) с нормой /т т) <.

• / е [1. +ос).

СБЯ вир ||/(-, 011>- I = teH. IT).

Анизотропные пространства Соболева.

VHQt) = Ь,(0.T:VHn)) = { и Е: V,/ 6 }. {"е К!](От): V2, д<�и е ьмт) }, и*-(й) = { и е: «|ш = 0}. с нормами:.

И!^1," «^) = 1Мк,»?/-> + Н^кдд,)-11″ 11и—/(^) = Н^щ'/'юл + Ну2г/1к, Ют) +.

В (Х{). г) открытый шар в радиуса г с центром в точке .г" о. В+(т{,. г) полушар {.г € В (<�т0. г) | .г,(> 0}..

Для 20 = (.т0, Гп) обозначим за <3(~ог) = В (х0, г) х (?() — г2. <�") и О+^о, г) = Б+(а,'о. г) х (¿-и — г'2, ¿-о) соответствующие параболические цилиндры. В дальнейшем мы будем для краткости использовать следующие обозначения: В (г) = В (0.г). В~г (г) = В~(0,г) и т. п. В = В (1). В+ = 1) и т. п..

Усреднения функции.

О’Ьо м = 1.

Ыи 1 и.

В (Щ.

1(1.V..

-" Л).

Энергетические функционалы 1 р>-1' } О (р).

• = У 1 V.

Е{р) = 1 .

-</<о Р.

В (р).

Н2(1: лЛр) = г еьь чф — / |Я (.? £)|~<7.т -,^</<о Р ].

В (р) 1 у /.

С (р) = = г,(р)..

Мы будем использовать аналогичные функционалы и при исследованиях регулярности вблизи границы. От приведенных выше они будут отличаться лишь тем. что область интегрирования по пространственным переменным будет заменена на полушар В+(р). Чтобы не перегружать текст мы не будем заводить для них отдельных обозначении, так как их будет легко отличить с помощью копсчекста..

1. Ch. He. Zii.Xin. Partial regularity of suitable weak solutions to the incompressible maynetohydrodynamic equations Journal of Functional Analysis 227 (2005) 113 152.

2. CH. HE. Zh.XiK. On the regularity of weak solutions to the ¦magnetohydrodynamic equations J. Differ. Equations 213 (2005). no. 2. 235−254..

3. E. HOPF. Ober die Anfangswertaufgabe fur die hydrodyiurmishe G run dgle ich u rig e n. // Math. Nachricliten. 4 (1950 51). 213.231..

4. G PRODI. Un teorema di un/e/t'a per el equuz/oni di Nauiei-Stokes Ann. Mat. Puia Appl. 48(1959). pp. 173 182.

5. V. SCHEFFER. Partial regularity of solutions to the Nuu/er-StoL s equations/ Pacific .1. Math. 66(1976). 535 552..

6. V. SCHEFFER. Hausdorff nxasure and Nau/er-Stoke.s equations Conmiun. Math. Pliys. 55 (1977). 97−112..

7. V. SCHEFFER The Namer-Stohes equations in u bounded domain Coinmun. Math. Pliys. 73(1980). pp. 1 42..

8. V SCHEFFER. Boundary reyulanty for the Nainer-Stokes equations in a half-space Cornimm. Math. Pliys. 85(1982). pp 275 299..

9. G.A. SEREGIN. Local regular it ij of suitable weak solutions to the Nauier-Stokes equations near the boundary Journal of Mathematical Fluid Mechanics 4 (2002). no 1. 1−29..

10. M. ser.mange. R.temam. Some mathematical questions related to the MHD equations ' Comm. Puie Appl. Math. 30 (1983). G35 GG4..

11. V.A. SOLONNIKOV. Estimates in Lp of solutions to the initial-boundary value problem for the generalized Stokes system in a boundary domain!, Probl. Math. Anal 21 (2000). 211−2G3..

12. V.A. SOLONNIKOV. Estimates of solutions of the Stokes equations in Soboleu spaces with a mixed norm — Zap. Nauclm. Semin. POMI 288 (2002) 204−231..

13. JI. Искауриаза. Г. А Серегин В Шверак. L^-решения уравнении Навье-Cmohcа и обратная единс твеннос ть Успехи мат iuivk 58 (2003). по. 2 3−44.

14. Г. А. СЕРЁГИН. Оценки подходящих слабых решений в пространствах Морри с критическим показателем Записки пауч. сем. ПОМИ 336 (200G). 199 210:.