О единственности определения ядра интегро-дифференциального уравнения параболического типа Текст научной статьи по специальности «Математика»

Вестн. Сам. гос. техн. ун-та. Сер. Физ.-мат. науки. 2015. T. 19, № 4. С. 658—666 ISSN: 2310-7081 (online), 1991-8615 (print) doi: http://dx.doi.org/10.14498/vsgtu1444

УДК 517.956.47 Н^Г^йыЬг1

О ЕДИНСТВЕННОСТИ ОПРЕДЕЛЕНИЯ ЯДРА ИНТЕГРО-ДИФФЕРЕНЦИАЛЬНОГО УРАВНЕНИЯ ПАРАБОЛИЧЕСКОГО ТИПА

Д. К. Дурдиев

Бухарский государственный университет, Узбекистан, 200100, Бухара,ул. Мухаммад Икбол, 11.

Аннотация

Исследуется задача определения ядра интегрального слагаемого в одномерном интегро-дифференциальном уравнении теплопроводности по известному решению задачи Коши для этого уравнения. В начале исходная задача заменяется эквивалентной задачей, где в дополнительное условие входит искомое ядро без интеграла. Изучаются вопросы о единственности нахождения этого ядра. Далее в предположении, что существуют два решения ki(x, t) и k2(x,t), получены интегро-диффе-ренциальные уравнения, условия Коши и дополнительные условия для разностей решений задач Коши, соответствующих функциям ki(x,t), k2(x,t). Дальнейшие исследования проводятся для разности ki(x,t) — — k2(x,t) решений поставленной задачи и с помощью техники оценок интегральных уравнений показывается, что ki(x,t) = k2(x,t) в классе ядер k(x,t), представимых в виде k(x,t) = N=0 aj(x)6j(t). Таким образом, доказана теорема о единственности решения поставленной задачи.

Ключевые слова: обратная задача, параболическое уравнение, задача Коши, интегральное уравнение, единственность. doi: http://dx.doi.org/10.14498/vsgtu1444

Рассматривается задача Коши для одномерного интегро-дифференциаль-ного уравнения теплопроводности

du д2 u f^

— ^ — = k(x,t — т)u(x,y,T)dr, x e R, t e (0,T], (1)

dt dx2 Jо

u(x,y, 0) = <p(x,y), (2)

где T — фиксированная положительная постоянная, а y e R является параметром задачи.

Рассмотрим следующую задачу: найти ядро k(x, t) интегрального члена уравнения (1), если решение задачи (1), (2) известно для x = y:

u(y,y,t) = Ф(y,t). (3)

© 2015 Самарский государственный технический университет. Образец для цитирования

Дурдиев Д. К. О единственности определения ядра интегро-дифференциального уравнения параболического типа // Вестн. Сам. гос. техн. ун-та. Сер. Физ.-мат. науки, 2015. Т. 19, № 4. С. 658-666. аок 10.14498/vsgtu1444. Сведения об авторе

Дурдимурод Каландарович Дурдиев (д.ф.-м.н., проф.; durdiev65@mail.ru), профессор, каф. дифференциальных уравнений и анализа; проректор по учебной работе.

Здесь ф(у,Ь) — заданная функция при всех у е М и Ь е [0,Т].

В настоящее время интерес к подобным задачам велик и опубликовано значительное число работ, посвященных этой тематике. Среди публикаций, близких к изученной здесь задаче, отметим статьи [1-6]. В работах [2-6] получены теоремы однозначной разрешимости определения ядра, зависящего лишь от одной переменной. Обратным задачам определения правой части либо одного из коэффициентов параболического уравнения с дополнительной информацией разных видов посвящены работы [7-12] (см. также библиографический список книги [7]). Характерная особенность постановок обратных задач в работах [1, 11, 12] заключается в том, что дополнительное условие задается на плоскости, ортогональной той переменной, от которой ядро интегрального члена в [1] и неизвестные коэффициенты уравнений в [11,12] не зависят. Это специальное задание дополнительной информации позволяет получить для искомых функций и решения замкнутую систему интегральных уравнений второго рода, которая является удобной для дальнейшего исследования.

