3.3 Бесконечно большие и бесконечно малые функции

Определение 3.5. Функция  = (х) называется бесконечно малой при х → а (или при х → ), если (х) = 0 ( (х) = 0).

Например, функция (х) = (х – 3)² будет бесконечно малой при х → 3, т. к. (х − 3)² = 0; функция (х) = является бесконечно малой при х → , т. к. = 0.

Свойства бесконечно малых функций

1. Если функция у = у(х) имеет предел А при х → а, то у(х) = А + (х), где (х) – бесконечно малая функция при х → а.

2. Если функция у(х) = А + (х), где А – число, (х) – бесконечно малая функция при х → а, то у(х) = А.

3. Сумма конечного числа бесконечно малых функций при х → а есть бесконечно малая функция при х → а.

4. Произведение двух бесконечно малых функций при х → а есть бесконечно малая функция при х → а.

5. Произведение бесконечно малой функции при х → а на ограниченную функцию, есть бесконечно малая функция при х → а.

6. Произведение бесконечно малой функции при х → а на постоянную функцию, есть бесконечно малая функция при х → а.

Определение 3.6. Функция у = f(x) называется бесконечно большой при х → а, если для любого положительного числа N можно найти такое число  > 0, что при всех х, удовлетворяющих условию 0 <│х − а│< , выполняется неравенство │f(x)│> N.

Бесконечно большая функция не имеет предела при х → а, но иногда условно говорят, что её предел равен бесконечности и пишут f(x) =  или f(x) →  при х → а. Если f(x) стремится к бесконечности, принимая только положительные или только отрицательные значения, то соответственно пишут f(x) = +, f(x) = −.

Примером бесконечно большой функции является функция f(x) = при х → 0, или функция g(x) = при х → 2.

Вопросы для самоконтроля

1. Дайте определение функции.

2. Перечислите способы задания функции. Приведите примеры.

3. Сформулируйте определение предела в точке.

4. Сформулируйте определение предела функции при стремлении аргумента к бесконечности.

5. Дайте определение односторонних пределов функции. Какая связь между односторонними пределами и пределами функции?

6. Сформулируйте определение бесконечно малой и бесконечно большой функции.

7. Какими свойствами обладают бесконечно малые и бесконечно большие функции?

4 Теоремы о пределах функций

4.1 Основные теоремы о пределе функции

Теорема 4.1. Функция у = у(х) не может иметь более одного предела при х → .

Доказательство. Предположим противное, пусть функция у = у(х) при х → имеет два предела А₁ ≠ А₂. По свойствам бесконечно малых функций (б.м.ф.) у(х) = А₁ + ₁(х) и у(х) = А₂ + ₂(х), где ₁(х), ₂(х) – б.м.ф. при х → . Тогда А₁ + ₁(х) = А₂ + ₂(х) или А₁ – А₂ = ₁(х) – ₂(х). Но последнее равенство невозможно, т. к. в левой части стоит постоянная, отличная от нуля, а в правой – бесконечно малая функция.

Теорема 4.2. Если каждая из функций у = у(х), z = z(x) имеет предел при х → , то сумма, разность, произведение этих функций также имеют пределы, причём

1) (у(х)  z(x)) = y(x)  z(x);

2) (y(x)  z(x)) = y(x)  z(x),

если кроме того, z(x) ≠ 0, то частное имеет предел, причём

3) = .

Доказательство. Пусть y(x) = А, z(x) = В.

Тогда по свойствам б.м.ф. у(х) = А + (х), z(x) = B + (x), где (х), (х) – б.м.ф. при х → . Получаем:

1) у(х)  z(x) = (А  В) + ((х)  (х)). По свойствам б.м.ф. (х)  (х) – б.м.ф., поэтому (у(х)  z(x)) = А  В, т. е. (у(х)  z(x)) = y(x)  z(x);

