Об одной линейной обратной задаче потенциала в нечетно-периодической модели Текст научной статьи по специальности «Математика»

5. Симонов П.М., Чистяков А.В. О некоторых признаках сохранения знака функции Грина для дифференциального уравнения второго порядка с запаздывающим аргументом // Некоторые проблемы фундаментальной и прикладной математики. М.: Московский физико-технический институт (государственный университет), 1999.

6. Лабовский С.М. О линейных дифференциальных неравенствах. PhD thesis, Математический институт им. Размадзе. Тбилиси, 1975.

7. Krasnosel'skii М., Lifshits Е., Sobolev А. Positive linear systems. The method of positive operators. Transl. from the Russian by Jurgen Appell. Berlin: Heldermann-Verlag, 1989. Zbl 0674.47036.

8. Лабовский С.М. О положительных решениях линейных функционально-дифференциальных уравнений // Дифференциальные уравнения. 1984. №20(4). C. 578-584.

9. Лабовский С.М. Положительные решения двухточечной краевой задачи для сингулярного линейного функционально-дифференциального уравнения // Дифференциальные уравнения. 1988. №24(10). C. 11161123.

10. Крейн М.Г., Рутман М.А. Вполне непрерывные операторы, оставляющие инвариантным конус в пространстве Банаха // Успехи математических наук. 1948. №1(23). C. 3-95.

Поступила в редакцию 9 июня 2015 г.

Labovskiy S.M. ON POSITIVENESS OF GREEN FUNCTIONS OF A FUNCTIONAL DIFFERENTIAL EQUATION

We consider the two-point boundary value problem for a functional-differential equation. A necessary and sufficient condition for the negativity of the Green function in terms of the eigenvalues of two auxiliary problems is obtained.

Key words: Green function; functional differential equation.

Лабовский Сергей Михайлович, Московский государственный университет экономики, статистики и информатики, г. Москва, Российская Федерация, кандидат физико-математических наук, доцент кафедры высшей математики, e-mail: labovski@gmail.com

Labovskiy Sergei Mikhailovich, Moscow State University of Economics, Statistics and Informatics, Moscow, the Russian Federation, Candidate of Physics and Mathematics, Associate Professor of the Higher Mathematics Department, e-mail: labovski@gmail.com

УДК 519.6

ОБ ОДНОЙ ЛИНЕЙНОЙ ОБРАТНОЙ ЗАДАЧЕ ПОТЕНЦИАЛА В НЕЧЕТНО-ПЕРИОДИЧЕСКОЙ МОДЕЛИ

© Е.Б. Ланеев, М.Н. Муратов, Е.Ю. Пономаренко

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

Получено устойчивое решение линейной обратной задачи потенциала для для бесконечно тонких плоских тел в случае, когда поле потенциала задано на неплоской поверхности.

Как известно, обратная задача потенциала [1] некорректно поставлена. Ее решение может не существовать, существующее решение может быть не единственным и неустойчивым в естественных постановках. В данной работе рассматривается постановка линейной обратной задачи потенциала для бесконечно тонких плоских тел, сводящаяся к линейной задаче продолжения поля потенциала [2]. Устойчивое решение строится с использованием метода регуляризации Тихонова [3]. Задача рассматривается в рамках периодической модели

[4], приводящей к представлению решения в рядов Фурье, удобному для вычислительной реализации. Состоятельность периодической модели обоснована в [5].

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

В цилиндре

Dx = {(ж, y, z) : 0 <х <lx, 0 <y <ly, -то < z < то} (1)

рассмотрим краевую задачу для поля потенциала, соответствующего нечетно-периодической модели [4]

