Файл: Земанян А.Г. Интегральные преобразования обобщенных функций.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 |
0О |
|
|
|
|
|||
гдеЛ п |
|
теперь |
обозначаютк\ |
неотрицательные целыепорядкомчисла |
|||||||
из |
|
и\кт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 |