Интегральная геометрия симметричных тензорных полей в комплексном пространстве и интегральная геометрия матриц тема автореферата и диссертации по математике, 01.01.01 ВАК РФ

Введение

1 Интегральная геометрия симметричных тензорных полей в комплексном пространстве

1.1 Определение симметричных тензорных полей в комплексном пространстве и операций над ними

1.2 Определение лучевого преобразования и теорема о разложении на потенциальную и бездивергентную части

1.3 Формула обращения лучевого преобразования.

1.4 Описание образа лучевого преобразования.

1.5 Доказательство теоремы о тангенциальной компоненте

2 Интегральная геометрия с матричным весом и одна нелинейная задача восстановления матриц

2.1 Интегральная геометрия с матричным весом.

2.2 Нелинейная задача восстановления матриц

3 Обратная задача для системы кинетических уравнений, возникающей из системы уравнений Власова равновесной плазмы

3.1 Постановка обратной задачи.

3.2 Лемма о регулярности семейства траекторий.

3.3 Интегральная геометрия вдоль п семейств кривых

3.4 Разрешимость обратной задачи в частном случае.

4 Примеры неединственности в задачах обобщенного преобразования Радона и эмиссионной томографии с поглощением

4.1 Пример неединственности для обобщенного преобразования Радона с весом, инвариантным относительно вращений

4.2 Пример неединственности для задачи эмиссионной томографии с поглощением.

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

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

Ранее Г. А. Лоренц, Г. Минковский и П. Функ нашли способ восстановления четной функции, определенной на сфере, по ее интегралам вдоль всех больших кругов. Однако именно Радон впервые поставил общую задачу восстановления функции на поверхности по ее интегралам вдоль кривых из некоторого двухпараметрического семейства ( см. [27]).

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

Такое понимание предмета интегральной геометрии сформировалось в работах И. М. Гельфанда и его школы ( см.[7, 8] ), а также в работах С. Хелгасона (см.[34, 35]). Его следует отличать от понимания интегральной геометрии в смысле геометрической теории вероятностей ( см. [24, 25] ). В работах И. М. Гельфанда, С. Г. Гиндикина, М. И. Граева, Н. Я. Виленкина, Г. М. Хенкина и других авторов изучаются преобразование Радона и его аналоги в вещественном, комплексном, проективном пространствах и пространствах постоянной кривизны, преобразования интегральной геометрии для р-мерных плоскостей, дифференциальных форм и рассматриваются их приложения к теории представлений групп.

Задачи интегральной геометрии возникают в математической физике и теории обратных задач для дифференциальных уравнений. Например, они возникают, как линеаризация обратной кинематической задачи сейсмики. Эти задачи изучаются в работах М. М. Лаврентьева, В. Г. Романова, Ю. Е. Аниконова, А. Л. Бухгейма и других авторов (см.[3, 4, б, 12, 21, 22, 23]). При этом интегрирование в преобразовании интегральной геометрии производится не по прямым или плоскостям, а по подмногообразиям более сложной природы. Явных формул обращения для таких преобразований, как правило, построить не удается и поэтому наиболее важным является вопрос о единственности восстановления и его устойчивости.

Для семейств кривых и поверхностей, инвариантных относительно сдвигов, и для семейств кривых в круге, инвариантных относительно поворотов, этот вопрос изучен В. Г. Романовым (см. [22, 23]). Он также изучил задачу интегральной геометрии для геодезических изотропной римановой метрики (см. [21] ).

В работе М. М. Лаврентьева и Ю. Е. Аниконова (см. [3]) была доказана единственность восстановления функции в части полуплоскости по интегралам вдоль семейства кривых — обобщение двумерного варианта результата Р. Куранта о восстановимости функции в полупространстве по ее интегралам вдоль всевозможных полусфер с центрами на границе полупространства (см. [11] ). В работе М. М. Лаврентьева и А. Л. Бухгейма (см. [6]) доказана однозначная разрешимость задачи интегральной геометрии вдоль семейств гиперповерхностей в достаточно малой области пространства.

Р. Г. Мухометову удалось доказать единственность восстановления функции по ее интегралам вдоль достаточно произвольного семейства кривых в области на плоскости в работах ([16, 17]).

В связи с задачей восстановления римановой метрики многообразия по длинам геодезических, соединяющих точки его границы, а также в связи с проблемами томографии анизотропных сред, В. А. Шара-футдинов рассмотрел задачу интегральной геометрии для симметричных тензорных полей в вещественном пространстве (см. [30]). Им было всесторонне изучено соответствующее интегральное преобразование — найдены его ядро и образ, явные формулы обращения.

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

