Почему первое радиальное возбуждение частицы в двумерном кольце Сейчас хорошая погода. Сейчас 2023-03-11T19:58:50.292Z Эмилио Писанти Сейчас хорошая погода. Сейчас 2023-03-11T19:58:50.292Z Рассмотрим квантовую механику массивной частицы, заключенной бесконечными потенциальными стенками в двумерное кольцо.а < г < б а < р < б a<r<b, для которого собственные функции гамильтониана подчиняются стационарному уравнению Шрёдингера −12∇2ψ ( р , θ ) = Eψ ( р , θ )подψ ( а ) = ψ ( б ) = 0. − 1 2 ∇ 2 ψ ( р , θ ) "=" Е ψ ( р , θ ) под ψ ( а ) "=" ψ ( б ) "=" 0. -\frac12\nabla^2 \psi(r,\theta) = E\psi(r,\theta) \qquad \text{under}\quad \psi(a)=\psi(b)=0. Это уравнение Шрёдингера решить так же легко, как уравнение конечной квадратной ямы в 1D: сама волновая функция должна быть линейной комбинацией функций Бесселя первого и второго рода, ψ ( р , θ ) = [ АДжм( к р ) + ВДм( к р ) ]ея м θ, ψ ( р , θ ) "=" [ А Дж м ( к р ) + Б Д м ( к р ) ] е я м θ , \psi(r,\theta) = \bigg[A J_m(kr) +B Y_m(kr)\bigg]e^{im\theta}, гдеЕ"="12к2 Е "=" 1 2 к 2 E=\frac12 k^2, а нуль на внутреннем кольце можно довольно легко решить в явном виде, что дает волновую функцию вида ψ ( р , θ ) знак равно N[Дм( к а )Джм( к р ) -Джм( к а )Дм( к р ) ]ея м θ, ψ ( р , θ ) "=" Н [ Д м ( к а ) Дж м ( к р ) − Дж м ( к а ) Д м ( к р ) ] е я м θ , \psi(r,\theta) = N\bigg[Y_m(ka)J_m(kr) - J_m(ka)Y_m(kr)\bigg]e^{im\theta}, окончательно сведя задачу к решению одного трансцендентного уравнения, Дм( к а )Джм( к б ) -Джм( к а )Дм( к б ) = 0 , Д м ( к а ) Дж м ( к б ) − Дж м ( к а ) Д м ( к б ) "=" 0 , Y_m(ka)J_m(kb) - J_m(ka)Y_m(kb)=0, так называемые нули Бесселя «перекрестного произведения» . Хорошо, с этой небольшой настройкой, я хочу сделать следующее примечание: наблюдение: в пределеб / а ≫ 1 б / а ≫ 1 b/a\gg 1, где кольцо велико по сравнению с его внутренним диаметром, первоем = 0 м "=" 0 m=0возбужденное состояние (т. е. состояние с ровно одним радиальным узлом) находится между нижнимим = 2 м "=" 2 m=2состояние и самое низкоем = 3 м "=" 3 m=3состояние: Источник изображения: Импорт [" http://halirutan.github.io/Mathematica-SE-Tools/decode.m "][" http://i.stack.imgur.com/srzC6.png "] Это проще всего показать графически; график выше показывает разумный асимптотический диапазон вб / у б / а b/a(параметра = 1 а "=" 1 a=1), но поведение сохраняется до значенийб / у б / а b/aнастолько большой, насколько я хотел вставить. Имея это в виду, тогда: Что такого особенного вм = 2 м "=" 2 \mathbf{\boldsymbol m=2}км = 3 м "=" 3 \mathbf{\boldsymbol m=3}шаг? То есть, еслим = 0 м "=" 0 m=0,нр= 1 н р "=" 1 n_r=1состояние будет располагаться асимптотически между двумя определеннымим м mосновные состояния, почему не междум = 0 м "=" 0 m=0им = 1 м "=" 1 m=1? Или, если азимутальные возбуждения принципиально легче радиальных возбуждений, то почему не междум = 1 м "=" 1 m=1им = 2 м "=" 2 m=2? Или, если это произойдет в высокой точкем м mлестница, почему бы и нетм = 3 м "=" 3 m=3км = 4 м "=" 4 m=4илим = 4 м "=" 4 m=4им = 5 м "=" 5 m=5шаги, пока мы здесь? квантовая механика волновая функция потенциал уравнение Шредингера собственное значение Сейчас хорошая погода. Сейчас 2023-03-11T19:58:50.292Z Возможно, можно было бы проверить асимптотическое поведение нулей Бесселя в перекрестном произведении: асимптотическое выражение страницы NIST может дать некоторое представление. Сейчас хорошая погода. Сейчас 2023-03-11T19:58:50.292Z Андерс Сандберг Сейчас хорошая погода. Сейчас 2023-03-11T19:58:50.292Z @AndersSandberg Асимптотика в DLMF предназначена для нулей высокого порядка одного и того же уравнения (т.е. ихν ν \nuмойм м mи ихм м mмойнр н р n_r; результаты асимптотичны по своимм м m), а не поведение нуля самого низкого порядка как само уравнение (черезб б b) изменения. Сейчас хорошая погода. Сейчас 2023-03-11T19:58:50.292Z Эмилио Писанти Сейчас хорошая погода. Сейчас 2023-03-11T19:58:50.292Z Эмилио Писанти Сейчас хорошая погода. Сейчас 2023-03-11T19:58:50.292Z Лучший способ подойти к этому вопросу — перевернуть ограничение на формуа / б → 0 а / б → 0 a/b\to 0, т. е. считать внешний радиус фиксированным, а затем приравнивать внутренний радиус к нулю. Обычно это требуетк а → 0 к а → 0 ka\to 0, и в этом режимеа а a-зависимые коэффициенты уравнения квантования Дм( к а )Джм( к б ) -Джм( к а )Дм( к б ) = 0( ∗ ) ( * ) Д м ( к а ) Дж м ( к б ) − Дж м ( к а ) Д м ( к б ) "=" 0 Y_m(ka)J_m(kb) - J_m(ka)Y_m(kb)=0 \tag{$*$} будут сильно отличаться друг от друга: в то время какДжм( к а ) Дж м ( к а ) J_m(ka)останется ограниченным (а длям > 0 м > 0 m>0, она будет стремиться к нулю),Дм( к а ) Д м ( к а ) Y_m(ka)всегда будет неограниченно расти, а это означает, что в первом приближении к уравнению квантования( ∗ ) ( * ) (*)в этом пределе мы можем просто отбросить член вДм( к б ) Д м ( к б ) Y_m(kb), так что нам остается только Джм( кб ) = 0 . Дж м ( к б ) "=" 0. J_m(kb)=0. То есть порядок радиального и азимутального нулей в этом асимптотическом режиме обусловлен тем, что первые нулиДж1( г) Дж 1 ( г ) J_1(z)иДж2( г) Дж 2 ( г ) J_2(z)произойти до второго нуляДж0( г) Дж 0 ( г ) J_0(z), но первый нульДж3( г) Дж 3 ( г ) J_3(z)находится между вторым и третьим нулямиДж0( г) Дж 0 ( г ) J_0(z): Итак, это решает загадку, но оставляет открытым один вопрос: если условие квантования в этом пределе простоДжм( к б ) = 0 Дж м ( к б ) "=" 0 J_m(kb)=0, то есть идентичны полному кругу без внутреннего ядра, то как же волновой функции удается получить узел в середине? Ответ на этот вопрос заключается в том, чтобы быть немного более точным в отношении приближений, принятых вк а → 0 к а → 0 ka\to 0ограничение, используя количественные оценки дляСм( к а ) С м ( к а ) C_m(ka)коэффициенты: используя асимптотику Джм( г) ∼гмм !2м Дж м ( г ) ∼ г м м ! 2 м J_m(z) \sim \frac{z^m}{m! 2^m} для обычного решения и Дм( г) ∼ -( м - 1 ) !2мπ1гм при  м > 0иД0( г) ∼2πп( г) Д м ( г ) ∼ − ( м − 1 ) ! 2 м π 1 г м  для  м > 0 и Д 0 ( г ) ∼ 2 π п ⁡ ( г ) Y_m(z) \sim -\frac{(m-1)!2^m}{\pi} \frac{1}{z^m} \text{ for }m>0 \quad \text{and} \quad Y_0(z) \sim \frac{2}{\pi} \ln(z) для расходящегося условие квантования имеет вид Джм( к б )Дж0( к б )≈ -πм ! ( м - 1 ) !22 м( к а)2 мДм( к б )для  m > 0 и _ ≈π21п( к а )Д0( к б ) . Дж м ( к б ) ≈ − π м ! ( м − 1 ) ! 2 2 м ( к а ) 2 м Д м ( к б ) для  м > 0 ,   и Дж 0 ( к б ) ≈ π 2 1 п ⁡ ( к а ) Д 0 ( к б ) . \begin{align} J_m(kb) & \approx - \frac{\pi}{m!(m-1)! 2^{2m}} (ka)^{2m}Y_m(kb) \quad \text{for }m>0, \ \text{and}\\ J_0(kb) & \approx \frac{\pi }{2} \frac{1}{\ln(ka)} Y_0(kb). \end{align}До сих пор это говорит нам о том, что мы уже знали:Дм( к б ) Д м ( к б ) Y_m(kb)будет хорошо вести себя на другом конце, ик а к а ka- зависимые факторы будут управлятьДжм( к б ) Дж м ( к б ) J_m(kb)до нуля. Однако более важно то, что теперь мы можем передать эти оценки обратно в саму волновую функцию, которая теперь читается как ψ ( р , θ ) знак равноН′[Джм( к р ) +πм ! ( м - 1 ) !22 м( к а)2 мДм( к р ) ]ея м θ, ψ ( р , θ ) "=" Н ′ [ Дж м ( к р ) + π м ! ( м − 1 ) ! 2 2 м ( к а ) 2 м Д м ( к р ) ] е я м θ , \psi(r,\theta) = N'\bigg[J_m(kr) + \frac{\pi}{m!(m-1)! 2^{2m}} (ka)^{2m}Y_m(kr)\bigg]e^{im\theta}, длям > 0 м > 0 m>0и ψ ( р , θ ) знак равноН′[Дж0( к р ) -π21п( к а )Д0( к р ) ] ψ ( р , θ ) "=" Н ′ [ Дж 0 ( к р ) − π 2 1 п ⁡ ( к а ) Д 0 ( к р ) ] \psi(r,\theta) = N'\bigg[J_0(kr) - \frac{\pi }{2} \frac{1}{\ln(ka)}Y_0(kr)\bigg] \qquad\qquad\qquad\qquad для базового случая. Здесь важно то, что в решении по существу доминируетДжм( к р ) Дж м ( к р ) J_m(kr)срок, так как коэффициентДм( к р ) Д м ( к р ) Y_m(kr)термин исчезает вк а → 0 к а → 0 ka\to 0лимит; поэтому неудивительно, что условие квантования ограничивается случаем полного круга. Однако это доминирование не распространяется вплоть до внутренней границы: решение имеет крошечное количествоДм( к р ) Д м ( к р ) Y_m(kr)в нем, но коэффициент все еще отличен от нуля, а так какк р к р krподходык а к а kaсверху, функция НейманаДм( к р ) Д м ( к р ) Y_m(kr)будет становиться все больше и больше, поэтому для любого конечногоа а aв конечном итоге он станет достаточно большим, чтобы соответствовать крошечности коэффициента, что дает порядок1 1 1который отменит ненулевоеДжм( к а ) Дж м ( к а ) J_m(ka)вклад. Так, например, прим = 0 м "=" 0 m=0волновая функция выглядит как ваша основнаяДж0( к р ) Дж 0 ( к р ) J_0(kr)основное состояние барабана, но с небольшой долейД0( к р ) Д 0 ( к р ) Y_0(kr)это имеет значение только тогда, когда он расходится и вырезает ноль в начале координат. Наконец, просто чтобы задокументировать это здесь: приведенная выше асимптота работает нормально длям ≥ 1 м ≥ 1 m\geq 1, но это не очень хорошо длям = 0 м "=" 0 m=0канал, где сходимость к этой асимптотике является логарифмической, а не степенной. Это действительно можно улучшить, взяв уравнение в том виде, в котором оно было сформулировано изначально, Дм( к а )Джм( к б ) -Джм( к а )Дм( к б ) = 0 ,( ∗ ) ( * ) Д м ( к а ) Дж м ( к б ) − Дж м ( к а ) Д м ( к б ) "=" 0 , Y_m(ka)J_m(kb) - J_m(ka)Y_m(kb)=0, \tag{$*$} и предполагая, что решение не сильно изменится, т.е. установивк б =Джм , н+ δ к б "=" Дж м , н + дельта kb = j_{m,n}+\delta, некоторое возмущение нан н nнулевой изДжм Дж м J_m, и расширениеДжм( к б ) Дж м ( к б ) J_m(kb)линейно относительно этой точки, что дает Джм( К б ) ≈ -Джм + 1(Джм , н) δ, Дж м ( к б ) ≈ − Дж м + 1 ( Дж м , н ) дельта , J_m(kb) \approx -J_{m+1}(j_{m,n})\delta, со всем остальным нетронутым на нуле. Это приводит к линейному уравнению вдельта дельта \delta, которое можно решить, чтобы дать к б =Джм , н−1Дм(Джм , на / б )Джм(Джм , на / б )Дм(Джм , н)Джм + 1(Джм , н). к б "=" Дж м , н − 1 Д м ( Дж м , н а / б ) Дж м ( Дж м , н а / б ) Д м ( Дж м , н ) Дж м + 1 ( Дж м , н ) . kb= j_{m,n} - \frac{1}{Y_m(j_{m,n}a/b)} \frac{J_m(j_{m,n}a/b)Y_m(j_{m,n})}{J_{m+1}(j_{m,n})}. Длям = 0 м "=" 0 m=0, этот первый знаменатель дает асимптотику вида к б =Дж0 , н+π/ 2п( б /Джм , на )Джм(Джм , на / б )Дм(Джм , н)Джм + 1(Джм , н). к б "=" Дж 0 , н + π / 2 п ⁡ ( б / Дж м , н а ) Дж м ( Дж м , н а / б ) Д м ( Дж м , н ) Дж м + 1 ( Дж м , н ) . kb= j_{0,n} + \frac{\pi/2}{\ln(b/j_{m,n}a)} \frac{J_m(j_{m,n}a/b)Y_m(j_{m,n})}{J_{m+1}(j_{m,n})}. Это действительно улучшает сходимость, особенно в приближении сплошной серой линией к основному состоянию: Источник: Импорт[" http://halirutan.github.io/Mathematica-SE-Tools/decode.m "][" http://i.stack.imgur.com/Uk9Eo.png "] Сейчас хорошая погода. Сейчас 2023-03-11T19:58:50.292Z

