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

МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ

УДК 517.956.27 Б01: 10.14529/ттр160401

О РЕШЕНИИ ОДНОЙ ОБРАТНОЙ ЗАДАЧИ, МОДЕЛИРУЮЩЕЙ ДВУМЕРНОЕ ДВИЖЕНИЕ ВЯЗКОЙ ЖИДКОСТИ

В.К. Андреев

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

Ключевые слова: обратная задача; априорные оценки; преобразование Лапласа; экспоненциальная устойчивость.

Введение

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

Ut = vuxx + f (t) + g(x,t), x e (—1, 1), t e [0,T]; (0.1)

u(x, 0) = u0(x), x e (-1,1); (0.2)

i

u(-1,t)= Ui(t), u(1,t) = u2(t), j u(x,t) dx = q(t), t e [0,T], (0.3)

-i

Здесь функции g(x,t), u0(x), u1(t), u2(t), q(t) и постоянные v > 0 T > 0 считаются заданными, a u(x,t),f (t) - искомыми. Таким образом, задача (0.1) - (0.3) является обратной. Для ее гладких решений необходимо потребовать выполнения условий согласования

i

u0(—1) = u1(0), u0(1) = u2(0), У u0(x) dx = q(0).

-i

К задаче (0.1) - (0.3) приводит математическое моделирование двумерных ползущих движений вязкой жидкости специального вида в плоском канале [1,2] или вязкой

теплопроводной жидкости в модели микроконвекции [3]. При этом функция / (г) есть продольный вдоль канала градиент давления, который ищется вместе с полем скоростей и температур. Функции и\(Ь), и2(г) задают движение стенок канала, а д(х,г) -известное распределение температуры в нем для уравнений микроконвекции. Третье условие (0.3) представляет собой заданный расход жидкости через поперечное сечение слоя. Постоянная V в уравнении (0.1) есть кинематическая вязкость жидкости. Конечно, возможна и чисто тепловая интерпретация задачи (0.1) - (0.3).

Следует ОТМСТИТЬ? Ч[ТО обратные ЗЭДсХЧИ для параболических уравнений с интегральным условием переопределения более общего вида, чем (0.3), рассматривались в достаточно большом количестве работ, см., например, [4-8] и другие. Более полный обзор работ имеется в [9]. Как правило, в них доказывается существование и единственность решения, рассматриваются и обосновываются методы построения при-0ЛИЖ6ННЫХ решений для случая (а он, по-видимому, представляет наибольшую трудность), когда неизвестная функция / (г) входит в правую часть основного уравнения (системы) мультипликативным образом.

В данной работе неизвестная / (г) входит в правую часть аддитивным слагаемым -это следует из постановок гидродинамических задач, упомянутых выше. Пользуясь спецификой задачи (0.1) - (0.3), ее одномерностью, удается получить достаточные условия сходимости ее решения к стационарному в равномерной метрике (в интегральной метрике подобный результат был получен в [7]), построить решение в виде рядов по специальному базису и тем самым решить уравнение второго рода для / (¿), если перейти к задаче для нагруженного уравнения. Кроме того, получена конечная формула преобразования Лапласа ядра интегрального уравнения, полезная при численном нахождении /(г). Остальные гидродинамические характеристики: вертикальная компонента скорости, давление - легко восстанавливаются по функциям и(х,г),

/(*) й-

Произведем замену

3 11

и(х,г) = у(х,г)+4 [щ(г)+и2(г)-д(г)]х2Ыг)-и1(г)]х+4 \:зд(г)-и1(г)-и2(г)], (0.4)

тогда функции у(х,г), /(г) суть решение задачи

У = ™хх + /(г) + к(х,г), х е (-1,1), г е [0,Т]; (0.5)

31 у(х, 0) = ио(х) - 4 \и1(0) + и2(0) - з(0)]х2 - 2 [и2(0) - и1(0)]х

- 1 [3д(0) - и1 (0) - и2(0)] = Уо(х); (0.6)

1

у(±1,г) = 0, J ь(х,г) йх = 0, г е [0,т], (0.7)

-1

к(х,г) = д(х,г) - 3 [и!(г) + и'2(г) - д'(г)]х2 - 1 [и'2(г) - и[(г)]х

1 3

- ^ [3q'(t) - u1(t) - u'2(t)] + ^ ^Ui(t) + U2(t) - q(t)] (O.i

и штрих означает дифференцирование по t.

Интегрирование уравнения (0.5) ПО X ОТ — 1 до 1 с использованием второго условия (0.7) дает связь

1

/ И) = 1^х(—1)1) — ух(1,г)] — I к(х,г) (0.9)

