8.2 Площадь в полярных координатах

$\DeclareMathOperator{\ctg}{ctg}\DeclareMathOperator{\tg}{tg} \DeclareMathOperator{\arctg}{arctg} \newcommand{\rndBrcts}[1]{\left ( #1 \right )} \newcommand{\abs}[1]{\left | #1 \right |}$

В полярных координатах положение точки на плоскости характеризуется полярным радиусом $r$ – расстоянием от точки до начала координат и углом $φ$, образованным радиус-вектором точки и положительным направлением оси $Ox$. Будем считать, что $−\pi< φ \leqslant \pi$. Рассмотрим на плоскости множество, ограниченное кривой, заданной уравнением $r=r(\varphi)$ $(\alpha \leqslant \varphi \leqslant \beta)$, и отрезками лучей $\varphi=\alpha$ и $\varphi=\beta$. Предположим, что функция $r(\varphi)$ непрерывна и положительна на $[\alpha ,\beta]$. Можно показать, что это множество квадрируемо. Разобьем отрезок $[\alpha, \beta]$ на части точками $\alpha =\varphi_{0} < \varphi_{1}< \dots < \varphi_{n}= \beta$. Тогда рассматриваемое множество разобьется на криволинейные секторы. Если исходное разбиение отрезка $[\alpha, \beta]$ достаточно мелкое, то, в силу непрерывности функции $r(\varphi),i$-й сектор можно приближенно считать сектором круга. Точнее, если обозначим $$\mu_{i} =\inf_{\varphi_{i} \leqslant \varphi_{i} \leqslant \varphi_{i+1}}r(φ) \;\;\;и\;\;\;Mi=\sup_{\varphi_{i} \leqslant \varphi \leq \varphi_{i+1}}r(φ),$$ то рассматриваемый криволинейный сектор содержит в себе круговой сектор радиуса $\mu_{i}$ и содержится в круговом секторе радиуса $M_{i}$. Площадь внутреннего сектора радиуса $\mu_{i}$ равна $\displaystyle \frac{1}{2}\mu_{i}^{2} \Delta \varphi_{i}$, а площадь внешнего – $\displaystyle \frac{1}{2}M_{i}^2 \Delta \varphi_{i}$, где $\Delta \varphi_{i}$ – угол при вершине. Складывая эти площади, получим $$\frac{1}{2} \sum_{i=0}^{n-1}\mu_{i}^2 \Delta \varphi_{i}\equiv \underline S,$$ $$\frac{1}{2} \sum_{i=0}^{n-1}M{i}^2 \Delta \varphi_{i}\equiv \overline S.$$

Как мы уже отметили, рассматриваемое множество квадрируемо, так что его площадь $S$ удовлетворяет неравенству $\underline S\leqslant S\leqslant \overline S.$ Но $\underline S$ и $\overline S$ представляют собой соответственно нижнюю и верхнюю суммы Дарбу для функции $\displaystyle \frac{1}{2}r^2(\varphi),$ соответствующие данному разбиению отрезка $[\alpha,\beta].$ Поэтому, учитывая, что функция $\displaystyle \frac{1}{2}r^2(\varphi)$ интегрируема по Риману на отрезке $[\alpha; \beta ],$ получаем, что при стремлении к нулю диаметра разбиения верхняя и нижняя суммы Дарбу обе стремятся к $\displaystyle \frac{1}{2} \int_\limits{ \alpha}^{ \beta}r^2( \varphi)d \varphi .$ Таким образом, мы доказали равенство
$$S=\frac{1}{2} \int_\limits{ \alpha}^{ \beta}r^2( \varphi)d \varphi .$$

Примеры решения задач

Данные примеры читателю рекомендуется решить самому в качестве тренировки.

  1. Спираль Архимеда задается уравнением $r=a \varphi$ $(0 \leqslant \varphi \leqslant 2 \pi),$ где параметр $a>0.$ Найдите площадь множества точек плоскости, ограниченной спиралью Архимеда.
    Решение

    Площадь множества точек плоскости, ограниченной спиралью Архимеда равна $$S=\frac{1}{2} \int\limits_{0}^{2 \pi}r^2(\varphi)d \varphi = \frac{1}{2} a^2 \int_\limits{0}^{2 \pi} \varphi^2 d \varphi = \frac{4 \pi^3 a^2}{3}$$

    Ответ: $\displaystyle S=\frac{4 \pi^3 a^2}{3}.$

  2. Вычислить площадь фигуры, ограниченной кардиоидой $r=1+ \cos \varphi$ $(0 \leqslant \varphi \leqslant 2 \pi)$
    Решение

    $$S=\frac{1}{2} \int_\limits{0}^{2 \pi}(1+ \cos \varphi)^2 d \varphi = $$
    $$=\frac{1}{2}\int_\limits{0}^{2\pi}\left ( 1+2\cos\varphi+\cos^2\varphi \right )d\varphi=$$
    $$=\frac{1}{2}\int_\limits{0}^{2\pi}\left ( 1+2\cos\varphi+\frac{1+\cos 2 \varphi}{2} \right )d \varphi=$$
    $$=\frac{1}{2}\int_\limits{0}^{2\pi}\left ( \frac{3}{2} + 2\cos\varphi+\frac{\cos2\varphi}{2} \right )d\varphi=$$
    $$=\frac{1}{2}\left ( \frac{3}{2}\varphi + 2\sin\varphi+\frac{\sin2\varphi}{4}\right )\bigg|_{0}^{2\pi}=\frac{3\pi}{2}$$

    Ответ: $\displaystyle S=\frac{3 \pi}{2}.$

  3. Вычислить площадь фигуры, ограниченной линией $r(\varphi)=2 \cos ^2 \varphi$
    Решение

    Так как, $r(\varphi)=2 \cos ^2 \varphi \geq 0$ $\forall \varphi ,$ значит угол принимает все значения от $\alpha = 0$ до $\beta = 2 \pi .$ По рабочей формуле:
    $$S=\frac{1}{2} \int_\limits{\alpha}^{\beta}r^2(\varphi)d \varphi=\frac{1}{2}\int_\limits{0}^{2\pi}(2 \cos^2 \varphi)^2 d \varphi=$$
    $$=\frac{1}{2}\cdot 4 \int_\limits{0}^{2\pi}(\cos^2 \varphi)^2 d \varphi =2\int_\limits{0}^{2\pi}\left ( \frac{1+\cos 2\varphi}{2} \right )^2 d \varphi=$$
    $$=2\cdot \frac{1}{4}\int\limits_{0}^{2\pi} (1+\cos 2\varphi)^2 d \varphi= \frac{1}{2}\int_\limits{0}^{2\pi}(1+2\cos 2\varphi+\cos^22\varphi)d \varphi=$$
    $$=\frac{1}{2}\int_\limits{0}^{2\pi} \left ( 1+2\cos2\varphi+\frac{1+\cos4\varphi}{2} \right )d \varphi=$$
    $$=\frac{1}{2}\int_\limits{0}^{2\pi}\left ( \frac{3}{2} + 2\cos2\varphi +\frac{\cos4\varphi}{2} \right )d \varphi=$$
    $$=\frac{1}{2}\left ( \frac{3}{2} \varphi+\sin2\varphi+ \frac{\sin4\varphi}{8} \right )\bigg|_{0}^{2\pi}=$$
    $$=\frac{1}{2}\left ( \frac{3}{2}\cdot 2\pi+\sin4\pi+\frac{\sin8\pi}{8}-\left ( \frac{3}{2}\cdot 0 +\sin 0 + \frac{\sin0}{8} \right ) \right )=$$
    $$=\frac{3\pi}{2}$$

    Ответ: $\displaystyle S=\frac{3\pi}{2}.$

  4. Вычислить площадь фигуры, ограниченной линиями, заданными в полярных координатах $r=\sqrt{3} \cos \varphi,$ $r=\sin \varphi$ $\displaystyle \left ( 0 \leqslant \varphi \leqslant \frac{\pi}{2} \right ).$
    Решение

    Фигура, ограниченная окружностями $r=\sqrt{3} \cos \varphi,$ $r=\sin \varphi ,$ не определена однозначно и поэтому в условии наложено дополнительное ограничение на угол $\displaystyle \left ( 0 \leqslant \varphi \leqslant \frac{\pi}{2} \right ),$ из которого следует, что необходимо вычислить заштрихованную площадь:

    Сначала найдем луч $\displaystyle \varphi=\frac{\pi}{3},$ по которому пересекаются окружности. Приравниваем функции и решаем уравнение:
    $$\sin \varphi=\sqrt{3} \cos \varphi$$
    $$\frac{\sin \varphi}{\cos \varphi} = \sqrt{3}$$
    $$\tg \varphi = \sqrt{3}$$

    Таким образом: $\displaystyle \varphi=\arctg\sqrt{3}=\frac{\pi}{3}$

    Из чертежа следует, что площадь фигуры нужно искать как сумму площадей:

    • На промежутке $\displaystyle \left [0;\frac{\pi}{3}\right ]$ фигура ограничена отрезком луча $\displaystyle \varphi=\frac{\pi}{3}$ и дугой окружности $r=\sin\varphi .$
      $$S_{1}=\frac{1}{2}\int_\limits{0}^{\frac{\pi}{3}}(\sin\varphi)^2d \varphi=\frac{1}{2}\int_\limits{0}^{\frac{\pi}{3}}\sin^2 \varphi d \varphi=$$
      $$=\frac{1}{2}\cdot \frac{1}{2}\int_\limits{0}^{\frac{\pi}{3}}(1-\cos2\varphi)d \varphi=\frac{1}{4}\left ( \varphi-\frac{1}{2}\sin2\varphi \right )\bigg|_{0}^{\frac{\pi}{3}}=$$
      $$=\frac{1}{4}\left ( \frac{\pi}{3}-\frac{1}{2}\sin\frac{2\pi}{3} \right )=\frac{1}{4}\left ( \frac{\pi}{3}-\frac{1}{2}\cdot \frac{\sqrt{3}}{2} \right )=\frac{\pi}{12}-\frac{\sqrt{3}}{16}$$
    • На промежутке $\displaystyle \left [ -\frac{\pi}{3};\frac{\pi}{3}\right ]$ фигура ограничена тем же отрезком луча $\displaystyle \varphi=\frac{\pi}{3}$ и дугой окружности $r=\sqrt{3}\cos\varphi .$
      $$S_{2}=\frac{1}{2}\int_\limits{\frac{\pi}{3}}^{\frac{\pi}{2}}(\sqrt{3}\cos\varphi)^2d \varphi = \frac{3}{2} \int_\limits{\frac{\pi}{3}}^{\frac{\pi}{2}}\cos^2\varphi d \varphi=$$
      $$=\frac{3}{2}\cdot \frac{1}{2}\int_\limits{\frac{\pi}{3}}^{\frac{\pi}{2}}(1+\cos2\varphi)d \varphi= \frac{3}{4}\left ( \varphi + \frac{1}{2} \sin 2\varphi \right )\bigg|_{\frac{\pi}{3}}^{\frac{\pi}{2}}=$$
      $$=\frac{3}{4}\left ( \frac{\pi}{2}+\frac{1}{2}\sin\pi-\left ( \frac{\pi}{3}+\frac{1}{2}\sin\frac{2\pi}{3} \right ) \right )=$$
      $$=\frac{3}{4}\left ( \frac{\pi}{2}+0-\frac{\pi}{3}-\frac{1}{2}\cdot\frac{\sqrt{3}}{2} \right )=\frac{3}{4}\left ( \frac{\pi}{6}-\frac{\sqrt{3}}{4} \right )=\frac{3\pi}{24}-\frac{3\sqrt{3}}{16}$$
    • Пользуемся аддитивностью площади:
      $$S=S_{1}+S_{2}=\frac{\pi}{12}-\frac{\sqrt{3}}{16}+\frac{3\pi}{24}-\frac{3\sqrt{3}}{16}=$$
      $$=\frac{5\pi}{24}-\frac{\sqrt{3}}{4}=\frac{5\pi-6\sqrt{3}}{24}$$

    Ответ: $\displaystyle S=\frac{5\pi-6\sqrt{3}}{24}.$

Площадь в полярных координатах

Пройдите этот тест, чтобы проверить свои знания по только что прочитанной теме «Площадь в полярных координатах».

См. также:

12.8.2 Локальные экстремумы функций многих переменных

Определение. Пусть $f$ – действительная функция на открытом множестве $E \subset \mathbb{R}^{n}$. Говорят, что $f$ имеет локальный максимум в точке $x_{0} \in E$, если существует такая окрестность $U$ точки $x_{0}$, что для всех $x \in U$ выполняется неравенство $f\left(x\right) \leqslant f\left(x_{0}\right)$.

Локальный максимум называется строгим, если окрестность $U$ можно выбрать так, чтобы для всех $x \in U$, отличных от $x_{0}$, было $f\left(x\right) < f\left(x_{0}\right)$.

Определение
Пусть $f$ – действительная функция на открытом множестве $E \subset \mathbb{R}^{n}$. Говорят, что $f$ имеет локальный минимум в точке $x_{0} \in E$, если существует такая окрестность $U$ точки $x_{0}$, что для всех $x \in U$ выполняется неравенство $f\left(x\right) \geqslant f\left(x_{0}\right)$.

Локальный минимум называется строгим, если окрестность $U$ можно выбрать так, чтобы для всех $x \in U$, отличных от $x_{0}$, было $f\left(x\right) > f\left(x_{0}\right)$.

Локальный экстремум объединяет понятия локального минимума и локального максимума.

Теорема (необходимое условие экстремума дифференцируемой функции)
Пусть $f$ – действительная функция на открытом множестве $E \subset \mathbb{R}^{n}$. Если в точке $x_{0} \in E$ функция $f$ имеет локальный экстремум и дифференцируема в этой точке,то $$\text{d}f\left(x_{0}\right)=0.$$ Равенство нулю дифференциала равносильно тому, что все частные производные равны нулю, т.е. $$\displaystyle\frac{\partial f}{\partial x_{i}}\left(x_{0}\right)=0.$$

В одномерном случае это – теорема Ферма. Обозначим $\phi \left(t\right) = f \left(x_{0}+th\right)$, где $h$ – произвольный вектор. Функция $\phi$ определена при достаточно малых по модулю значениях $t$. Кроме того, по теореме о производной сложной функции, она дифференцируема, и ${\phi}’ \left(t\right) = \text{d}f \left(x_{0}+th\right)h$.
Пусть $f$ имеет локальный максимум в точкеx $0$. Значит, функция $\phi$ при $t = 0$ имеет локальный максимум и, по теореме Ферма, ${\phi}’ \left(0\right)=0$.
Итак, мы получили, что $df \left(x_{0}\right) = 0$, т.е. дифференциал функции $f$ в точке $x_{0}$ равен нулю на любом векторе $h$.

Определение
Точки, в которых дифференциал равен нулю, т.е. такие, в которых все частные производные равны нулю, называются стационарными. Критическими точками функции $f$ называются такие точки, в которых $f$ не дифференцируема, либо ее градиент равен нулю. Если точка стационарная, то из этого еще не следует, что в этой точке функция имеет экстремум.

Пример 1.
Пусть $f \left(x,y\right)=x^{3}+y^{3}$. Тогда $\displaystyle\frac{\partial f}{\partial x} = 3 \cdot x^{2}$,$\displaystyle\frac{\partial f}{\partial y} = 3 \cdot y^{2}$, так что $\left(0,0\right)$ – стационарная точка, но в этой точке у функции нет экстремума. Действительно, $f \left(0,0\right) = 0$, но легко видеть, что в любой окрестности точки $\left(0,0\right)$ функция принимает как положительные, так и отрицательные значения.

Пример 2.
У функции $f \left(x,y\right) = x^{2} − y^{2}$ начало координат – стационарная точка, но ясно, что экстремума в этой точке нет.

Теорема (достаточное условие экстремума).
Пусть функция $f$ дважды непрерывно-дифференцируема на открытом множестве $E \subset \mathbb{R}^{n}$. Пусть $x_{0} \in E$ – стационарная точка и $$\displaystyle Q_{x_{0}} \left(h\right) \equiv \sum_{i=1}^n \sum_{j=1}^n \frac{\partial^{2} f}{\partial x_{i} \partial x_{j}} \left(x_{0}\right)h^{i}h^{j}.$$ Тогда

  1. если $Q_{x_{0}}$ – знакоопределенная квадратичная форма, то функция $f$ в точке $x_{0}$ имеет локальный экстремум, а именно, минимум, если форма положительноопределенная, и максимум, если форма отрицательноопределенная;
  2. если квадратичная форма $Q_{x_{0}}$ неопределенная, то функция $f$ в точке $x_{0}$ не имеет экстремума.

Воспользуемся разложением по формуле Тейлора (12.7 стр. 292). Учитывая, что частные производные первого порядка в точке $x_{0}$ равны нулю, получим $$\displaystyle f \left(x_{0}+h\right)−f \left(x_{0}\right) = \frac{1}{2} \sum_{i=1}^n \sum_{j=1}^n \frac{\partial^{2} f}{\partial x_{i} \partial x_{j}} \left(x_{0}+\theta h\right)h^{i}h^{j},$$ где $0<\theta<1$. Обозначим $\displaystyle a_{ij}=\frac{\partial^{2} f}{\partial x_{i} \partial x_{j}} \left(x_{0}\right)$. В силу теоремы Шварца (12.6 стр. 289-290), $a_{ij}=a_{ji}$. Обозначим $$\displaystyle \alpha_{ij} \left(h\right)=\frac{\partial^{2} f}{\partial x_{i} \partial x_{j}} \left(x_{0}+\theta h\right)−\frac{\partial^{2} f}{\partial x_{i} \partial x_{j}} \left(x_{0}\right).$$ По предположению, все частные производные второго порядка непрерывны и поэтому $$\lim_{h \rightarrow 0} \alpha_{ij} \left(h\right)=0. \left(1\right)$$ Получаем $$\displaystyle f \left(x_{0}+h\right)−f \left(x_{0}\right)=\frac{1}{2}\left[Q_{x_{0}} \left(h\right)+\sum_{i=1}^n \sum_{j=1}^n \alpha_{ij} \left(h\right)h_{i}h_{j}\right].$$ Обозначим $$\displaystyle \epsilon \left(h\right)=\frac{1}{|h|^{2}}\sum_{i=1}^n \sum_{j=1}^n \alpha_{ij} \left(h\right)h_{i}h_{j}.$$ Тогда $$|\epsilon \left(h\right)| \leq \sum_{i=1}^n \sum_{j=1}^n |\alpha_{ij} \left(h\right)|$$ и, в силу соотношения $\left(1\right)$, имеем $\epsilon \left(h\right) \rightarrow 0$ при $h \rightarrow 0$. Окончательно получаем $$\displaystyle f \left(x_{0}+h\right)−f \left(x_{0}\right)=\frac{1}{2}\left[Q_{x_{0}} \left(h\right)+\epsilon \left(h\right)|h|^{2}\right]. \left(2\right)$$ Предположим, что $Q_{x_{0}}$ – положительноопределенная форма. Согласно лемме о положительноопределённой квадратичной форме (12.8.1 стр. 295, Лемма 1), существует такое положительное число $\lambda$, что $Q_{x_{0}} \left(h\right) \geqslant \lambda|h|^{2}$ при любом $h$. Поэтому $$\displaystyle f \left(x_{0}+h\right)−f \left(x_{0}\right) \geq \frac{1}{2}|h|^{2} \left(λ+\epsilon \left(h\right)\right).$$ Так как $\lambda>0$, а $\epsilon \left(h\right) \rightarrow 0$ при $h \rightarrow 0$, то правая часть будет положительной при любом векторе $h$ достаточно малой длины.
Итак, мы пришли к тому, что в некоторой окрестности точки $x_{0}$ выполнено неравенство $f \left(x\right) >f \left(x_{0}\right)$, если только $x \neq x_{0}$ (мы положили $x=x_{0}+h$\right).  Это означает, что в точке $x_{0}$ функция имеет строгий локальный минимум, и тем самым доказана первая часть нашей теоремы.
Предположим теперь, что $Q_{x_{0}}$ – неопределенная форма. Тогда найдутся векторы $h_{1}$, $h_{2}$, такие, что $Q_{x_{0}} \left(h_{1}\right)=\lambda_{1}>0$, $Q_{x_{0}} \left(h_{2}\right)= \lambda_{2}<0$. В соотношении $\left(2\right)$ $h=th_{1}$ $t>0$. Тогда получим $$f \left(x_{0}+th_{1}\right)−f \left(x_{0}\right) = \frac{1}{2} \left[ t^{2} \lambda_{1} + t^{2} |h_{1}|^{2} \epsilon \left(th_{1}\right) \right] = \frac{1}{2} t^{2} \left[ \lambda_{1} + |h_{1}|^{2} \epsilon \left(th_{1}\right) \right].$$ При достаточно малых $t>0$ правая часть положительна. Это означает, что в любой окрестности точки $x_{0}$ функция $f$ принимает значения $f \left(x\right)$, большие, чем $f \left(x_{0}\right)$.
Аналогично получим, что в любой окрестности точки $x_{0}$ функция $f$ принимает значения, меньшие, чем $f \left(x_{0}\right)$. Это, вместе с предыдущим, означает, что в точке $x_{0}$ функция $f$ не имеет экстремума.

Рассмотрим частный случай этой теоремы для функции $f \left(x,y\right)$ двух переменных, определенной в некоторой окрестности точки $\left(x_{0},y_{0}\right)$ и имеющей в этой окрестности непрерывные частные производные первого и второго порядков. Предположим, что $\left(x_{0},y_{0}\right)$ – стационарная точка, и обозначим $$\displaystyle a_{11}= \frac{\partial^{2} f}{\partial x^{2}} \left(x_{0} ,y_{0}\right), a_{12}=\frac{\partial^{2} f}{\partial x \partial y} \left(x_{0}, y_{0}\right), a_{22}=\frac{\partial^{2} f}{\partial y^{2}} \left(x_{0}, y_{0}\right).$$ Тогда предыдущая теорема примет следующий вид.

Теорема
Пусть $\Delta=a_{11} \cdot a_{22} − a_{12}^2$. Тогда:

  1. если $\Delta>0$, то функция $f$ имеет в точке $\left(x_{0},y_{0}\right)$ локальный экстремум, а именно, минимум, если $a_{11}>0$, и максимум, если $a_{11}<0$;
  2. если $\Delta<0$, то экстремума в точке $\left(x_{0},y_{0}\right)$ нет. Как и в одномерном случае, при $\Delta=0$ экстремум может быть, а может и не быть.

Примеры решения задач

Алгоритм нахождения экстремума функции многих переменных:

  1. Находим стационарные точки;
  2. Находим дифференциал 2-ого порядка во всех стационарных точках
  3. Пользуясь достаточным условием экстремума функции многих переменных, рассматриваем дифференциал 2-ого порядка в каждой стационарной точке
  1. Исследовать функцию на экстремум $f \left(x,y\right) = x^{3} + 8 \cdot y^{3} + 18 \cdot x — 30 \cdot y$.
    Решение

    Найдем частные производные 1-го порядка: $$\displaystyle \frac{\partial f}{\partial x}=3 \cdot x^{2} — 6 \cdot y;$$ $$\displaystyle \frac{\partial f}{\partial y}=24 \cdot y^{2} — 6 \cdot x.$$ Составим и решим систему: $$\displaystyle \begin{cases}\frac{\partial f}{\partial x}= 0\\\frac{\partial f}{\partial y}= 0\end{cases} \Rightarrow \begin{cases}3 \cdot x^{2} — 6 \cdot y= 0\\24 \cdot y^{2} — 6 \cdot x = 0\end{cases} \Rightarrow \begin{cases}x^{2} — 2 \cdot y= 0\\4 \cdot y^{2} — x = 0\end{cases}$$ Из 2-го уравнения выразим $x=4 \cdot y^{2}$ — подставим в 1-ое уравнение: $$\displaystyle \left(4 \cdot y^{2}\right)^{2}-2 \cdot y=0$$ $$16 \cdot y^{4} — 2 \cdot y = 0$$ $$8 \cdot y^{4} — y = 0$$ $$y \left(8 \cdot y^{3} -1\right)=0$$ В результате получены 2 стационарные точки:
    1) $y=0 \Rightarrow x = 0, M_{1} = \left(0, 0\right)$;
    2) $\displaystyle 8 \cdot y^{3} -1=0 \Rightarrow y^{3}=\frac{1}{8} \Rightarrow y = \frac{1}{2} \Rightarrow x=1, M_{2} = \left(\frac{1}{2}, 1\right)$
    Проверим выполнение достаточного условия экстремума:
    $$\displaystyle \frac{\partial^{2} f}{\partial x^{2}}=6 \cdot x; \frac{\partial^{2} f}{\partial x \partial y}=-6; \frac{\partial^{2} f}{\partial y^{2}}=48 \cdot y$$
    1) Для точки $M_{1}= \left(0,0\right)$:
    $$\displaystyle A_{1}=\frac{\partial^{2} f}{\partial x^{2}} \left(0,0\right)=0; B_{1}=\frac{\partial^{2} f}{\partial x \partial y} \left(0,0\right)=-6; C_{1}=\frac{\partial^{2} f}{\partial y^{2}} \left(0,0\right)=0;$$
    $A_{1} \cdot B_{1} — C_{1}^{2} = -36<0$ , значит, в точке $M_{1}$ нет экстремума.
    2) Для точки $M_{2}$:
    $$\displaystyle A_{2}=\frac{\partial^{2} f}{\partial x^{2}} \left(1,\frac{1}{2}\right)=6; B_{2}=\frac{\partial^{2} f}{\partial x \partial y} \left(1,\frac{1}{2}\right)=-6; C_{2}=\frac{\partial^{2} f}{\partial y^{2}} \left(1,\frac{1}{2}\right)=24;$$
    $A_{2} \cdot B_{2} — C_{2}^{2} = 108>0$, значит, в точке $M_{2}$ существует экстремум, и поскольку $A_{2}>0$, то это минимум.
    Ответ: Точка $\displaystyle M_{2} \left(1,\frac{1}{2}\right)$ является точкой минимума функции $f$.

  2. Исследовать функцию на экстремум $f=y^{2} + 2 \cdot x \cdot y — 4 \cdot x — 2 \cdot y — 3$.
    Решение

    Найдём стационарные точки: $$\displaystyle \frac{\partial f}{\partial x}=2 \cdot y — 4;$$ $$\displaystyle \frac{\partial f}{\partial y}=2 \cdot y + 2 \cdot x — 2.$$
    Составим и решим систему: $$\displaystyle \begin{cases}\frac{\partial f}{\partial x}= 0\\\frac{\partial f}{\partial y}= 0\end{cases} \Rightarrow \begin{cases}2 \cdot y — 4= 0\\2 \cdot y + 2 \cdot x — 2 = 0\end{cases} \Rightarrow \begin{cases} y = 2\\y + x = 1\end{cases} \Rightarrow x = -1$$
    $M_{0} \left(-1, 2\right)$ – стационарная точка.
    Проверим выполнение достаточного условия экстремума: $$\displaystyle A=\frac{\partial^{2} f}{\partial x^{2}} \left(-1,2\right)=0; B=\frac{\partial^{2} f}{\partial x \partial y} \left(-1,2\right)=2; C=\frac{\partial^{2} f}{\partial y^{2}} \left(-1,2\right)=2;$$
    $A \cdot B — C^{2} = -4<0$ , значит, в точке $M_{0}$ нет экстремума.
    Ответ: экстремумы отсутствуют.

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


