"ref_1.gif"

"ref_2.gif"

   Положим например "asympt2_1.gif". Интеграл

"asympt2_2.gif"

очевидно, сходится абсолютно (и равномерно относительно h>0) в силу оценки

"asympt2_3.gif"

С другой стороны "asympt2_4.gif", что видно из разложения функции φ(x) в ряд Тейлора:

"asympt2_5.gif"

Подставляя эти производные в ФАР (Α), получим расходящийся ряд при всех h≠0

"asympt2_6.gif"

Его расходимость видна даже из признака Даламбера:

"asympt2_7.gif"

"asympt2_8.gif"

"asympt2_9.gif"

"asympt2_10.gif"

Тем не менее, возьмём 40 членов разложения асимптотического ряда (Α) и положим "asympt2_11.gif"

"asympt2_12.gif"

"asympt2_13.gif"

"asympt2_14.gif"

  Теперь вычислим соответствующий интеграл численно:

"asympt2_15.gif"

"asympt2_16.gif"

Абсолютная величина разности значений, вычисленных разными способами.

"asympt2_17.gif"

"asympt2_18.gif"

"asympt2_19.gif"

"asympt2_20.gif"

Приложение. Дельта-функция Дирака. Преобразование Фурье обобщённых функций.

1. Дельта-функцией Дирака δ(x) называется линейный непрерывный функционал над пространством D(R) основных (пробных) функций.  
Функция ψ∈D(R), если:
1) Κ=supp[ψ]≡{x∈R: ψ(x)≠0} – компактное подмножество R (в данном случае это ограниченное замкнутое множество);
2) "asympt2_21.gif"(R) –  пространство бесконечно дифференцируемых финитных функций;
3) последовательность пробных функций "asympt2_22.gif" (n=1,2,3,...) сходится к некоторой функции ψ∈D(R) тогда и только тогда, когда:
    (a) существует компакт Κ, такой, что для любого n∈N "asympt2_23.gif";
    (b) "asympt2_24.gif" равномерно по x∈Κ.
Дельта-функция действует на пробную функцию ψ∈D(R) по правилу   

"asympt2_25.gif"

2. Для преобразования Фурье обобщённых функций пространство пробных функций D не годится так оно не инвариантно относительно операции преобразования Фурье: F(D)≠D. Инвариантным относительно оператора F является пространство S. Это класс бесконечно диффкренцируемых функций на R и убывающих со всеми своими производными при x→∞ быстрее любой степени x. Формально, ψ∈S(R) тогда и только тогда, когда:
(a) "asympt2_26.gif"(R);
(b) ∀ x∈R и  ∀ α, β ∈N∪{0}  ∃ "asympt2_27.gif", такая, что  "asympt2_28.gif";
(c) последовательность функций "asympt2_29.gif" (n=1,2,3,...) сходится к некоторой функции ψ∈S(R), если ∀α,β∈N∪{0}

"asympt2_30.gif"

равномерно по x∈R.

Дифференцирование обобщённых функций определяется так. Пусть f – обобщённая функция над пространством D или S. (будем иметь в виду S). Производной обобщённой функции f называется такой линейний непрерывный функционал "asympt2_31.gif" над S, что ∀ ψ∈S выполняется равенство  

"asympt2_32.gif"

И вообще, "asympt2_33.gif" "asympt2_34.gif" – это такая обобщённая функция, что

"asympt2_35.gif"

Скобки {f,g} означают интегрирование f g по R

"asympt2_36.gif"

Теперь мы можем показать, как вычисляется обратное преобразование Фурье функций "asympt2_37.gif", n∈N∪{0}.
Определим операторы преобразования Фурье по формулам

"asympt2_38.gif"

"asympt2_39.gif"

Преобразованием Фурье обобщённой функции g называется такая обобщённая функция F(g), что для любой функции ψ∈S(R) выполняется равенство

"asympt2_40.gif"

Будем считать "asympt2_41.gif" обобщённой функцией. Тогда для любой "asympt2_42.gif"

"asympt2_43.gif"

Сравнивая начало и конец выкладки, заключаем, что

"asympt2_44.gif"

Изложенный здесь метод является частным случаем метода стационарной фазы, который позволяет находить асимптотику интегралов вида

"asympt2_45.gif"

"ref_1.gif"

"ref_2.gif"

Spikey Created with Wolfram Mathematica 7.0
Hosted by uCoz