|
|
§ 3. КОРРЕКТНЫЕ ЗАДАЧИ |
291 |
|
3) |
подпространство N(x) |
является максимальным |
подпро |
|
странством, на котором форма |
(А^и, и)^. 0. |
|
||
При |
этих |
предположениях оператор Л0, заданный диффе |
||
ренциальным |
выражением А (х, D) на непрерывных в |
функ |
||
циях, удовлетворяющих краевым условиям и имеющих ин тегрируемые с квадратом первые производные, допускает замыкание до максимального диссипативного оператора. Задача о нахождении решения системы
dv_
д х
i=1 *
удовлетворяющего краевым условиям и начальному условию и(0,х) = (р(х)еД (Л), равномерно корректна в L2(S). Соот ветствующая полугруппа будет сжимающей.
Ли т е р а т у р а : [36], [174], [190].
4.Уравнение Шредингера. В трехмерном пространстве /?з рассматривается уравнение
1 I NT“ ~ |
+ |
v W Ф» |
где Д — оператор Лапласа. |
на |
функцию v(x) оператор Я, |
При определенных условиях |
получаемый замыканием* оператора, определенного дифферен циальным выражением —Д + а(х) на финитных функциях, будет самосопряженным оператором в гильбертовом простран стве L2(RZ)- Прямая и обратная задачи Коши равномерно кор ректны на всей оси. Уравнение порождает группу унитарных операторов U(t) = e~iHt (см. гл. IX, § 1).
Ли т е р а т у р а : [36], [173].
5.Уравнение с запаздывающим аргументом. Здесь будет рассмотрен простейший пример такого уравнения
У' (f) — ay(t — 1) (0 < ^ < o o ).
Для нахождения решения этого уравнения при всех t > О необходимо задать функцию у на отрезке [—1,0]. После этого решение находится последовательным интегрированием на от резках [п, п + 1].
Пусть функция x0(s) = y(s) непрерывна, т. е. х0е С ( —1,0). Вводятся функция x(t,s) = y(t -f- s), рассматриваемая при каждом t как элемент пространства С(—1, 0), и полугруппа опе раторов U(t)x0(s) — x(t, s) = y(t + s).
Полугруппа U(t) сильно непрерывна и удовлетворяет Со- условию. Производящим оператором ее является оператор дифференцирования по s, заданный на всех непрерывно
292 |
ГЛ. V. ЛИНЕЙНЫЕ ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ |
дифференцируемых на [—1, 0] функциях x(s), удовлетворяющих краевому условию х'(0) = ах(—1). Функция удовлетво ряет уравнению
д х _ _ |
д х |
dt |
ds 9 |
поэтому исходную задачу можно трактовать как задачу о на хождении решения этого гиперболического уравнения, удовле творяющего на прямых s = — 1 и s == 0 написанному выше нелокальному краевому условию. Эта задача равномерно кор
ректна в С(—1,0). |
полугруппы |
U(t) увеличивается |
Интересно, что гладкость |
||
с возрастанием t\ на отрезке |
п < t ^ п + |
1 решения U(t)x0 |
имеют п + 1 производную. |
|
|
§4. Уравнение с переменным оператором
1.Равномерно корректная задача Коши. Эволюционный опе ратор. При рассмотрении дифференциального уравнения
^ |
= A(t)x |
( 0 < /< Г ) |
предполагается, что |
при каждом |
t оператор A(t) линеен, за |
мкнут и имеет плотную в Е область определения. Сначала де лается упрощающее предположение, что эта область определе
ния |
одинакова |
для |
всех |
операторов |
A(t) |
( O ^ t ^ T ) : |
||
D(A(t)) = D(A). |
При |
этом |
предположении на |
[0, Т] |
опреде |
|||
лена функция A(t)x0 при |
любом x0^ D ( A ) |
и можно |
говорить |
|||||
о той |
или иной |
степени |
ее |
гладкости. Если |
при x0^ D ( A ) |
|||
функции A(t)Xo имеют определенную гладкость, то говорят, что оператор A (t) имеет такую же гладкость на D(A).
Предполагается, что оператор |
A(t) непрерывен на D(A), |
имеет при каждом t ограниченный обратный и |
|
IIЛ (0) Л-1(«)1<Л1 |
(0 < - s < r ) . |
Из этих условий вытекает, что оператор-функция A (t)* A~l (s)
ограничена и |
сильно непрерывна по t |
и s |
в |
квадрате 0 ^ s, |
|
t < |
7\ |
|
s |
^ |
Г заключается |
в |
Задача Коши в треугольнике Тд: 0 ^ |
||||
нахождении |
при каждом фиксированном |
s |
[0, Т] решения |
||
x(tt s) уравнения х' = A (t)x на отрезке [s, Г], удовлетворяющего заданному начальному условию
x(s, s) = xQе D(A).
Задача Коши называется равномерно корректной, если:
1) |
при любом XQ^ D (A ) существует единственное ее ре |
шение; |
|
§ 4. УРАВНЕНИЕ С ПЕРЕМЕННЫМ ОПЕРАТОРОМ |
293 |
|
2) функция |
и ее производная л;'^, s) непрерывны |
по |
совокупности переменных в треугольнике Гд; 3) решение непрерывно зависит от начальных данных, т. е.
из сходимости XQ Tl^ D ( A ) к нулю следует равномерная в Гд сходимость к нулю соответствующих решений xn(tts).
Если задача Коши равномерно корректна, то можно ввести
линейный |
оператор |
U(t,s) |
( O ^ s ^ / ^ Г ) , ставящий в соот |
|
ветствие |
каждому |
элементу |
x0^ D ( A ) |
значение решения за |
дачи Коши на отрезке [s,T] |
в точке |
т. е. U(t, s)Ar0 = x(t, s). |
||
Оператор |
U(t, s) определен на D(A), но допускает расширение |
|||
по непрерывности на все пространство Е. Полученный ограни ченный оператор U(t, s) называется эволюционным.
Эволюционный оператор равномерно корректной задачи Коши обладает свойствами:
1.Оператор U(tfs) равномерно ограничен и сильно непре рывен в треугольнике Гд.
2.Справедливо тождество4
U ( U |
s) = |
U (t, |
т) U (т, |
5), |
U(tf 0 = 1 |
( 0 < s < T < * < r ) . |
||
3. |
Оператор |
U(t,s) |
отображает |
область D(A) |
в себя, опе |
|||
ратор |
|
V{t, |
s) = A(t)U(t, |
s)A~l (s) |
|
|||
|
|
|
|
|||||
ограничен и сильно непрерывен в Гд. |
сильно |
дифференци |
||||||
4. |
На |
области D(A) |
оператор U(t,s) |
|||||
руем по t |
и по s, причем для XQ^ D (A ) |
|
|
|||||
|
|
|
|
s)xо, |
|
|
5) Л ( ^ 0. |
|
Лит е р а т у р а : [36].
2. Устойчивая аппроксимация эволюционного оператора. Од ним из методов исследования уравнения х '(t) = A(t)x яв ляется переход от него к некоторой последовательности урав нений
W = A^ X
с ограниченными операторами An(t), в определенном смысле приближающейся к исходному уравнению.
Пусть операторы An(t) на D(A) равномерно по / е [0, Г] сильно сходятся к оператору A(t), удовлетворяющему усло виям предыдущего пункта. Пусть Un(t,s) —эволюционные опе
раторы, отвечающие ограниченным операторам |
An(t). Если |
|
|| Un(t, s)||^A I |
(М не зависит от п, |
t и s), |
то говорят, что оператор A(t) устойчиво аппроксимируется опе раторами An{t).
294 |
ГЛ. V. ЛИНЕЙНЫЕ ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ |
|
|
|||||||
Если |
для |
уравнения |
x' = |
A(t)x |
задача |
Коши |
равномерно |
|||
корректна, и |
она |
устойчиво |
аппроксимируется |
операторами |
||||||
A n(t), то |
эволюционные |
операторы |
Un(ty s) |
равномерно |
по |
t |
||||
и s сильно сходятся к эволюционному оператору U(t,s). |
п. |
1 |
||||||||
Пусть |
оператор |
A(t) |
удовлетворяет предположениям |
|||||||
и, кроме |
того, |
непрерывно дифференцируем |
на D(A) и устой |
|||||||
чиво аппроксимируется операторами An(t), которые при каж
дом t коммутируют с A(t) |
на Ь(Л). |
Если эволюционные опе |
|
раторы Un(t,s) равномерно |
по t и |
s сильно сходятся |
при |
п —►оо к оператору t/(/,s), то задача |
Коши для уравнения |
х '= |
|
= A(t)x равномерно корректна, и U((,s) .является отвечающим ей эволюционным оператором.
Имеет место полезное утверждение о повышении гладкости решения. Если, кроме предыдущих условий, выполнено еще
одно из двух условий: оператор |
A (t) A'(t) А~2(t) |
определен, |
||
ограничен и |
сильно непрерывен |
при t е [О, Г], или |
оператор |
|
A{t) |
дважды |
непрерывно дифференцируем на D(A)y то при |
||
х0^ |
D (A2(s)) |
решение задачи Коши дважды непрерывно диф |
||
ференцируемо по t. |
|
|
||
Одним из методов доказательства равномерной корректно сти задачи Коши является построение устойчивой аппроксима
ции оператора |
A(t) с описанными |
выше |
свойствами. На |
этом |
пути получено |
важное утверждение: если |
оператор A(t) |
удов |
|
летворяет условию |
|
|
|
|
|
II/м л (*))И < 7 ^ - |
при |
Л > 0 |
|
и непрерывно дифференцируем на D(A)y то задача Коши для уравнения х' = А (t)x равномерно корректна.
Ли т е р а т у р а : [36].
3.Ослабленная задача Коши, корректная на D ( A ) . Ослаб
ленным |
решением уравнения х' = A(t)x на отрезке |
[s, Т] |
(0 ^ s < |
Т) называется функция x(t)> непрерывная на |
[s, Т], |
непрерывно дифференцируемая и удовлетворяющая уравнению
на |
(s, Т]. |
|
|
|
|
Коши в |
треугольнике |
Гд: 0 ^ |
|||
^ |
Под ослабленной задачей |
||||||||||
5 |
t ^ |
Т |
понимается |
задача |
о^ нахождении |
при |
каждом |
||||
фиксированном s е [0, Т] |
ослабленного |
решения x(t,s) |
уравне |
||||||||
ния |
x' = |
A(t)x, |
удовлетворяющегр |
заданному |
начальному |
||||||
условию х (s, s) = |
х0. |
|
|
|
|
|
|
||||
|
Ослабленная задача Коши называется корректной на D(A)y |
||||||||||
если: |
1) при любом x0^ D ( A ) |
существует единственное ее ре |
|||||||||
шение x(t, s); |
2) |
функция x(tt s) |
непрерывна по |
совокупности |
|||||||
переменных t, |
s |
в треугольнике ТА; 3) |
производная x'(t, s) не |
||||||||
прерывна по совокупности переменных ty s в полуоткрытом треугольнике 4) решение непрерывно зависит
|
§ 4. УРАВНЕНИЕ С ПЕРЕМЕННЫМ ОПЕРАТОРОМ |
295 |
|
от начальных данных в том |
смысле, что из сходимости х0, п ^ |
||
еО (Л ) |
к нулю следует сходимость к нулю соответствующих |
||
решений |
xn(^, s) равномерно |
в каждой области t — s^z б > |
0. |
Для |
ослабленной задачи |
Коши, корректной на D(A), также |
|
вводится ограниченный эволюционный оператор такой, что при
X Q ^ D ( A ) |
функция |
x \t,s ) = |
U(t,s)x0 |
является |
ослабленным |
|||||||||
решением задачи Коши. В каждой |
области t — s ^ Sj> 0 опе |
|||||||||||||
ратор |
U(t, s) |
равномерно |
ограничен |
и |
сильно |
непрерывен. |
||||||||
Справедливо тождество |
|
|
|
|
|
|
|
|
|
|||||
|
U(t, |
s)= U (t, |
т) U (т, |
s) |
( 0 < s < T < * < r ) . |
|
||||||||
Оператор |
U(t,s) |
отображает |
D(A) |
в себя |
и непрерывно |
диф |
||||||||
ференцируем на D(A) |
при t > |
s. При XQ ^ D ( A ) |
и |
t > s |
функ |
|||||||||
ция U(t, s)x0 удовлетворяет |
уравнению |
|
= |
A (t) Ux0 |
и на |
|||||||||
чальному условию lim U(t, s)x0 = х0. |
|
|
|
|
|
|
||||||||
|
|
|
|
t -> s |
|
|
сильно непрерывен |
no t и s при |
||||||
Оператор A (t) U(t, s)A"1(s) |
||||||||||||||
t > s. |
|
|
|
|
|
называется абстрактным |
параболиче |
|||||||
Уравнение x' = A(t)x |
||||||||||||||
ским, |
если |
для |
всякого |
х0^ Е |
существует |
единственное |
реше |
|||||||
ние ослабленной задачи Коши, обладающее свойствами 2)—4), перечисленными в определении ослабленной задачи Коши, кор ректной на D (А).
Здесь будет описан метод доказательства существования решений ослабленной задачи Коши, основанный на так назы ваемом «замораживании» коэффициента. Предполагается, что при каждом t0е [0, Т] задача Коши для уравнения
Щ- = А Ы х
с «замороженным» коэффициентом A(t0) в определенном смыс ле корректна. Пусть ей отвечает полугрупповой оператор
UA{U)(t)- |
Записывая |
исходное уравнение в виде х' — A (t0)х + |
— |
A(to))x и |
рассматривая последний член как извест |
ный, приходят к интегральному уравнению, которому должен удовлетворять искомый эволюционный оператор
|
|
lIA(ta){t — s) -f |
J |
t |
|
|
U (t, |
s) = |
UA(t„){t—x)[A(x) — A(t0)]U (x, |
s)dx. |
|||
|
|
|
|
S |
|
|
Затем полагают t0 = |
t и получают уравнение |
|
||||
|
|
|
|
|
t |
|
U (t, |
s) = |
u A (/) (/ - |
s) + |
| |
UA w (t — т) [A (T) — A (/)] U (T , |
S ) dx. |