An Introduction to Complex Analysis The Genesis of the Hyperbolic Functions
- Prologue: Beyond the Circle
This article explores a parallel universe of functions that, at first glance, appear strangely familiar: the hyperbolic functions -cosh, sinh, and tanh.
We will embark on a journey to discover these functions not through geometry, but through the pure machinery of analysis: the complex exponential function and power series. This approach reveals their essential nature and their profound connection to their circular counterparts.
- The Exponential Function as the Foundational Engine
The entire edifice is built upon the exponential function, \( e^z \), defined for all complex numbers \( z \in \mathbb{C} \). For a purely imaginary argument \( i\theta \), where \( \theta \in \mathbb{R} \), we have the seminal Euler's formula :
\[e^{i\theta} = \cos\theta + i\sin\theta\]
This is not merely an identity; it is a bridge between the exponential and the trigonometric worlds. Its proof lies in the power series expansions. Recall the fundamental series:
\[e^z = \sum_{n=0}^{\infty} \frac{z^n}{n!} = 1 + z + \frac{z^2}{2!} +\frac{z^3}{3!} + \frac{z^4}{4!} + \cdots\]
\(\cos z = \sum_{n=0}^{\infty} \frac{(-1)^n z^{2n}}{(2n)!} = 1 - \frac{z^2}{2!} + \frac{z^4}{4!} - \frac{z^6}{6!} + \cdots\)
\[\sin z = \sum_{n=0}^{\infty} \frac{(-1)^n z^{2n+1}}{(2n+1)!} = z -\frac{z^3}{3!} + \frac{z^5}{5!} - \frac{z^7}{7!} + \cdots\]
Let us verify Euler's formula by evaluating \( e^{i\theta} \) using its power series and grouping real and imaginary parts:
\[\begin{align*}e^{i\theta} &= 1 + (i\theta) + \frac{(i\theta)^2}{2!} +\frac{(i\theta)^3}{3!} + \frac{(i\theta)^4}{4!} + \frac{(i\theta)^5}{5!} +\cdots \\&= 1 + i\theta - \frac{\theta^2}{2!} - i\frac{\theta^3}{3!} +\frac{\theta^4}{4!} + i\frac{\theta^5}{5!} - \cdots \\&= \left(1 -\frac{\theta^2}{2!} + \frac{\theta^4}{4!} - \cdots \right) + i\left(\theta -\frac{\theta^3}{3!} + \frac{\theta^5}{5!} - \cdots \right) \\&= \cos\theta + i\sin\theta \quad \blacksquare\end{align*}\]
A simple but powerful corollary is obtained by considering \( e^{-i\theta} \):
\[e^{-i\theta} = \cos(-\theta) + i\sin(-\theta) = \cos\theta - i\sin\theta\]
Adding and subtracting these two forms of Euler's formula gives us the standard definitions of sine and cosine in terms of exponentials:
\[\cos\theta = \frac{e^{i\theta} + e^{-i\theta}}{2}, \quad \sin\theta =\frac{e^{i\theta} - e^{-i\theta}}{2i}\]
These are not just algebraic curiosities; they are analytic definitions that extend the domain of cosine and sine from real numbers to the entire complex plane.
- The Birth of the Hyperbolic Functions
The formulas for \( \cos\theta \) and \( \sin\theta \) in terms of exponentials are our Rosetta Stone. Notice their structure: they are the symmetric and antisymmetric combinations of \( e^{i\theta} \) and \( e^{-i\theta} \), normalized. What if we perform the same construction, but with a *real* argument \( x \in \mathbb{R} \)? This is the act of creation.
Definition 3.1 (Hyperbolic Cosine and Sine): For any \( x \in \mathbb{R} \) (and later, \( z \in \mathbb{C} \)), we define the hyperbolic cosine and hyperbolic sine functions as:
\[\cosh x = \frac{e^{x} + e^{-x}}{2}, \quad \sinh x = \frac{e^{x} - e^{-x}}{2}\]
Immediately, we can derive their power series expansions by averaging the series for \( e^x \) and \( e^{-x} \).
\(e^x = 1 + x + \frac{x^2}{2!} + \frac{x^3}{3!} + \frac{x^4}{4!} + \frac{x^5}{5!} + \cdots\)
\(e^{-x} = 1 - x + \frac{x^2}{2!} - \frac{x^3}{3!} + \frac{x^4}{4!} - \frac{x^5}{5!} + \cdots\)
Now, compute \( \cosh x \):
\(\begin{align*} \cosh x &= \frac{1}{2}(e^x + e^{-x}) \\ &= \frac{1}{2}\left[ \left(1 + x + \frac{x^2}{2!} + \frac{x^3}{3!} + \frac{x^4}{4!} + \cdots \right) + \left(1 - x + \frac{x^2}{2!} - \frac{x^3}{3!} + \frac{x^4}{4!} - \cdots \right) \right] \\ &= \frac{1}{2}\left[ 2 + 0 + 2\cdot\frac{x^2}{2!} + 0 + 2\cdot\frac{x^4}{4!} + 0 + \cdots \right] \\ &= 1 + \frac{x^2}{2!} + \frac{x^4}{4!} + \frac{x^6}{6!} + \cdots = \sum_{n=0}^{\infty} \frac{x^{2n}}{(2n)!} \end{align*}\)
Next, compute \( \sinh x \):
\[\begin{align*} \sinh x &= \frac{1}{2}(e^x - e^{-x}) \\ &= \frac{1}{2}\left[ \left(1 + x + \frac{x^2}{2!} + \frac{x^3}{3!} + \frac{x^4}{4!} + \cdots \right) - \left(1 - x + \frac{x^2}{2!} - \frac{x^3}{3!} + \frac{x^4}{4!} - \cdots \right) \right] \\ &= \frac{1}{2}\left[ 0 + 2x + 0 + 2\cdot\frac{x^3}{3!} + 0 + 2\cdot\frac{x^5}{5!} + \cdots \right] \\ &= x + \frac{x^3}{3!} + \frac{x^5}{5!} + \frac{x^7}{7!} + \cdots = \sum_{n=0}^{\infty} \frac{x^{2n+1}}{(2n+1)!} \end{align*}\]
A comparison is now starkly clear:
Comparative Analysis: Power Series of Circular vs. Hyperbolic Functions
The power series representations reveal the fundamental algebraic relationship between the circular (trigonometric) and hyperbolic functions. This comparison is not merely a table of formulas but a window into the deep structural connection governed by complex analysis.
- Core Power Series Definitions
Let \( z \) be any complex number. The functions are defined by the following absolutely convergent power series.
Circular (Trigonometric) Functions:
\[\begin{align*} \cos z &= \sum_{n=0}^{\infty} \frac{(-1)^n z^{2n}}{(2n)!} = 1 - \frac{z^2}{2!} + \frac{z^4}{4!} - \frac{z^6}{6!} + \cdots \\ \sin z &= \sum_{n=0}^{\infty} \frac{(-1)^n z^{2n+1}}{(2n+1)!} = z - \frac{z^3}{3!} + \frac{z^5}{5!} - \frac{z^7}{7!} + \cdots \end{align*}\]
Hyperbolic Functions:
\[\begin{align*} \cosh z &= \sum_{n=0}^{\infty} \frac{z^{2n}}{(2n)!} = 1 + \frac{z^2}{2!} + \frac{z^4}{4!} + \frac{z^6}{6!} + \cdots \\ \sinh z &= \sum_{n=0}^{\infty} \frac{z^{2n+1}}{(2n+1)!} = z + \frac{z^3}{3!} + \frac{z^5}{5!} + \frac{z^7}{7!} + \cdots \end{align*}\]
- Point-by-Point Comparison & Analysis
- *Series Structure
* Commonality: Both function pairs feature an even function (cos, cosh) and an odd function (sin, sinh). This is evident from their series containing only even powers of \(z\) and only odd powers of \(z\), respectively.
* Divergence: The definitive difference lies in the sign of the terms .
* Circular Functions: The series are alternating , indicated by the factor \((-1)^n\). This oscillation is the analytic signature of the functions' periodicity and boundedness on the real axis.
* Hyperbolic Functions: The series have all positive terms . This monotonic growth is the analytic signature of the functions' unbounded, exponential-like behavior on the real axis.
- *Relationship via Complex Numbers
The connection is not merely analogous; it is an identity in the complex plane. The hyperbolic functions are, essentially, the circular functions evaluated on the imaginary axis, and vice-versa.
\[\begin{align*}\cosh z &= \cos(iz) & \cos z &= \cosh(iz) \\\sinh z &= -i \sin(iz) & \sin z &= -i \sinh(iz)\end{align*}\]
* Derivation Insight: Substituting \(z \to iz\) into the series for \(\cos z\) directly yields the series for \(\cosh z\), and similarly for sin/sinh. This proves that the alternating factor \((-1)^n\) in the circular series is precisely what generates the factor \(i^{2n}\) that becomes 1 in the hyperbolic series.
- *Analytic Properties (on the real axis, \(z = x\))
* Boundedness vs. Unbounded Growth:
* For all real \(x\), \( |\cos x| \leq 1 \) and \( |\sin x| \leq 1 \). The alternating series ensures cancellation.
* For real \(x\), \( \cosh x \geq 1 \) and \( \sinh x \in (-\infty, \infty) \), and both grow like \( \frac{1}{2}e^{|x|} \) as \( |x| \to \infty \). The all-positive series leads to reinforcement.
* Zeros (Roots):
* \(\cos x\) and \(\sin x\) have infinitely many isolated real zeros. This is related to their oscillatory nature.
* \(\cosh x\) has no real zeros . \(\sinh x\) has exactly one real zero at \(x=0\).
- *Connection to the Exponential Function
The functions are simply "even and odd parts" of the exponential function, but in different domains.
* Circular: Euler's formula gives \(e^{ix} = \cos x + i\sin x\). Thus, \(\cos x\) and \(\sin x\) are the real and imaginary parts of \(e^{ix}\).
* Hyperbolic: By definition, \(e^{x} = \cosh x + \sinh x\). Thus, \(\cosh x\) and \(\sinh x\) are the even and odd parts of \(e^{x}\).
- *Differential Equations
Both pairs of functions are solutions to simple second-order linear differential equations, with a critical sign change.
* Circular Functions satisfy:
\[\frac{d^2y}{dx^2} + \omega^2 y = 0 \quad \Rightarrow \quad y = A\cos(\omega x) + B\sin(\omega x)\]
This describes oscillatory motion (e.g., a spring).
* Hyperbolic Functions satisfy:
\[\frac{d^2y}{dx^2} - k^2 y = 0 \quad \Rightarrow \quad y = A\cosh(k x) + B\sinh(k x)\]
This describes exponential growth/decay (e.g., the catenary shape of a hanging chain).
- Conclusion
The power series provide the most fundamental definition of these functions, separating their properties into a single, decisive feature: the presence or absence of the alternating factor \((-1)^n\). This simple distinction is the seed from which all other differences—boundedness, periodicity, zero sets, and physical applications—emerge. The complex number \(i\) acts as the perfect translator between these two seemingly distinct families, unifying them under the umbrella of the complex exponential function.
The hyperbolic functions are, in a sense, the "non-alternating" versions of their circular counterparts. This simple difference in the sign of the alternating term \((-1)^n\) leads to profoundly different global behaviors.
Definition 3.2 (Hyperbolic Tangent): Analogous to the circular tangent, we define:
\[\tanh x = \frac{\sinh x}{\cosh x} = \frac{e^{x} - e^{-x}}{e^{x} + e^{-x}}\]
The reciprocal functions, coth, sech, and csch, are defined similarly.
- Fundamental Properties and Identities
From the exponential definitions, a rich set of identities flows naturally. The analogy with trigonometry is strong, but with crucial sign differences.
4.1 Basic Algebraic Identities
First, consider \( \cosh^2 x - \sinh^2 x \):
\[\begin{align*} \cosh^2 x - \sinh^2 x &= \left(\frac{e^x + e^{-x}}{2}\right)^2 - \left(\frac{e^x - e^{-x}}{2}\right)^2 \\ &= \frac{e^{2x} + 2 + e^{-2x}}{4} - \frac{e^{2x} - 2 + e^{-2x}}{4} \\ &= \frac{e^{2x} + 2 + e^{-2x} - e^{2x} + 2 - e^{-2x}}{4} = \frac{4}{4} = 1 \end{align*}\]
Thus, we have the fundamental hyperbolic identity :
\[\cosh^2 x - \sinh^2 x = 1\]
Compare this to the circular Pythagorean identity: \( \cos^2 x + \sin^2 x = 1 \). The minus sign is the key. This identity explains the connection to the hyperbola: if we set \( X = \cosh t \) and \( Y = \sinh t \), then \( X^2 - Y^2 = 1 \), which is the equation of a rectangular hyperbola.
Other identities follow similarly:
Derivative Rules:
\[\frac{d}{dx} \cosh x = \sinh x, \quad \frac{d}{dx} \sinh x = \cosh x, \quad \frac{d}{dx}\tanh x = \operatorname{sech}^2 x \]
*Proof:*
\[\frac{d}{dx} \cosh x = \frac{d}{dx} \left( \frac{e^x + e^{-x}}{2} \right) =\frac{e^x - e^{-x}}{2} = \sinh x \quad \blacksquare\]
The others are analogous.
Parity:
\[\cosh(-x) = \cosh x \quad \text{(even function)}, \quad \sinh(-x) = \sinh x \quad \text{(odd function)}\]
This is evident from the definitions, as \( \cosh x \) is an average of \( e^x \) and \( e^{-x} \), which is symmetric, while \( \sinh x \) is the difference, which is antisymmetric.
4.2 Sum and Difference Formulae
Let's derive \( \sinh(x + y) \) using the exponential definitions.
\[\begin{align*}\sinh(x + y) &= \frac{e^{x+y} - e^{-(x+y)}}{2} = \frac{e^x e^y - e^{-x} e^{-y}}{2}\end{align*}\]
This is not immediately helpful. A standard trick is to use the definitions of \( \sinh x \cosh y \), etc.
\[\begin{align*}\sinh x \cosh y &= \left( \frac{e^x - e^{-x}}{2} \right) \left( \frac{e^y + e^{-y}}{2} \right) = \frac{e^{x+y} + e^{x-y} - e^{-x+y} -e^{-x-y}}{4} \\\cosh x \sinh y &= \left( \frac{e^x + e^{-x}}{2} \right) \left(\frac{e^y - e^{-y}}{2} \right) = \frac{e^{x+y} - e^{x-y} + e^{-x+y} -e^{-x-y}}{4}\end{align*}\]
Adding these two equations:
\[\sinh x \cosh y + \cosh x \sinh y = \frac{2e^{x+y} - 2e^{-x-y}}{4} =\frac{e^{x+y} - e^{-x-y}}{2} = \sinh(x + y)\]
Thus, we have the hyperbolic angle addition formula :
\[\sinh(x + y) = \sinh x \cosh y + \cosh x \sinh y\]
Similarly, one can derive:
\[\cosh(x + y) = \cosh x \cosh y + \sinh x \sinh y\]
\[\tanh(x + y) = \frac{\tanh x + \tanh y}{1 + \tanh x \tanh y}\]
The double-angle formulas are immediate corollaries:
\[\sinh(2x) = 2 \sinh x \cosh x\]
\[\cosh(2x) = \cosh^2 x + \sinh^2 x = 2\cosh^2 x - 1 = 1 + 2\sinh^2 x\]
- The Deep Connection: Complex Numbers and Osborne's Rule
The most profound connection between the circular and hyperbolic functions emerges when we allow complex arguments. Let's evaluate \( \cosh(iz) \) and \( \sinh(iz) \) using their definitions.
\[\cosh(iz) = \frac{e^{i z} + e^{-i z}}{2} = \cos z\]
\[\sinh(iz) = \frac{e^{i z} - e^{-i z}}{2} = i \sin z\]
These are not just identities; they are functional equations that intertwine the two families. Conversely, we can find:
\[\cos(iz) = \cosh z, \quad \sin(iz) = i \sinh z\]
This relationship gives rise to a powerful mnemonic known as Osborne's Rule :
> A trigonometric identity can be converted to a hyperbolic identity by replacing every circular function with its hyperbolic counterpart, and changing the sign of every product (or implied product) of two sines.
Let's see why this works. The identities are related by the transformations \( \cos \leftrightarrow \cosh \) and \( \sin \leftrightarrow i \sinh \). Consider a product like \( \sin x \sin y \). Under this transformation, it becomes \( (i \sinh x)(i \sinh y) = i^2 \sinh x \sinh y = -\sinh x \sinh y \). Hence, the sign changes for every product of two sines.
Example: Convert \( \cos(x - y) = \cos x \cos y + \sin x \sin y \).
- Replace \( \cos \to \cosh \), \( \sin \to \sinh \).
- The term \( \sin x \sin y \) is a product of two sines, so its sign changes from \( + \) to \( - \).
- The result is: \( \cosh(x - y) = \cosh x \cosh y - \sinh x \sinh y \), which is indeed correct.
Example: Convert \( \cos^2 x + \sin^2 x = 1 \).
- Replace \( \cos \to \cosh \), \( \sin \to \sinh \).
- The terms \( \cos^2 x \) and \( \sin^2 x \) are both products (implied squares), so both would suggest a sign change? Let's be more careful. The identity is \( \cos^2 x + \sin^2 x = 1 \). Transforming gives \( \cosh^2 x + (i \sinh x)^2 = \cosh^2 x + i^2 \sinh^2 x = \cosh^2 x - \sinh^2 x = 1 \). The rule holds: the "product" in \( \sin^2 x \) caused its term to change from \( + \) to \( - \).
- Inverses and Calculus
The inverses of the hyperbolic functions are of great importance, especially in integration.
Definition 6.1 (Inverse Hyperbolic Sine): Let \( y =\sinh^{-1} x\)
. This means \( x = \sinh y = \frac{e^y - e^{-y}}{2} \). We can solve for \( y \) in terms of \( x \).
\[x = \frac{e^y - e^{-y}}{2} \implies 2x = e^y - e^{-y}\]
Multiply through by \( e^y \): \( 2x e^y = e^{2y} - 1 \)
\[\implies e^{2y} - 2x e^y - 1 = 0\]
This is a quadratic in \( e^y \). Let \( u = e^y \). Then \( u^2 - 2x u - 1 = 0 \). Solving with the quadratic formula:
\[u = \frac{2x \pm \sqrt{4x^2 + 4}}{2} = x \pm \sqrt{x^2 + 1}\]
Since \( u = e^y > 0 \), and \( x - \sqrt{x^2+1} < 0 \), we take the positive root:
\[e^y = x + \sqrt{x^2 + 1} \implies y = \ln\left(x + \sqrt{x^2 + 1}\right)\]
Thus, we have the logarithmic form:
\[\sinh^{-1} x = \ln\left(x + \sqrt{x^2 + 1}\right)\]
Similarly, for \( y =\cosh^{-1} x \) (with \( x \geq 1 \), \( y \geq 0 \)):
\[x = \cosh y = \frac{e^y + e^{-y}}{2} \implies 2x = e^y + e^{-y}\]
\[\implies e^{2y} - 2x e^y + 1 = 0 \implies u^2 - 2x u + 1 = 0\]
\[\implies u = \frac{2x \pm \sqrt{4x^2 - 4}}{2} = x \pm \sqrt{x^2 - 1}\]
Both roots are non-negative. The definition of \( \cosh^{-1} x \) typically returns the principal value with \( y \geq 0 \), and to ensure this, we need \( e^y \geq 1 \). Note that \( x - \sqrt{x^2 - 1} = \frac{1}{x + \sqrt{x^2 - 1}} \leq 1 \). We take the larger root to get \( y \geq 0 \):
\[e^y = x + \sqrt{x^2 - 1} \implies \cosh^{-1} x = \ln\left(x + \sqrt{x^2 -1}\right), \quad x \geq 1\]
For \( y = \tanh^{-1} x \) (with \( |x| < 1 \)):
\[x = \tanh y = \frac{e^{2y} - 1}{e^{2y} + 1} \implies x(e^{2y} + 1) = e^{2y}- 1\]
\[\implies x e^{2y} + x = e^{2y} - 1 \implies x + 1 = e^{2y} - x e^{2y} =e^{2y}(1 - x)\]
\[\implies e^{2y} = \frac{1+x}{1-x} \implies y = \frac{1}{2} \ln \left(\frac{1+x}{1-x} \right)\]
\( \tanh^{-1} x\) = \(\frac{1}{2} \ln \left( \frac{1+x}{1-x} \right), \quad |x| < 1\)
These logarithmic forms make it trivial to find their derivatives, which match the standard results obtained from implicit differentiation.
- Epilogue: A Unified Complex Perspective
The journey from the real exponential function to the complex trigonometric and hyperbolic functions reveals a beautiful unity. The functions \( \cos z \), \( \sin z \), \( \cosh z \), and \( \sinh z \) are not four separate families, but merely different manifestations of the complex exponential function \( e^z \) viewed through different lenses (real and imaginary parts, and their even/odd components).
The power series provide the purest definition, free from geometric constraint. Euler's formula provides the key to the vault, connecting the exponential to the circular functions. And finally, by simply removing the factor of \( i \) from the denominator in the sine definition, we are led inexorably to the hyperbolic functions, completing a elegant and powerful analytic picture.
This complex-analytic viewpoint is not just aesthetically pleasing; it is immensely practical. It simplifies the derivation of identities, clarifies the behavior of these functions under differentiation and integration, and provides the tools to extend their domain to the entire complex plane, where their true nature-as entire functions with intricate zero sets and periodicity properties-is fully revealed. The hyperbolic functions are thus not merely an analogue of trigonometry, but an essential and inseparable part of the complex-analytic whole.
