- •1 ФУНКЦИИ КОМПЛЕКСНОГО ПЕРЕМЕННОГО
- •1.1 Однозначные регулярные функции
- •1.1.1 Комплексные числа
- •1.1.4 Интеграл по контуру на комплексной плоскости
- •1.1.5 Ряд Лорана. Особые точки функции
- •1.1.6 Вычеты и их применение
- •1.1.7 Принцип аргумента. Теорема Руше
- •1.2 Многозначные аналитические функции
- •1.2.1 Регулярные ветви
- •1.2.2 Римановы поверхности
- •1.2.3 Интегралы от многозначных функций
- •1.3 Конформные отображения
- •1.3.1 Дробно-линейная функция
- •1.3.3 Функция Жуковского
- •1.3.5 Интеграл Кристоффеля-Шварца
- •1.3.6 Применение конформных отображений в электростатике
- •2 ОБОБЩЕННЫЕ ФУНКЦИИ
- •2.1 Пространство K основных функций
- •2.2 Пространство S основных функций
- •2.3 Регулярные и сингулярные обобщённые функции
- •2.4 Действия с обобщёнными функциями
- •2.5 Локальное поведение обобщённых функций
- •2.6 Основные и обобщённые функции многих переменных
- •2.8 Свёртка
- •2.9.1 Обыкновенные дифференциальные уравнения
- •2.9.2 Уравнения с частными производными
- •2.10 Фундаментальные решения
- •2.11 Преобразование Фурье
- •2.11.1 Дополнение
- •3 ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ МАТЕМАТИЧЕСКОЙ ФИЗИКИ
- •3.1 Классификация уравнений 2-го порядка
- •3.2.1 Две независимых переменных
- •3.3 Три или четыре независимых переменных
- •3.4 Метод Даламбера для уравнения колебаний струны
- •3.4.1 Неограниченная струна
- •3.4.2 Ограниченная струна
- •3.5 Метод разделения переменных. Специальные функции
- •3.5.1 Цилиндpические функции
- •3.5.2 Сфеpические функции
- •4 АСИМПТОТИЧЕСКИЕ РАЗЛОЖЕНИЯ
- •4.1 Понятие асимптотического разложения
- •4.1.1 О-символика. Асимптотическая последовательность
- •4.1.2 Асимптотическое разложение функции
- •4.2 Асимптотика интегралов типа Лапласа
- •4.2.1 Монотонная фазовая функция
- •4.3 Асимптотика интегралов типа Фурье
- •4.3.1 Монотонная фазовая функция
- •4.3.2 Немонотонная фазовая функция
- •4.4 Асимптотика кратных интегралов типа Фурье
- •4.5 Метод перевала
- •5 ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ В КОМПЛЕКСНОЙ ПЛОСКОСТИ
- •5.1 Построение решений с помощью рядов
- •5.1.1 Неособые точки уравнения
- •5.1.2 Регулярная особая точка уравнения
Если точка x0 наибольшего значения фазовой функции совпадает с левым или правым концом промежутка, причем S0(x0) = 0 и S00(x0) < 0, то
b |
|
|
|
|
|
|
f(x0) + O |
√λ . |
(8) |
||
|
λ S00 |
(x0) |
|
|
|||||||
Z f(x)eλS(x)dx = 2eλS(x0) s |
|
|
|
||||||||
1 |
|
|
2π |
|
|
|
1 |
|
|
||
a |
| |
|
|
| |
|
|
|
|
|
|
6.22. Получить асимптотическое представление для интеграла
3
R xe2x+λ sin xdx: а) при λ → +∞; б) при λ → −∞.
0
2
6.23. Для функции F (λ) = R 2+1x eλ(x3−3x) dx найти главный член асимптотики при λ → +∞.
−1
Указание. Асимптотика определяется вкладами от обоих концов промежутка, причем на левом конце при-
менима формула (8), а на правом – (5). |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
R |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
6.24. Для гамма-функции (x) = ∞tx−1e−tdt доказать формулу Стирлинга: (x+1) = |
x |
|
x |
√2πx [1+ |
|||||||||||||
|
|
0 |
|
|
|
|
|
|
|
|
e |
|
|
|
|
|
|
O(1/x)], x → +∞. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
− |
|
|
|
∞ |
|
1+ |
. |
|||
Указание. Сделать замену переменной t = xτ и полученный интеграл разбить на части |
R0 |
|
|
|
+ R1− |
||||||||||||
Асимптотика определится последним из этих интегралов. |
|
|
|
|
|
|
+ R1+ |
|
|||||||||
В задачах 6.25 и 6.26 получить главный член асимптотики данных функций: |
|
|
|
|
|
|
|
|
|
|
|
||||||
6.25. Неполной гамма-функции |
∞ |
→ |
+ |
∞ |
. |
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
||||||
1(x) = tx−1e−tdt при x |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
Указание: см. задачу 6.24. |
R |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∞ e−λ cos x |
dx, λ → +∞. |
Указание. Представить интеграл в виде сходящегося ряда интегралов по |
|||||||||||||||
6.26. −∞ 1+x2 |
|||||||||||||||||
частичнымRпромежуткам. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
4.3 Асимптотика интегралов типа Фурье
Рассматриваются интегралы вида
b |
|
|
F (λ) = Z |
f(x)eiλS(x)dx, |
(9) |
a
где [a, b] – конечный вещественный промежуток, функции f(x) – амплитуда и S(x) – фаза принадлежат классу C∞[a, b], причем функция S(x) вещественна. Задача состоит в получении асимптотики функции F (λ) при λ → +∞.
Замечание: в частном случае, когда S(x) = x, интеграл (9) есть преобразование Фурье функции f(x), продолженной нулём вне промежутка [a, b].
Стационарными точками функции S(x) называются точки, в которых S0(x) = 0. В отличие от интегралов типа Лапласа, основной вклад в асимптотику интегралов типа Фурье (9) дают окрестности всех стационарных точек фазовой функции, а также обоих концов промежутка.
4.3.1 Монотонная фазовая функция
Пусть функция S(x) монотонна, причем S0(x) 6= 0, x [a, b]. Интегрируя по частям, получаем равенство
a |
f(x)eiλS(x)dx = hiλSe |
0(x) f0 |
(x) + iλ1 f1 |
(x) + ... + (iλ1)n fn(x) ia + |
(10) |
||||||||
b |
|
|
|
iλS(x) |
|
|
|
|
|
|
b |
|
|
R |
1 |
b |
|
iλS(x) |
|
|
|
|
|
|
|
||
|
R |
|
|
|
|
|
|
|
|
||||
|
+ |
|
fn+1(x)e |
|
dx, |
|
|
|
|
||||
|
(iλ)n+1 |
|
|
|
|
|
|||||||
|
|
|
a |
|
|
|
|
|
|
|
|
|
86
где f0(x) = f(x), fn+1(x) = − d fn(x) , n = 0, 1, 2, ....
dx S0(x)
Cоотношение (10) можно записать в виде бесконечного асимптотического разложения:
b |
|
eiλS(b) ∞ |
||
Z |
f(x)eiλS(x)dx |
|||
iλS0(b) |
k=0 |
|||
a |
|
|
X |
fk(b) eiλS(a) |
∞ |
fk(a) |
|
|||
|
− |
|
X |
|
, λ → +∞. |
(11) |
(iλ)k |
iλS0(a) |
k=0 |
(iλ)k |
|||
|
|
|
|
|
|
В отличие интегралов типа Лапласа, формула (11) непригодна в случае немонотонной фазовой функции S(x).
1 |
eiλx |
|
R |
1+x dx найти полное асимптотическое разложение: а) при λ → +∞; |
|
6.27. Для функции F (λ) = |
||
0 |
|
|
б) при λ → −∞. Сходится ли асимптотический ряд? |
||
6.28. Для функции F (λ) = |
3 |
cos λ (x3 + 3x) dx: a) получить два члена АР при λ → +∞; б) |
R |
−3
приближенно найти корни уравнения F (λ) = 0 при λ 1.
0
6.29. Для функции F (λ) = R (x+x2)eiλ(2x+cos x)dx найти главный член асимптотики при λ → +∞.
−1
4.3.2 Немонотонная фазовая функция
1. Пусть x0 – единственная на всём промежутке [a, b] стационарная точка функции S(x), и эта точка лежит внутри (a, b), т.е. S0(x0) = 0, a < x0 < b. Будем считать эту точку невырожденной: S00(x0) 6= 0. Тогда интеграл типа Фурье (9) имеет при λ → +∞ асимптотическое представление
b |
|
|
|
|
|
|
|
|
|
sign S00(x0) sλ S2 |
(x0) |
|
|
f(x0) + O(λ−1). |
(12) |
||||
f(x)eiλS(x)dx = eiλS(x0)+i 4 |
|
|
|||||||
π |
|
|
|
|
π |
|
|
|
|
Z |
|
|
|
|
|
|
|
|
|
| |
00 |
|
| |
|
|
|
|||
a |
|
|
|
|
|
Более точная формула учитывает вклад обеих концевых точек промежутка:
b |
f(x)eiλS(x)dx = eiλS(x0)+i π4 sign S00(x0) |
q |
|
|
|
f(x )+ |
|
|
|
2π |
|
|
|||||
|
|
|
|
|||||
|
|
|
|
|||||
a |
iλS(b) |
iλS(a) |
|
λ |S00(x0)| |
0 |
(13) |
||
R |
+iλSe 0(b) f(b) − iλSe 0(a) f(a) + O(λ−3/2). |
|
|
Если невырожденная стационарная точка x0 совпадает с левым или правым концом промежутка, то её вклад описывается формулой (12) с коэффициентом 1/2.
2. Если внутри промежутка находятся стационарные точки xj, j = 1, ..., p, то асимптотика интеграла Фурье описывается формулой вида (13), где вместо одного слагаемого, соответствующего точке x0, следует написать сумму:
p |
π |
sign S00(xj) s |
|
|
2π |
|
|
f(xj). |
eiλS(xj)+i |
|
|
|
|
||||
4 |
|
|
|
|
||||
|
λ S00(xj) |
|
|
|||||
=1 |
|
|
| |
|
| |
|
||
jX |
|
|
|
|
Примечание. Вышеописанный способ построения асимптотики интегралов типа Фурье называют иногда "метод стационарной фазы".
|
3π/2 |
|
6.30. Для интеграла F (λ) = |
R |
cos(2x + 1) cos(λ cos x) dx |
|
−π/2 |
|
а) получить асимптотику с погрешностью O(λ−3/2) при λ → +∞ и при λ → −∞; б) найти приближенно корни уравнения F (λ) = 0 при λ 1.
π
6.31. Найти главный член асимптотики функции F (λ) = R xeiλ sin xdx при λ → ±∞.
0
87