УДК 519.633.2
DOI: 10.14529/cmse190401
ИССЛЕДОВАНИЕ МЕТОДА ПИКАРА ПРИ РЕШЕНИИ ОБРАТНОЙ ЗАДАЧИ КОШИ ДЛЯ УРАВНЕНИЯ ТЕПЛОПРОВОДНОСТИ
© 2019 Х.К. Аль-Махдави
Южно-Уральский государственный университет (454080 Челябинск, пр. им. В.И. Ленина, д. 76) E-mail: [email protected] Поступила в редакцию: 08.01.2019
В данной работе поставлена и решена обратная задача Коши для уравнения теплопроводности. В этой задаче начальное распределение температуры неизвестно, а вместо него дано распределение температуры в момент времени t = T > 0. Среди математических задач выделяется класс задач, решения которых неустойчивы к малым изменениям исходных данных. Они характеризуются тем, что сколь угодно малые изменения исходных данных могут приводить к большим изменениям решений. Хорошо известно, что данная задача некорректно поставлена. Для решения прямой задачи используется метод разделения переменных. Заметим, что метод разделения переменных совершенно неприменим для решения обратной задачи Коши, так как приводит к достаточно большим погрешностям, а также к расходящимся рядам. В.К. Иванов заметил, что если обратную задачу решать методом разделения переменных, а затем полученный ряд заменять частичной суммой ряда, у которой число слагаемых зависит от 5, N = N(5), то в результате получим устойчивое приближенное решение. Метод Пикара использует регуляризующее семейство операторов {Rn}, отображающих пространство L2[0,1] в себя. Приведены результаты вычислительных экспериментов и произведена оценка эффективности данного метода.
Ключевые слова: обратная задача теплопроводности, метод Пикара, некорректная задача, проблема Коши.
ОБРАЗЕЦ ЦИТИРОВАНИЯ
Аль-Махдави Х.К. Исследование метода Пикара при решении обратной задачи Коши для уравнения теплопроводности // Вестник ЮУрГУ. Серия: Вычислительная математика и информатика. 2019. Т. 8, № 4. С. 5-14. DOI: 10.14529/cmse190401.
Введение
Многие прикладные задачи, сформулированные как обратные задачи математической физики, относятся к классу некорректно поставленных задач. Обратная задача Коши для уравнения теплопроводности определяется как некорректная задача [3] в том смысле, что «небольшое» произвольное изменение данных может привести к «большим» ошибкам в решении.
Заметим, что исследуемая нами обратная задача для уравнения теплопроводности может быть решена и многими другими методами. Например, методом регуляризации А.Н. Тихонова [5], методом М.М. Лаврентьева [6], методом квазирешений В.К. Иванова [1, 2] и многими другими. Так, многие из методов, описанных для решения обратных задач математической физики, также описывали решение классической задачи прямой теплопроводности. Основы оптимальных методов были получены для решения некорректных задач, а также способов оценки точного решения и точности оценок ошибок порядка для этих методов [4].
Теоретические концепции и вычислительная реализация, связанные с обратной задачей Коши уравнения теплопроводности, обсуждались многими авторами, и было описано
много методов. В [7] используется метод регуляризации Тихонова для построения функции стоимости для исходной задачи обратной теплопроводности и преобразования ее в задачу оптимизации. Метод регуляризации Тихонова, используемый для решения теплового потока на передней поверхности толстой пластины, основан на измеренной истории температуры на задней поверхности пластины, которая изолирована. Метод полудискретного регулирования используется для определения распределения температуры в пластине [8]. Итеративная схема разбивает сложную задачу оптимизации на несколько более простые подзадачи и объединяет преимущества альтернативной методики оптимизации. Обратные задачи теплопроводности треугольной стенки, решаемые методом сопряженного градиента, были связаны с методом конечных элементов для определения двумерных изменений температур и тепловых потоков на поверхности стенки со временем [9]. Обратная пространственно-зависимая задача об источнике была исследована для уравнения теплопроводности. Метод регуляризации Тихонова использовался для решения задачи [10].
Основная идея этой работы состоит в том, чтобы восстановить функцию источника уравнения диффузии, используя метод Пикара, предложенный в [1, 2]. Метод разделения переменных использовался для решения прямой задачи для уравнения с частными производными для уравнения теплопроводности. Все эти шаги будут реализованы через разделы этой статьи. В разделе 1 была рассмотрена математическая формулировка этой проблемы, и метод разделения переменных использовался для ее решения в качестве прямой задачи. Раздел 2 посвящен обратной задаче Коши для уравнений теплопроводности и дает описание известных данных и оператора. Раздел 3 демонстрирует использование метода Пикара при помощи регуляризующего семейства операторов ^н}, отображающих пространство L2 [0,1] в себя. Пример для проверки точности нашего оценочного решения представлен в разделе 4. Наконец, объяснение предложенного метода было обобщено в заключительном разделе с предлагаемой будущей работой.
1. Постановка прямой задачи Коши для уравнения теплопроводности
Прямая задача состоит в теплопроводности, проходящей через бар с определенным граничным условием и начальным температурным условием. Математическая формулировка этой проблемы была описана следующим парциальным дифференциальным уравнением
-ЛИГ1' 0<^<1 •'е(0-г], (1)
и(1,0) = ио(х); хе[0,1], (2)
и(0,0 = и(1,0 = 0; се [0,Г]. (3)
Предложим, что и0(х) е Нд[0,1].
Требуется определить функцию иО,ОеС([0,1] X [0, Г]) ПС2Д(0,1) X (0,Г|), удовлетворяющую уравнению (1) на хе [0,1] и £ е (0,Г], а также начальному условию (2) и граничным условиям (3).
Решая задачу (1-3) методом разделения переменных, получим
от
и(х, 0 = ^ ап е~(пп^>2г зт(ппх), (4)
п=1
где хе [0,1], £ 6 [0,Г], а
от
щ(х) = ^ а-п $т(ппх), (5)
п=1
где
ап = 2 I и0(х) ят^ппх ) (6)
2. Постановка обратной задачи Коши для уравнения теплопроводности
В (1-3) можно рассмотреть обратную задачу Коши для уравнения теплопроводности, т.е. известно распределение температуры в момент времени £ = Т> 0, и{х,Т), и требуется найти начальное распределение и0(х), считая, что и0(х) 6 Яд[0,1].
Предположим, что нам известна функция д$(х) 6 С [0,1], являющаяся решением прямой задачи при £ = Т,
и(х,Т) = д0(х). (7)
Точное значение функции д$(х) неизвестно, а вместо него дано пара (^(х) и 5), где 6 С[0,1], 6>0, требуется определить функцию и0(х) 6 Мг,
Мг = |и(х): и(х) 6Я02[0,1], Ых)\\2Н2 <г2,и'0(0) = и£(1) = 0}, (8)
такую что при подстановке ее в условие (2), получим решение и(х, £) задачи. (1-3), удовлетворяющее условию.
Дополнительно предположим, что точное значения функции д0(х) нам не известно, а вместо того дано дз(.х) 6 С [0,1] и 8> 0 так, что
\\ д6(х)-д0(х)\\2 <32. (9)
Используя исходные данные задачи gб(x) и 5 требуется определить приближенное значение и§(х), а также получить оценку погрешности Ии^х) — щ(х)\\ь2.
3. Решение обратной задачи Коши методом Пикара
Метод Пикара [1, 2] использует регуляризующее семейство операторов отобра-
жающих пространство L2[0,1] в себя и определяемых формулой. При равномерной регу-ляризиции V N ^ \\RnW <1 и V и ^ RNAu ^ и при N^5, это семейство операторов называется регуляризующими
N
Ккд(х) =^дп е(пя)2г5т(птсх), (10)
п=1
где
Зп = 2 I д(х)зтппх dx. (11)
Приведем ряд свойств семейства сформулированных в виде лемм.
Лемма 1. Для любого N оператор определенный формулой (10), является линейным ограниченным с нормой \\КМ\\ = е(лЛ)2'г.
Доказательство. Линейность оператора Ящ следует из формулы (10). Теперь докажем, что
\\М\ =е^2т, (12)
ограниченность оператора будет следовать из формулы (12). Так как
\\RsW2 = зир { \\Ящд\\2:д е 12[0,1], \\д\\2 <!},
\\9\\2 = ^91
п=1
(13)
(14)
(15)
то из (13) и (14) будет следовать, что при д(х) е12[0,1] и \\д\\
\\Я„\\<е2№>2т. Рассмотрим элемент дм(х) = 2 з1ппЫх.
Так как дк е12[0,1] и Нд^Н = 1, то подействуем на него оператор . Тогда
\\Я„д\\2 = е2(я№)2г зтпЫх,
из (16) следует, что а из (17), что
из (15) и (18) следует, что = е2(п^2т. Тем самым лемма доказана.
Лемма 2. Семейство операторов {Ящ} регуляризует обратную задачу (1), (3) и (7) на Мг.
(16)
(17)
(18)
Доказательство. Из определения регуляризующего семейства операторов [1, 2] следует, что для любого элемента и{х) е Мг справедливо соотношение, = Еп=1 ^ и(х~) при М^от в метрике 12[0,1],
Я
N
^ ип е^пп^2т з1п(ппх)
■п = 1
и(х),
при М^от в метрике 12[0,1], где Так как
-21'
■'О
и(х) sm(яnx) йх.
Я,
т = 1
е(-пп^)2т з1п(ппх) —и(х) = ^ ип зт(ппх),
n=N+1
то
Я
N
е(-пп^)2т з1п(ппх) — и(х) = ^
■п = 1 п=М+1
и2
"•п,
виду того, что и(х) е ¿2 [0,1] следует сходимость ряда
от
X ип.
n=N+l
Таким образом,
от
^ и2 ^0 при N ^ от.
n=N+1
Тем самым лемма доказана.
Приближенное решение и$(х) обратной задачи определим формулой
(19)
(20)
(21)
(22)
(23)
(24)
а
ид(*) = Ялг0в(*). (25)
Теперь прейдем к определению зависимости N{5). Для этого сделаем оценку
||и0(х)-^(х)||<К(*)-<(*)|| + ||<(х)-<(х)||, (26)
где
и%(х) = 11„д0(х). (27)
Сначала оценим второе слагаемое в формуле (26)
К(х)-<(х)|| = 1|Ял0о(*)-£«(*)И ^ \№ЛЗ. (28)
Из (28) и леммы 1 следует, что
\\иЯ(х)-и$(х)\\ = е™2т.8, (29)
перейдем к оценке первого слагаемого в формуле (26)
"о
n=N+l
где
-1
(х)-и£(х)||2 = ^ и2, (30)
ип = 2\ и0(х) 5т(ппх) dx. (31)
■¡о
Так как и0 6МГ, что и '0'(х) 6 ¿2[0,1] и <г2.
Таким образом,
оо
ид(х) = ^ упзтппх, (32)
п = 1
где
уп = 2\ и д'(х) Бтппх dx. (33)
■'о
Проинтегрировав формулу (32), получим, что
рп = —(пп)2 ип, (34)
Из (33) следует, что
а из (30) и (33), что
2
(35)
ЦщЮ-иХЮЦ^-^ (36)
окончательно
г
|М*)-<(х)||< — + в^.5. (37)
Таким образом, из (35) и (37) определим параметр регуляризации N(5) из условия
(38)
4. Численный пример
Учитывая задачу из (1-4), нам нужно определить неизвестную функцию для начальной температуры и(х) по известной функции и{х,Т) = д(х).
Пример 1. Прямое решение для температуры, где время (Т = 0,001 и Т = 0,005) для проверки приближения мы имеем точную начальную температуру и0(х) = 4зт(3пх) + 7зт(8пх), как показано на рис. 1. Мы можем найти функцию д(х), используя (4).
.......+
.................................
- - и(х,Т)=д0 (х), Т=0.007 ........и(х,Т)=д0 (х), Т=0.01
0 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 1
х
Рис. 1. Прямое решение для температуры измерения и(х,Т) = до(х) и и0(х) = 4зт(3пх) + 7зт(8лх)
Мы можем добавить шумовой сигнал к заданным данным до(х) для его использования в анализе проблем. Используя алгоритм обратной задачи, который определен в (10) и (11), мы получим решения (см. рис. 2 и рис. 3).
а) 5 = 0,05 б) 5 = 0,27
Рис. 2. Обратное решение и0(х), иЦ-(х), где Т = 0,007
-- N=1 -- N=2 N=3 N=4 N=5 N=6 N=7 N=8 N=9 N=10
а) 5 = 0,05 б) 5 = 0,27
Рис. 3. Обратное решение и0(х), и^(х), где Т = 0,01
х0
и0 (х), Т=0
и0(х)
д8(х)
0.9
Пример 2. Прямое решение для температуры, где время (Т = 0,05 и Т = 0,01) для проверки приближения мы имеем точную начальную температуру и0(х) = зт(пх), как показано на рис. 4. Мы можем найти функцию д(х), используя (4).
1
0.9 0.8 0.7 0.6 <¿0.5 0.4 0.3 0.2 0.1 0
+ и0(х)
-- и(х,Т),Т=0.05 .........и(х,Т),Т=0.1
+ ' .•••' / •••
\ + Чх
0 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 X
Рис. 4. Прямое решение для температуры измерения и(х,Т) = до(х) и и0(х) = зт(пх)
Мы можем добавить шумовой сигнал к заданным данным д^{х) для его использования в анализе проблем. Используя алгоритм обратной задачи, который определен в (10) и (11), мы получим решения (см. рис. 5 и рис. 6).
0 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 1
а) 5 = 0,0354 б) 5 = 0,247
Рис. 5. Обратное решение и0(х), и^(х), где Т = 0,05
0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.
0 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 1
а) 5 = 0,0354
б) 5 = 0,247
Рис. 6. Обратное решение и0(х), и^(х), где Т = 0,1
1.2
□ .4
1.2
Заключение
Эта работа посвящена алгоритму решения проблемы обратной теплопроводности. Данная задача должна решаться некорректной задачей Коши и специальным методом. Используется метод разделения переменных для решения уравнения обратной теплопроводности. Численные анализы успешно применяются для решения обратной задачи теплопроводности с использованием теоремы Пикара. Алгоритм выбирает соответствующий параметр для регуляризации оцененного решения. Можно отметить, что алгоритм был эффективен для оценки начальной температуры в зависимости от заданной температуры измерения с известным уровнем шума б. Предложенная будущая работа решит обратную задачу Коши для уравнения теплопроводности для композиционных материалов.
Литература
1. Иванов В.К. О применении метода Пикара к решению интегральных уравнений первого рода // Bui. Inst. Politehn. Iasi. 1968. Т. 4, № 34. С. 71-78.
2. Иванов В.К., Васин В.В., Танана В.П. Теория линейных некорректных задач и ее приложения. Москва: Наука, 1978. 206 с.
3. Kabanikhin S.I. Inverse and Ill-Posed Problems: Theory and Applications. Inverse and Ill-Posed Problems, Ser. 55. De Gruyter, 2012. 458 p.
4. Tanana V.P., Sidikova A.I. Optimal Methods for Solving Ill-Posed Heat Conduction Problems. Inverse and ill-posed problems, Ser. 62. De Gruyter, 2018. 138 p.
5. Тихонов А.Н. О Регуляризации некорректно поставленных задач // Докл. АН СССР, 1963. Т. 153, № 1. С. 49-52.
6. Лаврентьев М.М. Некоторых некорректных задачах математической физики. Новосибирск: Изд-во Сиб. отд-ния АН СССР, 1962. 92 с.
7. Mu H., Li J., Wang X. Optimization Based Inversion Method for the Inverse Heat Conduction Problems // IOP Conference Series: Earth and Environmental Science. 2017. Vol. 64, no. 1. P. 1-9. DOI: 10.1088/1755-1315/64/1/012094.
8. Duda P. Solution of Inverse Heat Conduction Problem Using the Tikhonov Regularization Method // Journal of Thermal Science. 2017. Vol. 26, no. 1. P. 60-65. DOI: 10.1007/s11630-017-0910-2.
9. Frqckowiak A., Botkin N.D., Cialkowski M. Iterative Algorithm for Solving the Inverse Heat Conduction Problems with the Unknown Source Function // Inverse Problems in Science and Engineering. 2015. Vol. 23, no. 6. P. 1056-1071. DOI: 10.1080/17415977.2014.986723.
10. Yang S., Xiong X. A. Tikhonov Regularization Method for Solving an Inverse Heat Source Problem // Bull. Malays. Math. Sci. Soc. 2018. Vol. 5, no. 19. P. 1-12. DOI: 10.1007/s40840-018-0693-y.
Аль-Махдави Хассан К. Ибрахим, аспирант, кафедра системного программирования, Южно-Уральский государственный университет (национальный исследовательский университет) (Челябинск, Российская Федерация)
DOI: 10.14529/cmse190401
STUDYING THE PICARD'S METHOD FOR SOLVING THE INVERSE CAUCHY PROBLEM FOR HEAT CONDUCTIVITY EQUATIONS
© 2019 H.K. Al-Mahdawi
South Ural State University (pr. Lenina 76, Chelyabinsk, 454080 Russia)
E-mail: [email protected] Received: 08.01.2019
In this paper, the inverse Cauchy problem for the heat equation is posed and solved. In this problem, the initial temperature is unknown, and instead of it, the temperature at a specific time is given, t = T > 0. They are characterized by the fact that arbitrarily small changes in the source data can lead to large changes in the solution. It is well known that this problem is an ill-posed problem. In order to solve the direct problem, the method of separation of variables is used. We noticed that the method of separating variables is not applicable to solving the inverse Cauchy problem since it leads to large errors, as well as to divergent rows. V.K. Ivanov noted that if the inverse problem is solved by the method of separation of variables, the resulting series is replaced with a partial sum of a series, where the number of terms depends on 5, N = N(5). The Picard's method uses the regularizing family of {R^}, operators mapping the L2[0,1] space into itself. The results of computational experiments are presented and the effectiveness of this method is estimated.
Keywords: inverse heat conduction problem, Picart's method, ill-posed problem, Cauchy problem.
FOR CITATION
Al-Mahdawi H.K. Studying the Picard's Method for Solving the Inverse Cauchy Problem for Heat Conductivity Equations. Bulletin of the South Ural State University. Series: Computational Mathematics and Software Engineering. 2019. vol. 8, no. 4. pp. 5-14. DOI: 10.14529/cmse190401.
This paper is distributed under the terms of the Creative Commons Attribution-Non Commercial 3.0 License which permits non-commercial use, reproduction and distribution of the work without further permission provided the original work is properly cites.
References
1. Ivanov V.K. About Application of Picard Method to the Solution of Integral Equations for the First Kind. Bui. Inst. Politehn. Iasi. 1968. vol. 4, no. 34. pp. 71-78. (in Russian)
2. Ivanov V.K., Vasin V.V., Tanana V.P. Theory of Linear Ill-Posed Problem and Application. Moscow, Nauok, 1978. 206 p. (in Russian)
3. Kabanikhin S.I. Inverse and Ill-posed Problems: Theory and Applications. Inverse and Ill-Posed Problems, Ser. 55. De Gruyter, 2012. 458 p.
4. Tanana V.P., Sidikova A.I. Optimal Methods for Solving Ill-Posed Heat Conduction Problems. Inverse and ill-posed problems, Ser. 62. De Gruyter, 2018. 138 p.
5. Tikhonov A.N. On the Regularization of Ill-Posed Problems. Proceedings of the USSR Academy of Sciences, 1963. vol. 153, no. 1. pp. 49-52. (in Russian)
6. Lavrent'ev M.M. On Some Ill-Posed Problems of Mathematical Physics. Novosibirsk, Siberian Branch of the Academy of Sciences of the USSR, 1962. 92 p. (in Russian)
7. Mu H., Li J., Wang X. Optimization Based Inversion Method for the Inverse Heat Conduction Problems. IOP Conference Series: Earth and Environmental Science. 2017. vol. 64, no. 1. pp. 1-9. DOI: 10.1088/1755-1315/64/1/012094.
8. Duda P. Solution of Inverse Heat Conduction Problem Using the Tikhonov Regularization Method. Journal of Thermal Science. 2017. vol. 26, no. 1. pp. 60-65. DOI: 10.1007/s11630-
017-0910-2.
9. Fr^ckowiak A., Botkin N.D., Cialkowski M. Iterative Algorithm for Solving the Inverse Heat Conduction Problems with the Unknown Source Function. Inverse Problems in Science and Engineering. 2015. vol. 23, no. 6. pp. 1056-1071. DOI: 10.1080/17415977.2014.986723.
10. Yang S., Xiong X. A. Tikhonov Regularization Method for Solving an Inverse Heat Source Problem. Bull. Malays. Math. Sci. Soc. 2018. vol. 5, no. 19. pp. 1-12. DOI: 10.1007/s40840-
018-0693-y.