Наилучшее восстановление решения задачи Дирихле по неточно заданному спектру граничной функции Текст научной статьи по специальности «Математика»

Владикавказский математический журнал 2017, Том 19, Выпуск 4, С. 3-12

УДК 517.9

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

Е. В. Абрамова

Во многих прикладных задачах возникает ситуация, когда требуется восстановить значение функции по некоторой информации (обычно не точной и не полной). Общая задача об оптимальном восстановлении линейного функционала на классе функций по конечной информации впервые появилась в работе С. А. Смоляка."В дальнейшем эта тематика получила достаточно широкое развитие в самых разных направлениях. Существует множество подходов к решению подобных задач. Здесь мы следуем подходу, который предполагает наличие априорной информации об объекте, характеристики которого требуется восстановить. Это позволяет поставить задачу о нахождении наилучшего метода восстановления данной характеристики среди всех возможных методов восстановления. Такой взгляд на задачи восстановления идеологически восходит к работам А. Н. Колмогорова 30-х гг. прошлого века о нахождении наилучших средств приближения для классов функций. Математическая теория, где изучаются задачи восстановления на основе указанного подхода, активно развивается в последние десятилетия, обнаруживая тесные связи с классическими задачами теории приближений и имея различные приложения к задачам практики. Работа посвящена задаче наилучшего восстановления решения задачи Дирихле в метрике Ь2 на прямой в верхней полуплоскости, параллельной оси абсцисс, по следующей информации о граничной функции: граничная функция принадлежит некоторому соболевскому пространству функций, а ее преобразование Фурье известно приближенное (в метрике Ьж) на конечном отрезке, симметричном относительно нуля. Построен оптимальный метод восстановления и найдено точное значение погрешности оптимального восстановления. Следует отметить, что оптимальный метод использует, вообще говоря, не всю доступную информацию, а ту, которую использует, определенным образом «сглаживает».

Ключевые слова: задача Дирихле, оптимальное восстановление, экстремальная задача, преобразование Фурье.

Введение

Работа посвящена задаче наилучшего восстановления решения задачи Дирихле в метрике ¿2 на прямой в верхней полуплоскости, параллельной оси абсцисс, по следующей информации о граничной функции: граничная функция принадлежит некоторому соболевскому пространству функций, а ее преобразование Фурье известно приближенное (в метрике на конечном отрезке, симметричном относительно нуля. Построен оптимальный метод восстановления и найдено точное значение погрешности оптимального восстановления. Следует отметить, что оптимальный метод использует, вообще говоря, не всю доступную информацию, а ту, которую использует, определенным образом «сглаживает».

Общая задача об оптимальном восстановлении линейного функционала на классе функций по конечной информации впервые появилась в работе [1]. В дальнейшем эта тематика получила достаточно широкое развитие в самых разных направлениях (укажем лишь обзоры [2-4]). Отметим еще работы [5-7], где рассматриваются близкие по постановкам задачи.

© 2017 Абрамова Е. В.

1. Постановка задачи

Рассмотрим задачу Дирихле

{Дп(ж, у) = 0, (ж, у) е Ж2, у > 0,

(1.1)

«(•, 0)= /(■),

заключающуюся в нахождении гармонической функции п(-, ■) в верхней полуплоскости, для которой /(■) е .¿2(Ж) является граничной функцией. Равенство п(-, 0) = /(■) понимается так: и(-,у) ^ /(■) при у ^ 0 в метрике ¿2(Ж).

Мы будем требовать еще, чтобы 8иру>0 ||и(-,у)У^2(к) < то. В этом случае решение

задачи Дирихле единственно и задается интегралом Пуассона

у)/(¿)

u(x,y) = J P(x - t, (t)

где P{x,y) = .^a^a) (см., например, [8]). Рассмотрим пространство функций

WUR) = {/(■) G L2(R) : /(r-1)(-) G LAC(R), /(r)(-) G L2(R), F[/](•) G Lc

где LAC(R) обозначает множество функций на R, абсолютно непрерывных на каждом конечном отрезке, F[/](■) — преобразование Фурье функции /(■) G L2(R). Обозначим через соболевский класс функций на прямой

Г т) = {/(■) G WUR): ||/(Г)(-)||Ы«) < ^•