-1

Итак, если и1 (£), иХ(Ь), д(Ь) принадлежат С "^Т], д(х,Ь) Е С((—1,1) х [0,Т]), то задача (0.1) - (0.3) эквивалентна задаче (0.5) - (0.7), причем /(Ь) определяется (по известной у(х,1)) равенством (0.9). Ниже и изучается задача определения функций у(х,1)ъ /(Ь). Дополнительные требования Нс1 ВХОДНЫ6 ДсШНЫб будут сформулированы позднее.

1. Априорные оценки

Лемма 1. Решение задачи (0.5) - (0.8) определяется единственным образом.

Доказательство. Умножение уравнения (0.5) на ь(х,Ь) и интегрирование с использованием граничных условий (0.7) приводит к равенству

1 1 1

^2 J у2(х,~к) + ^У ьХ.(х,£) ¿х = J к(х,^(х,Ь) ¿х. (1.1)

-1 -1 -1 Поскольку в нашем случае имеет место неравенство Стеклова

1 1

У ь2(х,1) ¿х ^ 4 J ьХс(х,Ь) ¿х, 11

то из (1.1) легко найти оценку

1 1 1/Х *

¿х^ +У еп2ит/Хк(г) йт

V (х, Ь) ¿х ^

(1.2)

-1 -1 о

с функцией 1 ^ 1/Х

к(г)=( ! к2(х,Ь) ¿хЛ . (1.3)

-1

Из неравенства (1.2) и вытекает единственность определения v(x, Ь), а из (0.9) и /(Ь).

□

Замечание 1. Если интеграл

те

гг2

у еПит/Хк(т) ¿т (1.4)

о

сходится (это означает, что к(Ь) ~ е-п2ит/Х при Ь ^ то), то ¿Х-норма функции v(x,t) экспоненциально убывает с ростом времени Ь.

Оказывается, что можно получить оценку \v(x, равномерную по х Е [—1,1] и Ь Е [0,Т]. Для этого заметим, что наряду с (1.1) имеет место другое интегральное тождество

1 1 1

у V2 ¿х + — У' vХ ¿х = — У ¿х, -1 -1 -1

Вестник ЮУрГУ. Серия «Математическое моделирование <-?

и программирование» (Вестник ЮУрГУ ММП). 2016. Т. 9, № 4. С. 5-16

2

откуда, учитывая обозначение (1.3),

vX dx ^ / v^x dx + k2(r) dr.

В силу неравенств (1.2), (1.5) имеем

i

v2(x,t) = 2 / vvx dx ^ 2^ J v2 dx) I vX dx) ^ 2

i

\ i/x

i

+ en2vT/Ak(r) dr

i

i

^ J v0(x) d^ + i

i/2

(1.5)

x v02x dx + J k2(r) d^ e-nvt/4 = k2(t)e-nvt/A, (1.6)

поэтому

Кх,г)| ^ к(г)в-ж2и1/8 (1.7)

для всех х е [-1,1] и г е [0,Т]. Следовательно, если сходится интеграл (1.4), то функция к(г) ограничена для всех г е [0, то] и 1у(х,г)1 ^ 0 при г ^ то равномерно по х е [-1,1].

г

уг(х, г), где нужно /(г) заменить на /г(г), Н(х,г) иа, Нг(х,г), начальные данные (0.6) на

i

- У h(x, 0) dx| i

vt(x, 0) = vvoxx + ~2Л v [vox ( 1) - vox (1)] - / h(x, 0) dx} = vio(x). (1.8)

Здесь использовано уравнение (0.5) и равенство (0.9). Поэтому для vt(x, t) будут спра-

k ( t)

ki(t)=^j h2(x,t) dx^ , i

(1.9)

(1.10)

а вместо у0(х) - функция у10(х) из (1.8). Значит,

|уг(х,г)| ^ к1(г)е-п2^г/8

с ограниченной функцией

к1(г)=|2^У у20(х) йх^ ' +! еж2ит/4 к1(т) й^У ^20х йх + ^ к2(т) йт^' | '. (1.11) -1 0 -10 Оценку неизвестном /(г)

