Преобразования систем координат
Линейные невырожденные преобразования координат
Пусть в пространстве заданы две аффинные системы координат, т.е. каждой точке поставлены в соответствие два упорядоченных набора действительных чисел (старые координаты) и (новые координаты). Выражения старых координат через новые имеют вид линейных невырожденных преобразований координат:
 (2.27)
где — невырожденная матрица (матрица перехода от базиса старой системы координат к базису новой системы координат ), a — вектор переноса начала координат; и — координатные столбцы радиус-векторов одной и той же точки и в соответствующих системах координат. Координаты вектора , или , в старом базисе выражаются через координаты этого же вектора в новом базисе по формуле (см. Преобразование координат вектора при замене базиса):
 (2.28)
Аналогично случаю аффинного преобразования координат "обычного" пространства определитель матрицы равен отношению n-мерных ориентированных объемов параллелепипедов, построенных на базисных векторах новой и старой систем координат, а модуль определителя равен коэффициенту искажения объемов при аффинном преобразовании (см. свойства 3 и 4 аффинных преобразований пространства). Коэффициент искажения объема при аффинном преобразовании координат одинаков для всех точек пространства.
Нелинейные дифференцируемые преобразования координат
Пусть в пространстве заданы две системы координат, т.е. каждой точке поставлены в соответствие два упорядоченных набора действительных чисел (старые координаты) и (новые координаты), причем известны выражения старых координат через новые:
 (2.29)
где — непрерывно дифференцируемые функции; — столбец заданных функций; и — координатные столбцы радиус-векторов точки в старой и новой системах координат.
Обозначим через матрицу частных производных первого порядка заданных функций (матрицу Якоби преобразования (2.29)). Определитель матрицы Якоби называется якобианом преобразования координат.
Точки, где якобиан преобразования равен нулю или не существует, называются особыми, а остальные точки называются неособыми.
По теореме об обратном преобразовании: если задано преобразование координат (2.29): , выражающее старые координаты произвольной точки через новые , причем для некоторой фиксированной точки , и якобиан преобразования в этой точке (при ) отличен от нуля, то в достаточно малой окрестности точки можно выразить новые координаты через старые:
 (2.30)
причем . Матрица Якоби обратного преобразования будет обратной для матрицы .
Поясним это утверждение. Пусть — координатные столбцы радиус- векторов точки в старой и новой системах координат, причем якобиан преобразования в этой точке отличен от нуля. Разложим функцию в ряд Тейлора в окрестности точки , оставляя члены только первого порядка. Получим выражение приращения старых координат через приращение новых координат:
 (2.31)
или в координатной форме
Формула (2.31) представляет собой локальное преобразование координат в окрестности точки с учетом членов только первого порядка. Сравнивая (2.31) с формулами (2.28), делаем вывод: в окрестности точки старые локальные координаты и новые локальные координаты вектора преобразуются так же, как при аффинном преобразовании (2.28) с матрицей матрицей Якоби, вычисленной в точке (при ).
Другими словами, преобразование координат (2.29) в окрестности неособой точки можно рассматривать как переход от одной аффинной системы координат к другой, т.е. локальное преобразование координат является невырожденным линейным преобразованием координат (2.28). Аффинное преобразование координат, как известно, обратимо и матрица обратного перехода является обратной для (см. свойства матрицы перехода от одного базиса к другому). При этом модуль якобиана равен коэффициенту искажения объемов (в окрестности рассматриваемой точки ) . В отличие от аффинных преобразований коэффициент искажения объемов при нелинейных преобразованиях, вообще говоря, меняется в зависимости от точки .
 Пример 2.15. На плоскости в прямоугольной системе координат отмечена точка и введена система координат, в которой положение произвольной точки задается двумя углами . Оба угла отсчитываются от оси абсцисс в положительном направлении (против движения часовой стрелки) до вектора и вектора соответственно (рис.2.39,а), причем диапазоны изменения углов выбираются как в полярной системе координат: и (допустимые значения углов изображены на рис.2.39,б (два заштрихованных треугольника), где учтены очевидные неравенства для точек, принадлежащих I и II четвертям, и для точек в III и IV четвертях). Требуется:
