Section8.4Hyperbolic Trigonometry: The Hanging Chain
We commented in Section 5.10 that Galileo believed erroneously that a chain hanging from two pegs falls naturally into the shape of a parabola. In Problem 5.10.3 we showed that Galileo was wrong but we have not yet addressed the question: What is the shape of a hanging chain?
Recall that the hanging chain must satisfy the differential equation
where \(w\) is the weight density of the chain and \(H\) is the (constant) magnitude of the horizontal tension. In Problem 8.4.1 we will see that although the natural exponential function \(y=e^x\) is not the solution itself, it is the key to the solution.
Problem8.4.1.The Shape of a Hanging Chain.
The Calculus in this problem is pretty straightforward but the Algebra gets a bit messy. To avoid some of this mess we will solve the special case where \(\frac{w}{H}=1\) in parts (a), (b), and (c). In part (d) we’ll use our solution of this special case to solve the original problem.
So assume that \(\frac{w}{H}=1\text{.}\) For this special case we will call our variables \(X\) and \(Y\text{,}\) rather than \(x\) and \(y\text{.}\) The reasons for this will become clear in part (d).
where \(w\) is the weight density of the chain, and \(H\) is the constant (magnitude of the) horizontal tension.
Hint.
This is essentially the same computation you did for the special case, but the Algebra is messier. Consider making it “easier on the eyes” with the substitutions
We already know from part 8.4.1.c that \(\dfdxn{Y}{X}{2}=\sqrt{1+\left(\dfdx{Y}{X}\right)^2}\text{.}\) Notice that \(y=\frac{H}{w}Y(X)\) and use this to show that \(\dfdx{y}{x}=\dfdx{Y}{X}\text{ and that }
\dfdxn{y}{x}{2}=\frac{w}{H}\dfdxn{Y}{X}{2}.\)
(e)
Assume that \(w=1 \text{,}\) and \(H=1\) and graph the curve given in equation (8.14). Does it look like a hanging chain? What happens to the graph if we use \(w=1\) and \(H=2\text{,}\) or \(w=2\) and \(H=1\text{?}\) Does this make sense physically? Why or why not?
The expressions \(\frac12\left(e^x+e^{-x}\right)\) and \(\frac12\left(e^x-e^{-x}\right)\) arise frequently in many scientific and engineering problems and have been named the hyberbolic cosine and hyberbolic sine and are denoted \(\cosh(x)\) and \(\sinh(x)\text{,}\) respectively.These names break with the longstanding mathematical tradition of giving important functions three letter names. Why do you suppose we would do that?
Drill8.4.2.
Recall that the unit circle, \(x^2+y^2=1\text{,}\) is parameterized by
is not a coincidence. It also explains why they are called Hyperbolic Trigonometric Functions.
The many scientific and engineering problems that involve the hyperbolic functions are slightly outside the scope of this text. So we will only examine some of their more elementary properties in the next problem.
In addition to \(\cosh(x)\) and \(\sinh(x)\) we make the following definitions which are clearly modeled on the definitions of the trigonometric functions: