Регуляризация эффекта Казимира

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

Наивно вычисление давления Казимира приводит к бесконечным суммам и поэтому требует регуляризации. Можно использовать несколько регуляторов, которые дают один и тот же ответ: дзета-функцию, тепловое ядро, гауссову функцию и, возможно, другие. Вопрос в том:

Какова математическая причина, по которой все регулирующие органы дают один и тот же ответ?

С физической точки зрения это означает, что эффект нечувствителен к детальной физике УФ-отсечки, которая в реальной ситуации связана со свойствами используемых проводников. В Википедии упоминается, что для некоторых более сложных геометрий эффект чувствителен к отсечке, так почему же для классического примера с параллельными плоскостями это не так?

РЕДАКТИРОВАТЬ: Аарон предоставил замечательного реферала Терри Тао, относящегося к этой проблеме. Из этого текста видно, что расходящаяся сумма энергии вакуума может быть разложена на конечную и бесконечную части, причем конечная часть не зависит от выбора регулятора. Тем не менее, бесконечныйчасть зависит от выбора регулятора (см. уравнение 15 в тексте Тао). Теперь у нас есть еще один параметр в задаче: расстояние между плоскостями проводников L. Что нам нужно показать, так это то, что бесконечная часть не зависит от L. Это все еще кажется чудом, поскольку это должно происходить для всех регуляторов. Более того, если я не запутался, это не работает для игрушечного примера безмассового скаляра в 2D. Для этого примера все члены в сумме энергии вакуума пропорциональны 1/L, следовательно, бесконечная часть асимптотики суммы также пропорциональна 1/L. Итак, у нас есть «чудо», которое происходит только для определенных геометрий и размеров.

Я думаю, что ответ на вопрос заключается в том, что для перенормируемых теорий ответ должен быть независимым от регуляризации (после того, как вы уберете отсечку/регуляризацию).

Ответы (5)

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

Спасибо, Аарон, отличный реф! Я думаю, что что-то все еще неясно. Я собираюсь отредактировать вопрос соответственно
Дао великолепен, но это просто неправильный ответ на исходный вопрос. Текст Тао в значительной степени чисто математический и не содержит никакого физического (КТП, перенормировка) анализа ситуации, а именно констант связи, контрчленов или регуляторов, симметрий, ограничивающих законы физики, если таковые имеются, а также зависимости или независимости физических наблюдаемых от них. вещи. Таким образом, 1.

Хотя я не знаю, существует ли общее доказательство, я думаю, что эффект Казимира перенормируемой квантовой теории поля должен быть полностью понят с помощью теории перенормировок на многообразиях с краем. Ключевой особенностью является то, что, вообще говоря, нельзя пренебрегать перенормировкой констант связи в граничных членах. Используя эту стратегию, Бондаг и Василевич заметили, что перенормировка члена поверхностного натяжения (полное действие, включая поверхностные члены, дано в уравнении 44) дает контрчлен, который аннулирует расходящийся член в энергии Казимира диэлектрического шара, который не может быть сокращен. вычитанием энергии нулевой точки (как было указано теми же авторами вместе с Кирстен в предыдущей работе). В более поздней работе авторы проверили, что модель, включающая поверхностные члены, перенормируема в одном цикле.

Хороший физический ответ, +1, в отличие от просто дешевого создания URL-адресов обожаемых обладателей медалей Филдса, которые, несмотря на свое величие, практически не дают ответа на исходный вопрос, а именно, что можно настроить в параметрах, описывающих эти физические ситуации. (пластины против других геометрий).
Нужно понимать, что любое граничное условие (например, E=0) является решением связанных уравнений зарядов и полей. Таким образом, эффект Казимира — это взаимодействие зарядов в КТП, а не просто «эффект вакуумного поля».

(Этот аргумент относится к одномерной системе, но аналогичные аргументы могут быть приведены и в более высоких измерениях. Мы работаем в единицах с с знак равно знак равно е знак равно 1 ).

Предположим, у нас есть некоторая процедура регулятора, параметризованная порогом импульса Λ . Тогда для расстояния л между двумя параллельными пластинами, мы можем разложить регуляризованную сумму энергии по степеням обрезания как

Е знак равно а л Λ 2 + б л Λ + с л + О ( 1 Λ ) .
Мы можем вывести зависимость а л а также б л размерным анализом. Первые два члена возникают из-за вклада в сумму очень высоких энергий. Следовательно, они не могут зависеть от таких вещей, как, скажем, масса электрона, которой можно пренебречь при высоких энергиях; единственная доступная шкала энергии - 1/L. Таким образом, единственная зависимость, допускаемая размерным анализом, имеет вид а л знак равно α л , б л знак равно β для некоторых безразмерных констант α а также β . Итак, мы получаем
Е знак равно α л Λ 2 + β Λ + с л + О ( 1 Λ ) .
Ясно, что второе слагаемое выпадет при вычислении силы г Е / г л . А первый срок? Обратите внимание, что с обеих сторон любой пластины всегда есть вакуум . Если мы переместим тарелку на г Икс , то первый член дает увеличение энергии вакуума слева на α Λ 2 г Икс , но это также дает уменьшение энергии вакуума справа на ту же величину. Следовательно, пока мы вычисляем производную от полной энергии вакуума, первое слагаемое также выпадает.

Это показывает, что (в пределе большой отсечки, так что О ( 1 / Λ ) термины исчезают) сила исходит исключительно от с л , что на самом деле не зависит от обрезания! Можно было бы надеяться, что этот термин фактически не зависит от всех деталей регулирующего органа; сообщение Теренса Тао (упомянутое уже в ответе Аарона) доказывает это в особом случае, то есть в свободном безмассовом бозоне.