2 те(^) = ^ / С) е т 2 те

Ставится задача о наилучшем восстановлении функции и(-,У) — решении задачи Дирихле на прямой у = У, где У > 0, по следующей информации о граничной функции /(■) е Ж[те(Ж): задано приближенно ее преобразование Фурье ^[/](■) на отрезке [—а, а], а > 0 в метрике ¿те([-а, а]), т. е. известна функция #(•) е ¿те([-а, а]) такая, что [/](-) - < 5, где 5 >

Задача оптимального восстановления и(-,У) понимается следующим образом. Любое отображение т: ¿те[-а, а] ^ ¿2(Ж) объявляется методом восстановления. Погрешность этого метода определяется величиной

e(Y,W2^(MUa,m) = sup ||u(-,Y) - m(g(-))

f (•)ewj

[-ff, ct],

Нас интересует величина

Е(У, ^(Ж), 5, а) = 1М е (У, ^(Ж), 5, а, т),

т: (К)

которая называется погрешностью оптимального восстановления, и те методы т, на которых нижняя грань достигается:

Е (У, ^те (Ж), 5, а) = е (У, ^(Ж), 5, а, т).

Эти методы мы называем оптимальными методами восстановления.

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

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

- / n(2r+1) \1/(2r+1) ^ Теорема 1. Пусть 6 > 0, a > 0, a = ( ¿2 ) , сто = min{<r, a}. Метод

m : L^[-a, a] ^ L2(R), действующий в образах Фурье по правилу

(е~У\(\ ( 1 _ e-2Y(a0-\(\) (±\2Г\ (е) |t| < a

*«*(•))] (О = Г V w

U |ei >ao,

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

3. Доказательство теоремы 1

Оценка снизу погрешности оптимального восстановления. Покажем, что погрешность оптимального восстановления E(Y, W2(^(R), 6, a) не меньше значения следующей экстремальной задачи:

IK,Y)|L2(r) ^ max, f (■) G W^(R), ||F[/](') ILM < 6 M

т. е. верхней грани максимизируемого функционала при данных ограничениях.

Пусть /(■) — допустимая функция в задаче (3.1). Заметим, что если /(■) допустима, то и —f(■) тоже допустима и ей соответствует решение — u(-, Y). Тогда для любого метода m имеем

2 I|u(-> Y)|L2(r) = ||u(-, Y) — m(0) — (—u(-, Y) — m(0))|£2(R)

< I|u(-, Y) — m(0) ^(R) + 11 — u(-, Y) — m(0) |L2(R)

< 2 SUP |u(',Y) — m(0)|L2(R) f(•)ew2rœ(i), 2( )

IIF [f ](-)||lto ([-a,a])<,S

< 2 sup ||u(-,Y) — m(g(-))|| =2e{Y,W^(R),6,a,m).

f(-)ewjTO (R), 2( )

9(-)&L^([-a,a]),

IIF [f ](-)-s(-)|Ilto«-ct,ct])^ Таким образом,

I|u(',Y)|l2(r) < e ( Y, W^ (R), 6, a, m).

Переходя слева к верхней грани то всем допустимым функциям f (•), а справа к нижней грани по всем методам m : [—a, a]) ^ L2(R), получаем

E(Y,W2^(R),6,a) ^ sup ||u(-,Y)||(r),

f(-)eW2TO(R), 2( )

IIF [f ](-)!lto([-ct,ct])^5 ()

E(Y,W^(R),6,a) ^ S, (3.2)

где S — значение задачи (3.1).

Найдем величину решив задачу (3.1). Так как Е[п(-, У)](£) = е-^^ Е[/](£) для всех £ е Ж (см., например, [8]), то согласно теореме Планшереля, квадрат значения задачи (3.1) равен значению следующей задачи:

± I ах

(3.3)

и/](£)|202 дляп.в. ££ [-*,*], ^/v

К

Сопоставим данной задаче функцию Лагранжа

ЧЯО, М-), А2) /

К

+ / (\F\jm\2 - Р) + I . (3.4)

—т V К )

Лемма 1. Если найдутся функция А^-) е ¿те([-а, а]) ^ 0 число А2 ^ 0 ж

допустимая в задаче (3.3) функция /(•) такие, что

(а) .(/(■), А1 (■), А2) = ш1п ¿(/(■), А1 (■), А2),

} (К)

