4-тензор: различия между версиями

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску
[непроверенная версия][отпатрулированная версия]
Содержимое удалено Содержимое добавлено
м орфография
 
(не показано 29 промежуточных версий 21 участника)
Строка 1: Строка 1:
'''4-тензор''', '''четырёхте́нзор''' ({{lang-en|four-tensor}}) математический объект, который используется для описания поля в [[Релятивистская физика|релятивистской физике]], [[тензор]], определённый в четырёхмерном [[Пространство-время|пространстве-времени]], повороты [[Система отсчёта|системы отсчёта]] в котором включают как обычные повороты трёхмерного пространства, так и переход между системами отсчёта, которые движутся с разными скоростями одна относительно другой.
'''4-тензоры''', '''четырёхте́нзоры''' — класс математических объектов, используемый для описания некоторых физических полей в [[Релятивистская физика|релятивистской физике]], [[тензор]], определённый на четырёхмерном [[Пространство-время|пространстве-времени]]<ref>повороты [[Система отсчёта|системы отсчёта]] в котором включают как обычные повороты в трёхмерном пространстве, так и переходы между системами отсчёта, которые движутся с разными скоростями одна относительно другой ([[преобразования Лоренца]]).</ref>.

*Замечание: в литературе 4-тензоры часто называются просто тензорами, а размерность и природа векторного пространства (многообразия), на котором они заданы в этом случае оговариваются явно или очевидны из контекста.


