Theorem: Euler's Equation for Vanishing Variation is Invariant under Coordinate Transformations

Euler's Equation for Vanishing Variation is invariant under coordinate transformations.

Proof:
Let $J \sqbrk y$ be an integral functional:
:$\ds J \sqbrk y = \int_a^b \map F {x, y, y'} \rd x$
Suppose, we introduce new curvilinear coordinates $u,v$ such that:
:$x = \map x {u, v}$
:$y = \map y {u, v}$
such that:
:$\begin{vmatrix}
\map {\dfrac {\partial x} {\partial u} } {u, v} & \map {\dfrac {\partial x} {\partial v} } {u, v} \\
\map {\dfrac {\partial y} {\partial u} } {u, v} & \map {\dfrac {\partial y} {\partial v} } {u, v}
\end{vmatrix} \ne 0$
After this transformation, a curve $y = \map y x$ in coordinates $\tuple {x, y}$ will be described by an equation $v = \map v u$ in coordinates $\tuple {u, v}$.
Let $\mathscr J \sqbrk v$ be a functional defined according to the following chain of operations:
{{begin-eqn}}
{{eqn | l = J \sqbrk y
      | r = \int_{x \mathop = a}^{x \mathop = b}\map F {x, y, y'} \rd x
}}
{{eqn | r = \int_{u \mathop = \alpha}^{u \mathop = \beta} \map F {\map x {u, v}, \map y {u, v}, \frac {\d y} {\d x} } \paren {\frac {\partial x} {\partial u} \rd u + \frac {\partial x} {\partial v} \frac {\d v} {\d u} \rd u}
}}
{{eqn | r = \int_{u \mathop = \alpha}^{u \mathop = \beta} \map F {\map x {u, v}, \map y {u, v}, \frac {\frac {\partial y} {\partial u} \rd u + \frac {\partial y} {\partial v} \frac {\d v} {\d u} \rd u} {\frac {\partial x} {\partial u} \rd u + \frac {\partial x} {\partial v} \frac {\d v} {\d u} \rd u} } \paren {x_u + x_v v'} \rd u 
}}
{{eqn | r = \int_{u \mathop = \alpha}^{u \mathop = \beta} \map F {\map x {u, v}, \map y {u, v}, \frac {y_u + y_v v'} {x_u + y_v v'} } \paren {x_u + x_v v'} \rd u
}}
{{eqn | r = \int_{u \mathop = \alpha}^{u \mathop = \beta} \map {\mathscr F} {u, v, v'} \rd u
}}
{{eqn | r = \mathscr J \sqbrk v
}}
{{end-eqn}}
Now, consider the method of finite differences like it is used here.
For functional $J \sqbrk y$ we have the area $\Delta \sigma$ bounded by functions $\map y x$ and $\map y x + \map h x$.
Likewise, for functional $\mathscr J \sqbrk v$ we have area $\Delta \Sigma$ bounded by functions $\map v u$ and $\map v u + \map \eta u$.
Note that as it was able to construct $\map v u$ from $\map y x$, same can be done for $\map \eta u$ starting with $\map h x$.
As both areas approach zero, they become differential surface elements, which are related by corresponding Jacobian determinant of coordinate transformations:
$\d \sigma = \begin{vmatrix}
x_u & x_v \\
y_u & y_v
\end{vmatrix} \rd \Sigma$
The last thing to be shown is that variational derivative vanishes in new coordinates.
By definition, it has to satisfy
$\ds \lim_{\Delta \sigma \mathop \to 0} \frac {\Delta J \sqbrk {y; h} } {\Delta \sigma} = 0$
Since $J\sqbrk y = \mathscr J \sqbrk v$ with respect to a specific set of coordinates, we have
{{begin-eqn}}
{{eqn | l = \lim_{\Delta \sigma \mathop \to 0} \frac {\Delta J \sqbrk {y; h} } {\Delta \sigma}
      | r = \lim_{\Delta \Sigma \mathop \to 0} \frac {\Delta \mathscr J \sqbrk {v; \eta} } {\ds \begin {vmatrix}
 x_u & x_v \\
 y_u & y_v
\end {vmatrix} \Delta \Sigma}
}}
{{eqn | r = \begin{vmatrix}
 x_u & x_v \\
 y_u & y_v
\end {vmatrix}^{-1} \lim_{\Delta \Sigma \mathop \to 0} \frac {\Delta \mathscr J \sqbrk {v; \eta} } {\Delta \Sigma}
}}
{{end-eqn}}
We see that, if Jacobian determinant is nonvanishing, the condition of vanishing variational derivative is the same.
The equivalence of Euler's equation in both sets of coordinates is the result of same method of finite differences being used in each case.
{{qed}}
{{improve|Improve and explain whenever chain rule of partial derivatives and differentials are being used; think of how to discretize Jacobian to avoid using Jacobian determinant together with finite areas}}