а) вывести формулы (2.29) преобразования координат; б) вывести формулы (2.31) локального преобразования координат; в) указать особые точки полученного преобразования координат.
Решение.
а) Найдем полярный радиус точки . По теореме синусов для треугольника :
так как (внешний угол треугольника равен сумме двух внутренних углов, не смежных с ним) и, следовательно, . Теперь, используя связь (2.17) прямоугольных и полярных координат, получаем
б) Найдем матрицу Якоби
Следовательно, локальное преобразование координат (2.31) в окрестности точки имеет вид
в) Находим якобиан преобразования:
Он равен нулю или не имеет смысла для точек, принадлежащих оси абсцисс, т.е. при , и . Остальные точки плоскости являются неособыми.
Переход к полярной системе координат
Пусть на плоскости заданы прямоугольная система координат и соответствующая ей полярная система координат , для которых
 (2,32)
то есть в (2.29) .
Найдем матрицу Якоби . Якобиан преобразования отличен от нуля всюду , за исключением начала координат , где . Следовательно, точка — единственная особая точка преобразования (2.32).
Вычислим коэффициент искажения площади в окрестности произвольной неособой точки . Пусть точка имеет прямоугольные координаты и полярные координаты , причем . В окрестности точки введем две аффинные системы координат и (см. рис.2.40,а), связанные локальным преобразованием координат (2.31):
 (2.33)
Аффинное преобразование (2.33), описываемое матрицей Якоби, можно представить в виде композиции двух преобразований: поворота на угол и сжатия к оси с коэффициентом (см. разд.2.2.4):
Базисные векторы системы координат совпадают со стандартным базисом прямоугольной системы координат , а базисные векторы системы координат связаны с ними соотношениями
Ортогональность базисных векторов при такой композиции преобразований естественно сохраняется: . Поэтому квадрат, построенный на базисных векторах (изображен на рис.2.40,а штриховой линией), единичной площади преобразуется в прямоугольник (изображен на рис.2.40,а сплошной линией) площади . Таким образом, в окрестности неособой точки коэффициент искажения площади равен модулю якобиана преобразования (2.32):
Коэффициент искажения площади равен и применяется при вычислении двойных интегралов.
Сравним теперь полное искажение площади в результате преобразования (2.32) и при локальным преобразовании (2.33). Рассмотрим множество точек, полярные координаты которых удовлетворяют условиям
Это множество представляет собой криволинейный четырехугольник (заштрихованный на рис.2.40,б), ограниченный дугами окружностей , и отрезками лучей , . Найдем площадь 5 этой фигуры:
В аффинной системе координат множество точек, координаты которых удовлетворяют условиям
представляет собой прямоугольник (изображен сплошными линиями на рис.2.36,6) площади . Искомая разность площадей
Так как относительная ошибка
стремится к нулю при , то при вычислении искажения площадей можно использовать локальное преобразование координат (2.33) вместо преобразования (2.32).
Переход к цилиндрической системе координат
Пусть в пространстве заданы прямоугольная система координат и соответствующая ей цилиндрическая система координат) , для которых
 (2.34)
Найдем матрицу Якоби . Якобиан преобразования отличен от нуля всюду , за исключением оси , где . Следовательно, все точки оси аппликат (и только они) являются особыми точками преобразования (2.34). Коэффициент искажения объема равен и применяется при вычислении тройных интегралов.
Переход к сферической системе координат
Пусть в пространстве заданы прямоугольная система координат и соответствующая ей сферическая система координат , для которых
 (2.35)
Найдем матрицу Якоби
Вычислим якобиан преобразования
При и при или якобиан отличен от нуля. Следовательно, все точки оси аппликат (и только они) являются особыми точками преобразования (2.35). Коэффициент искажения объема равен и применяется при вычислении тройных интегралов.
Если заметили ошибку, опечатку или есть предложения, напишите в комментариях.
|