Изменить стиль страницы

  Коэффициенты уравнения поверхности второго порядка

Большая Советская Энциклопедия (ТЕ) i-images-161814858.png
 образуют ковариантный тензор валентности 2, а элементы
Большая Советская Энциклопедия (ТЕ) i-images-120692135.png
 матрицы линейного преобразования — тензор, 1 раз ковариантный и 1 раз контравариантный. Система трёх чисел x 1 , x2 , x3 , преобразующихся как координаты вектора x = xi ei , образует 1 раз контравариантный тензор, а система чисел, преобразующихся как скалярное произведение xi = xei , образует 1 раз ковариантный тензор. Относительно преобразования аффинных координат символ Кронекера
Большая Советская Энциклопедия (ТЕ) i-images-195046281.png
 является смешанным тензором (поэтому, в отличие от пункта 2, здесь пишут один индекс сверху, другой — снизу). Совокупность чисел gij = ei ej , где ei — векторы базиса, образует тензор, называемый ковариантным метрическим тензором. Длина любого вектора пространства   х = xiei равна
Большая Советская Энциклопедия (ТЕ) i-images-175055645.png
, а скалярное произведение двух векторов х и у равно gij xi yj . Совокупность величин gij таких, что
Большая Советская Энциклопедия (ТЕ) i-images-186749823.png
, образует тензор, который называется контравариантным метрическим тензором.

  Дословно, так же как и в трёхмерном пространстве, определяются тензоры в n -мерном пространстве. Важным примером тензоров в n -мерном пространстве являются совокупности компонент поливекторов .

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

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

  а) Сложение тензоров. Суммой двух тензоров

Большая Советская Энциклопедия (ТЕ) i-images-155007248.png
 и
Большая Советская Энциклопедия (ТЕ) i-images-122177471.png
 одинакового строения (то есть имеющих одинаковое число верхних и нижних индексов) называется тензор с компонентами

 

Большая Советская Энциклопедия (ТЕ) i-images-135603098.png

  б) Умножение тензоров. Произведением двух тензоров

Большая Советская Энциклопедия (ТЕ) i-images-133460076.png
 и
Большая Советская Энциклопедия (ТЕ) i-images-178125919.png
 (быть может различного строения) называется тензор с компонентами
Большая Советская Энциклопедия (ТЕ) i-images-126799981.png
. Произведение тензоров, вообще говоря, зависит от порядка сомножителей. Если один из тензоров имеет нулевую валентность (то есть является скалярной величиной l), то умножение его на другой тензор
Большая Советская Энциклопедия (ТЕ) i-images-191097095.png
 сводится к умножению всех компонент тензора
Большая Советская Энциклопедия (ТЕ) i-images-115045270.png
 на число l.

  в) Свёртывание тензора. Результатом свёртывания тензора

Большая Советская Энциклопедия (ТЕ) i-images-192089472.png
 по индексам а и d (верхнему и нижнему) называется тензор
Большая Советская Энциклопедия (ТЕ) i-images-119505497.png
, компоненты которого равны
Большая Советская Энциклопедия (ТЕ) i-images-169100367.png
. (здесь производится суммирование по индексу i). Например, след матрицы
Большая Советская Энциклопедия (ТЕ) i-images-105961805.png
 является результатом свёртывания её по индексам i и j , бискалярное произведение
Большая Советская Энциклопедия (ТЕ) i-images-113479651.png
 тензоров
Большая Советская Энциклопедия (ТЕ) i-images-156366674.png
 и
Большая Советская Энциклопедия (ТЕ) i-images-198791535.png
. равно результату свёртывания их произведения по всем индексам. При полном свёртывании тензора (по всем индексам) получается инвариант.

  г) Перестановка индексов. Пусть компоненты тензора

Большая Советская Энциклопедия (ТЕ) i-images-147702870.png
 выражаются через компоненты тензора
Большая Советская Энциклопедия (ТЕ) i-images-179082013.png
 формулой
Большая Советская Энциклопедия (ТЕ) i-images-172258784.png
. Тогда говорят, что
Большая Советская Энциклопедия (ТЕ) i-images-135867305.png
 получился из
