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