Professional Documents
Culture Documents
Специальные функции
Асимптотики
Д.А.Шапиро
кафедра теоретической физики НГУ
8 июля 2002 г.
Оглавление
4 Метод годографа 27
4.1 Преобразование годографа . . . . . . . . . . . . . . . . . . . . . . . 27
4.2 Потенциал χ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
4.3 Политропный газ . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
1
ОГЛАВЛЕНИЕ 2
7 Разделение переменных 42
7.1 Полное разделение переменных . . . . . . . . . . . . . . . . . . . . 42
7.2 Метод Фурье . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
8 Цилиндрические функции 49
8.1 Задача о круглой мембране . . . . . . . . . . . . . . . . . . . . . . . 49
8.2 Функции Бесселя . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
Разложение в ряд . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
Рекуррентное соотношение . . . . . . . . . . . . . . . . . . . . . . 52
Интегральные представления . . . . . . . . . . . . . . . . . . . . . 52
Соотношение ортогональности . . . . . . . . . . . . . . . . . . . . . 55
9 Сферические функции 56
9.1 Частица в центральном поле . . . . . . . . . . . . . . . . . . . . . . 56
9.2 Функции Лежандра . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
9.3 Сферические функции Бесселя . . . . . . . . . . . . . . . . . . . . 60
10 Аналитическая теория 62
10.1 Канонический вид . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
10.2 Обыкновенная точка . . . . . . . . . . . . . . . . . . . . . . . . . . 63
10.3 Особая точка . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
10.4 Теорема Фукса . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
10.5 Уравнения класса Фукса . . . . . . . . . . . . . . . . . . . . . . . . 68
11 Гипергеометрические функции 70
11.1 Функция Гаусса . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
11.2 Вырожденная гипергеометрическая функция . . . . . . . . . . . . 71
11.3 Примеры . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72
Уравнение Лежандра . . . . . . . . . . . . . . . . . . . . . . . . . . 72
Уравнение Бесселя . . . . . . . . . . . . . . . . . . . . . . . . . . . 72
Линейный осциллятор . . . . . . . . . . . . . . . . . . . . . . . . . 73
Атом водорода . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74
ОГЛАВЛЕНИЕ 3
12 Асимптотические методы 77
12.1 Асимптотическое разложение . . . . . . . . . . . . . . . . . . . . . 77
12.2 Интеграл Лапласа . . . . . . . . . . . . . . . . . . . . . . . . . . . . 78
12.3 Метод стационарной фазы . . . . . . . . . . . . . . . . . . . . . . . 81
13 Метод перевала 84
13.1 Седловая точка . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 84
13.2 Топологический и аналитический этапы . . . . . . . . . . . . . . . 85
13.3 Примеры . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 87
14 Метод усреднения 92
14.1 Усредненное уравнение . . . . . . . . . . . . . . . . . . . . . . . . . 93
14.2 Метод Боголюбова — Крылова . . . . . . . . . . . . . . . . . . . . . 96
14.3 Примеры . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 96
15 Явление Стокса 99
15.1 Квазиклассическое приближение . . . . . . . . . . . . . . . . . . . 99
15.2 Простая точка поворота . . . . . . . . . . . . . . . . . . . . . . . . 100
Свойства матрицы перехода . . . . . . . . . . . . . . . . . . 102
15.3 Две простых точки поворота . . . . . . . . . . . . . . . . . . . . . . 105
Литература 107
∂u ∂ 2u ∂ 2 u ∂ mu
∂u
F x; u; ,..., ; , , . . . , k1 = 0, (1.1)
∂x1 ∂xn ∂x21 ∂x1∂x2 ∂x1 . . . ∂xknm
4
ЛЕКЦИЯ 1. УРАВНЕНИЯ В ЧАСТНЫХ ПРОИЗВОДНЫХ 5
Уравнения Максвелла
Уравнения Максвелла в пустоте [3]
1 ∂H
rot E = − , div E = 0, (1.7)
c ∂t
1 ∂E
rot H = , div H = 0 (1.8)
c ∂t
представляют собой систему 8 линейных уравнений первого порядка для 6 неиз-
вестных функций, компонент векторов электрического и магнитного поля E, H.
Чтобы свести их к уравнениям второго порядка, введем потенциалы φ(r, t), A(r, t)
так, чтобы
1 ∂A
E = −∇φ − , H = rot A. (1.9)
c ∂t
В выборе потенциалов имеется некоторый произвол, калибровочная инвариант-
ность [3, §18]. Выберем лоренцеву калибровку
1 ∂φ
+ divA = 0
c ∂t
и подставим поля, выраженные через потенциалы, из (1.9) в (1.7), (1.8). Урав-
нение (1.7) для rot E превращается в тождество. Уравнение (1.8) для rot H, если
воспользоваться формулой векторного анализа rot rot A = − 4 A + ∇div A, пре-
вращается в систему трех волновых уравнений
A = 0.
Уравнение Шредингера
В квантовой механике состояние частицы описывается волновой функцией
Ψ(r, t), квадрат модуля которой имеет смысл плотности вероятности найти ча-
стицу в окрестности данной точки r в момент времени t [4]. Волновая функция
удовлетворяет уравнению Шредингера
∂Ψ
i~ = ĤΨ,
∂t
Уравнение теплопроводности
Плотность внутренней энергии сплошной среды cp T (cp — теплоемкость, T —
температура) проинтегрируем по объему V . Получится полная энергия, которая
при отсутствии химических реакций с выделением или поглощением тепла мо-
жет меняться только за счет потока через поверхность
∂
Z I
cp T dV = − Q dS.
∂t
Плотность потока тепла, если градиенты температуры малы, дается законом
Фурье Q = −κ∇T . Преобразуя уравнение к дифференциальному и считая теп-
лоемкость cp и теплопроводность κ не зависящими ни от температуры, ни от ко-
ординат или времени, получим уравнение теплопроводности
∂T
= χ 4 T, (1.11)
∂t
ЛЕКЦИЯ 1. УРАВНЕНИЯ В ЧАСТНЫХ ПРОИЗВОДНЫХ 9
Рекомендуемая литература
Главная цель обучения студентов-физиков математическим методам — на-
учить их решать разнообразные задачи. Задачи по уравнениям в частных про-
изводных, многие из которых снабжены подробными решениями, можно найти
в сборнике [5], содержание которого примерно соответствует настоящим лекци-
ям. Для более детального усвоения материала, в том числе разделов, не вклю-
ченных в нашу программу, можно дополнительно решать задачи из других сбор-
ников, например из [6–11]. Подробное, а не конспективное, изложение теории
можно найти во многих книгах, среди которых учебник Годунова [12] выде-
ляется удачным компромиссом между строгостью и доступностью изложения.
Наиболее полно теория уравнений в частных производных имеется в класси-
ческих монографиях [13–16]. Учебники [17–21] предназначены для студентов-
математиков, поэтому отличаются строгостью. В качестве введения в предмет
можно также рекомендовать книги [22,23], где разобрано много простых приме-
ров. Для более полного изучения можно также обратиться к [24]. Дополнитель-
ные ссылки на литературу по отдельным разделам приведены в соответствую-
щих лекциях.
Л ЕКЦИЯ 2
12
ЛЕКЦИЯ 2. УРАВНЕНИЯ ПЕРВОГО ПОРЯДКА 13
3 3
2.5 2.5
2 2
1.5 1.5
1 1
0.5 0.5
(a)0 0
(b)
0 0.5 1 1.5 2 2.5 3 0 0.5 1 1.5 2 2.5 3
Рис. 2.1: Поле направлений (a) и интегральные кривые (b) для примера 2.1.
Вывести эту формулу можно, подставляя функцию (2.3) в уравнение (2.1), заме-
няя a(x) согласно (2.2) и пользуясь постоянством первых интегралов F i:
n n n−1 n−1
∂u X ∂u X X ∂g ∂Fj X ∂g dFj
a = ẋi = ẋi = = 0.
∂x i=1
∂xi i=1 j=1
∂Fj ∂xi j=1
∂Fj dτ
Задача Коши
Чтобы из общего решения выбрать частное, надо добавить к уравнению (2.1)
начальное условие, которое задается на начальной гиперповерхности S
Неоднородное уравнение
Неоднородное уравнение
∂u
a(x) = b(x) (2.5)
∂x
ЛЕКЦИЯ 2. УРАВНЕНИЯ ПЕРВОГО ПОРЯДКА 15
ẋ = a(x),
u̇ = b(x). (2.6)
x2
= τ + C1 , y = C2 e−τ , u = −C2 e−τ + C.
2
Не зависящий от τ первый интеграл есть F = y exp(x2/2) = const, тогда общее ре-
шение дается произвольной функциональной связью константы C и интеграла
F: 2
u(x, y) = −y + g yex /2
Упражнение 2.2. Нарисуйте характеристики уравнения из примера 2.2 и реши-
те задачу Коши u(0, y) = y 2. Что мешает поставить задачу Коши при y = 0?
Решение неоднородного уравнения не равно константе вдоль характеристи-
ки, но необходимость трансверсальности характеристики к начальной гиперпо-
верхности для разрешимости задачи Коши остается в силе. Иногда этим требо-
ванием пользуются в качестве определения характеристики. Можно называть
характеристикой кривую, на которой нельзя поставить задачу Коши. Другими
словами, решение, заданное вдоль характеристики нельзя продолжить даже в
малую окрестность характеристики. Такое определение, как будет показано ни-
же, годится не только для уравнений первого порядка, но и в общем случае.
ЛЕКЦИЯ 2. УРАВНЕНИЯ ПЕРВОГО ПОРЯДКА 16
Уравнение Хопфа
Квазилинейное уравнение Хопфа
∂u ∂u
+u =0 (2.9)
∂t ∂x
описывает, например, одномерный газ невзаимодействующих частиц, иными
словами, это одномерное уравнение динамики (1.5) газа с нулевым давлением.
Его уравнения характеристик
ṫ = 1, ẋ = u, u̇ = 0
u
3 5
x
2.5 4
2
3
1.5
2
1
(a) 0.5 1 (b)
-2
0 x
2
4
3
2
u
1
2
1.5
1
0.5 t
0
Уравнение Гамильтона—Якоби
Решим одномерное уравнение Гамильтона — Якоби [28] для свободной ча-
стицы с начальным условием
1
St + Sx2 = 0. S(x, 0) = x2.
2
В общем случае (2.12) называется уравнением Гамильтона — Якоби, если F не
зависит от u. Введем импульсы p0 = St, p1 = Sx . Функция здесь F = p0 + p21 /2 = 0,
откуда уравнения характеристик
p2
S− t = g(x − pt), p = g 0 (x − pt); p ≡ p1 .
2
Ответ получился в параметрическом виде, из него еще надо исключить постоян-
ную p. Функцию g = x2 найдем из начальных условий, тогда
p2 t 2x
S− = (x − pt)2 , p = 2(x − pt) или p = ,
2 1 + 2t
откуда S = x2/(1 + 2t).
Теория нелинейных уравнений первого порядка изложена в учебниках по
обыкновенным дифференциальным уравнениям, например, [25, 29].
Л ЕКЦИЯ 3
3.1 Характеристики
Определение 3.1. Системой линейных уравнений первого порядка с двумя пере-
менными называется система
∂ψ ∂ψ
A +B = b, (3.1)
∂t ∂x
где A, B — действительные матрицы m×m, причем матрицу A мы считаем невы-
рожденной, а ψ = (ψ1, . . . , ψm )| , b = (b1, . . . , bm )| — столбцы неизвестных функций
и заданных правых частей, соответственно.1 Если A, B, b зависят не только от
x, t, но и от решения ψ, то система естественно является квазилинейной.
Под характеристикой системы будем понимать, как и в предыдущей лекции,
кривую в плоскости (x, t), с которой решение невозможно продолжить. Пусть
начальное условие задано на кривой γ, тогда вдоль нее dψ = ψt dt + ψxdx. Вместе с
исходной системой (3.1) получилась система линейных алгебраических уравне-
ний на 2m неизвестных производных ψt , ψx. Выпишем ее расширенную матрицу
2m × (2m + 1)
A B b
. (3.2)
Edt Edx dψ
Вертикальная черта здесь отделяет матрицу системы от столбца правых частей,
а E — единичную матрицу.
1
Значок | обозначает транспонирование.
21
ЛЕКЦИЯ 3. СИСТЕМЫ ЛИНЕЙНЫХ УРАВНЕНИЙ 22
ψt + Cψx = f, (3.7)
φt + Λφx = f˜,
ut − vx = 0, vt − ux = 0.
0 −1
Матрица C = −1 приводится к диагональному виду матрицей T = ( 11 −1
1
0 ):
−1 0
Λ = ( 0 1 ), откуда канонический вид системы будет αt − αx = 0, βt + βx = 0, где
α = (u + v)/2, β = (u − v)/2. Каноническая система получилась распавшаяся, по-
этому можно сразу выписать общие решения каждого уравнения, а затем найти
и общее решение волнового уравнения
Zx+t
1 1
w(x, t) = [q(x − t) + q(x + t)] + h(x0 ) dx0 . (3.11)
2 2
x−t
можно свести к уже рассмотренным задачам в два шага. Сначала разобьем неод-
нородную задачу на две задачи Коши, которые называются полуоднородными
дает решение задачи (3.14). Для этого дифференцируя, найдем vt = u(x, t, τ )|τ =t +
Rt
u (x, t, τ ) dτ. Первое слагаемое обращается в нуль в силу первого начального
0 t Rt
условия (3.15). Можно продифференцировать еще раз vtt = ut (x, t, τ )|τ =t + 0 utt dτ.
Первое слагаемое обращается в p(x, t) в силу второго начального условия (3.15).
Остается дифференцирование по x как по параметру. Применяя одномерный
оператор Даламбера, получим
Zt
v ≡ vtt − vxx = u(x, t, τ ) dτ = p(x, t).
0
Метод годографа
27
ЛЕКЦИЯ 4. МЕТОД ГОДОГРАФА 28
4.2 Потенциал χ
Сначала введем потенциал скорости φ, чтобы скорость была его градиентом
u = φx . Введем еще и энтальпию w так, чтобы dw = c2(ρ) dρ/ρ. Тогда уравнение
Эйлера удастся один раз проинтегрировать и получится
φ2x
φt + + w = 0. (4.2)
2
Константа интегрирования определяет начало отсчета энтальпии, поэтому несу-
щественна. Мы полагаем ее для простоты равной нулю. Отсюда получается диф-
ференциал потенциала скорости
2
u
dφ ≡ φt dt + φx dx = − + w dt + u dx.
2
Потенциал φ зависит от старых переменных t, x, поэтому нам удобнее перей-
ти от него к новому потенциалу χ от переменных ρ, u. Удобнее также вместо ρ
использовать функцию w(ρ). Переход к новым переменным в потенциале осу-
ществляется с помощью преобразования Лежандра, как это делается в термоди-
намике [30]:
2
u
χ(w, u) = φ + + w t − ux, dχ = t dw − (x − ut) d,
2
откуда
∂χ ∂χ
t= , x − ut = − .
∂w ∂u
Подставляя эти выражение в уравнения (4.1) и переходя к дифференцированию
по w (∂/∂ρ = (c2 /ρ)∂/∂w) убедимся, что уравнение Эйлера станет тождеством. Мы
для этого выбрали потенциал, сразу удовлетворяющий уравнению (4.2). Урав-
нение непрерывности перейдет в линейное уравнение второго порядка
∂ 2 χ ∂ 2χ ∂χ
c2 − + = 0. (4.3)
∂w2 ∂u2 ∂w
Полученное уравнение отличается от одномерного волнового только последним
слагаемым с первой производной и зависимостью скорости c от плотности. Но
и этих небольших различий хватает, чтобы оно не решалось в общем виде. Рас-
смотрим частный случай политропного газа, где иногда удается выписать реше-
ние.
∂ 2 χ0 ∂ 2χ0 ∂χ0
2w − + = 0,
∂w2 ∂u2 ∂w
√
где индекс буквы χ обозначает n. Замена переменной ξ = 2w сводит уравнение
к одномерному волновому
∂ 2 χ0 ∂ 2 χ0
− = 0,
∂ξ 2 ∂u2
общее решение (3.9) которого известно. Отсюда
√ √
χ0(w, u) = f ( 2w − u) + g( 2w + u).
2w ∂ 2χn ∂ 2 χn ∂χn
− + =0
2n + 1 ∂w2 ∂u2 ∂w
мы продифференцируем по w, приведем подобные и умножим на (2n+1)/(2n+3):
2w ∂ 3χn 2n + 1 ∂ 3χn ∂ 2 χn
− + = 0.
2n + 3 ∂w3 2n + 3 ∂w∂u2 ∂w2
Нетрудно убедиться, что для первой производной потенциала ∂χn/∂w почти по-
лучилось (n + 1)-е уравнение. Чтобы убрать лишний множитель во втором слага-
емом и тем самымp завершить второй шаг индукции, изменим масштаб перемен-
0
ной u −→ u = u (2n + 3)/(2n + 1). В итоге получаем рекуррентную формулу
r !
2n + 3 ∂
χn+1 u, w = χn (u, w).
2n + 1 ∂w
30
ЛЕКЦИЯ 5. КАНОНИЧЕСКИЙ ВИД УРАВНЕНИЙ 2-ГО ПОРЯДКА 31
Линии уровня функций α(x, y), β(x, y) станут новыми координатными линиями.
а операторы выразятся через новые переменные
∂x = αx ∂α + βx ∂β , ∂y = αy ∂α + βy ∂β ,
где квадрат оператора означает, что оператор надо применить к стоящей справа
от него функции дважды. Если раскрыть все скобки, главная дифференциаль-
ная часть в новых координатах будет выглядеть как
˜
L̂ = ã ∂α2 + 2b̃ ∂α∂β + c̃ ∂β2
с новыми преобразованными функциями ã, b̃, c̃, которые выражаются через ста-
рые
ã = a α2x + 2b αx αy + c α2y ,
b̃ = a αx βx + b (αx βy + αy βx ) + c αy βy , (5.2)
c̃ = a βx2 + 2b βx βy + c βy2 ,
˜˜
uφφ − uψψ = f.
В частности, одномерное волновое уравнение (3.12) имеет как раз такой вид, по-
этому относится к гиперболическому типу.
2◦ . D = 0 — ПАРАБОЛИЧЕСКИЙ ТИП
В этом промежуточном случае квадратное уравнение (5.3) имеет одно реше-
ние αx = −bαy /a. Возьмем α = ξ в качестве первой канонической переменной, а
η выберем произвольно. В результате обратятся в нуль коэффициенты при u ξξ и
при перекрестной производной uξη , получится
˜˜
uηη = f,
˜ ˜ = c̃.
˜ Поэтому после деления на ã
˜
части обеспечивает b̃ = 0, а вещественной дает ã
получается
˜˜
uξξ + uηη = f,
канонический вид уравнений эллиптического типа. Примером эллиптического
уравнения служит двумерное уравнение Лапласа
uxx + uyy = 0. (5.6)
Упражнение 5.1. Покажите, что если уравнение второго порядка (5.1) свести к
системе уравнений первого порядка, то классификация по типам сохранится.
∂ 2u ∂ 2u ∂ 2 u
4u ≡ + + =0
∂x2 ∂y 2 ∂z 2
инвариантно относительно ортогональных преобразований координат (враще-
ний трехмерного пространства). Действительно, если за z выбрать ось враще-
ния, то
∂ 2u
u = − 4u = 0
∂t2
инвариантно относительно преобразований Лоренца
t0 = t ch β + x sh β, x0 = t sh β + x ch β ⇒
∂t = ch β ∂t0 + sh β ∂x0 , ∂x = sh β ∂t0 + ch β ∂x0 ⇒ ∂t2 − ∂x2 = ∂t20 − ∂x20
ственной переменной.
x
Замечание 5.4. В нелинейной системе вдоль характери-
стик распространяется малое возмущение линеаризован-
ной системы. Например, в линеаризованной системе уравнений гидродинами-
ки — уравнении акустики (1.6) — можно представить возмущение плотности в
форме ρ1 = exp(iS), где S — медленная фаза, получится
1 2
− i 4 S − (∇S)2 = 0.
2
−S t + iS tt
c
Пренебрегая вторыми производными, найдем уравнение эйконала
2
∂S 2
− (∇S) = 0.
∂t
Получилось уравнение характеристик из примера волнового уравнения, значит
характеристики в многомерном случае — это поверхности постоянной фазы (эй-
конала).
Л ЕКЦИЯ 6
6.2 Примеры
Линейное уравнение теплопроводности
Одномерное уравнение теплопроводности с точечным начальным условием
запишем сразу в безразмерном виде
ut = uxx, u(x, 0) = δ(x).
36
ЛЕКЦИЯ 6. АВТОМОДЕЛЬНОСТЬ И БЕГУЩИЕ ВОЛНЫ 37
u
2
x
-1.5 -1 -0.5 0.5 1 1.5
Рис. 6.1: Автомодельное решение линейного уравнения теплопроводности:
сплошная линия — t = 0.025, пунктир — t = 0.05, точки — t = 0.1.
x
-2 -1.5 -1 -0.5 0.5 1 1.5 2
Рис. 6.2: Автомодельное решение нелинейного уравнения теплопроводности:
сплошная линия — t = 0.02, пунктир — t = 0.1, точки — t = 0.5.
Уравнение Бюргерса
Уравнение Бюргерса
ut + uux = µ uxx
представляет собой простейшую модель одномерной гидродинамики с вязкостью
µ. Найдем решение в виде бегущей ступеньки (кинка) u(x, t) = f (ξ), ξ = x − V t,
где V — скорость волны, принимающее на бесконечности предельные значения
lim u = 1, lim u = 0.
x→−∞ x→+∞
f(ξ)
1
ξ
-2 -1 1 2
Рис. 6.3: Фронт ударной волны уравнения Бюргерса при разных значениях па-
раметра µ: сплошная линия — µ = 0.01, пунктир — µ = 0.03, точки — µ = 0.1.
12 f(ξ)
10
8
6
4
2
ξ
-2 -1 1 2
Рис. 6.4: Солитон уравнения Кортевега — де Фриза при разных значениях па-
раметра V : толстая линия V = 3, тонкая — V = 6, пунктир — V = 12, точки —
v = 24.
Разделение переменных
42
ЛЕКЦИЯ 7. РАЗДЕЛЕНИЕ ПЕРЕМЕННЫХ 43
L̂ψn = λn ψn (7.5)
T̈ L̂ψ
= = −ω 2,
T ψ
а константа разделения получается отрицательной в силу отрицательности соб-
ственных чисел оператора L̂. Решение обыкновенного уравнения дается форму-
лой T (t) = A cos ωt + B sin ωt. Зная полную систему собственных функций, мы
1
Для полноты системы собственных функций дифференциального оператора в бесконечно-
мерном гильбертовом пространстве самосопряженности недостаточно. Необходимо еще, чтобы
собственные значения были ограничены сверху и λn → −∞, n → ∞. Подробное изложение тео-
рии, не предполагающей ограниченности операторов, имеется в учебнике Михлина [19].
ЛЕКЦИЯ 7. РАЗДЕЛЕНИЕ ПЕРЕМЕННЫХ 47
Замечание 7.2. Все формулы метода Фурье можно вывести также с помощью
преобразования Лапласа по t. В частности, для параболического уравнения (7.9)
проводя преобразование Лапласа
Z ∞
up (x) = u(x, t)e−pt dt,
0
p p
iω 3
iω 2
iω 1
Замечание 7.3. Если уравнение неоднородное, его можно решить, разлагая пра-
вую часть по системе функций ψn .
Упражнение 7.1. Методом преобразования Лапласа получите решение задачи
Коши для неоднородных уравнений utt = L̂u + f и ut = L̂u + f .
Л ЕКЦИЯ 8
Разделение переменных в
цилиндрических координатах
(rR0 )0 Φ00
+ 2 = −k 2,
rR r Φ
а на функцию Φ(ϕ) получается уравнение Φ00 + m2 Φ = 0, где m — параметр раз-
деления, принимающий только целые значения, формула (7.2). На радиальную
49
ЛЕКЦИЯ 8. ЦИЛИНДРИЧЕСКИЕ ФУНКЦИИ 50
Jn Yn
1 1
0.8 x
1 2 3 4 5 6 7 8
0.6 -1
0.4
-2
0.2
-3
x
2 4 6 8
-0.2 -4
-0.4 -5
Рис. 8.1: Функции Бесселя Jn (x) и Неймана Yn (x): толстая линия — n = 0, тонкая
— n = 1, пунктир — n = 2, точки — n = 3.
m2
1 0
00 2
R + R + k − 2 R = 0.
r r
x−1 : c1 = 0
c0
1: 2c2 + 2(2m + 1)c2 + c0 = 0 c2 = −
4(m + 1)
x: 6c3 + 3(2m + 1)c3 + c1 = 0
c2
x2 : 12c4 + 4(2m + 1)c4 + c2 = 0 c4 = −
8(m + 2)
В левом столбце перед знаком двоеточия записана степень x, в среднем — урав-
нение, которое получается, когда мы приравняем коэффициенты при данной
степени, а в правом — получившаяся рекуррентная формула для коэффициен-
та. Видно, что коэффициенты при нечетных степенях исчезают. По приведенно-
му началу можно догадаться до общей формулы для коэффициента при четных
степенях, но все они пропорциональны нормировочному коэффициенту c 0, кото-
рый из уравнения найти нельзя. Его выбирают равным c0 = 2−m /m!, так, чтобы
разложение функции Бесселя в ряд выглядело наиболее просто
∞ x 2n+m
X 1
Jm (x) = (−1)n . (8.3)
n=0
2 n!(m + n)!
Рекуррентное соотношение
Рекуррентное соотношение выводится с помощью того же разложения (8.3)
∞ ∞
X x 2n+m−1 (−1)n X x 2n+m+1 (−1)n
Jm−1 + Jm+1 = + =
n=0
2 n!(m + n − 1)! n=0
2 n!(m + n + 1)!
∞
1 x m−1 X x 2n+m−1 (−1)n
= +
(m − 1)! 2 n=1
2 n!(m + n − 1)!
∞ 0 0
X x 2n +m−1 (−1)n −1 2m
+ 0 − 1)!(m + n0 )!
= Jm .
n =1
0
2 (n x
Интегральные представления
и производящие функции
Двумерное уравнение Гельмгольца (8.1) имеет частное решение U (r, ϕ) = e iky ,
которое легко проверить в декартовых координатах. Его можно разложить по
собственным функциям лапласиана в полярных координатах
∞
X
ikr sin ϕ
e = cm eimϕ Jm (kr).
m=−∞
γ ρ
из которого получается
Z1
B(z, 1 − z) = Γ(z)Γ(1 − z) = tz−1 (1 − t)−z dt.
0
Заменой переменной t = eξ / 1 + e ξ
сводим его к интегралу в бесконечных пре-
делах
Z∞
ezξ dξ
,
1 + eξ
−∞
который в свою очередь можно найти в таблице или вычислить методом Ватсона
— Зоммерфельда как сумму вычетов в полюсах ξ = πi, 3πi, 5πi, . . . . Получится
геометрическая прогрессия
∞
X ez(2n+1)πi π
2πi = ,
n=0
e(2n+1)πi sin πz
Соотношение ортогональности
Соотношение ортогональности мы выведем из дифференциального уравне-
ния Бесселя, записав его для двух значений k, удовлетворяющих нулевым гра-
ничным условиям Jm (k1 a) = Jm (k2 a) = 0 :
m2 m2
1 d d 2 1 d d
r − 2 Jm (k1 r) = −k1 Jm (k1 r), r − 2 Jm (k2 r) = −k22 Jm (k2 r).
r dr dr r r dr dr r
Первое уравнение умножим на Jm (k2 r), второе — на Jm (k1 r) вычтем друг из друга
и проинтегрируем по r dr от 0 до a. Затем интегрируем по частям и находим
a Za
dJm (k1 r) dJm (k2 r)
r Jm (k2 r) − Jm (k1 r) = (k22 − k12) Jm (k1 r)Jm (k2 r)r dr.
dr dr 0
0
Разделение переменных в
сферических координатах
56
ЛЕКЦИЯ 9. СФЕРИЧЕСКИЕ ФУНКЦИИ 57
d 2 dΘ m2
(1 − x ) − Θ = λΘ.
dx dx 1 − x2
Сначала надо исследовать поведение при x → ±1. Для этого ищем решение в
окрестности точки x = 1 в виде Θ ∼ ξ σ , x = 1 + ξ, ξ → 0. Приравнивая к нулю
коэффициенты при самой старшей степени ξ, получим −2σ 2 + m2/2 = 0, откуда
σ = ±m/2. Считая m неотрицательным, выбираем корень со знаком +, чтобы
решение не имело особенности при ξ → 0. Аналогично поступим с точкой x = −1,
“южным” полюсом сферической системы координат. Ищем решение в виде
m
Θ = (1 − x2) 2 u(x)
1: 2c2 − λc0 = 0 c2 = λ2 c0
λ+2
x: 2 · 3c3 − (2 + λ)c1 = 0 c3 = c
2·3 1
λ+4+2
x2 : 3 · 4c4 − (2 + 4 + λ)c2 = 0 c4 = 3·4
c2
Pl
1 Ql
0.75 1
0.5 0.75
0.5
0.25
0.25
x
-1 -0.75-0.5-0.25 0.25 0.5 0.75 1 x
-0.25 -1 -0.75-0.5-0.25 0.25 0.5 0.75 1
-0.25
-0.5 -0.5
-0.75 -0.75
-1 -1
Рис. 9.1: Функции Лежандра первого рода Pl (x) и второго рода Ql (x): толстая
линия — l = 0, тонкая — l = 1, пунктир — l = 2, точки — l = 3.
1 dl 2
Pl (x) = l l
(x − 1)l . (9.5)
2 l! dx
Здесь l = 0, 1, 2, . . . — целое число, называемой орбитальным квантовым, кото-
рое показывает число нулей полинома Лежандра. Второе линейно независимое
решение дается функциями Ql (x), которые имеют особенности в точках x = ±1 и
называются функциями Лежандра второго рода. Функции Лежандра называют
также сферическими функциями, рис. 9.1.
Осталось показать, что (9.5) есть решение уравнения (9.4). Для этого введем
вспомогательную функцию Wl (x) = (x2 − 1)l . Если ее продифференцировать, по-
лучим
(x2 − 1)Wl0 − 2lxWl = 0.
Дифференцируем это соотношение l + 1 раз:
l=0
l=1
l=2
m=0 m=1 m=2
jl
1
0.8
0.6
0.4
0.2
x
2 4 6 8
-0.2
Аналитическая теория
дифференциальных уравнений
62
ЛЕКЦИЯ 10. АНАЛИТИЧЕСКАЯ ТЕОРИЯ 63
где p(z) и q(z) — рациональные функции. Его можно преобразовать, если ре-
шение искать в виде произведения известной функции φ на новую неизвестную
функцию w(z) = φ(z)u(z). Назовем такой переход преобразованием Лиувилля и
отметим, что после преобразования снова получится уравнение с рациональны-
ми коэффициентами
0 00
φ0
00 φ 0 φ
u + 2 +p u + + p + q u = 0.
φ φ φ
Особо выделяют такое преобразование, которое обращает в нуль коэффициент
при первой производной. Как легко заметить, для этого надо взять φ = exp(− 12 p dz).
R
p2 p0
u00 + I(z)u = 0, I(z) = q − −
4 2
называется каноническим, а функция I(z) — инвариантом.
Обозначив
M = max I(z), m = max w0(z),
|z|<R |z|<R
1: 2c2 + a0c0 = 0 c2 = − 21 a0 c0
γ
z0
z1
(1,2)
где cn — наборы коэффициентов.
2◦ . Жорданова клетка отвечает преобразованию
w̃1+ = λw̃1 + w̃2 , w̃2 = λw̃2 .
Второе решение w̃2 просто умножается на число, поэтому имеет такой же вид
(10.3) степенной функции, умноженной на ряд Лорана. Если разделить первое
уравнение на второе, мы увидим, что отношение решений приобретает при об-
ходе слагаемое
1 w̃1
u+ = u + , u ≡ .
λ w̃2
ЛЕКЦИЯ 10. АНАЛИТИЧЕСКАЯ ТЕОРИЯ 67
Определение 10.3. Если в ряде Лорана (10.3) или (10.4) содержится лишь ко-
нечное число слагаемых с отрицательными степенями, то особая точка z 0 назы-
вается регулярной или правильной уравнения (10.1). Если имеется бесконечный
набор членов с отрицательными показателями, особая точка z 0 называется ирре-
гулярной или неправильной.
ρ2 + (p0 − 1)ρ + q0 = 0,
Гипергеометрические функции
70
ЛЕКЦИЯ 11. ГИПЕРГЕОМЕТРИЧЕСКИЕ ФУНКЦИИ 71
z αz α(α + 1) z 2
1 F1 (α; γ; z) = lim 2 F1 (α, β; γ; ) = 1 + + + ··· . (11.3)
β→∞ β γ 1! γ(γ + 1) 2!
11.3 Примеры
Уравнение Лежандра
(1 − x2 )u00 − 2xu0 + λu = 0
имеет три особые точки x = ±1, ∞. Для x = ±1 p(z), q(z) имеет полюсы первого
порядка, а при x = ∞ p(x) имеет нуль первого порядка, а q(x) — нуль второ-
го порядка. Отсюда по теореме Фукса получаем, что все три особые точки регу-
лярные, поэтому уравнение Лежандра сведется к гипергеометрическому. Пере-
вести точки в стандартные положения можно линейным преобразованием z =
00 0
(x + 1)/2, тогда уравнение сведется к виду
qz(z − 1)u + (2z − 1)u + λu = 0. Срав-
нивая с (11.1), находим корни α1,2 = 21 ± 14 − λ, один из которых надо выбрать
за α, другой за β. Условие обрыва ряда из лекции 9 получим просто приравняв
один из корней целому неположительному числу −l, l = 0, 1, 2, · · · ⇒ λ = −l(l + 1).
Уравнение Бесселя
Уравнение Бесселя запишем для произвольного индекса ν
x2 y 00 + xy 0 + (x2 − ν 2 )y = 0
При x = 0 функция p(x) имеет полюс первого порядка, а q(x) — второго по-
рядка. При x = ∞ p имеет нуль первого порядка, а q вообще не имеет нуля:
q(x) → 1, x → ∞. Значит уравнение имеет на бесконечности иррегулярную осо-
бую точку. Асимптотика вблизи нуля найдется из определяющего уравнения.
Если подставить y = xρ , получится ρ1,2 = ±ν. На бесконечности уравнение пе-
рейдет в y 00 + y = 0, решения которого y1,2 = exp(±ix). Исключаем асимптотики
подстановкой y = xν exp(ix)u(x). Получится
Линейный осциллятор
Уравнение Шредингера для одномерного гармонического осциллятора с опе-
ратором Гамильтона Ĥ = p̂2 /2m + mω 2 x2/2
k2 − 3
3
tü + − t u̇ + u = 0,
2 4
ЛЕКЦИЯ 11. ГИПЕРГЕОМЕТРИЧЕСКИЕ ФУНКЦИИ 74
ψn
0.6
0.4
0.2
x
-3 -2 -1 1 2 3
-0.2
-0.4
-0.6
откуда u = 1 F1((3 − k 2 )/4; 3/2; x2 ). Чтобы обеспечить обрыв ряда, надо выбрать
kn2 = 4n+3 (En = 2n+1+ 12 ). Многочлены 1F1 (−n; 12 ; x2), x 1 F1(−n; 23 ; x2) называются
полиномами Эрмита. Принятая нормировка дается формулой Родрига
2 dn −x2
Hn (x) = (−1)n ex e .
dxn
Волновые функции одномерного гармонического осциллятора показаны на ри-
сунке 11.1. Номер функции соответствует количеству ее нулей.
Атом водорода
Уравнение Шредингера для атома водорода в сферических координатах, где
Ĥ = p̂2 /2 − 1/r (в атомных единицах, где e = ~ = m = 1). Переменные разделяют-
ся, потому что поле центральное:
2
4+ ψ = κ 2 ψ, ψ = R(r)Ylm (θ, ϕ).
r
Радиальное уравнение
2 l(l + 1) 2
R + R0 −
00 2
− +κ R=0
r r2 r
сводим к (11.4), потому что особые точки две — регулярная и иррегулярная.
При r → 0 уравнение имеет степенное решение R = r ρ , ρ1 = l, ρ2 = −l − 1. Вы-
бираем первый корень, чтобы решение не имело особенности. При больших r
уравнение переходит в R00 − κ 2 R = 0, из двух его решений оставляем убываю-
щую экспоненту R = exp(−κr), чтобы избежать особенности на бесконечности.
Действуя по стандартной схеме, заменяем неизвестную функцию R = r l e−κr u(r)
и получаем
ru00 + 2(l + 1 − κr)u0 − 2(κl + 1 + κ)u = 0.
ЛЕКЦИЯ 11. ГИПЕРГЕОМЕТРИЧЕСКИЕ ФУНКЦИИ 75
Rnl
0.15
0.1
0.05
r
5 10 15 20
-0.05
Рис. 11.2: Радиальные волновые функции водорода Rnl (r) при n = 3: сплошная
линия — l = 0, пунктир — l = 1, точки — l = 2.
xy 00 + (ν + 1 − x)y 0 + ny = 0 (11.6)
где w(p) — образ функции y(x). Уравнение первого порядка можно решить, по-
лучится w = (1−p)n /pn+1 . Остается выполнить обратное преобразование Лапласа
dp px (1 − p)n px (1 − p)
n
1 dn
I
y(x) = e = Res e = [(1 − p)n epx]p=0 ,
2πi pn+1 p=0 pn+1 n! dpn
где интегрирование ведется по контуру, обходящему полюс p = 0 в положитель-
ном направлении. Для упрощения записи, обозначим q = px, а затем z = x − q:
xn d n (−1)n dn n x−z
q n q
y(x) = 1− e = z e .
n! dq n x q=0 n! dz n z=x
Асимптотические методы
или
lim RN (z − z0 )N = 0.
z→z0
lim RN = 0,
N →∞
77
ЛЕКЦИЯ 12. АСИМПТОТИЧЕСКИЕ МЕТОДЫ 78
Zb
F (λ) = A(t)eλS(t) dt, λ → +∞, (12.1)
a
1 1
λS (a) λS (b)
e 0.8 e 0.8
0.6 0.6
0.4 0.4
0.2 0.2
t0
0.2 0.4 0.6 0.8 1 0.2 0.4 0.6 0.8 1
t t
Рис. 12.1: (a) — случай 1◦ , S = −3t + t3. При увеличении параметра λ = 1, 3, 10
(точки, пунктир и сплошная линия, соответственно) вклад в интеграл дает все
меньшая окрестность точки a = 0. (b) — случай 2◦, S = −(t − 1/2)2 . При увели-
чении параметра λ = 10, 30, 100 вклад в интеграл дает все меньшая окрестность
точки t0 = 0.5.
прямо не годится для применения полученных формул, потому что функция 1/x
стремиться к бесконечности при x → +0. Чтобы свести его к виду (12.1), изме-
ним в µ раз масштаб переменной x = µt, dx = µ dt. Тогда показатель экспонен-
ты запишется как λS = −µ2 (t2 + a/µ3 t). Если выбрать µ = (a/2)1/3 то выраже-
ние в круглой скобке станет фазовой функцией S(t) = −t2 − 2/t, а µ2 за скобкой
— большим параметром λ = µ2 . Остается лишь два раза продифференцировать
S(t), найти значения S(t) и ее второй производной в стационарной точке
2
S 0(t) = −2t + = 0 ⇒ t0 = 1, S(t0) = −3, S 00(t0) = −6
t2
и получить из (12.4) оценку
r
π −3( a2 )2/3
F (a) ≈ e .
3
√
Отметим, что даже при a = 0, когда интеграл равен
√ √F (0) = π/2, асимптотиче-
ская формула дает приличную точность F (0) ≈ π/ 3.
Пример 12.2. Гамма-функцию Эйлера
Z∞
Γ(x + 1) = ξ x e−ξ dξ, x → +∞
0
1 1
0.5 0.5
cos(λS)
cos(λS)
0 0
-0.5 -0.5
(a) (b) t0
0.6 0.8 1 1.2 1.4 -0.4 -0.2 0 0.2 0.4
t t
где A(t), S(t) снова действительные функции, также получается разной, в зави-
симости от наличия или отсутствия стационарной точки функции S(t) на интер-
вале интегрирования (a, b). Вещественная часть подынтегральной экспоненты
для случаев 1◦ и 2◦ показана на рисунках 12.2. Аналогично предыдущему разде-
лу, главный член асимптотического разложения получится в случае 1◦ порядка
λ−1 , а в случае 2◦ — λ−1/2 .
В случае 1◦ оценку получим интегрированием по частям
Zb
deiλS(t) 1 A(b)eiλS(b) A(a)eiλS(a)
F (λ) = A(t) ≈ − .
iλS 0(t) iλ S 0(b) S 0 (a)
a
◦
В случае 2 разлагаем в ряд (12.2) фазовую функцию, распространяем пределы
интегрирования до бесконечности и сводим задачу к интегралу Френеля
Z∞
iλS(t0 ) 2
eiλS (t0 )τ /2 dτ.
00
F (λ) = A(t0)e
−∞
ЛЕКЦИЯ 12. АСИМПТОТИЧЕСКИЕ МЕТОДЫ 82
@
@@@@
@@
@@ Сначала следует повернуть контур интегрирования заме-
@
@@@@
@@@@
@
τ @@ @ ной τ = seiφ , dτ = eiφ ds, где φ — угол поворота, s координата
@@@@@@@
S 00 > 0 @@ @
@@@@ @@
@ вдоль нового контура. Для сходимости при λ → +∞ веще-
@@@@@
@
@@@@
@@@@
00 2
ственная часть подынтегральной экспоненты eiS τ должна
@@ @ @@@@@@
@ @ убывать. Поэтому секторы сходимости, заштрихованные
@@ @@@@@@
@
@@ @@ @@@@
@
@@@ @ на рисунке, находятся в I и III четверти при S 00(t0 ) > 0 или
@@@@ @@ во II и IV четверти комплексной плоскости τ при S 00(t0) < 0.
@
@@ @
@ @@
@@@
@@@
@
Если повернуть контур на угол φ = π/4, S 00 > 0 или на угол
@@ @ @@@@@@ 00
φ = −π/4, S < 0 (повернутый контур изображен на каж-
@
@@ @@@@@@
@
@@ @ τ
@@@ @@@@
дом рисунке стрелкой), то обратится в нуль мнимая часть
@ @
@@@@ @ @@
@ S 00 < 0 экспоненты и вычисление сведется к интегралу Пуассона
@@@@@
@@ @ @@@@@@
@
@@@@ @@@@ Z∞
@ @
s
@@@@ @@@@ 2π iπ/4
@
@@
@@ @@@@
@ τ = se
iπ/4
:
00 2
e−λ|S |s dseiπ/4 = e ,
@@@ @ λ|S 00 |
@@@@ @@
@@@@@
@
@@@@ @@@R
@ −∞
Z∞ s
00 2 2π −iπ/4
τ = se−iπ/4 : e−λ|S |s dse−iπ/4 = e .
λ|S 00|
−∞
Метод перевала
∂u ∂v ∂u ∂v
= , =− ,
∂x ∂y ∂y ∂x
откуда
∂ 2u ∂ 2u ∂ 2 v ∂ 2v ∂u ∂v ∂u ∂v
+ = + = 0, + = 0.
∂x2 ∂y 2 ∂x2 ∂y 2 ∂x ∂x ∂y ∂y
В инвариантном виде это означает 4u = 4v = ∇u · ∇v = 0.
∗ Отсюда получается два вывода. Во-первых, если в стаци-
онарной точке z0 , где S 0(z0 ) = 0, одна из вторых частных
производных положительна, например, uxx > 0, то вторая
— отрицательна, uyy < 0. Значит стационарная точка представляет собой седло
или точку перевала, обозначенную здесь знаком ∗.
84
ЛЕКЦИЯ 13. МЕТОД ПЕРЕВАЛА 85
где максимум берется по всем z, лежащим на кривой γ. Чтобы оценка была как
можно точнее, станем варьировать контур γ, не выходя за множество Γ допу-
стимых контуров. Допустимыми (эквивалентными) будем называть те конту-
ры, на которых равны интегралы. Значит при деформации контура мы не долж-
ны выходить за область аналитичности функции S(z), т.е. пересекать полюсы.
Если контур не замкнутый, а его концы лежат в конечных точках, надо закре-
пить концы контура. Для несобственного интеграла бесконечно удаленные кон-
цы контура должны оставаться в секторах сходимости.
Будем менять форму контура, пока максимум в правой части (13.3) не пере-
станет уменьшаться. Самая точная оценка получится, если в качестве контура
γ = γ ∗ выбрать тот, на котором достигается минимум
|exp λS| 6 min max exp λu(z). (13.4)
γ∈Γ z∈γ
ЛЕКЦИЯ 13. МЕТОД ПЕРЕВАЛА 86
2 y
γ
1 z
4
1
2
-3
-2
-2 -1 1 2 3
-4
x
-4 -2 0 2 4
-1
z2
-2
Рис. 13.1: Линии Стокса функции S = i(z 3/3 + z). Стрелками показано направ-
ление уменьшения u(x, y). На врезке показаны линии уровня u(x, y) = const. Вы-
сокое области светлее, низкие — темнее.
13.3 Примеры
Пример 13.1 (Функция Эйри при p → +∞). Найдем асимптотику функции Эйри
в классически запрещенной области
Z∞
1
e i( t ) dt,
3 /3+pt
Ai(p) = p → +∞.
2π
−∞
ту же, что и в примере 12.4. После замены переменной t = p1/2z фазовая функ-
ция S(z) = i(z 3/3 − z) получится с другим знаком перед z. Асимптотические ее
свойства при |z| → ∞ определяются кубическим членом, поэтому секторы схо-
димости останутся теми же, что и в предыдущем примере. Найдем стационар-
ные точки
2
S 0 = i(z 2 − 1) = 0 ⇒ z1,2 = ±1, S(±1) = ∓ i, S 00(±i) = ±2i.
3
ЛЕКЦИЯ 13. МЕТОД ПЕРЕВАЛА 89
4
3
2 y
0
-2
2
-4
-4 -2 0 2 4
-3 -2 -1 γ2 γ1 1 2 x 3
z2 z1
-1
-2
-3
Рис. 13.2: Линии Стокса функции S = i(z 3/3 − z): v(x, y) = −2/3 (сплошные ли-
нии) или v(x, y) = +2/3 (пунктир). Врезка — линии уровня u(x, y) = const. Чем
светлее область, тем больше высота.
y
1
z1
0
-1 -0.5 0.5 1 x
-1
-2
-2 -1 0 1 2
z2
-1
Рис. 13.3: Граф Стокса функции S = ln(z 2 − 1) − ln(z − cos θ), θ = π/3. На врезке
линии уровня u(x, y) = const.
1 dl 2 dz (z 2 − 1)l
Z
l 1
Pl (ξ) = l (ξ − 1) = .
2 l! dξ l 2πi 2l (z − ξ)l+1
γ
z2 − 1
S(z) = ln .
z − cos θ
Пусть l 1 — большой параметр. Найдем стационарные точки
2z 1 √
S0 = 2
− = 0 ⇒ z 1,2 = cos θ ± cos2 θ − 1 = e±iθ ,
z − 1 z − cos θ
e∓iθ
S(e±iθ ) = ln 2eiθ = ln 2 + iθ, S 00(e±iθ ) = .
i sin θ
ЛЕКЦИЯ 13. МЕТОД ПЕРЕВАЛА 91
Метод усреднения
1,
(t)2
sin ((1 + )t) = sin t + t cos t − sin t + . . . .
2!
Разложение хорошо работает на малых временах вплоть до t ∼ 1, а при t ∼ 1/
несколько первых членов разложения не дают даже приближенного представ-
ления о поведении функции. Одним из методов теории возмущений, который
позволяет найти тенденцию изменения решения на больших временах, называ-
ется методом усреднения. Метод усреднения используется в небесной механике
со времен Лагранжа и Лапласа для расчета эволюции планетных орбит. Однако
до сих пор его обоснование нельзя считать законченным. Мы рассмотрим толь-
ко простейшие случаи. Более общие результаты можно найти в книгах Арноль-
да [25, с.133], [48, с.365].
Пусть система невозмущенных уравнений ẋ = v(x), x = (x1, . . . , xn ) описыва-
ет финитное движение с характерным периодом T ∼ 1. Возмущенным назовем
уравнение
ẋ = v(x) + v1(x),
где — малый параметр. Цель метода усреднения — найти разложение решения
x(t), справедливое на больших временах t ∼ 1/
92
ЛЕКЦИЯ 14. МЕТОД УСРЕДНЕНИЯ 93
I˙ = 0, ϕ̇ = ω(I). (14.1)
Усредненное уравнение
Z2π
J˙ = (a + b sin ϕ) dϕ = a
2π
0
решается сразу. Его решение J (t) = I0 + at при тех же начальных условиях ухо-
дит от точного на величину порядка , а значит правильно передает тенденцию
на больших временах
b
|J (t) − I(t)| = |1 − cos ωt| 6 const · .
ω
ЛЕКЦИЯ 14. МЕТОД УСРЕДНЕНИЯ 94
ZT Z2π
1 1
∆I = I(t) − I(0) = T · g(I, ϕ(t)) dt = T · g(I, ϕ) dϕ = T G(I).
T 2π
0 0
Рис. 14.1: Тор (ϕ1 , ϕ2) с замкнутой намоткой: резонанс ω1 /ω2 = 0/1.
Отношение частот ω1 /ω2 = I1(0), значит резонансы будут при начальных услови-
ях I1(0) = 0, ±1, ±2, . . . . Рассмотрим резонанс нулевого порядка I1(0) = 0 (изобра-
женный на рисунке 14.1).
Усредненное уравнение
J˙1 = , J˙2 = 0
имеет решение J1 = t, J2 = const. Чтобы проверить, насколько велика ошибка
решения усредненного уравнения, найдем точное решение и проверим, сохра-
няется ли величина I2. Обращаясь к возмущенному уравнению, получим
Z∞
t2 t2
I1 = t, ϕ1 = + ϕ1(0) ⇒ ∆I2 = cos + ϕ1 (0) dt =
2 2
−∞
Z∞
√ ξ2 √
= cos + ϕ1(0) dξ = π (cos ϕ1 (0) − sin ϕ1 (0)) .
2
−∞
14.3 Примеры
Пример 14.3 (Резонанс). Малая внешняя сила раскачивает осциллятор на его
собственной частоте F (x, ẋ) = cos t. Невозмущенная угловая переменная (фаза
осциллятора) находится из уравнения (14.4): ϕ(t) = −t + ϕ0 , где ϕ0 — начальная
фаза. Отсюда находим
1
G(J ) = hcos(ϕ0 − ϕ) sin ϕi = h(cos ϕ0 cos ϕ + sin ϕ0 sin ϕ) sin ϕi = sin ϕ0 .
2
Усредненное уравнение J˙ = sin ϕ0 /2 решается: J (t) = J (0) + t sin ϕ0 /2. Медлен-
ная переменная J , амплитуда колебаний, линейно растет со временем, когда на-
чальная фаза ϕ0 6= 0, π.
ЛЕКЦИЯ 14. МЕТОД УСРЕДНЕНИЯ 97
2
x(t)
1
20 40 60 80 100
t
-1
-2
Рис. 14.2: Выход генератора Ван дер Поля на автоколебательный режим: x(0) =
0, ẋ(0) = 1, = 0.05.
Явление Стокса
U(x)
99
ЛЕКЦИЯ 15. ЯВЛЕНИЕ СТОКСА 100
w = w 0 + w1 + w2 + . . . ,
e±iS
Z
ψ± = √ , S = k(x) dx. (15.3)
k
Условие применимости нарушается в окрестности классических точек пово-
рота, где k 2 = 0, т.е. потенциальная энергия равна полной. На рисунке 15.4
показан пример потенциальной кривой, а уровень энергии изображен точка-
ми. Всего в примере 4 классических точки поворота, три классически доступ-
ные (E > U ) и две классически запрещенные области (E < U ). Чтобы гладко
сшить решения в разрешенных и запрещенных областях, точку поворота обхо-
дят в комплексной плоскости. Надо выбрать контур обхода достаточно далеко
от точки поворота, чтобы выполнялось квазиклассическое приближение, но до-
статочно близко, чтобы можно было пользоваться линейным членом разложе-
ния потенциала в окрестности точки поворота [4]. Для обхода точки поворота
пользуются методом эталонных уравнений, простейшее из которых мы сейчас
рассмотрим.
ψ 00 + czψ = 0, (15.4)
ЛЕКЦИЯ 15. ЯВЛЕНИЕ СТОКСА 101
z
2 ψ
-
ψ 1
+
3 ψ
-
ψ+ → iψ− , ψ− → iψ+ .
B ψ+ U(x) B’ ψ +
A ψ- E A’ ψ -
a 0 bx
Рис. 15.3: Потенциальный барьер. Пунктирная горизонтальная линия обозна-
чает полную энергию, стрелками показаны сходящаяся и расходящаяся волна.
ψ+ 3 2 ψ-
4 a b 1
ψ- ψ+
5 6
Рис. 15.4: Граф Стокса для задачи о прохождении через потенциальный барьер.
Серой полосой обозначен разрез.
В секторе 2–3 матрица перехода единичная, потому что, проходя этот сектор,
мы не пересекаем антистоксову линию. Чтобы продолжить обход, надо сменить
начало отсчета — перейти от точки b к точке a. Волновая функция умножится
на экспоненту
a Zb r
2m
Z
0 0 ±Φ
ψ± → ψ± exp ±i k(x ) dx = ψ± e , Φ= (U (x) − E) dx,
b ~2
a
108
ЛИТЕРАТУРА 109
111
ПРЕДМЕТНЫЙ УКАЗАТЕЛЬ 112
Лапласа, 47 непрерывности, 6
Лиувилля, 63, 71 определяющее, 67
преобразование Лежандра, 28 первого порядка
производящая функция, 53 квазилинейное, 16
промежуточная асимптотика, 38 нелинейное, 19
простая волна Римана, 23 неоднородное, 14
однородное, 12
разделение переменных, 42 состояния, 6
расширенное пространство, 15 телеграфное, 6
решение теплопроводности, 9
доминантное, 101 нелинейное, 39
субдоминантное, 101 одномерное, 36
солитон, 41 Хопфа, 17
соотношения на характеристиках, 22 характеристик, 15
сферические гармоники, 60 Шредингера, 8, 43, 99
в центральном поле, 56
точка поворота, 100 для атома водорода, 43, 74
простая, 100 для осциллятора, 73
точка сборки, 19 Эйлера, 6
уравнения
уравнение гидродинамики, 6
Бесселя, 50, 72 Максвелла, 7
Бюргерса, 39
Вебера, 73 фазовый интеграл, 106
в частных производных, 4 формула
возмущенное, 93 Даламбера, 25
волновое Родрига
неоднородное, 25 для полиномов Лагерра, 76
однородное, 7, 24 для полиномов Лежандра, 58
трехмерное, 7 для полиномов Эрмита, 74
Гамильтона — Якоби, 20 функции
Гаусса, 70 Бесселя, 50
Гельмгольца, 44 сферические, 61
гипергеометрическое, 69, 70 гипергеометрические, 70
вырожденное, 71 вырожденные, 71
Кортевега — де Фриза, 40 Лежандра
класса Фукса, 68 второго рода, 58
Лагерра, 75 присоединенные, 60
Лапласа, 9, 33 Неймана, 50
Лежандра, 57, 72 цилиндрические, 50
линейное, 4
однородное, 4 характеристика
невозмущенное, 93 гиперболической системы, 22
ПРЕДМЕТНЫЙ УКАЗАТЕЛЬ 113
квазилинейного уравнения, 16
линейного уравнения, 12
нелинейного уравнения, 20
уравнения 2-го порядка, 31, 34
характеристический показатель, 66
частное решение, 5, 14