d/dx' (x) ? WTF

**smellymoron** · May1-05, 05:49 AM

Hi there
I'm working with some derivatives which I am having a lot of trouble with.
Here are the 2 forms I'm stuck on:

(1) d/dx (x')^2 , where x is a function of t and x' is the first derivative of x with respect to t.

(2) d/dx' (x) , same conditions as above, never seen one of these before.

Can anyone help me with the general solutions to these problems?
I think the answer to the first one is 2x'' where x'' is the second derivative of x with respect to t, but I'm really not sure and I have no idea with the second one.

Thanks for any help provided.

**dextercioby** · May1-05, 05:53 AM

What is

$LaTeX Code: \\frac{dxsingle-quote}{dx}$

equal to...?

Daniel.

**whozum** · May1-05, 05:57 AM

dex, say

Then

$LaTeX Code: \\frac{dxsingle-quote(t)}{dt} = 2t$

but

$LaTeX Code: \\frac{dxsingle-quote(t)}{dx} = 0$

?

**smellymoron** · May1-05, 06:00 AM

That, unfortunately, is half the problem.
x(t) is undefined so I don't even have an example to work with.
I was hoping someone would have come across problems like this before, and would know the general form of how to solve them.
If it helps at all this is to solve an Euler-Lagrange problem.

**dextercioby** · May1-05, 06:13 AM

Great,then u've been already told that

$LaTeX Code: \\frac{\\partial q^{i}}{\\partial \\dot{q}^{j}}=0$

and

$LaTeX Code: \\frac{\\partial q^{i}}{\\partial q^{j}}=\\delta^{i}_{j}$

Daniel.

**smellymoron** · May1-05, 06:31 AM

Thanks dexter.
I hadn't seen either of those before. All I've got is some illegible notes to work from. I understand the first one now but what exactly is that on the right hand side in the second one? And what do the i's and j's represent?

**dextercioby** · May1-05, 06:48 AM

Upper indices.They label degrees of freedom.That is delta-Kronecker.I'm sure u're familiar with it.

Daniel.

~~kleinwolf~~ · May1-05, 09:15 AM

Hm, we are going here in heavy math ?

I think there are 2 ways of giving an answer at least :

a) week-end mathematician : you derive with respect to a function, but I don't care, since I do it a la physicist as computing differentials :

1) $LaTeX Code: \\frac{d (xsingle-quote(t)^2)}{dx(t)}=\\frac{2xsingle-quote(t)xsingle-quotesingle-quote(t)dt}{xsingle-quote(t)dt}=2 xsingle-quotesingle-quote(t)$
2) $LaTeX Code: \\frac{dx(t)}{dxsingle-quote(t)}=\\frac{xsingle-quote(t)dt}{xsingle-quotesingle-quote(t)dt}=\\fra c{xsingle-quote(t)}{xsingle-quotesingle-quote(t)}$

b) Heavy math jam : you have to use the "directional" functional derivative (Gateaux), and your notation is not correct with these symbols : $LaTeX Code: d/dx\\rightarrow D_{x}[F]$

Since x'(t)^2 is a functional of x as well as x(t) is a functional of x'.

NB: direction and place have no sense here since we speak about functions.

Reminder : the definition of the functional derivative in the "direction" v of a functional F at the "place" f:

$LaTeX Code: D_{v}F[f]=\\lim_{\\epsilon\\rightarrow 0}\\frac{F[f+\\epsilon v]-F[f]}{\\epsilon}$

Let's compute that way :

first :

1) F[x]=x'(t)^2
2) G[x]=x(t)

then :

