Тензоры. Что может быть проще?

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

Как понять, что перед вами тензор?

Вектора нам знакомы уже давно и весьма интуитивны. Как только вы видите что-то, что имеет направление, вы можете описать это вектором. Но как понять, что перед вами более сложный объект? С механическим напряжением нам пришлось повозиться. Возникает вопрос: «Есть ли более простые критерии, говорящие о том, что мы имеем дело с тензором? Чтобы так же, как и с векторами, было всё легко и сразу понятно».

Да. Понять, что перед вами тензор, очень легко! Нужно вспомнить, что он является оператором-превращателем. Он берёт один вектор и превращает его в другой, имеющий, возможно, иное направление.

Давайте обратимся к физике и посмотрим, какие в ней есть подобные величины. Если мы вспомним о векторе импульса и о том, что он равен скорости, умноженной на массу (и иногда на релятивистский коэффициент), то поймём, что масса – это просто число. Коэффициент пропорциональности, если угодно., потому как вектор импульса и скорости всегда сонаправлены.

Теперь представим себе спутник, летающий где-то в небесах. Его скорость и импульс так же всегда сонаправлены. Но у вращающегося тела помимо импульса есть ещё и момент импульса. Он равен моменту инерции, умноженному на угловую скорость вращения. Спутник мы можем вращать вокруг разных осей. А значит, момент инерции относительно этих осей будет разным. Поэтому даже если спутник вращается с одинаковой по модулю угловой скоростью в обоих направлениях, из-за разной величины момента инерции его угловой момент будет разным. В одном случае он будет больше, в другом меньше. А значит, если сложить их вместе, получится, что результирующий угловой момент не совпадает по направлению с вектором угловой скорости. Это значит, что момент инерции это не число, а такой же превращатель одних векторов в другие – тензор!

Момент инерции и проводимость – тензоры.

Признаки видны сразу!

Теперь вспомним закон Ома в векторной форме. Вместо тока I у нас там вектор плотности тока J. Вместо напряжения U у нас вектор напряжённости Е. В самых простых случаях эти два вектора пропорциональны друг другу, и коэффициент пропорциональности именуется проводимостью. Но если перед нами необычный кристалл, то пропорциональность этих векторов нарушается. Ведь в специальных анизотропных кристаллах проводимость может зависеть от направления! Тогда вектор тока и напряжённости уже не будут коллинеарны. В этом случае проводимость уже оказывается тензором.

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

Абстрагируемся и обобщаем

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

Значит, для описания тензора нам нужно три вектора. Но эти векторы должны быть упорядочены. Хорошо это или плохо? На первый взгляд это может смущать. Но если мы вспомним, что вектор можно представить тремя компонентами, которые суть просто упорядоченный же набор чисел, то сомнения отпадут. Три упорядоченных числа для вектора, три упорядоченных вектора для тензора. Что тут такого?

Глядя на эту иерархическую лестницу, возникает интересная мысль. А давайте упорядоченные числа называть тензором первого ранга, а упорядоченные векторы – тензорами второго ранга. Скаляры же тогда само собой просится назвать тензорами нолевого ранга. Ну и логично предположить, что упорядоченные наборы тензоров второго ранга можно называть тензорами уже следующего – третьего ранга.

Ещё один важный момент нужно учесть. Компоненты вектора могут меняться в зависимости от базиса, в котором он рассматривается. Компоненты тензора тоже. Значит, когда мы записываем тензор в виде массива чисел, нужно учитывать, в каком базисе мы рассматриваем этот объект.

Наконец-то! Мы изобразили тензор!

Всё это подводит нас к вполне естественному геометрическому изображению тензоров. Будем называть тензором упорядоченную тройку векторов в некотором базисе. При этом сам рассматриваемый базис тоже упоминать графически и алгебраически. Алгебраически это тоже можно записать в виде набора из упорядоченных базисных и обычных векторов.

