Раскрытие неопределенностей

Если функции f(x) и g(x) удовлетворяют на некотором отрезке [ ab ] условиям теоремы Коши и f(a) = g(a) = 0, то отношение f(x)/g(x) не определено при х=а, но определено при остальных значениях х. Поэтому можно поставить задачу вычисления предела этого отношения при x→a. Вычисление таких пределов называют обычно «раскрытием неопределенностей вида {0/0}».

Теорема 20.3 (правило Лопиталя). Пусть функции f(x) и g(x) удовлетворяют на отрезке [ ab ] условиям теоремы Коши и f(a)=g(a)=0. Тогда, если существует , то существует и , причем . (20.2)

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

Выберем Из теоремы Коши следует, что такое, что . По условию теоремы f(a)=g(a)= 0, поэтому . При . При этом, если существует, то существует и . Поэтому Теорема доказана.

Пример. при a>0.

Замечание 1. Если f(x) или g(x) не определены при х=а, можно доопределить их в этой точке значениями f(a)=g(a)= 0. Тогда обе функции будут непрерывными в точке а, и к этому случаю можно применить теорему 20.3.

Замечание 2. Если f′(a)=g′(a)= 0 и f′(x) и g′(x) удовлетворяют условиям, наложенным в теореме 20.3 на f(x) и g(x), к отношению можно еще раз применить правило Лопиталя: и так далее.

Пример.

Правило Лопиталя можно применять и для раскрытия неопределенностей вида , то есть для вычисления предела отношения двух функций, стремящихся к бесконечности при

Теорема 20.4. Пусть функции f(x) и g(x) непрерывны и дифференцируемы при в окрестности точки а, причем в этой окрестности. Тогда, если и существует , то существует и , причем

.

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

Выберем в рассматриваемой окрестности точки а точки α и х так, чтобы α < x < a (или a < x < α). Тогда по теореме Коши существует точка с (a < c < x) такая, что . Так как , получаем:

, откуда . (20.3) Так как , можно для любого малого ε выбрать α настолько близким к а, что для любого с будет выполняться неравенство ,

или . (20.4) Для этого же значения ε из условия теоремы следует, что (так как ), поэтому

, или . (20.5)

Перемножив неравенства (20.4) и (20.5), получим

, или, после использования равенства (20.3):

. Поскольку ε – произвольно малое число, отсюда следует, что А = , что и требовалось доказать.

Замечание 1. Теорема 20.4 верна и при А=. В этом случае . Тогда и

, следовательно, .

Замечание 2. Теоремы 20.3 и 20.4 можно доказать и для случая, когда .

Пример.

Дата добавления: 2014-01-11