( rot E(M) =0, M е Dx div E(M) = -4np,

[n E] lx=0,ix =0, (2)

[n E] |y=o,iy =0, E ^ 0, z ^ ±то.

Решением этой задачи является вектор функция

^ 8п [ ,^ it+mrIzm-zpI жихр, ,nmyP,

E-(M) = - — dVpp(P) 22 e V sin(—-—p)sin(—)x

lxly J л lx ly

Suppp n'm=1

пи .пихмх . ,nmyM^ nm . ,пихмч .птум^ x (i-. cos(—--) sin(—--) + j--sin(—--) cos(—--) +

lx^f + m2 -x y lyyjni + m -x y

+ квгди^м - zp) sm( —--) sin(—--)) = iEx + jEy + kEz, (3)

lx ly

Пусть в области Dx вида (1) задана поверхность S

S = {(ж, y, z) : 0 <х <lx, 0 < y < ly, z = F (x, y)}, m

F е C(1'X),S n Suppp = 0. ()

Если в области Dx вида (1) плотность p известна, то мы можем получить поле E0 на поверхности S по формулам (3), т. е.

E0 = E|s .

ОБРАТНАЯ ЗАДАЧА. Пусть теперь поле E0 на поверхности S задано, а плотность p неизвестна. Поставим задачу восстановления функции p по заданному полю E0 .

Будем рассматривать тела, представляющие собой бесконечно тонкие пластины произвольной формы в плоскости z = H. Плотность потенциала в этом случае можно представить в виде

p^,y,z)= о(х,у)6(z — H), (5)

и задача тем самым состоит в восстановлении функции о(х, y) .

2. Восстановление плотности по известной составляющей Ег поля потенциала

Вначале рассмотрим возможность восстановления плотности а(х, у) в формуле (5) по известной составляющей поля Ег в области

Д-то, Н) = {(х, у, z) :0 <х <1х, 0 < у < 1У, -то < z < Н} . (6)

Для составляющей поля Ег из формулы (3) получаем

^ Г , ^ 7? + ^Г \гм-гР \ ЖПХр. ЖШУр,

Ег(М) = - — йУрр(Р) е У У зт(—^)в1п(—^)х

Яиррр п'т=1

. , , . жихм, . /ПШуыл ,„ч х вгдп(хм - хр)8т(—--) эт(—--). (7)

-х 1"Ц

Отсюда и из (5) следует при хм < zр = Н

1х ^У

г, ¡' ¡' . ^ £ + т2 (Н-гм)

Ег(М) = ТТ а(хр,ур) ^ е V г? 1у х

-Х-У 0 0 'п,т=1

ппхр пшур ппхм пшум , , х эш —-— эт —-— эш —--эт —--ахр аур =

-х -У -х -У

Е-п\ 7? + ТТ(Н-гм) ППХм ПШум

е V 1у эш —--эт —х

-х -У

п,т=1 "

I? 1 у

4 ¡' ¡' ппх пшу , ,

х —— а(х, у) эш —-— эш —-— ахау =

-х-у Л Л -Х -У

00

- ¿7Г е " ^+^(Н-гм) ппхм „.п пшум

п,т=1

Полагая хм = Н , получим

о V г? г?, м • ппхм . пшум г0\ е у ? у 81п --эт—--Стпт- (8)

-х -У

п,т=1 "

Ег \г=Н = 2па,

причем, если а(М) = а(М)хо(М) , где хо — характеристическая функция носителя функции плотности а , то

Ег\г=н (м) = 2па(М )хп (М). В том случае, когда а = ао = сопв1 в пределах носителя,

Ег\г=Н (х,у) = 2жаохо (х,у),

т. е. х -составляющая поля совпадает с точностью до множителя с характеристической функцией плотности источников а . Решив задачу продолжения поля на плоскость х = Н , получаем фактически носитель плотности а .

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

%ю(х,у,х) = --Ег\г=еапзг<Н (9)

2пао

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

Б = Бпррхг)

и области

Бх(х) = {(х, у) € П(0) : и(х, у, х) > X, х = сопвЬ, 0 < Л < 1}. (10)

Теорема1. /л(БДБЛ^)) ^ 0 при z ^ Н.

Д о к а з а т е л ь с т в о. Из (8) и (9) следует, что

