Derivation of Eikonal equations from Fermat's Principle

[Matterwave]

So, I'm reading Holm's Geometric Mechanics Part I, and in it he wants to derive the Eikonal equations from Fermat's principle.

There's one part of the derivation that I don't understand. He gives the "Optical path" as:

A=\int_a^b n(\vec{r}(s))ds

Where ds is the infinitessimal arc length.

And then proceeds to take the variation of:

\delta \int_a^b n(\vec{r}(s))\sqrt{\frac{d\vec{r}}{ds}\cdot\frac{d\vec{r}}{ds}}ds

What's the deal with adding the square root term in there? It seems that it's legitimate to add this term since it's actually 1, but it appears that without adding this term, you don't get the Eikonal equations back by taking that variation to be 0, so what rational is there that "mandates" the adding of this term?

 

[Bill_K]

I think the issue is that you need to express the integral in a form where the dependence on the path length is made explicit because you need to perform variations in which the length of the path varies also. While ds is path length in the first equation, in the second equation it's just any parameter that varies along the curve, and in fact he should have called it something else.

 

[Matterwave]

Hmmm, so, would it be fair to restate Fermat's principle as:

0=\delta \int_C n(\vec{r}) d\vec{r}

And then parameterize the curve (arbitrarily) to obtain:

0=\delta \int_a^b n(\vec{r}(s))|\vec{r}'(s)|dsAnd then of course from the last expression, if we take s to be the arc-length so that |\vec{r}'(s)|=1, then we can recover the original form of the principle. Is this a valid method?

From this view, then, we are performing variations on the parameterization of the curves as well then?