Спросить
Войти
Категория: Математика

ИССЛЕДОВАНИЕ ПОЛУКОЭРЦИТИВНОЙ ЗАДАЧИ СИНЬОРИНИ МЕТОДОМ ЭРРОУ - ГУРВИЦА

Автор: Максимова Надежда Николаевна

УДК 519.853.2+ 519.632

Н.Н. Максимова

ИССЛЕДОВАНИЕ ПОЛУКОЭРЦИТИВНОЙ ЗАДАЧИ СИНЬОРИНИ

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

The algorithm for solving the variational problem of the theory of elasticity (named scalar Signorini problem)is presented in the paper. The circuit solution is to construct a dual circuit with a modified method of Lagrange Multipliers to the original semicoercive -variational formulation and subsequent use of research Arrow - Hurwitz method of the saddle point. The implementation of the algorithm is carried out in the approximation problems by the Finite Element Method. The algorithm is implemented in Matlab SPTR2010b.

Постановка задачи

Рассмотрим полукоэрцитивную задачу Синьорини (задача о движении жидкости в области, ограниченной полунепроницаемой мембраной), вариационная постановка которой имеет следующий вид [1]:

V е О = еГ2&(П): V > 0 на Г}, где П с И" (п = 2, 3) - ограниченная область с достаточно гладкой границей Г ; / е Ь2(0.) - заданная функция.

Условие разрешимости задачи (1) имеет вид:

Для решения задачи (1) рассмотрим схему двойственности, основанную на модифицированном функционале Лагранжа. Данный подход состоит в замене исходной задачи поиска условного экстремума задачей поиска седловой точки функционала Лагранжа.

МЕТОДОМ ЭРРОУ - ГУРВИЦА

THE STUDY SEMICOERCIVE SIGNORINI PROBLEM BY ARROW - HURWICZ METHOD

Схема двойственности с модифицированным функционалом Лагранжа для скалярной задачи Синьорини

Определим в ж} (Р) х Ь2 (Г) модифицированный функционал Лагранжа [2-4]:

- /2 \\dY, (3)

