54.2. Вывод спектрального представления.
 
Рассмотрим функцию 
 Согласно условию 52.2В можно записать ее в виде 
Ряд первых членов этой суммы, как и ранее в § 53.2, равен нулю. Так, по соображениям ковариантности 
для безнуклонных состояний 
 Кроме того, рассуждая, как и в § 53.2, убеждаемся, что (14) справедливо также для однонуклонного состояния; поэтому интеграл (13) фактически распространен на область, в которой 
 Теперь ясно, что 
 может 
 
быть представлена в виде 
Вводя для 
 аналогичные импульсные представления через скалярные функции 
 
с помощью (10) и (12) приходим к соотношениям 
Используя здесь (15), получаем также 
Ввиду того, что (17) и (18) вполне аналогичны (53.33) и (53.35), можно теперь дословно повторить для функции 
 рассуждения, относящиеся в § 53.3 к функциям 
 
Этим путем получим: 
где функции 
 — аналитические во всей комплексной плоскости своего аргумента, за исключением линии разреза 
и возрастают на бесконечности не быстрее полинома 
 степени, вследствие чего могут быть представлены в виде, аналогичном (53.52): 
Установим теперь некоторые неравенства, которым должны удовлетворять функции 
. Заметим для этого, что на основании (13) и (15) имеет место соотношение 
 
справедливое при всех 
. Положим в нем
и воспользуемся тем 
, что в обычном представлении 
Тогда получим 
Введем теперь функции 
которые в силу (22) являются неотрицательными: 
и заметим, что 
На основании (20) и (24) можем теперь заключить, что комбинации 
обладают спектральным представлением вида 
При этом очевидно, что в силу (16) и (19) в качестве 
 в (26) можно взять импульсное представление 
 или 
 выбирая лишь согласно (19) соответствующее правило обхода для полюса 
 
 
Спектральное представление (26) можно несколько преобразовать. Заметим для этого, что разности 
по отношению к k являются полиномами степени 
 Поэтому (26) можно записать в виде 
где 
а 
 — постоянные, не содержащие матриц Дирака. 
Как и в случае бозонной функции q, можно показать, что 
 поскольку на основании (53.9) только в этом случае соответствующая функция Грина имеет полюс первого порядка в точке 
. Соответствующее доказательство может быть проведено путем рассмотрения матричного элемента S между двумя однонуклоиными состояниями, так же как и в бозонном случае. 
Наконец, используя вытекающее из определений (5) и (8) свойство сопряжения 
из которого также следует, что 
получим, что все 
 являются вещественными. 
Представление Челлена — Лемана для фермионной функции Грина получается отсюда с помощью (53.9) при дополнительном предположении 
. 
Мы опять (так же, как в § 53.4) встретились здесь с тем интересным фактом, что при наличии нашей системы условий (§ 52.2,3) задание «степени роста» эквивалентно заданию формы лагранжиана.