нение (0.6) на полином 2-го порядка х2 - 1 и проинтегрируем по промежутку [-1,1],

/(г)

f (t)=4

J (x2 - 1)h(x, t) dx -J (x2 - 1)vt(x, t) dx -i -i

(1.12)

i

i

t

x

t

i

t

i

i

Применение неравенств Коши - Буняковского к первому интегралу в (1.12) и (1.10) для второго интеграла дает оценку

\f(t)\ k(t) + h(t)e-n2vt/8 (1.13)

с функциями k(t), k1(t) из (1.3) и (1.11) соответственно. В выражении для ki (t) функция ki(t) определяется равенством (1.9).

Замечание 2. Если дополнительно к (1.4) сходится интеграл

сю

J en2vT'Akl(r) dT, (1.14)

о

то k1(t) ограничена для всех t ^ 0 и \f (t)\ ^ 0 при t ^ ж по экспоненциальному закону. Кроме того, из (0.5) и оценок (1.7), (1.10) и (1.13) аналогичный результат имеет место и для \vxx\.

Нами ДОКЭЗсШсХ

Теорема 1. Пусть vo(x) е C[-1,1] П C2(-1,1), h(x,t), ht(x,t) е C((-1,1) х [0,Т]), ft(t) е C(0,T), и решение задачи (0.5) - (0.7) существует, тогда оно является единственным, и выполнены оценки (1.8), (1.10), равномерные для всех x е [-1,1] и t е [0, Т]. Если интегралы (1.4), (1.14) сходятся, то функции v(x,t), f (t) стремятся к нулю с ростом, времени по экспоненциальному закону.

В следующем пункте устанавливается существование решения.

2. Построение решения в виде рядов по специальному базису

v(x, t)

начально-краевой задаче для него. Однако мы пока этого делать не будем, а поступим следующим образом. Поскольку в (0.9) входят неизвестные производные vx(±1,t),

x

w(x,t) = vx(x,t). (2.1)

Она - решение начально-краевой задачи

wt = vwxx + hx(x,t), x е (-1,1), t е [0,T]; (2.2)

w(x, 0) = v0x(x) = w0(x), x е (-1,1); (2.3) i i

J w(x,t) dx = 0, J xw(x,t) dx = 0, t е [0,Т]. (2.4) -i -i Первое из условий (2.4) следует из (2.1), так как

x

v(x,t) = У w(x,t) dx, (2.5)

-i

а второе - из интегрирования по частям второго равенства (0.7).

Вестник ЮУрГУ. Серия «Математическое моделирование q

и программирование» (Вестник ЮУрГУ ММП). 2016. Т. 9, № 4. С. 5-16

Неклассическая начально-краевая задача (2.2) - (2.4) решается методом разделения переменных, именно

w(x, t) = ^^ wk(t) sin ¡kx, (2.6)

k=1 t

