Question: Vind de extrema van $f(x_1,...,x_n)$ onder de randvoorwaarden $g(x_1,...,x_n)=0$
1. **Probleemstelling:**
We willen de extrema (maxima of minima) van een functie $f(x_1,...,x_n)$ vinden, maar dan onder de randvoorwaarde dat $g(x_1,...,x_n)=0$ geldt.
2. **Belangrijk concept:**
De functie $f$ is beperkt tot de kromme of het oppervlak waar $g=0$. Dit betekent dat we niet zomaar de gewone afgeleiden van $f$ kunnen gebruiken, want we moeten rekening houden met de beperking.
3. **Geometrische intuïtie (voor $n=2$):**
In $
R^2$ is de randvoorwaarde $g(x_1,x_2)=0$ een kromme.
Een lokaal extremum van $f$ onder deze randvoorwaarde ligt op een punt $x^*$ waar de kromme $g=0$ de niveau lijn van $f$ raakt.
Dit betekent dat de gradiënten van $f$ en $g$ in $x^*$ evenwijdig zijn:
$$\nabla f(x^*) \parallel \nabla g(x^*)$$
4. **Formulering met Lagrange-multiplicatoren:**
Als $f$ een extremum bereikt in $x^* = (x_1^*, ..., x_m^*)$ onder de voorwaarde $g(x_1,...,x_m)=0$, dan bestaat er een $
\lambda^* \in \nR$ zodat:
$$
\begin{cases}
\frac{\partial f}{\partial x_1}(x^*) - \lambda^* \frac{\partial g}{\partial x_1}(x^*) = 0 \\
\vdots \\
\frac{\partial f}{\partial x_m}(x^*) - \lambda^* \frac{\partial g}{\partial x_m}(x^*) = 0 \\
g(x^*) = 0
\end{cases}
$$
5. **Lagrange functie:**
Definieer de functie
$$
L(x_1,...,x_m, \lambda) = f(x_1,...,x_m) - \lambda g(x_1,...,x_m)
$$
De punten $(x_1^*,...,x_m^*, \lambda^*)$ die voldoen aan
$$
\nabla L = 0
$$
zijn de kritieke punten die we zoeken.
6. **Interpretatie:**
De Lagrange-multiplicator $
\lambda$ geeft aan hoe sterk de randvoorwaarde $g=0$ de locatie van het extremum beïnvloedt.
7. **Voorbeeld:**
Neem $f(x) = x^2$ over het interval $[0,2]$ met randvoorwaarden $g(x) = 0$ die $x$ beperkt tot $[0,2]$.
De extrema zijn dan:
- Bij $x=0$, $f(0)=0$ is een absoluut minimum.
- Bij $x=2$, $f(2)=4$ is een lokaal gebonden maximum.
**Samenvatting:**
De methode van Lagrange-multiplicatoren helpt ons gebonden extrema te vinden door een extra variabele $
\lambda$ toe te voegen en het oplossen van het systeem van vergelijkingen dat voortkomt uit de gradiënten van $f$ en $g$.