Инварианты Римана находятся математические преобразования сделано по системе уравнения сохранения чтобы облегчить их решение. Инварианты Римана постоянны вдоль характеристические кривые дифференциальных уравнений в частных производных, получивших название инвариантный. Впервые они были получены Бернхард Риманн в работе о плоских волнах в газовой динамике.[1]
Математическая теория
Рассмотрим набор уравнения сохранения:

куда
и
являются элементы из матрицы
и
куда
и
являются элементами векторов. Будет задан вопрос, можно ли переписать это уравнение на

Для этого кривые будут введены в
самолет, определяемый векторное поле
. Термин в скобках будет переписан в виде полная производная куда
параметризованы как 

сравнивая последние два уравнения, находим

что теперь можно записать на характерная форма

где у нас должны быть условия


куда
можно исключить, чтобы придать необходимое условие

так что для нетрадиционное решение это определитель

Для инвариантов Римана нас интересует случай, когда матрица
является единичная матрица формировать

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

Чтобы упростить эти характеристические уравнения мы можем сделать такие преобразования, что 
какие формы

An интегрирующий фактор
можно умножить, чтобы помочь интегрировать это. Итак, система теперь имеет характерный вид
на 
что эквивалентно диагональная система[2]

Решение этой системы может быть дано обобщенным метод годографа.[3][4]
Пример
Рассмотрим одномерный Уравнения Эйлера написано в терминах плотности
и скорость
находятся


с
будучи скорость звука вводится из-за предположения об изэнтропии. Запишите эту систему в матричной форме

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

давать

а собственные векторы оказываются равными

где инварианты Римана равны


(
и
широко используемые обозначения в газовая динамика ). Для идеального газа с постоянной удельной теплоемкостью существует соотношение
, куда
это коэффициент удельной теплоемкости, чтобы задать инварианты Римана[5][6]


дать уравнения


Другими словами,

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

Тогда можно будет умножить на обратную матрицу
пока матрица детерминант из
не равно нулю.
Смотрите также
Рекомендации