Таблица лучших: Локальные экстремумы функций многих переменных

максимум из 4 баллов
Место Имя Записано Баллы Результат
Таблица загружается
Нет данных

Литература:
См. Также:

М1736. Шахматные кони

Задача из журнала «Квант» (2000 год, 4 выпуск)

Условие

Какое наибольшее число коней можно расставить на доске $5\times5$ так, чтобы каждый из них бил ровно двух других?

Решение

Рисунок 1

На рисунке $1$ приведено расположение $16$ коней, удовлетворяющее условию задачи. Покажем, что большее число коней расставить нельзя. Заметим, что количество коней, расположенных на черных клетках, равно количеству коней, расположенных на белых клетках. Значит, если число пустых белых клеток равно $n$, то число пустых черных клеток равно $n+1$.

Рисунок 2

Заметим, что для оптимального расположения коней центральная клетка пуста, так как в противном случае из восьми клеток, которые бьет конь, стоящий на центральном поле, ровно шесть пустых белых. Отсюда $n\geqslant6$, и число коней не превосходит $25-n-(n+1)\leqslant12$.

Рисунок 3

Разобьем белые клетки на четыре группы так, как показано на рисунке $2$ (клетки одной группы отмечены одинаковыми цифрами). Покажем, что для оптимального расположения по крайней мере одна клетка каждой группы пуста, отсюда будет следовать, что $n\geqslant4$ . Предположим противное: например, что на всех клетках группы $3$ стоят кони. Обозначим их буквами $a$, $b$ и $с$ (рис.3). Конь, стоящий на клетке $а$, бьет клетки $f$, $d$ и центральную. Но, как было показано выше, центральная клетка пуста, значит, на клетках $f$ и $d$ стоят кони.

