Присоединенный интеграл Римана-Стилтьеса в алгебре прерывистых функций Текст научной статьи по специальности «Математика»

УДК 517.5 + 517.9

© В.И. Родионов

rodionov@uni.udm.ru

ПРИСОЕДИНЕННЫЙ ИНТЕГРАЛ РИМАНА^СТИЛТЬЕСА В АЛГЕБРЕ ПРЕРЫВИСТЫХ ФУНКЦИЙ

Ключевые слова: интеграл Римана-Стилтьеса, прерывистая функция, банахова алгебра, обобщенная функция, импульсное уравнение

Abstract. The concept of adjoint Riemann-Stieltjes integral are defined. The concept of adjoint distribution are defined. Solvability of impulse system with adjoint distribution are proved.

Введение

Непрерывные функции x : K ^ С, где K - это отрезок или интервал, обладают достаточно высокой степенью регулярности (г'порядкаб), заключающейся в том, что близость аргументов влечет близость значений непрерывной функции. fHe слишком разрывныеб прерывистые функции тоже обладают хорошей регулярностью (в англоязычной литературе они так и называются

- regulated functions, т.е. упорядоченные функции), причем прерывистые функции одной переменной обладают тем свойством, что в каждой точке t € K определены три значения x(t—0), x(t) и x(t+0), что позволяет конструировать другие сопутствующие атрибуты функции и получать новые результаты.

Исследования прерывистых функций нескольких переменных анонсированы в [1] и представлены в другой работе (в печати).

В настоящей работе вводится понятие присоединенного интеграла - объекта, двойственного в некотором смысле классическому интегралу Римана-Стилтьеса. На его основе определяется

понятие производной присоединенной обобщенной функции (присоединенного распределения) и исследуются вопросы разрешимости различных типов дифференциальных уравнений с такой производной. К классам уравнений относятся: импульсные уравнения, сингулярные уравнения, функционально-дифференциальные уравнения, уравнения с разрывной правой частью и др.

1. Алгебра С[а,Ь\ прерывистых функций

Зафиксируем отрезок К = [а, Ь] и через в = в(К) = С[а, Ь] обозначим пространство прерывистых (см. [2, с. 16]) функций, т.е. функций х : К ^ С, обладающих конечными пределами х(£ — 0) = Ит х(т) при всех £ € (а, Ь] и х(£ + 0) = Нт х(г)

т ^/—0 т^+0

при всех £ € [а, Ь) . Пространство в, наделенное естественной операцией умножения функций, является алгеброй над полем С

так и алгеброй. Через обозначим подпространство (подалгебру) в в, состоящее из тех функций, что х(£ — 0) = х(£) при £ € (а, Ь] и х(а + 0) = х(а) ■ Симметричное подпространство (подалгебра) Оп состоит го тех функций, что х(£ + 0) = х(£) при £ € [а, Ь) и х(Ь — 0) = х(Ь) . Функции из будем называть не-

прерывными слева, а функции из вя - непрерывными справа прерывистыми функциями. Через С0 обозначим пространство (алгебру) таких функций х : К ^ С, что при любом е > 0 множество € К : |х(£)| ^ е} конечно. Нет никаких ограничений

х

х : К ^ М, - читатель может так и поступать, однако мы будем вести изложение для комплекснозначных функций, отступая от этого принципа лишь в исключительных случаях. Отметим еще, что в [2] дается определение прерывистых функций, действую-К

Функция х : К ^ С называется ступенчатой, если существует конечное разбиение а = то < т\ < ... < тп = Ь такое, что на каждом интервале (т^—, т&), к = 1,... , п, функция х тожде-

ственно равна константе Ск € С. Очевидно, всякая ступенчатая функция является прерывистой. Более того, справедлива

Теорема 1.1. ([2, с. 16]). Для функции x : [а, Ь] ^ С

следующие утверждения эквивалентны:

1) x € G[а, Ь];

x а, Ь

тельности стлупенчатллх функций;

3) для любого е > О существует такое конечное разбиение а = г$ < г\ < ... < тп = Ь, что при всех k = 1,... , n справедливо

sup |x(s) — x(t) | < е.

T,S € (rfc— ,rk)

Третье утверждение теоремы означает, что колебание функции x на каждом интервале (тк—, Тк) не превышает е.

Следствие 1.1. Равномерный предел последовательности прерывистых функций есть функция прерывистая.

x € а, Ь x а, Ь

ме ||x||= sup |x(t)| (более того, G[a, Ь] является банаховой

t € [a,b]

алгеброй) и является замыканием пространства стлупенчатллх функций относительно sup -нормы.

x € K

x

у: K ^ С, которая, очевидно, ограничена, поэтому и x ограни-

x

измерима (как предел последовательности измеримых функций). Наконец, если последовательность {xn}, xn € G(K), фупдамеп-

K

бе и, следовательно, равномерно сходится к некоторой функции x : K ^ С, в силу следствия 1.1 справедливо x € G(K) .

х € а, Ь е >

каждое из множеств

{£ € (а,Ь]: |х(£—0)—х(£)| ^ е} и {£ € [а,Ь) : |х(£+0) — х(£)| ^ е} состоит из конечного числа точек.

Следствие 1.3. Множество Т(х), состоящее из

х€

В силу леммы 1.1 точки множества Т(х) (это обозначение применяем на протяжении всей работы) пересчитываются следующим образом: сначала мы нумеруем все точки множеств

€ (а,Ь]: |x(t—0)—x(t)| 5^1} и € [а, Ь): |х(£+0)—х(£)| },

а затем, двигаясь по натуральному ряду п = 1, 2,... , нумеруем точки множеств

{* € (а,Ь] : ^ < |х(*-0)-х(*)| < £} и

е [а, Ь) : ^ < М* + 0)-х(*)| < £}.

Утверждение 1.1. Если х : [а, Ь] ^ С - кусочно

х € а, Ь

х

х € а, Ь

множество точек разрыва и притом все они первого рода. Тем х € а, Ь

Утверждение 1.2. Если х : [а, Ь] ^ С имеет

х € а, Ь х € а, Ь

В соответствии с [3, с. 206] у функции ограниченной вариации множество точек разрыва не более чем счетно, причем все разрывы первого рода. Следовательно, ВУ[а,Ь] С в[а,Ь] .

Утверждение 1.3. Если x € G [a,b], то x интегрируема no Рим,any и, следовательно, интегрируем,а по Лебегу.

Действительно, поскольку всякая функция x € G[a,b] ограничена и имеет не более чем счетное множество точек разрыва,

x

t

Если x € G[a, b], то согласно [4] первообразная y(t) = f x(s)ds

a

y € a, b

Более того, в работе показано, что RD w R х GL Gr и

КС(1) С RD С Lip, т.е. пространство регулярно дифференцируемых функций заключено между пространством кусочно гладких и липшицевых функций. Следует еще отметить, что модуль любой непрерывно дифференцируемой функции также является регулярно дифференцируемой функцией. Наконец, RD является замыканием пространства кусочно линейных функций по лип-шицевой норме (одномерной норме Гёльдера).

Таким образом, имеет место диаграмма

AC ^ CBV ^ С ^ КС

g g , (i.i)

BV ^ G ^ L

, , ,

абсолютно непрерывных функций, непрерывных функций ограниченной вариации, интегрируемых по Риману и интегрируемых по Лебегу функций соответственно. Стрелки означают отношение включения пространств. Все включения в диаграмме (1.1) строгие. Приведем подтверждающие примеры.

Пример 1.1. Пусть функция x : [0,1] ^ R такова, что х(0) = 0, x(t) = t{|} при t ф О (выражение {<т} обозначает дробную часть числа а). На каждом полуинтервале t € (fcjpx,|] , к = 1,2,... , имеем x(t) = 1 — kt, следовательно, х непрерывна слева, разрывна справа в точках ти = ,

т.е. Т(х) = {i,!,...}, и имеет неограниченное изменение (т.к.

скачки функции образуют гармонический ряд). Таким образом, х € С[0,1] , однако х € ВУ[0,1] . Кроме того, х € КС [0,1] .

Пример 1.2. Пусть функция х : [0,1] ^ М такова, что х(0) = 0, х(1) = (—1)[1/4 при £ ф 0 (выражение [а] обозначает целую часть числа а). На каждом полуинтервале £ € 1 к = 1,2,... , имеем ж(£) = (—1)^ , следовательно,

функция х разрывна в нуле и в точках тк = • Таким обра-

зом, х € ЩО, 1], однако х € С[0,1] (т.к. нет предела х(0 + 0)).

Прерывистые функции можно интегрировать не только в смысле Римана, но и в более расширительном смысле: в смысле Римана-Стилтьеса, в смысле Перрона-Стилтьеса [5], в квазиин-тегральном смысле [6; 7]. Приведем формулировку для интеграла Римана-Стилтьеса [8].

Теорема 1.2. Для любых х € в [а, Щи у € СВ У[а, Ь]

ь ь

интегралы Римана-Стилтьеса / хйу и / у (1х существуют и

а а

справедливы оценки

ь ь

| /хйу | ^ ||х|| • Уагу и | /хйу | ^ шр |х(£)| • Уагу.

а К а г&(а,Ъ) К

Следствие 1.4. Если последовательность прерывистых функций {хп}, хп € в[а,Ь], сходится по Бир -норме к

х € а, Ь у € а, Ь

ь ь

то Нт J хпйу = / хйу .

п а а

х € а, Ь

ность {уп} и функция у таковы, что уп,у € СВУ[а,Ь] и

ь ь

Уаг (уп — у) ^ 0 , то Ит Г хйуп = Г хйу .

К п п а а

х € а, Ь у € а, Ь

г(Ь) = / хйу, то г € СВУ[а, Щ (точка а из [а,Ь] фиксирована).

а

В частности, если у € АС [а, Щ , то г € АС [а, Щ .

Напомним, что функции х, у, г действуют из [а, Ъ] в С . Для произвольного разбиения а = т$ < т\ < ... < тп = Ъ имеем

П П

Е \г{тк) — г(тк-і)^ Е и хйу \ ^ ||х|| • Уаг у .

к=1 к=1 Тк— К

Если і + Ді Є [а, Ъ) (можно считать, что Ді > 0 ), то

*+д г

\г(і + Ді) — г{Ь) \ = \ Ґ хйу \ ^ ||х|| • Уаг у —► 0.

Наконец, если у Є АС[а,Ъ], то вещественнозначная неубывающая функция у(Ь) = Уаг у (в) также абсолютно непрерывна на

«Є [а,г]

а, Ъ

ций у можно найти в [9, с. 344]), поэтому для любого є > 0 существует такое 5 > 0, что какова бы ни была конечная система попарно непересекающихся интервалов (ак,Ък), к = 1,... ,и,

п п

такая, что Е (Ък — ак) < 5, выполнено Е {у(Ък) — у(ак)) < є. кк Для этой же системы интервал0в справедлива цепочка

п п Ък п

Е \г{Ък) — г{ак) \ = Е \ / хйу \ ^ ||х| • Е Уаг у =

к=1 к=1 ак к=1 I-ак >°к\

= l|x|| • Е (v(h) - v{ak)) < е ||x||.

fc=i

Утверждение 1.4. Пусть A - квадратная матрица порядка п с элементами Aj € C, q € СВV[a, b] . Для а € [a, b] и вектор-функций x,y € Gn [a,b] справедливо

t t y(t) = x(t) — f Axdq x(t) = y(t) — f [deA^^-qM) ] y(s)

o(t) = eAq^ [ e Aq(a) y(a) + j e Aq(') dy ]. (1.2)

Доказательство. Если г = е Ад- ^ х , то у(Ь) = еАд^ г(Ь) — / АеАд')гй^ = еАдМ г(Ь) — / [ йеАд( • ] г =

а а

t

_ еАя(а) г(а) + / еАд(') йг ,

а

II в t

г(Ь) — г(а) = / йг = / е-Адв й( / еАд(') йг) = / е-Ад(') йу .

а а а а

Возвращаясь к исходной переменной х (с учетом Х^) = у{а)К

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

2. Алгебры С0[а,Ь], [а,Ь] и СЕ[а,Ь]

Лемма 2.1. Для функции х : [а, 5] ^ С следующие утверждения эквивалентны:

a) х € С0 /

b) х € в и х{1 — 0) = 0 для всех £ € (а, Ь] ;

c) х € в и х{1 + 0) = 0 для всех £ € [а, Ь) ;

t

(!) х € в и / х(в)йв = 0 для всех г,Ь € [а, Ь];

Т

t

е) х € в и / хйу = 0 для всех т,Ь € [а, Ь] и любых у € СВУ .

Т

Доказательство. Равносильность утверждений а) — й) показана в [2, с. 19], а импликация е) ^ й) тривиальна.

а) ^ е) . Зафиксируем точки т,Ь € [а, Ь] (считаем т < £), функцию у € СВУ и е > 0. Точки т и £ и все точки конечного множества € [т,Ц : |х(в)| ^ е} порождают такое раз-

биение т = «о < ^ < ••• < 8п = £, ЧТО |х(в) | < е для всех 8 € (вк-1, вк), к = 1,. • • ,п. Следовательно,

t П вк П

| / хйу | ^ Е | / хйу | ^ е Е Уаг у = е Уаг у ,

т к=1 к=1 [в&—1 ’вк] [Т^]

поэтому в силу произвольности е > 0 справедливо / хйу = 0 .

Пример 2.1. Примером прерывистой функции из О0 служит функция Римана, т.е. функция х : [0,1] ^ К такая, что х = ^ в каждой не равной нулю рациональной точке г _ ш ф Где _ нес0Кратимая рациональная дробь,

х, разрывна во всех нетривиальных рациональных точках, а в иррациональных точках она непрерывна.

Лемма 2.2. Пространства О0 , GL и замкнуты в в относительно Бир -нормы и, следовательно, банаховы.

Формулировка леммы совпадает с утверждениями из [2, с. 20], однако там через GL обозначено несколько иное подпространство: оно состоит из тех функций, что х(£—0) = х(£) при £ € (а, Ь] и х(а) = 0 (аналогично определяется пространство Оп ). Это же замечание относится к приводимой ниже лемме.

х€

представима в виде суммы х = xL + х0 двух функций xL € вL и х0 € С0 . Симметричное представление х = хк + х0 , где хд € вд , х0 € О0 , также имеет место.

Замечание 2.1. В процессе доказательства леммы

2.3 устанавливается, что GL П С0 = {0} . Таким образом, леммы 2.2 и 2.3 позволяют представить пространство в в виде прямой суммы двух замкнутых подпространств: в = GL ® О0 (используем определение прямой суммы линейных пространств из [10, с. 120]) или в = ® в0 . При этом операторы Р, (^ : в ^ в ,

Т

Р : х{Ь)

х(а + 0), £ = а

х{Ь — 0), £ € (а,Ь] ’

Q : х{1)

х(Ь — 0), £ = Ь

х{Ь + 0), £ € [а, Ь)

обладают следующими свойствами:

ImP = GL, KerP = G0, ImQ = GR, KerQ = G0,

P2 = P, PQ = P, QP = Q, Q2 = Q. (2.1)

Проекторы P и Q непрерывны no sup-норме, что следует из очевидных неравенств

||Рх|| ^ ||х|| и ||Qх\\ ^ ||х|| Ух € G. (2.2)

В частности, ||Р х\\ = ||Q х\\ для вс ex х € G. Действительно, в соответствии с (2.1) и (2.2) справедливо ||Рх|| = ||РС^хЦ ^ ||С^х|| и аналогично ||Qх|| ^ ||Рх|| .

Замечание 2.2. Если х € G0, a у € G, то ху = = ух € G0 . Действительно, если y(t) = 0, то утверждение очевидно, если же y(t) = 0, то ||у | > 0, поэтому для любого £ > О множество {t € К : \x(t) y(t)\ ^ е} С {t € К : |ж(£)| ^ конечно, т.е. ху € G0 . Таким образом, G0 является двусторонним

х, y €

лентными (х ~ у) при х — у € G0 , то в соответствии с замечанием 2.1 справедливо GL w G/G0 ~ GR . Другими словами, в каждом классе эквивалентности имеются ровно одна непрерывная слева и ровно одна непрерывная справа прерывистые функции ( х ~ Рх ~ Qх ). Заметим также, что операторы Р и Q являются эндоморфизмами алгебры G, а их ядро Ker Р = Ker Q = G0 является двусторонним идеалом этой алгебры.

Замечание 2.3. Произвольный линейный непрерывный функционал Ф : Gl ^ C допускает представление в виде интеграла Душника-Стилтьеса [2, с. 38], т.е. существует такая функция Q ограниченной вариации, что Ф(х) = J хсЩ для

к

любой х € Gl . Там же приводится общий вид линейного непрерывного функционала в пространстве G . Заметим, что такое представление отнюдь не единственно возможное, в частности, существует представление функционала Ф через интеграл Перрона-Стилтьеса (см., например, [11]).

3. Алгебры Ст[а, 6], Г[а,6] и ВУ[а,6]

ПрОИЗВОЛЬНОе КОНеЧНОе ИЛИ СЧеТНОе МНОЖеСТВО Т = {Т\ ,Т2,-.. } попарно различных точек тк € К будем называть разбиением отрезка К, а совокупность всех разбиений К обозначим через Т(К) . Пустое множество мы также включаем в Т(К) - оно является наименьшим элементом частичного порядка па Т(К), за-

Т

биению Б, если Т С Б.

Элементы из Т(К) следовало бы называть а-разбиениями, подчеркивая их счетность, однако в этом нет надобности.

Зафиксируем Т € Т(К) и доя любой функции х € в введем обозначения:

х- = х{тк — 0) — х{тк), х~1 = х{тк + $) — х{тк) Vтк € Т. (3.1)

Мы полагаем х- = 0 при тк = а и х\ = 0 при тк = Ь.

Через \х]т обозначим ряд (и его сумму, если ряд сходится)

Гх1т= Е (|х-Мхк^, (з.2)

Тк ет '' '

т т а, Ь

х € в , что ряд \х]т сходится .Поскольку Т - не более чем счетное множество, то ряд \х]т трактуется естественным образом: |х-| +|х^~ | + |х-| +1^| +... . Относительно естественных операций сложения и умножения вт является алгеброй над С . Действительно, если Л € С, х,у € вт, и = Хх, V = х + у, ш = ху, то справедливы равенства

