Powered by MathJax
Showing posts with label implicit functions. Show all posts
Showing posts with label implicit functions. Show all posts

Friday, July 4, 2014

Question of the week #8

   Given that
$$
siny+cosy = x
$$
find the first $\frac{dy}{dx}$ and the second derivative $\frac{d^{2}y}{dx^{2}}$ as functions of x.

   Hint: It deserves to be persistent (and to use some trigonometric identities as well) to get rid of the $y$ !


Sunday, June 29, 2014

Parametric curves and second derivatives: methods

   Let us know come to face the problem of computing the second derivative for functions defined through a pair of parametric equations:
Utilizing the results of the previous theorem on the first derivative, we can proceed -after having obtained the first derivative $\frac{dy}{dx}=\frac{dy/dt}{dx/dt}$ as a function of the parameter $t$-  to the computation of the second derivative either as
\begin{equation} \label{secder1st}
\frac{d^{2}y}{dx^{2}} = \frac{dy'}{dx} = \frac{dy'/dt}{dx/dt}
\end{equation}
where $y'=\frac{dy}{dx}$, or as
\begin{equation}  \label{secder2nd}
\frac{d^{2}y}{dx^{2}} = \frac{d}{dx}\Big[ \frac{dy}{dx} \Big] = \frac{d}{dt}\Big[ \frac{dy}{dx} \Big] \cdot \frac{dt}{dx}
\end{equation}
Remarks:
1. Notice that -according to a previous remark in the computation of the first derivative- if we wish to apply \eqref{secder2nd}, a suitable partition of the domain $E \subseteq \mathbb{R}$ of $x=f(t)$, must be considered in order for $x=f(t)$ to be bijective ("1-1"). Thus, we will have $t=f_{i}^{-1}(x)$ (in the corresponding interval in $E$'s partition) and the correct formula for $\frac{dt}{dx}$ must be replaced.
2. Notice that in general $$\frac{d^{2}y}{dx^{2}} \neq \frac{d^{2}y/dt^{2}}{d^{2}x/dt^{2}}$$

Let us now procceed in a couple of clarifying examples:

Example1: Let us consider the pair of parametric equations $\left\{%
                               \begin{array}{l}
                               x = sint  \\
                               y = cos2t
                               \end{array}
                                \right. \ \ $, for $\ t \in [-\frac{\pi}{2}, \frac{\pi}{2}]$.

It is clear that $x=sint$ is invertible in the domain $[-\frac{\pi}{2}, \frac{\pi}{2}]$ and thus we can directly apply \eqref{secder2nd}:

   Since $\frac{dx}{dt}=cost$ and $\frac{dy}{dt}=-2sin2t$, we have:
$$
\frac{dy}{dx} = \frac{dy/dt}{dx/dt} = \frac{-2sin2t}{cost} = \frac{-4 sint cost}{cost} = -4 sint
$$
therefore:
$$
\frac{d^{2}y}{dx^{2}} = \frac{d}{dx}\Big[ \frac{dy}{dx} \Big] = \frac{d}{dx}(-4 sint) =  \frac{d}{dt}(-4 sint)  \cdot \frac{dt}{dx} = (-4 cost) \cdot (\frac{1}{cost}) = -4
$$
where we have made use of the fact that $x=sint \Leftrightarrow t=arcsinx$ for $t \in [-\frac{\pi}{2}, \frac{\pi}{2}]$ and thus $\frac{dt}{dx} = (arcsinx)' = \frac{1}{cost} = \frac{1}{\sqrt{1-x^{2}}}$ for $t \in (-\frac{\pi}{2}, \frac{\pi}{2})$. (see previous post on the derivatives of the inverse trigonometric functions).
   Notice that $\frac{dx}{dt} \Big|_{\pm \frac{\pi}{2}} = \frac{dy}{dt} \Big|_{\pm \frac{\pi}{2}}=0$ so these points are singular points and the above result does not apply at these points. Can you figure out what is happening at these points ? (plotting a graph of the parametric equations will probably help you understand the behavior at these singular points).

Example2: The curve given by the parametric equations $\left\{%
                               \begin{array}{l}
                               x = t^{2}  \\
                               y = t^{3}
                               \end{array}
                                \right. \ \ $, for $\ t \in [-\infty, \infty]$ is called a semicubic parabola.

   This curve (and the functions defined by it) can be equivalently described in implicit form by the equation $y^{2}=x^{3}$ (square $y(t)$ and cube $x(t)$ to see this!).
   The graph of these parametric equations consists of two branches: the upper branch corresponding to the function $y=x^{3/2}$ while the lower branch is the graph of the function $y=-x^{3/2}$. These two branches meet at the origin, which corresponds to the value $t=0$.
   Since $\frac{dx}{dt}=2t$ and $\frac{dy}{dt}=3t^{2}$ we can clearly see that the origin corresponds to a singular point of the graph.
   We can readily apply the theorem to compute the first derivative (for either branch):
$$
\frac{dy}{dx} = \frac{dy/dt}{dx/dt} = \frac{\frac{d}{dt}(t^{3})}{\frac{d}{dt}(t^{2})}  = \frac{3t^{2}}{2t} = \frac{3}{2}t
$$
while we will follow \eqref{secder1st} to compute the second derivative:
$$
\frac{d^{2}y}{dx^{2}} = \frac{dy'}{dx} = \frac{dy'/dt}{dx/dt} = \frac{\frac{d}{dt}(3t/2)}{\frac{d}{dt}(t^{2})} = \frac{3}{4t}
$$
   Can you apply \eqref{secder2nd}, after suitably dividing the domain $(-\infty, \infty)$, to obtain the same results?
   Can you figure out what is happening at the singular point $O(0,0)$ ?



Wednesday, June 4, 2014

Implicit functions: some remarks

$\bullet$ Let us consider the equation
\begin{equation} \label{eq1}
F(x,y)=0
\end{equation}
and the set
\begin{equation}
A=\{(x,y)/ x,y \in \mathbb{R} \ \ and \ \ F(x,y)=0 \} \subset  \mathbb{R}^{2}
\end{equation}
of real solutions of \eqref{eq1}.
   The set of points of the Cartesian plane represented by the ordered pairs of $A$ is called the graph of  \eqref{eq1}.
$\bullet$ If there is a set $E \subset  \mathbb{R}$ such that
$$
\begin{array}{ccc}
 \forall x \in E,  & \exists \ \ y  \in \mathbb{R}, &   F(x,y)=0
\end{array}
$$
then we can map for any $x \in E$ a single $y=f(x)$ such that
$$
F(x,f(x))=0
$$
In this way a function $f:E \rightarrow \mathbb{R}$ with formula $y=f(x)$ is defined and this function will be called an implicit function defined by \eqref{eq1}.
$\bullet$ If this is the case, the graph of the implicit function $y=f(x)$, $f:E \rightarrow \mathbb{R}$ defined by \eqref{eq1} will be a part of the graph of \eqref{eq1}.
Remarks: 
1. It is interesting to note that an implicit function may be defined through an equation even if there is no way to obtain an analytic expression for the function's formula by solving the equation. This is the case (why?) for example for the equation
\begin{equation}
2y-2x-siny=0
\end{equation}
2. Even in cases in which the formula is easy to handle, many "unexpected" functions may be defined implicitly through an equation; most of them may not even be continuous: this is the case for example with the equation of a circle
\begin{equation}
x^{2}+y^{2}=1
\end{equation}
when it is solved with respect to $y$ a host of functions arise; some of them are continuous:
$$
\begin{array}{ccc}
 \begin{array}{l}
y=f_{1}(x)=\sqrt{1-x^{2}}  \\
[-1,1] \rightarrow \mathbb{R}
 \end{array}   &  \begin{array}{l}
                            y=f_{2}(x)=-\sqrt{1-x^{2}}  \\
                            [-1,1] \rightarrow \mathbb{R}
                            \end{array}
\end{array}
$$

while others are not, either at a point:



$
 y=f_{3}(x)= \left\{%
                               \begin{array}{l}
                               \sqrt{1-x^{2}}, \ \ x \in [-1,0) \\
                              -\sqrt{1-x^{2}}, \ \ x \in [0,1]
                               \end{array}
                                \right.$


or nowhere in their domain:
$$
 y=f_{4}(x)=\left\{%
                            \begin{array}{l}
                            \sqrt{1-x^{2}}, \ \ x \in [-1,1],  x: \ rational \\
                           -\sqrt{1-x^{2}}, \ \ x \in [-1,1], x: \ irrational
                            \end{array}
                            \right.
$$
Note that for all the above functions the domain is common $D_{f_{i}}=[-1,1]$, $i=1,2,3,4$. 

Wednesday, May 14, 2014

Conics and tangents: a general method

   A conic or a $2^{nd}$ degree planar curve has the following general form in cartesian coordinates
$
\boxed{ax^{2}+by^{2}+cxy+dx+ey+f=0}
$
   If we denote with $C$ the graph of this equation, we are going to show that the equation of the tangent to the curve $C$ at the point $(x_{1},y_{1}) \in C$ can be immediately derived from the equation of the curve, using the substitutions:
$
\boxed{
\begin{array}{c}
x^{2} \rightsquigarrow xx_{1}, \  y^{2} \rightsquigarrow yy_{1} \\
 xy \rightsquigarrow \frac{1}{2}(xy_{1}+x_{1}y)  \\
x \rightsquigarrow \frac{x+x_{1}}{2}, \ y \rightsquigarrow \frac{y+y_{1}}{2} \\
\end{array}
}
$
Consequently, the equation of the tangent to the curve $C$ at the point $(x_{1},y_{1}) \in C$ can be immediately written as
\begin{equation} \label{tangentconic}
\boxed{
axx_{1}+byy_{1}+c\frac{xy_{1}+x_{1}y}{2}+d\frac{x+x_{1}}{2}+e\frac{y+y_{1}}{2}+f=0
}
\end{equation}
   Proof: $\bullet$ Since $(x_{1},y_{1}) \in C$ its coordinates should satisfy the equation of the curve, thus
\begin{equation} \label{pointonconic}
ax_{1}^{2}+by_{1}^{2}+cx_{1}y_{1}+dx_{1}+ey_{1}+f=0
\end{equation}
   $\bullet$ Now we can proceed in implicitly differentiating the initial equation with respect to $x$, obtaining thus an expression for its slope at the (arbitrary) point $(x_{1},y_{1}) \in C$:
$$
\begin{array}{c}
(ax^{2}+by^{2}+cxy+dx+ey+f)'=0 \Leftrightarrow \\
   \\
\Leftrightarrow 2ax+2byy'+cy+cxy'+d+ey'=0 \Leftrightarrow \\
    \\
\Leftrightarrow (2by+cx+e)y'=-2ax-cy-d \Rightarrow \\
    \\
\Leftrightarrow y'(x_{1})=\frac{dy}{dx}\mid_{(x_{1},y_{1})}=-\frac{2ax_{1}+cy_{1}+d}{2by_{1}+cx_{1}+e}
\end{array}
$$
for all $(x_{1},y_{1})$ for which  $2by_{1}+cx_{1}+e \neq 0$.
   $\bullet$ Consequently, the equation of the tangent to the curve $C$ at the point $(x_{1},y_{1}) \in C$ will be
$
y-y_{1}=\frac{dy}{dx}\mid_{(x_{1},y_{1})}\cdot(x-x_{1})
$
Thus we can now readily work out
$$
\begin{array}{c}
y-y_{1}=\frac{dy}{dx}\mid_{(x_{1},y_{1})}\cdot(x-x_{1}) \Leftrightarrow\\
    \\
\Leftrightarrow y-y_{1}=-\frac{2ax_{1}+cy_{1}+d}{2by_{1}+cx_{1}+e}(x-x_{1}) \Leftrightarrow \\
    \\
\Leftrightarrow (2by_{1}+cx_{1}+e)(y-y_{1})=-(2ax_{1}+cy_{1}+d)(x-x_{1}) \Leftrightarrow  \\
     \\
\Leftrightarrow 2by_{1}y-2by_{1}^{2}+cx_{1}y-cx_{1}y_{1}+ey-ey_{1}=-2ax_{1}x+2ax_{1}^{2}-cy_{1}x+cy_{1}x_{1} \\   -dx+dx_{1} \Leftrightarrow  \\
     \\
\Leftrightarrow 2by_{1}y+cx_{1}y+ey+2ax_{1}x+cy_{1}x+dx=2ax_{1}^{2}+cy_{1}x_{1}+dx_{1}+2by_{1}^{2}+ \\ cy_{1}x_{1}+ey_{1} \Leftrightarrow   \\
     \\
\Leftrightarrow 2ax_{1}x+2by_{1}y+c(x_{1}y+xy_{1})+dx+ey=  \\
  =\underbrace{ax_{1}^{2}+by_{1}^{2}+cx_{1}y_{1}}_{=-dx_{1}-ey_{1}-f}+\underbrace{ax_{1}^{2}+by_{1}^{2}+cx_{1}y_{1}+dx_{1}+ey_{1}}_{=-f} \Leftrightarrow   \\
    \\
\Leftrightarrow axx_{1}+byy_{1}+c\frac{xy_{1}+x_{1}y}{2}+d\frac{x+x_{1}}{2}+e\frac{y+y_{1}}{2}+f=0
\end{array}
$$
which finally completes the proof!

Wednesday, April 16, 2014

Implicit differentiation: a motivating example

   Without getting into technical definitions of what is an implicit function and when a given equation in two variables defines implicitly one or more -differentiable or not- functions (i will leave such a discussion for some subsequent post on theory), I will just examine a simple yet illuminating example:
   Let us consider the function $y=f(x)= \frac{1}{x} \equiv x^{-1}$. It is well known that the power rule of differentiation $x^{a} = ax^{a-1}$ applies for any real value of $a$ (in its respective domain of course). So we can readily conclude that $f'(x) = - \frac{1}{x^{2}}$ in $\mathbb{R}^{*}$. 
   But let us momentarily think a little different: Since $y=\frac{1}{x} \Rightarrow xy=1$ we have that  $$xf(x)=1 \Leftrightarrow xy=1$$. 
We differentiate this last relation, applying the product rule of differentiation to both sides and we get $$f(x)+xf'(x)=0 \Leftrightarrow y+xy'=0$$, thus $y'=f'(x)=-\frac{f(x)}{x}=-\frac{y}{x}$. Using the definition $y=f(x)= \frac{1}{x}$ we finally arrive at $$y'=f'(x) = - \frac{1}{x^{2}}$$ 
in $\mathbb{R}^{*}$.