Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Understanding Lagrange multipliers in the Lagrangian

  1. Sep 30, 2012 #1
    In Goldstein, the action is defined by [itex]I=\int L dt[/itex]. However, when dealing with constraints that haven't been implicitly accounted for by the generalized coordinates, the action integral is redefined to

    I = \int \left( L + \sum\limits_{\alpha=1}^m \lambda_{\alpha} f_a \right) dt.

    f is supposed to be an equation of constraint. I do not understand the significance of the new term. It kind of seems to take the form of a generalized force, but I have not quite been able to convince myself of this. Why is this new term being added? Why is it that solving for lambda gives you the constraint force. And how exactly does one take a derivative of a constraint equation? For instance, say your constraint equation is [itex]r \theta = x[/itex]. This seems like a holonomic constraint if x and theta are you generalized coordinates. Now if I take the derivative with respect to x I should get 1 on one side and 0 on the other. I'm a bit confused by this. Any help would be appreciated. Thanks.
  2. jcsd
  3. Sep 30, 2012 #2
    A typical case would be, say, let [itex]r, \theta[/itex] be your generalized coordinates, and constrain [itex]r = a[/itex], a constant. The equation of constraint is then [itex]f = r-a = 0[/itex], and the equation is enforced by saying that [itex]\partial L'/\partial \lambda = 0[/itex] must be true (which follows directly from the Euler-Lagrange equations when applied to the modified Lagrangian [itex]L'[/itex]).
  4. Oct 1, 2012 #3
    I believe that the sum [itex]\lambda_a f_a[/itex] is the work that would be done on the system due to a displacement away from the constraints (except that those motions don't actually happen).

    That is, the [itex]f_a[/itex] terms are generalized displacements which are disallowed by the constraints (which is why you arrange the form of [itex]f_a[/itex] so that the RHS is zero: the displacement "away" from the allowed displacements is zero).

    Then the [itex]\lambda_a[/itex] are constraint forces: they multiply the displacements from allowable configurations to yield the work done. (Of course, no work is actually done by the constraint forces because the displacements [itex]f_a[/itex] are 0.)

    It's still not totally clear to me why -- formally -- the constraints wind up being zero (except that you're minimizing the augmented Lagrangian, and there isn't any real reason for the constraint term to not vanish).
  5. Oct 6, 2012 #4
    Thank you folks. After some searching, I believe I have worked things out.
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook