Векторный и тензорный анализ

Это было очень давно, когда я учился классе в десятом. Среди довольно скудного в научном плане фонда районной библиотеки мне попалась книга - Угаров В. А. «Специальная теория относительности». Эта тема интересовала меня в то время, но информации школьных учебников и справочников было явно недостаточно.

Однако, книгу эту я читать не смог, по той причине, что большинство уравнений представлялись там в виде тензорных соотношений. Позже, в университете, программа подготовки по моей специальности не предусматривала изучение тензорного исчисления, хотя малопонятный термин «тензор» всплывал довольно часто в некоторых специальных курсах. Например, было жутко непонятно, почему матрица, содержащая моменты инерции твердого тела гордо именуется тензором инерции.

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

1. Вектор на плоскости. Контравариантные, ковариантные координаты и связь между ними

Рассмотрим вектор, и без потери общности наших рассуждений, рассмотрим вектор заданный на плоскости. Как известно из курса ещё школьной геометрии, любой вектор можно задать на плоскости с помощью двух неколлинеарных векторов

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

Исходя из чертежа длины отрезков и равны

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

С другой стороны, выразим длины этих проекций через длины базисных векторов таким образом

Где и - ковариантные координаты вектора .

Сравниваем (3), (5) и (4), (6)

Умножим (7) на , а (8)
на и преобразуем их
Введем матрицу
тогда (9) и (10) можно выразить следующим соотношением
Выражение (12) дает связь между ковариантными контрaвариантными координатами вектора, определяемую лишь видом матрицы , зависящей от длин взаимного расположения базисных векторов. Пока никак не будем интерпретировать полученный результат, а просто запомним его.

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

а в ковариантной форме - матрицей-строкой

2. Скалярное произведение векторов

Перейдем к пространству более высокой размерности и рассмотрим два вектора
где базисные векторы , как и выше, ненулевые
некомпланарные векторы. Перемножим векторы скалярно.
В последнем выражении аккуратно раскроем скобки
и снова введем матрицу
и тогда скалярное произведение можно свернуть весьма компактным образом
Первое, что можно заметить, при уменьшении числа измерений пространства мы перейдем от (14) к (11) а выражение
(15) будет работать и давать склярное произведение векторов, но уже на плоскости. То есть мы получили некую обобщающую форму записи операции скалярного умножения, не зависящую ни от размерности пространства, ни от рассматриваемого базиса, все свойства которого обраны в матрице . Внимательно взглянув на (15) мы поймем ещё одну вещь
что есть ничто иное как ковариантные координаты вектора . То есть, (15) можно переписать
Но и это не предел упрощения

3. Правило Эйнштейна

Хитный и проницательный Альберт Эйнштейн придумал правило суммирования, в выражениях подобных (17), избавляющее математика от надоедливой и избыточной . В выражениях (16) и (17) можно опустить знак суммы, подразумевая суммирование по повторяющемуся индексу, который называют «немым». То есть, (16) переписываем так
здесь j - индекс, по которому происходит суммирование. По правилу, этот индекс должен чередовать свое положение - если у первого множителя он внизу, то у второго должен быть вверху и наоборот. Выражение (17) будет выглядеть так
Ну а (15) придет к виду
А теперь мы посмотрим, для чего надо было городить такой огород.

4. Анализ на простых примерах

Допустим, что наш базис - декартов, то есть ортонормированый. Тогда, матрица становится единичной
Пусть вектор задан в таком базисе. Квадрат длины вектора, как известно, это скалярное произведение этого вектора самого на себя, то есть
И мы получили… квадрат длины вектора, заданного в прямоугольной системе координат!

Ещё пример, дабы не загроможнать который, будем работать в двух измерениях. Пусть система координат подобна той, что изображена на рисунке из параграфа 1, и в ней задан вектор своими контравариантными rоординатами. Тогда

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

Что получается? Работая в разных системах координат, мы использовали одну единственную формулу (20) для вычисления скалярного произведения. И её вид совершенно не зависит ни от базиса, ни от числе измерений пространства, в котором мы работаем. Базисом определяются лишь конкретные значения компонент матрицы .

Так вот, уравнение (20) выражает скалярное произведение двух векторов в тензорной, то есть независимой от выбранного базиса форме .

Матрица задает так называемый метрический тензор . Её вид
определяет каким образом в выбранных координатах вычисляется расстояние между двумя точками.

Но почему мы называем эту матрицу тензором? Следует понимать, что математическая форма, в данном случае квадратная матрица, содержащая набор компонент, это ещё не тензор. Понятие тензора несколько шире, и прежде чем мы скажем, что такое тензор, мы рассмотрим ещё один вопрос.

5. Преобразование метрического тензора при смене базиса

