Файл: Земанян А.Г. Интегральные преобразования обобщенных функций.pdf

ВУЗ: Не указан

Категория: Не указан

Дисциплина: Не указана

Добавлен: 11.04.2024

Просмотров: 144

Скачиваний: 0

ВНИМАНИЕ! Если данный файл нарушает Ваши авторские права, то обязательно сообщите нам.

п правая часть стремится к пределу при t —* +

 

пли при t —* —О.

так как функция D <p (t) ограничена и

непрерывна на 0 <

t •< 1‘

 

0

 

1

Определим

/ как функционал на 38 (I)

по формуле </,

<р> =

= limcp (/). Очевидно, / — ненулевой элемент пространства

38'{І),

^—*—{“О

 

 

(/) также является ненуле­

сопряженного к & (Г). Сужение f па. 3)

вым элементом в ЗУ (Г). Таким образом,

существуют два различных

элемента 38'

(Г), а именно / и нулевой элемент 33' (Г), сужёнпя ко­

торых на S)

(/)

равны и совпадают с нулевым распределением на /.

П р и м е р

2.4.2. Пусть I обозначает теперь всю действитель­

ную ось ЗЯѴ, и 38 — основное пространство, определенное в преды­ дущем примере. В этом случае 3) также содержится в 38, но не плотно в нем. Пространство 38', сопряженное к 38, является про­ странством обобщенных функций на М 1. Мы не можем здесь ис­ пользовать рассуждения предыдущего примера для построения ненулевого элемента в 38', сужение которого на 3) является нуле­ вым распределением па 3ft}- Это объясняется тем, что пределы lim ф (г) и lim ф (г) существуют не для всех элементов 38 (напрнмер,

t — СО СО

для ф (£) = sin t пределы пе существуют). Однако мы можем доказать существованнѳ такого ненулевого элемента в 38', воспользовавшись методом Долежала. Пусть 38L обозначает подмножество 38, для

функций из которого предел lim ф (г) существует. 38ь — линейное

і —* ОО

пространство. Определим линейный функционал / на 38L формулой

 

 

</, ф> = lim ф (<), ф е

38ь .

 

 

 

 

t —* СО

 

 

 

 

 

Тогда для

любого ф ев 38L

 

 

 

 

 

 

 

К /, Ф > К Р « ( Ф ) =

sup

|ф(<)|.

 

 

 

 

 

—oo<f<oo

 

 

Отметим,

что ß0 — норма на 38.

По теореме Хана — Банаха су­

ществует такой линейный функциональна.©, что <Д,

ф> = </, ф>

для всех

ф е 38l и | <Д, <р> | <

ß„ (ф)

для всех ф

 

38. Следова­

тельно,

Д — непрерывный линейный

функционал

на

38.

Так как 3) С 38L , то сужёние Д н асесть нулевое распределение,

поскольку <Д, ф> = lim ф (£) = 0

для всех ф £ 0 .

Таким образом,

существуют два различных элемента 38',

а именно Д и нулевой эле­

мент 38',

сужения которых на 38 (/) равны и совпадают с нулевым

распределением. Это показыват, что пространство обобщенных функ­

ций 38' не может

быть отождествлено с

подпространством 38'.

 

 

З а д а ч а 2.4.1. Пусть

 

I — открытое

множество

в

и

ЗС (Г) — пространство всех функций, аналитическпх на I . Для каж­

дого

компактного

подмножества К (Z / определим полунорму т|я

на

(I)

формулой

 

 

Ф 6

 

 

 

 

 

 

 

(Ф) = sap

 

I ф (і ) I,

Ж (/).

 

 

Снабдим

ЗС (/)

топологией,

порожденной

где К

пробегает

 

•ек

 

 

все компактные подмножества I . Показать, что 36 (Г) является пространством основных функций.

61


Дельта-функция б (s — я), сосредоточенная в « £ / , опреде­ ляется формулой

(s — я), cp (s)>= ф (я)

п принадлежит сопряженному пространству &С' (/). Найти инте­ гральное представление для б (s — я).

2.5. Линейные дифференциальные операторы с частными производными, действующие на обобщенные функции

В этом пункте мы рассмотрим одни из типов операторов, которые при некоторых условиях могут быть применены к обобщенным функциям. Рассматриваемые операторы оп­ ределяются как сопряженпые к некоторым линейным

дифференциальнымI

операторам с частными производнымиЯ п

,

действующимt

в пространствеt,

основных функций.

 

т)

 

Пусть

— некоторое открытое множество в

или

В

fé", =

