8.5 Площадь поверхности тела вращения

Пусть на отрезке $\left[a,b\right]$ задана неотрицательная непрерывно дифференцируемая функция $f$. Будем вращать ее график вокруг оси $Ox$. В результате получим некоторую поверхность. Выведем формулу для вычисления ее площади.

Рассмотрим разбиение отрезка $\left[a,b\right]$ точками $a = x_{0} < x_{1} < . . . < x_{n}$. Вращая криволинейную трапецию, ограниченную графиком функции $y = f(x), x_{i} \leqslant x \leqslant x_{i+1}$, получим усеченный «конус» с образующей $y = f(x)$ и радиусами оснований $f(x_{i})$ и $f(x_{i+1})$. Соединим точки $\left(x_{i},f\left(x_{i}\right)\right)$ и $\left(x_{i+1},f\left(x_{i+1}\right)\right)$ отрезком. В результате вращения получим усеченный конус с теми же радиусами оснований и этим отрезком в качестве образующей. Площадь боковой поверхности этого конуса равна
$$2\pi\frac{f\left(x_{i}\right)+f\left(x_{i+1}\right)}{2}l_{i},$$
где $l_{i}=\sqrt{\left(\Delta x_{i}\right)^{2}+\left(f\left(x_{i+1}\right)-f\left(x_{i}\right)\right)^{2}}$ — длина образующей. Складывая, получаем
$$\sigma\equiv2\pi\sum\limits_{i=0}^{n-1}{\frac{f\left(x_{i}\right)+f\left(x_{i+1}\right)}{2}l_{i}}.$$

При стремлении к нулю диаметра разбиения сумма σ стремится к определенному пределу, который естественно считать площадью поверхности вращения. С другой стороны, если в выражении для $l_{i}$ применить формулу Лагранжа, то получим
$$\sigma=2\pi\sum\limits_{i=0}^{n-1}{\frac{f\left(x_{i}\right)+f\left(x_{i+1}\right)}{2}\sqrt{1+\left[f^{\prime}\left(\xi_{i}\right)\right]^{2}}\Delta x_{i}},$$
где $\xi_{i}\epsilon\left[x_{i},x_{i+1}\right]$. Заменим в правой части $x_{i}$ и $x_{i+1}$ на $\xi_{i}$ и оценим погрешность. Имеем
$$\mid\sigma-2\pi\sum\limits_{i=0}^{n-1}{f\left(\xi_{i}\right)}\sqrt{1+\left[f^{\prime}\left(\xi_{i}\right)\right]^{2}}\Delta x_{i}\mid\leqslant2\pi\sum\limits_{i=0}^{n-1}\omega_{i}\sqrt{1+M^{2}}\Delta x_{i}$$
где $ω_{i}$ – колебание функции $f$ на $\left[x_{i},x_{i+1}\right]$, а $M$ – верхняя грань функции $\mid f^{\prime}\mid$ на $\left[a,b\right]$. Из условий на функцию $f$ следует, что правая часть стремится к нулю вместе с диаметром разбиения. Поэтому сумма $\sigma$ стремится к $2\pi\int\limits_{a}^{b} f\left(x\right)\sqrt{1+\left[f^{\prime}\left(x\right)\right]^{2}}{\text{d}x}$.

