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

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

CC BY
81
9
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
ОБРАТНАЯ ЗАДАЧА / ЭВОЛЮЦИОННОЕ УРАВНЕНИЕ / ТЕОРЕМА СУЩЕСТВОВАНИЯ И ЕДИНСТВЕННОСТИ РЕШЕНИЯ / СУПЕРУСТОЙЧИВАЯ ПОЛУГРУППА / УРАВНЕНИЕ ПЕРЕНОСА / INVERSE PROBLEM / EVOLUTION EQUATION / EXISTENCE AND UNIQUENESS THEOREM OF THE SOLUTION / SUPERSTABLE SEMIGROUP / TRANSPORT EQUATION

Аннотация научной статьи по математике, автор научной работы — Тунг Ву Нгуен Шон

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

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

Похожие темы научных работ по математике , автор научной работы — Тунг Ву Нгуен Шон

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

Special Examples of Superstable Semigroups and Their Application in the Inverse Problems Theory

Special examples of superstable (quasinilpotent) semigroups and their application in the theory of linear inverse problems for evolutionary equations are studied. The term “semigroup” means here the semigroup of bounded linear operators of class C0. The standard research scheme is used. The linear inverse problem with the final overdetermination in a Banach space for the evolution equation is considered. A special assumption is introduced, related to the superstability of the main evolutionary semigroup. For the inverse problem we establish the existence and uniqueness theorem of the solution. It is noted that the solution of the problem can be represented by the convergent Neumann series. To illustrate the general theory, we consider special examples of superstable semigroups that are generated by a one-dimensional streaming operator with absorption in the weighted Banach space of functions on the ray. It is shown that there are many possibilities for choosing the absorption coefficient and the weight function, under which the superstability of the corresponding semigroup is guaranteed. The established results allow applying to a particular inverse problem for the transport equation with absorption on the ray. The applied approach can be extended to the multidimensional transport equation in an unbounded domain without the collision integral.

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

НАУЧНЫЙ

ОТДЕЛ

МАТЕМАТИКА

УДК 517.95

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

Ву Нгуен Шон Тунг

Ву Нгуен Шон Тунг, аспирант кафедры математического анализа, Московский педагогический государственный университет, Россия, 107140, Москва, Краснопрудная, 14, vnsontung@mail.ru

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

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

DOI: https://doi.org/10.18500/1816-9791 -2018-18-3-252-262

© Ву Нгуен Шон Тунг., 2018

ВВЕДЕНИЕ

Настоящая статья написана в связи с одним вопросом, возникшим при изучении линейных обратных задач для эволюционных уравнений в банаховом пространстве. Общая теория обратных задач интересующего нас типа изложена в [1—3] . В недавнем исследовании, выполненном по данной теме [4], было использовано специальное предположение о суперустойчивости (квазинильпотентности) основной эволюционной полугруппы линейных операторов. Этот вырожденный класс особых полугрупп привлек внимание специалистов в последние десятилетия [5-9]. Для обратных задач упомянутое требование «суперустойчивости» является достаточно жестким, но в то же время оно позволяет избежать почти всех других ограничений. Естественно, что такой экстремальный случай полезно рассмотреть с должной подробностью.

Итак, используем стандартный полугрупповой подход [10-12]. Пусть t ^ 0. Напомним, что полугруппа U(t) класса С0 называется суперустойчивой (квазинильпо-тентной) в банаховом пространстве E, если ее экспоненциальный тип

и0 =

lim MU™

t^+ж t

(i)

оказывается равным (-то). В таком случае при любом выборе сколь угодно Большого числа а > 0 найдется константа М = Ма ^ 1, для которой

U(t)|| ^ Me-at, t ^ 0.

(2)

Как известно (см. [10, с. 59]), при использовании эквивалентной нормы

Ilf ||а = sup || еат U(T)f ||, f е E, (3)

т ^0

с тем же значением а > 0, что и в формуле (2), получим упрощенную оценку

U(t)Ha ^ e-at, t ^ 0.

(4)

Выделим также специальный класс нильпотентных полугрупп, когда

U(t) = 0, Vt ^ to > 0, (5)

с некоторым фиксированным значением t0 > 0. Каждая нильпотентная полугруппа очевидно является квазинильпотентной (суперустойчивой).

