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

• Май Ван Минь
• кандидат физико-математических наук
• 2006

Оглавление диссертации кандидат физико-математических наук Май Ван Минь

Обозначения

Введение

Глава I Многомерный случай

§1.1. Частичные интегралы Фурье по шарам и прямоугольникам

§1.2. Частичные интегралы Фурье по многогранникам

§1.3. Сферические средние интегралов Фурье

Глава II Двумерный случай

§11.1. Частичные интегралы Фурье по звездным множествам

§11.2. Граничная точка

§11.3. Негативные результаты для невыпуклых множеств

Введение диссертации (часть автореферата) на тему «Представление разрывных функций нескольких переменных интегралов Фурье»

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

В одномерном случае подобные вопросы изучались в работах многих математиков. В большинстве случаев найдены исчерпывающие ответы, которые можно найти в фундаментальных монографиях [Б], [Бо], [3], [Т], [Ти], [Ах], [Э]. В последние годы значительно возрос интерес к гармоническому анализу функций нескольких переменных. При этом оказалось, что некоторые фундаментальные утверждения классического одномерного анализа не переносятся на многомерный случай, а некоторые остаются открытыми проблемами до сих пор. Кроме того, возникают новые, естественные в кратном случае вопросы, не имеющие аналогов в классическом анализе, но играющие важную роль при исследовании функций нескольких переменных. К таким вопросам в первую очередь относится выбор определений суммы кратного ряда и кратного несобственного интеграла (при отсутствии абсолютной сходимости).

Кратному гармоническому анализу посвящено большое число работ, вышедших в последнее время. Отметим в первую очередь обзоры по этой теме [АИН1], [АИН2], [Г], [Ж], [ААП], [Д1], [С] и монографии [С], [СВ], [<S], [ВТ]. Этой же теме посвящены отдельные главы монографий [3], [Бо]. В сборнике [ВСХТ] обсуждаются различные задачи, в решении которых большую роль играет анализ Фурье функций нескольких переменных. Отметим, в частности, его значение в задачах аналитической теории чисел [В], [Л4], \Н\.

Как уже было отмечено, в кратном случае большую роль играет выбор того или иного определения кратного ряда или кратного несобственного интеграла. Естественно определять их как предел частичных сумм или интегралов, взятых по расширяющимся конечным областям. В большинстве перечисленных работ рассматриваются два определения, в которых частичное суммирование или интегрирование ведется по шарам или прямоугольным параллелепипедам (в частности по кубам). Оказалось, что шаровые частичные суммы и интегралы ведут себя значительно хуже кубических. В частности, они могут очень быстро расходиться. Это различие вызвано тем, что преобразование Фурье характеристической функции шара убывает на бесконечности значительно медленнее, чем преобразование Фурье характеристической функции куба: функция

Хп(У) = J е-2™У<Ы [-1,1]™ почти суммируема"на Rm, поскольку т

У щ У1 + *Ы т

3=1

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

Хо(У)= / e-^dx х|К1 удовлетворяет значительно более слабой оценке при ||у|| —> +оо:

Здесь Jm — функция Бесселя. Ее асимптотика на бесконечности описывается соотношением

Это различие в асимптотике функций Хп(у) и Хо(у) вызвало естественный интерес к более общей ситуации. В работах [Hz], [К], [<Si/|, [Я], [Tl], [Т2], [ВН1], [С5], [BC1VT], [ГГ], [П1], [П2] и многих других изучалось поведение функции

ЫУ) = J e~2nix'ydx, п где — выпуклое компактное множество в Жт. Было выяснено, что решающую роль, определяющую скорость убывания функции Хп(у) 11а бесконечности, играет гауссова кривизна границы Ш. Полученные результаты были использованы, в частности, в задаче поиска асимптотики при R +оо числа точек целочисленной решетки содержащихся в множестве R£l = {Rx\x е fi}.

В настоящей работе рассматриваются вопросы, тесно связанные с изучением функции (у). Они вызваны существенным различием между одномерным и кратным гармоническим анализом. Хорошо известна фундаментальная роль, которую играет принцип локализации Римана в одномерном случае. В то же время в кратном случае прямого аналога этого утверждения нет. Это обстоятельство сильно усложняет исследование сходимости разложений функций нескольких переменных с помощью рядов или интегралов Фурье. Даже в простейшем случае, когда разлагаемая функция кусочно постоянная, то есть принимает лишь конечное число значений, поведение ее ряда или интеграла Фурье совсем не очевидно. Кратные ряды Фурье разрывных функций рассматривались в работах [А], [Д2], [ТТ] и [Те].

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

