Уравнения Максвелла и геометрическая алгебра

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

Видели когда-нибудь все 4 уравнения Максвелла в такой форме?

А в такой?

Если нет, то статья вам поможет узнать много нового.

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

Геометрическая алгебра предлагает иной подход, возвращаясь к первоначальной идее Уильяма Клиффорда: создать единую алгебру, в которой сами геометрические объекты — точки, линии, плоскости, объемы — являются элементами вычислений. Это позволяет переписать сложнейшие физические законы в невероятно компактной и интуитивно понятной форме. Давайте разберем, как ГА переосмысливает самые базовые понятия.

0. Предварительные пояснения (написано позже)

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

В математике операции сложения и умножения задаются просто аксиомами. Здесь используется один вид сложения (обычное) и три вида умножения векторов — скалярное (коммутативное, два вектора дают число), векторное (антикоммутативное, два вектора дают вектор) и геометрическое (просто некоммутативное). В самой геометрической алгебре используются тоже три вида умножения, но вместо скалярного и векторного — внутреннее и внешнее. Скалярное произведение обозначаем точкой, векторное — крестиком, внутреннее как скалярное точкой, потому что для векторов оно совпадает со скалярным, а внешнее символом объединения множеств. Геометрическое произведение обозначаем никак, просто два объекта рядом, например AB.

Любой объект в геометрической алгебре (мультивектор) — это просто формальная сумма объектов разного вида (скаляров, направленных отрезков, площадей, объемов …). Поскольку мы работаем тут только в 3D, напишу общий вид мультивектора в 3D:

Здесь скаляры — это просто числа, e1, e2, e3 — соответствуют единичным векторам вдоль координатных осей в обычном пространстве. Скаляры называются объектами нулевого ранга, векторы — первого ранга, бивекторы — второго ранга и так далее.

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

Отдельно следует отметить, что внутреннее произведение для более сложных объектов, чем векторы, работает гораздо сложнее и даже в матричной интерпретации ему никакая простая операция не соответствует. Здесь в тексте встречается внутреннее произведение вектора на бивектор. Это операция, которая проецирует вектор на плоскость бивектора, а потом поворачивает его на 90 градусов. В общем же случае она определяется так.

Пусть r — максимальный ранг объекта в сумме, которая задает мультивектор А. Пусть s — максимальный ранг объекта в сумме, которая задает мультивектор В. Тогда, чтобы получить их внутреннее произведение, нужно геометрически перемножить А и B, упростить, получить третий мультивектор С, и внутреннее произведение равно слагаемому в нем ранга |r-s|.

1. Векторы и новое фундаментальное правило

В ГА вектор — это не просто столбец чисел, а фундаментальный объект, представляющий направленный отрезок. Самое главное и первое правило, которое все меняет, касается произведения вектора на самого себя:

квадрат любого вектора равен квадрату его длины.

Это простое правило немедленно делает алгебру гораздо богаче, чем обычная векторная алгебра, где произведение vv не определено.

2. Единое геометрическое произведение

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

• Симметричная часть: скалярное (внутреннее) произведение

  

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

• Антисимметричная часть: внешнее произведение

  

  Это новый, гораздо более фундаментальный объект, заменяющий векторное произведение. Результатом является не вектор, а бивектор — ориентированный участок плоскости, заданный векторами a и b, с величиной, равной площади образуемого ими параллелограмма. Бивектор — это математическое воплощение самой идеи «плоскости вращения» или «элементарной площадки».

3. Возвращение к векторному произведению

Привычное нам векторное произведение a × b не исчезает, но оказывается лишь «тенью» более общего внешнего произведения, существующей только в 3D. Оно связано с внешним произведением через псевдоскаляр (единичный ориентированный объем):

Это уравнение показывает, что векторное произведение — это операция, которая берет плоскость (a ∧ b) и возвращает перпендикулярный ей вектор (ее дуал). ГА предпочитает работать напрямую с более фундаментальным объектом — плоскостью.

4. Дифференциальные операторы в новом свете

Оператор набла ∇ в ГА трактуется как полноценный векторный оператор. Когда он действует на векторное поле v, его геометрическое произведение ∇v так же распадается на две части:

• Дивергенция ∇·v: Это скалярная часть геометрической производной. Она по-прежнему описывает «расширение» или «сжатие» потока в точке.

• Ротор ∇∧v: Это бивекторная часть геометрической производной. Она описывает «вращение» потока. Результатом является бивектор завихренности Ω, который представляет собой плоскость и интенсивность вращения в точке — гораздо более естественное представление, чем искусственный «вектор оси вращения» ∇×v.

5. Лапласиан в геометрической алгебре

Сначала вспомним, что такое Лапласиан. В классическом векторном анализе оператор Лапласа, действующий на векторное поле , определяется тождеством:

Это определение верно всегда и для любого векторного поля.

В Геометрической Алгебре оператор Лапласа естественно возникает как квадрат векторного оператора градиента:

Когда этот оператор действует на векторное поле , мы получаем:

Используя фундаментальное разложение геометрического произведения , мы получаем:

Здесь:

• ∇(∇·v) — это градиент от скалярной дивергенции.

• ∇(∇∧v) — это градиент от бивектора завихренности.

Это выражение совпадает с лапласианом, так как

Напишем таблицу соответствия операций векторной алгебры и геометрической

