Файл: Земанян А.Г. Интегральные преобразования обобщенных функций.pdf
ВУЗ: Не указан
Категория: Не указан
Дисциплина: Не указана
Добавлен: 11.04.2024
Просмотров: 180
Скачиваний: 0
Применяя к (1) преобразование Меллииа и используя формулу (6) п. 4.4, мы получаем уравнение В (s) U (s) =
— G(s), где В (s) обозначает полином:
В (s) = |
ап (— 1)” (s)n + |
ап-1 (— l)n_1 (s)n + . . . |
+ а0 |
||||||||||||||
и |
|
В |
s |
(s)v = |
s ( s + |
1) |
. . . ( S + |
V |
— 1). |
|
|
|
|
|
|||
Еслп |
не имеет корней |
|
|
f i g , |
то |
|
по |
теореме |
|||||||||
( ) |
|
в полосе |
|
|
|||||||||||||
4.3.5 |
существует преобразуемая по Меллпну обобщенная |
||||||||||||||||
функция |
и |
X |
преобразование которой |
равно |
G |
s)/B (s) |
|||||||||||
|
( ), |
|
( |
|
|||||||||||||
в fig. По теореме 4.3.4 такая функция |
и (х) |
единственна |
|||||||||||||||
.М' |
|
||||||||||||||||
в . |
il' |
gi, |
Og2). |
Кроме того, |
и (х) |
является |
решением |
||||||||||
|
(п |
|
|
|
|||||||||||||
уравнения |
(1) |
в |
смысле |
равенства |
в |
|
|
(aSl, а8г), |
что |
||||||||
|
|
|
|
|
|
следует из равенства (6) п. 4.4 и теоремы 4.3.4. Симво
лически можно инаписать |
|
|
|
s |
|
|
|
|
|||
Мы можем |
(х) |
= |
ЭЛ |
1 |
|
, |
ее |
fig. |
его |
||
определить |
решение |
(по |
крайней мере |
||||||||
сужение па |
некоторое подпространство |
Л (agl, og.J или, |
|||||||||
используя |
теоремы |
|
4.3.3 |
либо |
4.4.1, или сославшись |
||||||
на таблицу |
преобразований Меллииа |
|
(Лафлин [1]). |
|
|||||||
Предположим теперь, |
что |
В |
(s) имеет корни в |
fig. |
|||||||
|
Их может быть лишь конечное число, и мы разобьем по
лосу |
fig на |
т |
|
смежных |
подполос |
|
|
aßi = |
Со < Re |
s |
0 |
< Ke s < o2, . . . , |
< |
|
|
|
< (Гц ! |
(2) |
|||||
|
|
|
|
|
< Re s < om = |
Og2, |
в которых функция G (s)/B (s) аналитична и удовлетво ряет условию полиномиального роста (см. теорему 4.3.5). По тем же причинам, что и раньше, мы можем заключить, что для каждой такой подполосы, скажем, оѵ < Re s <;
<О ѵ + і, существует единственный элемент и (х) простран
ства |
Л ' |
(стѵ, |
Стѵ+і), |
удовлетворяющий0 |
уравнению |
(1 ) |
в |
|||||||
Л ' |
|
|
|
|
|
|
|
|||||||
|
(а„ аѵ+і) |
и |
< |
преобразование Меллииа которого |
равно |
|||||||||
G s)/B |
(s) |
В 0 |
, |
Re .? *< |
Ѵ+1. |
Мы |
обозначим это решение |
|||||||
( |
|
|
|
|
|
|||||||||
через |
|
|
“ |
(ж) = Я Г 1 Щ |
' |
< |
Re s < öv+1. |
|
|
|||||
|
|
|
|
|
|
При любом другом выборе подполосы мы получим другое решение (можно показать, что разность любых двух таких решений равна гладкой на 0 <С.х < ; оа функции,
149
удовлетворяющей в обычном смысле однородному урав нению Lu = 0).
П р и м е р 4.5.1. Укажем простой пример физической ситуа ции, приводящей к дифференциальному уравнению Эйлера. Другой пример будет дай в и. 4.7.
Рассмотрим электрический контур (рис. 4.5.1), состоящий из последовательно соединенных зависящей от времени индуктивности
L (t) = t |
генри и постоянного сопротивления |
R = 1 |
ом. |
Здесь |
t |
|||
jit) |
|
|
обозначает время. Мы допустим, что |
|||||
|
|
начальное |
возбуждение |
в |
контуре |
|||
Lit) |
|
|
отсутствует и что напряжение на |
|||||
ШНгк |
концах равно пулю до |
некоторого |
||||||
v(t) |
положительного |
момента |
времени |
|||||
|
Я |
іом |
t = Т > 0. |
Мы |
желаем |
определить |
||
|
Рис. 4.5.1. |
= |
ток j (t), возникающий |
при |
подаче |
|||
|
напряжения. |
|
|
|
|
|||
|
|
|
Законы |
Кирхгофа |
приводят |
к |
следующему дифференциальному уравпеишо:
V = D {Lj) + llj = D (tj) + i = tDj + 2/.
Предполагая, что v (t) — преобразуемая по Меллниу обобщенная функция, сосредоточенная на Т t < оо, мы можем применить преобразование Меллина и получить уравнение
V (,) = - s J (,) + 2/ (s),
где
V = ЭДе, / = Щ .
Область сходимости для ЗЛи = V (s) должна совпадать с полуплос костью, неограниченной слева, поскольку обобщенная функция V сосредоточена на 1' t < со. (Действительно, ѵ будет элементом
Ліа, Ъпри любом значении аи некотором Ь, откуда и следует наше
утверждение.) Обозначим эту |
полуплоскость |
через |
Q u = {$: |
||
Re s < о0}. |
Физический смысл |
задачи |
требует, |
чтобы |
функция |
/ (t) также |
была сосредоточена |
на Т |
t < оо. |
Следовательно, |
решение / (г) является той единственной преобразуемой по Меллину
обобщенной функцией, преобразование |
Меллина которой |
равно |
|||
V (s)/2 — s h |
имеет область определения |
{s: Re s < (min |
av, |
2)}. |
|
З а д а ч а |
4.5.1. Используя обозначения, введенные |
|
в |
этом |
пункте, предположим, что В {s) имеет корни в £2г . Показать, что разность иа между двумя преобразуемыми по Меллину решениями уравнения Lu = g, соответствующими различным выборам под
полос (2) в Q^, является гладкой функцией на 0 < |
х < оо, которая |
||||||||||
удовлетворяет |
уравнению Lu^ = |
0 |
в обычном смысле. Указание: |
||||||||
использовать |
теорему 4.4.1. |
|
|
|
|
|
|
|
|||
З а д а ч а |
4.5.2. |
Пусть |
X |
— фиксированное |
положительное |
||||||
число, |
и |
1+ {х — X) |
— сдвинутая |
функция Хевисайда: |
|
|
|||||
|
|
|
|
|
Г |
0, |
0 < |
а: < X , |
|
|
|
|
|
|
1+ { х - Х ) - = |
|
i/г, |
|
* = Х , |
|
|
|
|
|
|
|
|
|
I |
1, |
Х < ж < о о . |
|
|
|
|
Пусть |
L |
— дифференциальный |
оператор, |
определенный |
в (1) |
и |
|||||
и {х) — решение однородного |
уравнения |
Lu (х) = |
0, 0 < |
х < |
оо. |
150
Известно, что функция и (х) |
— гладкая на 0 < |
х < |
оо. Показать, |
||||
что |
|
|
|
п—1 |
|
|
|
L |
[и (х) 1+ (X |
- |
|
bvD* 6 (* - |
Z )' |
(3) |
|
|
X)] = 2 |
||||||
|
|
|
|
v=0 |
|
|
|
где |
|
|
|
2aa:'l+2"v+ l |
|
|
|
К = |
a v+ ]*''+1"0 |
+ |
+ ••• + |
a nXn un-v -l> |
«, = “(v) (*) = Дѵи(*) |я=х.
(Отметим, что запись правой части (3) в указанном виде фактически является удобным средством введения начальных условий в диф ференциальное уравнение Эйлера, причем в форме, удобной для ана лиза, основанного па преобразо вании Меллина обобщенных функ ций. Другими словами, если мы решим (3), используя преобразо вание Меллппа и возьмем в каче стве полуплоскость, неограни ченную слева, то получим ре гулярную обобщенную функцию
и (х) 1+ (х — X ), где и (х) обоз начает обычное решение следую щей задачи [с начальными усло
виями: Lu = 0, uM (X ) = Z7V.)
З а д а ч а 4.5.3. В примере 4.5.1 положим ѵ (г) = Г 11+ (г — 1).
Найти / (г). Указание. Сначала определить преобразование Меллина
функции і- “ 1+ (t — 1), где а — постоянная.
З а д а ч а 4.5.4. Найти преобразование Меллина тока / (г)
в электрическом контуре, изображенном на рис. 4.5.2. Величины сопротивлений указаны в омах, а значения индуктивностей, кото рые линейно меняются во времени, указаны в генри. Предпола гать при этом, что напряжение ѵ (г) является преобразуемой по
Меллипу обобщенной функцией, сосредоточенной на полуинтервале Т < і < оо, где Т > 0, а также что начальное возбуждение в кон туре отсутствует.
З а д а ч а 4.5.5. Найти общий класс электрических цепей, которые приводят к системам дифференциальных уравнений Эй лера.
4.6. Свертка меллішовского типа
Для преобразуемых по Меллину обобщенных функций существует преобразование типа свертки. Оно может быть введено путем замены переменных в свертке обобщен
ных |
функций, |
преобразуемых |
по Лапласу. |
|
Сверт |
||||||
Пусть |
а |
и |
Ъ |
— действительные числа, |
а |
6. |
|||||
кой |
меллішовского типа |
называется операция, |
которая |
||||||||
каждой паре элементов /, |
М ' а,ъ |
ставит в соответствие |
|||||||||
|
|
151
выражение |
f \/ g, |
определенное формулой |
|
|
|
|||||
|
|
|
|
|
|
|||||
</V |
ѳ> = |
g |
</(*)» |
< s ( y ) , Ѳ ( х у ) } , |
0 e J f a ,b. (1) |
|||||
Выражение |
f \ J |
также является элементом |
J f |
а ь- |
||||||
х |
|
|
|
замену |
||||||
Чтобы доказать это |
утверждение, |
сделаем |
||||||||
перемеппых |
|
= е-і н |
у = |
е~х |
в соответствии с теоремой |
|||||
4.2.1. При |
этом положим |
|
|
|
|
|
cp (t + т) = е~‘~х Ѳ (е~,_т)
или, |
эквивалентно, |
0 (ху) = |
(ху)~1 cp (In ху). |
Из леммы |
||||||||||
3.7.2 |
и |
теоремы 4.2.2 следует, |
что функция |
|
|
|||||||||
|
|
|
£ а,ь, |
<g |
(е~т)> Ф |
(t |
|
т)> |
|
|
|
(2) |
||
яринадлежит |
|
£ а+,ь■ |
|
|
|
|||||||||
|
еслиJ |
ср е |
|
|
Поэтому в |
силу тео |
||||||||
рем 4.2.1 |
и 4.2.2 мы можем записать (2) |
в виде следующего |
||||||||||||
элементаg пространства |
|
f а>ь: |
|
у) |
|
|
g (if), |
|
(ху)>. |
|||||
|
X |
— ln |
> = |
< |
0 |
|||||||||
|
< |
(2/). З ГЧ (— ln |
|
|
|
|
Отсюда вытекает, что правая часть равенства (1) имеет
смысл. |
|
|
|
|
|
|
|
|
|
|
|
g |
£= .^ а,ь> |
|||
Для завершения доказательства того, что / V |
|
|||||||||||||||
мы воспользуемся |
теоремой 4.2.2 |
|
и напишем |
|
/ |
(е~1) |
ее |
|||||||||
ЕЕ 5?а,ь |
п |
g (е~ |
ее |
|
Поэтому согласно теореме 3.7.1 |
|||||||||||
|
Е= |
') |
Из |
|||||||||||||
/ (е~‘) * |
g (е~*) |
%'а,ь- |
теоремы |
|
4.2.2 |
вытекает |
тогда |
|||||||||
справедливость |
включения |
g \ J |
f |
ЕЕ |
поскольку |
|||||||||||
|
|
< / (е~г) * £ (е~')> ф (0 > = < / (е~')> < £ (е~т), Ф (г + т)> > =
= < / (ж), < ét (г/).ѳ (ч/) )> = </ Ѵ ^ > ѳ >-
Эта цепочка равенств завершает доказательство нашего утверждения, которое мы сформулируем в виде следую щей теоремы.
где Тае о р е м а 4.6.1. |
Если |
f u |
g |
|
принадлежат Л а,ъ-> |
|||||||||
|
g, |
определенное формулой |
||||||||||||
(1), |
|
|
то выражение f \ J |
|||||||||||
также принадлежит Л а,ь- |
J f |
(w, z), |
|
|
w |
|
|
|||||||
|
< Ь, |
|
|
|
|
|
|
|
||||||
|
Равенство (1) определяет свертку меллиновского типа |
|||||||||||||
также |
и в любом пространстве |
|
|
|
g |
где |
|
< z , |
||||||
однако в этом случае 0 — произвольный элемент |
J f |
(w, |
z). |
|||||||||||
J f |
( ш , |
) |
||||||||||||
Другими словами, для любых элементов /, |
|
|
|
|
z |
|||||||||
|
|
|
|
|
||||||||||
сверткойѴр меллиновскогоЪ < z , |
типа / |
\/ g |
является тот элемент |
|||||||||||
J i ' |
(w |
, s), сужение которого на |
любое подпространство |
|||||||||||
J f а,ъ, |
||||||||||||||
/ и |
g |
на Л а,ь- |
совпадает |
|
со |
сверткой сужений |
152