Теорема Коши

   Пусть функции f (x) и g(x) непрерывны на [a, b] и дифференцируемы на (a, b). Пусть, кроме того, во всех точках интервала (a, b) функция g(x) имеет ненулевую производную g ' (x) ≠ 0. Тогда существует точка c  (a, b), такая, что справедлива формула

Д о к а з а т е л ь с т в о. Покажем сначала, что знаменатель левой части формулы не обращается в ноль. Если допустить, что g(b) = g(a), то по теореме Ролля для функции g(x) найдется точка   (a, b), в которой g ' () = 0. А это противоречит условию, что g ' (x) ≠ 0 на (a, b).    Рассмотрим функцию

.

Функция F(x) на [a, b] удовлетворяет условиям теоремы Ролля: F(x) непрерывна на [a, b], дифференцируема на (a, b), и, кроме того, на концах интервала принимает равные значения F(a) = F(b) = 0. По теореме Ролля для F(x) существует точка c  (a, b) , такая ,что F ' (c) = 0. Так как

,

то

.

Откуда, учитывая, что g '(c) ≠ 0, следует искомое соотношение.

94

Правило Лопиталя

На основе теоремы Коши мы выведем правило, которое даст нам мощный способ вычисления пределов отношений двух бесконечно малых или двух бесконечно больших величин. Сформулируем его сначала для отношения бесконечно малых.

        Теорема 5.5 (Правило Лопиталя)   Пусть функции и непрерывны в некоторой окрестности точки и , то есть и при . Предположим, что при функции и имеют производные и , причём существует предел отношения этих производных:

Тогда предел отношения самих функций и тоже существует и равен тому же числу :

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

и

Пусть , . По теореме Коши, применённой к отрезку , получим тогда, с учётом того, что ,

где . Перейдём теперь в этом равенстве к пределу при :

так как, очевидно, при имеем также . Теперь возьмём точку , и применим теорему Коши к отрезку . Получим

где . Переходя к пределу при , получаем

так как при имеем .

Итак, оба односторонних предела отношения равны . На основании теоремы о связи односторонних пределов с двусторонним получаем, что

        Замечание 5.5   При доказательстве мы одновременно вывели правило Лопиталя и для односторонних пределов (то есть пределов при базах и ): если и бесконечно малы при и существует предел

то существует и предел

аналогичное утверждение верно также для предела справа.     

        Пример 5.3   Найдём предел .

Этот предел представляет собой предел отношения двух бесконечно малых, поскольку и .

Заметим прежде всего, что предел можно упростить, заменив знаменатель на эквивалентную бесконечно малую: при . Получим:

Числитель упростить пока не удаётся, поскольку правила вычисления пределов не позволяют нам заменять на эквивалентные слагаемые (а не множители). В предположении, что предел существует, найдём вместо него предел отношения производных, который, в соответствии с доказанной теоремой, равен исходному:

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

Итак, получили, что предел отношения производных, действительно, существует и равен . По правилу Лопиталя отсюда следует, что исходный предел также существует и равен тому же числу:

Следовательно,

        Замечание 5.6   Доказанное правило Лопиталя не означает, что если предел отношения производных не существует, то не существует и исходный предел. Этот исходный предел вполне может существовать, только его нельзя найти при помощи применения правила Лопиталя. Иными словами, правило Лопиталя не является универсальным средством отыскания пределов отношения двух бесконечно малых. Пример предела, который нельзя отыскать с помощью правила Лопиталя, мы сейчас приведём.     

        Пример 5.4   Рассмотрим предел Его легко вычислить, заметив, что величина  -- величина, локально ограниченная при базе , а величина  -- бесконечно малая:

Следовательно, их произведение -- бесконечно малая величина, и

С другой стороны, попробуем применить к исходному пределу отношения двух бесконечно малых и правило Лопиталя и вычислить предел отношения производных этих двух функций. Имеем: и . Составим отношение этих двух производных:

В этом выражении первое слагаемое имеет, очевидно, при предел, равный 0, а второе не имеет никакого предела; следовательно, не имеет предела и сумма.

Итак, исходное отношение бесконечно малых имеет предел, равный 0, в то время как отношение производных этих бесконечно малых не имеет никакого предела. Получаем, что применение к данному примеру правила Лопиталя не приводит к желаемому вычислению предела.     