Перепишем соотношение (20) в матричной форме, так нам будет легче оперировать им
где c - скалярное произведение векторов. Верхний индекс несет смысл системы координат, в которой заданы векторы и определен метрический тензор. Скажем это система координат СК0. Преобразование вектора к некоторой другой системе
координат СК1 описывается матрицей преобразования , то есть
Подставим (22) в (21)

В последнем выражении

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

Теперь, используя правило Эйнштейна, перепишем (22) и (23) в тензорной форме

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

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

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

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

То есть

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

Заключение и выводы

Что мы увидели в предыдущем параграфе? Если свойства пространства, в котором заданы векторы известны, то для нас не составляет труда выполнить, строго формальным образом, действия над векторами, используя соотношения, вид которых от формы пространства независим. Причем соотношения (20), (24) и (25) дают нам и алгоритм вычисления и способ преобразования компонент выражений, используемых алгоритмом. В этом - мощь и сила тензорного подхода.

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

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

Но это ещё не всё. Мы не поговорили о свойствах метрического тензора, не рассмотрели векторное произведение и тензор Леви-Чевиты. Не поговорили о ранге тензоров и операциях с ними, не разобрались до конца с правилами индексации компонент тензоров и о многом другом. Об этом будет написано несколько позднее, а пока - спасибо всем моим читателям за внимание. Добавить метки

Все книги можно скачать бесплатно и без регистрации.

NEW. П.К. Рашевский. Риманова геометрия и тензорный анализ. 3-е изд. 1967 год. 664 стр. djvu. 5.7 Mб.
В настоящей монографии в развернутом изложении и со всесторонним освещением предмета автором представлен материал, включающий самое основное и важнейшее в области тензорного анализа и римановой геометрии.
Отличительной чертой книги являются выходы из области чистого тензорного анализа и римановой геометрии в механику и физику (особое внимание в этом плане уделено теории относительности). Рассматриваются псевдоевклидовы и псевдоримановы пространства, пространства афинной связности. На ряде примеров даны основные идеи теории геометрических объектов, в том числе теория спиноров в четырехмерном пространстве. Изложение дополнено также рядом частных вопросов фундаментального значения (теория кривых и гиперповерхностей в римановом пространстве и др.).
Книга предназначена специалистам в области тензорного анализа и римановой геометрии, инженерам, может также служить учебником для студентов вузов.
По своему характеру эта книга гораздо ближе к учебнику, чем к монографии, предназначенной для специалистов. Материал вполне доступен студенту III курса университета.

Скачать

NEW. В.И. Филиппенко. ЭЛЕМЕНТЫ ТЕОРИИ ПОЛЯ. 2009 год. 27 стр. PDF. 333 Кб.
В пособии рассмотрены основные понятия теории поля: градиент, дивергенция, ротор, циркуляция. Даны приложения теорем Гаусса – Остроградского и Стокса. Указаны условия потенциальности и соленоидальности векторных полей. Приведены детальные решения типовых примеров на вычисление числовых характеристик векторного поля. Подобрано достаточное количество примеров для самостоятельного решения студентами.
Пособие предназначено для студентов-заочников ЮРГУЭС.
Рекомендую прочитать при изучении элктричесво м магнетизм по общей физике.

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Скачать

Акивис М. А., Гольдберг В. В. Тензорное исчисление: Учеб. пособие. 3-е изд., перераб. 2003 год. 304 стр. djvu. 2.0 Мб.
Излагаются основы тензорного исчисления и некоторые его приложения к геометрии, механике, физике. В качестве приложений строится общая теория поверхностей второго порядка, изучаются тензоры инерции, напряжений, деформации и рассматриваются некоторые вопросы кристаллофизики. Последняя глава знакомит с элементами тензорного анализа.
Для студентов высших технических учебных заведений.

Скачать

Ю.А. Аминов. Геометрия векторного поля. 1990 год. 215 стр. djvu. 5.1 Мб.
Излагаются результаты по геометрии векторных полей в трехмерном евклидовом пространстве, начиная с работ Фосса, Синцова, Лилиенталя и др. Рассматриваются векторные поля в гс-мерном пространстве, системы уравнений Пфаффа, внешние формы. Кратко излагаются некоторые топологические понятия, формулируется теорема де Рама. Вводится инвариант Годбийона - Вея слоения, доказывается формула Уайтхеда. .
Для студентов, аспирантов и научных работников по специальности «геометрия и топология». а).

. . . . Скачать

Анчиков А. М. Основы векторного и тензоррного анализа. 1988 год. 140 стр. djv. 1.5 Мб.
Для студентов физических и радиофизических сспециальностей университететов и втузов, желающих выучить курс самостоятельно.