Skip to main content
Library homepage
Physics LibreTexts

2.7: Undetermined Multipliers

  • Page ID
  • \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \) \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)\(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\) \(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\)\(\newcommand{\AA}{\unicode[.8,0]{x212B}}\)

    Let ψ(x, y, z) be some function of x, y and z. Then if x, y and z are independent variables, one would ordinarily understand that, where ψ is a maximum, the derivatives are zero:

    \[ \frac{\partial \psi}{\partial x} = \frac{\partial \psi}{\partial y} = \frac{\partial \psi}{\partial z} = 0.\]

    However, if x, y and z are not completely independent, but are related by some constraining equation such as f(x, y, z) = 0, the situation is slightly less simple. (In a thermodynamical context, the three variables may be, for example, three “intensive state variables”, P, V and T, and ψ might be the entropy, which is a function of state. However the intensive state variables may not be completely independent, since they are related by an “equation of state”, such as PV = RT.)

    If we move by infinitesimal displacements dx, dy, dz from a point where ψ is a maximum, the corresponding changes in ψ and f will both be zero, and therefore both of the following equations must be satisfied.

    \[ d \psi = \frac{\partial \psi}{\partial x} dx + \frac{\partial \psi}{\partial y} dy + \frac{\partial \psi}{\partial z} dz = 0,\]

    \[ df = \frac{\partial f}{\partial x} dx + \frac{\partial f}{\partial y} dy + \frac{\partial f}{\partial z} dz = 0.\]

    Consequently any linear combination of ψ and f, such as Φ = ψ + λf, where λ is an arbitrary constant, also satisfies a similar equation. The constant λ is sometimes called an “undetermined multiplier” or a “Lagrangian multiplier”, although often some additional information in an actual problem enables the constant to be identified.

    In summary, the conditions that ψ is a maximum (or minimum or saddle point), if x, y and z are related by a functional constraint f (x, y, z) = 0, are

    \[ \begin{matrix} \frac{\partial \Phi}{\partial x} = 0 & \frac{\partial \Phi}{\partial y} = 0, & \frac{\partial \Phi}{\partial z} = 0, \end{matrix}\]


    \[ \Phi = \psi + \lambda f.\]

    Of course, if ψ is a function of many variables x1 , x2 , x3..., and the variables are subjected to several constraints, such as f = 0, g = 0, h = 0, etc., where f, g, h, etc., are functions connecting all or some of the variables, the conditions for ψ to be a maximum (etc.) are

    \[ \frac{\partial \psi}{\partial x_i} + \lambda \frac{\partial \psi}{\partial x_i} + \mu \frac{\partial \psi}{\partial x_i} + \nu \frac{\partial \psi}{\partial x_i} + ... = 0,~ i = 1,~2,~3\]

    This page titled 2.7: Undetermined Multipliers is shared under a CC BY-NC license and was authored, remixed, and/or curated by Jeremy Tatum.

    • Was this article helpful?