Рассмотрим квантовую механику массивной частицы, заключенной бесконечными потенциальными стенками в двумерное кольцо. а < р < б , для которого собственные функции гамильтониана подчиняются стационарному уравнению Шрёдингера

1 2 2 ψ ( р , θ ) "=" Е ψ ( р , θ ) под ψ ( а ) "=" ψ ( б ) "=" 0.
Это уравнение Шрёдингера решить так же легко, как уравнение конечной квадратной ямы в 1D: сама волновая функция должна быть линейной комбинацией функций Бесселя первого и второго рода,
ψ ( р , θ ) "=" [ А Дж м ( к р ) + Б Д м ( к р ) ] е я м θ ,
где Е "=" 1 2 к 2 , а нуль на внутреннем кольце можно довольно легко решить в явном виде, что дает волновую функцию вида
ψ ( р , θ ) "=" Н [ Д м ( к а ) Дж м ( к р ) Дж м ( к а ) Д м ( к р ) ] е я м θ ,
окончательно сведя задачу к решению одного трансцендентного уравнения,
Д м ( к а ) Дж м ( к б ) Дж м ( к а ) Д м ( к б ) "=" 0 ,
так называемые нули Бесселя «перекрестного произведения» .


Хорошо, с этой небольшой настройкой, я хочу сделать следующее примечание:

