Gebonden Extrema 680Ace

1. **Probleemstelling:** We willen de extrema (maxima of minima) van een functie $f(x_1,...,x_n)$ vinden, maar dan onder de voorwaarde dat de variabelen voldoen aan de restrictie $g(x_1,...,x_n)=0$. 2. **Belangrijk concept:** De punten waar $f$ een extremum bereikt onder de randvoorwaarde $g=0$ liggen op de kromme of het oppervlak bepaald door $g(x_1,...,x_n)=0$. 3. **Geometrische intuïtie (voor $n=2$):** - De niveaulijnen van $f$ zijn lijnen waar $f$ constant is. - De randvoorwaarde $g(x_1,x_2)=0$ beschrijft een kromme in $ R^2$. - In een gebonden lokaal extremum $x^*$ raakt de kromme $g=0$ de niveaulijn van $f$ aan. - 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 \mathbb{R}$ 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 : \mathbb{R}^{m+1} \to \mathbb{R} : (x_1,...,x_m,\lambda) \mapsto f(x_1,...,x_m) - \lambda g(x_1,...,x_m)$$ 6. **Kritieke punten:** De punten $(x_1^*,...,x_m^*,\lambda^*)$ die voldoen aan $$ \nabla_x L = 0 \quad \text{en} \quad g(x^*)=0 $$ zijn de kandidaten voor gebonden extrema. 7. **Voorbeeld:** Neem $f(x) = x^2$ op het interval $[0,2]$. Hier is: - $(0,0)$ het absoluut minimum (want $f(0)=0$) - $(2,4)$ is een lokaal gebonden maximum binnen het domein (want $f(2)=4$) **Samenvatting:** Gebonden extrema zijn minima of maxima van een functie binnen het domein of interval bepaald door de randvoorwaarden. De methode van Lagrange-multiplicatoren helpt deze punten te vinden door de gradiënten van $f$ en $g$ te relateren via een parameter $\lambda$.