2) y(x)  z(x) = (А + B + (x) = А  В + (х)  B + А  (x) + (х)  (x). По свойствам б.м.ф. функция (х)  B + А  (x) + (х)  (x) – б.м.ф. при х → .

Поэтому (y(x)  z(x)) = АВ = y(x)  z(x);

3) Пусть В ≠ 0. Рассмотрим разность

− .

По свойствам б.м.ф. функция – б.м.ф. при х → .

Рассмотрим функцию = .

Очевидно, что = . Это означает, что для , равного, например, найдутся х, расположенные вокруг точки такие, что │ − │< , т. е. − < − < , < < . Но это означает, что функция ограничена. Тогда по свойствам б.м.ф. произведение

– б.м.ф. при х → .

Обозначим её ₁(х), т. е. = ₁(х). Тогда + ₁(х). По свойствам б.м.ф. = = .

Следствие 4.1. Постоянный множитель можно выносить за знак предела, т. е. если с = const, то (с  у(х)) = с у(х).

Следствие 4.2. Если у(х) = А, то для любого натурального числа m (у(х))^m = ( у(х))^m = A^m.

Теорема 4.3. Пусть три функции u = u(x), v = v(x), y = y(x) определены в некотором промежутке, содержащем точку . Если для любого х из этого промежутка выполняется неравенства u(x)  y(x)  v(x) и функции u = u(x), v = v(x) имеют одинаковые пределы при х → , то функция у = у(х) имеет тот же предел при х → .

Доказательство. Пусть u(x) = v(x) = A. Т. к. u(x)  y(x)  v(x), то u(x) − А  y(x) − А  v(x) − А.

По определению предела функции  > 0 существуют ₁ > 0 и ₂ > 0 такие, что из неравенств 0 <│х − │< ₁ следует │u(x) − A│< , а из неравенств 0 <│х − │< ₂ следует │v(x) − A│< . Обозначим  = min{₁, ₂}. Тогда для х, удовлетворяющих неравенствам 0 <│х − │<  следует − < u(x) − A <  и − < v(x) − A < . Поэтому из неравенств u(x) − А  y(x) − А  v(x) − А следует − < у(x) − A < , т. е. │у(x) − A│< . Это означает, что у(х) = А.

Теорема 4.4. Пусть функция у = f(x) определена в некотором промежутке, содержащем точку . Если при х → функция у = f(x) имеет положительный (отрицательный) предел, то найдётся такой промежуток вокруг точки , что для всех х из этого промежутка функция положительна (отрицательна).

Доказательство. Пусть f(x) = А. Это означает, что  > 0 можно указать такое число  > 0, что при всех х, удовлетворяющих условию 0 <│х − │< , выполняется неравенство │f(x) − A│< , т. е. − < f(x) − A < .

Если А > 0, то взяв  = А из неравенства A −  < f(x), получим f(x) > A −  = = A − A = A > 0, т. е. f(x) > 0 при − < x − < , т. е. при −  < x <  + .

Если А < 0, то взяв  = − А, из неравенства f(x) < A +  получим f(x) < A +  = = A − A = A < 0, т. е. f(x) < 0 при −  < x <  + .

Эта теорема называется теоремой о сохранении знака функции, имеющей предел.

Теорема 4.5. Если функции u(x), v(x) определены в некотором промежутке, содержащем точку , и для всех х из этого промежутка, кроме х = , выполняется неравенство u(x) < v(x), причём функции u(x) и v(x) имеют пределы при х → . Тогда u(x)  v(x).

Доказательство. Пусть u(x) = А, v(x) = В. Положим, что А > B. По теореме 4.2 (u(x) − v(x)) = А – В > 0. По теореме 4.4 найдётся промежуток вокруг точки такой, что для всех х из этого промежутка u(x) − v(x) > 0, т. е. u(x) > v(x), что противоречит условию.

Следовательно, предположение неверно и А  В, т. е. u(x)  v(x).