Линейная задача интегральной геометрии с гладкими весовыми функциями и возмущением

Владикавказский математический журнал 2015, Том 17, Выпуск 3, С. I I 22

УДК 517.9

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

А. X. Бегматов, Г. М. Джайков

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

Ключевые слова: интегральная геометрия, преобразование Радона, преобразование Фурье, преобразование Лапласа, формула обращения, оценки устойчивости, единственность решения, теорема существования, слабая некорректность, возмущение.

1. Введение

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

Вопросы единственности решения плоской задачи интегральной геометрии на семействе парабол с возмущением рассматривались в статье [1]. В [2, 3] изучены задачи интегральной геометрии в трехмерном слое на семействе параболоидов с возмущением. В [4] рассмотрены задачи интегральной геометрии на плоскости, которые тесно связаны с задачей Радона с возмущением.

©2015 Бегматов А. X., Джайков Г. М.

В [5] приводится теорема единственности решения задачи интегральной геометрии на кривых эллиптического типа в классе гладких финитных функций с носителем в полосе. В работе [5, 6] получено аналитическое представление для образа Фурье по первой переменной от искомой функции, из которого вытекает утверждение о сильной некорректности решения задачи. Важные результаты по обращению преобразования Радона и приложениям в сейсмической и компьютерной томографии представлены в [7-9]. Задача восстановления функции по известным интегралам от нее на семействе конусов в случае пространства четной размерности изучалась в статье [10]. В работах [11, 12] рассматривались новые постановки слабо некорректных задач интегральной геометрии на параболических кривых со специальными весовыми функциями.

Обозначим О = {(х,у) : х € М1, 0 ^ у ^ Н}. Для всех (ж, у), лежких в полосе О, рассмотрим систему отрезков {Т(х,у)}:

т (х, у) = {(С, п) : х - С = у - П, 0 < П < У < Н} .

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

2. Задача интегральной геометрии

и(х, у) О

ны интегралы от нее по отрезкам прямых из семейства {Т (х, у)} с весовой функцией 9 (х,у,С,П):

J 9 (х,у,С,п) и (С,п) ¿С = / (х, у).

Т

Задача решения этого уравнения есть задача интегральной геометрии вольтерров-ского типа (см. [13-15]).

/ (х, у) О

9 (х, у, С, п) имеет вид 91 (х, С) = х — С- Тогда решение задачи 1 в классе Сд2 (О) единственно, имеет место представление

( д2 д2 д2 \

и выполняется неравенство

С1

< Запишем задачу 1 для весовой функции 91 (х, С) в следующем виде:

у

J и

о

где Н = у — п-

Применим к обеим частям уравнения (3) преобразование Фурье по переменной х:

у

/ (А, у) = --== [ егХх [ и{х — ¡г, г]) (у — г?) с1г] с1х

1

-те 0

у

/

л/2ъ

I

и

0

у

0

и (Л, у) / (Л, у) х

и

у

у

е-ру / и

/ (Л,р) = ] ] и (Л,п) (у - п) е^-Ъйпйу

00

= / ... у й (А,п) е-р =I ,

0

0

Отсюда следует выражение

I

.!

и

где и

р

получим

Л

преобразований Фурье, получим

д2 д2 д2 и

Для доказательства неравенств (2) перепишем уравнение (8) в виде (9):

\\и (х,у)\\ь2

д2 д2 д2

.

Ь2

0

Используя свойства дифференцирования преобразований Фурье и Лапласа, неравенство треугольника для норм, а также учитывая (9) и условия, наложенные на функцию и (ж, у), получим оценку

||и (ж,У)11ь2 < С1И/(ж,У)1Ц2'2• >

