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

MS С 35К05

О КОРРЕКТНОЙ РАЗРЕШИМОСТИ НЕКОТОРЫХ НЕСТАЦИОНАРНЫХ ЗАДАЧ БЕЗ НАЧАЛЬНЫХ УСЛОВИЙ

A.B. Костин, М.В. Муковнин, М.Х. Гим

Воронежский Государственный университет, Университетская пл., 1, Воронеж, 394000, Россия, e-mail: [email protected]

Аннотация. Устанавливается корректная разрешимость но Адамару одной нестационарной задачи для одномержих) уравнения теплопроводности, называемой задачей без начальных условий. При этом требуется найти производную от температуры но пространственной неременной, характеризующую тепловой ноток на границе раздела сред. Исследования таких задач, как известно, приводят к использованию аппарата дробжнх) интегро-дифференцирования. Однако, как правило, получаемые при этом результаты касаются только вопросов существования решений и их интегро-дифференциальным представлениям. Вопрос же устойчивости решения но исходным данным, требующий использования соответствующих метрических пространств в таких работах не обсуждается. В настоящей заметке эти вопросы решаются методами теории сильно непрерывных полугрупп линейных преобразований в специальных функциональных пространствах.

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

Многие процессы тепло- и маееоперепоса описываются нестационарной задачей du(t,x) д2 u(t,x)

dt дх2

u(t, 0) = uo(t),

t E (-то, oo), x E (0, то) . u(t, то) = 0.

(0.1) (0.2)

£ — время, х — пространственная координата, и(£,х) — температура.

Требуется определить выражение для теплового потока, т.е. производную от темпе-х

q(t)

du(t, х)

дх

(0.3)

x=0

Частный случай такой задачи (когда и0(£) _ периодическая функция или заданная рядом Фурье) рассмотрен в |1|, с. 57. Здесь она называется задачей без начальных

УСЛОВИЙ.

Следует отмстить, что решение этих задач в |1| формально осуществляется с помощью функциональных рядов, членами которых являются ингегро-диффереициальпые конструкции дробного порядка. При этом, вопросы сходимости приближенных решений к точному и их устойчивость к погрешностям исходных данных не обсуждается. Иными словами, не обсуждается проблема корректной разрешимости но Ж. Адамару рассматриваемых задач, требующая введения соответствующих метрик.

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

^ = + (0.4)

х € (0, то), £ € (а,Ь) С К = (-то, то), удовлетворяющая условиям

0) = ио(£), п(г, то) = 0, (0.5)

где а(£), 7(£) — произвольные непрерывные на (а,Ь) функции, и0(£) — элементы некоторого банахова пространства.

В работе устанавливается равномерно корректная разрешимость, в смысле С.Г. Крей-на |5|, с. 305, с использованием методов сильно непрерывных полугрупп.

§1. Необходимые факты из общей теории

В банаховом пространстве Е рассмотрим уравнение

^2п(г)

dt2

Au(t), t Е [0, то), (1.1)

где оператор A такой, что — A является генератором полугруппы (T, — A) класса C0 с оценкой

||T(t, —A)||< (Ш > 0). (1.2)

и, следовательно, но К. Иоеида |3|, с. 358, определены отрицательный А-^ и положительный. Квадратные корпи

1 1 лте 1

А~ъ<р = -= r?T(t,-A)<pdt, (1.3) Vn J о

1 1 1 Г^ 1

А?<р = А-А~%<р = -= r?T(t,-A)A<pdt, (1.4)

■ I о

если у Е D(A).

При этом оператор —Аз является генератором полугруппы класса Со вида

t Г ^ ( t2\

T(t,-A?)<p = exP ( ) ~A)vds (1.5)

(cm. |3|, e. 369, |2|, c. 120).

Далее, согласно С.Г. Крейну |5|, с. 306 дадим

Определение 1.1. Функция u(t) называется обобщенным решением уравнения (1.1), если:

1) она непрерывна на [0, го), имеет непрерывную вторую производную на (0, го), а функция A~2u(t) имеет непрерывную первую производную на [0, го);

2) значения u(t) на (0, го) принадлежат D(A);

3) она удовлетворяет уравнению (1.1).

В дальнейшем будет использована

A

пым условиям, то для всякого u0 £ E существует единственное ограниченное на полуоси [0, го) обобщенное решение уравнения (1.1), удовлетворяющее условию u(0) = uo-Это решение задается формулой

u(t) = T(t,-A?)uo. (1.6)

§2. Полугруппы переносов с деформациями

а) Полугруппы T+p(t).

Ча интервале (a,b) С R = (-го, го) конечном или бесконечном, введем непрерывно дифференцируемую функцию h(x) такую, что h'(x) > 0 lim h(x) = го.

