Научная статья на тему 'О коэрцитивной разрешимости нелокальных краевых задач для параболических уравнений'

О коэрцитивной разрешимости нелокальных краевых задач для параболических уравнений Текст научной статьи по специальности «Математика»

CC BY
58
12
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
КОЭРЦИТИВНАЯ РАЗРЕШИМОСТЬ / НЕЛОКАЛЬНАЯ КРАЕВАЯ ЗАДАЧА / ПАРАБОЛИЧЕСКОЕ УРАВНЕНИЕ / БАНАХОВО ПРОСТРАНСТВО / АНАЛИТИЧЕСКАЯ ПОЛУГРУППА

Аннотация научной статьи по математике, автор научной работы — Ханалыев А. Р.

В произвольном банаховом пространстве рассматривается нелокальная краевая задача ′ (𝑡)+ 𝐴(𝑡)𝑣(𝑡)= 𝑓(𝑡) (0 ≤ ≤ 1), 𝑣(0) = 𝑣(𝜆)+ (0 < ≤ 1) для дифференциального уравнения с (переменным) линейным сильно позитивным оператором 𝐴(𝑡), имеющим не зависящую от 𝑡, всюду плотную в область определения = 𝐷(𝐴(𝑡)), порождающим аналитическую полугруппу exp{-𝑠𝐴(𝑡)}(𝑠 ≥ 0). Устанавливается коэрцитивная разрешимость нелокальной краевой задачи в банаховом пространстве 𝐶𝛽,𝛾 (𝐸) и доказывается неравенство коэрцитивности при естествен0 ных предположениях относительно оператор-функции 𝐴(𝑡). Прежде неравенство коэрцитивности в таком виде было доказано лишь для случая постоянного оператора 𝐴(𝑡) ≡ 𝐴. С другой стороны, полученная оценка усиливает результаты, известные ранее для переменного оператора.

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

Текст научной работы на тему «О коэрцитивной разрешимости нелокальных краевых задач для параболических уравнений»

УДК 517.95, 517.98

А. Р. Ханалыев

Российский университет дружбы народов

О коэрцитивной разрешимости нелокальных краевых задач для параболических уравнений

В произвольном банаховом пространстве Е рассматривается нелокальная краевая задача

v'(t) + A(t)v(t) = f (t) (0 < t < 1), v(0) = v(X) + ¡j (0 < Л < 1)

для дифференциального уравнения с (переменным) линейным сильно позитивным оператором A(t), имеющим не зависящую от t, всюду плотную в Е область определения D = D(A(t)), порождающим аналитическую полугруппу exp{-sA(t)}(s > 0). Устанавливается коэрцитивная разрешимость нелокальной краевой задачи в банаховом пространстве С0'1 (Е) и доказывается неравенство коэрцитивности при естественных предположениях относительно оператор-функции A(t). Прежде неравенство ко-эрцитивности в таком виде было доказано лишь для случая постоянного оператора A(t) = А. С другой стороны, полученная оценка усиливает результаты, известные ранее для переменного оператора.

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

A. R. Hanalyev

Peoples' Friendship University of Russia

On the coercive solvability of nonlocal boundary value problems for parabolic equations

In the arbitrary Banach space E, the nonlocal boundary value problem

v'(t) + A(t)v(t) = f (t) (0 < t < 1), v(0) = v(X) + ¡j (0 < A < 1)

is considered for a differential equation with a (variable) linear strongly positive operator A(t), whose domain D = D(A(t)) is everywhere dense in E and independent of t, generating the analytical semigroup exp{-sA(t)}(s > 0). We establish the coercive solvability of the nonlocal boundary value problem in the Banach space С0r/(E) and prove the coercivity estimate under some natural assumptions on the operator function A(t). Earlier, the similar estimate was only known for a the constant operator A(t) = A. On the other hand, it enhances the results obtained previously for the case of a variable operator.

Key words: Coercive solvability of nonlocal boundary value problem, parabolic equation, Banach space, analytic semigroup.

1. Введение

Рассмотрим нелокальную краевую задачу

v' (t) + A(t)v(t) = f (t) (0 < t < l),v(0)= v(X)+ ^ (0 < A < 1) (1)

