Теорема Карлесона

Не путать с теоремой Карлсона .

Теорема Карлесона — фундаментальный результат математического анализа, поточечную ( Лебега ) сходимость всюду почти рядов Фурье L устанавливающий ² функции , доказанные Леннартом Карлесоном ( 1966 ). Это название также часто используется для обозначения распространения результата Ричарда Ханта ( 1968 ) на L ^п функции для p ∈ (1, ∞] (также известные как теорема Карлесона–Ханта ) и аналогичные результаты для поточечной сходимости почти всюду интегралов Фурье , эквивалентность которых можно показать методами переноса.

Формулировка теоремы

Результат, расширенный Хантом, можно формально сформулировать следующим образом:

Пусть f будет L ^п периодическая функция для некоторого p ∈ (1, ∞] с коэффициентами Фурье ${\hat {f}}(n)$. Затем $$\lim _{N\to \infty }\sum _{|n|\leq N}{\hat {f}}(n)e^{inx}=f(x)$$ почти для каждого x .

Аналогичный результат для интегралов Фурье:

Пусть f ∈ L ^п ( R ) для некоторого p ∈ (1, 2] имеют преобразование Фурье ${\hat {f}}(\xi )$. Затем $$\lim _{R\to \infty }\int _{|\xi |\leq R}{\hat {f}}(\xi )e^{2\pi ix\xi }\,d\xi =f(x)$$ почти для каждого x ∈ R .

История

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

Немного усилив предположение о непрерывности, можно легко показать, что ряд Фурье сходится всюду. Например, если функция имеет ограниченную вариацию , то ее ряд Фурье всюду сходится к локальному среднему значению функции. В частности, если функция непрерывно дифференцируема, то ее ряд Фурье сходится к ней всюду. Это было доказано Дирихле, который выразил уверенность, что вскоре ему удастся распространить свой результат на все непрерывные функции. Другой способ добиться сходимости везде — изменить метод суммирования. Например, теорема Фейера показывает, что если заменить обычное суммирование суммированием Чезаро , то ряд Фурье любой непрерывной функции сходится к этой функции равномерно. Далее, легко показать, что ряд Фурье любого L ² функция сходится к ней в L ² норма.

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

Сходимость почти всюду ряда Фурье для L ² функций была постулирована Н. Н. Лузиным ( 1915 ), и проблема была известна как гипотеза Лузина (вплоть до ее доказательства Карлесоном (1966) ). Колмогоров (1923) показал, что аналог результата Карлесона для L ¹ неверно, если найти такую ​​функцию, ряд Фурье которой расходится почти всюду (немного улучшен в 1926 году до всюду расходящегося). До результата Карлесона наиболее известная оценка частичных сумм ряда _L Фурье функции из sn ^п был $$s_{n}(x)=o(\log(n)^{1/p}){\text{ almost everywhere}}.$$ Другими словами, функция s _n (x) все еще может расти до бесконечности в любой заданной точке x, поскольку учитывается все больше и больше членов ряда Фурье, хотя рост должен быть довольно медленным (медленнее, чем логарифм n , чтобы небольшая мощность). Этот результат был доказано Колмогоровым-Селиверстовым-Плесснером для p = 2 , Г.Х. Харди для p = 1 и Литтлвудом-Пэли для p > 1 ( Zygmund 2002 ). Этот результат не улучшался в течение нескольких десятилетий, что заставило некоторых экспертов подозревать, что он был наилучшим и что гипотеза Лузина ошибочна. Контрпример Колмогорова в L ¹ был неограничен в любом интервале, но считалось, что обнаружение непрерывного контрпримера было лишь вопросом времени. Карлесон сказал в интервью Raussen & Skau (2007) , что он начал с попыток найти непрерывный контрпример и в какой-то момент подумал, что у него есть метод, позволяющий его построить, но в конце концов понял, что его подход не может работать. Затем он попытался вместо этого доказать гипотезу Лузина, поскольку неудача его контрпримера убедила его в том, что она, вероятно, верна.