ч = Лч, ик= Лхк, v- =х-+уk-, 4 = хк+ук,

= х(тк — 0) у(тк — 0) — х(тк) у(тк), (3.3)

■шк = х(тк + О) у(тк + 0) — х(тк) у(тк), поэтому ш- = х(тк—0) у-+ х- у(тк), шк = х(тк+0) ук+хк у(тк) , \и,]т = |Л| -Гх!т < ж, ^]т ^ \х]т + \у]т < ж, рш]т ^ ||х|Ку~|т +

+ \х]т ■ ||у| < ж . Таким образом, и^,ш € вт .

Если Т - конечное множество, то справедливо равенство = в, в частности, в0 = в . Всякая функция ограниченной вариации принадлежит вт, каково бы ни было Т € Т( К . Действительно, если х € ВУ и £ = Т П Т(х), то х- = хк = О для любого тк € Т\£, поэтому [х]т = [х]3 ^ \х~\т{х) < следовательно, х € вт . Таким образом, для любого Т справедливы включения ВУ С вт СС,а поскольку любая непрерывная функция, имеющая неограниченное изменение, принадлежит т

вт заключено пространств о Г = Г [а, Ь], состоящее из тех функций х € в , что ряд Гх1 сходится. Примером функции из в , не принадлежащей Г, служит функция из примера 1.1. Так же,

т

что Г - это алгебра. Действительно, если Т = Т(х) и Т(у), то

Мты = \у]т < Гх]^ + \у]т = \х]Пх) + \у]тМ < Мтм = Мт < 11х\1 \у]т+\х]т\\у\\ = 11х\1 \у]тМ +\х]тх 11уИ < С

подалгебр алгебры в прерывистых функций:

СВУ -»■ с^кс

Относительно решетки пространств { GT } в зависимости от параметра T € T(K) можно сказать следующее. Назовем разбиения T и S эквивалентными (T ~ S), если их симметрическая разность конечна, т.е. card (TAS) < ж . Рефлексивность и симметричность очевидны, а транзитивность следует из легко проверяемого тождества TAS = (TAR) A (RAS) . Очевидно, все конечные разбиения эквивалентны между собой.

T(u) С T(x), T(v) С T, T(w) С T, \и\Т(и) = |Л| Гх1т(х < ж

g

(3.4)

ВУ

г

G

Лемма 3.1. Пусть Т,Б € Т(К) .

1. Если Б С Т, то вт С в5 .

2. вт = в5 тогда и только тогда, когда Т ~ .

5. Если и = Т и Б, то вт П в3 = Ои .

4- Если V = Т П Б , то вт и в3 С ву .

Доказательство. 1. Если х € вт и Б С Т, то х € в3 , поскольку \х]3 ^ \х]т < ж .

ТБ

ТДБ = Q и К, где ^ = Т\Б, Л = Б\Т, следовательно, очевидное равенство \х]т + \х]д = \х]3 + \х]д и конечность множеств Q и К означают, что ряды \х]т и \х]3 сходятся или расходятся одновременно.

ТБ

одно из разбиений ^ иш К бесконечно. Допустим, что это Q. Тогда функция ж, у которой х(тк) = \ при тк € С} и ж(£) = О при Ь € К^, принадлежит в3, то не принадлежит вт . Дей-

х€

мы 2.1 справедливо х(т+—0) = 0 при т+ € БП (а,Ь) и х(тк+0) = О при тк € Б П [а, Ь) . Кроме того, х(т+) = 0 для всех тк € Б, следовательно, х- = х + = 0 для всех т+ € Б, поэтому х € в3. С

другой стороны, |~ж~|т ^ |~ж~|д = 2 Е £ > поэтому ж ^ От .

3. Включения Т С и ж Б С и влекут включения С вт и С в3 , следовательно, С вт П в3 .

Если же х € вт Пв3, то х € вт и х € в3 , поэтому \х]т < ж н \х]5 < ж, а поскольку \х]^ ^ \х]т + \х]3 < ж, то х € ви .

4. Поскольку V С Т и V С Б, то вт С ву и в3 С ву, поэтому От и в3 С ву . Лемма доказана.

чка т € К порождают ступенчатые функции £т(Ь)= — в{т — Ь) и Пт (Ь) = — т) . В дальнейшем будем использовать следующие

к= 1

и произвольная то-