{*2,

in, .

. . ,

г} е / , и ѳ ѵ (і)(ѵ

=

0 , 1 , . .

. ,

I .

обозначает

комплекснозпачную гладкую

функцию

на

 

 

Рассмотрим линейный дифференциальный оператор с част­

ными производными

D k^ D kt. . . Qm^ D k'mQm,

 

(1)

 

к ѵ

Я =

(— I f

 

 

 

 

гдеЛ п

 

теперь

обозначаютк\

неотрицательные целыепорядкомчисла

из

 

и\ктI

I — одномерное целое число |

кх

| + |

к2

| + . . .

. . .

+

 

к

|.

Число

I

 

 

 

 

 

мы будем называть

 

 

31. (Символ (1) обозначает следующую последователь­ ность операций: уножить наѲт , подействовать оператором

дифференцирования

D hm,

умножить наѲщ^,

и т. д. Кроме

того,

если

I

— открытое

множество

в

 

W1,

то оператор

D

определяется обычным образом; в частности%

, пределV" (I)

не

зависит от направления, по которомуI .

комплексное прира­

щение стремится к нулю.)

Пусть, наконец,

(/) и

 

%

пространства основных функций на

 

 

отображение

 

(/)

 

Если

31

 

 

— непрерывное

лилейное

 

 

в

W

(/),

то

 

мы можем определить сопряженное ему отоб­

ражение

ЗѴ

 

как

оператор

на

V "

(/),

 

действующий

по

формуле

<917, Ф> =

 

</,

 

ср 6= %(/),

 

/ <= V" (I).

 

 

(2)

Согласно

 

теореме

 

1.10.1V 1'31'

определяет

непрерывное

линейное отображение

 

(/)

в

%'

(

I

).

Отметим,

что

порядок

 

 

дифференцирования

в каждом

 

символе

62


Л*»(І**І 1) можно изменять любым образом, не меняя при этом Яіф, поскольку ср и 0 ѵ — гладкие функции. Поэтому 91' / также не зависит от порядка дифференциро­ вания. По этой причине мы никогда не будем указывать порядка дифференцирования в D k. В то же время Зіср и, следовательно, ЗІ'ср зависят от порядка, в котором при­ меняются умножение на 0 , и оператор дифференцирова­

ния D ^ .

 

 

 

множество

в

 

Л п

и

 

D

 

Если

7 — открытое

 

 

 

/ — гладкая

функция, носитель которой компактен в 7 (т. е./

 

(7)),

то / и все ее

производные

определяют регулярные

рас­

Vпределения'

в

£ '

(7). Как

было отмечено в предыдущем%

пункте,

сужения элементов

£ '

(7)

на

V

(7)

принадлежат

(7).

Таким

образом,

для / €Е 25 (7)

 

и ср ЕЕ (7)

фор­

мула (2) может быть переписана в виде

 

 

 

 

 

 

 

 

 

<91'/, Ф> = </, % > =

\ і

(0

 

 

(0

dt.

 

 

 

 

г

 

 

 

 

 

 

Интегрируя последовательно по частям, получаем

$ФІѲт І > Ч . . Ѳ 17 )Ч /] dt- 1

Таким образом, в данном случае мы можем отождествить 91' с оператором

где

D

ѳ ^ Ч . ^ т / ' Ѳ о ,

(3)

 

обозначает обычное дифференцирование.

Символ

(3)

будет использоваться и тогда, когда / — произвольный

элемент

%’

(7), и даже когда

7 — открытое множество

в

с&п.

Однако в этом случае символ

D

нужно понимать как

обобщенное дифференцирование

неявно определенное фор­

 

 

 

 

 

,

мулой (2). Необходимо отметить, что обычная и обобщен­ ная производная не обязательно совпадают; это утвержде­ ние иллюстрируется примером 2.5.1, приведенным ниже (см. также Земанян [1], пример 2.4.1). В этой книге всю­ ду подразумевается, что если дифференциальные операто­ ры, такие как (3), действуют на обобщенные функции, то они являются обобщенными дифференциальными операто­ рами, определенными формулой (2). С другой стороны, если они действуют на основные функции, то операции понимаются в обычном смысле.

63


 

 

П р и м е р .

 

2.5.1. Пусть

/ — пптерпал

0 <

t < 1 ( ( £

£%1)

и

 

3) (/) — пространство

основных

функций,

опрѳдолеиное

в

примере 2.4.1.

В этом случае дпфференцпровапио является непре­

рывным лпиеппым отображенном 33 (/)

в 33 (/). Поэтому производ­

ная

(обобщенная)

D f

любого

элемента / è

33' (/)

определяется

формулой

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

W f , ф> =

</,

—D(p>,

ф £ 33 (Г).

 

 

 

 

Пусть

теперь / задается

выражением

 

 

 

 

 

 

 

 

 

 

 

 

 

 

</, ф > = ^і ф («)<и .

 

 

 

 

 

Таким образом,

/

есть

регулярная

обобщенная функция в 33' (/),

 

 

о

 

 

 

 

 

 

 

соответствующая обычной функции

/ (г) = 1 (0 <

і < 1). Обычная

нропзводная этой функции равна пулю всюду на I и поэтому по­

рождает нулевой элемент в.® ' (I ). С другой стороны, обобщенная

производная не является нулевым элементом 33' (/).

Действитель­

но,

 

для любой

функции

ф (Е 33 (/)

мы пмоем

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

<£)/, ф> = </, — І)ф> =

— ^ Лф («) dt = lim ф (t) —

lim ф (t).

 

 

 

 

Частным2

 

 

 

"

 

 

(->+о

 

і-»і—о

 

 

 

 

случаем операции, которую можно задать

формулой ( ), является операция умножения на гладкую

функцию.

Например,

если Ѳ — гладкая функция на 7,

и

если

ср ь->- Ѳср

есть

непрерывное” \Т) %'линейное

отображение

%

(7) в

V

(7),

то /н -Ѳ /Ѵпредставляет собой непрерывное

линейное

отображение

 

в

(7),

определенное фор­

мулой

<Ѳ/, ф> =

</, Ѳф>,

 

с р е ^ (7 ),

/ е Г ( / ) .

(4)

 

 

 

 

Если пространства основных функций % (7) и V (7) сов­ падают, то Ѳ называется мультипликатором в пространст­ ве % (7). Например, каждая гладкая функция на 7 яв­ ляется мультипликатором в 25 (7) (докажите это).

З а д а ч а 2.5.1. Предположим, что операции дифференциро­ вания Э/Эіѵ (первого порядка) и умножения на гладкую функцию

0 определяет непрерывные линейные отображения пространства

основных функций V “ (/) в себя. Показать, что для / (Е V " (I) спра­ ведливо правило Лейбница дифференцирования произведения:

30

4"(0/) = о Ж Г + / at..

З а д а ч а 2.5.2. Доказать следующие два утверждения. Лю­ бая гладкая функция 0 (т) па открытом множестве I является муль­ типликатором в 3) (/). Если, кроме того, 0 (т) нигде па I не обра­ щается в нуль, то отображение ф і->- Ѳф есть автоморфизм 3) (/).

64


З а д а ч а 2.5.3. Пусть б (s — а) — дельта-функция, опреде­ ленная в задаче 2.4.1. Показать, что к-я обобщенная производная D k б (.? — а) принадлежит &£' (/). Найти также интегральное пред­ ставление для D k б (s — а).

2.6. Обобщенные функции, зависящие от параметра, и дифференцирование по параметру

Пусть т £Е — параметр, заданный на некотором от­ крытом множестве J в М 1, t ЕЕ Л п изменяется в открытом множестве / в Я п, и пусть V (/), как и раньше, прост­ ранство основных функций. Мы будем называть /х (t) обобщенной функцией в V " (/), зависящей от параметра

т, если для любого фиксированного значения т (t) при­ надлежит V ' (/). Таким образом, при всех cp Е У (/) выражение </х (г), ф (t)) есть обычная функция т. Мы бу­ дем также говорить, что обобщенная функция /х (t) диф­ ференцируема по X в фиксированной точке т 0, если при всех cp (t) ЕЕ V (I ) выражение </х (t), ф (<)> обладает в т 0 обычной производной. Это означает, что предел

lim 4 г [ ( U (0. ф(0> - </х. (0, ф(0>]

(1)

Дт-Ю

 

существует при всех ф (t) ЕЕ !'№(/). Кроме того, мы ска­ жем, что /х (г) дифференцируема на открытом множестве J , если (1) существует для всех т0ее / . Заменяя т 0 на т, обозначим (1) символом <DT/х (f), ф(/)>. Это выражение определяет производную по параметру как фупкционал на 'W (/). Символически можно написать

 

 

 

 

< Д .М 0 .ф (0 > =

о л и

(і). Ф(0>.

 

(2)

Далее,

нетрудно видеть, что

 

1

{I).

Действитель­

но, при Ат

Ф

 

 

 

 

 

 

0 выражение (Ат)- (/х+дх — /х) принадлежит

V

(/)

и согласно нашему определению являетсяW

направ­

ленным множеством Коши при

А т —>-0. Наше утвержде­

ние является поэтому следствием полноты

(/).

 

Производные по параметру высших порядков Z)x/x обобщенной функции /х, так же как и частные производ­ ные /х по параметру, в случае, когда t e J? 11, определяют­ ся аналогично последовательным применением операции дифференцирования (первого порядка), определенной вы­ ше. Таким образом, все такие производные, если опи су­ ществуют, принадлежат Ѵ"{1).

3 А. Г. Земапян

65