6. Уравнения Максвелла

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

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

7. Переход к геометрической алгебре.

Геометрическая алгебра позволяет объединить эти разрозненные объекты в единые.

А) Единое электромагнитное поле (Бивектор Фарадея)

Мы объединяем вектор электрического поля и (псевдо)вектор магнитного поля в один-единственный объект — бивектор в пространстве-времени. В контексте 3D ГА + время его часто записывают как мультивектор, где — векторная часть, а — бивекторная:

Здесь:

— это векторная часть (степень 1).

— это псевдоскаляр, который превращает вектор в дуальный ему бивектор (плоскость вращения).

— скорость света.

— это единый, абсолютный геометрический объект, а и — лишь его компоненты, которые разные наблюдатели видят по-разному.

Б) Единый источник (4-ток)

Мы объединяем два источника — скалярную плотность заряда и векторную плотность тока — в один мультивектор:

Здесь:

— это скалярная часть (степень 0).

В) Единый оператор производной (Градиент пространства-времени)

Мы объединяем производную по времени и производную по пространству в один векторный оператор в пространстве-времени:

8. Переход к геометрической алгебре.

Теперь все четыре уравнения Максвелла превращаются в одно:

Докажем, что это одно уравнение эквивалентно четырем классическим, разложив его по степеням (скаляры, векторы, бивекторы…).

Распишем левую часть:

Теперь используем ключевое свойство ГА: геометрическое произведение раскладывается на скалярную часть (дивергенцию ∇·v) и бивекторную часть (ротор ∇∧v).

Теперь приравняем это к правой части и сгруппируем члены по их геометрической природе (степени):

Скалярная часть (степень 0):

    Это в точности Закон Гаусса.

Векторная часть (степень 1):

 Умножим на , преобразуем ∇∧B в i(∇×B) и c²=1/(ε₀μ₀):

    Это в точности Закон Ампера.

Бивекторная часть (степень 2):

Преобразуем ∇∧E в i(∇×E):

 Это в точности Закон Фарадея.

Тривекторная (псевдоскалярная) часть (степень 3):

Это в точности Закон Гаусса для магнетизма.

9. Почему это лучше?

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

10. Переход к матрицам.

Сначала мы должны установить однозначное соответствие между объектами нашей теории и матрицами. Вся алгебра 3D пространства-времени, необходимая для этого, изоморфна алгебре комплексных матриц 2×2. Используем базис матриц Паули.

Скаляры в геометрической алгебре представляем так

Векторы представляются вот так

Бивекторы представляются вот так

Тривектор (псевдоскаляр):

Электромагнитное поле : это мультивектор, состоящий из векторной части и бивекторной части . Его матричное представление — это одна комплексная матрица, построенная из матриц Паули:

    Это бесследовая матрица 2×2.

Источник :

это мультивектор, состоящий из скалярной части и векторной части .

Это общая (имеющая след) комплексная матрица 2×2.

Оператор производной :

Это оператор, который также является мультивектором (скалярная + векторная часть).

Итак, мы получили систему уравнений Максвелла в матричной форме.

Можно обратить внимание, что левая часть имеет следующую структуру:

В форме матриц:

11. Добавление.

В отклике на статью попросили обосновать соответствие, используемое тут

Давайте обозначим ротор вектора маленькой буквой омега, а его аналог в ГА — большой. Тогда нужно будет доказать соотношение:

Дело в том, что оно работает для любой пары вектора и бивектора. Докажем это.

Метод 1: Алгебраическое доказательство (через дуальность)

Этот метод использует концепцию дуальности, связывающую векторы и бивекторы через псевдоскаляр .

1. Определения:

• Бивектор завихренности:

• Вектор ротора:

• Связь через дуальность: Как мы строго установили ранее (используя матрицы Паули), бивектор Ω в ГА является дуалом вектора ω, и их связь выражается как:

  

  (Здесь — псевдоскаляр, а не , хотя в матричном представлении они совпадают).

2. Ключевое тождество:
В 3D геометрической алгебре существует тождество, связывающее внутреннее произведение, внешнее произведение и псевдоскаляр:

Геометрический смысл: Внутреннее произведение вектора a с плоскостью ib дает новый вектор, который является дуалом (перпендикуляром) к плоскости a∧b.

3. Вывод:
Начнем с левой части нашего выражения v · Ω и подставим в него Ω = iω:

Теперь прямо применяем наше ключевое тождество, где a = v и b = ω:

Теперь нам нужно вспомнить, как в ГА выражается векторное произведение. Его определение через внешнее произведение и псевдоскаляр:

Сравнивая два последних выражения, мы видим, что:

Таким образом, мы доказали:

Метод 2: Доказательство в координатах (через матрицы Паули)

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

1. Определения в матричном представлении:

• Вектор

• Вектор

• Бивектор

2. Определение внутреннего произведения в ГА:
Внутреннее произведение (левая контракция) вектора a и бивектора B определяется через антисимметричную часть их геометрического произведения:

В матричном представлении это соответствует коммутатору, умноженному на i/2:

В матричном представлении:

3. Вычисление:
Подставляем :

Коммутатор матриц Паули равен:

(Это соответствует матрице 2i * Matrix(v×ω)).

Подставляем этот результат обратно:

Таким образом, соответствие доказано.

Источник: habr.com