§ 1. ОБОБЩЕННЫЕ ФУНКЦИИ И ДЕЙСТВИЯ НАД НИМИ |
461 |
на всех функциях, являющихся производными функций из D. Эти функции образуют подпространство, отличающееся от D на одно измерение. Поэтому можно положить
(А. Ф0) = с
оо
для фиксированной функции ф0(*) из D такой, что J ^а(х)йхФ
— оо
Ф 0, после чего обобщенная функция fi будет однозначно опре делена.
Ли т е р а т у р а : [12], [67], [68].
6.Предел последовательности обобщенных функций. После довательность {fk} обобщенных функций называется сходящейся
кобобщенной функции /, если для любой функции ф(х) из про странства D имеет место равенство
lim (fk, <р) = (/, ф).
& -> оо
Для каждой обобщенной функции / можно построить сходя щуюся к ней последовательность функций {ф&(*)} из простран ства D, т. е. такую последовательность, что для всех функций ср(я) из D
lim |
f ф* (х) (р (х) dx = (/, ф). |
/г->оо |
J |
Если последовательность {fk(x)} локально суммируемых функций такова, что
lim |
f | / (х) — fk (х) \dx = 0, |
k->oo |
J |
то обобщенные функции (Д, ф) сходятся к обобщенной функции (/, ф). Однако из того, что в любой точке х выполнено равенство lim fk (х) = / (х), не вытекает, что lim (fk, ф ) = (f, ф ) . Напри-
& -> оо |
fe->oo |
|
мер, при всех значениях х |
2k3x2 |
п |
|
||
|
n ( l + k 2x2)2 - и |
- |
Однако для любой функции ф(х) из пространства К имеем
lim |
2k3 |
х2ср (х) dx |
= Ф (0), |
||
k->oo |
^ |
( l +k2X2)2 |
|
||
и поэтому в смысле обобщенных функций |
|||||
lim |
2k3x2 |
= 6 ( Х ) , |
|||
(1 + k2x2)2 |
|||||
/г->оо |
|
|
|||
§ 1. ОБОБЩЕННЫЕ ФУНКЦИИ И ДЕЙСТВИЯ НАД НИМИ |
463 |
где
оо
ф( А , ) = q>(x)eiKxJ dx
—оо
—преобразование Фурье функции ф(я). Далее, из равенства
оооо
2 eikx = 2я 2 б(х — 2nk)
k=—oo k=z—oo
вытекает, что
оооо
Y + 2 cos kx — n ^ б (х — 2nk).
k*=\ оо
Дифференцирование этого равенства дает
оо оо
^ |
kqcos {kx + |
= л |
2 |
S(<7) (x — 2nk). |
fea=l |
|
/j=s—oo |
|
|
Точно так же из равенства |
|
|
||
|
cos /г* |
- I n |
2 sin- |
|
|
k |
|||
|
|
|
|
|
вытекает, что2 |
|
|
|
|
2 |
k11-1cos {kx + |
= |
— | In 12 sin Y | j(?), |
|
где производная в правой |
части |
этого |
равенства понимается |
|
в обобщенном смысле. |
|
|
|
|
Ли т е р а т у р а : [12], [67], [68].
7.Локальные свойства обобщенных функций. Говорят, что
обобщенная функция |
f(x) равна |
нулю в области £2, если |
(f, ф) = 0 для любой функции ф(х) |
из пространства D, равной |
|
нулю вне замкнутого |
множества А, |
лежащего в £2. Например, |
обобщенная функция 6(х) равна нулю в области £2, получаемой из пространства Rn «выкалыванием» точки х = 0.
Обобщенная функция f(x) называется сосредоточенной на замкнутом множестве В, если она равна нулю на дополнении к этому множеству. Наименьшее замкнутое множество, на ко тором сосредоточена обобщенная функция f(x)y называется но сителем этой функции. Например, носителем обобщенной функ ции 8(х) и всех ее производных является точка х = 0. Носите лем регулярной функции f(x) является замыкание* множества точек, в которых эта функция отлична от нуля.
§ 1 ОБОБЩЕННЫЕ ФУНКЦИИ И ДЕЙСТВИЯ НАД НИМИ |
465 |
9. Свертка обобщенных функций. Пусть f(x) и g ( x ) — обоб щенные функции одного переменного, причем выполнено одно из следующих условий:
а) одна из функций f(x), g(x) имеет ограниченный носитель; б) носители обобщенных функций f(x) и g(x) ограничены с одной и той же стороны (например, f{x) = 0 при х < a, g(x) —
=0 при х < Ь).
Тогда для любой функции (р(х) из пространства D опреде
лено выражение
(f(x)Xg(y)> Ф (* + |
*/))> |
|
которое обозначается через (f*g, |
ф). |
Обобщенную функцию |
f * g называют сверткой обобщенных функций f(x) и g(x). |
||
Если обобщенные функции f(x) |
и g(x) регулярны и удовле |
|
творяют одному из условий а), б), то обобщенная функция f *g также регулярна и задается функцией
оо
f * g ( x ) = J f ( x - y ) g ( y ) d y .
— оо
Примеры . 1. Если f ( x ) —любая обобщенная функция, то б*f{x) =f ( x) . Таким образом, б-функция играет роль единицы относительно операции свертывания. В частности, б *6(х) = 6(х).
2. Свертка обобщенной функции f(x) с 6 {x — h) равносильна сдвигу f{x) на А:
б(х — А) * / (х) = / (х —■А). Справедливы равенства
f*g(x) = g*f(x)
(f*g)*h{x) = f*(g*h) (х),
выражающие коммутативность и ассоциативность свертки обоб щенных функций.
Формула дифференцирования свертки имеет вид
|
|
|
d[_ |
|
dg ' |
|
|
|
dx |
* g = f * dx |
|
Если |
limfv= f, то |
lim fv * g^=f * g |
при каждом из следую- |
||
|
V оо |
V |
со |
|
|
щих предположений: |
|
функции |
fv(x) |
сосредоточены на одном |
|
а) |
все обобщенные |
||||
и том же ограниченном множестве;
б) обобщенная функция g сосредоточена на ограниченном множестве;
в) носители обобщенных функций /v(x) и .g(x) ограничены с одной и той же стороны, и притом не зависящей от v по стоянной.