Управляемость в нелинейных параболических задачах тема диссертации и автореферата по ВАК РФ 01.01.02, кандидат физико-математических наук Акпата Эдуард

• Акпата Эдуард
• кандидат физико-математических наук
• 1999

Оглавление диссертации кандидат физико-математических наук Акпата Эдуард

Содержание

Введение

1 О ЗАДАЧЕ УПРАВЛЯЕМОСТИ ДЛЯ КВАЗИЛИНЕЙНОГО УРАВНЕНИЯ ТЕПЛОПРОВОДНОСТИ

§1 Предварительные сведения. Обозначения

§2 Формулировка основного результата

§3 Строгая дифференцируемость оператора Немыцкого

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

§1 Предварительные сведения, Обозначения

§2 Оценки нелинейных добавок в дифференциальных операторах для прямой задачи

§3 Оценки нелинейных добавок в операторах, обратных к дифференциальным операторам для прямой задачи

§4 Оценки нелинейных добавок в операторах для обратной задачи

Библиография

Введение диссертации (часть автореферата) на тему «Управляемость в нелинейных параболических задачах»

Введение

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

Актуальность темы

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

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

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

Задачи управляемости для линейных и нелинейных параболических уравнений исследовались также в [2], [4], [8], [13], [14], [15]. В частности, в [2] предлагаются способы изучения некоторых классов обратных задач для нелинейных уравнений на основе их редукции к новым задачам. В некоторых случаях этот подход приводит к явным решениям этих задач. В [4] установлены условия существования и единственности решения обратной задачи определения зависящего от времени коэффициента температуропроводности полупространства, примыкающего к конечному слою с известными теплофизическими характеристиками. Условие переопределения имеет вид дополнительного краевого условия, заданного на наружной поверхности слоя. В [8] рассматриваются обратные задачи восстановления коэффициента в параболическом уравнении, который предполагается зависящим только от пространственных переменных. Дополнительная информация к данным прямой задачи задается в виде финального типа. Исследуется вопрос об устойчивости обобщенных решений. В [13] рассматривается обратная задача нелинейной теплопроводности о восстановлении температуры и плотности теплового потока на теплоотдающей поверхности по результатам измерений внутренней температуры. На основе вариационного метода предлагается численный

метод решения этой задачи. В [14] излагается теория решения обратных задач спектрального анализа для несамосопряженных сингулярных дифференциальных операторов произвольных порядков. Дается вывод основного уравнения обратной задачи, доказывается его однозначная разрешимость. Указываются необходимые и достаточные условия, процедура решения обратной задачи, исследуется устойчивость. Приводится теория решения << неполных >> обратных задач. В [15] доказывается существование глобального решения следующей обратной задачи, а именно, нахождения пары (и, Л) из условий

Щ = ихх + А(£)м7 в фт, и(0, #) = и°(х), 0 < х < а,

<

их(1,0) = их(1,а) — 0, 0 <t <Т,

к ж) =/?(*), Q<t<T, где С^т = {(£,ж)|0 < £ < Т,0 < ж < а},0 < 7 < 1,0 < ж == ж задано, «0(0) = и«(в) = 0,и°(х) = /3(0), /? € С2[0,Г],«° € [0,а],«°(0) = 0, и\х) = /?(0),я > 0, т&Р1-*® ~ (1 -7)аот^в((«°М)"71«оМ1) > к > 0.

Установлена также теорема единственности этого решения.

Цель работы

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

Общая методика исследования

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

Были также исспользованы неравенство Гельдера, теорема Фубини, теорема Лебега, теорема Адамара, теоремы вложения.

Научная новизна

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

Приложение

Диссертация носит теоретический характер.

Апробация работы

Результаты работы неоднократно докладывались на факультетской научной конференции РУДН и на семинаре кафедры дифференциальных

уравнений и функционального анализа (руководители д.ф.-м.н. проф. В.Н. Масленникова, д.ф.-м.н. проф. М.Ф. Сухинин, к.ф.-м.н. доц. М.Е. Боговский, к.ф.-м.н. доц. А.В.Фаминский, к.ф.-м.н. доц. Н.А.Шананин), на семинаре кафедры математического анализа Московского Государственного Университета (1999 г. руководители акад. Садовничий В.А., проф. Прилепко А.И.), на семинаре кафедры математического моделирования Московского Энергетического Института (Технического Университета) (проф. Дубин^ский Ю.А.).

Публикации

По материалам диссертации опубликовано 2 печатные работы.

Структура и объем диссертации

Диссертация состоит из введения, двух глав и списка литературы. Диссертация изложена на 93 страницах. Библиография содержит 15 наименований.

1. О ЗАДАЧЕ УПРАВЛЯЕМОСТИ ДЛЯ КВАЗИЛИНЕЙНОГО УРАВНЕНИЯ ТЕПЛОПРОВОДНОСТИ

§1. Предварительные сведения. Обозначения

Всюду в дальнейшем О С Яп -ограниченная односвязная область с границей дП £ С2(п > 2), С}т = Пх]0,Т],0 < Т < оо,5г = дП х [О,Г], О < ¿1 < Т, Ах- первое собственное значение задачи Дирихле для оператора —А. Напомним результаты из [5]. Рассматривается обратная задача

