Я попробовал применить теорию возмущений более чётко (спойлер: ничего нового не получил

).
Допустим, что гамильтониан имеет вид

, где

-- это гамильтониан гармонического осциллятора высокоэнергетической моды со спектром

,

-- интересующая нас степень свободы,

-- каплинг, а

-- параметр возмущения.
Предположим, искомое состояние можно представить как

,
где

-- вектора состояния высокоэнергетичной моды, а

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

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

в уравнении

тоже разложится в ряд:

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

Комбинируя

получаем эффективное уравнение Шрёдингера

с которого всё и пошло в первом сообщении треда.

Дальнейшие поправки будут уже более высокого порядка по

, поэтому массу менять не будут.