Базис, используемый для выражения сферических тензоров
- «Сферический тензор» перенаправляет сюда. О концепции, связанной с операторами, см. тензорный оператор.
| Эта статья поднимает множество проблем. Пожалуйста помоги Улучши это или обсудите эти вопросы на страница обсуждения. (Узнайте, как и когда удалить эти сообщения-шаблоны) | Эта статья нужны дополнительные цитаты для проверка. Пожалуйста помоги улучшить эту статью к добавление цитат в надежные источники. Материал, не полученный от источника, может быть оспорен и удален. Найдите источники: «Сферическая основа» – Новости · газеты · книги · ученый · JSTOR (Апрель 2020 г.) (Узнайте, как и когда удалить этот шаблон сообщения) |
| Эта статья предоставляет недостаточный контекст для тех, кто не знаком с предметом. Пожалуйста помоги улучшить статью к обеспечение большего контекста для читателя. (Апрель 2020 г.) (Узнайте, как и когда удалить этот шаблон сообщения) |
(Узнайте, как и когда удалить этот шаблон сообщения) |
В чистый и Прикладная математика, особенно квантовая механика и компьютерная графика и их приложений, сферическое основание это основа используется для выражения сферические тензоры.[необходимо определение ] Сферический базис тесно связан с описанием углового момента в квантовой механике и сферических гармонических функций.
Пока сферические полярные координаты один ортогональная система координат для выражения векторов и тензоров с использованием полярных и азимутальных углов и радиального расстояния сферический базис строится из стандартная основа и использовать сложные числа.
В трех измерениях
Вектор А в 3D Евклидово пространство ℝ3 можно выразить знакомым Декартова система координат в стандартная основа еИкс, еy, еz, и координаты АИкс, Аy, Аz:
![{ mathbf {A}} = A_ {x} { mathbf {e}} _ {x} + A_ {y} { mathbf {e}} _ {y} + A_ {z} { mathbf {e} } _ {z}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f8bae56da4c12fd5c02b7b6275e11f79bb25514a) | | (1) |
или любой другой система координат с ассоциированным основа набор векторов. Благодаря этому расширьте скаляры, чтобы разрешить умножение на комплексные числа, так что теперь мы работаем в
скорее, чем
.
Основное определение
В сферических основаниях обозначено е+, е−, е0, и соответствующие координаты относительно этого базиса, обозначенные А+, А−, А0, вектор А является:
![{ mathbf {A}} = A _ {+} { mathbf {e}} _ {{+}} + A _ {{-}} { mathbf {e}} _ {{-}} + A_ {0} { mathbf {e}} _ {0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/89bf16fcdb2065b5c7a173b9fa7c0168cd0c03a1) | | (2) |
где сферические базисные векторы могут быть определены в декартовом базисе с использованием сложный -значные коэффициенты в ху самолет:[1]
![{ begin {align} { mathbf {e}} _ {+} & = - { frac {1} {{ sqrt {2}}}} { mathbf {e}} _ {x} - { frac {i} {{ sqrt {2}}}} { mathbf {e}} _ {y} { mathbf {e}} _ {{-}} & = + { frac {1} { { sqrt {2}}}} { mathbf {e}} _ {x} - { frac {i} {{ sqrt {2}}}} { mathbf {e}} _ {y} end {align}} quad rightleftharpoons quad { mathbf {e}} _ { pm} = mp { frac {1} {{ sqrt {2}}}} left ({ mathbf { e}} _ {x} pm i { mathbf {e}} _ {y} right) ,](https://wikimedia.org/api/rest_v1/media/math/render/svg/63008c356005b204b5871b7c4f234590327f27e0) | | (3А) |
в котором я обозначает мнимая единица, и одна нормаль к плоскости в z направление:
![{ mathbf {e}} _ {0} = { mathbf {e}} _ {z}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1cafbc82309aef55335cf7bda458eab8cfad578e)
Обратные отношения следующие:
![{ begin {align} { mathbf {e}} _ {x} & = - { frac {1} {{ sqrt {2}}}} { mathbf {e}} _ {+} + { frac {1} {{ sqrt {2}}}} { mathbf {e}} _ {{-}} { mathbf {e}} _ {y} & = + { frac {i} { { sqrt {2}}}} { mathbf {e}} _ {+} + { frac {i} {{ sqrt {2}}}} { mathbf {e}} _ {{-}} { mathbf {e}} _ {z} & = { mathbf {e}} _ {0} end {align}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c26398a661c1674ac41d8b85a1759219a7450403) | | (3B) |
Определение коммутатора
Хотя определение основы в трехмерном пространстве является допустимым определением сферического тензора, оно охватывает только тот случай, когда ранг
равно 1. Для более высоких рангов можно использовать либо коммутатор, либо определение вращения сферического тензора. Определение коммутатора дается ниже, любой оператор
удовлетворяющий следующим соотношениям, представляет собой сферический тензор:
![[J _ {{ pm}}, T_ {q} ^ {{(k)}}] = hbar { sqrt {(k mp q) (k pm q + 1)}} T _ {{q pm 1}} ^ {{(k)}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f4ba041482aa1f9ed8b0cdda4af926ff6d25f55d)
![[J _ {{z}}, T_ {q} ^ {{(k)}}] = hbar qT_ {q} ^ {{(k)}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b39178911dcedd4c308338df03f1288096e6c81a)
Определение вращения
Аналогично тому, как сферические гармоники преобразуются при повороте, общий сферический тензор преобразуется следующим образом, когда состояния преобразуются при унитарный D-матрица Вигнера
, куда р является элементом группы (вращение 3 × 3) в ТАК (3). То есть эти матрицы представляют элементы группы вращения. С помощью своего Алгебра Ли, можно показать, что эти два определения эквивалентны.
![{ Displaystyle { mathcal {D}} (R) T_ {q} ^ {(k)} { mathcal {D}} ^ { dagger} (R) = sum _ {q ^ { prime} = -k} ^ {k} T_ {q ^ { prime}} ^ {(k)} { mathcal {D}} _ {q ^ { prime} q} ^ {(k)}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8483841b6e674bc230125b76da4be509309de6c2)
Координатные векторы
Для сферической основы координаты являются комплексными числами А+, А0, А−, и его можно найти заменой (3B) в (1), либо рассчитывается непосредственно из внутренний продукт ⟨, ⟩ (5):
![{ displaystyle { begin {align} A _ {+} & = left langle mathbf {A}, mathbf {e} _ {+} right rangle = - { frac {A_ {x}} { sqrt {2}}} + { frac {iA_ {y}} { sqrt {2}}} A _ {-} & = left langle mathbf {A}, mathbf {e} _ { -} right rangle = + { frac {A_ {x}} { sqrt {2}}} + { frac {iA_ {y}} { sqrt {2}}} end {выровнено} } quad rightleftharpoons quad A _ { pm} = left langle mathbf {e} _ { pm}, mathbf {A} right rangle = { frac {1} { sqrt {2} }} left ( mp A_ {x} + iA_ {y} right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e4004234fe082d91d4a9924312828b93deb3e546) | | (4А) |
![A_ {0} = left langle { mathbf {e}} _ {0}, { mathbf {A}} right rangle = left langle { mathbf {e}} _ {z}, { mathbf {A}} right rangle = A_ {z}](https://wikimedia.org/api/rest_v1/media/math/render/svg/611295f21cab3100e4236294e150e4fab9ae68ea)
с обратными отношениями:
![{ begin {align} A_ {x} & = - { frac {1} {{ sqrt {2}}}} A _ {+} + { frac {1} {{ sqrt {2}}}} A _ {{-}} A_ {y} & = - { frac {i} {{ sqrt {2}}}} A _ {+} - { frac {i} {{ sqrt {2}} }} A _ {{-}} A_ {z} & = A_ {0} end {выровнено}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6298ccfeda23232fce8d6810c70c6e209b7280be) | | (4B) |
В общем, для двух векторов с комплексными коэффициентами в одном и том же действительном ортонормированном базисе ея, с собственностью ея·еj = δij, то внутренний продукт является:
![left langle { mathbf {a}}, { mathbf {b}} right rangle = { mathbf {a}} cdot { mathbf {b}} ^ { star} = sum _ { j} a_ {j} b_ {j} ^ { star}](https://wikimedia.org/api/rest_v1/media/math/render/svg/450db5a78c0d2b503874b7fda980a638d20df71b) | | (5) |
где · - обычный скалярное произведение и комплексно сопряженный * необходимо использовать для сохранения величина (или "норма") вектора положительно определенный.
Свойства (три измерения)
Ортонормальность
Сферическая основа - это ортонормированный базис, поскольку внутренний продукт ⟨, ⟩ (5) каждой пары обращается в нуль, что означает, что все базисные векторы взаимно ортогональный:
![left langle { mathbf {e}} _ {+}, { mathbf {e}} _ {{-}} right rangle = left langle { mathbf {e}} _ {{-} }, { mathbf {e}} _ {0} right rangle = left langle { mathbf {e}} _ {0}, { mathbf {e}} _ {+} right rangle = 0](https://wikimedia.org/api/rest_v1/media/math/render/svg/94288c22a247665fb3aee8a6ce331b6fed0543a4)
и каждый базисный вектор представляет собой единичный вектор:
![left langle { mathbf {e}} _ {+}, { mathbf {e}} _ {{+}} right rangle = left langle { mathbf {e}} _ {{-} }, { mathbf {e}} _ {{-}} right rangle = left langle { mathbf {e}} _ {0}, { mathbf {e}} _ {0} right rangle = 1](https://wikimedia.org/api/rest_v1/media/math/render/svg/597495e8c19d0fa90fcc1c6f9aef07fb52bfdad2)
следовательно, необходимость в нормирующих множителях 1 /√2.
Изменение базовой матрицы
Определяющие отношения (3А) можно резюмировать как матрица преобразования U:
![{ begin {pmatrix} { mathbf {e}} _ {+} { mathbf {e}} _ {{-}} { mathbf {e}} _ {0} end {pmatrix} } = { mathbf {U}} { begin {pmatrix} { mathbf {e}} _ {x} { mathbf {e}} _ {y} { mathbf {e}} _ { z} end {pmatrix}} ,, quad { mathbf {U}} = { begin {pmatrix} - { frac {1} {{ sqrt {2}}}} & - { frac { i} {{ sqrt {2}}}} & 0 + { frac {1} {{ sqrt {2}}}} & - { frac {i} {{ sqrt {2}}}} & 0 0 & 0 & 1 end {pmatrix}} ,,](https://wikimedia.org/api/rest_v1/media/math/render/svg/2529e42cd5578c72b3b827fa0968b5b77c78b84d)
с инверсией:
![{ begin {pmatrix} { mathbf {e}} _ {x} { mathbf {e}} _ {y} { mathbf {e}} _ {z} end {pmatrix}} = { mathbf {U}} ^ {{- 1}} { begin {pmatrix} { mathbf {e}} _ {+} { mathbf {e}} _ {{-}} { mathbf {e}} _ {0} end {pmatrix}} ,, quad { mathbf {U}} ^ {{- 1}} = { begin {pmatrix} - { frac {1} {{ sqrt {2}}}} & + { frac {1} {{ sqrt {2}}}} & 0 + { frac {i} {{ sqrt {2}}}} & + { frac {i} {{ sqrt {2}}}} & 0 0 & 0 & 1 end {pmatrix}} ,.](https://wikimedia.org/api/rest_v1/media/math/render/svg/1b587f5bb76560018e9b1ecfd11b01b57f264402)
Видно, что U это унитарная матрица, другими словами, это Эрмитово сопряжение U† (комплексно сопряженный и матрица транспонировать ) также является обратная матрица U−1.
Для координат:
![{ begin {pmatrix} A _ {+} A _ {{-}} A_ {0} end {pmatrix}} = { mathbf {U}} ^ {{ mathrm {*}}} { begin {pmatrix} A_ {x} A_ {y} A_ {z} end {pmatrix}} ,, quad { mathbf {U}} ^ {{ mathrm {*}}} = { begin {pmatrix} - { frac {1} {{ sqrt {2}}}} & + { frac {i} {{ sqrt {2}}}} & 0 + { frac {1} {{ sqrt {2}}}} & + { frac {i} {{ sqrt {2}}}} & 0 0 & 0 & 1 end {pmatrix}} ,,](https://wikimedia.org/api/rest_v1/media/math/render/svg/c857e2070f47d10d027662b07a4136227b5d05c1)
и обратный:
![{ begin {pmatrix} A_ {x} A_ {y} A_ {z} end {pmatrix}} = ({ mathbf {U}} ^ {{ mathrm {*}}}) ^ { {-1}} { begin {pmatrix} A _ {+} A _ {{-}} A_ {0} end {pmatrix}} ,, quad ({ mathbf {U}} ^ { { mathrm {*}}}) ^ {{- 1}} = { begin {pmatrix} - { frac {1} {{ sqrt {2}}}} & + { frac {1} {{ sqrt {2}}}} & 0 - { frac {i} {{ sqrt {2}}}} & - { frac {i} {{ sqrt {2}}}} & 0 0 & 0 & 1 end {pmatrix}} ,.](https://wikimedia.org/api/rest_v1/media/math/render/svg/4f18caf588c8c8f0d2a65e005a7d690f57a76db0)
Перекрестные продукты
Принимая перекрестные продукты сферических базисных векторов находим очевидное соотношение:
![{ mathbf {e}} _ {{q}} times { mathbf {e}} _ {{q}} = { boldsymbol {0}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a72798d5451ce7981fe8b605c2cad4e28771b57b)
куда q является заполнителем для +, -, 0 и двух менее очевидных отношений:
![{ mathbf {e}} _ {{ pm}} times { mathbf {e}} _ {{ mp}} = pm i { mathbf {e}} _ {0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/afa22376443a8a4422ecc7317371be13791d639b)
![{ mathbf {e}} _ {{ pm}} times { mathbf {e}} _ {{0}} = pm i { mathbf {e}} _ {{ pm}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/07e790559e370f245c5e45c29113057c09326acb)
Внутреннее изделие в сферической основе
Внутренний продукт между двумя векторами А и B в сферической основе следует из приведенного выше определения внутреннего продукта:
![left langle { mathbf {A}}, { mathbf {B}} right rangle = A _ {+} B _ {+} ^ { star} + A _ {{-}} B _ {{-}} ^ { star} + A_ {0} B_ {0} ^ { star}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f9f18fffa33cedfd3a7bc1d7fcfd8c759942aa14)
Смотрите также
Рекомендации
Общий
внешняя ссылка