наблюдение: в пределе б / а 1 , где кольцо велико по сравнению с его внутренним диаметром, первое м "=" 0 возбужденное состояние (т. е. состояние с ровно одним радиальным узлом) находится между нижними м "=" 2 состояние и самое низкое м "=" 3 состояние:

Математическая графика

Источник изображения: Импорт [" http://halirutan.github.io/Mathematica-SE-Tools/decode.m "][" http://i.stack.imgur.com/srzC6.png "]

Это проще всего показать графически; график выше показывает разумный асимптотический диапазон в б / а (параметр а "=" 1 ), но поведение сохраняется до значений б / а настолько большой, насколько я хотел вставить.

Имея это в виду, тогда:

  • Что такого особенного в м "=" 2 к м "=" 3 шаг? То есть, если м "=" 0 , н р "=" 1 состояние будет располагаться асимптотически между двумя определенными м основные состояния, почему не между м "=" 0 и м "=" 1 ? Или, если азимутальные возбуждения принципиально легче радиальных возбуждений, то почему не между м "=" 1 и м "=" 2 ? Или, если это произойдет в высокой точке м лестница, почему бы и нет м "=" 3 к м "=" 4 или м "=" 4 и м "=" 5 шаги, пока мы здесь?
Возможно, можно было бы проверить асимптотическое поведение нулей Бесселя в перекрестном произведении: асимптотическое выражение страницы NIST может дать некоторое представление.
@AndersSandberg Асимптотика в DLMF предназначена для нулей высокого порядка одного и того же уравнения (т.е. их ν мой м и их м мой н р ; результаты асимптотичны по своим м ), а не поведение нуля самого низкого порядка как само уравнение (через б ) изменения.

