Система уравнений ламэ в области с малым отверстием - Дипломная работа

§ 1. Постановка задач и формулировка основных результатов

В работе рассматривается сингулярное возмущение задачи Дирихле для системы уравнений Ламэ.

Пусть и односвязные ограниченные области в , 2 с бесконечно дифференцируемыми границами и , . Не ограничивая общности, будем считать, что начало координат, лежит в . Обозначим , , , . Через обозначим вектор-функцию . Рассматриваются следую-щие краевые задачи с граничными условиями Дирихле и Неймана на гра-нице малого отверстия

, , , , (1)

, , , , , , (2)

где – внешняя нормаль, , и – -мерные вектор-функции с компонентами, определенными на . Краевые задачи (1) и (2) будем называть возмущенными.

Для (1) и (2) назовем предельной краевую задачу

, , , , (3)

где и – -мерные вектор-функции с компонентами, определенными на . Пусть Q-односвязная ограниченная область в . Далее под будем понимать пространство -мерных вектор-функций, компоненты которых являются вещественными квадратично интегрируемыми по Лебегу функциями. Норма в определяется равенством:

= .

Под и будем понимать соответственно пополнения пространств -мерных вектор-функций с компонентами из и по норме

, где .

Пусть , тогда под будем понимать пополнение вектор-функций с компонентами из , обращающихся в нуль в окрестности , по норме .

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

Доказательство однозначной разрешимости краевых задач (1),(2) и (3) можно найти в [1].

Основным результатом работы является доказательство следующих утверждений.

Теорема 1. Пусть . Тогда

a) для решения возмущенной задачи (1) справедлива равномерная по оценка

, (4)

где константа не зависит от ;

б) если при , то для решений краевых задач (1), (3) имеет место сходимость

. (5)

Теорема 2. Пусть . Тогда

a) для решения возмущенной задачи (2) справедлива равномерная по оценка

, (6)

б) если при , то для решений краевых задач (2), (3) имеет место сходимость

. (7)

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

Обозначим U V:= .

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

(8)

для любой вектор-функции .

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

(9)

для любой вектор-функции .

Определение 3. Пусть . Обобщенным решением краевой задачи (2) называется вектор-функция удовлетво-ряющая интегральному тождеству (9) для любой вектор-функции .

§ 2. Доказательство первого пункта теорем 1 и 2

Лемма 1 (Неравенство Фридрихса). Пусть Q ограниченная область в с бесконечно дифференцируемой границей. Тогда для любой вектор-функции справедливо неравенство

.

Доказательство этой леммы можно найти, например, в [2], [3].

Заметим, что, так как продолжив элементы из нулем в , получим элементы из , то C( ) C( ). Следовательно, для любой вектор-функции справедливо неравенство

. (10)

С помощью неравенства Фридрихса (10) получаем, что

.

То есть,

. (11)

В силу интегрального тождества (9) при будем иметь

. (12)

Установим теперь оценку (4). Для этого воспользуемся неравенства-ми (11) и (12). Имеем

.

Следовательно,

, где .

Первый пункт теоремы 1 доказан.

Установим теперь оценку (6). Ясно, что для этого достаточно доказать аналог неравенства (10) для функций из пространства :

, (13)

где постоянная не завист от .

Известно (см., например, [4]), что минимальное собственное значение краевой задачи

, , , , ,

определяется равенством

.

Из последнего равенства следует, что

.

В работе [5] показана сходимость к , где - минимальное собственное значение краевой задачи

, , , .

Отсюда и из последнего неравенства следует оценка (13) с константой .

§ 3. Доказательство второго пункта теоремы 1

Пусть Q ограниченная область в с бесконечно дифференцируем-ой границей. В пространствах и определим следующие скалярные произведения

, .

Таким образом, пространства и являются гильбертовыми. Очевидно, что эти скалярные произведения индуцируют ранее определен-ные нормы в этих пространствах.

Пусть - гильбертово пространство. Обозначим через ска-лярное произведение в .

Определение 4. Последовательность , слабо сходится к элементу в при , если при для любого элемента .

Определение 5. Множество называется компактным в гиль-бертовом пространстве , если любая последовательность его элементов содержит фундаментальную в подпоследовательность.

Утверждение 1. Любое ограниченное множество гильбертова пространства – слабо компактно.

Доказательство этого утверждения можно найти, например, в [6].

Имеет место следующая лемма.

Лемма 2 (Реллиха). Ограниченное в множество вектор-функций компактно в .

Доказательство этой леммы можно найти в [4].

Обозначим через шар с радиусом равным и центром в начале координат.

Хорошо известен следующий факт.

Лемма 3. Пусть функция . Тогда существуют функции , тождественно равные нулю в и сходящиеся в норме H1(Q) к при .

Очевидно, что лемма 3 справедлива и в случае, когда v вектор-функция.

Пусть произвольная последовательность, сходящаяся к нулю при . Положим . По условию при . Из (4) следует, что множество ограничено в , где . Следовательно, в силу леммы 2 существует подпоследовательность и функция такие, что имеет место сходимость

в сильно и слабо в при . (14)

Заметим, что так как, продолжив вектор-функции и нулем в получим элементы из и соответственно, то для рассматриваемой возмущенной краевой задачи (1) интегральное тождество (9) можно переписать в виде

. (15)

Не ограничивая общности, будем считать, что . Подставляя при в (15) элемент , где удовлетворяет условию леммы 3, и переходя к пределу при , в силу (14), условия второго пункта теоремы 1 и леммы 3 получаем, что

.

Следовательно, решение предельной задачи (3). В силу единственности решения краевой задачи (3) .Так как последовательность была выбрана произвольно, то получим, что

в сильно и слабо в при . (16)

С помощью неравенства (13) получаем, что

.

То есть,

, где .

Следовательно,

. (17)

В силу интегральных тождеств для возмущенной и предельной краевых задач (1) и (3), условия второго пункта теоремы 1 и сильной сходимости в (см. (16)) при имеем

. (18)

В силу (17) и (18) будем иметь

при .

Теорема 1 доказана.

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

[1] Олейник О. А. Математические задачи теории сильно неоднородных

упругих сред. // М.: Изд-во МГУ, 1990.

[2] Кондратьев В. А. О разрешимости первой краевой задачи для сильно

эллиптических уравнений. // Труды Моск. мат. о-ва, 1967, Т. 16, C.

293-318.

[3] Мазья В. Г. Пространства Соболева. // Л.: Изд-во ЛГУ, 1986.

[4] Михайлов В.П. Дифференциальные уравнения в частных производных.

М.: Наука, 1976.

[5] Гадыльшин Р.Р. Спектр краевых задач при сингулярном возмущении

граничных условий. // Уфа, БНЦ УрО АН СССР, 1988, С. 3-15.

[6] Като Т. Теория возмущений линейных операторов. М.: Изд-во Мир,

1972.

[7] Планида М.Ю. О сходимости решений сингулярно возмущенных

краевых задач для лапласиана. // Математические заметки, 2002, Т. 71,

вып. 6, С. 867-877.

Курсовая работа:
Подоходное налогообложение в странах с развитой экономикой

Вебинар:
Отражение лингвострановедческих особенностей системы образования сша в романе с. майер «сумерки» и их изучение на занятиях по английскому языку в средней школе

Реферат:
Реформирование бухгалтерского учета России в соответствии с МСФО

Дипломная работа:
Нахождение линейных законов сохранения системы обыкновенных дифференциальных уравнений методом компьютерной алгебры

Отчет по практике:
Отчет по преддипломной практике в ОАО «Сбербанк России» Шуйское отделение Ивановского отделения № 8639