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

После вынесения за скобки из всех дробей выражения как общего множителя ряд примет вид:

Смотрите, кто вернулся! Бестия в скобках — это снова знакочередующийся гармонический ряд. Но в результате перестановки, даже при сохранении всех его членов, как-то получилось, что он вдвое уменьшился по сравнению с первоначальным! Представленный в таком виде ряд теперь сходится к ln2 = 0,346…

Странно? Да. Ненормально? Да [175]. Но неудивительно ли, что то же самое происходит и в реальной жизни. Как мы уже убедились в ходе прочтения книги, даже самые заумные и надуманные понятия математики часто находят практическое применение. Связь с практикой в данном случае заключается в том, что во многих областях науки и техники (от обработки сигналов и акустики до финансов и медицины) лучше всего представлять различные виды кривых, звуков, сигналов или изображений как группы (или совокупности) более простых кривых, звуков, сигналов или изображений. При этом основными строительными блоками будут синусоиды. Этот метод называется анализом Фурье [176], а соответствующая сумма — рядом Фурье. Но когда рассматриваемый ряд имеет некоторые патологические свойства, как у знакочередующегося гармонического ряда и его невменяемых родственников, сходимость у ряда Фурье может быть действительно очень необычной.

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

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

Частичная сумма 10 членов

Эта частичная сумма (показана сплошной линией) явно пытается приблизиться к более простой волновой кривой в форме зубцов пилы (показано пунктирной линией). Заметим, однако, что вблизи краев зубцов что-то не так. Синусоида «промахнулась» и приняла вид странного пальца, который выходит за пилообразную волну. Чтобы увидеть это отчетливее, посмотрим на увеличение одного из зубцов при x = π:

Частичная сумма 10 членов

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

Частичная сумма 50 членов

Частичная сумма 100 членов

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

Данный эффект, обычно называемый феноменом Гиббса [177], больше, чем просто математический курьез. Он известен с середины XIX века и в настоящее время проявляется в цифровой фотографии и на МРТ-сканировании [178]. Нежелательные колебания, вызванные феноменом Гиббса, могут привести к размытости, мерцанию и прочим непреднамеренным нежелательным визуальным искажениям на острых краях видеоизображения. В медицинской практике их можно ошибочно принять за поврежденную ткань или скрыть повреждения, которые есть на самом деле.

К счастью, сто лет назад аналитики точно определили, что вызывает артефакты Гиббса (см. примечание [179]), и научили нас, как преодолеть эти явления, или, по крайней мере, распознать их в случае появления.

В феврале 2010 года я получил электронное письмо от женщины по имени Ким Форбс. Ее шестилетний сын Бен задал ей математический вопрос, на который она не смогла ответить, и она надеялась, что я смогу помочь.

Сегодня 100-й день его пребывания в школе. Сын был очень взволнован и рассказал мне все, что знает о числе 100, включая то, что оно четное. Затем он сказал, что 101 нечетное число, а 1 000 000 — четное и т. д. А потом остановился и спросил: «Бесконечность — четная или нечетная?»