Итак, получили следующую формулу для нахождения площади поверхности вращения:
$$S=2\pi\int\limits_{a}^{b} f\left(x\right)\sqrt{1+\left[f^{\prime}\left(x\right)\right]^{2}}{\text{d}x}.$$

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

  1. Найти площадь поверхности, образованной вращением вокруг оси $Ox$ дуги кубической параболы $y=x^{3}$, заключенной между прямыми $x=0$ и $x=1$.
    Решение

    $P=2\pi\int\limits_{a}^{b} f\left(x\right)\sqrt{1+\left(f^{\prime}\left(x\right)\right)^{2}}dx=2\pi\int\limits_{0}^{1}x^{3}\sqrt{1+\left(3x^{2}\right)^{2}}dx=$
    $=2\pi\int\limits_{0}^{1}x^{3}\sqrt{1+9x^{4}}dx=\begin{bmatrix}t=1+9x^{4} \\dt=36x^{3}dx \end{bmatrix}=$
    $=2\pi\int\limits_{1}^{10} \sqrt{t}\frac{\text{d}t}{36}=\frac{\pi}{18}\int\limits_{1}^{10} \sqrt{t}{\text{d}t}=\frac{\pi}{18}\cdot\frac{2}{3}t^{\frac{3}{2}}\mid^{10}_{1}=\frac{\pi}{27}\left(10\sqrt{10}-1\right)$

  2. Вычислить площадь поверхности, которая образована вращением кривой $y^{2}=4+x$, которая отсекается прямой $x=2$ вокруг оси $Ox$.
    Решение

    $P=2\pi\int\limits_{a}^{b} \psi\left(t\right)\sqrt{\left(\varphi^{\prime}\left(t\right)\right)^{2}+\left(\psi^{\prime}\left(t\right)\right)^{2}}=2\pi\int\limits_{-4}^{2} y\sqrt{1+\left(y^{\prime}\right)^2}\text{d}x=$
    $=2\pi\int\limits_{-4}^{2} \sqrt{\left(4+x\right)\left(1+\frac{1}{4(4+x)}\right)}\text{d}x=\pi\int\limits_{-4}^{2} \sqrt{17+4x}{\text{d}x}=$
    $=\frac{\pi}{6}\left(125-1\right)=\frac{62}{3}\pi$

  3. Вычислить площадь поверхности тела вращения, заданными такими уравнениями: $x\left(t\right)=3\cos t$, $y\left(t\right)=3\sin t$.
    Решение

    $P=2\pi\int\limits_{a}^{b} y\left(t\right)\sqrt{\left(x^{\prime}\left(t\right)\right)^{2}+\left(y^{\prime}\left(t\right)\right)^{2}}\text{d}x=2\pi\int\limits_{0}^{\pi} 3\sin t\cdot3\text{d} t=$
    $=\frac{\pi}{6}\left(17+4x\right)^{\frac{3}{2}}\mid^{2}_{-4}=-18\pi \left(\cos t\right)\mid^{\pi}_{0}=-18\pi\cdot\left(\cos \pi-\cos 0\right)\mid^{\pi}_{0}=$
    $=-18\pi\left(-1-1\right)=36\pi$

Площадь поверхности тела вращения

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

  1. Лысенко З.М. Конспект лекций по математическому анализу
  2. В.И.Коляда, А.А.Кореновский. Курс лекций по математическому анализу т.1. Одесса, «Астропринт», 2010, стр 253-254
  3. Б.П.Демидович. Сборник задач и упражнений по математическому анализу, 13-ое издание, Московского университета, 1997, стр. 419-421

Равномерная сходимость и дифференцируемость

Теорема

Пусть [latex]\left \{ f_{n} \right \}[/latex] — последовательность непрерывно дифференцируемых на отрезке [latex]\left[a;b\right][/latex] функций. Предположим, что в некоторой точке [latex]x\in \left[a;b\right][/latex] числовая последовательность [latex]\left \{ f_{n}(x_{0}) \right \}[/latex] сходится, а функциональная последовательность [latex]\left \{ f’_{n} \right \}[/latex] равномерно сходится на [latex]\left[a;b\right][/latex]. Тогда исходная последовательность [latex]\left \{ f_{n} \right \}[/latex] равномерно сходится на [latex]\left[a;b\right][/latex] к непрерывно дифференцируемой функции [latex]f[/latex], причем для любого [latex]x\in \left[a;b\right][/latex] справедливо равенство [latex]f'(x)=\lim_{n\rightarrow \infty }f’_{n}(x)[/latex].

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

Спойлер

