Пред.
След.
Макеты страниц
Распознанный текст, спецсимволы и формулы могут содержать ошибки, поэтому с корректным вариантом рекомендуем ознакомиться на отсканированных изображениях учебника выше Также, советуем воспользоваться поиском по сайту, мы уверены, что вы сможете найти больше информации по нужной Вам тематике 9.5 ФОРМУЛА СУММИРОВАНИЯ ЭЙЛЕРАА теперь, в качестве следующего трюка — и это, на самом деле, последний важный прием в этой книге, - мы обратимся к общему методу аппроксимации сумм, который был впервые опубликован Леонардом Эйлером [365] в 1732 г. (Идею метода иногда связывают с именем Колина Мак-Лорена, профессора математики в Эдинбурге, открывшего этот метод независимо чуть позднее [211, с. 305].) Вот основная формула:
Слева находится типичная сумма, оценка которой нам может понадобиться. В правой части — другое выражение для той же суммы, включающее интегралы и производные. Если Числа Вспомним значения нескольких первых чисел Бернулли; всегда удобно иметь этот список неподалеку от общей формулы Эйлера:
Якоб Бернулли открыл эти числа, когда он изучал суммы степеней целых чисел, и формула Эйлера говорит нам, почему так произошло: если мы положим
Так, для
(Это — последнее место в книге, где мы выводим эту замечательную формулу.) Прежде чем доказывать формулу Эйлера, рассмотрим соображения высшего порядка (принадлежащие Лагранжу [177]) о том, почему такая формула должна иметь место. В гл. 2 был определен разностный оператор А и объяснено, что оператор — обратный к А, точно так же, как
Подстановка
Здесь
Применив это операторное уравнение к
a это — в точности формула суммирования Эйлера (9.67) без остаточного члена. (Ни Эйлер и никто другой не рассматривали остаток до тех пор, пока С. Д. Пуассон [248] не опубликовал в 1823 г. важную работу о приближенном интегрировании. Остаточный член играет важную роль, поскольку бесконечная сумма вывод (9.71) был чисто формальным, мы не касались вопросов сходимости.) Теперь докажем формулу (9.67), включающую остаточный член. Достаточно провести доказательство только для случая
поскольку затем можно заменить
Общая формула (9.67) есть просто сумма этих тождеств по диапазону а Доказательство в случае
(В общем случае многочлен Бернулли определяется уравнением
в частности,
Но это есть просто частный случай формулы интегрирования по частям
для Чтобы перейти от
Оно приводится к уравнению 1
И снова к этим двум интегралам применимо соотношение (9.73) с
(Здесь полезно тождество поглощения
Иначе говоря, нам требуется, чтобы
Это может слегка смутить, ясно ведь, что Для завершения доказательства формулы суммирования Эйлера осталось показать, что
Но это есть в точности определение чисел Бернулли (6.79), так что доказательство завершено. Тождество
а теперь мы заключаем, что этот интеграл равен нулю для
множителем при Посмотрим внимательнее на функции
Хотя многочлены от Когда В общем случае, функция
откуда следует
Постоянное слагаемое В соответствии с результатами нашего анализа, максимальное значение
поэтому имеем
Отсюда получается полезная верхняя оценка остаточного члена в формуле суммирования Эйлера, поскольку, как мы знаем из (6.89),
Следовательно, формулу суммирования Эйлера (9.67) можно переписать так:
Если, например, Разумеется, эта сумма есть сумма геометрической прогрессии, равная Если
иначе говоря, в этом случае остаточный член ограничен величиной последнего члена (члена непосредственно перед остаточным). Можно дать даже лучшую оценку, если известно, что
Оказывается, что отсюда вытекает соотношение
здесь остаточный член лежит между 0 и первым отброшенным членом в (9.78) — т. е. членом, который мы добавили бы вслед за последним членом в случае увеличения т. Вот доказательство. Формула суммирования Эйлера справедлива для всех
Поэтому нам надо доказать, что
С учетом (9.79) это доказывает, что Доказательство (9.81) оказывается нетрудным, если вспомнить определение
причем
|
1 |
Оглавление
|