Я пытаюсь решить атом водорода, и я застрял в полярном уравнении. Для упрощения я взял частный случай, когда чтобы получить уравнение Лежандра:
Я также пытался навязать это для учета движения назад ниже , но с тех пор это просто становится
Вместо того, чтобы расширяться в серии вокруг , вам больше повезет с серией вокруг . Тогда вы получите
Тогда радиус сходимости этого ряда (если он не обрывается) равен
Единственные две особые точки, которые имеет решаемое нами уравнение, — это обычные особые точки при . Поскольку мы расширяемся в серии Тейлора вокруг , наше решение будет аналитическим в этой точке. Но ограниченный радиус сходимости ряда Тейлора означает, что где-то есть сингулярность. В самом деле, у нас все еще есть другая особая точка в . Это как раз та точка сингулярности, за которой ряд расходится, если только он не обрывается.
Но OTOH мы знаем из симметрии задачи (инвариантность гамильтониана относительно -инверсия), что , т.е. либо четно, либо нечетно. Как является аналитическим в по построению следует, что она должна быть аналитической и в .
Затем для этого требуется, чтобы ряд завершался, поэтому аналитичность является граничным условием, которое вы ищете.
Проблема нахождения или обоснования правильных граничных условий для уравнения Шрёдингера (или для обыкновенных дифференциальных уравнений, получающихся в результате его факторизации) — бесконечная история. Такие причины, как « волновые функции должны быть непрерывными », « не может расходиться » или « оно должно стремиться к нулю, потому что мы ожидаем, что вероятность нулевой вероятности » обычно содержат половину правды, но упускают из виду реальную суть и не могут выйти за рамки аргументов, основанных на размахивании руками.
Вероятностная интерпретация требует только того, что для задачи, заданной в области в , была бы интегрируемой, т. е. принадлежала бы гильбертовому пространству . В многие элементы даже не являются непрерывными и могут расходиться при условии, что их квадратный модуль остается интегрируемым.
Условием, которое накладывает действительно сильное ограничение на волновые функции, является дополнительное требование находиться в области самосопряженного оператора. Для дифференциальных операторов самосопряженность является достаточно сильным условием. Конечно, дифференциальная природа оператора требует ограничить область определения подмножеством дифференцируемых элементов оператора. . Но именно требование самосопряженности обеспечивает реальные ограничения на граничные условия. Так, например, обращение в нуль волновой функции на границе для бесконечной квадратной ямы или условия непрерывности для конечного ступенчатого постоянного потенциала — все это можно найти и обосновать как условие, обеспечивающее правильную область, в которой импульс и/или гамильтоновы операторы самосопряжены.
Случай углового момента ничем не отличается. Условие «периодичности» зависимость волновой функции, представленной в сферической координате, снова является следствием ограничения элементами подмножества дифференцируемой функции на где z-компонента углового момента является самосопряженным.
Наконец, также и , а потом наложить ограничение на граничные условия на , всегда как следствие требования самосопряженности. Оказывается (это упражнение по интегрированию по частям), что логарифмическая расходимость волновой функции при и в (в результате значения A, которое не прерывает ряд после конечного числа членов), хотя и совместимо с интегрируемостью квадратного модуля на интервале , не будет совместим с доменом, в котором является самосопряженным.
О причинах и важности самосопряженности для операторов QM я могу положиться на две ссылки здесь, на SE: Почему квантовая механика не довольствуется симметричными операторами, а хочет самосопряженных операторов? и Что именно влечет за собой потребность квантовой механики в самосопряженных, а не только симметричных операторах?
Доказывать ничего не собираюсь, но надеюсь привести разумный аргумент. Предположим, что серия не заканчивается. Что происходит для больших ?
Ну, из вашей рекурсии мы получаем
Прохладный. Таким образом, коэффициенты становятся едиными. Затем мы можем дать приближенное решение только для больших степеней с помощью обычного геометрического ряда:
Но затем подумайте о том, что должно делать ваше решение. Это волновая функция, верно? Поэтому он должен быть нормализуемым, т.е.
А вот вот это примерное решение мы нашли. Что мы получаем?
Что явно расходится. Таким образом, ряд должен закончиться в какой-то момент и для некоторого натурального числа . И это также фиксирует четность показателей в многочлене, так как может обнулить только одну четность коэффициентов, а другая должна быть нулевой с самого начала.
Причина, по которой он должен прекратиться, заключается буквально в физике . Математически дифференциальное уравнение Лежандра имеет два типа решений. Решения типа 1, названные , которые конечны при и типа 2, обозначаемый , которые взрываются в . Поэтому физически мы должны потребовать, чтобы наше решение было конечным при потому что она должна представлять не только нормализуемую функцию, но и ограниченную функцию в проблемной области (в данном случае ), так что мы можем дать его значениям вероятностную интерпретацию. Теперь, как увидеть это из уравнения.
Изучите два случая.
Дело 1: для целое число. В этом случае, как показывает ваша формула рекурсии, коэффициент исчезнет, а остальные с этого момента будут равны нулю. Приведение к полиномам Лежандра первого рода.
Случай 2: . Можно изучить радиус сходимости ряда, взяв предел отношения между коэффициентами
ZeroTheHero
Финеас Николсон