Seeing how I wrote a new post yesterday in the area of tensor analysis, I was reminded of the beautiful result below. It likely would have made it onto this blog at some point, so I thought I would quickly write it all out.
Here we go.
Imagine we are presented with some arbitrary curve in Euclidean space. This curve has no defining coordinate system, and so we can simply picture it like this:
Now, as should be emphasised more than once, without enforcing a coordinate system we’re going to want to parameterise this curve. Similar, perhaps, to how we might build a picture of a relativistic string from the ground up, we’re going to want to issue some generalised coordinates and piece together what we can glean about this string. So let’s use arc length, , for parameter. Let’s also define some general coordinates, say, . But remember, these general coordinates can be Cartesian, Polar or whatever.
This is good. We are making progress.
With the stage now set, here’s the intriguing question I want you to think about (you have already seen this in a textbook): Can you, given the unit tangent to this arbitrary curve (image below), find the components of this unit tangent with respect to the covarient basis?
First, one might be inclined to say, “without defining a coordinate system I can’t even think about or imagine deriving the coordinates of the tangent basis!” Putting aside what we know of the power of tensor analysis, one can certainly sympathise with such a response. But what we have is, indeed, the power of tensor analysis and so we can proceed in a very elegant way.
The main objective here is that, given this unit tangent, we want to find some algebraic expression for it of the general form
Let me also say this: the desire here is to express and in terms of our general coordinates .
So, how do we go about this? Recall, firstly, that as a standard the definition of the unit normal is .
Think of as a function of . As such, it follows that we can write: .
But our unit tangent can also be written as , noting that .
This leads us directly to ask, “what is . Well, we can compute it as follows
Ask yourself, what is ? It is the covariant basis!
And this deserves celebration, as it is appeared in our investigation of this arbitrary curve without force!
Thus, and I will write it out again in full as the conclusion,
Where, and .
There we have it, a beautiful result.