Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску

В математике , ортогональные координаты определяются как набор д координат д = ( д 1 , д 2 , ..., д d ) , в которой координатные поверхности все встречаются под прямым углом (примечание: индексы являются индексы , а не показатели). Координатная поверхность для конкретной координаты q k - это кривая, поверхность или гиперповерхность, на которой q k является константой. Например, трехмерные декартовы координаты ( x , y , z) является ортогональной системой координат, поскольку ее координатные поверхности x = constant, y = constant и z = constant - это плоскости, которые пересекаются под прямым углом друг к другу, т. е. перпендикулярны. Ортогональные координаты - это частный, но чрезвычайно распространенный случай криволинейных координат .

Мотивация [ править ]

Конформное отображение , действующее на прямоугольной сетке. Обратите внимание, что ортогональность изогнутой сетки сохраняется.

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

Главное преимущество недекартовых координат состоит в том, что их можно выбрать в соответствии с симметрией задачи. Например, волна давления из-за взрыва вдали от земли (или других препятствий) зависит от трехмерного пространства в декартовых координатах, однако давление преимущественно перемещается от центра, так что в сферических координатах проблема становится почти одномерной. (поскольку волна давления в основном зависит только от времени и расстояния от центра). Другой пример - (медленная) жидкость в прямой круглой трубе: в декартовых координатах нужно решить (сложную) двумерную краевую задачу, включающую уравнение в частных производных, но в цилиндрических координатах задача становится одномерной собыкновенное дифференциальное уравнение вместо уравнения в частных производных .

Причина предпочтения ортогональных координат вместо общих криволинейных координат заключается в простоте: многие сложности возникают, когда координаты не ортогональны. Например, в ортогональных координатах многие проблемы могут быть решены путем разделения переменных . Разделение переменных - это математический метод, который преобразует сложную d -мерную задачу в d -одномерные задачи, которые могут быть решены в терминах известных функций. Многие уравнения можно свести к уравнению Лапласа или уравнению Гельмгольца . Уравнение Лапласа разделяется в 13 ортогональных системах координат (14 из них перечислены в таблице ниже).за исключением тороидального ), а уравнение Гельмгольца разделимо в 11 ортогональных системах координат. [1] [2]

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

где d - размер и масштабные функции (или масштабные коэффициенты)

равны квадратным корням из диагональных компонентов метрического тензора или длинам локальных базисных векторов, описанных ниже. Эти масштабные функции h i используются для вычисления дифференциальных операторов в новых координатах, например градиента , лапласиана , дивергенции и ротора .

Простым методом создания ортогональных систем координат в двух измерениях является конформное отображение стандартной двумерной сетки декартовых координат ( x , y ) . Комплексное число , г = х + гу может быть образован из реальных координат х и у , где я представляю собой мнимую единицу . Любая голоморфная функция w = f ( z ) с ненулевой комплексной производной будет давать конформное отображение; если результирующее комплексное число записывается как w = u + iv , то кривые константы u и v пересекаются под прямым углом, как это делали исходные линии константы x и y .

Ортогональные координаты в трех и более высоких измерениях могут быть сгенерированы из ортогональной двумерной системы координат либо путем проецирования ее в новое измерение ( цилиндрические координаты ), либо путем вращения двумерной системы вокруг одной из ее осей симметрии. Однако существуют и другие ортогональные системы координат в трех измерениях, которые нельзя получить путем проецирования или вращения двумерной системы, например, эллипсоидальные координаты . Более общие ортогональные координаты можно получить, начав с некоторых необходимых координатных поверхностей и рассматривая их ортогональные траектории .

Базисные векторы [ править ]

Ковариантный базис [ править ]

В декартовой системе координат , то базисные векторы являются фиксированными (константа). В более общем случае криволинейных координат точка в пространстве определяется координатами, и в каждой такой точке ограничен набор базисных векторов, которые обычно не являются постоянными: в этом суть криволинейных координат в целом и очень важное понятие. Что отличает ортогональные координаты, так это то, что, хотя базисные векторы меняются, они всегда ортогональны друг другу. Другими словами,