в произвольном банаховом пространстве E. Здесь v(t) и f (t) - искомая и заданная функции, определенные на [0,1] со значениями в Е; v'(t) - производная, понимаемая как предел по норме Е соответствующего конечно-разностного отношения; A(t) - действующий в Е линейный неограниченный оператор, имеющий не зависящую от t, всюду плотную в Е

область определения И; у £ И. К такой задаче сводятся различные краевые задачи для эволюционных уравнений в частных производных (см. [1]). Будем предпологать, что

1) при любых £ £ [0,1] и р с Кер ^ 0 оператор А(1) + р1 имеет ограниченный обратный, причем

[A(t ) + pI]-1 <M (1 + |р|)

Е—УЕ

-1

(согласно [2], оператор А(Ь) принято называть сильно позитивным); 2) для любых Ь,8,т £ [0,1] справедливо неравенство

\\№) - А(8)]А-1(Т)\\е^е < М|* - 5|е,0 < е < 1.

Функцию ь(Ь) назовем решением задачи (1), если выполнены следующие условия:

1) функция у(1 ) непрерывно дифференцируема на отрезке [0,1];

2) элемент гО принадлежит И = И(А(1)) при каждом £ £ [0,1] и А(1)у(£) непрерывна на [0,1];

3) функция ь(Ь) удовлетворяет уравнению и нелокальному краевому условию (1). Задача (1) имеет единственное непрерывно дифференцируемое решение у(Ь) при определенных ограничениях на у, достаточно гладких функций /(Ь), и для её решения справедлива формула

А 4

) = ь(г, 0)(1 - и( х, 0))-1{у + у у(х, з) ¡(з )(1з} + ^ , з) ¡(з )(1в,

0 0

где , з) - фундаментальное решение уравнения (1), называемое также эволюционной оператор-функцией (см. [1,9]). Она определяется из соотношения

, з) = ехр{-(Ь - з) А(г)} + ! ехр{-(Ь - Ь)А(Ь)}[ А(Ь) - А(Ь 1)]ь(Ь 1, з)сМ 1

или

ъ

v(t, s) = exp{-(t - s)A(s)} + У v(t, ti)[A(s) - A(ti)]exp{-(i 1 - s)A(s)}dt 1

и удовлетворяет следующим условиям:

1) оператор v(t, s) сильно непрерывен по t и s (0 < s <t < 1);

2) v(t, s ) = v(t, t)v(t , s ), v(t, t ) = I, 0 <s<t <t< 1;

3) оператор v(t, s) отображает область определения D = D(A(t)) в себя, оператор u(t, s) = A(t)v(t, s)A-1(s) ограничен, сильно непрерывен по t и s (0 < s <t < 1);

4) на области D оператор v(t, s) сильно дифференцируем по t и s, причем

= -A(t)v(t,.), *&!> = v(t, .)A(.).

Определение. Говорят, что задача (1) коэрцитивно разрешима в некотором банаховом пространстве F(Е) = F([0,1],Е) функций f(t) со значениями в Е на [0,1], если для всякой f G F(Е) существует единственное решение задачи (1), причем v' и A(t)v принадлежат тому же пространству F(Е) (см. [3]).

Введем банахово пространство Ср'7 (Е ) = Ср'7 ([0,1],Е)(0 <7 < fi, 0 < fi < 1) полученное замыканием множества всех гладких функций f(t), определенных на отрезке [0,1] со значениями из Е в норме

и fii + sup (l + T)7 » nt + T) - № ЛЬ

С,Р'1 ( Е) = \\j\\c(E) + sup --R-•

С° (Е) ( ) 0<i<i+r<1 ТР

Здесь под С(Е) = С([0,1],^) понимается банахово пространство определенных на [0,1] со значениями в Е непрерывных функций /(¿) с нормой

