[Math] Are there parabolic and elliptical functions analogous to the circular and hyperbolic functions $\sinh$, $\cosh$, and $\tanh$

conic sectionsfunctionstrigonometry

Are there parabolic and elliptical functions analogous to the circular and hyperbolic functions $\sinh, \cosh$, and $\tanh$?

Also, in matters of conic sections, are there other properties such that it helps to group the circle and hyperbola in one, and the parabola and ellipse in the other?

Best Answer

Ellipses and circles are "really" the same: a circle is an ellipse in which the focal distance is $0$. Or, put another way, from among all the ellipses $$\frac{x^2}{a^2}+\frac{y^2}{b^2}=1,$$ if you are going to choose a "canonical" one to define some functions, the natural choice is to use $a=b=1$, which just leads you back to the unit circle. That is, trying to do "elliptic trigonometric functions" pretty soon either drops you into either an arbitrary choice of parameters, or the regular circular trigonometric functions.

Now, one way in which we can "unify" the circular and the hyperbolic functions is through the complex exponential: the circular trigonometric functions correspond to certain exponentials with purely imaginary arguments, while the hyperbolic ones correspond to purely real arguments: for $t$ a real number, $$\begin{align*} \cos t&= \frac{e^{it}+e^{-it}}{2} &\qquad \sin t &= \frac{e^{it}-e^{-it}}{2}\\ \cosh t &= \frac{{e^t}+e^{-t}}{2} & \sinh t &= \frac{e^t-e^{-t}}{2} \end{align*}$$

Where do these come from? One place to find them is the differential equation $$y'' + \lambda y = 0.$$ If $\lambda\gt 0$, the solution set is spanned by $\cos(\sqrt{\lambda}\;t)$ and $\sin(\sqrt{\lambda}\;t)$. You get the standard functions by normalizing with $\lambda=1$. If $\lambda\lt 0$, then the solution set is spanned by $\cosh(\sqrt{|\lambda|t})$ and $\sinh(\sqrt{|\lambda|}t)$, and you get the standard functions by normalizing with $\lambda=-1$.

This would suggest looking for any putative "parabolic trigonometric functions" in the only remaining case: $\lambda=0$ (this corresponds to the fact that if you view conic sections as being given by slicing a cone with a plane, you obtain the parabola in the boundary between ellipses and hyperbolas). But the differential equation $y''=0$ has solution space spanned by $1$ and $t$, so that the natural "parabolic functions" are just $1$ and $t$.

Related Question