т

(б)/ А1(£)(|Е[/А](£) |2 - 52) ^ = 0,

—т

(С) ^ ^ I ^[/ко!2«-^ =0,

то /(•) —решение задачи (3.3).

< Пусть /(■) — допустимая функция в (3.3). Тогда, учитывая это обстоятельство, а также неотрицательность А1 (■) и А2, условия (а), (6), (с), получим

т

~ / е-^ШоМ^— / е"2^|ПШ|Ч + I МО (\Р[Л(0\2 ~ 52) ^

К К —т

+ А2 ^ =Ь(/(-),А1(-),А2)§Ь(/(-),А1(-),А2)

т

= -¿1 е"2^1|,Р[/](£)|2^+ I ЫО (\РШ)\2 - 52) ^

К —т

+ А2 /(Ь)=(С) /

КК

/"(•) — решение задачи (3.3). >

Воспользуемся теперь леммой 1, чтобы найти решение задачи (3.3). Рассмотрим два случая.

1. Пусть а ^ А. Положим

Ах(0 =

Л2 = ^

0, |£| ^ г,

-2У?

(2г

функция /(•) такова, что ее преобразование Фурье имеет вид

{о, ш>А:

Проверим выполнение условий леммы. Очевидно, что А1(-) ^ 0 г2 > 0, и простая проверка показывает, что функция /(•) допустима в задаче (3.3) и выполнены условия (6) и (с) леммы. Проверим выполнение условия (а). Для этого запишем функцию Лагранжа (3.4) в виде

1 Г 2

£ (/(•), А1(.),А2) = -— j ПЛ(е)

к

+ 1ыо(\т(о\2-в2)<%+\2(-^ ¡е г\р[л(о\2^~1

-о \ к /

= к / { - +л2£2г)|пто|Ч- (¿2 А2) ,

к V -о

где х[—а, а](-) — характеристическая функция отрезка [-а, а].

Оценим первое слагаемое полученного выражения с А1(-) = (1(-) и А 2 = А2:

1

2тт

I ( - е-2У1 + 2п(1 (О ■ х[—а, а](0 + (2 Г) |Р[/](£) |2 ^

(Г

^/(- е"2^' +2тгА1(а + А2е2г) I(- е-*™ +%£*) ШО\2^

-о К\[-г;г]

(Г

-(Г

К\[-о; о]

1 Г (/ i:\2r \

1 / „-2Уо\ е \ --2УЛ^-оИ 1^г,ч/лч|2

2п }

К\[-о; о]

Но если /(■) = /(•), то

1

2тг

I (-е-2У|?| + 2п А1 (£)х[—а,а](£) + А2£2г) |Е[/](£)|2

К

т

= + 2тг ^ - А2 £2") + А2 £2") ¿2 ¿£ = О-

Следовательно, выполнено и условие (а) леммы, и тем самым /(•) — решение задачи (3.3). Таким образом,

1

52 =

2п

I е—2¥^ |Е[/А](£) |2 ^ = -.(/(■), А1 (■), А2)

Вместе с формулой (3.2) это означает, что в рассматриваемом случае

Е(У, Щ

2. Пусть а < А. Положим

2те(

, 5, а >

(3.5)

А1(£) =

е-*™-е-'Г' |

2г

|£| < а, |£| ^ а,

А2 =

2Ут

т2г

|е [/](£)] | =

5, |£| < а,

С5(£ ± а), |£| = а, 0, |£| > а,

где С2 =

п 52 т

2г+\' а — дельта-функция в точке £о-Проверим выполнение условий леммы 1. Очевидно, что А1(-) ^0 и А2 > 0. Функция /(■) допустима в (3.3). Действительно, |Е[/](£)|2 ^ 52 для п.в. £ е [-а,а]. Далее,

1 Г 1 / 2г+1

1 I -2г | сч?!^ 2 ¿с _ 1 ( 2^2 а ,

2тг } 4 1 и 4 2тг V 2г + 1

+ 2С 2а2

2тг \ 2г + 1 \ <т2г 2г + 1

Очевидно, что условия (6) и (с) леммы выполняются. Проверим выполнение условия (а). Как и раньше, преобразуем функцию Лагранжа к виду

.

(/(•), А1 (•), А2) = ^ I ( - е"2У I + 2тгА! (£) х[-<7, а] (£) + А2 ^) |(£) |2 ^

К

- (5^А1 (£) + А2

т

0

Оценивая первое слагаемое полученного выражения с Ai(-) = Ai(-) и А 2 = А2, получаем

R

± [ в"2-2п J

При этом значение этого слагаемого на функции /(•), как нетрудно проверить, равно нулю. Следовательно, /(•) — решение задачи (3.3), и, значит,

s> = i

2тг

f e-2Y[/](^)|2 = -¿(ДОЛ('), A2)

R

a

= Ö*J MO dt + A2 = ^ (1 ■- e~2Ya) + e-2- -

Отсюда и из формулы (3.2) следует, что в рассматриваемом случае

E(Y,W^(R),6,a) > ^ (1 - е"2^) + е"^ - . (3.6)

Оценка сверху и оптимальный метод. Покажем, что метод m из формулировки теоремы является оптимальным. Снова рассмотрим два случая.

1. Пусть а ^ А. Выше для данного случая были определены функция Ai (■) и число А2-Обозначим

„i(0 Iii«,

(о, iei > а.

Погрешность метода m равна, по определению, значению следующей экстремальной задачи:

||U(,F) - m (g)(') 11L2 (R) ^ maX' IIF [/К') - g(-)^LTO([-a;a]) < * II/(-)^L2(R) < 1-

Применяя теорему Планшереля, получим, что квадрат значения этой задачи равен значению следующей задачи:

^ j\e-Y\e\(F[ft№-ai({)g({))\2dt^iru*x,

R Т , (3.7)

IF[f№-g(Z)\ прип.в. |£К<т, — J er\F[fm\ d^l.

R

Максимизируемый в (3.7) функционал представим в виде суммы двух интегралов: 1

a

1 Je~2Y^\F[f}(0-ai(09(0\2 dt+ ^ J e-^ \F[f}(0\2 d^

2n

-9 |£|>9

Оценим подынтегральное выражение в первом слагаемом, используя неравенство Ко-ши — Буняковского:

е—2У|? 1 | (Е[/](£) - а1 (£Ж£)) |2 = е—| (1 - а1 (£)) Е[/](£) + а1 (£) (Е[/](£) - «/(£)) |2

|2

= e-2Y ^

1 ai(0 • ^mm) + V27^) wm-g(o)

А2 £г у 2П А1 (£)

^е-2^ + (%ешо\2+2пМошо-9(о\2)-

V А2 £2г 2П а1(£) у

Непосредственный подсчет показывает, что

е-2У|€| (|1-"1(е)12 + МОРЛ = 1

V А2р 2-к А1 (£) у

Интегрируя полученное неравенство с учетом этого обстоятельства и учитывая ограничения в задаче (3.7), приходим к следующей оценке для интеграла слева в (2.5):

Г Г Г 1 Г —2Y |£|

e\F[fm\2dt+j\i(o\F[fm-g(.o\2dt+- J

i?i>?

^ ji2r\F[fU)\2di + 52 j\l{Odi + ^e^ J e\F[fm\2< —? —? |£|>?

i />ЧрМГЛ12^Л2 f (П < e 2Ya + / I _ /^iV"

ППЛШГ^ + ^у —+ - / ( e 141 — e ( ^ ] \<Ц

R —?

^ (1-е-2У?).

2nY

Следовательно,

e^H^^Ua,™) < ^^ (l - e"2^)

Вместе с оценкой (3.2) это означает, что при a ^ a метод m из формулировки теоремы является оптимальным и справедливо нужное выражение для погрешности оптимального восстановления.

2. Пусть a < ¡г. Обозначим

И » a.

Рассуждения совершенно аналогично предыдущему случаю, получаем, что

1 f —2Y ,^\|2 ^ , —2У^ \ -2V^ ( 1 a

^ /I И/ш - а2шо) Г ■¿е < ¿F (1" +(i "

a- r2r+1

и поэтому

e(Y,W^(R),6,a,fh) < (l - е"^) + е"^ (-L - .

Отсюда и (3.6) следует, что при а < а метод m из формулировки теоремы оптимален и справедлива нужное выражение для погрешности оптимального восстановления. Теорема 1 доказана.

Литература

1. Смоляк С. А. Об оптимальном восстановлении функций и функционалов от них: Дисс. ... канд. физ.-мат. наук.—М.: МГУ, 1965.

2. Micchelli С. A., Rivlia Т. J. A survey of optimal recovery // Optimal Estimation in Approximation Theory / Eds. C. A. Micchelli, T. J. Rivlin.-N.Y.: Plenum Press, 1977.-P. 1-54.

3. Melkman A. A., Micchelli C. A. Optimal estimation of linear operators in Hilbert spaces from inaccurate data // SIAM J. Numer. Anal.-1979.-Vol. 16.-P. 87-105.

4. Micchelli C. A., Rivlia T. J. Tectures on Optimal Recovery // Tect. Notes Math.—Berlin: SpringerVerlag, 1985.—Vol. 1129.-P. 21-93.

5. Магарил-Ильяев Г. Г., Осипенко К. К). Оптимальное восстановление функций и их производных по приближенной информации о спектре и неравенства для производных // Функцион. анализ и его прил.—2003.—Т. 37.-С. 51-64. DOI: 10.4213/faal57.

6. Магарил-Ильяев Г. Г., Осипенко К. К). О восстановлении операторов сверточного типа по неточной информации // Тр. МИАН.-2010.-Т. 269.-С. 181-192.

7. Магарил-Ильяев Г. Г., Осипенко К. К). Об оптимальном гармоническом синтезе по неточно заданному спектру // Функцион. анализ и его прил.—2010.—Т. 44.—С. 76-79. DOI: 10.4213/faa2999.

8. Стейн И., Вейс Г. Введение в гармонический анализ на евклидовых пространствах.—М., 1974.

9. Магарил-Ильяев Г. Г., Тихомиров В. М. Выпуклый анализ и его приложения / 3-е изд.—М.: Эдиториал УРСС, 2011.

10. Колмогоров А. И., Фомин С. В. Элементы теории функций и функционального анализа / 4-е изд.—М.: Наука, 1976.

Статья поступила 23 ноября 2016 г. Абрамова Елена Владимировна

ФГБОУ ВО «Национальный исследовательский университет «МЭИ», старший преподаватель кафедры высшей математики РОССИЯ, 111250, Москва, ул. Красноказарменная, 14 E-mail: el.v.abramovaOgmail.com

THE BEST RECOVERY OF THE SOLUTION OF THE DIRICHLET PROBLEM FROM INACCURATE SPECTRUM OF THE BOUNDARY FUNCTION

Abramova E. V.

In many applied problems appears a situation where it is necessary to recover the value of a function from some information (usually not exact or complete). The general problem of the optimal recovery of a linear functional on a class of functions from finite information first appeared in the works of S. A. Smolyak. In the future this subject has received a fairly wide development in a variety of ways. There are many approaches which solve similar problems. Here we follow the approach that assumes the existence of a priori information about the object whose characteristics are to be recovered. This allows us to set the problem of finding the best method for recovering this characteristic among all possible recovery methods. This view of reconstruction tasks ideologically goes back to Kolmogorov's work in the years 1930s on finding the best means of approximation for classes of functions. The mathematical theory, where recovery problems are studied on the basis of this approach, has been actively developing in recent decades, revealing close links with the classical problems of approximation theory and having various applications to the problems of practice. This paper is devoted to the problem of best recovery of the solution of the Dirichlet problem in the L2 metric on the line in the upper half-plane parallel to the abscissa axis, according to the following information about the boundary function: the boundary function belongs to some Sobolev space of functions, and its Fourier transform knows an approximate (in the metric) on finite segment symmetric with respect to zero. An optimal recovery method is constructed and the exact value of the optimum recovery error is found. It should be noted that the optimal method uses, generally speaking, not all available information, and the one that uses it, in a certain way, "smoothes out".

Key words: Dirichlet problem, optimal recovery, extremal problem, Fourier transform.

References

1. Smolyak S. A. Ob optimalnom vosstanovlenii funktsii i funktsionalov ot nikh [On Optimal Reconstruction of Functions and Functionals of ThemJ, Kand. diss., Moscow, MGU, 1965 (in Russian).

2. Micchelli C. A., Rivlin T. J. A Survey of optimal recovery, Optimal Estimation in Approximation Theory (eds. C. A. Micchelli and T. J. Rivlin), N. Y., Plenum Press, 1977, pp. 1-54.

3. Melkman A. A., Micchelli C. A. Optimal estimation of linear operators in Hilbert spaces from inaccurate data, SI AM J. Numer. Anal., 1979, vol. 16, pp. 87-105.

4. Micchelli C. A., Rivlin T. J. Lectures on Optimal Recovery, Led. Not. Math., Berlin: Springer-Verlag, 1985, vol. 1129, pp. 21-93.

5. Magaril-Il'yaev G. G., Osipenko K. Y. Optimal recovery of functions and their derivatives from inaccurate information about the spectrum and inequalities for derivatives, Funktsional'nyi Analiz i ego Prilozheniya [Functional Analysis and Its Applications J, 2003, vol. 37, no. 3, pp. 51-64 (in Russian).

6. Magaril-Il'yaev G. G., Osipenko K. Y. On the Reconstruction of Convolution-type operators from inaccurate information, Proc. Steklov Instit. Math., 2010, vol. 269, pp. 174-185. DOI: 10.1134/ S008154381002015X.

7. Magaril-Il'yaev G. G., Osipenko K. Y. On Optimal Harmonie Synthesis from Inaccurate Spectral Data, Funktsional'nyi Analiz i ego Prilozheniya [Functional Analysis and Its Applications J, 2010, vol. 44, no. 3, pp. 76-79. DOI: 10.4213/faa2999 (in Russian).

8. Stein E., Weiss G. Introduction to Fourier Analysis on Euclidean Spaces. Princeton, Princeton Univ. Press, 1971.

9. Magaril-Il'yaev G. G., Tikhomirov V. M. Vypuklyi analiz i ego prilozheniya [Convex Analysis and its ApplicationsJ. Moscow, Editorial URSS, 2011 (in Russian).

10. Kolmogorov A. N., Fomin S. V. Elementy teorii funktsii i funktsionalnogo analiza [Elements of the Theory of Functions and Functional Analysis J, Moscow, Nauka, 1976 (in Russian).

Received November 23, 2016 Abramova Elena Vladimirovna

National Research University "Moscow Power Engineering Institute", 14 Krasnokazarmennaya st., Moscow, 111250, Russia E-mail: el.v.abramova@gmail.com