дипломы,курсовые,рефераты,контрольные,диссертации на заказ
 

Производные функции, заданной параметрически

Пусть задана зависимость двух переменных $ x$ и $ y$ от параметра $ t$, изменяющегося в пределах от $ {\alpha}$ до $ {\beta}$:

$\displaystyle x={\varphi}(t); y=\psi(t); t\in({\alpha};{\beta}).$

Пусть функция $ x={\varphi}(t)$ имеет обратную: $ t={\varphi}^{-1}(x)=\Phi(x)$. Тогда мы можем, взяв композицию функций $ y=\psi(t)$ и $ t=\Phi(x)$, получить зависимость $ y$ от $ x$: $ y=\psi(\Phi(x))$. Зависимость величины $ y$ от величины $ x$, заданная через зависимость каждой из них от параметра $ t$ в виде $ x={\varphi}(t), y=\psi(t)$, называется функцией $ y=y(x)$, заданной параметрически.

Производную функции $ y(x)$, заданной параметрически, можно выразить через производные функций $ {\varphi}(t)$ и $ \psi(t)$: поскольку $ y=\psi(\Phi(x))$ и, по формуле производной обратной функции, $ \Phi'(x)=\dfrac{1}{{\varphi}'(\Phi(x))}$, то

$\displaystyle y'_x=\psi'(\Phi(x))\Phi'(x)=
\dfrac{\psi'(\Phi(x))}{{\varphi}'(\Phi(x))}=
\dfrac{y'_t(t)}{x'_t(t)},$

где $ t=\Phi(x)$ -- значение параметра, при котором получается интересующее нас при вычислении производной значение $ x$.

Заметим, что применение формулы приводит нас к зависимости между $ z=y'_x$ и $ x$, снова выраженной в виде параметрической зависимости: $ y'_x=z(t)$, $ x=x(t)$; второе из этих соотношений -- то же, что участвовало в параметрическом задании функции $ y(x)$. Несмотря на то, что производная не выражена через $ x$ в явном виде, это не мешает решать нам задачи, связанные с нахождением производной, найдя соответствующее значение параметра $ t$. Покажем это на следующем примере.

        Пример 4.22   Пусть зависимость между $ x$ и $ y$ задана параметрически следующими формулами:
$\displaystyle x=\ln(1+t^2); y=\mathop{\rm arctg}\nolimits t.$
Найдём уравнение касательной к графику зависимости $ y(x)$ в точке $ (\ln2;\frac{\pi}{4})$.
Значения $ x=\ln(1+t^2)=\ln2$ и $ y=\mathop{\rm arctg}\nolimits t=\frac{\pi}{4}$ получаются, если взять $ t=1$. Найдём производные $ x$ и $ y$ по параметру $ t$:
$\displaystyle x'_t=(\ln(1+t^2))'_t=\dfrac{2t}{1+t^2};
y'_t=(\mathop{\rm arctg}\nolimits t)'_t=\dfrac{1}{1+t^2}.$
Поэтому
$\displaystyle y'_x=\dfrac{y'_t}{x'_t}=\dfrac{
\dfrac{1}{1+t^2}}{\dfrac{2t}{1+t^2}}=
\dfrac{1}{2t}.$
При $ t=1$ получаем значение производной
$\displaystyle y'_x\vert _{t=1}=\frac{1}{2};$
это значение задаёт угловой коэффициент $ k$ искомой касательной. Координаты $ x_0=\ln2$ и $ y_0=\frac{\pi}{4}$ точки касания заданы в условии задачи. Значит, уравнение касательной таково:
$\displaystyle y=y_0+k(x-x_0)=\frac{\pi}{4}+\frac{1}{2}(x-\ln2).$
    

Заметим, что исходя из полученной параметрической зависимости $ y'_x=z(t)$, $ x=x(t)$, мы можем отыскать вторую производную функции $ y$ по переменной $ x$:

$\displaystyle y''_{xx}=(y'_x)'_x=\dfrac{z'_t}{x'_t}.$
        Пример 4.23   Пусть дана та же зависимость между $ y$ и $ x$, что в предыдущем примере:
$\displaystyle x=\ln(1+t^2); y=\mathop{\rm arctg}\nolimits t.$
Найдём выражение для второй производной $ y''_{xx}$ через параметр $ t$. Ранее мы получили, что $ y'_x=z(t)=\dfrac{1}{2t}$. Поэтому $ z'_t=-\dfrac{1}{2t^2}$; производную $ x'_t=\dfrac{2t}{1+t^2}$ мы нашли выше. Получаем:
$\displaystyle y''_{xx}=z'_x=\dfrac{z'_t}{x'_t}
=\dfrac{-\dfrac{1}{2t^2}}{\dfrac{2t}{1+t^2}}
=-\dfrac{1+t^2}{4t^3}.$
    

Можно получить и явный вид производной второго порядка от параметрически заданной функции, если подставить $ z=\dfrac{y'_t}{x'_t}$ в формулу $ y''_{xx}=z'_x=\dfrac{z'_t}{x'_t}$; при этом получим:

$\displaystyle y''_{xx}=\dfrac{\Bigl(\dfrac{y'_t}{x'_t}\Bigr)'_t}{x'_t}=
 \dfrac{y''_{tt}x'_t-x''_{tt}y'_t}{(x'_t)^3}.$(4.17)

Непрерывность функций Гиперболические функции и ареа-функции

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

Подобно тому, как равенство $ \cos^2t+\sin^2t=1$ выражает тот факт, что точка координатной плоскости $ xOy$ с координатами $ x=\cos t$, $ y=\sin t$ при изменении параметра $ t$ движется по окружности радиуса 1, заданной уравнением $ x^2+y^2=1$ (и называемой тригонометрическим кругом), равенство $ \mathop{\rm ch}\nolimits ^2t-\mathop{\rm sh}\nolimits ^2t=1$ говорит о том, что точка с координатами $ x=\mathop{\rm ch}\nolimits t$, $ y=\mathop{\rm sh}\nolimits t$ движется по равносторонней гиперболе, заданной уравнением $ x^2-y^2=1$. Отсюда и происходит название: гиперболические функции.

Функции $ \mathop{\rm sh}\nolimits $, $ \mathop{\rm th}\nolimits $ непрерывны и монотонно возрастают на своих областях определения. Поэтому они имеют обратные функции, которые также монотонно возрастают и непрервыны. Функция, обратная к функции $ \mathop{\rm sh}\nolimits $, называется обратным гиперболическим синусом, или ареа-синусом, и обозначается $ \mathop{\rm arsh}\nolimits $. Имеем: $ {\mathop{\rm arsh}\nolimits :\mathbb{R}\to\mathbb{R}}$, $ {y=\mathop{\rm arsh}\nolimits x\Longleftrightarrow x=\mathop{\rm sh}\nolimits y}$. Функция, обратная к функции $ \mathop{\rm th}\nolimits $, называется обратным гиперболическим тангенсом, или ареа-тангенсом, и обозначается $ \mathop{\rm arth}\nolimits $. Итак, $ {\mathop{\rm arth}\nolimits :(-1;1)\to\mathbb{R}}$, $ {y=\mathop{\rm arth}\nolimits x\Longleftrightarrow x=\mathop{\rm th}\nolimits y}$.

Рис.3.27.Графики функций $ y=\mathop{\rm arsh}\nolimits x$ и $ y=\mathop{\rm arth}\nolimits x$

Функция $ \mathop{\rm cth}\nolimits $, хотя и имеет разрыв в точке 0, монотонна на интервалах $ (-\infty;0)$ и $ (0;+\infty)$ и принимает каждое своё значение ровно один раз. Поэтому существует обратная функция, называемая обратным гиперболическим котангенсом, или ареа-котангенсом, обозначаемая $ \mathop{\rm arcth}\nolimits $. Она определена на $ (-\infty;1)\cup(1;+\infty)$ и принимает значения в множестве $ \mathbb{R}\diagdown \{0\}=(-\infty;0)\cup(0;+\infty)$.

Рис.3.28.График функции $ y=\mathop{\rm arcth}\nolimits x$

Функция $ \mathop{\rm ch}\nolimits $ не является монотонной на всей своей области определения. Однако монотонно (и непрерывно) её ограничение на полуось $ [0;+\infty)$, при этом функция $ \mathop{\rm ch}\nolimits \vert _{[0;+\infty)}$ принимает все значения из $ [1;+\infty)$. Поэтому для этого ограничения существует обратная функция, называемая обратным гиперболическим косинусом, или ареа-косинусом и обозначаемая $ \mathop{\rm arch}\nolimits $. Она непрерывна на своей области определения $ [1;+\infty)$ и принимает значения на $ [0;+\infty)$.

Возможен вариант: вместо ограничения на $ [0;+\infty)$ можно рассмотреть ограничение функции $ \mathop{\rm ch}\nolimits $ на $ (-\infty;0]$, а затем функцию, обратную к этому ограничению. Эту функцию часто также называют ареа-косинусом и обозначают $ \mathop{\rm arch}\nolimits $, однако нужно чётко осознавать, что при таком построении получается другая функция (будем обозначать её здесь $ \mathop{\rm arch}\nolimits _-$). Итак, $ \mathop{\rm arch}\nolimits :[1;+\infty)\to[0;+\infty)$ и $ \mathop{\rm arch}\nolimits _-:[1;+\infty)\to(-\infty;0]$.

Рис.3.29.Графики функций $ y=\mathop{\rm arch}\nolimits x$ и $ y=\mathop{\rm arch}\nolimits _-x$

 

Неопределенный интегралВекторное произведение векторов

Трассировка пиксельных изображений Adobe Illustrator Линейные блоковые коды