В работе [4] (см. также [3]) в предположении о суперустойчивости эволюционной полугруппы была установлена корректная разрешимость общей линейной обратной задачи с переопределением в виде интеграла Римана-Стильтьеса. Для применения «абстрактных» результатов полезно располагать достаточным запасом суперустойчивых полугрупп. Отчасти такие примеры известны (см., например, [5,8]). Сейчас мы придадим конструкции расширенную форму и покажем, что она дает применительно к теории обратных задач.

1. ОБРАТНАЯ ЗАДАЧА С ФИНАЛЬНЫМ ПЕРЕОПРЕДЕЛЕНИЕМ

Для простоты изложения ограничимся случаем обратной задачи с финальным переопределением. Ее активное изучение началось с работ [13-15].

В банаховом пространстве E на отрезке [0, Т] рассмотрим задачу

u'(t) = Au(t) + p(t)g, 0 ^ t ^ Т, u(0) = u0, u(T) = ui,

(6)

с заданной скалярной функцией p(t) ф 0, принадлежащей классу С1 [0, T], и неизвестным элементом g е E. Считаем, что A — линейный замкнутый оператор в пространстве E с плотной областью определения D(A) С E. Предполагаем также, что A порождает в E полугруппу U(t) класса С0. Элементы u0,u1 заданы в D(A).

Решением задачи (6) назовем пару (u(t),g), где u е С1 ([0, T]; E), u(t) е D(A) при любом t е [0, T] и g е E. Все соотношения в системе (6) должны быть выполнены. Общая теория подобных обратных задач представлена в [1-3].

Как известно (см. [3,16]), удобный технический инструмент при исследовании обратной задачи (6) дает операторное уравнение

eg - Bg = f

относительно неизвестного элемента g е E. Здесь в = р(Т). Правая часть

(7)

f = A(U(T)uo - ui) (8)

определяется данными из задачи (6). Линейный ограниченный оператор B имеет вид

t

в = U(Т)р(0) + у U(Т - s)p'(s) ds.

(9)

Интеграл в формуле (9) понимается в сильной операторной топологии.

Предполагаем сейчас, что полугруппа U(t) является суперустойчивой в банаховом пространстве E. В таком случае число Л = 0 не может быть собственным значением оператора A. Соответственно (см. [3]) операторное уравнение (7) оказывается эквивалентным исходной обратной задаче (6). Сформулируем следующий результат, основанный на принципах работы [4, теорема 2].

Теорема 1. Пусть оператор A порождает в E суперустойчивую полугруппу U(t) класса С0. Предположим, что р е С 1[0,Т], причем в ф р(Т) = 0. Тогда

при любом выборе элементов u0, u1 е D(A) обратная задача (6) имеет и притом единственное решение (u(t),g). Нужный элемент g е E представим рядом Неймана

сю 1

g = £ вк+гBk f. (10)

k=0

в k

сходящимся по норме пространства E, а первый компонент решения находится по формуле

u(t) = U(t)u0 + U(t — s)p(s)g ds, 0 ^ t ^ T.

(11)

В конструкции ряда (10) используются оператор B из формулы (9) и элемент f из формулы (8). Для элемента g е E, найденного по формуле (10), справедлива оценка устойчивости

IMI < C(||AuoII + \\Ащ ||) (12)

с некоторой константой C > 0.

Доказательство. Коротко напомним схему рассуждений (подробности см. в [4]). При заданном g е E прямая задача для дифференциального уравнения

u'(t) = Au(t) + p(t)g, 0 ^ t ^ T,

с начальным условием u(0) = u0 имеет классическое решение u(t) вида (11) (см. [11]). Сейчас требуется подобрать элемент g е E так, чтобы выполнялось предписанное финальное условие u(T) = u1. Для нахождения нужного g вводим эквивалентное операторное уравнение (7) с оператором B из формулы (9) и правой частью f из формулы (8) (см. [3, 16]). Оценивая оператор B по норме (3) с учетом соотношения (4), имеем

т

||B||а < e-aT |ы(0)| + ^e-a(T-s) |Ы(s)| ds < C^e-“T + 1) ,

0

где Cp > 0 — числовая мажоранта для |ы(0)| и |^'(s)| при 0 ^ s ^ T. Выбирая а > 0 достаточно Большим (что возможно в силу суперустойчивости полугруппы U(t)), добиваемся соотношения

