Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя

(Лопиталь (1661-1704) – французский математик)

К разряду неопределенностей принято относить следующие соотношения:

Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru

Теорема (правило Лопиталя). Если функции f(x) и g(x) дифференцируемы в вблизи точки а, непрерывны в точке а, g(x) отлична от нуля вблизи а и f(a) = g(a) = 0, то предел отношения функций при ха равен пределу отношения их производных, если этот предел (конечный или бесконечный) существует.

Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru

Доказательство. Применив формулу Коши, получим:

Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru

[an error occurred while processing this directive]

где  - точка, находящаяся между а и х. Учитывая, что f(a) = g(a) = 0:

Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru

Пусть при ха отношение Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru стремится к некоторому пределу. Т.к. точка  лежит между точками а и х, то при ха получим а, а следовательно и отношение Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru стремится к тому же пределу. Таким образом, можно записать:

Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru .

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

45. Свойства функций, дифференцируемых на интервале: Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru Теорема Ролля. Теорема Коши. Теорема Лагранжа.

Пусть функция Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru определена на некотором множестве Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru , и Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru . Назовём точку Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru точкой максимума функции Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru на множестве Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru , если при всех Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru выполняется неравенство Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru , и точкой минимума, если при всех Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru выполняется неравенство Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru .

Точка Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru , являющаяся либо точкой максимума, либо точкой минимума, называется точкой экстремума.

Теорема 5.2 (Ролля)Пусть функция Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru дифференцируема на интервале Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru , непрерывна в точках Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru и Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru и принимает в этих точках значение 0: Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru . Тогда найдётся хотя бы одна точка Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru , в которой Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru .

Замечание 5.2 Это утверждение можно переформулировать так: между двумя корнями Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru и Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru дифференцируемой функции Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru обязательно найдётся корень её производной Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru (то есть точка Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru , такая что Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru ). Условие Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru означает, что касательная, проведённая к графику Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru при Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru , расположена горизонтально.

Заметим также, что теорема Ролля не утверждает, что корень Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru -- единственный корень производной на интервале Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru ; на этом интервале может находиться несколько корней производной.

Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru

Рис.5.4.Между двумя корнями дифференцируемой функции лежит хотя бы один корень её производной

Доказательство теоремы Ролля. Так как при наших предположениях функция Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru непрерывна на отрезке Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru , то она принимает своё максимальное значение Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru и минимальное значение Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru в некоторых точках Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru и Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru этого отрезка.

Рассмотрим два случая. Если Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru , то наибольшее и наименьшее значения функции совпадают, и, следовательно, функция постоянна на отрезке Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru : Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru . Значит, Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru при всех Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru , и в качестве Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru в этом случае можно взять любую точку Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru интервала Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru .

Если же Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru , то либо Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru , либо Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru отлично от 0 и, следовательно, либо точка Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru , либо точка Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru не совпадает с концами отрезка Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru и Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru , то есть лежит внутри интервала Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru . Пусть, для определённости, Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru -- внутренняя точка интервала. Тогда, по теореме Ферма, Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru , поскольку по предположению доказываемой теоремы, Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru имеет производную во всех точках интервала Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru и, следовательно, в точке Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru . Итак, в этом случае точку Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru можно взять в качестве искомой точки Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru : тогда Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru .

Теорема 5.3 (Лагранжа) Пусть функция Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru дифференцируема на интервале Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru и непрерывна в точках Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru и Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru . Тогда найдётся такая точка Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru , что

Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru (5.1)


Замечание 5.3 Формулу (5.1) можно записать в виде

Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru (5.2)


Если считать, что аргументу Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru придано приращение Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru , то функция получает приращение Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru . (При этом мы не считаем, что Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru и Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru стремятся к 0, то есть это конечные, а не бесконечно малые, приращения.) При этих обозначениях формулу (5.2) мы можем записать в виде

Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru

в котором участвуют конечные приращения аргумента и функции. Поэтому формулу (5.2) называют формулой конечных приращений.

Доказательство теоремы Лагранжа. Дадим сначала геометрическую иллюстрацию теоремы. Соединим конечные точки графика Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru на отрезке Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru хордой. Конечные приращения Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru и Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru -- это величины катетов треугольника, гипотенузой которого служит проведённая хорда.

Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru

Рис.5.5.Касательная в некоторой точке параллельна хорде

Отношение конечных приращений Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru и Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru -- это тангенс угла наклона хорды. Теорема утверждает, что к графику дифференцируемой функции можно провести в некоторой точке Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru касательную, которая будет параллельна хорде, то есть угол наклона касательной Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru ( Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru ) будет равен углу наклона хорды Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru ( Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru ). Но наличие такой касательной геометрически очевидно.

Заметим, что проведённая хорда, соединяющая точки Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru и Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru -- это график линейной функции Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru . Поскольку угловой коэффициент этой линейной функции равен, очевидно, Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru , то

Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru

(мы учли то, что график линейной функции проходит через точку Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru ).

Сведём доказательство к применению теоремы Ролля. Для этого введём вспомогательную функцию Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru , то есть

Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru

Заметим, что Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru и Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru (по построению функции Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru ). Так как линейная функция Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru дифференцируема при всех Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru , то функция Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru удовлетворяет, тем самым, всем свойствам, перечисленным в условии теоремы Ролля. Поэтому найдётся такая точка Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru , что Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru .

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

Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru

Значит, равенство Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru можно переписать в виде

Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru

Таким образом, мы доказали формулу (5.1).

Из теоремы Лагранжа вытекает утверждение, обратное к тому, что производная постоянной есть 0, а именно:

