Solving a Lagrangian using an Ansatz

  • Context: Graduate 
  • Thread starter Thread starter bantalon
  • Start date Start date
  • Tags Tags
    Lagrangian
Join the discussion
Registration is free. Ask a follow-up in this thread, or start your own.
1 reply · 2K views
bantalon
Messages
3
Reaction score
0
We were working on some Lagrangian and trying to solve it using an ansatz. Due to some problems in the results we got, we started to doubt the correctness of the method in use. Here is a very simple Lagrangian which shows the problem very easily:
[tex]L=\frac{1}{2}\dot{x}^{2}-gx[/tex]
We took [tex]m=1[/tex] for the mere sake of simplicity. Solving this using the Euler-Lagrange equation gives [tex]\ddot{x}=-g[/tex] as expected, and finally (taking initial values to zero):
[tex]x=-\frac{1}{2}gt^2[/tex]
So far so good. Now, let's assume the following ansatz on the form of the solution:
[tex]x=\alpha{t}^{2}[/tex].
Where alpha is a constant. Now the fun begins. We wish to put the ansatz for x into the Lagrangian, vary it by alpha this time, and get the solution:
[tex]\alpha=-g[/tex]
We believe this should work since this ansatz suits the solution we got for x. Putting the ansatz into the Lagrangian we get:
[tex]L=2\alpha^{2}t^{2}-g\alpha{t}^{2}[/tex]
Varying by alpha, we get the equation:
[tex]4\alpha{t}^{2}-gt^2=0[/tex]
And finally:
[tex]\alpha=\frac{g}{4}[/tex]
not quite as expected.
Needless to mention, if we allow alpha to be a general function of [tex]t[/tex] instead of simply a constant, everything works seamlessly.
We would appreciate your thoughts regarding why this method does not work in this case. Can you specify the cases in which it should work?
 
Physics news on Phys.org
Setting x = αt2 is imposing a constraint, not just an ansatz. In other words, you're solving a different problem, which has a different minimum. Effectively you're adding a term λ(x-αt2) to the Lagrangian, where λ is a Lagrange multiplier. There will be a constraining force acting on the particle, forcing it to follow a parabolic path, and among this family of paths, α = -g is no longer the minimum.