Научная статья на тему 'ЧИСЛЕННОЕ ВОССТАНОВЛЕНИЕ НАЧАЛЬНОГО УСЛОВИЯ В ЗАДАЧАХ КОШИ ДЛЯ ЛИНЕЙНЫХ ПАРАБОЛИЧЕСКИХ И ГИПЕРБОЛИЧЕСКИХ УРАВНЕНИЙ'

ЧИСЛЕННОЕ ВОССТАНОВЛЕНИЕ НАЧАЛЬНОГО УСЛОВИЯ В ЗАДАЧАХ КОШИ ДЛЯ ЛИНЕЙНЫХ ПАРАБОЛИЧЕСКИХ И ГИПЕРБОЛИЧЕСКИХ УРАВНЕНИЙ Текст научной статьи по специальности «Математика»

CC BY
72
13
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
ПАРАБОЛИЧЕСКИЕ УРАВНЕНИЯ / ГИПЕРБОЛИЧЕСКИЕ УРАВНЕНИЯ / ОБРАТНЫЕ ЗАДАЧИ / НАЧАЛЬНОЕ УСЛОВИЕ / РЕГУЛЯРИЗАЦИЯ / PARABOLIC EQUATIONS / HYPERBOLIC EQUATIONS / INVERSE PROBLEMS / INITIAL CONDITION / REGULARIZATION

Аннотация научной статьи по математике, автор научной работы — Бойков Илья Владимирович, Рязанцев Владимир Андреевич

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

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

Похожие темы научных работ по математике , автор научной работы — Бойков Илья Владимирович, Рязанцев Владимир Андреевич

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

NUMERICAL RECOVERY OF THE INITIAL CONDITION IN THE CAUCHY PROBLEMS FOR LINEAR PARABOLIC AND HYPERBOLIC EQUATIONS

Background. The theory of solving inverse problems of mathematical physics is one of the most actively developing branches of modern mathematics. The interest of researchers in such problems is primarily due to the large number of their applications that have appeared in recent years in connection with the rapid development of physics and technology. Despite the large number of methods for solving inverse problems, at present, there is still a great need for the further development of new methods of solving that take into account the incorrectness of a number of inverse problems. In this paper, we propose numerical methods for solving one class of inverse problems, namely, problems of recovering the initial conditions for equations of parabolic and hyperbolic types. Materials and methods. The technique for constructing numerical methods for solving problems of recovering initial conditions for linear parabolic and hyperbolic equations is as follows. According to the well-known formulas for the generalized solution of linear parabolic and hyperbolic equations, a transition is made to the equivalent initial problems of linear integral equations of the first kind, which are then solved approximately using the continuous operator method. For this, an auxiliary system of linear differential equations is compiled and solved, which is then solved by the numerical Euler method. At the same time, numerical examples show that due to a suitable number of steps of the Euler method, a regularization of the solution of the problem can be achieved (if necessary). The convergence of the method is substantiated in terms of the stability theory of the solution of differential equations. Results. Numerical methods are developed for the approximate solution of the problem of recovering the initial condition for linear parabolic and hyperbolic equations. The authors have successfully applied the continuous operator method to the solution of the above problem. The solution of a number of model examples showed the effectiveness of the proposed results. Conclusions. Effective numerical methods are proposed for solving one class of inverse problems of mathematical physics, namely, the problem of recovering the initial condition in Cauchy problems for linear equations of hyperbolic and parabolic types. Numerical examples show that the continuous operator method can be successfully applied to the solution of the indicated types of inverse problems of mathematical physics.

Текст научной работы на тему «ЧИСЛЕННОЕ ВОССТАНОВЛЕНИЕ НАЧАЛЬНОГО УСЛОВИЯ В ЗАДАЧАХ КОШИ ДЛЯ ЛИНЕЙНЫХ ПАРАБОЛИЧЕСКИХ И ГИПЕРБОЛИЧЕСКИХ УРАВНЕНИЙ»

УДК 519.633

DOI 10.21685/2072-3040-2020-3-6

И. В. Бойков, В. А. Рязанцев

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

Аннотация.

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

Материалы и методы. Методика построения численных методов решения задач восстановления начальных условий для линейных параболических и гиперболических уравнений заключается в следующем. По известным формулам обобщенного решения линейных параболических и гиперболических уравнений выполняется переход к эквивалентным исходным задачам линейным интегральным уравнениям первого рода, которые затем решаются приближенно при помощи непрерывного операторного метода. Для этого составляется и решается вспомогательная система линейных дифференциальных уравнений, которая затем решается численным методом Эйлера. При этом на численных примерах показывается, что за счет подходящего числа шагов метода Эйлера может быть достигнута (в случае необходимости) регуляризация решения задачи. Сходимость метода обосновывается в терминах теории устойчивости решения дифференциальных уравнений.

