
Математический анализ - примеры с решением заданий и выполнением задач
Здравствуйте, данная страница содержит полный курс лекций по предмету "Математический анализ". В курс лекций входят все темы по математическому анализу и излагаются они в сокращенном виде. Основные понятия и теоремы, предоставлены с доказательствами, рассматривается большое количество примеров с решением и задач и заданий которые бывают на экзаменах. Лекции по математическому анализу могут быть полезны при изучении всеми специальностями ВУЗов.
Эта страница по математическому анализу состоит из семи глав. В первую главу вошли понятия функции, предела функции, непрерывности, а также дифференциальное исчисление функции одного переменного и его приложения к исследованию функций. Во второй и третьей главах излагаются основы интегрального исчисления. Даются основные приемы интегрирования, а также определенный интеграл и его приложения и несобственный интеграл. Четвертая глава посвящена функциям нескольких переменных: частные производные, дифференциал, производная по направлению, локальный и условный экстремум, метод наименьших квадратов. В пятой главе рассматривается кратный интеграл и его приложения. В шестой главе рассматриваются обыкновенные дифференциальные уравнения первого и второго порядков, дифференциальные уравнения с постоянными коэффициентами и системы дифференциальных уравнений. Седьмая глава посвящена изучению числовых и степенных рядов.
Содержание:
Список обозначений и сокращений
— открытый промежуток или интервал
— замкнутый промежуток или отрезок
— для любого (для любых)
— существует
— для такого, что (для таких, что)
следует
— тогда и только тогда
— принадлежит
— содержится
— объединение
— пересечение
— бесконечность
Дифференциальное исчисление функций одного переменного
Понятие функции, предел функции
Напомним понятия интервала и отрезка на числовой прямой .
Определение 1.1.1. Интервалом называется множество всех действительных чисел, заключенных между данными числами
и
, при этом сами эти числа не принадлежат рассматриваемому множеству чисел.
Определение 1.1.2. Отрезком называется множество всех действительных чисел, заключенных между данными числами
и
, причем оба числа
,
принадлежат рассматриваемому множеству чисел.
Определение 1.1.3. Окрестностью точки
называется произвольный интервал, содержащий эту точку.
Сформулируем определение понятия числовой функции.
Определение 1.1.4. Если каждой точке , принадлежащей некоторому множеству
из
соответствует одно значение
то говорят, что у есть функция от
и обозначают
.
Определение 1.1.5. Функция называется ограниченной на некотором множестве
, если существует константа
такая, что
для любого
.
Предел функции
Пусть функция определена в некоторой окрестности
точки
(за исключением может быть самой точки
).
Определение 1.1.6. Число называется пределом функции
в точке
, если для любого положительного числа
существует положительное число
такое, что для всех
, удовлетворяющих неравенству
следует, что
.
Символически это определение записывается следующим образом: Число называется пределом функции
в точке
, если
Предел функции обозначается
Определение 1.1.7. Число называется пределом функции
в бесконечности
, если
Этот предел обозначается следующим образом
Дадим определения односторонних пределов функции в точке.
Определение 1.1.8. Число называется пределом функции
слева в точке
, если
и обозначается
Определение 1.1.9. Число называется пределом функции
справа в точке
, если
и обозначается
Отметим следующее свойство предела функции.
Теорема 1.1.1. Если существует конечный предел функции в точке
, то функция ограничена в некоторой окрестности точки
.
Доказательство. Пусть . Зафиксируем некоторое
, тогда но определению предела найдется
, для которого
для всех
из
-окрестности точки
. Тогда
в этой окрестности, т.е.
— ограничена.
Теоремы о пределах
Сформулируем теорему об основных свойствах пределов функции в точке и в бесконечности.
Теорема 1.1.2 (Арифметические операции над пределами). Если существуют то существуют
Доказательство. Докажем только первое утверждение теоремы. Остальные доказываются аналогично. Зафиксируем некоторое . Из существования пределов функций
и
в точке
следует выполнение следующих утверждений:
Для этого возьмем
такое, что
, тогда для всех
, удовлетворяющих условию
, будет выполняться
Что и доказывает первое утверждение теоремы.
Пример 1.1.1.
Пример 1.1.2.
Теорема 1.1.3. Если существуют и в некоторой окрестности точки
выполняется
, тo
.
Доказательство. Из неравенства следует, что
. Возьмем произвольное
. Тогда из определения предела функции следует, что для этого
, т.е.
. Аналогично для этого же
, т.е.
. Тогда
, то
или
. Что и доказывает утверждение теоремы.
Теорема 1.1.4. Если существует , в некоторой окрестности точки
, то
.
Теорема 1.1.5. Если существуют и
и
в некоторой окрестности точки
, то
.
Предел числовой последовательности
Определение 1.1.10. Числовой последовательностью называется функция натурального аргумента, т.е. , где
, или если каждому натуральному числу
поставлено в соответствие некоторое действительное число
, то говорят, что задана числовая последовательность
.
Пусть даны две числовые последовательности и
, тогда определены сумма последовательностей —
, разность —
, произведение —
и частное —
. Дадим некоторые определения, касающиеся числовых последовательностей.
Определение 1.1.11. Числовая последовательность называется ограниченной сверху, если
и числовая последовательность
называется ограниченной снизу, если
.
Числовая последовательность называется ограниченной, если она ограничена и сверху и снизу.
Определение 1.1.12. Числовая последовательность называется монотонно возрастающей, если
выполняется
.
Числовая последовательность называется монотонно убывающей, если
выполняется
.
Пример 1.1.3.
Последовательность является ограниченной и монотонно убывающей, так как
.
Пример 1.1.4.
Последовательность является ограниченной последовательностью, но не является монотонной.
Пример 1.1.5.
Последовательность является монотонно возрастающей и ограниченной снизу последовательностью.
Определение 1.1.13. Число называется пределом числовой последовательности
при
, если
, т.е. начиная с некоторого номера
все члены последовательности попадают в
-окрестность
точки
.
Числовая последовательность имеющая предел называется сходящейся.
Теорема 1.1.6. Монотонно возрастающая, ограниченная сверху (или монотонно убывающая, ограниченная снизу) числовая последовательность имеет предел, т.е. она сходится.
Теоремы 1.1.2-1.1.5 верны и для числовых последовательностей.
Пример 1.1.6.
Так как числовая последовательность при
является монотонно убывающей и ограниченной, то она имеет предел. Очевидно, что
.
Пример 1.1.7.
Пример 1.1.8.
Замечательные пределы
1. Докажем первый замечательный предел:
Рассмотрим окружность радиуса 1 с центром в точке . Пусть значение центрального угла
, где
. Построим вспомогательный прямоугольный треугольник
(см. рис.1.1).
Тогда высота в треугольнике
будет равна
, дуга
и сторона
. Очевидно, что
. Найдем значения этих площадей:
Из предыдущего неравенства получим: . Разделим это неравенство почленно на
. Получим
Поскольку , то но теореме 1.1.3 получим, что
Аналогично доказывается более общий случай первого замечательного предела, где вместо стоит произвольная функция, стремящаяся к нулю:
Пример 1.1.9.
Пример 1.1.10.
Пример 1.1.11.
2. Приведем без доказательства второй замечательный предел:
и в более общей форме
Пример 1.1.12.
Пример 1.1.13.
Пример 1.1.14.
Пример 1.1.15.
Приведем второй замечательный предел в логарифмической форме
Сложные проценты
Показательная функция с основанием возникает при выводе количественных законов, которым подчиняются многие естественные процессы: рост народонаселения, рост количества древесины, радиоактивный распад. Рассмотрим формулу сложных процентов
где — сумма, наращенная за
лет,
— начальная сумма,
— процентная такса (прирост суммы в процентах за год). При этом предполагается, что проценты присоединяются в конце года.
Если ввести условие присоединение процентов но отдельным частям года, например, равным доли года, а процентную таксу относить ко всему году, то но истечении каждой его части наращенные суммы соответственно составят:
По прошествии года начальная сумма перейдет в
но прошествии двух лет в
, но прошествии
лет в
Если предположить, что прирост процентов происходит непрерывно, т.е. когда , то величина наращенной суммы будет
Пример 1.1.16.
Найти приблизительное количество населения Земли в 2000 году, предполагая, что в 1900 году население было около 1 миллиарда человек и ежегодный прирост составлял 2%.
Имеем . Тогда
.
Это означает, что в 2000 году население Земли составит около 7 миллиардов человек.
Бесконечно малые. Сравнение бесконечно малых
Определение 1.2.1. Функция называется бесконечно малой при
, если
. То есть
Аналогично, функция называется бесконечно малой при
, если
.
Пример 1.2.1.
Функция бесконечно малая при
, так как
.
Пример 1.2.2.
Функция бесконечно малая при
, так как
.
Докажем следующую теорему о существовании предела функции в точке.
Теорема 1.2.1. Для того, чтобы функция имела предел при
равный
, т.е.
, необходимо и достаточно, чтобы
, где
функция бесконечно малая при
.
Доказательство. 1. Достаточность. Пусть покажем, что
.
Так как и но определению бесконечно малой функции
, тогда и
, а это и означает, что существует
.
2. Необходимость. Наоборот, пусть существует Тогда
.
Обозначим , тогда и
, а это значит, что
— бесконечно малая функция при
и
. Дадим определение бесконечно большой функции.
Определение 1.2.2. Функция называется бесконечно большой при
, если
. То есть
.
Аналогично, функция называется бесконечно большой при
, если
.
Сформулируем теорему о связи бесконечно малой и бесконечно большой функций.
Теорема 1.2.2. Если функция бесконечно малая при
и
, то функция
— бесконечно большая при
и обратно.
Доказательство. Так как при
, то
тогда , отсюда следует, что
. Теорема 1.2.3. Сумма конечного числа бесконечно малых есть функция бесконечно малая при
.
Доказательство. Докажем эту теорему для случая двух функций. Пусть функции при
, покажем, что
.
Зафиксируем некоторое . Тогда для
для
Из этих двух утверждений мы получаем, что для произвольного
Что и доказывает теорему.
Теорема 1.2.4. Произведение любого конечного числа бесконечно малых функций есть функция бесконечно малая при .
Доказательство. Доказательство этой теоремы очевидно.
Теорема 1.2.5. Произведение бесконечно малой функции на функцию
, ограниченную при
, есть функция бесконечно малая при
.
Доказательство. Из ограниченности функции следует, что
.
Возьмем произвольное , тогда из бесконечной малости функции
для
.
Тогда для этого
Отсюда следует, что .
Следствие 1.2.1. Если при
и
, то
.
Теорема 1.2.6. Частное бесконечно малой функции и функции, имеющей предел отличный от нуля при есть функция бесконечно малая.
Сравнение бесконечно малых. Эквивалентность бесконечно малых
Определение 1.2.3. Пусть и
— бесконечно малые при
. Если
то бесконечно малые и
называются бесконечно малыми одного порядка при
.
Пример 1.2.3.
Функции — бесконечно малые одного порядка при
, так как
.
Определение 1.2.4. Если и
— бесконечно малые при
и
то бесконечно малая называется бесконечно малой более высокого порядка, чем
. А
называется бесконечно малой более низкого порядка, чем
при
.
Пример 1.2.4.
Рассмотрим функции при
и
. Тогда
Значит — бесконечно малая более высокого порядка, чем
.
Определение 1.2.5. Бесконечно малая называется бесконечно малой
порядка относительно бесконечно малой
при
, если
и
бесконечно малые одного порядка, т.е. если
Пример 1.2.5.
Рассмотрим функции . Тогда
есть бесконечно малая 3 порядка относительно
при
, так как
Определение 1.2.6. Бесконечно малые и
называются эквивалентными бесконечно малыми
при
, если
Пример 1.2.6.
Пример 1.2.7.
Пример 1.2.8.
при
, так как
Пример 1.2.9.
1 при
, так как
Пример 1.2.10.
при
,
Теорема 1.2.7. Если и
— эквивалентные бесконечно малые при
, то
— бесконечно малая более высокого порядка, чем
и
. И обратно, если
есть бесконечно малая более высокого порядка чем
или
, то
эквивалентно
.
Доказательство. 1. Предположим, что бесконечно малая более высокого порядка, чем
. Тогда
Отсюда легко получить,что , а значит функция
эквивалентна функции
.
2. Обратно. Пусть эквивалентна
. Тогда
т.е. — бесконечно малая более высокого порядка, чем
. Аналогично доказывается и для функции
.
Следствие 1.2.2. Сумма конечного числа бесконечно малых эквивалентна бесконечно малой самого низкого порядка малости из всех слагаемых.
Пример 1.2.11.
при
, так как
— бесконечно малая более низкого порядка, чем
при
.
Пример 1.2.12.
при
, так как
— бесконечно малая более низкого порядка чем
при
.
Пример 1.2.13.
Рассмотрим бесконечно малые при
. Тогда
эквивалентна
, так как
Аналогично доказывается и для бесконечно малой , что
, т.е.
эквивалентна
при
.
Теорема 1.2.8. Если эквивалентна
при
и существует
, то существует и
и выполняется
.
Доказательство. Пусть существует . Так как
, то
Рассмотрим примеры вычисления пределов с помощью эквивалентных бесконечно малых.
Пример 1.2.14.
Так как при
, то
Пример 1.2.15.
так как при
.
Пример 1.2.16.
так как при следующие функции эквивалентны:
Непрерывные функции. Свойства функций, непрерывных на отрезке
Пусть функция определена в окрестности
точки
и
. Для
обозначим
и
. Тогда
Определение 1.3.1. Функция называется непрерывной в точке
, если
Пример 1.3.1.
Покажем, что функция непрерывна в произвольной точке
. Так как
, то получим
. Тогда
отсюда вытекает, что функция непрерывна в произвольной точке области определения.
Определение 1.3.2. Пусть функция определена на множестве
, а функция
определена на множестве
, тогда говорят, что задана сложная функция
.
Предложение 1.3.1. Всякая элементарная функция непрерывна в каждой точке, в которой она определена.
Таким образом функции и т.д. непрерывны в каждой точке области определения.
Теорема 1.3.1. Если функции и
непрерывны в точке
, то функции
непрерывны в точке
.
4. Если функция непрерывна в точке
, а функция
непрерывна в соответствующей точке
, то сложная функция
непрерывна в точке
.
Доказательство. Докажем только первое утверждение теоремы. Пусть функции и
непрерывны в точке
, тогда существуют
и
. По теореме 1.1.2 имеем
Значит функция непрерывна в точке
.
Пример 1.3.2.
Используя эту теорему, а также предложение 3.1 легко показать, что функция непрерывна в каждой точке из области определения.
Определение 1.3.3. Всякая функция непрерывная в каждой точке области называется непрерывной в этой области (непрерывной на этом интервале).
Пример 1.3.3.
Рассмотрим функцию
Она непрерывна на интервале и на интервале
.
Определение 1.3.4. Если существует , то говорят, что функция
непрерывна слева в точке
, если существует
, то говорят, что функция
непрерывна справа в точке
.
Дадим определение функции непрерывной на отрезке.
Определение 1.3.5. Если функция непрерывна на интервале
и непрерывна в точке
справа, а в точке
— слева, то говорят, что она непрерывна на отрезке
.
Предложение 1.3.2. Для того, чтобы функция была непрерывна в точке
необходимо и достаточно, чтобы выполнялось
Без доказательства.
Точки разрыва
Определение 1.3.6. Рассмотрим точку , если
- в точке
функция
не определена или
- не существует
или
или
то говорят, что функция разрывна в точке
.
Рассмотрим следующие примеры функций, разрывных в точке.
Пример 1.3.4.
Функция разрывна в точке
, так как
Пример 1.3.5.
Функция
разрывна в точке , так как
Пример 1.3.6.
Функция разрывна в точке
, так как
, a
.
Определение 1.3.7. Если существуют конечные пределы функции справа и слева в точке
т.е.
и либо
, либо
, но функция
не определена в точке
,
то говорят, что функция имеет в точке
разрыв I рода (конечный разрыв).
В противном случае, т.е. если хотя бы один предел равен бесконечности или не существует, то говорят, что точка — точка разрыва II рода.
В примерах 1.3.4 и 1.3.6 функции имели разрыв II рода, а в примере 1.3.5 функция имела разрыв I рода.
Пример 1.3.7.
Рассмотрим функцию , она не определена в 0, но
поэтому
— точка разрыва I рода.
Свойства функций, непрерывных на отрезке
Дадим без доказательства теоремы о свойствах функций, непрерывных на отрезке.
Теорема 1.3.2. Если функция определена и непрерывна на отрезке
, то она ограничена на нем. То есть
Теорема 1.3.3. Если функция определена и непрерывна на отрезке
, то она достигает своего наибольшего и наименьшего значений на нем. То есть
Теорема 1.3.4. Если функция определена и непрерывна на отрезке
и на концах этого отрезка принимает значения разных знаков, то на интервале
найдется точка, в которой функция равна нулю. То есть пусть
Теорема 1.3.5. Непрерывная на отрезке функция
принимает все промежуточные значения между ее наименьшим и наибольшим значениями на этом отрезке. Пусть
и
— наименьшее и наибольшее значения функции
на отрезке
, тогда
Производная функции
Пусть дана функция. Рассмотрим точки
и
, тогда
Определение 1.4.1. Производной данной функции но аргументу
называется предел отношения приращения функции
к приращению аргумента
, когда последний стремится к нулю, т.е.
Попользуются следующие обозначения для производной функции:
Механический смысл производной
Рассмотрим прямолинейное движение некоторой материальной точки. Пусть в некоторый начальный момент времени расстояние точки от начала отсчета было
. Тогда за время
точка пройдет расстояние
. Средняя скорость движения точки будет
Тогда мгновенная скорость движения точки будет определяться как предел средней скорости движения точки при условии, что приращение времени стремится к нулю:
Таким образом, механический смысл производной заключается в том, что она является мгновенной скоростью любого движения.
Геометрический смысл производной
Рассмотрим график функции (см. рис. 1.2.). На этом графике возьмем две точки
, где
и
. Проведем секущую
через точки
и
. Если при неограниченном приближении точки
к точке
с любой стороны секущая стремится занять положение определенной прямой
, то прямая
называется касательной к кривой в точке
. Обозначим угол наклона с положительным направлением оси
касательной через
, а секущей через
. Устремим точку
но кривой к точке
, тогда секущая
устремится к касательной
, а угол
к углу
.
Очевидно, что . Тогда но определению производной получим
Другими словами, значение производной при данном значении
равно тангенсу угла, образованного с положительным направлением оси
касательной к графику функции
в соответствующей точке
.
Дифференцируемость функций
Определение 1.4.2. Если функция имеет производную в точке
, то будем говорить, что при
функция дифференцируема.
Определение 1.4.3. Если существует, , то он называется левой производной функции
в точке
. Если существует
, то он называется правой производной функции
в точке
.
Определение 1.4.4. Если функция дифференцируема в каждой точке интервала
, то она называется дифференцируемой на этом интервале.
Если функция дифференцируема на интервале
и дифференцируема справа в точке
и слева в точке
, то она называется дифференцируемой на отрезке
.
Теорема 1.4.1. Если функция дифференцируема в точке
, то она непрерывна в этой точке.
Доказательство. По определению производной
Тогда но теореме 1.2.1 будем иметь , где
при
Отсюда Найдем
Таким образом мы получили, что функция непрерывна в точке
. Обратное неверно, т.е. из непрерывности функции в точке
не следует ее дифференцируемость в этой точке. Приведем пример подтверждающий это.
Пример 1.4.1.
Рассмотрим функцию в точке
. Тогда
Легко найти, что
Значит у данной функции не существует производной в точке
, хотя она непрерывна в этой точке.
Теорема 1.4.2. Необходимым и достаточным условием дифференцируемости функции в точке
является существование пределов:
Производные элементарных функций
Пример 1.4.2.
Покажем, что производная функции равна
. Найдем
Тогда
Пример 1.4.3.
Аналогично предыдущему примеру легко получить, что производная функции равна
Пример 1.4.4.
Покажем, что производная функции равна
. Поскольку
Тогда
Таблица производных основных элементарных функций
Производная постоянной, суммы, произведения и частного функций
Теорема 1.4.3. Производная константы равна нулю.
Доказательство. Пусть функция , тогда
. Поэтому
Теорема 1.4.4. Постоянный множитель можно выносить за знак производной, т.е. если функция , то
.
Доказательство. Для этой функции Поэтому
Теорема 1.4.5. Производная суммы конечного числа дифференцируемых функций равна сумме производных этих функций.
Доказательство. Рассмотрим случай суммы двух функций. Пусть функция .
. Найдем
Пример 1.4.5.
Пусть функция
тогда
Теорема 1.4.6. Производная произведения двух функций равна сумме производной первой функции на вторую функцию и производной второй функцию на первую, т.е. если
то
Доказательство. Для функции найдем
Тогда
Теорема 1.4.7. Производная частного двух функций равна дроби, у которой знаменатель есть квадрат второй функции, а числитель есть разность между произведением производной числителя на знаменатель и произведением числителя на производную знаменателя, т.е. если
то
Эта теорема доказывается аналогично предыдущей.
Пример 1.4.6.
Найдем производную функции
По теореме 1.2.1 получим
Производная сложной функции
Пусть дана сложная функция:
где
.
Теорема 1.4.8. Производная сложной функции равна произведению производной данной функции но промежуточному аргументу на производную этого промежуточного аргумента но переменному , т.е. если функция
имеет производную
в точке
, а функция
имеет производную
при соответствующем значении
, то сложная функция
имеет в точке
производную, которая равна
Доказательство. Рассмотрим сложную функцию . Тогда
,
. Так как функции
и
имеют производную в точках х и и, соответственно, то
и
непрерывные функции и поэтому, если
, то и
,
. Поскольку
то но теореме 1.2.1 имеем
где при
, а значит и при
. Так как
, то
Отсюда легко получить, что
Пример 1.4.7.
Рассмотрим функцию . Обозначим
, а
. Тогда
, отсюда следует, что
Пример 1.4.8.
Рассмотрим функцию
Не будем как в предыдущем примере вводить промежуточные функции, вычислим производную этой функции сразу, используя правило дифференцирования сложной функции и теоремы об арифметических операциях над производной. Тогда получим, что
Производная неявной функции
Неявные функции задаются уравнением . Примером неявной функции может служить уравнение
.
Рассмотрим правило дифференцирования неявной функции: дифференцируем обе части уравнения, считая функцией от
, пользуясь правилом дифференцирования сложной функции. Получим уравнение, из которого можно выразить
Пример 1.4.9.
Рассмотрим неявную функцию . Продифференцируем обе части этого уравнения, считая у функцией от
, получим
Пример 1.4.10.
Найдем производную показательной функции. Пусть , тогда
. Возьмем производную от обеих частей
, получим
или
Логарифмическая производная
Рассмотрим показательно-степенную функцию
Теорема 1.4.9. Если , где
, то
Доказательство. Прологарифмируем обе части функции , получим
Возьмем производную от обеих частей
тогда
Пример 1.4.11.
Рассмотрим функцию , прологарифмируем ее и возьмем производную от обеих частей, получим
Тогда
Производная обратной функции
Рассмотрим строго возрастающую (строго убывающую) функцию на отрезке
. Пусть
Если
, то для строго возрастающей функции будет выполняться
, а для строго убывающей—
. Другими словами различным значениям аргумента
соответствуют различные значения функции
. Это означает, что можно задать функцию
, которая называется обратной к функции
.
Теорема 1.4.10. Если строго возрастающая или убывающая функция непрерывна на отрезке
, то определена и непрерывна на отрезке
, где
, обратная функция
.
Без доказательства.
Докажем теорему о производной обратной функции.
Теорема 1.4.11. Если для функции существует обратная функция
, которая в точке у имеет производную
, то функция
имеет производную равную
в соответствующей точке .
Доказательство. Рассмотрим приращение и соответствующее ему приращение функции
. Тогда
Отсюда получим
Пример 1.4.12.
Найдем производную функции . Так как обратной функцией для
является
и
, то
Пример 1.4.13.
Аналогично получим производную функции . Имеем
Тогда,
Производная функции, заданной параметрически
Рассмотрим функцию, заданную параметрически
Пусть функции и
имеют производные и, кроме того, функция
имеет обратную
, которая также имеет производную. Тогда, определенную параметрическим уравнением (1.1), функцию
можно рассматривать как сложную функцию:
— промежуточный аргумент. Тогда но правилу дифференцирования сложной функции имеем:
Поскольку но теореме о производной обратной функции выполняется
То мы получим
Пример 1.4.14.
Рассмотрим параметрическую функцию
Поскольку то
Дифференциал
Пусть функция — дифференцируема на отрезке
. Тогда для
существует
Теорема 1.5.1. Для того, чтобы функция была дифференцируема в точке
, необходимо и достаточно, чтобы
, где
при фиксированном
и
при
.
Доказательство. Необходимость. Пусть существует , тогда но теореме 1.2.1
где
при
. Тогда
где
при фиксированном
.
Достаточность. Пусть , покажем, что функция
имеет производную в фиксированной точке
. Найдем
так как при
. Таким образом функция
дифференцируема в точке
.
Что вносит основной вклад в приращение функции ? Рассмотрим первое слагаемое в
. В общем случае почти всегда
Поэтому
то есть
есть бесконечно малая 1 порядка но сравнению с
.
Рассмотрим второе слагаемое. Так как то поэтому
есть величина более высокого порядка малости но сравнению с
. Следовательно при фиксированном
и
, основной вклад в
вносит первый член
.
Определение 1.5.1. Выражение , называемое главной линейной частью приращения функции
, и называют дифференциалом функции
и обозначают
Пример 1.5.1.
Пусть , тогда
и следовательно
. Поэтому
, если
— независимое переменное. Отсюда получаем выражение для дифференциала функции
Тогда то есть производная
есть отношение дифференциала функции к дифференциалу независимого переменного.
Рассмотрим примеры вычисления дифференциала функции.
Пример 1.5.2.
Пусть , тогда
Пример 1.5.3.
Пусть , тогда
Свойства дифференциала
Поскольку дифференциал функции это производная функции умноженная на дифференциал независимого переменного, то все свойства производной переносятся и на дифференциал. Поэтому справедлива следующая теорема.
Теорема 1.5.2. Пусть и
— дифференцируемые функции, тогда
Доказательство. Докажем второе утверждение теоремы. Поскольку , то
так как
Пример 1.5.4.
Пусть , тогда
.
Пример 1.5.5.
Рассмотрим функцию , тогда
Дифференциал сложной функции
Рассмотрим сложную функцию то есть
Тогда но определению дифференциала имеем
Но поскольку производная сложной функции равна . Используя равенство
получим
Таким образом, форма дифференциала не зависит от того, является ли аргумент независимой переменной или функцией другого аргумента. Это свойство дифференциала называется инвариантностью формы 1 дифференциала.
Геометрический смысл дифференциала
Рассмотрим функцию и ее график. Проведем в точке
касательную к этой кривой. Возьмем на графике точку
, тогда
(см.рис. 1.3). Поскольку
то
Таким образом, мы получили
Определение 1.5.2. Дифференциал функции , соответствующий данным значениям точки
и приращения
, равен приращению ординаты касательной к кривой
в точке
.
Применение дифференциала в приближенных вычислениях
Рассмотрим приращение функции . Пусть
. Тогда
Поэтому эквивалентные бесконечно малые при
. Так как
, то
при достаточно малых . Это и есть формула приближенного вычисления значения функции.
Пример 1.5.6.
Пусть , найти приближенно значение
.
Возьмем , тогда
, поэтому
По формуле приближенного вычисления имеем
Поэтому мы получим
Пример 1.5.7.
Найти приближенно значение Рассмотрим функцию
тогда
и
Возьмем , тогда
. Поэтому
Производные и дифференциалы высших порядков
Пусть функция дифференцируема на интервале
. Значения
зависят от
, то есть производная
есть опять функция от
. Поэтому ее также можно дифференцировать.
Определение 1.6.1. Производная от первой производной функции называется производной второго порядка или второй производной, то есть
.
Обозначения второй производной:
Пример 1.6.1.
Пусть , тогда
.
Определение 1.6.2. Производной порядка от функции
называется производная от производной
порядка и обозначается
Пример 1.6.2.
Пусть , тогда
Теорема 1.6.1. Пусть и
—
раз дифференцируемые функции, тогда
1. ,
2. (.формула Лейбница).
Доказательство. Докажем второе утверждение теоремы но индукции. Пусть , тогда
. Пусть утверждение теоремы выполняется для производной
порядка, докажем, что оно верно и для порядка
. Найдем
Таким образом утверждение теоремы верно.
Пусть дифференцируемая функция, тогда
, где
не зависит от
.
Определение 1.6.3. Дифференциал от первого дифференциала функции называют вторым дифференциалом этой функции и обозначают
Найдем выражение для второго дифференциала функции.
Аналогично можно дать определение дифференциала функции. Тогда
Пример 1.6.3.
Пусть . Найдем второй дифференциал
этой функции. Поскольку
тогда
Неинвариантность формы второго дифференциала
Дифференциал функции второго и более высокого порядков свойством инвариантности не обладает. Покажем это. Пусть дана сложная функция , то есть
. Второй дифференциал функции
как функции независимого переменного
есть
Найдем второй дифференциал этой же функции как функции зависимого переменного . Поскольку
и
— зависит от
, то
где .
Таким образом, мы видим, что форма или вид второго дифференциала сложной функции не обладает свойством инвариантности.
Высшие производные неявной и параметрической функций
Правило. Чтобы найти вторую производную неявной функции, нужно выражение для первой производной еще раз продифференцировать но , считая
и
функциями от
и выразить из него
.
Пример 1.6.4.
Найдем вторую производную функции . Возьмем первую производную, получим
Тогда
Рассмотрим функцию, заданную параметрически:
Поскольку , то мы можем рассмотреть новую параметрическую функцию
Тогда но правилу дифференцирования параметрической функции, получим
Отсюда получаются формулы для нахождения второй производной параметрической функции:
или
Приложение дифференциального исчисления
Теоремы о среднем
Теорема 1.7.1 (Ролля). Если функция непрерывна на отрезке
, дифференцируема на интервале
и
, то существует точка
такая, что
.
Доказательство. Так как функция непрерывна на отрезке
, то но теореме 1.3.3 она достигает на этом отрезке своего наибольшего
и наименьшего
значений.
- Если
, то
, тогда
для любого
. И поэтому теорема доказана.
- Пусть
. Поскольку
, то одно из значений
или
достигается внутри отрезка
, то есть на интервале. Будем считать, что это значение
. Пусть точка
такая, что
. Поскольку теперь
это наибольшее значение, то
для любых
Тогда
Так как функция дифференцируема на интервале
, то существуют
при
и
при
Отсюда следует, что .
Замечание 1.7.1. Геометрический смысл этой теоремы заключается в том, что существует точка на графике функции, в которой касательная параллельна оси
. Причем
не обязательно равное 0 (см.рис. 1.4).
Теорема 1.7.2 (Лагранжа). Если функция непрерывна на отрезке
и дифференцируема на интервале
, то существует точка
такая, что
Геометрический смысл теоремы (см. рис. 1.5.).
Величина есть тангенс угла наклона хорды, соединяющей точки
и
на графике функции
. А
есть тангенс угла наклона касательной к графику функции в точке
. Поскольку но теореме
, то это значит, что найдется точка с такая, что касательная в точке
параллельна хорде, проходящей через точки
,
.
Доказательство. Введем функцию , которая равна разности значений функции в точке
и соответствующего значения на хорде. Очевидно, что эта функция непрерывна на отрезке
и дифференцируема на интервале
. Причем
Поэтому функция удовлетворяет условиям теоремы Ролля на отрезке
. Следовательно существует точка
такая, что
. Поскольку
, то
или
И теорема доказана.
Теорема 1.7.3 (Коши). Если функции и
непрерывны на отрезке
и дифференцируемы на интервале
, причем
при
, то найдется точка
такая, что
Без доказательства.
Правило Лопиталя
Теорема 1.7.4 (Неопределенность ) Пусть функции
и
непрерывны на отрезке
и дифференцируемы на интервале
и пусть
для любого
, тогда если существует предел
то существует и предел
Доказательство. Возьмем . Применим теорему Коши к функциям
и
на отрезке
. Получим, что существует точка
такая, что
Но поэтому
Поскольку при точка
и существует
то существует и
. Тогда получим
И теорема доказана.
Замечание 1.7.2. Точка может быть равна и бесконечности
.
Замечание 1.7.3. Если и производные
и
удовлетворяют условиям теоремы, наложенным на функции
и
,
то применяя правило Лопиталя к отношению , приходим к формуле
И т. д.
Пример 1.7.1.
Рассмотрим
Теорема 1.7.5 (Неопределенность ) Пусть функции
и
непрерывны и дифференцируемы при всех
в окрестности точки
, причем
и пусть
и существует
тогда существует
Без доказательства.
Пример 1.7.2.
Вычислим
Пример 1.7.3.
Найдем
К предыдущим случаям сводятся неопределенности вида:
1). , 2).
, 3).
, 4).
, 5).
.
1. Рассмотрим неопределенность вида , тогда
По правилу Лопиталя получим
2. Рассмотрим неопределенность вида , тогда
Прологарифмируем функцию , имеющую неопределенность указанного вида
, получим функцию
, имеющую неопределенность вида
. Тогда
Отсюда
3. Рассмотрим неопределенность вида , тогда
Прологарифмируем функцию , имеющую неопределенность указанного вида
, получим функцию
, имеющую неопределенность вида
. Тогда
Отсюда
4. Рассмотрим неопределенность вида , тогда
Прологарифмируем функцию , имеющую неопределенность указанного вида
получим функцию
, имеющую неопределенность вида
. Тогда
Отсюда
5. Рассмотрим неопределенность вида , тогда
Будем считать, что . Используя правило Лопиталя, получим
Пример 1.7.4.
Вычислим . Прологарифмируем эту функцию получим
. Тогда
Отсюда
Формула Тейлора
Формула Тейлора позволяет решать проблему приближенного вычисления значения функции, путем замены самой функции более простой функцией, в некотором смысле близкой к данной функции. В случае формулы Тейлора этой вспомогательной функцией является многочлен.
Пусть функция раз дифференцируема. Найдем многочлен
степени не выше
, значение которого в некоторой точке
равны значению функции
, и все производные до порядка
функции
и многочлена
в точке
также совпадают:
Будем искать многочлен в виде
но степеням .
Определим коэффициенты в (1.3) так, чтобы выполнялись условия (1.2). Найдем производные многочлена :
Используя условия (1.2) и подставляя в (1.4) , получим
Отсюда следует, что
Подставляя (1.5) в (1.3), получим выражение для многочлена :
Определение 1.8.1. Многочлен
называется многочленом Тейлора функции в точке
.
Обозначим , тогда
Определение 1.8.2. — называется остаточным членом между функцией
и ее многочленом Тейлора
.
Если — достаточно мал, то многочлен
приближает функцию
(достаточно близок к ней). Оценим остаток
.
Теорема 1.8.1 (Формула Тейлора). Пусть функция раз дифференцируема в некоторой окрестности
точки
и пусть
, тогда найдется точка
такая, что
, где
(Остаточный член в форме Лагранжа.)
Доказательство. Чтобы доказать формулу Тейлора, надо найти такую точку , чтобы выполнялось условие (1.7). Зафиксируем точку
. Запишем остаточный член в виде
и найдем функцию .
Введем вспомогательную функцию
,
где — фиксированное, a
или
Функция — дифференцируема пo
на интервале
, так как
— дифференцируема
раз и тогда каждый член в (1.8) имеет хотя бы одну производную. Найдем
Видно, что все слагаемые кроме двух последних сокращаются.
Покажем, что функция удовлетворяет условиям теоремы Ролля на отрезке
. Действительно,
в силу (1.2),
в виду (1.6).
Тогда но теореме Ролля, существует точка такая, что
, то есть
поэтому
Используя это, мы получим остаточный член в форме Лагранжа:
И теорема доказана.
Запишем остаточный член в форме Лагранжа в другом виде. Пусть точка , где
, тогда получим
Остаточный член также можно получить и в форме Коши:
Определение 1.8.3. Формулой Тейлора функции в точке
называется формула
При получаем формулу Лагранжа.
Определение 1.8.4. Если в формуле Тейлора , то получаем формулу Маклорена для функции
:
Разложение функций но формуле Маклорена
1. Найдем разложение но формуле Маклорена для функции
Поскольку и
, то
Поэтому формула Маклорена для функции имеет вид:
При но этой формуле можно приближенно вычислять значение числа
.
Покажем, что в формуле (1.9) остаток при
для любого числа
. Зафиксируем некоторое
. В остатке
при фиксированном
сомножитель
Поэтому осталось показать, что
при
.
Пусть , где
некоторое натуральное число. Обозначим
, тогда
Оценим
Поэтому
так как 0 < q < 1.
Следовательно, функцию можно приближать многочленом
с любой степенью точности для любого
.
2. Пусть и
. Тогда
следовательно
Используя это, можно написать разложение Маклорена для функции :
Так как , то, аналогично предыдущему, легко показать, что для функции
выполняется
для любого
.
Пример 1.8.1.
Найдем приближенно значение с точностью
. Возьмем
, тогда
Оценим ошибку
3. Аналогично предыдущему пункту напишем формулу Маклорена для функции , получим
И также мы получаем, что для любого
.
4. Напишем формулу Маклорена для функции при
:
Для легко получить, что остаток
и поэтому он стремиться к
при
.
5. Напишем формулу Маклорена для функции , где
— действительное число:
При получим формулу бинома Ньютона:
Очевидно, что в этой формуле при стоит биномиальный коэффициент
Можно написать и более общий вид предыдущей формулы: (а + х)п = a" (l + " =
Возрастание и убывание функций. Экстремумы функций
Напомним определение возрастающей и убывающей функции на отрезке:
функция возрастает (убывает) на отрезке
, если для любых
таких, что
выполняется
Теорема 1.9.1. 1. (Необходимость) Если функция дифференцируема на отрезке
и возрастает на нем, то
для любого
.
2. (Достаточность) Если функция непрерывна на отрезке
и дифференцируема на интервале
и
при
, то функция
возрастает на отрезке
].
Доказательство. 1. Пусть возрастает на отрезке
, докажем, что
на нем.
Рассмотрим выражение
Так как функция возрастает, то
и, следовательно,
Тогда но теореме 1.4
2. Пусть для любого
, докажем, что функция
возрастает.
Возьмем произвольные такие, что
. К функции
применим теорему Лагранжа на отрезке
. Получим, что существует точка
такая, что выполняется
Так как но условию , то
и поэтому функция возрастает на отрезке
.
Сформулируем аналогичную теорему для убывающей функции
Теорема 1.9.2. 1. (Необходимость) Если функция дифференцируема на отрезке
и убывает на нем, то
для любого
.
2.(Достаточность) Если функция непрерывна на отрезке
и дифференцируема на интервале
и
при
, то функция
убывает на отрезке
.
Максимум и минимум функций
Определение 1.9.1. Функция в точке
имеет максимум (max), т.е.
, если для любых достаточно малых
выполняется
Функция в точке
имеет минимум (min,), т.е.
, если для любых достаточно малых
выполняется
Замечание 1.9.1. Максимумы и минимумы не обязательно наибольшее и наименьшее значения функции на отрезке. Максимумы и минимумы определяются в достаточно малой окрестности точки.
Определение 1.9.2. Максимумы и минимумы функции называются экстремумами или экстремальными значениями функции.
Теорема 1.9.3 (Необходимое условие существования экстремума). Если дифференцируемая функция имеет в точке
— максимум или минимум, то производная в этой точке обращается в ноль, т.е.
Доказательство. Пусть в точке у функции
будет максимум, тогда для достаточно малых
, имеем
или
Поэтому при будет
при
Отсюда но теореме 1.4, получим
и
Поэтому
Аналогично теорема доказывается и для минимума функции.
Замечание 1.9.2. Обратное неверно. Если , то отсюда не следует, что
— экстремальная точка.
Пример 1.9.1.
Рассмотрим функцию . В точке
производная этой функции
, но эта точка не является экстремальной для этой функции.
Замечание 1.9.3. Экстремум функции может существовать и в тех точках, в которых производная этой функции не существует.
Пример 1.9.2.
Примером такой функции может служить функция , которая имеет минимум в точке
, но не дифференцируема в этой точке.
Определение 1.9.3. Точки, в которых производная функции обращается в ноль или не существует, называются критическими точками функции.
Теорема 1.9.4 (Достаточное условие существования экстремума). Пусть функция непрерывна на интервале
и
— критическая точка и пусть
дифференцируема во всех точках этого интервала за исключением быть может точки
. Если при переходе через точку
слева направо производная меняет знак с
на
то
— точка максимума (max), если меняет знак с
на
, то точка
— точка минимума (min).
Доказательство. Пусть меняет знак с плюса на минус при переходе через точку
. Покажем, что в этой точке у функции будет максимум. Имеем
Применим теорему Лагранжа на отрезке . Получим
где
.
Пусть , тогда
и значит
Пусть
и значит
Отсюда но определению — точка максимума.
Аналогично доказывается и для точки минимума.
Схема исследования функции на экстремум, возрастание и убывание.
- Находим
.
- Находим критические точки:
или
не существует.
- Определяем интервала знакопостоянства
и экстремальные точки.
- Вычисляем значения
в экстремальных точках.
Пример 1.9.3.
Рассмотрим функцию .
1. Найдем .
2. Найдем критические точки:
3. Заполним таблицу:
4. Найдем экстремальные значения функции
Исследование функции на экстремум с помощью второй производной
Сформулируем теорему, которая позволяет исследовать функцию на экстремум с помощью второй производной.
Теорема 1.9.5. Пусть функция дважды непрерывно дифференцируема в окрестности точки
. Если
то при
функция имеет max, если
и функция имеет min, если
Доказательство. Докажем первую часть теоремы.
Пусть и
. Поскольку функция
непрерывна в окрестности точки
, то найдется достаточно малый интервал
, содержащий точку
, в котором
. Но тогда функция
убывает на интервале
. Поскольку
, то при
, а при
. Это означает, что первая производная меняет знак с плюса на минус при переходе через точку
. Поэтому у функции
в точке
максимум.
Аналогично теорема доказывается и для точки минимума.
Нахождение наибольшего и наименьшего значений функции на отрезке
Непрерывная на отрезке функция достигает своего наибольшего и наименьшего значений, поэтому рассмотрим схему нахождения этих значений.
Пусть функция непрерывна на отрезке
.
- Находим все критические точки
, принадлежащие отрезку
.
- Находим значение функции
в этих точках.
- Находим
и
.
- Находим наибольшее и наименьшее среди всех найденных значений.
Пример 1.9.4.
Найти наибольшее и наименьшее значения функции на отрезке
.
1. Найдем критические точки:
или
тогда
Из этих критических точек отрезку принадлежат точки
и
.
2.
3.
4.
Выпуклость, вогнутость кривой, точки перегиба
Рассмотрим кривую , являющуюся графиком дифференцируемой функции
.
Определение 1.10.1. Говорят, что кривая обращена выпуклостью вверх, на интервале , если все точки кривой лежат ниже любой ее касательной на этом интервале.
Говорят, что кривая обращена выпуклостью вниз, на интервале , если все точки кривой лежат выше любой ее касательной на этом интервале.
Кривую, обращенную выпуклостью вверх будем называть выпуклой, а обращенную выпуклостью вниз — вогнутой.
Теорема 1.10.1 (Достаточное условие). Если на интервале вторая производная функции
отрицательна, т.е.
, то кривая
выпукла на этом интервале, т.е. обращена выпуклостью вверх.
Доказательство. Пусть точка . Проведем касательную к кривой
в точке
. Надо показать, что все точки кривой лежат ниже этой касательной, т.е. что ордината любой точки кривой
меньше ордината
касательной при одном и том же значение
(см.рис. 1.6).
Напишем уравнение касательной к кривой в точке
:
или
.
Вычтем из уравнения кривой почленно уравнение касательной, получим
Применим теорему Лагранжа к функции на отрезке
, получим
где или
К первой производной опять применим теорему Лагранжа на отрезке
, получим
где .
Пусть , тогда
, поэтому
и
. Поскольку но условию теоремы
, то в (1.10) получим
или
.
Пусть теперь , тогда
, поэтому теперь
и
. Поскольку, по-прежнему,
, то в (1.10) опять получим
или
.
Таким образом, мы получили, что ордината любой точки кривой меньше ординаты
касательной при одном и том же
. А значит касательная лежит выше кривой и она выпукла вверх.
Теорема 1.10.2. Если на интервале вторая производная функции
положительна, т.е.
, то кривая
вогнута на этом интервале.
Точки перегиба
Определение 1.10.2. Точка называется точкой перегиба кривой
, если существует окрестность точки
, в которой точка
отделяет выпуклую часть кривой от вогнутой.
Замечание 1.10.1. Заметим, что в точке перегиба касательная пересекает кривую.
Теорема 1.10.3 (Необходимое условие существования точки перегиба). Пусть функция дважды непрерывно дифференцируема в окрестности точки с и график функции
имеет перегиб в точке
, тогда
.
Доказательство. Предположим, что и пусть для определенности
. Тогда, в силу непрерывности функции
, найдется достаточно малая окрестность точки
, в которой
. Поэтому но теореме 10.1, кривая
будет выпукла на этом интервале, что противоречит условию теоремы. Аналогично теорема доказывается в случае, если
.
Теорема 1.10.4 (Достаточное условие существования точки перегиба). Пусть кривая определяется уравнением . Если
или не существует и при переходе через значение
вторая производная
меняет знак, то точка
— точка перегиба.
Доказательство очевидно.
Асимптоты кривой. Полное исследование функции
Определение 1.11.1. Прямая называется асимптотой кривой
, если расстояние
от переменной точки
кривой до этой прямой
, при удалении точки
но кривой в бесконечность, стремиться к нулю.
Вертикальные асимптоты
Предложение 1.11.1. Пусть вертикальная асимптота кривой
. Тогда либо
, либо
, либо
, и обратно, если выполняется одно из написанных равенств, то
вертикальная асимптота.
Пример 1.11.1.
Найти вертикальные асимптоты функции Найдем
Поэтому — вертикальная асимптота.
Наклонные асимптоты
Будем считать в дальнейшем, что , аналогичные утверждения справедливы и для
.
Лемма 1.11.1. Для того, чтобы прямая была наклонной асимптотой к графику функции
, необходимо и достаточно чтобы
где
при
.
Доказательство. Пусть наклонная асимптота к графику функции
(см.рис. 1.7).
Пусть — произвольная точка кривой,
— расстояние до асимптоты. Тогда но условию теоремы
нo
, где
и поэтому
Но поскольку , то
Тогда но теореме 1.2.1
где
при
.
Наоборот, пусть , где
при
. Тогда
Но поскольку , поэтому
Следовательно, прямая — асимптота к графику кривой
.
Теорема 1.11.1. Для того, чтобы график функции при
имел наклонную асимптоту
, необходимо и достаточно, чтобы существовали пределы
Доказательство. Необходимость. Пусть график функции имеет при
наклонную асимптоту
. Тогда но лемме 10.1 для функции
справедливо представление
, где
при
. Используя это представление, легко получить, что
Достаточность. Пусть существуют пределы
Из второго предела но теореме 1.2.1 следует, что
где
при
.
Поэтому и но лемме 10.1 отсюда следует, что прямая
— наклонная асимптота к графику функции
.
Полное исследование функции
Схема исследования функции:
- Найти область определения функции.
- Найти область изменения функции (по возможности).
- Найти нули функции.
- Определить четность, нечетность функции.
- Определить периодичность функции.
- Исследовать на непрерывность и точки разрыва.
- Исследовать на возрастание, убывание и точки экстремума.
- Исследовать на выпуклость, вогнутость и точки перегиба.
- Найти вертикальные и наклонные асимптоты.
- Нарисовать график функции.
Пример 1.11.2.
Провести полное исследование и нарисовать график функции
1. Область определения: .
2. Область изменения: .
3. при
.
4. Функция ни четная, ни нечетная, так как
5. Функция не периодическая.
6. Функция непрерывна при как частное двух элементарных функций. Рассмотрим точку
.
поэтому — точка разрыва II рода.
7. Найдем первую производную данной функции
Найдем критические точки
— не существует
.
Заполним таблицу
Найдем минимальное значение функции
8. Найдем вторую производную данной функции
Найдем критические точки
— не существует
Заполним таблицу
Найдем значение функции в точке перегиба
9. Поскольку — точка разрыва второго рода с бесконечными пределами, то прямая
— вертикальная асимптота. Найдем наклонные асимптоты этой кривой
Поэтому — горизонтальная асимптота данной кривой.
4 + х
10. Нарисуем график кривой
Пример 1.11.3.
Исследовать функцию и построить ее график.
1. Область определения .
2. Область изменения .
3. Функция в ноль не обращается.
4. Функция четная, так как
.
5. Функция не периодическая.
6. Функция непрерывна при как сложная функция элементарных функций.
Рассмотрим точку
Поэтому — точка разрыва II рода.
Теперь рассмотрим точку
Поэтому — точка разрыва II рода.
7. Найдем первую производную этой функции
Найдем критический точки, где производная равна нулю или не существует:
Заполним таблицу
Найдем максимальное значение функции
8. Найдем вторую производную данной функции
Найдем критические точки второй производной
Заполним таблицу
Найдем значение функции в точках перегиба
9. Поскольку и
— точки разрыва второго рода с бесконечным разрывом, то прямые
— вертикальные асимптоты данной кривой.
Найдем наклонные асимптоты этой кривой
Поэтому прямая — горизонтальная асимптота функции.
10. Построим график этой функции
Неопределенный интеграл
Первообразная, ее свойства
Определение 2.1.1. Функция называется первообразной от функции
на интервале
(отрезке
), если для любого
выполняется равенство
.
Пусть - первообразная функции
, тогда
.
Теорема 2.1.1. Любые две первообразные и
функции
отличаются друг от друга на константу, т.е.
Доказательство. Для любого имеем
и
.
Обозначим функцию . Тогда
. Поскольку на отрезке
функция
удовлетворяет теореме Лагранжа, поэтому для любого
выполняется
,
где Так как
, то
, поэтому
или
.
Неопределенный интеграл
Определение 2.1.2. Если функция является первообразной для функции
, то выражение
, где
— произвольная константа, называется неопределенным интегралом от функции
и обозначается
, т.е.
Здесь символ — знак интеграла;
— подынтегральная функция;
— подынтегральное выражение.
Неопределенный интеграл существует не для всех функций, но есть класс функций, который можно интегрировать всегда — это непрерывные функции.
Теорема 2.1.2. Если функция непрерывна на отрезке
, то для нее существует на этом отрезке первообразная, а значит неопределенный интеграл.
Рассмотрим элементарные свойства неопределенного интеграла.
Теорема 2.1.3. (Элементарные свойства неопределенного интеграла)
Доказательство. Самостоятельно.
Поскольку для сложной функции выполняется свойство инвариантности формы первого дифференциала
, то таблицу неопределенных интегралов мы запишем в более общем виде, когда аргументом функции
будет являться функция
, которая, в частности, может быть равна
.
Таблица неопределенных интегралов
Свойства неопределенного интеграла
Теорема 2.1.4. Справедливы следующие соотношения:
где .
Доказательство. Докажем первое и третье утверждения. Второе доказывается аналогично. По первому элементарному свойству имеем
Поскольку равны правые части этих выражений, то равны и левые. Значит, первое утверждение верно.
Докажем третье утверждение
И теорема доказана.
Рассмотрим вычисление некоторых интегралов.
Пример 2.1.1.
Пример 2.1.2.
Пример 2.1.3.
Метод непосредственного интегрирования
Рассмотрим метод непосредственного интегрирования или метод внесения функции под знак дифференциала. Будем использовать определение дифференциала функции . Тогда
Покажем использование этого приема на примерах.
Пример 2.1.4.
Пример 2.1.5.
Пример 2.1.6.
Замена переменной в неопределенном интеграле
1. Рассмотрим первый тип замены в неопределенном интеграле. Пусть дан интеграл и мы хотим сделать в этом интеграле замену
, где функция
непрерывно дифференцируема и имеет обратную функцию
. Тогда
Докажем, что это равенство верно. Действительно,
аналогично
Поскольку правые части равны, то равны и левые.
Пример 2.1.7.
Пример 2.1.8.
2. Второй тип замены в неопределенном интеграле — это, по сути, метод непосредственного интегрирования, рассмотренный выше. А именно:
Пример 2.1.9.
Пример 2.1.10.
Пример 2.1.11.
Интегрирование по частям
Пусть и
— непрерывно дифференцируемые функции. Тогда дифференциал произведения этих функций равен
Проинтегрировав это равенство, получим
или
Последнее равенство есть формула интегрирования по частям. Она применяется, если интеграл в правой части является либо табличным, либо вычисляется проще интеграла в левой части.
Рассмотрим основные типы неопределенных интегралов, которые вычисляются по частям. Отметим, что есть еще и другие интегралы, которые берутся по частям.
Обозначим
многочлен степени .
Далее интегрируем по частям еще раз.
Далее интегрируем по частям еще раз.
Далее интегрируем по частям еще раз.
Далее интеграл в правой части еще раз берется по частям, и мы приходим к исходному интегралу. Перенося его в левую часть, решаем уравнение относительно этого интеграла.
Далее поступаем как в предыдущем примере.
Рассмотрим некоторые примеры вычисления интегралов по частям.
Пример 2.1.12.
Пример 2.1.13.
Пример 2.1.14.
Теперь перенесем интеграл из правой части равенства в левую, получим
Или, окончательно,
Рассмотрим пример, который не относится к приведенным выше типам интегралов.
Пример 2.1.15.
Интегрирование рациональных функций
Определение 2.2.1. Функция вида , где
и
— многочлены степени
и
соответственно, называется рациональной функцией или рациональной дробью.
Определение 2.2.2. Рациональная дробь называется правильной, если степень числителя строго меньше степени знаменателя, т.е. , и называется неправильной, если
.
Если дробь неправильная, то, разделив числитель на знаменатель, мы можем представить эту дробь в виде суммы многочлена (целой части) и правильной дроби.
где
Интегрирование простейших рациональных дробей
Определение 2.2.3. Рациональные дроби вида:
называются простейшими рациональными дробями.
Рассмотрим интегрирование всех четырех типов этих дробей.
1. Рассмотрим первый тип дробей
2. Рассмотрим второй тип дробей
3. Третий тип дробей разобьем на два случая. При интегрирование в знаменателе будем выделять полный квадрат.
Во втором случае также выделим полный квадрат, сделаем аналогичную замену переменной и разделим интеграл на два.
4. Рассмотрим последний тип простейших дробей. Аналогично третьему случаю выделим полный квадрат в знаменателе и сделаем такую же замену переменной:
Оставшийся интеграл со степенью в знаменателе на 1 меньше вычисляется аналогично исходному интегралу, постепенно мы дойдем до интеграла, у которого знаменатель будет в первой степени.
Рассмотрим примеры вычисления интегралов от простейших рациональных дробей третьего и четвертого типа.
Пример 2.2.1.
Пример 2.2.2.
Интегрирование рациональных дробей
Теорема 2.2.1. Любой многочлен разлагается на произведение линейных множителей вида
и
и квадратных трехчленов с отрицательным дискриминантом вида
и
, т.е.
где
Теорема 2.2.2. Правильная рациональная дробь , где
и
, может быть представлена в виде суммы простейших дробей, причем
- множителю
соответствует дробь
,
- множителю
соответствует сумма
дробей
- множителю
соответствует дробь
- множителю
соответствует сумма
дробей
тогда
Коэффициенты находятся no методу неопределенных коэффициентов.
Метод неопределенных коэффициентов
- (1) Разлагаем правильную дробь
на сумму простейших дробей с неопределенными коэффициентами, получим равенство вида (2.1).
- (2) Приводим правую часть равенства (2.1) к общему знаменателю.
- (3) Числитель полученной дроби приравниваем к числителю
, получим тождество.
- (4) Приравниваем коэффициенты при одинаковых степенях
в левой и правой частях полученного тождества, получим систему уравнений для определения неопределенных коэффициентов.
- (5) Решая эту систему, найдем все неопределенные коэффициенты.
Рассмотрим пример разложения дроби по методу неопределенных коэффициентов на простейшие дроби.
Пример 2.2.3.
Приравняем числители исходной и полученной дробей
Приравняем коэффициенты при одинаковых степенях , получим систему
Решая эту систему, найдем неопределенные коэффициенты тогда
Находить неопределенные коэффициенты можно приравнивая не только коэффициенты при одинаковых степенях левой и правой частей последнего тождества в пункте 3, но и значения левой и правой частей этого тождества при одинаковых значениях
. Этим удобно пользоваться, если у знаменателя исходной дроби есть действительные корни. Рассмотрим следующий пример.
Пример 2.2.4.
Тогда
Возьмем — это корни знаменателя и еще, например,
. Получим
Решая эту систему, найдем , тогда
Схема интегрирования рациональной дроби
Пусть нам дан интеграл от рациональной функции
- (1) Если
, т.е. дробь неправильная, то выделить целую часть:
- (2) Разложить знаменатель
на линейные множители и квадратные трехчлены с отрицательным дискриминантом.
- (3) Дробь
разложить на простейшие дроби с неопределенными коэффициентами.
- (4) Найти эти неопределенные коэффициенты по методу неопределенных коэффициентов.
- (5) Проинтегрировать функцию
и полученные простейшие дроби.
Пример 2.2.5.
Вычислить интеграл
Поскольку исходная дробь неправильная, то выделим целую часть:
Получим
Разложим дробь на простейшие:
Тогда
Приравнивая коэффициенты при одинаковых степенях , получим
Решая эту систему, найдем неопределенные коэффициенты . Вычислим исходный интеграл:
Пример 2.2.6.
Вычислить интеграл
Поскольку рациональная дробь правильная и квадратный трехчлен в знаменателе имеет отрицательный дискриминант, то исходная дробь раскладывается на простейшие следующим образом:
Приравняем числители этих дробей:
Приравняем коэффициенты при одинаковых степенях , получим систему
Решая эту систему, найдем коэффициенты и
, тогда
Интегрирование тригонометрических выражений
Рассмотрим некоторые типы интегралов от тригонометрических выражений. Пусть в дальнейшем — рациональная функция двух переменных.
I. Рассмотрим интеграл первого типа
Если функция не удовлетворяет никаким специальным условиям, то делают универсальную тригонометрическую подстановку:
Тогда
и мы получили интеграл от рациональной функции. Далее он решается стандартным методом.
Пример 2.3.1.
Рассмотрим частные случаи интеграла первого типа.
1. Пусть исходная рациональная функция нечетна по функции , т.е.
, тогда в интеграле делается следующая замена:
2. Пусть исходная рациональная функция нечетна по функции , т.е.
тогда в интеграле делается следующая замена:
3. Пусть исходная рациональная функция четна по функциям и
, т.е.
, тогда в интеграле делается следующая замена:
Пример 2.3.2.
Вычислить интеграл
Подынтегральная функция нечетна no , так как
Поэтому
Пример 2.3.3.
Вычислить интеграл
Подынтегральная функция четна по функциям и
одновременно, так как
Поэтому
II. Рассмотрим интеграл второго типа
где ,
— целые числа.
1. Если — нечетное число, то в интеграле делается замена:
2. Если — нечетное число, то в интеграле делается замена:
3. Если — четное отрицательное число, то в интеграле делается замена:
4. Если ,
— неотрицательные числа и
— четное число, то применяются формулы понижения степени:
Пример 2.3.4.
Вычислить интеграл
Подынтегральная функция удовлетворяет условию, что четное отрицательное число. Поэтому
Пример 2.3.5.
Вычислить интеграл
Подынтегральная функция удовлетворяет условию, что ,
— неотрицательные числа и
— четное число. Поэтому
III. Рассмотрим интеграл третьего типа
где ,
— рациональные числа. В этом интеграле тогда делают замену
Эта замена приводит к довольно сложным интегралам от иррациональных выражений.
IV. Рассмотрим интегралы четвертого типа.
1.
2.
3.
Пример 2.3.6.
Вычислить интеграл
Применим первую подстановку:
Интегрирование иррациональных функций
I. В первом типе интегралов рассмотрим три случая.
1. Рассмотрим интеграл
где — символ рациональной функции. Пусть
— общий знаменатель дробей —
, тогда в интеграле делается замена:
2. Рассмотрим интеграл
Делаем следующую замену:
где — общий знаменатель дробей
3. Рассмотрим интеграл
и в нем делаем следующую замену:
где — общий знаменатель дробей
Рассмотрим примеры.
Пример 2.4.1.
Вычислить интеграл
Это интеграл первого типа, общий знаменатель дробей
и
равен 4, поэтому
Пример 2.4.2.
II. Второй тип интегралов — это интегралы от дифференциального бинома вида
где ,
,
— рациональные числа. Этот интеграл вычисляется только в трех случаях.
1. Если — целое число, то в интеграле делается следующая замена:
где — общий знаменатель дробей
и
.
2. Если — целое число, то в интеграле делается замена:
где — знаменатель
.
3. Если — целое число, то в интеграле делается замена:
где — знаменатель
.
Пример 2.4.3.
III. Рассмотрим два вида интегралов третьего типа.
1. Рассмотрим интеграл
Выделим в знаменателе полный квадрат
Тогда в исходном интеграле делается следующая замена
2. Рассмотрим интеграл второго вида:
Этот интеграл с помощью замены сводится к интегралу предыдущего типа
Пример 2.4.4.
Пример 2.4.5.
IV. Рассмотрим интегралы четвертого типа
где — символ рациональной функции.
В этом интеграле аналогично предыдущему пункту выделяется полный квадрат:
Чтобы эти интегралы вычислить, применяются следующие тригонометрические замены.
1. Пусть и
, тогда обозначим
. Получим
2. Пусть и
, тогда обозначим
.
Получим
3. Пусть и
, тогда обозначим
Получим
Пример 2.4.6.
Пример 2.4.7.
Определенный интеграл и его приложения. Несобственный интеграл
Вычисление площади плоской фигуры
Зададим на отрезке неотрицательную непрерывную функцию
. Требуется определить понятие площади фигуры, ограниченной кривой
, осью
, прямыми
и вычислить эту площадь (рис. 3.1). Произведем разбиение отрезка
на
частей
Выберем на каждом полученном отрезке произвольную точку
. Вычислим значение
и составим сумму
где , которая называется интегральной суммой. Сумма
равна сумме площадей прямоугольников с основанием
и высотой
.
Будем все стремить к нулю так, чтобы max
. Если при этом величина
стремится к определенному пределу, то этот предел
называется площадью фигуры
II. Работа.
Пусть к движущейся по прямой точке приложена направленная вдоль этой оси переменная сила . где
есть непрерывная функция от
— абсциссы движущейся точки. Работа силы
при передвижении точки от
до
равна
где разбиение отрезка и выбор точек происходит как в предыдущем пункте.
III. Масса стержня переменной плотности.
Будем считать, что отрезок оси
имеет массу с переменной плотностью
, где
— непрерывная на отрезке
функция. Общая масса этого стержня равна
где разбиение отрезка и выбор точек происходит аналогично.
Понятие определенного интеграла
Во всех предыдущих задачах мы пришли к понятию интегральной суммы. Пусть функция определена на отрезке
.
- Разобьем отрезок
на
частей:
- Вычислим длину каждого отрезка
.
- Возьмем произвольную точку
.
- Вычислим значение функции в этих точках
.
- Составим интегральную сумму
Определение 3.1.1. Если при любых разбиениях отрезка на
частей, таких, что max
, и при любом выборе точек
интегральная сумма
стремится к одному и тому же пределу
, то этот предел называют определенным интегралом от функции
на отрезке
и обозначают
Число называют нижним пределом интеграла, а
— верхним пределом интеграла.
Определение 3.1.2. Если для функции предел (3.1) существует, то функцию
называют интегрируемой на отрезке
.
Теорема 3.1.1. Если функция интегрируема на отрезке
, то она ограничена на нем.
Сформулируем основную теорему для класса интегрируемых функций.
Теорема 3.1.2. Если функция непрерывна на отрезке
, то она интегрируема на этом отрезке.
Из этих двух теорем видно, что класс функций, ограниченных на отрезке, шире класса интегрируемых функций, а этот класс, в свою очередь, шире класса непрерывных функций.
Основные свойства определенного интеграла
Теорема 3.1.3. Пусть функции и
интегрируемы на отрезке
, тогда:
где
Доказательство. Докажем четвертое утверждение этой теоремы, остальные доказываются аналогично. По определению определенного интеграла имеем
Утверждение 1 последней теоремы говорит о том, что при перемене пределов интегрирования в определенном интеграле надо сменить знак перед интегралом, свойство 3 — о том, что постоянный множитель можно выносить за знак определенного интеграла, а последнее утверждение — о том, что определенный интеграл от суммы или разности функций равен сумме или разности интегралов от каждой функции.
Теорема 3.1.4. Если на отрезке , где
, функции
и
удовлетворяют условию
,то
Доказательство. Рассмотрим разность интегралов
Поскольку по условию и
, то каждое слагаемое суммы неотрицательно. Тогда неотрицательна и вся сумма, отсюда следует, что и предел есть величина неотрицательная, т.е.
Тогда
Что и доказывает теорему.
Теорема 3.1.5. Если и
— наименьшее и наибольшее значения функции
на отрезке
и
, то
Доказательство. По условию теоремы , тогда по теореме 1.4 имеем
Поскольку
то мы получаем нужное неравенство.
Теорема 3.1.6 (Теорема о среднем).Если функция непрерывна на отрезке
, то на этом отрезке найдется такая точка
, что
Доказательство. Пусть . Поскольку функция
непрерывна на отрезке
, то она достигает на нем своего наименьшего
и наибольшего
значений. По теореме 1.5 имеем
Обозначим , отсюда
. Но непрерывная на отрезке функция принимает все промежуточные значения между наименьшим и наибольшим, поэтому существует точка
, такая, что
. Тогда
Теорема 3.1.7. Для любых трех чисел справедливо равенство
если эти три интеграла существуют.
Доказательство. Рассмотрим только случай . Составим интегральную сумму для функции
на отрезке
. Так как предел интегральной суммы не зависит от способа разбиения отрезка
, то будем считать, что точка с принадлежит каждому разбиению. Всю интегральную сумму разобьем на две суммы: сумму, соответствующую отрезку
, и сумму, соответствующую отрезку
. Получим
Переходя к пределу при , получим нужное равенство.
Формула Ньютона-Лейбница. Замена переменной в определенном интеграле. Интегрирование по частям.
Пусть на отрезке задана интегрируемая функция
. Заметим, что
Пусть , будем в интеграле
менять верхний предел, получим функцию
Отметим, что
Если , то значение
численно равно площади криволинейной трапеции
(рис. 3.2).
Теорема 3.2.1. (Теорема о производной интеграла по переменному верхнему пределу). Если — непрерывная функция на отрезке
и
то
(Производная от определенного интеграла по переменному верхнему пределу равна подынтегральной функции, в которой вместо переменной интегрирования подставлено значение верхнего предела.)
Доказательство. По определению производной мы должны получить
Дадим аргументу приращение
и рассмотрим
Тогда
поэтому
Применим теорему о среднем к , получим
где . Найдем
. Отметим, что при
. Поэтому
поскольку функция непрерывна на отрезке
. Мы получили, что
.
Следствие 3.2.1. Из теоремы 3.2.1 следует, что всякая непрерывная функция имеет первообразную.
Доказательство. Если функция непрерывна на отрезке
, то по теореме 3.1.2 она интегрируема на этом отрезке, т. е. существует
а значит, существует функция
Тогда по теореме 3.2.1
, следовательно, функция
есть первообразная функции
.
Формула Ньютона-Лейбница
Теорема 3.2.2. Если есть какая-либо первообразная от непрерывной на отрезке
функции
, то справедлива формула
Доказательство. Пусть — некоторая первообразная функции
на отрезке
. По теореме 3.2.1 функция
есть также первообразная функции
. Но две любые первообразные от данной функции отличаются на постоянное число
. Поэтому
Это равенство справедливо для всех . Положим
, тогда
отсюда . Следовательно,
Положим , получим
И теорема доказана.
Введем обозначения , тогда
Пример 3.2.1.
Вычислим определенный интеграл
Пример 3.2.2.
Пример 3.2.3.
Пример 3.2.4.
Замена переменной в определенном интеграле
Теорема 3.2.3. Пусть дан интеграл
где функция непрерывна на отрезке
. Если
и выполняется
и
непрерывны на отрезке
,
определена и непрерывна на отрезке
, то
Доказательство. Если первообразная функции
, то
По формуле замены переменной в неопределенном интеграле имеем
Тогда
а
Так как равны правые части двух последних равенств, то равны и левые. Теорема доказана.
Пример 3.2.5.
Пример 3.2.6.
Интегрирование по частям в определенном интеграле
Теорема 3.2.4. Пусть и
непрерывно дифференцируемые функции на отрезке
, тогда
или
Доказательство. Для дифференцируемых функций справедливо равенство
Проинтегрируем обе части этого равенства на отрезке , получим
Так как
и то мы получим
Пример 3.2.7.
Пример 3.2.8.
Приложения определенного интеграла
Вычисление площадей плоских фигур в прямоугольной системе координат
1. Пусть на отрезке задана непрерывная функция
(рис. 3.3). Тогда площадь криволинейной трапеции, ограниченной кривой
, осью
и прямыми
, равна
Если функция на отрезке
, то
. Тогда площадь криволинейной трапеции будет равна
2. В случае, когда конечное число раз меняет знак на отрезке
, площадь криволинейной трапеции, ограниченной кривой
, прямыми
и
, будет состоять из суммы интегралов, взятых со знаком
если функция
на соответствующем отрезке, и со знаком
если функция
на соответствующем отрезке. Например, площадь может быть равна
если функция положительна на отрезках
и
, и отрицательна на отрезке
.
Пример 3.3.1.
Вычислить площадь фигуры, ограниченной кривыми
при
. Получим
3. Вычислим площадь плоской фигуры, ограниченной кривыми , прямыми
причем
на отрезке
(рис. 3.4). Тогда
4. Вычислим площадь плоской фигуры, ограниченной на отрезке кривой
, на отрезке
кривой
, причем
, и прямыми
(рис. 3.5). Получим
Пример 3.3.2.
Найти площадь фигуры (рис. 3.6), ограниченной кривыми и
. Найдем точки пересечения кривых
и
:
Получим
Тогда
Площадь криволинейной трапеции, ограниченной кривой, заданной в параметрической форме
Пусть криволинейная трапеция ограничена замкнутой кривой, заданной параметрическим уравнением
Пусть эта параметрическая функция определяет явную функцию и
тогда
Пример 3.3.3.
Найти площадь фигуры (рис. 3.7), ограниченной одной аркой циклоиды
и прямой . Найдем
, тогда
Площадь криволинейного сектора в полярной системе координат
Полярная система координат задается началом координат — точкой и полярной полуосью, выходящей из точки
. Координаты точки
на плоскости задаются длиной
радиуса-вектора и углом наклона
радиуса- вектора к полярной оси. Рассмотрим кривую, заданную непрерывной функцией
в полярной системе координат.
Найдем площадь криволинейного сектора , ограниченного кривой
и радиус-векторами
и
(рис. 3.8).
- Разобьем данный сектор радиус-векторами
- Обозначим
углы между радиус-векторами.
- Возьмем угол
.
- Вычислим
длину радиус-вектора, соответствующего углу
.
- Вычислим площадь кругового сектора с радиусом
и центральным углом
6. Составим интегральную сумму
которая дает площадь ступенчатого сектора.
Поскольку непрерывная функция, то существует предел интегральной суммы
Таким образом, площадь криволинейного сектора равна
Пример 3.3.4.
Вычислить площадь фигуры, ограниченной кривой (рис. 3.9). Эта фигура — двухлепестковая роза, площадь будем искать по наименьшей симметричной части. Тогда
Длина дуги кривой
Найдем длину дуги кривой в прямоугольных координатах. Пусть кривая
задана функцией
, непрерывно дифференцируемой на отрезке
и
(рис. 3.10).
1. Возьмем разбиение отрезка на
частей точками
им соответствуют точки на кривой
2. Проведем хорды . Длины этих хорд обозначим
.
3. Найдем длину ломаной :
Определение 3.3.1. Длиной дуги кривой называется предел, к которому стремится длина вписанной ломаной, когда длина ее наибольшего звена стремится к нулю:
Теорема 3.3.1. Если функция непрерывно дифференцируема на отрезке
, то предел (3.2) существует и длина дуги кривой равна
Доказательство. Введем обозначения , тогда по теореме Пифагора
по теореме Лагранжа имеем
где . Поэтому
. Тогда
Поскольку непрерывная функция, то предел интегральных сумм
существует и
Пример 3.3.5.
Найти длину дуги полукубической параболы от начала координат до точки
(рис. 3.11). Поскольку
, то
. Тогда
Длина дуги кривой, заданной параметрически
Пусть задана кривая
где функции и
непрерывно дифференцируемы на отрезке
и
на этом отрезке. Найдем длину дуги этой кривой:
Пример 3.3.6.
Найти длину дуги одной арки циклоиды (рис. 3.7)
Найдем и
, тогда длина дуги равна
Длина дуги кривой в полярных координатах
Пусть задана кривая в полярной системе координат . Тогда в параметрическом виде кривая будет задаваться уравнениями
Вычислим и
. Тогда
Получаем формулу длины дуги в полярной системе координат
Пример 3.3.7.
Найти длину кардиоиды . Построим эту кривую (рис. 3.12). Найдем
. Тогда
Вычисление объема тел по площадям параллельных сечений
Пусть есть тело и известна площадь
любого сечения этого тела плоскостью, перпендикулярной оси
(рис. 3.13) Эта площадь
будет зависеть от координаты
, поэтому
. Пусть
— непрерывная функция на отрезке
. Вычислим интегральную сумму.
- Проведем плоскости
. Эти плоскости разобьют тело
на слои.
- Выберем точки
.
- Вычислим
.
- Построим цилиндры: с основанием, являющимся сечением тела
, плоскостью
и высотой
.
- Найдем объем
цилиндра
.
- Найдем объем всех цилиндров
.
Поскольку — непрерывная функция, то существует предел интегральных сумм
, и он равен объему тела
:
Объем тела вращения
Рассмотрим тело , образованное вращением вокруг оси
криволинейной трапеции, ограниченной кривой
, прямыми
(рис. 3.14). Тогда произвольное сечение этого тела плоскостью, перпендикулярной оси
, есть круг, и его площадь будет равна
Поэтому объем тела равен
Пример 3.3.8.
Найти объем тела, полученного вращением вокруг оси кривой
при
. Имеем
Составлением специальной интегральной суммы можно получить объем тела, полученного вращением криволинейной трапеции, которая ограничена кривой , прямыми
вокруг оси
, а именно,
Несобственные интегралы
Несобственные интегралы с бесконечными пределами интегрирования
Пусть функция определена и непрерывна на луче
. Рассмотрим интеграл
Функция определена для любого
и является непрерывной функцией на этом промежутке.
Определение 3.4.1. Если существует конечный предел
то он называется несобственным интегралом от функции на интервале
(несобственным интегралом первого типа) и обозначается
т.е.
Аналогично определяются несобственные интегралы:
Определение 3.4.2. Если конечный предел существует, то несобственный интеграл называется сходящимся, если конечный предел не существует, то несобственный интеграл называется расходящимся.
Пусть , тогда несобственный интеграл
выражает площадь неограниченной фигуры, задаваемой кривой
и прямыми
(рис. 3.15)
Пример 3.4.1.
Исследовать на сходимость интеграл
Поэтому данный интеграл сходится.
Пример 3.4.2.
Исследовать на сходимость интеграл . Рассмотрим случай, когда
, тогда
Рассмотрим случай
Поэтому данный интеграл расходится при и сходится при
.
Пример 3.4.3.
Исследовать на сходимость
Поскольку , то данный интеграл сходится.
Теорема 3.4.1. Если для любого выполняется неравенство
и интеграл
сходится, то интеграл
также сходится и выполняется неравенство
Доказательство. Поскольку для определенного интеграла верно неравенство
то, применяя предельный переход, получим
Пример 3.4.4.
Исследовать на сходимость интеграл
Заметим, что для любого выполняется неравенство
. И поскольку интеграл
сходится, то сходится и исходный интеграл
Теорема 3.4.2. Если для любого выполняется неравенство
и интеграл
расходится, то интеграл
также расходится.
Пример 3.4.5.
Исследовать на сходимость интеграл
Поскольку для выполняется
, а интеграл
расходится, то и исходный интеграл расходится.
Теорема 3.4.3. Если интеграл сходится, то сходится и интеграл
Определение 3.4.3. Если интеграл сходится, то интеграл
называется абсолютно сходящимся.
Пример 3.4.6.
Исследовать на сходимость интеграл
Поскольку при
, а интеграл
сходится, то сходится интеграл
, а поэтому исходный интеграл
сходится абсолютно.
Несобственный интеграл от неограниченной функции
Пусть функция определена и непрерывна на интервале
и при
функция либо разрывна, либо не определена. Тогда определенный интеграл на отрезке
от функции
может не существовать.
Определение 3.4.4. Если существует конечный предел
то он называется несобственным интегралом (несобственным интегралом второго типа) от разрывной в точке с функции и обозначается
Если конечный предел существует, то интеграл от разрывной функции называется сходящимся, в противном случае называется расходящимся. Аналогично даются определения: если функция разрывна в точке
, то
если разрывна в точке
, то
Пример 3.4.7.
Исследовать на сходимость интеграл . Особенность подынтегральной функции в точке
, поэтому
Следовательно, данный интеграл сходится.
Пример 3.4.8.
Исследовать на сходимость интеграл . Поскольку особенность подынтегральной функции в точке
, то
Для несобственных интегралов второго типа верны теоремы о сравнении, как и для интегралов первого типа.
Теорема 3.4.4. Если на отрезке функции
и
разрывны в точке
и для любого
выполняется неравенство
и интеграл
сходится, то сходится и интеграл
Теорема 3.4.5. Если на отрезке функции
и
разрывны в точке
и для любого
выполняется неравенство
и интеграл
расходится, то расходится и интеграл
Теорема 3.4.6. Если функция разрывна в точке
и интеграл
сходится, то сходится и интеграл
Пример 3.4.9.
Исследовать на сходимость интеграл
Рассмотрим случай, когда :
Рассмотрим случай, когда :
Поэтому данный интеграл сходится при и расходится при
.
Пример 3.4.10.
Исследовать на сходимость интеграл . Поскольку для
выполняется неравенство
а интеграл сходится, так как
, то исходный интеграл также сходится.
Функции нескольких переменных
Понятие функции нескольких переменных, предел функции нескольких переменных
Рассмотрим пространство
Определение 4.1.1. Если каждой точке (вектору) , принадлежащей некоторому множеству
, соответствует определенное действительное число
, то будем называть
— функцией
переменных
и писать
.
Обозначим — модуль вектора
.
Определение 4.1.2. Окрестностью точки будем называть множество
— это
-мерный шар радиуса
с центром в точке
.
На плоскости окрестность точки — это открытый круг, в пространстве — шар без границы.
В дальнейшем, в основном, будем рассматривать функции двух переменных и функции трех переменных
.
Определение 4.1.3. Под областью на плоскости будем понимать часть плоскости, ограниченной линиями.
Определение 4.1.4. Линия, ограничивающая область , называется границей этой области. Точки области, не лежащие на границе, называются внутренними точками области. Область, состоящая из одних внутренних точек называется открытой. Если к области относится граница, то область называется замкнутой.
В открытую область каждая точка входит с некоторой своей окрестностью.
Определение 4.1.5. Область называется ограниченной, если найдется такое число
, что для любой точки
выполняется
.
Аналогично, для пространства под областью будем понимать некоторое тело, ограниченное поверхностями.
Определение 4.1.6. Совокупность точек , для которых определяется значение функции
, называется областью определения функции
.
Геометрическое изображение функции 2-х переменных
Графиком функции является некоторая поверхность в пространстве
. Это точки с координатами
.
Пример 4.1.1.
Например, графиком функции является эллиптический параболоид (см. рис. 4.1).
Частное и полное приращения функции нескольких переменных
На примере функции двух переменных рассмотрим понятия частного и полного приращения функции нескольких переменных. Функция
задает поверхность в
. Пусть точка
принадлежит этой поверхности.
Рассмотрим пересечение поверхности плоскостью
, проходящую через точку
(см. рис. 4.2). В пересечении получим кривую
. На этой кривой изменяется только переменное
. Дадим этому переменному приращение
, тогда функция
получит приращение
называемое частным приращением по .
Аналогично, при , дав переменному
приращение
, получим частное приращение по
.
Если одновременно дать приращение по переменному
и приращение
по переменному
, то получим полное приращение
Аналогично дается определение частного и полного приращений для функции нескольких переменных, например, частное приращение по переменному есть
где все переменные, кроме -ого, равны константам. Полное приращение есть
Предел функции нескольких переменных
Пусть дана функция в области
. И пусть точка
. Рассмотрим
-окрестность точки
где
Определение 4.1.7. Число называется пределом функции
при
стремящемся произвольным образом к
, если
и обозначается
где стремится к
произвольным образом, оставаясь в окрестности точки
.
Непрерывность функции нескольких переменных
Пусть функция определена в области
. Обозначим
приращение переменного
.
Определение 4.1.8. Функция называется непрерывной в точке
, если
, где точка
стремится к
произвольным образом, оставаясь в области
либо
, либо
Заметим, что если , то все
при
и наоборот, если все
, то
.
Определение 4.1.9. Точка называется точкой разрыва функции
, если
- функция
не определена в точке
, либо
- функция
определена в точке
, но не существует
, либо
- функция
определена в точке
и существует
, но
Свойства функций, непрерывных в замкнутой ограниченной области
Теорема 4.1.1. Если функция определена и непрерывна в замкнутой ограниченной области
, то она достигает в этой области своего наибольшего и наименьшего значений, т.е.
Теорема 4.1.2. Если функция определена и непрерывна в замкнутой ограниченной области
и если
и
наибольшее и наименьшее значения этой функции в области
, то для любого числа
такого, что
найдется точка
такая, что
.
Теорема 4.1.3. Если функция определена и непрерывна в замкнутой ограниченной области
и принимает в ней как положительные, так и отрицательные значения, то найдется точка
такая, что
.
Частные производные функции нескольких переменных
Рассмотрим понятие частных производных на примере функции двух переменных.
Определение 4.2.1. Частной производной по от функции
называется предел отношения частного приращения
по
к приращению
при
и обозначается
Другие обозначения для частной производной по переменному :
Частная производная по от функции
вычисляется в предположении, что
.
Определение 4.2.2. Частной производной по переменному от функции
называется предел отношения частного приращения
по
к приращению
, когда
Другие обозначения для частной производной по переменному :
Частная производная по от функции
вычисляется в предположении, что
.
Пример 4.2.1.
Найти частные производные функции .
Пример 4.2.2.
Найти частные производные функции
Частные производные функции большего числа переменных определяются аналогично. Например, частная производная по переменному от функции трех переменных
вычисляется в предположение, что два других переменных
и
константы.
Пример 4.2.3.
Найти все частные производные функции
Геометрическая интерпретация частных производных
Пусть дана функция двух переменных задающая некоторую поверхность в пространстве
и точка
принадлежит этой поверхности. Проведем плоскость
через точку
, тогда в сечении с поверхностью получим кривую
.
Частная производная в точке
равна тангенсу угла наклона, образованного касательной, проведенной в точке
к кривой
, с положительным направлением оси
.
Аналогично, пусть через точку проведена плоскость
, которая в сечении с поверхностью дает кривую
. Тогда частная производная
в точке
равна тангенсу угла, образованного касательной, проведенной в точке
к кривой
, с положительным направлением оси
(см. рис.4.2).
Полный дифференциал функции нескольких переменных
Рассмотрим функцию двух переменных . Пусть она имеет непрерывные частные производные по
и по
. Выразим полное приращение
этой функции через частные производные. Пусть
По переменному ко второй разности применим теорему Лагранжа, получим
где .
Аналогично, применяя теорему Лагранжа к первой разности по переменному , получим
где . Тогда, подставляя данные выражения в (4.1), получим
Так как частные производные непрерывные функции и при то существуют пределы
По теореме 1.2.1 о пределе функции из (4.3) и (4.4) получим
где бесконечно малые функции при
и
. Подставляя (4.5) и (4.6) в выражение (4.2) для полного приращения функции, получим
Величины и
являются бесконечно малыми более высокого порядка по сравнению с
и с
.
Определение 4.2.3. Функция , полное приращение
которой в данной точке
, может быть представлено в виде двух слагаемых: выражения линейного относительно
и
и величины бесконечно малой высшего порядка по сравнению с
и
называется дифференцируемой в данной точке, а линейная часть приращения называется полным дифференциалом и обозначается
или
.
Тогда
Из (4.7) следует, что
из этой формулы видно, что если и
, то полное приращение
эквивалентно полному дифференциалу этой функции
, т.е.
Поскольку для независимых переменных , то мы получим следующее выражение для полного дифференциала функции
Аналогично, для функции трех переменных выражение для полного дифференциала функции имеет вид
Пример 4.2.4.
Найти полный дифференциал функции Найдем сначала частные производные этой функции
Тогда полный дифференциал этой функции есть
Производная сложной функции нескольких переменных
Пусть дана сложная функция двух переменных
Пусть функции имеют непрерывные частные производные по всем своим аргументам. Найдем выражения для частных производных
и
.
Дадим приращение переменному
. Тогда функции
и
получат частные приращения
и
по переменному
. Так как функция
зависит от переменных
и
, то она получит полное приращение
. Используем для него формулу полного приращения (4.7)
где и
при
. Разделим все на
, получим
Поскольку функции и
непрерывны, то
при
. Перейдем в равенстве (4.8) к пределу при
, получим
Из этих равенств следует формула для частной производной по переменному сложной функции
Аналогично получается и формула для частной производной по переменному
Используя этот принцип, можно получить формулы частных производных для любой сложной функции. Например, пусть дана сложная функция
Тогда
Полная производная функции нескольких переменных
Пусть дана сложная функция , причем
. Тогда функция
—функция одного переменного
и у нее существует обычная производная по
, которая и называется полной производной. Используем формулу (4.9), получим
но поскольку
то окончательно получим следующую формулу полной производной
Пример 4.3.1.
Найти частные производные и
, если
Найдем частные производные
Отсюда получим искомые частные производные
Пример 4.3.2.
Найти полную производную функции если
Найдем
Тогда
Частные производные высших порядков
Пусть дана функция Частные производные
являются функциями переменных
и
. Поэтому их можно дифференцировать и по
и по
. Получим четыре производных второго порядка функции
.
— функция
дифференцируется два раза по
,
— Функция
дифференцируется два раза по
,
— Функция
дифференцируется сначала по
, а затем по
,
— функция f(x, у) дифференцируется сначала по
, а затем по
.
Производные называются смешанными производными. Производные второго порядка можно опять дифференцировать, получим производные третьего порядка:
И так далее, например, в производной
функция дифференцируется
раз по
и
-
раз по
.
Пример 4.4.1.
Найти частные производные второго порядка функции
Заметим, что
Определение 4.4.1. Функцию называют
раз дифференцируемой в точке
, если все частные производные
порядка являются дифференцируемыми функциями в точке
.
Теорема 4.4.1. Если функция и ее частные производные
определены и непрерывны в окрестности точки
, то в этой точке равны смешанные производные
Доказательство. Рассмотрим выражение
Введем функцию
тогда
Поскольку частная производная определена и непрерывна в окрестности точки
, то функция
дифференцируема на отрезке
. Применим к
теорему Лагранжа на этом отрезке, получим
где . Из выражения (4.11) найдем производную
Поскольку определена и непрерывна в окрестности точки
, то
дифференцируема на отрезке
. Применим теорему Лагранжа к разности (4.13), тогда
где . Подставляя это выражение в (4.12), получим
В выражении (4.10) поменяем местами средние слагаемые, тогда
Введем функцию
которая дифференцируема на отрезке . Тогда
Применим к этой разности теорему Лагранжа, получим
где . В силу равенства (4.15) имеем
Поскольку определена и непрерывна в окрестности точки
, то
дифференцируема на отрезке
. Поэтому мы можем опять применить теорему Лагранжа к выражению (4.16) на этом отрезке, будем иметь
где . Тогда
Поскольку выражение (4.17) равно выражению (4.14), то мы получим
или
А поскольку смешанные производные и
непрерывные функции в окрестности точки
, то существуют пределы
Но при точки
. Поэтому окончательно мы имеем
Таким образом, мы показали, что смешанные производные равны между собой.
Отсюда следует, что смешанные производные более высокого порядка равны между собой, если у них одинаковое число раз бралось производных по и по
неважно в каком порядке. Например,
для любого
Дифференциалы высших порядков функции нескольких переменных
Не нарушая общности, рассмотрим опять функцию двух переменных . Пусть она дважды непрерывно дифференцируема в окрестности некоторой точки
.
Рассмотрим дифференциал первого порядка этой функции
Поскольку ,
независимые переменные, то
— постоянные, независящие от
и
. Поэтому дифференциал
— это функция переменных
и
в достаточно малой окрестности точки
. Определим дифференциал второго порядка.
Определение 4.4.2. Вторым дифференциалом функции называется дифференциал от первого дифференциала этой функции
Найдем выражение для второго дифференциала функции двух переменных.
Но поскольку по теореме (4.4.1) смешанные производные равны между собой , то выражение для второго дифференциала функции имеет вид
Введем понятие дифференциального символа
Тогда
Применяя эти дифференциальные символы к функции , получим обычные выражения для первого и второго дифференциала функции. Например,
Аналогично получается и выражение для второго дифференциала.
Определение 4.4.3. Дифференциалом порядка функции называется дифференциал от дифференциала
-ого порядка
Можно ввести понятие дифференциального символа порядка
где выражение для него получается с помощью формулы бинома Ньютона. Например,
Для функции большего числа переменных тоже можно ввести понятие дифференциального символа
Тогда дифференциал порядка функции нескольких переменных можно записать в виде
Пример 4.4.2.
Найти выражение для третьего дифференциала функции . Найдем сначала все частные производные третьего порядка.
Тогда
Приложения дифференциального исчисления функций нескольких переменных
Пусть в области задана функция
, тогда говорят, что в области
задано скалярное поле.
Определение 4.5.1. Поверхности называются поверхностями уровня функции
.
Пример 4.5.1.
Пусть дана функция и , тогда поверхностями уровня
этой функции являются эллипсоиды с центром в начале координат.
Пусть задана функция двух переменных в некоторой области
на плоскости.
Определение 4.5.2. Линии называются линиями уровня функции
.
Пример 4.5.2.
Пусть дана функция . Тогда линиями уровня этой функции являются
параболы, сдвигаемые по оси
.
Производная по направлению
Рассмотрим в области функцию
и точку
. Проведем из точки
вектор
, с направляющими косинусами
. Если вектор
, то
Рассмотрим на расстоянии от точки
на векторе
точку
. Тогда
Пусть функция непрерывна и имеет непрерывные частные производные в области
. Тогда полное приращение этой функции будет
где при
. Разделим выражение (4.18) на
, получим
Поскольку
то
Определение 4.5.3. Предел отношения при
называется производной от функции
в точке
по направлению вектора
и обозначается
Пример 4.5.3.
Пусть . Тогда
. Поэтому
Пример 4.5.4.
Найти производную функции в направлении вектора
в точке
.
Имеем . Найдем частные производные функции
:
Тогда
Градиент функции
Пусть в области задана функция
.
Определение 4.5.4. Вектор, проекции на оси координат которого являются значениями частных производных функции
в точке
, называется градиентом этой функции в точке
и обозначается
Если градиент функции находится не в фиксированной точке , то этот вектор называется полем градиента функции
.
Теорема 4.5.1. Пусть дано скалярное поле . Определим поле градиента
Тогда производная по направлению вектора
равна проекции вектора
на вектор
, т.е.
Доказательство этого утверждения тривиально.
Следствие 4.5.1. Производная в данной точке по направлению вектора имеет наибольшее значение, если направление вектора
совпадает с направлением градиента в этой точке. Это наибольшее значение равно
. Наименьшее значение производная по направлению имеет в направлении противоположном градиенту, т.е в направлении -
.
Следствие 4.5.2. Производная по направлению вектора , перпендикулярного вектору градиента
в точке
, равна нулю.
Доказательство. Поскольку скалярное произведение перпендикулярных векторов равно нулю, то . Поэтому и производная по направлению равна пулю.
Теорема 4.5.2. Вектор в точке
направлен перпендикулярно к поверхности уровня
функции
, проходящей через точку
. Для функции двух переменных
вектор
направлен перпендикулярно к линии уровня этой функции.
Доказательство. Докажем это утверждение для функции двух переменных. Уравнение неявно задает функцию
. Угловой коэффициент касательной к этой кривой в точке
есть
Угловой коэффициент вектора равен
Тогда и касательная к кривой перпендикулярна вектору
в точке
. Значит, вектор градиента направлен перпендикулярно линии уровня в точке
.
Пример 4.5.5.
Пусть дана функция , найти
в точке
. Имеем
Тогда
Поэтому .
Касательная плоскость и нормаль к поверхности
Пусть задана поверхность в пространстве
Определение 4.5.5. Прямая линия называется касательной к поверхности в точке , если она является касательной к какой-нибудь кривой, лежащей на поверхности и проходящей через точку
.
Так как кривых, проходящих через точку бесконечно много, то и касательных в точке
к поверхности бесконечно много.
Определение 4.5.6. Если в точке на поверхности
все три частные производные
равны нулю или хотя бы одна из них не существует, то точка
называется особой точкой этой поверхности. Если все три частные производные существуют и хотя бы одна из них отлична от нуля, то точка
называется обыкновенной точкой поверхности.
Теорема 4.5.3. Все касательные к данной поверхности в ее обыкновенной точке
лежат в одной плоскости.
Определение 4.5.7. Плоскость, в которой лежат все касательные прямые к кривым на поверхности , проходящим через точку
, называется касательной плоскостью к этой поверхности в точке
.
Рассмотрим функцию (см. рис. 4.3)
где
.
Тогда — поверхность уровня функции
. Напишем уравнение касательной плоскости
в обыкновенной точке
. Пусть
— произвольная точка касательной плоскости. Тогда вектор
лежит в касательной плоскости. Но по теореме 4.5.2 вектор
перпендикулярен поверхности . Поэтому скалярное произведение
Из этого условия мы получаем уравнение касательной плоскости в точке
Если уравнение поверхности задано явным уравнением , то получаем уравнение касательной плоскости в виде
Определение 4.5.8. Прямая, проведенная через точку к поверхности
перпендикулярно касательной плоскости, называется нормалью к этой поверхности.
Вектор будет направляющим вектором этой прямой, поэтому уравнение нормали
, проведенной через точку
к поверхности
(см. рис. 4.3) будет иметь вид
Если поверхность задана уравнением , то уравнение нормали имеет вид
Пример 4.5.6.
Написать уравнения касательной плоскости и нормали к поверхности в точке
.
Найдем частные производные в точке :
тогда
Уравнение касательной плоскости будет иметь вид или
, а нормали
Локальный экстремум функции нескольких переменных
Пусть функция задана на множестве
.
Определение 4.6.1. Функция имеет локальный максимум в точке
, если для любой точки
, принадлежащей некоторой окрестности точки
, выполняется
Функция имеет, в точке
локальный минимум, если для любой точки
, принадлежащей некоторой окрестности точки
, выполняется
Локальные минимумы и максимумы функции называются локальными экстремумами этой функции.
Теорема 4.6.1. (Необходимое условие существования локального экстремума) Пусть функция имеет, в точке
локальный экстремум. Тогда если в этой точке существуют частные производные первого порядка, то все они равны нулю:
Доказательство. Докажем, что . Пусть переменные
зафиксированы и равны соответственно
. Получим функцию
одной переменной. Поскольку функция
имеет в точке
локальный экстремум и существуют частные производные, то как для функции одного переменного выполняется
.
Аналогично доказывается, что и все остальные производные равны нулю
Естественно, эта теорема не является достаточной.
Пример 4.6.1.
Пусть задана функция . В точке
частные производные
равны нулю
Но функция не имеет экстремума в этой точке. Это седловая точка.
Определение 4.6.2. Точки , в которых частные производные функции
равны нулю или не существуют, называются критическими точками или стационарными точками функции.
Теорема 4.6.2. (Достаточное условие существования локального экстремума) Пусть точка — критическая точка функции
и функция
дважды непрерывно дифференцируема в окрестности точки
. Тогда если в точке
второй дифференциал
для любых значений
, одновременно не обращающимся в нуль, то в точке
функция
имеет локальный максимум, а если
для любых значений
, также одновременно не обращающихся в нуль, то в точке
функция
имеет локальный минимум. Если
принимает как положительные так и отрицательные значения для различных значений дифференциалов
, то в точке
функция не имеет локального экстремума.
Замечание 4.6.1. Для установления знакоопределенности второго дифференциала существует критерий Сильвестра. Обозначим , для того, чтобы
необходимо и достаточно, чтобы
Для того, чтобы необходимо и достаточно, чтобы
Пусть дана функция двух переменных в некоторой области
. Сформулируем теорему о достаточном условии существования локального экстремума в случае двух переменных.
Теорема 4.6.3. Пусть в некоторой области , содержащей точку
функция
имеет непрерывные частные производные до второго порядка и пусть точка
— критическая точка, т.е.
Обозначим
Тогда
1. Функция имеет локальный максимум в точке
, если
2. Функция имеет локальный минимум в точке
, если
3. Функция не имеет экстремума в точке
, если
4. Функция может иметь или не иметь экстремума в точке
, если
Пример 4.6.2.
Найти локальные экстремумы функции
1. Найдем критические точки функции
или
Решим уравнение
Тогда критические точки будут
2. Найдем
3. Рассмотрим точку
тогда
Поэтому функция в этой точке не имеет ни максимума, ни минимума.
4. Рассмотрим точку
тогда
Поэтому в точке функция имеет минимум
Условный экстремум функции нескольких переменных
Пусть требуется найти максимум и минимум функции при условии, что
.
1 способ. Выражаем, если можно, переменное из уравнения
и подставляем в функцию
. Получим функцию одного переменного
. И решаем задачу обычными методами для функции одного переменного.
2 способ. Составляем функцию Лагранжа
Находим частные производные функции по переменным
и приравниваем их к нулю. Таким образом найдем критические точки функции Лагранжа.
Покажем, что эта система возникает, если использовать определение критических точек функции одного переменного, а именно, если производная равна нулю. Рассмотрим функцию и условие
, которая неявно задает
как функцию от
, т.е.
.
Приравняем полную производную функции к нулю, получим
или
Поскольку , то и
, т.е.
Умножим это равенство на и прибавим к предыдущему, получим
или
Отсюда легко получить систему (4.19), поскольку дифференциал равен нулю, если равны нулю коэффициенты при и
:
Уравнение связи в эту систему мы добавили сами.
Система (4.19) это необходимое условие существования условного экстремума. Решая ее мы получим условно критические точки функции .
Для выяснения характера критических точек необходимы дальнейшие исследования. Рассмотрим критическую точку функции Лагранжа
. Поскольку
то второй дифференциал функции имеет вид
при условии, что дифференциалы и
связаны соотношением
Тогда
- Функция
имеет условный максимум в точке
, если
.
- Функция
имеет условный минимум в точке
, если
.
Второй способ исследования критических точек для функции двух переменных. Пусть критическая точка, рассмотрим определитель
Тогда функция имеет в точке
условный максимум, если
и условный минимум, если
.
Пример 4.7.1.
Найти экстремум функции при условии, что
.
Напишем функцию Лагранжа
Найдем частные производные
Получим систему
Решая эту систему, найдем
Тогда критические точки будут
Найдем вторые производные функции Лагранжа
Поэтому
1. Рассмотрим точку и
, тогда
для любых
и
. Поэтому функция
имеет в точке
условный минимум
2. Рассмотрим точку и
, тогда
для любых
и
. Поэтому функция
имеет в точке
условный максимум
Пусть требуется найти максимумы и минимумы функции при условии, что переменные
связаны
уравнениями
Составим функцию Лагранжа
Приравняем к нулю частные производные по функции Лагранжа, получим систему уравнений
Из этой системы найдем критические точки функции Лагранжа. Затем исследуем второй дифференциал функции Лагранжа в найденных критических точках при условии, что дифференциалы
связаны между собой системой
Нахождение наибольшего и наименьшего значений функции в замкнутой ограниченной области
Теорема 4.7.1. Функция , дифференцируемая в замкнутой ограниченной области
, достигает своего наибольшего и наименьшего значений или в критических точках или в точках границы области.
Пусть граница области задается одним уравнением
или несколькими такими уравнениями.
Схема нахождения наибольшего и наименьшего значений функции:
- Найти все критические точки функции
.
- Найти критические точки, которые лежат внутри области
.
- Найти в этих точках значение функции
.
- Найти условно критические точки функции
на границе области
.
- Найти значение функции
в этих точках.
- Выбрать из всех найденных значений функции наибольшее и наименьшее.
Пример 4.7.2.
Найти наибольшее и наименьшее значения функции в области
.
1. Найдем критические точки функции , принадлежащие области
.
Составим систему
Решая последнюю систему, получим критическую точку , принадлежащую области
.
Найдем значение функции в этой точке
2. Найдем критические точки на границе . Тогда
и
или
.
Поэтому критическая точка . Найдем значения функции в угловых точках
и в точке
3. Найдем критические точки на границе . Тогда
Поэтому критическая точка . Найдем значения функции в угловой точке
и в точке
4. Найдем критические точки на границе или
,
. Тогда
Поэтому критическая точка . Найдем значение функции в этой точке
5. Выберем из найденных значений наибольшее и наименьшее
Получение функции на основе экспериментальных данных по методу наименьших квадратов
Пусть на основе эксперимента требуется установить функциональную зависимость от величины
. Пусть в результате эксперимента получено
значений функции у при соответствующих значениях аргумента.
Вид функции подбирается или на основе теоретических соображений или на основе расположения на координатной плоскости точек, соответствующих экспериментальным данным (см. рис. 4.4).
Функцию можно искать в виде линейной функции
, в виде квадратичной функции
и т.д.
Пусть мы выбрали некоторую функцию , зависящую от параметров
Надо подобрать эти параметры так, чтобы функция
описывала процесс в некотором смысле наилучшим образом.
Метод наименьших квадратов
Рассмотрим сумму квадратов разностей значений , даваемых экспериментом и функции
в соответствующих точках
:
Подберем параметры так, чтобы функция
имела минимальное значение. Из необходимого условия экстремума следует тогда, что
или
В этой системе уравнений ровно столько сколько параметров
Решая эту систему найдем критические точки, которые надо исследовать на минимум.
Рассмотрим два случая.
1. Пусть линейная зависимость. Тогда
Используя систему (4.21), получим
или
Поскольку это числа, то эта система есть система двух линейных уравнений с двумя неизвестными
и
. Решая ее, найдем
и
. Очевидно, что в этой точке будет локальный минимум. Поскольку
то определитель
И поэтому в найденной критической точке будет минимум функции .
2. Рассмотрим квадратичную зависимость . Тогда
Система (4.21) для этой зависимости имеет вид
Преобразуя эту систему, получим
Решая систему относительно найдем эти параметры. Функция
будет иметь минимум в этой точке.
Пример 4.8.1.
Пусть функциональная зависимость задана экспериментальными данными
здесь .
Требуется найти функцию вида аппроксимирующую функцию
. Для этого используем систему (4.22). Составим таблицу
По таблице составим систему
Решая эту систему найдем, что . Поэтому мы получим следующую линейную зависимость
.
Построим на графике найденную линейную зависимость и нанесем на него исходные данные (см. рис. 4.5.).
Кратный интеграл и его приложения
Задачи, приводящие к понятию двойного интеграла
Найти объем тела , ограниченного сверху непрерывной поверхностью
, снизу ограниченной замкнутой областью
на плоскости
и с боков прямой цилиндрической поверхностью, направляющей которой является граница области
, а образующая параллельна оси
(рис. 5.1). Построим интегральную сумму для вычисления объема этого тела.
1. Разобьем основание на
элементарных ячеек (площадок)
.
2. Вычислим длину диаметра ячейки
, т.е. длину ее наибольшей хорды.
3. В каждой ячейке выберем точку .
4. Обозначим площадь каждой элементарной ячейки .
5. Вычислим объем прямого цилиндрического столбика с основанием
и высотой
:
6. Найдем сумму объемов всех цилиндрических столбиков
Определение 5.1.1. Объемом данного тела назовем предел, если он существует, к которому стремится интегральная сумма
при стремлении к нулю наибольшего из диаметров
, т.е.
К составлению аналогичных сумм приводят многие прикладные задачи.
Понятие двойного интеграла
Определение 5.1.2. Двумерной интегральной суммой от данной функции по области
называется сумма произведений площадей элементарных ячеек
области
на значения
функции
в выбранных точках этих ячеек
Определение 5.1.3. Двойным интегралом от функции по области
называется предел двумерной интегральной суммы при неограниченном возрастании числа элементарных ячеек и стремлении к нулю их наибольшего диаметра при условии, что этот предел существует и не зависит от способа разбиения и выбора точек, т.е.
Определение 5.1.4. Функция называется интегрируемой по области
, если существует двойной интеграл по этой области.
Сформулируем основную теорему для двойных интегралов.
Теорема 5.1.1. Пусть — замкнутая ограниченная область с кусочно-гладкой границей и функция
непрерывна в этой области, тогда функция
интегрируема по области
.
Таким образом, класс интегрируемых по области функций шире класса непрерывных в этой области функций.
Значение интеграла не зависит от вида элементарных ячеек, поэтому область можно разбивать на элементарные ячейки прямыми параллельными осям координат. Пусть
— номер вертикальной полосы
— номер горизонтальной
. Тогда в пересечении этих полос будет элементарная ячейка (прямоугольник)
, а точка
. Площадь элементарных ячеек будет равна
. Аналогично, дифференциал площади
, поэтому
Свойства двойных интегралов
Сформулируем все свойства в виде одной теоремы, поскольку они аналогичны свойствам определенного интеграла.
Теорема 5.1.2. 1. Аддитивность относительно подынтегральных выражений
2. Аддитивность относительно областей. Пусть области и
не имеют общих внутренних точек и
, то
3. Постоянный множитель можно выносить за знак интеграла
4- Если для любой точки выполняется
, то
5. Пусть функция интегрируема по области
, тогда
также интегрируема по
и
6. Пусть и
соответственно наименьшее и наибольшее значения функции
в области
и
площадь области
, тогда
7. Теорема о среднем значении. Пусть функция непрерывна в области
, тогда существует точка
, такая, что
Все свойства доказываются аналогично определенному интегралу.
Вычисление двойного интеграла
Рассмотрим область , ограниченную прямыми
и кривыми
и
, где
и
— непрерывные на отрезке
функции (рис. 5.2).
Определение 5.1.5. Область называется правильной относительно оси
.
Прямая, проходящая через точку параллельно оси
, пересекает границу области
только в двух точках
и
.
Пусть область ограничена прямыми
и кривыми
, где
и
— непрерывные на отрезке
функции.
Определение 5.1.6. Область называется правильной относительно оси
.
Прямая, проходящая через точку параллельно оси
, пересекает границу области
только в двух точках
и
.
Теорема 5.1.3. Пусть — область, правильная относительно оси
, и функция
непрерывна по области
, тогда
,
т.е. двойной интеграл может быть вычислен в результате двух последовательно проведенных простых интегрирований.
Доказательство. Проведем доказательство только в случае, когда функция в области
. Тогда
где — объем тела
, ограниченного снизу областью
, сверху поверхностью
и с боков прямой цилиндрической поверхностью. Пересечем это тело плоскостью, перпендикулярной оси ОХ, которая проходит через точку
(рис. 5.3).
Пусть — это сечение, а
— его проекция на плоскость
. Обозначим
площадь сечения
, очевидно, что
. Тогда
как площадь криволинейной трапеции, где и
. Поскольку
где — площадь переменного сечения тела
плоскостью перпендикулярной оси
, то
Отсюда следует утверждение теоремы
Замечание 5.1.1. Внутренний интеграл
вычисляется в предположении, что .
Аналогичная теорема справедлива и для правильной области относительно оси .
Теорема 5.1.4. Пусть область правильная относительно оси
и функция
непрерывна по области
, тогда
Замечание 5.1.2. Внутренний интеграл
вычисляется в предположении, что .
Замечание 5.1.3. Если область неправильная ни по какой оси, то ее разбивают на конечное число правильных областей и берут сумму интегралов.
Пример 5.1.1.
Вычислить , где область
— треугольник с вершинами
(рис. 5.4 ). Область
правильная по обеим осям. Будем ее рассматривать как правильную по оси
. Поскольку прямая
задается уравнением
, прямая
— уравнением
, прямая
— уравнением
, то по оси
нижней границей будет являться прямая
, а верхней —
, по оси
нижняя граница
, а верхняя —
. Поэтому
Пример 5.1.2.
Вычислить , где область
задается уравнениями
. Эта область правильная по оси
(рис. 5.5). Границами по оси
являются
, где последняя граница находится как точка пересечения кривой
и прямой
.
Границами по оси будут нижняя — кривая
и верхняя — прямая
, поэтому
Приложения двойного интеграла
Объем тела
1. По определению из предыдущего пункта объем тела , ограниченного сверху поверхностью
, снизу — областью
на плоскости
, с боков — цилиндрической поверхностью, направляющей которой является граница области
, а образующая параллельна оси
, равна двойному интегралу от функции
по области
, т.е.
2. Пусть тело ограничено снизу поверхностью
, сверху поверхностью
и
, причем проекцией на плоскость
обеих поверхностей является область
(рис. 5.6), тогда
Пример 5.2.1.
Найти объем тела , ограниченного поверхностями
(рис. 5.7). Тело
ограничено сверху плоскостью
, снизу областью
на плоскости
, задаваемой уравнениями
и
. Поскольку прямая
и парабола
пересекаются в точке
, то
Площадь плоской фигуры
Пусть в области
, тогда двойной интеграл от этой функции по данной области будет равен площади области
, т.е.
Пример 5.2.2.
Вычислить площадь области , ограниченной параболой
и прямой
(рис. 5.8). Решая систему
найдем точки пересечения . Поэтому
Замена переменных в двойном интеграле
Пусть в плоскости дана область
, ограниченная линией
(рис. 5.9). Рассмотрим двойной интеграл по этой области
Сделаем замену переменных:
где функции непрерывны и имеют непрерывные частные производные по
в некоторой области
переменных (
). Будем считать, что каждой паре значений
соответствует по (формулам (5.1) единственная пара значений
, и наоборот. Т.е. каждой точке
на плоскости
соответствует единственная точка
на плоскости
. Координаты
называются криволинейными координатами точки
. Таким образом, формулы (5.1) устанавливают взаимно-однозначное соответствие между точками областей
и
.
В области рассмотрим прямые
. По (формулам (5.1) в плоскости
им соответствуют кривые
Аналогично, прямым в плоскости
соответствуют кривые
Область этими прямыми разобьется на прямоугольники, соответственно, кривыми область
разобьется на криволинейные четырехугольники. Рассмотрим в плоскости
прямоугольник
, ограниченный прямыми
, его площадь равна
. Этому прямоугольнику соответствует криволинейная площадка
, ее площадь обозначим
.
Каждому значению функции в области
соответствует значение этой функции
в области
. Тогда
Вычислим площадь криволинейного четырехугольника
. Координаты его вершин будут следующими:
В выражениях (5.3) заменим приращение функций соответствующими дифференциалами, пренебрегая бесконечно малыми более высокого порядка, чем и
. Получим
Площадь криволинейного четырехугольника приближенно равна площади параллелограмма с вершинами
, которая равна модулю векторного произведения векторов
и
, т.е.
Из формул (5.4) найдем вектор
аналогично найдем вектор
Тогда
Определение 5.2.1. Обозначим
определитель Якоби функций и
или якобиан перехода от переменных
к переменным
.
Подставляя в равенство (5.2), получим
Переходя к пределу в последнем равенстве, получим формулу замены переменных в двойном интеграле:
Двойной интеграл в полярной системе координат
Рассмотрим двойной интеграл в декартовой системе координат
Перейдем в этом интеграле в полярную систему координат
Будем предполагать, что область (рис. 5.10) при этой замене перейдет в область
, заданную лучами
и кривыми
,
, причем
.
Вычислим якобиан перехода от декартовой системы координат к поярной системе координат. Поскольку
,
то
Поэтому . Таким образом, двойной интеграл в полярной системе координат будет иметь вид
Пример 5.2.3.
Вычислить интеграл
где область — круг единичного радиуса. Перейдем в полярную систему координат
Тогда граница круга будет задаваться уравнением
или . Внутри круга
будет изменяться от
до
, а угол
от
до
. Поэтому
Пример 5.2.4.
Найти площадь фигуры, ограниченной кривой , где
произвольное число. Перейдем в полярную систему координат, получим
. Тогда фигура в полярной системе координат будет ограничена кривой
. Эта фигура есть два лепестка в первой и четвертой четвертях (рис. 5.11). Поэтому мы вычислим площадь одного лепестка и умножим ее на два, пределы интегрирования по
будут от
до
, а по
от
до
.
Тогда
Тройной интеграл
Пусть в пространстве задана замкнутая область
, ограниченная поверхностью
. Пусть в области
определена непрерывная функция
. Построим интегральную сумму.
- Разобьем область
на элементарные области
.
- Вычислим объем
подобластей
.
- Выберем точки
в подобластях
.
- Составим интегральную сумму
Обозначим диаметр подобласти
, т.е. ее наибольший линейный размер.
Определение 5.3.1. Если существует предел интегральных сумм
не зависящий от способа разбиения области и выбора точек
, то он называется тройным интегралом по области
от функции
и обозначается
Определение 5.3.2. Область называется правильной относительно оси
, если:
- всякая прямая, параллельная оси
пересекает границу
области
только в двух точках;
- область
проектируется на плоскость
в правильную область
.
Правильная область (рис. 5.12) задается уравнениями
причем область , проекция области
на плоскость
, может задаваться одним из двух способов:
либо
Определение 5.3.3. Выражения
называются трехкратным интегралом от функции по области
.
Свойства тройного интеграла
Теорема 5.3.1. Если область разбить на две области
и
, то тройной интеграл по области
равен сумме интегралов по областям
и
.
Теорема 5.3.2 (Теорема об оценке). Если и
— наименьшее и наибольшее значения функции
в области
, то выполняется неравенство
где — объем области