# 2.7: Undetermined Multipliers

$$\newcommand{\vecs}{\overset { \rightharpoonup} {\mathbf{#1}} }$$ $$\newcommand{\vecd}{\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 \|}$$ $$\newcommand{\inner}{\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 \|}$$ $$\newcommand{\inner}{\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}$

where

$\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.