обозначения: если т = О Є К , то {(■) = {о(■) и п(■) = щ(•), а если т = тк Є Т, то ■) = &*(О и Пк{■) = Птк{•) • Другими словами,

*«>={- :і;г, *«>={;: 1 >Тк-

Легко проверить, что для всякой функции х : К ^ С, непрерывной в точке т Є К, и для любых а, в Є К существуют

в в

интегралы Римана-Стилтьеса / хй{т и / хйпт ; причем

а а

в в в в / хй{т = / й{т ж / хйпт = х(т) / йпт. (3.5)

а а а а

В дальнейшем мы будем иметь дело в основном с интеграла-

ми Римана-Стилтьеса и оговаривать название интеграла будем лишь в исключительных случаях.

аЄК

функции х Є Ст функциональный ряд

і і хт (і) = хт (г,а)= — Е х- / й{к+ Е х^ йщ (3.6)

тк еТ а тк еТ а

К

і і Е | х-/ й{к К £ І хЦ йПк I < Гх!т < Ж.

тк ЄТ а тк ЄТ а

Сумму ряда будем обозначать так же, как и сам ряд, - через хт(і) . В случае Т = 0 полагаем хт(і) = 0. В соответствии с [9,

с. 336] функции вида (3.6) будем называть функциями скачков.

хт Є

Уагхт = |х]т. (3.7)

Здесь и в дальнейшем через Уаг у обозначаем полную вариацию функции у та отрезке К . Наряду с (3.6) определена функция

хт (і)=хт (і:а)=х(і) — хт (і): (3.8)

также зависящая от параметра а. В дальнейшем мы считаем, что точка а € К фиксирована, поэтому зависимость от а в обозначении функций хт и хт чаще всего будет отсутствовать. Заметим также, что ряд (3.6) следовало бы писать

I I

- Е х-/ (^к + Е хШ йПк,

т^£ТП(а,Ь] а т^ £ТП[а,Ь) а

х

точке а и от правого скачка в точке Ь, однако в соответствии с соглашением в (3.1) мы полагаем х- = 0 при тк = а и х\ = О ПРИ Тк = Ь ив дальнейшем используем запись (3.6).

Замечание 3.2. Поскольку хт € ВУ С вТ, то и

хт € вТ . Более того, в соответствии с [9, с. 336] справедливы ра-

венства (хт)- = х- И (хт)к = х^ , поэтому (хт)- = (хт)^ = 0 .

хт

в каждой точке разбиения Т. Таким образом,

|"хт]т = [х]т < ж, |хт]т = О,

(3.9)

(хт)т = хт, (хт)т = 0, (хт)т = 0, (хт)т = хт.

Кроме того, легко показать, что если х,у € вТ и х,у € в3 , то

(х ^ — х ( х — х (хт\ — х (хт\Б — хт иБ

К^т / Б ^тпБ? К^т / ^т\^ \ *Б кЬБ\т'! V /

(3.10)

Действительно, согласно лемме 3.1 справедливо х,у € 0Ти3, поэтому все функции в формулах определены. Если г = хт, ^ = Т\Б, Р = Т П Б, К = Б\Т, то хт = хя + хр и (х^^ = =

= хр + = (х^ + хр)р + (хт)К = {хр)р = хр = хтпБ . Остальные

формулы (3.10) легко выводятся из первой.

Замечание 3.3. Одновременно мы выяснили, что каждый из операторов Рт : х ^ хт и Рт : х ^ хт является Т

последующие параграфы работы, здесь же отметим лишь, что образ 1т Рт состоит из функций, непрерывных в каждой точке Тк € Т, а ядро Кег Рт состоит из функций скачков вида

Ф)= - Е 9к! (Кк+ Е Ьк$ йпк, Е (1#кК1^кI) <

тк еТ а тк еТ а тк еТ

причем если Тк = а, то $к = 0, а если т^ = Ь, то Нк = 0 ■ Эти же пространства являются соответственно ядром и образом другого Рт Рт Рт Рт

Замечание 3.4. Если х € Г [или если х € ВУ ], то для всех Т, таких, что Т Т(^), справедливо хт = хт{х) и х^ = хТ(Х , прпчем хт € С [соответственно хт € СВУ]. Введя обозначения хс = хт{х) и х^ хт<х) , обнаруживаем, что предста-х€

Лебега функции ограниченной вариации на сумму непрерывной

х хс хс

Здесь функция скачков понимается в смысле [3, с. 206]. Таким образом, в пространстве Г [ или в ВV ] также определены проекторы Рс : х ^ хс и Рс : х ^ хс , и их свойства идентичны

Рт Рт

равенство Уаг х = Уаг хс + Уаг хс .

Формулы (3.3) порождают равенства ит = Ххт, Ут = хт + ут , ит = \хт, ут = хт + ут , а для того чтобы найти формулы для ■шт и wт , следует доказать ряд вспомогательных утверждений.

Лемма 3.2. Дрм к ф т справедливы формулы

4 Т Тк Т Тт t

а а а а а а

4 Т Тк Т Тт Т

!ль!Лпш = /(Щш!<1£к+ ! <к,к$Лпт,

а а а а а а

4 4 Тк 4 Тт t

/ Лщ! Лпш = / (пш! ! Лщ! Лпш

и при всех к

Г t -2 t t -2 t

J d£k = -(l + 2ik(a)) J dtk, f dm = (1- 2Пк{a)) f drik,

t t t t J dikj dnk = -Пк(ai d£k - Ыa I dm.

a a a a

Доказательство. Левая часть первой формулы равна

t t -| t t s

/ J dik d(m = J f d£k + J d£k d£m{s) =

a a a s a

t г s - t г s -

= J J dim d(k(s) + f f dik dims)-

a a a a

В последнем равенстве мы поменяли порядок интегрирования у первого слагаемого. Обе подынтегральные функции непрерывны в точках Tk и тт соответственно, и нам остается лишь сослаться на формулы (3.5).

Вторая и третья формулы доказываются аналогично. Последние три формулы проверяются непосредственно, опираясь па тождества ik = -ik ; nk = Vk ш ikVk = 0 соответственно.

Лемма 3.3. Пусть T € T(K), a € K и ограниченная

функция x : K ^ С непрерывна в каждой точке Tk € T. Для

любой функции скачков

v(T)= - Е v- fdik+ Е vkfdnk, Е (|y-K|ykD <

Tk€T a Tk €T a rk€T

существует интеграл J xdy (при всех t € K), и он равен функ-

a

ции скачков

ft ft

Ф)= - Е xiTk) v-1 dik+ E xiTk) vk I dnk-

тк &T a Tk &T a

(3.11)

Доказательство. Если card T < ж или если x тождественно равна нулю, то утверждение очевидно, в противном случае справедливо неравенство M = sup |x(t) | > 0 . Для лю-

teK

бого r ^ 1 чере з Tr обозначим конечное раз биение [т\,... ,тг} , состоящее из первых r точек разбиения T, а через yr - ступенчатую функцию yTr . Согласно формуле (3.7) справедливо Var (yr — y) = [y]T\Tr 0, следовательно, для любого e > О

существует Ni такое, что г > N\ влечет Var (уг — у) < ^ .

r

t

zr(t)= J xdyr , причем zr = zTr , следовательно, последователь-

a

ность {zr} является последовательностью частичных сумм рав-

z

самым существует N , что для любых r > N и любых t € K

t

справедлива оценка | z(t) — zr(t) | < | или | z(t) — f xdyr | < § .

a

Пусть r = 1 + max {N,N} , и зафикспруем t € K (без ограничения общности считаем, что t ^ а). Поскольку существует t

интеграл f xdyr , то существует 8 > 0 такое, что для любого раз-

a

биения а = so < в\ < ... < sn = t, в котором max (si — Si-i) < 8,

i

и для любого набора чисел Yi € [si—, s^, i = 1,... ,n , выполнено

t n

\ IXdyr - E х(ъ) [Vr(Si) -yr{Si-1)] I < f.

ai

Таким образом, справедлива цепочка неравенств

n t

I z№ — E xiYi) [yisi) — y(si-i)] \ < | z№ — Ixdyr | +

ia t n

+ \ / xdyr — E xiYi) Ыsi) — уЛsi-i)] \+

ai

n | |

+ E |x(Yi)1 ■ \Ыsi) — y(si)]— [уЛs—) — y(si-i)]\ < i

<1 + 1 + м ■ Уаг (уг - у) < е,

£

поэтому существует интеграл / хйу и от равен г{1) , т.е. сумме

а

сходящегося ряда (3.11). Случай £ < а симметричен.

Следствие 3.1. Если х € в и у € ВУ таковы,

£

что Т{х) П Т(у) = 0 , то существует интеграл / хйу и

а

£ £ £ £

$х(1у = $х(1ус - £ хЫ у-/ ^к+ Е ^7-^) у^ / йПк.

а а тк еТ(у) а тк еТ(у) а

Утверждение справедливо в силу теоремы 1.2.

Лемма 3.4. Каковы бы ни были функции х,у € СТ, £ £ £ £

интегралы / хТ йут , / ут(1хт , / хт (1ут и / ут(1хт существуют

а а а а

и справедливы равенства

£ £

(ху) т &)= хт {г)ут №) + / хт йут + /ут(1хт ,

а а

(3.12)

£ £

(ху)т (£) = хт (1)ут (£) + / хт йут + J ут йхт.

аа

Доказательство. Формулы из леммы 3.2 имеют более компактный вид ( 5кт ~ символ Кронекера):

£ £ £ т^ £ Тт £

/ й^к $ й^т = &кт / й^к Н" / й^т $ й^к Н" / й^к $ й^т]

а а а а а а а

£ £ тк £ Тт £

/ й^к! йПт = / й,Цт$ й£к+ ! й£к$ йЦт,

а а а а а а

£ £ £ Тк £ Тт £

/ йщ]' йПт = &кт! йПк + / йПт]' йПк+ / йщ]' йЦт-

а а а а а а а

В следующей цепочке равенств фигурируют абсолютно и равномерно на К сходящиеся функциональные ряды, поэтому все операции корректны, а суммирование ведется по разбиению Т (и мы будем писать Е вместо Е ):

к тк ЄТ

а = хт (і)ут (і) =

- Ехк Iй£к + Е4/ лПк - ЕУт!(^т + Еу£Ілпт

ка ката та

г Тк Т Тт Т п Т

= Т.хкут /літ! лік + ! лік! літ -Е хкУк І ль-

к,т а а а а к а

г Тк Т тт Т

- Е хкУт I ЛПт! лік + / л6 / лПт

к,т

аа

аа

г Тк Т тт Т

- Е хк Ут I літ / лПк + / лПк / літ

к,т а а а а

г Тк Т 'Тт Т п Т

+ Ехк ут /лПт/лПк + / лПкІ лПт + Ехк Ук І лПк ■

к,т а а а а к а

Приведя подобные члены, имеем равенства

ТТ ТТ

^ = - Е хк [уЫ - Ут (т^ /%к + Е хк [уЫ - Ут Ы] / лПк-

к а к а

ТТ ТТ

-ЕхкУк/лік +ЕхкУк IлПк-

к а к а

ТТ ТТ

- Е Ут [х(тт) - хт {тт)\ Іліт + Е Ут [х{тт) - хТ (т^ / лПт т а т а

ТТ

= аі - Е 1хкУк + хкУ(Тк)+ хЫУки лік +

ка

*

+ Е[хкУк + хк УЫ + хЫУ^ /ЛПк = °1 + (хУ)т(*),

к а

где через ох обозначена функция

* *

о = Ех-ут Ы/ - Е хк Ут Ы 1лпк+

+ ЕУкхТЫ/ ^6 -Е УкхТЫ/ Лпк.

к а к а

Приведя еще раз подобные члены (в силу непрерывности функций хт и ут в точках тк € Т справедлива лемма 3.3), получаем

* г 1 * г

°1 = /утл Ех-&— ЕхкПк +/хТл Еу-Ск-ЕукПк

а *- к к -|а|-к к

= — / Ут ^хт — / хт ^Ут.

аа

Одновременно мы доказали существование интегралов.

Сравнивая начало и конец цепочки для о, получаем первое равенство (3.12). Что касается второго, то в силу формулы интегрирования по частям и очевидных равенств хт (а) = ут(а) = О для его доказательства достаточно сложить левые и правые части формул (3.12) и получить тождество.

Замечание 3.5. Возвращаясь к формулам (3.3), мы можем теперь сказать, что если Л € С, х,у € вт, и = Ах, V = = х + у, ш = ху , то и, V, ад € вт и

ит = Ахт, ит = Лхт, vT = хт + ут, V7 = хт + ут,

* * шт (£) = хт (£)ут (£) + / хт ^ут + / ут^хт,

шт (£) = хт (£)ут (£) + / хт ^Ут + / Ут^хт.

а

Замечание 3.6. Пусть х,у € Г [ ил и х,у € ВУ], ад = ху и Т таково, что Т ^ Т(х) и Т(у), тогда хт ,ут ,,шт € С [соответственно хт,ут,,шт € СВУ ], поэтому непрерывные составляющие хс,ус,и:с этих функций (см. замечание 3.4) связаны соотношением

-шс(£) = (ху)с(£) = хс( 1)ус(£) + / хсйус + / усйхс,

а а

а для функций скачков хс, ус, ,шс справедливо тождество •Мс(£) = (ху)с(£) = хсХ 1)ус(^ + / хс(1ус + / ус(!хс-

аа

Следствие 3.2. Пусть Т € Т( К) и х, у € Ст. Если существует один из интегралов

/ хтйут, / утйхт, / хйут, / утйх, / хтйу, / уйхт, (3.13)

к к к к к к

то существуют остальные интегралы (3.13), а первая формула

(3.12) принимает, вид

(ху) т ф = /хйут + /уйхт. (3.14)

т а а

Если существует один, из интегралов

/ хтйут, / утйхт, / хйут, / утйх, / хтйу, / уйхт, (3.15)

к к к к к к

то существуют остальные интегралы (3.15), а вторая формула

(3.12) принимает, вид

(ху)т (£) = х(а)у(а) + J хйут + / уйхт. (3.16)

Докажем формулу (3.16). Если, например, существует интеграл / хт (1ут , то существуют интегралы / хт (1ут и / ут (1хт ,

К а а

М М

причем / хтйут + / утйхт = хт (^ут (£) — хт (^Ут (а) . В силу

аа

леммы 3.4 существуют интегралы § х<1ут и J у<1хт , а с учетом

аа

последнего равенства второе тождество (3.12) трансформируется в (3.16). Формула (3.14) доказывается аналогично (здесь применяем равенства хт(а) = ут(а) = 0).

Следствие 3.3. Пусть Т € Т( К) и х,у € Ст .

Рслм существует интеграл / хё,у , то существует еще трина-

К

дцать интегралов: интеграл /уё,х и интегралы, (3.13) и (3.15).

К

Существование интеграла / уё,х хорошо известно. Поскольку

К

существует интеграл / х<1у, то в соответствии с [14, с. 117] одна

К

из функций х или у непрерывна во всякой точке £ € К, т.е.

Т(х) П Т(у) = 0 . Если Б = Т П Т(^), то, очевидно, ут = у3 , а

функция х непрерывна в каждой точке € Б . В шлу леммы 3.3

существует интеграл / хйу3 , а вместе с ним и интегралы J хйут ,

м К К

/ х(1ут и другие интегралы (3.13) и (3.15).

К

Следствие 3.4. Для любых х,у € вт справедливо

(хт ут)т= хт ут , (хт ут)т = 0, (хт ут)т= 0, (хт ут)т = хт ут.

Утверждение немедленно следует из формул (3.12) и (3.9).

м х, у € т

теграл / хё,у , то справедливо равенство К

4 4 4 4

1х(1у = 1х(1уТ — £ х(тк) у-/ ^6+ Е хЫ ук I Лпк .

а а £Т а т^ €Т а

Утверждение следует из леммы 3.3.

Замечание 3.7. Пусть x,y € Г [ил и x,y € BV], Если существует один из интегралов

/ Xcdyc, / ycdxc, f xdyc, f ycdx, f xcdy, f ydxc, (3.17)

K K K K K K

то существуют остальные интегралы (3.17) и

t t

[xy)c(t) = J xdyc + Jydxc.

a a

Если существует один из интегралов

f xcdyc, f ycdxc, f xdyc, f ycdx, f xcdy, f ydxc, (3.18)

K K K K K K

то существуют остальные интегралы (3.18) и

t t (xy) c( t) = x(a)y(a) + f xdyc + f ydxc.

aa

Если существует интеграл j xdy , то существует еще тринадцать

K

интегралов: интеграл f ydx и интегралы (3.17) и (3.18).

K

Замечание 3.8. Пусть x,y € Г [ил и x,y € BV], xcyc c xcyc, xcyc c , xcyc c , xcyc c xcyc

4. Топологические свойства

4.1. Полнота GT[а,Ь]

Поскольку GT = G при card T < ж , то GT - полное пространство, однако, как показывает следующий пример, при счетном T пространство GT не замкнуто в G по норме

||x|| = sup |x(t)|. (4.1)

teK

Пример 4.1. Функция х € С[0,1] такая, что х(0) = О и ж(£) = £{|} при £ ф О, является предельной (по норме (4.1)) для последовательности прерывистых функций

Поскольку функции хп имеют конечное число точек разрыва, то хп € вт для любо го Т . В частности, хп € вт для Т = Т(х), в то время как х € вт (см. пример 1.1), следовательно, пространство т не является полным по норме (4.1).

Таким образом, решетка пространств {Ст}тк) с°ДеРжит как полные, так и неполные пространства. Ниже мы покажем, т

Проверка аксиом нормы (4.2) не составляет труда. Более важно то, что норма (4.1) входит в семейство (4.2), - это имеет место при Т = 0 . Заметим также, что в соответствии с замечанием

3.1 функция хт зависит от выбора точки а € К, т.е. хт(•) = = хт(•, а) 1 поэтому и норма (4.2) зависит от а, т.е. У ■ ||т = У ■ ||^ •

Лемма 4.1. Пусть Т,Б € Т(К) .

1. Если Б С Т, то 0Т С в3 и для любого х € вт имеет

место неравенство ||х|3 ^ ||х|т .

2. Для любого х € вт справедливо ||х|| ^ ||х||т •

3. Если Т ~ Б, то От = О8 и в пространстве (= в3) нормы || ■ ||т и || ■ ||5 эквивалентны.

4- Для любых а, в € К нормы || ■ и || ■ ||в эквивалентны.

Доказательство. 1. Включение вт С в8 доках € т

имеет место равенство

х

т

хт II + Гх!

т

хт || + Уагхт.

(4.2)

х3( £) = хт (£) + хт\3(

(4.3)

следовательно, |xS(t)| ^ |xT(t)| + \x"|T\S для всех t € K , и поэтому |xS(t)| + \x]S ^ |xT(t)| + \x]T ^ |x|T . Поскольку последняя оценка справедлива при всех t € K, то ||x||S ^ ||x|T .

2. Неравенство |x| ^ ||x|T следует из предыдущего пункта при S = 0 .

3. Равенство GT = GS доказано в лемме 3.1. Если R = TП S ,

то в соответствии с первым пунктом GT = GS С GR и для любой x € GT имеют место равенства вида (4.3): xR(t) = xT(t)+xT\R(t), xR(t) = xS(t) + xS\R(t) . Вычитая одно из другого, получаем, что при всех t € K справедливо |xS(t) | ^ |xT (t) | + \x"|TAS , поэтому ||xS | ^ ||xT | + \x]M^ ^ выражая |xS | и |xT | че-

| x| S | x| T

|x|S ^ |x|T + 2\x]S\R = |x|T + 2\x]S\T ^

^ |x|T + 8 |x| • card (S\T) ^ (l + 8card (S\T)) • |x|T.

Мы воспользовались очевидными неравенствами |x-1 ^2 |x| и |x+1 ^ 2 |x| . Аналогично получается симметричное неравенство |x|T ^ (l + 8card(T\S)) • |x|S .

4. Через xT(t,a) и xT(t,/3) обозначим функции вида (3.8), подчеркивая их зависимость от точек а и в. В соответствии с

(3.6) следующие соотношения носят элементарный характер:

xT(t,a) = xT(t,e) + xT(в, a, xT(t,a) — xT(t,e) = xT(а, в),

|xT(t,a) — xT(t,e) | ^ \x]T, ||xT( • ,a | ^ ||xT( • ,в) | + \x]T,

l|x|a = 1И • ,a || + \x]T ^ ||xT( • ,в) || + 2 \x]T ^2 llxie.

Аналогично |x|^ ^2 |x|“, что и доказывает эквивалентность данных норм.

Следствие 4.1. Если card T < ж, то GT = G и нормы | • |T и | • | эквивалентны в G .

Достаточно взять Б = 0 в третьем пункте леммы.

Замечание 4.1. При счетном Т нормы ||-||т и ||-|| не являются эквивалентными в пространстве вт . Например, семейство функций хп € 0[0,1] , таких, что жга(£) = 0 при £ € [0, и жга(£) = {^} при £ € [^, 1] , вне множества Т= {^, ... } раз-

рывов не имеет. Очевидно, ЦхпЦ = 1 при всех п ^ 2 . С другой стороны, каждая из функций хп принадлежит вт , так как имеет конечное число точек разрыва (их количество равно п - 1).

хп

1, поэтому какое бы 7 > 0 мы не взяли, найдется функция хп из семейства, что ||хп||т > 7. Это означает, что пет такого 7 > О, что неравенство ||х||т ^ 7||х|| выполнено для всех х € вт .

Замечание 4.2. Для любого х € вт справедливы неравенства ||х| ^ ||х||т ^ ||х|| + 2 |~х~|т .

Первое неравенство мы уже доказали. Что касается второго, то в силу (4.2) и (3.8) справедлива цепочка ||х||т = ||хт ||+ |"х~|т ^ ^ ||х|| + ||хт|| + |"х~|т ^ ||х|| + Уагхт + |"х~|т = ||х|| + 2 |"х~|т .

Теорема 4.1. Пространство вт[а,Ь] банахово по норме || ■ ||т .

Т

очевидно в силу следствия 4.1. Пусть Т счетно и {хп} - фундаментальная последовательность в вт то норме || ■ ||т , т.е.

||хт хп ||т > 0 . ЕСЛИ Уп — (хп)Т И Хп — (хп)т , ТО хп — Уп^~" Хп ч т,п

гп(а) = 0 и согласно замечанию 4.2 и определению (4.2)

||хт — хп|| ->0, ||ут — Уп|| ->0, Цхт-ХпНву = Уаг (Хт -Хп) --->0

т,п т,п т,п

(применяем норму ||х||ву = |х(а)I + Уагх ). В силу полноты пространств в и ВУ существуют х,у € в и х € ВУ С вт, что

|хп - х|| > 0, 11Уп - у|| > о, |Хп - х||ву > 0, |Хп - х|| > 0.

п п п п

Так как \\г,п - (ж - у)У ^ ||жп - ж|| + \\уп - у\\ ^ 0, то ж - у = я.

п

у

вательности {уп} непрерывных в точках т& € Т функций, поэтому она непрерывна в этих точках, следовательно, у- = ук = 0, ж- = я- и жк = як • Таким образом, |~ж~|т = \г]т < ж, т.е. ж € вт , поэтому у € вт , жт = ят и жт = у + ят .

Так как 2^ = 0 , то ят = 0 . Действительно, если щп = я - яп, то щп € ВУ и Уаг щп = Уаг ^п + Уаг щпс. Поскольку 2п ^ 2 и все функции 2п непрерывны в точках множества К\Т, то и функции 2, щп непрерывны в этих точках. Тем самым Т(щп) С Т И ЩСп = щт = 2т - 2т = ят , следовательно,

Уаг ят + Уаг щпс = Уаг щ(п + Уаг щпс = Уаг щп = Уаг (я - 2п) ^ О,

пп

поэтому Уаг ят = 0 и, очевидно, гт = 0, жт = у, жт = я. Таким образом, (жп - ж)т = уп - у и (жп - жт = яп - я , следовательно,

||жп - ж||т = \уп - у|| + Уаг (х,п - я) ^ 0.

тп

Теорема 4.2. Алгебра вт[а, Ь], наделенная нормой || ■ ||т , является коммутативной банаховой алгеброй с единицей.

Доказательство. Роль единицы играет функция, тождественно равная 1 на [а, Ь] . Коммутативность очевидна, поэтому остается показать непрерывность умножения по норме || ■ ||т относительно, например, первой переменной. Действительно, если ж,у € вТ и щ = жу, то щ € вт и в соответствии с замечанием 4.2 и леммой 4.1 справедлива цепочка неравенств

||жу||т = ||щ||т ^ 1М1 + 2 рш]т ^

(4.4)

< 11жу|| + 2 ||ж\| \у]т+ 2 Гж1т НуН ^5 11ж11т 1М1т> следовательно, условие ||жп -ж||т ^ 0 влечет ||жпу -жу||т ^ 0.

а, Ь

Лемма 4.2. Имеет, место равенство

Т.

тет(к) V

Доказательство. Напомним (см. (3.4)), что Г состоит из тех функций ж € в , что ряд сходится. Вклю-

чение Г С П вт справедливо в силу включений Г С вт . т еТ( к)

ж € т ж € т Т ж € т

т €Т( К)

для Т = Т(ж), т.е. ряд Гж~|т(х) сходится, следовательно, ж € Г. Лемма доказана.

Легко проверить, что Г является нормированным пространством относительно нормы

| ж| | ж| т

т €Т( к)

и для любых ж € Г и Т € Т(К) имеют место оценки

||ж\| ^ ||ж||т ^ ||ж||г ^ 1|ж|| + 2 Гж]т(х) = ||ж|| + 2 Уагжс. (4.7)

Заметим также, что в соответствии с (4.2) норма || ■ ||т зависит от выбора точки а € К, т.е. || ■ ||т = Н'Н?; причем в силу леммы

4.1 нормы Н ■ У? и Н ■ Нв эквивалентны. Таким образом, норма Н ■ Нг также зависит от а , т.е. || ■ ||г = \| ■ > и нетрудно показать,

что для любых а, в € К нормы || ■ ||а и Н'11в эквивалентны.

'г

|

ж€

- Уагжс. (4.8)

Доказательство. В соответствии с замечанием

3.4 доказательство формулы (4.8) сводится к доказательству равенства ||ж||г = ||ж||т , где Т = Т(ж). Если Б € Т(К) и Р = ТПБ, то ж- = жк = 0 для любого тк € Б\Р, а так как ж € Г С вт , то

КУЧ - _1_ Х \ ---- КУ’Б I гр

11 ^-/ ||5 11 \ | I | | ^ 11 \ I ^ I I р ^

Жв(£) = х(£) — ХЛ= х(£) — Хр (£) = хт(£) + ХТ\Р(£),

следовательно, ||хвУ ^ ||хтУ + [х]Т\Р и ||х||з ^ ||хтУ + |"х~|т , Т.е. ДЛЯ любого Б имеем ||х||з ^ ||х|т , поэтому ||х||г ^ ||х||т . Обратное неравенство очевидно.

Теорема 4.3. Пространство Г[а, Ь] банахово по норме || ■ ||г .

Доказательство. Пусть {хга} , хп € Г, - фундаментальная последовательность, т.е. ||хт — хга||г —► 0. В силу

т,п

(4.7) эта последовательность является фундаментальной в каждом из банаховых пространств 0Т , Т € Т(К), по соответствующей норме || ■ ||т . Это означает, что для любого Т существует функция хт) € вТ такая, что ||хга — хт ||т ^0, а в силу

П

замечания 4.2 имеем ||хп — х<т) || ^ 0. Таким образом, все пре-

П

дельные функции х(т) совпадают между собой, т.е. хт = х для любого Т. Поскольку хт € вТ , то х € вТ для любого Т, по-

х€

||хп — х||г ^ 0 .

П

Действительно, для любого £ > 0 существует N такое,

что при т,п > N и Т € Т(К) выполнено ||хт — хга||т < £,

следовательно, при т ^ ж имеем ||х — хга||Т ^ £, поэтому

|хп — х||г = Бир |хп — х|т ^ £ . т ет( к)

Теорема 4.4. Алгебра Г[а, Ь] является коммутативной банаховой алгеброй с единицей по норме || ■ ||г .

Доказательство. В соответствии с (4.4) и (4.5) имеем ||ху||г ^5 ||х||г||у||г, откуда следует непрерывность умножения в Г .

Пространство ВУ[а, Ь] с нормой

Цх||Ву = |х(а)| + Уаг х (4.9)

М]

также является коммутативной банаховой алгеброй с единицей. Это утверждение хорошо известно для нормы (4.9), в которой а = а (см., например, [9, с. 337]), а для остальных норм отметим, что в семействе (4.9), зависящем от параметра а € [а, Ь], все нормы эквивалентны между собой. Напомним также, что в соответствии с замечанием 3.1 мы работаем с фиксированным а .

Лемма 4.4. Если х € ВУ, то при любом Т € Т(К)

х хт хт

и, в частности, для компонент Лебегова разложения функции справедливо равенство Уаг х = Уаг хс + Уаг хс .

Доказательство. Вторая часть утверждения хорошо известна (см., например, замечание 3.4). Пусть ^ =Т\Т(х), Р = Т П Т(х), К = Т(х)\Т. Поскольку х- = х^ = О для всех тк € ^, то хт = хр и хт = хр . Если г = хр и у = хр , то Т(,г) = Р и Т(у) = К. В соответствии с (3.10) справедливо

гс гТ(г) (хр)р хР , УС УТ(у) (х )д хЛ\Р хЛ ,

гс = гт« = (хР)Р = 0, ус = ут^ = (хр)л = хриЛ = хтм = хс, поэтому

Уаг хт + Уаг хт = Уаг у + Уаг г = Уаг ус + Уаг ус + Уаг хс + Уаг гс =

= Уаг хс+Уаг хд+Уаг хр = Уаг хс+ |~х]л + [х]р = Уагхс+ |"х]т(х) = = Уаг хс + Уаг х„, = Уаг хс + Уаг хс = Уаг х.

т (ж)

Лемма 4.5. Если х € ВУ, то при всех Т € Т(К)

||х|| ^ ||х||т ^ ||х||г ^ ||х||Ву. (4-11)

Доказательство. Первые два неравенства уже доказаны, что касается третьего, то достаточно показать, что 1|х||т ^ ||х||ву для любого Т € Т(К) . Действительно, в соответствии с леммой 4.4 и равенством хт (а) = х(а) справедлива цепочка равенств

1|х||Ву — ||х||т = |х(а) I + У&г х — ||хт || — Уаг хт =

= |х(а) |+Уагхт — ||хт || = |хт (а) | + Уагхт — ||хт || = ||хт ||Ву —||хт ||,

в правой части которой стоит неотрицательная величина. Таким

образом, ||х||г = яир ||х||т ^ ||х|Ву . т еТ( К

Замечание 4.3. Подводя итог, можем сказать, что вторая строка диаграммы (3.4) состоит из коммутативных банаховых алгебр с единицей, причем каждая из алгебр полна по своей норме, - это соответственно нормы (4.9), (4.6), (4.2) и (4.1). х€

х € х € т

то ||х|| ^ ||х||т (см. замечание 4.2). Хорошо известно, что пространства С и СВУ из диаграммы (3.4) также полны, каждое по своей норме, но мы на этом вопросе не останавливаемся.

5. Присоединенное умножение

т а, Ь

Согласно формулам из замечания 3.5 проекторы Рт : х ^ хт и Рт : х ^ хт являются эндоморфизмами пространства Ст , но не

т

т

к детальному обсуждению этого вопроса.

Определение 5.1. Если х,у € вт и а € К, то функция х = х ■ у = хт ут — хт ут называется присоединенным произведением функций х и у , а операция г" ■ С называется присо-

т

хт хт

раметра а, т.е. хт = хт(а) и хт = хт (£, а ; поэтому и г из определения 5.1 зависит от а, т.е. г = а) . Это означает, что т

а

ствни с пунктом 2 леммы 3.1 равенство в5 = От равносильно тому, что Б ~ Т, поэтому в пространстве вт(= О5) определены разные присоединенные умножения, зависящие от параметра Б ~ Т. Таким образом, в прострапстве вт (когда раз-Т

различпых присоединенных умножений, зависящих как от точки а € К, так и от разбиения Б ~ Т. Наиболее выпукло это просматривается в пространстве в, где, как мы знаем, выполнено равенство в = вт, сагс1Т < ж, т.е. в пространстве в определено двупараметрическое семейство различных присоединенных

а€К

Т . В частности, при Т = 0 имеем х ■ у = ху , т.е. обычное умножение входит в это семейство.

Термин ^присоединенное умножение© мы позаимствовали из теории ассоциативных колец и алгебр, где присоединенное умножение определяется равенством х о у = х + у + ху и строится, таким образом, из базовых операций сложения и умножения исходного кольца [алгебры] К (см., например, [12, с. 315]). В книге [13, с. 368] такое умножение называется звездным. Иногда присоединенное умножение определяется как х о у = х + у — ху. От-

К

имеет единицу, роль которой выполняет нулевой элемент (легко х о х о х отсутствие дистрибутивности (например, имеет место равенство х о (у + г) = х о у + х о г — х) не позволяют рассматривать самостоятельную алгебраическую систему < К, +, о > [соответственно

< К, +, о, ■ >], как кольцо [алгебру], хотя операция присоединенного умножения и выполняет существенную роль в теории. Ниже мы увидим, что присоединенное умножение из определения

5.1, весьма похожее на классическое присоединенное умножение (имеем х ■ у = хТу + хуТ — ху), лишено отмеченных недостатков.

Лемма 5.1. Если Т € Т(К); х,у € вт и А € С, то

(Ах)т = АхТ ; (Ах)т = АхТ ; (х + ут = хт + уТ ; (х + у)Т =

= хТ + уТ; (х ■ у) т = хт ■ уТ, (х ■ у)Т = хТ ■ уТ .

Доказательство. Равенства хТ ■ уТ = —хТ уТ и хТ ■ уТ = хТуТ очевидны из определения 5.1 и формул (3.9), а в силу следствия 3.4 справедливы цепочки равенств

(х ■ у)т (хТуТ хтут)т хтуТ хт ■ уТ,

(х ■ уТ = (хТуТ — хТуТ)Т = хТуТ = хТ ■ уТ.

Замечание 5.1. В процессе доказательства мы установили равенства (х ■ у Т = —хТуТ и (х ■ у)Т = хТуТ .

Лемма 5.2. Для любых х,у € вт существуют инте-

4 4 4 4

гралы / хТ ^уТ, / уТ ^хТ, / уТ ^хТ, / хТ ^уТ м

х(*)у(£) = хТ(£)уТ(£) + / хтйуТ + / утйхТ + (ху) (*),

х(*) ■ у(£) =хТ(£)уТ(£) + /хТйу^ + /уТ^ — (ху)Т(*).

а а

Доказательство. Первая формула доказана в лемме 3.4, а что касается второй, то для ее доказательства достаточно сложить левые и правые части обеих формул и получить тождество.

Теорема 5.1. Прост,ранет,во вт [а,Ь]; наделенное операцией присоединенного умножения, является коммутативной ассоциативной алгеброй (вообще говоря, без единицы). Она является банаховой по норме У ■ ||Т .

Доказательство. Ассоциативность присоединенного умножения следует из замечания 5.1:

(ж ■ у) ■ г = (ж ■ у)т гт — (ж ■ У т гт = жтутгт + жтут гт,

ж ■ (у ■ г) = жт (у ■ г)т — жт (у ■ г)т = жтутгт + жтут гт.

Коммутативность и дистрибутивность очевидны. При Т = 0 имеем ж ■ у = жу, поэтому в вт (при Т = 0 ) единицей является функция е(£), тождественно равная 1 на [а, 5] • Пусть Т ф 0 .

А. Если а € Т, то функция е(£) = 1 + / й{а — / йпа явля-

а а

ется единицей алгебры вт . Действительно, легко проверить, Го,^7“а — + г

ЧТО еЩ = < ^ ^ _ а , поэтому вк = = — Одт ДЛЯ

всех Тк € Т, где через т обозначен тот индекс, для которого а = тт . Следовательно, ет (£) = / й{а — / й^а, ет (£) = 1. Для

аа

любой ж € вт справедливо равенство (же)(£) = ж(а)е(£), поэтому (же)т(£) = ж(а)ет(£) и в силу леммы 5.2 (а также формул

(3.5) и равенств жт(а) = ж(а)) справедлива цепочка равенств

ж(£) ■ е(£) = жт (£) + / йжт + / жтйет — (же)т (£) =

t t

= x(t) + x(a) / d{a — x(a) / dna — x(a)eT (t) = x(t).

a a

Б. Пусть a € T. Одно из разбиений TL = {тк € T : Tk < a}

или Тд = (rfc € T : Tfc > a} не пусто.

1. Если TL = 0 , то Тд ^ 0 и определена вели чипа £ = inf Тд .

Если £ € Тд , то функция e(t) = 1 — / ^ ’ t > £

является единицей алгебры GT . Действительно, для всех Tk € Т

имеют место равенства е- = £km и е^ = 0, где через m

обозначен тот индекс, для которого д = тт. Следовательно, еТ (£) = — / ^£в и ет (£) = 1. Для любой х € вТ справедливо

а

(хе)(г) = | х^ ’ ^ < д > поэтому (хе)т = Хд—о), (хе)т = о,

(хе)- = (хе)к = 0 дая всех к ф т, (хе)Т (£) = —х(д — 0) / ^£в и

а

х(£) ■ е(£) = хТ (£) + / йхТ + / хТйеТ — (х^Т (£) =

аа

= х(£) — хТ(д) / й£в + х(д — 0) / ^£в = х(£).

аа

Воспользовались равенством хТ(д) = х(д — 0), которое имеет место в силу следующих обстоятельств. Так как а < д = тт < тк кт

в в

хТ Ш = — Е хкк / ^к+ Е хк I йПк =

Тк еТ а тк еТ а

= — (х(тт —о)—х(тт)) (£т( д)—£т( а) = хд)—хд —° )•

Если д € ТД , то в СТ единицы нет. Предположим противное, т.е. существует е € вТ такая, что для всех х € вТ справедливо равенство х = х ■ е = хТе + хеТ — хе. В частности, если х(£) = 1, то хТ (£) = 1, поэтому еТ (£) = 1. Таким образом, для любой х € вТ имеем (х — хТ) е = 0 .

Пусть т > д . Так как д - наибольшая из нижних границ разбиения Тд , то существ ует тт € Тд , ч то а ^ д < тт < т. Если

4 т

х(£) = М / ^Пт, Т О хТ (£) = 0 , Следователь НО, [М / йПт\е(т) = 0

аа

Ме т М е т

Таким образом, е(т) = 0 дая всех т > д. Это означает, в частности, что е(тк — 0) = е(тк) = е(тк + 0) = 0 для всех тк € ТД = Т,

следовательно, eT (t) = e(t), поэтому eT (t) = 0 для всех t > g, что противоречит условию eT (t) = 1.

2. Случай TL ^ 0, TR = 0 симметричен. Здесь определена величина Л = sup TL , и если A € TL , то в GT единицы нет, а если A € TL , то единицей является функция

ей=1+/<%={; , t;A.

3. Наконец, если TL ф 0, TR ф 0, то определены величины

A = sup TL и g = inf TR . Есл и Л € TL или g € TR , то в GT

единицы нет, а в противном случае (т.е. если Л € TL и g € TR )

единицей является функция

e(t)=i+/—a'^={°: ^€(A:l

Доказательство пунктов 2 и 3 предоставляем читателю.

Осталось доказать непрерывность присоединенного умножения по норме У ■ ||т относительно, например, первой переменной. В силу (4.4) для любых ж, у € GT

1 м м 1 м м

5 \\Х'У 11т = 5 \\хТУТ ~хтУт ||т < \\хТ\\т \\ут\\т + 11жт11т \\Ут\\т =

= 11жТ 1 llyTН + Гх1т 1У1т ; (НжТН + Мт)(11ут11 + 1У1т) = 11ж11т IMIt> следовательно, условие Нжп—ж||т ^0 влечет ||жп-у—ж-у II ^0.

т n 11 "т n

Замечание 5.2. Мы обнаружили, что в алгебре GT с присоединенным умножением не всегда имеется единичный элемент. При T = 0 или при а € T он существует, а вот при T ф 0 и а € T единичный элемент отсутствует тогда и только

а

T

что для всех конечных T алгебра GT имеет единицу. Существует, по крайней мере, три способа присоединения единицы в тех

случаях, когда она отсутствует в алгебре. Во-первых, множества

S = T U {а} и T эквивалентны, поэтому GT = GS , а поскольку а € S, то появляется единица. Во-вторых, в разбиение T можно добавить Л = sup TL и/ил и g = inf TR , если они отсутствуют.

ST этому GT = GS, а поскольку Л, g € S, то появляется единица. Наконец, можно воспользоваться стандартной процедурой присоединения единицы, переходя в алгебру GT х C с операциями

(ж, р) + (у, v) = {ж + у, у + v), ^ж, ^) = (vx, v^),

(ж, ■ (у, v) = (ж ■ у + ^у + vж, ^v)

e,

спективпым, на наш взгляд, является первый способ - добавление в T точки а, в этом случае и единица выглядит наиболее естественно, - она представляет из себя характеристическую функцию точки а, и с самого начала можно считать, что а € T .

Теорема 5.2. Каждый из операторов Рт : ж ^ жт и

Рт : ж ^ жт является эндоморфизмом алгебры GT с присоединенным умножением. Образ Im Рт ( = Кer Рт ) и ядро Ker Рт ( = Im Pт ) являются двусторонним,и идеалами алгебры. Операторы Рт и Рт являются непрерывными ортогональными (относительно присоединенного умножения) проекторами алгебры.

Доказательство. Первая часть утверждения составляет содержание леммы 5.1. Поскольку проекторы Рт и Рт связаны равенством Рт + Рт = I, то ImPT = КегРт и Кег Рт = Im Рт . Включение ж € Im Рт равносильно тому, жт ж у € T

ж ■ у = — жт ут , а в силу равенства (жт ут)т = жт ут из следствия 3.4 имеем ж ■ у € ImРт , т.е. IтРт - двусторонний идеал

T Рт

жт-ут = 0 носит элементарныйхарактер, поэтому Рт и Рт -ортогональные проекторы. Для доказательства их непрерывности

Рт Рт

Пусть последовательность {хп}, хп € вт, сходится к х € вт по норме ||-||т,т.е. ||( хп)т — хт || + Уаг ((хп) т — хт) —► 0 . Если все

п

хп € 1т Рт , то (хп)т = 0 , поэтому ||хт || = О , хт = 0 , х € 1т Рт . Если же хп € КегРт , то (хп) т = 0, поэтому Уагхт = 0, а так как хт (а) = 0, то хт = 0 и х € Кег Рт .

Итак, 1тРт и КегРт - замкнутые пространства, поэтому От = Iт Рт ® Кег Рт = Iт Рт ® Кег Рт , а Рт и Рт непрерывные проекторы [10, с. 151].

Нашей ближайшей целью является перенесение полученных результатов на пространства Г и ВУ, где в соответствии с замечанием 3.4 определены проекторы Рс ■. х ^ хс и Рс : х ^ хс .

5.2. Присоединенное умножение в Г[а,Ь) ив ВУ[а, Ь] Определение 5.2. Пусть х,у € Г[илиВУ], тогда функция г = х о у = хсус — хсус называется присоединенным произведением функций х и у , а операция I" о 6 называется присоединенным умножением в Г [или в ВУ] .

Замечание 5.3. Так же, как и в случае присоединенного произведения I" ■ 6, правило вычисления присоединенного произведения г" о 6 зависит от параметра а € К.

Лемма 5.3. Если х,у € Г[шшВУ] и X € С, то (Хх) с = Ххс, (Хх)с = Ххс , (х + у) с = хс + ус, {х + у)с = хс + ус,

х о у с хс о ус х о у с хс о ус

х, у €

4 4 4 4

/ хс(1ус, / ус(1хс, / ус(1хс, / хс(1ус существуют и

а а а а

х{г)у{г) = хс( г)ус{ г) + / хсЛус + / усЛхс + (ху) с( г),

аа

х(г) о у(г) = хс{ г)ус{ г) + / хсйус + / ус<!хс — {ху) с( г).

Утверждения следуют из включений ВУ С Г С вт и лемм

5.1 и 5.2, для этого достаточно взять в качестве Т разбиение Т(х) иТ(у), тогда Т(Хх) С Т, Т(х+у) С Т, Т(ху) С Т, хс = хт ,

ус ут Хх с Хх т х у с х у т ху с ху т

Теорема 5.3. Пространство Г [или ВУ], наделенное операцией присоединенного умножения, является коммутативной ассоциативной алгеброй с единицей. Она является банаховой по норме || ■ ||г [соот,вет,ст,венно || ■ ||ву] .

Нетривиальным здесь является лишь существование единицы, роль которой выполняет функция е{г) = 1 + / й^а — [ (1ца ■

аа

Если х € Г [илиВУ] и Т = Т(х) и {а} , то х,е € вт, а € Т и

гр г\ р - грс рс _ гр р - грт(х) рт(е) _ гр р - грт рт _ гр р - гр

'о ^д_/ ^д_/ с ^-^с 'Г ^ ^ ^ ^ *

Последнее равенство справедливо в силу пункта А теоремы 5.1.

Теорема 5.4. Каждый из операторов Рс : х ^ хс и Рс : х ^ хс является эндоморфизмом алгебры Г [ или ВУ ] с

Рс Рс

Рс Рс

Рс Рс

(относительно присоединенного умножения) проекторами. Доказательство аналогично доказательству теоремы 5.2. Замечание 5.4. Подводя итог, можно сказать, что проектор Рт : х ^ хт в О? шлш Рс : х ^ хс в Г [или в ВУ] г'расщепляетб соответствующее пространство на два замкнутых (по соответствующей норме) ортогональных (относительно при-

т

Т

странство функций скачков, скачки которых заданы в точках Т

пространство функций скачков. В ВУ - это пространство непрерывных функций ограниченной вариации и пространство функ-

х

ха

к проекторам Рт : х ^ хт в От ш Рс : х ^ хс в Г [или в ВУ] . Крайне любопытным выглядит тот факт, что множества , Г и ВУ, рассматриваемые как алгебры, ^расщепляются© на две замкнутые подалгебры, каждая из которых является двусторонним идеалом соответствующей алгебры.

6. Присоединенный интеграл

Определение 6.1. Пусть Т € Т( К) и х, у € .

Если существует интеграл / х<1у , то функция

к

4 4 t

/ х ■ йу= / хтdyт - / хтйут (6.1)

а а а

называется неопределенным присоединенным, интегралом функции х по функции у (точка а € К фиксирована).

Прежде всего отметим, что определение корректно, поскольку из существования интеграла / xdy следует существование инк

теграла / xdy , а в соответствии со следствием 3.3 оба интеграла

а

в правой части (6.1) существуют.

Как и в случае присоединенного умножения (см. комментарии к определению 5.1) в пространстве вт(= в5 при Б ~ Т) определено двупараметрическое семейство различных присоединен-

ху

а € К и разбиения Б ~ Т .При Т = 0 имеем / х ■ dy = / xdy,

аа

поэтому интеграл Римана-Стилтьеса также является присоединенным интегралом.

Заметим далее, что мы определили присоединенный интеграл как функцию переменной верхней границы интегрирования, причем нижняя граница интегрирования фиксирована и совпадает

а

проекторов Рт : х ^ хт( ■ , а) и Рт : х ^ хт( ■ ,а) . При таком

подходе мы сохраняем привычную двупараметрическую параметризацию, хотя, конечно же, для любых т,в,$ € [а, Ь] определе-в Ф Ф

ны величины §х ■ dy, / х ■ dy, / х ■ dy и сумма первых двух равна

Т в Т

третьей. Таким образом, мы можем вести речь не только о неопределенном, но и об определенном присоединенном интеграле и считать, что это есть величина

в в в

/ х ■ dy = /хт( ■ ,а) dyт( ■ ,а) — /хт( ■ ,а) dyт( ■ ,а),

Т Т Т

зависящая от параметров а,Т,т, в , однако в дальнейшем мы ра-

ботаем лишь с неопределенным присоединенным интегралом.

Комментарии к определению 6.1 закончим замечанием, что присоединенный интеграл линеен по каждому аргументу.

Лемма 6.1. Пусть х,у € СТ . Существование одного

из присоединенных интегралов / х ■ dy или /у ■ dx влечет су-

а а

ществование другого и равенство

ь * ь

/ х ■ dy + / у ■ dx = х ■ у .

а а а

Существование присоединенных интегралов следует из существования соответствующих интегралов Римана-Стилтьеса, а цепочка равенств

ь ь ь ь ь ь

/ х ■ dy + / у ■ dx = / хт dyт — / хт dyт + / ут dxт — / ут dxт =

а а а а а а

т т х т т х 1 а й II х у а

справедлива в силу формулы интегрирования по частям.

Лемма 6.2. Пусть х,у € СТ и существует интеграл г(1) = / х^у , тогда г €СТ, гт (£) = —/хт dyт и гт (£) = / хт dyт .

а а а

Первый интеграл в правой части (6.1) является функцией, непрерывной во всех точках разбиения Т, а второй является функцией скачков со скачками в Т, что и доказывает лемму.

Лемма 6.3. Пусть х,у,х € вТ и существует инте-ь ь ь

грал гш(Ь) = / у■ йх . Интегралы, / х-й'ш и / (х-у)■йх существуют

а а а

или пет одновременно. Если интегралы, существуют, то ь /в \ t

/х^) ■ й ( /у ■ йх\ = / (х ■ у) ■ йх. (6.2)

а а а

Доказательство. Согласно лемме 6.2 справед-ь ь

лнво -ш € вТ, -шт (£) = — / уТ йхт, -шт (£) = / ут йхт , следовательно,

аа

для левой и правой частей (6.2) (обозначим их ах и 02 ) имеем

ь ь ь /в \

стх = /хтй,шт — /хтйгшт = /хт(в) й( /утйхт) +

а а а а

ь /в \ ь t

+ / хт( / ут йхт \ = / хт ут йхт + / хт ут йхт,

&2 = /(хтут — хтут) ■ йх = /хтутйхт + /хтутйхт.

а а а

Последнее равенство справедливо в силу замечания 3.4.

Определение 6.2. П усть х,у €Г [ил и х,у €ВУ]. Если существует интеграл / хйу , то функция

к

ь ь ь

/ х о йу= / хсйус — / хсйус (6.3)

а а а

называется неопределенным присоединенным, интегралом функ-

ции х по функции у (точка а € К фиксирована).

Определение корректно, поскольку из существования инте-

1

грала / хйу следует существование интеграла / хйу, а в соот-

К а

ветствии с замечанием 3.7 оба интеграла в правой части (6.3)

существуют. Как и в случае присоединенного интеграла (6.1) семейство различных присоединенных интегралов (6.3) зависит от а € К. Присоединенный интеграл линеен по каждому аргументу.

Лемма 6.4. Пусть х,у € Г [или х,у € ВУ ]. Суще-

1 1

ствование одного из интегралов / х о йу или /у о йх влечет

аа

существование другого и равенство

1 1

/ х о йу + / у о йх = х о у

1

х, у € х, у €

1

ствует присоединенным интеграл г(Ь) = / х о йу, тогда г € Г

а

1 1 [ соответственно г € ВУ ], гс{£) = — / хсйус и гс{£) = / хсйус .

аа

Лемма 6.6. Пусть х,у,г € Г [или х,у € ВУ ] и су-1 11

ществует /у о йг. Интегралы / х о й^ и / (х о у) о йг

а а а

существуют или нет одновременно. Если интегралы существуют, то

1 , в \ 1

/ х(^ о й ( J у о йг) = / (х о у) о йг.

ааа

Утверждения следуют из включений ВУ С Г С вТ и лемм

6.1 - 6.3, для этого достаточно взять в качестве Т разбиение Т(х) и Т(у) или Т(х) и Т(у) и Т(г) .

7. Прерывистые функции, заданные на интервале

Зафиксируем интервал К = (а, Ъ) (ограниченный или неограниченный) и через 0 = 0(а,Ъ) обозначим пространство [ алгебру ]

прерывистых функций, т.е. функций х : К ^ С, обладающих конечными пределами х{Ь — 0) и х{Ь + 0) при всех Ь € К . Через Сь = вь(а, Ь) [ через вд = Сд(а, Ъ) ] обозначим подпространство в в, состоящее из непрерывных слева [ справа ] прерывистых функций. Через ОцОС = 0^ос(а, Ь) обозначим пространство таких функций х : К ^ С, что для любого от резка [а, @] С К функция-сужение х : [а, @] ^ С принадлежит Оо[а,0\ .

Замечание 7.1. Аналогично утверждению леммы

х€

ственным образом представима в виде суммы х = хь + х0 двух функций хь € вь и х0 € . Симметричное представление

х = хд+ х0 , где хд € вд , х0 € С^00 , также имеет место. При этом операторы Р : х(Ь) ^ хь (Ь) = х(Ь — 0) и : х(Ь) ^ хд (Ь) = х(Ь + 0) являются проекторами в С (см. замечание 2.1).

Аналог (1.1) имеет вид (смысл пространств понятен):

АС1ос ^ СВУ1ос ^ С ^ КС1ос

\ \ .

|3у1°с 0 К100 ^ ^1ос

х, у € а, Ь

зывать эквивалентными (и писать х ~ у ), если х — у € 01°с(а, Ь) . Это равносильно тому, что для любого отрезка [а, в] С К функции-сужения х, у : [а, в] ^ С эквивалентны в пространстве С [а, в] • Легко проверить, что если непрерывная функция /(•) действует из С в С, то эквивалента ость х ~ у влечет эквивалентность /(х(•)) ~ /{у{•))• Действительно, вклю-/ х • , / у • € а, Ь г х — у

г € с(а, Ь) м г(Ь — 0) = 0 для любого Ь € К , а так как х(Ь — 0) и у(Ь — 0) существуют, то х(Ь — 0) = у(Ь — 0) . Если т ^ Ь — 0 , то х{т) ^ х{Ь — 0) и у(т) ^ у(Ь — 0), а поскольку / непрерывна, то /(х(т)) ^ /(х(Ь — 0)) и /(у(т)) ^ /(у(Ь — 0)) . Таким образом, ■м(т) = /{х(т)) — /(у(т)) ^ 0 , т.е. ад(Ь—0) = 0 при Ь € К , поэтому ад € ^ос(а, Ь). Остается вспомнить, что /(х(•)), /(у(•)) € в(а,Ь) .

Замечание 7.3. Произвольное конечное или счетное множество Т = {т\,т2,... } попарно различных точек тк € К

К

разбиений К обозначим через Т(К) . Пустое множество мы также включаем в Т(К) . Через 0^,, [через Г1ос ] обозначим пространство таких функций х : К ч С, что для любого отрезка [а, в С К функция-сужение х : [а, в] ч С принадлежит пространству в5[а, в) [соответственно Г1ос[а, в ]; где Б = ТП [а,@].

8. Обобщенные прерывистые функции

Пространство О = 0{а,Ь) , состоящее из финитных функций про-а, Ь

фупкций. В нем определено понятие сходящейся последовательности: будем говорить, что последовательность основных функций {рп} 1 рп € О, сходится к основной функции р € О (и писать рп —л р ), если у всех функций рп и р есть общий носитель [а, в С К и Уаг (рп — р) чО.

[а,@] п

Пример 8.1. Если К = С , последовательн ость {^п}, 7„ € С, такова, что 7„ -► 0, т > О, рп{г) = 7„(1 - |£|) при

| Ь \ ^ т и рп(Ь) = 0 при | Ь I ^ т , то рп —Ч 0 . Здесь [а, в - это любой отрезок, содержащий отрезок [—т, т], а р(Ь) = 0 .

Через 01 обозначим пространство линейных непрерывных функционалов I : 0(а, Ь) ч С (непрерывность означает, что сходимость последовательности основных функций рп —л р влечет сходимость (£,рп) —л (£,р) ), а его элементы назовем обоб-

п

щенными функциями {распределениями).

Всякая (обычная) функция х € Ь1ос порождает обобщенную функцию 1Х € О' {&х,р) = (Ь) / р(Ь)х(Ь)в,Ь , заданную

к

через интеграл Лебега. Линейность функционала 1Х очевидна, а непрерывность следует в силу следующего обстоятельства. Если рп —л р, то у функций рп и р есть общий носитель

[а, в С К и Уаг ((рп — ( ^ 0 . Поскольку х € Ь1ос , то функция

[а,в] п

У^) = / х(з) йз абсолютно непрерывна на [а, в] , а в соответствии

а

с [3, с. 249] и следствием 1.5 справедлива цепочка

в в в в

{1х,(п) = Щ / (п{ 1)х{г)(И = / (п йу= — / уй(п-► — ! У&р =

а а а п а

в в = $ (йу = (ь)/ ((г)х(г)м = (£х, (.

аа

Если х € АС1ос , то х почти всюду дифференцируема, причем х' € £1ос и (£х,( = (Ь) / (^)х'( 1)йЬ = / (йх. Послед-

к к

х€

любой прерывистой функции х € в , и это наблюдение дает нам основание ввести следующее обозначение: (£х/, () = / (йх ,

к

х€

многом повторяет доказательство непрерывности функционала ( ^ (£х,())■ Более того, работая в дальнейшем только с прерывистыми функциями х € в , мы вместо обозначений (£х, ( и {£х!, ( будем использовать обозначения

(х,()=/((г)х(г)йг и (х',(=1(йх, (81^

кк

называя функционалы обобщенной прерывистой функцией и обобщенной производной прерывистой функции соответственно. Замечание 8.1. Первый из интегралов (8.1), вооб-

х€

тегралом. Отметим также следующее обстоятельство. Поскольку (х,() = (у',(), где у^) = / х(з)йз, то имеет место следующая

а

диаграмма включения семейств функционалов (8.1):

{( ^ (х,() }хеС С {( ^ (у',() }уеС С Б'. (8.2)

Другими словами, всякая обобщенная прерывистая функция является обобщенной производной от некоторой другой прерывистой функции, причем включения в диаграмме - строгие. В истинности последнего утверждения легко убедиться, показав, что £-функция ( ^ ((0) принадлежит второму, но не принадлежит первому семейству.

Теорема 8.1. Пусть х € в(а,Ь) . Для того чтобы равенство {х, () = 0 имело место при всех ( € Б(а, Ь), необходимо и достаточно, чтобы х € 01°с(а,Ь) .

х, (

выполнено при всех ( € Б. Зафиксируем произвольный отрезок [а, в С К и какую-нибудь функцию ( € Б, носитель которой принадлежит [а, в • В силу леммы 2.3 для функции-сужения х : [а, в) ^ С имеет место представление х = хь + х0 , где хь € в ь [а, в), х0 € С0 [а, в) • Согласно замечанию 2.2 произведе-(х а, в

имеем (х0, ( = 0 . Тем самым (хь, ( = 0 и, в частности, справедливо равенство (хь ,Тр) = 0 , следовательно, (хь, Ые ф) = 0 . Таким образом, для любой функции ( € Б, носитель которой принадлежит [а, в , имеем

(Иехь , Ие() = 0 и (1т хь , Ие()=0. (8.3)

Допустим, что существует £ € (а, в такое, что Иех^£) ф 0 (можно считать, что Иех^£) > 0). Поскольку Иехь € вь [а, в) , то существует 5 > 0 такое, что Иех^т) > 0 для всех т из полуинтервала (£ — 5, £] С (а, в • Если функция ( € Б такова, что 11е ((т) > 0 при т € (£ — 5, £) и Ые((т) = 0 при т € (£ — 5, £), то (Иехь ^е( > 0, что противоречит (8.3). Таким образом, Иех^£) = 0 для любого £ € (а, в , следовательно, Иех^ £) = 0, апалогичп о 1т хь( £) = 0 , поэтому хь( £) = 0, а сужение функции х та отрезок [а, в совпадает с функцией х0 из пространства С0[а, в] • Поскольку последнее утверждение верно а, в х €

Достаточность. Если x € G^00 , то для любого р € D прерывистая функция y = ^x финитна, причем в силу замечания

2.2 справедливо включепне y € . Согласно лемме 2.1 имеем

{x,^) = / y(t) dt = 0. к

Теорема 8.2. Пусть x € G (a,b) . Для того чтобы равенство (x', р) = 0 имело место при всех р € Da, b) , необходимо и достаточно, чтобы x ~ const.

Доказательство. Необходимость. Функция, тождественно равная 1, порождает функционал (1,р) = J p(s)ds .

к

,p

t

тех р € D , что функция ф^) = f p(s)ds также припадлежит D .

a

О функции ф можно сказать следующее. Включение ф € CBVloc очевидно, более того, ф € АС1ос . Кроме того, если [а, в С K

p

ф(Ь) = 0 для любого t < а и ф(t) есть величина постоянная при t > в (если обозначить ее через с, то, очевидно, с = (1, р) ). Таким образом, если (1, р) = 0 , то с = 0 , следовательно, ф фиф € D ф € D ф

с = 0 и (1,р) =0.

Зафиксируем функцию р такую, что (1, ро) = 1, произвольную функцию р € D , и пусть с = (1, р) . Если р\ = р — с ро , то

t

, p ф t p s ds

a

жит D . Поскольку ф\ € АС1ос , то справедлива цепочка

(x, р\) = / р(t)x(t) dt = f x dфl = — f фldx = —( x', фх) = 0, к к к

поэтому ^,р) = с (x, ро) = (x^o) (1, р) • Таким образом, для любого р € D выполнено равенство (x — (x, ро), р) = 0, поэто-

x — x, р €

и, следовательно, x ~ const.

Достаточность. Если x(t) = с + x0(t), с € С , x0 € , то

для любого р € D справедливо (x',(p) = f pdx^ = —f x0dp , а

K K

поскольку x € Gq0C , то в силу леммы 2.1 имеем (x1 ,р) = 0.

9. Присоединенные обобщенные производные

9.1. Канонические уравнения в пространствах присоединенных распределений

Теорема 8.2 применима при решении абстрактных уравнений, заданных в терминах обобщенных прерывистых функций. В соот-

x€

ждает в D функционал x' вида (8.1), при чем (x' ,р) = 0 при всех р € D тогда и только тогда, когда x ~ const.

Зафиксируем разбиение T € T(K) . Для любых x € Gfoc (см. замечание 7.3) и р € D существует присоединенный интеграл (6.1), поэтому определен линейный непрерывный функционал

{x,p) = {x,p)т = /р ■ dx. (91) K

Поскольку р - непрерывная функция, то рт = 0, следовательно, f р ■ dx = f р dxT , а тождество (x ,р) =0 справедливо тогда KK

и только тогда, когда xT ~ const. При T = 0 имеем x = x'.

Для функций x из Г1ос [ или ВVloc ] и произвольпых р € D

существует присоединенный интеграл f р о dx, понимаемый в

K

D

(x,^^= fр о dx■ (9.2)

K

Из-за непрерывности р справедливо J р о dx = J р dxc , а то-

KK

x, р =

xc ~ const (поэтому xc = const). Полученные результаты можно свести в следующую таблицу.

Таблица 1

х € G х € G^c x € Г1ос [ или x € BVloc]

(х',<р) = 0 (х,р)т = 0 (x,p) = 0

х ~ const хт ~ const Xе = const

x(t) = с + r(t) Ус£ С У г € Gl°c x(t) = h(t) + r(t) Ук € Hl0C[T] Vr € Gl°c[T] x(t) = h(t) Ук <E Hloc

В последней строке таблицы использованы следующие обозначения: Hloc = Hloc(K) - пространство [алгебра] таких функций х : K ^ С, что доя любого от резка [а, @] С K функция-сужение х [а, в ^ С является функцией скачков. Функции из Н1ос также будем называть функциями скачков. Для любого M С K пространство [алгебра] Hloc[M] = Hloc(K)[M] состоит из тех функций х € Н1ос, что Т(х) С M , a Gl°c[M]±Gl°c(K)[M] состоит из тех функций х € Gq0C , что x{t) = 0 доя всех t € M (что равносильно тому, что х непрерывна во всех точках M ).

Замечание 9.1. Если T = 0, то доя функций h

из Н1ос[0] выполнено T(h) = 0, т.е. h(t) = const, поэтому Н1ос[0] ~ С, и в дальнейшем мы будем отождествлять Н1ос[0] С0 чить первую колонку таблицы 1 во вторую. В пользу такого объединения можно также добавить равенства хт = х и Gfoc = G, T0

t t

соответствии с которыми при T = 0 справедливо f х-dy = f хйу

а а

и поэтому (х, ф)0 = (х', ф при всех х € G и р € D .

Замечание 9.2. Согласно (3.6) и (3.8) справедливо тождество хт(t, а) — хт (t, в) = const, поэтому функционалы (9.1) и (9.2) не зависят от а € K .

Замечание 9.3. Функционалы вида (9.1) и (9.2) будем называть присоединенными обобщенными производными {присоединенным,и распределениями). Уместно также отметить, что для любых функций х из Г1ос [или из ВУ1ос ] определены

как функционалы (9.2), так и функционалы (9.1). Для любых

к

\о, \\,... , Хк € М таких, что Х3 ^ 0 и £ Х3 = 1, и для любых

3=0

Т,... ,Тк € Т( И) через X обозначим множество тех x ев, что х € Г1ос [ и ли х € ВУ1ос ] п ри Хо > 0 и х € в Тс при вс ех ] ^1 таких, что Хз > 0. Попятно, что X = Г1ос [ или X = В У1ос ] при Хо > 0, а при Хо = 0 справедливо X = Р| ,

где и = и Т3 (СМ. ЛвММу 3.1), 3 - это множество тех индексов

] = 1,... , п, тоо Хз > 0. Всякая функция х € X определяет в В линейный непрерывный функционал

— о к

(х, ф)т = Х0 (х, Хз(х, ф)тз,

3=1

который будем называть взвешенным распределением. Что касается уравнения (х, ф)т = 0 , то при 3 = 0 справедливо Хо = 1, поэтому уравнение принимает вид (х ,ф = 0, и его решения мы знаем. При 3 ф 0 уравнение эквивалентно совокупности

( Хохс + £ Хз хт = 7 + д

{ 33 V7 € С Уд €0*ос. (9.3)

[ х € X

Для всякого уравнения (9.3) справедливо: разность х — д является функцией скачков, поэтому условие х € X равносильно тому, что д € X; функция д непрерывна в точках разбиения Т = П Т3 , поэтому д € С[Т] П X , а совокупность равносильна

( х=у+д

у = Х0хс+Т, 3 хт+ 7 У 7 € С уд €ОЦ*[Т] П X.

I зез 3

Так как g(t—0) = g(t+0) = 0, то для функции yT (непрерывной в точках t € T, где yT (t—0) = yT(t) = yT (t+0)) при t € T имеем

yT( t+0) — yT (t —0) = y(t+0) — yt —0) = x(t+0) — x(t—0) = 0.

Последнее равенство справедливо в силу следующего обстоятельства. Переходя в (9.3) к пределу при т ^ t—0 и при т ^t+О ,

получаем, что £ Xj [xTj (t+0) — xTj (t—0)] = 0 для всех t € K , no-3&J

этому [ Xj] [x(t+0) — x(t—0)] = 0 , где J(t) = {j € J : t € Tj} .

j€.J(t)

Первый сомножитель равен нулю тогда и только тогда, когда J(t) = 0, что равносильно тому, что t € T. Следовательно, для t € K\T действительно имеет место равенство x(t—0) = x(t+0) . Итак, yT (t+0)— yT (t—) = 0 для всех t € K , поэтому функция

yT

замечания 7.1 и 7.2), следовательно, yT ~ с = const. Разность yT—с непрерывна в T и принадлежит пространствам и X

(как функция скачков), поэтому r = yT — с + д € G^0C[T] П X. Включение h = с + yT € Н10C[T] очевидно, поэтому семейство всех решений уравнения (х,фт = 0 имеет вид

x(t) = h(t) + r(t) Vh € Hl0C[T] Vr € C[T] П X

и отличается от семейства решений уравнения (x, ф)T = 0 лишь rT

вескамиС в виде функций скачков) могут появиться, если в определении взвешенного распределения отказаться от ограничений типа Xj ^ 0, однако мы на этом вопросе не останавливаемся.

Пусть T € T(K) и f € G - произвольная прерывистая функция. Уравнение (x,p)T = (f,p) для x € Gfoc равносильно

f p-dx = f p{t)^t)dt = f ф)й( f f(s)ds)= f ф)f f(s)ds).

K K K a K a

Последнее равенство справедливо в силу непрерывности функ-t t

ций p(t) и f f(s) ds . Следовательно, xT (t) — f f(s)ds ~ const,

a a

t

поэтому x{t) = f f(s) ds + h(t) + r(t), где h€Hl0C[T], r € G^0C[T].

a

Если присоединенная производная понимается в смысле определения (9.2), ах € Г1ос [или x € BVloc ], то решениями уравне-о t ния (х, p) = (f, p) являются функции x{t) = f f(s) ds + h{t),

a

h€

f

существенно расширяется: вместо констант к интегралам прибавляются функции скачков и, возможно, функции из G^00 .

f€

однако мы работаем лишь с прерывистыми функциями.

Пусть X С G - произвольное подмножество. Каковы бы ни были T € T(K), оператор V : X ^ G foc x € X

порождают в D функционал р ^ J р ■ (Nx . В дальнейшем для

к

x

(Vx,p) = (Vx,p)т= / р ■ (Nx. (9 5)

к

Оператор V : X ^ Г1ос [или V : X ^ BVloc ] и произвольная x € X D

о

x

{Vx,p)=jp о (Nx. (9.6)

к

x

ветствии с замечанием 9.1 семейство (9.5) содержит функционал ((Vx)', p), соответствующий разбиению T = 0 .

Замечание 9.4. Если X = CBVloc и Vx = x, то все решения, приведенные в табл. 1, г'схлопываютсяб в одно об-xt

ского уравнения x' = 0 и с равенством (сс, p) = (x, p)T , справедливым для любых непрерывных x и T € T( K .Если X = C , то присоединенная производная определена в Gfoc и Г1ос , - здесь также x(t) = const. Если X = ВУ^с - пространство [алгебра] непрерывных слева функций локально ограниченной вариации (очевидно, ВУ^0С = BVloc П GL ), то решения x(t) = const остаются лишь для первого уравнения, а во втором и третьем случае решениями являются непрерывные слева функции скачков x(t) = h(t) (соответственно h € Н1'0C[T] П GL и h € H1'°c П GL ).

Обобщая данные табл. 1 на произвольный оператор V с обла-X

о

xx

строке табл. 1 приведены все решения соответствующих уравнений, а в последней строке табл. 2 выписаны лишь совокупности уравнений, эквивалентные этим уравнениям.

Таблица 2

V.T £ C,L Vx e Г1ос [илиУх 6 BVl0C]

(Vx,ifi)T so (Vx,p) = 0

(Vx)T ~ const (Vx)c = const

f (Vx)T(t) = с + r(i) \ xeX Vc e С Vr € Gl°c Г (Vx)c(i) = с } xel Vc € С

Пример 9.1. Пусть T € T(K) (допускается T = 0),

t

а € K , X = GjTc , q € CBVloc и (Vx)(t)± x(t) — / x dq . В частном

ь

случае, когда д€ АС1ос, справедливо (Ух)^) = х^) — / д'(в)х(в)йв

а

и (Ух)' = х' — д'х , поэтому уравнение ((Ух)',р) = 0 равносильно уравнению (х', р) = (д'х, р) или х' = д'х .

Уравнение (Ух,р)т =0 эквивалентно совокупности

х{Ъ) — /хйд = у(1) + т^) VV € Н1ос[Т] Vг € ^0С[Т|,

а

а в силу (1.2) и леммы 2.1 справедливо представление

х&) = е-*ы + / в-*м ^(в)] ея^+т^).

а

Через Н обозначим функцию, стоящую в квадратных скобках. Очевидно, она является функцией скачков и Н € Н10С[Т] . Легко проверить, что отображение V ^ Н является биекцией Н1ос[Т], поэтому всякое решение уравнения (Ух,р)т = 0 представимо в виде х{Ъ) = НЩе^ + т^) через произвольные Н € Н1ос[Т] и г € в^Т] . Если Т = 0 , то согласно замечанию 9.1 справедливо

х^) = еед(^ + г(£) . Если X = Г1ос [или X = ВУ1ос ], то уравнение

О

(Ух,р) = 0 равносильно совокупности уравнений

ь

х^) — /хйд = v(t) VV € Н10с.

а

Повторив выкладки, получим, что х^) = Н^) ед^ , где Н € Н1ос .

Таблица 3

х € 0^ х € Г1ос [илих € ВУ1ос]

(Ух, р)т =0 (Ух,р) =0

х(£) = /г(£) е+ г(£) V/! € Н1ос[Т] Уге01°с[Т] х(£) = /г(£) УЬ € Н1ос

Замечание 9.5. Каковы бы ни были разбиения

£ .

Б\,... , Бт € Т( К операторы У,- : X ^ в. , ^ = 1,... ,т, оператор Уо : X ^ Г1ос [или Vо : X ^ ВУ1ос ] и функция х € X, они порождают в В линейный непрерывный функционал

_1_ _1_ — о т ,

(Ух,(р) = (Ух,(р)8 =(У0х,<р) + £ (VзХ,(р)^,

3=1

и определено уравнение (Ух , р) = 0 , равносильное совокупности

т

(У0 хЧЪ+Ц (У3 х.$ = С + Т®

3=1 Vc € С Vт € ,

х € X

однако на его особенностях мы не останавливаемся.

9.2. Об импульсных уравнениях

Следуя [15; 16] импульсным будем называть уравнение

х&) = Яьх№)<2№,

заданное в терминах обобщенных функций (распределений). Через х и ф обозначены соответственно п-мерные и т -мерные векторные функции, а матричнозначная функция / : П ^ Спхт задана в области ПС М х С п . Простейшим (по записи) представителем является импульсное уравнение х = 5^)х, однако уже для его решения существующие в настоящее время подходы дают зачастую противоречащие друг другу результаты. Мы вернемся к этому уравнению в примере 9.2 и в замечании 9.8.

С позиций присоединенных обобщенных производных появля-

О

хх

ь

ратор V : Xй ^ Сп имеет вид (Ух)^) = х^) — //(в,х(в)) йф(в) .

[ Конечно, первое уравнение - это семейство уравнений, зависящее от разбиений Т .] Здесь X С в , компоненты вектора ф при/

ящей работы мы ограничимся достаточно простым случаем таких уравнений, а наиболее общим импульсным уравнением можно считать систему (см. замечания 9.3 и 9.5)

| (xi,^p)Ti = (ViX,^p)Si 1 г = 1,... ,п ’

В которой взвешенные распределения (хг,р)т 1, г = 1,... ,п , порождены некоторыми разбиениями Тц,... , Т^к и коэффициентами Ада, •••, • Функционалы (V iX,p)Si порождены разбиени-

ямп Бц,... , Бт и операторами (Уу х)(1)= / /ц( в,х(в))(1фз( в),

а

г = 1,... ,п, ^ = 0,... , т, и имеют вид

— о т .

( Уг х, р)^ = (Ум х,р)+Т. (У 3 х, р)^ .

3=1

Перейдем, однако, к изучению более простого уравнения, прототипом которого служит система обыкновенных дифференциальных уравнений х' = ф'Ах, где А - квадратная матрица, ф € АС1ос - скалярная функция.

Пусть Т € Т( К) ; а € К, ф € ВУ1ос (допускается Т = 0 и

Т{Я) = 0)-, X = {х € вТос '■ Т(х) П Т(ф) = 0} , А - квадратная матрица порядка п с элементами Агз € С. Для оператора

(Ух)(£) = х(1) — / Ах йф , действующего из Xn в 0^^п (в прямое

а

пт у € вопределено уравнение (Ух, р)т = (у, р)т таи Ух = у .

Замечание 9.6. В силу следствия 3.1 оператор V

ху

ми у € в) входит уравнение Ух = / , где / - произвольная

прерывистая векторная функция. Дело в том, что в соответствии

/, р

вой части этой цепочки.

ху

( (Ух)т — ут = 7 + д

V 7 € С п V д €(^1.

{ х € Xn ,п

В силу уравнения д непрерывна в точках Т, поэтому д €в ^ [Т] .

Пусть Р = Т П Т(ф), К = Т(ф)\Т, Б = Т\Т(ф), и = Т и Т(ф).

Справедливо ут = уи+ ук и ф= д + фЕ+ фР , где д = фс €СВУ1ос, поэтому уравнения из совокупности имеют вид

х(Ь) — / Ах(д = уи(Ь) + [уЕ(Ь) + / Ах(фк] + [хт(Ь) + 7] + д(Ь).

аа

(9.7)

ь

Воспользовались тем, что поскольку Р С Т, то (/ х (фр)т = 0 .

а

Согласно лемме 3.3 функции, стоящие в квадратных скобках, являются функциями скачков, причем если обозначить их через и и V соответственно, то и € Нпс [Я] и V € Н[Т] . Все функции (кроме V), входящие в (9.7), непрерывны во всех точках Ь € Р, поэтому и V непрерывна там, т. е. V € Н^ [Б] . Следовательно, совокупность уравнений превращается в совокупность систем

ь

х(Ь) — / Ах йд = уи(Ь) + и(Ь) + v(t) + д(Ь)

а

и(Ь)=уя(Ь) + /Ах(фя V v [Б] V д [Т].

а

х € Xп

(9.8)

ид

непрерывны в точках Ь € Я, поэтому функция г = и+д, а вместе

с ней и гь (напомним, что гь(£) = — 0)) также непрерывна

в точках разбиения Я. В соответствии с замечанием 7.1 имеет место представление и = пь+ и0 , где иь € в” , и0 € в^ [К\Я] . Поскольку иь € НПс[Я], иь = хь , а хь непрерывна в Я, то иь(Ь) - вектор-константа ( = иь(а) К поэтому и(Ь)=иь(а)+и0(Ь), т. е. и - функция, эквивалентная вектор-константе (и — с € С п).

Если §(•) = иь(а) + у(•) (очевидно, § € [№] ) и г = и0 + д

(очевидно, г непрерывна в точках разбиения Т), то первое урав-

пение (9.8) принимает вид х(Ь) — / Ах(д = уи (Ь) + §(^ + т(Ь) . В

а

силу этого уравнения функция г непрерывна в точках разбиения Т(ф), поэтому г € вц°П [ТиТ(ф)] = [Щ . Таким образом,

ху

х(Ь) — / Ах(д = уи( Ь) + §(1) + г^)

а

х € Уп V§ €НПСИ Vг €0^р],

где через Уп обозначено линейное многообразие

Уп= {х € Хп | ук{г) + / Ах (Щк - с € Сп}.

а

Согласно (1.2) каждое уравнение совокупности эквивалентно х(£) = Ф(£) + еА?^ [е-Ад(а)(уи(а) + §(а)) + J е-Ая(•) (§] +г(Ь),

а

(9.9)

где Ф(Ь) = / еА^-<?М) (уи (в) - функция, зависящая лишь от

а

исходных параметров. Через Н обозначим функцию, стоящую в квадратных скобках (9.9). Отображение § ^ Н является биекцией Н^с [£], поэтому Ух = у равносильно совокупности

( х(г) = Ф(г) + еАд^ цг) + г (г)

\х € Уп VН €Нп°с[№] Vг €в[,осп[р.

Это, в свою очередь, эквивалентно тому, что

х(^ = еАФ) [Ц^ + 1е-А^•) (уи ] VН€Н Vг €вц°ПЩ,

а

(9.10)

где через Н обозначено линейное многообразие Н={Н № | уЛ^ + 1 А[Ф(в) + еА^ Цв)](«2я{ в) - с € С п} =

а

= {н €нпос № | у Л ь)+/ АеАд(^ [н(в)+!е-Ад (уи\ (дн{ в) - с € с п}.

аа

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

Теорема 9.1. Пусть Т € Т(К) > а € К , ф € ВУ1ос ,

X = {х € в^ : Т(х) ПТ((^) = 0} , А - квадратная матрица поТ п

рядка п с элементами А^ € С . Для оператора V : Хп ^ С1о’с , что (Ух)^) = х^) — / Ах (Щ , и для любого у €в 1(,ф уравнение

а

(Ух, фТ = (у, фт разрешимо тогда и только тогда, когда Н ф 0 . При этом семейством решений является многообразие (9.10).

Следствие 9.1. Если Т Т(<^), то Я = 0, поэтому Н = [Т\Т(ф)] , а семейством решений уравнения

(Ух, фТ = (у, фт является многообразие (9.10), в котором Щ = Т :

х(^ = еАФ) [Ц^ + 1е-А^•) (уТ ] VН€Нп°с[Т\Т(д)}

а

V г €в 10С [Т].

0,п1- ^

Если к тому же Т !Э Т(у), то уТ = ус - непрерывная функция, а совокупность х(1) = еАд^ [с + / е-Ад( ^ ((ус] , с € С п , является в

а

этом случае семейством всех непрерывных решений уравнения.

Пример 9.2. При любом ^функция Q = ( 1—+ порождает ^^^^цию р ^ р(0), поскольку

{Q',p) = / pdQ = (l—v)f<pd£ + vf<pd'n = р(0). к к к

t

Другими словами, Q' = 5 . Если (Vx)(t) = x(t) — f xdQ, то при

a

любом T € T(K) уравнение {Yx,p)T = 0 можно интерпретировать как импульсное уравнение X = 5(t)x . Здесь мы имеем n = 1, ^=1, у = 0, T(Q) = {0} и q = const. Следовательно, если 0 € T, то множество всех решений уравнения имеет вид

x(t) = h{t) + r{t) Vh€Hloc[T\{0}] Vr€G‘oc[T].

Константы, и только они, являются непрерывными решениями уравнения. Если же 0 € T , то U = T U {0} , S = T, R = {0} и

t

Н= {h €Hl0C[T] | / eq 0 hdQ -const} = {h €Hloc[T] | h(0) = 0},

a

а множество всех решениЦ уравнения имеет ВИД

x(t) = h(t) + r(t) Vh€H Vr £Gl°c[T U{0}].

Единственным непрерывным решением при 0 € T является x = 0 .

T

ние (Vx, р)T = 0 имеет нетривиальные решения (решение x = 0 очевидно). Действительно. При у = 0 справедливо

x(t) = eAq^ h(t) + r(t) Vh € Н Vr €Gjn[U], (9.11)

t

где H = {h € НПс[S] | / eAq(•) hdQR - c € Cn} . Если все разры-

a

Q Q t— Q t

всех t € K, то H = НПС[S] ф 0. Заметим, что в этом случае при n = 1 семейство (9.11) содержится в семействе решений из

первой колонки табл. 3. г'Лишнимиб там являются функции, имеющие разрывы в точках разбиения Т^) . Если у Q имеются неустранимые разрывы, то Н состоит из тех Н € Н 1°с [5], что Н(Ь) = 0 как только Ь € К и Q(t—0) ф Q(t+0) . Другими словами,

н = {н € н£сИ | Н{г) ^(г+о) - <3(г—о)] = о V* € л}.

Если искать только непрерывные решения, т.е. если X = С, то для ядер Q с устранимыми разрывами семейство решений уравнения Ух = 0 состоит из функций х(Ь) = еЛд^ с, с € Сп. Сравнивая с непрерывными решениями из примера 9.1, замечаем, что непрерывные решения г'не реагируют© на отдельные импульсные устранимые воздействия на непрерывное ядро. Если же Q имеет неустранимые разрывы, то единственным непрерывным решением является функция, тождественно равная нулю.

Пример 9.3. Пусть Т = 0, а = 0 , = %(— 1} (*) -

характеристическая функция интервала (—1 , 1), п = 1, А = 1, у € С. Имеем Б = 0, Н1ос [0 и С, К = и = Т(^) = {—1,1} ,

д = 1 и Н={с € С | / (с + у) dQ — сог^ } . Если у(Ь) = Ь , то

о

с= —1, а х(Ь) = Ь2 — 1 + г(Ь) - г'единствеппоеС решение (с точностью до слагаемого г € ^ос [и)). Если у(Ь) = Ь , то Н = 0 .

Теорема 9.2. Пусть а € К, Q € ВУ1ос , А - квадратная матрица порядка п с элементам и А^з € С . Для оператора V : Хп —— ГПс такого, что Х= {х €Г1ос : Т(х) ПТ^) = 0} ,

(Ух)(г) = х(Ь) — / Ах dQ , и для любого у € ГПс семейство реше-

а

о о

ний уравнения (Ух,р) = (у, р) представимо в виде (где q = Qc) х(г) = еЛ^ [Ц^ + !е-Л^•) dyc] VН €НП0С[К\Т{ф]. (9.12)

а

Совокупность х(Ь) = еЛд^ [с + /е-Лд(^ dyc] , с € Сп , является

а

семейством всех непрерывных решении уравнения.

Доказательство. Уравнение Ух = у равносильно совокупности уравнений

( (Ух)с - * = 7 V7 € сп

[ х € Хп

г

Так как Q = q + Цс, q € СВУ1ос и (/ Ах dQc)c = 0, то уравне-

а

4

ния принимают вид х(Ь) — / Ах dq = ус(Ь) + [ хс(Ь) +71 ] . Функция,

а

стоящая в квадратных скобках (обозначим ее у), является функцией скачков, т.е. у € Н Пс • Все функции (к роме у), входящие в уравнение, непрерывны во всех точках Ь € Т^), поэтому и у непрерывна там, т. е. у € НПС [К\Т^)] . Согласно (1.2) уравнение эквивалентно (учитывая, что введенное ниже отображение у ^ Ъ является биекцией НПС[К\Т(Q)])

г гг л

х(Ь) = еА^ | \[е-А^а(ус(а)+у(а)) + / в-Ад-')dу] + /в-Ад-')dyc \ =

= вАд(-г [Ъ(Ь) + /в-Ад(-') dyc].

а

Замечание 9.8. Легко заметить, что семейство решений (9.12) (обозначим его X) есть объединение семейств решений из следствия 9.1, у которых г = 0, взятое по всем Т, что Т ^ Т^) и Т(у) . Если обозначить эти семейства через Xт , то

х = и Хт.

т эт^) ит(у)

Множества непрерывных решений в семействах X и Xт совпадают. В частности, решениями импульсного уравнения х = 5(Ь)х

О

из примера 9.2 (т.е. уравнения (\,р) = 0) являются функции х = Ъ € Н1'0С[К\{0}] , а непрерывные решения - это константы.

9.3. О сингулярных уравнениях

Естественным обобщением уравнений из предыдущего пункта

і

являются уравнения с оператором (Ух)(і) = В(і)х(і) — / AxdQ ,

а

где В - это функциональная квадратная матрица порядка п.

Данный оператор, в свою очередь, допускает обобщение вида

і

(Ух)(і) = В(і)х(і) — / [ dQ ] х , где Q - квадратная матрица поряд-

а

ка п с элементами Є ВУ1ос . В последнее семейство входит

і і

также семейство операторов вида (Ух)(і) = / Р йх — / [ dQ ] х , где

аа

Р - квадратная матрица порядка п с элементами Р^ Є ВУ1ос . [Достаточно проинтегрировать по частям первое слагаемое, а векторная константа Р(а)х(а) никак не влияет на уравнение.] ВР

речисленные уравнения будем называть сингулярными [17].

Пример 9.4. Легко проверить, что решением системы

хх

обыкновенных дифференциальных уравнений < . явля-

хх

ются функции хі(і) = хг(і) = сеі, і Є К, (при любом с Є С), поэтому не всякая начальная задача разрешима. В то же вре-

О

мя уравнение (Ух, р) = 0 , заданное в терминах присоединенных

( 1 0 \ і

распределений через оператор (Ух)(і) = ( ^ ^ ) х(і) — / х(^йв

(где Х = Г1ос , V : X ^Г2°с ), эквивалентно совокупности

t

xi(t) — f xi(s) ds = h(t)

а

t

x\(t) — f x2{s) ds = h(t)

VЄ Hl0c.

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

функции xi(i) = h(t) et, h € Hloc . Вычитая второе уравнение

t

из первого, получаем J (x2(s) — xi(s)) ds = h(t) — h(t) • Левая

часть - непрерывная функция, поэтому правая часть (как функция скачков) равна константе. При £ = а левая часть равна

*

нулю, следовательно, / (ж2(в) — х(^ Лв = 0 для всех £ € К , по-

этому Ж2 — Ж\ (см. лемму 2.1), Т.е. Ж2 = Ж1+Г , где г € 0^0СПГ1С1С . В частности, каковы бы ни были (£о, Жю, Ж20) € К х С2 , функции

(+\-\ Ж1$ег-г°, £^г0 М-( жюв*-*0, г<г0

Ж { Ж20 в- , Ъ \ж2й в- , £ ^ *0

являются решением системы и удовлетворяют начальным условиям Жх(£о) = ^ И Ж2(£о) = Ж20 •

Пример 9.5. Пусть К = М, Х = {ж€в : гж{г) € Г1ос} ,

*

^ € М . Оператор V : Х ^ Г1ос , что (Уж)(£) = 1ж(1) — ^ / ж(в) Лв ,

а

о

порождает уравнение (Уж, <р) = 0 . Оно разрешимо, так как ж = 0

Ж€ Х

*

нения, тогда существует 7 € С , что (Ьж^))с — ж(в) Лв = 7.

а

В соответствии с замечанием 3.7 справедливо (Ьж^))с = 1ж(1) — *

—(£ж(£))с = £ж(£) — / вЛжс(в), следовательно,

а

*

£ж(£) — V € Н1'°с[М\{0}] .

а

*

Мы обозначили у(1) = 7 + /вйжс(в), поэтому в силу специфи-

а

ки правой части справедливо V € Н1ос , причем V непрерывна в нуле. Так как ж € в, то функция 1ж(1) тоже непрерывна в пуле, поэтому Нт т ж(т) = Нт т ж (г) = 0, следовательно, для

тнО—0 т н0+0

1 , /,ч . Г I £ I1—м, £ Ф о

функции п{ъ) = < д £ — о справедливы равенства

Нт Н(т) | г Г = Нт Н(т) | г Г = 0. (9.13)

тнО—0 т н0+0

Зафиксируем отрезок [а, в С (0, го) (или [а, в С (—го,0)). Если q(t) = t 11 \^—1 , t £ [а, в ; то q '(t) = ц 1t |M_1 , поэтому

t t

v(t) = tx(t) — ц f x(s) — ц/ MX \ s \M_1 ds =

a a

t t t

= — / hdq = h(a) q(a) + j qdh = v(a) + f qdh,

a a a

t t s t

h(t) — h(a) = f dh = f q—1 (s) d ( f q dh) = f q—1 dv .

a a a a

Таким образом, для сужений h \( 0,^) и h \(_те,о) справедливо

h \(о го) £ Н1ос( О, ГО и h \(—те,о) £ Н1ос(—го, 0). Кроме того, h удовлетворяет условию (9.13), следовательно, всякое решение

О

уравнения (\x, X =0 представимо в виде

( h\(t) \ t \^~l , t < 0

x(t) = < с , t = 0 ,

[ h2{t) \ t \^—1 , t > 0

где h £ Н1ос(—го,0), c £ C, h2 £ Н1ос(0, го), причем функции

скачков h, h2 таковы, что lim hi(X \ т \ м = lim h2(X \ т \м = 0.

т ——0—0 т—0+0

Отметим некоторые любопытные решения уравнения. В первую очередь заметим, что при ц ^1 существуют непрерывные решения. Действительно. Если ц = 1, то константы, и только

ц>

для непрерывности необходимо hl(t) = C\ при всех t £ (—го,0), bi{t) = С2 при всех t £ (0, го) и, следовательно, с = 0, поэто-

t4\ \ + \U—lf с\, t ^0

му непрерывные решения имеют ВИД x(t) = \ t \ | с t>0’

где Cl, С2 £ C . Следует отметить, что нет непрерывных функций,

x x x

В то же время эта задача имеет решения, непрерывные в нуле. В качестве иллюстрации приведем такое решение для уравнения, в

котором ц = 2 . Без ограничения общности считаем, что Xo = 1 • Пусть h\(—t) = h2(i) = [у] - целая часть числа у (при t > 0 ), а с = 1. В силу четности x достаточно считать, что t ^ 0 . Итак, х(0) = 1 и x(t) = t [у] при t > 0. На каждом полуинтервале t € (fcqrr, \ ] 1 к = 1,2,... , имеем x(t) = fci, т.е. х линейно возрастает от величины до 1. Тем самым ж(0+0) = 1 = х(0—0) .

x£

в правой части тождества 1 — x(t) = t {|} стоит функция из при-

t £ , t

—x

[0,1] .При ц < 1 единственным непрерывным решением, определенным на всем R, является тривиальное решение x = 0 , однако существуют решения, непрерывные в нуле, отличные от тривиального. Например, если ц = 0, h\{—t) = /гг(£) = [у] 1 при

0 < t ^ 1, h (—t) = h2(t) = 1 при t^l и с=1,то для решения x

выкладки и показать непрерывность в нуле и неограниченность

,

имеющих неограниченную вариацию на каком-нибудь отрезке, сингулярные же уравнения подобное явление обнаруживают.

9.4. О функционально-дифференциальных уравнениях

В отличие от предыдущих пунктов в дальнейшем будем вести речь не только о тех решениях, которые определены па всем K, но и о тех, которые определены на внутренних интервалах K . Объединение G = G(K)= U G(I), взятое по всем интервалам

ICK

1 С K, представляет собой совокупность прерывистых функций

x{t), t £ I (каждая функция x со своей областью задания I). Для любого X С G через XI) обозначим семейство тех функций x : I ^ C, что x £ X. Зафиксируем разбиение T £ T( K) и оператор V : X ^ G , действующий из в G(I) при всех

I С K. Будем прерывистая функция x £ X(I)

является решением уравнения Уж = 0, если Уж € (I) и

(Уж,р)в = О для всех р € 0(Д (где Б = Т П I). Совокупность

всех таких решений обозначим через Ху (I) . Будем говорить, что прерывистая функция ж € Х(1) является решением уравнения ° 1 °

Уж = 0, если Уж € Г10с(1) и (Уж,р) = 0 дая всех р € 0(1) .

°

Совокупность всех таких решений обозначим через Ху (I) .

Объединение Ху = и Ху (I), взятое по всем I С К, будем

1СК

ж

Ху определен частичный порядок: решение ж\(Ь), Ь € Д , предшествует решению ж2(Ь), Ь € Д , если Д С Д и ж(^) = при всех Ь € Д . Максимальные элементы этого частичного порядка будем называть непродолжаемыми решениями уравнения

°

Уж = 0 . Аналогичным образом определяется семейство Ху всех °

ж

этого уравнения.

Замечание 9.9. Все решения, о которых шла речь

К

следовательно, являются непродолжаемыми решениями соответствующих уравнений. Тем не менее, при любом I С К существуют и другие непродолжаемые решения этих уравнений. Например, в примере 9.5 имеются непродолжаемые решения вида ж(Ь) = Н(Ь) | Ь | М_1 , Ь € I, где I = (—го,0) либо I = (0, го), а Л, таковы, что нарушается условие ^(т) | т |м = 0 либо

Нт0Нт) | т |м = 0 . Более того, для любого I С К можно указать непродолжаемые решения вида ж(Ь) = Н(Ь) | Ь |м_1 , Ь € I.

Замечание 9.10. Пусть Т € Т( К) • В частном случае, когда X С £ таково, что Х(Д С в(I) при любом I С К (где Б = ТП^оператор Е-.Х(где £ = £(К = и ^(Л ),

1СК

действующий при каждом I С К из Х(Д в Lloc(I), порождает

новый оператор V следующего вида. Областью задания V является множество пар (х, а) € ХЛ х I ПРИ всех I — К , а действие оператора определяется правой частью выражения

У(х(Ь),а) = — /(Ех)(в)йв. (9.14)

а

При любых а € I, х € ХЛ и V € справедливо ра-

венство {Чх,ф)Б = (х,р)в — (Ех,<р), следовательно, уравнение Ух = 0 принимает вид х = Ех, а при Т = 0 имеем х = Ех, поэтому в соответствии со сложившейся традицией [18; 19] будем называть такие уравнения функционально-дифференциальными. Если каждое Х(Л содержится в Г1ос(/) [или в ВУ1ос(/) ], то определена присоединенная обобщенная производная (9.2) и для всех а € I, х € ХЛ и V € ^(^ выполнено

◦ О

(Ух, р) = (х, р) — (Ех, р) , т.е. определено еще одно функциональ-

О О

но-дифференциальное уравнение Ух = 0 , имеющее вид х = Ех . Так как У(х(Ь),а) — V(х(Ь),@) = сог^ для любых а, в € I, то

О

уравнения х = Ех и х = Ех не зависят от параметра а.

О

х Ех х Ех ( х(Ь) — /(Ех)(з) йв = Н(Ь) + т(Ь) VI — К

\ а

{ х € ХЛ VН €Н1ос(1)[Т] Vг €С‘0С(Л[Т]>

(9.15)

ХЛ — /(Ех)(в) МЛ V1 — К (916)

х € ХЛ Vн €Н10С(Л

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

(9.15) является Н1ос(1)[Т ПI] и 01°С(1)[Т ПI] . Оно подчеркивает зависимость разбиения от интервала I, однако перегружает запись. Отметим еще, что в силу замечаний 9.2 и 9.10 всегда можно считать, что а € I фиксировано.

В соответствии с определением (9.14) решения уравнения

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

(9.16)) и функции скачков (правая часть (9.16)). Решения уравнения (9.15) могут иметь добавки в виде функций из пространства С>ос , причем для ряда операторов Е зависимость решений от слагаемого г Є носит весьма существенный характер.

Будем говорить, что оператор Е : X ^ 0 - сильный, если для любых х,у Є X таких, что х — у , следует Ех — Еу. Если оператор Е не является сильным, будем называть его слабым. Например, если непрерывная функция /(•) действует из С в С, то согласно замечанию 7.2 оператор Е : х(•) ^ /(х(•)) -сильный. Слабый оператор приведен в примере 9.8.

Е

замена х = у + г приводит уравнение (9.15) к виду

У(і) — /(ЕУ)(з) йв = Цг). (9.17)

а

Это означает, что если у : I ^ С - какое-нибудь решение урав-

у

суммой локально абсолютно непрерывной функции и функции скачков и, во-вторых, всякая прерывистая функция х : I ^ С, у х Ех

Е

х Ех

у

ства С[)ос(^[Т] . Как показывает приводимый ниже пример 9.8,

Е

Пример 9.6. Пусть Т Є Т(К , X = и (I) (ли-

ІС К

бо X = и Г1ос(Л , либо X = и ВУ1ос(1)), (Ех)(і) = рфхф ,

ІСК ІСК

р Є р Є Е

і

Оператор (9.14) принимает вид У(х(г),а) = х(г) — /хйд, где

а

q(t) = J p(s) ds, поэтому мы попадаем в условия примера 9.1.

а

о

Следовательно, все решения уравнения x = Fx имеют вид t

x(t) = h(t) exp f p(s) ds, t € I, VI С K V h € H1'0C(I).

а

I

жаемых решений уравнения. Например, если I = (а, @), а = а,

в < Ь, а функция h такова, что пет предела lim h(r), то

т ^в—о

соответствующее решение - непродолжаемое (если бы предел существовал, мы могли бы продолжить решение на полуинтервал [в, b) нулем). Аналогично для уравнения X = Fx .

Пример 9.7. Если f : П ^ Cп задана и непрерывна в области О С R х Cп , то определены интервал K = (а, Ь), где

a t b t Fx t f t, x t

(t,x еП (t,x еп

ствующий из X в Gn . Множество X состоит из тех функций x(t), t € I, что I С K, x € Gn(I) и (t, x(t)) € О при всех t € I. Если вместо включений x € Gn(I) потребовать x € G^7’^I) при некотором T € T(K) или x €ГПс (I), то для оператора (9.14)

t t V{x{t),a) = x(t) — / (Fx)(s)ds = — / f (s, x(s))ds

аа

о

x Fx x Fx рых служит система обыкновенных дифференциальных уравнений x; = f(t,x). Уравнения равносильны совокупностям (9.15)

F

казательство этого утверждения повторяет доказательство для функций из замечания 7.2), то решение совокупности (9.15) сводится к решению (9.17).

Отметим любопытные решения некоторых уравнений. Пусть П = R х C, f(t, x) = x2 . Семейство непродолжаемых решений

обыкновенного дифференциального уравнения х' = х2 выглядит следующим образом: х = 0 является непродолжаемым решением; если константа с € К такова, что с ф 0, то функция ж(£) = —^ ^ М., также является непродолжаемым решением;

наконец, для любого с € М функции ж(£) = ^ , £ € (—оо, с), и ж(£) = ^ , £ € (с, оо), - непродолжаемые решения. Покажем, что при любом е > 0 периодическая прерывистая функция

х{^) = —1 г , £ € М, является решением уравнения х = х1. £+1 -{£}

Действительно. Пусть Ь ^0 и и = [Ь], тогда {Ь} = Ь — п, а на каждом полуинтервале в € [к — 1, к) , к = 1,...,п, справедливо ж(5) = £+1 3 ' Следовательно, для интегрального слагаемого из

(9.16) имеет место цепочка равенств

(для отрицательных t выкладки аналогичны).

Пусть П = R х {х £ С : Ыеж > 0, 1тж = 0} , f(t,x) = —2л/х. Непродолжаемые решения обыкновенного дифференциального уравнения х' = —2л/х имеют вид x(t) = (c—t)2 , t € (—оо,с) , т.е. пет ни одного решения, определенного на всем R . Покажем, что прерывистая (периодическая) функция x(t) = (1 — |t})2 , t € R,

О __

удовлетворяет уравнению x = —2 уx. Действительно. Пусть t ^0 и n = [t], тогда {t} = t — п,ана каждом полуинтервале s € [k — 1, k), k = 1,..., n, справедливо x(s) = (k — s)2 . Следовательно, для интегрального слагаемого из (9.16) имеет место

t n k

t

f x2(s) ds =

0

+/

n

(e+n+1 — s)2

ds

£+n+1—t

1

где h(t)= e ^ , t € R, - функция скачков, т.е. h € Hloc(R) £(£+1)

n k t

2 / a/z(s) ds = —2

^ / (k — s)ds — 2/ (n+1 —X ds

о

k k—

n

= E (k — s)2 |J:—x + (n+1 — s)2 |П = (n+1—t)2 — (n+l) = x(t) — 4t), k

где = 1 + [t] 7 t € R, - функция скачков, т.е. h € Hl0C(R) t

Пример 9.8. Если (Fx)(t) = x(0) 9(t), где 9(t) - функция Хевисайда, т.е. Q(t) = 0 при t ^ 0 и Q(t) = 1 при t > 0, то F

J — x(0){t6(t) — ) =VI С R: 0€ I

[ x €Г1ос (I) V h €Н1ос (I)

(интеграл вычислили интегрированием по частям). Подставив в это равенство t = 0, исключив а в (а) и введя обозначение

°

c = x(0) , получаем множество всех решений уравнения x = Fx -это функции x(t) = c (l+te(t))+h(t) — h(0), t € I, с произвольными параметрами c € C, 0€ I С R, h € H1'°c (I) . Н^^^ывные пепродолжаемые решения - это функции x(t) = c (l + t^t)) , t € R

решений уравнения-аналога x'(t) = x(0) ^t), понимаемого как

t

равенство п.в. (т.е. уравнения x(t) —x(a) = f x(0)e(s)ds). Что ка-

a

сается уравнения x = Fx (при некотором T), то проделав аналогичные выкладки с совокупностью (9.15), получим семейство

x(t) = c (1 + te(t)) + h(t) — h(0) + r(t) — r(0), t € I,

с параметрами c € C, 0€ I С R, h € Hl0 C(I)[T], r € G‘° C(I)[T] . Отметим любопытное явление, характерное для уравнений со слабым оператором. При T = 0 ураопепие имеет вид x' = Fx , а его решения - это функции x(t) = c (l +1 e(t)) + r(t) — r(0), t € I, r € I

x' t x в t

r

r

Исследования, посвященные слабым операторам, анонсированы в [20] и готовы к печати в рамках другой работы.

9.5. Об уравнениях с разрывной правой частью

Мы вскольз затронем этот важный класс уравнений [21], проиллюстрировав применимость теории присоединенных распределений на следующем примере. Пусть П = R х {x € C : Imx = 0} ,

( —1 , x < 0

f(t,x) = — signx= — < y , x = 0 , (t,x) € О,

[ 1 , x > 0

- разрывная no x функция, зависящая от параметра y € R. При y = 0 непродолжаемые решения уравнения x' = — sign x ,

x t — x а

= — / sign x(s) ds ), имеют вид x(t) = ± | c — ^ ^ ^ c ’ t € R,

а при y ф 0 непродолжаемые решения этого уравнения имеют вид x(t) = ± (c — ^ t € (—го, c) . Покажем, что при любом y прерывистая (периодическая) функция x(t) = 1 — {t^ t € R,

°

x — x

x t > t x t

t

— x s ds — t x t — h t h t t t € R

о

h € R

Список литературы

1. Демышев А.С., Родионов В.И. О прерывистых функциях нескольких переменных // Тез. докл. Рос. унив.-акад. конф. Ижевск, 2004. Ч. 2. С. 77-78.

2. Honig Ch.S. Volterra-Stieltjes integral equations. Mathematics Studies

16. Amsterdam: North-Holland, 1975. 152 p.

3. Натансон И.П. Теория функций вещественной переменной. 3-е изд. М.: Наука, 1974. 480 с.

4. Родионов В.И. О пространстве регулярно дифференцируемых функций // Известия Ин-та матем. и информ. УдГУ. Ижевск, 2004. Вып. 1(29). С. 3-32.

5. Курцвейль Я. Об обобщенных обыкновенных дифференциальных уравнениях, обладающих разрывными решениями // ПММ. 1958. Т. 22, Ґ 1. С. 27-45.

6. Родионов В.И. Квазиинтегральные уравнения в пространстве прерывистых функций // Известия Ин-та матем. и информ. УдГУ. Ижевск, 1997. Вып. 2(10). С. 3-51.

7. Родионов В.И. Квазиинтегралы // Дифференц. уравнения. 2000. Т.36, Ґ 6. С. 859.

8. Hildebrandt Т.Н. Introduction to the theory of integration. N.Y.; L.: Academic Press, 1963. 385 p.

9. Колмогоров A.H., Фомин С.В. Элементы теории функций и функционального анализа. 5-е изд. М.: Наука, 1981. 544 с.

10. Рудин У. Функциональный анализ. М.: Мир, 1975. 448 с.

11. Tvrdy М. Regulated functions and the Perron-Stieltjes integral // Casopis pest. mat. 1989. Ґ 114. P. 187-209.

12. Общая алгебра. T.l. / Под ред. Л.А.Скорнякова. М.: Наука, 1990. 592 с.

13. Ван дер Варден Б.Л. Алгебра. М.: Наука, 1976. 648 с.

14. Фихтенгольц Г.М. Курс дифференциального и интегрального исчисления. Т. 3. 5-е изд. М.: Наука, 1969. 656 с.

15. Завалищин С.Т., Сесекин А.Н. Импульсные процессы: Модели и приложения. М.: Наука, 1991. 256 с.

16. Самойленко А.М., Перестюк Н.А. Дифференциальные уравнения с импульсным воздействием. Киев.: Вища шк., 1987. 288 с.

17. Бояринцев Ю.Е. Регулярные и сингулярные системы линейных обыкновенных дифференциальных уравнений. Новосибирск: Наука, 1980. 224 с.

18. Азбелев Н.В., Максимов В.П., Рахматуллина Л.Ф. Введение в теорию функционально-дифференциальных уравнений. М.: Наука, 1991. 280 с.

19. Азбелев Н.В., Максимов В.П., Рахматуллина Л.Ф. Элементы современной теории функционально-дифференциальных уравнений. Методы и приложения. М.: АНО ґИнститут компьютерных иссле-дованийЄ, 2002. 384 с.

20. Родионов В.И. Об уравнениях со слабым оператором // Тез. докл. Рос. унив.-акад. конф. Ижевск, 2004. Ч. 2. С. 88-90.

21. Филиппов А.Ф. Дифференциальные уравнения с разрывной правой частью. М.: Наука, 1985. 224 с.