Материал: Функциональный анализ

Внимание! Если размещение файла нарушает Ваши авторские права, то обязательно сообщите нам

276 ГЛ. V. л и н е й н ы е д и ф ф е р е н ц и а л ь н ы е у р а в н е н и я

решение задачи Коши. Например, если резольвента оператора А определена при R e X ^ a и ее норма удовлетворяет неравенству

\\R(V\\<M(\ + | Я | )*

при некотором k ^ —1, то последняя формула определяет реше­ ние задачи Коши при любом х0е D (Л^+3) ([k]— наибольшее це­ лое число, не превосходящее k).

Для уравнения с комплексным параметром £

совокупность К а всех £, при которых задача Коши корректна, называется множеством корректности задачи Коши для опера­

тора

А.

Это множество

состоит из лучей, исходящих из точки

£ =

0.

Каждому £ К а

отвечает сильно непрерывная полу­

группа Ut(t), дающая решения задачи Коши. Если обозначить

()(£) = Ut( 1), то оператор-функция (/(£)

определена на К а ,

аналитична во всех внутренних точках Ка

и обладает полугруп-

повым свойством: если £ь £2 и £1 - { - Ц ^ К а,

то

(/(£I)(/(£2) =

= t/(£i + £2). Если оператор

А неограничен

и

имеет хотя бы

одну регулярную точку, то его

множество

корректности лежит

внекоторой полуплоскости.

Ли т е р а т у р а : [36], [38].

2.Равномерно корректная задача Коши. Корректно постав­ ленная задача Коши называется равномерно корректной, если для ее решений из хп( 0 ) 0 следует, что л;п(^)->0 равномерно по t на каждом промежутке [0, Т].

Полугруппа U(t), отвечающая равномерно корректной задаче Коши, обладает тем свойством, что U(t)xo—>Xo при любом

Хо^Е, т. е. удовлетворяет С0-условию (см. гл. III, § 3, п. 5). Обратно, если U(t) — полугруппа операторов с С0-условием,

то для уравнения

§- U ’ Q ) x

задача Коши равномерно корректна.

Если для уравнения х' = Ах задача Коши равномерно кор­ ректна, то замыкание оператора А совпадает с производящим оператором U'(0) полугруппы U(t) с С0-условием.

Необходимыми и достаточными условиями равномерной кор­ ректности задачи Коши для уравнения х' = Ах с замкнутым опе­ ратором А являются неравенства

Д/?Г(Л)Ц<-^е^ -^ (ReА > со) ( т = 1 , 2, ... ),

§ 2. УРАВНЕНИЯ С НЕОГРАНИЧЕННЫМ ОПЕРАТОРОМ

277

где М не зависит от т. Достаточным условием является нера­ венство

II #я(Л) IK y z rsr

(*><»)•

 

Имеются примеры, показывающие недостаточность условия

l l ^ ( ^ ) I

K W - c o

) - 1

(Я > со).

 

В некоторых случаях из существования и единственности ре­

шений задачи Коши следует ее корректность. Если

замкнутый

оператор А имеет регулярные точки и для

каждого

х0е О( Л)

существует единственное

решение

задачи

Коши,

непрерывно

дифференцируемое на [О, Г], то задача Коши равномерно кор­ ректна. Более того, если при том же условии на оператор А при

каждом x0^ D ( A n) (п фиксировано)

существует единственное

п раз непрерывно дифференцируемое

на [О, Т] решение задачи

Коши, то задача Коши равномерно корректна.

Аналогично тому, как делалось в предыдущем пункте, можно

ввести множество

Ка

равномерной корректности, состоящее из

тех комплексных

£, при

которых задача Коши для уравнения

х' = £Ах

равномерно

корректна.

Множество

Ка

представляет

собой

замкнутый

или

открытый

сектор

с

углом

раствора

ф: 0 ^

ф sg: я, либо прямую.

 

корректна

для

и £2

Если

задача

Коши

равномерно

с arg£i =

(pi и

arg £2 =

Ф2 1 ¥=Ф2), то ее решения допускают

аналитическое

продолжение в сектор

ф1 <

arg £ <

ф2. Соответ­

ствующая полугруппа £/(£) будет аналитической внутри этого сектора, и справедлива оценка

l|t/(OII<Afe«ltl.

Следует отметить, что для того чтобы полугруппа [/(£) об­ ладала перечисленными свойствами в секторе ф1 < а ^ £ < ф 2, необходимо, чтобы задача Коши для уравнения х' = £Ах была равномерно корректной на лучах а ^ £ = ф! и arg £ = ф2.

Одним из простейших примеров равномерно корректной за­ дачи Коши является задача Коши для уравнения теплопровод­ ности:

17"“ I F ’

у(0, х) = ср(х) (— о о < * < о о ,

0 < / < о о ) .

Пространством Е здесь служит пространство

См (— оо, оо),

состоящее из всех непрерывных ограниченных функций на оси

Ох, а оператором А является

оператор второй производной по

х, определенный на плотном

в См (— оо, оо) множестве D(A),

состоящем из всех дважды непрерывно дифференцируемых функций v(x), для которых O / G См (— оо, оо).

278

ГЛ. V. ЛИНЕЙНЫЕ ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ

 

 

Задача Коши равномерно корректна, т. е. при любой функ­

ции ф е О ( Л )

существует

единственное

решение

v{t,x)

урав­

нения

теплопроводности,

обладающее

тем свойством,

что

Iim v(t, х) = ф(л;) равномерно по х. При этом,

если

фп(*) ^

t-> +о

равномерно сходятся

к ф(х)е£)(Л),

то

решения

^ D ( A )

vn(t, х)-> v (t, х)

равномерно по х

и t на

всяком конечном

про­

межутке [0,71 изменения t.

Соответствующая полугруппа U(t) ограниченных операторов задается интегральной формулой Пуассона

оо

исостоит из сжимающих операторов. Другие примеры будут приведены в § 3.

Ли т е р а т у р а : [27], [36], [58].

3.Ослабленная задача Коши. Для многих приложений при­ ходится расширять понятие решения задачи Коши.

Ослабленным решением уравнения х' = Ах на отрезке [0, Т]

называется функция x(t)t непрерывная на [0, Г], сильно непре­

рывно дифференцируемая и удовлетворяющая уравнению на (0, Г]. Как видно из определения, здесь отказываются от того, чтобы уравнение удовлетворялось при t = 0.

Под ослабленной задачей Коши на [0, Т] понимают задачу о нахождении ослабленного решения, удовлетворяющего началь­ ному условию х(0) = Хо (элемент х0 может не принадлежать области определения оператора А).

Если отвлечься от вопроса о существовании решения за­ дачи Коши, то можно указать достаточно общие условия его единственности. Для единственности решения ослабленной зада­ чи Коши достаточным является условие

А,-> ОО

(написанный предел всегда неотрицателен). При этом решение единственно на [0, Г —h] и может разветвляться при t > Т h. Если h = 0, то решение ослабленной задачи Коши на всей по­ луоси (0, оо) единственно. С другой стороны, для всякой функ­

ции р(Я) > 0, удовлетворяющей условию 1п

-> оо

(X-* оо),

существует дифференциальное уравнение х' = Ах с операто­ ром,Л, для которого ||/?ь(Л) || < р(Я), имеющее нетривиальное решение с начальным условием х(0) = 0.

Если оператор А замкнут и имеет регулярную точку Ко, то между обычным и ослабленным решениями уравнения х' = Ах

§ 2. УРАВНЕНИЯ С НЕОГРАНИЧЕННЫМ ОПЕРАТОРОМ

279

имеется простая

связь. Если x ( t ) — ослабленное решение,

то

Х\ (t) = RXQ(Л) х (t)

будет обычным решением, имеющим непре­

рывную первую производную на [О, Т] и непрерывную вторую

производную при ^ > 0. Обратно, всякое

решение Xi(t),

непре­

рывно дифференцируемое на [0, Т] и дважды

непрерывно диф­

ференцируемое на (0, Г], по формуле x(t)

=

— ta/)*i(0 по­

рождает ослабленное решение на [0, Т].

 

 

задача

Пусть М — линейное множество из Е. Ослабленная

Коши корректна или равномерно корректна для множества М

на [0, Г], если она однозначно на [0, Т] разрешима для началь­ ных данных из М и решение непрерывно зависит от начальных данных при каждом t е [0, Т] или равномерно по f e[ 0, Т]. Сле­ дует отметить, что здесь существенным является указание от­ резка [0, Г], на котором задача Коши корректна или равномерно корректна, так как она может иметь решения, которые непродолжимы или неоднозначно продолжимы за этот отрезок.

Если

ослабленная

задача Коши

корректна на

множестве

М ZD D(A)

при всех t е

(0, <х>), то коротко говорят, что она кор­

ректна на

D(A). Решения ослабленной задачи Коши, коррект­

ной на

D(A)t задаются формулой

x(t)=U(t)x0,

где U(t)

сильно непрерывная полугруппа ограниченных операторов. При x0<=D(A) справедливо соотношение U(t)x0-+x0. Если при этом задача Коши не является равномерно корректной, то нормы опе­ раторов U(t) неограниченно растут при t ‘+0.-

Если оператор А имеет резольвенту /?х(Л) при Re Я ^ у, для нормы которой справедлива оценка

| | Я Х ( Л ) | | < Л 1 ( 1 + | А , | ) ( R e A , > v ) .

то всякое ослабленное решение уравнения х' = Ах представимо в виде обратного преобразования Лапласа

Y + z ’ oo

ХМ = ~ ШI ^ R ( l ) x ( 0 ) d X .

y — ioo

Если выполнена более сильная оценка

| | ^ ( Л ) | | < М ( 1 + | 1 ш Я | П Р ( 0 < р < 1, ReA ^v).

то ослабленная задача Коши корректна на D (Л). Все ее реше­

ния бесконечно дифференцируемы при t >

0 и для их производ­

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

 

 

dkx

( 1 + 1 - P .)|U (0)||

(k — 0, 1, ...)•

dtk

 

 

Если эта оценка на резольвенту выполнена при р = 1

JeUR х (0) dt,

280 ГЛ. V. ЛИНЕЙНЫЕ ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ

то все обобщенные решения уравнения х' = Ах будут анали­

тическими в секторе, состоящем

из точек

t -f- is, для которых

|s / i |< 1/М, и в любом секторе

 

 

(0 < # < 1) спра­

ведлива оценка

 

 

 

\x{t + Ls)\\<iM/e'tt h \le

+

м

Их (0)Ц

 

t

 

 

 

я

 

При доказательстве перечисленных утверждений существенно используется тот факт, что из той или иной оценки для резоль­ венты вдоль прямой Re Я = у следует существование резоль­ венты и ее оценка вдоль некоторой бесконечной кривой Г, ле­ жащей в полуплоскости Re Я < у. Это позволяет записать иско­ мое решение в виде

x(t) = —

Г

где интеграл обладает значительно «лучшими свойствами», чем

исходный интеграл

по прямой

ReX = y- Оказывается,

что

свойства гладкости функции x(t)

определяются в основном

ха­

рактером кривой Г.

 

 

 

Если резольвента, например, ограничена на контуре Г с урав­

нением о = —ф(|т|)

(о -|-(т е Г)

и функция ф растет на бес­

конечности как логарифмическая, то у функции x(t) будет уве­

личиваться гладкость с возрастанием t\ если функция

ф растет

как* степенная с показателем, меньшим единицы, то

функция

x(t) бесконечно дифференцируема при t > 0; если

растет

как

I XI

классу;

на­

I n jr |' ’ т0 х ^ принадлежит квазианалитическому

конец, если растет как линейная, то x(t) аналитична. Во всех случаях x(t) удовлетворяет уравнению х' = Ах.

Ли т е р а т у р а : [36], [58].

4.Абстрактное параболическое уравнение. Уравнение х' =Ах

называется абстрактным параболическим, если для него ослаб­ ленная задача Коши однозначно разрешима при любом х0е Е.

Если для абстрактного параболического уравнения оператор

Азамкнут и имеет регулярные точки, то для этого уравнения задача Коши равномерно корректна. Обратно, если задача Коши равномерно корректна и все ее решения дважды непрерывно дифференцируемы при t > 0, то уравнение является абстракт­ ным параболическим. Для того чтобы равномерно корректная задача Коши обладала этим свойством, достаточно, чтобы

Пт 1п| т | ||R (а + it) || =

0 при некотором а.

|T|->oo

*

Источник: https://studfile.net/preview/19992813/

Смотрите также: