В математика, ортогональные координаты определяются как набор d координаты q = (q1, q2, ..., qd) в которой координатные поверхности все встречаются под прямым углом (примечание: верхние индексы индексы, а не экспоненты). Координатная поверхность для конкретной координаты qk кривая, поверхность или гиперповерхность, на которой qk является константой. Например, трехмерный Декартовы координаты (Икс, у, z) - ортогональная система координат, поскольку ее координатные поверхности Икс = константа, у = константа, и z = constant - плоскости, которые пересекаются под прямым углом друг к другу, т. е. перпендикулярны. Ортогональные координаты - частный, но чрезвычайно частый случай криволинейные координаты.
Главное преимущество не декартовых координат состоит в том, что они могут быть выбраны в соответствии с симметрией задачи. Например, волна давления из-за взрыва вдали от земли (или других препятствий) зависит от трехмерного пространства в декартовых координатах, однако давление преимущественно перемещается от центра, так что в сферические координаты проблема становится почти одномерной (поскольку волна давления в основном зависит только от времени и расстояния от центра). Другой пример - (медленная) жидкость в прямой круглой трубе: в декартовых координатах нужно решить (сложную) двумерную краевую задачу, включающую уравнение в частных производных, но в цилиндрические координаты задача становится одномерной с обыкновенное дифференциальное уравнение вместо уравнение в частных производных.
Причина предпочтения ортогональных координат вместо общих криволинейные координаты простота: многие сложности возникают, когда координаты не ортогональны. Например, в ортогональных координатах многие задачи могут быть решены с помощью разделение переменных. Разделение переменных - это математический метод, который преобразует сложный d-мерная проблема в d одномерные задачи, которые можно решить в терминах известных функций. Многие уравнения сводятся к Уравнение Лапласа или Уравнение Гельмгольца. Уравнение Лапласа разделима в 13 ортогональных системах координат (14 перечисленных в таблице ниже за исключением тороидальный ), а Уравнение Гельмгольца разделима в 11 ортогональных системах координат.[1][2]
Ортогональные координаты никогда не содержат недиагональных членов. метрический тензор. Другими словами, бесконечно малый квадрат расстояния ds2 всегда можно записать как масштабированную сумму квадратов бесконечно малых смещений координат
куда d это функция измерения и масштабирования (или коэффициенты масштабирования)
равны квадратным корням из диагональных компонент метрического тензора или длинам локальных базисных векторов описано ниже. Эти функции масштабирования чася используются для вычисления дифференциальных операторов в новых координатах, например, градиент, то Лапласиан, то расхождение и завиток.
Простой метод создания ортогональных систем координат в двух измерениях - это конформное отображение стандартной двумерной сетки Декартовы координаты(Икс, у). А комплексное числоz = Икс + иу можно составить из реальных координат Икс и у, куда я представляет мнимая единица. Любой голоморфная функцияш = ж(z) с ненулевой комплексной производной даст конформное отображение; если полученное комплексное число записано ш = ты + iv, то кривые постоянного ты и v пересекаются под прямым углом, так же как исходные линии постоянного Икс и у сделал.
Ортогональные координаты в трех и более высоких измерениях могут быть сгенерированы из ортогональной двухмерной системы координат, либо путем проецирования ее в новое измерение (цилиндрические координаты) или вращением двумерной системы вокруг одной из осей симметрии. Однако существуют и другие ортогональные системы координат в трех измерениях, которые нельзя получить путем проецирования или вращения двумерной системы, например эллипсоидальные координаты. Более общие ортогональные координаты могут быть получены, если начать с некоторых необходимых координатных поверхностей и рассмотреть их ортогональные траектории.
Базисные векторы
Ковариантный базис
В Декартовы координаты, то базисные векторы фиксированы (постоянны). В более общем контексте криволинейные координаты, точка в пространстве задается координатами, и в каждой такой точке связан набор базисных векторов, которые, как правило, не являются постоянными: в этом суть криволинейных координат в целом и очень важное понятие. Что отличает ортогональные координаты, так это то, что, хотя базисные векторы меняются, они всегда ортогональный по отношению друг к другу. Другими словами,
Эти базисные векторы по определению являются касательные векторы кривых, полученных изменением одной координаты, оставив остальные неизменными:
Визуализация двумерных ортогональных координат. Показаны кривые, полученные при сохранении всех постоянных координат, кроме одной, вместе с базисными векторами. Обратите внимание, что базисные векторы не имеют одинаковой длины: они не должны быть одинаковыми, они должны быть только ортогональными.
куда р это какая-то точка и qя - координата, для которой извлекается базисный вектор. Другими словами, кривая получается фиксацией всех координат, кроме одной; незакрепленная координата изменяется как в параметрическая кривая, а производная кривой по параметру (изменяющейся координате) является базисным вектором для этой координаты.
Обратите внимание, что векторы не обязательно имеют одинаковую длину. Полезные функции, известные как масштабные коэффициенты координат, - это просто длины базисных векторов (см. таблицу ниже). Масштабные коэффициенты иногда называют коэффициентами Ламе, но этой терминологии лучше избегать, так как некоторые более известные коэффициенты в линейная эластичность носят то же имя.
В нормализованный базисные векторы отмечены шляпкой и получаются делением на длину:
А векторное поле могут быть определены его компонентами относительно базисных векторов или нормализованных базисных векторов, и нужно быть уверенным, какой случай имеется в виду. Компоненты в нормализованном базисе наиболее часто используются в приложениях для наглядности величин (например, можно иметь дело с тангенциальной скоростью, а не с тангенциальной скоростью, умноженной на масштабный коэффициент); в выводах нормализованный базис встречается реже, поскольку он более сложен.
Контравариантная основа
Базисные векторы, показанные выше, являются ковариантный базисные векторы (потому что они "изменяются" вместе с векторами). В случае ортогональных координат контравариантные базисные векторы легко найти, поскольку они будут иметь то же направление, что и ковариантные векторы, но обратная длина (по этой причине два набора базисных векторов называются взаимными по отношению друг к другу):
это следует из того, что по определению , с использованием Дельта Кронекера. Обратите внимание, что:
Теперь мы сталкиваемся с тремя различными базисными наборами, обычно используемыми для описания векторов в ортогональных координатах: ковариантный базис ея, контравариантный базис ея, а нормализованный базис êя. Хотя вектор - это объективная величина, то есть его идентичность не зависит от какой-либо системы координат, компоненты вектора зависят от того, в каком базисе представлен вектор.
Во избежание путаницы компоненты вектора Икс с уважением к ея основы представлены как Икся, а компоненты относительно ея основы представлены как Икся:
Положение индексов показывает, как рассчитываются компоненты (верхние индексы не следует путать с возведение в степень ). Обратите внимание, что суммирование символы Σ (заглавная Сигма ) и диапазон суммирования, указывающий на суммирование по всем базисным векторам (я = 1, 2, ..., d), часто опущено. Компоненты связаны просто:
Не существует каких-либо отличительных широко распространенных обозначений, используемых для компонентов вектора по отношению к нормализованному базису; в этой статье мы будем использовать индексы для компонентов вектора и заметим, что компоненты вычисляются в нормализованном базисе.
Векторная алгебра
Сложение и отрицание векторов выполняются покомпонентно, как и в декартовых координатах, без каких-либо сложностей. Дополнительные соображения могут потребоваться для других векторных операций.
Однако обратите внимание, что все эти операции предполагают, что два вектора в векторное поле привязаны к одной и той же точке (другими словами, хвосты векторов совпадают). Поскольку базисные векторы обычно различаются по ортогональным координатам, при добавлении двух векторов, компоненты которых вычисляются в разных точках пространства, различные базисные векторы требуют рассмотрения.
Это непосредственное следствие того факта, что нормализованный базис в какой-то момент может образовывать декартову систему координат: базисный набор ортонормированный.
Для компонентов в ковариантном или контравариантном базисе
Это можно легко получить, выписав векторы в компонентной форме, нормализовав базисные векторы и взяв скалярное произведение. Например, в 2D:
где использован тот факт, что нормированный ковариантный и контравариантный базисы равны.
Приведенная выше формула остается действительной в ортогональных координатах, если компоненты вычисляются в нормализованном базисе.
Чтобы построить векторное произведение в ортогональных координатах с ковариантным или контравариантным базисом, мы снова должны просто нормализовать базисные векторы, например:
которые, написанные развернутыми,
Краткое обозначение для векторного произведения, которое упрощает обобщение для неортогональных координат и более высоких измерений, возможно с Тензор Леви-Чивиты, который будет иметь компоненты, отличные от нулей и единиц, если не все коэффициенты масштабирования равны единице.
Векторное исчисление
Дифференциация
Глядя на бесконечно малое смещение с некоторой точки, становится очевидно, что
К определение, градиент функции должен удовлетворять (это определение остается верным, если ƒ есть ли тензор )
это Определитель якобиана, имеющую геометрическую интерпретацию деформации объема от бесконечно малого куба dИксdуdz к бесконечно малому искривленному объему в ортогональных координатах.
Интеграция
Используя показанный выше элемент линии, линейный интеграл по пути вектора F является:
Бесконечно малый элемент площади для поверхности, описываемой одной координатой qk константа:
Точно так же элемент объема:
где большой символ Π (заглавная число Пи ) указывает на товар так же, как большой Σ указывает на суммирование. Обратите внимание, что произведение всех масштабных коэффициентов - это Определитель якобиана.
Например, поверхностный интеграл векторной функции F через q1 = постоянный поверхность в 3D это:
Обратите внимание, что F1/час1 компонент F нормально к поверхности.
Вышеупомянутые выражения можно записать в более компактной форме, используя Символ Леви-Чивита и якобиан , предполагая суммирование по повторяющимся индексам:
Помимо обычных декартовых координат, несколько других приведены в таблице ниже.[5]Обозначение интервалов используется для компактности в столбце координат.