Аналогично можно показать, что на клетках $e$ и $g$ тоже стоят кони. Но тогда конь, стоящий на клетке $c$, бьет четырех коней, расположенных на $d$, $e$, $f$ и $g$, что противоречит условию.

Итак, число пустых белых клеток $n\geqslant4$. Значит, число коней не больше

$25-n-(n+1)\leqslant12$.

Ответ: $16$.

М. Горелов

6.2 Интегрирование по частям и замена переменной

Теорема (формула интегрирования по частям).
Пусть функции $u(x)$ и $v(x)$ дифференцируемы на интервале $I$. Если одна из функций $u(x)v'(x)$ или $u'(x)v(x)$ имеет первообразную на интервале $I$, то на этом интервале имеет первообразную и другая функция, причем справедливо равенство $$\begin{equation}\label{eq:exp1}\int u(x)v'(x)dx=u(x)v(x)-\int u'(x)v(x)dx\end{equation}.$$

Доказательство сразу следует из правила дифференцирования произведения. Действительно, пусть $u(x)v'(x)$ имеет первообразную. Тогда, по правилу дифференцирования произведения, имеем $$[u(x)v(x)]’=u'(x)v(x)+u(x)v'(x).$$
Отсюда получаем, что $u'(x)v(x)$ является разностью двух производных функций, т. е. разностью двух функций, имеющих первообразные. Поэтому она сама также является производной, т. е. имеет первообразную, и справедливо равенство $\eqref{eq:exp1}$.