М(v,/) = - J|Vv|2 JQ-jf vdD. + —{[(/ - г V)

2 n п 2 г г (

где г > 0 - const, (/ - г v)+ = max {0, / - г v} .

Пару (v*,/*) е W^Q) х 12(Г) будем называть седловой точкой для M(v, /), если выполняется двустороннее неравенство

М(v\\I) <М(v\\/*) <М(V,I*), V V е Ж V/ е Х2(Г). (4)

Легко показать, что функционал M(v, I) является выпуклым по v при фиксированном I и вогнутым по / при фиксированном v.

Для поиска седловой точки модифицированного функционала применяется алгоритм Удзавы. Задаем произвольно 10 е Ж21/2(Г), который является следом на Г некоторой функции v° е . На

(£+1)-й итерации метода выполняем следующие шаги: шаг 1. Определяем vk+l = arg min М(v,lk);

уеГ2&(П)

шаг 2. Полагаем lk+1 = (lk + г vk+1)\\ где г - параметр сдвига по двойственной переменной.

Подробное описание сходимости алгоритма и результаты численных расчетов, в том числе с одновременной проксимальной регуляризацией функционала, приведены в [5, 6]. При численной реализации метода выделяются два итерационных процесса: внутренний - для минимизации по прямой переменной конечномерного аналога функционала M(v, I) при фиксированной двойственной переменной (первый шаг алгоритма Удзавы), и внешний - для пересчета компонент двойственной переменной при фиксированной первой компоненте (второй шаг алгоритма Удзавы). При реализации первого шага обычно применялся метод спуска. В данной работе рассмотрим несколько иной подход.

Аппроксимация задачи по методу конечных элементов

Аппроксимируем модифицированный функционал (3) по методу конечных элементов [7]. Введем следующие обозначения: F^ - триангуляция области Q, h - параметр триангуляции, Р - множество индексов узлов триангуляции, I - множество индексов граничных узлов триангуляции,

Vh =\\vh v^. > - линейная оболочка соответствующих кусочно-аффинных базисных функций

Через yi обозначим приближенное значение решения v в узле Mt (/ е Р), at - приближенное значение двойственной переменной / в узле Mt (/ е /) .

Во всех численных примерах в качестве расчетной области выберем единичный квадрат Q = [-l/2, 1/2]х[—1/2, 1/2] и триангуляцию области проведем с помощью равномерной сетки. Счет

будем осуществлять на сетках с шагами hN = 1/4, 1/8, 1/16, 1/32, 1/64, где N = 1, 5 - номер сетки.

При аппроксимации квадратичной формы a(v, v) = || Vv|2 dQ получаем ее конечномерный анап

лог ^Ау, у) = ^^ Ayy^j , где элементы матрицы жесткости Л рассчитываются по формуле

A JjV^Vp/nl • (5)

In J jEp

При аппроксимации линейного слагаемого | / vdО. получаем (р, у} = ^ , где элементы

П ¿е-р

вектора ^ рассчитываются по формуле

F = ||/ <р,<Ю.1 .

Г Ш& -& *>*

- /2 шГ в модифицированном функционале Лагранжа вычислим

Интеграл —

2 г

приближенно по формуле прямоугольников. Учитывая расчетную область и равномерную сетку триангуляции, получаем следующее выражение: —(а. -гу.)+

,е/ V1"

Окончательно конечномерный аналог модифицированного функционала Лагранжа (3) принимает вид

М(у,а) = Л >•, у) -(F, у) + АX{ (о,. - гу,.)+ я,2}, у е а е дН.

Согласно алгоритму метода множителей [2], седловая точка конечномерного функционала (7) является решением системы уравнений VуМ(у,а) = 0, УМ(у,а) = 0.

Продифференцируем функционал М(а) по компонентам прямой переменной (/ е Р ) и приравняем производные к нулю:

(.у, а)

Е Л&-К/ " Рг ~ Н (~ ГУ& )+ & 1 е 1 ■

Получаем расчетные формулы для компонент прямой переменной: для внутренних узлов (/ е Р /1)

= _ 1 £ +1_ ^);

II ]<& ]>&

для граничных узлов (/ е /) вычисляем:

далее полагаем

,(я+1)

, еслм > 1

А. + кг

(IVГ& +1 И) "^ "

еслм у/. <

Вычислим производные по компонентам двойственной переменной (/ е /) и приравняем к нулю: дМ (у, а)

-к{{аг ~ ГУ,)+ " а, } = 0,

откуда получим формулу для расчета компонент двойственной переменной

,(«+1) _

(а1(и) - гу™)+ , / е /

<IQ"~ . (13)

которая, очевидно, также совпадает с конечномерным аналогом формулы второго шага алгоритма Удзавы. Кроме того, эта же формула представляет собой реализацию метода проекции градиента для максимизации модифицированного функционала по двойственной переменной с шагом сдвига, равным параметру двойственности г.

Согласно [5], итерационный процесс (9)-(12) можно назвать методом Эрроу - Гурвица, в котором для нахождения седловой точки применяются метод проекции антиградиента для минимизации по прямой переменной и метод проекции градиента для максимизации по двойственной переменной.

В качестве критерия останова итерационного процесса по формулам (9)-(12) выберем следующее условие:

дМ (у(я), а(п>)

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

Да(и) = maxiа,(и> -а1(и"1)I, i I I

где и - число итераций метода. В расчетных таблицах 1-2 данная величина представлена для последней сетки с номером N= 5.

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

Численная реализация и результаты расчетов

Зададим параметры для численных расчетов. Функцию/выберем кусочно-постоянной в расчетной области Q так, чтобы выполнилось условие разрешимости (2). В зависимости от вида функции /"будем решать две задачи (рис. 1).

а)задача 1 б)задача 2

Рис. 1. Способы задания функции/в задаче Синьорини.

Результаты численных расчетов представлены в табл. 1-2, графики полученных решений (на последней сетке) - на рис. 2.

Как видно из расчетных таблиц, скорость сходимости итерационного процесса зависит как от параметра двойственности г, так и от параметров самой задачи.

Следует отметить, что при выполнении критерия останова счета отклонение по двойственной компоненте значительно, особенно для задачи 2, и если помимо критерия (13) дополнительно использовать критерий max\\a(in) - < 10"N, то число итераций возрастет значительно. Это подтверждается i I I

дополнительными расчетами, которые в данной работе не представлены.

Таблица 1

Число итераций метода множителей для задачи 1

Номер сетки, N 1 2 3 4 5 Ао(

Шаг, Иы 1/4 1/8 1/16 1/32 1/64

Параметр двойственности г — 10® 1 2 10 50 149 1,6-Ю"4

г= 10 1 2 10 41 150 1,8-Ю"4

г = 5 1 2 11 31 144 1,6-Ю-4

г = 1 1 2 14 54 69 1,2-10"4

г = 0,5 1 3 13 109 55 3,5-10"4

Таблица 2 Число итераций метода множителей для задачи 2

Номер сетки, N 1 2 3 4 5 Ао(

Шаг, Иы 1/4 1/8 1/16 1/32 1/64

Параметр двойственности г= 106 3 3 7 14 34 3,5-10"3

г= 10 3 4 7 11 23 2,2-10"3

г = 5 3 1 16 17 32 2,9-10"3

г = 1 3 2 2 5 16 5,8-10"2

г = 0,5 4 2 3 13 36 4,2-10"2

Заключение

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

Рис. 2. Графики решения задачи Синьорини а - решение задачи 1; б - решение задачи 2.

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

Ранее такой подход был применен для решения модельной задачи механики с трением на границе [8]. При реализации алгоритма были получены аналогичные выводы.

1. Гловински, Р. Численное исследование вариационных неравенств / Р. Гловински, Ж.-Л.Лионс, Р. Тре-мольер. - М.: Мир, 1979. - 574 с.
2. Бертсекас, Д. Условная оптимизация и методы множителей Лагранжа. - М.: Радио и связь, 1987. - 400 с.
3. Гольштейн, Е.Г. Модифицированные функции Лагранжа. Теория и методы оптимизации / Е.Г. Голь-штейн, Н.В. Третьяков. - М.: Наука, 1989. - 400 с.
4. Гроссман, К. Нелинейное программирование на основе безусловной минимизации / К. Гроссман, A.A. Каплан. - Новосибирск: Наука. Сибирское отд., 1981. - 183 с.
5. Намм, Р.В. Решение полукоэрцитивной задачи Синьорини методом итеративной проксимальной регуляризации модифицированного функционала Лагранжа / Р.В. Намм, A.C. Ткаченко // Известия вузов. Математика. -2010.-№ 4.-С. 36-45.
6. Ткаченко, A.C. Модифицированные функционалы Лагранжа в механике: Дис. ...канд. физ.-мат. наук. -Хабаровск, 2011.- 105 с.
7. Главачек, И. Решение вариационных неравенств в механике / И. Главачек, Я. Гаслингер, И. Нечас, Я. Ло-вишек. - М.: Мир, 1986. - 270 с.
8. Максимова, H.H. Численное исследование одной вариационной задачи механики с применением методов двойственности // Вестник ТОГУ. - 2013. - № 2(29). - С. 49-58.
СКАЛЯРНАЯ ЗАДАЧА СИНЬОРИНИ scalar signorini problem МЕТОД МНОЖИТЕЛЕЙ ЛАГРАНЖА the Мethod of lagrange Мultipliers СЕДЛОВАЯ ТОЧКА saddle point МЕТОД КОНЕЧНЫХ ЭЛЕМЕНТОВ finite element method МЕТОД ЭРРОУ ГУРВИЦА arrow-hurwitz method
Другие работы в данной теме:
Контакты
Обратная связь
support@uchimsya.com
Учимся
Общая информация
Разделы
Тесты