II® - А™.,, = А £ (1 - е^*^'"УЬт!2. (11)

" и,т=1

<х

Числовой ряд £ |хит|2 сходится и является мажорантным для ряда (11), так как

и,т=1

(1 - е V 1у )2 ^ 1.

Таким образом, можно переходить к пределу по Н - z , и, следовательно,

111 - хУ|2(п(о)) =о(Н - ^ ^0, ^ НИз сходимости ® к % в ¿2(П(0)) следует сходимость по мере [6]. Это означает, что для любых чисел е > 0 и т > 0 существует 5 > 0 такое, что для любого z : Н - z < 5 мера множества

^т = {(х,у) : (х,у) € П(0), |®(х,у) - х(х,у)| ^ т}

меньше е, т. е.

) < е.

Выберем число т так, чтобы т < X < 1 - т, то есть 0 < т < шш[А, 1 - Л] . Если точка (х, у) € Б \ БЛ , то

®(х, у) ^ А< 1 - т = х(х, у) - т,

то есть ®(х,у) - х(х,у) ^ -т и, следовательно, точка (х,у) € Пт . Если точка (х,у) € € Бл \ Б , то

®(х, у) > А> т = т + х(х, у), следовательно, ®(х, у) - х(х, у) > т , то есть (х, у) € Пт . Таким образом, из условия

(х, у) € Б\АБ = (Б\ \ Б) и (Б \ Бх)

следует, что (х, у) € Пт , то есть БЛДБ С Пт и

^(БЛДБ) < ^(Пт) < е.

Итак, для любого е > 0 найдется 5 > 0 такое, что для любого z : Н - z < 5

МБлДБ) < е.

Теорема доказана.

Ниже обосновано построение приближения Бл к носителю плотности источников бесконечно тонкого тела для устойчивого приближенного продолжения поля потенциала.

3. Решение обратной задачи в случае точно заданного поля E0

В работе [2] показано, что составляющая поля Ez , получаемая продолжением поля E0 с поверхности S вида (4), может быть представлена в виде продолжения с плоскости z = = a, a < min F(x,y)

(x,y)

<X> ^ n2 i m2 / „i

V (лл\ V^ Ä / \ 4 jx+Ж(zM-a) . ппхм . птум

Ez(M) = Äz,nm(a)e v x y sin—]-sin—--, (12)

n,m=1 "

где Фz,nm(a) — коэффициенты Фурье

lx ly

~ , . 4 f f nnx nmy , ,

Фz,nm(a) = ТУ Ф(x, у, a) sin —— sin -—dxdy

-x-y J J -x -y

00

функции Фz вида

l x ^

4 Г f д д

$z(M) = —J J[E°x(xp,yp)—V(M,P)|Pes + E0(xp,yp)—<p(M,P) |Pes+

x y 0 0

0

+ E0(xp, yp)(ni, Vpp(M, P))|pgsjdxpdyp, (13)

вычисляется по заданному полю E0

<» f+^jy2 lzM-zPl

\l jx jy

e Vх y nnxM nmyM nnxp nmyp —— > -. 2 2-Sin —--Sin —--Sin —-— Sin —--

x-y n,m=1 \Nr + m2 x -y x -y

y

— функция Грина задачи Дирихле для уравнения Лапласа в цилиндре . Решение обратной задачи получаем из (10), (9), (12).

4. Решение обратной задачи в случае приближенно заданного поля Е0

Пусть теперь вместо точной вектор-функции Е0 известна функция Е°'й = (Е°/, Е° ,Е0'д) такая, что

\\Е°- Е°\\Ьз(п(°)) = 5. В этом случае функция Фг вида (13) вычисляется приближенно:

lx ly

Ф(M) = jx^J j[E°x'S(xp,yp)dx^<p(M, P)|pes + E(xp,yp)ddp<p(M, P)|pes+

x y 0 0 p p

+ Е0,д(хр, ур)(щ, Урр(М, Р))\р&з\ахраур; (15)

при этом устойчивое приближенное продолжение составляющей поля Ег с поверхности 5 может быть получено [2] с использованием метода регуляризации Тихонова [3] и отличается от (12) регуляризирующим множителем

~ ÄS Г \ "\ПХ(zM-a)

^ V^ фz,nm(a)e v y . nnxM . nmyM /ле.,

Ez,a(M )= -ПГ=Т-Sin~l-Sin_l-, (16)

n,m=1 , 2ж\1 fx + jf (H-a) -x -y

1 + ae V Jx jy

где ФZz,nm(a) — коэффициенты Фурье функции ФZ|ща) вида (15). Сходимость приближенного решения (16) к точному решению (12) обеспечивает теорема

Теорема2 [2]. Для любого а = а(6) > 0 такого, что а(6) ^ 0 и 6/^/аЩ ^ 0 при 6 ^ 0 функция Esz а вида (16) равномерно сходится к точному решению в D(—to, H) . В соответствии с (9) функция

Wa = 2П00 E' alz=const (17)

может рассматриваться как приближение к характеристической функции х и критерием качества приближения может служить мера симметрической разности области

