Научная статья на тему 'Сильно вырожденная система уравнений Осколкова'

Сильно вырожденная система уравнений Осколкова Текст научной статьи по специальности «Математика»

CC BY
147
20
i Надоели баннеры? Вы всегда можете отключить рекламу.
Область наук
Ключевые слова
ЖИДКОСТЬ КЕЛЬВИНА-ФОЙГТА / СИСТЕМА УРАВНЕНИЙ ОСКОЛКОВА / ВЫРОЖДЕННАЯ ГРУППА ОПЕРАТОРОВ

Аннотация научной статьи по математике, автор научной работы — Давыдов П. Н., Федоров В. Е.

Рассмотрена система уравнений Осколкова динамики жидкости Кельвина-Фойгта в случае, когда основное уравнение содержит вырожденный дифференциальный но пространственным неременным оператор при производной но времени. Показано, что линейной части такой системы соответствует сильно вырожденная разрешающая группа операторов. Получена теорема о разрешимости начально-краевой задачи для линеаризованной сильно вырожденной системы Осколкова.

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

Текст научной работы на тему «Сильно вырожденная система уравнений Осколкова»

МАТЕМАТИКА

MS С 35К65

СИЛЬНО ВЫРОЖДЕННАЯ СИСТЕМА УРАВНЕНИЙ ОСКОЛКОВА

П.Н. Давыдов, В.Е. Федоров

Челябинский государственный университет, ул. Братьев Кашириных, 129, Челябинск, 454001, Россия, e-mail: davydov@csu.ru, kar@csu.ru

Аннотация. Рассмотрена система уравнений Оеколкова динамики жидкости Кельвина-Фойгта в случае, когда основное уравнение содержит вырожденный дифференциальный но пространственным неременным оператор при производной но времени. Показано, что линейной части такой системы соответствует сильно вырожденная разрешающая группа операторов. Получена теорема о разрешимости начально-краевой задачи для линеаризованной сильно вырожденной системы Оеколкова.

Ключевые слова: жидкость Кельвина-Фойгта, система уравнений Оеколкова, вырожденная группа операторов.

1. Введение. В цилиндре П х J, оде П — ограниченная область с гладкой границей в Мга, J — интервал в R, начально-краевая задача

v(x, t) = 0 , (x,t) е дП х J, (1 - xA)(v(x,to) - vo(x)) = 0 , x е П ,

для моделирующей динамику вязкоунругой жидкости Кельвина-Фойгта системы уравнений Оеколкова

(1 — xA)vt = vAv — (v ■ V)v — r + f, V ■ v = 0,

изучена в случае, когда время ретардации х попадает в спектр соответствующего задаче оператора Лапласа. Такая система уравнений далее называется сильно вырожденной. Уравнение редуцировано к обобщенной задаче Шоуолтера для полулинейного дифференциального уравнения первого порядка в банаховом пространстве

LU(t) = Mu(t) + N(t, u(t)). (2)

Показано, что соответствующая линейной части этого уравнения разрешающая иолу-

L

M

чае система Оеколкова не поддается исследованию методами, развитыми для уравнения (2) в работе |2|.

Работа поддержана грантом РФФИ к 14-01-31125 и грантом Фонда Михаила Прохорова.

Дня линеаризованной сильно вырожденной системы уравнений Осколкова методами теории вырожденных полугрупп операторов |1| доказана теорема об однозначной разрешимости начально-краевой задачи (1).

Отметим, что в работах |3-5|, в которых исследовалась система уравнений Осколкова, случай ее сильного вырождения не рассматривался,