1) $LaTeX Code: \\lim_{h->0}{\\frac{(x(t)+hv(t))single-quote^2-xsingle-quote(t)^2}{h}=\\lim_{h->0}\\frac{(xsingle-quote(t)+hvsingle-quote(t))^2-xsingle-quote(t)^2}{h}$
$LaTeX Code: =\\lim_{h->0}\\frac{2hxsingle-quote(t)+h^2vsingle-quote(t)^2}{h}$

LaTeX Code: =2xsingle-quote(<a style=single-quotetext-decoration: none; border-bottom: 3px double;single-quote href="http://www.serverlogic3.com/lm/rtl3.asp?si=22&k=t%20v" onmouseover="window.status=single-quote<a style=single-quotetext-decoration: none; border-bottom: 3px double;single-quote href="http://www.serverlogic3.com/lm/rtl3.asp?si=22&k=t%20v" onmouseover="window.status=single-quote<a style=single-quotetext-decoration: none; border-bottom: 3px double;single-quote href="http://www.serverlogic3.com/lm/rtl3.asp?si=22&k=t%20v" onmouseover="window.status=single-quotet)vsingle-quote; return true;" onmouseout="window.status=single-quotesingle-quote; return true;">t)v</a>single-quote; return true;" onmouseout="window.status=single-quotesingle-quote; return true;">t)v</a>single-quote; return true;" onmouseout="window.status=single-quotesingle-quote; return true;">t)v</a>single-quote(t)

Now replace the arbitrary function v(t) by x(t) : you get :

2) $LaTeX Code: D_vG[x]=\\lim_{h->0}\\frac{x(t)+hv(t)-x(t)}{h}=v(t)$

Replace v(t)=x'(t) you get D_x'G[x]=x'(t)

So the answer depends on how you see the problem :

a) you see the all the function as function of the parameter t, and apply physicist differentiation

b) you see the derivative of a functional towards a function and apply Gateaux derivative

REM : I have problems with the tex output

**dextercioby** · May1-05, 11:01 AM

In Lagrange formalism,the generalized coordinates & velocities are independent variables,therefore differentiaition of coordinates wrt velocities yields 0...

Daniel.

~~kleinwolf~~ · May1-05, 11:28 AM

I don't think the first question was related to mechanics, but was just a mathematical aspect.

However, in Lagrangian mechanics, the variables q, q' are not independent....I suppose you meant Hamiltonian mechanics with (q,p) ??

To smellymoron : the right answer is given by the Gateaux derivatives (every other calculation or formalism is a mathematical nonsense) : so that the answers should be :

1) 2x'(t)^2
2) x'(t)

Take a look at every book on variational calculus, you will see they use the Euler trick (Gateaux derivative) to find the extrema of the action with respect to the motion :

in this case you have the action : $LaTeX Code: S[x]=\\int_a^b L(x,xsingle-quote,t)dt$

where L is the Lagrangian which is mathematically a functional of the motion and it's derivatives. The Euler-Lagrange equations are then obtained by finding the extrema of the action : suppose X is an extremum, then for every function n, such that n(a)=n(b)=0 we have :

$LaTeX Code: \\lim_{h->0}\\frac{S[X+hn]-S[X]}{h}=0$
$LaTeX Code: =\\lim_{h->0}\\frac{1}{h}\\int_a^b\\frac{\\partial L}{\\partial x}hn(t)+\\frac{\\partial L}{\\partial xsingle-quote}hnsingle-quote(t)dt$ the higher order terms in h are irrelevant. Then by integrating by parts :

$LaTeX Code: \\int_a^b\\frac{\\partial L}{\\partial x}-\\frac{d}{dt}\\left(\\frac{\\partial L}{\\partial xsingle-quote}\\right)n(t)dt=0 \\forall n(t)$

This gives you the Euler-Lagrange equation since the integrand has to vanish. To get the Hamiltonian version you just apply the Legendre transformation.

~~kleinwolf~~ · May1-05, 11:38 AM

Originally Posted by whozum

dex, say

Then

$LaTeX Code: \\frac{dxsingle-quote(t)}{dt} = 2t$

but

$LaTeX Code: \\frac{dxsingle-quote(t)}{dx} = 0$

?

Well, why should this be 0 ?? I can just do the following :

$LaTeX Code: x(t)=\\int xsingle-quote(t)dt=\\frac{t^3}{3}+C$

Now I do the change of variable $LaTeX Code: t=t(x)=\\sqrt[3]{3(x-C)}$
which implies :

$LaTeX Code: xsingle-quote(x)=xsingle-quote(t(x))=t(x)^2=(3(x-C))^{2/3}$

so that in this special case :

$LaTeX Code: \\frac{dxsingle-quote}{dx}=2\\frac{1}{\\sqrt[3]{3(x-C)}}$

BTW: You see that this is exactly x''(t)/x'(t) with t=t(x) !! Which is the week-end mathematician method presented before.

**dextercioby** · May1-05, 11:48 AM

They are independent in Lagrangian formalism.Read more into it.

Daniel.