Теорема Віка
![]() | Цю статтю треба вікіфікувати для відповідності стандартам якості Вікіпедії. (квітень 2016) |
Ця стаття містить правописні, лексичні, граматичні, стилістичні або інші мовні помилки, які треба виправити. (квітень 2016) |
Теорема Віка — теорема квантової теорії поля, що визначає процедуру приведення добутку (або хронологічного добутку) польових операторів до зручного для усереднення нормального порядку. Виконуючи впорядкування, необхідно міняти оператори місцями, застосовуючи комутаційні співвідношення між ними. При цьому невпорядкований добуток зводиться до суми впорядкованих добутків, помножених на залишки від перестановок (причинні функції). Процедуру сформулював Джан-Карло Вік у 1950 році[1].
Найпростіший приклад
Нехай потрібно обчислити
де та — оператори народження та знищення бозонів. Порядок у цьому добутку не нормальний, оператор знищення стоїть попереду оператора народження. Комутаційне співвідношення для бозонів:
Звідси
- .
У першому члені з правого боку оператори вже стоять у правильному порядку Тоді
- .
Вакуумне середнє від добутку операторів у нормальному порядку дорівнює нулю, що дає
- .
Теорема Віка встановлює, як таку процедуру виконувати в складніших випадках.
Формулювання
За теоремою Віка звичайний добуток локальних польових операторів дорівнює сумі всіх відповідних нормальних добутків зі всілякими спарюваннями, включаючи й нормальний добуток без спарювань. Іншими словами, добуток польових операторів можна представити у вигляді суми нормальних добутків (нормальний добуток позначається двома двокрапками, наприкад ) зі всілякими взаємними спарювання (замінами пари операторів на числову - неоператорну функцію), тобто, у вигляді суми:
- нормального добутку без спарювань ;
- нормальних добутків з одним спарюванням будь-яких двох операторів і :
- Тут дужка знизу означає спаровування, в разі операторів бозе-полів, а також те, що потрібно врахувати парність перестановок операторів Фермі від порядку (1, 2,..., I,..., J,..., n) до порядку (i , j, 1,..., i-1, i + 1,..., j-1, j + 1,..., n).
- нормальних добутків з двома різними спарюваннями.[1]
- нормальних добутків з трьома різними спарювання і так далі. При цьому визначено як вакуумне середнє від добутку спарених операторів: [2]
- .
Для хронологічного добутку лінійних операторів вираз відрізняється тільки заміною простого спаровування на хронологічне (позначається дужкою зверху):[3]
- .
Це означає, що будь-який матричний елемент від звичайного або хронологічного добутку N лінійних операторів зрештою виражається через добутки відповідних спарювань. У квантовій теорії поля це призводить до діаграм Фейнмана, в квантовій статистиці - до діаграмної техніки для температурної (термодинамічної) теорії збурень.
Зовнішні посилання
Виноски
- ↑ G.C. Wick The Evaluation of the Collision Matrix, Phys. Rev. 80, 268 - 272 (1950)