Обозначим [latex]\varphi (x)=\lim_{n\rightarrow \infty }f’_{n}(x)[/latex]. По теореме о непрерывности предела равномерно сходящейся последовательности непрерывных функций получаем, что функция [latex]\varphi[/latex] непрерывна на [latex]\left[a;b\right][/latex]. Положим [latex]g(x)=\int_{x_{0}}^{x}\varphi (t)dt[/latex]. Применим на отрезке с концами [latex]x_{0}[/latex] и [latex]x[/latex]теорему о предельном переходе под знаком интеграла к последовательности [latex]\left \{ f’_{n}(t) \right \}[/latex]. Тогда получим
[latex]g(x)=\int_{x_{0}}^{x}\varphi (t)dt=\lim_{n\rightarrow \infty }\int_{x_{0}}^{x}f’_{n}(t)dt=\lim_{n\rightarrow \infty }(f_{n}(x)-f_{n}(x_{0}))[/latex]
(последнее равенство справедливо в силу формулы Ньютона-Лейбница). По условию теоремы существует [latex]\lim_{n\rightarrow \infty }f_{n}(x_{0})[/latex]. Тогда из равенства [latex]g(x)=\lim_{n\rightarrow \infty }(f_{n}(x)-f_{n}(x_{0}))[/latex] следует, что существует и [latex]\lim_{n\rightarrow \infty }f_{n}(x)[/latex], т.е. мы показали, что последовательность [latex]\left \{ f_{n}(x) \right \}[/latex] сходится на [latex]\left[a;b\right][/latex]. Обозначим [latex]f(x)=\lim_{n\rightarrow \infty }f_{n}(x)[/latex] и получим, что [latex]g(x)=f(x)-f(x_{0})[/latex], а так как функция [latex]g[/latex] дифференцируема (как интеграл с переменным верхним пределом от непрерывной функции [latex]\varphi[/latex]) и [latex]g'(x)=\varphi (x)[/latex](в силу формулы Ньютона-Лейбница), то отсюда следует, что функция [latex]f[/latex] также дифференцируема и [latex]f'(x)=\varphi (x)[/latex], т.е. функция [latex]f[/latex] имеет производную, эта производная непрерывна и справедливо равенство [latex]f'(x)=\lim_{n\rightarrow \infty }f’_{n}(x)[/latex]. Осталось показать, что последовательность [latex]\left \{ f_{n} \right \}[/latex] сходится к функции [latex]f[/latex] равномерно на [latex]\left[a;b\right][/latex]. Имеем
[latex]\left | f_{n}(x)-f(x) \right |\leq \left | (f_{n}(x)-f_{n}(x_{0}))-(f(x)-f(x_{0})) \right |+\left | f_{n} (x_{0})-f(x_{0})\right |[/latex].
Второе слагаемое справа мало при достаточно больших [latex]n[/latex], а первое оцениваем так:
[latex]\left | \int_{x_{0}}^{x}f’_{n}(t)dt-\int_{x_{0}}^{x}\varphi (t)dt \right |=\left | \int_{x_{0}}^{x}(f’_{n}(t)-\varphi (t))dt \right |\leq \int_{a}^{b}\left | f’_{n}(t)-\varphi (t) \right |dt[/latex].
Теперь остается учесть, что последовательность [latex]\left \{ f’_{n} \right \}[/latex] сходится к функции [latex]\varphi[/latex] равномерно на [latex]\left[a;b\right][/latex], и тем самым завершается доказательство теоремы.

[свернуть]

Теорема (о почленном дифференцировании ряда)

Пусть на отрезке [latex]\left[a;b\right][/latex] задана последовательность непрерывно дифференцируемых функций [latex]\left \{ u_{n} \right \}[/latex], такая, что ряд [latex]\sum_{n=1}^{\infty }u_{n}(x)[/latex] сходится в некоторой точке [latex]x\in \left[a;b\right][/latex], а ряд из производных [latex]\sum_{n=1}^{\infty }u’_{n}(x)[/latex] сходится равномерно на [latex]\left[a;b\right][/latex]. Тогда исходный ряд [latex]\sum_{n=1}^{\infty }u_{n}(x)[/latex] равномерно сходится на всем отрезке [latex]\left[a;b\right][/latex], его сумма является непрерывно дифференцируемой функцией и справедливо равенство [latex]\left ( \sum_{n=1}^{\infty }u_{n}(x) \right )’=\sum_{n=1}^{\infty }u’_{n}(x)\; (x\in \left[a;b\right])[/latex].

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