Замечание 1.
Коротко правило интегрирования по частям может быть записано так:
$$\int udv=uv-\int vdu.$$
Действительно, в этой записи используется формула для вычисления дифференциала функции $du(x)=u'(x)dx$.

Замечание 2.
Если одна из функций дифференцируема, а другая имеет первообразную, то их произведение (производной на функцию, имеющую первообразную) не обязано иметь первообразную. Такой пример приводится сразу после этого замечания. Поэтому в формулировке теоремы нужно предполагать наличие первообразной у одной из функций $u'(x)v(x)$ или $u(x)v'(x)$.

Утверждение.
Существуют дифференцируемая функция $u$ и имеющая первообразную функция $v$, такие, что $u’v$ не имеет первообразной.

Достаточно показать, что квадрат функции, имеющей первообразную, может не иметь первообразной.
Положим $f(x)=|x|^\alpha \sin\displaystyle\frac{1}{x}$, $x\neq0$, $f(0)=0$. При $\alpha>1$ функция $f$ дифференцируема на $\mathbb{R}$ и ее производная равна
$$\begin{equation*}f'(x) = \begin{cases}\alpha|x|^{\alpha-1}\sin\displaystyle\frac{1}{|x|}-|x|^{\alpha-2}\cos\displaystyle\frac{1}{x},\;  x\neq0, \\ 0,\;  x=0. \end{cases}\end{equation*}$$
Поскольку функция $\alpha|x|^{\alpha-1}\sin\displaystyle\frac{1}{x}\equiv\varphi(x) (x\neq0)$, $\varphi(0) = 0$ непрерывна на $\mathbb{R}$, а значит, имеет первообразную на $\mathbb{R}$, то функция
$$v(x)\equiv|x|^{\alpha-2}\cos\displaystyle\frac{1}{x}=\varphi(x)-f'(x) (x\neq0),\;\; v(0) = 0,$$
имеет первообразную на $\mathbb{R}$ как разность двух функций — $\varphi(x)$ и $f'(x)$, имеющих первообразные на $\mathbb{R}$.
Покажем, что при надлежащем выборе числа $\alpha>1$ функция $v^2(x)$ не имеет первообразной на $\mathbb{R}$. Предположим противное. Пусть существует такая дифференцируемая на $\mathbb{R}$ функция $F$, что для всех $x\in \mathbb{R}$ справедливо равенство
$$F'(x)=v^2(x)=|x|^{2(\alpha-2)}\cos^2\displaystyle\frac{1}{x},\;\; (x\neq0),\;\; F'(0)=0.$$
Для $k = 1, 2, \ldots$ обозначим
$$[a_k, b_k] = \left[\displaystyle\frac{4}{(4k+1)\pi}, \displaystyle\frac{4}{(4k-1)\pi}\right].$$
Если $x\in[a_k, b_k]$, то
$$\displaystyle\frac{1}{x}\in\left[\displaystyle\frac{(4k-1)\pi}{4}, \displaystyle\frac{(4k+1)\pi}{4}\right], \\ \displaystyle\frac{2}{x}\in\left[\displaystyle\frac{(4k-1)\pi}{4}, \displaystyle\frac{(4k+1)\pi}{4}\right]=\left[2k\pi-\displaystyle\frac{\pi}{2}, 2k\pi+\displaystyle\frac{\pi}{2}\right].$$
Поэтому для $x\in[a_k, b_k]$ имеем
$$\cos^2\displaystyle\frac{1}{x}=\displaystyle\frac{1+\cos\displaystyle\frac{2}{x}}{2}\geqslant\displaystyle\frac{1}{2},$$
так что $F'(x)\geqslant\displaystyle\frac{1}{2}x^{2(\alpha-2)}, x\in[A_k, b_k]$. По теореме Лагранжа получим
$$F(b_k)-F(a_k)=F'(\xi_k)(b_k-a_k)\geqslant\displaystyle\frac{1}{2}\xi^{2(\alpha-2)}_k(b_k-a_k)\geqslant\displaystyle\frac{b_k-a_k}{2}b^{2(\alpha-2)}_k,$$
где $\xi_k\in[a_k, b_k]$, а число $\alpha>1$ будет выбрано так, что $\alpha<2$. Отсюда получим
$$F(a_k)\leqslant F(b_k)-\displaystyle\frac{b_k-a_k}{2}b^{2(\alpha-2)}_k.$$
Заметим, что отрезки $[a_k, b_k]$ попарно не пересекаются и, так как $F'(x)\geqslant0$, то функция $F$ не убывает. Значит,
$$F(b_{k+1})\leqslant F(a_k)\leqslant F(b_k)-\displaystyle\frac{b_k-a_k}{2}b^{2(\alpha-2)}_k.$$
Отсюда следует, что
$$\begin{equation}\label{eq:exp2}F(b_{k+1})\leqslant F(b_1)-\displaystyle\frac{1}{2}\sum^{k}_{s=1}(b_s-a_s)b^{2(\alpha-2)}_s.\end{equation}$$
Оценим последнюю сумму справа. Имеем
$$b_s-a_s=\displaystyle\frac{8}{\pi}\displaystyle\frac{1}{(4s+1)(4s-1)},$$
так что
$$\sum^{k}_{s=1}(b_s-a_s)b^{2(\alpha-2)}_s=\\=c_s\sum^{k}_{s=1}\displaystyle\frac{1}{(4s+1)(4s-1)}\left(\displaystyle\frac{1}{4s-1}\right)^{2(\alpha-2)}\geqslant c’_s\sum^{k}_{s=1}\displaystyle\frac{1}{s^{2\alpha-2}}.$$
Если $2\alpha-2\leqslant1$, т. е. $\alpha\leqslant\displaystyle\frac{3}{2}$, то $\sum\limits^k_{s=1}\displaystyle\frac{1}{s^{2\alpha-2}}\rightarrow\infty(k\rightarrow\infty)$. Поэтому из $\eqref{eq:exp2}$ следует, что $F(b_{k+1})\rightarrow-\infty$ при $k\rightarrow\infty$. Но поскольку $b_{k+1}\rightarrow+0 (k\rightarrow\infty)$, то это противоречит непрерывности функции $F$ в точке $x_0=0$ справа, которая вытекает из дифференцируемости функции $F$ в нуле.

