Имеем следующее уравнение Полчинского (2.4.6)
Как именно мы приходим к уравнению 2.4.6 из этих определений? Я понимаю предыдущие утверждения в главе, где они просто расширяются по Тейлору в нормальном порядке, но я не понимаю, как это получается.
В частности, из http://arxiv.org/abs/0812.4408 (упражнение 2.7) как делается вывод, что
Редактировать: Еще один вопрос: у нас есть расширение
дано в Полчинском.
Есть ли какая-либо связь между этим и Идентификацией Уорда, данной Полчински (2.3.11)?
Дают ли они два разных способа вычисления веса данного оператора?
Причина этого вопроса заключается в том, что когда я пытаюсь вычислить приведенное выше, следуя приведенному здесь ответу Identity of Operator Product Expansion (OPE) , я не могу найти, как будет следовать уравнение (18). Кажется, что руководство по решениям каким-то образом заключает правую часть уравнения (18), а затем расширяет по Тейлору, что дает . Если бы кто-то следовал вычислениям, приведенным в приведенной выше ссылке, не пришел бы он к этому автоматически?
Спасибо!
Уравнение (2.4.6): означает, что RHS является наиболее единичным термином LHS. Так
где вторая строка взята из теоремы Вика (уравнение 2.2.9 книги Полчински), а множитель 2 связан с тем, что у вас есть два способа сокращения. И последняя строка из расширения Тейлора.
Я сейчас тоже изучаю эту главу, поэтому некоторые места могут быть неясны в моих расчетах.