Доклады Российской академии наук. Математика, информатика, процессы управления, 2023, T. 512, № 1, стр. 89-95
ТРЕХСЛОЙНАЯ СХЕМА ДЛЯ РЕШЕНИЯ УРАВНЕНИЯ ДИФФУЗИИ ИЗЛУЧЕНИЯ
Академик РАН Б. Н. Четверушкин 1, О. Г. Ольховская 1, *, В. А. Гасилов 1
1 Институт прикладной математики им. М.В. Келдыша Российской академии наук
Москва, Россия
* E-mail: olkhovsk@gmail.com
Поступила в редакцию 11.05.2023
После доработки 11.07.2023
Принята к публикации 13.07.2023
- EDN: SUTWAO
- DOI: 10.31857/S2686954323600295
Аннотация
Разработан метод численного решения нелинейного уравнения, описывающего диффузионный перенос энергии излучения. Метод основан на введении в параболическое уравнение второй производной по времени с малым параметром и явной разностной схеме. Явная аппроксимация исходного уравнения позволяет реализовать на ее основе алгоритм, эффективно адаптируемый к архитектуре различных высокопроизводительных вычислительных систем. Новая схема обеспечивает, сравнительно с исходной схемой, более крупный шаг интегрирования по времени и достаточно высокое разрешение структуры решения, обеспечивая второй порядок точности. Предложен эвристический подход выбора параметров трехслойной разностной схемы. Перспективной областью приложений разработанного метода могут быть задачи физики плазмы и астрофизики.
1. ВВЕДЕНИЕ
Высокая трудоемкость решения задач радиационной гидродинамики общеизвестна и стимулирует поиски новых подходов к конструированию численных алгоритмов. Методика, предлагаемая в настоящей работе, в основе имеет явную трехслойную разностную схему, которая применяется к уравнению переноса излучения, следующему из диффузионной модели.
Диффузионное приближение широко применяется в задачах высокотемпературной газовой динамики для описания вклада излучения [1, 2]. Его использование позволяет понизить размерность решаемой задачи о лучистом переносе энергии за счет того, что во многих практически важных случаях позволяет эффективно определить поток W и плотность энергии излучения U,
Диффузионная модель переноса энергии излучением включает следующие уравнения [1–3]. Все уравнения записаны в системе единиц из работы [1].
(1.1)
$\frac{1}{c} \cdot \frac{{\partial U}}{{\partial t}} + {\text{div}}W = \unicode{230} \left( {{{U}_{p}} - U} \right),$При этом вклад лучистой энергии в удельную внутреннюю энергию среды Е описывается уравнением
Начальные и граничные условия системы (1.1)– (1.3) задаются для конкретной задачи. Несмотря на широкое распространение в практике решений задач динамики излучающего газа [3] использование диффузионного приближения является не простой алгоритмической проблемой.
Аппроксимации системы уравнений (1.1)–(1.2) посредством неявных схем приводят к системам сеточных уравнений, которые необходимо решать с помощью тех или иных итерационных схем. Соответствующие алгоритмы в параллельной реализации показывают резкое снижение эффективности параллельных вычислений, особенно при использовании систем с экстрамассивным параллелизмом [4]. Локально-итерационные методы решения сеточных систем уравнений имеют хорошую перспективу, однако, несмотря на достигнутый в последние годы прогресс в их разработке (см., напр., [5]), требуются дальнейшие исследования по их адаптации (в частности, повышение эффективности при обменах данными в подходах типа геометрического параллелизма) для расчетов на перспективных гетерогенных вычислительных системах, в которых в качестве ускорителей используются графические платы. Большой проблемой при моделировании нелинейных процессов, зачастую снижающей эффективность использования итерационных методик в системах распределенных вычислений, является разбалансировка нагрузки компьютера.
Явные схемы, которые идеально подходят для распараллеливания, имеют при решении эволюционных задач весьма жесткие ограничения на шаг по времени, что необходимо для устойчивости счета. Это создает большие проблемы при расчете процессов в сильно неоднородных средах. Мы видим, следовательно, что, для того, чтобы стало возможным решение практических многомерных задач переноса излучения в среде, неявные, так и явные схемы решения сеточных уравнений типа диффузии необходимо адаптировать к архитектурам современных суперкомпьютерных систем гетерогенной архитектуры.
В данной работе предлагается трехслойная явная схема для решения уравнения плотности лучистой энергии U. Эта схема является следствием модифицированного за счет добавления члена с малым параметром при второй производной по времени уравнения диффузии.
Модифицированное уравнение диффузии и алгоритм его решения рассмотрим в следующем параграфе.
2. МОДИФИЦИРОВАННОЕ УРАВНЕНИЕ ДИФФУЗИИ
Уравнения диффузионной модели (1.1)–(1.2) в приближении $\frac{{\partial \;U}}{{\partial \;t}} = 0$ описывают квазистационарное поле излучения, которое соответствует “практически мгновенному” установлению лучеиспускательной способности и коэффициента поглощения излучения, зависящих от температуры и плотности вещества, которые, в свою очередь, могут зависеть от времени. Это приближение справедливо, когда характерное время изменения состояния вещества в расчетной области (время гидродинамических процессов) много больше времени прохождения этой области светом. В дальнейшем изложении не рассматривается зависимость излучательной способности и коэффициента поглощения от частоты излучения. В случае необходимости ее учета все полученные результаты легко обобщаются для многогрупповой по спектру модели [3].
Остановимся на физических и математических аспектах построения диффузионной модели (1.1)–(1.2).
Уравнение для одномерного, зависящего от времени переноса излучения имеет вид [1, 2]:
(2.1)
$\frac{1}{c}\,\frac{{\partial I}}{{\partial t}} + \mu \frac{{\partial I}}{{\partial z}} = \frac{{c\unicode{230} }}{{4\pi }}{{U}_{p}} - \unicode{230} I,$В прикладных расчетах [1–3] широко используются приближения, основанные на угловых моментах интенсивности излучения (2.1). Первые два угловых момента I для плоского слоя определяются как:
(2.2)
$\frac{1}{c}\,\frac{{\partial U}}{{\partial t}} + \frac{1}{c}\,\frac{{\partial W}}{{\partial z}} = \unicode{230} \left( {{{U}_{p}} - U} \right),$Первый момент уравнения (2.1) находится путем умножения его на μ, и интегрирования по полному телесному углу:
(2.3)
$\frac{1}{c}\,\frac{{\partial W}}{{\partial t}} + c\,\frac{{\partial P}}{{\partial z}} = - \unicode{230} W.$Здесь появляется третий угловой момент, P = = $\frac{{2\pi }}{c}\int\limits_{ - 1}^{ + 1} {d\mu \mathop \mu \nolimits^2 I\left( \mu \right)} $, который представляет собой давление лучистого потока. Соответственно, уравнение (2.3) выражает баланс импульса фотонов.
Учитывая уравнение баланса материальной энергии (1.3) для определения T, уравнения (2.2) и (2.3) имеют три неизвестных: U, W и P. Известный и самый простой в реализации способ замыкания получается в предположении зависимости давления излучения от плотности энергии:
Уравнение (2.3) при этом преобразуется к виду:
(2.4)
$\frac{1}{c}\,\frac{{\partial W}}{{\partial t}} + \frac{c}{3}\,\frac{{\partial U}}{{\partial z}} = - \unicode{230} W.$Уравнение энергетического баланса (2.2) остается неизменным. Уравнения (2.2), (2.4) составляют основу так называемого приближения P1. В работе [6] было показано, что в пределе оптически толстой среды решение в модели P1 имеет те же разложения нулевого и первого порядка, что и решение исходного уравнения переноса.
Уравнения диффузионной модели (1.1)–(1.2) соответствуют приближению P1, если в (2.4) пренебречь производной по времени от потока излучения W. Нестационарность поля излучения в диффузионном приближении учитывается членом $\frac{{\partial U}}{{\partial t}}$ в (2.3). Исключая из (1.1)–(1.2) поток W, получим нестационарное уравнение диффузии вида [2]:
(2.5)
$\frac{1}{c} \cdot \frac{{\partial U}}{{\partial t}} - \frac{\partial }{{\partial z}}\left( {\frac{1}{{3\unicode{230} }} \cdot \frac{{\partial U}}{{\partial z}}} \right) = \unicode{230} \left( {{{U}_{p}} - U} \right).$Здесь второе слагаемое записано в дивергентной форме, т.к. коэффициент æ в общем случае может зависеть от температуры и плотности среды и, тем самым, от пространственной координаты. Начальные и граничные условия задаются для конкретной задачи. Уравнение (2.5) является уравнением параболического типа. С целью построения эффективного вычислительного алгоритма заменим (2.5) на уравнение гиперболического типа с малым параметром $\tau \ll 1$, имеющим размерность времени, при второй производной $\frac{{{{\partial }^{2}}U}}{{\partial {{t}^{2}}}}$:
(2.6)
$\frac{{\partial U}}{{\partial t}} + \tau \frac{{{{\partial }^{2}}U}}{{\partial {{t}^{2}}}} - \frac{с}{3}\frac{\partial }{{\partial z}}\left( {\frac{1}{\unicode{230} }\frac{{\partial U}}{{\partial z}}} \right) = с\unicode{230} \left( {{{U}_{p}} - U} \right).$По форме уравнение (2.6) совпадает с предложенным и исследованным в [8, 9] и других работах гиперболизированным квазилинейным параболическим уравнением. Поэтому для его численного решения можно применять явную трехслойную разностную схему, удовлетворяющую общим условиям устойчивости [7]. Такая схема предложена и изучена в работах [8, 9].
Малый параметр при второй производной τ в данном случае можно получить из системы (2.2), (2.4), отбросив производные по времени от медленно меняющихся параметров Up и æ, которые зависят от термодинамического состояния среды. Параметр τ имеет ясный физический смысл – это время прохождения светом расстояния порядка длины свободного пробега фотона τ = 1/(сæ) = l/с. Однако в сеточной модели минимальное расстояние равно шагу сетки и τ = h/c (h = δl, δ ~ 10–2). Поэтому с целью стабилизации схемы и увеличения допустимого шага интегрирования по времени предлагается увеличить значение этого параметра, или, что эквивалентно, уменьшить эффективную скорость света с → αс, 0 < α < 1. Значение α следует выбирать таким образом, чтобы, прежде всего, выполнялось условие устойчивости. Ограничение на параметр α по устойчивости имеет и другой аспект. При моделировании радиационно-гидродинамических процессов корректирующий фактор α должен подчиняться физическому ограничению: модифицированная скорость света с' = αс должна быть много больше характерных скоростей гидродинамических процессов, учитываемых в конкретной радиационно-гидродинамической модели. Поэтому обоснованный выбор значения параметра α является основной проблемой рассматриваемой нами модификации параболического или эллиптического уравнения: он должен обеспечивать значительный вычислительный эффект, позволяя выполнять расчет по трехслойной явной схеме с разумным с вычислительной точки зрения шагом по времени.
Выпишем аппроксимирующую (2.6) трехслойную явную схему:
(2.7)
$\begin{gathered} \tau \frac{{\mathop U\nolimits_i^{j + 1} - \mathop {2U}\nolimits_i^j + \mathop U\nolimits_i^{j - 1} }}{{\mathop {\Delta t}\nolimits^2 }} + \frac{{\mathop U\nolimits_i^{j + 1} \mathop { - {\text{ }}U}\nolimits_i^{j - 1} }}{{2\Delta t}} + c\unicode{230} U_{i}^{j} = \\ \, = \mathop {\frac{c}{3}\left( {\frac{1}{\unicode{230} }U{{x}_{k}}} \right)}\nolimits^j {{{\mathbf{x}}}_{k}} + c\unicode{230} {{F}^{j}}. \\ \end{gathered} $Здесь Δt – шаг по времени при решении эволюционной радиационно-газодинамической задачи; ${c \mathord{\left/ {\vphantom {c 3}} \right. \kern-0em} 3}\mathop {({1 \mathord{\left/ {\vphantom {1 \unicode{230} }} \right. \kern-0em} \unicode{230} }\,U{{x}_{k}})}\nolimits^j {{{\mathbf{x}}}_{k}}$ – разностная аппроксимация дивергенции потока cdiv l/3 grad U, k – индекс пространственной координаты; $U_{i}^{j}$ – значение плотности энергии излучения U на j-слое по времени в центральном элементе разностного шаблона.
Можно предложить следующую оценку, подтвержденную рядом вычислительных экспериментов
где h – пространственный размер ячейки сетки, V – характерная скорость процесса.Из общей теории устойчивости разностных схем [7] можно получить критерий устойчивости трехслойной явной схемы типа (2.7), который имеет вид [8]
(2.8)
$\Delta t < {{C}_{1}} \cdot {{h}^{{{3 \mathord{\left/ {\vphantom {3 2}} \right. \kern-0em} 2}}}};{\text{ }}{{C}_{1}} \approx {\text{1/}}\sqrt {V\unicode{230} } {\text{,}}$(2.9)
$\Delta t < {{C}_{2}} \cdot {{h}^{2}};{\text{ }}{{C}_{2}} \approx {\text{1/2}}\unicode{230} {\text{.}}$Данное различие особенно заметно проявляется при использовании разностных сеток большого размера. Именно для такого случая подробной пространственной сетки, требующей для своей обработки больших вычислительных мощностей, используются высокопроизводительные вычислительные системы.
Как показывает теоретический анализ линеаризованной задачи [10], при малом значении τ различие между гиперболизированной и исходной системами незначительно. Однако из опыта решения больших задач, имеющих реальный физический смысл, известно, что оценки, полученные в линейном приближении, не всегда выполняются.
В следующем параграфе рассмотрим результаты вычислительного эксперимента применительно к решению задачи радиационной газовой динамики, связанной с выбором параметра τ и сравнением решения гиперболизированного (2.8) и исходного (2.7) уравнений диффузии.
3. ВЫЧИСЛИТЕЛЬНЫЙ ЭКСПЕРИМЕНТ
Вычислительные эксперименты проводились на одномерных задачах, поскольку явная схема для многомерного случая будет отличаться только способом аппроксимации пространственных производных, и ее реализация не вызывает принципиальных трудностей. Для выбора параметра τ следует использовать линейный размер ячейки пространственной сетки h.
Для тестирования разработанной методики использовались точные решения из работ [11], [12]. В этих работах приведены решения системы уравнений энергии и диффузии излучения в плоском одномерном случае без учета рассеяния
В каждом случае задача решалась с помощью как исходной (2.5), так и гиперболизированной системы (2.6). Для решения гиперболизированного уравнения использовалась трехслойная схема (2.7) .
На рис. 1 и 2 приведено решение для двухобластной задачи с разрывным коэффициентом поглощения, рассмотренной в ([11], задача 4).
Рис. 1.
Плотность энергии излучения. Шкала слева: 1 – численное решение, τ = h/c; 2 – численное решение, τ = h/(0.01c). Шкала справа: 3 – погрешность численного решения, τ = h/c; 4 – погрешность численного решения, τ = h/(0.01c).