Будем называть данные вектора индивидуальными для тензора. Какую они имеют природу? Такую же, как и любой иной объект, имеющий направление и рассмотренный нами ранее. Каждый из индивидуальных векторов тензора может иметь ковариантные и контравариантные проекции на базисные векторы. Будем такие компоненты называть соответственно ковариантными и контравариантными. Но в отличие от вектора, тензор имеет больше свободы, и его можно представить в виде компонент смешанного типа! Один раз ковариантными и один раз контравариантными. Индексов-то два. Значит, один может быть верхним, другой нижним. Могут оба индекса быть внизу или оба наверху. Что в данном случае будет означать, например, двойная ковариантность тензора? Тут всё просто! Если мы базисный вектор увеличим в размере в 2 раза, ковариантные компоненты умножатся на 4. Контравариантные компоненты при аналогичном преобразовании уменьшатся в 4 раза. Если же тензор представлен компонентами один раз ковариантными, один раз контравариантными, то множители в виде 2 и 1/2 скомпенсируют друг друга, и компоненты не изменятся.

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

Операции над тензорами

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

Итак, вспомним, что мы умеем делать с векторами? Мы можем их складывать, умножать на число, скалярно умножать друг на друга, проецировать на базисные вектора. Вполне естественно переосмыслить те же самые операции применительно и к тензорам. Нужно только помнить, что тензор – это не число, это нечто ближе к матрице. И, соответственно, имеет значение, с какой стороны мы к нему подходим, особенно в вопросах умножения. Можно ввести скалярное умножение справа и слева, и они будут отличаться!

Также стоит вспомнить, что скалярное умножение по своей сути – это проекция, или, как её ещё называют, свёртка. Два вектора проецируются друг на друга, и проекция возрастает пропорционально партнёру. Это можно мыслить как взаимодействие вектора и дуального ему ковектора, компоненты которых суммируются (сворачиваются) по верхнему и нижнему индексу и дают число. Но у тензоров второго ранга индексов два! Соответственно, их можно сворачивать (скалярно умножать) с двумя векторами или сворачивать с таким же тензором. Что ж. Учтём и этот факт тоже.

Складывать тензоры и умножать на число совсем просто.

С остальными операциями вопросов быть не должно. Вы наверняка уже сами догадались, как будет выглядеть, например, сложение. Есть, допустим, у нас два тензора T и B. У каждого из них есть свои индивидуальные вектора, имеющие притом свой порядок. Вполне логично под сложением понимать именно сумму векторов, стоящих на соответствующих по порядку местах! Новый тензор S, у которого индивидуальные векторы равны упорядоченной сумме индивидуальных векторов T и B, и будет результатом сложения.

Умножения тензора на число – тоже самоочевидно. Вполне логично удлинить все индивидуальные векторы на этот множитель.

Остальные операции рассмотрим подробнее.

Скалярное умножение тензора на вектор слева и справа.

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

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

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

Компоненты тензора совпадают с соответствующими компонентами его индивидуальных векторов!

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

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

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

Таким образом, все введённые нами операции вполне естественны и физически оправданы. Например, скалярное умножение тензора на число отражает изменение интенсивности

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

Тензоры умножаются скалярно несколькими способами.

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

Двойное скалярное произведение (свёртка) двух тензоров уменьшает их ранг и суммирует взаимодействия компонент. Это ключевая операция для описания энергетических процессов. К примеру, свёртка тензора напряжений и тензора деформации даёт плотность энергии деформации.

Тензоры можно разложить по тензорному базису

как векторы по векторному.

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

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

В трёх измерениях и размерностях выше

все операции выглядят также.

Тензоры часто описывают сложные многокомпонентные взаимодействия. Разложение на базисные тензоры помогает разделить их на независимые части, каждая из которых соответствует определённому физическому эффекту. Вспомним пример из механики сплошных сред. В ней часто работают с уже знакомым нам тензором напряжений. Его можно разложить на шаровую часть (след тензора) и девиатор (безследовая часть). Шаровая часть соответствует гидростатическому давлению (объёмной деформации). Девиатор описывает сдвиговые деформации, вызывающие изменение формы. Это разделение критично для анализа пластичности материалов или разрушения.

Немного классификации

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

Начнём знакомиться с тензорным зоопарком с самого простого примера.

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

Если в качестве индивидуальных векторов тензора выбрать векторы базиса, то мы получим единичный тензор. Графическое его изображение будет выглядеть как совокупность двух «двойных стрелок». Примечателен он тем, что скалярное умножение единичного тензора на вектор что слева, что справа даёт тот же вектор. А скалярное умножение единичного тензора на другой тензор совершенно не меняет этот самый другой тензор. То есть он ведёт себя как обычная единица, только в мире векторов и тензоров.