Сходимость некоторых разностных схем метода опорных операторов для повторных ротационных операций
- Authors: Повещенко Ю.А.1, Круковский А.Ю.1, Подрыга В.О.1, Рагимли П.И.1
-
Affiliations:
- ИПМ РАН
- Issue: Vol 64, No 1 (2024)
- Pages: 41-54
- Section: General numerical methods
- URL: https://journals.rcsi.science/0044-4669/article/view/261855
- DOI: https://doi.org/10.31857/S0044466924010049
- EDN: https://elibrary.ru/ZKCDXD
- ID: 261855
Cite item
Full Text
Abstract
В настоящей работе предложен подход к описанию метрических свойств разностной сетки для дискретизации повторных ротационных операций векторного анализа применительно к моделированию электромагнитных полей. На основе метода опорных операторов в данной работе построены интегрально-согласованные операции (градиент, дивергенция и ротор), которые необходимы для получения оценок сходимости разностных схем для повторных ротационных операций, для решения конкретных задач магнитной гидродинамики. На гладких решениях модельной магнитостатической задачи с первым порядком точности доказана сходимость построенных в работе разностных схем с нулевым собственным значением спектральной задачи. На разностную тетраэдрическую сетку не накладывается при этом никаких ограничений, кроме ее невырожденности. В настоящей работе приводится расчет электромагнитных полей для трехмерной задачи магнитной гидродинамики в двухтемпературном приближении с полной конфигурацией скорости и электромагнитных полей. Динамика электромагнитных полей развивается на фоне ротационной диффузии вектора магнитного поля. Библ. 16. Фиг. 7.
Full Text
1. Введение
Повторные ротационные операции тензорного анализа используются для моделирования широкого класса практических задач (таких как физика плазмы, астрофизика, лазерный термоядерный синтез и др.) [1–6]. Метод опорных операторов (МОО) (см., например, [7–9]) при построении разностных схем используется для согласованной в смысле ряда интегральных тождеств аппроксимации сопряженных операций векторного анализа (таких как градиент, дивергенция, ротор и их комбинации и др.), необходимых для проведения широкомасштабного вычислительного эксперимента. Данный метод позволил построить разностные схемы на нерегулярных разностных сетках для некоторых уравнений из этого класса, включая нелинейные, с выполнением принципа полной консервативности [10]. В настоящей работе на классических решениях модельной магнитостатической задачи приводится доказательство сходимости разностных схем МОО для повторных ротационных операций векторного анализа с нулевым собственным значением спектральной задачи. Все эти уравнения линейны, причем с постоянными коэффициентами. Данный выбор объясняется стремлением выделить проблемы, связанные исключительно с нерегулярностью разностной сетки, и показать подходы к их численному моделированию. Сходимость доказывается на геометрическом уровне. Предполагается, что решение исходной задачи обладает достаточной необходимой гладкостью.
Рассматриваемые разностные схемы на нерегулярных сетках не аппроксимируют уравнений в локальном смысле, следовательно, доказательство сходимости возможно только после анализа структуры погрешности аппроксимации. Исследование данного вопроса приводит к расщеплению пространства векторных сеточных функций в ортогональную прямую сумму подпространств — как потенциальных, так и вихревых. Применительно к разностной схеме МОО для магнитостатической задачи разностный ротор ошибки вычисления циркуляций отсутствует (т.е. равен нулю). Поэтому данная ошибка является градиентом некоторой сеточной функции (gradx). Норма циркуляционной ошибки gradx определяется энергией метрического оператора разностной сетки G [11]. Действие данного оператора на площади граней ячеек разностной сетки согласовано с размерами этих ячеек (т.е. расположением центров тяжести ячеек, граней и ребер). Разложение пространства векторных функций в ортогональную прямую сумму подпространств потенциальных и вихревых полей вводится таким образом, чтобы ошибка вычисления циркуляций являлась потенциальной функцией.
В работе на достаточно гладких решениях дифференциальной задачи с первым порядком точности доказана сходимость разностных схем МОО для повторных ротационных операций с нулевым собственным значением спектральной задачи. На разностную тетраэдрическую сетку не накладывается никаких ограничений, кроме ее невырожденности.
В данной работе приведены результаты численного расчета динамики электромагнитных полей для трехмерной задачи магнитной гидродинамики в двухтемпературном приближении с учетом излучения реального уравнения вещества, замагниченности коэффициентов теплопроводности и электропроводности. Скорость и электромагнитные поля имеют полную конфигурацию. Развитие динамики магнитных полей разворачивается при их ротационной диффузии.
2. Метрические разностные сетки метода опорных операторов
Сетки данного типа [7, 11] состоят из ячеек (W), которые образуются узлами (w) и гранями (s) (см. фиг. 1a). Узлам соответствуют базисы в ячейке W, состоящие из единичных нормалей к граням s, которые образуют базис. Метрическая калибровка разностной сетки состоит в выборе объемов базисов при следующей нормировке . Компоненты напряженности магнитного поля относятся к сетке , которая состоит из граней с нормалями к ним .
Фиг. 1. Ячейки разностной сетки: а) тетраэдрическая ячейка; б) к расчету поверхностной аппроксимации вектора Пойнтинга; в) расчет циркуляции магнитного поля на элементе контура граничной грани С∂sС∂l, Ss(l) = –1, S∂s = –1, ячейка ∂W находится под гранью ∂s.
Введем сеточное скалярное произведение с весом . Скалярное произведение в области О аппроксимируется на сетке ковариантным представлением скалярного сеточного произведения
Здесь (в операторной форме ). Следовательно, на сетке введен самосопряженный положительно-определенный метрический оператор , который задается семейством базисных матриц Грама . В этих матрицах — взаимные (контравариантные) в локальных базисах φ векторы по отношению к исходным (ковариантным) нормалям к граням σ. Данный оператор переводит сеточный аналог ковариантного представления , называемый сопряженным представлениям векторного поля u, в сеточное контравариантное представление . Базисы j создаются системой ковариантных ортов e. Базисный объем задается формулой (см. [7]) для треугольных (двумерный случай) ячеек W и — стороны треугольника, образующие базис j). Аналогично для четырехугольной ячейки W базисный объем задается формулой В случае трехмерных призм эти значения умножаются на половины толщин призматических ячеек W, содержащих соответствующие трехмерные базисы φ. Для тетраэдрических разностных ячеек W выбирается , где . Для гексаэдрических ячеек W, близких к объемным параллелепипедам, , где .
Все результаты разд. 2 обобщаются на случай неединичных нормалей к граням s.
Разностную дивергенцию определим по следующей формуле:
(2.1)
Здесь — удельная площадь грани, т.е. площадь грани , деленная на длину орта равную — знаковая функция, которая равна единице, если нормаль для ячейки W внешняя, и минус единице — если нормаль внутренняя.
Введем скалярное произведение в ячейках следующим образом:
.
Смоделируем интегральное соотношение
для области О, ограниченной поверхностью S.
Определим оператор
.(2.2)
Для граничной грани : — ее удельная площадь; — единица, если нормаль — внешняя к области О; — сеточная функция F на граничной грани . Заметим, что F и – любые сеточные функции. Поэтому на грани s имеем
, ,
где
.
Последнее слагаемое в приращении через грань s существует только при условии, что эта грань является граничной.
- Дискретная магнитогидродинамическая эволюция магнитной энергии
3.1. Разностные сетки метода опорных операторов для моделирования электромагнитных процессов
Любому ориентированному ребру λ с ортом ставится в соответствие его удельная длина (длина ребра λ, деленная на длину орта ). Каждому поверхностному базису ставится в соответствие его часть площади грани : с нормировкой . На граничных ребрах определим также величины и . Рассмотрим сетку (l).(j), которая состоит из ребер λ с направленными вдоль них векторами , упорядоченными в систему локальных базисов (j). К данной разностной сетке с метрическим оператором отнесем компоненты напряженности электрического поля w. Для сетки (l).(j) вводится скалярное произведение: с весом (приреберный объем). Скалярное произведение в области О аппроксимируется следующим образом:
Здесь (в операторной форме Следовательно, на сетке (λ).(φ) вводится самосопряженный положительно-определенный метрический сеточный оператор задается семейством базисных матриц Грама В данных матрицах — контравариантные в локальных базисах φ орты по отношению к ковариантным векторам , направленным вдоль ребер λ. Индексом τ помечаются величины, которые отнесены к сетке (λ).(j).
Определим разностный оператор, моделирующий ротор, который действует на компоненты напряженности электрического поля w, как по формуле (см. фиг. 2a), аппроксимирующей теорему Стокса:
(3.1)
Фиг. 2. Согласование граней и ребер сетки.
Здесь — удельная площадь грани s, знаковые функции и ( ) определены, как указано на фиг. 2. Определим граничную знаковую функцию , при условии что вращение в направлении от орта к его дополняющему (в базисе ) дает направление внешней нормали к области О. Если же вращение в направлении от орта к его дополняющему в этом поверхностном базисе дает направление внутренней нормали к этой области, то .
Вместе с сеточными компонентами магнитного поля и на гранях разностной сетки в области О определим поверхностное тангенциальное магнитное поле c компонентами , которое задано на граничных ребрах .
Для области О с поверхностью S используем следующее интегральное соотношение:
(3.2)
и определим оператор, моделирующий ротор, который действует на компоненты напряженности магнитного поля u, как из разностного аналога этого соотношения
(3.3)
Элемент поверхностной магнитной циркуляции, поперечной к ребру (между центрами тяжести поверхностных треугольных граней через середину их смежного ребра ), определим из аппроксимации произведения векторов :
(3.4)
Определитель матрицы Грама в поверхностном базисе , который состоит из ортов и , определяется следующим образом:
(3.5)
Здесь используется
при .
Искомый оператор ROG, который сопряжен базовому оператору ROD, определяется из приведенного выше разностного аналога интегрального соотношения следующим образом:
(3.6)
На граничных ребрах зададим поверхностную магнитную циркуляцию , замыкающую контур вокруг ребра в операторе ROG, — первая краевая задача, или поверхностную электрическую циркуляцию вдоль ребра , замыкающую соответствующий граничный контур в операторе ROD. Оператор такой, что является самосопряженным и неотрицательным (см. (3.3)). Самосопряженным и неотрицательным оказывается и оператор Очевидны свойства операторов в ячейках разностной сетки Ω, аппроксимирующих континуальные операции векторного анализа
3.2. Обоснование аппроксимаций интегрально-согласованных операций rot
Исследуем аппроксимацию формулы (3.6) для оператора которая получена из интегрального тождества (3.3).
На тетраэдрических сетках определяется вид магнитного циркуляционного контура вокруг ребра l и его замкнутость. Рассмотрим контур магнитной циркуляции вокруг ребра λ с примыкающими к нему тетраэдрами. Центры ячеек, граней и ребер обозначим как
и
Здесь — радиус-векторы узлов сетки соответствующих вершин тетраэдра. Выбрав начало координат в вершине О (см. фиг. 1a), имеем
, ,
Кроме того
Здесь ; — высота в тетраэдрической ячейке W, опущенная на грань s. Под понимается контравариантный в локальном базисе вектор по отношению к ковариантной единичной нормали к грани . Кроме того, имеет место следующее тождество:
.
Поэтому, введя аппроксимацию циркуляции магнитного поля на элементе контура, соединяющего центры тяжести ячейки W и грани s,
,
получим
Рассмотрим согласованную с вектором Пойнтинга аппроксимацию циркуляции магнитного поля на элементе контура поверхностной грани , который соединяет центры тяжести этой грани и середины ребра . Будет иметь место тождество
Вектор отложен от центра тяжести треугольной граничной грани к середине граничного ребра ; — поверхностные базисы внутри грани ; ; — площадь треугольной грани , содержащей поверхностный базис . Аналогично введена граничная знаковая функция , равная единице, когда нормаль — внешняя к аппроксимации области О, и минус единице, если нормаль — внутренняя к аппроксимации данной области.
Введя аппроксимации циркуляции магнитного поля на элементе контура следующим образом:
,
получим
(3.7)
Таким образом, аппроксимация операции состоит из циркуляций магнитного поля на замкнутом контуре вокруг ребра l, соединяющем центры тяжести ячеек и граней, или, когда грань оказывается граничной, то соединяющем центр тяжести такой грани с серединой ребра ; при в силу замкнутости рассмотренного выше контура вокруг ребра l.
4. Сходимость разностных схем метода опорных операторов
4.1. Постановка задачи
Рассмотрим на достаточно гладких решениях аппроксимацию разностными схемами метода опорных операторов следующую задачу:
(4.1)
(4.2)
с соленоидальным магнитным полем, для которого существует некоторое поле E и выполнено (4.2) (см. [12]). Предполагаем также явно заданными некоторое распределение плотностей токов f(r) и граничные тангенциальные компоненты магнитного поля . “Электрическое” поле E определяется с точностью до константы, при этом однородная спектральная задача обладает нулевым собственным значением.
Для соленоидальности функции f необходимо и достаточно [12] существование функции F, такой что Рассмотрим для системы уравнений (4.1), (4.2) краевую задачу с заданными на границе S области О тангенциальными компонентами магнитного поля
. (4.3)
Для любого замкнутого контура G, ограничивающего поверхности , выполняется
.
Разностная схема метода опорных операторов имеет вид
(4.4)
(4.5)
При исследовании сходимости разностной схемы (4.4), (4.5) удельные длины ребер и площадей граней считаем единичными.
Электрический поток через площадку , которую пронизывает вектор , представим в следующем виде:
(4.6)
Здесь — вектор площади треугольника, соединяющего центры тяжести ячейки , грани и ребра , который ориентирован в сторону вектора (фиг. 1a). Равенство (4.6) получено с использованием теоремы Стокса для объединенного контура из треугольников вокруг ребра l.
В силу рассуждений п. 3.2 считаем, что
, (4.7)
полагая
(4.8)
(4.9)
В силу (4.3) при исследовании сходимости разностной схемы (4.4), (4.5) считаем
(4.10)
.(4.11)
4.2. Разрешимость разностной задачи метода опорных операторов
Исследуем условия разрешимости задачи (4.4), (4.5), (4.11). Определим операцию внутренней ротации как
.
Из (3.3) следует
Однородная система уравнений, которая соответствует задаче (4.4), (4.5), (4.11), имеет следующий вид:
, (4.12)
Таким образом, оператор однородной системы самосопряжен и неотрицателен. Решение сопряженной однородной системы обладает свойством Условие ортогональности с правой частью в (4.4) имеет следующий вид:
или
Поскольку , то для любого F (в соленоидальном представлении ) выполнено условие ортогональности решения однородной сопряженной системы уравнений (4.12) и правой части (4.4) при условии (4.11). Данное условие и есть разрешимость задачи (4.4), (4.5), (4.11) по матричной теореме Фредгольма (см. [13]).
4.3. Точность разностной схемы метода опорных операторов
Рассмотрим вопрос о точности разностной схемы (4.4), (4.5), (4.11).
Проинтегрировав (4.1) по площадке вокруг ребра l, получим
где
(4.13)
и, вычитая из этого уравнения (4.4), имеем
(4.14)
Из (4.14) следует, что в ячейке W существует такая сеточная функция , что
и она является постоянной на граничных гранях , т.е. Эту константу можно считать равной нулю. Имеем уравнение, которому удовлетворяет функция :
Просуммировав данное равенство по граням ячейки W, и учитывая, что имеем
в силу (2.2) с учетом получим
Из (2.2) при для любой разностной соленоидальной функции в силу ее ортогональности к имеем
Применительно к (3.1), определяющему , получим
Из (4.14) следует, что в ячейке W существует такая сеточная функция , что
и она является постоянной на граничных гранях , т.е. . Эту константу можно считать равной нулю. Имеем уравнение, которому удовлетворяет функция :
Просуммировав данное равенство по граням ячейки W, и учитывая, что , имеем
в силу (2.2) с учетом получим
Из (2.2) при для любой разностной соленоидальной функции в силу ее ортогональности к имеем
Применительно к (3.1), определяющему , получим
(4.15)
и интегралы от точного решения E берутся вдоль ориентированных по ребер l. Под нормами сеточных векторов на гранях s понимаются и , .
Границы спектра самосопряженного положительно-определенного оператора состоящего из матриц Грама во взаимных базисах, при условии невырожденности разностной сетки оцениваются следующим образом:
Аналогичная оценка для обратного оператора принимает вид
Здесь и являются ограниченными, не стремящимися к нулю величинами, которые не зависят от шага разностной сетки.
Сетку считают невырожденной в следующих случаях.
- Существует параметр h, характеризующий подробность разбиения расчетной области О и имеющий смысл линейных размеров элементов разностной сетки.
- Неудельные размеры элементов разностной сетки равномерно оцениваются для всего семейства разностных сеток:
, , .
- Отношение неудельных площадей граней и длин ребер , входящих в один базис j, равномерно по h не стремится к нулю и ограничено сверху числом А.
- Среди двухгранных и плоских углов ячеек W нет слишком острых и слишком тупых, все они равномерно по h заключены в пределах от Q до с не стремящимся к нулю углом Q.
Имеем
На грани s получим
Здесь — магнитное поле решения задачи (4.1), (4.2), (4.11) в центре тяжести грани s (фиг. 1а).
Согласно (3.1) и (4.15), на грани s имеем
Этот интеграл берется по ориентированной площади грани из шаблона оператора на грани s; — удельная площадь грани .
На грани s получим
Поэтому имеем
Тогда
или
поскольку слагаемых в суммировании содержится .
Окончательная оценка имеет следующий вид:
Данная оценка показывает сходимость задачи (4.4), (4.5), (4.11) к континуальной задаче (4.1), (4.2) с граничным условием с первым порядком точности на гладких решениях. При наличии сеточной пространственной симметрии порядок точности может быть повышен до второго. Примером такой сетки могут быть ячеечные параллелепипеды, центры которых соединены с центрами граней так, что при каждой из них образуется по четыре тетраэдра внутри параллелепипедной ячейки. При этом центры прямоугольной грани параллелепипеда соединяются с ее вершинами ребрами.
5. Численный расчет
В данном разделе рассмотрим динамику электромагнитных полей, которая развивается на фоне ротационной диффузии вектора магнитного поля. Для данной задачи использовалась разностная схема на регулярной разностной сетке, подробно описанная в [7, 10, 14].
Исследуется сжатие вольфрамовой плазмы магнитными полями, заданными на границе области. В начальный момент времени неподвижная плазма с плотностью занимает цилиндр см с осью см. Данный цилиндр вписан в куб с размерами см, см, см, внутри которого находится плазма с плотностью вне цилиндра , где . Во всей расчетной области начальная температура эВ.
Профиль начальной плотности при изображен на фиг. 3.
Фиг. 3. Начальное распределение плотности, z = 0.5.
В работе исследуются компоненты вектора магнитного поля , которые в начальный момент времени равны нулю: .
На внешней границе значения компонент вектора магнитного поля определены следующим образом:
, , ,
где Bx0 = 2 МГс, By0 = 1.5 МГс, Bz0 = 1 МГс. Формулы справедливы при времени расчета . При все граничные поля равны нулю.
Уравнения состояния электронного и ионного газа, а также коэффициенты электронной и ионной теплопроводности, электропроводности и др. необходимые коэффициенты приводятся в работе [15].
Методика расчета была представлена в работе [16], теоретическое обоснование которой приведено в разд. 1–4 данной работы.
На фиг. 4–7 представлены результаты расчетов плотности и магнитных полей в момент времени 0.05 мкс. На фиг. 4 изображено распределение плотности, на котором можно увидеть, что под воздействием магнитных полей происходит сжатие плотности к центру расчетной области.
На фиг. 5–7 представлены компоненты магнитной индукции Асимметрия, которую можно увидеть на данных рисунках, возникла в результате определения различных значений констант Как и следует из уравнений Максвелла, на фиг. 5 распределение компоненты магнитной индукции By носит выраженный профильный характер, в то время как на фиг. 6 магнитная индукция By распределена латеральным образом.
Фиг. 4. Распределение плотности на момент времени 0.05 мкс, z = 0.5.
Фиг. 5. Распределение компоненты магнитной индукции Bx на момент времени 0.05 мкс, z = 0.5.
Фиг. 6. Распределение компоненты магнитной индукции By на момент времени 0.05 мкс, z = 0.5.
Фиг. 7. Распределение компоненты магнитной индукции Bz на момент времени 0.05 мкс, z = 0.5.
6. Заключение
В настоящей работе на классических решениях модельной магнитостатической задачи с первым порядком точности доказана сходимость разностных схем метода опорных операторов для повторных ротационных операций векторного анализа с нулевым собственным значением спектральной задачи. Сходимость доказана в сеточно-зависимых нормах, которые связаны с энергией метрического разностного оператора нерегулярной тетраэдрической сетки. Единственным ограничением, которое накладывается на тетраэдрическую разностную сетку, является ее невырожденность. В данной работе также приведено численное моделирование динамики электромагнитных полей для трехмерной задачи магнитной гидродинамики в двухтемпературном приближении, которая развивается на фоне ротационной диффузии магнитных полей. Для данной задачи скорость движения вещества и электромагнитные поля имеют полную конфигурацию: .
About the authors
Ю. А. Повещенко
ИПМ РАН
Author for correspondence.
Email: hecon@mail.ru
Russian Federation, 125047 Москва, Миусская пл., 4
А. Ю. Круковский
ИПМ РАН
Email: hecon@mail.ru
Russian Federation, 125047 Москва, Миусская пл., 4
В. О. Подрыга
ИПМ РАН
Email: PVictoria@list.ru
Russian Federation, 125047 Москва, Миусская пл., 4
П. И. Рагимли
ИПМ РАН
Email: hecon@mail.ru
Russian Federation, 125047 Москва, Миусская пл., 4
References
- Галанин М. П., Савенков Е. Б. Методы численного анализа математических моделей. 2-е изд., испр. М.: Изд-во МГТУ им. Н. Э. Баумана, 2018. 591 с.
- Петров И. Б., Тормасов А. Г. О численном исследовании трехмерных задач обтекания волнами сжатия препятствия или полости в упругопластическом полупространстве // Докл. АН СССР. 1990. Т. 314. № 4. С. 817–820.
- Бойков Д. С., Ольховская О. Г., Гасилов В. А. Моделирование газодинамических и упругопластических явлений при интенсивном энерговкладе в твердый материал // Матем. моделирование. 2021. Т. 33. № 12. С. 82–102.
- Кербер М. Л., Виноградов В. М., Головкин Г. С. и др. Полимерные композиционные материалы: структура, свойства, технология. Учеб. пособие. СПб.: Профессия, 2008. 560 с.
- Linde P., Schulz A., Rust W. Influence of modelling and solution methods on the FE-simulation of the post-buckling behaviour of stiffened aircraft fuselage panels // Composite Structures. 2006. V. 73. No. 2. P. 229–236.
- Буланов И. М., Воробей В. В. Технология ракетных и аэрокосмических конструкций из композиционных материалов. Учеб. для вузов. М.: Изд-во МГТУ им. Н. Э. Баумана, 1998. 516 с.
- Самарский А. А., Колдоба А. В., Повещенко Ю. А., Тишкин В. Ф., Фаворский А. П. Разностные схемы на нерегулярных сетках. Минск: ЗАО «Критерий», 1996. 276 с.
- Shashkov M. Conservative finite-difference methods on general grids. Boca Raton, FL: CRC Press, 1996. 359 p.
- Lipnikov K., Manzini G., Shashkov M. Mimetic finite difference method // J. of Comput. Physics. 2013. V. 257. Part B. P. 1163–1227.
- Самарский А. А., Попов Ю. П. Разностные методы решения задач газовой динамики. М.: Наука, 1992. 424 с.
- Повещенко Ю. А., Подрыга В. О., Шарова Ю. С. Интегрально-согласованные методы расчета самогравитирующих и магнитогидродинамических явлений // Препринты ИПМ им. М. В. Келдыша. 2018. № 160. 21 с.
- Корн Г., Корн Т. Справочник по математике. М.: Наука, 1973. 832 с.
- Воеводин В. В., Кузнецов Ю. А. Матрицы и вычисления. М.: Наука, 1984. 320 с.
- Круковский А. Ю., Новиков В. Г., Цыгвинцев И. В. Численные алгоритмы для решения трехмерных нестационарных задач магнитной гидродинамики // Препринты ИПМ им. М. В. Келдыша. 2014. № 6. 20 с.
- Никифоров А. Ф., Новиков В. Г., Уваров В. Б. Квантово-статистические модели высокотемпературной плазмы и методы расчета росселандовых пробегов и уравнений состояния. М.: Физматлит, 2000. 400 с.
- Poveshchenko Yu., Podryga V., Rahimly O. On some integral-consistent methods for calculating magnetohydrodynamic phenomena in problems of computational astrophysics // Math. Methods in the Appl. Sciences. 2020. V. 43. Issue 13. P. 7825–7833. doi: 10.1002/mma.6349
Supplementary files