Рис. 2.
Внутренняя энергия. Шкала слева: 1 – численное решение, τ = h/c; 2 – численное решение, τ = h/(0.01c). Шкала справа: 3 – погрешность численного решения, τ = h/c; 4 – погрешность численного решения, τ = h/(0.01c).

Решение системы (1.1)–(1.3) при данных начальных и граничных условиях:
Расчет выполнялся на отрезке [0, 2], шаг пространственной сетки h = 0.01. На графиках представлены рассчитанные профили плотности энергии излучения U и внутренней энергии Е (сплошные линии, левая шкала) в системе единиц [11], где с = 3, при двух значениях малого параметра при второй производной: τ = h/c и τ = = h/(0.01c) на момент времени tmax = 1. Соответствующие этим значениям графики 1 и 2 на обоих рисунках визуально не отличимы друг от друга и от точного решения, полученного в [11]. Пунктирными линиями показана погрешность разностного решения в норме С, им соответствует правая шкала. Относительная погрешность для U и для Е при τ = h/c в равномерной норме имеет порядок 10–4, см. табл. 1. Погрешность в интегральной норме на порядок меньше. При увеличении τ в 100 раз погрешность увеличилась в ~10 раз. Тем самым экспериментально подтверждены оценки (2.8) и (2.9) для явных схем решения соответственно систем (2.5) и (2.6). При этом шаг по времени, выбранный из условия (2.8), составлял 1.4 ×10–4 и 1.4 × 10–3 соответственно, тогда как допустимый шаг по времени для явной схемы (2.9) для исходного параболического уравнения Δtmax = h2/(2æmax) = 2.5 × 10–5. Таким образом, благодаря использованию модифицированного уравнения диффузии и трехслойной разностной схемы было достигнуто увеличение шага интегрирования по времени более чем в 50 раз при сохранении высокой точности разностного решения.
Таблица 1.
Относительная погрешность численного решения
${{\left\| {\,\frac{{U - {{U}_{h}}}}{U}\,} \right\|}_{C}}$ | $\frac{{{{{\left\| {U - {{U}_{h}}} \right\|}}_{{L2}}}}}{{{{{\left\| U \right\|}}_{{L2}}}}}$ | ${{\left\| {\,\frac{{E - {{E}_{h}}}}{E}\,} \right\|}_{C}}$ | $\frac{{{{{\left\| {E - {{E}_{h}}} \right\|}}_{{L2}}}}}{{{{{\left\| E \right\|}}_{{L2}}}}}$ | |
---|---|---|---|---|
t = h/c | 7.0 × 10–4 | 4.5 × 10–4 | 1.7 × 10–4 | 1.38 × 10–4 |
τ = h/(0.01c) | 10–2 | 4.0× 10–3 | 3.0 × 10–3 | 1.7 × 10–3 |
Возможность увеличения шага по времени в несколько десятков раз делает реальным расчет многомерных задач на подробных пространственных сетках с использованием современных вычислительных систем сверхвысокой производительности.
4. ЗАКЛЮЧЕНИЕ
Метод гиперболизации уравнения диффузионного переноса излучения имеет хорошую перспективу в отношении решения задач радиационной газовой динамики на современных и перспективных многопроцессорных вычислительных системах. Тестовые решения показали эффективность гиперболизации для задач в приближении “серого” вещества, однако при соответствующих доработках, обусловленных необходимостью детализации выбора стабилизирующего фактора в зависимости от спектрального состава излучения, метод вполне применим в многогрупповом спектральном приближении. Также стабилизированные трехслойные схемы для модели диффузионного переноса будут полезны в вычислениях на многомерных пространственных сетках сложной структуры, таких как, например, неструктурированные или локально-адаптивные иерархические сетки.
Важным направлением дальнейшего развития методики является исследование возможности выполнения расчетов с переменным шагом по времени и/или переменным малым параметром при второй производной по времени. Это позволит существенно повысить эффективность вычислений при сильных изменениях параметров среды и при использовании динамически перестраиваемых сеток.
Метод гиперболизации диффузионного приближения, очевидно, сохраняет эволюционный вид уравнений, позволяющий относительно легко реализовать самосопряженные консервативные алгоритмы расчета, и хорошую проработку базовых численных методов решения параболических уравнений.
Как уже отмечалось, данный подход позволяет существенно сократить время расчета. Это является актуальным для решения многомерных задач радиационной газовой динамики с учетом спектральной зависимости поля излучения. Именно моделирование таких процессов является наиболее ресурсоемким и требует привлечения для своего решения вычислительных систем высокой и сверхвысокой производительности.
Список литературы
Зельдович Я.Б., Райзер Ю.П. Физика ударных волн и высокотемпературных гидродинамических явлений. М.: Физматлит, 2008. 653 с.
Mihalas D., Mihalas B. Foundations of Radiation Hydrodynamics. Oxford University Press Inc., 1984. 718 p.
Четверушкин Б.Н. Математическое моделирование задач динамики излучающего газа. М.: Наука, 1985, 304 с.
Осипов В.П., Четверушкин Б.Н. Вычислительные алгоритмы для систем с экстрамассивным параллелизмом // Журнал вычислительной математики и математической физики. 2020. Т. 60. № 5. С. 802–814. Osipov V.P., Chetverushkin B.N. Numerical Algorithms for Systems with Extramassive Parallelism // Computational Mathematics and Mathematical Physics. 2020. V. 60. № 5. P. 783–794. https://doi.org/10.1134/S096554252005011510.1134/S0965542520050115https://doi.org/10.31857/S0044466920050117
Жуков В.Т., Новикова Н.Д., Феодоритова О.Б. Адаптивный чебышевский итерационный метод // Математическое моделирование. 2018. Т. 30. № 10. С. 67–85. Zhukov V.T., Novikova N.D., Feodori-tova O.B. An adaptive Chebyshev iterative method // Mathematical Models and Computer Simulations. 2019. V. 11. Iss. 3. P. 426–437. https://doi.org/10.1134/S2070048219030165
Gordon L. Olson, Lawrence H. Auer, Michael L. Hall Diffusion, P1, and other approximate forms of radiation transport // Journal of Quantitative Spectroscopy and Radiative Transfer. 15 March 2000. V. 64. Iss. 6. P. 619–634.https://doi.org/10.1016/S0022-4073(99)00150-8
Самарский А.А., Гулин А.В. Устойчивость разностных схем. Изд. 3, стереот. М.: URSS. 2009. 384 с.
Четверушкин Б.Н., Гулин А.В. Явные схемы и моделирование на вычислительных системах сверхвысокой производительности. // Доклады Академии наук. 2012. Т. 446. № 5. С. 501–503. Chetverushkin B.N., Gulin A.V. Explicit Schemes And Numerical Simulation Using Ultrahigh-Performance Computer Sys-tems // Doklady Mathematics. 2012. V. 86. № 2. P. 681–683. https://doi.org/10.1134/S1064562412050213
Мышецкая Е.Е., Тишкин В.Ф. Оценки влияния гиперболизации для уравнения теплопроводности. // Журнал вычислительной математики и математической физики. 2015. Т. 55. № 8. С. 1299. Myshets-kaya E.E., Tishkin V.F. Estimates of the hyperbolization effect on the heat equation // Computational Mathematics and Mathematical Physics. 2015. V. 55. Iss. 8. P. 1270–1275. https://doi.org/10.1134/S096554251508013810.1134/S0965542515080138https://doi.org/10.7868/S004446691508013X
Репин С.И., Четверушкин Б.Н. Оценки разности приближенных решений задач Коши для параболического диффузионного уравнения и гиперболического уравнения с малым параметром // Доклады Академии наук. 2013. Т. 451. № 3. С. 255. Repin S.I., Chetverushkin B.N. Estimates of the difference between approximate solutions of the cauchy problems for the parabolic diffusion equation and a hyperbolic equation with a small parameter // Doklady Mathematics. 2013. V. 88. № 1. P. 417–420. https://doi.org/10.1134/S106456241304015710.1134/S1064562413040157https://doi.org/10.7868/S0869565213210056
Андреев Е.С., Козманов М.Ю., Рачилов Е.Б. Точные решения систем уравнений переноса излучения с разрывом на границе раздела сред // Журнал вычислительной математики и математической физики. 1984. Т. 24. Вып. 1. С. 161–163. Andreev E.S., Kozmanov M.Yu., Rachilov E.B. Exact solutions of sets of radiation transfer equations with a discontinuity at the boundary of two media // Computational Mathematics and Mathematical Physics. 1984. V. 24. № 1. P. 103–105. https://doi.org/10.1016/0041-5553(84)90126-5
Козманов М.Ю., Рачилов Е.Б. О некоторых точных решениях системы уравнений диффузии излучения // Вопросы атомной науки и техники. Серия “Математическое моделирование физических процессов”. 1938. Т. 14. Вып. С. 65–67.
Дополнительные материалы отсутствуют.
Инструменты
Доклады Российской академии наук. Математика, информатика, процессы управления