- Ау = Р(*Л (1.1)

= о, (1.2)

= 0, (1.3)

= хМ, (1.4)

где Г(х, = Н(х, £)/(#), Ъ{х1 £) и х(хУ заданные функции, а V и / - неизвестные функции, которую можно рассматривать как задачу управляемости, а именно, перевести систему из состояния г>|г=о = 0 в состояние = х(х) с помощью управления /(х).

1.1. 1. Теорема [5, с.53]

Пусть Н е С1(фт),Ь > 0 в + \1г > 0 в (¿^ для некоторого

Л е [0,Л1[,Л(я,*1) >^>ОвОих€ П .Тогда существу-

О 1

ет единственное решение (г;,/) € И^Дфт) х задачи (1.1) - (1.4)

причем [5..57]

Ы\ш11(Ят) + II/ ||2>п <^1^x112,0. (1.5)

Попутно в [5] установлены перечисленные ниже свойства решения задачи (1.1) - (1.4).

1.1. 2.

Положим <р(х) = h{xJtl)f{x) и введем оператор А : О) —^(0), ставящий в соответсвие каждому элементу <р(х) £ 1/2(0) элемент ¿1), где решение задачи (1.1) — (1.3) при = Ъ{х11)ср(х)/Н{х111).

Хорошо известно в [6] и отмечено в [5], что решение V задачи (1.1) — (1.3) существует и единственно для любой ^ £ И^жДфг), причем w = vt является решением задачи

иц-Аы = Я, (1.6)

и;|*=о = (1.7)

= 0. (1.8)

В [5] отмечено, что при = /г(ж,£)^(ж)//г(ж,£х) будет

-ЧМ-Л)!!^ < КМОИ^ < С1\Ы\1Я (1.9)

при некотором С2 > 0 и, следовательно, А : £2(0) —> 1/2(0) вполне непрерывен. В [5] также показано, что 1 не является собственным значением оператора А. Следовательно,

I-A\L2(Q)—> L2(Q) - изоморфизм L2(О,) на L2(Q). (1-Ю) 1.1. 3.

Положим L = d/dt - A, oW$fl(QT) — {F £ W%\QT)\ F{x,0) = 0} с нормой из W^(QT), Н = {v £ W%(QT)\3F £ оW^l(QT) : v — решениёузадачи(1.1) — (1.3)} с нормой ||г/||я = ll^ilw20,1(QT)' Тогда

ш = oWt'\QT).

L : Я —у oW^^IQt) — изометрический изоморфизм Я на о W2,1(Qt)

(1.11)

(отсюда следует полнота (Я, || ||#)), и вложение Я С W2(Qt) непрерывно. Все это вытекает из [6, .189], примененного к задаче (1.6) — (1.8), поскольку wx(x,0) = Fz(x,0) = -§^F(x,0) = 0 при F £ оW2,1(QT). Оттуда же следует, что

ЗС3 > 0 VveH: IIH^Ikfi < C3\\v\\B. (1.12)

Отметим также, что по теореме о следах для W2(Qt)

{оператор ( : Я—у L2(&), ( : v 1—у vt\t=t!, непрерывен} (1-13)

в силу непрерывности вложения Я в W2 (Qt)-Напомним теорему об обратной функции.

1.1. 4. Теорема

Пусть X, У банаховы пространства, U открытое множество в X, а отображение / : U —> Y строго дифференцируемо на U и f'(xо) : X —> Y изоморфизм X на У для некоторой точки £ U. Тогда существует такая открытая окрестность U' точки xq, что / осуществует гомеоморфизм U' на открытое множество f(U'),f'(x) изоморфизм X на Y при х Е U1,/'1 : f(U') —> X строго дифференцируемо на f(U') и (/-1y(/W) = [/'Ml-1 при X е U' ( Т.е / диффеоморфизм U' на f(U') класса С1).

§2. Формулировка основного результата

В этом параграфе использованы те же обозначения,что в §1, а 2 < п < 5. Пусть v : Л —» jr дважды непрерывно дифференцируема на R, причем

И«)| < С4Ма + С5и2, (1.14)

|i/'(«)| < аС4\и\а~1 + 2С5\и\, (1.15)

\v"(u)\ < а(а - 1)С4\и\а~2 + 2C5j (1.16)

где а = (п — 1)/(п — 3) = 3 при п = 4и2<а<оо при 2 < п < 4. Если п = 5, то = 0. В остальных случаях > 0, С5 > 0.

1.2. 1. Теорема

Пусть к удовлетворяет условию п.1.1.1 и Н(х,0) = 0. Тогда задача

(1.17)

0,

(1.18)

V |5т = 0,

(1.19)

г;^ = хМ,

(1.20)

где Р(х, £) = h(x,t)f(x), имеет единственное решение (у, /) в окрестности нуля в ]¥'с}((дт) х £^(0) ПРИ достаточно малых по норме % 6 И/22(^)П

1.2. 2. Замечание

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

§3. Строгая дифференцируемость оператора Немыцкого

В этом параграфе использованы обозначения из §2.

ПЙ^О).

1.3. 1. Предложение

Оператор N : —* №)](М) = ^ф,*)),