Правило Лопиталя действует не только при базах , , , но и при базах , , . Докажем это.

        Теорема 5.6 (Правило Лопиталя для )   Пусть и  -- функции, являющиеся бесконечно малыми при базе (или , или ) и дифференцируемые на некотором луче (или , или объединении лучей , соответственно). Тогда если существует предел

то предел также существует и равен тому же числу:

(аналогичные утверждения справедливы и для баз , ).

        Доказательство.     Положим и рассмотрим функции и Тогда функции и непрерывны на отрезке и дифференцируемы при . При этом

К бесконечно малым при величинам и можно применить правило Лопиталя ( теорема 5.5 для предела справа, см. замечание 5.5):

Распространим теперь правило Лопиталя на случай, когда функции и являются бесконечно большими величинами при данной базе (о бесконечно больших величинах см. раздел 2.7).

        Теорема 5.7 (Правило Лопиталя для отношения бесконечно больших)   Пусть и при и в некоторой проколотой окрестности , , существуют производные и . Тогда, если существует предел отношения этих производных

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

        Доказательство.     За полным доказательством этого утверждения мы отсылаем к книгам [Никольский С. М., Курс математического анализа. Том 1. -- М.: Наука, 1990. -- С. 200 - 201] или [Смирнов В. И., Курс высшей математики. Том 1. -- М.: Наука, 1974. -- С. 157 - 158]. Здесь же мы докажем, что оба предела совпадают, в предположении, что второй из них существует и оба не равны 0. Итак, пусть

где  -- некоторое число. Докажем, что тогда .

Рассмотрим вспомогательные функции и

Тогда функции и  -- бесконечно малые при , непрерывные при ; их производные таковы:

Заметим теперь, что при

и

Из равенства (5.3) получаем, что . Переходя к пределу в равенстве (5.4), получаем:

С другой стороны, применяя правило Лопиталя ( теорема 5.5) к бесконечно малым функциям и , получим:

откуда

Из этого равенства следует, что , что и требовалось доказать.     

        Замечание 5.7   Немного изменив доказательство, мы получим, что правило Лопиталя для отношения двух бесконечно больших верно для односторонних пределов (при базах и ); сделав замену , выведем, что оно верно для пределов при базах , и (аналогично тому, как теорема 5.6 была выведена из теоремы 5.5).     

        Замечание 5.8   Как и в основном случае отношения двух бесконечно малых при , все остальные варианты правила Лопиталя не универсальны: если предел отношения производных не существует, то это ещё не означает, что нет предела отношения исходных величин.     

Приведём ещё один пример, иллюстрирующий это важное замечание.

        Пример 5.5   Рассмотрим при две бесконечно больших: и . Предел их отношения, очевидно, существует:

в то же время отношение производных даёт

а эта функция не имеет никакого предела при . Следовательно, для вычисления предела

правило Лопиталя неприменимо.     

Несмотря на свою неуниверсальность, правило Лопиталя служит весьма мощным средством нахождения сложных пределов. При этом иной раз приходится применять это правило много раз подряд, пока не получим предел, значение которого либо очевидно, либо может быть вычислено каким-либо способом, изученным нами ранее (например, с помощью замены на эквивалентные бесконечно малые).

        Пример 5.6   Найдём предел . (Это предел отношения двух бесконечно малых. Заметим, что не является множителем, так что его нельзя заменить на эквивалентную величину ; если бы мы всё же сделали это, то сразу получили бы в числителе 0, и "ответ" равнялся бы 0.) Применим правило Лопиталя и получим, что

в предположении, что последний предел существует. Этот последний предел можно найти, заметив, что при , и заменив числитель. Однако можно пойти и другим путём. Мы снова получили отношение двух бесконечно малых, к которому снова применим правило Лопиталя:

поскольку (это первый замечательный предел).

Итак, обоснование результата таково:

откуда по теореме 5.5

то есть

откуда, в свою очередь, снова по теореме 5.5

95

96

Функция y=f(x) называется возрастающей (убывающей) в некотором интервале, если при x₁< x₂ выполняется неравенство f(x₁) < f (x₂) (f(x₁) > f(x₂)).