Предметом исследования настоящей работы является вопрос однозначного определения функции к(х,Ь) информацией (3). Нужно отметить, что в отличие от вышеупомянутых работ здесь искомое ядро зависит от всех переменных. При этом мы будем предполагать, что функция к(х, Ь) и производные кхх, к принадлежат классу В(Б(Т))1, Б(Т) := {(х,Ь) : х е М, 0 ^ Ь ^ Т} при любом Т > 0, а функция <р(х,у) — классу В4 (М2)2.

Основным содержанием настоящей работы является следующая теорема единственности.

Теорема. Пусть выполнены предположения о функции (р(х,у), сделанные выше. Кроме того, пусть функция ф(у,Ь) вместе с производными Фа, ф-ъуу принадлежит классу В (Б(Т)) при любом конечном Т > 0 и

М | ф(у,Ь) цс > 0, (4)

где цс —известное число. Тогда функция к(х,Ь), представимая в виде N

к(х, Ь) = ^ аг(х)Ъг(Ь), а^х) е В2(М), Ъг(г) е С1 (М)3, (5)

г=с

однозначно определяется в области Б(Т).

Схема рассуждений для доказательства теоремы основывается на схеме исследования обратных задач, изложенной в работе [13]. Здесь мы не будем останавливаться на вопросах, связанных с существованием решения поставленной задачи (1)-(3). Отметим только условия согласования, которым должна удовлетворять функция ф(у,Ь):

ф(y, 0) = <P(У,У),

хКласс В(В(Т)) —класс непрерывных по всем переменным и ограниченных по х в области Б(Т) функций.

2Класс В4 (К2) —класс четырежды непрерывно-дифференцируемых по всем переменным и ограниченных по х вместе с производными в области К2 функций.

3Класс СХ(М) — класс непрерывно-дифференцируемых в области М функций.

^уу(У, 0) - ^й(у, 0) = ^>ххуу(У, У) + 2^хху(У, У) - 0)<р(у, у).

С целью доказательства теоремы с помощью дифференцирования исходного уравнения (1) и условия (2) получим дополнительные соотношения для вспомогательных функций. Для этого введем в рассмотрение следующие вспомогательные функции:

ш := «у, $ := 2шж + шу.

Для функции ш, дифференцируя (1) сначала по а затем по У, мы получим уравнение

— шХХ — й(ж,£)^>у(ж, у) — / й(ж, т)ш(ж, У, £—т)^т = 0, ж € М, £ € (0, Т]. (6)

Jo

Условие при £ = 0 для ш находится из (1). Положив в уравнении (1) £ = 0 и используя условие (2), а затем дифференцируя полученное соотношение по у, находим

ш|г=0 = ^хху (ж,У). (7)

Применяя дифференциальные операторы 2 дХ и ду поочередно к уравнению (6) и складывая результаты, получим уравнение для $:

$4 — $хх — й(ж,£)(2^ху + ^>уу) — й(ж,£)$(ж,у,£ — т )^т =

Jo

= + 2/ Лх(ж,т)ш(ж, у, £ — т)^т. (8)

0

Подобным путем из (7) находим условие

$^=0 - ^жжуу + . (9)

Соотношение (3) в терминах функции $ можно записать в виде

$|Х=у = ^уу(У, £) — Ыу, £) + %, *Му, у) + ^ %, т(у, £ — т)Жг. (10)

Заметим, что при найденной из (6), (7) функции ш функция $ может быть найдена из (8), (9).

Предположим теперь, что существуют два решения поставленной задачи &1, &2, отвечающие им решения задач (1), (2) обозначим через «1, и2 соответственно. Введем также функции ш>1, ш2, $1, $2, аналогичные функциям ш, $. Дополнительно обозначим