строго дифференцируем на И^Кфг) и [№(у)г)](х^) = 1/'(г;(ж,£))(:с,£).

Доказательство.

Прежде всего, покажем, что N отображает И^Кфт) в из

теоремы вложения следует, что

]¥Цдт) непрерывно вкладывается в Ьч{0>т), где д = 2(п + 1)/(п — 3) при 3 < п < 5 и д=(та + 1)(а + 1) при 2 < п < 3,

И^фг) непрерывно вкладывается в ¿2(п+1)/(п-1)(^т)

при 2 < п < 5.

Пусть V е Щ(Ят)- Тогда при 3 < п < 5

V € ¿а(»+1)((Эт), М® £ Ьцп+1)(С2т) С 1ъ{Ят),

п—з «—1

п — 1 (п-3)(а-1)

а при 2 < п < 3

(1.21)

(1.22)

(1.23)

V, Мв, М*-1 е ДКОД, 1 < д < оо, 1н е т). (1.24)

Список литературы диссертационного исследования кандидат физико-математических наук Акпата Эдуард, 1999 год

Библиография

1. Акпата Э. О локальной разрешимости обратной задачи для нелинейного уравнения теплопроводности с терминальным переопределением. -М., 1999. -67 с. -Рус. -Деп. в ВИНИТИ РАН, 26.02.99, 568-В99.

2. Аниконов Ю.Е. Обратные задачи для нелинейных уравнений. //Неклассические уравнения и уравнения смешного типа / АН СССР.СО. Ин-т мат. Новосибирск, 1990. -С.21-31 - Рус.

3. Бесов О. В., Ильин В. П., Никольский С. М. Интегральные представления функций и теоремы вложения. М.: Наука, 1975. 480 с.

4. Иванов Н.И. Обратная задача теплопроводности в двух-компонентной среде. //Дифференциальные уравнения. - 1992.28, №- 4. -С.666-672. -Рус.

5. Костин А.Б., Прилепко А.И. // Обратные задачи для математических моделей физических процессов. -М.: МИФИ, 1991. С.52 .

6. Ладыженская O.A. Краевые задачи математической физики. -М.: Наука, 1973. 408 с.

7. Михайлов В. П. Дифференциальые уравнения в частных производных. М.: Наука, 1983. 424 с.

8. Прилепко А.И., Костин А.Б. Об обратных задачах определения коэффициента в параболическом уравнении. II //Сиб.мат.ж. - 1993, № 5. - С.143-152. -Рус.; рез. англ.

9. Сухинин М.Ф. Избранные главы нелинейного анализа. -М.: Изд-во РУДН, 1992. 300 с.

10. Сухинин М. Ф. //Дифференциальные уравнения. 1994. Т.ЗО. iW 6. С. 1069.

11. Сухинин М. Ф. //Теоретическая и математическая физика. 1995. Т.103. № 1. С. 23.

12. Сухинин М. Ф., Акпата Э. О задаче управляемости для квазилинейного уравнения теплопроводности //Вестник РУДН. Сер. Математика. 1996. m 3. Вып. 1. С. 119 - 126.

13. Тем Мен Ян, Ким И.Г., Перетяжко J1.T. Обратная задача теплопроводности для канала с греющим цилиндрическим стержнем. //Численные методы оптимиз. и анал. /РАН. СО. Сиб. энерг. Ин-т. -Новосибирск, 1992. - С. 171-184. - Рус.

14. Юрко В.А. Обратная задача для дифференциальных операторов. -Саратов: Изд-во ун-та, 1989. -174с. -Рус. -ISBN 5-292-00819-4 СССР.

15. Riganti Riccardo, Savateev Eugene. Решение обратной задачи для нелинейного уравнения теплопроводности. //Commun. Part, differ. Equat. - 1994. -19, № 9-10. - С. 1611-1628. - Англ.