IIB||а < |в| = ЫП- (13)

При получении (13) учтено предположение в = ы(Т) = 0. Из (13) следует однозначная разрешимость уравнения (7) и то, что его решение представимо рядом Неймана (10). Используя представление (8) для правой части f е E в корректно разрешимом операторном уравнении (7), устанавливаем оценку устойчивости (12). Теорема доказана. □

Несложный дополнительный анализ показывает (см. [4]), что в условиях теоремы 1 оператор B из формулы (9) сам является квазинильпотентным.

В случае, когда p(t) = 1 на [0,T], формула для нахождения решения уравнения (7) сильно упрощается. Действительно, заметим, что тогда в = ы(Т) = 1 и B = U(T) по формуле (9). Поэтому после несложных преобразований ряд (10) сводится к виду

то

g = — Aui + U(kT) A(uo — ui), (14)

k=1

особенно удобному на практике. Если дополнительно полугруппа U(t) является ниль-потентной, удовлетворяющей условию (5) с некоторым фиксированным t0 > 0, то формула (14) становится «конечной» в том смысле, что

1 — Aui, t0 ^ T,

g = l л No (15)

—Au1 + U(kT) A(uo — u1) , t0 > T1

k=i

со значением N0 = \t0/T] — 1. Здесь \t0/T] означает потолок числа t0/T, т. е. наименьшее целое число, большее или равное t0/T. Подобное представление (15) указано также в статье [4].

Рассмотрим типичные примеры суперустойчивых полугрупп, раскрывающие возможности теоремы 1.

2. ПРИМЕРЫ СУПЕРУСТОЙЧИВЫХ ПОЛУГРУПП

h =

Р, Y

Зафиксируем значение p e [1, +го) и возьмем неотрицательную, монотонно неубывающую функцию 7(x), заданную при x ^ 0. На полуоси R+ = [0, +го) введем весовое банахово пространство

E = Lp( R+; e-Y(x) dx) (16)

с нормой

+СЮ \ Vp

|h(x)|p e-Y(x) dx I , h e E. (17)

0

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

A = — -----a(x), x ^ 0, (18)

dx

где a(x) — измеримая, неотрицательная и локально ограниченная функция на R+. Оператор A в пространстве E имеет область определения

D(A) = { h e ACioc(R+): h e E, Ah e E, h(0) = 0 } . (19)

Здесь ACloc(R+) означает локально абсолютно непрерывные функции на R+. Так введенный оператор (18) порождает в пространстве (16) полугруппу сдвигов U(t) (а точнее, сдвигов с поглощением), действующую при t ^ 0 на элемент h e E, по правилу

h(x — t) exp ( — f a(x — s) ds ) , x > t,

U (t)h(x) =

(20)

0,

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

x < t.

Стандартным способом — сначала на непрерывных функциях с компактным носителем в R+, а затем предельным переходом на все пространство (16) — показывается, что формула (20) определяет в E полугруппу U(t) класса С0.

При оценке нормы полугруппы U(t) используем выражение

т +t

F(т, t) = p a(s) ds + у(т + t) — у(т), т ^ 0, t ^ 0, (21)

связывающее две заданные функции у(x) и a(x). Справедлив следующий результат.

Лемма 1. Пусть полугруппа U(t) определена в пространстве (16) по формуле (20). Пусть функция F(т, t), заданная по формуле (21), удовлетворяет оценке

F(т, t) ^ atq, т ^ 0, t ^ 0, (22)

с некоторыми константами a > 0 и q > 1. Тогда полугруппа U(t) будет су-перустойнивой в пространстве (16).

Доказательство. Оценим полугруппу (20) по норме (17) на элементе h £ E. При фиксированном t ^ 0 имеем