С(Е) = °тах (Ч\\Е .

Таким образом, при @ = а и 7 = 0 пространство С$'°(Е) = С°'°([0,1],^) (0 < а < 1) совпадает с пространством Са(Е) = Са([0,1],Е) (0 < а < 1), норма в котором имеет вид

\\/(* + г) - /(¿)\е

Са(Е) — \\J \\с(Е) + sup ^

( ) ( ) 0<t<t+T<1 Т"

А при 7 — fi — а пространство С"'"(Е) — С"'"([0,1],Е) (0 < а < 1) совпадает с пространством С" (Е) — С"([0,1], Е)(0 < а < 1) с нормой

+ sup t" \\f(t + г) - f(¿)\е

С (Е) + о< <UP <1 ^ ,

причем нормы этих пространств равномерно по а £ (0,1) эквивалентны.

Обозначим через Е" — Eba^(A(t),E) (0 < а < 1) дробные пространства с нормой

\\u\\Et — supz1-" \\A(t) exp{-zA(t)}u\\E + \\u\\e ,

a z>0

состоящие из всех элементов u £ Е, для которых эта норма конечна.

Из результатов работы [4] следует, что пространство Е" не зависит от t в силу предположения D(A(t)) — D, то есть, что \\u\\Et эквивалентна ||w\\es при любых t,s £ [0,1]. В дальнейшем пространство Е" обозначается просто Е".

Известно, что самых общих требований (A(t) — неограниченный сильно позитивный оператор, порождающий аналитическую полугруппу в некотором банаховом пространстве Е) недостаточно для коэрцитивной разрешимости неоднородной задачи Коши, а также рассматриваемой нелокальной задачи (1) в пространстве непрерывных функций С(Е) (см., например, [9-11]). С этой точки зрения важно выделить классы функций на отрезке со значениями в Е, где при таких общих предположениях относительно A(t) неоднородная нелокальная краевая задача (1) коэрцитивно разрешима. Один из таких классов — описанные выше пространства CQ'1 (Е), был введен А. Ашыралыевым и П. Е. Соболевским [6,9,10]. В работах [6,10] были получены оценки и доказана коэрцитивная разрешимость задачи (1) с постоянным оператором A(t) = А в пространствах Сq'1 (Е) и С?'1 (Е"-[з) — CQ'1 ([0,1\,E"-l3) (0 < 7 < Р < a, 0 < а < 1). Основной р^улкгат настоящей статьи — это теорема 4, где доказывается аналогичная оценка для задачи (1) с переменным оператором в пространстве С^'1 (Е).

Отметим, что ряд оценок для задачи (1) в случае переменного оператора был получен в [11,12]. Однако они были связаны с завышенными предположениями относительно f или Для сравнения удобно привести здесь эти результаты.

Теорема 1. Пусть А(0)^ + f (А) - f (0) £ Eq'1 , f £ СЦ'1 (Е) при некоторых 0 < 7 < fi, 0 < fi < £ < 1. Тогда для единственного решения задачи (1) в CQr/ (Е) справедливо неравенство коэрцитивности

\И\с0"(Е) + И(>\\с0^(Е) <

< м

\А(0)Ц + f (А) - f (0)|||'1 + fia^-fi) \\f \\c0o„(E)

с постоянной М, не зависящей от и /. Здесь Е^'1 - банахово пространство, со-

стоящее из всех элементов ад € Е таких, что конечна норма

0<z< 1

IwlQ'1 —max e-zA(t)w + sup t-l (z + т )1 (e-(z+r)A(t) - e-zA(t))

sup

E 0<z<z+т<1

)W

Е

(с точностью до эквивалентности, эта норма не зависит от £ £ [0,1]).

Теорема 2. Пусть А(0)/л + ¡(X) - ¡(0) £ Еа-1, / £ сЦ'1 (Еа-@) при некоторых 0 <7 < Р < а < £ < 1, 0 < а < 1. Тогда задача (1) коэрцитивно разрешима в С^'1 (Еа-@) и для её единственного решения ) справедливо неравенство

(Е„_,) + 11А(>(Еа-е) + \И\с(е_7) <

М

а \\мо)11+т -! т\Е-, + -ц-а, «.«а» ^)

где М не зависит от а,Р,7,у и ¡.

В настоящей работе доказывается усиленная оценка в предположениях А(0)/л + /(X) - /(0) £ и / £ СЦ'1 (Е). Она опирается на соответствующую

оценку, полученную в [7] для задачи Коши:

