ОБ ОСОБЕННОСТЯХ ЧИСЛЕННОЙ ДИАГНОСТИКИ МГНОВЕННОГО РАЗРУШЕНИЯ РЕШЕНИЯ НА ПРИМЕРЕ РЕШЕНИЯ УРАВНЕНИЯ МЕДЛЕННОЙ ДИФФУЗИИ (2021)
В работе демонстрируется, как метод апостериорной оценки порядка точности разностной схемы по Ричардсону позволяет сделать вывод о некорректности постановки (в смысле отсутствия решения) решаемой численно начально-краевой задачи для уравнения в частных производных. Это актуально в ситуации, когда аналитическое доказательство некорректности постановки ещё не получено или принципиально невозможно.
Идентификаторы и классификаторы
- eLIBRARY ID
- 44860483
В последние десятилетия активно развивается тематика режимов с обострениями, для которых используется термин “разрушение решения” (что в англоязычной литературе принято называть “blow-up regimes”). Несколько обобщая, можно сказать, что режим “blow-up” — это обращение решения в бесконечность за конечное время. В современной научной литературе по этой теме все работы можно разделить на несколько направлений. Первое посвящено исследованию условий глобальной и/или локальной разрешимости нелинейных уравнений математической физики. Здесь в основном рассматриваются задачи, локально разрешимые по временн´ой переменной. Приводящие к таким уравнениям физические проблемы описывают взрывы, развитие неустойчивости и др. К настоящему времени существуют три основных группы методов аналитического исследования явлений разрушения решения. Это метод нелинейной емкости (пробных функций) С. И. Похожаева и Э. Митидиери [1] в различных вариантах, энергетический метод Х. А. Левина и его модификации [2–7] и метод автомодельных режимов, основанный на различных признаках сравнения и развитый в работах А. А. Самарского, В. А. Галактионова, С. П. Курдюмова и А. П. Михайлова [8] (см. также [9]).
Список литературы
- E. Mitidieri and S. I. Pokhozhaev, “A Priori Estimates and Blow-up of Solutions to Nonlinear Partial Differential Equations and Inequalities”, Tr. Mat. Inst. Im. V.A. Steklova, Ross. Akad. Nauk 234, 3-383 (2001) [Proc. Steklov Inst. Math. 234, 1-362 (2001)].
- H. A. Levine, “Some Nonexistence and Instability Theorems for Solutions of Formally Parabolic Equations of the Form Put = -Au + F(u)”, Arch. Rational Mech. Anal. 51 (5), 371-386 (1973).
- V. K. Kalantarov and O. A. Ladyzhenskaya, “The Occurrence of Collapse for Quasilinear Equations of Parabolic and Hyperbolic Types”, Zap. Nauch. Semin. Leningr. Otd. Mat. Inst. Steklova 69, 77-102 (1977) [J. Math. Sci. 10 (1), 53-70 (1978)].
- A. G. Sveshnikov, A. B. Al’shin, M. O. Korpusov, and Yu. D. Pletner, Linear and Nonlinear Equations of Sobolev Type (Fizmatlit, Moscow, 2007) [in Russian].
- M. O. Korpusov, Blow-up in Nonclassical Wave Equations (Editorial, Moscow, 2010) [in Russian].
- M. O. Korpusov, “Blow-up of Ion Acoustic Waves in a Plasma”, Mat. Sb. 202 (1), 37-64 (2011) [Sb. Math. 202 (1), 35-60 (2011)]. EDN: OIBERZ
- M. O. Korpusov, A. G. Sveshnikov, and E. V. Yushkov, Methods of the Theory of Solution Blow-Up for Nonlinear Equations of Mathematical Physics (Faculty of Physics, Moscow Univ., Moscow, 2014) [in Russian].
- A. A. Samarskii, V. A. Galaktionov, S. P. Kurdyumov, and A. P. Mikhailov, Blow-up in Quasilinear Parabolic Equations (Nauka, Moscow, 1987; Gruyter, Berlin, 1995).
- V. A. Galaktionov and S. I. Pohozaev, “Third-Order Nonlinear Dispersive Equations: Shocks, Rarefaction, and Blowup Waves”, Zh. Vychisl. Mat. Mat. Fiz. 48 (10), 1819-1846 (2008) [Comput. Math. Math. Phys. 48 (10), 1784-1810 (2008)]. EDN: JSJVFR
-
D. E. Pelinovsky and C. Xu, "On Numerical Modelling and the Blow-up Behavior of Contact Lines with a 180° Contact Angle", J. Eng. Math. 92, 31-44 (2015). EDN: UZTCXF
-
A. Cangiani, E. H. Georgoulis, I. Kyza, and S. Metcalfe, "Adaptivity and Blow-up Detection for Nonlinear Evolution Problems", arXiv preprint: 1502.03250v1 [math.NA] (Cornell Univ. Library, Ithaca, 2015), available at https://arxiv.org/abs/1502.03250/.
-
C.-H. Cho, "Numerical Detection of Blow-up: A New Sufficient Condition for Blow-up", Japan J. Indust. Appl. Math. 33 (1), 81-98 (2016).
-
R. Haynes and C. Turner, "A Numerical and Theoretical Study of Blow-up for a System of Ordinary Differential Equations Using the Sundman Transformation", Atl. Electron. J. Math. 2 (1), 1-13 (2007).
-
M. Berger and R. V. Kohn, "A Rescaling Algorithm for the Numerical Calculation of Blowing-up Solutions", Commun. Pure Appl. Math. 41 (6), 841-863 (1988).
-
M. O. Korpusov and D. V. Lukyanenko, "Instantaneous Blow-up Versus Local Solvability for One Problem of Propagation of Nonlinear Waves in Semiconductors", J. Math. Anal. Appl. 459 (1), 159-181 (2018). EDN: XNHVOA
-
M. O. Korpusov, "Critical Exponents of Instantaneous Blow-up or Local Solubility of Non-Linear Equations of Sobolev Type", Izv. Ross. Akad. Nauk, Ser. Mat. 79 (5), 103-162 (2015) [Izv. Math. 79 (5), 955-1012 (2015)]. EDN: UXUPLP
-
M. O. Korpusov and A. A. Panin, "Instantaneous Blow-up Versus Local Solubility of the Cauchy Problem for a Two-Dimensional Equation of a Semiconductor with Heating", Izv. Ross. Akad. Nauk, Ser. Mat. 83 (6), 104-132 (2019) [Izv. Math. 83 (6), 1174-1200 (2019)]. EDN: INIRQF
-
G. A. Sviridyuk, "On the General Theory of Operator Semigroups", Usp. Mat. Nauk 49 (4), 47-74 (1994) [Russ. Math. Surv. 49 (4), 45-74 (1994)]. EDN: ZYSNNL
-
M. O. Korpusov, A. V. Ovchinnikov, and A. A. Panin, "Instantaneous Blow-up Versus Local Solvability of Solutions to the Cauchy Problem for the Equation of a Semiconductor in a Magnetic Field", Math. Meth. Appl. Sci. 41 (17), 8070-8099 (2018). EDN: YKKVYH
-
V. A. Vasilchenko, M. O. Korpusov, D. V. Lukyanenko, and A. A. Panin, "A Study of Self-Oscillation Instability in Varicap-Based Electrical Networks: Analytical and Numerical Approaches", Vychisl. Metody Programm. 20 (3), 323-336 (2019). EDN: LBTSJM
-
I. I. Kolotov and A. A. Panin, "On Nonextendable Solutions and Blow-Ups of Solutions of Pseudoparabolic Equations with Coercive and Constant-Sign Nonlinearities: Analytical and Numerical Study", Mat. Zametki 105 (5), 708-723 (2019) [Math. Notes 105 (5), 694-706 (2019)]. EDN: EEMDXE
-
M.-N. Le Roux, "Numerical Solution of Fast Diffusion or Slow Diffusion Equations", J. Comput. Appl. Math. 97 (1-2), 121-136 (1998). EDN: LOQQRP
-
J. G. Berryman and C. J. Holland, "Stability of the Separable Solution for Fast Diffusion", Arch. Rational Mech. Anal. 74 (4), 379-388 (1980).
-
E. A. Alshina, N. N. Kalitkin, and P. V. Koryakin, "Diagnostics of Singularities of Exact Solutions in Computations with Error Control", Zh. Vychisl. Mat. Mat. Fiz. 45 (10), 1837-1847 (2005) [Comput. Math. Math. Phys. 45 (10), 1769-1779 (2005)]. EDN: HSCISL
-
N. N. Kalitkin, A. B. Al'shin, E. A. Al'shina, and B. V. Rogov, Calculations on Quasi-Uniform Grids (Fizmatlit, Moscow, 2005) [in Russian].
-
A. B. Al'shin and E. A. Al'shina, "Numerical Diagnosis of Blow-up of Solutions of Pseudoparabolic Equations", J. Math. Sci. 148 (1), 143-162 (2008).
-
J. Hoffman and C. Johnson, "Blow up of Incompressible Euler Solutions", BIT Numer. Math. 48 (2), 285-307 (2008).
-
E. Hairer and G. Wanner, Solving Ordinary Differential Equations. Stiff and Differential-Algebraic Problems (Springer, Berlin, 2002).
-
N. N. Kalitkin, "Numerical Methods of Solution of Stiff Systems", Mat. Model. 7 (5), 8-11 (1995).
-
H. H. Rosenbrock, "Some General Implicit Processes for the Numerical Solution of Differential Equations", Comput. J. 5 (4), 329-330 (1963). EDN: INGPCF
-
A. B. Al'shin, E. A. Al'shina, N. N. Kalitkin, and A. B. Koryagina, "Rosenbrock Schemes with Complex Coefficients for Stiff and Differential Algebraic Systems", Zh. Vychisl. Mat. Mat. Fiz. 46 (8), 1392-1414 (2006) [Comput. Math. Math. Phys. 46 (8), 1320-1340 (2006)]. EDN: HVKFUV
Выпуск
Методы и алгоритмы вычислительной математики и их приложения.
Параллельные программные средства и технологии.
Другие статьи выпуска
Предложен балансно-характеристический метод решения систем линейных дифференциальных уравнений в частных производных гиперболического типа, обладающий четвертым порядком аппроксимации на равномерных сетках и вторым порядком и улучшенными дисперсионными свойствами на неравномерных сетках. Метод основан на известной схеме КАБАРЕ, балансные фазы которой модифицированы путем добавления антидисперсионных членов особого вида. Ранее метод, обладающий схожими свойствами, предлагался только для простейшего одномерного линейного уравнения переноса. Приведенная модификация схемы позволяет улучшить дисперсионные свойства переноса сразу всех инвариантов Римана рассматриваемой системы уравнений. Схема бездиссипативна при отключенных процедурах монотонизации и устойчива при числах Куранта CFL ≤ 1. Точность метода и его порядок сходимости продемонстрированы на серии расчетов задачи о переносе волны, промодулированной гауссианом, на последовательности сгущающихся сеток. Предложенный метод планируется использовать в качестве основы для построения схемы КАБАРЕ с улучшенными дисперсионными свойствами для систем нелинейных дифференциальных уравнений.
Строятся экономичные разностные схемы сквозного счета для решения прямых задач сейсмики в осесимметричной постановке. При распараллеливании алгоритмов, реализующих схемы на многопроцессорных вычислительных системах, применяется метод двуциклического расщепления по пространственным переменным. Одномерные системы уравнений на этапах расщепления решаются на основе явных сеточно-характеристических схем и неявной разностной схемы типа “предиктор-корректор” с контролируемой искусственной диссипацией энергии. Верификация алгоритмов и программ выполнена на точных решениях одномерных задач типа бегущих монохроматических волн. Сравнение результатов показало неоспоримые преимущества схемы с контролируемой диссипацией энергии по точности расчета гладких решений и целесообразность применения явных монотонных схем при расчете разрывов.
Проводится численное моделирование обтекания гиперзвукового летательного аппарата с использованием модели высокотемпературного воздуха и гибридной архитектуры на основе высокопроизводительных графических процессорных устройств. Расчеты проводятся на основе уравнений Эйлера, для дискретизации которых применяется метод конечных объемов на неструктурированных сетках. Приводятся результаты исследования эффективности расчета гиперзвуковых течений газа на графических процессорах. Обсуждается время счета, достигнутое при использовании моделей совершенного и реального газа.
Any modern supercomputer has an extremely complex architecture, and efficient usage of its resources is often a very difficult task, even for experienced users. At the same time, the field of high-performance computing is becoming more and more in demand, so the issue of efficient utilization of supercomputers is very urgent. Therefore, users should know everything important about performance of their jobs running on a supercomputer in order to be able to optimize them, and administrators should be able to monitor and analyze all the nuances of the efficient functioning of such systems. However, there is currently no complete understanding of what data are best to be studied (and how it should be analyzed) in order to have a whole picture of the state of the supercomputer and the processes taking place there. In this paper, we make our first attempt to answer this question. To do this, we are developing a model that describes all the potential factors that may be important when analyzing the performance of supercomputer applications and the HPC system as a whole. The paper provides both a detailed description of this model for users and administrators and some interesting real-life examples discovered on the Lomonosov-2 supercomputer using a software implementation based on the proposed model.
Исследуются задачи взаимодействия ударной волны с ограниченным слоем газовзвеси, внутри которого имеется неоднородность квадратного сечения пониженной или повышенной плотности. Для расчетов используется гибридный метод крупных частиц второго порядка аппроксимации по пространству и времени. Правильность численных разрывных решений, в частности скачков пористости, подтверждается сравнением с асимптотически точными профилями плотности смеси. Приведены аналитические зависимости ослабления ударной волны слоем газовзвеси. Изучены ударно-волновые структуры в двумерных областях и влияние на них релаксационных процессов.
Издательство
- Издательство
- МГУ
- Регион
- Россия, Москва
- Почтовый адрес
- оссийская Федерация, 119991, Москва, Ленинские горы, д. 1
- Юр. адрес
- оссийская Федерация, 119991, Москва, Ленинские горы, д. 1
- ФИО
- Садовничий Виктор Антонович (РЕКТОР)
- E-mail адрес
- info@rector.msu.ru
- Контактный телефон
- +7 (495) 9391000
- Сайт
- https://msu.ru/