Матричное представление уравнений Максвелла - Matrix representation of Maxwells equations - Wikipedia

В электромагнетизм, филиал фундаментальных физика, то матричные представления Уравнения Максвелла площадь формулировка уравнений Максвелла с помощью матрицы, сложные числа, и векторное исчисление. Эти представления предназначены для однородная среда, приближение в неоднородная среда. Матричное представление неоднородной среды было представлено с помощью пары матричных уравнений.[1] Одно уравнение с использованием матриц 4 × 4 необходимо и достаточно для любой однородной среды. Для неоднородной среды это обязательно требует матриц 8 × 8.[2]

Вступление

Уравнения Максвелла в стандартном формализме векторного исчисления в неоднородной среде с источниками:[3]

Предполагается, что СМИ линейный, то есть

,

где скаляр это диэлектрическая проницаемость среды и скаляр то проницаемость среды (видеть конститутивное уравнение ). Для однородной среды и являются константами. скорость света в среде дается

.

В вакууме, 8.85 × 10−12 C2· N−1· М−2 и × 10−7 H · м−1

Один из возможных способов получить требуемое матричное представление - использовать Вектор Римана-Зильберштейна[4][5] данный

Если для определенной среды и являются скалярными константами (или могут рассматриваться как местный скалярные константы при определенных приближениях), то векторы удовлетворить

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

Однородная среда

Чтобы получить одно матричное уравнение вместо пары, следующие новые функции строятся с использованием компонентов вектора Римана-Зильберштейна[6]

Векторы для источников:

Потом,


где * обозначает комплексное сопряжение и тройка, M = [MИкс, Mу, Mz] вектор, составляющими элементами которого являются абстрактные матрицы 4 × 4, заданные формулой


Компонент M-матрицы могут быть сформированы с использованием:


куда


откуда получаем:


В качестве альтернативы можно использовать матрицу Которые отличаются только знаком. Для наших целей можно использовать либо Ω, либо J. Однако они имеют другое значение: J является контравариантный и Ω есть ковариантный. Матрице Ω соответствует Скобки Лагранжа из классическая механика и J соответствует Скобки Пуассона.

Обратите внимание на важное соотношение

Каждое из четырех уравнений Максвелла получается из матричного представления. Это делается путем взятия сумм и разностей строки I с строкой IV и строки II с строкой III соответственно. Первые три дают у, Икс, и z компоненты завиток а последний дает расхождение условия.

В матрицы M все неособый и все Эрмитский. Более того, они удовлетворяют обычным (кватернион -подобная) алгебра Матрицы Дирака, включая,

±, M) находятся нет уникальный. Различные варианты Ψ± приведет к разным M, такие что тройка M продолжает удовлетворять алгебре матриц Дирака. Ψ± через вектор Римана-Зильберштейна имеет определенные преимущества перед другими возможными вариантами.[7] Вектор Римана-Зильберштейна хорошо известен в классическая электродинамика и имеет определенные интересные свойства и возможности использования.[7]

При выводе вышеупомянутого матричного представления 4 × 4 уравнений Максвелла пространственные и временные производные ε (р, т) и μ (р, т) в первых двух уравнениях Максвелла не учитывались. Ε и μ рассматривались как местный константы.

Неоднородная среда

В неоднородной среде пространственные и временные вариации ε = ε (р, т) и μ = μ (р, т) не равны нулю. То есть их больше нет местный постоянный. Вместо использования ε = ε (р, т) и μ = μ (р, т) выгодно использовать два производных лабораторные функции а именно функция сопротивления и функция скорости

Что касается этих функций:

.

Эти функции входят в матричное представление через свои логарифмические производные;

куда

это показатель преломления среды.

Следующие матрицы естественным образом возникают в точном матричном представлении уравнения Максвелла в среде

куда Σ являются Матрицы спина Дирака и α матрицы, используемые в Уравнение Дирака, и σ это тройка Матрицы Паули

Наконец, матричное представление

Вышеупомянутое представление содержит тринадцать матриц 8 × 8. Десять из них Эрмитский. Исключительные - это те, которые содержат три компонента ш(р, т), логарифмический градиент функции сопротивления. Эти три матрицы для функции сопротивления: антиэрмитский.

Уравнения Максвелла представлены в матричной форме для среды с переменной диэлектрической проницаемостью ε = ε (р, т) и проницаемости μ = μ (р, т), при наличии источников. Это представление использует одно матричное уравнение вместо пара матричных уравнений. В этом представлении с использованием матриц 8 × 8 удалось разделить зависимость связи между верхними компонентами (Ψ+) и нижние компоненты (Ψ) через две лабораторные функции. Более того, точное матричное представление имеет алгебраическую структуру, очень похожую на уравнение Дирака.[8] Уравнения Максвелла могут быть получены из Принцип Ферма из геометрическая оптика методом "завивки"[требуется разъяснение ] аналогично квантование из классическая механика.[9]

Приложения

Одним из первых применений матричных форм уравнений Максвелла было изучение определенных симметрий и сходства с уравнением Дирака.

Матричная форма уравнений Максвелла используется в качестве кандидата в Волновая функция фотона.[10]

Исторически сложилось так, что геометрическая оптика основан на Принцип наименьшего времени Ферма. Геометрическая оптика может быть полностью выведена из уравнений Максвелла. Традиционно это делается с помощью Уравнение Гельмгольца. Вывод уравнения Гельмгольца из Уравнения Максвелла является приближением, поскольку не учитываются пространственные и временные производные диэлектрической проницаемости и проницаемости среды. Был разработан новый формализм оптики светового пучка, начиная с уравнений Максвелла в матричной форме: единый объект, содержащий все четыре уравнения Максвелла. Такой рецепт, несомненно, обеспечит более глубокое понимание оптики пучка и поляризация единым образом.[11]Оптический гамильтониан пучка, полученный из этого матричного представления, имеет алгебраическую структуру, очень похожую на Уравнение Дирака, делая его поддающимся Техника Foldy-Wouthuysen.[12] Этот подход очень похож на подход, разработанный в квантовой теории оптики пучков заряженных частиц.[13]

Рекомендации

Примечания

  1. ^ (Бялыницкий-Бирула, 1994, 1996a, 1996b)
  2. ^ (Хан, 2002, 2005)
  3. ^ (Джексон, 1998; Панофски и Филлипс, 1962)
  4. ^ Зильберштейн (1907a, 1907b)
  5. ^ Бялыницкий-Бирула (1996b)
  6. ^ Хан (2002, 2005)
  7. ^ а б Бялыницкий-Бирула (1996b)
  8. ^ (Хан, 2002, 2005)
  9. ^ (Прадхан, 1987)
  10. ^ (Бялыницкий-Бирула, 1996b)
  11. ^ (Хан, 2006b, 2010)
  12. ^ (Хан, 2006а, 2008)
  13. ^ (Джаганнатан и др., 1989, Джаганнатан, 1990, Джаганнатан и Хан 1996, Хан, 1997)

Другие

внешняя ссылка