Следствие 5.1 Пусть на интервале Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru функция Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru имеет производную Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru , тождественно равную 0: Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru . Тогда Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru на интервале Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru .

Доказательство. Заметим для начала, что непрерывность функции Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru в любой точке интервала Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru следует из дифференцируемости в этой точке. Значит, теорему Лагранжа можно применить к функции Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru на любом отрезке Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru .

Возьмём любые две точки Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru , такие что Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru , и выпишем для функции Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru на отрезке Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru формулу конечных приращений: Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru , при некотором Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru . Но в любой точке производная по предположению равна 0, в том числе Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru . Отсюда Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru , или Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru . Обозначим это общее значение через Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru . Выбирая произвольно точку Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru , получим, что Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru при всех Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru ; выбирая произвольно точку Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru , -- что Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru при всех Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru . Но это означает, что Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru при всех Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru .

Теорема 5.4 (Коши) Пусть функции Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru и Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru дифференцируемы на интервале Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru и непрерывны при Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru и Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru , причём Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru при всех Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru . Тогда в интервале Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru найдётся такая точка Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru , что

Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru

Доказательство. Докажем сначала, что Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru , то есть что дробь в левой части формулы имеет смысл. Действительно, для этой разности можно записать формулу конечных приращений:

Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru

при некотором Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru . Но в правой части этой формулы оба множителя отличны от нуля.

Для доказательства теоремы применим тот же приём, что при доказательстве теоремы Лагранжа: введём вспомогательную функцию

Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru

Функция Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru , очевидно, является дифференцируемой при всех Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru и непрерывной в точках Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru и Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru , поскольку этими свойствами обладают функции Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru и Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru . Кроме того, очевидно, что при Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru получается Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru . Покажем, что и Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru :

Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru

Значит, функция Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru удовлетворяет на отрезке Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru условиям теоремы Ролля. Поэтому существует такая точка Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru , что Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru .

Вычислим теперь производную функции Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru :

Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru

Получаем, что

Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru

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

Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru

Замечание 5.4 Можно считать функции Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru и Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru координатами движущейся на плоскости Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru точки, которая описывает линию Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru , соединяющую начальную точку Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru с конечной точкой Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru . (Тогда уравнения Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru и Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru параметрически задают некоторую зависимость Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru , графиком которой служит линия Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru .)

Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru

Рис.5.6.Хорда параллельна некоторой касательной к кривой

Отношение Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru , как нетрудно видеть из чертежа, задаёт тогда угловой коэффициент хорды, соединяющей точки Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru и Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru . В то же время, по формуле производной функции, заданной параметрически, имеем: Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru . Значит, дробь Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru -- это угловой коэффициент касательной к линии Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru в некоторой точке Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru . Тем самым утверждение теоремы означает, с геометрической точки зрения, что на линии Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru найдётся точка, такая что проведённая в этой точке касательная параллельна хорде, соединяющей крайние точки линии. Но это -- то же самое утверждение, которое составляло геометрический смысл теоремы Лагранжа. Только в теореме Лагранжа линия Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru была задана явной зависимостью Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru , а в теореме Коши -- зависимостью, заданной в параметрической форме.

  1. Частные производные и дифференциалы высших порядков для числовой функции нескольких переменных.

Частные производные функции нескольких переменных сами являются функциями этих переменных и могут иметь частные производные. Для исходной функции эти последние производные будут частными производными второго порядка. Так, для функции Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru двух независимых переменных можно определить (предполагается, что все производные существуют) четыре частные производные второго порядка, которые обозначаются символами

Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru , Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru ,

Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru , Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru .

Частные производные Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru и Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru , отличающиеся порядком дифференцирования, называются смешанными частными производными второго порядка.

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

Пример. Найти частные производные второго порядка функции Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru .

Имеем:

Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru , Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru ,,

Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru , Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru , Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru , Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru .

Здесь Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru = Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru . Оказывается, имеет место следующая теорема.

Теорема. Смешанные производные второго порядка равны, если они непрерывны: Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru = Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru .

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

Покажем это на примере:

Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru ,

т.е.

Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru .

Здесь мы дважды пользовались только что отмеченной теоремой: первый раз применительно к функции Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru (мы изменили порядок ее дифференцирования), второй раз использовали равенство Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru = Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru . В общем случае схема рассуждений аналогична.
3.2
Признак полного дифференцирования.
Выясним, при каких условиях выражение Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru , (1)

где Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru и Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru непрерывны и вместе со своими частными производными первого порядка, является полным дифференциалом некоторой функции Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru , или, кратко, полным дифференциалом.

Теорема. Выражение (1) есть полный дифференциал тогда и только тогда, когда выполнено равенство

Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru .
3.3. Дифференциалы высших порядков.
Заметим прежде всего, что для функции нескольких переменных справедливы те же общие правила дифференцирования, что и для функции одной переменной:

I. Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru , Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru .

II. Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru .

III. Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru .

IV. Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru .

Пусть имеется функция Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru независимых переменных xи y, обладающая непрерывными частными производными второго порядка. Рассмотрим ее полный дифференциал

Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru

(dx
и dy – произвольные приращения), который назовем полным дифференциалом первого порядка (или, кратко, первым дифференциалом).

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

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

Найдем выражения для второго дифференциала через частные производные. Пользуясь правилами I, III (dx
и dy
не зависят от x
и y, т.е. рассматриваются как постоянные) и приведенной в п. 3.1 теоремой, можно записать:

Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru (2)
(здесь Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru , Теорема Лопиталя. Раскрытие неопределенностей по правилу Лопиталя - student2.ru ).

Формула (2) обобщается на случай дифференциала п-го порядка.

Наши рекомендации