Эти базисные векторы по определению являются касательными векторами кривых, полученных изменением одной координаты при сохранении других фиксированных:

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

где r - некоторая точка, а q i - координата, для которой извлекается базисный вектор. Другими словами, кривая получается фиксацией всех координат, кроме одной; нефиксированная координата изменяется, как в параметрической кривой , а производная кривой по параметру (изменяющаяся координата) является базисным вектором для этой координаты.

Обратите внимание, что векторы не обязательно имеют одинаковую длину. Полезные функции, известные как масштабные коэффициенты координат, - это просто длины базисных векторов (см. Таблицу ниже). Масштабные коэффициенты иногда называют коэффициентами Ламе, но этой терминологии лучше избегать, поскольку некоторые более известные коэффициенты линейной эластичности носят такое же название.

Эти нормализованные базисные векторы нотированы с шляпой и полученное деления на длину:

Векторное поле может быть определено с помощью его компонентов относительно базисных векторов или нормированных базисных векторов, и один должен быть уверен этом случае имеется в виду. Компоненты нормализованного базиса наиболее часто используются в приложениях для наглядности величин (например, можно иметь дело с тангенциальной скоростью, а не с тангенциальной скоростью, умноженной на масштабный коэффициент); в выводах нормализованный базис встречается реже, поскольку он более сложен.

Контравариантная основа [ править ]

Показанные выше базисные векторы являются ковариантными базисными векторами (потому что они «изменяются» вместе с векторами). В случае ортогональных координат контравариантные базисные векторы легко найти, поскольку они будут иметь то же направление, что и ковариантные векторы, но имеют обратную длину (по этой причине два набора базисных векторов считаются обратными по отношению к каждому из них). Другой):

это следует из того, что, по определению , используется дельта Кронекера . Обратите внимание, что:

Теперь мы сталкиваемся с тремя различными базисными наборами, обычно используемыми для описания векторов в ортогональных координатах: ковариантный базис e i , контравариантный базис e i и нормированный базис ê i . Хотя вектор является объективной величиной , то есть его идентичность не зависит от какой-либо системы координат, компоненты вектора зависят от того, в какой основе представлен вектор.

Чтобы избежать путаницы, компоненты вектора x относительно базиса e i представлены как x i , а компоненты относительно базиса e i представлены как x i :

Положение индексов отражает способ вычисления компонентов (верхние индексы не следует путать с возведением в степень ). Обратите внимание, что символы суммирования Σ (заглавная сигма ) и диапазон суммирования, обозначающие суммирование по всем базисным векторам ( i = 1, 2, ..., d ), часто опускаются . Компоненты связаны просто:

Нет никаких отличительных широко распространенных обозначений, используемых для компонентов вектора по отношению к нормализованному базису; в этой статье мы будем использовать индексы для компонентов вектора и заметим, что компоненты вычисляются в нормализованном базисе.

Векторная алгебра [ править ]

Сложение и отрицание векторов выполняются покомпонентно, как и в декартовых координатах, без каких-либо сложностей. Дополнительные соображения могут потребоваться для других векторных операций.

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

Точечный продукт [ править ]

Скалярное произведение в декартовых координатах ( евклидово пространство с ортонормированному базиса) просто сумма произведений компонент. В ортогональных координатах скалярное произведение двух векторов x и y принимает эту знакомую форму, когда компоненты векторов вычисляются в нормализованном базисе:

Это непосредственное следствие того факта, что нормализованный базис в какой-то момент может образовывать декартову систему координат: базис ортонормирован .

Для компонентов в ковариантном или контравариантном базисе

Это можно легко получить, выписав векторы в форме компонентов, нормализуя базисные векторы и взяв скалярное произведение. Например, в 2D:

где использован тот факт, что нормированный ковариантный и контравариантный базисы равны.