ь'(ь) + А(г)ь(г) = /(г) (0 < ь < 1), ь(0) = ь0.

(2)

Теорема 3. Пусть у'0 = /(0) - А(0)зд £ Ер-7, / £ С^'1 (Е) при некоторых 0 < 7 < Р < е < 1, 0 < Р < 1. Тогда задача (2) коэрцитивно разрешима в С^'1 (Е) и для её единственного решения ( ) справедливо неравенство коэрцитивности

И\с°'7(Е) + \\А(.)У\\с°'7(Е) + \И\с(Ео) <

М

-7

N

Ео-

0-7

+

1

Р(1 -Р)

СО'7 (Е)

(3)

с постоянной М, не зависящей от Р,7,у'0 и ¡.

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

В конце введения приведем вспомогательные результаты, которые будем использовать при доказательстве основной теоремы.

Так, известно, что для аналитической полугруппы справедливы оценки (см. [5,9]):

\\ехр{-(1 - в)А(*)}\\^в < Мехр{-5(I - з)}, 1>8, М> 0, 5 > 0,

\А1+а(г) ехр{-(г - в)А(*)}\

<

М

Е^Е - ^ - в)1+а

0 < а < 1,

х1-аА1-а(г) ехр{-,гА(*)}\

< М, > 0, 0 < а < 1,

\\ехр{-(* + г - в)А(1 + г)} - ехр{-(1 + т - 8)А(1 )}\\< Мт£, 0 < е < 1.

1

Далее, в [5,9,11,12] для , в) получены следующие леммы.

Лемма 1. Для любых 0 < в < £ < 1, 0 < а < 1, 0 <е < 1 верны оценки

\\Ф, <М,

\\А1+а(ъ )у(г, в )А-1^ )\\ <ТМГ, II ^ > ^ ' > ^ "е^Е < ^ - 8)а'

,з)\| < М

I Е^Е - ^ - з)^"'

(1,8) - ехр{-(1 - 8)А(1 )}\\Е^Е < М(I - 8У, \А1+а(г)[у(г, 8) - ехр{-(г - в)А(*)}]\\ < М

Е^Е - (1 - 8)1+а-е'

\А1+а(1)[у(1, 8) - ехр{-(1 - 5)А(;)}]А-1(5)\\е^е < М(I - 8)

где М не зависит от Ь, в, а и е.

Лемма 2. Для любых 0 < в < Ь < ¿ + т < 1, 0 < а < 1, 0 < е< 1 справедливы оценки

\\и(* + Г, 5 ) - у(1, 8)\\^в <М<р,

\\А(1 + т)у(г + Г, 5 ) - А(ф(1, 8) <

| | А(Ъ + т)у(Ъ + т, в) А-1(в) - А(ф(г, з)А-1(в) || ^ < М<р, где = т£ + "з)а и М не зависит от I, 8,т,а и е.

Лемма 3. Пусть А(£)А-1(р) = А(£ + А)А-1(р) при некоторых 0 < £ < £ + А, р € [0,1]. Тогда для любых 0 < в < £ < Ь + А, и € И справедливо тождество

г>(£, 8)и = + А, 8 + А)и.

Лемма 4. Пусть выполняются условия леммы 1.3. Тогда оператор I - у(А, 0) имеет ограниченный обратный и справедливы неравенства

| | (I - у(А, 0))-1 11 ^ <М,

| | А(0)(I - у(\, 0))-1А-1(А)|<М.

Опираясь на норму в Еа, из последней леммы нетрудно вывести, что

| | А(0)(I - у(А, 0))-1А-1(А)|| <М, 0 < а < 1. (4)

Наконец, удобно будет представить у° в виде суммы следующим образом:

у° = г/(0) = -А(0>(0) + /(0) =

= - А(0)(/ - у(А, 0))-1{/х + 1 у(А, 8) ¡(8№} + /(0) =

°

л

= А(0)(1 - у(А, 0))-11 у(А, 8)(/(А) - №)&-°

х

- А(0)(1 - у(А, 0))-1 J <А, 8)[А(А) - А(з)]А-1 (А)/(А)^-

°

- А(0)(1 - у(А, 0))-1((I - у(А, 0))А-1(А)/(А) + + /(0) =

л

= А(0)(1 - у(А, 0))-11 у(А, 8)(/(А) - /(8))с18-°

X

- А(0)(1 - У(А, 0))-1 J <А, 8)[А(А) - А(з)]А-1 (А)/(А)^-

°

-А(0)А-1(А)/(А) - А(0)(1 - у(А, 0))-1^ + /(0) =

л

где

= А(0)(1 - у(Х, 0))-11 у(Х, з)(/(Х) - №)<18-

А

- А(0)(1 - у(X, 0))-1!у(X, в)[А(X) - А^А-1 (Х)/(Х)ёв+ о

+А(0)(I - у(X, 0))-1А-1(0)(-А(0)у - /(X) + ¡(0)) + +А(0)(1 - у(X, 0))-1у(X, 0)(А-1(X)/(X) - А-1(0)/(0))+ +А(0)(1 - у(X, 0))-1v(X, 0)А-1(X)(А(X) - А(0))А-1(0)/(X) = Ь + Д + 1з + к,

А

Ь = А(0)(1 - у^, 0))-11 у^, з)^^) - ¡(з))с18

