Исчисление инфинитезимальных функций, определенных на геометрической алгебре
В математика, геометрическое исчисление расширяет геометрическая алгебра включать дифференциация и интеграция. Этот формализм мощен и, как можно показать, охватывает другие математические теории, включая дифференциальная геометрия и дифференциальные формы.[1]
Дифференциация
Для данной геометрической алгебры пусть
и
быть векторов и разреши
быть многовекторный -значная функция вектора. В производная по направлению из
вдоль
в
определяется как
![{ displaystyle ( nabla _ {b} F) (a) = lim _ { epsilon rightarrow 0} { frac {F (a + epsilon b) -F (a)} { epsilon}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/38ae7692fd8d7fd39d577f310216f7f11f791a0c)
при условии, что лимит существует для всех
, где берется предел для скалярных
. Это похоже на обычное определение производной по направлению, но расширяет его на функции, которые не обязательно являются скалярными.
Затем выберите набор базисные векторы
и рассмотрим операторы, обозначенные
, которые совершают производные по направлениям
:
![{ displaystyle partial _ {i}: F mapsto (x mapsto ( nabla _ {e_ {i}} F) (x)).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/04a69b74bfd3010386678d8514e3b4b6656bd46b)
Затем, используя Обозначение суммирования Эйнштейна, рассмотрим оператора:
![{ displaystyle e ^ {i} partial _ {i},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/099ffcb91263643be504aafda14b518bc4619326)
что значит
![{ Displaystyle F mapsto е ^ {я} partial _ {я} F,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/94907c7dac82c41d874eff976d6208dc05fa3b08)
где геометрическое произведение нанесено после производной по направлению. Более подробно:
![{ displaystyle F mapsto (x mapsto e ^ {i} ( nabla _ {e_ {i}} F) (x)).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b5626e46a01c89d8874545290f03d768796688e1)
Этот оператор не зависит от выбора кадра и, таким образом, может использоваться для определения геометрическая производная:
![{ displaystyle nabla = e ^ {i} partial _ {i}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a96754c45a587124bb7f1491f145e6505f6fc55a)
Это похоже на обычное определение градиент, но он также распространяется на функции, которые не обязательно являются скалярными.
Производная по направлению линейна относительно своего направления, то есть:
![{ displaystyle nabla _ { alpha a + beta b} = alpha nabla _ {a} + beta nabla _ {b}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3e202c5455c495780160fdffa97da93b0a0bedff)
Из этого следует, что производная по направлению является внутренним произведением ее направления на геометрическую производную. Все, что нужно соблюдать, - это то, что направление
можно написать
, так что:
![{ displaystyle nabla _ {a} = nabla _ {(a cdot e ^ {i}) e_ {i}} = (a cdot e ^ {i}) nabla _ {e_ {i}} = a cdot (e ^ {i} nabla _ {e_ {i}}) = a cdot nabla.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/222bc7c5de99686900d55cf11f4b73d00b6d7403)
По этой причине,
часто отмечается
.
Стандарт порядок действий поскольку геометрическая производная заключается в том, что она действует только на ближайшую справа от нее функцию. Учитывая две функции
и
, то, например, имеем
![nabla FG = ( nabla F) G.](https://wikimedia.org/api/rest_v1/media/math/render/svg/2bb6a70cb331164b5877737eb40fa17690b398b5)
Правило продукта
Хотя частная производная показывает правило продукта, геометрическая производная наследует это свойство лишь частично. Рассмотрим две функции
и
:
![{ Displaystyle { begin {align} nabla (FG) & = e ^ {i} partial _ {i} (FG) & = e ^ {i} (( partial _ {i} F) G + F ( partial _ {i} G)) & = e ^ {i} ( partial _ {i} F) G + e ^ {i} F ( partial _ {i} G). End {выровнено}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/215337f804d07bf436322ea8f2c138f4ae7a0058)
Поскольку геометрическое произведение не коммутативный с
в общем, чтобы продолжить, нам нужны новые обозначения. Решение состоит в том, чтобы принять переборщить обозначение, в котором объем геометрической производной с наложенной точкой - это функция с несколькими значениями, имеющая одну и ту же точку. В этом случае, если мы определим
![{ dot { nabla}} F { dot {G}} = e ^ {i} F ( partial _ {i} G),](https://wikimedia.org/api/rest_v1/media/math/render/svg/f4ac4039824ab1c45fc76716911bbeb1cc6c15e6)
то правило произведения для геометрической производной
![{ displaystyle nabla (FG) = nabla FG + { dot { nabla}} F { dot {G}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0ad307b8fbb6421dc38f44f00d00fa95451181d9)
Внутренняя и внешняя производная
Позволять
быть
-сезонный мультивектор. Затем мы можем определить дополнительную пару операторов, внутренние и внешние производные,
![{ displaystyle nabla cdot F = langle nabla F rangle _ {r-1} = e ^ {i} cdot partial _ {i} F,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c3d248056ae07024be2c7f0e7a01484b0c1b2dc8)
![nabla wedge F = langle nabla F rangle _ {{r + 1}} = e ^ {i} wedge partial _ {i} F.](https://wikimedia.org/api/rest_v1/media/math/render/svg/c0321f3d2a4d42f07dcf7ba7732cecf9eae40693)
В частности, если
является классом 1 (векторнозначная функция), то мы можем написать
![набла F = набла cdot F + набла клин F](https://wikimedia.org/api/rest_v1/media/math/render/svg/82870582fd3129b3857583aa3fc23db8b061444e)
и определить расхождение и завиток в качестве
![{ displaystyle nabla cdot F = operatorname {div} F,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/974d766a4555708d4b0a114a47febb1749674825)
![nabla wedge F = I , operatorname {curl} F.](https://wikimedia.org/api/rest_v1/media/math/render/svg/c3d12e72efa70a877990888074ff3e79afdc1dfd)
В отличие от геометрической производной, ни оператор внутренней производной, ни оператор внешней производной не обратимы.
Интеграция
Позволять
быть набором базисных векторов, которые охватывают
-мерное векторное пространство. Из геометрической алгебры мы интерпретируем псевдоскалярный
быть подписанный том из
-параллелоэдр подчинены этим базисным векторам. Если базисные векторы ортонормированный, то это единичный псевдоскаляр.
В более общем плане мы можем ограничиться подмножеством
базисных векторов, где
, чтобы обработать длину, площадь или другие общие
-объем подпространства в целом
-мерное векторное пространство. Обозначим эти выбранные базисные векторы через
. Генерал
-объем
-параллелотоп, которому подчиняются эти базисные векторы, является степенью
многовекторный
.
В более общем плане мы можем рассмотреть новый набор векторов
пропорционально
базисные векторы, где каждый из
компонент, масштабирующий один из базисных векторов. Мы вольны выбирать настолько бесконечно малые компоненты, насколько захотим, пока они не равны нулю. Поскольку внешний продукт этих терминов можно интерпретировать как
-volume, естественный способ определения мера является
![{ displaystyle { begin {align} d ^ {k} X & = left (dx ^ {i_ {1}} e_ {i_ {1}} right) wedge left (dx ^ {i_ {2}} e_ {i_ {2}} right) wedge cdots wedge left (dx ^ {i_ {k}} e_ {i_ {k}} right) & = left (e_ {i_ {1} } wedge e_ {i_ {2}} wedge cdots wedge e_ {i_ {k}} right) dx ^ {i_ {1}} dx ^ {i_ {2}} cdots dx ^ {i_ {k }}. end {выравнивается}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f5b00a0284b68b9e610dbdb7a9e71a5e7791f966)
Следовательно, мера всегда пропорциональна псевдоскалярной единице
-мерное подпространство векторного пространства. Сравните Риманова форма объема в теории дифференциальных форм. Интеграл берется по этой мере:
![{ Displaystyle int _ {V} F (x) , d ^ {k} X = int _ {V} F (x) left (e_ {i_ {1}} wedge e_ {i_ {2}) } wedge cdots wedge e_ {i_ {k}} right) dx ^ {i_ {1}} dx ^ {i_ {2}} cdots dx ^ {i_ {k}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f33badafa74e2d089826f93b8c324a421326ba79)
Более формально, рассмотрим некоторый направленный объем
подпространства. Мы можем разделить этот объем на сумму симплексы. Позволять
- координаты вершин. Каждой вершине присваиваем меру
как средняя мера симплексов, разделяющих вершину. Тогда интеграл от
относительно
над этим объемом получается в пределе более тонкого разбиения объема на более мелкие симплексы:
![{ displaystyle int _ {V} F , dU = lim _ {n rightarrow infty} sum _ {i = 1} ^ {n} F (x_ {i}) , Delta U_ {i }(Икс).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dbd46c6cf5050d05ef638faf96b287edb88cea27)
Основная теорема геометрического исчисления
Причина определения геометрической производной и интеграла, как указано выше, заключается в том, что они допускают сильное обобщение Теорема Стокса. Позволять
- многовекторнозначная функция от
-градиентный ввод
и общее положение
, линейная по первому аргументу. Тогда основная теорема геометрического исчисления связывает интеграл от производной по объему
интегралу по его границе:
![{ displaystyle int _ {V} { dot { mathsf {L}}} left ({ dot { nabla}} dX; x right) = oint _ { partial V} { mathsf { L}} (dS; x).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/096f1d78c2fc5bfbc38dea5b49926d5783d3af3d)
В качестве примера пусть
для векторной функции
и (
) -сорт мультивекторный
. Мы находим, что
![{ Displaystyle { begin {align} int _ {V} { dot { mathsf {L}}} left ({ dot { nabla}} dX; x right) & = int _ {V } langle { dot {F}} (x) { dot { nabla}} , dX , I ^ {- 1} rangle & = int _ {V} langle { dot { F}} (x) { dot { nabla}} , | dX | rangle & = int _ {V} nabla cdot F (x) , | dX |. End {выровнено} }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f823ba07272921312b5f691e33cead3a09c9f633)
Так же,
![{ Displaystyle { begin {align} oint _ { partial V} { mathsf {L}} (dS; x) & = oint _ { partial V} langle F (x) , dS , I ^ {- 1} rangle & = oint _ { partial V} langle F (x) { hat {n}} , | dS | rangle & = oint _ { partial V} F (x) cdot { hat {n}} , | dS |. End {align}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/57bd18d20b73b5eee39c3e2886a4db911355b12e)
Таким образом мы восстанавливаем теорема расходимости,
![{ Displaystyle int _ {V} nabla cdot F (x) , | dX | = oint _ { partial V} F (x) cdot { hat {n}} , | dS |. }](https://wikimedia.org/api/rest_v1/media/math/render/svg/6b3a1844f2b3aa829aca829b97d17a70ce6a1c96)
Ковариантная производная
Достаточно гладкая
-поверхность в
-мерное пространство считается многообразие. К каждой точке многообразия мы можем прикрепить
-лезвие
это касается многообразия. Локально,
действует как псевдоскаляр
-мерное пространство. Это лезвие определяет проекция векторов на многообразие:
![{ displaystyle { mathcal {P}} _ {B} (A) = (A cdot B ^ {- 1}) B.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b0355fbb1bb22299fcb2707bab3d72bb136c5f23)
Так же, как геометрическая производная
определяется на всем
-мерное пространство, мы можем захотеть определить внутренняя производная
, локально определенные на многообразии:
![{ Displaystyle partial F = { mathcal {P}} _ {B} ( nabla) F.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e6e521fed5531ade3d9505c076576c42920067ce)
(Примечание: правая часть вышеупомянутого может не лежать в касательном пространстве к коллектору. Следовательно, это не то же самое, что
, которое обязательно лежит в касательном пространстве.)
Если
является вектором, касательным к многообразию, то и геометрическая производная, и внутренняя производная дают одну и ту же производную по направлению:
![{ displaystyle a cdot partial F = a cdot nabla F.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/24b55963357c28fb46beff6ee8adec66afef62aa)
Хотя эта операция вполне допустима, она не всегда полезна, потому что
сам по себе не обязательно находится на коллекторе. Поэтому мы определяем ковариантная производная быть вынужденной проекцией внутренней производной обратно на многообразие:
![{ displaystyle a cdot DF = { mathcal {P}} _ {B} (a cdot partial F) = { mathcal {P}} _ {B} (a cdot { mathcal {P}} _ {B} ( nabla) F).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3d914d3e64afd8b88d937aabe19319adc4252900)
Поскольку любой общий многовектор может быть выражен как сумма проекции и отклонения, в этом случае
![a cdot partial F = { mathcal {P}} _ {B} (a cdot partial F) + { mathcal {P}} _ {B} ^ {{ perp}} (a cdot частичный F),](https://wikimedia.org/api/rest_v1/media/math/render/svg/6729aac0a8f827779874c71b77f8978a99e4b2ac)
мы вводим новую функцию, тензор формы
, что удовлетворяет
![F times { mathsf {S}} (a) = { mathcal {P}} _ {B} ^ {{ perp}} (a cdot partial F),](https://wikimedia.org/api/rest_v1/media/math/render/svg/8e4ce7c2f2cba9b8e1c8b9d26b710b57fea9fdf4)
куда
это коммутаторный продукт. В локальной системе координат
покрывающий касательную поверхность, тензор формы задается формулой
![{ mathsf {S}} (a) = e ^ {i} wedge { mathcal {P}} _ {B} ^ {{ perp}} (a cdot partial e_ {i}).](https://wikimedia.org/api/rest_v1/media/math/render/svg/b2128eed5f5c60f8fe14684acf24dd8540291204)
Важно отметить, что на общем многообразии ковариантная производная не коммутирует. В частности, коммутатор связана с тензором формы соотношением
![[a cdot D, , b cdot D] F = - ({ mathsf {S}} (a) times { mathsf {S}} (b)) times F.](https://wikimedia.org/api/rest_v1/media/math/render/svg/6c457b5b98d9984ddf7e83417307b47560b27170)
Ясно термин
представляет интерес. Однако она, как и собственная производная, не обязательно находится на многообразии. Следовательно, мы можем определить Тензор Римана чтобы быть проекцией обратно на коллектор:
![{ mathsf {R}} (a wedge b) = - { mathcal {P}} _ {B} ({ mathsf {S}} (a) times { mathsf {S}} (b)) .](https://wikimedia.org/api/rest_v1/media/math/render/svg/04c8d16d3e50d6bced71c6eb49618e31b184b530)
Наконец, если
класса
, то мы можем определить внутренние и внешние ковариантные производные как
![{ Displaystyle D cdot F = langle DF rangle _ {r-1},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0f9b1b9568ee0db8f807ce70f59e138551a19e6f)
![D wedge F = langle DF rangle _ {{r + 1}},](https://wikimedia.org/api/rest_v1/media/math/render/svg/a400c34a6f93af681a1f3254c5bd5e1b0524e3fb)
и аналогично для внутренней производной.
Отношение к дифференциальной геометрии
На многообразии локально мы можем сопоставить касательную поверхность, натянутую на набор базисных векторов
. Мы можем связать компоненты метрический тензор, то Символы Кристоффеля, а Тензор кривизны Римана следующее:
![{ displaystyle g_ {ij} = e_ {i} cdot e_ {j},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/aa36db7c71828331cbf0e1ad0af4568f9d3a28c6)
![{ displaystyle Gamma _ {ij} ^ {k} = (e_ {i} cdot De_ {j}) cdot e ^ {k},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/528538f9509db4146384f262fa38a484e301d33e)
![{ displaystyle R_ {ijkl} = ({ mathsf {R}} (e_ {i} wedge e_ {j}) cdot e_ {k}) cdot e_ {l}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8e06acbb800a9a3e9e5c62aa5a8defffbde8c5fc)
Эти соотношения включают теорию дифференциальной геометрии в геометрическое исчисление.
Отношение к дифференциальным формам
В местная система координат (
) координатные дифференциалы
, ...,
сформировать базовый набор однокомпонентных форм внутри карта координат. Учитывая мультииндекс
с
за
, мы можем определить
-форма
![{ displaystyle omega = f_ {I} , dx ^ {I} = f_ {i_ {1} i_ {2} cdots i_ {k}} , dx ^ {i_ {1}} wedge dx ^ { i_ {2}} wedge cdots wedge dx ^ {i_ {k}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7cb08313ff9462a44422ab706c88aa8de96c3806)
В качестве альтернативы мы можем ввести
-сорт мультивектор
в качестве
![{ displaystyle A = f_ {i_ {1} i_ {2} cdots i_ {k}} e ^ {i_ {1}} wedge e ^ {i_ {2}} wedge cdots wedge e ^ {i_ {k}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/18ef43e58ff8742d4df35bba56ce23c98ef4df6f)
и мера
![{ displaystyle { begin {align} d ^ {k} X & = left (dx ^ {i_ {1}} e_ {i_ {1}} right) wedge left (dx ^ {i_ {2}} e_ {i_ {2}} right) wedge cdots wedge left (dx ^ {i_ {k}} e_ {i_ {k}} right) & = left (e_ {i_ {1} } wedge e_ {i_ {2}} wedge cdots wedge e_ {i_ {k}} right) dx ^ {i_ {1}} dx ^ {i_ {2}} cdots dx ^ {i_ {k }}. end {выровнены}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f5b00a0284b68b9e610dbdb7a9e71a5e7791f966)
Помимо тонкой разницы в значении внешнего продукта в отношении дифференциальных форм и внешнего продукта в отношении векторов (в первом случае приращения ковекторы, тогда как в последних они представляют собой скаляры), мы видим соответствия дифференциальной формы
![{ displaystyle omega cong A ^ { dagger} cdot d ^ {k} X = A cdot left (d ^ {k} X right) ^ { dagger},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9b1f3e8c810ed8297efbc6244211312cd19372a5)
его производная
![{ displaystyle d omega cong (D wedge A) ^ { dagger} cdot d ^ {k + 1} X = (D wedge A) cdot left (d ^ {k + 1} X справа) ^ { dagger},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e77f48a2d78c2953472a1e19c131bf130eb19f88)
и это Ходж Дуал
![{ displaystyle star omega cong (I ^ {- 1} A) ^ { dagger} cdot d ^ {k} X,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ebc933d1724b4fbb68430fd06486266c79fa3ad4)
встроить теорию дифференциальных форм в геометрическое исчисление.
История
Ниже представлена диаграмма, обобщающая историю геометрического исчисления.
История геометрического исчисления.
Ссылки и дополнительная литература
- ^ Дэвид Хестенес, Гаррет Собчик: Алгебра Клиффорда в геометрическое исчисление, единый язык для математики и физики (Дордрехт / Бостон: G.Reidel Publ.Co., 1984, ISBN 90-277-2561-6