# Useful Math Tricks¶

## Functional Derivative¶

By definition, [1] functional derivative of a functional \(G[f]\) with respect to \(f\) along the ‘direction’ of \(h\) is

As an example, the functional derivative of \(G[f]=\int dx f^n(x)\) \(\delta G[f][h]\) is

Now the problem appears. We have an unknown function \(h\) which makes sense because we haven’t specify a direction of the derivative yet.

For a physicist, the savior of integral is Dirac delta. So we use delta distribution as the direction in the functional derivative of action which is an integral,

It can be ambiguous to just write down \(\delta_y\) without an example. Here is the previous example continued,

It seems that we can just think of \(f\) as a variable then take the ordinary derivative with respect to it. It is NOT true.

Consider such a functional \(G[f]=\int (f'(x))^2 dx\) where ‘ means the derivative of \(f(x)\).

which is not that straightforward to understand from function derivatives.

[1] | Chapter 15 of Physical Mathematics |

## Legendre Transformation¶

Legendre transformation is NOT just some algebra. Given \(f(x)\) as a function of \(x\), which is shown in blue, we could find the distance between a line \(y=px_i\) and the function value \(f(x_i)\).

However, as we didn’t fix \(x\), this means that the distance

varies according to \(x\). This is a transformation that maps a function \(f(x)\) to some other function \(F(p,x)\) which depends on the parameter \(p\). A more pedagogical way of writing this is

To have a Legendre transformation, let’s choose a relation between \(x\) and \(p\). One choice is to make sure we have a maximum distance given \(p\), which means the \(x\) we choose is the point that makes the slope of \(f(x)\) the same as the line \(y=px\). In the language of math, the condition we require is

which indeed shows that the slope of function and slope of the straight line match eath other at the specified point. Thus we have a relation between \(x\) and \(p\).

Substitute \(x(p)\) back into \(F(p,x)\), we will get the Legendre transformation \(F(p,x(p))\) of \(f(x)\).

Back to the math we learned in undergrad study. A Legendre transformation transforms a function of \(x\) to another function with variable \(\frac{f(x)}{x}\). Using \(f(x)\) and its Legendre transformation \(F(p = p x - f(x(p))\) as an example, we can show that the slope of \(F(p)\) is \(x\),

which is intriging because the slope of \(f(x)\) is \(p\) in our requirement. We removed the dependence of \(x\) in \(F(p)\) because we have this extra constrain.

Let’s Move to Another Level

We require the function \(f(x)\) is convex (second order derivative is not negative ). This is required because otherwise we would NOT have a one on one mapping of \(x\) and \(p\).

One imediately notices the symmety of Legendre transformation on interchanging of F and f.

This graph is taken from this paper Making Sense of the Legendre Transform .

This is the triangle that represents the Legendre transformation.

If we have a slope that vanishes, which means \(f(x)\) is at minimium, then we have the relation

## Vector Analysis¶

The ultimate trick is to use component form.

One should be able to find the component forms of gradient \(\vec \nabla \cdot\), divergence \(\vec \nabla \times\), Laplace operator, in **spherical coordinates, cylindrical coordinates and cartisian coordinates**.