D = SuppxD

и области

D{(z) = {(х, y) е П(0) : wsa(х, y,z) > X, z = евивг, 0 < Л < 1}. (18)

Теорема 3. В условиях теоремы сходимости ^(БЛ ^)ДБ) ^ 0 при 5 ^ 0 , z ^ Н Доказательство. Из теоремы 2 следует, что

5

1® - ^^(Що)) = ^^^ + о(а(5)) ^ 0, 5 ^ 0. (19)

При доказательстве теоремы 1 получено

II® - х111,2(п(о)) = о(Н - z), z ^ Н. (20)

Оценивая разность - х в норме ¿2(П(0)) , применяя неравенство треугольника, получаем

у®а- ху < у®а- ®у+у®- ху.

Отсюда и из (19) и (20) следует

s

К - хУ < ^^г? + о(а(5)) + о(Н - ^ ^ 0, 5 ^ 0, z ^ Н. у/а(5)

Далее доказательство дословно повторяет доказательство теоремы 1. Формулы (18), (17), (16), (15) решают поставленную задачу.

ЛИТЕРАТУРА

1. Прилепко А.И. Обратные задачи теории потенциала // Матем. заметки. 1973. Т. 14. № 5. С. 755-767.

2. Ланеев Е.Б. Устойчивое решение одной некорректно поставленной краевой задачи для потенциального поля // Вестник РУДН. Серия Прикладная математика и информатика. 2000. № 1. С. 105-112.

3. Тихонов А.Н., Арсенин В.Я. Методы решения некорректных задач. М.: Наука, 1979. 288 с.

4. Ланеев Е.Б. О некоторых постановках задачи продолжения потенциального поля // Вестник РУДН. Серия Физика. 2000. № 8(1). С. 21-28.

5. Ланеев Е.Б. О погрешности периодической модели задаче продолжения потенциального поля // Вестник РУДН. Серия Физика. 2001. № 9(1). C. 4-16.

6. Колмогоров А.Н., Фомин С.В. Элементы теории функций и функционального анализа. М.: Наука, 1972. 496 с.

БЛАГОДАРНОСТИ: Работа выполнена при поддержке РФФИ (проект № 15-01-05134).

Поступила в редакцию 26 мая 2015 г.

Laneev E.B., Muratov M.N., Ponomarenko E.Yu. LINEAR INVERSE PROBLEM OF POTENTIAL IN THE ODD-PERIODIC MODELS

Obtained steady solution of the linear inverse problem of the potential for infinitely thin flat bodies in the case when the potential is set to a non-planar surface.

Key words: ill-posed problem; linear inverse problem of the potential; method of Tikhonov regulari-zation.

Ланеев Евгений Борисович, Российский университет дружбы народов, г. Москва, Российская Федерация, доктор физико-математических наук, профессор кафедры нелинейного анализа и оптимизации, e-mail: elaneev@yandex.ru

Laneev Evgeniy Borisovich, Peoples' Friendship University of Russia, Moscow, the Russian Federation, Doctor of Physics and Mathematics, Professor of Nonlinear Analysis and Optimization Department, e-mail: elaneev@yandex.ru

Муратов Михаил Николаевич, Российский университет дружбы народов, г. Москва, Российская Федерация, кандидат физико-математических наук, доцент кафедры нелинейного анализа и оптимизации, e-mail: finger@ramler.ru

Muratov Mikhail Nikolaevich, Peoples' Friendship University of Russia, Moscow, the Russian Federation, Candidate of Physics and Mathematics, Dotsent of Nonlinear Analysis and Optimization Department, e-mail: finger@ramler.ru

Пономаренко Екатерина Юрьевна, Российский университет дружбы народов, г. Москва, Российская Федерация, аспирант кафедры нелинейного анализа и оптимизации, e-mail: finger@ramler.ru

Ponomarenko Ekaterina Yuryevna, Peoples' Friendship University of Russia, Moscow, the Russian Federation, Post-graduate Student of Nonlinear Analysis and Optimization Department, e-mail: finger@ramler.ru

УДК 517.929

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

ВТОРОГО ПОРЯДКА

© А.С. Ларионов, А.С. Толстиков

Ключевые слова: функционально-дифференциальное уравнение; нелинейная краевая задача; функция Грина.

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

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