Today, in daily challenges section, I saw that the subject of one discussion and related problem was Logarithmic spiral, a famous curve which often appear in nature and mathematical properties of which fascinated Jacob Bernouli so much that he named it Spira mirabilis - Latin for "miraculous spiral". I was, myself, for the first time introduced to this curve when I was reading Hamilton's Lectures on quaternions not while ago.
My wish is to supplement what was said and please a curious reader who was maybe left wondering how does the formula of Logarithmic spiral follow from properties used to describe it. The derivation below requires a little knowledge of analytic geometry and differential calculus.
We start off by defining the curve: radial line and tangent line at each point form an angle of a constant magnitude. There are a few ways to convert this statement into mathematical equation, here's one of them:
This equation says that we want dot product of radius vector and derivative of radius vector with respect to polar angle divided by their magnitudes to be a constant value, namely a cosine of the angle they form. Here, term derivative of radius vector with respect to polar angle corresponds to the ratio of displacement vector and infinitesimal change in polar angle. In order to make the notation somewhat cleaner, from now on, I will write instead of to denote the magnitude of the vector . Consequently, would denote derivative of the magnitude of the radius vector with respect to .
For the start we have: and corresponding magnitudes are: after some simplification.
Now, our equation transforms to:
To proceed from here, we will have to bring in an argument from geometry. When the angle is obtuse, we expect an increase in magnitude of radius vector - positive , but negative . When is non-obtuse, we expect no change or decrease in magnitude of radius vector - non-positive , but non-negative . Hence, .
Thus, our differential equation becomes: solution of which is: which is indeed both beautiful and simple (is it just me, or these two words are synonyms in math?) formula. Playing around value of , we see how our formula breaks down to the equation of circle when we set , just as we expect to be.
Parametric equation of the logarithmic spiral is accordingly:
Here's another fascinating property of the logarithmic spiral. Consider the length of the curve from the origin up to some point determined by value of . Is it finite or infinite? If finite, can we determine the closed-form expression for it? Let's find out. At origin, it must be . However, there's no specific angle where, according to the formula, this happens, but gets very close to zero as . In fact, we can make it arbitrarily small by making really big. Hence, length can be calculated through improper integral:
where is just a dummy variable. Simple as that! Of course, our formula is invalid in the case of circle or when .
A particularly peculiar curve occurs when the ratio of the radial components of two points displaced by polar angle of (this ratio is generally called growth factor) equals golden ration - . In that case we have: and equation then becomes: Characteristic angle is .