& = — й2, ш = ш1 — ш2, = $1 — $2.

Тогда для ш, из равенств (6)-(9) находим

С - Схх - к1(х,т)со(х,у,Ь - т)(т = к(х,г)<ру(х,у)+ ■)с

+ к(х,т)Щ2(х,у,Ь - т)(1т, (11) с

= 0 (12)

0 - *хх - к(х,г)(2(рху + Vуу) - к1(х,т)*(х,у,Ь - т)((т =

Jс

= к(х,т)*2(х,у,Ь - т)(т + 2 кх(х, т)с2(х,у,Ь - т)(т+ Ус ■> с

+ 2 к1х(х,т)со(х,у,Ь - т)(т + 21кх(х,Ь)^у(х,у), (13) с

*кс = (14)

Из равенства (10) следует

*1х=у = к(у, ¿)<р(у, у) + ! к(у, т)фь(у, Ь - т)(т. (15)

Система равенств (11)-(15) представляет собой систему однородных интегральных уравнений относительно функций со, *, к. Требуется показать, что эта система определяет в области В(Т) только нулевое решение. Для доказательства этого факта нам нужны оценки функций со, * через функцию к. При получении этих оценок мы используем следующую лемму. Лемма. Для решения р(х, Ь) задачи

Pt - Pxx - k(x, т )p(x,t - т )dr = f (x,t), p\ = A(x) (16)

J 0

в области D(T) имеет место оценка

\p(x,t)\ < ФеТ\\к^ + ГF(т)eT"к"т(t-T)dT, (17)

Jo

где введены обозначения

\\k\\T := sup \k(x,t)\, Ф := sup\A(x)\, F(t) := sup\f(x,t)\.

(x,t)eD(T) хек xeR

Для доказательства этой леммы заметим, что решение задачи Коши (16) удовлетворяет интегральному уравнению

1 f™ -(x-g)2 1 ^ Г™ e 4(t-T)

P(x,t) = ~^ e--- A(№ + ^7= e-^ f (£,t Щйт+

2y/nt J-oo J0 7-oo yt - T

(x-g)2

2

+

1

t fX

e 4(t-т)

fe(£, т — a)p(£, a)dad£d^

2\/n Jo J-x Vt — т Уо

С помощью стандартного приема оценок интегралов находим

rt /-t /-Т

2т <

rt ft ГТ

U(t) = $+/ F(т)dT + ||Л||т / / U(a)dadi Jo Jo Jo

< Ф+ / F(т)^т + ||k|TT [ U(т)d^ oo

где U(t) := supxeR |u(x,t)|. Отсюда следует оценка (17). Введем обозначение

К(t) := sup |fc(x,t)|

жек

и следующие нормы:

- ||hi|| := sup |hi(x,y)| для функций, зависящих от переменных (ж,у);

(ж,у)ек2

- ||h2:= sup |h2(x,t)| для функций, зависящих от переменных

(x,t)eD(T)

(x,t);

- ||h3||T := sup |h3(x,y,t)| для функций, зависящих от перемен-

(®,y)eR2,te[o,T ] ных (ж, у, t).

Ниже будут использоваться введенные выше соответствующие нормы функций ^>y, ^>yy, ^>xy, ш2, $2, зависящих от разных переменных. Используя лемму, для Ш из (11), (12) получим оценку

|ш(ж,у,^| <

,||К (т) + |M|T / К (a) da o

e"fcl"tt(t-TW <

< (К|| + T||Ш2||Т) Г к(т)e"kl"TT^W. (18) o

Аналогично из равенств (13), (14), согласно (17), получим оценку для

й(ж, т )(2^xy (ж, у) + ^>yy (ж, у)) + 2Йж(ж, т )^y (ж, у) +

|tf(x,y,t)| < [ sup

Jo (ж,у)ек2

ТТ

+ / й(ж,7)^2(ж,у,т — Y)dY + 2/ йж(ж, 7)ш(ж, у, т — 7)d7+ 7o Jo

+ f Мж, Y)ш(ж, у, т — 7)d7 eT"kl"T(t-T)dт < Jo

< [|^yy|| +2|^xy|| + T||^||Т] ГKK(т)e"kl"Tт(/:-т^т+

o

+ sup

Jo (®,y)€R2

2Йж(ж,т)^y(ж, у) + 2 / Йж(ж,7)ш2(ж,у,т — Y)dY+

+ 2/ Й1Ж(ж,т — y)w(ж, у, т — Y)dY o

ellM^-W. (19)

t

т

o

т

o

Согласно лемме 2 из работы [9], для любой функции к(х, Ь), представимой в виде (5), существует такая постоянная Ко > 0 (вообще говоря, своя для каждой функции к), что имеет место неравенство

| кх (х, Ь) | ^ КоК(г), К(Ь):=8Щ) Щх,^. (20)

хек

Доказательство этой леммы в [14] основано на предположении, что систему функций сц, г = 1, 2,... ,Ы, можно считать линейно независимой в К (в противном случае можно в (5) произвести перегруппировку членов, оставив только линейно независимую систему функций аг), и на проведении очевидных оценок.

Так как функции к1, к2, по предположению, представимы в виде

N

k(x,t) = ai(x)bi(t),

г=0

функция к также представима в этом виде. Поэтому для нее существует своя аналогичная постоянная Коо и выполняется неравенство

1кх(х, Ь)| < КооК(Ь).

Для оценки функций к1х(х,Ь), кх(х,Ь) в (19) воспользуемся (20) и последним неравенством. С учетом этого и оценки (18) оценке (19) можно придать

вид 4

\&(х,у,Щ < N(Т, Ко, Коо)! К(т)б,т, (21)

о

где

N(Т, Ко, Коо) :=\Ьуу|| + 2\\^ху|| + Т||^2||Т + 2Коо (|^у|| + Т|М|Т) +

+ 2Ko\\kl\\T {Уу|| + T\\U2\\T) e"fcl"Tт2

e\\kl\\TT2.

Из равенства (15) с учетом (4), (21) получаем

sup |k(y,t№y,y)+ j k(y, т)Mv,t - т)dT| < N(T,Ko,Koo)[ K(т)dr. y€R Jo Jo

Отсюда

1 ff ~ K(t) < — [N(T,Ko,Koo) + Ш\т} К(т)dT. № Jo

Из последнего неравенства вытекает, что k = 0, т. е. k\(x,t) = k2(x,t) для (x,t) £ D(T). Теорема доказана.

ORCID

Дурдимурод Каландарович Дурдиев: http://orcid.org/0000-0002-6054-2827

БИБЛИОГРАФИЧЕСКИЙ СПИСОК

1. Дурдиев Д. К., Рашидов А. Ш. Обратная задача определения ядра в одном интегро-дифференциальном уравнении параболического типа // Дифференц. уравнения, 2014. Т. 50, №1. С. 110-116. doi: 10.1134/S0374064114010142.

2. Kasemets K., Janno J. Inverse problems for a parabolic integro-differential equation in convolutional weak form// Abstract and Applied Analysis, 2013. vol.2013, 297104. 16 pp. doi: 10.1155/2013/297104.

3. von Wolfersdorf L., Janno J. On the theory of convolution equations of the third kind, II // Journal of Mathematical Analysis and Applications, 2008. vol. 342, no. 2. pp. 838-863. doi: 10.1016/j.jmaa.2007.12.042.

4. Janno J., von Wolfersdorf L. Identification of memory kernels in one-dimensional heat flow with boundary conditions of the third kind // Inverse Problems in Engineering, 2001. vol. 9, no. 2. pp. 175-198. doi: 10.1080/174159701088027760.

5. Janno J., von Wolfersdorf L. An inverse problem for identification of a time- and space-dependent memory kernel of a special kind in heat conduction // Inverse problems, 1999. vol. 15, no. 6. pp. 1455-1467. doi: 10.1088/0266-5611/15/6/305.

6. Janno J., von Wolfersdorf L. Inverse problems for identification of memory kernels in heat flow// Journal of Inverse and Ill-Posed Problems, 1996. vol.4, no. 1. pp. 39-66. doi: 10. 1515/jiip.1996.4.1.39.

7. Романов В. Г. Обратные задачи математической физики. М.: Наука, 1984. 264 с.

8. Прилепко А. И., Костин А. Б. Об обратных задачах определения коэффициента в параболическом уравнении. I// Сиб. матем. журн., 1992. Т. 33, №3. С. 146-155.

9. Прилепко А. И., Костин А. Б. Об обратных задачах определения коэффициента в параболическом уравнении. II // Сиб. матем. журн., 1993. Т. 34, №5. С. 147-162.

10. Искендеров А. Д. Многомерные обратные задачи для линейных и нелинейных параболических уравнений// ДАН СССР, 1975. Т. 225, №5. С. 1005-1008.

11. Безнощенко Н. Я. Об определении коэффициента в параболическом уравнении // Дифференц. уравнения, 1974. Т. 10, №1. С. 24-35.

12. Безнощенко Н. Я. Об определении коэффициента при младших членах в параболическом уравнении// Сиб. матем. журн., 1975. Т. 16, №3. С. 473-482.

13. Романов В. Г. Абстрактная обратная задача и вопросы ее корректности // Функц. анализ и его прил., 1973. Т. 7, №3. С. 67-74.

14. Романов В. Г. Об одной теореме единственности для задачи интегральной геометрии на семействе кривых / Математические проблемы геофизики, Вып. 4. Новосибирск: Вычислительный центр СО АН СССР, 1973. С. 140-146.

Поступила в редакцию 21/VII/2015; в окончательном варианте — 17/XI/2015; принята в печать — 24/XI/2015.

Vestn. Samar. Gos. Techn. Un-ta. Ser. Fiz.-mat. nauki

[J. Samara State Tech. Univ., Ser. Phys. & Math. Sci.], 2015, vol. 19, no. 4, pp. 658-666

ISSN: 2310-7081 (online), 1991-8615 (print) doi: http://dx.doi.org/10.14498/vsgtu1444

MSC: 45Q05, 45K05

ON THE UNIQUENESS OF KERNEL DETERMINATION IN THE INTEGRO-DIFFERENTIAL EQUATION OF PARABOLIC TYPE

D. K. Durdiev

Bukhara State University,

11, Muhammad Igbol st, Bukhara, 200100, Uzbekistan.

Abstract

We study the problem of determining the kernel of the integral term in the one-dimensional integro-differential equation of heat conduction from the known solution of the Cauchy problem for this equation. First, the original problem is replaced by the equivalent problem where an additional condition contains the unknown kernel without integral. We study the question of the uniqueness of the determining of the kernel. Next, assuming that there are two solutions ki(x,t) and k2(x,t), integro-differential equations, Cauchy and additional conditions for the difference of solutions of the Cauchy problem corresponding to the functions k1(x,t), k2(x,t) are obtained. Further research is being conducted for the difference k1(x, t) — k2(x,t) of solutions of the problem and using the techniques of integral equations estimates it is shown that if the unknown kernel k(x,t) can be represented as kj (x,t) =

= i=o ai(x)bj(t), j = 1, 2, then k1(x,t) = k2(x,t). Thus, the theorem on the uniqueness of the solution of the problem is proved.

Keywords: inverse problem, parabolic equation, Cauchy problem, integral equation, uniqueness.

doi: http://dx.doi.org/10.14498/vsgtu1444

ORCID

Durdimurod K. Durdiev: http://orcid.org/0000-0002-6054-2827

REFERENCES

1. Durdiev D. K., Rashidov A. Sh. Inverse problem of determining the kernel in an integro-differential equation of parabolic type, Differ. Equ., 2014, vol.50, no. 1, pp. 110-116. doi: 10.1134/S0012266114010145.

2. Kasemets K., Janno J. Inverse problems for a parabolic integro-differential equation in convolutional weak form, Abstract and Applied Analysis, 2013, vol. 2013, 297104. 16 pp. doi: 10.1155/2013/297104.

© 2015 Samara State Technical University. Please cite this article in press as:

DurdievD. K. On the uniqueness of kernel determination in the integro-differential equation of parabolic type, Vestn. Samar. Gos. Tekhn. Univ., Ser. Fiz.-Mat. Nauki [J. Samara State Tech. Univ., Ser. Phys. & Math. Sci.], 2015, vol. 19, no. 4, pp. 658-666. doi: 10.14498/vsgtu1444. (In Russian) Author Details:

Durdimurod K. Durdiev (Dr. Phys. & Math. Sci. durdiev65@mail.ru), Professor, Dept. of Differential Equations and Analysis; Vice-Rector for Academic Affairs.

ffypgneB ff. K.

3. von Wolfersdorf L., Janno J. On the theory of convolution equations of the third kind, II, Journal of Mathematical Analysis and Applications, 2008, vol. 342, no. 2, pp. 838-863. doi: 10.1016/j.jmaa.2007.12.042.

4. Janno J., von Wolfersdorf L. Identification of memory kernels in one-dimensional heat flow with boundary conditions of the third kind, Inverse Problems in Engineering, 2001, vol. 9, no. 2, pp. 175-198. doi: 10.1080/174159701088027760.

5. Janno J., von Wolfersdorf L. An inverse problem for identification of a time- and space-dependent memory kernel of a special kind in heat conduction, Inverse problems, 1999, vol. 15, no. 6, pp. 1455-1467. doi: 10.1088/0266-5611/15/6/305.

6. Janno J., von Wolfersdorf L. Inverse problems for identification of memory kernels in heat flow, Journal of Inverse and Ill-Posed Problems, 1996, vol. 4, no. 1, pp. 39-66. doi: 10.1515/ jiip.1996.4.1.39.

7. Romanov V. G. Obratnye zadachi matematicheskoi fiziki [Inverse problems of mathematical physics]. Moscow, Nauka, 1984, 264 pp. (In Russian)

8. Prilepko A. I., Kostin A. B. Inverse problems of the determination of the coefficient in parabolic equations. I, Sib. Math. J., 1992, vol.33, no. 3, pp. 489-496. doi: 10.1007/ BF00970897.

9. Prilepko A. I., Kostin A. B. On inverse problems of determining a coefficient in a parabolic equation. II, Siberian Math. J., 1993, vol. 34, no. 5, pp. 923-937. doi: 10.1007/BF00971406.

10. Iskenderov A. D. Multidimensional inverse problems for linear and quasi-linear parabolic equations, Sov. Math., Dokl., 1975, vol.16, no. 5, pp. 1564-1568.

11. Beznoshchenko N. Ya. On determining the coefficient in a parabolic equation, Differ. Uravn., 1974, vol. 10, no. 1, pp. 24-35 (In Russian).

12. Beznoshchenko N. Ya. Determination of coefficients of higher terms in a parabolic equation, Siberian Math. J., 1975, vol.16, no. 3, pp. 360-367. doi: 10.1007/BF00967526.

13. Romanov V. G. An abstract inverse problem and questions of its uniqueness, Funct. Anal. Appl., 1973, vol.7, no. 3, pp. 223-229. doi: 10.1007/BF01080700.

14. Romanov V. G. On one uniqueness theorem for an integral geometry problem on a set of curves, Matematicheskie problemy geofiziki [Mathematical Problems of Geophysics], Issue 4. Novosibirsk, Computing Center, Siberian Branch of the USSR Acad. Sci., 1973, pp. 140-146 (In Russian).

Received 21/VII/2015;

received in revised form 17/XI/2015;

accepted 24/XI/2015.