- •7. Тензорный анализ
- •7.1. Аффинное пространство
- •7.2. Декартовы системы координат в аффинном пространстве
- •7.3. Криволинейные системы координат в аффинном пространстве
- •7.4. Поля в аффинном пространстве. Локальный базис
- •7.5. Аффинное евклидово пространство
- •7.6. Криволинейные ортогональные системы координат. Физические компоненты тензора
- •7.7. Ковариантная производная векторного поля. Свойства символов Кристоффеля
- •7.8. Ковариантное дифференцирование тензорного поля
- •7.9. Дифференциальные операторы первого порядка
- •7.10. Дифференциальные операторы второго порядка
- •7.11. Тензор Римана-Кристоффеля
- •7.12. Интегральные теоремы
7.3. Криволинейные системы координат в аффинном пространстве
В аффинном пространстве могут быть определены системы координат более общего типа, чем декартовы. Чтобы отчетливее понять различие тех и других систем координат и, не отвлекаясь на второстепенные детали, исследовать групповые свойства введенных, мы привлечем к рассмотрению систему намного более общую, чем аффинное пространство, — элементарное многообразие.
Элементарное многообразие M есть некоторое множество, для которого существует взаимно однозначное соответствие с элементами каждого из открытых множеств (рис. 7.1) с точностью до допустимого преобразования элементов , любой пары множеств
, (7.5)
где допустимость функций (7.5) подразумевает их непрерывную дифференцируемость в области их определения
, (7.6)
и отличие от нуля якобиана преобразования в этой области
, . (7.7)
Рис. 7.1. Связь
множеств
, (7.8)
где , условия (7.6) и (7.7) гарантируют существование обратного преобразования
(7.9)
в области , являющегося непрерывно дифференцируемым и имеющего отличный от нуля якобиан в этой области. Подставив (7.9) в (7.5), получим
. (7.10)
Поскольку функции (7.9) и (7.5) — непрерывно дифференцируемы, то и (7.10) — также непрерывно дифференцируемые функции
и
, ,
то есть преобразование (7.10) — допустимое. Тождественное преобразование , очевидно, также допустимо. Несложно проверить и справедливость ассоциативного закона для трех последовательных допустимых преобразований. Следовательно, допустимые преобразования элементов M образуют группу.
Вернемся к аффинному пространству. Зафиксируем произвольную декартову систему координат в . Рассмотрим тройку функций, осуществляющих однозначное отображение точек области M Í , представленных декартовыми координатами , на точки области D Í
, (7.11)
удовлетворяющих условиям гомеоморфности, то есть непрерывной дифференцируемости и отличия якобиана преобразования от нуля. Набор функций (7.11) задает так называемую криволинейную систему координат в M Í . Последняя делает возможным представить любую точку MÎ криволинейными координатами . Вслед за введением одной криволинейной системы координат на M Í мы можем ввести и другие, связанные с первой допустимыми преобразованиями. Поэтому рассматриваемая область аффинного пространства вместе с криволинейными системами координат будет представлять собой по крайней мере элементарное многообразие, а преобразования криволинейных систем координат — образовывать группу по доказанному ранее. Групповые свойства множества всех криволинейных систем координат на области аффинного пространства делают эти системы равноправными.
Итак, более общее определение системы координат на открытом множестве M Í подразумевает всякое гомеоморфное отображение этого множества в декартово трехмерное пространство . Декартова система координат является частным случаем системы координат в аффинном пространстве. Важность декартовых систем координат заключается в том, что все их множество можно ввести только в аффинном пространстве и нельзя ввести на элементарном многообразии*. Невозможность введения декартовой системы координат в последнем не позволяет определить понятия прямой и плоскости, поэтому (7.5) и называют криволинейными координатами на многообразии M.
Выясним геометрический смысл криволинейных координат. Рассмотрим уравнение
(7.12)
при фиксированном i. Это уравнение определяет поверхность в . Изменение параметра порождает семейство непересекающихся поверхностей, так как их пересечение означало бы нарушение гомеоморфности отображения (7.11). Говорят, что (7.12) при Î задает семейство координатных поверхностей. Взяв другой индекс iÎ{1,2,3}, получаем согласно (7.12) другое семейство координатных поверхностей. Каждая пара координатных поверхностей разных семейств, пересекаясь, образует координатную линию данной системы координат. Уравнение координатной линии (например, j = 2), проходящей через точку M с координатами имеет вид
(7.13)
или, натянутое на реперные векторы,
. (7.13¢)
На рис. 7.2 показаны координатные поверхности и координатные линии, проходящие через точку MÎ .
Рис. 7.2. Координатные линии, проходящие через точку
Рассмотрим примеры систем координат в .
1. Цилиндрическая система координат в положительном октанте. Рассмотрим набор функций , заданных в положительном октанте É M = . Предлагается проверить, что данные функции задают систему координат в рассматриваемом подмножестве . Область изменения криволинейных координат ´ ´ .
Если декартова система координат ортонормированная (будет определена в п. 7.6), то записанный набор функций в M задает так называемую цилиндрическую систему координат (рис. 7.3а). В данном случае координатные поверхности представляют собой соответственно бесконечный круговой цилиндр радиуса , плоскость, параллельную образующей этого цилиндра и проходящей через его ось и точку M, и плоскость, перпендикулярную образующей цилиндра и проходящей через точку M. Координатными линиями будут окружность и пара прямых . Обратная связь координат запишется в виде .
Цилиндрической системой координат можно покрыть все за исключением оси r = 0, на которой не удовлетворяются условия допустимости (проверить).
Рис. 7.3. Цилиндрическая и сферическая системы координат
Пусть в положительном октанте задаются следующие функции: В декартовой ортонормированной системе координат записанные выражения определяют сферическую систему координат в положительном октанте (рис. 7.3б). Обратные соотношения имеют вид , а область изменения криволинейных координат ´ ´ .
Сферической системой координат можно покрыть все за исключением точки r = 0, в которой не удовлетворяются условия допустимости (проверить).
Целый класс систем координат (вообще говоря, ортогональных — см. п. 7.6) может быть введен при помощи аналитических функций комплексной переменной [12], включающий кроме уже рассмотренных цилиндрической (полярной цилиндрической) и сферической систем координат эллиптическую и биполярную цилиндрические, тороидальную системы координат. Использование тех или иных криволинейных систем координат определяется соображениями симметрии решаемой задачи.
В механике сплошной среды с целью записи закона движения деформируемой среды отождествляют координатные линии с некоторыми материальными линиями в начальный момент деформирования, а координатные линии — с их образами в текущий момент деформирования. Полагая, что пара систем координат, связанных с одними и теми же материальными частицами деформируемого сплошного тела в начальном и деформированном состоянии связаны гомеоморфным законом (7.8) (или обратным ему, (7.11)), с помощью данных законов можно ввести меры деформации малой окрестности любой материальной точки такой среды.