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

Результат 1966 года в области математического анализа

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

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

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

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

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

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

История

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

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

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

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

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

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

Распространение теоремы Карлесона на L ^p для 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 — это нелинейный оператор, определяемый формулой $${\displaystyle Cf(x)=\sup _{N}\left|\int _{-N}^{N}{\hat {f}}(y)e^{2\pi ixy}\,dy\right|}$$

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

Смотрите также

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

Рекомендации

• Антонов, Н.Ю. (1996), «Сходимость рядов Фурье», Восточный журнал аппроксимаций , 2 (2): 187–196, MR  1407066
• Ариас де Рейна, Хуан (2002), Поточечная сходимость рядов Фурье , Конспект лекций по математике, том. 1785, Берлин, Нью-Йорк: Springer-Verlag , номер документа : 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-Verlag . дои : 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), "Sommes partielles des séries de Fourier (d'après L. Carleson)", Séminaire Bourbaki , vol. 9, Париж: Société Mathématique de France , стр. 491–507, MR  1610981.
• Кацнельсон, Ицхак (1966), «Sur les ансамбли расхождения тригонометрических серий», Studia Mathematica , 26 (3): 301–304, doi : 10.4064/sm-26-3-305-306 , MR  0199632
• Колмогоров, Андрей Николаевич (1923), «Серия Фурье – Лебега, расходящаяся presque partout», Fundamenta Mathematicae , 4 : 324–328, doi : 10.4064/fm-4-1-324-328
• Конягин С.В. (2000), "О расходимости всюду тригонометрических рядов Фурье", Российская академия наук. Математический сборник , 191 (1): 103–126, Бибкод : 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, MR  2091007, S2CID  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, МР  0445205«Эта монография представляет собой подробное и по существу самостоятельное изложение работ Карлесона и Ханта».
• Рауссен, Мартин; Скау, Кристиан (2007), «Интервью с лауреатом Абеля премии Леннартом Карлесоном» (PDF) , Уведомления Американского математического общества , 54 (2): 223–229, MR  2285126
• Сьёлин, Пер (1971), «Сходимость почти всюду некоторых сингулярных интегралов и кратных рядов Фурье», Arkiv för Matematik , 9 (1–2): 65–90, Бибкод : 1971ArM.....9...65S, дои : 10.1007/BF02383638 , MR  0336222
• Теляковский, С.А. (2001) [1994], «Теорема Карлесона», Математическая энциклопедия , EMS Press
• Зигмунд, А. (2002) [1935], Тригонометрический ряд. Том. I, II , Кембриджская математическая библиотека (3-е изд.), Издательство Кембриджского университета , ISBN 978-0-521-89053-3, г-н:  1963498