Результаты. Построены численные методы приближенного решения задачи о восстановлении начального условия для линейных параболических и гиперболических уравнений. Авторам удалось успешно применить непрерывный операторный метод к решению вышеупомянутой задачи. Решение ряда модельных примеров показало эффективность предложенных результатов.

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

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

© Бойков И. В., Рязанцев В. А., 2020. Данная статья доступна по условиям всемирной лицензии Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), которая дает разрешение на неограниченное использование, копирование на любые носители при условии указания авторства, источника и ссылки на лицензию Creative Commons, а также изменений, если таковые имеют место.

I. V. Boykov, V. A. Ryazantsev

NUMERICAL RECOVERY OF THE INITIAL CONDITION IN THE CAUCHY PROBLEMS FOR LINEAR PARABOLIC AND HYPERBOLIC EQUATIONS

Abstract.

Background. The theory of solving inverse problems of mathematical physics is one of the most actively developing branches of modern mathematics. The interest of researchers in such problems is primarily due to the large number of their applications that have appeared in recent years in connection with the rapid development of physics and technology. Despite the large number of methods for solving inverse problems, at present, there is still a great need for the further development of new methods of solving that take into account the incorrectness of a number of inverse problems. In this paper, we propose numerical methods for solving one class of inverse problems, namely, problems of recovering the initial conditions for equations of parabolic and hyperbolic types.

Materials and methods. The technique for constructing numerical methods for solving problems of recovering initial conditions for linear parabolic and hyperbolic equations is as follows. According to the well-known formulas for the generalized solution of linear parabolic and hyperbolic equations, a transition is made to the equivalent initial problems of linear integral equations of the first kind, which are then solved approximately using the continuous operator method. For this, an auxiliary system of linear differential equations is compiled and solved, which is then solved by the numerical Euler method. At the same time, numerical examples show that due to a suitable number of steps of the Euler method, a regularization of the solution of the problem can be achieved (if necessary). The convergence of the method is substantiated in terms of the stability theory of the solution of differential equations.

Results. Numerical methods are developed for the approximate solution of the problem of recovering the initial condition for linear parabolic and hyperbolic equations. The authors have successfully applied the continuous operator method to the solution of the above problem. The solution of a number of model examples showed the effectiveness of the proposed results.

Conclusions. Effective numerical methods are proposed for solving one class of inverse problems of mathematical physics, namely, the problem of recovering the initial condition in Cauchy problems for linear equations of hyperbolic and parabolic types. Numerical examples show that the continuous operator method can be successfully applied to the solution of the indicated types of inverse problems of mathematical physics.

Keywords: parabolic equations, hyperbolic equations, inverse problems, initial condition, regularization.

Введение

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

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

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

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

Настоящая статья посвящена построению численных методов решения следующих проблем.

1. Проблема восстановления начального условия в задаче Коши для линейного параболического дифференциального уравнения.

Рассматривается задача

Требуется восстановить неизвестную функцию ф(х), если, помимо константы у > 0 и функции , х), дополнительно известной является функция и (Т, х).

2. Проблема восстановления начального условия в задаче Коши для линейного гиперболического уравнения.

Рассмотрим задачу

(л2 >

д и

= У- —Г +Ф(г,x), , xeffi,

Zk л.2

(1)

и (0, x) = ф( x).

(2)

д 2и

2

= a2 —U + Ф(Г, x), 0^T, xe ffi, dx 2

и (0, x) = ф( x),

(3)

(4)

(5)

Решаются следующие задачи:

- требуется восстановить неизвестную функцию ф(x) в предположении о том, что, помимо константы a и функций x) и Ф(Х,х), дополнительно известной является функция u(T, x);

- требуется восстановить неизвестную функцию x) в предположении о том, что, помимо константы a и функций ф(x) и Ф(Х,x), дополнительно известной является функция u(T, x).

Перечисленные задачи успешно решены в рамках данной работы. При построении численных методов широко использовался непрерывный операторный метод, ранее предложенный в статье [15]. Решение модельных примеров продемонстрировало эффективность предложенных методов.

