ОБ ОДНОМ КРИТЕРИИ ВЫРАЗИМОСТИ ФУНКЦИЙ СИСТЕМЫ ЛИНЕЙНЫХ ДИФФЕРЕНЦИАЛЬНЫХ УРАВНЕНИЙ С ПОСТОЯННЫМИ КОЭФФИЦИЕНТАМИ В ВИДЕ ЛИНЕЙНЫХ КОМБИНАЦИЙ ПРОИЗВОДНЫХ ОДНОЙ ФУНКЦИИ, ВХОДЯЩЕЙ В ЭТУ СИСТЕМУ (2023)
Исследуется задача выразимости всех функций x1(t), x2(t), … , xn(t), входящих в заданную однородную систему линейных дифференциальных уравнений с постоянными коэффициентами x′(t) = A·x(t), в виде линейных комбинаций производных только одной неизвестной функции xк(t), входящей в эту систему. Найден простой критерий выразимости всех функций системы x′(t) = A·x(t) в виде линейных комбинаций производных xк(t) и доказана его корректность. На основе доказанного критерия разработан соответствующий алгоритм и обоснована его корректность.
Идентификаторы и классификаторы
- eLIBRARY ID
- 54630014
Теория дифференциальных уравнений в настоящее время представляет собой исключительно богатый содержанием, быстро развивающийся раздел математики, тесно связанный с другими областями математики и с ее приложениями [1]. Системы линейных и нелинейных дифференциальных уравнений применяются для описания многих закономерностей реального мира, они являются мощным инструментом исследования физических, химических, геологических, экономических и других процессов [2].
При изучении конкретных дифференциальных уравнений, которые возникают при решении задач естествознания, создаются методы, обладающие большой общностью и применяющиеся к широкому кругу математических проблем. Задачи интегрирования дифференциальных уравнений с постоянными коэффициентами оказали большое влияние на развитие линейной алгебры [1, 3]. К наиболее известным методам решения системы линейных дифференциальных уравнений с постоянными коэффициентами можно отнести следующие: метод приведения системы линейных уравнений к одному уравнению высокого порядка, метод сведения решения системы к задаче отыскания собственных значений и собственных векторов матрицы системы, метод неопределенных коэффициентов [3–6] и метод матрично-алгебраических преобразований [7, 8].
Список литературы
- O. A. Oleinik, “The Role of the Theory of Differential Equations in Modern Mathematics and Its Applications”, Soros Educational Journal, No. 4, 114-121 (1996).
- V. V. Kalinin, Ordinary Differential Equations (Gubkin Univ. Press, Moscow, 2017) [in Russian].
- F. R. Gantmakher, The Theory of Matrices (Nauka, Moscow, 1967; Chelsea, New York, 1959).
- A. V. Panteleev, A. S. Yakimova, and K. A. Rybakov, Ordinary Differential Equations. Practical Course (INFRA-M, Moscow, 2016) [in Russian]. EDN: VVLYHF
- L. S. Pontryagin, Ordinary Differential Equations (Fizmatgiz, Moscow, 1961; Addison-Wesley, Reading, 1962).
- A. F. Filippov, Collection of Problems on Differential Equations (Fizmatgiz, Moscow, 1961) [in Russian].
- O. M. Muhamedjonova, “Jordan Matrix Form and Solutions of Linear Systems of Ordinary Differential Equations with Constant Coefficients”, Uchen. Zap. Khujand State Univ. Named after Academician B. Gafurov. Series: Natural and Economic Sci. No. 1, 20-26 (2017). https://www.elibrary.ru/item.asp?id=29217659 Cited June 27, 2023.
- A. A. Baloev, “The Matrix-Algebraic Form of a Solution to the System of Linear Ordinary Differential Equations with Constant Coefficients”, Sib. Zh. Ind. Mat. 17 (3), 3-12 (2014). item.asp?id=21956533 Cited June 27, 2023. EDN: SMMIUJ
- I. N. Shchitov and E. N. Begun, “On One Method for Solving Systems of Linear Differential Equations with Constant Coefficients”, in Proc. Int. Conf. on Actual Problems of Radio and Film Technologies, St. Petersburg, Russia, November 16-17, 2021. https://www.elibrary.ru/item.asp?id=49540472 Cited June 27, 2023.
-
Yu. V. Malyshev and P. S. Atamanov, "About Solution of the System of Linear Differential Equations by Symbolic Methods", Vestn. Chuvash Univ., No. 3, 155-159 (2011). item.asp?id=16771870 Cited June 27, 2023. EDN: ODAMPF
-
V. V. Ivlev and E. A. Krivoshey, "Systems of Linear Differential Equations. Integrable Combinations (Continued)", Math. Educ., No. 1, 47-51 (2018). https://www.elibrary.ru/item.asp?id=32834675 Cited June 27, 2023.
-
M. A. Rybakov, "Solving Systems of Linear Differential Equations with Constant Coefficients by Means of Laplace Transformation", Vestn. Tambov State Univ. 14 (4), 791-792 (2009). https://www.elibrary.ru/item.asp?id=13035501 Cited June 27, 2023.
-
A. B. Nazimov and M. A. Ochilova, "On the Reduction of a System of Linear Differential Equations with Constant Coefficients to a Single High-Order Differential Equation", in Modern Problems and Prospects for Teaching Mathematics, Physics, and Computer Science at School and University (Vologda State University, Vologda, 2021), pp. 41-47. https://www.elibrary.ru/item.asp?id=44908296 Cited June 27, 2023.
-
A. G. Podgaev and A. Z. Sin, "Simple Proof of Elimination Method under the Solution of Normal Linear System of Differential Equations with Constant Coefficients", Uchen. Zap. Pacific National Univ. 5 (4), 1357-1363 (2014). https://www.elibrary.ru/item.asp?id=22674856 Cited June 27, 2023.
-
T. T. Ha and J. A. Gibson, "A Note on the Determinant of a Functional Confluent Vandermonde Matrix and Controllability", Linear Algebra Appl. 30, 69-75 (1980). DOI: 10.1016/0024-3795(80)90182-2
-
Yu. S. Antonov, "On the History of Solving Third and Fourth Degree Equations", Sci. Technol. Yakutia, No. 2, 108-110 (2015). https://www.elibrary.ru/item.asp?id=37030535 Cited June 27, 2023.
-
M. M. Postnikov, Galois Theory (Fizmatgiz, Moscow, 1963) [in Russian].
-
V. V. Karachik, "Method for Constructing Solutions of Linear Ordinary Differential Equations with Constant Coefficients", Zh. Vychisl. Mat. Mat. Fiz. 52 (2), 237-252 (2012) [Comput. Math. Math. Phys. 52 (2), 219-234 (2012)]. DOI: 10.1134/S0965542512020108 EDN: OPTEBL
Выпуск
Методы и алгоритмы вычислительной математики и их приложения.
Параллельные программные средства и технологии.
Другие статьи выпуска
В работе рассматриваются подходы к численному решению задачи о распределении электрического потенциала в рамках двумерной модели атмосферного участка глобальной электрической цепи. Для этой модели формулируется нестандартная стационарная эллиптическая краевая задача с неклассическим граничным условием. Для численного решения этой задачи, с целью изучения возможности и эффективности распараллеливания вычислений, используются два численных алгоритма на основе метода конечных элементов. Приводятся результаты расчетов для модельной задачи, в которой не учитываются особенности рельефа земной поверхности, используется простая модель проводимости и токов.
В настоящее время обнаружение аномалий в длинных временных рядах возникает в широком спектре предметных областей: цифровая индустрия, здравоохранение, моделирование климата, финансовая аналитика и др. Диссонанс формализует понятие аномалии и определяется как подпоследовательность ряда, которая имеет расстояние до своего ближайшего соседа, не превышающее наперед заданного аналитиком порога. Ближайшим соседом подпоследовательности является та подпоследовательность ряда, которая не пересекается с данной и имеет минимальное расстояние до нее. В статье представлен новый алгоритм поиска диссонансов временн´ого ряда на вычислительном кластере, каждый узел которого оснащен графическим процессором. Алгоритм применяет параллелизм по данным: временн´ой ряд разбивается на непересекающиеся фрагменты, обрабатываемые графическими процессорами узлов вычислительного кластера. С помощью ранее разработанного авторами параллельного алгоритма на каждом узле выполняется отбор локальных кандидатов в диссонансы. Далее с помощью обменов на каждом узле формируется множество глобальных кандидатов как объединение всех локальных кандидатов. Затем каждый узел выполняет глобальную очистку, удаляя из множества глобальных кандидатов ложноположительные диссонансы. Глобальная очистка распараллеливается на основе блочного умножения матрицы кандидатов и матрицы подпоследовательностей фрагмента. Результирующее множество диссонансов формируется как пересечение множеств, полученных узлами по итогу глобальной очистки. Вычислительные эксперименты с синтетическими и реальными временными рядами, проведенные на платформе суперкомпьютеров Ломоносов-2 и Лобачевский, оснащенных 48-64 графическими процессорами, показывают высокую масштабируемость разработанного алгоритма.
Статья посвящена разработке эффективных численных методов решения прямых задач распространения волн в твердых телах в векторных математических моделях. Итерационные методы решения обратных задач волновой томографии используют на каждой итерации решение прямой задачи распространения волн как в прямом, так и в обратном времени для вычисления градиента функционала невязки. Поэтому решение прямой задачи распространения волн в упругих средах является неотъемлемой частью решения обратных задач волновой томографии. Целью статьи также является определение с помощью методов математического моделирования характеристик волн Лэмба для ультразвуковой диагностики дефектов в тонких пластинах, определение диапазонов значений характерных параметров эксперимента по томографической диагностике в тонких пластинах на волнах Лэмба. Инструментом для проведения математического моделирования являются разрабатываемые численные методы и программы решения прямых задач. Конечной целью исследований является разработка методов решения обратных задач томографического неразрушающего ультразвукового контроля как на волнах Лэмба, так и на объемных волнах.
В настоящее время обработка данных временных рядов осуществляется в широком спектре научных и практических приложений, в которых актуальной является задача восстановления единичных точек или блоков значений временного ряда, пропущенных из-за аппаратных или программных сбоев либо ввиду человеческого фактора. В статье представлен метод SANNI (Snippet and Artificial Neural Network-based Imputation) для восстановления пропущенных значений временного ряда, обрабатываемого в режиме офлайн. SANNI включает в себя две нейросетевые модели: Распознаватель и Реконструктор. Распознаватель определяет сниппет (типичную подпоследовательность) ряда, на который наиболее похожа данная подпоследовательность с пропущенной точкой, и состоит из следующих трех групп слоев: сверточные, рекуррентный и полносвязные. Реконструктор, используя выход Распознавателя и входную подпоследовательность c пропуском, восстанавливает пропущенную точку. Реконструктор состоит из трех групп слоев: сверточные, рекуррентные и полносвязные. Топологии слоев Распознавателя и Реконструктора параметризуются относительно соответственно количества сниппетов и длины сниппета. Представлены методы подготовки обучающих выборок указанных нейросетевых моделей. Проведены вычислительные эксперименты, показавшие, что среди передовых аналитических и нейросетевых методов SANNI входит в тройку лучших.
Издательство
- Издательство
- МГУ
- Регион
- Россия, Москва
- Почтовый адрес
- оссийская Федерация, 119991, Москва, Ленинские горы, д. 1
- Юр. адрес
- оссийская Федерация, 119991, Москва, Ленинские горы, д. 1
- ФИО
- Садовничий Виктор Антонович (РЕКТОР)
- E-mail адрес
- info@rector.msu.ru
- Контактный телефон
- +7 (495) 9391000
- Сайт
- https://msu.ru/