Ответы (1)

Лучший способ подойти к этому вопросу — перевернуть ограничение на форму а / б 0 , т. е. считать внешний радиус фиксированным, а затем приравнивать внутренний радиус к нулю. Обычно это требует к а 0 , и в этом режиме а -зависимые коэффициенты уравнения квантования

( * ) Д м ( к а ) Дж м ( к б ) Дж м ( к а ) Д м ( к б ) "=" 0
будут сильно отличаться друг от друга: в то время как Дж м ( к а ) останется ограниченным (а для м > 0 , она будет стремиться к нулю), Д м ( к а ) всегда будет неограниченно расти, а это означает, что в первом приближении к уравнению квантования ( * ) в этом пределе мы можем просто отбросить член в Д м ( к б ) , так что нам остается только
Дж м ( к б ) "=" 0.
То есть порядок радиального и азимутального нулей в этом асимптотическом режиме обусловлен тем, что первые нули Дж 1 ( г ) и Дж 2 ( г ) произойти до второго нуля Дж 0 ( г ) , но первый нуль Дж 3 ( г ) находится между вторым и третьим нулями Дж 0 ( г ) :

Математическая графика


Итак, это решает загадку, но оставляет открытым один вопрос: если условие квантования в этом пределе просто Дж м ( к б ) "=" 0 , то есть идентичны полному кругу без внутреннего ядра, то как же волновой функции удается получить узел в середине?

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

