kzv, возражение
Red_Herring насколько как я его понимаю, сводится к следующему:
Пусть функция
удовлетворяет уравнение прежде "возведения в квадрат" операторов:
Теперь нельзя утверждать в общем случае, что
та же самая функция обязательно будет удовлетворять новое уравнение, после "возведения в квадрат" операторов:
Но это по моему, и так понятно - ведь из релятивистким уравнением мы итак не ожидаем, что обязательно получатся те же самые решения в точностью как у нерелятивистким (однако они должны сводится к нерелятивистким, при малых энергий/скоростей). Оно просто конструируется и постулироется "на авось", из каких-то соображений пытаясь получить релятивистки инвариантное уравнение для волновой ф-и (которое будет иметь пределом решений шредингера в нерелятивистком случае).
Что "на самом деле" выполняется якобы квадратичное (релятивисткое) уравнение - можно только попытаться запостулировать как догадку (а нельзя "вывести возведением в квадрат" из нерелятивисткого). Далее, по идее программа должна быть такова: нужно конечно для совместимости показать (если возможно :), что в нерелятивистком приближении (при определенных условий), функции-решения "квадратичного" ("релятивисткого") уравнения, пренебрежимо мало отличаются от решения классического (неквадратичного); что его предсказания потверждаются экспериментом как в релятивисткой, так и нерелятивиской областей и т.д.
С другой стороны ваши рассуждения как бы тоже понятны: если "оператор гамильтониана и
- суть одно и то же" (скажем так, из "физических соображений"), то тогда типа "оператор гамильтониана в квадрате, и оператор
в квадрате - опять суть одно и то же" (якобы из "тех же" физических соображений) - далее подставляем релятивисткое выражение для "гамильтониана в квадрате" из "эмпирического правила подстановки величин соответными операторами", и понеслось... но это все-таки только эвристика, которую нужно будет потверждать, "математического доказательства" или вывода как такового здесь нет.