У U(t)h ||p = J | U(t)h(x) |p e—Y(x) dx = J |h(x - t)|p е—рч(хЛ e—Y(x) dx, (23)

0 t

где

t ж (x—t)+t

n(x, t) = J a(x — s) ds = J a(s) ds = J a(s) ds.

0 x—t x—t

После замены т = x — t в интеграле (23) получим, что

т +t

U(t)h ||p = J |h(T)|p exp {—pJ a(s) ds — 7(т + t) I dT.

Используя обозначение (21), приходим к выражению

II U(t)h ||p = У |h(T)|p e-F(тЛ e-Y(т) dT,

верному при всех t ^ 0. Теперь, применяя оценку (22), заключаем, что

U(t)h УР ^ exp(—atq) J |h(T)|pe 7(t) dT = exp(—atq) ||h||p, t ^ 0.

Поскольку выбор элемента h в пространстве (16) был произвольным, то

У U(t)|| < exp(—ctq), t ^ 0, (24)

с константой c = a/p. По условию q > 1. Вычисляя экспоненциальный тип (1) с учетом полученной оценки (24), устанавливаем, что ^0 = —то, т. е. полугруппа (20) действительно является суперустойчивой в пространстве E. Лемма доказана. □ При проверке оценки (22) может пригодиться следующее элементарное утверждение о супераддитивности степенной функции.

Лемма 2. При любом выборе числа q > 1 справедливо неравенство

(t + t)q ^ tq + tq, t ^ 0, t ^ 0. (25)

Доказательство. Учитывая ограничения леммы, имеем

(т + t)q = т (т + t)q—1 + t (т + t)q—1 ^ TTq—1 + ttq—1 = тq + tq,

что и означает справедливость (25). □

Сохраняя исходные ограничения на функции 7(x) и a(x), отметим два специальных случая, когда полугруппа (20) является суперустойчивой в пространстве (16).

Теорема 2. Пусть у(x) = axq при x ^ 0 с константами а > 0 и q > 1. Тогда при любом выборе измеримой, неотрицательной, локально ограниченной функции a(x) полугруппа (20) является суперустойчивой в пространстве (16).

Доказательство. Пусть выполнены условия теоремы 2. Для функции (21) с учетом неотрицательности a(x) и леммы 2 имеем

F(т, t) ^ у(т + t) — у(т) = а(т + t)q — атq ^ atq, т ^ 0, t ^ 0,

что соответствует оценке (22). Поскольку по условию q > 1, то на основании леммы 1 полугруппа (20) будет суперустойчивой в пространстве (16). Теорема доказана. □

Теорема 3. Пусть а(х) ^ bxr при х ^ 0 с константами b > 0 и r > 0. Тогда при любом выборе неотрицательной и неубывающей функции y(x) полугруппа (20) является суперустойчивой в пространстве (16). В частности, годится случай

Y(x) = 0

Доказательство. Пусть выполнены условия теоремы 3. Для функции (21) с учетом монотонности y(x) и леммы 2 имеем

Т+t т +t

F(т, t) ^ p а(s) ds ^ p bsr ds = а(т + t)q — атq ^ atq, т ^ 0, t ^ 0,

с константами а = pb/(r + 1) > 0 и q = r + 1 > 1. Но тогда на основании леммы 1 полугруппа (20) будет суперустойчивой в пространстве (16). Теорема доказана. □ Применим полученные результаты к обратной задаче типа (6) для уравнения переноса на полуоси.

3. ОДНОМЕРНОЕ УРАВНЕНИЕ ПЕРЕНОСА С ПОГЛОЩЕНИЕМ

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

ut + ux + a(x)u = u(0, t) = 0, = p(t)g(x), 0 ^ x < +ro, 0 ^ t ^ T, (26)

u(x, 0) = u0(x), u(x, T) = ui(x).

Пусть T > 0, a(x), p(t) известны. Функции u0(x) и u1(x) считаем заданными. Требуется восстановить неизвестную пару (u(x,t),g(x)).

Отметим, что теоремы 2, 3 дают широкий спектр возможностей для выбора коэффициента a(x) ^ 0 и банахова пространства (16), при которых гарантирована корректность задачи (26). За счет квазинильпотентности возникающей полугруппы ограничения на функцию p(t) будут минимальными. Установим для примера только один результат.

При фиксированном значении p е [1, +го) рассматриваем задачу (26) в банаховом пространстве E = Lp(R+) с оператором A из формулы (18), заданным на области определения (19). Решение обратной задачи (26) понимаем так же, как при постановке абстрактной задачи (6) в парагр. 1. Тогда для корректности поставленной обратной задачи достаточно потребовать определенного роста по x коэффициента a(x) ^ 0.

Теорема 4. Пусть р е C1 [0,Т], причем р(Т) = 0. Пусть a(x) — измеримая, неотрицательная и локально ограниченная на R+ функция, причем

a(x) ^ bxr, x ^ 0, (27)

с константами b > 0 и r > 0. Тогда при любом выборе функций u0(x), u1 (x) в области (19) обратная задача (26) имеет и притом единственное решение (u(x,t),g(x)), согласованное с выбором пространства E = Lp(R+).

Доказательство. По теореме 3 при требовании (27) полугруппа, порожденная оператором (18), будет суперустойчивой в пространстве E = Lp(R+). Но тогда в силу теоремы 1 при любом выборе функций u0(x), u1 (x) в области (19) обратная задача (26) имеет и притом единственное решение (u(x,t),g(x)), согласованное с выбором пространства Lp(R+). Теорема доказана. □

В условиях теоремы 4 решение представимо конструктивным методом на основе ряда Неймана (10) с оператором B вида (9) и элементом f вида (8). Для найденной правой части g(x) справедлива оценка устойчивости вида (12) относительно стандартной нормы пространства Lp(R+).

Отметим еще, что при рассмотрении уравнения переноса не на полуоси, а на конечном отрезке [0,1 ] возникает обратная задача

iut + ux + a(x)u = p(t)g(x), 0 ^ x ^ l,

u(0, t) = 0,

u(x, 0) = u0(x), u(x,T)= u1 (x).

Здесь оператор A и полугруппа U(t) задаются прежними формулами (18) и (20) с ограничением 0 ^ x ^ l, а не x ^ 0, как было ранее. При этом полугруппа U(t) оказывается нильпотентной, удовлетворяющей условию (5) со значением t0 = l.

Выберем теперь p(t) = 1 на [0,Т]. Тогда функция g(x) в задаче (28) выражается в «конечном» виде на основе формулы (15). Предлагаемый подход можно распространить на многомерное уравнение переноса, взятое в неограниченной области без интеграла столкновений (см. также [17], где подробно разобрана аналогичная нелокальная задача для многомерного уравнения переноса).

Благодарности. Автор искренне благодарен И. В. Тихонову за постановку задачи и поддержку в исследовании, а также А. В. Подорога и Д. Г. Цветкович за помощь при оформлении статьи.

0 ^ t < Т,

(28)

Библиографический список

1. Prilepko А. I., Orlovsky D. G., Vasin I. A. Methods for Solving Inverse Problems in Mathematical Physics. N.Y. ; Basel : Marcel Dekker, 2000. 723 p.

2. Прилепко А. И., Тихонов И. В. Восстановление неоднородного слагаемого в абстрактном эволюционном уравнении // Изв. РАН. Сер. матем. 1994. Т. 58, № 2. С. 167-188. DOI: http://dx.doi.org/10.1070/IM1995v044n02ABEH001602

3. Тихонов И. В., Эйдельман Ю. С. Вопросы корректности прямых и обратных задач для эволюционного уравнения специального вида // Матем. заметки. 1994. Т. 56, вып. 2. С. 99-113. DOI: https://doi.org/10.1007/BF02110743

4. Тихонов И. в., By Нгуен Шон Тунг. Разрешимость линейной обратной задачи для эволюционного уравнения с суперустойчивой полугруппой // Вестн. РУДН. Сер. МИФ. 2018. Т. 26, № 2. С. 103-118. DOI: http://dx.doi.org/10.22363/2312-9735-2018-26-2-103-118

5. Balakrishnan А. V. On superstability of semigroups // Systems Modelling and Optimization : Proceedings of the 18th IFIP Conference. Ser. Chapman & Hall/CRC Research Notes in Mathematics. CRC Press, 1999. P. 12-19.

6. Balakrishnan А. V. Superstability of systems // Appl. Math. and Comput. 2005. Vol. 164, iss. 2. P. 321-326. DOI: https://doi.org/10.1016/j.amc.2004.06.052

7. Jian-Hua Chen, Wen-Ying Lu. Perturbation of nilpotent semigroups and application to heat exchanger equations // Appl. Math. Letters. 2011. Vol. 24. P. 1698-1701. DOI: https://doi.org/10.1016/j.aml.2011.04.023

8. Creutz D., Mazo M., Preda C. Superstability and finite time

extinction for C0-Semigroups. arXiv:0907.4812v4 [math.FA]. 12 p. URL: https://arxiv.org/pdf/0907.4812.pdf (дата обращения: 24.12.2013).

9. Emit I., Lyul’ko N. Perturbations of superstable linear hyperbolic systems // Online journal. arXiv:1605.04703v3 [math.AP]. 29 p. URL: https://arxiv.org/pdf/1605.04703.pdf (дата обращения: 09.01.2018).

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

11. Pazy А. Semigroups of linear operators and applications to partial differential equations. N. Y. : Springer, 1983. 279 p.

12. Engel K.-J., Nagel R. One-parameter semigroups for linear evolution equations. N.Y. : Springer, 2000. 586 p.

13. Искендеров А. Д., Тагиев P. Г. Обратная задача об определении правых частей эволюционных уравнений в банаховом пространстве // Вопросы прикл. матем. и киберн. Науч. тр. Азерб. ун-та. 1979. № 1. С. 51-56.

14. Rundell W. Determination of an unknown non-homogeneous term in a linear partial differential equation from overspecified boundary data // Appl. Anal. 1980. Vol. 10, iss. 3. P. 231-242. DOI: https://doi.org/10.1080/00036818008839304

15. Эйдельман Ю. С. Краевые задачи для дифференциальных уравнений с параметрами : автореф. дис. . . . канд. физ.-мат. наук. Воронеж, 1984. 16 с.

16. Орловский Д. Г. К задаче определения параметра эволюционного уравнения // Дифференц. уравнения. 1990. Т. 26, № 9. С. 1614-1621.

17. Тихонов И. B., By Нгуен Шон Тунг. Формулы явного решения в модельной нелокальной задаче для уравнения простого переноса // Матем. заметки СВФУ. 2017. Т. 24, № 1. С. 57-73. DOI: https://doi.oRg/10.25587/SVFU.2017.1.8437

Образец для цитирования:

Ву Нгуен Шон Тунг. Специальные примеры суперустойчивых полугрупп и их применение в теории обратных задач // Изв. Сарат. ун-та. Нов. сер. Сер. Математика. Механика. Информатика. 2018. Т. 18, вып. 3. С. 252-262. DOI: https://doi.org/10.18500/1816-9791-2018-18-3-252-262

Special Examples of Superstable Semigroups and Their Application in the Inverse Problems Theory

Vu Nguyen Son Tung

Vu Nguyen Son Tung, https://orcid.org/0000-0002-8494-7669, Moscow State University of Education, 14, Krasnoprudnaya Str., Moscow, 107140, Russia, vnsontung@mail.ru

Special examples of superstable (quasinilpotent) semigroups and their application in the theory of linear inverse problems for evolutionary equations are studied. The term “semigroup” means here the semigroup of bounded linear operators of class C0. The standard research scheme is used. The linear inverse problem with the final overdetermination in a Banach space for the evolution equation is considered. A special assumption is introduced, related to the superstability of the main evolutionary semigroup. For the inverse problem we establish the existence and uniqueness theorem of the solution. It is noted that the solution of the problem can be represented by the convergent Neumann series. To illustrate the general theory, we consider special examples of superstable semigroups that are generated by a one-dimensional streaming operator with absorption in the weighted Banach space of functions on the ray. It is shown that there are many possibilities for choosing the absorption coefficient and the weight function, under which the superstability of the corresponding semigroup is guaranteed. The established results allow applying to a particular inverse problem for the transport equation with absorption on the ray. The applied approach can be extended to the multidimensional transport equation in an unbounded domain without the collision integral.

Key words: inverse problem, evolution equation, existence and uniqueness theorem of the solution, superstable semigroup, transport equation.

Acknowledgements: The author is sincerely grateful to I. V. Tikhonov for posing the problems and support during research, and also A. V. Podoroga and D. G. Cvetkovic for help with the preparation of the article.

References

1. Prilepko A. I., Orlovsky D. G., Vasin I. A. Methods for Solving Inverse Problems in Mathematical Physios. New York ; Basel, Marcel Dekker, 2000. 723 p.

2. Prilepko A. I., Tikhonov I. V. Recovery of the nonhomogeneous term in an abstract evolution equation. Russian Acad. Sci. Izv. Math., 1995, vol. 44, iss. 2, pp. 373-394. DOI: http://dx.doi.org/10.1070/IM1995v044n02ABEH001602

3. Tikhonov I. V., Eidelman Yu. S. Problems on correctness of ordinary and inverse problems for evolutionary equations of a special form. Math. Notes, 1994, vol. 56, iss. 2, pp. 830839. DOI: https://doi.org/10.1007/BF02110743

4. Tikhonov I. V., Vu Nguyen Son Tung. The solvability of the inverse problem for the evolution equation with a superstable semigroup. RUDN Journal of MIPh, 2018, vol. 26, iss. 2, pp. 103-118 (in Russian). DOI: http://dx.doi.org/10.22363/2312-9735-2018-26-2-103-118

5. Balakrishnan A. V. On superstability of semigroups. Systems modelling and optimization: Proceedings of the 18th IFIP Conference on System Modelling and Optimization. Ser. Chapman & Hall/CRC Research Notes in Mathematics, CRC Press, 1999, pp. 12-19.

6. Balakrishnan A. V. Superstability of systems. Appl. Math. and Comput., 2005, vol. 164, iss. 2, pp. 321-326. DOI: https://doi.org/10.1016/j.amc.2004.06.052

7. Jian-Hua Chen, Wen-Ying Lu. Perturbation of nilpotent semigroups and application to heat exchanger equations. Appl. Math. Letters, 2011, vol. 24, pp. 1698-1701. DOI: https://doi.org/10.1016/j.aml.2011.04.023

8. Creutz D., Mazo M., Preda C. Superstability and finite time extinction for C0-Semigroups. arXiv:0907.4812v4 [math.FA], 12 p. Available at: https://arxiv.org/pdf/ 0907.4812.pdf (accessed 24 December 2013).

9. Kmit I., Lyul’ko N. Perturbations of superstable linear hyperbolic systems. arX-iv:1605.04703v3 [math.AP], 29 p. Available at: https://arxiv.org/pdf/1605.04703.pdf (accessed 9 January 2018).

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

10. Krein S. G. Lineinye differentsial’nye uravneniia v banakhovom prostranstve [Linear differential equations in Banach space]. Moscow, Nauka, 1967, 464 p. (in Russian).

11. Pazy A. Semigroups of linear operators and applications to partial differential equations. New York, Springer, 1983. 279 p.

12. Engel K.-J., Nagel R. One-parameter semigroups for linear evolution equations. New York, Springer, 2000. 586 p.

13. Iskenderov A. D., Tagiev R. G. The inverse problem on the determination of right sides of evolution equations in Banach space. Nauchn. Tr., Azerb. Gos. Univ., 1979, iss 1, pp. 51-56 (in Russian).

14. Rundell W. Determination of an unknown non-homogeneous term in a linear partial differential equation from overspecified boundary data. Appl. Anal., 1980, vol. 10, iss. 3, pp. 231-242. DOI: https://doi.org/10.1080/00036818008839304

15. Eidelman. Yu. S. Krayevyye zadachi dlya differentsial’nykh uravneniy s parametrami. Avtoref. dis. kand. fiz.-mat. nauk [Boundary value problems for differential equations with parameters : Thesis Diss. Cand. Sci. (Phys. and Math.)]. Voronez, 1984. 16 p. (in Russian).

16. Orlovsky D. G. On a problem of determining the parameter of an evolution equation. Differ. Equ., 1990, vol. 26, iss. 9, pp. 1201-1207.

17. Tikhonov I. V., Vu Nguyen Son Tung. Formulas for an explicit solution of the model nonlocal problem associated with the ordinary transport equation. Yakutian Math. J., 2017, vol. 24, no. 1, pp. 57-73. DOI: https://doi.org/10.25587/SVFU.2017.L8437

Cite this article as:

Vu Nguyen Son Tung. Special Examples of Superstable Semigroups and Their Application in the Inverse Problems Theory. Izv. Saratov Univ. (N.S.), Ser. Math. Mech. Inform., 2018, vol. 18, iss. 3, pp. 252-262 (in Russian). DOI: https://doi.org/10.18500/1816-9791-2018-18-3-252-262

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