Через L+ h будем обозначать пространства функций <^(x) с нормой

Р , Ш1, h ,g

exp[wh(x)]g(x)^(x) |pdh(x)

(2.1)

p > 1, u > 0 g(x) > 0 g'(x) > 0, Введем обозначения h(x) ф t = h-1[h(x) +1],

Пусть p(x) > 0 локально интегрируемая на (a, b) функция. Будем рассматривать операторное семейство

T/+p(tMx) = exP

Г p(0dh(0

'h(x)®t

p[h(x) Ф t]. (2.2)

Теорема 2.1. Операторное семейство Т+р(£) является сильно непрерывной сжимающей полугруппой действующей в пространстве Ьр>ш>ь, удовлетворяющей оценке

Г+(;)||<ехр(-^ . (2.3)

□ Сначала оценим

b

IITj,(tMiP>w>h,g = / exp uh(x) + p / p(£)dh(£) g(x)Hh(x) ф t]|pdh(x) <

Ja L Jh(x:)®t J

x

< / g(x)exp[wh(x)]|^(h(x) 0 t)|pdh(x).

J a

После замены h(x) 0 t = т неравенство (2.4) принимает вид

l|T+p(tHILAfl < exp(-wt) Г exp[^h(T)]g[h-1(h(T) - ¿)]Ит)|р^(т) <

Jh(a)®t

Гb

< exp(-wt) / ехр[ш^(т)]^(т)|^(т)|р^Л,(т).

a

Отсюда следует ограниченность полугруппы

(2.4)

< ехР (-fy

(2.5)

Свойство Т++р(0)^ = ^ очевидно.

Для установления полугруппового соотношения Т(£)Т(в) = Т(£ + в) проведем следующие вычисления

T+p(t)T+p(sMx) = Th,p(t)exp

>x

exp

'h(x)®t

exp

h(x)®s rh(x)®t h(x)®(t+s)

P(s)d(0 P(£ )dh(£)

^[h(x) 0 s]

^[h(x) 0t + s]

exp

<^[h(x) 0 t + s] = T+_ (t + s)^(x).

(2.6)

Uh(x)®(t+s)

Теперь установим сильную непрерывность полугруппы

'x(a)®t

exp[wh (т)]| exp

rh-1(r)

/h-1(t+T )

p(e)dh(e)

^[h1 (т + t)] - ^[h1 (т)]|PdT

Далее, положим <^[h 1(t)] = "0(t), p[h 1(s)] = ^(s) и, используя метод «прибавить-отнять», с применением неравенства Коши-Буняковского, получаем

- И1<

h(a)

exp[wh (т)] exp

^(s)ds

Ut+T

|^(t + т) - ф(т)|р^т

h(a)

exp[wh (т)]| exp

p / ^(s)ds

t+T

- 1| ■ |ф(т)|р^т

Si(t) + S2(t).

Покажем, что lim S1(t) = 0 lim S2(t) = 0. t^o t^ü

В случае S1(t) этот факт следует го непрерывноети в целом Lp-весовых норм.

b

T

В случае (t) для произвольно малого е > 0 запишем Sf(t) в виде суммы

rN

Sp(t) = / exp[wh (т)]| exp Jh(a)

p

. Jt+r

- 1| ■ |^(т)|PdT+

exp[^h (т)]| exp

N

p

. Jt+r

- 1| ■ №(т)|pdT = S2N)(t) + S^(t)

где iV выбрано так, что выполняется неравенство ¿"^(i) < §. Затем, учитывая конечность интервала интегрирования, выбирая to такое, что при всех t > to выполняется оценка S[ (t) < f. Отсюда следует соотношение limS,2(i) = 0, а из (1.18) получаем выполнение сильной непрерывности полугруппы Th,p(t)

lim ||Т+р(% - И1 = 0, Vv G LpAp . (2.9)

Это завершает доказательство теоремы. ■

Таким образом, семейство T+p является сильно непрерывной полугруппой с оценкой (2.5).

Из теоремы 1.1 и результатов |5|, с. 258, |3|, с. 327 следует, что для полугруппы T+p(t) определен производящий оператор как сильный предел

Его область определения D(Ahp)

плотна в Lph ш д и он замкнут. В соответствии с |5|, с. 258 значение производящего оператора можно определить

t=0

(2.8)

КРФ) = ^T+p{tMx)\t = " Р(*)Ф) = КМ*) ■

dh(x)

(2.11)

Таким образом, производящим оператором полугруппы Т^р(£) является оператор заданный выражением р^(х) и областью определения р) — € Ьр ш,н,д,

Я^рф*) € Н д}.

б) Полугруппы Т/-р(^).

