Это знакопеременная сумма. Каждая последующая пара почти отменяет; такие пары в конечном итоге монотонно уменьшаются.
Один из подходов состоит в том, чтобы вычислить сумму в парах, где = {1,2}, {3,4}, {5,6} и т. Д. (Это также устраняет много ошибок с плавающей запятой.) Некоторые другие трюки могут помочь:n
(1) Чтобы найти для положительной константы , хорошее начальное значение для поиска - и отличное приближение для большого корня - это . Я подозреваю, что Ньютон-Рафсон должен работать очень хорошо.tan(t)=t/ααntht=(n+1/2)π−α(n+1/2)π
(2) После небольшого числа начальных слагаемых суммы пар начинают уменьшаться в размерах очень и очень последовательно. Логарифмы абсолютных значений экспоненциально разнесенных пар быстро уменьшаются почти линейно. Это означает, что вы можете интерполировать очень небольшое количество вычисленных парных сумм для оценки всех парных сумм, которые вы не вычислили. Например, путем вычисления значений только для пар (2,3), (4,5), (8,9), (16,17), ..., (16384, 16385) и построения интерполяционного полинома для них (считается значением функции в 1, 2, ..., 14) и использует аргументыh=μ=σ=1Мне удалось добиться шестизначной точности для ошибок наихудшего случая. (Еще приятнее то, что ошибки колеблются в знаке, предполагая, что точность суммированных интерполированных значений может быть немного лучше, чем шесть цифр.) Вероятно, вы можете оценить предельную сумму до хорошей точности, линейно экстраполировав от конца этих значений (что переводит в степенной закон) и интегрируя экстраполирующую функцию в бесконечность. Для завершения этого примера расчета вам также понадобится первый член. Это дает шестизначную точность посредством суммирования только 29 вычисленных слагаемых.
(3) Обратите внимание, что функция действительно зависит от и , а не от всех этих трех переменных независимо. Зависимость от слабая (как и должно быть); Вы можете быть довольны, чтобы зафиксировать его значение во всех ваших расчетахh/σμ/σT
(4) Кроме того, рассмотрите возможность использования некоторых методов ускорения серии , например , метода Эйткена . Хороший учет этого появляется в Числовых Рецептах .
добавленной
(5) Вы можете оценить хвост суммы с интегралом. После записи можно решить уравнение (с ) для , который мал, а затем для путем замены обратно. Разложение касательной в ряд Тейлора по дает приближенное решениеθn=(n+1/2)π−1/tntan(θn)=θn/αα=μh/σ2tnθntn
θn=z−αz−α2−α3/3z3+O((αn)5)
где .z=(n+1/2)π
При условии, что достаточно велико, экспоненциальные множители вида очень близко к 1, поэтому вы можете пренебречь ими. Как правило, этими терминами можно пренебречь даже для малых потому что равно , в результате чего первая экспонента стремительно к нулю очень быстро. (Это происходит, когда значительно превышает . Если возможно, проведите вычисления для большого !)n1−exp(−σ2θ2nT2h2)exp(−μ2T2σ2)nθ2nΘ(n2)nα/T1/2T
Использование этого выражения для для суммирования слагаемых для и позволяет нам приблизить их (как только весь дым рассеется) какθnnn+1
2πn2−4πn3+13π2+6(4−3α)α2π3n4+O(1n5).
Замена суммы, начиная с , интегралом по начинающимся с приближает хвост. (Интеграл должен быть умножен на общий множитель .) Ошибка в интеграле . Таким образом, чтобы получить три значащие цифры, вам, как правило, нужно вычислить около восьми или около того слагаемых в сумме, а затем добавить это приближение хвоста.n=2NNN−1/4exp(−α)O(1/n4)