Незнакомая нотация в Сакураи

В главе 5, разделе 9 Сакурая, 2-е издание, он использует некоторые обозначения, с которыми я не знаком. Это может подойти для Math.se, но я подумал, что это может быть своеобразной физической нотацией. В любом случае это уравнение 5.9.14 и гласит:

(5.9.14) лим ε 0 1 Икс + я ε знак равно п р . 1 Икс я π дельта ( Икс ) .

Может кто-нибудь объяснить, что происходит с пр./что это значит? Похоже, что это может быть какое-то основное значение... например, основное значение Коши .

РЕДАКТИРОВАТЬ

Раздел о сдвигах энергии и ширине распада из главы о теории возмущений. Это уравнение в основном возникает при разложении энергетических поправок до второго порядка. Энергетический сдвиг второго порядка представляет собой сумму членов, которые выглядят следующим образом:

лим ϵ 0 1 Икс + я ϵ .

Поэтому он проделывает описанный выше небольшой трюк, чтобы разделить реальную и мнимую части энергетической коррекции.

Ответы (2)

Это обозначение из теории распределения в функциональном анализе. Теория распределений предназначена для того, чтобы сделать такие вещи, как дельта Дирака, строгими.

В этом контексте, просто чтобы дать вам один обзор, распределение — это функционал в пространстве тестовых функций. Определим пространство пробных функций над р в качестве Д ( р ) являющееся пространством гладких функций с компактным носителем (то есть множество, где они не равны нулю, ограничено и замкнуто).

В этом случае пространство распределений есть пространство непрерывных линейных функционалов над Д ( р ) и обозначается как Д ( р ) . Если η е Д ( р ) а также ф е Д ( р ) мы обычно обозначаем η ( ф ) по ( η , ф ) . Поскольку распределения — это просто линейные функционалы, мы говорим, что два распределения η , ζ равны, если ( η , ф ) знак равно ( ζ , ф ) для всех ф е Д ( р ) .

Дельта Дирака, например, определяется как дельта е Д ( р ) чье действие на ф е Д ( р ) является ( дельта , ф ) знак равно ф ( 0 ) . Теперь, учитывая ф е Д ( р ) всегда можно построить связанный с ним дистрибутив:

( ф , ψ ) знак равно ф ( Икс ) ψ ( Икс ) д Икс ,   ψ е Д ( р ) .

Однако есть и другие способы превратить одну обычную функцию в распределение, даже если эта функция не является тестовой. Одна из них является главной ценностью. Рассмотреть возможность ф ( Икс ) знак равно 1 Икс . Это, очевидно, не имеет компактной поддержки, поэтому ф Д ( р ) . Мы можем сделать ф однако в распределение, учитывая главное значение:

( Пв 1 Икс , ф ) знак равно лим ϵ 0 + ( ϵ ф ( Икс ) Икс д Икс + ϵ ф ( Икс ) Икс д Икс ) .

Вот что значит книга Пр .

Итак, формула, которую вы утверждаете, - это формула Сохоцкого-Племеля . Его следует читать в дистрибутивном смысле. Говоря это:

лим ϵ 0 1 Икс + я ϵ знак равно Пр 1 Икс я π дельта ( Икс ) .

Действительно означает, что для всех ф е Д ( р ) у нас есть

лим ϵ 0 ( 1 Икс + я ϵ , ф ) знак равно ( Пр 1 Икс , ф ) я π ( дельта ( Икс ) , ф ) ,

куда

( 1 Икс + я ϵ , ф ) знак равно ф ( Икс ) Икс + я ϵ д Икс .

Как ни странно, это не специфическая физическая нотация. Обозначение позволяет интерпретировать 1 / Икс как распределение (что имеет смысл, поскольку оно добавляется к дельта-распределению в правой части уравнения). Для подходящей тестовой функции ф , это распределение определяется как

п в ( 1 / Икс ) ( ф ) знак равно лим ϵ 0 + р [ ϵ , ϵ ] ф ( Икс ) Икс д Икс
Как заметил пользователь anon0909, это распределение называется главным значением 1 / Икс . Учитывая это определение, уравнение, которое появляется в Сакураи, следует интерпретировать как
лим ϵ 0 + ф ( Икс ) Икс + я ϵ знак равно лим ϵ 0 + р [ ϵ , ϵ ] ф ( Икс ) Икс д Икс я π ф ( 0 )

Ах, круто, как будто вы интегрировали этот маленький кусок вокруг 0 выводом контура в верхнюю полуплоскость?
@TylerHG Похоже, вы на правильном пути, пытаясь получить интуицию из сложного анализа, но я не совсем понимаю, что вы имеете в виду.
Вот как это выглядит для меня. Вы разбили интеграл на три части. Две, которые простираются до бесконечности и исключают ноль (часть главного значения), и третья, которая интегрируется в дельта окрестности 0 . Затем, глядя на интеграл вокруг 0 , до н.э Икс маленький, мы можем Тейлор расширить ф и просто остаться с интегралом вокруг 0 из ф ( 0 ) над знаменателем (члены первого порядка исчезают, я думаю). Затем, если мы переместим этот маленький контур в верхнюю полуплоскость, то из теоремы о вычетах мы получим π я ф ( 0 ) вклад в интеграл... кажется действительным?
@TylerHG Хм. Я не понимаю, как это работает. С одной стороны, функция ф не определяется вдали от реальной линии, поэтому я не уверен, как можно интегрировать его по какому-то контуру, падающему на верхнюю половину плоскости. Кроме того, что позволит вам деформировать этот маленький кусочек?
@TylerHG Кстати, я считаю, что стандартный способ доказать идентичность - это умножить числитель и знаменатель на Икс я ϵ , а затем используйте идентификаторы, подобные тому, о котором я спрашиваю здесь: math.stackexchange.com/questions/1156854/…
Я предполагаю, что делаю некоторые предположения о ф аналитична, если рассматривать ее как комплекснозначную функцию. Моя идея по существу возникла из того, как можно вычислять действительные интегралы с полюсами на действительной оси (контуре), расширяя функцию на комплексную плоскость и делая маленькие полукруги вокруг полюсов радиуса ϵ . Я не уверен, как это полностью обосновать... возможно, универсальность алгебры ;).
Это хороший пост на math.se, и, по сути, он требует обоснования, которое мне нужно, лол. Как вы думаете, можно ли считать эту тестовую функцию ограничением сложной функции?
@TylerHG Я не уверен - это было частью содержания моего вопроса о math.SE...