Символ "О" - асимптотический анализ (стр. 1 из 5)

Выпускная квалификационная работа

«Символ О»

Содержание

Введение………………………………………………………….Глава 1. Символ О………………………………………………..§1. Основные определения, примеры…………………..……§2. Основные соотношения.………………………………….§3. Решение задач…………………………………………….Глава 2. Приложения символа О………………………………...§1. Асимптотическое решение трансцендентных уравнений действительного переменного..……………..……..……§2. Асимптотическое решение интегралов………………….§3. Асимптотическое вычисление суммы ряда…..…………Литература………………………………………………………...

стр. 3стр. 5стр. 5стр. 9стр. 14стр. 18стр. 18стр. 22стр. 24стр. 26

Введение

Слово асимптотика имеет греческое происхождение и буквально означает «никогда не соединяющиеся». Изучая конические сечения, древнегреческие математики рассматривали, в частности, гиперболы, такие, как график функции ,

имеющий прямые y = x и y = -x своими «асимптотами». При

кривая приближается к асимптотам, но никогда не соприкасается с ними. В наши дни слово «асимптотика» используется в более широком смысле для обозначения любой приближенной величины, которая становится все более точной по мере приближения некоторого параметра к предельному значению.

Точные решения, если их удается получить, - это замечательно: окончательный ответ вызывает чувство глубокого удовлетворения. Но и приближенное значение иногда оказывается в цене.

В 1894 году Пауль Бахман придумал обозначение для асимптотического анализа. В последующие годы его популярности способствовали Эдмунд Ландау и др. Мы встречаем это обозначение в формулах наподобие:

, (1.1)

которая говорит нам, что n-е гармоническое число равно натуральному логарифму n плюс константа Эйлера плюс некоторая величина, которая составляет «О большое от 1 на n». Эта последняя величина точно не определена, однако, какой бы она ни была, обозначение «О» позволяет утверждать, что она не превосходит константу, умноженную на 1/n.

Величину О(1/n) можно считать пренебрежимо малой, если только нас не интересуют величины, отличающиеся от 1/n лишь постоянным множителем.

Приложения символа О можно встретить в разных областях математики, а также и в физике. Например, в книге Панченкова А.Н. «Асимптотические методы в экстремальных задачах механики» рассматривается применение асимптотических методов в решении задач аэродинамики.

Цель дипломной работы:

изучить понятие «Символ О» и показать его применения.

Задачи:

1. Изучить понятие «Символ О», дать определение.

2. Изучить и доказать основные соотношения.

3. Показать применение символа О при решении задач.

4. Найти применение символа О в различных областях математики.

На основании поставленных целей и задач квалификационная работа разбита на две главы.

Глава 1 «Символ О» состоит из трех параграфов. В первом параграфе рассматриваются основные определения, приводятся примеры; во втором – формулируются утверждения, приводятся их доказательства; третий параграф посвящен решению задач.

Глава 2 «Приложения символа О» освещает применение символа О, а именно, при решении трансцендентных уравнений, при вычислении интегралов, при нахождении суммы рядов.

Глава 1. Символ О.

§1. Основные определения, примеры

Определение 1:

f(n) = O(g(n)) для всех nÎN (1.1.1)

означает, что существует такая константа С, что

для всех n ÎN; (1.1.2)

а если обозначение O(g(n)) использовано внутри формулы, то оно обозначает функцию f(n), удовлетворяющую (1.1.2). Значения функции f(n) неизвестны, но мы знаем, что они не слишком велики.

Символ «О» включает неопределенную константу С, каждое вхождение О может подразумевать различные С, но каждая из этих констант не зависит от n.

Пример 1: мы знаем, что сумма квадратов первых n натуральных чисел равна

_n =

.

Можно записать _n = О(n³),

так как

для всех целых n. Можно получить более точную формулу

_n =

О(n²), так как

для всех целых n. Можно также небрежно отбросить часть информации и записать _n = О(n¹⁰).

Определение О не заставляет нас давать наилучшую оценку.

Рассмотрим пример, когда переменная n – не целочисленная.

Пример 2:

, где х – вещественное число.

Здесь уже нельзя сказать, что S(x) = O(x³), так как отношение

неограниченно растет при х®0. Нельзя также сказать, что S(x) = O(x), т.к. отношение неограниченно растет, когда х стремится к бесконечности. Значит, мы не можем использовать символ «О» для оценки S(x).

Эта дилемма разрешается благодаря тому, что на переменные, используемые с О, обычно накладываются какие-либо ограничения. Если, например, мы поставим условие, что

, или что , где e - произвольная положительная константа, или что х – целое число, то мы сможем записать S(x) = O(x³). Если же наложено условие или , где с – произвольная положительная константа, то в этом случае S(x) = O(x). «О большое» зависит от контекста, от ограничений на используемые переменные.

Эти ограничения часто задаются в виде предельных соотношений.

Определение 2: соотношение f(n) = O(g(n)) при n®¥ означает, что существуют две константы С и n₀, такие, что

при всех n³n₀. (1.1.3)

Замечание 1: Значения С и n₀ могут быть разными для разных О, но они не зависят от n.

Определение 3: запись f(х) = O(g(х)) при х®0 означает, что существуют две константы С и e, такие, что

, если только . (1.1.4)

Теперь О представляет неопределенную функцию и одну или две неопределенные константы, зависящие от контекста.

Замечание 2: запись

корректна, но в этом равенстве нельзя менять местами правую и левую части. В противном случае мы можем прийти к нелепым выводам, наподобие n = n², исходя из верных тождеств n = О(n²) и n² = О(n²).

Работая с символом «О» мы имеем дело с односторонними равенствами. Правая часть уравнения содержит не больше информации, чем левая, и фактически может содержать меньше информации; правая часть является «огрублением» левой.

Если говорить строго формально, то запись O(g(n)) обозначает не какую-то одну функцию f(n), а сразу множество функций f(n), таких, что

для некоторой константы С. Обычная формула g(n), не включающая символ О, обозначает множество, содержащее одну функцию f(n) = g(n). Если S и T суть множества функций от n, то запись S+ T обозначает множество всех функций вида f(n) + g(n), где f(n)ÎS и g(n)ÎT; другие обозначения вроде S – T, ST, S/T, , е^S, ln S определяются аналогично. Тогда «равенство» между двумя такими множествами функций есть теоретико-множественное включение; знак «=» в действительности означает «Í».

Пример 3: «Уравнение»

означает, что S₁ Í S₂, где S₁ есть множество всех функций вида , для которых найдется константа С₁, такая, что , а S₂ есть множество всех функций , для которых найдется константа С₂, такая, что .