1§(х0) = J e2nix° vXo{y) dy,

WvHR когда R —> +00, возникает неожиданный эффект. Оказывается, если т ^ 3, то

ХоЫ при ||z0|| ф 1, lim 1§(х0)

Я->+00

1 при \\х0\\ = 1

V 2 для любой точки Xq Ф 0. Если же Xq — 0, то ситуация совсем иная — интегралы (0) не имеют предела при R —> +оо (при т = 3 они колеблются, оставаясь ограниченными, а при т> 3 они неограничены, причем размах колебаний растет с ростом размерности т). Этот факт побудил авторов [НЛГ\ заменить частичные интегралы но шарам интегралами по расширяющимся кубам. С помощью громоздких вычислений им удалось показать, что в трехмерном случае отмеченный негативный эффект исчезает. Но при этом авторы работы [HN] отмечают, что их рассуждения проходят лишь для центра шара, то есть в случае гсц = 0, а для других точек Xq преодолеть возникающие трудности им не удалось. В случае, когда размерность пространства больше трех, их методом исследовать задачу вряд ли возможно из-за чрезмерной громоздкости вычислений. Первый результат диссертации устраняет эти пробелы. Оказывается, что истолковывая несобственный интеграл как предел при R —» +оо частичных интегралов по гомотетичным прямоугольникам [—Ra, Rb], a,b 6 R™, мы получаем возможность восстановить характеристическую функцию хп произвольного выпуклого компактного множества Q С Rm в любой точке, не лежащей на его границе. Точнее, справедливо следующее утверждение.

Теорема 1.1.1. Пусть £1 — выпуклый компакт в Rm и xn ~ его характеристическая функция. Тогда для любых векторов a,b G R+ справедливо асимптота ческое соотношение: Хп(У)е2жу'х^у —> ХпЫ если х{] i дй.

J R-++00

-Ra,Rb]

При этом предположение о выпуклости компакта П можно ослабить. В доказательстве используется лишь "покоординатная выпуклость" — пересечение £1 с любой прямой параллельной какой-нибудь координатной оси является промежутком (возможно, пустым). Кроме того, из доказательства вытекает оценка скорости сходимости 0(^1пто-1 Я), где константа в О-члене зависит только от компакта Q и расстояния между Xq и 8Q.

Во втором параграфе первой главы рассматривается более общее определение несобственного интеграла — он понимается как предел при R —» -foo частичных интегралов, взятых по многограннику

RW = {Ry\yeW}, где W — фиксированный многогранник в Rm (объединение конечного числа симплексов). Естественно ожидать, что при R —> +оо интегралы