Перекрестный продукт [ править ]

Перекрестное произведение в координатах 3D декартовых является:

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

Чтобы построить векторное произведение в ортогональных координатах с ковариантными или контравариантными базами, мы снова должны просто нормализовать базисные векторы, например:

которые, написанные в развернутом виде,

Краткое обозначение для перекрестного произведения, которое упрощает обобщение на неортогональные координаты и более высокие измерения, возможно с тензором Леви-Чивиты , который будет иметь компоненты, отличные от нулей и единиц, если масштабные коэффициенты не все равны единице.

Векторное исчисление [ править ]

Дифференциация [ править ]

Глядя на бесконечно малое смещение с некоторой точки, очевидно, что

По определению градиент функции должен удовлетворять (это определение остается верным, если ƒ - любой тензор )

Отсюда следует, что оператор del должен быть:

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

Базисные векторные формулы [ править ]

Из d r и нормированных базисных векторов ê i можно построить следующее. [3] [4]

куда

- определитель Якоби , который имеет геометрическую интерпретацию деформации объема от бесконечно малого куба d x d y d z до бесконечно малого искривленного объема в ортогональных координатах.

Интеграция [ править ]

Используя линейный элемент, показанный выше, линейный интеграл вдоль пути вектора F равен:

Бесконечно малый элемент площади для поверхности, описываемой сохранением одной координаты q k постоянной, равен:

Точно так же элемент объема:

где большой символ Π (заглавная Пи ) обозначает продукт так же, как большой символ Σ обозначает суммирование. Обратите внимание, что произведение всех масштабных факторов является определителем Якоби .

Например, поверхностный интеграл вектор-функции F по q 1 = постоянной поверхности в 3D равен:

Обратите внимание, что F 1 / h 1 - это компонента F, нормальная к поверхности.

Дифференциальные операторы в трех измерениях [ править ]

Так как эти операции являются общими в применении, все векторные компоненты в этом разделе представлены относительно нормированного базиса: .

Вышеупомянутые выражения могут быть записаны в более компактной форме с использованием символа Леви-Чивиты и якобиана , предполагая суммирование по повторяющимся индексам:

Таблица ортогональных координат [ править ]

Помимо обычных декартовых координат, несколько других приведены в таблице ниже. [5] Интервальные обозначения используются для компактности в столбце координат.

См. Также [ править ]

  • Криволинейные координаты
  • Тензор
  • Векторное поле
  • Наклонные координаты

Заметки [ править ]

  1. ^ Эрик В. Вайсштейн . «Ортогональная система координат» . MathWorld . Проверено 10 июля 2008 года .
  2. ^ Морзе и Фешбах 1953 , том 1, стр. 494-523, 655-666.
  3. ^ Математический справочник формул и таблиц (3-е издание), С. Липшуц, М. Р. Шпигель, Дж. Лю, серия набросков Шуама, 2009, ISBN 978-0-07-154855-7 . 
  4. ^ Векторный анализ (2-е издание), MR Spiegel, S. Lipschutz, D. Spellman, Schaum's Outlines, McGraw Hill (США), 2009, ISBN 978-0-07-161545-7 
  5. ^ Векторный анализ (2-е издание), MR Spiegel, S. Lipschutz, D. Spellman, Schaum's Outlines, McGraw Hill (США), 2009, ISBN 978-0-07-161545-7 

Ссылки [ править ]

  • Korn GA и Korn TM. (1961) Математический справочник для ученых и инженеров , McGraw-Hill, стр. 164–182.
  • Морс и Фешбах (1953). «Методы теоретической физики. Том 1». Макгроу-Хилл. Cite journal requires |journal= (help)
  • Маргенау Х. и Мерфи GM. (1956) Математика физики и химии , 2-й. изд., Ван Ностранд, стр. 172–192.
  • Леонид П. Лебедев и Майкл Дж. Клауд (2003) Тензорный анализ , стр. 81 - 88.