Вторинне квантування ферміонів — математичний метод опису системи частинок, що складається із ферміонів. В представленні чисел заповнення автоматично враховується властивість тотожності частинок та необхідна симетрія хвильової функції відносно перестановок частинок.
Як відомо, для системи ферміонів справедливий принцип Паулі, згідно з яким у кожному одночастинковому стані не може перебувати більш ніж один ферміон. Дослідження системи однакових ферміонів можна почати з найпростішого випадку системи, яка містить N {\displaystyle N} ферміонів малої енергії, що не взаємодіють між собою.
Припустимо, що стан руху окремого ферміона в деякому зовнішньому полі, яке породжується іншими частинками, (наприклад, атомними ядрами в атомах чи молекулах), визначається оператором Гамільтона H ( ξ ) {\displaystyle H(\xi )\ } , де ξ {\displaystyle \xi \ } - сукупність просторовох та спінових змінних. Нехай ϵ s {\displaystyle \epsilon _{s}\ } та ϕ s ( ξ ) − {\displaystyle \phi _{s}(\xi )-\ } відповідно власні значення та власні функції оператора H ( ξ ) {\displaystyle H(\xi )\ } . Індекс s {\displaystyle s\ } характеризує всі квантові числа, які визначають одночастинкові стани. Повний гамільтоніан в координатному представленні буде:
Хвильова функція в тому ж представленні є антисиметричною функцією ψ ( ξ 1 , ξ 2 , . . . , ξ N ) {\displaystyle \psi (\xi _{1},\xi _{2},...,\xi _{N})} , яка залежить від 4 N {\displaystyle 4N} змінних, ξ i {\displaystyle \xi _{i}\ } - сукупність просторових та спінових змінних i − {\displaystyle i-} ї частинки.
В представленні чисел заповнення стан системи визначається вказуванням числа частинок у кожному одночастинковому стані. Нехай оператор числа частинок в стані n ^ s = α s + α s {\displaystyle {\hat {n}}_{s}=\alpha _{s}^{+}\alpha _{s}\ } має вигляд:
Для того, щоб цей оператор описував стани системи ферміонів, він повинен згідно з принципом Паулі мати тільки два власні значення: 0 та 1. Тому в представленні чисел заповнення ермітовий оператор n ^ s {\displaystyle {\hat {n}}_{s}\ } зображається діагональною матрицею
Необхідно відзначити, що оператор числа частинок в системі бозонів визначався нескінченною матрицею, а дві власні функції оператора числа частинок, які належать відповідно до власних значень 0 та 1, мають вигляд:
Можна припустити, що оператор α s {\displaystyle \alpha _{s}\ } є оператором зменшення числа частинок в стані s {\displaystyle s\ } на одиницю, тоді як за визначенням:
Таким чином, в представленні з діагональним оператором n ^ s {\displaystyle {\hat {n}}_{s}\ } оператор α s {\displaystyle \alpha _{s}\ } визначається неермітовою матрицею:
а ермітово спряжений оператор до α s {\displaystyle \alpha _{s}\ } :
має таку властивість, що:
з чого випливає, що оператор α s + {\displaystyle \alpha _{s}^{+}\ } збільшує на одиницю число частинок в стані α s {\displaystyle \alpha _{s}\ } , якщо в цьому стані не було частинок, і перетворює в нуль функцію, яка відповідає стану s {\displaystyle s\ } з одною частинкою. Із цих визначень випливають перестановочні співвідношення для введених операторів, які ми будемо називати «фермі-операторами»:
де фігурні дужки використовуються для позначення антикомутатора двох операторів:
Порядок розташування операторів в антикомутаторі не має значення, { α , β } = { β , α } {\displaystyle \left\{\alpha ,\beta \right\}=\left\{\beta ,\alpha \right\}\ } , тому дія операторів α s {\displaystyle \alpha _{s}\ } та α s + {\displaystyle \alpha _{s}^{+}\ } може бути оберненою.
Оператори α s + {\displaystyle \alpha _{s}^{+}\ } та α s {\displaystyle \alpha _{s}\ } визначаються приведеними вище матрицями не повністю. Необхідно ще вказати зв'язок цих операторів з операторами α s 1 + {\displaystyle \alpha _{s1}^{+}\ } та α s 1 {\displaystyle \alpha _{s1}\ } для інших станів. Можна вважати, за аналогією з випадком Бозе-частинок, що співвідношення типу α s , α l = 0 {\displaystyle {\alpha _{s},\alpha _{l}}=0\ } виконуються для всіх операторів, крім операторів α s + {\displaystyle \alpha _{s}^{+}\ } та α s {\displaystyle \alpha _{s}\ } (для кожного стану s {\displaystyle s\ } ), для якого α s , α s + = 1 {\displaystyle {\alpha _{s},\alpha _{s}^{+}}=1\ } . Іншими словами, необхідно вимагати, щоб оператори α s 1 , α s 2 , . . . {\displaystyle \alpha _{s1},\alpha _{s2},...\ } задовольняли умови:
де
δ s l = { , 0 s ≠ l 1 , s = l {\displaystyle \delta _{sl}={\begin{cases},0&s\neq l\\1,&s=l\end{cases}}} -
символ Кронекера. Подібні співвідношення приводять до правильного опису систем ферміонів.
Вперше операторний метод розгляду квантових систем з великою кількістю однакових частинок був запропонований Діраком в 1927 році.
Широку популярність даний метод отримав після того, як Боголюбов в 1958 році використав його для презентації формальної моделі Бардіна-Купера-Шріффера для опису процесів надпровідності.
В 1989 році Якимаха використав цей метод для опису квантових явищ в МДН-транзисторах, які працюють в режимах сильної та надсильної інверсії.
Слід відзначити, що повний метод використання формалізму Дірака в квантовій механіці здійснив Вільям Луїзелл в 1973 році (за допомогою використання віртуальних LC — контурів). В рамках даного методу опису квантових явищ можна зрозуміти всі процеси, що протікають в мікроскопічних об'єктах природи. Слід також відзначити, що це перша книга з квантової механіки, написана в Міжнародній системі величин (ISQ) .
Операторний формалізм Дірака-...- Луїзелла претендує на альтернативний опис "Квантової електродинаміки" (кому подобається - "Квантової теорії поля", з елементарними частками включно). На сьогодні він широко використовується в квантовому комп'ютінгу (завдяки Деворету).