J e~2nix° vX(i(y) dy

RW стремятся к ^о ^ если начало координат лежит внутри многогранника W, а если оно находится вне его, то предел этих интегралов равен нулю. Оказывается, это верно при некоторых дополнительных предположениях о множестве W. Справедливы такие утверждения.

Теорема 1.2.1. Пусть Q — выпуклый компакт в Rm, Xq G Wn\dQ, a W — такой многогранник в Rm, что все его грани и их продолжения пе проходят через начало координат. Тогда

Г xMe2niXoydy — xa(*o)xw(0).

J R—>+оо

RW

В частности, если 0 € Int (W), то e-^xMdy —► ХпЫ

J R->+оо iZW

Теорема 1.2.2. Пусть Q — выпуклый компакт в Rm, х() Е Int (Q), aW — такой многогранник в Мт, что 0 ^ dW. Тогда

RW

Простой пример показывает, что от дополнительных предположений (грани W и их продолжения не проходят через начало координат — в первой теореме, точка Xq находится внутри компакта — во второй) отказаться нельзя.

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

Ilvl\<R

Здесь ip — функция ограниченной вариации, причем lim^(i) = 1. Рассматривается случай, когда Xq 6 Int П. Показано (теорема 1.3.2), что в двумерном случае эти сферические средние сходятся к 1, а в I3 это верно лишь при выполнении асимптотического соотношения 1

J (p(t) cos Rt dt = ПРИ -ft —>+oo. 0

В пространствах большей размерности для сходимости сферических средних достаточно (теорема 1.3.3), чтобы функция (р входила в класс C^N([0, +оо)) (считаем, что </?(£) = 0 при £ ^ 1).

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

При получении результатов этой главы существенно используется связь между геометрическими свойствами выпуклого компакта и поведением преобразования Фурье его характеристической функции. Необходимые сведения имеются в работах [П1], [ГГ] и [Т2].

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

Теорема II.1.1. Пусть Q С R2 — выпуклое компактное множество и W С R2 — такая окрестность начала координат, что се граница 8W имеет конечную длину s(dW). Предположим еще, что выполнено дополнительное ограничение: множество Е тех векторов у £ d\V, каждый из которых ортогонален невырожденному отрезку, содержащемуся в 8Q, имеет нулевую длину: s(E) = 0.

Тогда для характеристической функции xQ в каждой точке Хо, Хо £ М2\Ш, справедлива формула обращения преобразования Фурье: х„(*о)= Ит ИxMe2niXoy dy.

RW

Дополнительное ограничение заведомо выполнено, если множество О, строго выпукло или если множество W звездно относительно начала координат в строгом смысле (всякий луч с началом в 0 пересекает dW в единственной точке). В первом случае множество Е пусто, а во втором оно не более чем счетно.

Столь широкие условия не позволяют оценить скорость сходимости частичных интегралов к ХпО^о)- Однако, незначительно сузив класс рассматриваемых окрестностей W, можно оцепить скорость сходимости.

Теорема II.1.2. Пусть множество W, W С Ш2, звездно относительно начала координат, которое является его внутренней точкой. Допустим, что параметризация его границы d\V в полярных координатах dW = {rw ((f) (cos (р, sin 9?) | £ [0,2тг]> такова, что функция rw абсолютно непрерывна и ее производная принадлежит пространству L9([—7г,7г]) при некотором q £ (1, +оо]. Пусть р — сопряженный показатель, т.е. ^ + ^ = 1.

Тогда для характеристической функции xQ произвольного выпуклого компактного множества П, П С R2, в каждой точке Xq, Xq £ dQ, справедливо соотношение:

Jf xM^iXoydy = ХпЫ +

RW константа в О-члене зависит от множеств £1, W, точки Xq и показателя q, но не от R).

Если же W — выпуклая компактная окрестность начала координат, то для остатка справедлива оценка О. Показатель \ увеличить нельзя, так как именно такая скорость сходимости возникает, если W — круг.

Во втором параграфе рассматривается поведение частичных интегралов Фурье X«(y)e2mx°-ydy

RW в граничной точке Хц выпуклого компакта Q. Получен такой результат.

Теорема II.2.1. Пусть W С R2 — выпуклая, компактная, центрально симметричная окрестность начала координат. Тогда

I) для любой граничной точки Xq выпуклого компактного множества С R2 существует конечный предел

I(x0) = R\kn^ J J xMc2mXo'ydy;

RW

II) если Xq — не угловая точка кривой dQ, то I(xq) =

В угловых точках Xq кривой 30. предел 1(хо) зависит от выбора множества W. Например, если это круг с центром в начале координат, то 1(хо) = ^0(хо), где в(хо) — угол между полукасательными к 8Q в точке Xq. Если же W = [—1,1]2, то предел 1(х0) вычисляется сложнее — он равен интегралу i'h а где а и (3 — углы между осью ОХ и полукасательными к границе 80, в точке

Xq.

Несобственные интегралы по квадратам и кругам совпадают не только при в(хо) = 7Г, но и в том случае, когда этот угол прямой. В этом случае оба они равны

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

Д) = Ц Ыу) dy; i%(R) = И хк(у) dy,

Ну I кд [-R,R]2 где К — произвольный компакт на плоскости. Вообще говоря, эти интегралы расходятся. Но при этом, как показано в параграфе II.3, скорости расходимости (то есть возможные мажоранты) у них существенно различаются:

I§ = o{VR) и /£ = 0(1пД) при R -> +оо.

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

Основные результаты диссертации опубликованы в работах [М], [ПМ1], [ПМ2]. cos (р + sin ip cos (р — sin (f dip sin 2<y9'