Важное теоретическое значение задачи интегральной геометрии имеют для изучения уравнений Максвелла и уравнений теории поля (см. [9]). Они позволяют получать явные формулы для их решений и дают представления всех решений. Это один из примеров значимости задач интегральной геометрии в комплексном пространстве. Другим примером являются приложения к теории представлений групп (см. [8]).

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

Классическая томография восстанавливает скалярную функцию по набору интегралов от нее вдоль кривых или поверхностей. Имеются вместе с тем такие задачи, в которых неизвестными являются несколько функций, а данными — интегралы от некоторых их линейных комбинаций с весовыми множителями вдоль семейства кривых (см. [1]). Такого рода задачи можно изучать в рамках рассмотренной в диссертации задачи интегральной геометрии матриц с матричным весом.

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

Важное практическое применение в томографии находит задача обобщенного преобразования Радона (см. [18, 20]). В связи с этим в диссертации рассмотрен вопрос о его обратимости, построены примеры неединственности восстановления.

Для задачи эмиссионной томографии с поглощением построен пример неединственности в случае, когда коэффициент поглощения зависит от направления. Заметим, что в случае изотропного С2 -гладкого коэффициента поглощения в работе Е. В. Арбузова, А. Л. Бухгейма и С. Г. Казанцева (см.[33]) установлена однозначная и устойчивая вос-становимость функции источника и установлена формула обращения.

Методика исследования

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

Научная новизна и практическая значимость работы

В диссертации получены следующие основные результаты :

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

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

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

4. Рассмотрена задача интегральной геометрии векторов с матричным весом вдоль п семейств кривых в плоской области. Единственность и устойчивость восстановления векторов установлена при некоторых ограничениях на вес.

5. Рассмотрен частный случай обратной задачи для системы уравнений Власова равновесной плазмы. Решение задачи интегральной геометрии вдоль п семейств кривых применено для доказательства разрешимости обратной задачи в этом частном случае.

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

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

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

Результаты диссертации докладывались на семинаре Института математики СО РАН по обратным задачам математической физики под руководством д.ф.-м.н. Ю. Е. Аниконова , XXIX Всесоюзной студенческой научной конференции " Студент и научно-технический прогресс" 1991 г., V Всесоюзном симпозиуме по вычислительной томографии 1991 г., объединенном семинаре отдела геометрии и анализа Института математики СО РАН под руководством академика Ю. Г. Решетняка.

Публикации

Основные результаты диссертации опубликованы в работах [37, 38, 39, 40].

Объем диссертации

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

1. Абен Х.К. Интегральная фотоупругость. Таллинн: Валгус, 1975.

2. Аниконов Ю.Е. Некоторые методы исследования многомерных обратных задач для дифференциальных уравнений. Новосибирск: Наука, 1978.

3. Аниконов Ю.Е., Лаврентьев М.М. Об одном классе задач интегральной геометрии // Доклады АН СССР. 1967. т. 176, N5. с. 12401241.

4. Аниконов Ю.Е., Пестов Л.П. Формулы в линейных и нелинейных задачах томографии. Новосибирск: изд-во НГУ, 1990.

5. Балеску Р. Статистическая механика заряженных частиц. М.: Мир, 1967.

6. Бухгейм А.Л., Лаврентьев М.М. Об одном классе задач интегральной геометрии // Доклады АН СССР. 1973. т.211, N1. с.38-39.

7. Гелъфанд И.М., Гиндикин С.Г., Граев М.И. Интегральная геометрия в аффинном и проективном пространствах. // Современные проблемы математики. М.: ВИНИТИ, 1980. с.53-226. (Итоги науки и техники; т. 16).

8. Гельфанд И.М., Граев М.И., Виленкин Н.Я. Интегральная геометрия и связанные с ней вопросы теории представлений. М.: Физ-матгиз, 1962.

9. Гиндикин С.Г., Хенкин Г.М. Преобразование Пенроуза и комплексная интегральная геометрия. // Современные проблемы математики. М.: ВИНИТИ, 1981. с.57-111. (Итоги науки и техники; т.17).

10. Кролл П., Трайвелпис А. Основы физики плазмы. М.: Мир, 1975.

11. Курант Р. Уравнения с частными производными. М.: Мир, 1964.

