Квантовая механика; Сакурай; Бесконечно малый перевод

Ниже приводится раздел из книги Сакураи «Современная квантовая механика», где он объясняет оператор перевода. Дж коммутация с позиционным оператором Икс ^ на подпространстве | Икс :

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

Как работает приближение? Я уже пробовал это с рядами Тейлора, но потерпел неудачу.

он должен работать с серией Тейлора. | Икс + г Икс "=" | Икс + г Икс Икс | Икс + О ( г Икс 2 ) а потом умножаешь на г Икс
Означает ли это, что он оценивается в точке Икс г Икс ? Рассматривается ли кет как функция?
почему в какой-то момент | Икс г Икс ? он оценивается в | Икс . Кет рассматривается как функция Икс , в том смысле, что мы можем определить производную стандартным образом: г | Икс / г Икс "=" лим час 0 ( | Икс + час | Икс ) / час . Обратите внимание, что как | Икс находятся в нашем гильбертовом пространстве, у нас есть четко определенные операции сложения и вычитания над ними, а также умножение на скаляры.

Ответы (1)

Мы можем определить производную вектора в гильбертовом пространстве обычным определением производной:

г | Икс г Икс "=" лим г Икс 0 | Икс + г Икс | Икс г Икс
Точно так же мы можем определить высшие производные. Имея их в руках, мы теперь можем формально определить разложение Тейлора, которое с точностью до первого порядка выглядит так:
| Икс 0 + г Икс | Икс 0 + г Икс ( г | Икс г Икс ) Икс 0
Теперь в вашем случае, поскольку сам оператор находится в первом порядке, производный член станет вторым порядком и, следовательно, пренебрежимо мал. В итоге дал:
г Икс | Икс + г Икс г Икс | Икс

глупый вопрос, но как мне получить " г Икс " в первом порядке? В ряду Тейлора первый порядок состоит из вывода функции, умноженной на ( Икс а ) где вообще Икс представляет переменную и а точка оценки. Так что я думаю г Икс исходит от ( Икс а ) , верно? Но как именно?
Так что это было бы ( Икс г Икс ) а как же переменная Икс ?
Если ты хочешь г Икс выйти из разницы, установить Икс Икс + г Икс и а Икс . Тогда вы получите нужный результат. Мы работаем с разницей, приближающейся к нулевому пределу.