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
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 |
* |