
ИСиТ / 09.03.02 Интеллектуальные информационные системы и технологии / 2 курс 2 семестр / Алексеев Александр Борисович / Высшая математика / Краснов Лаплас
.pdf
. 90 Тhава 1 . Операционное ИСЧИСЛf#W/е
Левая: часть этого равенства я:вляется косинус-преобраэованием Фс({) функции
У?( ), |
отсюда |
|
|
|
|
|
|
fi |
1 +t t2 ' |
|
|
|
||
Тогда |
|
|
|
|
|
|
|
Фс(f.) = |
|
|
|
|||
|
|
|
|
|
|
|
преобраэования Фурье имеем |
|
||||||
|
по формуле обратного :косинус- V ; |
|
|
COS { |
. |
|
||||||||
|
|
|
У?( ) = v/2; о Ф0({) COS t = ;2 /о+ое> |
l + {2 |
( 15) |
|||||||||
Интеграл в правой части |
|
|
вычисляется с помощью теории вычетов. Используя |
|||||||||||
(15) /+оо |
|
|
|
|
|
|
||||||||
рещение задачи 397 |
З) |
nри |
m |
= и а = 1 , nолучим |
|
|
|
|||||||
|
|
|
|
|
|
1 cos { |
_ ! |
_., |
|
|
|
|||
Та:ким образом, |
|
|
|
|
о+оо1 + t2 |
d - 2 е |
. |
|
|
1> |
||||
Задачи дnя са мостоятельного решения |
|
|
||||||||||||
|
|
|
||||||||||||
|
|
|
|
|
||||||||||
Решить следующие интегральные уравнения: |
|
|
|
|
||||||||||
400. |
|
У?( ) sш{z dz = |
|
|
0 { |
|
|
|
|
|
||||
|
о+oo |
• |
|
|
|
sin {, Е > 1 1, ' |
|
|
|
|||||
|
J |
|
|
|
|
|
{ |
|
|
|
|
|
|
|
401. |
J+ооY?(z) sin {ж clz = |
е-( |
({ > О). |
|
|
|
|
|
|
|||||
|
о |
|
|
|
|
|
|
|
|
|
|
|
|
|
При решении некоторых задач математической физики можно вос
пользоваться интегральными преобразованиями Меллина или Ханкеля. |
||||
Преобразованием Меллина функции /(ж), оnределенной для ж |
Е |
|||
(0, +оо) , называется функция |
/(р), |
+оо |
|
|
|
= |
определяемая равенством |
|
|
.Л[!] = f(p) |
1о |
|
||
|
|
жР- 1 /(ж) dж, |
|
Наnример, если /(ж) = e-z, О < ж < +оо, то
1
+оо
/(р) = :xl'-l e-:t dж = Г(р),
о
э) Красн(НJ М.Л., Xuct etl А. И., МDКаренко Г.Н. Функции комnлексного nеременноrо.
М.: УРСС, 2003.


92 |
Тhава 1 . Операционное исчислеffие |
|||||
где |
Г(р) - гамма-функция Эйлера аргумента • |
Формула обратного |
||||
иреобразования Меллина имеет вид |
р. |
|
||||
|
JГ I [ l J |
= f(x) = |
2 i |
7+ioox-Pj ) dp. |
||
|
|
|
|
1 |
|
|
|
|
|
функции f(x) называется функция JIO , |
|||
|
Преобразованием Ханкеля |
|
|
7-ioo |
|
|
определяемая равенством |
|
|
1о |
|
|
|
|
|
|
|
|
|
|
|
[/] |
= ТЮ = +ооxJn ({x)f(x) dx, |
где Jn ({x) - функция Бесселя первого рода порядка n . Формула обрат
ного иреобразования Ханкеля
+оо
;n"- 1 [ 1 J f (x) = 1 {Jn ({x)JIO d{.
о
Для удобства в таблице на стр. 9 1 , интегральные иреобразования сгруп пированы по парам.
§ 1 1 . Обобщенные функции.
Преобразование Фурье
обобщенных функций
Классическое иреобразование Фурье требует, чтобы функция f(x)
стремилась к нулю при lxl --+ оо достаточно быстро. Это условие ис ключает такие функции, как f(x) = 1 , f(x) = cos х, f(x) = х2 и т. д.
Вводя понятие обобщенной функции, мы снимаем указанное ограни чение и тем самым можем находить иреобразования Фурье возрастающих функций.
Цель этого параграфа - познакомиться с понятием обобщенной функции и дать определение иреобразования Фурье некоторых важных функций, не имеющих обычных Фурье-образов.
Пространство основных функций
Функция tp(x) называется финитной, если она обращается в нуль вне некотороrо конечного интервала. Носителем функции tp(x) называется замыкание множества точек, в которых tp(x) :f.: О. Носитель функции tp(x) обозначается символом
supp tp = {х 1 tp(x) :f.: 0}.

П |
93 |
§ 1 1. реобразование Фурье обобщенных функций |
Обозначим С 8'"(а, Ь) множество всех финитных функций, бесконечно дифференцируемых на отрезке [а, Ьj .
В теории обобщенных функций очень важную роль играет следующая лемма (основная лемма вариационного исчисления).
Лемма. Пусть f(x) Е С[а, Ь] и для любой функции <р(х) Е C(f (a, Ь)
справедливо равенство
|
|
|
|
|
|
|
|
jа |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ь |
f(x)<p(x) dx = О. |
|
|
|
|
|||||||
|
Тогда f(x) = О. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
Из этой леммы вытекает следующий факт. Положим |
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
jа |
f(x)<p(x) dx. |
|
|
|
|
|||||
|
|
|
|
|
|
|
(/, <p) d,;J |
ь |
|
|
|
|
||||||||
Тогда тождественное равенство |
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
равносильно равенству |
f(x) = g(x) |
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
(!, <р) = (g, <р) |
|
|
<р(х) |
|
cgo(a, |
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
q; |
Е |
|
|
Ь). |
|
||||
|
Пространство основных функцийV |
|
|
|
|
|
||||||||||||||
|
Обозначим через q; линейное пространство финитных бесконечно |
|||||||||||||||||||
дифференцируемых в |
IR1 |
функций. |
|
|
|
|
|
|
|
|
|
|
||||||||
|
Сходимость в |
@ определим следующим образом: последовательность |
||||||||||||||||||
<р11(х) Е |
fli, |
v |
= |
1, 2, . . |
. , сходится |
|
к нулю |
в |
fli, |
если |
выполняются |
|||||||||
следующие |
|
|
|
|
|
|
|
|
|
|
|
|
|
(а, Ь) , |
|
|||||
|
|
|
условия: |
|
|
|
|
|
|
|
|
|
|
|
|
= 1 , 2, . . . |
||||
1) |
существует такой интервал (а, Ь) , |
что supp <р11 |
|
|
||||||||||||||||
2) |
nри |
|
--+ |
+оо |
<pv{x) |
равномерно |
|
сходится к |
нулю на |
[ |
||||||||||
|
|
|
|
|
|
|
|
|
|
С |
|
vа, Ь] , так же; |
||||||||
|
как иvnроизводные <p k) (x) любого порядка k . |
|
|
|
||||||||||||||||
|
В этом случае будем писать <р11(х) --+ О . |
|
|
|
|
|
||||||||||||||
|
Пространство |
|
называется пространством основных функций. |
|||||||||||||||||
|
Пусть, напримерq), |
|
|
|
|
|
|
q; |
|
}' |
|
|
|
|
|
|||||
|
|
|
|
|
<ра(х) = |
ехр |
|
- |
а2 |
- х2 |
lxl |
< а, |
|
|||||||
|
|
|
|
|
{ О, |
{ |
|
|
а, |
|
||||||||||
так что supp <pa = [-а, а] . |
|
lxl |
|
|
|
§ 1 1. Преобразование Фурье обобщенных функций |
95 |
Пусть дан функционал 1 в простран тве q) основных функций, который каждой основной функции <р(а:) ставит в соответствие действи тельное число (!, <р) :
Оnределение. Функционал f называетсЯ линейным, если
|
|
|
(/ , O ! J < J ' I + а2<р2) = O!J(/, < J ' I) + а2 (/ , <J'2) |
||||
|
|
|
'9' а 1 , а2 Е !R_I. |
|
'9' < J ' I, IP2 Е q), |
||
Оnределение. Функционал f называется непрерывным, если для |
|||||||
любой последовательности <J'v (a:) |
основных функций, сходящейся |
||||||
в |
q) |
к <р(а:) |
при v - - |
+оо, имеем |
|
|
(/• <р) · |
|
|
(/ • IPv) |
|
|
|||
Сформулируем основное определение. |
|||||||
|
|
|
|
|
--+ |
|
|
|
|
|
|
|
R' |
|
Оnределение. Обобщенной функцией называется всякий линейный |
|||
непрерывный функционал на пространстве основных функций q): |
|||
|
q ) . L IRI. |
|
|
Пространство обобщенных функций обозначается через q)' . |
|||
Пример 1 . Пусть / (а:) |
- абсолютно интегрируемая функция на про |
||
извольном конечном интервале числовой оси: |
Ь) . |
||
ь |
1/ (a:) l da: < +оо |
|
|
Jа |
|
V ' (a, |
|
Такие функции локально интегрируемы. С помощью. этоЙ функции любой |
||
основной функции <р(ж) можно поставить в соответствие число |
' |
|
|
+оо |
|
(/, <р) =-jоо f(ж)<р(ж) dж; |
(1) |
|
здесь интегрирование производится, на самом деле, на конечном интервале, вне |
||
которого функция <р(ж) обращается |
нуль. Нетрудно проверить, что функционал, |
|
определяемый формулой (1) является линейным и непрерывным. |
Обобщенная |
|
функция, определяемая формулой, |
в(1), называется регулярным функционалом |
или функционалом типа функции (функционал отождествляется с функцией f). |
||||
Постоянная обобщенная функция определяется формулой |
||||
|
+оо |
|
+оо |
|
(/, <р) С |
-оо |
<р(ж) dж |
=-jос |
С<р(ж) dж. |
= |
|
|
||
j |
|
|
Функционалы типа ( l) не исчерпывают вселинейные неnрерывные функиионалы |
|
на @, как показывает следующий nример. |
1> |

96 |
Глава 1 . Операционное исчисление |
Пример 2. |
Дельта-функция Дирака б(а:) . |
Положим по оnределению
(б(х), IP(x)) = IP(O),
т. е. этот функционал сопоставляет каждой функции \Р(х) Е q) ее значение в точке
х= О. Нетрудно видеть, что б(х) Е q;', т. е. является обобщенной функцией.
Действительно, имеем
т. е. функционал линеен.
Далее, если \Pv(x) -+ \Р(х), тогда
(б(х), |
\Pv(x)) |
= |
\Pv(O) -+ IP(O) |
= |
(б(х), \Р(х)) |
( |
v - ++оо), |
|||
|
|
qJ |
Jl . l |
|
|
|
||||
т. е. данный функционал непрерывен. |
|
|
|
|
|
1> |
||||
Можно доказать, что этот функционал нельзя представить в виде ( 1 ) |
||||||||||
ни для какой локально интегрируемой функции |
j (x) . Поэтому дельта |
|||||||||
функция б (а:) не является регулярным функционалом. Такие обобщенные |
||||||||||
функции называются сингулярными. Часто встречается и «смещенная>) |
||||||||||
дельта-функция б (а: - хо) , определяемая формулой |
|
|
||||||||
|
|
|
(б(х - хо) , IP(x)) = ip(xo) . |
|
|
|
||||
Дифференцирование обобщенных функций |
|
|
|
|
||||||
Пусть j (x) |
- дифференцируемая в обычном смысле функция и |
|||||||||
J' (x) - локально интегрируемая функция. Для произвольной ip(a:) Е f7!, |
||||||||||
интегрируя по частям, имеем |
|
|
|
|
- |
+ J (x)fP' (x) dx. |
||||
(!' (а:) , ip(x)) = |
+оо/' |
(a:)ip(x) dx = [!(x)fP(x)] |
l:::: |
|||||||
|
|
1 |
|
|
|
|
|
1 |
||
|
интеграла равно нулю, т. к. IP(x) |
- финитная функция, |
||||||||
Слагаемое вне |
|
- |
|
|
|
|
|
|
|
-оо |
которая обращается в нуль вне конечного интервала. Поэтому |
||||||||||
Если J - обобщенная функция, то по определению лолагаем |
||||||||||
|
|
|
|
(!', |
- (! , IP') . |
|
|
|
(2) |
|
|
|
|
|
IP) = |
|
|
|
То есть, если J Е q;', говорят, что обобщенная функция /' Е q;', опре деляемая формулой (2), есть производпая этой функции. Очевидно, что ip1 Е q5 и формула (2) корректно определена.
Для обычной дифференцируемой функции производпая /'(х) в смы сле qJ' является обычной производной.