В общем случае 4-тензор является объектом с набором индексов:
В общем случае 4-тензор является объектом с набором индексов:
: <math> A_{i_1 i_2 \ldots i_n}^{j_1 j_2 \ldots j_m} </math>
: <math> A_{i_1 i_2 \ldots i_n}^{j_1 j_2 \ldots j_m}, </math>
причём каждый из индексов принимает четыре значения (обычно от нуля до трёх или от одного до четырёх, то есть <math>i_1 = 0,1,2,3, i_2 = 0,1,2,3</math> итд.


При смене системы отсчёта компоненты этого объекта превращаются за законом<ref>Здесь, как принято в теории относительности, знак суммы опускается — повторение индекса внизу и вверху значит суммирование; см. [[Соглашение Эйнштейна о суммировании]].</ref>
При смене системы отсчёта компоненты этого объекта преобразуются так<ref>Здесь, как принято в теории относительности, знак суммы опускается — повторение индекса внизу и вверху значит суммирование; см. [[Соглашение Эйнштейна о суммировании]].</ref>:


: <math> A_{i_1 i_2 \ldots i_n}^{\prime j_1 j_2 \ldots j_m} = \beta_{j_1 k_1} \beta_{j_2 k_2} \ldots \beta_{j_m k_m} \alpha_{i_1 l_1} \alpha_{i_2 l_2} \ldots \alpha_{i_n l_n} A_{l_1 l_2 \ldots l_n}^{k_1 k_2 \ldots k_m} </math>,
: <math> A_{i_1 i_2 \ldots i_n}^{\prime j_1 j_2 \ldots j_m} = \beta_{j_1 k_1} \beta_{j_2 k_2} \ldots \beta_{j_m k_m} \alpha_{i_1 l_1} \alpha_{i_2 l_2} \ldots \alpha_{i_n l_n} A_{l_1 l_2 \ldots l_n}^{k_1 k_2 \ldots k_m} </math>,


где <math> \alpha_{ij} </math> — [[матрица поворота]], а <math> \beta_{ij} </math> — обратная ей.
где <math> \alpha_{ij} </math> — [[матрица поворота]] в четырёхмерном пространстве-времени (матрица [[группа Лоренца|группы Лоренца]]), а <math> \beta_{ij} </math> — обратная ей.


Верхние индексы называются контравариантными, а нижние — ковариантными. Суммарное число индексов задаёт '''ранг''' тензора. [[4-вектор]] является 4-тензором первого ранга.
Верхние индексы называются контравариантными, а нижние — ковариантными. Суммарное число индексов задаёт '''ранг''' тензора. [[4-вектор]] является 4-тензором первого ранга.


Обычно в физике тензоры одинаковой природы с разным числом ковариантных и контравариантных индексов считаются родственными ('''дуальными'''). Опускание или поднимание индекса проводится с помощью [[Метрический тензор|метрического тензора]] <math> \hat{g} </math>, например для 4-тензора второго ранга
Обычно в физике тензоры одинаковой природы с разным числом ковариантных и контравариантных индексов считаются различными представлениями одного и того же объекта. Опускание или поднимание индекса проводится с помощью [[Метрический тензор|метрического тензора]] <math> \hat{g} </math>, например для 4-тензора второго ранга
: <math> A^{ij} = g^{jk} A^i_k </math>
: <math> A^{ij} = g^{jk} A^i_k </math>
Алгебра [[Внешняя алгебра|внешнего произведения]] позволяет также вводить для антисимметричных тензоров родственные им [[Дуальный тензор|дуальные тензоры]].

== Преимущества четырёхмерной записи ==
Уравнения [[Теория относительности|теории относительности]], электродинамики, и многих современных фундаментальных теорий, включающих их, особенно удобно записывать, используя 4-векторы и 4-тензоры. Главным преимуществом такой записи есть то, что в этой форме уравнения автоматически [[лоренц-инвариантность|лоренц-инвариантны]], то есть не изменяются при переходе от одной инерциальной [[система координат|системы координат]] к другой.


== Примеры ==
== Примеры ==
=== 4-тензоры в [[ОТО]] ===
Уравнения [[Теория относительности|теории относительности]] особенно удобно записывать, используя 4-векторы и 4-тензоры. Главным преимуществом такой записи есть то, что в этой форме уравнения автоматически [[Лоренц, Хендрик Антон|Лоренц]]-инвариантные, то есть не изменяются при переходе от одной инерциальной [[система координат|системы координат]] к другой.
* [[метрический тензор]] (играет определённую техническую роль и в отсутствие гравитационных полей, то есть часто применяется и за рамками [[ОТО]], однако в этом случае он, обычно, имеет очень частный вид [[лоренцева метрика|лоренцевой метрики]]).
* [[тензор кривизны]]
* [[тензор Риччи]]
* [[тензор энергии-импульса]] (достаточно широко применим и вне [[ОТО]]).


=== 4-тензор электромагнитного поля ===
=== 4-тензор электромагнитного поля ===
Строка 22: Строка 33:
Соответствующий 4-тензор существует также и для описания [[Электромагнитное поле|электромагнитного поля]]. Это 4-тензор второго ранга. При его использовании основные уравнения для электромагнитного поля: [[Уравнения Максвелла|уравнение Максвелла]] и уравнение движения [[Электрический заряд|заряженной частицы]] в поле имеют особенно простую и элегантную форму.
Соответствующий 4-тензор существует также и для описания [[Электромагнитное поле|электромагнитного поля]]. Это 4-тензор второго ранга. При его использовании основные уравнения для электромагнитного поля: [[Уравнения Максвелла|уравнение Максвелла]] и уравнение движения [[Электрический заряд|заряженной частицы]] в поле имеют особенно простую и элегантную форму.


=== Определение через 4-потенциал ===
==== Определение через 4-потенциал ====
4-тензор определяется через [[Производная функции|производные]] от [[4-потенциал]]а<ref>Формулы на этой странице записаны в системе [[СГС#СГС симметричная, или Гауссова система единиц|СГСГ]]</ref>:
4-тензор определяется через [[Производная функции|производные]] от [[4-потенциал]]а<ref>Формулы на этой странице записаны в системе [[СГС#СГС симметричная, или Гауссова система единиц|СГСГ]]</ref>:
: <math> F_{ik} = \frac{\partial A_k}{\partial x^i} - \frac{\partial A_i}{\partial x^k} </math>.
: <math> F_{ik} = \frac{\partial A_k}{\partial x^i} - \frac{\partial A_i}{\partial x^k} </math>.


=== Определение через трёхмерные векторы ===
==== Определение через трёхмерные векторы ====
4-тензор определяется через обычные трёхмерные составные [[вектор]]ов напряженности следующим образом:
4-тензор определяется через обычные трёхмерные составные [[Вектор (математика)|векторов]] напряжённости следующим образом:
: <math>
: <math>
F_{ik} = \left( \begin{matrix} 0 & E_x & E_y & E_z \\
F_{ik} = \left( \begin{matrix} 0 & E_x/c & E_y/c & E_z/c \\
-E_x & 0 & -H_z & H_y \\
-E_x/c & 0 & -B_z & B_y \\
-E_y & H_z & 0 & -H_x \\
-E_y/c & B_z & 0 & -B_x \\
-E_z & -H_y & H_x & 0
-E_z/c & -B_y & B_x & 0
\end{matrix} \right)
\end{matrix} \right)
</math>
</math>


: <math>
: <math>
F^{ik} = \left( \begin{matrix} 0 & -E_x & -E_y & -E_z \\
F^{ik} = \left( \begin{matrix} 0 & -E_x/c & -E_y/c & -E_z/c \\
E_x & 0 & -H_z & H_y \\
E_x/c & 0 & -B_z & B_y \\
E_y & H_z & 0 & -H_x \\
E_y/c & B_z & 0 & -B_x \\
E_z & -H_y & H_x & 0
E_z/c & -B_y & B_x & 0
\end{matrix} \right)
\end{matrix} \right)
</math>
</math>


Первая форма — это ковариантный тензор, а вторая форма — это контравариантный тензор.
Первая форма — это ковариантный тензор, а вторая форма — это контравариантный тензор.


=== Сила Лоренца ===
==== Сила Лоренца ====
Записанное в [[4-вектор]]ной форме уравнение движения заряженной [[Элементарная частица|частицы]] в электромагнитном поле приобретает вид
Записанное в [[4-вектор]]ной форме уравнение движения заряженной [[Элементарная частица|частицы]] в электромагнитном поле приобретает вид
: <math> m c \frac{du^i}{ds} = \frac{q}{c}F^{ik}u_k</math>,
: <math> m c \frac{du^i}{ds} = \frac{q}{c}F^{ik}u_k</math>,


где <math> u^k </math> — [[4-скорость]], q — [[электрический заряд]] частицы, c — [[скорость света]], m — [[масса покоя]]. Правая часть этого уравнения — это [[сила Лоренца]].
где <math> u^k </math> — [[4-скорость]], q — [[электрический заряд]] частицы, c — [[скорость света]], m — [[масса]]. Правая часть этого уравнения — это [[сила Лоренца]].


== См. также ==
== См. также ==
Строка 60: Строка 71:
* [[Тензор энергии-импульса]]
* [[Тензор энергии-импульса]]
* [[Тензор Эйнштейна]]
* [[Тензор Эйнштейна]]
* [[Метрика пространства-времени]]


== Примечания ==
== Примечания ==
Строка 65: Строка 77:


== Внешние ссылки ==
== Внешние ссылки ==
* {{cite web|url= http://phys.bspu.unibel.by/lib/phys/bmstu/tom1/ch8/texthtml/ch8_8.htm |title= Глава 8 Релятивистская динамика <small>8.8. Cвойства тензоров и момент импульса частицы</small> |author= |publisher= |datepublished= |accessdate= 10 июня 2009}}
* {{cite web|url=http://phys.bspu.unibel.by/lib/phys/bmstu/tom1/ch8/texthtml/ch8_8.htm|title=Глава 8 Релятивистская динамика <small>8.8. Свойства тензоров и момент импульса частицы</small>|author=|publisher=|datepublished=|accessdate=2009-06-10|deadlink=404}}{{Недоступная ссылка|date=Май 2018 |bot=InternetArchiveBot }}
* {{cite web|url= http://edu.ioffe.ru/register/?doc=physica2/lect20.tex |title= ЛЕКЦИЯ 20 <small>Четырехмерные векторы и тензоры II ранга.</small> |author= |publisher= [http://edu.ioffe.ru Научно-образовательный Центр ФТИ им.А.Ф.Иоффе] |datepublished= 22 февраля 2002 года |accessdate= 10 июня 2009}}
* {{cite web|url=http://edu.ioffe.ru/register/?doc=physica2/lect20.tex|title=ЛЕКЦИЯ 20 <small>Четырехмерные векторы и тензоры II ранга.</small>|author=|publisher=[http://edu.ioffe.ru Научно-образовательный Центр ФТИ им.А.Ф.Иоффе]|datepublished=2002-02-22|accessdate=2009-06-10|deadlink=unknown-host|archiveurl=https://web.archive.org/web/20041129121454/http://edu.ioffe.ru/register/?doc=physica2%2Flect20.tex|archivedate=2004-11-29}}


[[Категория:Теория относительности]]
[[Категория:Теория относительности]]
[[Категория:Тензоры]]
[[Категория:Тензорное исчисление]]

[[en:Four-tensor]]
[[uk:4-тензор]]

Текущая версия от 04:39, 15 марта 2023

4-тензоры, четырёхте́нзоры — класс математических объектов, используемый для описания некоторых физических полей в релятивистской физике, тензор, определённый на четырёхмерном пространстве-времени[1].

  • Замечание: в литературе 4-тензоры часто называются просто тензорами, а размерность и природа векторного пространства (многообразия), на котором они заданы в этом случае оговариваются явно или очевидны из контекста.

В общем случае 4-тензор является объектом с набором индексов:

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

При смене системы отсчёта компоненты этого объекта преобразуются так[2]:

,

где матрица поворота в четырёхмерном пространстве-времени (матрица группы Лоренца), а — обратная ей.

Верхние индексы называются контравариантными, а нижние — ковариантными. Суммарное число индексов задаёт ранг тензора. 4-вектор является 4-тензором первого ранга.

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

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

Преимущества четырёхмерной записи

[править | править код]

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

4-тензор электромагнитного поля

[править | править код]

Соответствующий 4-тензор существует также и для описания электромагнитного поля. Это 4-тензор второго ранга. При его использовании основные уравнения для электромагнитного поля: уравнение Максвелла и уравнение движения заряженной частицы в поле имеют особенно простую и элегантную форму.

Определение через 4-потенциал

[править | править код]

4-тензор определяется через производные от 4-потенциала[3]:

.

Определение через трёхмерные векторы

[править | править код]

4-тензор определяется через обычные трёхмерные составные векторов напряжённости следующим образом:

Первая форма — это ковариантный тензор, а вторая форма — это контравариантный тензор.

Сила Лоренца

[править | править код]

Записанное в 4-векторной форме уравнение движения заряженной частицы в электромагнитном поле приобретает вид

,

где 4-скорость, q — электрический заряд частицы, c — скорость света, m — масса. Правая часть этого уравнения — это сила Лоренца.

Примечания

[править | править код]
  1. повороты системы отсчёта в котором включают как обычные повороты в трёхмерном пространстве, так и переходы между системами отсчёта, которые движутся с разными скоростями одна относительно другой (преобразования Лоренца).
  2. Здесь, как принято в теории относительности, знак суммы опускается — повторение индекса внизу и вверху значит суммирование; см. Соглашение Эйнштейна о суммировании.
  3. Формулы на этой странице записаны в системе СГСГ

Внешние ссылки

[править | править код]