Теорема 2. Пусть функция / (ж, у) известна всюду в полосе О, весовая функция д (ж, у, п) имеет вид д2 (ж, £) = е-(ж-^. Тогда решение задачи 1 в классе С0 (О) единственно, имеет место представление

д д

и ^ = ду^ ^ + дх^ ^ + ^ ^ ' ^

и выполняется неравенство

где С2 — некоторая константа.

< Запишем задачу 1 для весовой функции д2 (ж, £) в виде

у

У и

о

ж

у

/(А, 2/) = ^== У е1Хх ! и {х-к, т]) йг}йх,

-те о

у

У и

о

у

+те у г г

/(А,р) = е-ру /

оо

+те +те

/ е-(Р+1- *А)т ^т  [ и

о о

0гА

^п ^у

где

1

7 р + 1 - ¿А

о

Таким образом,

и

Применим к (15) обратное преобразование Лапласа пор. Тогда уравнение (15) примет

вид

й(Х,у)= + 1-й)/(А,у).

Применим к этому уравнению преобразование Фурье по переменной А:

д д 11 ^ = дх ^ ^ + ду^ ^ + ^ ^ '

Неравенство (11) вытекает из уравнений (15). >

Теорема 3. Пусть весовая функция д\(х, {) = х — правая часть задачи 1 известна всюду в полосе О и удовлетворяет следующим условиям:

1) / (х, у) финитна по х;

2) / (х, у) имеет все непрерывные частные производные до 2-го порядка включительно;

3) / (х, у) обращается в нуль вместе со своими частными производными до 2-го порядка включительно па границах полосы, т. е. при у = 0 и у = И.

1х

< Доопределим функцию /

ху преобразований Фурье и Лапласа, получим

/(*> р) = --——2 й (А, р).

Используя формулу (5), можно получить

/

1 (А,р) = / Тв-<р-'^>т

о

р

дующему выражению:

у

/(А, у) = У (у — П) егА(у-п) и (А, п) йщ. о

Отсюда вытекает справедливость утверждения теоремы 3. >

Теорема 4. Пусть весовая функция д2 (х, {) = е~(х~^\ правая часть задачи 1 известна всюду в полосе О и удовлетворяет следующим условиям:

1) / (х, у) х

2) /

3) / (х, у) обращается в нуль вместе со своими частными производными при у = 0 и у=И

Тогда существует решение уравнения (12) в классе непрерывных функций, финитных по х, определенное формулой (10).

< Аналогично доказательству теоремы 3 применим к (10) преобразование Фурье по ху

С помощью формулы (14), получим

/

где

1 ^.„> = 1е-"...

0

рЛ

приходим к следующему выражению:

у

!(х,у) = 1 и(х - и,,) е-<у-» Л,.

0

Отсюда вытекает справедливость утверждения теоремы 4. >

3. Задача интегральной геометрии с возмущением