о

А

Д = - А(0)(I - У(\, 0))-11 У(X, 8)[ А(X) - А(в)}А-1 (X)(\)ёв

о

11

Д = А(0)(1 - у(X, 0))-1А-1(0)(-А(0)у - ¡(X) + ¡(0)), I. = А(0)(1 - у(X, 0))-1у(X, 0)(А-1(X)f(X) - А-1(0)/(0)) + +А(0)(1 - у(X, 0))-1у(X, 0) А-1(XXА(X) - А(0))А-1(0)т.

А

о

2. Формулировка и доказательство основной теоремы

Для нелокальной краевой задачи (1) справедлива следующая теорема.

Теорема 4. Пусть А(0)/л + /(X) - /(0) £ Ер-1, / £ СЦ'1 (Е) при некоторых

0 < 7 < Р < £ < 1, 0 < Р < 1. Тогда задача (1) коэрцитивно разрешима в С$ (Е) и для её единственного решения ( ) справедливо неравенство коэрцитивности

\И\с0'7(Е) + \\А(.)у\\с0'7(Е) + \И\с(Ео-7) <

М

— \\А(°)у + /(^ - ¡(Щео-7 + Р1-Р) \\/\\с°'7(Е) где М не зависит от Р,7,у и ¡.

(5)

Доказательство. Воспользуемся неравенством (3), полученным для задачи Коши. Достаточно установить следующую оценку:

\М\ео-7

= у(0) -а(0)у(0)\е,-7 <

М

\\А(0)у + /(X) - ¡(0)\\

Е0-7 + Р(1 -Р) \\*\\с00'7(Е)

(6)

Поэтому нужно получить оценки для Д, Д,1з и 1.. в норме . Вначале оценим Д. Верна оценка

А^у^, з)(/(X) - ¡(з))с1з

<

М

Р(1 -Р)

сО'7(Е) .

(7)

Ео

0- 7

1

А

0

Действительно,

,1-08-7)

Л

