Motivating the Legendre Transform Mathematically

478 Views Asked by At

If I begin with a functional of the form

$$J[y] = \smallint_a^b f(x,y,y')dx$$

& find it's Euler-Lagrange equations

$$\tfrac{\partial f}{\partial y} - \tfrac{d}{dx}\tfrac{\partial f}{\partial y'} = 0 = \tfrac{d}{dx}\tfrac{\partial f}{\partial y'} - \tfrac{\partial f}{\partial y}$$

I end up with a second order ODE

$$\tfrac{d}{dx}\tfrac{\partial f}{\partial y'} - \tfrac{\partial f}{\partial y} = ( \tfrac{\partial ^2 f}{\partial y' \partial y'} ) \tfrac{d^2 y}{dx^2} + (\tfrac{\partial ^2 f}{\partial y \partial y'}) \tfrac{dy}{dx} + \tfrac{\partial ^2 f}{\partial x \partial y'} - \tfrac{\partial f}{\partial y} = 0$$

Now every higher order ode can be broken up into a system of first order ode's $$M = \tfrac{dy}{dx}$$

$$ \tfrac{d}{dx}\tfrac{\partial f}{\partial y'} - \tfrac{\partial f}{\partial y} = ( \tfrac{\partial ^2 f}{\partial y' \partial y'} ) \tfrac{d M}{dx} + (\tfrac{\partial ^2 f}{\partial y \partial y'})M + \tfrac{\partial ^2 f}{\partial x \partial y'} - \tfrac{\partial f}{\partial y} = 0 $$

From this perspective, Hamilton's equations

$$ \tfrac{dy}{dx} = \tfrac{\partial \mathcal{H}}{\partial p} $$

$$ \tfrac{d p}{dx} = - \tfrac{\partial \mathcal{H}}{\partial y} $$

are merely a system of first order equations making my above system of first order ode's look more symmetric, after a suitable change of variables.

My question is, looking at

$$\tfrac{d}{dx}\tfrac{\partial f}{\partial y'} - \tfrac{\partial f}{\partial y} = ( \tfrac{\partial ^2 f}{\partial y' \partial y'} ) \tfrac{d^2 y}{dx^2} + (\tfrac{\partial ^2 f}{\partial y \partial y'}) \tfrac{dy}{dx} + \tfrac{\partial ^2 f}{\partial x \partial y'} - \tfrac{\partial f}{\partial y} = 0$$

it should be possible to see why the Legendre transformation arises, first because its a transformation using derivatives to change variables but also because it should just make some terms go to zero in this second order ode so that everything looks nicer, but how do you see this explicitly?

It'd be great if you could use my notation, ie. $J[y]$ etc... as you see I snuck in $\mathcal{H}$ in above which shouldn't really be there, I'd love to see how that comes about in my notation - thanks!