Пусть Г (х, у) = {({, п) ' |х - = у - п, 0 ^ п ^ у ^ Н}, обозначим через С (х, у) область, ограниченную линией Г (х, у) и осью Ох.

Задача 2. Восстановить функцию двух переменных и (х, у) в полосе О, если известны суммы интегралов от нее по линиям семейства {Т (х, у)} и областям С(х,у) с весовыми функциями д (х,у,£,п) и К (х,у,£,п) соответственно:

У д (х,у,£,п) и (Л,п) + ! К (х,у,£,п) и (£,п) = Е (х,у).

Т

Теорема 5. Пусть весовая функция д (х, £) имеет вид д\ (х, £) = х - функция Е (х, у) известна в полосе О, весовая функция К (х,у,£,п) имеет все непрерывные про-2

С

Тогда решение задачи 2 в классе С§ (О) единственно и имеет место оценка

\\и(х,у)\\ь2(п) < Сз\\Е(х,у)\\щ2-2(п),

где Сз — некоторая константа. < Рассмотрим функцию

/1 (х,у) = Е (х,у) - / (х,у),

т. е. второе слагаемое из левой задачи 2

J K

G

Учитывая ограничения, наложенные на весовую функцию K (ж, у, п) и используя выражения соответствующих производных функции /с (ж, у) для у < ус, где ус достаточно мало, получим следующую оценку:

ИЛ

Au = /,

Au + Aiu = F.

Из функционального анализа [16] известно, что для оператора A из (20) существует левый обратный оператор A-1. Подействовав слева oneратором A-1 на обе части уравнения (21), приходим к равенству

u + A-1Aiu = A-1F.

A1

непрерывен как оператор, действующий из пространства (П) в пространство W^'2 (П) на функциях u (ж, у); оператор A-1 как оператор, действующий из пространства Wg'2 (П) в пространство L2 (П), ограничен на функциях Au (следовательно, и на функциях A1u,

A1 A

следует, что оператор A-1A1 из уравнения (22) непрерывен на функциях u (ж, у) как оператор, действующий из L2 (П) в L2 (П).

Таким образом, при достаточно малых у < ус для оператора A-1A1 выполняется неравенство

Из принципа сжатых отображений для оператора в правой части задачи 2 следует

у

есть уравнение типа Вольтерра в смысле определения, данного в [14], то единственность

уП неравенств (19), (23) и теоремы 1 вытекает оценка

где C3 — некоторая постоянная. >

Теорема 6. Пусть F (ж, у) известна в полосе П и весовая функция g2 (ж, £) = e-(x-^). Весовая функция K (ж, у, п) имеет все непрерывные производные до первого порядка включительно и обращается в нуль вместе со своими производными на границе области G (ж, у).

Тогда решение задачи 2 в классе Cq (П) единственно и имеет место оценка

||u(ж,У)|ь2(П) < C4|F(ж>у)У^21'Х(П)'

где C4 — некоторая константа.

< Рассмотрим функцию

fi

G

Аналогично доказательству теоремы 5 для y < yo, гдe yo достаточно мало, получим оценку

llfi

Интегральные операторы, стоящие в левых частях задачи 1 и уравнения (24), обозначим соответственно через B и Bi. С помощью эти обозначения задача 1 и задача 2 соответственно перепишутся следующим образом:

Bu = f,

Bu + Biu = F.

Известно, что для оператора B из (26) существует левый обратный оператор B-i [16].

B-i

u + B-iBiu = B-iF.

B-iBi

(28) непрерывен на функциях u (x, y) как оператор, действующий из L2 (П) в L2 (О,).

y < yo B-iBi

неравенство

Из принципа сжатых отображений для оператора в правой части задачи 2 следует

y

есть уравнение типа Вольтерра в смысле определения, данного в [14], то единственность будет иметь место не только для малых y, но и во всей по лосе Q. Таким образом, из неравенств (25), (29) и теоремы 1 вытекает оценка

||u (x,y)lL2(fi) < C4||F (x,y)llwh 1(П), где C4 — некоторая постоянная. >

Литература

1. Лаврентьев M. М. Задача интегральной геометрии на плоскости с возмущением // Сиб. мат. Журн>—1996.—Т. 37.^С. 851-857.

2. Вегматов А. X. Задача интегральной геометрии с возмущением в трехмерном пространстве // Сиб. мат. журн.^2000.^Т. 41, № 1.-С. 3-14.

3. Вегматов А. X. Об одной задаче интегральной геометрии с возмущением в трехмерном пространстве // Докл. РАН.-2000.-Т. 371, № 2.-С. 155-158.

4. Вегматов А. X. Об одном классе задач интегральной геометрии на плоскости // Докл. РАН.— 1993,—Т. 331, № З.-С. 261-262.

5. Вегматов А. X., Петрова H. Н. Задача интегральной геометрии с возмущением на кривых эллиптического типа в полосе // Докл. АН.-2011.-Т. 436, № 2.-С. 151-154.

6. Вегматов А. X., Джайков Г. М. О восстановлении функции по сферическим средним // Докл. АН ВШ Рф.^2013.^Т. 1, № 20.^С. 6-16.

7. Nowack R. L. Tomography and the Herglotz-Wiechert inverse formulation // Pure and Apllied Geophysics.—1990.—Vol. 133.-P. 305-315.

8. Наттерер Ф. Математические аспекты компьютерной томографии: Пер. с англ. яз.—М.: Мир, 1990.-288 с.

9. Кабапихин С. И. Обратные и некорректные задачи.—Новосибирск: Сиб. науч. изд-во, 2009.— 457 с.

10. Бегматов Акр. X. Задача интегральной геометрии для семейства конусов в те-мерном пространстве // Сиб. мат. журн.—1996.—Т. 37, № З.-С. 500-505.

11. Бегматов А. X., Пиримбетов А. О., Сеидуллаев А. К. Задачи интегральной геометрии в полосе на семействах параболических кривых // Докл. АН ВШ РФ.—2012.—Т. 2, № 2(19).—С. 6-15.

12. Begrnatov А. Н., Pirirnbetov А. О., Seidullaev А. К. Reconstruction stability in some problems of X-ray and seismic tomography I I Proceedings of IFOST-2012, Tomsk Polytechnic University.—2012.— Vol. 2.—P. 261-266.

13. Begrnatov A. H. Integral geometry problems of Volterra type // Integral methods in science and engineering / Eds. B. Bertram, C. Constanda and A. Struthers.—Boka Raton, Fl: Chapman Hall/CRC, 2000.-P. 46-50.—(Research Notes in Math. Ser., Vol. 418).

14. Лаврентьев M. M, Романов В. Г, Шишатский С. П. Некорректные задачи математической физики и анализа.—М.: Наука, 1980.—286 с.

15. Бегматов А. X. О единственности решения задачи интегральной геометрии вольтерроского типа на плоскости // Докл. АН.-2009.-Т. 427, № 4.-С. 439-441.

16. Функциональный анализ. Справочная математическая библиотека / Под ред. С. Г. Крейна.—М.: Наука, 1972.-544 с.

Статья поступила 29 июля 20Ц г. Бегматов Акбар Хасанович

Новосибирский государственный технический университет, профессор кафедры инженерной математики РОССИЯ, 630073, Новосибирск, пр-т К. Маркса, 20 E-mail: begah@ngs.ru

Джайков Гафур Муратбаевич

Новосибирский государственный технический университет, аспирант кафедры инженерной математики РОССИЯ, 630073, Новосибирск, пр-т К. Маркса, 20 E-mail: gafur_djaykov@mail. ru

LINEAR PROBLEM OF INTEGRAL GEOMETRY WITH SMOOTH WEIGHT FUNCTIONS AND PERTURBATION

Begrnatov A. H. and Djavkov G. M.

We study two problems of integral geometry in a strip on a family of line segments with a given weight function. In the first case, we consider the problem of reconstruction a function in a strip, if we know the integrals of the sought function on the family of line segments with a given weight function of a special kind. An analytical representation of a solution in the class of smooth finite functions is obtained and the uniqueness and existence theorems for a solution of the problem are proved. A stability estimate of solution in Sobolev spaces is presented, which implies its weakly ill-posedness. For the problem with perturbation the uniqueness theorem and stability estimate of solution were obtained. In the second case, we considered the problem of reconstructing a function given by integral data on the family of line segments with a weight function of exponential type. The uniqueness and existence theorems of a solution are proved. A simple representation of a solution in the class of smooth finite functions is constructed. Next, we consider the corresponding problem of integral geometry with perturbation. The uniqueness theorem in the class of smooth finite functions in a strip is proved and a stability estimate of a solution in Sobolev spaces is received.

Key words: problems of integral geometry, Radon transform, Fourier transform, Laplace transform inversion formula, stability estimates, uniqueness of the solution, existence theorem, weakly Ill-posedness, perturbation.