Данная статья продолжает цикл статей [16-19], посвященных применению непрерывного операторного метода к решению различных задач математической физики.

1. Восстановление начального условия для параболического уравнения

Построим численный метод восстановления функции ф(x) в задаче (1)-(2) в предположении о том, что известной является функция u (Г, x).

Известно [20], что точное решение задачи Коши (1)-(2) дается следующей интегральной формулой:

^ X сю

и(X, х) = | 0(X,0ф©+ } | Ф&ПО(X,X — 5)ё(6)

—^ 0 —^

(X Ч)2" 4 ух '

Предположим, что функция ф(х) принадлежит пространству ¿2 (М) функций, суммируемых в квадрате на вещественной оси.

Обозначим ху =— А + уИ, где у = 0, N, И = 2А/Ы, А - достаточно большое вещественное положительное число; N - достаточно большое целое положительное число. Пусть также и (Г,ху )=%у. Примем в уравнении (6) X = Г и х = Ху, в результате чего получим:

^ Г ^

X у = | О (ху, ^Г ) +1 | Ф&п)0(х, Г — 5) (7)

—^ 0 —^

Обозначим как /у аппроксимацию интеграла

Г ^

Л Ф&п)0(х,— 8)ё^

0

где G (х, t) =

2y[n{t

exp

при помощи одной из кубатурных формул. Пусть фу =ф( ху).

Аппроксимируем первый интеграл в правой части уравнения (7) при помощи квадратурной формулы трапеций на конечном интервале [—А, А]:

A

J G(xj,T)J G(xj,T)p(%)d^

- A

N-1

~ "2 (xj' ^,T ) + G (xj, Sk+1,T )+1 2 k=0

Тогда уравнение (7) примет следующий вид:

hN-1 _

Xj = 2Z[G(xj,^k,T) + G(xj,^k+1,T)] + fj, j = 0,N. (8)

2 k=0

Система уравнений (8) является линейной относительно неизвестных значений (k)=0"N • В данной статье предлагается решать упомянутую

систему при помощи непрерывного операторного метода.

Введем в рассмотрение вспомогательные функции ф j (g), g^0, такие,

что lim ф (g) = ф . В соответствии с описанием непрерывного операторного

g^0 j j

метода [15] функции ф j (g) удовлетворяют системе обыкновенных дифференциальных уравнений:

' ( , N-1 >

d (0

d G

d (i

= ^0 •

dG

=^1 •

2 Z[G(x0'%k,T)(k(G) + G(xo,%k+1,T)(k+1 (G)] +/0

V 2 k=0

(hN-i ^

- 2[G(xi,%k,T)PPk(G) + G(xi,%k+1,T)(Pk+i(g)] +/1 -Vi

V - k=0

(9)

d (n

( i N-1

dG

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

2 Z[G(xN,%k,T)(k(g) + G(xN,%k+1,T)(k+1(G)] + J~N-VN

k=0

где цу (у = 0, N) принимает значение +1 либо —1 таким образом, чтобы обеспечить устойчивость решения системы (9).

Замечание 1. Как показано в статье [15], коэффициенты цу (у = 0,N)

могут быть определены теоретически на основе вычисления логарифмической нормы матрицы системы уравнений (9). Тем не менее, по практическим соображениям, целесообразно представляется фиксировать значения коэффициентов цу экспериментальным путем.

Для обеспечения однозначности решения к системе (9) необходимо присоединить совокупность начальных условий

Фо(0) = Vo, Фх(0) =Vi,..., ф^(0) =VN,

(10)

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

Задача (9)-(10) может быть решена любым приближенным методом решения дифференциальных уравнений. В частности, одним из наиболее простых и вместе с тем эффективных является метод Эйлера. Пусть 0 - шаг метода Эйлера, а Ь - число итераций метода Эйлера. Тогда метод Эйлера приближенного решения задачи (9)-(10) определяется последовательными

(г = 1,Ь) вычислениями по следующей цепочке формул:

f , N-1

ф0,г+1 = ф0,г + ^0

h Z[G(х0'^k,T)k,r + G((Sk+bT)k+1,r ]

v 2 k=0

+

+ f0 -V 0 ),

f , N-1

Ф1, r+1 =Ф1, r

Z [G(x1'^k,T)Фк,r + G((^k+1,T)Фк+1,г ]

V 2 k=0

+

+ f1 -V1),

(11)

f N -1

ф N ,r+1 = фN ,r + M- N

Z [G(XN,^k,T)фk,r + G(xN,Sk+bT)k+1,r ]

V 2 k=0

+

+ fN-V N ),

где

Ф jr =Ф j (Or ), Or = re, ф j,0 =Vj.

Замечание 2. Константы Цу выбраны по формуле (9).

Результат решения задачи фиксируется приближенными равенствами

ф} -ф} ь .

Модельный пример 1. Пусть требуется восстановить начальное условие задачи Коши (1)-(2), где у = 1, Ф(Х, х) = 0, если дополнительно

1 х2

известной является функция и(1, х) = —=■ ехр

л/2

Замечание 3. Точное решение поставленной задачи определяется

х2'

формулой ф( х) = ехр —— при точном решении задачи (1)-(2)

u (t, x) =

л/i + i

exp

4(t +1)

При численных расчетах были зафиксированы следующие значения параметров метода: А = 5, N = 100, 9 = 0,1.

Результат восстановления функции ф(х) показан на рис. 1 и 2. График на рис. 1 соответствует случаю Ь = 100, в то время как график на рис. 2 соответствует случаю Ь = 500. На обоих графиках по оси абсцисс отложены значения независимого аргумента, в то время как по оси ординат отложены значения точного (сплошная линия) и приближенного (пунктирная линия) решения поставленной задачи - функции ф( х).

Рис. 1. Решение модельного примера 1 (Ь = 100)

Модельный пример 2. Решим задачу восстановления функции ф(х) в задаче (1)-(2), если у = 2:

+ )2 + X + 1

ф(^, х) = -2 ■ е Х 23 (2х + 32£х2 + 16х3-4<х - 4х2 - Ш - 23х + 4),

и дополнительно известной является функция

/1 х 1

-(1+х)2 + -+3 и (1, х) = хе 2 3.

Замечание 4. Точное решение поставленной задачи дается функциями

.2 х 1 2 х 1

+х)2 +-+- - х2 +-+-

и ^, х) = хе 2 3, ф( х) = хе 2 3.

При расчетах были зафиксированы следующие параметры метода: А = 10, N = 200, М = 20, Ь = 103, 0 = 0,01.

Для вычисления интегралов /у (у = 0, N) был использован многомерный аналог квадратурной формулы трапеций. Результат решения поставленной задачи проиллюстрирован на рис. 3.

\ I

I ' I | 1 >

-1.5-'-1-1-

-10 -5 0 5 10

Рис. 3. Решение модельного примера 2

2. Восстановление начального условия для гиперболического уравнения

Перейдем к рассмотрению проблемы восстановления одного из граничных условий в задаче Коши (3)-(5) для одномерного линейного гиперболического уравнения.

Пусть сначала известной является функция х); тогда поставим задачу об отыскании функции ф(х) в предположении о том, что дополнительно известной является функция и(Т, х).

Известно [20], что общее решение задачи (3)-(5) дается интегральной формулой

и(/, х) = 2[ф(х - М) + ф(х + а/)] +

х+а1 / х+а(/-5)

+2- | 2-\ } ф(5, . (12)

х-а/ 0 х-а(/-5)

Обозначим как %(/) первообразную функции у(^) так, что

х+а/

I ^=х(х + а/)-х(х-а/).

x-at

Кроме того, определим / (х) как функцию, аппроксимирующую (например, с помощью одной из известных кубатурных формул) в точке П = х выражение

1 1*Ц+а(Г-5)

2и (Т, п)--1 | Ф(5,0 ^

а 0 П-а(Т-5)

Обозначим как А достаточно большое вещественное положительное число. Введем на хе [-А, А] равномерную сетку из узлов ху =-А + уН

с шагом Н = 2А/N, где N - достаточно большое положительное число. С целью упрощения предположим дополнительно, что существует такое целое положительное число М, что для Т справедливо равенство Т = Мт, где т = Н/а.

Пусть // = /т; тогда Т = /м. Легко видеть, что в этом случае значения ху ± а// будут совпадать с одним из узлов сетки; другими словами, для каждой упорядоченной пары (/, у) справедлива формула

ху ± М/ = ху±/. (13)

Введем в рассмотрение следующие обозначения:

иу = и(Т,ху), фу =ф(ху), ху = х(ху), /у = /(ху).

Приняв в уравнении (12) / = // и х = ху, получим

и (Ь, ху) = 1 [ ф (ху - ) + ф (■ху + )

+

Xj +ati ti Xj +a(ti -s)

+2- j + 2- j J ф( S, fyd&s, (14)

2a J 2a ■

Xj -ati 0 Xj -a(ti - s)

С учетом соотношения (13) уравнение (14) может быть переписано в виде системы из следующих линейных алгебраических уравнений:

Ф j -M + Ф j+M + х j+M - X j -M - fj>

(15)

где у = 0, N.

Система из уравнений (15) служит основой для построения численных методов решения задач, поставленных в разд. 1.

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

Рассмотрим сначала более простую задачу о восстановлении функции ф( х) при известной функции х). В этом случае значения % у ±м при 0, N

можно считать известными, поскольку тогда они в общем случае могут быть вычислены приближенно по одной из квадратурных формул.

Обозначим /у = /у - % у+ X у -м ■ Тогда решение поставленной задачи сводится к решению системы из уравнений

Фу-м +Фу+м = /у, у = 0N■

Систему (16) предлагается решать в три этапа: - на первом этапе будем последовательно при у = —М,

определять значения фу по расчетной формуле

(16)

, N+M

Г0, если -M^j < M,

Ф,

1 [/у-м - Фу-2М, если М^у^М+М;

- на втором этапе будем последовательно при у = N+М, определять значения фу по формуле

M

Ф j- ь

[0, если N - М < у^N+М, [/у+М -Фу+2М, если -Му/У-М;

- на третьем этапе искомые значения Ф у определяются по формуле

Ф j

Ф j +Ф j 2

Модельный пример 3. Пусть требуется найти функцию ф( х) в задаче (3)-(5), если известно, что а = 1,

ди

э7

2 x

t-0

(x2 +1)

-- 2 xe

и, кроме того, дополнительно известной является функция

и(1/2,x) - e"(x+l2)2

+

1

1 + (x -1/2)

2 '

Замечание 5. Точное решение задачи дается функцией

, ч -X2 1 ф(X)=е +

1 + х2

при точном решении задачи Коши (3)-(5), определяемом функцией

1

u (t, х) = е"( X+f) +

1 + (х -1)2 '

Зафиксируем следующие параметры метода: А = 5/2, т = И = 0,1.

Значения интегралов %у±м вычислялись приближенно при помощи

многомерного аналога составной квадратурной формулы трапеций с шагом И = 0,1. Результаты численного решения задачи приведены на рис. 4.

2.5

2.0

1.5

1.0

0.5

0.0

ЧЛ

ff

/ \\

\y

l

0.5

-3-2-10 1 2 3

Рис. 4. Решение модельного примера 3

Теперь рассмотрим вторую задачу. Предположив, что в задаче Коши (3)-(5) известной является функция ф(х), рассмотрим проблему восстановления функции х) в дополнительном предположении о том, что известной является функция и (Т, х).

В данном случае известными слагаемыми в уравнении (15) считаем значения фу±м, У = М, N — М. Тогда система (15) сводится к системе

Xj +M - Xj-M = fj, j = 0N, (17)

где f j = fj -9j-M -9j+m •

Систему уравнений (17) будем решать по аналогии с системой (16). Решение проведем в три этапа:

78 University proceedings. Volga region

- на первом этапе последовательно при у = —М, ... , N+М вычисляются значения

_ Г0, если -М^у < М,

Х у = {7у—М + Ху-2М, если М^/^У+М;

- на втором этапе последовательно при у = N+М, ... , — М вычисляются значения

X j = i-

Г0, если N — М < +М, |7у+М — Xу+2М , если — М^^ — М; - на третьем этапе значения X у вычисляются по формуле

X j J+_X j 2

Xj = „ , при j = -M, ... , N - M.

Далее, для того чтобы на основании найденного набора значений Ху восстановить функцию х), необходимо решить относительно этой функции систему из интегральных уравнений:

Xj +aT

1 г -

- f у© d%=Xj, j = 0, Ж (18)

a J J

а

Ху —аТ

Эта система представляет собой записанное в каждой из точек х = Ху интегральное уравнение

х+аГ*

- г V©ё^ = х(х). (19)

а ^ *

х—аГ

Для решения этого интегрального уравнения предлагается привлечь метод сплайн-коллокации, а также непрерывный операторный метод. Приравняем левые и правые части уравнения (19) в каждой точке х = ху,

а интеграл в уравнении (19) аппроксимируем при помощи составной квадратурной формулы трапеций по узлам х у. Полученную в результате

систему из линейных относительно неизвестных V у = V ху) уравнений

ъ У+М—-

— £ [/ + V/+1 ]=Ху (20)

2а к=у—М

предлагается решать при помощи непрерывного операторного метода.

Обозначим у = (-М, . ,VN+М )Т , X =(Х-М, . , XN+М )Т , а через А обозначим матрицу системы (20). Тогда применение непрерывного

операторного метода к решению системы (20) сводится к решению следующей задачи Коши для операторного дифференциального уравнения:

^ = Лф(а)-х, (21)

da

ф(0) = а, (22)

где вспомогательная вектор-функция ф(о) () связана с искомой вектор-функцией ф предельным соотношением lim ф(о) = ф. Вектор а

размерности N + 2M +1 в соответствии с описанием непрерывного операторного метода может быть зафиксирован произвольным образом; однако в целях ускорения сходимости итерационного процесса целесообразно представляется зафиксировать все компоненты вектора а нулями.

Начальная задача (21)-(22) может быть решена любым численным методом решения дифференциальных уравнений. С практической точки зрения подходящим методом является метод Эйлера как сочетающий в себе простоту с высокой эффективностью решения поставленной задачи. Пусть 0 - шаг метода Эйлера, а L - число итераций метода Эйлера. Тогда численное решение задачи (21)-(22) выполняется с помощью следующей вычислительной схемы:

Чг+1 = уг + 0"{ц°[АЧг -X]}, г = Ь _1

Т

где уг = у (сг), сг = г0; через ц обозначен вектор ц = (|_м, — ,1ы+М) с компонентами, равными +1 или -1, определяемыми таким образом, чтобы выписанная выше система была асимптотически устойчивой. Операция ° определяется как поэлементное произведение векторов одинаковой размерности.

Приближенное решение задачи фиксируется равенством у = у ь. Модельный пример 4. Проведем восстановление функции у(х) в задаче Коши (3)-(5), если известно, что Ф(Х, х) = 0, у = 1:

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

Ф(х) = ^ +-1-—, и (1, х) = е-(х+1)2 + 1

1 + (x -t)2' 1 + (x -1)2

Замечание 6. Точным решением задачи является функция

2x „ _ x2 у (x) =--- 2 xe

(x2 +1)2

при точном решении задачи Коши (3)-(5), определяемом функцией

u (t, x) = e"(x+f)2 + - 1

1 + (x -t)2 '

При численных расчетах были зафиксированы следующие параметры нного метода: А = 1°, т = Н = 0,1,0 = 0,1, Ь = 103.

Результат численного решения поставленной задачи показан на рис. 5.

1 1 /мл Ii \ ¡1

1 V v* ч/ 1 Ii V

10 -5 0 5 10

Рис. 5. Решение модельного примера 4 Заключение

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

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

1. Алифанов, О. М. Обратные задачи теплообмена / О. М. Алифанов. - Москва : Машиностроение, 1988. - 280 с.

2. Алифанов, О. М. Экстремальные методы решения некорректных задач и их приложения к обратным задачам теплообмена / О. М. Алифанов, Е. А. Артюхин, Е. А. Румянцев. - Москва : Наука. Гл. ред. физ.-мат. лит., 1988. - 288 с.

3. Бек, Дж. Некорректные обратные задачи теплопроводности / Дж. Бек, D. D. Р. Б. Блакуэлл, Ч. Сент-Клер мл. - Москва : Мир, 1989. - 312 с.

4. Латтес, Р. Метод квазиобращения и его приложения / Р. Латтес, Ж. Л. Лионс. -Москва : Мир, 1970. - 336 с.

5. Moment Theory and Some Inverse Problems in Potential Theory and Heat Conduction / D. D. Ang, R. Gorenflo, V. K. Le , D. D. Trong. - Springer, 2002. - 183 p.

6. Özisik, M. N. Inverse Heat Transfer. Fundamentals and applications / M. N. Özisik , H. R. B. Orlande. - New York : Taylor & Francis, 2000. - 330 p.

7. Кабанихин, С. И. Обратные и некорректные задачи / С. И. Кабанихин. - Новосибирск : Сибирское научное издательство, 2009. - 457 с.

8. Hasanov Hasanoglu, A. Introduction to Inverse Problems for Differential Equations / Hasanoglu A. Hasanov, V. G. Romanov. - Springer International Publishing AG, 2017. - 261 p.

9. Самарский, А. А. Вычислительная теплопередача / А. А. Самарский, П. H. Вабищевич. - Москва : Едиториал УРСС, 2003. - 784 с.

10. Самарский, А. А. Итерационное решение ретроспективной задачи теплопроводности / А. А. Самарский, П. Н. Вабищевич, В. Н. Васильев // Математическое моделирование. - 1997. - Т. 9, № 5. - С. 119-127.

11. Самарский, А. А. Численные методы решения обратных задач математической физики / А. А. Самарский, П. Н. Вабищевич. - Москва : ЛКИ, 2009. - 480 с.

12. Кабанихин, С. Н. Численный метод решения задачи Дирихле для волнового уравнения / С. Н. Кабанихин, О. И. Криворотько // Сибирский журнал вычислительной математики. - 2012. - Т. 15, № 4. - С. 90-101.

13. Optimization Method in Dirichlet Problem for Wave Equation / S. I. Kabanikhin, M. A. Bektemesov , D. B. Nurseitov, O. I. Krivorotko, A. N. Alimova // J. Inverse Ill-Posed Probl. - 2012. - Vol. 20, № 2. - P. 193-211.

14. Васильев, В. И. Итерационный метод решения задачи Дирихле и ее модификаций / В. И. Васильев, А. М. Кардашевский, В. В. Попов // Математические заметки СВФУ. - 2017. - Т. 24, № 3. - С. 38-51.

15. Бойков, И. В. Об одном непрерывном методе решения нелинейных операторных уравнений / И. В. Бойков // Дифференциальные уравнения. - 2012. - Т. 48, № 9. - С. 1308-1314.

16. Бойков, И. В. Об одном приближенном методе определения коэффициента теплопроводности / И. В. Бойков, В. А. Рязанцев // Журнал Средневолжского математического общества. - 2019. - Т. 21, № 2. - С. 149-163. - DOI 10.15507/20796900.21.201902.149-163.

17. Бойков, И. В. О численном решении коэффициентной обратной задачи для гиперболических уравнений / И. В. Бойков, В. А. Рязанцев // Известия высших учебных заведений. Поволжский регион. Физико-математические науки. - 2019. -№ 3. - С. 47-62. - DOI 10.21685/2072-3040-2019-3-4.

18. Бойков, И. В. О применении непрерывного операторного метода к решению прямой задачи для нелинейных параболических уравнений / И. В. Бойков, В. А. Рязанцев // Известия высших учебных заведений. Поволжский регион. Физико-математические науки. - 2020. - № 1. - С. 97-112. - DOI 10.21685/20723040-2020-1-8.

19. Boykov, I. V. On an iterative method for solution of direct problem for nonlinear hyperbolic differential equations / I. V. Boykov, V. A. Ryazantsev // Журнал Средне-волжского математического общества. - 2020. - Т. 22, № 2. - С. 155-163. -DOI 10.15507/2079-6900.22.202002.

20. Полянин, А. Д. Справочник по линейным уравнениям математической физики / А. Д. Полянин. - Москва : Физматлит, 2001. - 576 с.

References

1. Alifanov O. M. Obratnye zadachi teploobmena [Inverse problems of heat transfer]. Moscow: Mashinostroenie, 1988, 280 p. [In Russian]

2. Alifanov O. M., Artyukhin E. A., Rumyantsev E. A. Ekstremal'nye metody resheniya nekorrektnykh zadach i ikh prilozheniya k obratnym zadacham teploobmena [Extreme methods for solving ill-posed problems and their application to inverse problems of heat transfer]. Moscow: Nauka. Gl. red. fiz.-mat. lit., 1988, 288 p. [In Russian]

3. Bek Dzh., Blakuell D. D. R. B., Sent-Kler Ch. ml Nekorrektnye obratnye zadachi tep-loprovodnosti [Ill-posed inverse рeat TOnduction зroblems]. Moscow: Mir, 1989, 312 p. [In Russian]

4. Lattes R., Lions Zh. L. Metod kvaziobrashcheniya i ego prilozheniya [Quasi-inversion method and its applications]. Moscow: Mir, 1970, 336 p. [In Russian]

5. Ang D. D., Gorenflo R., Le V. K., Trong D. D. Moment Theory and Some Inverse Problems in Potential Theory and Heat Conduction. Springer, 2002, 183 p.

6. Özisik M. N., Orlande H. R. B. Inverse Heat Transfer. Fundamentals and applications. New York: Taylor & Francis, 2000, 330 p.

7. Kabanikhin S. I. Obratnye i nekorrektnye zadachi [Inverse and ill-posed problems]. Novosibirsk: Sibirskoe nauchnoe izdatel'stvo, 2009, 457 p. [In Russian]

8. Hasanov Hasanoglu A., Romanov V. G. Introduction to Inverse Problems for Differential Equations. Springer International Publishing AG, 2017, 261 p.

9. Samarskiy A. A., Vabishchevich P. H. Vychislitel'naya teploperedacha [Computational heat transfer]. Moscow: Editorial URSS, 2003, 784 p. [In Russian]

10. Samarskiy A. A., Vabishchevich P. N., Vasil'ev V. N. Matematicheskoe modelirovanie [Mathematical modeling]. 1997, vol. 9, no. 5, pp. 119-127. [In Russian]

11. Samarskiy A. A., Vabishchevich P. N. Chislennye metody resheniya obratnykh zadach matematicheskoy fiziki [Numerical methods for solving inverse problems of mathematical physics]. Moscow: LKI, 2009, 480 p. [In Russian]

12. Kabanikhin S. N., Krivorot'ko O. I. Sibirskiy zhurnal vychislitel'noy matematiki [Siberian journal of computational mathematics]. 2012, vol. 15, no. 4, pp. 90-101. [In Russian]

13. Kabanikhin S. I., Bektemesov M. A., Nurseitov D. B., Krivorotko O. I., Alimova A. N. J. Inverse Ill-Posed Probl. 2012, vol. 20, no. 2, pp. 193-211.

14. Vasil'ev V. I., Kardashevskiy A. M., Popov V. V. Matematicheskie zametki SVFU [Mathematical notes of NEFU]. 2017, vol. 24, no. 3, pp. 38-51. [In Russian]

15. Boykov I. V. Differentsial'nye uravneniya [Differential Equations]. 2012, vol. 48, no. 9, pp. 1308-1314. [In Russian]

16. Boykov I. V., Ryazantsev V. A. Zhurnal Srednevolzhskogo matematicheskogo ob-shchestva [Journal of the Middle Volga Mathematical Society]. 2019, vol. 21, no. 2, pp. 149-163. DOI 10.15507/2079-6900.21.201902.149-163. [In Russian]

17. Boykov I. V., Ryazantsev V. A. Izvestiya vysshikh uchebnykh zavedeniy. Povolzhskiy region. Fiziko-matematicheskie nauki [University proceedings. Volga region. Physical and mathematical sciences]. 2019, no. 3, pp. 47-62. DOI 10.21685/2072-3040-2019-34. [In Russian]

18. Boykov I. V., Ryazantsev V. A. Izvestiya vysshikh uchebnykh zavedeniy. Povolzhskiy region. Fi-ziko-matematicheskie nauki [University proceedings. Volga region. Physical and mathematical sciences]. 2020, no. 1, pp. 97-112. DOI 10.21685/2072-3040-20201-8. [In Russian]

19. Boykov I. V., Ryazantsev V. A. Zhurnal Srednevolzhskogo matematicheskogo ob-shchestva [Journal of the Middle Volga Mathematical Society]. 2020, vol. 22, no. 2, pp. 155-163. DOI 10.15507/2079-6900.22.202002. [In Russian]

20. Polyanin A. D. Spravochnik po lineynym uravneniyam matematicheskoy fiziki [Handbook of linear equations in mathematical physics]. Moscow: Fizmatlit, 2001, 576 p. [In Russian]

Бойков Илья Владимирович

доктор физико-математических наук, профессор, заведующий кафедрой высшей и прикладной математики, Пензенский государственный универс] (Россия, г. Пенза, ул. Красная, 40)

E-mail: [email protected]

Boykov Il'ya Vladimirovich Doctor of physical and mathematical sciences, professor, head of the subdepartment of higher and applied mathematics, Penza State University (40 Krasnaya street, Penza, Russia)

Рязанцев Владимир Андреевич

кандидат технических наук, доцент, кафедра высшей и прикладной математики, Пензенский государственный университет (Россия, г. Пенза, ул. Красная, 40)

E-mail: [email protected]

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

Бойков, И. В. Численное восстановление начального условия в задачах Коши для линейных параболических и гиперболических уравнений / И. В. Бойков, В. А. Рязанцев // Известия высших учебных заведений. Поволжский регион. Физико-математические науки. - 2020. - № 3 (55). -С. 68-84. - DOI 10.21685/2072-3040-2020-3-6.

Ryazantsev Vladimir Andreevich Candidate of engineering sciences, associate professor, sub-department of higher and applied mathematics, Penza State University (40 Krasnaya street, Penza, Russia)

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