Логарифмическая бесконечность

Шкала бесконечности.

Степенные бесконечности.

xⁿ=o(x^m), 0<n<m при х®+¥. Из двух степенных бесконечностей сильнее та, у которой показатель степени больше.

Докажем:

xⁿ=x^m(xⁿ/x^m)=x^m(1/x^(m-n))=x^mg(x) m-n>0 x^mg(x)ºo(x^m)

Показательные бесконечности.

а^х=о(b^х), 1<a<b при x®+¥. Из двух показательных бесконечностей сильнее та, у которой основание больше.

Докажам

a^x=a^x(b^x/b^x)=a^x(a/b)^x=b^xg(xºo(b^x) (0<a/b<1)

ln(x)=o(x^a), "a>0. Логарифмическая бесконечность слабее любой степенной бесконечности.

ln(x)<x "x

lim ln(x)/x^a=lim [(ln(x)/(x^a/2x^a/2))((a/2)/(a/2))]=

^{x®0 x®0}

lim [(ln(x)/x^a/2)(2/(ax^a/2)]

^x®0

Произведение бесконечно малых на ограниченную

равно бесконечно малой.

lim (ln(x)/x^a)=0 Û (lim(x))/x^a=g(x) Û lna=x^ag(x)ºox^a,

^x®0

x®+¥

Показательная и степенная.

X^k=o(a^x), " k>0,a>1 x®+¥ lim(x^k)/(a^x)=0

^x®+¥

Теорема: Пусть a(x) ~ a₁(x) при x®x₀ (±¥)

b(x) ~ b₁(x) при x®x₀ (±¥)

Тогда lim a(x)/b(x)=lim a₁(x)/b₁(x)

^{x®x0 (±¥) x®x0 (±¥)}

Доказательство:

lima(x)/b(x)=lim[a(x)a₁(x)b₁(x)]/[a₁(x)b₁(x)b(x)]=lim(a(x)/b(x))lim(b₁(x)/b(x))lim(a₁(x)/b₁(x))=lim a₁(x)/b₁(x) что

^{x®0 x®0 x®0 x®0 x®0 x®0}

и требовалось доказать. Замечание: аналогичное утверждение справедливо для двух бесконечно больших.

Пример:

lim sin(x)/3x=limx/3x=1/3

^{x®0 x®0}

Определение: (главного слагаемого)

a₁(x)+a₂(x)+…+a_n(x), при x®x₀ (±¥)

Главным слагаемым в этой сумме называется то слагаемое по сравнению с которым остальные слагаемые являются бесконечно малыми более высокого порядка малости или бесконечно большие более низкого порядка роста.

a₁(x) – главное слагаемое, если a₂(х)=о(a₁(х)),…,a_n(x)=o(a₁(x)) при x®x₀ (±¥)

Конечная сумма бесконечно малых эквивалентна своему главному слагаемому:

a₁(x)+a₂(x)+…+a_n(x) ~ a₁(x), при x®x₀ (±¥) если a₁(х) – главное слагаемое.

Доказательство:

lim [a₁(x)+a₂(x)+…+a_n(x)]/a₁(x)=lim[a₁(x)+a₁(x)g(x)+…+a₁(x)g(x)]/a₁(x)=lim[a₁(x)(1+g₁(x)+…+g_n(x))]/a₁(x)=1 ^{x®x0 (±¥) x®x0 (±¥) x®x0 (±¥)}

Пример:

lim (e^x+3x¹⁰⁰+ln3x)/(2^x+1000x³+10000=lim e^x/2^x=lim e^x/(e^xg(x))=+¥

^{x®+¥ x®+¥ x®+¥}

2^x=o(e^x)ºe^xg(x)