Wk (t) = ak + j bk (r (t-T)dr, (2.7)

i 0 i 1+ ^ Г 1+ 2 г ak =-¡ w0(x)sin ¡kxdx, bk (t) =-¡ hx(x,t)sin ¡kxdx, (2.8)

¡¡k J ¡¡k J

-1 -1

¡k - положительные корни ypавнения tg ¡¡ = ¡, причем [10] ¡k = £ — £-1 — 2£-3/3 + O(£-5), £ = n(k + 1/2). Легко доказывается (см., например, [11, с. 381], [12]) что ряд (2.6) представляет собой классическое решение задачи (2.2) - (2.4) при t ^ е > 0 и wo(x) е C[—1,1], hx е C([—1,1] X [0,T]).

Замечание 3. Система функций sin ¡¡kx является ортогональной в L2 на отрезке [-1,1] с нормой ¡k(1 + ¡k)-1/ 2 и образует там базис. Эти функции есть решения задачи Hci собственные значения

1 1

Xxx + АХ = 0, x е (—1,1); Jx(x) dx = J xX(x) dx = 0

-1 -1

с А = Ak = ¡k-

Из (0.9) и (2.6), (2.7) находим

^ 1 1 f(t) = —v^2wvk(t)sin ¡k — 2 h(x,t) dx, (2.9)

а из (2.5) восстанавливаем v(x,t):

те i

v(x, t) = ^^ — wk(t)(cos ßk — cos ßkx). (2.10)

k—i ßк

Искомая функция u(x,t) определяется из замены (0.4). Формулы (2.9), (2.10) и дают классическое решение задачи (2.2) - (2.4) при указанных выше условиях на w0 (x), h(x, t).

Замечание 4. Легко видеть, что f (t) в задаче (0.5) - (0.7) определяется только по четной части решения v(x,t).

Действительно, пусть h(x,t) = h4(x,t) + hH(x,t), v0(x) = v4o(x) + vHo(x) и v(x, t) = v4(x, t) + vH(x, t). Тогда для vH(x, t) получим классическую первую начально-

h ( x, t)

v ( x)

f (t) + h4(x, t), начальным значением v4o(x), а интеграл в (0.7) берется по промежутку [0,1]. Формулы (0.9), (2.9) упрощаются,

i i

/те г,

h4(x,t) dx = (t)sinßk — h4(x,t) dx. (2.11)

к—i J

0 k—1 0

Далее предполагается, что в задаче (0.5) - (0.7) V = vч, к = кч, v0 = vчo, индекс "ч" всюду ниже опускается.

Будем искать теперь решение первой краевой задачи для нагруженного уравнения (0.5), где / (¿) определена первой формулой (2.11), в виде ряда Фурье

п

= 2(2П

n=0

ix,t) = J2 Vn(t)cos inx, in = 2(2n +1), (2.12)

при этом v(±1,t) = 0, второе условие (0.7) использовано при выводе равенства (0.9). Представляя h(x,t) и vo(x) в виде аналогичных рядов с коэффициентами

1 1 hn(t) = 2 J h(x,t)cos £nxdx, vn0 = 2 J v0(x)cos £nxdx oo и пользуясь ортонормальностью базиса cos £nx, из уравнения (0.5) находим для коэффициентов ряда (2.12)

t

Vn (t) = Vnoe +

Из (2.11) получим

2

(-1)n+12 f (T) + hn(T)

in

e-v^n(t-T) dT. (2.13)

1

oo „

f (t) = ^(-1)ninVn(t) - h(x,t) dx, (2.14)

n=0 0 1

те 1

f (0) = ^(-1)ninVn(0) - h(x, 0) dx.

v у (-l)ninVn\ n=0 0

Подстановка vn(t) из (2.13) в (2.14) приводит к интегральному уравнению второго рода (уравнение Вольтерры) на /

г

те

m(

f (t) = -2v f (te-v^(t-T. dT + m(t), (2.15)

0 n=0

t

те

m(t) = - I h(x,t) dx + (-1)n6

n=0

-vilt + hn(T)e-v&(t-T. dT

(2.16)

0

т(0) = /(0). Ядро интегрального уравнения есть сумма ряда Дирихле

те

К(у) = у> У = t - Т. (2.17)

п=0

Лемма 2. Функция /определяемая вторым равенством (2.11), является решением интегрального уравнения, (2.15).

Доказательство. Проведем его для w0(x) = A sin fikx, где A = const k - фиксирован-h(x, t) = 0

ми. Из (2.11) f (t) = -vAe-u^kt sin ¡ik, а из (2.10) V(x,t) = fi-1Ae-u^k.(cos цк - cos цкx).

Значит, коэффициенты ряда Фурье начальной функции v0(x) = цk1(cos цк — cos цкx) по системе cos £nx имеют вид

2A(—1)n sin лк ( 1\ .

vn°=-m——ir, £n=Ч"+2)- (2Л8)

Функция m(t) из (2.16) с помощью формулы (2.18) перепишется так:

х—^ e

m(t) = 2vA sin ¡к ¿2 2 _ С2 • (2Л9)

—0 ¡к £n

n=0

Вычислим первое слагаемое правой части уравнения (2.15):

t

„ оо

2v2 A sin ¡к TV (t-T) dr =

0

n—0

2vA sin ¡к

-P~vnt

те ,.ti t

21 v—л e~v^"t

С2 _ ¡2 X/

n—0 Сп — ¡к n—0 ¡к—

(2.20)

Сумма первого ряда в квадратных скобках равна [13, с. 688]

1 (п _ ) 2

п Цк V 2 ) п

Поскольку tg ц к = 1к, эта сумма есть 1/2. Значит, правая часть (2.20) с учетом (2.19) и есть /(Ь) — т(Ь), что и доказывает лемму. □

Уравнение (2.15) можно решить и методом преобразования Лапласа, продолжив функцию к(х, Ь) нулем вне отрезка [0, Т], считая, что при Ь = Т она имеет разрыв 1-го рода [14]. Пусть

^ те

ад = / е"*п(Ь) Л

0

есть преобразование Лапласа п(Ь). Тогда в изображениях уравнение (2.15) имеет решение [15,16]

\ * ( \ , Кс(Р)тт(Р)

/(Р) = тур) + --?—,

1 — К (р)

откуда

/(Ь) = т(Ь) + У к(Ь — т)т(т) йт, (2.21)

0

где к(Ь) есть оригинал К(р)(1 — К(р))-1. В нашем случае [14] из (2.17)

K (p) 0 ^ 1

1 — K (p) n—0 p + <

Поскольку [13]

1

n—0 P + <n

-1

ад•

n—0 p + vcn V p vv

получим _

f / ч t^/p/v , ,

k(p) =--- yi t . (2.22)

л/p/v + th ^p/v

Формула (2.22) может быть полезна при численном решении уравнения (2.15).

Замечание 5. Используя равенства (2.16), (2.22), можно доказать совпадение выражений для f (t) (2.11) и (2.21).

3. О поведении решения при t ^ ж

Сначала найдем стационарное решение. В этом случае в задаче (0.6) - (0.8) начальные данные (0.7) не ставятся; функция hs те зависит от времени t, и решение vs (x), fs определяется по формулам

x

fS If

Vs(x) = C1x + C2 - 2-х2--(x - z)hs(z) dz,

2v v j

i l

fs = 3j z2hs(z) dz, Ci = 1J hs(z) dz, (3.1)

0 0 i

/ и

0

C2 = - I (l + 3 z^ hs(z) dz.

Исходное решение us(x) найдется из замены (0.4)

3 11

us(x) = vs(x) + 4(и\ + u'2 - qs)x2 + ^ (u'2 - u\)x + 4 (3qs - u\ - us2). (3.2)

В формулах (3.1) функция hs(z) считается четной согласно замечанию 2.

Если в задаче (0.6) - (0.8) функция h (x, t) задана для всех t ^ 0, то возникает вопрос об асимптотическом поведении функций v(x,t) и f (t) при t ^ ж. В частности,

h(x, t)

на стационарный режим (3.1)? Для ответа на этот вопрос произведем замену

V (x,t) = vs (x) - v(x,t), F (t) = fs - f (t), (3.3)

тогда V (x,t) и F (t) являются решением задачи (0.6) - (0.8) с заменой h(x,t) на

H(x,t) = hs(x) - h(x, t) (3.4)

и начальных данных на

Vo(x) = vs(x) - vo(x). (3.5)

Имеет место

Теорема 2. При условии сходим,ости интегралов

сю сю

¡K (t )en2vT/4 dr, [ K1(r )en2vT/4 dr, (3.6)

где 1 1

K (t) H2(x,t) dx^ , Ki(t) H?(x,t) dx^j

-1 -1

решение задачи (0.6) - (0.8) с ростом, времени Ь стремится к стационарному режиму (3.1) по экспоненциальному закону.

Доказательство. Действительно, в этом случае для V(х,Ь) из (3.3) С П р с1В6 дл ивы оценки (1.7), (1.10), а для Г(Ь) - оценка (1.13) с указанными выше заменами Н(х,Ь) на Н(х,Ь) из (3.4) и зд(х) на V0(x) из (3.5). □

Замечание 6. В условиях теоремы 3 имеет место экспоненциальная устойчивость стационарного решения (3.1). В терминах исходных данных задачи (0.1) - (0.3) для ограниченности интегралов (3.6) достаточно потребовать сходимости интегралов

те 1 те 1

1^[9(х,т) - gs(x)Ydx^eж2vт/4 ¿т, ^ ^ д2т(х,т) ¿хвп2ит/4 dт;

0 -1 0 -1 те те

[п3 (т) - us]2en2vT/4 dT, j = 1, 2, / [u{n) (т)]2en2vT/4 dr, n = 0,1, 2,

0 0 те те

J [q(r) - qs]2en vT/4 dr, J [q(n)(r)]2en vT/4 dr, n = 0,1, 2.

00

Литература

1. Andreev, V.K. Unsteady 2D Motions a Viscous Fluid Described by Partially Invariant Solutions to the Navier - Stokes Equations / V.K. Andreev // Journal of Siberian Federal University. Mathematics and Physics. - 2015. - V. 8, № 2. - P. 140-147.

2. Andreev, V.K. On an Inverse Problem for Two-Dimensional Navier - Stokes Equation / V.K. Andreev // Abstracts of the International Conference «Differential Equations and Mathematical Modeling». - Ulan-Ude, 2015. - P. 44-45.

3. Mathematical Models of Convection / V.K. Andreev, Yu.A. Gaponenko, O.N. Goncharova et al. - Berlin: Walter de Gruyter GmbH k Co. KG, 2012. - 417 p. DOI: 10.1515/9783110258592

4. Prilepko, A.I. Methods for Solving Inverse Problems in Mathematical Physics / A.I. Prilepko, D.G. Orlovsky, I.A. Vasin. - N.-Y.: Marcel Dekker, 1999.

5. Cannot, J.R. Determination of a Parameter 'p(t) in Some Quasi-Linear Parabolic Differential Equations / J.R. Cannot, Y. Lin // Inverse Problems. - 1988. - V. 4. - P. 35-45.

6. Васин, И.А. О некоторых обратных задачах динамики вязкой несжимаемой жидкости в случае интегрального переопределения / И.А. Васин // Журнал вычислительной математики и математической физики. - 1992. - Т. 32, вып. 7. - С. 1071-1079.

7. Васин, И.А. Об асимптотическом поведении решений обратных задач для параболических уравнений / И.А. Васин, В.Л. Камынин // Сибирский математический журнал. -1997. - Т. 38, № 4. - С. 750-766.

8. Кожанов, А.И. Параболические уравнения с неизвестным коэффициентом, зависящим от времени / А.И. Кожанов // Журнал вычислительной математики и математической физики. - 2005. - Т. 45, № 12. - С. 2168-2184.

9. Пятков, С.Г. О некоторых классах линейных обратных задач для параболических систем уравнений / С.Г. Пятков, Е.И. Сафонов // Сибирские электронные математические известия. - 2014. - Т. И. - С. 777-799.

10. Олвер, Ф. Введение в асимптотические методы и специальные функции / Ф. Олвер. -М.: Наука, 1978. - 375 с.

11. Михлин, С.Г. Линейные уравнения в частных производных / С.Г. Михлин. - М.: Высшая школа, 1977. - 431 с.

12. Ильин, В.А. О разрешимости смешанных задач для гиперболических и параболических уравнений / В.А. Ильин // Успехи математических наук. - 1960. - Т. 15, вып. 2 (92). -С. 97-154.

13. Прудников, А.П. Интегралы и ряды / А.П. Прудников, Ю.А. Брычков, О.И. Маричев. -М.: Наука, 1981. - 800 с.

14. Лаврентьев, М.А. Методы теории функций комплексного переменного / М.А. Лаврентьев, Б.В. Шабат. - М.: Наука, 1973. - 736 с.

15. Дёч, Г. Руководство к практическому применению преобразования Лапласа / Г. Дёч. -М.: Наука, 1965. - 288 с.

16. Полянин, А.Д. Справочник по интегральным уравнениям / А.Д. Полянин, A.B. Ман-жиров. - М.: Факториал Пресс, 2000. - 384 с.

Виктор Константинович Андреев, доктор физико-математических наук, профессор, зав. отделом «Дифференци^ьные уравнения механики>, Институт вычислительного моделирования СО РАН - обособленное подразделение ФИЦ КНЦ СО РАН

(г. Красноярск, Российская Федерация), andr@icm.krasn.ru.

Поступила в редакцию 28 июня 2016 г.

MSC 35K20 DOI: 10.14529/mmp160401

ON THE SOLUTION OF AN INVERSE PROBLEM SIMULATING TWO-DIMENSIONAL MOTION OF A VISCOUS FLUID

V.K. Andreev, Institute Computational Modelling SB KAS, Krasnoyarsk, Russian Federation, andr@icm.krasn.ru

An inverse initial boundary value problem for a linear parabolic equation that arises as a result of mathematical modelling of 2D creeping motion of viscous liquid in a flat channel is considered. The unknown function of time is added in the right part of equation and can be found from additional condition of integral overdetermination. This problem has two different integral identities, permitting to obtain a priori estimates of solutions in uniform metric and to proof the uniqueness theorem. Under some restrictions on input data the solution is constructed as a series in the special basis. For this purpose the problem is reduced by differentiation with respect to the spatial variable to a direct non-classic problem with two integral conditions instead of ordinary ones. The new problem is solved by separation of variables, which allows one to find the unknown functions in the form of rapidly converging series. Another method for solving the initial problem is to reduce the problem to the loaded equation and to state the first initial boundary value problem for this equation. In its turn, this problem is reduced to one-dimensional in time Volterra operator equation with a special kernel. It is proved that it has a series solution. Some auxiliary

B.K. AHflpeee

formulas which are useful for the numerical solution of this equation by the Laplace transform are obtained. Sufficient conditions under which the solution with increasing time converges to steady regime by exponential law are established.

Keywords: inverse problem; a priori assessment; Laplace transform; exponential stability.

References

1. Andreev V.K. Unsteady 2D Motions a Viscous Fluid Described by Partially Invariant Solutions to the Navier - Stokes Equations. Journal of Siberian Federal University. Mathematics and Physics, 2015, vol. 8, no. 2, pp. 140-147.

2. Andreev V.K. On an Inverse problem for Two-Dimensional Navier - Stokes Equation. Abstracts of the International Conference "Differential Equations and Mathematical Modeling". Ulan-Ude, 2015, pp. 44-45.

3. Andreev V.K., Gaponenko Yu.A., Goncharova O.N., Pukhnachev V.V. Mathematical Models of Convection. Berlin, Walter de Gruyter GmbH &; Co. KG, 2012. 417 p. DOI: 10.1515/9783110258592

4. Prilepko A.I., Orlovsky D.G., Vasin I.A. Methods for Solving Inverse Problems in Mathematical Physics. N.Y., Marcel Dekker, 1999.

5. Cannot J.R., Lin Y. Determination of a Parameter p(t) in Some Quasi-Linear Parabolic Differential Equations. Inverse Problems, 1988, vol. 4, pp. 35-45. DOI: 10.1088/02665611/4/1/006

6. Vasin I.A. On Some Inverse Problems of the Dynamics of a Viscous Incompressible Fluid in the Case of Integral Overdetermination. Computational Mathematics and Mathematical Physics, 1992, vol. 32, no. 7, pp. 955-963.

7. Vasin I.A., Kamynin V.L. On the Asymptotic Behavior of the Solutions of Inverse Problems for Parabolic Equations. Siberian Mathematical Journal, 1997, vol. 38, no. 4, pp. 647-662. DOI: 10.1007/BF02674572

8. Kozhanov A.I. Parabolic Equations with an Unknown Time-Dependent Coefficient. Computational Mathematics and Mathematical Physics, 2005, vol. 45, no. 12, pp. 2085-2101.

9. Pyatkov S.G., Safonov E.I. On Some Classes of Linear Inverse Problems for Parabolic Equations. Siberian Electronic Mathematical Reports, 2014, vol. 11, pp. 777-799. (in Russian)

10. Olver F. Vvedenie v asimptoticheskie metody i spetsial'nye funktsii [Introduction to Asymptotics and Special Functions]. Moscow, Nauka, 1978. 375 p.

11. Michlin S.G. Lineynye uravneniya v chastnykh proizvodnykh [Linear Partial Differential Equations]. Moscow, Vysshaia shkola, 1977. 431 p.

12. Ilyin V.A. [On the Solubility of Mixed Problems for Hyperbolic and Parabolic Equations]. Russian Mathematical Surveys, 1960, vol. 15, issue 2, pp. 97-154. (in Russian)

13. Prudnikov A.P., Brychkov Yu.A., Marichev O.I. Integraly i ryady [Integrals and Series]. Moscow, Nauka, 1981. 800 p.

14. Lavrentyev M.A., Shabat B.V. Metody teorii funktsiy kompleksnogo peremennogo [Methods of Theory of Complex Variable Functions]. Moscow, Nauka, 1973. 736 p.

15. Doetsch G. Rukovodstvo k prakticheskomu prim,eneniyu, preobrazovaniya Laplasa [Anleitung zum praktischen Gebrauch der Laplace-Transformation]. Moscow, Nauka, 1965. 288 p.

16. Polyanin A.D., Manzhirov A.V. Spravochnik po integral'nym uravneniyam [Handbook of Integral Equations]. Moscow, Factorial Press, 2000. 384 p.

Received June 28, 2016