А(А) ехр{-^А(А)}| А(А)ь(А, в)(/(А) - №)(з

°

л

<

Е

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

< *1-13+711 | А2( А) ехр{-^А( А)}у(1,8) 11 ^ \\/( А) - /(8)\\в(а <

( А - 8 )8А-7(в

< Мг 1-8+7 ! шт °

1 1

х2, (А-02_

сЦ"(Е) <

< М1Х

Л

1-8+7 [ ( А - Д)8(8

(г + А - 8)2А7 ^Исор'7(е)

Рассмотрим два случая: г < А и г > А. Пусть сначала г < А. Тогда

л л

1-8+7 [ ( А - а1-8 [ (в

(г + А - ¿)2А7 < 2 У (г + А - в)2-8 " 1 - р'

<

1

°

°

Пусть теперь > А, тогда

Л

1-8+7 [ ( А - д )8(в < _1

(1в

А8-7 1

У (г + А - з)2А7 - г8-7А7 ] (А - в)1-8 Рг8-7 р °°

Поэтому для любого г > 0 получим

Л

1-8+7 [ ( А - д)8((в < _1

( ,г + А - ¿)2А7 " р(1 -р)'

Итак, установили, что

1-(8-7)

X

А(А)ехр{-гА(А)} J А(А)у(А, з)(/(А) - /(8))(8 °

<

М

Е

/3(1 -13)

СО '7 (Е)

Отсюда следует (7). Воспользовавшись оценками (4) и (7), получаем

е^ <|| А(0)(1 - ь(А, 0))-1А-1 (А)|

Ео-ч ^Ео-1

А(А)у(А, з)а(А) -}(з))(з

<

М

/3(1 -(3)

с О '7 (Е)

Е

О-7

Теперь оценим 2:

\\^\ео-7 < 11 А(0)(' - ^(А, 0))-1А-1 (А)||еО-7*

А(А)У(А, в)[А(А) - А(в)]А-1(А)/(А)((8

<

М

¡3(1 -р) "■> (Е)

Е

О-7

°

Л

°

X

Л

X

°

А

X

°

Так как здесь имеет место оценка

А^ь^, вНА^) - А^А-1^)/^^

<

М

Е0-7

Р(1 - Р)

сО'7 (Е)

(8)

Действительно,

1-03-1)

А

А(г) ехр{-,гА(\)} ! А^у^, в)^) - А^А^^/^ёв о

<

Е

< *1-13+11 \\А2 (t)exp{-z А( X)}v (X, а )\\^в \\[А( X) - А^А-1^)^ \\ ¡^^Еёв <

А

< Мг1-3+1J ™п

о

1 1

(X - 8)Чз \\П\се7<(Е) <

< М1

1-3+1 [ (х - 5 )Ч8

(z + X - з)2 \\с0'7(Е)'

Пусть сначала г < X, тогда получаем

А А

1-3+1 [ ( X - 5 < „1-3x1 [

1 (z + X - з)2 " Ч

X1 1

<-<

(z + X - в)2-3 - 1 -Р - 1 -Р

Пусть г > X, тогда

А А

г1-3+1 [ (X - 5 У^ < 1 [ ^

Xе Xе 1

у (z + X - в)2- г3-1 ] (X - в)1- ег3-1 6X^1 ~ Р о о

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

Поэтому для любого > 0

л-3+1 [ (x - вуйв < 1

(г^ - в)2 - Р(1 -Р)'

Итак,

у1-(3-1)

А(\)ехр{-гА(\)} А(\)у(\, в)^) - А^А-1^)/^)^?

<

Е

<

М1

Р(1 -Р) \\\с0'7(Е)

Отсюда получаем (8).

Воспользовавшись оценкой (4), оценим Iз в норме Ер^:

\\Ыео-7 < \\А(0)( I - <0))-1А-1(X)\\Е0-7\\-А(0)у - т + т\\ЕЯ-^ <

0- 7

<М \\А(0)1л + /(\) - ¡(0)\\

Ео

0 - 7

А

О

А

О

о

о

о

о

А

о

Наконец, получим оценку для I4. Справедлива оценка

| | А( AM А, 0)((А-1( А)/( А) - А-1(0)/(0)) + А-1(А)(А(А) - А(0))А-1(0)/(А)) | | <

Ii naß—y

<М II/Усß"(Е) . (9)

Действительно,

zi-(/3-7) II А2(X) exp{-zA(A)}v(А, 0)((А-1(А)/(А) - А-1(0)/(0)) +

+А-1(А)(А( А) — А(0))А-1(0)/(А)) Це<

< z1-ß+ 11 А2(А) exp{-zА(А)}ь( А, 0)А-1( А) 11 х

x(II/( А)||е + 11 А(А)А-1(0)11 |f(0)HE + | | [А(А) - А(0)]А-1(0)||ДА)||е) <

111 ,, ,„ Mxz1-ß+

i mz' 1 ' min < "

Итак,

(1 1 ^ M?1-ß+7

< Mz 1-ß+ min |1 ^^ IIfIIcißn(E) < 1г + А IIfIIcißn(E) < М1А-/+ H/Hcß,7(

z, А N^Ncß-^(E) < ^ + А "■'"Cß'^(E) "•'"Cß-^(E)

z1-(ß-i) I А2(А) exp{-zА(А)}^(А, 0)((А-1(А)/(А) - А-1(0)/(0)) + +А-1(А)(А(А) - А(0))А-1 (0)/(А)) Це< М1А-/+ и цс/,7(Е). Отсюда следует (9). В силу (4) и (9) имеем, что

IuiIe^ < 11 А(0)(/-v(\°))-1А-1 (А)|х х 11 А(АМ А, 0)((А-1(А) f(А) - А-1(0)/(0)) + А-1(А)(А(А) - А(0))А-1(0)/(А)) || <

< М IIT IU/3,7

С ß " (Е)

Объединив оценки для Д, /2,1з и /4, получаем (6). Используя оценку (6) в правой части неравенства (3), получим неравенство коэрцитивности (5). Теорема 4 доказана.

3. Следствие

Теорема 5. Пусть А(0)/л + /(А) - /(0) = 0, / € С81 (Е) при некоторых 0 <7 < Р < £ < 1, 0 < Р < 1. Тогда задача (1) коэрцитивно разрешима в С8'7 (Е) и

для её единственного решения у(Ь) справедливо неравенство коэрцитивности l l м

11V 11 СО - (Е) + \\А(>\\сО - (Е) < ШсО" (Е)

с постоянной М, не зависящей от @,7 и

Если в доказанной теореме [3 = а и 7 = 0, тогда получаем [8]:

Теорема 6. Пусть А(0)ц, + /(А) - /(0) € Еа, / € Са(Е) при некоторых 0 < а < е < 1. Тогда задача (1) коэрцитивно разрешима в Са(Е) и для её единственного решения у(Ь) справедливо неравенство

11V'11 С"(Е) + "A(.)V ^»(Е) + | | V'11 С(Еа) <

Г1

< М

где М не зависит от a,ß и f

± IIА(0)д + /(А) - /(0)^ + ^^ IIfIICa(E)

Теорема 7. Пусть А(0)ц + /(X) - /(0) =0, / £ С"(Е) при некоторых 0 < а < е < 1. Тогда задача (1) коэрцитивно разрешима в Са(Е) и справедливо неравенство коэрцитив-ности

М

а(

где М не зависит от а и /.

В пространстве Гёльдера С"(Е) справедливо следующее утверждение. Теорема 8. Пусть ц £ И(А({)), f £ С"(Е) при некоторых 0 < а < е < 1. Тогда задача (1) коэрцитивно разрешима в С" (Е) и справедливо неравенство коэрцитивности

I / и М

\V \\ С<*(Е) + WA(-)V\\са(Е) < - а) \\f\\c*(E)

\\V'\\cS(E) + \\А0WcS(E) <М где М не зависит от а, у, и f.

»т>->11 e+а(т-а п

о

Литература

1. Крейн С.Г. Линейные дифференциальные уравнения в банаховом пространстве. М.: Наука, 1967.

2. Красносельский М.А., Забрейко П.П., Пустыльник Е.И., Соболевский П.Е. Интегральные операторы в пространствах суммируемых функций. М.: Наука, 1966.

3. Крейн С.Г., Хазан М.И. Дифференциальные уравнения в банаховом пространстве // Итоги науки и техн. Сер. Матем. анал. 1983. Т. 21. С. 130-264.

4. Соболевский П.Е. О дробных нормах в банаховом пространстве, порожденных неограниченным оператором // Успехи матем. наук. 1964. Т. 19, вып. 6(120). С. 219-222.

5. Соболевский П.Е. Об уравнениях параболического типа в банаховом пространстве // Труды Моск. матем. общ-ва. 1961. Т. 10. С. 297-350.

6. Ашыралыев А, Ханалыев A. Коэрцитивная разрешимость нелокальной краевой задачи для параболических уравнений в пространствах гладких функций // Известия АН Туркменистана. Сер. Физ.-техн., хим. и геол. наук. Ашхабад, 1996. № 3. С. 58-63.

7. Ханалыев A. Коэрцитивная разрешимость задачи Коши для параболических уравнений с переменным оператором // XXI Золотой век - век науки. Научные статьи победителей научного конкурса среди молодых ученых Туркменистана. Ашхабад, 2004. С. 381-384.

8. Ханалыев А.Р. Об одной оценке коэрцитивности нелокальной краевой задачи для абстрактного параболического уравнения с переменным оператором // Современные методы теории краевых задач. Материалы Международной конференции: Воронежская весенная математическая школа «Понтрягинские чтения - XXVII» (3-9 мая 2016 г.). Воронеж: Издательский дом ВГУ, 2016. С. 275-277.

9. Ashyralyev A. and Sobolevskii P.E. New Difference Schemes for Partial Differential Equations. Birkhauser Verlag: Basel, Boston, Berlin, 2004.

10. Ashyralyev A., Hanalyev A. and Sobolevskii P.E. Coercive solvability of the nonlocal boundary-value problem for parabolic differential equations // Abstract and Applied Analysis. 2001. V. 6, N 1. P. 53-61.

11. Ashyralyev A., Hanalyev A. Coercive solvability of parabolic differential equations with dependent operators // TWMS Journal of Applied and Engineering Mathematics. 2012. V. 2, N 1. P. 75-93.

12. Ashyralyev A., Hanalyev A. Well-Posedness of Nonlocal Parabolic Differential Problems with Dependent Operators // The Scientific World Journal. V. 2014, N ID 519814. Jan. 2014. P. 1-11.

References

1. Krein S.G. Linear differential equations in Banach space. Moscow. Nauka, 1967. (in Russian).

2. Krasnosel'skii M.A., Zabreiko P.P., Pustyl'nik E.I., Sobolevskii P.E. Integral operators in spaces of summable functions. M.: Nauka, 1966. (in Russian).

3. Krein S.G., Khazan M.I. Differential equations in Banach space. Itogi nauki i tekhn. Ser. Matem. Anal. 1983. V. 21. P. 130-264. (in Russian).

4. Sobolevskii P.E. On fractional norms in Banach space generated by the unbounded operator. Uspekhi Matem. Nauk. 1964. V. 19. N 6(120). P. 219-222. (in Russian).

5. Sobolevskii P.E. Equations of parabolic type in a Banach space. Trudy Mosk. Mat. Obs. 1961. V. 10. P. 297-350. (in Russian).

6. Ashyralyev A., Hanalyev A. Coercive solvability of the nonlocal boundary value problem for parabolic equations in spaces smooth functions. Proceedings of the Academy of Sciences of Turkmenistan, Ser. Phys.-Techn., Chem. and Geol. Sciences. Ashgabat. 1996. N 3. P. 58-63.

7. Hanalyev A. Coercive solvability of the Cauchy problem for parabolic equations with dependent operator. Gold XXI century - the century of science. Scientific articles of the winners of the scientific competition among young scientists of Turkmenistan. Ashgabat, 2004. P. 381-384.

8. Hanalyev A.R. On one of the estimate coercivity nonlocal boundary value problem for the abstract parabolic equation with dependent operator. Modern methods of theory of boundary value problems. Proceedings of the International conference: Voronezh spring mathematical school «Pontryagin readings XXI» (May 3-9, 2016). Voronezh: Publishing house of VSU, 2016. P. 275-277. (in Russian).

9. Ashyralyev A. and Sobolevskii P.E. New Difference Schemes for Partial Differential Equations. Birkhauser Verlag: Basel, Boston, Berlin, 2004.

10. Ashyralyev A, Hanalyev A. and Sobolevskii P.E. Coercive solvability of the nonlocal boundary-value problem for parabolic differential equations. Abstract and Applied Analysis. 2001. V. 6, N 1. P. 53-61.

11. Ashyralyev A, Hanalyev A. Coercive solvability of parabolic differential equations with dependent operators. TWMS Journal of Applied and Engineering Mathematics. 2012. V. 2, N 1. P. 75-93.

12. Ashyralyev A., Hanalyev A. Well-Posedness of Nonlocal Parabolic Differential Problems with Dependent Operators. The Scientific World Journal. V. 2014, N ID 519814. Jan. 2014. P. 1-11.

Поступила в редакцию 06.07.2016

i Надоели баннеры? Вы всегда можете отключить рекламу.