1612725605-4201826098943ec8a5930a8a95852d2f (828606), страница 7
Текст из файла (страница 7)
Покажите, что при a = N(N + 1) в такой яме ровно Nуровней.3.2.Ортогональные полиномыНапомним обыкновенные дифференциальные уравнения второго порядка, которым подчиняются полиномы.Уравнение Лежандра(1 − x2 )y ′′ − 2xy ′ + l(l + 1)y = 0.Уравнение Эрмитаy ′′ − 2xy ′ + 2ny = 0.Уравнение Лагерраxy ′′ + (ν + 1 − x)y ′ + ny = 0.(3.1)Задача 92 . Найти интегральное представление полиномов ЛежандраPl (x) =1 dl 2(x − 1)l .2l l! dxlУказание. Воспользоваться формулой для вычета в полюсе порядка n:f (z)f (n) (z0 )Res=.z→z0 (z − z0 )n+1n!Ответ.Pl (x) = 2−lICгде C — единичная окружность.dz (z 2 − 1)l,2πi (z − x)l+1Задача 93 .
Найти производящую функциюF (r, x) =∞Xl=0r l Pl (x),r < 1.(3.2)433.2. Ортогональные полиномыУказание. Воспользуемся комплексным представлением (3.2). ПолучимI1dzF =.2πi C z − x − (z 2 − 1)r/2Из полюсов√1 − 2rx + r 2rпри r < 1 только z2 лежит внутри контура C.z1,2 =1±Ответ.F =√1.1 − 2rx + r 2√Задача 94 . Выполнить в (3.2) замену переменной z = x + i 1 − x2 exp(iϕ), т. е.√перейти к интегрированию по окружности радиуса 1 − x2 вокруг полюса.Ответ.1Pl =2πZ2π0√[x + i 1 − x2 cos ϕ]l dϕ.Оказался ли ответ вещественным?Задача 95 . Вывести соотношение ортогональностиZ 12δl,l′ .Pl (x)Pl′ (x) dx =2l + 1−1Указание. Ортогональность можно доказать с помощью формулы Родрига, интегрируя по частям l раз.
Другой способ — воспользоваться уравнением Лежандра.Задача 96 . Найти рекуррентные соотношения для полиномов Эрмитаnd2x2e−x .−Hn = edxОтвет.Hn′ = 2nHn−1 .Hn+1 = 2xHn − 2nHn−1 ,Задача 97 . Найти производящую функциюF (x, h) =∞Xn=0hnHn (x).n!Указание. Найти Fh , Fx и решить как уравнения в частных производных.Ответ.2F = e2xh−h .Задача 98 . Решить уравнение (3.1) при ν = 0 методом Лапласа.Указание. Правила преобразования Лапласа:d1) x → − dp;2)ddx→ p;3) порядок операторов сохраняется.443. СПЕЦИАЛЬНЫЕ ФУНКЦИИОтвет.1y(x) =2πiIC(p − 1)n pxe dp.pn+1(3.3)Задача 99 .
Вычислить контурный интеграл (3.3).Ответ.1 x dn n −xex e .n! dxnЗадача 100 . Найти производящую функциюLn =F (x, h) =∞Xhn Ln (x).n=0Указание. Воспользоваться интегральным представлением (3.3).Ответ.3.3.hexp −x 1−h.F =1−hФункции Бесселя1 ′m2y + y + 1 − 2 y = 0,xxm21 ′′′y + y + −1 − 2 y = 0.xx′′(3.4)(3.5)Модифицированное уравнение Бесселя (3.5) получается из (3.4) заменой x → ix (поворотом в комплексной плоскости на прямой угол). Решения (3.4) — функции БесселяJm (x) и Неймана Ym (x) (иногда последние обозначают Nm (x)). Функции Неймана иногданазывают функциями Бесселя второго рода. Решения уравнения (3.5) — это модифицированные функции Бесселя Im (x) и функции Макдональда Km (x). Иногда требуется(1,2)решение уравнения (3.4) в виде линейных комбинаций Hm (x) = Jm (x) ± iYm (x), такназываемые функции Ганкеля (или функции Бесселя третьего рода).Задача 101 .
Из разложения функции Бесселя в рядJm (x) =∞Xn=0(−1)n x 2n+mn!(m + n)! 2вывести рекуррентное соотношение для Jm−1 − Jm+1 .Ответ.′Jm−1 − Jm+1 = 2Jm.Задача 102 . Из разложения функции Бесселя в рядJm (x) =∞Xn=0доказать, что J−m = (−1)m Jm . x 2n+m(−1)nn!Γ(m + n + 1) 2453.3. Функции БесселяyyttγΓxxРис. 3.1. Преобразование контура интегрирования в представлении ШлефлиЗадача 103 . Пользуясь рекуррентными соотношениями, найти производящую функцию∞XF (x, h) =hm Jm (x).m=−∞Ответ. 1xh−.F = exp2h(3.6)Задача 104 . Пользуясь производящей функцией (3.6), найти интегральное представление.Ответ.
Представление Шлефли1Jm (x) =2πiIexpCx1tt−2tm+1dt.(3.7)Покажите, что замена t = eiϕ сводит (3.7) к представлению Бесселя.Задача 105 . Представление (3.7) обобщается на произвольное ν, если заменитьединичную окружность C на контур γ, обходящий в положительном направлении разрез(−∞, 0):Iexp x2 t − 1t1dt.Jν (x) =2πi γtν+1Преобразуя контур интегрирования к единичной окружности и двум горизонтальнымпрямым, идущим по берегам разреза, как показано на рис. 3.1, свести контурный интеграл к обычному.Ответ.Jν (x) =Zπ−πdϕ ix sin ϕ−iνϕ sin πνe−2ππZ∞e−x sh z−νz dz.0Задача 106 . Найти интегральное представление для функции Бесселя нулевогопорядка J0 , решив уравнение Бесселя методом Лапласа.Ответ.
Представление ПуассонаZJ0 (x) =ε+i∞ε−i∞dp exp(px)p.2πi 1 + p2463. СПЕЦИАЛЬНЫЕ ФУНКЦИИpp11CΓ−1−1Рис. 3.2. Преобразование контура интегрирования в представлении ПуассонаК чему сведется представление Пуассона после преобразования Жуковского p = (z −1/z)/2?Задача 107 . Контур интеграла в представлении Пуассона можно замкнуть. Новый контур Γ будет обходить разрез (−i, i) в положительном направлении.
Преобразуяконтур к двум отрезкам по берегам разреза и двум окружностям радиуса ρ → +0, свестипредставление к действительному интегралу (рис. 3.2).Ответ.1J0 (x) =πZ1−1√eitx.1 − t2Глава 4Асимптотические методы4.1.Интеграл ЛапласаГлавный член асимптотики интеграла ЛапласаF (λ) =ZbA(t)eλS(t) dt,λ → +∞aнаходится по формулеF (λ) ∼− A(a)e′λS(a) ,S ′ 6= 0, S(a) > S(b),λS (a)qA(t0 )eλS(t0 ) −λS2π′′ (t ) ,0S ′ (t0 ) = 0, a < t0 < b.Чтобы найти следующие члены, в случае 1 надо интегрировать по частям, а в случае 2разлагать фазу в ряд, удерживая более высокие степени.Задача 108 . Функция ошибок2erfс(x) = √πZ∞2e−t dt,x → +∞.xУказание.
Замена t = xτ делает пределы интегрирования независящими от параметра x. Далее надо интегрировать по частям (случай 1).Ответ.2 1e−x1 − 2 + ... .F (λ) ∼ √πx2xЗадача 109 . Гамма-функция ЭйлераZ ∞Γ(x + 1) =tx e−t dt,0x → +∞.Указание. После замены t = xτ реализуется случай 2.Ответ. Формула Стирлингаn! ∼√2πn n ne.Задача 110 . Найти следующий член разложения Γ(x + 1).484.
АСИМПТОТИЧЕСКИЕ МЕТОДЫУказание. Разложим фазу вплоть до четвертой степени. В области ξ 2 ≪ x−1 , гденабирается интеграл, члены третьей и четвертой степени малы. Разложим соответствующие экспоненты в ряд:111τ0 = 1, S(ξ) = −1 − ξ 2 + ξ 3 − ξ 4 + . . . ,2 342xxx21 − ξ4 + . . .
.≈ e−x e−xξ /2 1 + ξ 3 + ξ 6 + . . .3184S(τ ) = ln τ − τ,exSКуб исчезает при интегрировании в симметричных пределах. Четвертая и шестая сте√√пень дают − 2π3x−3/2 /4 и 2π5x−3/2 /6.Ответ.√ x x 1Γ(x + 1) = 2πx1+.e12x√ √12π2π1+= 0, 999.= 0, 922,ee12Задача 111 . Модифицированная функция БесселяZ1 π x cos θIn (x) =ecos nθ dθ, x → +∞.π 0Указание. S ′ = 0 в точках 0, π, но второй корень — минимум.Ответ.In (x) ∼r1 xe .2πxЗадача 112 . Функция ЛежандраZl√1 πx + x2 − 1 cos θ dθ,Pl (x) =π 0l → +∞,x > 1.Указание.√2S = ln x + x − 1 cos θ ,Ответ.Pl ∼S ′ (0) = S ′ (π) = 0,S ′′ (0) < 0 < S ′′ (π).l+1/2√212 −1x+x.πl (x2 − 1)1/4rРазложение неравномерно при x → ±1.Задача 113 .F (a) =Z0∞2 −a/t2(t4 − a)2n e−tdt,a → +∞.(4.1)Указание.
Чтобы остановить точку, перейдем к новой переменной интегрированияt = a τ.S = −τ 2 − τ −2 , S ′ (1) = 0, S(1) = −2, S ′′ (1) = −8.1/4При n = 0 формула дает правильный ответ, даже если a = 0. Заменой z =R∞a /t (4.1 сводится к a1/2 0 dz/z 2 exp[−a/z 2 − z 2 ]. Записав интеграл в виде полусуммы интеграла(4.1) и преобразованного интеграла, вычислите его точно и сравните сасимптотикой.1/2494.2. Метод стационарной фазыОтвет.√Γ (n + 1/2)(2a)3n/2 e−2 a .2Задача 114 .
Функция МакдональдаZ1 ∞Kν (x) =exp(νt − x ch t) dt, ν → +∞.2 −∞F ∼Указание.S = νt − x ch t, S ′ = ν − x ch t = 0,√2ννt0 = arsh ≈ ln , S ′′ (t0 ) = −x ch t = − ν 2 + x2 .xxПри больших ν стационарную точку можно остановить приближенно заменойt = ln(2ν/x) + τ.Ответ.Kν (x) ∼4.2.rπ2ν2νxνe−ν .Метод стационарной фазыГлавный член асимптотики интегралаZ bF (λ) =A(t)eiλS(t) t.,aλ → +∞находится по формуле A(b)e′λS(b) − A(a)e′λS(a) ,iλS (b)iλS (a)qF (λ) ∼πA(t0 )eiλS(t0 )+i 4 signS ′′ (t0 ) λ|S2π′′ (t )| ,0S ′ (t) 6= 0,S ′ (t0 ) = 0, a < t0 < b.Асимптотика специальных функцийЗадача 115 .
Функция БесселяZ π1Jm (x) =eix sin ϕ−imϕ dϕ,2π −πx → +∞.Указание. Раз в условии ничего не сказано про параметр m, значит, его надодержать фиксированным:S(ϕ) = sin ϕ,Ответ.ϕ1,2 = ±π/2,rS(±π/2) = ±1,S ′′ (±π/2) = ∓1.πm π 21 + O(x−1 ) .cos x −−Jm (x) ∼πx24Задача 116 . Найти асимптотику Jm (m), m → ∞.504. АСИМПТОТИЧЕСКИЕ МЕТОДЫϕРис. 4.1. Секторы сходимости и контур интегрирования к задаче 116Указание. Теперь оба параметра растут одинаковоS(ϕ) = sin ϕ − ϕ,S(0) = 0, S ′ (0) = 0, S”(0) = 0, S ′′′(0) = −1,ϕ0 = 0,получается12ππϕ3exp −im6−πZdϕ.Интеграл по отрицательным ϕ комплексно сопряжен интегралу по положительным.Прежде чем распространить пределы интеграла до ∞, надо найти секторы сходимостии повернуть контур интегрирования так, чтобы он шел по биссектрисе сектора сходимости.
Получается замена ϕ = e−iπ/6 τ (см. рис. 4.1).Ответ.1πJm (m) ∼ cos Γπ6Задача 117 .∗ 1/3641 + O(m−2/3 ) .3mНайти асимптотикуJν (ξ),ξ → ∞,ν= c < 1.ξЗадача 118 . Функция Эйри1Ai(x) =2πZ∞ 3texp i+ xtdt,3−∞x → −∞.Указание. Надо остановить стационарную точку заменой t = |x|1/2 τ . ТогдаS(τ ) = τ 3 /3 − τ,τ1,2 = ±1,2S(±1) = ∓ ,3S ′′ (±1) = ±2.Ответ. Асимптотика функции Эйри в классически разрешенной областиAi(x) ∼r1 −1/42 3/2 π 1 + O(|x|−3/2) .|x|cos|x| −π34514.2.
Метод стационарной фазыАсимптотика Фурье-образаЗадача 119 . Пусть функция f (x) ее первые n − 1 производных непрерывны, а f (n)терпит скачок в точке x = 0:[f ] = [f ′ ] = · · · = [f (n−1) ] = 0,[f (n) ] = 1.Найти асимптотику ее Фурье-образа.Указание. Надо найти асимптотику интегралаZ ∞Jk =f (x)eikx dx, k → ∞.−∞Осталось проинтегрировать n раз по частям.Ответ.[f (n) ]x=01=.n+1(−ik)(−ik)n+1Задача 120 . Найти асимптотикуZ ∞eikxdx, k → +∞.Fk =22−∞ x + aJk ∼Указание. Замкнуть контур и найти вычет в полюсе.Ответ.π −kae .aАсимптотика экспоненциальная, показатель экспоненты определяется расстоянием отвещественной оси до ближайшей особенности.Fk ∼Задача 121 .∞eikxdx, k → +∞.αx−∞ 1 + eУказание.
Полюсы подынтегральной функции лежат на мнимой оси на равныхрасстояниях в точках αx = iπ(2n + 1). Интеграл дается суммой вычетов, которая сводится к геометрической прогрессии.Gk =ZОтвет. Показатель экспоненты в асимптотике дается расстоянием до ближайшейособенности2πi −πk/απi 1e.Gk ∼ −πn ∼ −α sh ααЗадача 122 .∗Hk =Z∞−∞√eikxdx,x2 + a2k → +∞.Указание. Функция Hk сводится к интегралу вокруг разреза (ia, i∞), контур обходит точку ветвления в отрицательном направлении.
Интеграл по окружности x =ia + εeiϕ , −3π/2 < ϕ < π/2 стремится к нулю в пределе ε → 0. Интегралы по берегамразреза x = ia(1 + t), 0 < t < ∞ набираются при малых t → 0.Ответ.r2π −kae .kaПоказатель экспоненты задается расстоянием до точки ветвления. Предэкспонента даетдополнительную слабую зависимость.Hk ∼524. АСИМПТОТИЧЕСКИЕ МЕТОДЫxbiaРис. 4.2.
Контур интегрирования к задаче 122 , проходящий по берегам разреза в отрицательномнаправлении4.3.Метод перевалаНадо оценить асимптотику интегралаZF (λ) = eλS(z) dz, λ → +∞γпо контуру γ с аналитической фазой S(z) в окрестности контура. Сначала найдем стационарную точку z0 , S ′ (z0 ) = 0. Оценка выполняется в два шага.1. Топологическая часть: деформировать контур так, чтобы он прошел через стационарную точку по линии наискорейшего спуска. Такие линии, где Im S(z) =Im S(z0 ) = const называются линиями Стокса. Надо проверить, переходит ли контур интегрирования в ЛС, учитывая правила:а) если интеграл в бесконечных пределах, надо следить, чтобы концы контуране выходили за границы секторов сходимости;б) нельзя при деформации контура пересекать полюса, т.