Дж м ( г ) г м м ! 2 м
для обычного решения и
Д м ( г ) ( м 1 ) ! 2 м π 1 г м  для  м > 0 и Д 0 ( г ) 2 π п ( г )
для расходящегося условие квантования имеет вид
Дж м ( к б ) π м ! ( м 1 ) ! 2 2 м ( к а ) 2 м Д м ( к б ) для  м > 0 ,   и Дж 0 ( к б ) π 2 1 п ( к а ) Д 0 ( к б ) .
До сих пор это говорит нам о том, что мы уже знали: Д м ( к б ) будет хорошо вести себя на другом конце, и к а - зависимые факторы будут управлять Дж м ( к б ) до нуля.

Однако более важно то, что теперь мы можем передать эти оценки обратно в саму волновую функцию, которая теперь читается как

ψ ( р , θ ) "=" Н [ Дж м ( к р ) + π м ! ( м 1 ) ! 2 2 м ( к а ) 2 м Д м ( к р ) ] е я м θ ,
для м > 0 и
ψ ( р , θ ) "=" Н [ Дж 0 ( к р ) π 2 1 п ( к а ) Д 0 ( к р ) ]
для базового случая. Здесь важно то, что в решении по существу доминирует Дж м ( к р ) срок, так как коэффициент Д м ( к р ) термин исчезает в к а 0 лимит; поэтому неудивительно, что условие квантования ограничивается случаем полного круга.

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


Наконец, просто чтобы задокументировать это здесь: приведенная выше асимптота работает нормально для м 1 , но это не очень хорошо для м "=" 0 канал, где сходимость к этой асимптотике является логарифмической, а не степенной.

Это действительно можно улучшить, взяв уравнение в том виде, в котором оно было сформулировано изначально,

( * ) Д м ( к а ) Дж м ( к б ) Дж м ( к а ) Д м ( к б ) "=" 0 ,
и предполагая, что решение не сильно изменится, т.е. установив к б "=" Дж м , н + дельта , некоторое возмущение на н нулевой из Дж м , и расширение Дж м ( к б ) линейно относительно этой точки, что дает
Дж м ( к б ) Дж м + 1 ( Дж м , н ) дельта ,
со всем остальным нетронутым на нуле. Это приводит к линейному уравнению в дельта , которое можно решить, чтобы дать
к б "=" Дж м , н 1 Д м ( Дж м , н а / б ) Дж м ( Дж м , н а / б ) Д м ( Дж м , н ) Дж м + 1 ( Дж м , н ) .
Для м "=" 0 , этот первый знаменатель дает асимптотику вида
к б "=" Дж 0 , н + π / 2 п ( б / Дж м , н а ) Дж м ( Дж м , н а / б ) Д м ( Дж м , н ) Дж м + 1 ( Дж м , н ) .

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

Источник: Импорт[" http://halirutan.github.io/Mathematica-SE-Tools/decode.m "][" http://i.stack.imgur.com/Uk9Eo.png "]