Пример 1.
$\int x e^x dx=\begin{bmatrix}u=x, & dv=e^x dx\\du=dx, & v=e^x\end{bmatrix}=x e^x-\int e^x dx=x e^x-e^x+C.$

Пример 2. 
$\int x\cos x dx=\begin{bmatrix}u=x, & dv=\cos x dx\\du=dx, & v=\sin x\end{bmatrix}=\\=x\sin x-\int\sin x dx=x\sin x+\cos x+C.$

Пример 3. 
$\int x\ln x dx=\begin{bmatrix}u=\ln x, & dv=x dx\\du=\displaystyle\frac{dx}{x}, & v=\displaystyle\frac{x^2}{2}\end{bmatrix}=\\=\displaystyle\frac{x^2}{2}\ln x-\displaystyle\frac{1}{2}\int x dx=\displaystyle\frac{x^2}{2}\ln x-\displaystyle\frac{x^2}{4}+C.$

Следующий пример показывает такой способ применения формулы интегрирования по частям, когда в правой части появляется такой же интеграл, как и в левой части. Тогда искомый интеграл может быть найден из полученного равенства.

Пример 4. 
$\int e^x\cos xdx=\begin{bmatrix}u=e^x, & dv=\cos xdx\\du=e^x dx, & v=\sin x\end{bmatrix}=\\=e^x\sin x-\int e^x\sin xdx=e^x\sin x-\begin{bmatrix}u=e^x, & dv=\sin xdx\\du=e^x dx, & v=-\cos x\end{bmatrix}=\\=e^x\sin x+e^x\cos x-\int e^x\cos xdx.$
Из этого равенства находим
$$\int e^x\cos xdx=\displaystyle\frac{e^x}{2}[\sin x+\cos x] + C.$$

