Стивен Строгац - Удовольствие от Х.Увлекательная экскурсия в мир математики от одного из лучших преподавателей в мир

Для получения четкого представления о теореме Римана см. Dunham, The Calculus Gallery, рр. 112–115.

Если знакочередующийся ряд сходится условно, это означает, что он сходится, но не абсолютно (сумма абсолютных значений его членов не сходится). Для рядов, подобных гармоническому, можно изменять порядок членов, чтобы получить любое действительное число. Таковы шокирующие следствия теоремы Римана о перестановке членов условно сходящегося ряда. Поэтому сумма сходящегося ряда, если он не сходится абсолютно, может не соответствовать нашим интуитивным ожиданиям.

В случае абсолютно сходящегося ряда все перестановки ряда сходятся к одному значению. Что удивительно удобно. Это означает, что абсолютно сходящийся ряд ведет себя как конечная сумма. В частности, он подчиняется коммутативному закону сложения. Вы можете переставить члены ряда, как вам захочется, и получите тот же ответ. Более подробно о сходимости рядов, см. http://mathworld.wolfram.com/AbsoluteConvergence.html и http://en.wikipedia.org/wiki/Absolute_convergence.

Прим. ред.: Простая книга о сходимости рядов: Воробьев Н. Н. Теория рядов. М.: Наука, 1986.

Выдающаяся книга Tom Korner’s Fourier Analysis (Cambridge University Press, 1989) представляется как «витрина магазина» идей, методов, приложений и истории анализа Фурье. Уровень математической строгости высок, хотя книга остроумная, элегантная и приятно занимательная. Для получения представления о работе Фурье и ее связи с музыкой см. M. Kline, Mathematics in Western Culture (Oxford University Press, 1974), chapter 19.

Прим. ред.: Литература по анализу Фурье и рядам Фурье: Толстов Г. П. Ряды Фурье. М.: Наука, 1980; Эдвардс Р. Ряды Фурье в современном изложении: в 2 т. М.: Мир, 1985.

Феномен Гиббса и его нелегкая история рассматриваются в книге E. Hewitt and R. E. Hewitt, The Gibbs-Wilbraham phenomenon: An episode in Fourier analysis, Archive for the History of Exact Sciences, Vol. 21 (1979), pp. 129–160.

Как феномен Гиббса может повлиять на MPEG и JPEG технологии сжатия цифрового видео, см. http://www.doc.ic.ac.uk/~nd/surprise_96/journal/vol4/sab/report.html.

В MРТ-сканировании эффект Гиббса называется усеченным сигналом Гиббса: http://www.mr-tip.com/serv1.php?type=art&sub=Gibbs%20Artifact. Методы для работы с этим артефактом см. T. B. Smith and K. S. Nayak, MRI artifacts and correction strategies, Imaging Medicine, Vol. 2, № 4 (2010), рр. 445–457, доступно на http://mrel.usc.edu/pdf/Smith_IM_2010.pdf.

Аналитики XIX века нашли математическое обоснование феномена Гиббса. Для функции (или в настоящее время изображения), отображающей края или другие устранимые точки с простым разрывом, было доказано, что частичные суммы синусоидальных волн сходятся в этих точках к пределу поточечно, но неравномерно. Поточечная сходимость означает, что в любой определенной точке х при добавлении большего числа членов ряда значения частичных сумм приближаются сколь угодно близко к предельному значению. В этом смысле можно надеяться, что ряд действительно сходится. Загвоздка в том, что одни точки гораздо привередливее, чем другие. Эффект Гиббса происходит вблизи худших из этих точек на границах интервалов непрерывности исходной функции. Например, рассмотрим пилообразную волну, о которой говорилось в этой главе. По мере приближения x к краю пилообразной волны для достижения заданного уровня приближения требуется все больше и больше членов ряда Фурье. Это то, что мы имеем в виду, утверждая, что сходимость не является равномерной. Она происходит для разных x с различной скоростью.

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

В противоположность этому, когда коэффициенты рядов Фурье абсолютно сходятся, связанные с ними ряды Фурье равномерно сходятся к исходной функции. И феномен Гиббса не возникает. Для получения дополнительной информации см. http://mathworld.wolfram.com/GibbsPhenomenon.html и http://en.wikipedia.org/wiki/Gibbs_phenomenon.

Мораль наших рассуждений такова: нужно быть осторожными с условно сходящимися рядами. У них сходимость все же недостаточно хорошая. Чтобы бесконечный ряд во всех отношениях вел себя как конечная сумма, он должен быть более жестко ограничен, чего не может обеспечить условная сходимость. Требование абсолютной сходимости приводит к тому, что мы интуитивно ожидаем как для исходного ряда, так и для связанного с ним ряда Фурье.

Более подробную информацию о Канторе, в том числе о математических, философских и богословских спорах, связанных с его работой, см. J. W. Dauben, Georg Cantor (Princeton University Press, 1990).

Прим. ред.: О Георге Канторе и его научном наследии см. Катасонов В. Н. Боровшийся с бесконечным: философско-религиозные аспекты генезиса теории множеств Г. Кантора. М.: Мартис, 1999; Пуркет В., Ильгаудс Х. И. Георг Кантор / Пер. с нем. Н. М. Флайшера. Харьков: Основа, 1991.

Если вы еще не читали, рекомендую прочесть удивительный бестселлер «Логикомикс», потрясающе творческий и «графический» роман о теории множеств, логике, бесконечности, безумии и стремлении к математической истине: A. Doxiadis and С. Н. Papadimitriou, Logicomix (Bloomsbury, 2009). Главный герой — Бертран Рассел, но появление Кантора, Гильберта, Пуанкаре и многих других незабываемо.

Классическая биография Давида Гильберта — трогательный и неакадемичный рассказ о его жизни, работе и эпохе, см. C. Reid, Hilbert (Springer, 1996). Вклад Гильберта в математику слишком велик, чтобы перечислять здесь все достижения, но, вероятно, величайшее из них — это коллекция из двадцати трех тогда еще не решенных задач, которые, по мнению ученого, могли бы сформировать ход развития математики в ХХ веке. Продолжение истории о значимости задач, предложенных Гильбертом, и людях, которые решили кое-какие из них, см. B. H. Yandell, The Honors Class (A K Peters, 2002). Некоторые из этих проблем до сих пор остаются неразрешенными.

Прим. ред.: Русский перевод первого издания: Констанс Рид. Гильберт. М.: Наука, 1977.

Прим. ред.: О творчестве Гильберта см.: Вейль Г. Давид Гильберт и его математическое творчество. // Математическое мышление. М.: Наука, 1989. По проблемам Гильберта см.: Проблемы Гильберта. Сборник под ред. П. С. Александрова. М.: Наука, 1969.