Спойлер

Для доказательства этой теоремы достаточно применить предыдущую теорему к последовательности частичных сумм ряда [latex]\sum_{n=1}^{\infty }u_{n}(x)[/latex].

[свернуть]

Теорема

Пусть на отрезке [latex]\left[a;b\right][/latex] задана последовательность дифференцируемых функций [latex]\left \{ f_{n} \right \}[/latex], сходящаяся в некоторой точке [latex]x\in \left[a;b\right][/latex] и такова, что функциональная последовательность [latex]\left \{ f’_{n} \right \}[/latex] сходится равномерно на [latex]\left[a;b\right][/latex]. Тогда последовательность [latex]\left \{ f_{n} \right \}[/latex] равномерно сходится на всем отрезке [latex]\left[a;b\right][/latex] к некоторой функции [latex]f[/latex], причем эта функция [latex]f[/latex] дифференцируема на [latex]\left[a;b\right][/latex] и справедливо равенство $$f'(x)=\lim_{n\rightarrow \infty }f’_{n}(x) \; \; \; \; \; (x\in \left[a;b\right])$$.

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

Спойлер

Зададим [latex]\varepsilon > 0[/latex]. По критерию Коши, в силу равномерной сходимости последовательности [latex]\left \{ f’_{n} \right \}[/latex], существует такой номер [latex]N[/latex], что для всех [latex]n, m\geq N[/latex] и для любого [latex]x\in \left[a;b\right][/latex] справедливо неравенство $$\left | f’_{n}(x)-f’_{m}(x) \right |< \varepsilon$$
Обозначим [latex]\varphi _{n, m}(x)=f_{n}(x)-f_{m}(x)[/latex]. Тогда [latex]\left | \varphi {}’_{n,m}(x) \right |< \varepsilon[/latex] и, в силу формулы Лагранжа, $$\left | \varphi _{n,m}(x)-\varphi _{n,m}(x_{0}) \right |\leq \left | \varphi {}'_{n,m}(\xi ) \right |\cdot \left | x-x_{0} \right |\leq \varepsilon \left | x-x_{0} \right |$$
Отсюда следует, что
$$\left | f_{n}(x)-f_{m}(x) \right |=\left | \varphi _{n,m}(x) \right |\leq \left | \varphi _{n,m}(x)-\varphi _{n,m}(x_{0}) \right |+\left | \varphi _{n,m}(x_{0}) \right |\leq \varepsilon \left | x-x_{0} \right |+\left | f_{n}(x_{0})-f_{m}(x_{0}) \right |$$
Из этого неравенства видно, что последовательность [latex]\left \{ f_{n} \right \}[/latex] удовлетворяет условию критерия Коши, а значит, она равномерно сходится. Обозначим [latex]f(x)=\lim_{n\rightarrow \infty }f_{n}(x)[/latex]. Далее, для [latex]n,m\geq N[/latex] имеем $$\left | \varphi _{n,m}(x+h)-\varphi _{n,m}(x) \right |\leq \varepsilon \left | h \right |\; \; \; \; \; (x, x+h\in \left [ a,b \right ])$$
Это неравенство можем переписать так: $$\left | \frac{f_{n}(x+h)-f_{n}(x)}{h} — \frac{f_{m}(x+h)-f_{m}(x)}{h}\right |\leq \varepsilon $$
Устремим [latex]n\rightarrow \infty [/latex] и тогда получим $$\left | \frac{f(x+h)-f(x)}{h} — \frac{f_{m}(x+h)-f_{m}(x)}{h}\right |\leq \varepsilon \; \; \; \; \; (m\geq N)$$
Зафиксируем [latex]m\geq N[/latex] и найдем такое [latex]\delta >0[/latex], что для всех [latex]h[/latex], удовлетворяющих условию [latex]0< \left | h \right |< \delta [/latex], справедливо неравенство $$\left | \frac{f_{m}(x+b)-f_{m}(x)}{h} -f{}'_{m}(x)\right |< \varepsilon $$
Тогда получим, что $$\left | \frac{f(x+h)-f(x)}{h}-f'_{m}(x) \right |< 2\varepsilon \; \; \; \; \; (0< \left | h \right |< \delta)$$
Если в неравенстве [latex]\left | f'_{n}(x)-f'_{m}(x) \right |< \varepsilon [/latex] ([latex]n, m\geq N[/latex]) перейдем к пределу при [latex]n\rightarrow \infty [/latex] (как уже доказано, он существует), то получим $$\left | \varphi (x)-f'_{m}(x) \right |\leq \varepsilon$$ где обозначено [latex]\varphi (x)=\lim_{n\rightarrow \infty }f'_{n}(x)[/latex]. Отсюда следует, что $$\left | \frac{f(x+h)-f(x)}{h}-\varphi(x) \right |< 3\varepsilon \; \; \; \; \; (0< \left | h \right |< \delta)$$
Это означает, что существует $$\lim_{h\rightarrow 0}\frac{f(x+h)-f(x)}{h}=\varphi (x)=\lim_{n\rightarrow \infty }f'_{n}(x) \; \; \; \; \; \; (x \in \left[a;b\right])$$ .

