В математическом анализе , асимптотический анализе , также известный как асимптотики , является методом описания предельного поведения.
В качестве иллюстрации предположим, что нас интересуют свойства функции f ( n ), когда n становится очень большим. Если f ( n ) = n 2 + 3 n , то, когда n становится очень большим, член 3 n становится несущественным по сравнению с n 2 . Функция F ( п ) называется « асимптотически эквивалентны для п 2 , а п → ∞ ». Часто это обозначается символически как f (n ) ~ n 2 , что читается как « f ( n ) асимптотична n 2 ».
Примером важного асимптотического результата является теорема о простых числах . Пусть π ( x ) обозначает функцию подсчета простых чисел (которая не связана напрямую с константой pi ), то есть π ( x ) - это количество простых чисел , которые меньше или равны x . Тогда теорема утверждает, что
Определение
Формально по функциям f ( x ) и g ( x ) мы определяем бинарное отношение
тогда и только тогда, когда ( de Bruijn 1981 , §1.4)
Символ ~ - это тильда . Отношение является отношением эквивалентности на множестве функций от x ; функции f и g называются асимптотически эквивалентными . Домен из е и г может быть любое множество , для которого определен предел: например , действительные числа, комплексные числа, целые положительные числа.
То же обозначение используется и для других способов перехода к пределу: например, x → 0 , x ↓ 0 , | х | → 0 . Способ перехода к пределу часто не указывается явно, если это ясно из контекста.
Хотя приведенное выше определение широко используется в литературе, это проблематично, если g ( x ) бесконечно часто равен нулю, поскольку x стремится к предельному значению. По этой причине некоторые авторы используют альтернативное определение. Альтернативное определение в кратких обозначениях состоит в том, что f ~ g тогда и только тогда, когда
Это определение эквивалентно предыдущему определению, если g ( x ) не равно нулю в некоторой окрестности предельного значения. [1] [2]
Характеристики
Если а также , то при некоторых мягких условиях имеет место следующее.
- , для каждого реального r
Такие свойства позволяют свободно обмениваться асимптотически эквивалентными функциями во многих алгебраических выражениях.
Примеры асимптотических формул
- Для положительного целого числа n функция распределения p ( n ) дает количество способов записать целое число n как сумму положительных целых чисел, где порядок слагаемых не учитывается.
- Функция Эйри Ai ( x ) является решением дифференциального уравнения y '' - xy = 0 ; он имеет множество приложений в физике.
Строительство
Общий
Рассмотреть возможность:
где а также являются вещественнозначными аналитическими функциями , а- кумулятивная функция распределения .
потом асимптотичен в виде и асимптотика к в виде .
Асимптотика двух разных многочленов
Предположим, нам нужна вещественная функция, асимптотическая в виде и асимптотичен в виде . потом
сделаю это.
Асимптотическое разложение
Асимптотическое разложение некоторой функции F ( х ) на практике выражение этой функции в терминах ряда , то частичные суммы которых не обязательно сходятся, но таким образом, чтобы принимать какие - либо начальную частичную сумму дает асимптотическую формулу для F . Идея состоит в том, что последовательные члены обеспечивают все более точное описание порядка роста f .
В символах это означает, что у нас есть но также а также для каждого фиксированного k . С учетом определения символ, последнее уравнение означает в небольших обозначениях о , т. е. намного меньше, чем
Соотношение обретает полное значение, если для всех k , что означаетобразуют асимптотическую шкалу . В этом случае некоторые авторы могут оскорбительно написать для обозначения утверждения Однако следует быть осторожным, так как это не стандартное использование символ, и что он не соответствует определению, данному в § Определение .
В нынешней ситуации это соотношение фактически следует из объединения шагов k и k −1; путем вычитания из один получает т.е.
В случае, если асимптотическое разложение не сходится, для любого конкретного значения аргумента будет определенная частичная сумма, которая обеспечивает наилучшее приближение, а добавление дополнительных членов снизит точность. Эта оптимальная частичная сумма обычно будет содержать больше членов по мере приближения аргумента к предельному значению.
Примеры асимптотических разложений.
- где (2 n - 1) !! - двойной факториал .
Пример работы
Асимптотические разложения часто возникают, когда обычный ряд используется в формальном выражении, которое заставляет принимать значения вне области сходимости. Например, мы можем начать с обычной серии
Выражение слева справедливо на всей комплексной плоскости. , а правая часть сходится только при . Умножение на и интегрирование обеих сторон дает
Интеграл в левой части можно выразить через экспоненциальный интеграл . Интеграл в правой части после замены, можно распознать как гамма-функцию . Оценивая оба, получаем асимптотическое разложение
Здесь правая часть явно не сходится ни при каком ненулевом значении t . Однако, сохраняя t маленьким и усекая ряд справа до конечного числа членов, можно получить довольно хорошее приближение к значению. Подстановка и отмечая, что приводит к асимптотическому разложению, приведенному ранее в этой статье.
Асимптотическое распределение
В математической статистике , асимптотическое распределение является гипотетическим распределением , что в некотором смысле «ограничение» распределение последовательности распределений. Распределение - это упорядоченный набор случайных величин Z i для i = 1, ..., n для некоторого положительного целого числа n . Асимптотическое распределение позволяет i иметь неограниченный диапазон, то есть n бесконечно.
Особый случай асимптотического распределения, когда поздние записи в нуль-то есть Z я перейти на 0 , как я к бесконечности. Некоторые примеры «асимптотического распределения» относятся только к этому частному случаю.
Это основано на понятии асимптотической функции, которая чисто приближается к постоянному значению ( асимптоте ), когда независимая переменная стремится к бесконечности; "чистый" в этом смысле означает, что для любой желаемой близости эпсилон существует некоторое значение независимой переменной, после которого функция никогда не отличается от константы более чем на эпсилон.
Асимптотой является прямая, кривая приближается , но никогда не встречается или крестов. Неформально можно говорить о кривой, пересекающей асимптоту «на бесконечности», хотя это не точное определение. В уравнении y становится сколь угодно малым по величине с увеличением x .
Приложения
Асимптотический анализ используется в нескольких математических науках . В статистике , асимптотическая теория дает ограничение приближений распределения вероятностей из выборочных статистических данных , такие как отношения правдоподобия статистики и ожидаемого значение от девиации . Однако асимптотическая теория не предоставляет метода оценки распределений выборочной статистики по конечной выборке. Неасимптотические оценки даются методами теории приближений .
Примеры приложений следующие.
- В прикладной математике асимптотический анализ используется для построения численных методов аппроксимации решений уравнений .
- В математической статистике и теории вероятностей асимптотика используется при анализе долгосрочного или большой выборки поведения случайных величин и оценок.
- в информатике при анализе алгоритмов с учетом производительности алгоритмов.
- поведение физических систем , примером чего является статистическая механика .
- в анализе ДТП при определении причины ДТП посредством моделирования количества ДТП с большим количеством ДТП за заданное время и пространство.
Асимптотический анализ - ключевой инструмент для исследования обыкновенных дифференциальных уравнений и уравнений в частных производных, которые возникают при математическом моделировании явлений реального мира. [3] Наглядным примером является вывод уравнений пограничного слоя из полных уравнений Навье-Стокса, управляющих потоком жидкости. Во многих случаях асимптотическое разложение проводится по малому параметру ε : в случае пограничного слоя это безразмерное отношение толщины пограничного слоя к типичному масштабу длины задачи. В самом деле, приложения асимптотического анализа в математическом моделировании часто [3] сосредотачиваются вокруг безразмерного параметра, который, как было показано или предположительно, мал благодаря рассмотрению масштабов рассматриваемой проблемы.
Асимптотические разложения обычно возникают в приближении определенных интегралов ( метод Лапласа , метод перевала , метод градиентного спуска ) или в приближении вероятностных распределений ( серия Эджуорта ). В Фейнмановские диаграммы в квантовой теории поля являются еще одним примером асимптотических разложений , которые часто не сходятся.
Смотрите также
- Асимптота
- Асимптотическая вычислительная сложность
- Асимптотическая плотность (в теории чисел)
- Асимптотическая теория (статистика)
- Асимптотология
- Обозначение Big O
- Срок действия ведущего порядка
- Метод доминирующего баланса (для ODE)
- Метод согласованных асимптотических разложений.
- Лемма Ватсона
Заметки
- ^ "Асимптотическое равенство" , Энциклопедия математики , EMS Press , 2001 [1994]
- ↑ Эстрада и Канвал (2002 , §1.2)
- ^ a b Ховисон, С. (2005), Практическая прикладная математика , Cambridge University Press
Рекомендации
- Бальзер, В. (1994), От расходящихся степенных рядов к аналитическим функциям , Springer-Verlag , ISBN 9783540485940
- де Брюйн, Н.Г. (1981), Асимптотические методы в анализе , Dover Publications , ISBN 9780486642215
- Estrada, R .; Канвал, Р.П. (2002), Распределительный подход к асимптотике , Биркхойзер , ISBN 9780817681302
- Миллер, PD (2006), Прикладной асимптотический анализ , Американское математическое общество , ISBN 9780821840788
- Мюррей, JD (1984), Асимптотический анализ , Springer, ISBN 9781461211228
- Париж, РБ; Каминский, Д. (2001), Асимптотика и интегралы Меллина-Барнса , Cambridge University Press
Внешние ссылки
- Асимптотический анализ - главная страница журнала, который издается IOS Press.
- Статья об анализе временных рядов с использованием асимптотического распределения.