Все выпуски

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

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

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

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

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

This paper analyzes some issues in developing numerical methods for solving problems with a Boltzmann-type linear kinetic transport equation. Existing applications of this type of equation are listed. The focus is on the problem of radiative transfer in a flat layer, which are important for experimental research practice. Key definitions and traditional limitations applied to radiative transfer problems are presented. Some features of formulating radiative transfer problems for flat layers of irregular heterogeneous composite materials that are partially transparent to electromagnetic radiation are considered. The main approaches to the numerical and numerical-analytical solution of the linear kinetic transport equation are outlined.

Some variants of the simplest grid numerical methods for solving of nonstationary kinetic problems of transport a flat layer of a medium with strong attenuation are considered. Problems with one- and two-step variants of these iterative methods are analyzed, for some of them the causes of instability and convergence absence in some of them are investigated and established. It is shown that in the explicit conservative one-step method for a layer of a homogeneous absorbing, but neither radiating nor scattering, medium, unstable modes always exist in the spectrum of harmonic solutions. These modes arise in the region of radiation propagating almost parallel to the layer boundaries, and their instability increases with increasing attenuation effects and is caused by the presence of a small coefficient before the spatial derivative in the transport equation. To limit the undesirable influence of this component, various variants of splitting the equation into two and three fractional steps are considered.

It is shown that the most preferable options are those with explicitly organized fractional steps, for which a proof of their stability and convergence, that based on the Lax’s equivalence theorem is presented. It is demonstrated that the correct building of the fractional step sequence in explicit schemes for numerical solving of the nonstationary linear kinetic transport problems can provide additional stabilization, with the scattering integral plays an important role in stabilizing them. So, when solving kinetic transport problems in media with high scattering albedo, the explicit grid method of settling with splitting the iterations into three fractional steps, that were based on physical processes proved to be the simplest and most effective. The method is implemented as Matlab code, which performs quality control during the generation of the numerical solution process. The most significant modeling results are presented, confirming that the three-step method imposes relatively moderate requirements on resources and numerical integration accuracy, and ensures conditional convergence of iterations. Its mathematical correctness is confirmed by the behavior of the equation residuals and direct control of the convergence of numerical solutions. Its physical correctness is confirmed by ensuring, for ergodic systems, the property of convergence to an invariant steady state independent of the initial conditions. Some discovered and possible limitations of the method are listed.

The work will be useful to specialists in the field of mathematical modeling, numerical methods, kinetic theory, combined heat and mass transfer, dealing with issues of interpretation of experimental data, graduate students and senior students specializing in the indicated areas.

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

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

В вычислительной части получено условие положительности для реакционного подшага схемы расщепления относительно адаптивного верхнего барьера траектории и выполнены численные эксперименты для воспроизводимой калиброванной вычислительной версии. В одномерном сценарии к $60$-м суткам в центре очага доля замещающего фиброза возрастает с $0,091$ до $0,855$, а суммарный параметр концентрации $\alpha_0$ — с $11,0$ до $15,9$; в двумерном сценарии на $14$-е сутки средняя величина $\overline p_4^{}$ составляет $0,431$ в ядре повреждения против $0,097$ в здоровой зоне. Доказана корректность модели для анализа процессов рубцевания и переходных зон, что формирует математическую базу для интеграции алгоритма с данными пациент-специфической клинической визуализации.

A spatially distributed mathematical model is proposed for the evolution of five myocardial tissue states — healthy myocardium, inflammatory infiltrate, necrosis, replacement fibrosis, and interstitial fibrosis — in the form of a multicomponent parabolic reaction – diffusion system. At each spatial point the tissue state is described by a vector of Dirichlet concentration parameters, which allows one to encode both the expected tissue composition and the uncertainty of classification associated with transition zones of damage. For a truncated system that coincides with the original one inside an invariant region, local Lipschitz continuity and quasi-positivity of the extended reaction operator are established. Global existence of a weak solution, non-negativity, an explicit a priori upper bound, and a quantitative exponential lower bound are proved. These results imply invariance of the admissible region and hence existence of a global weak solution to the original model. Uniqueness is established in a strengthened class of solutions characterized by additional gradient regularity. For an auxiliary reversible transition matrix, a formal entropy balance is derived for smooth positive solutions; for the clinically motivated irreversible transition matrix, a modal spectral stability condition is formulated for the linearized problem. On the numerical side, a positivity condition is derived for the reaction substep of a splitting scheme relative to an adaptive upper trajectory bound, and numerical experiments are conducted for a reproducible calibrated computational variant. In the one-dimensional scenario, by day $60$ the replacement-fibrosis fraction at the lesion center increases from $0.091$ to $0.855$, while the total concentration parameter $\alpha_0$ rises from $11.0$ to $15.9$; in the two-dimensional scenario, on day $14$ the mean value of $\overline p_4^{}$ is $0.431$ in the lesion core versus $0.097$ in the healthy region. These results confirm the mathematical well-posedness of the proposed model and its applicability for the quantitative description of post-infarction scar formation and heterogeneous transition zones.

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

В работе использован подход, аналогичный уже примененным ранее при моделировании подобных задач. Использован вариант метода расщепления. Авторами предложен свой способ расщепления. В отличие от большинства известных работ расщепление проводится не по физическим процессам (перенос без диссипации, отдельно диссипативные процессы), а на перенос со стоковыми членами и «обменную» часть. Такое расщепление делает возможным построение гибридных схем для инвариантов Римана, обладающих высоким порядком аппроксимации и минимальной диссипативной погрешностью. Для однофазной ЛЭП приведен пример построения такой гибридной разностной схемы. Предложенная разностная схема строится на основе анализа свойств схем в пространстве неопределенных коэффициентов.

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

Modern power transportation systems are the complex engineering systems. Such systems include both point facilities (power producers, consumers, transformer substations, etc.) and the distributed elements (f.e. power lines). Such structures are presented in the form of the graphs with different types of nodes under creating the mathematical models. It is necessary to solve the system of partial differential equations of the hyperbolic type to study the dynamic effects in such systems.

An approach similar to one already applied in modeling similar problems earlier used in the work. New variant of the splitting method was used proposed by the authors. Unlike most known works, the splitting is not carried out according to physical processes (energy transport without dissipation, separately dissipative processes). We used splitting to the transport equations with the drain and the exchange between Reimann’s invariants. This splitting makes possible to construct the hybrid schemes for Riemann invariants with a high order of approximation and minimal dissipation error. An example of constructing such a hybrid differential scheme is described for a single-phase power line. The difference scheme proposed is based on the analysis of the properties of the schemes in the space of insufficient coefficients.

Examples of the model problem numerical solutions using the proposed splitting and the difference scheme are given. The results of the numerical calculations shows that the difference scheme allows to reproduce the arising regions of large gradients. It is shown that the difference schemes also allow detecting resonances in such the systems.