[свернуть]

Тесты

Равномерная сходимость и дифференцируемость

Проверьте свои знания по теме «Равномерная сходимость и дифференцирование»

Теорема о разности двух первообразных

Дифференцируемые в промежутке [latex]\bigtriangleup[/latex] функции [latex]F(x)[/latex] и [latex]G(x)[/latex] будут в этом промежутке первообразными одной и той же функции [latex]f(x)[/latex] тогда и только тогда, когда разность их значений для любого [latex]x\in\bigtriangleup[/latex] постоянна.

[latex]F(x)-G(x)=C=const[/latex]

Спойлер

Пусть  [latex]F(x)[/latex] — некоторая первообразная функции [latex]f(x)[/latex] в промежутке [latex]\bigtriangleup[/latex]. Следовательно, по определению [latex]F'(x)=f(x)[/latex]. Но тогда и функция [latex]G(x)=F(x)-C[/latex] ([latex]C=const[/latex]) также является промежутке первообразной функции [latex]f(x)[/latex] в этом промежутке , поскольку [latex]G'(x)=(F(x)-C)’=F'(x)=f(x)[/latex].

Пусть [latex]F(x)-G(x)=H(x)[/latex]. Найдем производную

[latex]H'(x)=(F(x)-G(x))’=F'(x)-G'(x)=f(x)-f(x)=0[/latex]

Но в силу признака постоянства дифференцируемой функции, вытекающего из теоремы Лагранжа, равенство [latex]H'(x)=0[/latex] означает, что [latex]H(x)=F(x)-G(x)=C=const[/latex].
Итак, доказана эквивалентность тому, что функция [latex]F(x)[/latex] и [latex]G(x)[/latex] могут быть первообразными лишь одной и той же функции.

[свернуть]

Литература.

  1. Зарубин В.С., Интегральное исчисление функций одного переменного. — М.: Изд-во МГТУ им. Н.Э. Баумана, 1999., Стр. 15

Тест

Теорема о разнице двух первообразных

Таблица лучших: Теорема о разнице двух первообразных

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

Пример функции, не имеющей первообразной

Докажем, что функция