Вы вполне могли бы задать тот же вопрос о любом расчете в квантовой механике: почему разные регуляторы для формально различных величин дают один и тот же результат? Ответ заключается в том, что если предположить, что эти регуляторы не нарушают важные симметрии, влияющие на наши измерения (например, лоренц-инвариантность), тогда регуляторы только связываются с физикой в ​​УФ-диапазоне, а физику в ИК-диапазоне оставляют прежней. Если нас интересует физика низких энергий, то все различные регуляторы оставят интересующие нас величины нетронутыми и изменят только несущественные детали высоких энергий. Это не чудо! См. также обсуждение в: Какие методы перенормировки доступны для 3+1 КЭД?

В оригинальной статье Казимира он представил вывод, который показывает, что любой «разумный» выбор регулятора даст тот же результат. По сути, это то, что Терри Тао рассказывает в своем блоге, но его сообщение довольно подробное, и, возможно, более удобоваримая презентация может быть полезной! Это выглядит так:

В одномерном ящике частоты квантуются до частот плоских волн, ю н знак равно π н куда это размер коробки. Тогда давайте определим

Е ( ) знак равно н 1 2 ю н
сумма нулевых энергий этих мод. Давайте теперь изменим эту сумму с помощью (в основном) произвольного регулятора,
Е ( ) знак равно π 2 н н   ф   ( н Λ )
где мы просто умножили каждый член суммы на ф ( н Λ ) . Мы предполагаем только, что эта функция ф ( Икс ) умирает быстрее, чем Икс 1 , и что ф ( 0 ) знак равно 1 . Первое требование заключается просто в том, чтобы регулятор отключал режимы только при высоких энергиях — УФ-частоты проходят насквозь коробку. Второе требование состоит как раз в том, что регулятор не должен влиять на спектр в ИК.

Теперь представим, что у нас есть пара мест, разделенных расстоянием а , внутри большей коробки размера л , показано ниже 1 :

введите описание изображения здесь

Если мы уйдем л фиксированные и варьируются а , сила на стенках наших плит на расстоянии а является г Е / г а . Энергия л а сторона коробки есть

Е ( л а ) знак равно π 2 н н ( л а )   ф   ( н ( л а ) Λ )

и если мы возьмем континуальный предел л , мы получаем

Е ( л а ) π 2 ( л а ) Λ 2 Икс ф ( Икс ) г Икс
Теперь, добавляя дискретную сумму между пластинами к континуальной сумме снаружи пластин, мы получаем
Е т о т а л знак равно Е ( а ) + Е ( л а ) знак равно π 2 л Λ 2 Икс   ф ( Икс ) г Икс + π 2 а ( н   н   ф ( н а Λ )   н   ф ( н а Λ ) г н )
Разница между суммой функции и ее интегралом определяется формулой Эйлера-Маклорена:
н знак равно 1 Н ф ( н ) 0 Н ф ( н ) г н знак равно ф ( 0 ) + ф ( Н ) 2 + ф ( 0 ) ф ( 0 ) 12 + . . . Б Дж ф ( Дж 1 ) ( 0 ) + ф ( Дж 1 ) ( Н ) Дж !
куда Б Дж являются числами Бернулли.

Хорошо, теперь нас интересуют только те части этого выражения, которые зависят от а , так как мы собираемся дифференцировать по а . Выделение этих терминов,

Е т о т а л знак равно π ф ( 0 ) 24 а Б 4 4 ! 3 π 2 а 3 Λ 2 ф ( 0 ) + . . .
где . . . члены подавляются возрастающими степенями Λ . Если Λ берется большим, отбрасываем все, кроме первого слагаемого; напоминая, что мы требовали ф ( 0 ) знак равно 1 тогда мы получим силу Казимира
Ф знак равно г Е г а знак равно π 24 а 2

Теперь людям часто непонятно, почему, например, эзотерические манипуляции, такие как дзета-регуляризация, дают правильный ответ. Приведенный выше аргумент демистифицирует, почему хорошие регуляторы являются хорошими регуляторами: вы можете расширить разницу между фактической суммой, суммированной до отсечки, и дзета-суммой (или любой другой суммой — возможно, суммой теплового ядра), используя Эйлера-Маклорена, и показать, что существует универсальная часть, которая не затронута выбором отсечки. Плохие вещи могут произойти только в том случае, если регуляторы нарушат симметрию.

Вы беспокоитесь, что с другой геометрией или размерами это не работает, но это работает! Пока регулятор не нарушает симметрию геометрии, все в порядке. не понятно что у тебя 2 г скалярный пример, который вы имеете в виду, но если это задача типа Казимира, то бесконечная часть точно не будет зависеть от расстояния между пластинами, так что у нас все в порядке. Более ранний и интересный ответ указывает на то, что иногда, если пластины имеют странную границу, регулятору нужно сделать больше, чем просто «вычесть энергию нулевой точки» - суть в том, что вам нужно возиться с физикой УФ только в некотором роде. соблюдая симметрию границы.

1 Изображение (и вывод) бесстыдно украдено из учебника QFT Мэтта Шварца.

пара мест -> пара тарелок
Как это объясняет дзета-регуляризацию? | ю 0 | с не равно 1!

Величины, которые мы можем измерить в лаборатории, конечны. У нас есть математические модели, которые при наивном использовании дают бесконечные значения величин, которые мы можем измерить. Считайте эти бесконечные значения артефактами конкретной математической модели/инструмента/метода вычислений. Если можно идентифицировать способы, которыми конкретный тип бесконечности последовательно возникает в математической модели/методе, то можно отслеживать его и «вычитать, если нет» (т. е. перенормировать его) согласованным образом.

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

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