Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
[Аленицын, Благовещенский] Задачник (5 сем).pdf
Скачиваний:
148
Добавлен:
22.08.2013
Размер:
799.62 Кб
Скачать

Если точка 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

 

 

 

 

 

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) + 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 )+

 

 

 

 

 

 

 

 

 

 

 

 

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

 

 

 

 

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