[latex]{\mathop{\rm sgn}} x = \left\{ \begin{array}{l}~~1,~~~x > 1\\~~0,~~~x = 0\\- 1,~~~x < 0\end{array} \right.[/latex]

signum

имеет первообразную на любом промежутке, не содержащем точку 0, и не имеет первообразной на любом промежутке, содержащем точку 0.
Спойлер

  1. На любом промежутке, не содержащем точку 0, функция [latex]sgn x[/latex] постоянна и равна 1 (или -1). Следовательно, любая ее первообразная имеет вид [latex]F(x)=x+C[/latex] (или [latex]F(x)=-x+C[/latex]), где [latex]C[/latex] — некоторое число.
  2. Рассмотрим теперь промежуток, содержащий точку 0, например (-1,1). На интервале (-1,0) любая первообразная функции [latex]sgn x[/latex] имеет вид [latex]F_1=-x+C_1[/latex], а на интервале (0,1) любая первообразная функции [latex]sgn x[/latex] имеет вид [latex]F_2(x)=x+C_2[/latex].

При любом выборе постоянных [latex]C_1[/latex] и [latex]C_2[/latex] мы получаем на интервале (-1, 1) функцию, не имеющую производной в точке x=0. Например, если выбрать [latex]C_1=C_2=C[/latex], то получим функцию [latex]F(x)=|x|+C[/latex], недифференцируемую в точке 0. Следовательно, функция [latex]sgn x[/latex] не имеет первообразной на интервале (-1, 1) и вообще на любом промежутке, содержащем точку 0.

[свернуть]

 

Спойлер

Рассмотрим поведение функции в окрестности точки [latex]0[/latex]. Как видно [latex]lim_{x\rightarrow -0}\: sign(x)=-1[/latex] и [latex]lim_{x\rightarrow +0}\: sign(x)=1[/latex]. По  теореме*  предел функции в точке [latex]0[/latex] не существует.

* Функция [latex]f(x)[/latex] имеет предел в точке [latex]a[/latex] тогда и только тогда, когда существуют равные между собой односторонние пределы в этой точке. В этом случае их общее значение является пределом функции в точке [latex]a[/latex].

[свернуть]

Источники

  1. Пример
  2. Sgn

Тест

Пример функции, не имеющей первообразной

Пример функции, не имеющей первообразной

Таблица лучших: Пример функции, не имеющей первообразной

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

 

Определение первообразной

Функция [latex]F[/latex] называется первообразной функцией функции [latex]f[/latex] на промежутке [latex]\bigtriangleup[/latex], если [latex]F[/latex] дифференцируема на [latex]\bigtriangleup[/latex] и в каждой точке этого промежутка производная функции [latex]F[/latex] равна значению функции [latex]f[/latex]:

[latex]F'(x)-f(x)[/latex], [latex]x\in\bigtriangleup[/latex]

При этом если некоторый конец промежутка [latex]\bigtriangleup[/latex] принадлежит промежутку , то под производной в этом конце понимается соответствующая односторонняя производная. Функция, имеющая в данной точке производную , непрерывна в этой точке , поэтому первообразная [latex]F[/latex] функции [latex]f[/latex] непрерывна на промежутке [latex]\bigtriangleup[/latex].

Примеры

    1. Функция [latex]F(x)=\frac{x^3}{3}[/latex] является первообразной функции [latex]f(x)=x^2[/latex] на всей числовой оси.
    2. [latex]f(x)=\frac{1}{7-3x}[/latex]     [latex]F(x)=-\frac{1}{3}ln|7-3x|+C[/latex]

Решите самостоятельно

[latex]f(x)=3x^2[/latex]

Спойлер

[latex]F(x)=x^3[/latex]

[свернуть]

 

[latex]f(x)=\frac{1}{\sqrt{x}}[/latex], при [latex]x>0[/latex]

Спойлер

[latex]F(x)=2\sqrt{x}[/latex]

[свернуть]

 

[latex]f(x)=-\frac{1}{x^2}[/latex], при [latex]x\ne0[/latex]

Спойлер

[latex]F(x)=\frac{1}{x}[/latex]

[свернуть]

 

[latex]f(x)=cos(x)[/latex]

Спойлер

[latex]F(x)=sin(x)[/latex]

[свернуть]

 

Ниже приведены графики функции [latex]f(x)=cos(x)[/latex](красный цвет) и ее первообразной [latex]F(x)=sin(x)[/latex](зеленый цвет) при значении произвольной постоянной [latex]C=0[/latex].

cos

Литература

  1. Лысенко З.М., Конспект лекций по математическому анализу, 2012
  2. Зарубин В.С., Интегральное исчисление функций одного переменного. — М.: Изд-во МГТУ им. Н.Э. Баумана,1999, Стр. 14
  3. Кудрявцев Л.Д., Курс Математического Анализа, 2003. — М.: Дрофа, Т.1. Стр. 453-454

Тест

Определение первообразной

Таблица лучших: Определение первообразной

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