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

Производная функции, заданной неявно


Уравнение вида $ F(x;y)=0$, содержащее переменные $ x$ и $ y$, иногда можно разрешить относительно $ y$ и получить в явном виде зависимость $ y=y(x)$. Например, если дано уравнение $ xe^y+\ln x-1=0$, то из него можно получить зависимость $ y=\ln(1-\ln x)-\ln x$. Однако такое явное выражение $ y$ через $ x$, использующее лишь элементарные функции, можно получить не из любого уравнения вида $ F(x;y)=0$ (даже если в самом уравнении участвуют лишь элементарные функции). Например, хотя уравнение

$\displaystyle e^{xy}+x\cos y=0$

задаёт некоторую зависимость $ y$ от $ x$, но выразить её из уравнения "в явном виде" не удаётся. Тем не менее, некоторую информацию об этой зависимости мы можем получить, и не выражая $ y$ через $ x$. Например, в случае приведённого выше уравнения, поскольку значения $ x=-1$, $ y=0$ ему удовлетворяют, мы можем утверждать, что график этой зависимости проходит через точку $ (-1;0)$ плоскости $ xOy$.

Покажем, как, используя уравнение $ F(x;y)=0$, найти производную $ y'_x$, не выражая $ y$ через $ x$ в явном виде. Для этого найдём производные левой и правой части уравнения по переменной $ x$, считая $ y=y(x)$ промежуточным аргументом, а потом выразим $ y'$ из получающегося равенства.

Поясним сказанное на примере.

        Пример 4.24   Возьмём то же уравнение $ e^{xy}+x\cos y=0$ и найдём производную левой части (производная правой части, очевидно, равна 0). Имеем:
$\displaystyle e^{xy}(xy)'_x+(x\cos y)'_x=e^{xy}(y+xy'_x)+\cos y-x\sin y\cdot y'_x=0.$
Слагаемые, содержащие $ y'_x$, оставим в левой части, а остальные перенесём направо:
Свойства градиента и производной по направлению Криволинейный интеграл Первоначально функции управления системой коммутации возлагались на операторов.
$\displaystyle y'_x(xe^{xy}-x\sin y)=-ye^{xy}-\cos y,$
откуда
$\displaystyle y'_x=-\dfrac{ye^{xy}+\cos y}{x(e^{xy}-\sin y)}.$
Получили выражение для производной $ y'_x$, содержащее, правда, не только $ x$, но и $ y$ в правой части. Однако, несмотря на это, полученное выражение можно использовать для решения различных задач, связанных с производной. Например, можно решить такую задачу: найти для кривой, заданной уравнением $ e^{xy}+x\cos y=0$, уравнения касательной и нормали, проведённых в точке $ (-1;0)$. Действительно, при $ x=-1, y=0$ мы получаем $ y'_x=-\dfrac{1}{-1}=1$, так что нам теперь известен угловой коэффициент касательной: $ k=1$. Точка касания дана условием задачи. Поэтому уравнение касательной таково:
$\displaystyle y=0+1\cdot(x-(-1)),$ или $\displaystyle y=x+1,$
а уравнение нормали -- таково:
$\displaystyle y=0-\dfrac{1}{1}\cdot(x-(-1)),$ или $\displaystyle y=-x-1.$

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

Упражнение 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 Линейные блоковые коды