Материал: Функциональный анализ

Внимание! Если размещение файла нарушает Ваши авторские права, то обязательно сообщите нам

§ 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

/г->оо

 

 

462

ГЛ. X. ОБОБЩЕННЫЕ ФУНКЦИИ

Последовательность регулярных обобщенных функций, сходя­

щаяся

к S-функции, называется 6-образной последователь­

ностью. Примерами 6-образных последовательностей для функ­ ций одного переменного могут служить:

а)

fm(x)-

 

m

я(1 + tn2x2)

б)

 

1

sin mx

 

1

sjir mx

в)

fm (X) =

17171

Еще

два

примера 6-образных

последовательностей указаны

в п.

1.

 

 

 

оо

Ряд 2 fk> состоящий из обобщенных функций, называется

k = \

сходящимся к обобщенной функции f, если

Нт 2 / * = /-

/ - > оо /г = 1

Например, ряд

оо

1 + 2 [cos kx —■cos(£ — 1)х] /г=1

сходится в обобщенном смысле к нулю, поскольку для любой функции ф(х) из пространства D

lim (1 +

2 [c°s kx — cos (k —- 1) x]9 <p) =

 

 

/->oo \

fe=l

 

/

 

oo

 

 

 

 

 

 

=

lim (cos jx, <p) =

lim

| <p (x) cos jx dx = 0.

 

 

/ - > oo

 

/ - > 0 0

J

Сходящийся ряд обобщенных функций можно почленно диф-

 

 

 

 

оо

 

ференцировать. Иными словами, если

2 fk = f> то ПРИ любом

q имеем

 

2 ^(<7) ___ ^(<7)

 

 

 

 

 

 

 

 

/г*=1

 

 

 

Пр имер . Ряд 2

eikx

сходится в

обобщенном смысле

 

/ г = — оо

 

 

 

обобщенной функции

оо

6 —2я£). Если применить это

2я 2

 

 

k — — oo

 

 

равенство к функции ф(х) из

пространства D, то получится

формула Пуассона:

 

 

 

 

 

оо

 

оо

 

 

2 ■Ф (&) = 2я 2 ф (2я6),

kt=z— оо

/ 5 = — оо

§ 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) является замыкание* множества точек, в которых эта функция отлична от нуля.

464 ГЛ. X. ОБОБЩЕННЫЕ ФУНКЦИИ

Обобщенная функция называется финитной, если она сосре­ доточена в одном из шаров \х\ <<: а. Любую финитную обобщен­ ную функцию можно распространить до непрерывного функцио­ нала на пространстве C°°(Rn) бесконечно дифференцируемых функций.

Обобщенные функции fi(x) и f2(x) называют совпадающими в открытой области £2, если fi — f2= 0 в этой области. В част­ ности, обобщенная функция f(x) называется регулярной в от­ крытой области £2, если в этой области она совпадает с некото­ рой обычной локально суммируемой функцией. В этом случае можно говорить о значениях обобщенной функции f(x) в точках

множества £2. Например, обобщенная

функция 6(я) регулярна

в дополнении к точке х = 0 и равна

нулю в этом дополнении.

Ли т е р а т у р а : [12], [67], [68].

8.Прямое произведение обобщенных функций. Пусть f(x) — обобщенная функция в пространстве Dx функций cp(jt) от m переменных, a g(y) — обобщенная функция в пространстве Dy

функций ф(*/) от п переменных. Через f (x) Xg( y) обозначают обобщенную функцию в пространстве DXtV функций %(*, у) от

т-\-п переменных, задаваемую формулой

if X g , %) — if, (g,'x(x, у))).

Эта обобщенная функция называется прямым произведением обобщенных функций f(x) и g(y). Если функция %{х, у) из про­ странства Dx,v имеет вид %(х, у) =<р(х)ф(у), где <р(х)

ф(г/) (=Dy, то

( f Xg, %) = (f, ф)(g, Ф).

Имеют место следующие формулы для прямого произведе­ ния обобщенных функций:

f(x)Xg(y) = g(y)Xf(x),

f М X {g (У) X h (2)} = {/ (х) X g (У)} X h (г).

Если обобщенная функция f(x, у) инвариантна относительно сдвигов по переменным х(т. е. если (/, ф(х + h, у ) ) = (f, ф (х, у )) для любого /г), то она имеет вид

f(x, у ) = 1 x Xg(y),

где g(y) обобщенная функция в пространстве Dyi а \ х обоб­ щенная функция в пространстве DXj задаваемая формулой

(1*> Ф М) = J ф{x)dx.

Л и т е р а т у р а : [12], [67], [68].

§ 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 по­ стоянной.

Источник: https://studfile.net/preview/19992813/

Смотрите также: