babkin_selivanov (550243), страница 10
Текст из файла (страница 10)
По аналогии с выражением вектора а через компоненты и базисные математические объекты(см. (1.45)) тензор второго ранга представляется как суммадевяти слагаемых, каждое из которых является произведениемнекоторого числа (компоненты тензора) и соответствующегодиадного произведения:(а) = а^ггг} = a^r^rj = alrlrj.(1-46)В соответствии с соотношением (1.46) можно дать полноеопределение тензора произвольного ранга: тензор есть математический объект, инвариантный относительно преобразования системы координат, представляющий собой сумму произведений некоторых чисел — компонент тензора— и базисных математических объектов] инвариантностьтензора обеспечивается взаимно обратным характером преобразования компонент и базисных математических объектов при переходе от одной системы координат к другой.Рассмотрим возможные формы представления тензоравторого ранга (1.46).
Тензор второго ранга может задаватьсясвоими компонентами aZJ с использованием в качестве базисных математических объектов диадных произведений векторов взаимного базиса rlrJ. Чтобы при переходе от одной системы координат к другой тензор (как математический объект)оставался неизменным, а именно(а) = ацг'г3 = (а,у)'(г*) (т3^ ,при условии, что векторы взаимного базиса преобразуются поконтрвариантному закону (1.43), т.е.(1-47)64компоненты a{j тензора должны преобразовываться по ковариантному закону(1-48)(сравним с формулой (1.44) преобразования ковариантныхкомпонент вектора). Действительно, из формул (1.47) и (1.48)следует, чтоТак как символ Кронекера принимает значения6 ак1 при к = о,О при к а,окончательно получаем(av) (r‘) (rJ) = akirkrl - atJrlr}(а),что говорит об инвариантности тензора относительно преобразования системы координат.
Компоненты аг] тензора,преобразуемые при переходе от одной системы координатк другой по ковариантному закону (1.48), носят названиековариантных компонент тензора второго ранга (формальный признак — индексы внизу). Ковариантный закон (1.48)преобразования ковариантных компонент atj тензора второгоранга является обратным по отношению к контрвариантному закону преобразования базисных математических объектов (1.47), что и обеспечивает инвариантность тензора относительно преобразования системы координат.3 - 971265Тензор второго ранга может задаваться и своими контрвариантными компонентами аг] при использовании в качестве базисных математических объектов диадных произведений векторов основного базисаКомпоненты а1] тензораносят название контрвариантных компонент тензора (формальный признак — индексы вверху) в связи с тем, что дляобеспечения инвариантности математического объекта(а) = a^riTj = (а*}) (14) (г,)при условии преобразования векторов основного базиса поковариантному закону( Vдха/дх$они должны преобразовываться по обратному — контрвариантному — законуakl ду' dyjдхк дх{Наконец, третья возможная форма представления тензоравторого ранга определяется заданием смешанных компонента* тензора при использовании в качестве базисных математических объектов диадных произведений векторов основного ивзаимного базисов г* ту:(а) = afr’ry = (а0 (г‘) (г,) .В этом случае при переходе от одной системы координат кдругой базисный вектор гг преобразуется по контрвариантному закону, а базисный вектор ту — по ковариантному закону:( Л'а дУг( Vдх/3Для обеспечения инвариантности математического объекта(а) относительно преобразования системы координат необходимо преобразование компонент aj по смешанному закону:( j\' _ I дхк ду](1.50)Ы ~ak~dtfdJ-661.3.4.
Ряд тензоровСформулируем понятие ранга тензора и построим рядтензоров (от простого тензора к сложному).Ранг тензора — это число, определяющее количествокомпонент тензора и равное количеству индексов у компонент.Число компонент тензора N связано с рангом тензора г какN = З г.Тензор нулевого ранга (г = 0) является простейшим тензором с числом компонент N = 1. Это скалярная величина,характеризуемая только одним числовым значением.Тензор первого ранга (г = 1) — более сложный тензор счислом компонент N = 3. Это вектор а = аггг (или а = аггг),характеризуемый тремя числами — компонентами aj, 02, <*з(или а1, а2, а3).
Число индексов у компонент аг соответствуетрангу тензора и равно единице.Тензор второго ранга (г = 2) имеет девять компонент(JV =. 9). Он может быть представлен либо через свои ковариантные компоненты atj, либо через свои контрвариантные компоненты а%3, либо через свои смешанные компонентыal (см. (1.46)). Каждому тензору второго ранга можно поставить в соответствие матрицы размером 3.x 3. Совокупность ковариантных, контрвариантных и смешанных компонент образует соответствующие матрицы:<*12<*22<*32<*13<*23 II;<*33 J J67Тензор третьего ранга (г = 3) имеет число компонентN = 27. Число индексов у компонент а^^ соответствует рангу тензора.
Тензор третьего ранга может быть выражен черезсвои ковариантные компоненты а^^, контрвариантные компоненты аг^к, смешанные компоненты различного вида ак^ a?kи т.д. В качестве базисных математических объектов в данном случае выступают триадные произведения базисных векторовтгг]тк и т.д., представляющие собой результатнеопределенного умножения трех векторов основного и взаимного базисов. Тензор третьего ранга имеет следующую структурную запись:(а) = а^кггг}гк = аг}кг{г,гк = ак^т^тк = ...В механике сплошных сред наиболее часто употребляются тензоры нулевого ранга (скаляры), тензоры первого ранга (векторы) и тензоры второго ранга. Примером тензоравторого ранга является фундаментальный метрический тензор, компоненты которого — метрические коэффициентысистемы координат:($) = 9ijr'r3 = 9t}rtrj = g^r'rj.При этом метрические коэффициенты gij основного базиса системы координат являются ковариантными компонентами метрического тензора, метрические коэффициенты дг} взаимногобазиса представляют его контрвариантные компоненты, метрические коэффициенты смешанного типа gj соответствуют смешанным компонентам тензора (д\ Покажем, например, что совокупность девяти метрических коэффициентов gijосновного базиса дает ковариантные компоненты тензора второго ранга.
Ранее было доказано, что векторы основного базиса при переходе от одной системы координат к другой преобразуются по ковариантному закону (1.40):68Соответственно метрические коэффициенты основного базиса,определяемые как скалярные произведения векторов основногобазиса, преобразуются по законудхкдх1дхк дх1Тк ~ду* Т1ду>~ 9kl ~ду* дуйСопоставление полученной формулы с формулой (1.48) показывает, что метрические коэффициенты д^ основного базисапри переходе от одной системы координат к другой преобразуются по закону преобразования ковариантных компонент тензора второго ранга. Следовательно, совокупность девяти метрических коэффициентов дг] действительно определяет ковариантные компоненты некоторого тензора второго ранга —фундаментального метрического тензора.В общем случае тензор второго ранга (а) = а^ггг} характеризуется девятью различными компонентами аг} (или аг} уили aj).
В двух важных частных случаях количество различных компонент, которыми определяется тензор второго ранга,менее девяти, так как некоторые компоненты взаимосвязанымежду собой. Это случаи симметричных и антисимметрич ных тензоров.Симметричным называется тензор, значения компонент которого не изменяются при перестановке одноименных индексов: a{j = а]г. Под одноименными следует пониматьлибо только нижние индексы, либо только верхние. В последнем случае условие симметричности тензора записывается ввиде аг} = aJl.
Очевидно, что симметричному тензору второго ранга соответствует симметричная относительно главнойдиагонали матрица)) , среди элементов которой не более шести различных компонент:<*12<*22<*23«13 '«23<*33 >>Примером симметричного тензора второго ранга являетсяфундаментальный метрический тензор, для которого выполняется условие симметричности g4 = gji.69Антисимметричным называется тензор, значения компонент которого изменяются на противоположные при перестановке одноименных индексов: аг] = —ац или= —а3'.Компоненты антисимметричного тензора с одинаковыми индексами равны нулю, а элементы соответствующей тензору матрицы, симметричные относительно главной диагонали,различаются знаками:«12«13«12О“«23?|)Антисимметричный тензор второго ранга в общем случае характеризуется только тремя отличными от нуля числами: ai2>«13, «23- Поэтому он иногда называется псевдовектором, поскольку вектор также характеризуется только тремя компонентами.1.3.5. Элементы тензорной алгебрыТензорная алгебра является разделом тензорного исчисления, в котором определяются правила проведения алгебраических операций с тензорами: сложение и вычитание тензоров;умножение тензора на скаляр; операции жонглирования индексами; свертывание тензора; скалярное и векторное умножение тензоров.Сложение и вычитание тензоров.
Операция сложения тензоров выполняется при следующих ограничениях: ранги суммируемых тензоров должны быть равными; структура суммируемых тензоров должна быть одинаковой. Суммойдвух тензоров(а) = а^т'т3 = al3TiTj = a\rlTjи(Ь) = bijrlr} = b^riVj = birlrj70является тензор того же ранга и той же структуры(с) = (а) + (6) = ctjrlr3 = c^rirj = cir'rj,компоненты которого равны сумме соответствующих компонент исходных тензоров (или только ковариантных, или только контрвариантных, или только смешанных):с,; = at} + bij,с'3 = а*7 + b*3,с3 = a3 + bj.Суммирование компонент разных типов, например аг} + Ьи, недопускается.Вычитание тензоров определяется как действие, обратное сложению, и выполняется при аналогичных ограничениях. Разностью двух тензоров (а) и (Ь) является тензор(с) = (а) - (Ь) того же ранга и той же структуры, компоненты которого равны разности соответствующих компоненттензора уменьшаемого и тензора вычитаемого:с,у = а,у - Ь,,,c'3 = a'3-b'3,cj^aj-bj.Умножение тензора на скаляр.
Эта операция выполняется без каких-либо ограничений. Результатом умноженияпроизвольного тензора(a) = aijr'r3 - alJriVj = atr'rjна скалярную величину а является тензор (с) = a(a) тогоже ранга и той же структуры, что и исходный тензор (а),компоненты которого равны произведению данной скалярнойвеличины и компонент исходного тензора:Cij - aaij,сгз = аа13,с? = аа\.Операции жонглирования индексами. Эти операции позволяют осуществить переход от одного типа компонент тензора (например, от контрвариантных) к компонентамдругого типа (например, к ковариантным). Необходимость71этих операций покажем на следующем примере.