Рассмотрим случай когда функция Л,(х), х € (а, Ь) удовлетворяет уеловиям: Л/(х) > 0 Иш)х ^ аЛ,(х) — —го.

Через Ь- ш н д обозначим пространства функций с нормой

Hp , ш, h,g

p > 1, ш > 0 g(x) > 0 g'(x) < 0.

exp(-wh(x))g(x) | v(x) |pdx

(2.12)

b

Пусть к(х) 0 £ = к *[к(х) — ¿]. Рассмотрим операторные семейства

Т- , р(£Мх) = ехР

р[к(х) 0 £] .

(2.13)

Для этих семейств аналогично Т-+р доказывается

Теорема 2.2. Операторное семейство (2.13) является сильно непрерывной полугруппой действующей в пространстве Ьрш - д и удовлетворяющей оценке

ш

- ехР [ ~

Ее генератором является оператор Л- р, заданный выражением

(2.14)

_ ^(х) . . . .

(2.15)

с областью определения Д(Л- , р) = € Ьр ш -д, ,Ер,ш,-,д}-

§3. Некоторые частные случаи

В этом пункте рассмотрим некоторые пример.

1. Если оператор Л+ задан выражением (2.11), р(х) = л • к(х), л > 0, то производящая его полугруппа имеет вид

Т+(%(х)

к(х) к(х) + £

^[к-1(к(х)+ £)] .

(3.1)

Она является сильно непрерывной в пространстве Ь+ш - д с нормой (2.1).

2. Если х € (—то, то), к(х) = х, л = 0 т0 из (3-1) следует, что Т+(£)^(х) = <^(х + £) является полугруппой правых сдвигов в пространстве Ь+ш с нормой

ешх£(х)Их)|^х

(3.2)

Аналогично, полугруппа левых сдвигов Т- (¿)<^(х) = <^(х — £) является сильно непре-

рывной в пространствах Ь ш - д с нормой

е-шх£(х)|^(х)|^х

(3.3)

Здесь ш > 0. Заметим, что при ш = 0 эти факты не справедливы.

3. Если в (3.1), (а, Ь) = (0, то), л > 0, то соответствующая полугруппа имеет вид

x

x + t

<p(x + t) .

(3.4)

4. Полугруппы Адамара. Если (a, b) = (0, oo), h(x) = lnx, p = 0, т0 полугруппы имеют

вид

T+(t)p(x) = ^(xe4), T"(t)p(x) = p(xe-i). Эти полугруппы сильно непрерывны в пространствах T с нормами:

xw |p(x)|pdx

x"w |p(x)|pdx

ш > 0

ш > 0,

(3.5)

(3.6)

(3.7)

(3.8)

Производящими операторами этих полугрупп являются операторы: A+, аданный

выражением D^'-p = х-^-. с областью определения D(A+) = {р G , G L+ }

dx

и соответственно А", заданный выражением = -х^, с областью определения

dx

D(A") = (р G L+p, G L-p}

Следуя |5| эти операторы мы называем операторами Адамара, а соответствующие полугруппы — полугруппами Адамара.

1 fx + 1\

5. Гиперболические полугруппы. Если (а, Ь) = (0,1). h(x) = - ln - . р = 0. то

2 у 1 — x J

нетрудно видеть, что в этом случае мы имеем полугруппу

x + t

Th (t)p(x) = p

1 + xt

(3.9)

которая в 1101, с. 275 называется гиперболической.

Из наших результатов следует, что эта полугруппа си.ньно-неирерывна в пространствах с нормой

И1

ш,р

X + 1\ 2

|p(x)|pdx

1—x

4. Решение задачи (0.4)-(0.5)

(3.10)

В предположении a(t) > 0 Y (t) > 0 h'(t) = a(t), p(t) = Y(t)/a(t) будем рассматривать два вида уравнения (0.4).

ô2u+(t,x) (t,x)

dx2 dh(t)

+ p(t)u(t, x) ,

(4.1)

d2u_(t,x) du_ (t,x)

p(t)u(t, x)

dx2 dh(t)

Поменяв местами параметры t и x, уравнения (4.1) и (4.2) запишем в виде

d2u+

dt2 d2u_

df2 ~ = ~®h,pU-(t,x) , При этом краевые условия (4.5) принимают вид

u±(0,x) = u0(x); u±(ro,x) = 0

(4.2)

(4.3)

(4.4)

(4.5)

Считая м±(£, х) векторнозначными функциями м±(£) со значениями в пространствах Ь+ш н или Ь- ш н д соответственно, можно записать задачи (4,3)-(4,5) в операторной форме

, (4.6)

U0 G ^ , h,g

dt2

u±(0) = uo,

в пространствах L+ш, h, g(L+ш, h, g), то из теоремы 1.1. следует

Теорема 4.1. Пусть t0 G (а, 6), h(t) = /t0 a(s)ds, p(t) = Y(t)/a(t) тогда:

1) для каждого u0 G L+ш h g существует единственное обобщенное решение задачи

