CC BY
20
Челябинский физико-математический журнал. 2016. Т. 1, вып. 3. С. 37-62.
УДК 517.95
СТРУКТУРА РЕШЕНИЙ МОДЕЛЬНОЙ ОБРАТНОЙ ЗАДАЧИ ТЕПЛОПРОВОДНОСТИ В КЛАССАХ ФУНКЦИЙ ЭКСПОНЕНЦИАЛЬНОГО РОСТА
И. В. Тихонов1", Ю. В. Гаврись26, Т. З. Аджиева1с
1 Московский государственный университет им. М.В. Ломоносова, Москва, Россия 2Московский педагогический государственный университет, Москва, Россия "[email protected]; ь[email protected]; с[email protected]
Рассматривается модельная обратная задача об определении правой части в одномерном уравнении теплопроводности. Исследование проводится в классах функций экспоненциального роста. Для однородной обратной задачи установлено точное условие единственности решения и показано, что при его нарушении всякое нетривиальное решение экспоненциального роста представимо в виде линейной комбинации элементарных решений. Приведены примеры особых решений, имеющих сверхэкспоненциальный рост.
Ключевые слова: обратная задача, уравнение теплопроводности, функции экспоненциального рроста.
Введение
Проблема описания неограниченных решений для уравнения теплопроводности в неограниченной области была вполне осознана после основополагающих результатов А. Н. Тихонова [1] (см. также [2]). В настоящей работе эта тематика развивается применительно к модельной обратной задаче с финальным переопределением. Говоря про «модельную задачу», мы имеем в виду, что неоднородное уравнение теплопроводности взято в самом простом «модельном» виде, когда коэффициенты перед неизвестными функциями заменены единицами. Подобный подход полностью соответствует классическому подходу [1], не затеняя изложение техническими деталями и позволяя лучше видеть суть происходящего.
Краткая предыстория нашего исследования такова. Некоторое время назад в работе [3] был установлен общий критерий единственности решения в модельной обратной задаче с финальным переопределением для дифференциального уравнения в банаховом пространстве. Там же, в [3], бегло отмечено, что полученный результат допускает интересную интерпретацию, связанную с уравнением теплопроводности. Затем удалось развить «параллельную» теорию для близкой по духу нелокальной задачи, относимой как к абстрактным дифференциальным уравнениям [4], так и к многомерному уравнению теплопроводности [5-8]. Первоначальная обратная задача (для уравнения теплопроводности) вновь коротко упоминалась в [5], но развёрнутого изложения до сих пор не было.
В настоящей работе мы устраним этот пробел и приведём результаты со всеми подробностями, сделав ещё важные добавления. Для простоты ограничимся одномерным уравнением теплопроводности, заданным в полосе
х е м, 0 < г ^ Т. Указанный случай позволяет выписать ключевые формулы в замкнутом виде.
В итоге будет строго обосновано точное условие единственности решения обратной задачи, восходящее к [3; 5], и дополнительно дано полное описание нетривиальных решений однородной обратной задачи в классах функций экспоненциального роста. В конце работы подробно обсуждаются примеры особых решений, имеющих сверхэкспоненциальный рост.
Все результаты получены без использования интегралов Пуассона. Вопрос о разрешимости неоднородной обратной задачи сейчас не рассматривается. Это планируется сделать в последующих публикациях.
Авторы отмечают вклад Ю. С. Эйдельмана и А. Ю. Попова, существенно повлиявших на развитие тематики. Мы также признательны В. Б. Шерстюкову за обсуждение вопроса об оценках особых решений сверхэкспоненциального роста. Отдельная благодарность В. Е. Фёдорову за предложение опубликовать наше исследование в «Челябинском физико-математическом журнале».
1. Постановка задачи
Для неоднородного уравнения теплопроводности
и = ихх + /(ж), х е М, 0 <г ^ Т, (1)
поставим задачу о нахождении пары функций (и(ж,£), /(ж)) из соотношений
и(ж, 0) = и0(ж), и(ж,Т) = и^ж). (2)
Число Т > 0 и функции и0(ж), и1(ж) считаем заданными. С физической точки зрения требуется восстановить температуру и = и(ж,£) и плотность стационарных источников тепла / = /(ж), зная значения функции и(ж,£) в начальный и финальный моменты времени. Среда предполагается одномерной и бесконечной, уравнение — модельным, приведённым к безразмерному виду. Поскольку неоднородное слагаемое в (1) нам неизвестно, задача (1), (2) относится к классу обратных задач. Общую информацию по теории обратных задач можно найти в [9; 10].
Решением обратной задачи (1), (2) назовём пару функций
и е С2Д(К X (0, Т]) п С(М X [0, Т]), / е С(М), (3)
для которых все соотношения (1), (2) выполнены. Гладкость (3) является классической. Никаких ограничений, связанных с поведением функций на бесконечности, пока не налагается. Ясно, что для разрешимости задачи (1), (2) необходимо требовать, чтобы и0 е С(М), и1 е С2(М).
Предположим, что задача (1), (2) с некоторыми такими и0(ж), и1(ж) разрешима. Поставим вопрос о единственности решения. Допустим, что две пары функций
(и(1)(М),/ (1)(ж)), (и(2)(М),/ (2)(ж)) являются решениями задачи (1), (2). Тогда пара (и(ж,£),/(ж)), где
и (ж, ¿) = и(1)(ж,£) - и(2) (ж,£), /(ж) = /(1)(ж) - /(2)(ж), удовлетворяет уравнению теплопроводности (1) и однородным условиям
и(ж, 0) = 0, и(ж,Т) = 0. (4)
Соотношения (4) действуют при всех ж е М.
Тем самым вопрос о возможной неединственности решения в исходной обратной задаче (1), (2) сводится к вопросу о наличии нетривиальных решений у однородной задачи
ut = uxx + f (x), x e R, 0 <t ^ T,
(5)
u(x, 0) = 0, u(x,T) = 0. Как обычно, тривиальным решением задачи (5) называем пару
u(x,t) = 0, f (x) = 0. (6)
Выясним, бывают ли в (5) другие, нетривиальные решения.
Сразу отметим одно обстоятельство. В предложенной общности, взяв произвольное решение однородной обратной задачи (5), нельзя a priori исключать того, что f (x) = 0, в то время как u(x,t) ф 0. Другими словами, соотношение f (x) = 0 ещё не гарантирует для (5) тривиальность всего решения (u(x,t),f (x)). Эта ситуация не только логически допустима, но и реализуема в виде явной «неэлементарной» конструкции, которую мы приведём в заключительном разделе 9 настоящей работы.
Если, однако, для некоторого решения задачи (5) установлено, что u(x,t) ф 0, то f (x) ф 0 автоматически, и решение неизбежно является тривиальным. Попросту говоря, при сделанных предположениях, исследуя вопрос о единственности решения задачи (5), нужно особо следить за первым компонентом u(x,t). Впрочем, на наиболее доступных «элементарных» решениях этот нюанс почти не проявляется. С рассмотрения таких решений мы и начнём.
Покажем, что если не вводить ограничений, то задача (5) обладает множеством нетривиальных решений, находимых вполне элементарным методом.
2. Элементарные решения
Рассмотрим однородную обратную задачу (5). Дадим полное описание всех её комплексных решений, получаемых методом разделения переменных, применённым к функции и = и(ж,Ь). Точнее, будем искать нетривиальные элементарные решения задачи (5) в виде
и = У^М^), / = /(ж) (7)
где у(Ь) ф 0, т(ж) ф 0. Функции у(Ь), т(ж) предполагаем достаточно гладкими, такими, что у Е С1 [0,Т], т Е С2(К). Всюду далее через г обозначаем мнимую единицу.
При подстановке пары (7) в систему (5) возникают соотношения
у'(*Мж)= у(*)ш"(ж) + / (ж),
у(0) = 0, у(Т) = 0. ()
При Ь = 0 из (8) следует, что
у'(0)т(ж) = / (ж).
Поэтому
/ (ж) = Ст(ж), С = у'(0), (9)
где С — некоторое число, значение которого пока не определено.
Подставляя выражение (9) для / (ж) в первое уравнение системы (8), получим
у'(£)»(ж) = у(£)»" (ж) + Сад(ж). Разделяя переменные, приходим к пропорции
У^С = д (10)
»(<) »(ж) '
с некоторой константой Д е С. Для функции у(£) пропорция (10) даёт уравнение
у' (*) = Ду(*) + С.
Решение, удовлетворяющее начальному условию у(0) = 0, имеет вид
у(*) = С (^ - 1) [ у(*) = С при Д = 0 " . Ясно, что С = 0 (иначе у(£) = 0). Но поскольку у(Т) = 0, то
еЛТ - 1
= 0. (11)
Д
Соотношение (11) для неизвестного значения Д е С из пропорции (10) назовём характеристическим уравнением обратной задачи (5). Его корни
Дк = 2Т!, к е Z \{0}, (12)
естественно считать характеристическими числами. Каждому такому Дк отвечает функция
»(г) = С М^') - 0 ' 0 * ' * ^ <13)
Затем, подставляя найденные Дк в пропорцию (10), приходим к уравнениям для соответствующих функций »к(ж), а именно
Ч'(ж) = ^ »к(ж), к е Z \{0}.
При к =1, 2, ... получаем частные решения
(1)/ % I п I л 1 (2^ I /кп
»к)(ж) = ехР|\ /у (1 + 0 у , »к (ж) = ехр — (1 + г) ж). (14)
При к = -1, -2, . . . частные решения принимают вид
,/1к1пп „л„Л „„(2)/^_____I ,/1к1п
»к)(ж) = ехр(\/ (1 - ^ Ч)(ж) = ехр[-у (1 - ^ жу (15)
С помощью (9) восстанавливаем /(ж) по одной из выбранных функций »^(ж). В результате имеем множество элементарных решений
и(ж,*) = С^ (ехр - 1) (ж), /(ж) = С»к?)(ж),
с функциями
»к70(ж), к е Z \{0}, ] = 1, 2,
из формул (14), (15).
Поскольку коэффициент С = 0 есть просто числовой множитель, то его без ограничения общности можно положить равным единице. От отрицательных значений к Е ^ удобно перейти к положительным, заменив в соответствующих формулах к на —к и всегда считая, что к Е N.
Подведём итог. С точностью до очевидных линейных комбинаций комплексные элементарные решения однородной задачи (5) имеют вид
и
к )(ж,Ь)
Т 2кпг
V т
/Г» = ехр — (1 + г) ж
ехр ( 2кпг г ) — 1 ) ехр ( т^т (1 + г) ж
кп
т
,(1+4) / ^ I 'кп
:1б)
и
(-1-) к
Т
(ж, Ь) = ——: ехр
( 2кпг
2кпг V Т
кп
/{к 1 4)(ж) = ехр ( — ^т(1 +г) ж );
кп
г — 1 ехр (1 + г) ж ,
Т
:17)
ик1 4)(ж,г) = 2кПг (1 — ехр (—^Т^)) ехр
,(1-4)/ ^ I 'кп
й )(ж) = ехН тт7(1 — г) ж ;
^т (1 — г) ж
18)
и
(-1+4), к
Т
2кпг
2кпг
(ж, Ь) = 7:1—: 1 — ехр---- г ехр — ■ т;7 (1 — г) ж ,
Т
кп
Т
/к-1+4)(ж) = ехр( — ^ (1 — г) ж).
19)
Здесь к Е N. Верхний индекс указывает на число в комплексной плоскости, с которым связаны показатели соответствующей серии решений.
Нетрудно убедиться, что решения из серии (18) комплексно сопряжены к решениям из серии (16), а решения из серии (19) комплексно сопряжены к решениям из серии (17) в том смысле, что
и
(1+4)
и
(1-4)
(ж,г).
/Г4) (ж) = /к1 (ж)
и
и
(-1-4)
и
(-1+4)
(ж,г).
/к-1-4)(ж) = /к-1+4)(ж)
(-1+4),
при всех к Е N.
Поскольку исходная однородная задача (5) не содержит комплексных коэффициентов, то, взяв вещественную и мнимую части от решений (16), (17), получим наборы вещественных элементарных решений. Для быстрого разделения вещественных и мнимых частей удобно вывести типовые формулы для выражения
Ма,в) ф 1 (е2а4 — 1) е(1+4)в, 2г
а Е К, в Е К.
Заметим, что
к
к
к
е2а4 — 1 = сов 2а + г вт 2а — 1 = —2 вт2 а + 2г вт а сов а = 2г еа4 вт а.
Поэтому
Ma. в) = 1 (e2ai - 1) e(1+i)e = eai sin a e(1+i)e = ee+(a+e)i sin a. 2 i
Отсюда
Re ^(a, в) = ee sin a cos (a + в); Im ^(a, в) = ee sin a sin (a + в). Отнеся подобные формулы к комплексным решениям (16), (17) со значениями
kn
a = t ^
a
kn
в = V^
в = —
(для (16)
(для (17)
находим четыре серии вещественных элементарных решении:
41)(x,t) = Т~ exP ( х) sin(^7 М cos (^7 í + ^7x
T
kn
T
kn
T
kn
kn
T
T
fk1)(x) = exM \Iyx) cos ( у ■yx);
(20)
«1.2>М) = I exp[ 9-x| sin^í) sin,^-í + -x
kn
T
kn
T
kn ~T
kn
T
I I kn \ . (
Ik >(x) = exP \/ 777 x sin x ;
T
(21)
T
«Í3>(x.í) = £exp| — -x] sin^í| cos|^í - ^x
kn
T
. f kn
kn ~T
kn
T
Р(зь s I I kn \ Í
ffc(x) = exp —vt^x cos x ;
T
(22)
T
T kn
kn
T
uk4> (x. í) = -— exp [ — \¡ x ) sin ( í ) sin [ í — т^т x
. / kn
V^7
kn
Y
kn
Y
f(4>ч I /kn \ . / kn
ik > (x) = — exp — w — x sin — x
T
(23)
T
Здесь к е N. Те же пары (лишь с другими знаками в (21), (23)) возникают из комплексно сопряжённых решений (18), (19). Непосредственная проверка подтверждает, что элементарные решения (20)-(23) действительно удовлетворяют однородной обратной задаче (5).
Комплексные решения (16)-(19), а затем и вещественные (20)-(23) получены из самых простых соображений. Тем удивительнее, что такие пары в определённом смысле исчерпывают возможности для построения нетривиальных решений однородной обратной задачи (5) при условии, что рост её решений по ж не может быть выше экспоненциального.
Для того чтобы оформить эту идею, обратим внимание на одно обстоятельство. Все найденные элементарные решения (20)-(23) являются неограниченными по переменной ж Е К. Точнее, они осциллируют, и их амплитуда экспоненциально растёт при ж — или при ж — —то. Минимальный рост амплитуды наблюдается у решений с номером к = 1. Показатель минимального роста равен значению
ас = ас (Т) = ^Л/Т. (24)
Установим, во-первых, что если ограничиться классом функций и(ж,Ь) с показателем роста, меньшим значения (24), то однородная обратная задача (5) будет иметь только тривиальное решение (6). Кроме того, установим, что вообще всякое решение однородной задачи (5) с функцией и(ж, г), имеющей не более чем экспоненциальный рост по переменной ж, является конечной линейной комбинацией элементарных решений (16)-(19). Другими словами, покажем, что найденные элементарные решения образуют базис пространства решений однородной обратной задачи (5) в классах функций экспоненциального роста.
3. Формулировка основных результатов
Первое утверждение даёт точное условие единственности решения для изучаемой обратной задачи.
Теорема 1. Пусть пара функций и = и(ж, г), / = /(ж), удовлетворяющих требованиям (3), является решением линейной однородной задачи (5). Предположим, что для функции и(ж,г) выполнена оценка
|и(ж,г)| ^ Мест|ж|, ж е к, 0 ^ г ^ Т, (25)
с константами М > 0 и а Е К, причём
а < ^п/Т. (26)
Тогда и(ж, г) ф 0 в полосе К х [0,Т] и /(ж) ф 0 всюду на К.
Откажемся теперь от условия (26) и допустим, что а '' \/п/Т. Тогда в линейной однородной задаче (5) появится бесконечно много нетривиальных решений с соответствующей оценкой (25), но структуру таких решений удаётся полностью описать.
Теорема 2. Пусть пара функций и = и(ж,г), / = /(ж), удовлетворяющих требованиям (3), является решением линейной однородной задачи (5). Предположим, что для функции и(ж, г) выполнена оценка (25) со значением а ' \/п/Т. Тогда решение (и(ж,г),/(ж)) представимо в виде
и(ж, г)
N
£
к=1
N
С
+С к=1 N
+ £ С
к=1
N
+ £ С
(1)
к 2кпг
(2)
к 2кпг
(3)
к 2кпг
к=1
(4)
к 2кпг
Г
2кпг
ехр I г — 11 ехр
Т 2кпг
ехр
Т
г ) — 11 ехр
2кпг
1 — ехр ( —Т~ г
2кпг
1 — ехр (--— г
ехр
ехр
'Т (1 + г) ж) +
(1 + г) ж] +
(1 — г) ж) +
'^Т(1—г) ж
(27)
f (x) = £ C« exp (^ (1 + i) x) + £ Cf exp (- (1 + i) ^ +
+ £ Ck3) exp (1 - i) *) + £ Ck4) ex^-^T^ (1 - i) x) . (28)
Здесь N = [Та2/п] (целая часть), а C^, Ck_2), Ck_3), Ck_4) при k = 1, ..., N суть комплексные константы, однозначно определённые выбранным решением.
Иначе говоря, всякое решение однородной обратной задачи (5), удовлетворяющее экспоненциальной оценке (25) с некоторым значением а ^ \Jп/Т, непременно представимо в виде линейной комбинации комплексных элементарных решений, взятых из серий (16)-(19). Если решение (u(x, t), f (x)) состоит из вещественнознач-ных функций, то формулы (27), (28) можно «овеществить», перейдя к линейным комбинациям вещественных элементарных решений (20)-(23).
Для доказательства сформулированных теорем нужна информация о некоторых технических свойствах оператора второй производной, входящего в уравнение теплопроводности. Эти свойства элементарны и в общих чертах известны, но из-за отсутствия подходящих ссылок дадим полное изложение в отдельном параграфе.
4. Оператор второй производной
Прежде всего отметим, что оператор
й2
А = ^ (29)
на области определения С2(М) обладает следующим свойством замкнутости в пространстве С (М).
Лемма 1. Допустим, что задано семейство функций {^£(ж)} С С2(М) с параметром £ > 0, причём <£е(ж) ^ <£0(ж) при £ ^ 0+ равномерно на компактах в М. Пусть также ^"(ж) ^ ^(ж) при £ ^ 0+ равномерно на компактах в М. Тогда е С2(М) и <^0'(ж) = ^(ж) всюду на М.
Доказательство. Понятно, что функции <^0(ж) и ^(ж) определены и непрерывны всюду на М, как равномерные пределы на компактах соответствующих непрерывных функций. Повторным интегрированием второй производной получим формулу
х
Ыж>=„(ОН¿(°)ж +/<ж -.ммж е £>». (3°)
0
В частности, при ж = 1 имеем
1
ре(1) = (0) + ¿(0) + У (1 - з)^'(з) £ > 0.
0
По условиям леммы если £ ^ 0+, то
1 1
^е(1) ^ ^0(1), ^е(0) ^ ^0(0), У*(1 - ^"(в) (1 - 8)^(8)
00
Но тогда ^(0) ^ а при е ^ 0+ с соответствующим конечным значением а. Вновь обратившись к формуле (30) и полагая там е ^ 0+, получим соотношение
<^о(х) = <£о(0) + ах + J (х — в)^(в) = ^о(0) + ах + J у ^(в) ^з, (31)
о оо
верное при любом х Е К. Представление (31) гарантирует, что функция принадлежит классу С2(К), причём ^'(х) = ^(х) всюду на К. Лемма доказана. □
Отметим попутно, что вопрос о замкнутости дифференциальных операторов в стандартных пространствах непрерывных функций не следует считать слишком банальным. Например, простое обобщение оператора (29) — лапласиан А на области определения С2(КП) — при п ^ 2 уже не будет замкнутым в пространстве С(Кп), оставаясь только замыкаемым. Это приводит к определённым техническим сложностям в исследовании обратных и нелокальных задач, подобных (1), (2), в многомерном (не одномерном) случае. Приходится использовать специальное замкнутое расширение лапласиана — оператор Лапласа — Привалова. Некоторые относящиеся сюда подробности можно найти в [6; 8]. В одномерном случае таких проблем не возникает, и в силу леммы 1 ситуация оказывается принципиально проще.
Нам также потребуются специальные условия, устраняющие «лишние» комплексные собственные функции оператора (29). Две следующие леммы представляют собой «одномерную» версию общих «многомерных» результатов из [6].
Лемма 2. Пусть функция т Е С2(К) удовлетворяет уравнению
т''(х) = Ат(х), х Е К, (32)
со значением А Е С, где А = (п + ¿С)2 и п = | Ке л/А | > 0. Предположим также, что
Кх)| ^ Мест|х|, х Е К, (33)
с константами М > 0 и а Е К, причём а < п. Тогда т(х) ф 0 на К.
Доказательство. ФСР для уравнения (32) имеет вид е(п+г^)х, е-(п+г^)х. Поэтому
т(х) = С1 е(п+г?)х + С2 е-(п+г?)х, х е К,
с некоторыми коэффициентами с1,с2 Е С. Допустим, что с1 = 0. Тогда
|т(х)| ~ |с11 епх, х ^ +то,
что противоречит (33), где а < п. Аналогично если с2 = 0, то
Кх)|~|с2| е-пх = |С21 еп|х|, х ^—то,
что снова противоречит (33), где а < п. Следовательно, с1 = с2 = 0 и т(х) ф 0. Лемма доказана. □
Утверждение леммы очевидно сохранит свою силу и при допущении, что п = 0, т. е. когда А Е К и А ^ 0. Но доказательство здесь придётся чуть изменить, и такой случай нам не понадобится.
Точнее, для наших целей нужно лишь одно следствие леммы 2.
у
х
х
Лемма 3. Пусть » е С2(М), и
»''(ж) = 2кП1 »(ж), ж е М, (34)
с некоторым фиксированным значением к е Z \ {0}. Если для функции »(ж) выполнена оценка (33) с показателем а е М, удовлетворяющим условию
а < л/|к|п/Т, (35)
то »(ж) = 0 на М.
Доказательство. Воспользуемся леммой 2 для Д = Дк = 2кпг/Т. Если к > 0, то
г— /2кпг , /кп^
Л/Дк = ^ -у = Т (1 + 1).
Если к < 0, то
' |к| п
/Дк =,/2р=(1 - *
В любом случае п = | Ке | = л/|к|п/Т > 0, и условие (35) означает попросту, что а < п. Применяя к ситуации лемму 2, заключаем, что »(ж) = 0 на М. □
Особая роль уравнений вида (34) объясняется тем, что именно такие уравнения со значениями к е Z \ {0} возникают для функциональных коэффициентов Фурье, вычисленных по переменной £ от функции и(ж,£) при любом возможном выборе решения (и(ж,£),/(ж)) однородной обратной задачи (5). Множители Дк = 2кпг/Т, фигурирующие в (34), совпадают с характеристическими числами (12), найденными для задачи (5) из характеристического уравнения (11).
5. Соотношения для коэффициентов Фурье
Пусть пара функций (и(ж,£), /(ж)) является решением однородной обратной задачи (5). Для функции и(ж, £) определим комплексные коэффициенты Фурье по переменной £ е [0,Т] стандартным образом:
т
1 Г ( 2кп1 \ »к(ж) = — и(ж, £) ехр (--ь \ ж е М, к е Z. (36)
0
Используя соотношения из задачи (5), установим следующий результат.
Лемма 4. Предположим, что пара функций (и(ж,£), /(ж)), удовлетворяющих требованиям (3), является решением однородной обратной задачи (5), и пусть для функции и(ж,£) при к е Z определены коэффициенты Фурье »к(ж) по формуле (36). Тогда »к е С2(М) для любого к е Z, причём
2кпг
»к'(ж) = -^»к(ж), ж е М, к е Z \{0}, (37)
»0'(ж) = -/(ж), ж е М. (38)
Если дополнительно функция и(ж,£) удовлетворяет оценке (25) с некоторыми константами М > 0 и а е М, то
|»к(ж)| * Мест|х|, ж е М, к е Z, (39)
с теми же значениями М > 0 и а € М.
Доказательство. Стандартные требования (3) не гарантируют достаточно хороших свойств функции и(х,£) при £ ^ 0+. Поэтому зафиксируем малое е Е (0,Т) и введём вспомогательную функцию
т
^(х,А) = /и<х,()е-«Л, х Е К, (40>
£
с дополнительным параметром А Е С. Поскольку и Е С2,1(К х [е,Т]), то
^(£)( ■, А) Е С2 (К)
при любом фиксированном А Е С. Вычислим производную гХХ по переменной х. Принимая во внимание уравнение (1) и соотношение и(х,Т) ф 0, запишем
т т
^ХХ)(х,А)= / иХХ(х,£) е-Л4 ^ = /(и4(х,£) — / (х)) е-Л4 ^ =
и(х, £) е
-Л4
т т т
+ А / и(х,£) е-Л ^ — /(хИ е-Л4 ^
т
= —и<х-е>е-Л£ + — / <х>/е-Л' *•
£
Зафиксируем значение А Е С и устремим е ^ 0+. Так как и Е С (К х [0,Т]), то
т т
^н/ „ме-Л" л ^ ^ф! u(x,t>е-Л- л
о
равномерно на компактах в К. Вспомним ещё, что и(х, 0) ф 0. Поэтому при е ^ 0+
имеем
т
^Хх)(х, А) = —и(х,е) е-Л£ + А^(е)(х,А) — /(х) ^ е-Л4 ^ -^ А^(о)(х,А) — Ь(А)/(х)
£
также равномерно на компактах в К. Здесь
т Г 1 — е-Лт л ,
Г ^ I -л-, А = 0,
ДА) ф е-Л ^ = Г А ' ^ ' (41)
о Г Т, А = 0.
Таким образом, оба семейства функций ^(е)(х,А) и ^ХХ)(х,А) имеют соответствующие пределы при е ^ 0+. Используя свойство замкнутости оператора второй производной (см. лемму 1), получаем, что при любом фиксированном А Е С функция
т
^.АН/ЧМ^, х Е К, (42>
о
принадлежит С2(К), и
^ХоХ)(х, А) = А ^(о)(х, А) — Ь(А)/(х), х Е К. (43)
Вернёмся теперь к коэффициентам Фурье (36).
£
Сравнивая формулы (36) и (42), замечаем, что
Лж,А) = Т^к(ж), к е
А=2кпг/Т
и потому е С2(К) при любом к е Кроме того, подстановка в (43) тех же значений А = Ак = 2кпг/Т даёт соотношения
Т^к'(ж) = АкТ^к(ж) - Ь(Ак)/(ж), ж е К, к е
(44)
Поскольку
Ь(Ак)
0,
Т,
к е Z \ {0}, к=0
(см. (41)
то из (44) следует, что
^к'(ж) = Ак ^к (ж),
к е Z \{0}; М>'(ж) = -/(ж).
Но это и есть соотношения (37) и (38) соответственно.
Отметим, наконец, тот очевидный факт, что коэффициенты Фурье (36), взятые от функции и(ж, ¿), обладают естественной устойчивостью по отношению к экспоненциальной оценке (25). Действительно, если |и(ж,£)| ^ Ме°"'ж' в полосе К х [0,Т] с константами М > 0 и а Е К, то
Т Т
К(ж)| ^ |и(ж,*)| ^ ^ ^ = Ме^,
0 0 т.е. верна оценка (39). Лемма доказана.
же К,
к е Z,
□
Между прочим, вывод нужных соотношений (37) и (38) сильно упростится, если действовать напрямую с функцией (42), а не обращаться к вспомогательным функциям (40). Однако для этого необходимо предварительно установить следующий специальный факт: всякое решение однородной обратной задачи (5), удовлетворяющее стандартным требованиям (3), автоматически обладает повышенной гладкостью, такой, что и е С2,1 (К х [0,Т]), и уравнение (1) выполнено всюду в замкнутой полосе К х [0,Т]. Данный принцип, скорее всего, верен, но его строгое обоснование требует некоторых вспомогательных рассуждений. Их лучше вынести в отдельное исследование.
Мы же приступим к доказательству основных результатов статьи.
6. Доказательство теоремы единственности
Докажем теорему 1 из пункта 3. Пусть пара функций (и(ж, ¿), /(ж)) удовлетворяет требованиям (3) и является решением однородной обратной задачи (5). Предположим, что функция и(ж, ¿) подчинена экспоненциальной оценке (25) с ограничением (26), т.е. считаем, что в показателе экспоненты стоит значение а < \fnJT.
Для функции и(ж,£) определим коэффициенты Фурье и>к(ж) по формуле (36). Согласно лемме 4 для каждой функции и>к (ж) при к е Z \ {0} имеет место своё соотношение (37) и выполнена оценка (39) с общим значением а, где
а < \/п/Т ^ у/|к|п/Т, к е Z \ {0}. Отсюда по лемме 3 заключаем, что
^к(ж) = 0, к е Z \{0}. Возможно, ненулевым остался один коэффициент и>0(ж).
Рассмотрим разность и(х,г) = и(х,£) — «0(х). Её коэффициенты Фурье допускают запись
т
«к(х) ф Т J и(х,г) ехр ^—^Т"^ М = «(х) — 4,0 «о(х), к е о
где $к,0 — символ Кронекера. С учётом (45) получаем, что (х) ф 0 уже при всех значениях к е Из равенства нулю всех коэффициентов Фурье следует, что сама непрерывная функция есть тождественный нуль. Поэтому и(х, г) ф 0 всюду в полосе К х [0,Т]. Но тогда
Цх,г) ф «о(х), х е К, 0 ^ г ^ Т.
С учётом однородных условий (4) заключаем, что «0(х) ф 0 и и(х,£) ф 0 всюду в полосе К х [0,Т]. Это автоматически означает, что f (х) ф 0 всюду на К. Таким образом, решение однородной обратной задачи (5) при наличии экспоненциальной оценки (25), взятой с ограничением (26), непременно оказывается тривиальным. Теорема 1 полностью доказана.
7. Доказательство теоремы о структуре общего решения
Доказательство теоремы 2 развивает идею доказательства теоремы 1. Пусть снова пара функций (и(х,г), f (ж)) удовлетворяет требованиям (3) и является решением однородной обратной задачи (5). Считаем, что для и(х, г) выполнена экспоненциальная оценка (25) с константами М > 0 и а е К. Но теперь
а " лД/Т, (46)
т. е. ограничение (26) заведомо нарушается.
Для функции и(х,£) введём коэффициенты Фурье (х) по правилу (36). Учитывая (46), определим натуральное число
N ф [Та2/п ] " 1.
По лемме 4 при каждом к е ^ \{0} для функции «(х) выполнено соответствующее соотношение (37) и действует оценка (39) со значением а " \/п/Т. При этом если
|к| " N + 1 = [Та2/п] + 1 > Та2/п,
то а < у/|к|п/Т. Отсюда на основании леммы 3 заключаем, что
«к(х) ф 0, |к| " N + 1. (47)
Для разности
(х,г)= Цх,г) — ^ ех^^^Т^^Л «к(х)
к=_ N \ /
N
м(х,Г)= и(х,£) — ^^ ехр | ,.. г | «к(х
к=-N
уже все коэффициенты Фурье
т
««к(х) ф 1 Ш(х, г) ехр ( —т7" ^ ^г, к е Z,
будут равны нулю.
Действительно, при |к| ^ N получаем, что
г^(х) = —^(х) - (х) = 0, а при | к | ^ N +1 имеем соответственно
г^ (ж) = (х) - 0 = (х) = 0 в согласии с (47). Но тогда и(х, ¿) = 0, и
и(х,г) = £ ехр Г2-^) (х)
= Шо(х) + ехр ( М —к(х) + £ ехр (--— П (х) (48)
всюду в полосе К х [0,Т].
В силу соответствующих уравнений (37) верны представления
-к<х> = С"> 2кЬ ехР (1 + г>х) + Ск2> ехР (1 + »х
(х) = -с'!> 2кЬ ехр(Л(1 - г) х) - ск4) ¿1 ^(^Ут(1 - г)х
при к = 1, ... , N. Все комплексные константы С^, С2>, С,3>, С4 определены однозначно. Дополнительные множители ±Т/(2кп.) в функциях ФСР взяты для удобства при последующей записи функции /(х).
Начальное условие и(х, 0) = 0 при его учёте в (48) даёт соотношение
N
-о(х) = - £ (-к (х) + --к (х)) = к=1
= - £ С" ^ ехР (1 + 0 х) - £ С'2> ^ ехр ( - ^ (1 + .) х) +
+ £ С3> ^ ехР (^ (1 - " х) + £ С4> ^ ехР (1 - 0 х) •
Подставим теперь в формулу (48) найденные выражения для
(х), ... , —-1(х), —0(х), -1(х), ... , и^(х).
После соответствующей группировки слагаемых получим представление (27), указанное в теореме 2 для функции и(х, ¿). Затем, чтобы вывести нужную формулу для /(х), воспользуемся соотношением (38) в сочетании с найденным выражением для —0(х). Вычисляя /(х) = -—0'(х) и замечая, что
Iкп , А 2кп. / /кп . А 2кп.
(1 + о] = 1Г, - о] = —,
придём в точности к представлению (28). Однозначность числовых коэффициентов в формулах (27), (28) следует из очевидной линейной независимости элементарных решений (16)-(19). Теорема 2 полностью доказана.
8. Экспоненциальные классы функций
Полезно дать отдельную интерпретацию полученных результатов на языке функциональных пространств. Для этого введём особые экспоненциальные классы функций, характеризуемые показателем роста мажорирующей экспоненты (в духе работ [7; 8]).
Пусть а — фиксированное действительное число, —то < а < то. Обозначим через (К х [0,Т]) класс функций и(х,г), заданных на К х [0,Т], для которых справедлива оценка
|и(х,г)| ^ Мест|ж|, х е К, 0 ^ г ^ т,
с некоторой константой М > 0, зависящей от функции и.
Аналогично через (К) будем обозначать класс функций f (х), заданных на К, для которых справедлива оценка
^(х)| ^ Мест|ж|, х е К,
с константой М > 0, зависящей от функции f.
В частности, при а = 0 получаем обычные ограниченные функции. При а < 0 функции экспоненциально стремятся к нулю на бесконечности, а при а > 0 допускаются функции соответствующего экспоненциального роста. При а1 < а2 имеем очевидные вложения
(К х [0,Т]) с (К х [0,Т]), (К) с (К).
Ясно, что конечная линейная комбинация функций из класса (К х [0,Т]) (или из класса (К)) снова попадает в (К х [0,Т]) (или в (К) соответственно).
Сохраняя стандартные требования (3), вновь рассмотрим всевозможные решения однородной обратной задачи (5). Как выяснилось в процессе проведённых исследований, существенную роль играет ограничение только на первый компонент из пары (х)). Зададим условие
и е£ст(К х [0,Т]) (49)
с некоторым значением а е К. Доказанные выше результаты фактически означают, что в экспоненциальных классах при а < \fnJT обратная задача (5) имеет только тривиальное решение (6), а в классах при а " \/п/Т появляется уже бесконечно много разных решений, представимых в виде (27), (28) с соответствую-
^(1) ^(2) ^,(3) ^,(4)
щими константами С к , С к , С к , С к . Точнее, справедливо такое утверждение.
Теорема 3. Пусть (и(х,£), f (х)) — решение однородной обратной задачи (5). Предположим, что для функции и(х,г) выполнено условие (49) с некоторым фиксированным значением а е К. Тогда если а < \/п/Т, то и(х, г) ф 0 всюду в полосе К х [0,Т ] и f (х) ф 0 всюду на прямой К. Если же а "у/п/Т и и(х, г) ф 0 в полосе К х [0,Т], то решение (и(х,г)^ (х)) представимо в виде (27), (28) со значением N ф [Та2/п]. При этом f (х) ф 0 на прямой К и (автоматически) f е (К) с тем же самым значением а "у/п/Т.
Теорема 3 непосредственно следует из теорем 1 и 2, являясь, по сути, их комбинированной переформулировкой.
Рассмотрим теперь решения исходной неоднородной обратной задачи (1), (2). Предположим, что для некоторых выбранных функций u0(x), ui(x) эта задача допускает решение (u(x, t), f (x)) с условием (49) при фиксированном значении а Е R. Установленные результаты означают, что (R х [0,T]) есть класс единственности для задачи (1), (2) при а < \JnjT и класс неединственности при а ^ \Jп/T.
Перейдём к точным формулировкам. Начнём с теоремы единственности.
Теорема 4. Пусть (u(1)(x,t),f(1)(x)) и (u(2)(x,t),f(2)(x)) — два решения обратной задачи (1), (2) с выбранными функциями u0 Е C(R), u1 Е C2 (R). Предположим, что обе функции u = u(1)(x,t) и u = u(2)(x,t) удовлетворяют условию (49) с общим фиксированным значением а < \¡n/T. Тогда u(1)(x,t) = u(2)(x,t) всюду в полосе R х [0,T] и f(1)(x) = f(2)(x) всюду на прямой R, т.е. указанные решения тождественно совпадают.
Теорема 4 следует из теоремы 1 с учётом линейности обратной задачи (1), (2). Понятно, что в условиях теоремы 4 неявно предполагается, что u0,u1 Е (R) с тем же оговорённым значением а < \/п/Т. Это условие, разумеется, необходимо для разрешимости задачи (1), (2) в соответствующем классе (49). Впрочем, вопрос о разрешимости сейчас не обсуждается, и эффективным достаточным условиям разрешимости задачи (1), (2) планируется посвятить отдельное исследование.
Приведём теперь утверждение про «неединственность» решения.
Теорема 5. Предположим, что обратная задача (1), (2) с выбранными функциями u0 Е C(R), u1 Е C2(R) имеет решение (u(x,t),f(x)), подчинённое ограничению (49) с фиксированным значением а ^ \Jп/T. Тогда обратная задача (1), (2) с теми же функциями u0 Е C(R), u1 Е C2(R) имеет бесконечно много других решений, подчинённых тому же ограничению (49), но все они отличаются от выделенного решения (u(x,t),f(x)) прибавлением различных линейных комбинаций элементарных решений (16)-(19) с номерами k = 1, ..., N, где N = [Та2/п] ^ 1.
Для доказательства теоремы 5 следует заметить, что прибавление к выделенному решению (u(x,t),f (x)) любой линейной комбинации пар (16)-(19) с номерами, указанными в теореме 5, не выводит вновь полученное решение за рамки ограничения (49). Используя затем теорему 2, заключаем, что этим исчерпываются все возможности для построения решений обратной задачи с общим ограничением (49) на рост первого компонента.
Заметим, что в условиях «неоднородных» теорем 4 и 5 требование (49) с тем или иным значением а Е R ещё не гарантирует того, что второй компонент решения — функция f (x) — также попадает в соответствующий класс (R). Например, непосредственно проверяется, что задача
ut = uxx + f (x), x Е R, 0 <t ^ T,
u(x, 0) = cos ex2, u(x,T) = cos ex2, имеет решение
u(x,t) = cos ex2, f (x) = 2e(2x2 + 10 sin ex2 + 2x2ex2 cos e.
При этом u Е E0(R х [0,T]), но f Е (R) ни при каком а > 0. Другими словами, несмотря на то что функция u(x, t) является ограниченной в полосе R х [0, T], вторая функция f (x) обладает сверхэкспоненциальным ростом. Как следует из теоремы 3, для однородной задачи (5) подобный эффект в принципе невозможен.
Гораздо более неожиданным является другое обстоятельство. Оказывается, однородная задача (5) обладает нетривиальными решениями со свойством
и(х,г) ф 0, f (х) ф 0. (50)
Для таких решений функция и(х, г) в полном согласии с теоремой 3 должна иметь сверхэкспоненциальный рост по переменной х, не попадая ни в один из введённых классов (К х [0, Т]). Конструкция нужного примера в определённом смысле неэлементарна. Её рассмотрению посвятим следующий пункт.
9. Особые решения сверхэкспоненциального роста
Для построения решения однородной обратной задачи (5) со свойством (50) достаточно подобрать функцию
и е С2Д(К х [0,Т]), (51)
отличную от тождественного нуля в полосе К х [0,Т] и удовлетворяющую там соотношениям
и = ихх, х € К, 0 ^ г ^ Т,
(52)
и(х, 0) = 0, и(х, Т) = 0.
Похожий пример, но лишь с одним начальным условием и(х, 0) = 0, был впервые построен в работе А.Н.Тихонова [1] (см. также [2]). Идея примера была основана на некоторых соображениях неквазианалитичности [11; 12]. Для того чтобы приспособить конструкцию А. Н. Тихонова к нашей задаче с добавочным финальным условием и(х, Т) = 0, используем следующий результат из теории квазианалитических функций, доказанный в книге Л. Хёрмандера [13] (см. там теорему 1.3.5 на с. 32).
Пусть (ад.)£=о — монотонно убывающая последовательность положительных чисел со свойством
ак ф Т < то. (53)
к=0
Тогда существует неотрицательная функция 7 е Сте[0,Т], отличная от тождественного нуля на [0, Т] и удовлетворяющая условиям
7(к)(0) = 0, 7(к)(Т) = 0, к = 0, 1, 2,..., (54)
|7(к)(г)| ^ -, 0 <г<Т, к = 0, 1, 2,.... (55)
а0 ■ ... ■ а^
Функция 7(г) ф 0 строится конструктивно, как предел последовательных свёрток, где в качестве сомножителей выступают нормированные характеристические функции для отрезков [0, а^] С К с числами из исходной последовательности )^=0 (все подробности см. в [13, с. 32-35]).
Применим цитированный результат в нужной нам форме. Зафиксируем два числа Т> 0 и р е (1, 2), отождествляя Т с финальным моментом времени в системе (52) и полагая р параметром, влияющим на выбор будущего решения. Определим последовательность
а0 = Я; а;к = —, к е N. (56)
Значение
Б = Б(Т,р)
Т
> 0
(57)
1 + С (р)
с £-функцией Римана выбрано так, чтобы выполнялось условие (53).
Для последовательности (56) по теореме 1.3.5 [13] построим неотрицательную функцию 7 Е Сте[0,Т], отличную от тождественного нуля на [0,Т] и удовлетворяющую условиям (54), (55). Точнее, условие (55) в нашем случае даёт соотношения
2'
7^
(к!)р
со значением Б > 0 из формулы (57 Определим функцию
1 (')/
0 < г < т,
к = 0, 1, 2,
"(ж,*) = Ещт 7 х2',
'=0
же М,
0 < г < т.
(59)
Формула (59) решает поставленную задачу. Указанная там функция и(ж,г) ф 0, будучи бесконечно дифференцируемой по ж € М. и по г Е [0, Т], заведомо попадает в класс (51) и удовлетворяет всем соотношениям в системе (52). С учётом структуры ряда (59) и выполненных условий (54) формальная проверка соотношений (52) не представляет труда. Обоснуем лишь должную сходимость ряда (59).
В полосе М. х [0,Т] выберем прямоугольник [ — Я, Я] х [0,Т] с фиксированным значением Я > 0. Согласно (54) и (58) в этом прямоугольнике для к-го слагаемого ряда (59) имеем оценку
1 (к!)р /о о2 \ '
№(г) ж2' / 1 (к!)
1
7Ч
(2к)! со значением д
1
< —
Б (2к)!
2Я2
Б
1
Б
д
(к!)Р
(2к)!
к = 0, 1, 2,
2Я2/Б > 0. Числовой ряд
Е
'=0
(к!)Р (2к)!
сходится при любых д > 0 и р Е (1, 2), поскольку
Ы д^
(к!)Р (2к)!
к
е \2
д / е \ 2-р
4
0
при к ^ то. По признаку Вейерштрасса функциональный ряд из формулы (59) равномерно сходится в любом прямоугольнике [ — Я, Я] х [0,Т]. Следовательно, функция и(ж,г) корректно определена и непрерывна всюду в полосе М. х [0,Т].
Аналогично показывается, что при формальном почленном дифференцировании ряда (59) (любое число раз по ж и по г) возникающий функциональный ряд также равномерно сходится во всяком прямоугольнике [—Я, Я] х [0, Т]. Поэтому функция и(ж, г) заведомо попадает в класс (51), и все её частные производные можно находить почленным дифференцированием ряда (59). Тем самым проверка соотношений (52) формальной подстановкой ряда (59) является полностью законной. Как уже отмечалось, такая проверка не составляет труда.
Полученное решение и(ж,г) очевидно отлично от тождественного нуля в выбранной полосе М. х [0,Т ]. Действительно, если допустить, что и (ж, г) ф 0, то при каждом фиксированном г Е [0, Т] степенной ряд по ж в формуле (59) должен иметь лишь нулевые коэффициенты. Но это возможно, только когда 7(г) ф 0 на [0,Т]. Последнее противоречит выбору неквазианалитической функции 7 Е Сте[0,Т].
д
р
д
е
Итак, требуемое решение задачи (52) предъявлено. Точнее, указана целая серия решений, зависящих от выбора параметра р Е (1, 2). Мы можем трактовать их как особые решения вида (50) для однородной обратной задачи (5).
Обсудим теперь вопрос о возможном поведении при |х| ^ то сконструированной функции и(х,г) ф 0 вида (59). Ответ также будет зависеть от параметра р. Значение р Е (1, 2) по-прежнему считаем фиксированным.
На основании теоремы 3 можем утверждать, что и Е (К х [0,Т]) ни при каком о Е К, т. е. простая экспоненциальная оценка для построенной функции (59) невозможна. Кроме того, невозможна и гораздо более сильная оценка
|и(х, г) | ^ Мест|х|2, х Е К, 0 ^ г ^ Т,
(60)
ни при каком выборе постоянных М > 0 и о > 0. Действительно, согласно классической теореме А. Н. Тихонова [1] (см. также [2]), если какая-то функция и = и(х, г) стандартной гладкости С2'1 (К х (0,Т]) П С (К х [0,Т]) даёт решение задачи
и = ижж, х Е К, и(х, 0) = 0,
0 < г < т,
(61)
и удовлетворяет оценке (60) с некоторыми числами М > 0 и о > 0, то и(х, г) ф 0 всюду в полосе К х [0,Т]. (Сравнительно простое доказательство теоремы Тихонова см. в книге В.П.Михайлова [14, с. 376-379].)
Оценим сверху функцию и(х,г) ф 0 из формулы (59). Учитывая выполненные условия (54), (58), имеем
|и(х,г))| ^
те
к=о <2к>!
|7("(г)| х2к «
1 £ (^ (2х2 -
- к=0(2к)! V °
(62)
при всех х Е К и 0 ^ г ^ Т. Удобно комплексифицировать ситуацию, введя вспомогательную целую функцию
р (г) = £
к=0
(к!)р
г Е С,
(63)
с тем же фиксированным значением р Е (1, 2). Поскольку для коэффициентов
(к!)р
Ск
(2к)!
к = 0, 1, 2,
64)
верно, что
л/Ск
(к!)Р (2к)!
Ц р
е/ ^2кУ
е \2
1 / е \2-р
4 \к
0,
к,
то определение (63) действительно корректно (и, кстати, не только при р Е (1, 2), но и при любом р Е (-то, 2)). Сравнивая (62) и (63), замечаем, что
|и(х,г))| ^ - ^^
х е К,
0 < г < т.
(65)
Осталось оценить функцию ^(г). Установим, что
(г)| ^ С ехр с некоторой константой С > 0.
1
2-р
г Е С,
(66)
1
к
г
Воспользуемся стандартным аппаратом теории целых функций [15]. Как известно, если целая функция Я (г) имеет конечный тип а ^ 0 при порядке р Е (0, то), то для любого конечного значения а > а справедлива оценка
(г)| ^ Сexp(а|г|р), г Е С, (67)
с некоторой константой С > 0, зависящей, вообще говоря, от выбора а > а.
Порядок и тип в нашем случае вычисляются по формулам (см. [15, с. 12-15])
Р = & ВД' (аеР),/Р = & к'" ^
через коэффициенты степенного разложения (63). Поскольку
1п п! = п 1п п (1 + о(п 1п п)), п ^ то, то для коэффициентов (64) имеем асимптотику
1п |1/с*| = 1п(2k)! — р 1пк! ~ (2 — р) к 1пк, к ^ то.
Отсюда
Р = Иш --:-;-г = -. (68)
' й^те 1п |1/с' | 2 — р v у
Но тогда для типа а возникает соотношение
ае Цш к2-р ( (к!^ = ]|ш к2-Р (к)Р У - е2-Р
с^те V (2к)! й^те \е; \2к/
2 — ру '^те
Соответственно
?
1
а = (2 — р) 4" а-?. (69)
Следовательно, при любом р Е (1, 2) можем взять значение
а ф 4 "> (2 — р) 4"= а, (70)
также зависящее от конкретного р.
Подставим в формулу (67) значение р, найденное в (68), и значение а, указанное в (70). Получим нужную оценку (66). Константа С > 0 в формуле (66) зависит, разумеется, от выбора р Е (1, 2).
Теперь можем оценить интересующую нас функцию и(ж,г). Комбинируя соотношения (65) и (66), имеем
С / ж2 \ 2-?
|и(ж,г)| ^ Б ех^зБ) , ж Е м, 0 ^ г ^ Т. (71)
Сформулируем окончательный результат в следующей форме.
Теорема 6. При фиксированном значении р Е (1, 2) выберем отличную от тождественного нуля функцию 7 Е Сте[0,Т], удовлетворяющую условиям (54), (58). Тогда пара
те
и(ж,г) = У-^: 7 (й)(г) ж2', ( , ) ¿^ (2к)! ' ( ) , (72)
/(ж) ф 0
даёт нетривиальное решение однородной обратной задачи (5).
4
При этом функция и(ж, г) из формулы (72) удовлетворяет требованию (51) и всем соотношениям (52). Для неё не может быть верна никакая оценка (60), но выполнено соотношение
|и(ж,г)| ^ Меь №, же К, 0 ^ г ^ Т, (73)
с некоторой константой М > 0, зависящей от выбора р е (1, 2), и величинами
1 2
Ь = (2.0)- ^, д =-, (74)
2 — р
где число О > 0 определено формулой (57).
Полное доказательство теоремы 6 дают предыдущие рассуждения настоящего пункта. Оценка (73) с величинами (74) есть просто другая запись для (71).
Между прочим, из формулы (74) для показателя д видно, что 2 < д < то при любом ре (1, 2) и одновременно значение д можно сделать сколь угодно близким к 2, выбирая параметр р близким к 1. Это означает, что оценка (60), гарантирующая единственность решения задачи Коши (61), является предельной, точнее, при замене (60) на (73) с любым фиксированным значением д > 2 единственность решения в задаче (61) будет утрачена. Отмеченное соображение также восходит к работе [1], где оценки вида (73) извлекались из соответствующей формулы (59) прямым (довольно сложным) способом без апелляции к теории целых функций. На наш взгляд, использование упомянутой теории даёт определённые преимущества.
Отдельный интерес представляет попутно возникшая задача об оценках целой функции ^(г) из формулы (63). Базовое неравенство (66) несколько грубовато. Желательно установить истинное поведение ^(г) вдоль вещественной положительной полуоси — там, где эта функция имеет максимальный рост. Из обсуждений с А. Ю. Поповым и В. Б. Шерстюковым выяснилось, что получение точного результата требует определённых усилий и довольно серьёзной аналитической техники. Как указал нам В. Б. Шерстюков, поставленную задачу решает функция сравнения
= 2(2—р) (4) ^ 4(2 — Р) (4) • ж> 0' (75)
с тем же значением р, что и функция ^(г) в формуле (63). Утверждается, что
^(ж) ~ Ф(ж), ж ^ +то. (76)
Точнее, для любого р е (1, 2) и любого е > 0 существует значение жо > 0, зависящее от р и е, такое, что
(1 — е)Ф(ж) (ж) < (1 + е)Ф(ж), ж ^ ж0 = ж0(р,е). (77)
Функция (75) согласована со значениями р и а, найденными в формулах (68) и (69) соответственно. Асимптотику (76) можно, скорее всего, распространить на все значения р е (—то, 2) с дополнительной конкретизацией деталей в (77).
Указанные результаты представляют интерес «сами по себе» с точки зрения теории функций. Но ставить вопрос об уточнении оценок для функции и(ж, г) вряд ли целесообразно. Во-первых, соотношение (73) с величинами (74) в целом отражает принципиальную сторону дела. Во-вторых, при выводе (73) происходит несколько последовательных загрублений, часть из которых трудноустранима. И, наконец, в-третьих, для |и(ж, г)| всякую полученную оценку сверху будет довольно сложно подкрепить соответствующей оценкой снизу.
Дело в том, что, согласно классической теореме Уиддера [16] (см. теорему 2.2 на с. 134 в [17]), любое нетривиальное решение и е С2Д(К х (0, Т]) П С (К х [0,Т]) задачи Коши (61) не может сохранять знак в полосе К х [0, Т], т. е. фактически обязано осциллировать по х хотя бы при некоторых £ е [0, Т]. Для такого решения оценить снизу величину |и(х,£)| крайне проблематично. Не углубляясь в дальнейшие подробности, отметим, что моделирование решений, указанных в теореме 6, весьма непросто даже с привлечением современных компьютерных средств, а поведение функции и(х,£) в полосе К х [0,Т] отличается удивительными особенностями.
Завершим данный раздел дополнительной исторической справкой. Общие разложения вида (59), а точнее, вида
рассматривались сначала для аналитических решений одномерного уравнения теплопроводности (см., например, книгу Гурса [18, § 471,541] или ранние работы Хольмгрена [19; 20] ). Затем тот же Хольмгрен связал в [21] вопрос единственности решения в задаче Коши с проблемой квазианалитичности. Логика событий вполне объяснима: именно тогда теория квазианалитических функций переживала своё бурное развитие [11]. Через некоторое время А. Н. Тихонов [1] привёл свой знаменитый пример неединственности вида (78) с неквазианалитическими функциями 7o(t), Yi(t) в условиях (79). Этот цикл исследований в определённом смысле завершил Тэклинд [22], указавший точную «квазианалитическую» границу между единственностью и неединственностью решения в задаче Коши (61). Совсем другой подход к построению нетривиальных решений в той же задаче Коши предложили Розенблюм и Уиддер [23]. Их метод связан с интегральными преобразованиями.
Применительно к обратным задачам идея примера А. Н. Тихонова [1] была впервые использована в [24] для целей, отличных от целей настоящей работы. Затем стало ясно, что подобные конструкции обладают удобной универсальностью — к ним можно обращаться по разным поводам, когда изучение неклассических задач происходит при минимальных ограничениях, допускающих неожиданные «патологии» (см. [6; 25; 26]).
Список литературы
1. Tychonoff, A. Théorèmes d'unicité pour l'équation de la chaleur / A. Tychonoff // Мат. сб. - 1935. - Т. 42, № 2. - С. 199-216.
2. Тихонов, А. Н. Собрание научных трудов : в 10 т. Т. II. Математика. Ч.2. Вычислительная математика, 1956-1979. Математическая физика, 1933-1948 / А. Н. Тихонов ; ред.-сост. Т. A. Сушкевич, А. В. Гулин. — М. : Наука, 2009. — 590 с.
3. Тихонов, И. В. Единственность решения двухточечной обратной задачи для абстрактного дифференциального уравнения с неизвестным параметром / И. В. Тихонов, Ю. С. Эйдельман // Дифференц. уравнения. — 2000. — Т. 36, № 8. — С. 11321133.
4. Тихонов, И. В. Теоремы единственности в линейных нелокальных задачах для абстрактных дифференциальных уравнений / И. В. Тихонов // Изв. РАН. Сер. мат. — 2003. — Т. 67, № 2. — С. 133-166.
5. Попов, А. Ю. Экспоненциальные классы единственности в задачах теплопроводности / А. Ю. Попов, И. В. Тихонов // Докл. Акад. наук. — 2003. — Т. 389, № 4. — С. 465-467.
где
Yo(t) = u(0,t), Yi(t) = uœ(0,t),
(79)
6. Попов, А. Ю. Классы единственности в нелокальной по времени задаче для уравнения теплопроводности и комплексные собственные функции оператора Лапласа / А. Ю. Попов, И. В. Тихонов // Дифференц. уравнения. — 2004. — Т. 40, № 3. —
C. 396-405.
7. Попов, А. Ю. Разрешимость задачи теплопроводности с нелокальным условием среднего по времени / А. Ю. Попов, И. В. Тихонов // Докл. Акад. наук. — 2004. — Т. 398, № 6. — С. 738-742.
8. Попов, А. Ю. Экспоненциальные классы разрешимости в задаче теплопроводности с нелокальным условием среднего по времени / А. Ю. Попов, И. В. Тихонов // Мат. сб. — 2005. — Т. 196, № 9. — С. 71-102.
9. Денисов, А. М. Введение в теорию обратных задач / А. М. Денисов. — М.: Изд-во Моск. гос. ун-та, 1994. — 208 с.
10. Prilepko, A. I. Methods for solving inverse problems in mathematical physics /
A. I. Prilepko, D. G. Orlovsky, I. A. Vasin. — N.Y., Basel: Marcel Dekker, 2000. — xiii+709 p.
11. Carleman, Т. Les fonctions quasi analytiques. Lecons professees au College de France (Collection de monographies sur la theoriedes fonctions publiee sous la direction de m. Emile Borel) / Т. Carleman. — Paris: Gauthier-Villars, 1926. — 116 p.
12. Мандельбройт, С. Квазианалитические классы функций / C. Мандельбройт. — Л.-М.: ОНТИ, 1937. — 108 с.
13. Хёрмандер, Л. Анализ линейных дифференциальных операторов с частными производными. Т. 1. Теория распределений и анализ Фурье / Л. Хёрмандер. — М.: Мир, 1986. — 464 с.
14. Михайлов, В. П. Дифференциальные уравнения в частных производных /
B. П. Михайлов. — 2-е изд., перераб. и доп. — М.: Наука, 1983. — 424 с.
15. Леонтьев А. Ф. Целые функции. Ряды экспонент / А. Ф. Леонтьев. — М.: Наука, 1983. — 176 с.
16. Widder, D. V. Positive temperatures on an infinite rod / D. V. Widder // Trans. Amer. Math. Soc. — 1944. — Vol. 55, no. 1. — P. 85-95.
17. Widder, D. V. The heat equation / D. V. Widder. — N.Y., San Francisco, London: Academic Press, 1975. — xvi+267 p.
18. Гурса, Э. Курс математического анализа. Том третий. Часть I. Бесконечно близкие интегралы. Уравнения с частными производными / Э. Гурса. — М.-Л.: ГТТИ, 1933. — 276 с.
д 2 z dz
19. Holmgren, E. Sur l'equation —= — / E. Holmgren // Comptes Rendus de
ox2 oy
l'Academie des Sciences. — 1907. — Vol. 145. — P. 1401-1403.
20. Holmgren, E. Sur l'equation de la propagation de la chaleur / E. Holmgren // Arkiv for matematik, astronomi och fysik. — 1908. — Vol. 4, no. 14. — P. 1-11.
21. Holmgren, E. Sur les solutions quasianalytiques de l'equation de la chaleur / E. Holmgren // Arkiv for matematik, astronomi och fysik. — 1924. — Vol. 18, no. 9. — P. 1-9.
22. Tacklind, S. Sur les classes quasianalytiques des solutions des equations aux derivees partielles du type parabolique / S. Tacklind // Nova Acta Regiae Societatis Scientiarum Upsaliensis. Ser. IV. — 1936. — Vol. 10, no. 3. — P. 1-57.
23. Rosenbloom, P. C. A temperature function which vanishes initially / P. C. Rosenbloom,
D. V. Widder // The American Mathematical Monthly. — 1958. — Vol. 65, no. 8. — P. 607-609.
24. Тихонов, И. В. Соображения монотонности в обратной задаче для абстрактного дифференциального уравнения / И. В. Тихонов // Интеграл. преобразования и спец. функции: информ. бюл. — 2001. — Т. 2, № 1. — С. 119-128.
25. Тихонов, И. В. Структурные свойства нуль-решений абстрактной задачи Коши / И. В. Тихонов // Интеграл. преобразования и спец. функции: информ. бюл. — 2002. — Т. 3, № 1. — С. 22-38.
26. Тихонов, И. В. Критерий единственности в обратной задаче для абстрактного дифференциального уравнения с нестационарным неоднородным слагаемым / И. В. Тихонов, Ю. С. Эйдельман // Мат. заметки. — 2005. — Т. 77, вып. 2. — С. 273-290.
Поступила в 'редакцию 17.09.2016 После переработки 29.09.2016
Сведения об авторах
Тихонов Иван Владимирович, доктор физико-математических наук, профессор кафедры математической физики факультета ВМК, Московский государственный университет им. М.В.Ломоносова, Москва, Россия; e-mail: [email protected].
Гаврись Юлия Васильевна, студентка математического факультета, Московский государственный педагогический университет, Москва, Россия; e-mail: [email protected]. Аджиева Татьяна Загировна, магистрант факультета ВМК, Московский государственный университет им. М. В. Ломоносова, Москва, Россия; e-mail: [email protected].
Chelyabinsk Physical and Mathematical Journal. 2016. Vol. 1, iss. 3. P. 37-62.
STRUCTURE OF SOLUTIONS OF MODEL INVERSE PROBLEM FOR THE HEAT EQUATION IN CLASSES OF EXPONENTIAL GROWTH FUNCTIONS
I.V. Tikhonov1", Yu.V. Gavris'2b, T.Z. Adzhieva1c
1 Lomonosov Moscow State University, Moscow, Russia
2 Moscow State Pedagogical University, Moscow, Russia
"[email protected]; [email protected]; [email protected]
Model inverse problem of finding the inhomogeneous term of the one-dimensional heat equation is considered. The research is performed in classes of exponential growth functions. The condition of uniqueness of solution is established. It is shown that in case of breakdown of this condition any non-trivial solution of exponential growth can be represented as a linear combination of elementary solutions. Examples of special solutions with superexponential growth are given.
Keywords: inverse problem, heat equation, exponential growth functions.
References
1. Tychonov A.N. Théorèmes d'unicité pour l'équation de la chaleur. Recueil Mathématique, 1935, vol. 42, no. 2, pp. 199-216.
2. Tychonov A.N. Sobranie nauchnykh trudov v 10 t. T. II. Matematika. Ch. 2. Vychislitel'naya matematika, 1956-1979. Matematicheskaya fizika, 1933-1948 [Collection of science works in 10 vol. Vol. II. Mathematics. Pt. 2. Computational mathematics, 1956-1979. Mathematical physics, 1933-1948], ed. by T.A. Sushkevich, A.V. Gulin. Moscow, Nauka Publ., 2009. (In Russ.).
3. Tikhonov I.V., Eydelman Yu.S. The unique solvability of a two-point inverse problem for an abstract differential equation with an unknown parameter. Differential Equations, 2000, vol.36, no. 8, pp. 1256-1258.
4. Tikhonov I.V. Uniqueness theorems for linear non-local problems for abstract differential equations. Izvestiya: Mathematics, 2003, vol. 67, no. 2, pp. 333-363.
5. Popov A.Yu., Tikhonov I.V. Exponential classes of uniqueness in heat conduction problems, Doklady Mathematics, 2003, vol.67, no. 2, pp. 234-236.
6. Popov A.Yu., Tikhonov I.V. Uniqueness classes in a time-nonlocal problem for the heat equation and complex eigenfunctions of the Laplace operator. Differential Equations, 2004, vol. 40, no. 3, pp. 428-437.
7. Popov A.Yu., Tikhonov I.V. Razreshimost' zadachi teploprovodnosti s nelokal'nym usloviem srednego po vremeni. [Solubility of a problem of heat conduction with a nonlocal condition for the time averages]. Doklady Akademii Nauk [Reports of the Academy of Science], 2004, vol.398, no.6, pp. 738-742. (In Russ.).
8. Popov A.Yu., Tikhonov I.V. Exponential solubility classes in a problem for the heat equation with a non-local condition for the time averages. Sbornik: Mathematics, 2005, vol. 196, no. 9, pp. 1319-1348.
9. Denisov A.M. Vvedeniye v teoriyu obratnykh zadach. [Introduction into theory of inverse problems]. Moscow, MSU Publ., 1994. 208 p. (In Russ.).
10. Prilepko A.I., Orlovsky D.G., Vasin I.A. Methods for solving inverse problems in mathematical physics. N.Y., Basel, Marcel Dekker, 2000. xiii+709 p.
11. Carleman T. Les fonctions quasi analytiques. Paris, Gauthier-Villars, 1926. 116 p.
12. Mandel'broyt S. Kvazianaliticheskiye klassy funktsiy [Quasianalytic classes of functions]. Leningrad—Moscow, ONTI Publ., 1937. 108 p. (In Russ.).
13. Hormander L. The analysis of linear partial differential operators I, Distribution theory and Fourier analysis. Grundlehren der mathematischen Wissenschaften, vol. 256. Berlin, Heidelberg, N.Y., Tokyo, Springer-Verlag, 1983. ix+391 p.
14. Mikhailov V.P. Partial differential equations. Moscow, Mir Publ., 1978, 396 p.
15. Leont'yev A.F. Tselye funktsii. Ryady eksponent [Entire functions. Series of exponents]. Moscow, Nauka Publ., 1983. 176 p. (In Russ.).
16. Widder D.V. Positive temperatures on an infinite rod. Transactions of American Mathematical Society, 1944, vol. 55, no. 1, pp. 85-95.
17. Widder D.V. The heat equation. NY, San Francisco, London, Academic Press, 1975, xvi+267 p.
18. Goursat E. Cours d'Analyse mathématique. Tome III. Intégrales infiniment voisines. Equations aux dérivées partielles du seconde ordre. Equations integrales. Calcul des variations. Troisieme edition, Paris, Gauthier-Villars, 1923.
d 2 z dz
19. Holmgren E. Sur l'equation —= —-. Comptes Rendus de l'Académie des Sciences,
ox2 dv
1907, vol. 145, pp. 1401-1403.
20. Holmgren E. Sur l'equation de la propagation de la chaleur. Arkiv for matematik, astronomi och fysik, 1908, vol. 4, no. 14, pp. 1-11.
21. Holmgren E. Sur les solutions quasianalytiques de l'equation de la chaleur. Arkiv for matematik, astronomi och fysik, 1924, vol. 18, no. 9, pp. 1-9.
22. Täcklind S. Sur les classes quasianalytiques des solutions des equations aux derivees partielles du type parabolique. Nova Acta Regiae Societatis Scientiarum Upsaliensis, ser. IV, 1936, vol. 10, no. 3, pp. 1-57.
23. Rosenbloom P.C., Widder D.V. A temperature function which vanishes initially. American Mathematics Monthly, 1958, vol. 65, no. 8, pp. 607-609.
24. Tikhonov I.V. Soobrazheniya monotonnosti v obratnoy zadache dlya abstraktnogo differentsial'nogo uravneniya [Concepts of monotoneness in inverse problem for abstract differential equation]. Integral'nye preobrazovaniya i spetsial'nye funktsii [Integral transformations and special functions], 2001, vol.2, no. 1, pp. 119-128. (In Russ.).
62
H. B. THXOHOB, M. B. TaBpHCb, T. 3. AgxueBa
25. Tikhonov I.V. Strukturnye svoystva nul'-resheniy abstraktnoy zadachi Koshi [Structural properties of null-solutions of abstract Cauchy problem]. Integral'nye preobrazovaniya i spetsial'nye funktsii [Integral transformations and special functions], 2002, vol.3, no. 1, pp. 22-38. (In Russ.).
26. Tikhonov I.V., Eydelman Yu.S. Uniqueness criterion in an inverse problem for an abstract differential equation with nonstationary inhomogeneous term. Mathematical Notes, 2005, vol. 77, no. 1, pp. 246-262.
Accepted article received 17.09.2016 Corrections received 29.09.2016