Теорема (о замене переменной в интеграле). Пусть функция $f$ имеет первообразную на интервале $I$, т. е.
$$\int f(t)dt=F(t)+C.$$
Пусть, далее, функция $\varphi$ дифференцируема на интервале $\Delta$ и $\varphi(\Delta)\subset I$. Тогда справедливо равенство
$$\int f(\varphi(x))\varphi'(x)dx=F(\varphi(x))+C.$$

Действительно, по правилу дифференцирования сложной функции имеем
$$[F(\varphi(x))]’=F'(\varphi(x))\varphi'(x)=f(\varphi(x))\varphi'(x).$$

Пример 1. $\int\sin^3 xdx=\int\sin x(1-\cos^2 x)dx=[\cos x = t, dt =-\sin xdx]=\\=\int(t^2-1)dt=\displaystyle\frac{t^3}{3}-t+C=\displaystyle\frac{\cos^3 x}{3}-\cos x+C.$

Пример 2. $\int\displaystyle\frac{dx}{1+e^x}=\begin{bmatrix}\text{преобразуем} & \displaystyle\frac{1}{1+e^x}=\displaystyle\frac{1}{e^x(e^-x+1)}=\displaystyle\frac{e^{-x}}{1+e^{-x}}\\ \text{положим} & 1+e^{-x}=t, dt=-e^{-x}dx\end{bmatrix}=-\int\displaystyle\frac{dt}{t}=\\=-\ln|t|+C=-\ln(1+e^{-x})+C=-\ln\displaystyle\frac{1+e^x}{e^x}+C=x-\ln(1+e^x)+C.$