(4.3)-(4.5), и оно нредставимо в виде

t f ^ з / t2 \

«+(*) = ТнЛ^-(Atp)^uо = Уо ехР (^J ; (4.7)

2) для каждого u0 G h g существует единственное обобщенное решение задачи

(4.4)-(4.5); и оно нредставимо в виде

t (' ^ ( t2 \

«-(*) = = ^ у ехр (^J . (4.8)

Теперь, переходя к обозначениям уравнений (4.1) и (4.2) и возвращаясь к задачам (4,1)-(4,3), (4,2)-(4,3), получаем их решения

u+{t,x) = jf exp T+(s> =

—= / s 2 exp

x 4s

exp

.Jh(x)®s

p(£)dh(£)

u0[h_(h(s) + x)]ds, (4.9)

u_(t, x)

x

20г

s 2 exp

x

4s

T (s> -A_, p)u0(t)ds

x

з

0

ОС I _з f ОС \

2л/тг Jo V 4V

s 2 exp — — exp

i-h(x)Qs x

u0[h_(h(s) - x)]ds. (4.10)

Из (4.9) и (4.10), в частности следуют представления соответствующих тейповых потоков

q+(t)

du+

q-(t) =

dx du_

dx

= -(A+fc)4(t), (4.11)

= -(A~h)h-uo(t) , (4.12)

ж=0

В заключении заметим, что результаты полученные в настоящей заметке являются новыми даже в простейшем случае h(x) = x, p(x) = 0 тогда T ± (t)p(x) = p(x ± t) - полугруппы сдвигов, а операторы (—А^)? определяются дробными производными Римаиа-Лиувилля,

Литература

1. Бабенко Ю.И. Тепломаееообмен: Методы расчета тепловых и диффузных потоков / Л.: Химия, 1986. 144 с.

2. Голдстейн Дж. Полугруппы .линейных операторов и их приложения / Киев: Выща школа, 1989. 347 с.

3. Иосида К. Функциональный анализ / Учебник, пер. с англ. В.М,Волосова / М. : Мир, 1967. 624 с."

4. Красносельский М.А., Забрейко П.П., Пуетыльник Е.И., Соболевский П.Е. Интегральные операторы в пространствах суммируемых функций / М.: Наука, Главная редакция физико-математической литературы, 1966. 500 с.

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

6. Костин В.А., Небольсина М.Н. О корректной разрешимости краевых задач для уравнения второго порядка /7 ДАН. 2009. 428, №1. С.20-22.

7. Костин В.А., Костин A.B., Костин Д.В. Операторный метод Маслова-Хевисайда и C0-операторный интеграл Дюамеля /7 ДАН. 2013. 452, №4. С.367-370.

8. Костин В.А., Костин A.B., Костин Д.В. Элементарные полугруппы преобразований и их производящие уравнения /7 ДАН. 2014. 455, №2. С.142-146.

9. Самко С.Г., Килбас A.A., Маричев О.И. Интегралы и производные дробного порядка и некоторые их приложения / Минск: Наука и техника, 1987. 687 с.

10. Хилле Э., Филлипе Р. Функциональный анализ и полугруппы / М.: Издательство иностранной литературы, 1962. 829 с.

ABOUT WELL-POSED SOLVABILITY OF SOME NONSTATIONARY PROBLEMS WITHOUT INITIAL CONDITIONS

A.V. Kostin, M.V. Mukovnin, M.H. Geem

Voronezh State University, Universitetskaya Sq., 1, Voronezh, 394000, Russia, e-mail: [email protected]

Abstract. It is established well-posed solvability of a Hadamard nonstationarv problem for one-dimensional heat equation, referred to the problem without initial conditions. This requires to find the derivative of the temperature at the spatial variable Which describes the variable of heat flow at the boundary of matter. Studying of these problems is known lead to the using of mechanism of fractional integro-differentiation. However, in general, the results are obtained concern only with the

questions of existence solutions and its integral-differential concepts. The question of the stability solution on the initial data which requires using an appropriate metric spaces in such works is not discussed. In this paper, these problems are solved by using the theory of strongly continuous semigroups of linear transformations in special functional spaces.

Key words: heat- and mass-transfer, time-dependent problems, well-posed solvability, strongly continuous semigroups, fractional powers of operators.