Почему первое радиальное возбуждение частицы в двумерном кольце Сейчас хорошая погода. Сейчас 2023-03-11T19:58:50.292Z Эмилио Писанти Сейчас хорошая погода. Сейчас 2023-03-11T19:58:50.292Z Рассмотрим квантовую механику массивной частицы, заключенной бесконечными потенциальными стенками в двумерное кольцо.а < г < б а < р < б a<r<b, для которого собственные функции гамильтониана подчиняются стационарному уравнению Шрёдингера −12∇2ψ ( р , θ ) = Eψ ( р , θ )подψ ( а ) = ψ ( б ) = 0. − 1 2 ∇ 2 ψ ( р , θ ) "=" Е ψ ( р , θ ) под ψ ( а ) "=" ψ ( б ) "=" 0. -\frac12\nabla^2 \psi(r,\theta) = E\psi(r,\theta) \qquad \text{under}\quad \psi(a)=\psi(b)=0. Это уравнение Шрёдингера решить так же легко, как уравнение конечной квадратной ямы в 1D: сама волновая функция должна быть линейной комбинацией функций Бесселя первого и второго рода, ψ ( р , θ ) = [ АДжм( к р ) + ВДм( к р ) ]ея м θ, ψ ( р , θ ) "=" [ А Дж м ( к р ) + Б Д м ( к р ) ] е я м θ , \psi(r,\theta) = \bigg[A J_m(kr) +B Y_m(kr)\bigg]e^{im\theta}, гдеЕ"="12к2 Е "=" 1 2 к 2 E=\frac12 k^2, а нуль на внутреннем кольце можно довольно легко решить в явном виде, что дает волновую функцию вида ψ ( р , θ ) знак равно N[Дм( к а )Джм( к р ) -Джм( к а )Дм( к р ) ]ея м θ, ψ ( р , θ ) "=" Н [ Д м ( к а ) Дж м ( к р ) − Дж м ( к а ) Д м ( к р ) ] е я м θ , \psi(r,\theta) = N\bigg[Y_m(ka)J_m(kr) - J_m(ka)Y_m(kr)\bigg]e^{im\theta}, окончательно сведя задачу к решению одного трансцендентного уравнения, Дм( к а )Джм( к б ) -Джм( к а )Дм( к б ) = 0 , Д м ( к а ) Дж м ( к б ) − Дж м ( к а ) Д м ( к б ) "=" 0 , Y_m(ka)J_m(kb) - J_m(ka)Y_m(kb)=0, так называемые нули Бесселя «перекрестного произведения» . Хорошо, с этой небольшой настройкой, я хочу сделать следующее примечание: наблюдение: в пределеб / а ≫ 1 б / а ≫ 1 b/a\gg 1, где кольцо велико по сравнению с его внутренним диаметром, первоем = 0 м "=" 0 m=0возбужденное состояние (т. е. состояние с ровно одним радиальным узлом) находится между нижнимим = 2 м "=" 2 m=2состояние и самое низкоем = 3 м "=" 3 m=3состояние: Источник изображения: Импорт [" http://halirutan.github.io/Mathematica-SE-Tools/decode.m "][" http://i.stack.imgur.com/srzC6.png "] Это проще всего показать графически; график выше показывает разумный асимптотический диапазон вб / у б / а b/a(параметра = 1 а "=" 1 a=1), но поведение сохраняется до значенийб / у б / а b/aнастолько большой, насколько я хотел вставить. Имея это в виду, тогда: Что такого особенного вм = 2 м "=" 2 \mathbf{\boldsymbol m=2}км = 3 м "=" 3 \mathbf{\boldsymbol m=3}шаг? То есть, еслим = 0 м "=" 0 m=0,нр= 1 н р "=" 1 n_r=1состояние будет располагаться асимптотически между двумя определеннымим м mосновные состояния, почему не междум = 0 м "=" 0 m=0им = 1 м "=" 1 m=1? Или, если азимутальные возбуждения принципиально легче радиальных возбуждений, то почему не междум = 1 м "=" 1 m=1им = 2 м "=" 2 m=2? Или, если это произойдет в высокой точкем м mлестница, почему бы и нетм = 3 м "=" 3 m=3км = 4 м "=" 4 m=4илим = 4 м "=" 4 m=4им = 5 м "=" 5 m=5шаги, пока мы здесь? квантовая механика волновая функция потенциал уравнение Шредингера собственное значение Сейчас хорошая погода. Сейчас 2023-03-11T19:58:50.292Z Возможно, можно было бы проверить асимптотическое поведение нулей Бесселя в перекрестном произведении: асимптотическое выражение страницы NIST может дать некоторое представление. Сейчас хорошая погода. Сейчас 2023-03-11T19:58:50.292Z Андерс Сандберг Сейчас хорошая погода. Сейчас 2023-03-11T19:58:50.292Z @AndersSandberg Асимптотика в DLMF предназначена для нулей высокого порядка одного и того же уравнения (т.е. ихν ν \nuмойм м mи ихм м mмойнр н р n_r; результаты асимптотичны по своимм м m), а не поведение нуля самого низкого порядка как само уравнение (черезб б b) изменения. Сейчас хорошая погода. Сейчас 2023-03-11T19:58:50.292Z Эмилио Писанти Сейчас хорошая погода. Сейчас 2023-03-11T19:58:50.292Z Эмилио Писанти Сейчас хорошая погода. Сейчас 2023-03-11T19:58:50.292Z Лучший способ подойти к этому вопросу — перевернуть ограничение на формуа / б → 0 а / б → 0 a/b\to 0, т. е. считать внешний радиус фиксированным, а затем приравнивать внутренний радиус к нулю. Обычно это требуетк а → 0 к а → 0 ka\to 0, и в этом режимеа а a-зависимые коэффициенты уравнения квантования Дм( к а )Джм( к б ) -Джм( к а )Дм( к б ) = 0( ∗ ) ( * ) Д м ( к а ) Дж м ( к б ) − Дж м ( к а ) Д м ( к б ) "=" 0 Y_m(ka)J_m(kb) - J_m(ka)Y_m(kb)=0 \tag{$*$} будут сильно отличаться друг от друга: в то время какДжм( к а ) Дж м ( к а ) J_m(ka)останется ограниченным (а длям > 0 м > 0 m>0, она будет стремиться к нулю),Дм( к а ) Д м ( к а ) Y_m(ka)всегда будет неограниченно расти, а это означает, что в первом приближении к уравнению квантования( ∗ ) ( * ) (*)в этом пределе мы можем просто отбросить член вДм( к б ) Д м ( к б ) Y_m(kb), так что нам остается только Джм( кб ) = 0 . Дж м ( к б ) "=" 0. J_m(kb)=0. То есть порядок радиального и азимутального нулей в этом асимптотическом режиме обусловлен тем, что первые нулиДж1( г) Дж 1 ( г ) J_1(z)иДж2( г) Дж 2 ( г ) J_2(z)произойти до второго нуляДж0( г) Дж 0 ( г ) J_0(z), но первый нульДж3( г) Дж 3 ( г ) J_3(z)находится между вторым и третьим нулямиДж0( г) Дж 0 ( г ) J_0(z): Итак, это решает загадку, но оставляет открытым один вопрос: если условие квантования в этом пределе простоДжм( к б ) = 0 Дж м ( к б ) "=" 0 J_m(kb)=0, то есть идентичны полному кругу без внутреннего ядра, то как же волновой функции удается получить узел в середине? Ответ на этот вопрос заключается в том, чтобы быть немного более точным в отношении приближений, принятых вк а → 0 к а → 0 ka\to 0ограничение, используя количественные оценки дляСм( к а ) С м ( к а ) C_m(ka)коэффициенты: используя асимптотику Джм( г) ∼гмм !2м Дж м ( г ) ∼ г м м ! 2 м J_m(z) \sim \frac{z^m}{m! 2^m} для обычного решения и Дм( г) ∼ -( м - 1 ) !2мπ1гм при  м > 0иД0( г) ∼2πп( г) Д м ( г ) ∼ − ( м − 1 ) ! 2 м π 1 г м  для  м > 0 и Д 0 ( г ) ∼ 2 π п ⁡ ( г ) Y_m(z) \sim -\frac{(m-1)!2^m}{\pi} \frac{1}{z^m} \text{ for }m>0 \quad \text{and} \quad Y_0(z) \sim \frac{2}{\pi} \ln(z) для расходящегося условие квантования имеет вид Джм( к б )Дж0( к б )≈ -πм ! ( м - 1 ) !22 м( к а)2 мДм( к б )для  m > 0 и _ ≈π21п( к а )Д0( к б ) . Дж м ( к б ) ≈ − π м ! ( м − 1 ) ! 2 2 м ( к а ) 2 м Д м ( к б ) для  м > 0 ,   и Дж 0 ( к б ) ≈ π 2 1 п ⁡ ( к а ) Д 0 ( к б ) . \begin{align} J_m(kb) & \approx - \frac{\pi}{m!(m-1)! 2^{2m}} (ka)^{2m}Y_m(kb) \quad \text{for }m>0, \ \text{and}\\ J_0(kb) & \approx \frac{\pi }{2} \frac{1}{\ln(ka)} Y_0(kb). \end{align}До сих пор это говорит нам о том, что мы уже знали:Дм( к б ) Д м ( к б ) Y_m(kb)будет хорошо вести себя на другом конце, ик а к а ka- зависимые факторы будут управлятьДжм( к б ) Дж м ( к б ) J_m(kb)до нуля. Однако более важно то, что теперь мы можем передать эти оценки обратно в саму волновую функцию, которая теперь читается как ψ ( р , θ ) знак равноН′[Джм( к р ) +πм ! ( м - 1 ) !22 м( к а)2 мДм( к р ) ]ея м θ, ψ ( р , θ ) "=" Н ′ [ Дж м ( к р ) + π м ! ( м − 1 ) ! 2 2 м ( к а ) 2 м Д м ( к р ) ] е я м θ , \psi(r,\theta) = N'\bigg[J_m(kr) + \frac{\pi}{m!(m-1)! 2^{2m}} (ka)^{2m}Y_m(kr)\bigg]e^{im\theta}, длям > 0 м > 0 m>0и ψ ( р , θ ) знак равноН′[Дж0( к р ) -π21п( к а )Д0( к р ) ] ψ ( р , θ ) "=" Н ′ [ Дж 0 ( к р ) − π 2 1 п ⁡ ( к а ) Д 0 ( к р ) ] \psi(r,\theta) = N'\bigg[J_0(kr) - \frac{\pi }{2} \frac{1}{\ln(ka)}Y_0(kr)\bigg] \qquad\qquad\qquad\qquad для базового случая. Здесь важно то, что в решении по существу доминируетДжм( к р ) Дж м ( к р ) J_m(kr)срок, так как коэффициентДм( к р ) Д м ( к р ) Y_m(kr)термин исчезает вк а → 0 к а → 0 ka\to 0лимит; поэтому неудивительно, что условие квантования ограничивается случаем полного круга. Однако это доминирование не распространяется вплоть до внутренней границы: решение имеет крошечное количествоДм( к р ) Д м ( к р ) Y_m(kr)в нем, но коэффициент все еще отличен от нуля, а так какк р к р krподходык а к а kaсверху, функция НейманаДм( к р ) Д м ( к р ) Y_m(kr)будет становиться все больше и больше, поэтому для любого конечногоа а aв конечном итоге он станет достаточно большим, чтобы соответствовать крошечности коэффициента, что дает порядок1 1 1который отменит ненулевоеДжм( к а ) Дж м ( к а ) J_m(ka)вклад. Так, например, прим = 0 м "=" 0 m=0волновая функция выглядит как ваша основнаяДж0( к р ) Дж 0 ( к р ) J_0(kr)основное состояние барабана, но с небольшой долейД0( к р ) Д 0 ( к р ) Y_0(kr)это имеет значение только тогда, когда он расходится и вырезает ноль в начале координат. Наконец, просто чтобы задокументировать это здесь: приведенная выше асимптота работает нормально длям ≥ 1 м ≥ 1 m\geq 1, но это не очень хорошо длям = 0 м "=" 0 m=0канал, где сходимость к этой асимптотике является логарифмической, а не степенной. Это действительно можно улучшить, взяв уравнение в том виде, в котором оно было сформулировано изначально, Дм( к а )Джм( к б ) -Джм( к а )Дм( к б ) = 0 ,( ∗ ) ( * ) Д м ( к а ) Дж м ( к б ) − Дж м ( к а ) Д м ( к б ) "=" 0 , Y_m(ka)J_m(kb) - J_m(ka)Y_m(kb)=0, \tag{$*$} и предполагая, что решение не сильно изменится, т.е. установивк б =Джм , н+ δ к б "=" Дж м , н + дельта kb = j_{m,n}+\delta, некоторое возмущение нан н nнулевой изДжм Дж м J_m, и расширениеДжм( к б ) Дж м ( к б ) J_m(kb)линейно относительно этой точки, что дает Джм( К б ) ≈ -Джм + 1(Джм , н) δ, Дж м ( к б ) ≈ − Дж м + 1 ( Дж м , н ) дельта , J_m(kb) \approx -J_{m+1}(j_{m,n})\delta, со всем остальным нетронутым на нуле. Это приводит к линейному уравнению вдельта дельта \delta, которое можно решить, чтобы дать к б =Джм , н−1Дм(Джм , на / б )Джм(Джм , на / б )Дм(Джм , н)Джм + 1(Джм , н). к б "=" Дж м , н − 1 Д м ( Дж м , н а / б ) Дж м ( Дж м , н а / б ) Д м ( Дж м , н ) Дж м + 1 ( Дж м , н ) . kb= j_{m,n} - \frac{1}{Y_m(j_{m,n}a/b)} \frac{J_m(j_{m,n}a/b)Y_m(j_{m,n})}{J_{m+1}(j_{m,n})}. Длям = 0 м "=" 0 m=0, этот первый знаменатель дает асимптотику вида к б =Дж0 , н+π/ 2п( б /Джм , на )Джм(Джм , на / б )Дм(Джм , н)Джм + 1(Джм , н). к б "=" Дж 0 , н + π / 2 п ⁡ ( б / Дж м , н а ) Дж м ( Дж м , н а / б ) Д м ( Дж м , н ) Дж м + 1 ( Дж м , н ) . kb= j_{0,n} + \frac{\pi/2}{\ln(b/j_{m,n}a)} \frac{J_m(j_{m,n}a/b)Y_m(j_{m,n})}{J_{m+1}(j_{m,n})}. Это действительно улучшает сходимость, особенно в приближении сплошной серой линией к основному состоянию: Источник: Импорт[" http://halirutan.github.io/Mathematica-SE-Tools/decode.m "][" http://i.stack.imgur.com/Uk9Eo.png "] Сейчас хорошая погода. Сейчас 2023-03-11T19:58:50.292Z