Оригинальное доказательство Карлесона исключительно трудно читать, и хотя некоторые авторы упростили аргументацию, простых доказательств его теоремы до сих пор не существует. Экспозиции оригинальной статьи Карлесона (1966) включают Кахане (1995) , Моццочи (1971) , Йорсбо и Мейлбро (1982) и Ариас де Рейна (2002) . Чарльз Фефферман ( 1973 ) опубликовал новое доказательство расширения Ханта, основанное на ограничении максимального оператора . Это, в свою очередь, вдохновило на гораздо упрощенное доказательство L ² результат Майкла Лейси и Кристофа Тиле ( 2000 ), более подробно объясненный в Лейси (2004) . В книгах Фремлин (2003) и Графакос (2014) также приведены доказательства теоремы Карлесона.

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

Распространение теоремы Карлесона на L ^п для p > 1 было указано, что это «довольно очевидное» расширение случая p = 2 в статье Карлесона, и было доказано Хантом (1968) . Результат Карлесона был улучшен за счет Сьёлин (1971) в пространство L log ₊ ( L )log ₊ log ₊ ( L ) и Антонов (1996) в пространство L log ₊ ( L )log ₊ log ₊ log ₊ ( L ) . (Здесь log ₊ ( L ) — это log( L ), если L > 1 и 0 в противном случае, и если φ — функция, то φ ( L ) обозначает пространство функций f таких, что φ (| f ( x ) ) | интегрируемо.)

Конягин (2000) улучшил контрпример Колмогорова, найдя функции с всюду расходящимися рядами Фурье в пространстве, немного большем, чем L log ₊ ( L ) ^1/2 . Можно задаться вопросом, существует ли в каком-то смысле наибольшее естественное пространство функций, ряды Фурье которых сходятся почти всюду. Простейшим кандидатом на такое пространство, согласующимся с результатами Антонова и Конягина, является L log ₊ ( L ) .

Распространение теоремы Карлесона на ряды Фурье и интегралы от нескольких переменных усложняется, поскольку существует множество различных способов суммирования коэффициентов; например, можно суммировать по увеличивающимся шарам или увеличивающимся прямоугольникам. Сходимость прямоугольных частичных сумм (и даже общих многоугольных частичных сумм) следует из одномерного случая, но проблема сферического суммирования остается открытой для L ² .

Оператор Карлесона

Оператор Карлесона C — это нелинейный оператор, определяемый формулой $$Cf(x)=\sup _{N}\left|\int _{-N}^{N}{\hat {f}}(y)e^{2\pi ixy}\,dy\right|$$

Сравнительно легко показать, что теорема Карлесона–Ханта следует из ограниченности оператора Карлесона из L ^п ( R ) самому себе для 1 < p < ∞ . Однако доказать, что оно ограничено, сложно, и именно это и доказал Карлесон.

См. также

• Сходимость ряда Фурье

Ссылки