2. Сильная ^-ограниченность и вырожденное линейное эволюционное уравнение. Пусть Я, $ — банаховы пространства, Обозначим через С (Я; банахово пространство линейных непрерывных операторов, действующих из Я в Множество линейных замкнутых операторов с областями определения, плотными в пространстве Я, действующих в ^ будем обозначать б/(Я; Кроме того, будем использовать обозначения С (Я; Я) = С (Я), б/(Я; Я) = С/(Я).

Рассмотрим уравнение

Ьи(г) = Ии(г) + р(г), г е з, (3)

с операторами Ь е С (Я; М е С/(Я; с областью определения Бм, 3 — интервал в М, задана функция Р : 3 — Предполагается, что кег Ь = {0}, такие эволюционные уравнения будем называть вырожденными.

Обозначим рь(М) = {у е С : (уЬ — М)-1 е Я)} Согласно [1, с. 89] оператор М будем называть (Ь, а)-ограниченным, если

3а > 0 Vу е С (|у| > а) ^ (у е рь(М)).

Теорема 1 [1, теорема 4,1,1], Пусть оператор М (Ь, а)-ограничен. Тогда

(I) операторы

Р = — [ (цЬ - , я = — [ ШЬ - В > а,

2пг ] 2пг ]

Н=Д Ы=я

являются проекторами на пространствах Я и $ соответственно;

(II) имеет место действие операторов Ь : Як — М : Бм П Як — $к, к = 0,1, где Я0 = кег Р, Я1 = 1шР, = кег Я = Ьк = Ь^, Мк = МВМк = Бм П Як, к = 0,1;

(III) существуют операторы М0-1 е С($0; Я0), Ь-1 е С($1; Я1);

(IV) М1 е С (Я1; $1).

Обозначим Н = М0-1 Ьо е С(Я°), N0 = N и {0}.

Пусть р е Оператор М называется (Ь,р)-ограниченным, если он (Ь, а)-ограничен, а оператор Н нильпотентен степени р.

( Ь, р) М

Я0

(Р = 0) уравнения (3), состоит из векторов ядра кег Ь и соответствующих им М-

Ь

Для уравнения (3) с (3,р)-ограниченным оператором М рассмотрим обобщенную задачу Шоуолтера

Ри(£о) = ио е Я1. (4)

Решением задачи (3), (4) на интервале 3 С К назовем такую функцию и е С 1(3; Я), удовлетворяющую условию (4), что при всех £ е 3 и(£) е и справедливо равенство (3).

Теорема 2 [1]. Пусть р е М0, оператор М (3,р)-ограничен, Г е С(3; 3% (I — е Ср+1(3; 3) Тогда для любых £0 е 3, и0 е Я1 задача (3), (4) имеет единственное решение и е С 1(3;Я).

4. Сильно вырожденная система уравнений Осколкова. Рассмотрим начально-краевую задачу для моделирующей динамику вязкоунругой жидкости Кельвина-Фойгта

системы уравнений Осколкова

(1 — хА)у = vАv — (у -У)у — г + /(£,х), (х,£) е П х 3, (5)

V- V = 0, (х,£) е П х 3, (6)

у(х,£) = 0, (х,£) е дП х 3, (7)

(1 — хА)(у(х,£о) — Уо(х)) = 0 , х е П . (8)

Здесь П С К" — ограниченная область с границей дП класс а СПараме тр х е

К как правило, характеризует упругие свойства жидкости, а параметр V е К — её

вязкие свойства. Вектор-функции у = (у1; у2, ..., уп) (вектор скорости жидкости), г = (г1; г2,..., гп) (градиент давления) неизвестны. Через 3 обозначен некоторый интервал в К содержащий точку ¿0.

Обозначим Ь2 = (32(П))га, Н1 = (Ж2(П))га, Н2 = (Ж|(П))га. Замыкание линеала £ = {у е (С0°°(П))га : V • у = 0} по норме Ь2 обозначим через Н2, а по норме Н1 -через Н^. Будем использовать также об означения Н2 = Н2 П Н2, Нп — ортогональное дополнение к Н2 в Ь2, Е : Ь2 — Н2, П = I — Е — соответствующие ортопроекторы.

Известно, что оператор А = ЕА, продолженный до замкнутого оператора в пространстве Н2 с областью определения Н^, имеет вещественный, отрицательный, дискретный, конечнократный спектр, сгущающийся только на —то [6]. Обозначим через {Ак} его собственные значения, занумерованные по невозрастанию с учетом кратности, а через } — ортонормированную систему соответствующих собственных функций,

Н2

Учитывая уравнение несжимаемости (6), положим Я = Н^ х Нп, 3 = = Н2 х Нп. Следовательно, элемент и е Я имеет в ид и = (у, г), а / е 3 _ ВИД / = (Е/, П/). Тогда формулами

т ( I — хА О \ ш ( vA О \ 3 = (, —хПА О) ' М = (, V ПА — I) . (9)

определяются операторы 3, М е £(Я; 3)-

Обозначим через М0 множество тех индексов к, для которых Ак = х-1> через М1 -множество N \ М0.

Теорема 3. Пусть х, V = 0, X 1 е а (А), операторы Ь и М заданы формулами (9).

Тогда оператор М (Ь, 1)-ограничен, рь(М) = С \ 1'■ Ад. ф 11. проекторы имеют вид

Я =

P

□ Имеем

keM1

ПАЕ^

fceMi

1 - \ А/,

/

keM1

-хПД V Í

fceMi

<Pk)<Pk

1 - \ А/,

O

(10)

/

jL - M

U1 - (Ux + v)A

-(jx + V )ПА I

По условию теоремы M0 не пусто, а в силу свойств спектра оператора A — конечно. Имеем

~ {ИХ + Y^ ~ (^'Х + ^Аk){-,(Pk)(Pk <Pk)(Pk ,

keM1 x keM0

vAt

k £ Mi, сгущаются к

где (•,•) - скалярное произведение в Н^. Числа ¿/д. =

v 1 — ХЛк'

точке--при А: —> оо в силу свойств спектра оператора А. поэтому образуют ограии-

X

а > 0 | у| > а

существует непрерывный оператор — |

^fc )<£k

ы - {»х+^мг1 = Y1 — / , \

fceMi (1 - \ А/,) - ^J "

fceMo

k •

Действительно, из последнего равенства видно, что для / е Н0

те

II (у / — (ух + ^А)-1/III, < с ^ |(/, ^)|2 = С

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

к=1

| у| > а

ПА(у/ — (ух + v)A)-1 : — ,

а следовательно, и оператор

(jL - M)

i

(jI - (ux + v)A)-1 O

(UX + v)ПА(и1 - (ux + v)A)-1 I

Таким образом, оператор M (L, а)-ограничен. Обозначим R = (jI - (ux + v)A)-1. Тогда

RL (M)

R(I - xA) O

(ux + v)nAR(I - xA) - xnA O

: F ^ U •

Е

кеМх | ц

vАk

1 — ХАк

ПА

\

V(•, <£к)<£к

Е —

кеМх (1 — хАкИ Ц —

vАk

1 — ХАк

кем0

О

(м)

Е

кеМх ц —

(I — хА)Д О —хПАЯ О

и\к

1 — хАк

О

—ХПА

V

Е-

№ (1 — хАк) ( ц —

vАk

V

кеМо

О

/

/

1 — хАк,

Отсюда по формулам из теоремы 1 (1) с помощью интегральной формулы Коши нетрудно найти проекторы (10). Таким образом,

Я0 = кег Р = {(у, г) е Н2 х Нп : (у, рк) = 0, к е М1},

30 = кег д = {(у, г) е Н х Нп : (у, ^к) = 0, к е М1}

подпространство

Д1 = нпР = | (г;, г) € е2 х е^ : (г;, <рк) = 0,к е М0, г = //ПА ^ " изоморфно {у е Н2 : (у, <^к) = 0, к е М0}, а

кеМх

у, У к) У к 1 -

З1 = шьЯ = | (г>, г) € Н2 х : (г-, щ) = о, А: е Мо, г = —уПА X уз^

изоморфно подпространству {у е Н2 : (у, <^к) = 0, к е М0}. Непосредственно вычислим операторы

М0-1

v-1A-1 О ПАА-1 —I

Н =

кеМх

О

3

0 = ' —хПА £ (-,^к)^к О

кеМ0

О

О

хПА £ (-,^к)^к О

кеМо

к

Отсюда видно, что Н2 = О. Поэтому оператор М является (Ь, 1)-ограниченным. ■

Замечание 2. Если V = 0, то кег Ь П кег М = {0} х Нп, поэтому множество рь(М) пусто.

Р

от, что условие (8) эквивалентно условию Шоуолтера (4). Действительно, (8) означает лишь начальное условие для проекций вектора скорости на собственные функции <^к, не соответствующие собственному значению х-1- По ним определятся начальные значения для соответсвующих компонент г согласно выражениям для элементов пространстваЯ1, Таким образом, ядро Я0 разрешающей группы операторов системы (5)-(7) при х-1 е а(А) оказывается шире, чем в случае х-1 е а(А), рассмотренном в работе [2]. Это не позволяет получить результат, аналогичный теореме 7 о разрешимости начально-краевой задачи дня обобщенной гидродинамической системы из работы |2|, поскольку дня использования теоремы 3 из |2| нужно, чтобы нелинейный оператор в уравнении (5)

г

функции соответствующие собственному значению х-1-

Рассмотрим линеаризованную в окрестности решения (V, г) = (0, /) систему уравнений Осколкова в случае х-1 е а(А)

снабженную начальным и краевым условиями (7), (8). Теоремы 2 и 3 сразу влекут следующий результат.

Теорема 4. Пусть х, V = 0, х-1 е а (А) г0 е 3, у0 е Н2. Тогда при некотором г1 е 3, г1 > г0, существует единственное решение V е С 1(3; Н2), г е С 1(3; Нп) задачи (7), (8),

4. Заключение. В работе исследована структура разрешающей полугруппы линейной части сильно вырожденной системы уравнений Осколкова. Исследование показало, что нелинейная сильно вырожденная система не поддается методам исследования, использованным дня изучения ее обычного варианта авторами в |2|. Получены условия однозначной разрешимости линеаризованной сильно вырожденной системы Осколкова.

1. Свиридюк Г.А., Федоров В.Е. Линейные уравнения соболсвского типа / Челябинск: Че-ляб. гос. ун-т, 2003. 180 с.

2. Федоров В.Е., Давыдов П.И. Полулинейные вырожденные эволюционные уравнения и нелинейные системы гидродинамического типа /7 Тр. Ин-та математики и механики УрО РАН. 2013. 19, № 4. С.267-278.

3. Осколков А.П. Начально-краевые задачи для уравнений движения жидкостей Кельвина-Фойгта и жидкостей Олдройта /7 Тр. Мат. ин-та АН СССР. 1988. 179. С.126-164.

4. Свиридюк Г.А., Сукачева Т.Г. О разрешимости нестационарной задачи динамики несжимаемой вязкоуирух'ой жидкости /7 Мат. заметки. 1998. 63, № 3. С.442-450.

5. Звягин В.Г., Турбин М.В. Исследование начально-краевых задач для математических моделей движения жидкостей Кельвина-Фойгта /7 Современная математика. Фундаментальные направления. 2009. 31. С.3-144.

(1 - xA)vt = vAv - r + f (t,x), (x,t) G П x J V ■ v = 0, (x,t) G П x J,

(11) (12)

(11), (12).

Литература

6. Ладыженская О.А. Математические вопросы динамики вязкой несжимаемой жидкости / М.: Гос. изд-во физ.-мат. .литературы, 1961. 204 с.

STRONGLY DEGENERATE OSKOLKOV SYSTEM OF EQUATIONS

P.N. Davydov, V.E. Fedorov

Chelyabinsk State University, Bratyev Kashirinyh St., 129, Chelyabinsk, 454001, Russia, e-mail: davyduv@csu.ru, kar@csu.ru

Abstract. The Oskolkol system of equations for the dynamics of Kelvin Voight fluid is considered in the case of the degenerate differential operator with respect to the spatial variables at the time derivative. It is shown that strongly degenerate resolving operator group corresponds to the linear part of the system. Unique solvability theorem to initial boundary value problem for the linearized strongly degenerate Oskolkov system.

Key words: Kelvin-Voight's fluid, Oskolkov's system of equations, degenerate operator group.

i Надоели баннеры? Вы всегда можете отключить рекламу.