Система дифференциальных уравнений
В математике система дифференциальных уравнений — это конечное множество дифференциальных уравнений . Такая система может быть как линейной , так и нелинейной . Также такая система может быть как системой обыкновенных дифференциальных уравнений , так и системой уравнений в частных производных .
Линейные системы дифференциальных уравнений [ править ]
первого порядка Линейная система ОДУ — это система, в которой каждое уравнение имеет первый порядок и линейно зависит от неизвестных функций. Здесь мы рассматриваем системы с равным количеством неизвестных функций и уравнений. Они могут быть записаны как
где является положительным целым числом, и — произвольные функции независимой переменной t. Линейную систему ОДУ первого порядка можно записать в матричной форме:
или просто
.
Однородные системы дифференциальных уравнений [ править ]
Линейная система называется однородной, если для каждого и для всех значений , в противном случае его называют неоднородным. Однородные системы обладают тем свойством, что если являются линейно независимыми решениями системы, то любая их линейная комбинация, , также является решением линейной системы, где постоянны.
Случай, когда коэффициенты все постоянны, имеет общее решение: , где является собственным значением матрицы с соответствующими собственными векторами для . Это общее решение применимо только в тех случаях, когда имеет n различных собственных значений, случаи с меньшим количеством различных собственных значений должны рассматриваться по-другому.
Линейная независимость решений [ править ]
Для произвольной системы ОДУ набор решений называются линейно независимыми, если:
удовлетворен только за .
Дифференциальное уравнение второго порядка можно преобразовать в систему линейных дифференциальных уравнений первого порядка, определив , что дает нам систему первого порядка:
Как и в любой линейной системе двух уравнений, два решения можно назвать линейно независимыми, если подразумевает или, что то же самое, что не равно нулю. Это понятие распространяется на системы второго порядка, и любые два решения ОДУ второго порядка называются линейно независимыми, если они линейно независимы в этом смысле.
Переопределенность систем дифференциальных уравнений [ править ]
Как и любая система уравнений, система линейных дифференциальных уравнений называется переопределенной, если уравнений больше, чем неизвестных. Чтобы переопределенная система имела решение, она должна удовлетворять условиям совместимости . [1] Например, рассмотрим систему:
Тогда необходимыми условиями существования решения системы являются:
См. также: Задача Коши и фундаментальный принцип Эренпрейса .
Нелинейная система дифференциальных уравнений [ править ]
Этот раздел нуждается в расширении . Вы можете помочь, добавив к нему . ( май 2020 г. ) |
Пожалуй, самым известным примером нелинейной системы дифференциальных уравнений являются уравнения Навье–Стокса . В отличие от линейного случая, существование решения нелинейной системы представляет собой сложную проблему (ср. существование и гладкость Навье – Стокса ).
Другие примеры нелинейных систем дифференциальных уравнений включают уравнения Лотки – Вольтерра .
Дифференциальная система [ править ]
Этот раздел нуждается в расширении . Вы можете помочь, добавив к нему . ( май 2020 г. ) |
Дифференциальная система — это средство изучения системы уравнений в частных производных с использованием геометрических идей, таких как дифференциальные формы и векторные поля.
Например, условия совместности переопределенной системы дифференциальных уравнений могут быть кратко сформулированы в терминах дифференциальных форм (т. е. формы, если быть точным, она должна быть замкнутой). см. в условиях интегрируемости дифференциальных систем Дополнительную информацию .
См. также [ править ]
Примечания [ править ]
Ссылки [ править ]
- Л. Эренпрейс, Универсальность преобразования Радона , Оксфордский университет. Пресс, 2003.
- Громов М. (1986), Частные дифференциальные отношения, Springer, ISBN 3-540-12177-3
- М. Кураниши, "Лекции по инволютивным системам уравнений в частных производных", Опубл. Соц. Мат. Сан-Паулу (1967)
- Пьер Шапира, Микродифференциальные системы в комплексной области, Основы математических наук, вып. 269, Спрингер Верлаг, 1985.
Дальнейшее чтение [ править ]
- https://mathoverflow.net/questions/273235/a-very-basic-question-about-projections-in-formal-pde-theory
- https://www.encyclopediaofmath.org/index.php/Involutional_system
- https://www.encyclopediaofmath.org/index.php/Complete_system
- https://www.encyclopediaofmath.org/index.php/Partial_differential_equations_on_a_manifold