Variation of a derivative?

1. Jul 21, 2013

pellman

Suppose we are taking the variation of a multiple integral and the integrand contains some terms with $\frac{\partial g}{\partial x}$. When is it ok to put

$\delta\frac{\partial g}{\partial x}=\frac{\partial}{\partial x}(\delta g)$

?

Last edited: Jul 21, 2013
2. Jul 21, 2013

CubicFlunky77

This is a trivial way of showing that what you have written is valid, but I'm guessing you already know it. I'm assuming $\delta$ is dirac, so for $\delta ≠ 0$:

Since $g_x \rightarrow \frac {\partial g}{\partial x}$, $\delta \cdot g_x = \delta$($\frac {\partial g}{\partial x}$) and $\frac {\partial (\delta g)}{\partial x} = \delta g_x$ $\leftrightarrow \delta \frac {\partial g}{\partial x}$, is implied.

Simply put, if you rewrite the terms on either side of your equation you get:

$\delta g_x = \delta g_x$

Showing it formally would be a little more involved I suppose. The elemental basis of $g_x$ would have to be somewhat disambiguated.

Last edited: Jul 21, 2013
3. Jul 21, 2013

pellman

Thank you for the reply. I'm not sure what you mean here. But my delta is not a dirac function. It means here a first order variation.

4. Jul 22, 2013

CubicFlunky77

Any time. You asked "when is it ok to do this", and I assumed that it was always ok to do that since both terms can be rewritten and equate to each other by definition. I'm not sure if if I'm oversimplifying the question, but unless there is a bound-problem with $g_x$ this seems to be more a matter of semantics than theory/concept.

5. Sep 12, 2013

pellman

I am still interested in this question. Spelling it out a little better:

Suppose we have a functional

$$J[q]=\int^{t_2}_{t_1}{L\left(q(t),\dot{q}(t)\right)dt}$$

where q can be any function in some appropriate domain of functions. And we take the first variation $\delta J$ by varying the function $q\rightarrow q+\delta q$. Under what conditions can we put $\delta \dot{q}=\frac{d}{dt}(\delta q)$ ?

Last edited: Sep 13, 2013
6. Sep 13, 2013

pasmith

Always.

If $q \to q + \delta q$ then $\dot q \to \frac{d}{dt} (q + \delta q) = \dot q + \frac{d}{dt} (\delta q)$. The change in $\dot q$ is then by definition $\delta \dot q = \frac{d}{dt}(q + \delta q) - \dot q = \frac{d}{dt}(\delta q)$.

7. Sep 13, 2013

pellman

But if we also are making a variation of the parameter $t \rightarrow t+\delta t$ this can complicate the relation between $\delta q(t)$ and $\delta \dot{q}(t)$, right? I just wanted to be sure that as long as the endpoints are not being varied, then $\delta \dot{q}(t)=\frac{d}{dt}\delta q$ and that I wasn't overlooking some other possible complication.

8. Sep 13, 2013

pasmith

No.

If you vary a function $q \to q + \delta q$ then the variation in $\dot q$ is fixed as soon as you choose $\delta q$. Differentiation is a function of a function; if $D(q) = q'$ then $D(q + \delta q) = (q + \delta q)' = q' + (\delta q)'$ because the derivative is linear.

Remember that $\delta q$ is the difference between the new $q$ and the old; thus if you have $q \to q \circ f + r$ then $\delta q = q \circ f + r - q$. Then $q' \to (q \circ f)' + r'$ and $\delta (q') = (q \circ f)' + r' - q' = (\delta q)'$.