В математике гиперболическое уравнение в частных производных порядка — это уравнение в частных производных (УЧП), которое, грубо говоря, имеет корректно поставленную начальную задачу для первых производных. [ требуется ссылка ] Точнее, задача Коши может быть локально решена для произвольных начальных данных вдоль любой нехарактеристической гиперповерхности . Многие уравнения механики являются гиперболическими, и поэтому изучение гиперболических уравнений представляет существенный современный интерес. Модельным гиперболическим уравнением является волновое уравнение . В одном пространственном измерении это Уравнение обладает тем свойством, что если u и его первая производная по времени — произвольно заданные начальные данные на линии t = 0 (с достаточными свойствами гладкости), то существует решение для всех времен t .
Решения гиперболических уравнений являются «волновыми». Если в начальные данные гиперболического дифференциального уравнения вносится возмущение, то не каждая точка пространства ощущает возмущение сразу. Относительно фиксированной временной координаты возмущения имеют конечную скорость распространения . Они распространяются вдоль характеристик уравнения. Эта особенность качественно отличает гиперболические уравнения от эллиптических уравнений в частных производных и параболических уравнений в частных производных . Возмущение начальных (или граничных) данных эллиптического или параболического уравнения ощущается сразу по существу всеми точками в области.
Хотя определение гиперболичности по сути является качественным, существуют точные критерии, которые зависят от конкретного вида рассматриваемого дифференциального уравнения. Существует хорошо разработанная теория для линейных дифференциальных операторов , созданная Ларсом Гордингом , в контексте микролокального анализа . Нелинейные дифференциальные уравнения являются гиперболическими, если их линеаризации являются гиперболическими в смысле Гординга. Существует несколько иная теория для систем уравнений первого порядка, исходящих из систем законов сохранения .
Уравнение в частных производных является гиперболическим в точке при условии, что задача Коши однозначно разрешима в окрестности для любых начальных данных, заданных на нехарактеристической гиперповерхности, проходящей через . [1] Здесь заданные начальные данные состоят из всех (поперечных) производных функции на поверхности с точностью до порядка, меньшего порядка дифференциального уравнения.
Путем линейной замены переменных любое уравнение вида с можно преобразовать в волновое уравнение , за исключением членов низшего порядка, которые несущественны для качественного понимания уравнения. [2] : 400 Это определение аналогично определению плоской гиперболы .
Одномерное волновое уравнение : является примером гиперболического уравнения. Двумерные и трехмерные волновые уравнения также попадают в категорию гиперболических PDE. Этот тип гиперболического уравнения в частных производных второго порядка может быть преобразован в гиперболическую систему дифференциальных уравнений первого порядка. [2] : 402
Ниже представлена система уравнений в частных производных первого порядка относительно неизвестных функций , , где :
где — однократно непрерывно дифференцируемые функции, в общем случае нелинейные .
Далее для каждого определим матрицу Якоби
Система ( ∗ ) является гиперболической , если для всех матрица имеет только действительные собственные значения и диагонализируема .
Если матрица имеет s различных действительных собственных значений, то она диагонализируема. В этом случае система ( ∗ ) называется строго гиперболической .
Если матрица симметрична, то она диагонализируема и собственные значения действительны. В этом случае система ( ∗ ) называется симметричной гиперболической .
Существует связь между гиперболической системой и законом сохранения . Рассмотрим гиперболическую систему одного частного дифференциального уравнения для одной неизвестной функции . Тогда система ( ∗ ) имеет вид
Здесь можно интерпретировать как величину, которая движется в соответствии с потоком, заданным . Чтобы увидеть, что величина сохраняется, проинтегрируйте ( ∗∗ ) по области
Если и являются достаточно гладкими функциями, мы можем воспользоваться теоремой о расходимости и изменить порядок интегрирования и получить закон сохранения для величины в общем виде , который означает, что скорость изменения времени в области равна чистому потоку через ее границу . Поскольку это равенство, можно сделать вывод, что сохраняется в пределах .