12. Лаврентьев М.М. Интегральная геометрия и обратные задачи // Некорректные задачи математической физики и анализа. Новосибирск: Наука, Сибирское отделение. 1984. с.81-86.

13. Львов И.В., Шарафутдинов В.А. О тангенциальной компоненте тензорного поля // Сиб.матем.журнал. 1989. т.ЗО, N5. с.120-134.

14. Марчук Г.И. Методы вычислительной математики. М.: Наука, 1977.

15. Мизохата. Теория уравнений с частными производными. М.: Мир, 1977.

16. Мухометов Р. Г. Задача восстановления двумерной римановой метрики и интегральная геометрия // Доклады АН СССР. 1977. т.232, N1. с.32-35.

17. Мухометов Р. Г. О задаче интегральной геометрии// Математические проблемы геофизики, вып. 6, ч.2. Новосибирск: ВЦ СО АН СССР, 1975. с.212-242.

18. Наттерер Ф. Математические аспекты компьютерной томографии. М.: Мир, 1990.

19. Петров Е.Е. Преобразование Радона в пространствах матриц и грассмановых многообразиях // Доклады АН СССР. 1967. т. 177, N4. с.782-785.

20. Пикалов В.В., Преображенский Н.Г. Реконструктивная томография в газодинамике и физике плазмы. Новосибирск: Наука, 1987.

21. Романов В. Г. Интегральная геометрия на геодезических изотропной римановой метрики // Доклады АН СССР. 1978. т.241, N2. с.290-293.

22. Романов В.Г. Обратные задачи для дифференциальных уравнений. Новосибирск: изд.НГУ, 1973.

23. Романов В.Г. Обратные задачи математической физики. М.: Наука, 1984.

24. Сантало JI.A. Введение в интегральную геометрию. М.: ИЛ, 1956.

25. Сантало JI.A. Интегральная геометрия и геометрические вероятности. М.: Наука, 1983.

26. Тихонов А.Н., Арсенин В.Я., Тимонов А.А. Математические задачи компьютерной томографии. M.: Наука, 1987.

27. Хелгасон С. Преобразование Радона. M.: Мир, 1983.

28. Шабат В.В. Введение в комплексный анализ, ч.2. M.: Наука, 1976.

29. Шарафутдинов В.А. Задача интегральной геометрии для тензорных полей и уравнение Сен-Венана // Сиб.матем.журнал. 1983. т.24, N6. с. 176-187.

30. Шарафутдинов В.А. Интегральная геометрия тензорных полей. Новосибирск: Наука, Сибирское отделение. 1993.

31. Шарафутдинов В.А. Лучевое преобразование симметричных тензорных полей // Современные проблемы геометрии и анализа. Новосибирск: Наука, Сибирское отделение, 1989, с.221-245.

32. Шилов Т.Е. Математический анализ, II специальный курс. M.: Наука, 1965.

33. Arbuzov E.V., Bukhgeim A.L., Kazantsev S.G. . Two-dimensional tomography problems and the theory of A-analytic functions // Siberian Advances in Mathematics. 1998. Vol.8, N4. p.1-19.

34. Helgason S. A duality in integral geometry, some generalization of Radon transform // Bull.Amer.Math.Society. 1964. Vol.70, p.435-446.

35. Helgason S. Duality and Radon transform for symmetric spaces // Amer.J.Math. 1963. Vol.85, p.667-692.

36. Quinto E. T. The invertibility of rotation invariant Radon transforms // J. Math. Anal. Appl. 1983. Vol.91, p.510-522; 1983. Vol.94, p.602-603.Публикации автора

37. Вертгейм Л. Б. Интегральная геометрия симметричных тензорных полей в комплексном пространстве // Методы решения условно-корректных задач. Новосибирск: ИМ СО АН СССР. 1991. с. 29-46.

38. Вертгейм JI.B. Интегральная геометрия с матричным весом и одна нелинейная задача восстановления матриц // Доклады АН СССР. 1991. т.319, N3. с.531-534.

39. Вертгейм Л. Б. Обратная задача для системы кинетических уравнений, возникающей из уравнений Власова равновесной плазмы / / Доклады РАН. 1992. т.324, N1. с.87-90.

40. Vertgeim L. Examples of nonuniqueness in problems related to the generalized Radon transform and emission tomography with absorption // Amer.Math.Soc.Transl. 1994. ser. 2. Vol.162, p.257-261.