Большая Советская Энциклопедия (ТЕ) i-images-184247237.png
 перестановкой индексов с и е. При этом переставляться могут только индексы одного и того же уровня.

  5. Тензорный анализ. В приложениях приходится обычно рассматривать не отдельные тензоры, а тензорные поля. Например, при изучении упругой деформации рассматривают тензоры деформации и напряжений во всех точках тела. Если в пространстве задана прямоугольная система координат, то тензорное поле Т (Р ) можно рассматривать как совокупность функций

Большая Советская Энциклопедия (ТЕ) i-images-158124268.png
, заданных в каждой точке Р (х1 , x2 , x3 ) области и преобразующихся при переходе от одной системы прямоугольных координат к другой по формулам вида (1). В этом случае частные производные компонент тензора по координатам
Большая Советская Энциклопедия (ТЕ) i-images-109677459.png
 образуют также тензор, валентность которого на единицу выше валентности исходного тензора. Например, при дифференцировании скалярного поля получается поле градиента, при дифференцировании поля градиента — поле симметрического тензора второй валентности:
Большая Советская Энциклопедия (ТЕ) i-images-130643104.png
 и т. д.

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

Большая Советская Энциклопедия (ТЕ) i-images-182800396.png
 радиус-вектора r в точке Р.

  Тогда скалярные произведения ei ej , будут равны значениям компонент метрического тензора gij в точке Р, с помощью которого длина бесконечно малого вектора

Большая Советская Энциклопедия (ТЕ) i-images-119425413.png
,
Большая Советская Энциклопедия (ТЕ) i-images-126854822.png
,
Большая Советская Энциклопедия (ТЕ) i-images-176273560.png
 выражается формулой
Большая Советская Энциклопедия (ТЕ) i-images-144082650.png
. Поэтому метрика в криволинейной и прямолинейной системах координат совпадает с точностью до бесконечно малых высшего порядка. Тем самым в каждой точке пространства вводится своя (локальная) система аффинных координат, относительно которой и задаются компоненты тензорного поля в этой точке. При переходе от одной системы криволинейных координат (x’,..., xn ) к другой (y’,..., yn ) локальная система координат в каждой точке меняется, причём базисные векторы преобразуются по формулам
Большая Советская Энциклопедия (ТЕ) i-images-124871865.png
. Иными словами, коэффициенты линейного преобразования
Большая Советская Энциклопедия (ТЕ) i-images-117214528.png
 будут различными в разных точках и равны
Большая Советская Энциклопедия (ТЕ) i-images-165383661.png
; точно так же матрица
Большая Советская Энциклопедия (ТЕ) i-images-187800321.png
 состоит из выражений
Большая Советская Энциклопедия (ТЕ) i-images-156769578.png
. Поэтому тензорным полем относительно криволинейных координат. называют совокупность функций
Большая Советская Энциклопедия (ТЕ) i-images-174703023.png
, заданных в каждой точке области для системы криволинейных координат и преобразующихся при переходе от одной системы криволинейных координат к другой по формулам (2), где положено
Большая Советская Энциклопедия (ТЕ) i-images-183142919.png
,
Большая Советская Энциклопедия (ТЕ) i-images-160659743.png
. В рассматриваемом случае частные производные компонент поля по координатам xi уже не образуют тензорного поля. Это объясняется тем, что при переходе от одной точки к другой изменяются не только компоненты тензора, но и локальная координатная система, к которой этот тензор относится. Поэтому при определении изменения тензора надо учитывать не только изменение компонент тензора при переходе от точки Р (xi ) к бесконечно близкой ей точке Q (x’ + dxi ), но и изменение локальной координатной системы. Иными словами, компоненты приращения тензора нельзя считать равными приращениям его компонент. Например, для векторных полей u (P), где u имеет контравариантные компоненты u; приращение векторного поля равно (с точностью до бесконечно малых высшего порядка) выражению
Большая Советская Энциклопедия (ТЕ) i-images-162793109.png
.    Здесь через
Большая Советская Энциклопедия (ТЕ) i-images-109762988.png
 обозначены так называемые символы Кристоффеля (см. Кристоффеля символ ), связанные с метрическим тензором
Большая Советская Энциклопедия (ТЕ) i-images-184570720.png
 соотношением