Замечание. Мы использовали равенство $\int\displaystyle\frac{dx}{x}=\ln|x|+C$. Это равенство следует применять отдельно для промежутков $(0, +\infty)$ и $(-\infty, 0)$.
При $x>0$ оно справедливо по той причине, что $|x|=x,$ $(\ln x+C)’=\displaystyle\frac{1}{x}$.
Если же $x<0$, то $|x|=-x$, $\ln(-x)+C)’=\displaystyle\frac{1}{-x}\cdot(-1)=\displaystyle\frac{1}{x}$, так что и в этом случае равенство верно.

Итак, если исходный интеграл представлен в виде $\int f(\varphi(x))\varphi'(x)dx$, то, выполняя замену переменной $t=\varphi(x)$, мы приходим к интегралу $\int f(t)dt$. Часто замену переменной в интеграле $\int g(x)dx$ применяют в виде $x = \psi(t)$, затем вычисляют интеграл по $t$, а чтобы вернуться к старой переменной $x$, нужно выразить новую переменную $t$ через $x$.

Пример. Пусть $I=\int\sqrt{1-x^2}dx$.
Для вычисления этого интеграла положим $x=\sin t$. Тогда
$$dx=\cos tdt, \sqrt{1-x^2}=\sqrt{1-\sin^2 t}=\sqrt{\cos^2 t}=\cos t.$$
Подставляя это в исходный интеграл, получаем
$$I=\int\cos^2 tdt=\int\displaystyle\frac{1+\cos 2t}{2}dt=\displaystyle\frac{t}{2}+\displaystyle\frac{\sin 2t}{4}+C.$$
Из равенства $x=\sin t$ имеем $t=\arcsin x$, так что
$$I=\displaystyle\frac{\arcsin x}{2}+\displaystyle\frac{x\sqrt{1-x^2}}{2}+C.$$
Вычислим этот интеграл еще одним способом, основанным на применении формулы интегрирования по частям.
$$I=\int\sqrt{1-x^2}dx=\begin{bmatrix}u=\sqrt{1-x^2}, & dv=dx\\du=-\displaystyle\frac{x}{\sqrt{1-x^2}}dx, & v=x\end{bmatrix}=\\=x\sqrt{1-x^2}+\int\displaystyle\frac{x^2}{\sqrt{1-x^2}}dx=\\=x\sqrt{1-x^2}+\int\displaystyle\frac{x^2-1+1}{\sqrt{1-x^2}}dx=x\sqrt{1-x^2}-I+\int\displaystyle\frac{dx}{\sqrt{1-x^2}}.$$
Воспользовавшись теперь равенством $\int\frac{dx}{\sqrt{1-x^2}}=\arcsin x+c$, вытекающим из того, что $(\arcsin x+C)’=\displaystyle\frac{1}{\sqrt{1-x^2}}$, получим $I=x\sqrt{1-x^2}-I+\arcsin x$. Отсюда следует
$$I=\displaystyle\frac{1}{2}[x\sqrt{1-x^2}+\arcsin x]+C.$$

