Пред.
След.
Макеты страниц
Распознанный текст, спецсимволы и формулы могут содержать ошибки, поэтому с корректным вариантом рекомендуем ознакомиться на отсканированных изображениях учебника выше Также, советуем воспользоваться поиском по сайту, мы уверены, что вы сможете найти больше информации по нужной Вам тематике ДЛЯ СТУДЕНТОВ И ШКОЛЬНИКОВ ЕСТЬ
ZADANIA.TO
9.6 ЗАВЕРШАЮЩЕЕ СУММИРОВАНИЕПод конец этой книги настало время просуммировать все и подвести итоги. Мы рассмотрим несколько интересных и важных примеров и применим к ним формулу Эйлера. Сумма 1: слишком простая Сначала рассмотрим, хотя и интересный, но не важный пример, а именно сумму, которую мы уже умеем вычислять. Посмотрим, что скажет нам формула Эйлера, если применить ее к „телескопической" сумме
Не помешает, наверное, предварить серьезные приложения формулы Эйлера анализом асимптотического аналога матрешки. Для начала можно разложить функцию
так как это упрощает интегрирование и дифференцирование. Имеем
Далее,
Подставляя эти выражения в формулу суммирования (9.67), получаем
где Например, для
Что-то тут не так; это определенно не похоже на правильный ответ отрицательные степени
Следовательно, сумма членов в правой части аппроксимации дает
Коэффициенты при Если с этим миром все в порядке, то мы должны бы суметь доказать, что Иными словами, мы потерпели неудачу. Попытаемся исправить положение. Заметим, что постоянное слагаемое в аппроксимации, по мере роста
Может быть, мы покажем, что этот ряд сходится к 1, когда число слагаемых становится бесконечным? Но нет; числа Бернулли возрастают очень быстро. Например, Тем не менее, путь к спасению существует, и этот обходной путь, оказывается, очень полезен и в других приложениях формулы Эйлера. Ключевой момент здесь — заметить, что
Интеграл
Итак, мы доказали, с помощью формулы Эйлера, что
для некоторой константы С. Мы не знаем, что это за константа — для ее нахождения нужны другие методы, — однако формула суммирования Эйлера позволила нам установить, что константа существует. Допустим, мы выбрали значительно большее значение т. Тогда те же рассуждения покажут, что
и мы приходим к формуле
для каких-то констант
Совершенно ясно, что это нуль для
Формулы (9.82) недостаточно, чтобы доказать, что сумма точно равна Снова сумма 1: выводы и обобщения Прежде чем разделаться с нашим тренировочным примером, попробуем вновь взглянуть на сделанное в более широком аспекте. Мы начинали с суммы
и, воспользовавшись формулой суммирования Эйлера, получили
где
(А именно, у нас было
Следовательно, мы можем заключить, что существует константа С, такая, что
(Заметьте, что С счастливым образом вобрала в себя неприятные члены Мы можем сэкономить усилия в будущих задачах, сразу утверждая существование константы С в тех случаях, когда Предположим теперь, что
где
при
и здесь остаточный член будет действительно лежать между 0 и первым отброшенным членом. Незначительная модификация наших предыдущих рассуждений полностью исправляет положение. Допустим, что
Правая часть (9.85), если рассматривать только остаточные члены, имеет точно такой же вид, как формула суммирования Эйлера (9.67) для Сумма 2: гармония гармонических чисел Теперь, научившись столь многому на тривиальном (но надежном) примере, мы легко справимся с нетривиальным. Используем формулу суммирования Эйлера для вывода аппроксимации чисел В этом случае
для некоторой константы С. Сумма слева есть С помощью развитой только что теории можно хорошо оценить остаточный член, поскольку
где
Это уравнение, оказывается, дает неплохое приближение к у уже при
где
Однако константа Эйлера встречается и в других формулах, что позволяет вычислять ее еще эффективнее [290]. Сумма 3: аппроксимация Стирлинга Если
где а есть определенная константа, „константа Стирлинга", и
Аппроксимацию из табл. 491 можно теперь получить, взяв Если аппроксимации имеется некоторый порог точности, переступить который мешает что-то вроде принципа неопределенности. В соотношении (5.83) из гл. 5 мы обобщили факториалы на произвольные вещественные числа а с помощью определения, предложенного Эйлером:
Пусть а — большое число; тогда
и для оценки этой суммы можно использовать формулу суммирования Эйлера с
(Здесь мы воспользовались (9.67) для
ибо Сумма 4: колоколообразные слагаемые Обратимся теперь к сумме совершенно иного характера:
Это бесконечная в обе стороны сумма, члены которой достигают максимального значения
Таким образом, слагаемые остаются очень близки к 1, пока к не достигнет значений порядка
При больших значениях Чтобы оценить
Значение Следующее, что нам нужно знать, — это последовательность производных
Тогда правило замены переменной из дифференциального исчисления говорит нам, что
а это означает просто
По индукции получаем
Так, вычислив
Чтобы было легче увидеть, что произойдет в дальнейшем, лучше работать с более простой функцией Нам не понадобится точно вычислять производные
Это доказывается по индукции. Экспонента
для всех к 0. Следовательно, все члены в
исчезают и остается лишь слагаемое с
Выписанная О-оценка остаточного члена вытекает из того, что Мы доказали, что Можно очень просто определить С, найдя нужный интеграл в таблице; но мы предпочтем самостоятельно получить это значение, чтобы в будущем суметь подсчитать также и те интегралы, которых нет в таблицах. Для вычисления С достаточно элементарного анализа, если только мы догадаемся рассмотреть двойной интеграл
Переход к полярным координатам дает
Следовательно, Можно вычислить С иначе, выполнив замену х на
Этот интеграл равен Итак, наша окончательная формула такова:
Константа в О зависит от М; именно поэтому мы говорим о „фиксированном" М. Если, например,
Сумма 5: завершающий удар Сейчас займемся нашей последней суммой, которая позволит нам найти значение константы Стирлинга главы (и из всей книги), так что это вполне уместный пример в завершение нашего исследования конкретной математики. Последняя задача выглядит абсурдно простой: мы попытаемся найти асимптотическое значение суммы
с помощью формулы суммирования Эйлера. Здесь мы вновь встречаемся с ситуацией, когда заранее известен ответ (так Итак, мы думаем о главном и обнаруживаем, что основной вклад в
Дела выглядят неплохо, поскольку мы знаем, как аппроксимировать Теперь мы собираемся применить трехшаговую процедуру, подразумеваемую приемом замены хвоста. Именно, мы хотим записать
с тем, чтобы получить оценку
Попробуем поэтому оценить
Хотелось бы преобразовать это в простую и красивую О-оценку. Метод замены хвоста позволяет использовать оценки, справедливые только для к, из „доминирующего множества
Здесь
(Мы вынесли основную часть логарифмов, записав
в результате чего многие члены, содержащие Теперь нужно разложить члены
Умножение на
плюс другие члены, которые поглощаются слагаемым
Взяв экспоненту, получим
Это и есть наша аппроксимация с
Заметьте, что к входит в Трюк замены хвоста говорит нам, что
(И снова удача: можно использовать сумму
Похоже, таким образом, что ест Но не торопитесь радоваться. Надо еще доказать, что наши оценки достаточно точны. Посмотрим сначала на погрешность, вносимую
Хорошо; эта величина асимптотически меньше предыдущей суммы, если Теперь следует проверить хвосты. Имеем
а это есть оценку, поскольку главная наша цель — найти значение константы а.) Точно так же другой хвост
ограничен Итак, мы успешно применили трюк замены хвоста и доказали оценку
если Можем выбрать
|
1 |
Оглавление
|