CC BY
8
2017 Математика и механика № 45
УДК 517.983.24
Б01 10.17223/19988621/45/3
Д.Ю. Иванов
ЗАМКНУТОСТЬ СУММ НЕОГРАНИЧЕННЫХ ОПЕРАТОРОВ, ДЕЙСТВУЮЩИХ ПО РАЗНЫМ ПЕРЕМЕННЫМ В ПРОСТРАНСТВАХ КВАДРАТИЧНО СУММИРУЕМЫХ ФУНКЦИЙ НЕСКОЛЬКИХ ПЕРЕМЕННЫХ
Доказана замкнутость сумм некоторых неограниченных операторов, действующих по разным переменным в пространствах квадратично суммируемых функций нескольких переменных. Входящие в такие суммы операторы являются генераторами сжимающих С0-полугрупп, и все, кроме, быть может, одного, самосопряжены и имеют чисто точечные спектры. В качестве примера рассмотрены суммы обыкновенных дифференциальных операторов, возникающие в задачах многомерной нестационарной теплопроводности. Исследована гладкость функций, входящих в области определения таких замкнутых операторных сумм.
Ключевые слова: замкнутый линейный оператор, сумма операторов, генератор С ¡¡-полугруппы, область определения оператора.
Получены достаточные условия замкнутости сумм некоторых неограниченных операторов в пространствах квадратично суммируемых функций нескольких переменных. А именно: для замкнутости операторных сумм достаточно, чтобы входящие в суммы операторы действовали по разным переменным, являлись генераторами сжимающих С0-полугрупп и все, кроме, быть может, одного, были самосопряжены и имели чисто точечные спектры.
То обстоятельство, что сумма генераторов коммутирующих С0-полугрупп сжатий замыкаема, хорошо известно [1, с. 269; 2, с. 88]. Но автору не встречались в литературе примеры совпадающих со своими замыканиями сумм неограниченных генераторов С0-полугрупп сжатий.
Замыкание суммы генераторов сжимающих С0-полугрупп, операторы которых коммутируют друг с другом, само является генератором сжимающей С0-полугруппы [2, с. 88]. Генераторы С0-полугрупп используются для постановки задач математической физики в виде краевых задач для дифференциально-операторных уравнений, в которых генератор С0-полугруппы играет роль операторного коэффициента. Условия корректности таких краевых задач определяются на основе областей определения операторных коэффициентов. Поэтому замкнутость операторных сумм, играющих роль операторных коэффициентов, позволяет более просто описать области определения последних.
В работах [3, 4] исследовались краевые задачи для двумерных дифференциально-операторных уравнений Д2и(х)=БЕ и(х) (х=(х1,х2)бП, Д2 =д^ +д2 х),
соответствующие начально-краевым задачам теплопроводности в прямом цилиндре 0.х1Т (1У = [0,У]) на временном интервале 1Т = [0,Т] (У и Т - конечные положительные числа). Операторный коэффициент БЕ является замыканием опе-
раторной суммы Бе = Б( + Бу в пространстве Ы2 = Ь2 (1Г х ¡т). При этом оператор Б1: (Б1 /) (у, t) = д/(у, t), определен на абсолютно непрерывных по t функциях /(у, t) е ¿2, таких, что д/ е ¿2 и / |t=0 = 0 при у е 1Т , а также на эквивалентных им. Оператор Бу: (Бу/) (у, t) = -д2уу/(у, t), задан на абсолютно непрерывно дифференцируемых по у функциях /(у, t) е ¿2, таких, что д2)у/ е Ь'2 и
(ду/-К/) | у=о =(ду/ + ) I у=у = 0 (0 <Хо, Хг <ж) при t е ¡т , а также на эквивалентных им. Получены решения указанных краевых задач с помощью двумерных граничных интегральных уравнений (ГИУ) с операторным ядром, выраженным через С0-полугруппу, порождаемую оператором Бе . В работах [5, 6]
разработан алгоритм численного решения указанных ГИУ на основе разрешающих их сеточных операторов, вычисляемых в алгебре полиномов, образованных степенями полугруппового оператора. Отметим, что для вычисления таких разрешающих операторов требуется значительно меньший объем вычислений, чем для получения разрешающих операторов, построенных на основе обычных трехмерных ГИУ.
Для обоснования аппроксимирующих свойств и устойчивости вычислительных схем [5, 6] в работе [7] установлена инвариантность пространств Ск (дО, Нп (¡г х ¡т)) относительно прямых и обратных операторов ГИУ, а также ограниченность таких операторов в указанных пространствах. Здесь Ск (дО, Нп (¡г х ¡т)) - пространство к раз непрерывно дифференцируемых вдоль границы векторных функций со значениями в Нп (¡т х ¡т); Нп (¡т х ¡т) -пространство типа Соболева, определяемое п первыми степенями оператора Бе .
Из инвариантности пространств Ск (дО, Нп (¡т х ¡т)) следует инвариантность
областей определения операторов (бе) относительно обратных операторов
ГИУ. Так как входными данными задачи являются правые части ГИУ, то этот факт позволяет задать гладкость решения ГИУ с помощью правой части, если из-\ п
Бе ) .
Очевидно, что задание гладкости решений ГИУ необходимо для определения аппроксимирующих свойств сеточного аналога прямого оператора ГИУ.
В силу результатов настоящей работы операторы Бе замкнуты, поэтому глад-\ п
Бе ) , непосредственно определяется гладкостью функций, входящих в области определения операторов Б( и Бу. В заключительной части настоящей работы исследована гладкость функций, входящих в области определения степеней сумм обыкновенных дифференциальных операторов типа Бе : доказано существование абсолютно непрерывных на множестве ¡т х ¡т частных производных этих функций при п > 2.
Представление тензорных сумм операторов в виде обычных операторных сумм
Пусть H и G - комплексные гильбертовы пространства, H ® G - пространство конечных линейных комбинаций билинейных форм вида p ® q, где p е H, q е G, со скалярным произведением
Pi ® q'j, Х Pk ® q'¡] = Х (pi, pk )н (qj, q;)G •
v ^j k,l /H®G ^j,k,l
Определим гильбертово пространство H ® G как пополнение H ® G по указанному скалярному произведению [8, c. 65].
Пусть A и B - линейные замыкаемые операторы в пространствах H и G соответственно, со всюду плотными областями определения D(A) и D(B). Обозначим через D(A) ® D(B) множество конечных линейных комбинаций элементов вида p ® q, где p е D(A), q е D(B). Оператор A ® B, определенный на множестве D(A) ® D(B):
(A ® B)Е p; ® qj =Е AP; ® Bq; ,
uj uj
замыкаем в норме гильбертова пространства H ® G [8, с. 326]. Замыкания операторов A ® B и A ® I"+1 ® B обозначим соответственно как A ® B и A + B (I', I'' - тождественные операторы в H, G). Операторы A ® B и A + B будем называть соответственно тензорным произведением и тензорной суммой операторов A и B. Операторную сумму A ® I"+1'® B, определенную на D(A ® I") n D(I'® B), обозначим через A + B . В силу того, что имеют место включения
A ® I"+1'® B с A +B с A + B, (1)
оператор А + В замыкаем, и его замыкание совпадает с оператором А + В . Операторное произведение (А ® I")(I' ® В) обозначим через АВ. Если операторы А
и В ограничены, то АВ = А ® В и ||АВ|| = ||А||||В||.
Также нам понадобится понятие векторнозначного скалярного произведения (/,q)G элементов / е Н ® О и q е О. Согласно [9, с. 135], оно определяется как некий элемент р е Н, для которого при любом р е Н выполняется равенство
(/, р ® q)н ®о =(р, р)н.
Лемма 1. Пусть А и В - линейные всюду плотно определенные и замыкаемые в соответствующих гильбертовых пространствах Н и О операторы, причем орто-нормированная система {ер, РеВ} собственных функций оператора В
(Вер =стр ер) образует базис в пространстве О (множество В может быть несчет-
но). Тогда для того чтобы / е Б(А + В), необходимо, чтобы выполнялись соотношения
(/,ев)в е Б(А) (реВ), (2a)
([А+В]/, ер )с = [ А + Стр I'](/, ер )с (реВ); (2Ь)
^||[А + ар I'](/,ер)С||Н <», (3)
реВ
где А - замыкание оператора А. Обратно, для того чтобы / е Б(А + В), достаточно, чтобы / е Н ® О и выполнялись соотношения (2а) и (3). При этом элемент
(А + В) / может быть представлен в виде
(А + В)/ = Х [А + Стр I'](/,ер)о ® ер . (4)
реВ
Доказательство. Необходимость. Пусть / е Б(А + В) и р е Б(А ). Тогда справедливы равенства
([А + В]/,р® ер)н®О = (/,[А* +стр I']р® ер)Н®О =
= ((/,ер)О,[А* + ^I']р)н (реВ). (5)
Кроме того, имеем
([17В]/,р®ер)н§о = (([А+В]/,ер)о,р)н (в еВ). (6)
Принимая во внимание произвольность элемента р е Б( А*), а также плотность множества В(А*) в пространстве Н вследствие замыкаемости оператора А, при сравнении равенств (5) и (6) убеждаемся в справедливости соотношений (2). В силу замкнутости ортонормированной системы {ер, в еВ } имеет место
предельное соотношение X || ([А + В]/,ер)О ||Н <ю [9, с. 137], которое с учетом
реВ
(2) может быть записано в виде (3).
Достаточность. Пусть для элемента / е Н ® О выполняются условия (2а) и
(3). Обозначим через {йа, аеА } произвольный ортонормированный базис в пространстве Н . Тогда {dа® ер, аеА , реВ} - ортонормированный базис в
пространстве Н ® О . С учетом равенств Парсеваля:
||[А + ар I'](/, ер )о ||Н = £|([А + °р I')(/, ер )О , ^ )Н 2 (реВ),
аеА
предельное соотношение (3) может быть записано как
X |([А + ар I'](/,ер)ОА)н|2<».
аеА,реВ
Вследствие полноты пространства Н ® О отсюда можно сделать вывод, что существует элемент е е Н ® О , представимый в виде
Е = X ([А + °р I'](/, ер )О , ¿а) н ¿а® ер .
аеА,реВ
Суммируя по а, преобразуем последнее выражение:
8 = Х [А + I'](/,ер)0 ® ер .
РеВ
Отсюда в силу замкнутости оператора А + В имеем
8 = (А + В) / , / е Б(А + В). Лемма полностью доказана.
Заметим, что формула (4) есть разложение оператора А + В в прямую операторную сумму © (А + Сто I'), порождаемую спектральным разложением операто-
РеВ р
ра В.
Согласно лемме 1, область определения оператора А+В может быть представлена в следующем виде:
В(А +В)=\/еН®в: (/,ер)с еБ(А) феВ); А+стр IК/,ер)в ||Н Н . (7)
I РеВ ]
Полагая А = О' (О' - нулевой оператор в пространстве Н ), получаем на основании формулы (7) область определения оператора I® В :
В(I® В) = | / е Н ® в : X | Стр |21| (/,ер)в ||Н < «[.
I РеВ ]
(8)
Аналогично, полагая В = О" (О'' - нулевой оператор в пространстве в), имеем область определения оператора А ® I":
Б(А ® I") = |/ е Н ® в : (/, ер )в е Б(А) (РеВ); £||А (/, ер)в||Н«4. (9)
I РеВ ]
Заметим, что в качестве { ер, РеВ} в формуле (9) может быть использован произвольный ортонормированный базис в пространстве в .
Теорема 1. Пусть А и В - линейные, всюду плотно определенные и замыкаемые в соответствующих гильбертовых пространствах Н и в операторы, причем ортонормированная система { ер, РеВ} собственных функций оператора В образует базис в пространстве в. Кроме того, операторы А и В удовлетворяют соотношениям
Яе(Ар,р)н >ю'(р,р)н (Р е Б(А)), Яе(Вч, q)в >ю"(Ч, Ч)в ( Ч е Б(В)) (10)
при некоторых фиксированных ю',ю" е Я = (-да, и хотя бы одному из условий (Ар,р)н е Я (р е В(А) ), (Вч,ч)в е Я (ч е Я(В)). (11)
Тогда имеет место равенство
А + В = А + В . (12)
Доказательство. Рассмотрим сначала частный случай, когда ю' = ю'' = 0 . Неравенства (10) при этом принимают вид
Яе(Ар,р)н > 0 (р е £(А)), Яе(Вч,ч)в > 0 (ч е Я(В)). (13)
Поскольку выполняется одно из условий (11), то имеют место следующие оценки:
II А (/, ер )а ||Н <||[ А + стр I'](/, ер )а\\2н ,
I |2 || (/,ер)о ||Н <|| [А + арI'](/,ер)в Ц2Н , (14)
где / е Б(А + В) (РеВ). На основании формул (7) - (9) и оценок (14) получаем следующие включения:
Б(А + В) с Б(А < I"), Б(А + В) с £>(I < В).
В силу противоположного включения (1) это означает, что _0(А + В) = В(А + В),
следовательно, имеет место равенство (12).
Рассмотрим теперь общий случай: ю', ю'' е й. С помощью равенств
Аю = А-ю'I', Вю = В-ю''I" зададим операторы Аю, Вю на множествах А), -О(В) соответственно. Операторы Аю, Вю удовлетворяют условиям теоремы, причем для них справедливы неравенства (13). По доказанному имеем Аю + Вю = Аю + Вю. Отсюда, учитывая, что А < I" = Аю < I"+ ю' I, I < В = I < Вю + ю'' I, А + В = Аю + Вш + (ю'+ ю'') I (I - тождественный оператор
в пространстве Н < О), приходим к равенству (12). Теорема доказана.
Известно [10, с. 202], что если операторы А и В являются генераторами С0-полугрупп ТА (т) и ТВ (т): А/ = Иш т-1 (/ - ТА (т) /) (/ е А)), то операторы
т^+0
ТА (т) ТВ (т) = ТА (т) < ТВ (т) образуют С0-полугруппу, а тензорная сумма А + В является ее генератором.
Следствие 1. Пусть линейные операторы А и (/ = 1, п ), действующие в соответствующих гильбертовых пространствах Н и О^, являются генераторами соответствующих С0-полугрупп ТА (т) и ТВ (т) с условиями
\\ТА (т)|| < ею'т, \\ТВ1 (т)|| < т, (15)
при некоторых фиксированных ю', юг" е й, причем операторы самосопряжены и имеют чисто точечные спектры. Тогда справедливы равенства
СЕ= А + В1 + В2 +... + Вп = А + В1 + В2 +... + Вп , (16)
и оператор СЕ является генератором С0-полугруппы ТЕ(т) = ТА(т)Тщ (т)...ТВ (т).
Доказательство. Линейные операторы А и В^, будучи генераторами С0-полугрупп, всюду плотно определены в соответствующих пространствах Н и О^ и замкнуты, причем в силу условий (15) для операторов А и В^ выполнены неравенства вида (10) [11, с. 112]. Так как операторы В^ самосопряжены, то для них выполнены условия вида (11). В силу того, что самосопряженные операторы В^ обладают чисто точечными спектрами, ортонормированные системы их собственных функций образуют базисы в соответствующих пространствах . Учитывая также, что тензорная сумма генераторов С0-полугрупп сама является генератором С0-полугруппы, на основании теоремы 1 последовательно получаем равенства
А = А-1 + Bi = + Bi (' = 1, п , А0 = А), так как для операторов А выполняются те же условия теоремы 1, что и для оператора А. Равенство Ап = Ап1 + Вп совпадает с равенством (16). Утверждение доказано.
Замкнутость сумм неограниченных операторов, действующих по разным переменным в пространствах квадратично суммируемых функций нескольких переменных
Пусть О ' и О '' - некоторые измеримые по Лебегу множества в метрических пространствах Ят и Яп. Далее будут рассматриваться комплексные гильбертовы пространства Ь2 (О '), Ь2 (О ''), Ь2 (О ' х О '' ). Между пространствами
Ь2 (О ') ® Ь2 (О'' ) и Ь2 (О ' х О '' ) существует изоморфизм и, такой, что выполняется равенство и(р® ч) = рч для произвольных р е ¿2(О') и ч е Ь2(О") [8, с. 67]. На основании такого изоморфизма в пространство Ь2(О'хО'' ) переносится ряд понятий, связанных с тензорными произведениями гильбертовых пространств. Так, например, векторнозначное скалярное произведение (/, р)^(О) для произвольных /(х', х ' ) е Ь2 (О ' х О '' ) и р(х') е Ь2 (О' ) задается при помощи равенства (/,Р)^(О')(х") = !О,/(X,х")Р(х')йХ . Здесь X = (х{,х2,...,х'т), х" = «,х2',...,х"п) (х', х' е Я).
Кроме того, существует естественный изоморфизм между пространством Ь2 (О ' х О '' ) и Ь2 (О'', Ь2 (О ')) - пространством квадратично суммируемых на О ''
векторнозначных функций /(у) со значениями в Ь2 (О'). Такой изоморфизм переводит /(/, у) е Ь2 (О ' х О '' ) в /(у) е Ь2 (О '', Ь2 (О ')). Поэтому условимся там, где это необходимо, рассматривать элементы Ь2 (О ' х О '' ) как векторнозначные функции / (у).
Пусть А - произвольный линейный оператор в пространстве Ь2 (О '). Определим в пространстве Ь2 (О' х О '' ) оператор А на основе равенств
(А/)(х ") = А/(х") (/ е В(А), х " е О"). (17)
Равенства (17) означают, что элемент / е ¿2(О' х О '' ), представленный некоторой функцией /(х") со значениями в Б(А), принадлежит области определения Б(А), если существует элемент 8 е Ь2 (О' х О'' ), представленный такой функцией 8(х"), что почти всюду по мере Лебега на множестве О'' выполняются поточечные равенства 8(х") = А/(х "). Тогда А/ = 8 .
Определенный таким образом оператор А однозначен, т.е. определен корректно, и линеен.
Теорема 2. Пусть А - замкнутый, вообще говоря, неограниченный оператор со всюду плотной в пространстве Ь2 (О ') областью определения, имеющий хотя бы
одну резольвентную точку. Тогда А = А , где А = и (А ® I") и-1.
Доказательство. Рассмотрим сначала частный случай, когда оператор А ограничен и всюду определен в пространстве L2 (О'). Имеем равенства:
((А f, Ррь2(О'), ^(О') = ((f, A*P)L2(a), q)L2(Q•), где / е L2 (О ' х О'' ), р е L2 (О'), ц е L2 (О '')). Отсюда получаем сначала ((А/)(х "), p)L2(Q 0 = (/(х "), А*p)L2(Q') в силу произвольности ц е L2(О ''), затем (а!/)(х ") = А/(х") в силу произвольности р е L2 (О' ) (х " е О") и, наконец, А = А в силу произвольности / е L2 (О ' х О '' ). Таким образом, если оператор А ограничен и всюду определен в L2 (О '), то А = А .
Пусть теперь А - замкнутый, вообще говоря, неограниченный оператор со всюду плотной в пространстве L2(О ') областью определения, имеющий
хотя бы одну резольвентную точку X. Введем обозначения Ях = (XI' - А)-1 и Ях= и(Ях®I" )и~1. Так как оператор Ях ограничен и всюду определен в пространстве L2 (О'), то по доказанному выполняются соотношения (Я/)(х")=Ях/(х") (/еL2(О'хО" )), используя которые, приходим к равенствам ([XI - А] Як/)(х") = (XI' - А) Як/(х") = /(х") (/ е L2(О ' х О '' )),
(Як [XI - А] /)(х ") = Ях (XI' - А) /(х ") = /(х ") (/ е Б(А)). (18) Так как оператор Я ограничен (|| Ях ||=|| Ях ||), то равенства (18) означают, что Ях является резольвентой оператора А в точке X. С другой стороны, Як = (XI - А)-1, следовательно, А = А . Теорема доказана.
Следствие 2. Пусть линейный оператор А, действующий в пространстве L2(О '), является генератором С0-полугруппы ТА (т). С помощью операторов А, ТА(т) на основании равенств типа (17) в пространстве L2(О 'хО '' ) определены соответствующие операторы А, ТА (т). Тогда операторы ТА (т) образуют С0-
полугруппу, генератором которой является оператор А .
Доказательство. В самом деле, поскольку оператор В = О" является генератором С0-полугруппы ТВ (т) = I", то оператор А + О" = А ® I" является генератором С0-полугруппы ТА (т) ® I". Утверждение доказано.
С учетом следствия 1 получаем следующее утверждение:
Следствие 3. Пусть линейные операторы А и (/ = 1, п ), действующие в соответствующих пространствах L2 (О ') и L2 (Ог"), являются генераторами соответствующих С0-полугрупп ТА (т) и ТВ (т) с условиями
\\Та (т)|| < , \\ТВ_ (т)|| < ^т,
при некоторых фиксированных ю' ,ю'е Я, причем операторы самосопряжены и имеют чисто точечные спектры. С помощью перечисленных операторов на основании равенств типа (17) в пространстве L2(О'хО¡'х...хО "п)
определены соответствующие операторы А, В., ТА (т) и Тв (т). Тогда операторы ТЕ(т) = ТА(т)Тв (т)...Тв (т) образуют С0-полугруппу, а оператор СЕ = А+Вх +...+Вп, определенный на пересечении областей определения операторов А и Д. (I = 1, п ), замкнут и является генератором этой С0-полугруппы.
Замкнутые суммы дифференциальных операторов, действующих по разным переменным в пространствах Ь2
Оператор БЕ, определенный во введении, согласно следствию 3, замкнут. Действительно, В1 = А и Бу = Ву , где оператор А: (А /) (?) = /'(?), определен на абсолютно непрерывных функциях /(/) е Ь2 (1Т), таких, что /'(/) е Ь2 (1Т) и /(0) = 0, а также на эквивалентных им; оператор Ву : (Ву/) (у) = -/"(у), задан на абсолютно непрерывно дифференцируемых функциях /(у) е Ь2 (1У), таких, что /"(у) е Ь2 и /'(0) -Х0/(0) = 0, /'(0) + ХУ/(0) = 0, а также на эквивалентных им. Оператор А? является генератором С0-полугруппы правых сдвигов ТА^ (т):
(тл, (т) /) (?) = /(?-т) при т< и [ТА (т) /) (О = 0 при т> [12, с. 189]. Оператор Ву самосопряжен и имеет неотрицательный чисто точечный спектр [13, с. 224]. Вследствие этого оператор Ву также является генератором сжимающей
С0-полугруппы, допускающей спектральное разложение по собственным функциям оператора ву .
Введем в рассмотрение самосопряженные обыкновенные дифференциальные операторы Вт (т е N = {1,2,...}), имеющие чисто точечные спектры и полуограниченные снизу, которые согласно [14, с. 123], задаются с помощью самосопряженного дифференциального выражения
(-1)т ( /(т) )(т) + (-1)(т-1) ( /(т-1) )(т-1) + ... + Рт/ на функциях / е Ь2 (1У) (и на эквивалентных им), имеющих квазипроизводные /[к] (к = 0,2т):
/[0] = / , /[к] = /(к) (к = 1, т -1), /[т] = Р0 /(т),
/[т+к]=рк /(т-к) - (/[т+к-1] у (к=тт), (19)
абсолютно непрерывные до порядка 2т-1 включительно, и /[2т] е Ь2(1Г). При этом функции /(у) удовлетворяют системе граничных условий
2т _
X [а]к /[к-1] (0) + Р]к /[к-1] (У)] = 0 (] = 1,2т ),
к=1
где
т ___ т_ _____
X [а]1 ак,2т-1+1 - а],2т-1+1 ак1 ] = X [вА Рк,2т-1+1 - Р;,2т-1+1 Рк/ ] ( }, к = 1,2т ). 1 =1 1=1
Коэффициенты pi (у) (/ = 0, m ) имеют на ^ непрерывные производные порядка m -1, функция 1/p0 (у) суммируема на Ц и p0 (у) > 0 .
Операторы ВП1 порождают С0-полугруппы, для которых выполнены условия (15). Одним из представителей операторов Bm при m = 1 является оператор Ву .
Согласно следствию 3, операторы А( + Вт замкнуты. Заметим, что операторы типа Вт, действующие по разным переменным, между собой также образуют замкнутые суммы.
Определим гладкость функций, входящих в области определения операторов (( + Bm )п при п > 2. В соответствии с [15, с. 246] введем понятие абсолютно
непрерывной функции двух переменных:
Определение. Функция f (у, t) называется абсолютно непрерывной функцией на множестве ^ х 1Т , если:
(1) для любого е > 0 существует 5 > 0 , такое, что если Jk (k = 1, п ) - непересекающиеся между собой множества вида J - (у1, у2) х t2) (0 < у1 < у2 < Y , 0 < t1 < t2 < T), сумма площадей которых меньше 5, то выполнено неравенство
^F(Jk^ <е где
F(J) - f (у2,t2)- f (у,t2)- f (у2,+ f (у,t1);
(И) f (0, t) и f (у, 0) - абсолютно непрерывные функции переменных t и у соответственно.
Лемма 2. Пусть функция f (у, t) е Ц (^ х 1Т) при почти всех у е ^ абсолютно непрерывна по t е 1Т , а при почти всех t е 1Т абсолютно непрерывна по у е 1Т . Кроме того, пусть функция - д^ при почти всех t е 1Т абсолютно непрерывна по у е ^, а функция fty - ду/{ абсолютно суммируема на ^ х 1Т . Тогда функция fy — дуу абсолютно непрерывна по t е 1Т при почти всех у е ^ , функции fy и = д^у равны при почти всех у е ^ и любых t е 1Т , а сама функция f при почти всех у е ^ и всех t е 1Т совпадает с некоторой абсолютно непрерывной на ^ х 1Т функцией.
Доказательство. Пусть числа у0 е ^ и t0 е 1Т таковы, что функция f (у0, t) абсолютно непрерывна по t е 1Т , а функция f (у, ^) абсолютно непрерывна по у е 1Т . Так как функция абсолютно непрерывна по у е ^ при почти всех t е 1Т , то
г í
8 (У, ^ - Я у» ^', У ')Л'4у' = IЬ (У^') Л' -1 у (У0, t') А'
[ус^УММ] Ч Ч
при (у, t) е ^ х 1Т . Так как функция у(у0, t) абсолютно непрерывна по t е 1Т , то
у(У, t) = у(У, ^) + у(Уо, t) - у(У0, + 8 (У, t) (20)
при почти всех у е 1Т и любых ' е 1Т . Так как функция /(у, '0) абсолютно непрерывна по у е 1Т и g(у, ') = [у [' /у (у', '')ё'ёу', то
-1 Уо -1 '0
'
/у (у,') = /у (у, '0) + | /у (у, '' ) ё''
'о
при почти всех у е 1Г и любых ' е 1Т . Следовательно, функция /у абсолютно непрерывна по ' е 1Т при почти всех у е 1Г , и равенство /у' = /у выполнено при почти всех у е 1Т и любых ' е 1Т .
Зададим с помощью правой части равенства (20) функцию /(у,'), непрерывную на 1Г х 1Т и совпадающую при почти всех у е 1Г и всех ' е 1Т с функцией /(у,'). Покажем, что функция /(у,') абсолютно непрерывна. Для одномерных функций /(у, '0) и /(у0,') условие абсолютной непрерывности (1) выполняется тождественно, а для неопределенного интеграла g(у,') - в силу абсолютной непрерывности интеграла Лебега, по аналогии с одномерным случаем [16, с. 345]. Функция / (0,') может быть представлена в виде
' 0 /(0,') = /(у,,') + |И('')ё' ' + С (к(') = | /у(у ',')ёу' е 1т), '0 у0
С = /(0,'0)-/(у0,'0)), вследствие чего она абсолютно непрерывна по ' е 1Т . Аналогичным образом абсолютно непрерывна по у е 1Т функция /(у, 0), поэтому условие (И) для функции / (у,') также выполнено. Лемма доказана.
Потребуем дополнительно для операторов Вт , чтобы функция р0 (у) не имела нулей на множестве 1Г . Тогда в силу теоремы 1 [15, с. 234] и равенств (19) производные /(к) функции /(у) е Б (Вт), как и квазипроизводные /[к], абсолютно непрерывны до порядка 2т -1 включительно и /(2т) е Ь2( 1Т). С учетом леммы 2 получаем утверждение:
Теорема 3. Если /(у,') е Б ((( + Вт )) (т е N, п > 2), то почти всюду на
1Г х 1Т существуют производные д\-1д2ут(п)-1 / (1 = 1, п -1), эквивалентные абсолютно непрерывным на 1Г х 1Т функциям.
ЛИТЕРАТУРА
1. Рид М., Саймон Б. Методы современной математической физики. Т. 2. Гармонический анализ. Самосопряженность. М.: Мир, 1978. 400 с.
2. Клемент Ф., Хейманс Х., Ангенент С., Дуйн К., Пахтер Б. Однопараметрические уравнения. Абстрактные дифференциальные уравнения с приложениями. М.: Мир, 1992. 351 с.
3. Иванов Д.Ю. Решение двумерных краевых задач, соответствующих начально-краевым задачам диффузии на прямом цилиндре // Дифференц. уравнения. 2010. Т. 46. № 8. С. 1094-1103.
4. Иванов Д.Ю. Использование векторных потенциалов для решения двумерной задачи Робена, описывающей теплопроводность в прямом цилиндре // Актуальные проблемы гуманитарных и естественных наук. 2016. № 3. С. 8-14.
5. Иванов Д.Ю. Экономичный метод вычисления операторов, разрешающих некоторые задачи теплопроводности в прямых цилиндрах // Актуальные проблемы гуманитарных и естественных наук. 2014. № 9. С. 16-32.
6. Иванов Д.Ю. Вычисление операторов, разрешающих задачи теплопроводности в прямых цилиндрах, с использованием полугрупповой симметрии // Известия Московского государственного технического университета МАМИ. 2014. Т. 4. № 4(22). С. 26-38.
7. Иванов Д.Ю. Устойчивая разрешимость в пространствах дифференцируемых функций некоторых двумерных интегральных уравнений теплопроводности с операторно-полугрупповым ядром // Вестник Томского государственного университета. Математика и механика. 2015. № 6(38). С. 33-45.
8. Рид М., Саймон Б. Методы современной математической физики. Т. 1. Функциональный анализ. М.: Мир, 1977. 360 с.
9. Лянце В.Э., Сторож О.Г. Методы теории неограниченных операторов. Киев: Наукова думка, 1982. 210 с.
10. Рид М., Саймон Б. Методы современной математической физики. Т. 4. Анализ операторов. М.: Мир, 1982. 428 с.
11. Крейн С.Г. Линейные дифференциальные уравнения в банаховом пространстве. М.: Наука, 1967. 464 с.
12. Като Т. Теория возмущений линейных операторов. М.: Мир, 1972. 740 с.
13. БудакБ.М., Самарский А.А., ТихоновА.Н. Сборник задач по математической физике. М.: Наука, 1979. 685 с.
14. Виленкин Н.Я., Горин Е.А., Костюченко А.Г., Красносельский М.А., Крейн С.Г. и др. Функциональный анализ. Серия: Справочная математическая библиотека / под ред. С.Г. Крейна. М.: Наука, 1964. 425 с.
15. СмирновВ.И. Курс высшей математики. Т. 5. М.: ГИФМЛ, 1959. 655 с.
16. Колмогоров А.Н., Фомин С.В. Элементы теории функций и функционального анализа. М.: Наука, 1976. 543 с.
Статья поступила 03.10.2016 г.
Ivanov D.Y. (2017) CLOSEDNESS OF SUMS OF UNBOUNDED OPERATORS ACTING ON DIFFERENT VARIABLES IN THE SPACES OF SQUARE-INTEGRABLE FUNCTIONS OF SEVERAL VARIABLES. Tomsk State University Journal of Mathematics and Mechanics. 45. pp. 35-48
DOI 10.17223/19988621/45/3
Let Q ' and Q" be some Lebesgue measurable sets in the metric spaces Rm and Rn, respectively, and A be a linear operator in the space L2(Q'). We define an operator A in the space L2(Q 'xQ" ) on the basis of equalities
(A f)( X) = Af( x") (f e D( A), x" e Q'), where D(A) is the domain of the operator A . These equations mean that an element f e L2(Q' x Q" ) represented by a function f (x") with values in D(A) belongs to the set D(A) if there exists an element g e L2(Q'xQ") represented by the function g(x") such that the pointwise equalities g (x") = Af (x ") are satisfied almost everywhere in the Lebesgue measure on the set Q" . Then, A f = g. Similarly, using a linear operator B acting in the space L2(Q"), we define an operator B in the space L2(Q' x Q" ). It is proved that the sum of operators A + B defined on the set D (A)n D (B) is closed if the operators A and B are generators of some C0-
semigroups of contractions; here, the operator B is selfadjoint and has a purely point spectrum. For example, if the operator At, (At f )(t) = f ' (t), is defined on absolutely continuous functions
f (t) e L2(It ) ( IT = [0,T ]) such that f(t) e L2(IT ) and f (0) = 0, as well as on equivalent
functions and operator By , (By f )(y) = -f '(y), is defined on absolutely continuously
differentiable functions f (y) e L2( IY ) ( IY = [0,Y ]) such that f'(y) e L2 and
f ' (0) - X0 f (0) = 0, f ' (0) + Xrf (0) = 0 (0 <X0,Xr <œ ), as well as on equivalent functions, the
sum of differential operators A + By is closed. The closure of the operator A + By is used as a
coefficient in operator-differential equations in the formulation of problems of multidimensional non-stationary heat conduction. We have studied smoothness of functions included in the domains
of powers of operators At + By . It is proved that if f (y, t) e D ((At + By ) ) ( n > 2), then,
almost everywhere on the set Ir x IT , there exist derivatives d't-l )-1 f ( I = 1, n -1) equivalent to functions absolutely continuous on Ir x IT .
Keywords: closed linear operator, sum of operators, generator of C0-semigroup, domain of definition of operator.
IVANOVDmitrii Yurievich (Candidate of Physics and Mathematics, Moscow State Academy of Water Transport, Moscow, Russian Federation) E-mail: ivanovdyu@yandex.ru
REFERENCES
1. Reed M., Simon B. (1975) Methods of Modern Mathematical Physics. Vol. 2. Fourier Analysis, Self-adjointness. New York; London: Academic Press.
2. Clément Ph., Heijmans H.J.A.M., Angenent S., Duijn C.J. van and Pagter B. de (1987) One-parameter Semigroups. CWI Monographs 5. Amsterdam; New York: Noth Holland.
3. Ivanov D.Yu. (2010) Solution of two-dimensional boundary-value problems corresponding to initial-boundary value problems of diffusion on a right cylinder. Differential Equations. 8(46). pp. 1104-1113. DOI: 10.1134/S0012266110080045.
4. Ivanov D.Yu. (2016) Ispolzovanie vektornykh potentsialov dlya resheniya dvumernoy zada-chi Robena, opisyivayuschey teploprovodnost' v pryamom tsilindre [Using of vector potentials for solving of the two-dimensional Robin problem describing the heat conductivity in a right cylinder]. Aktual'nye problemy gumanitarnykh i estestvennykh nauk - Actual Problems of Humanitarian and Natural Sciences. 3. pp. 8-14.
5. Ivanov D.Yu. (2014) Ehkonomichnyy metod vychisleniya operatorov, razreshayushchikh ne-kotorye zadachi teploprovodnosti v pryamykh tsilindrakh [An economical method of the calculation of operators resolving some heat conduction problems in straight cylinders]. Aktual'nye problemy gumanitarnykh i estestvennykh nauk - Actual Problems of Humanitarian and Natural Sciences. 9. pp. 16-32.
6. Ivanov D.Yu. (2014) Vychislenie operatorov, razreshayushchikh zadachi teploprovodnosti v pryamykh tsilindrakh, s ispol'zovaniem polugruppovoy simmetrii [Calculation of operators resolving problems of heat conduction in straight cylinders using the semigroup symmetry]. Izvestiya Moskovskogo gosudarstvennogo tekhnicheskogo universiteta MAMI - Proceedings ofMoscow State Technical University MAMI. 4(4). pp. 26-38.
7. Ivanov D.Yu. (2015) Ustoychivaya razreshimost v prostranstvakh differentsiruemykh funktsiy nekotorykh dvumernykh integralnykh uravneniy teploprovodnosti s operatorno-polugruppovym yadrom [Stable solvability in spaces of differentiable functions of some two-dimensional integral equations of heat conduction with an operator-semigroup kernel]. Vestnik Tomskogo gosudarstvennogo universiteta. Matematika i mekhanika - Tomsk State
University Journal of Mathematics and Mechanics. 6(38). pp. 33-45. DOI 10.17223/ 19988621/38/4.
8. Reed M., Simon B. (1972) Methods of Modern Mathematical Physics. Vol. 1. Functional Analysis. New York; London: Academic Press.
9. Lyantse V.E., Storozh O.G. (1983) Metody teorii neogranichennykh operatorov [Methods of the Theory of Unbounded Operators]. Kiev: Naukova Dumka.
10. Reed M., Simon B. (1978) Methods of Modern Mathematical Physics. Vol. 4. Analysis of Operators. New York; London: Academic Press.
11. Kreyn S.G. (1967) Lineynye differencial'nye uravneniya v banahovom prostranstve [Linear Differential Equations in the Banach Space]. Moscow: Nauka.
12. Kato T. (1966) Perturbation theory for linear operators. Berlin; New York: Springer Verlag.
13. Budak B.M., Samarskiy A.A., Tikhonov A.N. (1979) Sbornik zadach po matematicheskoy fizike [Collection of Problems in Mathematical Physics]. Moscow: Nauka.
14. Vilenkin N.Ya., Gorin E.A., Kostyuchenko A.G., Krasnosel'skiy M.A., Kreyn S.G. et al. (1964) Funktsionalnyy analiz [Functional Analysis]. Seriya: Spravochnaya matematicheskaya biblioteka [Series: Reference mathematical library] (ed. Kreyn S.G.). Moscow: Nauka.
15. Smirnov V.I. (1959) Kurs vysshey matematiki [A Course of Higher Mathematics]. Vol. 5. Moscow: St. Publ. Phis. Math. Lit.
16. Kolmogorov A.N., Fomin S.V. (1976) Elementy teorii funktsiy i funktsionalnogo analiza [Elements of the Theory of Functions and Functional Analysis]. Moscow: Nauka.