Решение примеров

Интегрирование по частям:

  1. $\int\text{arctg}\:xdx$
    Решение

    $\int\text{arctg}\:xdx=\begin{bmatrix}\text{arctg}\:{x}=u, du=\displaystyle\frac{dx}{1+x^2}\\dx=dv, v=x\end{bmatrix}=x\:\text{arctg}\: {x}-\int\displaystyle\frac{xdx}{1+x^2}=\\=x\:\text{arctg}\: {x}-\displaystyle\frac{1}{2}\int\displaystyle\frac{dx^2}{1+x^2}=x\:\text{arctg}\: {x}-\displaystyle\frac{1}{2}\ln(1 + x^2) + C.$

  2. $\int x\sin{x}dx$
    Решение

    $\int x\sin{x}dx=\begin{bmatrix}x=u, du=dx\\ \sin{x}=dv, v=-\cos{x}\end{bmatrix}=-x\cos{x}+\int\cos{x}dx=\\=-x\cos{x}+\sin{x}+C.$

  3. $\int xe^{x}dx$
    Решение

    $\int xe^{x}dx=\begin{bmatrix}u=x, du=dx\\dv=e^{x}dx, v=e^x\end{bmatrix}=xe^x-\int e^{x}dx=xe^x-e^x+C.$

Замена переменной:

  1. $\int\displaystyle\frac{dx}{\sqrt{e^x-1}}$
    Решение

    $\int\displaystyle\frac{dx}{\sqrt{e^x-1}}=\begin{bmatrix}\sqrt{e^x-1}=t, x=\ln(t^2+1)\\dx=\displaystyle\frac{2tdt}{t^2+1}\end{bmatrix}=2\int\displaystyle\frac{tdt}{t(t^2+1)}=\\=2\int\frac{dt}{t^2+1}=2\: \text{arctg}\: t+C.$

  2. $\int\displaystyle\frac{x^{2}dx}{5-x^6}$
    Решение

    $\int\frac{x^2dx}{5-x^6}=\begin{bmatrix}x^3=t\\dt=3x^2dx\\x^6=t^2\end{bmatrix}=\frac{1}{3}\int\frac{dt}{5-t^2}=\frac{1}{3}\int\frac{dt}{(\sqrt{5})^2-t^2}=\\=\frac{1}{6\sqrt{5}}\ln\left|\frac{\sqrt{5}+t}{\sqrt{5}-t}\right|+C=[t=x^3]=\frac{1}{6\sqrt{5}}\ln\left|\frac{\sqrt{5}+x^3}{\sqrt{5}-x^3}\right|+C.$

Интегрирование по частям и замена переменной

Пройдя этот тест, вы закрепите пройденный ранее материал по теме «Интегрирование по частям и замена переменной»

Таблица лучших: Интегрирование по частям и замена переменной

максимум из 18 баллов
Место Имя Записано Баллы Результат
Таблица загружается
Нет данных
Литература

Смотрите также

  1. Фихтенгольц Г. М. Курс дифференциального и интегрального исчисления: учеб. пособие для ун-тов и пед. ин-тов. Т. 2 / Г. М. Фихтенгольц. — 5-е изд., стереотип. — Москва: Физматгиз, 1970 (стр.23, 31)
  2. Тер-Крикоров А. М., Шабунин М. И. Курс математического анализа: Учеб. пособие для вузов. – 3-е изд., исправл. / А. М. Тер-Крикоров, М. И. Шабунин. – Москва: ФИЗМАТЛИТ, 2001  (стр. 277, 281)
  3. Кудрявцев Л. Д. Курс математического анализа : учебник для вузов: В 3 т. Т. 1. Дифференциальное и интегральное исчисления функций одной переменной / Л. Д. Кудрявцев. — 5-е изд., перераб. и доп. — Москва: Дрофа, 2003 (стр. 461, 464)

М1752. Восемь шахматных ладей

Задача из журнала «Квант» (2000 год, 6 выпуск)

Условие

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

Решение

Если не выдвигать ограничений на цвет полей, то $8$ ладей допустимым образом можно расставить $8!$ различными способами; вообще для доски размером $n\times{n}$ число способов расстановки n ладей равно числу перестановок из n элементов, т.е. $n!$.

Но нам нужно учесть ограничение на цвет полей: ладьи расставляются только на черных полях доски. Перекрасим черные поля доски в красный и синий цвета. При этом всякое черное поле, расположенное на нечетной вертикали (но на четной горизонтали), сделаем красным, а всякое черное поле, расположенное на четной вертикали (но на нечетной горизонтали), сделаем синим (см. рисунок). Из $8$ ладей, стоящих допустимым образом на черных полях, $4$ ладьи окажутся на красных полях, а остальные $4$ ладьи – на синих.

Красные поля образуют как бы отдельную шахматную доску размером $4\times4$, поэтому число способов расстановки $4$ ладей на красных полях равно $4! = 24$. То же можно сказать о синих полях.

В результате число способов для допустимых расстановок $8$ ладей равно $24^2.$

Ответ: $24^2$.

В. Произволов