Если дифференцируемая функция y = f(x) на отрезке [a, b] возрастает (убывает), то ее производная на этом отрезке f (x)  0 (f (x)  0).

Точка x_о называется точкой локального максимума (минимума) функции f(x), если существует окрестность точки x_о, для всех точек которой верно неравенство f(x)  f(x_о) (f(x)  f(x_о)).

Точки максимума и минимума называются точками экстремума, а значения функции в этих точках - ее экстремумами.

Необходимые условия экстремума. Если точка x_о является точкой экстремума функции f(x), то либо f (x_о) = 0, либо f (x_о) не существует. Такие точки называют критическими, причем сама функция в критической точке определена. Экстремумы функции следует искать среди ее критических точек.

Первое достаточное условие. Пусть x_о - критическая точка. Если f  (x) при переходе через точку x_о меняет знак плюс на минус, то в точке x_о функция имеет максимум, в противном случае - минимум. Если при переходе через критическую точку производная не меняет знак, то в точке x_о экстремума нет.

Второе достаточное условие. Пусть функция f(x) имеет производную f  (x) в окрестности точки x_о и вторую производную  в самой точке x_о. Если f (x_о) = 0, >0 ( <0), то точка x_о является точкой локального минимума (максимума) функции f(x). Если же =0, то нужно либо пользоваться первым достаточным условием, либо привлекать высшие производные.

На отрезке [a,b] функция y = f(x) может достигать наименьшего или наибольшего значения либо в критических точках, либо на концах отрезка [a,b].

Достаточные условия существования экстремума

Теорема 21.

Пусть функция y = f(x) непрерывна на всем интервале (a, b), дифференцируема на (a, b), кроме, быть может, числа x₀ (a,b), причем точка (x₀, f(x₀)) является критической точкой графика функции f. Тогда, если при переходе через x₀ производная меняет знак с плюса на минус (с минуса на плюс), то f'(x₀) – максимум (минимум) функции f.

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

Пусть при переходе через x₀ производная функции f меняет знак с плюса на минус. Рассмотрим x = x₀ + Δx (a,b) число . Если Δx > 0, то, воспользовавшись теоремой Лагранжа, имеем

где , если Δx < 0, то

где

Доказано, что значение f(x₀) – максимум функции f. Аналогично доказывается, что если при переходе через x₀ производная меняет знак с минуса на плюс, то f(x₀) – минимум функции f.

97

Экстремум функции. Необходимое условие существования экстремума

Пусть функция y = f(x) непрерывна на (a, b) и пусть x₀ (a,b)

Определение 5. Значение f(x₀) называется максимумом (минимумом) функции f, если в некоторой малой окрестности числа x₀ значение f(x₀) является наибольшим (наименьшим), т.е. для любого числа x из этой окрестности f(x₀) > f(x) (f(x₀) < f(x)). Максимум и минимум функции f называется экстремумом функции f.

Теорема 20.

Пусть функция y = f(x) дифференцируема на (a, b), число x₀ (a,b) и f(x₀) является экстремумом функции f. Тогда f'(x₀) = 0.

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

Пусть f(x₀) является максимумом функции f, тогда

Переходя к пределу, получаем

Так как по условию теоремы при x = x₀ производная функции f существует, то f'(x₀) = 0. Аналогично доказывается, что если f(x₀) является минимумом функции f , то f'(x₀) = 0.

Теорема доказана.

Обратное для теоремы 20 утверждение неверно, т.е. если f'(x₀) = 0, то f(x₀) может не быть экстремумом функции f. Например, функция y = x³ имеет производную y' = 3x², которая при x = 0 равна нулю. Однако, как видно из рис. 3, при x = 0 функция y = x³ не имеет экстремума.

Если окажется, что при x = x₀непрерывная функция y = f(x) не дифференцируема, то также нельзя однозначно сказать, будет значение f(x₀) экстремумом функции f или нет.

Например, функции y = | x |, y = ³√x не дифференцируемы при x = 0. Однако функция y = | x | при x = 0 имеет экстремум (рис. 4), а функция y = ³√x при x = 0 экстремума не имеет (рис. 5).

98

99