• Антонов, Н.Ю. (1996), «Сходимость рядов Фурье», Восточный журнал аппроксимаций , 2 (2): 187–196, MR   1407066
• Ариас де Рейна, Хуан (2002), Поточечная сходимость рядов Фурье , Конспект лекций по математике, том. 1785, Берлин, Нью-Йорк: Springer-Verlag , doi : 10.1007/b83346 , ISBN  978-3-540-43270-8 , МР   : 1906800
• Карлесон, Леннарт (1966), «О сходимости и росте частичных сумм рядов Фурье», Acta Mathematica , 116 (1): 135–157, doi : 10.1007/BF02392815 , MR   0199631
• Фефферман, Чарльз (1973), «Поточечная сходимость рядов Фурье», Annals of Mathematics , Second Series, 98 (3): 551–571, ​​doi : 10.2307/1970917 , JSTOR   1970917 , MR   0340926
• Фремлин, Дэвид Х. (2003), Теория меры , том. 2, Торрес Фремлин, Колчестер, ISBN  978-0-9538129-2-9 , MR   2462280 , заархивировано из оригинала 1 ноября 2010 г. , получено 9 сентября 2010 г.
• Графика, Лукас (2014). Современный анализ Фурье . Тексты для аспирантов по математике. Том. 250 (Третье изд.). Нью-Йорк: Springer-Publishing . дои : 10.1007/978-1-4939-1230-8 . ISBN  978-1-4939-1229-2 . МР   3243741 .
• Хант, Ричард А. (1968), «О сходимости рядов Фурье», Ортогональные разложения и их непрерывные аналоги, Proc. Conf., Эдвардсвилл, штат Иллинойс, 1967 , Карбондейл, штат Иллинойс: Университет Южного Иллинойса. Пресс, стр. 235–255, МР   0238019.
• Йорсбо, Оле Г.; Мейлбро, Лейф (1982), Теорема Карлесона-Ханта о рядах Фурье , Конспект лекций по математике, том. 911, Берлин, Нью-Йорк: Springer-Verlag , номер номера : 10.1007/BFb0094072 , ISBN.  978-3-540-11198-6 , МР   0653477
• Кахане, Жан-Пьер (1995), «Частичные суммы рядов Фурье (по Л. Карлесону)» , Семинар Бурбаки , том. 9, Париж: Математическое общество Франции , стр. 491–507, МР   1610981
• Кацнельсон, Ицхак (1966), «Sur les ансамбли расхождения тригонометрических серий» , Studia Mathematica , 26 (3): 301–304, doi : 10.4064/sm-26-3-305-306 , MR   0199632
• Колмогоров, Андрей Николаевич (1923), «Une série de Fourier – Lebesgue divergente presque partout» , Fundamenta Mathematicae , 4 : 324–328, doi : 10.4064/fm-4-1-324-328
• Konyagin, S. V. (2000), "On the divergence everywhere of trigonometric Fourier series", Rossiĭskaya Akademiya Nauk. Matematicheskii Sbornik , 191 (1): 103–126, Bibcode : 2000SbMat.191...97K , doi : 10.1070/sm2000v191n01abeh000449 , MR  1753494 , S2CID  250745433
• Лейси, Майкл Т. (2004), «Теорема Карлесона: доказательство, дополнения, вариации», Publicacions Matemàtiques , 48 ​​(2): 251–307, arXiv : math/0307008 , doi : 10.5565/publmat_48204_01 , ID   2017 , SMRC   ID 2017 16121272
• Лейси, Майкл; Тиле, Кристоф (2000), «Доказательство ограниченности оператора Карлесона», Mathematical Research Letters , 7 (4): 361–370, doi : 10.4310/mrl.2000.v7.n4.a1 , MR   1783613
• Лузин Н. Н. (1915), Целый и тригонометрический ряд , Москва-Ленинград. {{citation}}: CS1 maint: местонахождение отсутствующего издателя ( ссылка ) (Диссертация; также: Собрание сочинений, Т. 1, Москва, 1953, стр. 48–212)
• Моццочи, Чарльз Дж. (1971), О поточечной сходимости рядов Фурье , Конспект лекций по математике, Vol. 199, том. 199, Берлин, Нью-Йорк: Springer-Verlag , номер номера : 10.1007/BFb0061167 , ISBN.  978-3-540-05475-7 , MR   0445205 «Эта монография представляет собой подробное и по существу самостоятельное изложение работ Карлесона и Ханта».
• Рауссен, Мартин; Скау, Кристиан (2007), «Интервью с лауреатом Абеля премии Леннартом Карлесоном» (PDF) , Уведомления Американского математического общества , 54 (2): 223–229, MR   2285126
• Сьолин, Пер (1971), «Сходимость почти всюду некоторых сингулярных интегралов и кратных рядов Фурье», Arkiv för Matematik , 9 (1–2): 65–90, Bibcode : 1971ArM.....9...65S , дои : 10.1007/BF02383638 , MR   0336222
• Теляковский, С.А. (2001) [1994], «Теорема Карлесона» , Энциклопедия математики , EMS Press
• Зигмунд, А. (2002) [1935], Тригонометрический ряд. Том. I, II , Кембриджская математическая библиотека (3-е изд.), Издательство Кембриджского университета , ISBN  978-0-521-89053-3 , г-н   : 1963498