Методы конструирования адаптивных сеток тема автореферата и диссертации по математике, 01.01.07 ВАК РФ
Лисейкин, Владимир Дмитриевич
АВТОР
|
||||
доктора физико-математических наук
УЧЕНАЯ СТЕПЕНЬ
|
||||
Новосибирск
МЕСТО ЗАЩИТЫ
|
||||
1992
ГОД ЗАЩИТЫ
|
|
01.01.07
КОД ВАК РФ
|
||
|
РОССИЙСКАЯ АКАДЕМИЯ НАУК СИБИРСКОЕ ОТДЕЛЕНИЕ Ш^ШСЛ'ГГЕГхЬШП ЦЕНТР
На правах рукописи
ЛИС31КИН Владимир Дмитриевич
УДК 519.6
МЕТОДУ КОНСТРУИРОВАНИЯ АДАНТИВШХ СЕТОК 01.01.07. - Вычислительная математика
Автореферат диссертации но соискание ученой степени доктора физико-математических наук
Новосибирск 1992
Работа выполнена в Институте вычислительных технологий Сибирского отделения РАН.
Официальные оппоненты:
д.ф.-м.н., профессор В.П.Ильин д.ф.-м.н., профессор В.Ф.Куропатенко д.су.-м.н. Г.II.Прокопов Ведущая организация: Институт математики и механики Ур.Н.Ц. РАН
Защита состоится " ¿/^¿■ё'/Ь^^Ш19^ года в '1С часов
на заседании специализированного совета Д C02.I0.0I при Вычислительном центре СО РАН (630090, г.Новосибирск, пр-т Акад.Лаврен-тьева, 6).
С диссертацией можно ознакомиться в читальном зале библиотеки ВЦ СО РАН.
Автореферат разослан " " 19щ г.
Ученки секретарь специализированного совета д.ф.-м.н.
Ь.И.Кузнецов
ЗИВЛИШЕКЛ
Актуальность проблемы. Возрастающие требования науки и' техники в исследовании реальных физических процессов ставят проблему создания надежных и эффективных численных алгоритмов, позволяющих решать сложные пространственные задачи математической физики. Разностная сетка, являясь одним из ключевых элементов алгоритма, играет важную роль в увеличении эффективности численных расчетов. Эта роль особенно ярко проявляется при исследовании задач с резкими изменениями или большими градиентами решений в узких зонах: пограничных и внутренних (переходных) слоях. Для решения таких задач необходимы методы конструирования адаптивных сеток со сгущающимися узлами. Сгущение узлов в зонах больших градиентов уменьшает осцилляции, искусственную вязкость и погрешность численного алгоритма, также позволяет получать детальную картину решения в слоях и дает возможность находить его на доступном тесле узлов сетки. Эти возможности адаптивных сеток и ставят проблему их конструирования в качестве одной из актуальных задач вычислительной математики.
Цель работы состоит в исследовании качественных свойств решений уравнений с пограничными и внутренними слоями и в разработке и обосновании методов построения адаптивных сеток для численного решения задач математической физики.
Научная новизна и практическая ценность. Исследованы качественные свойства решений двухточечных бисингулярных задач с малым параметром. Получены оценки производных, позволяющие в явном виде определять преобразования независимой переменной, устраняющие особенности задач с малым параметром, входящим в коэффициенты перед старшими производными. На основе этих преобразований сконструированы адаптивные сетки методом растяжения. Теоретическими методами исследована сходимость схем с направленными разностями решения некоторых бисингулярных задач на таких сетках. Разработаны вариационные методы построения многомерных адаптивных сеток на основе функционалов: I)погрешности, 2)адаптациии, 3регулярности.
Практическая ценность полученных теоретических результатов и разработанных методов построения адаптивных сеток состоит в том, что они позволяют:
I ;.делать вывод о качественной структуре и положении слоев решения некоторых Сисингулярных задач на основе анализа их инвариантов;
2)задэвать начальное приближение при решении уравнений с малым параметром методом итераций;
оСконструировать адаптивные сетки методом растяжения для численного решения 'задач с малым параметром, входящим в коэффициенты перед старшими производными;
4)получать единым методом невыровденные адаптивные сетки для областей и их границ.
Автор защищает:
-теоретические исследования качественной структуры Оисингулярных задач с малым параметром;
-разработка и обоснование метода растяжения для• численного решения задач с малым параметром при старшей производной;
-разработка и обоснование вариационных методов построения многомерных адаптивных сеток.
Основные результаты работы сформулированы в заключительной части автореферата ("Основные результаты и выводы").
Апробация. Представленные в диссертации результаты в процессе их получения докладывались на семинарах: кафедры вычислительных методов механики сплошных сред Новосибирского государственного университета, кафедры вычислительной математики Московского государственного университета, отделов Института теоретической и прикладной механики СО АН СССР, Новосибирск, Уральского НШ математики и механики Уральского отделения АН СССР, Свердловск, Института прикладной математики, Москва, Института математики СО АН СССР, Новосибирск, Института вычислительных технологий. Кроме этого, результаты работы 1 докладывались на 6-ой международной конференции по численным методам в гидродинамике, 1978, Тбилиси, на международной конференции по решению задач с пограничными и внутренними слоями, 1986, Новосибирск, на Всесоюзной конференции "Новые подходы к решению дифференциальных уравнений", 1987, Дрогобыч, на региональной конференции "Прикладная механика сплошных сред", Т337, Томск, на Всесоюзных конференциях "Актуальные
проблемы вычислительной и прикладной математики", 1987, 1990, Новосибирск, на советско-японском симпозиуме по вычислительной аэрогидродинамике, 1988, Хабаровск, на Всесоюзном семинаре "Теоретические основы и конструирование численных алгоритмов решения задач математической физики, 1983, Кемерово и на совещаниях по методам конструирования соток для задач математической физики, 1990, Свердловск, 1992, Челябинск, на международной конференции "Математические модели и численные методы в механике сплошных сред", 1991, Новосибирск, на третьей региональной конференции "Теория аппроксимации и задачи вычислительной математики", 1991, Новосибирск, на "Всесоюзной конференции по методам численного решения многомерных нестационарных задач математической физики", 1991, Арзамас.
Публикации. По теме диссертации опубликовано 55 работ, в том числе монография III (в соавторстве с В.Е.Петренко). Основные результаты диссертации опубликованы в работах ГТ - 381.
Структура и обгем. Диссертация состоит из введения, четырех глав, заключения и списка цитируемой литературы; содержит 207 стр. машинописного текста, в том числе 17 таблиц и 22 рисунка. Список цитируемой литературы содержит 200 наименований.
КРАТКОЕ СОДЕРЖАНИЕ РАБОТЫ
Во введении дано обоснование актуальности темы диссертации, представлен краткий обзор и анализ методов построения адаптивных сеток для численного _решения задач математической физики, а также сформулирована общая характеристика работы и описано краткое содержание глав.
В начале введения показана роль и возможности методов построения адаптивных сеток в улучшении алгоритмов расчета задач с особенностями и со сложной структурой решений. Такие задачи возникают в физике, механике, биологии, химии и других областях науки и техники.
В основном методы конструирования адаптивных сеток направлены на построение сеток со сгущающимися узлами в зонах больпих градиентов или погрешностей и в областях
медленной сходимости. Сетки, сгущающиеся в зонах больших градиентов, уменьшают численную вязкость и осцилляции, дают возможность получать в них детальную картину течения и обеспечивают приемлемое решение на доступном числе узлов.
Методы адаптации делятся на две группы: I)локальной адаптации, в которых сгущение узлов осуществляется их добавлением, а разрежение - вычеркиванием и 2)глобальной адаптации, в которых одно и то же число узлов перераспределяется в зависимости от свойств решений, полученных аналитически, экспериментально или в процессе численного расчета. Методы локальной адаптации используются при построении неструктурных сеток с узлами, расположенными нерегулярно, а методы глобальной, адаптации применяются при конструировании структурных (координатных) сеток, в которых узлы задаются пересечением линий некоторой координатной системы ц = Ц1), 1=1,2,...,п, определенной преобразованием х(ц): О11 »■ X, где 0П - стандартная вычислительная область, а X - физическая область, в которой решается задача.
Основные идеи построения адаптивных сеток были сформулированы как в работах отечественных ученых: Н.С.Бахвалова, С.К.Годунова, Г.П.Прокопова, А.А.Самарского, А.Ф.Сидорова, А.Н.Тихонова, Н.Н.Яненко, так и зарубежных -Д.А.Андерсона, И.Бабушки, Дж.Брэкбилла, Х.А.Дуайера, Д.Моррисона, Дж.С.Салтзмана, Дж.Тэмпсона и П.Р.Эйзимана. Эти работы положили начало созданию серии эффективных методов построения адаптивных сеток: I) - растяжения, 2) - весовых функций, 3) - динамические, 4) - контрольных функций, 5) -вариационные и 6) - проекции.
Далее во введении дано краткое описание этих методов, а в конце компактно изложено содержание диссертации.
В первой главе кратко представлены некоторые общие сведения, терминология и определения, встречающиеся в области конструирования сеток. Здесь описываются существующие классы сеток: структурные, неструктурные, гибридные, их достоинства, недостатки и методы их построения. Более подробно представлено описание технологии построения гибридных сеток, являющихся наиболее перспективными для численных расчетов сложных задач. Далее изложены требования, накладываемые на сетку, методы их
реализации и актуальные проблемы, связанные с созданием алгоритмов построения сеток.
Во второй главе представлены результаты автора по теоретическим исследованиям структуры и положения слоев в задачах с малым параметром, входящим в коэффициенты перед старшими производными. Такие исследования важны для успешного применения адаптивных сеток, построенных по методу растяжения, в решении прикладных задач. Для построения адаптивных сеток в методе растяжения достаточно знать не приближенное решение/ а его качественную структуру, учитывающую характерные особенности задачи. Поэтому для такого исследования можно успешно использовать как простые модельные уравнения, в частности одномерные, так и простыв теоретические методы. Это утверждение демонстрируется во введении на примере решения задачи движения вязкой жидкости в окрестности границы, качественное исследование которой сводится к изучению обыкновенного уравнения с малым параметром.
Теоретические исследования включают получение оценок производных в основном для обыкновенных бисингулярных уравнений вида:
L(u) - -(е + рх)Рц" + a(x,u)u' + f(x,u) =0 (t) р = 0,1, 0 < е « 1, и их обобщений на системы и параболические уравнения, в которых особенности появляются как из-за малого параметра е, так и из-за сингулярностей вырожденного уравнения. Задачи вида (I) возникают при качественном исследовании явлений в газовой динамике и гидродинамике, задачах движения электронов, в биологии, химии и теории полупроводников.
В §1 показано, что если выполнено условие Гц(х,и) г с>0, то решение задачи Дирихле для уравнения (I) имеет равномерно ограниченную по е вариацию. Это утверждение гарантирует возможность определения новой переменной q, связанной с х преобразованием x(q), относительно которой производные решения задачи равномерно ограничены по е. Следовательно, скачок решения в соседних узлах сетки, построенной по преобразованию x(q), будет меняться равномерно, и поэтому для решения задач на таких сетках мозкко использовать обычные схемы.
В §2 подробно исследована задача Дирихле для уравнения (I) при р = О, a(x,u) = а(х), fu(x,u) г с > 0. При этих ограничениях рассмотрены все возможные случаи возникновения слоев и приведены оценки производных решения. Новые результаты получены для случаев внутренних и граничных точек поворота. Показано, что n-е производные решения этой задачи мажорируются тремя видами функций:
Ф?(Х,Х0,Ъ,Т}) = MCI + Tfnexp(-b|x - x0|/T})) (2)
ф£}(Х,Х0,Ъ,-П) = Mit + Т}Ь/(Т] + Ix - x0|)b+n) (3)
ф§(х,х0,Ъ,17) = M(1 + (tj + |х - x0|)b_n) (4)
b > О, tj = еа, а > О В частности, выяснено, что если а(0) = О, а'(О) < 0, то структура слоя наиболее сложная, зависящая от комбинации двух функций: погранслойной (3) и сингулярной (4).
В §3 представлены оценки производных как задачи Дирихле, так и задачи Неймана для уравнения (I), в котором не выполняется условие £ц(х,и) > 0. Рассмотрены примеры задач, возникающих в геодинамике и теории популяций. Также в этом параграфе приведены оценки про'изводных для уравнения первого > порядка с точкой поворота.
Результаты для систем обыкновенных уравнений даны в §4. Здесь получены оценки для систем первого порядка с точкой поворота и для систем второго порядка без первой производной.
В §5 подробно исследована задача Дирихле для уравнения (I) при р = 1, a(x,u) = а(х), fu(x,u) * с > 0. Такие задачи возникают при изучении диффузии электронов или движения жидкости в окрестности кругового выреза. Производные решения этой задачи оцениваются в зависимости от значений р и а(0) Функциями (2) - (4), а также функцией:
ф5(х,х0,7}) = н<1 + 07 + |х - х0| Гп1гГ1т7-1 ) (5)
В §6 приведено обобщение некоторых результатов параграфов 2 и 5 на случай задачи для параболического уравнения:
$ + Ь(Ю = о,
с согласованными до первого порядка краевыми условиями, где L - оператор (I).
Изучение структуры слоев решения обыкновенных
квазилинейных уравнений второго порядка проводится в §7. Важность таких исследований показана в начале параграфа на примере анализа структуры ударной волны в вязком теплопроводном газе. Потребности качественного анализа такой задачи приводят к простому автономному уравнению вида:
-eu" + a(u)u' = 0. (б)
Также рассматривается и неавтономное уравнение
-eu" + uu' + Их,и) = 0 (7)
В этом параграфе изучены разнообразные случаи возникновения слоев. Показано, что структура и положение слоя решения двухточечной задачи для уравнения (б) определится краевыми условиями и порядком нуля а(и), а производные оцениваются функциями (2), (3). В частности, обнаружены такие условия, при которых слой является внутренним с разной структурой в левой и правой его части для е > 0 и неограниченно приближается к границе при е * О, так что предельное решение имеет уже не внутренний слой, а пограничный, т.е. решение предельного уравнения в данном случае не отражает качественной ситуации в задаче с малым параметром (6). Поскольку уравнение (6) моделирует качественную структуру ударной волны, то подобная аномальная ситуация мокет возникнуть и в задачах движения газа.
Качественное исследование краевой задачи для уравнения (7) проведено для случая fu(x,u) г с > О и f(x,0) = 0. Показано, что первая производная решения оценивается функцией (2) при п = I, и указаны условия, при которых решение может иметь пограничные слои или внутренние, или не иметь слоев.
В третьей главе исследуется метод растяжения в приложении к задачам с малым параметром. Этот метод получил широкое примененио при расчетах задач с погранслоями. В методе растяжения сгущающаяся сетка конструируется путем растяжения одного или нескольких семейств координатных линий в зонах больших производных решения (слоях) и сжатия вне таких зон с помощью специальных разделенных преобразований q^ix1), i = 1,.,.,n, где х1 - физическая координата. Обратные преобразования x1(q1) будут сж.шалиими в слоя/, и, следовательно, сетка, построенная на основе этих преобразований будет сгущающейся в этих зонах.
Вид преобразования qi(x1), растягивающего координату х1, зависит от качественного поведения решения задачи. Поэтому для эффективного применения метода растяжения при расчетах многомерных задач нужно суметь • предугадать возможную качественную структуру, решения в слоях. В главе II было проведено исследование возможных структур слоев в задачах с малым параметром, входящим в коэффициенты перед старшими производными. Результаты этих исследований и используются в главе III для конструирования сгущающихся сеток по методу растяжения. х
В §1 рассмотрены некоторые свойства функций (2) - (Б), являющихся мажорирующими для производных решений задач со слоями, определяемыми малым параметром в и сингулярностями вырожденных задач. Приведены оценки размеров слоев и соотношений между указанными функциями. В частности, показано, что степенная функция . (3) мажорирует экспоненциальную - (2). Таким образом, базисными в оценках производных решений задач с малым параметром являются функции (3), (4) и (5).
Конструирование адаптивных сеток с помощью метода растяжения рассмотрено в §2. Здесь обсуждается базисный принцип построения растягивающего преобразования q(x), который является удобным в теоретических исследованиях решений задач с малым параметром. По этому принципу преобразование q(x) должно быть таким, чтобы решение и(х) относительно переменной q имело равномерно ограниченные производные:
dk dqk
s. M
(8)
где х^) - функция, обратная q(x)t а константа М не зависит от малого параметра е. Порядок производной к зависит от гладкости задачи и других условий, в частности, от порядка точности схемы. Далее в §2 приведены четыре Оазисных сжимающих преобразования х^), 1 = 1,2,3,4, полученных на основе мажорирующих функций (2) - (5), одно из которых -известное логарифмическое, а три других - степенные. С помощью этих преобразований, путем склейки их друг с другом в смешанных слоях, а вне слоев - с полиномиальными отображениями, и конструируется функция х^), обеспечивающая
условие (ф.
Наиболее удобным и универсальным в практических приложениях является преобразование х^), полученное с помощью мажорирующей функции (3), которое для части слоя, слева от его центра х0, имеет вид:
= х0 ~ ~ " ~ * Ч * 10 (9)
р = (1 - 07/07 + пп7Г))Ь)/(ч0 - <1_). г = Ь/(Ь + 1), ш > О, Ь >0, т} = еа
или при Ъ = 1 в (9):
= х0 ~ "ПР(Чо - - р(% - <})), (Ю)
Аналогично функция х(я) определяется справа от центра слоя.
Эти преобразования задают закон распределения узлов точек сетки в слое, при этом параметр т] определяет степень сгущения узлов в центре слоя, а параметр Ь в (9) управляет шириной слоя сгущения. В частности, слой расширяется при уменьшении Ъ.
С помощью преобразования (9) устраняются особенности решений задач с малым параметром, производные которых мажорируются функциями (2) и (3), а преобразование (10) устраняет особенности вида (2). Для решений и(х), производные которых оцениваются функциями (4), (5) преобразования (9), (10) хотя полностью и не устраняют особенности вида (4), (5), однако они уменьшают значения производных до величин , приемлемых при расчетах прикладных задач, в которых малые параметры отделены от нуля и не могут быть меньше значений, обусловленных физическими условиями.
Теоретическое обоснование предложенных преобразований для конструирования адаптивных сеток в задачах с малым параметром рассмотрено в §3. Проведено исследование задач на таких сетках для обыкновенных уравнений первого и второго порядков с малым параметром, входящим в коэффициенты перед старшими производными, решение которых имеет пограничные, внутренние, экспоненциальные, степенные и смешанные слои. С этой целью в п.ЗЛ устанавливается соотношение, мевду погрешностью й = {И^}, 1 = 1,2,...,Н аппроксимации уравнения и погрешностью г = Сг^, 1 = 1,2,...,И численного решения. Показано, в частности, что для решения двухточечной краевой задачи
-eu" + a(x)u' + rtx.u) =0, 0 < x < 1, (11)
u(0) = A, u(1 ) = в
*
при iu(x,u) i с > 0 по схеме с направленными разностями на произвольной сетке х^, i = 0,1,...,N.f справедливо соотношение
ir^lsMmaxiw^l, 1 = 1,2.....N-1 (12)
где функция равна 1 вне слоев и принимает значение порядка е в центральной части погранслоя масштаба а = I, т.е. при tj = е. Такая ситуация возникает в том случае, когда функция а(х) не обращается в нуль в граничных точках. Соотношение (12) показывает, что уравнение (IX) в зоне погранслоя масштаба а = I можно аппроксимировать более грубо, а именно е е-1 раз менее точно, чем в других точках отрезка. С другой стороны, в п.3.1 показано, что обыкновенное уравнение первого порядка нужно в слое аппроксимировать более точно, чем вне слоя.
Основываясь на полученных соотношениях между погрешностями аппроксимации уравнения и решения,в пп.3.1 и 3.2 проведено исследование сходимости численных алгоритмов решения модельных задач для обыкновенных уравнений первого и второго порядков. В пункте 3.1 доказана равномерная по малому параметру сходимость схемы Эйлера для уравнения первого порядка с точкой поворота и без точки поворота.
Численное решение задач вида (II) рассматривалось в п.3.2. Исследовалось решение (II) по схеме с направленными разностями на неравномерной сетке, построенной на основе преобразований x(q), полученных в §2, и численное решение преобразованного уравнения (II) относительно переменных u1(q) = u(x(q)) и q на равномерной сетке qi = ih.
Доказаны теоремы о равномерной сходимости численного решения на равномерной сетке q^ для преобразованного уравнения. Для решения (II) т на неравномерной сетке, равномерная сходимость доказана в том случае, когда задача (II) не имеет погранслоя масштаба а = I. В случае существования таких слоеЕ показано, что погрешность решения равномерно ограничена, если число узлов сетки определяется из соотношения
N * М 1п е 1.
Аналогичные утверждения о равномерной сходимости доказываются в §4 и §5 для задачи (II), в которой не выполняется условие Ги(х,и)гс>0. В §4 рассмотрена задача, Еозникашая в геодинамике, а в §5 задача (II) с условием а(х,и) - О, 1(х,и) = xg<x,u).
Далее в" §6 рассматривается вопрос о сходимости разностной аппроксимации е^, моделирующей силу трения. Показано, что для задачи (II) с экспоненциальным погранслоем масштаба а = 1 эта величина равномерно с точностью II1 /2 сходится к вдУ.
В §7 проведено исследование сходимости на грубой сетке. Показано, что если погранслой настолько узкий, что внутренние узлы сетки расположены достаточно далеко от его центра, то схема с направленными разностями обеспечивает равномерную сходимость решения (II). Для задачи же с внутренним слоем сходимость решения равномерна с точностью II1 -а для произвольных сеток.
В конце этого параграфа приведены рекомендации конструирования сеток в двумерных областях для решения эллиптических задач с малым параметром.
Численное обоснование предложенных в §2 сеток для решения задач с малым параметром рассмотрено в §8. В этом параграфе исследуется решение как модельных краевых задач для уравнения вида (I) с разнообразными слоями, так и практических задачу Стокса, Орра-Зоммерфельда, о течении жидкости и о диффузионно-дрейфовом движении электронов. В примерах модельных задач рассматриваются случаи пограничных и внутренних, экспоненциальных, степенных и смешанных слоев с различной структурой как по одну сторону от центра слоя, так и в разный сторонах от его центра, а также случай внутреннего смешанного слоя, неограниченно приближающегося к границе при е 0. Приведенные результаты подтверждают эффективность предложенных сеток, которые удобны в построении и обеспечивают либо равномерную сходимость численного решения, либо близкую к равномерной, а также равномерную интерполяцию на всю область, включая слои.
В главе 17 рассматриваются метода конструирования адаптивных сэток на основе вариационных подходов минимизации функционалов регулярности и адаптации. В этих подходах координатное отображение для построения адаптивной сетки является экстремальным для некоторого функционала, сконструированного таким образом, чтобы оптимальное преобразование удовлетворяло требованию адаптации.
Вариационные методы являются перспективными и находят широкое применение при решении сложных задач в силу того, что они дают возможность единообразно сформулировать задачу построения сетки, удовлетворяющей нескольким, часто противоречивым требованиям, ■ например, регулярности и адаптации. Кроме того, такие методы позволяют конструировать сетки двумя способами: решением задачи оптимизации функционала разностными методами, либо решением краевой задачи для уравнения Эйлера-Лагранжа.
В первом параграфе главы IV рассматривается вариационный подход построения оптимальных многомерных адаптивных сеток на основе функционала погрешности решения:
фп = {пМ!2*! (13)
где ||г|| - корма погрешности решения дифференциальной задачи Ь(и,х) = О (14)
относительно новой независимой переменной q, связанной с физической переменной х преобразованием х(д). В явном виде погрешность решения нэ всегда удается определить. Более просто можно получить погрешность И аппроксимации задачи (14). В §1 устанавливается связь мевду погрешностями г и И для произвольных дифференциальных опёраторов (14), а именно, с точностью до главных членов
Ь^Дг) = И, (15)
где Ц.(г) - уравнение вариации системы (14). Учитывая (15), конструирование оптимальной сетки на основе функционала погрешности далее формулируется как задача минимизации функционала (13) с ограничениями (15). Такая задача решается известным методом с помощью множителей Лагранжа. В конце параграфа I приведены два примера использования оптимальных
сеток для решений уравнений первого порядка на схемах первого и второго порядков. Показано, что шаг оптимальных сеток обратно пропорционален некоторым степеням производных решения. Кроме того, оптимальные сетки для этих уравнений увеличивают порядок точности на единицу.
В §2 рассматривается метод построения сеток на основе функционала сгущения, лагранжевости и регулярности. В этом методе функционал формулируется в виде:
Ф = Г (е.II1 + еЛ12 + е~СДа)с1х(11;, (16)
где й - локальная мера регулярности, определяемая девиатором деформации преобразования q(x)f й2 - локальная мера отклонения сетки от лагранжевой, С - функция, зависящая от производных решения, Д - якобиан преобразования х^), е^ - положительные параметры.
При минимизации функционала (16) разностная сетка стремится стать регулярной, близкой к лагранжевой и сгущающейся в зонах больших градиентов. Далее выписаны уравнения для преобразования х^), минимизирующего функционал (16).
Показано, что в одномерном случав функционал (16) приводит к методу весовых функций, в котором шаг сетки обратно пропорционален некоторой положительной функции, зависящей от производных решения. Далее в конце параграфа приведено обобщение метода весовых функций на случай построения многомерных адаптивных сеток. Рассмотрены методы построения сеток с помощью композиции преобразований, кавдое из которых сгущается в одном направлении и с помощью наложения подобных преобразований.
В третьем параграфе изложен метод проекций конструирования адаптивных сеток на основа функционала регулярности. В этом методе адаптивная сетка получается в виде проекции регулярной сетки, построенной на поверхности Б™, определяемой либо значениями компонент решения, либо их производными, либо другими величинами, эффективно, выделяющими особенности задачи. Этот метод обладает рядом достоинств. Он позволяет конструировать сетки единообразно
как в области, ■ так и на границе, независимо от их размерностей и требований регулярности и адаптации. Этот метод годится для построения структурных и неструктурных адаптивных сеток.
Регулярная сетка на поверхности конструируется с помощью функционалов регулярности, зависящих от инвариантов
1=1,2.....п метрического тензора.параметризации поверхности
Б171 в виде
Ф - ¿1Р(11,1г,...,1Г1)(18П1 (17)
Функция РЦ^) выбирается таким образом, чтобы при минимизации (17) сетка стремилась стать равномерной на поверхности 5 и, кроме этого, чтобы функционал (17) был Еыпуклым. При таких, условиях уравнение Эйлера-Лагранжа имеет компактный вид, а краевая задача для его решения, как и задача минимизации функционала (17), будет корректной. В параграфа 3 рассмотрено два вида функционалов регулярности: функционал гладкости
и функционал близости сетки к гиперкубической
фгк <19>
который является безразмерным при произвольном п.
В частном случае, когда Б171 - п-мерная область, сетка, построенная по функционалу (18), будет известной сеткой Уинслоу. Таким образом, предложенный метод конструирования сеток на основе функционала (18) можно рассматривать как обобщение метода Уинслоу для построения адаптивных сеток на поверхностях или областях произвольной размерности. В §3 указывается также, что, согласно результатам теории дифференциальной гоометрии, сетки, построенные на основе функционала гладкости, всегда невырожденные, если вычислительная область С1П выпукла и диффеоморфна поверхности . Далее приводятся уравнения Зйлера-Лагранка для функционалов (18) и (19) для произвольных размерностей и для частных случаев п = 1,2,3. Показано, что в одномерном случае адаптивная сетка, построенная на основе функционала гладкости (18), будет проекцией равномерной сетки,
\
определенной на кривой решения.
В §4 приведены примеры построения сеток на основе функционалов адаптации и регулярности и результаты расчетов некоторых задач на таких сетках. Рассмотрены численные расчеты: 1)модельной задачи для одномерного уравнения Хопфа, 2)симметричных стационарных течений вязкого теплопроводного газа, 3)модельной задачи для эллиптического уравнения второго порядка. Также приведены примеры сеток как регулярных, так и адаптивных на поверхностях и в областях. Численные расчеты показывают, что предложенные сетки эффективно сгущаются в зонах высоких градиентов решения и позволяют проводить расчеты задач с особенностями типа погранслоя и ударной волны на небольшом числе узлов.
В заключении сформулированы основные результаты и выводы.
Основные результаты и выводы
1. Получены оценки производных решений одномерных стационарных и нестационарных бисингулярных задач, позволяющие эффективно локализовывать слои и определять их качественную структуру.
2. Построены локальные базисные преобразования координат для конструирования адаптивных сеток в методах растяжения при численных расчетах задач с малым параметром.
3. Установлена зависимость между погрешностью аппроксимации двухточечной краевой задачи с малым параметром и погрешностью ее численного решения. Доказана равномерная сходимость решения некоторых бисингулярных задач на предлол;енных адаптивных сетках.
4. Предложен функционал погрешности построения многомерных адаптивных сеток и исследованы некоторые его свойства.
5. Предложен и апробирован функционал адаптации для конструирования двумерных сеток.
6. Получено обобщение метода весовых функций на многомерный случай.
7. Предложен метод проекции построения адаптивных сеток
на основе функционалов регулярности: гладкости и близости сетки к гиперкубиче ской. Проведены теоретические исследования и численные эксперименты, подтверждающие его эффективность.
Работа выполнена в Институте Вычислительных Технологий Сибирского Отделения РАН. Автор глубоко благодарен
H.Н.Яненко, который проявлял внимание и заинтересованность в решении проблемы построения адаптивных сеток и помогал в исследованиях вариационных методов их конструирования. Автор также выражает глубокую признательность член-корр. РАН Ю.И.Шокину за поддержку исследований в разработке методов построения адаптивных сеток. На разных этапах работа по созданию и апробированию методов велась совместно с С.В.Анищиком, Н.Т.Данаевым, Т.Г.Дармаевым, А.Жарилкасиновым,
' К. Т. Искано вин, В.М.Ковеня и В.Б.Петренко. Всем им, а также коллективу Института Вычислительных Технологий, диссертант выражает благодарность за помощь и внимание.
Основные результаты диссертации опубликованы в работах:
I. Лисейкин В.Д., Петренко В.Е. Адаптивно-инвариантный метод численного решения задач с пограничными и внутренними слоями. -Новосибирск, ВЦ СО АН СССР. -1989. -258с.
2. Лисейкин В.Д., Яненко H.H. Метод подвижных координат в газовой динамике // Числен, методы механ. сплошной среды.
- -Новосибирск, -1976. -Т.Т. -N 2.-С. 75-82.
3. Yanenko N.N., Kroshko Е.А., Liceikln V.D. et al. Methods for the construction of moving grids for problems of Fluid Dynamics with big deformations.//Lecture Notes in Physics.-1976.-Vol.59.-P.454-459.
4. Лисейкин В.Д., Яненко H.H. О выборе оптимальных разностных сеток // Числен, методы механ. сплошной среды. -Новосибирск, 1977. -Т.8. -N 7. -С.100-104.
5. Данаев Н.Т., Лисейкин В.Д., Яненко H.H. О методе подвижных координат в газовой динамике//Проблемы математической физики и вычислительной математики. -М.Наука.,1977,
-С.107-115.
6. Яненко H.H., Данаев Н.Т., Лисейкин В.Д. О вариационном методе построения сеток // Числен, методы механ. сплошной среды, Новосибирск.-1977.-Т.8.-N 4.-С. 157-163.
7. Лисейкин В.Д. Об оптимальной сетке для численного решения обыкновенного дифференциального уравнения // Числен, методы механ. сплошной среды.-Новосибирск, 1978.-Т.9. -N б.-С. 115-118.
8. Yanenko N.N., Kovenja V.M., Liceikln V.D. On some methods for the numerical simulation of flows with complex structure//Lecture Notes in Physics.-1979.-Vol.90. -P.565-578.
9. Yaner&o N.N., blcelkln V.D., Kovenja V.M. The method, of the solution of gaz dynamical problems In moving mechee// Lect. Notes In Physics.-1979.-vol.91.-P.48-61.
10. Yaneriko N.N., Kovenja V.M., Liceikln V.D. et al. On some methods for the numerical simulation of flows with complex structure//Comp. Meth. Appl. Mech. Eng.-1979. -Vol.17/18.-P.659-671.
11. Данаев H.T., Лисейкин В.Д., Яненко H.H. О численном решении задачи обтекания тела вращения вязким теплопроводным газом на криволинейной подвижной сетке // Числ. методы механ. сплошной среды.-Новосибирск: ВЦ и Ин-т теорет. и прикл. механики СО АН СССР, 1980.-Т.11 .-N 1.-С. 31-61.
12. Лисейкин В.Д. Об оптимальных сетках для схем второго порядка, аппроксимирующих обыкновенное дифференциальное уравнение // Числен, методы механ. сплошной среды.-Новосибирск, 1981 .-Т. 12.-N 1.0. 78-81.
13. ^Тисейкин В.Д. О численном решении "двумерного эллиптического уравнения с малым параметром при старших производных // Числен, метода механ. сплошной средн.-Новосибирск: ВЦ и Ин-т теорет. и прикл. механики СО АН СССР, 1983.-T.14-N 4.-С. 110-115.
14. Жарилкасинов А., Лисейкин В*.Д., Скобелев B.D., Яненко H.H. Применение неравномерной сетки для численного решения задачи Орра-Зоммерфельда // Числен, методы механ. сплошной среды.-Новосибирск: ВЦ и Ин-т теорет. и прикл. механики, 1983.-Т.14.-N 5.-С. 45-54.
15. Лисейкин В.Д. Применение неравномерных сеток для построения равномерно сходящихся алгоритмов численного решения сингулярно-возмущенных задач // числен, методы динамики вязкой жидкости.-Новосибирск, 1983.-С. 227-230.
16. Лисейкин В.Д. О численном решении сингулярно-Еозмущенного уравнения с точкой поворота // Журн. вычисл. матем. и ма-тем. физики, 1984.-T.24.-N 12.-С. 1812-1818.
17. Лисейкин В.Д. О численном решении уравнений со степенным погранслоем//Численные методы механики сплошной среда. Новосибирск. 1984.-Т19.-N2.-С.90-97.
18. blcelkln V.D., Yanenko N.N. On the numerical solution of equations with interior and exterior layers on a nonuniform mesh//BAIL-III. Proc. 3-th Int. Conf. Boundary and Interior Layers, Dublin, -1984. -P. 68-80.
19. Искаков K.T., Лисейкин В.Д., Смагулов Ш. Численное решение сингулярно-возмущенных уравнений с разрывными коэффициентами // Численные методы механики сплошной среды, -Новосибирск.т-1985.-Т. 16.-N 6.-С. 84-92.
20. Лисейкин В.Д. О численном решении уравнений со степенным погранслоем // Журн. вычисл. матем. и матем. физики.-1986.-Т.26.-N 12.-С. 1813-1820.
21. Лисейкин В.Д., Петренко В.Е. О численном решении нелинейных сингулярно-возмущенных задач // Докл. АН СССР, -1987.-Т.297.-N 4.-С. 791-794.
22. Лисейкин В.Д., Петренко В.Е. О численном решении нелинейных сингулярно-возмущенных задач. -Новосибирск, 1987. -64 С. (Препринт/АН СССР. Сиб. отд-ние. Вычисл. центр; N 687).
23. Дармаев Т.Г., Лисейкин В.Д. Метод построения многомерных адаптивных разностных сеток // Моделирование в механике, 1987.-Т.1(18).-N 1.-С. 49-58.
24. Лисейкин В.Д., Петренко В.Е. Метод адаптивно инвариантной сетки для численного решения квазилинейного сингулярно-Еозмущенного уравнения с точкой возврата.-Новосибирск, 1987.-54 С. (Препринт/АН СССР. Сиб. отд-ние. Вычисл. центр; N 735).
25. Лисейкин В.Д., Петренко В.Е. О численном решении квазилинейного сингулярно-возмущенного уравнения с точкой возврата // Докл. АН СССР, 1988.-Т.302.-N 4.-С. 802-807.
26. Дармаев Т.Г., Лисейкин В.Д. Применение специальных преобразований для численного решения одномерной задачи теории упругости и оболочек // Числен, методы решения задач теории упругости и пластичности. - Новосибирск, 1988. —С.76—ВЗ.
27. Лисейкин В.Д., Петренко В.Е.О численном решении сингулярно-возмущенных задач с внутренними слоями // Вариационно-разностные методы в задачах численного анализа.-Новосибирск, ВЦ.-1988.-С. 65-82.
28. Лисейкин В.Д. О численном решении нелинейных сингулярно-возмущенных уравнений // Моделирование в механике. -Новосибирск, 1988.-T.2.-N З.-С. 77-88.
29. Анищик С,В., Лисейкин В.Д. О численном решении сингулярно-возмущенной задачи, моделирующей диффузионно-дрейфовое движение // Моделирование в механике /АН СССР. Сиб. отд-ние. БЦ и Ин-т теорет. и прикл. механики.-1988.
-N5.-C. 3-16.
30. Лисейкин В.Д., Петренко В.Е. О мажорирующих функциях и разностных сетках для численного'решения задач с пограничными и внутренними слоями // Проекционно-сеточные методы в задачах численного анализа.-Новосибирск. ВЦ-1989 -С. 133-151.
31. Llceikin V.D., Petrenko V.E. Adaptive Invariant method for solving aerodynamic problems with small parameter affecting the higher derivatives. // Proc. Soviet. Union, Japan Symposium CFD.-Moskow.-1989.-P.184-190.
32. Лисейкин В.Д., Петренко В.Е. О структуре и локализации слоев для сингулярно-возмущенных задач // Физическая газодинамика реагирующих сред. -Новосибирск. -Наука. -1990. -С. 151-157.
33. Лисейкин В.Д. Применение специальных преобразований для численного решения задач с пограничными слоями // Курн. вычисл. матем. и матем. физики. -1990.-T.30.N 1.-С.58-71.
34. Лисейкин В.Д. О вариационном методе построения адаптивных сеток на n-мерных поверхностях // Докл. АН СССР. -1991. -Т319.-Ы З.-С. 546-549.
35. Лисейкин В.Д. О конструировании регулярных сеток на n-мерных поверхностях // Еурн. вычисл. матем. и матем. физики.-1991.-Т.31 .N 11.-С. 1670-1683.
36. Лисейкин В.Д. Технология конструирования трехмерных сеток для задач аэрогазодинамики. Обзор // Вопросы атомной науки и техники. Сер. матем. моделир. физич. процессов. -1991 .-Выл.З.-С.. 31-45.
37. Лисейкин В.Д. О конструировании адаптивных сеток // Моделирование в механике.-Новосибирск,-1991.-Т.5.К 5.-С.77-85.
38. Лисейкин В.Д. Об оценках производных решений дифференциальных уравнений с пограничными и внутренними слоями // Сибиоскш математ. курн.-1992.Т.ЗЗ.К 5.-C.I06-II7.