[voortgezette analyse] afgeleiden gelijkstellen aan 0 (lagrange)

Moderators: dirkwb, Xilvo

Reageer
Berichten: 7

[voortgezette analyse] afgeleiden gelijkstellen aan 0 (lagrange)

Ik kijk regelmatig op dit forum om mijn vragen te laten beantwoorden, maar ik zit nu met een probleem dat ik zo een twee drie niet terug kon vinden. Vandaar dit topic.

Ik ben bezig met functies van 2 variabelen met bepaalde randvoorwaarden. De bedoeling is om een maximum, een minimum of de kritiek punten te vinden. Dit doe ik dan met behulp van de LaGrange-methode.

De opdracht luidt als volgt:

[opdracht]

Zij
\(K = \{(x, y) \epsilon R^{2} | x^{4} + y^{6} = 1\} \)
Zij
\(f\)
de functie op
\(K\)
gegeven door
\(f(x, y) = 6x5 + y9\)
.

Deze functie heeft een maximum en een minimum. Bereken dat maximum.

Vervolgens de oplossing:

De methode van LaGrange multiplicatoren zegt dat we de afgeleiden van de functie:
\( L(x, \lambda) := f(x) + \lambda g(x) \)
gelijk aan 0 moeten stellen.
\( L(x, y, \lambda) := 6x^{5} + y^{9} + \lambda (x^{4} + y^{6} -1) \)
Ik bepaal de partiëel afgeleiden:
\(\frac{\delta L}{\delta x} = 30x^{4} + 4\lambda x^{3} = 0 \)
\(\frac{\delta L}{\delta y} = 9y^{8} + 6\lambda y^{5} = 0 \)
\(\frac{\delta L}{\delta \lambda} = x^{4} + y^{6} -1 \)
En nu komt het gedeelte waar ik vast zit. Ik heb de oplossing gekregen, maar krijg het niet voor elkaar om deze te reproduceren. Men gaat als volgt verder:

(het gaat vooral om de overgang naar de vergelijkingen hieronder. 30*6 = 180, 4*9=36 en 4*6 = 24, en er wordt ergens gedeeld door lambda. Maar met welke stappen, rekenregels of trucs gebeurt dit?)

Daaruit volgt
\(180x^4y^5 = -24\lambda x^3y^5 = 36x^3y^8, [i](?)[/i] dus 5x^4y^5 = x^3y^8\)
.

Er zijn dus twee mogelijkheden:

Als
\(x = 0\)
dan ligt
\((x, y)\)
op K als
\(y^6 = 1\)
dus
\(y = +1\)
of
\(y = -1.\)
De functie heeft dan de waarde nul.

Als
\(x \neq 0\)
dan is
\(5x = y^3\)
, dus ligt (x, y) op K als
\(x^4 + 25x^2 = 1\)
.

Dan is
\(x^2 = -12.5 + \sqrt{157.25} = 0.0399362...\)
dus
\(x = \pm \sqrt{-12.5 + 157.25} = 0.19984...\)
en
\(y = (5x)^{\frac{1}{3}} = \pm 0.99734....\)
De functiewaarde is dan 0.99952...

[/opdracht]

Wat me dus eigenlijk niet lukt is het gelijkstellen van de afgeleides aan 0.

Ik heb hier nog meer voorbeelden van waar ik ook op hetzelfde punt vast kom te zitten.

Bv. de volgende partiëel afgeleiden:
\( y + \lambda (3x^2 - 15) = 0 \)
\( x + \lambda(-2y) = 0 \)
(En hier ben ik het vervolgens weer kwijt)

Daaruit volgt
\(-2y^2 = 2\lambda y(3x^2 - 15) = 3x^3 - 15x\)
.

of deze:
\(2x + \lambda (4x^3 - 4x + 4xy^2) = 0\)
\(2y + \lambda (4x^2y + 4y + 4y^3) = 0\)
Daaruit volgt
\(2x(4x^2y + 4y + 4y^3) = -\lambda (4x^3 - 4x + 4xy^2)(4x^2y + 4y + 4y^3) \)
\( = (4x^3 - 4x + 4xy^2)2y \)
ofwel
\(8x^3y + 8xy + 8xy^3 = 8x^3y - 8xy + 8xy^3\)
ofwel
\(16xy = 0\)
, dus
\(x = 0\)
of
\(y = 0\)
.

Voor
\(x = 0\)
is
\( y = \pm \sqrt{2}\)
, en de afstand tot de oorsprong is 2.

Voor
\(y = 0\)
is
\( x = \pm \sqrt{3}\)
, en de afstand tot de oorsprong is 3.

Wat mis ik hier nu precies? Het lijkt op iets heel eenvoudigs. Hartelijk dank voor het lezen van mijn bericht. Hopelijk kan iemand me verder helpen.

Gebruikersavatar
Berichten: 7.556

Re: [voortgezette analyse] afgeleiden gelijkstellen aan 0 (lagrange)

RobinvanKaathoven schreef:
\(\frac{\delta L}{\delta x} = 30x^{4} + 4\lambda x^{3} = 0 \)
\(\frac{\delta L}{\delta y} = 9y^{8} + 6\lambda y^{5} = 0 \)


Daaruit volgt
\(180x^4y^5 = -24\lambda x^3y^5 = 36x^3y^8, <i>(?)</i> dus 5x^4y^5 = x^3y^8\)
.
Heel eenvoudig:
\(30x^{4}\cdot 6\lambda y^{5}= (0-4\lambda x^{3})\cdot (0-9y^8)\)
oftewel
\(180 \lambda x^4y^5=36\lambda x^3y^8\)
Delen door lambda:
\(180x^4y^5=36 x^3y^8\)
Delen door 36:
\(5x^4y^5 = x^3y^8\)
Never express yourself more clearly than you think.

- Niels Bohr -

Berichten: 7

Re: [voortgezette analyse] afgeleiden gelijkstellen aan 0 (lagrange)

Phys schreef:Heel eenvoudig:
\(30x^{4}\cdot 6\lambda y^{5}= (0-4\lambda x^{3})\cdot (0-9y^8)\)
oftewel
\(180 \lambda x^4y^5=36\lambda x^3y^8\)
Delen door lambda:
\(180x^4y^5=36 x^3y^8\)
Delen door 36:
\(5x^4y^5 = x^3y^8\)
Ok, dat ziet er inderdaad logisch uit! Bedankt voor de snelle reactie!

Maar wat ik niet begrijp is waarom dit:
\(30x^{4}\cdot 6\lambda y^{5}= (0-4\lambda x^{3})\cdot (0-9y^8)\)
zomaar kan.

Begrijp ik goed dat dit is wat er eigenlijk gebeurt (met a.b,c,d,e,f,g,h als constanten):
\( f(x,y,\lambda ) = ax^e +by^f = 0\)

\( g(x,y,\lambda ) = cx^g + dy^h = 0\)
En dat je dan kan/mag zeggen:
\( ax^e \cdot dy^h = by^f \cdot cx^g = by^f \cdot dy^h = ax^e \cdot cx^g \)
?

Is dat wat mag? En waarom dan?

Als ik het zie staan (die
\(30x^{4}\cdot 6\lambda y^{5}\)
) dan vraag ik me af waarom die elementen met elkaar vermenigvuldigd worden.

groet en nogmaals bedankt!

Gebruikersavatar
Berichten: 7.556

Re: [voortgezette analyse] afgeleiden gelijkstellen aan 0 (lagrange)

RobinvanKaathoven schreef:Maar wat ik niet begrijp is waarom dit:
\(30x^{4}\cdot 6\lambda y^{5}= (0-4\lambda x^{3})\cdot (0-9y^8)\)
zomaar kan.
Ik doe niets magisch, alleen algebra. Als a+b=0 en c+d=0, dan a=0-b=-b en c=0-d=-d. Dus a*b=(-c)*(-d).

In dit geval
\(a=30x^{4}\)
;
\(b=4\lambda x^{3}\)
\(c=9y^{8}\)
;
\(d=6\lambda y^{5}\)
.
\(\frac{\partial L}{\partial x}=a+b\)
\(\frac{\partial L}{\partial y}=c+d\)
.
Never express yourself more clearly than you think.

- Niels Bohr -

Berichten: 7

Re: [voortgezette analyse] afgeleiden gelijkstellen aan 0 (lagrange)

Ok dan! Dat wist ik dus niet.

Hardstikke bedankt. Probleem opgelost.

Gebruikersavatar
Berichten: 7.556

Re: [voortgezette analyse] afgeleiden gelijkstellen aan 0 (lagrange)

Ok dan! Dat wist ik dus niet.
Wat wist je niet? Vast wel dat "Als a+b=0 en c+d=0, dan a=0-b=-b"? :eusa_whistle:

Als je eenmaal de afgeleides hebt berekend en gelijkgesteld hebt aan 0, dan is het alleen nog een kwestie van eenvoudige algebraïsche bewerkingen erop toepassen. Je hebt een stelsel van 2 (of 3) vergelijkingen, en wilt hieruit x en y oplossen; dit kan altijd. Bedenk ook dat er veel manieren zijn om het op te lossen, je hoeft niet per se de volgorde van het antwoordenmodel aan te houden.
Hardstikke bedankt. Probleem opgelost.
Graag gedaan!
Never express yourself more clearly than you think.

- Niels Bohr -

Berichten: 7

Re: [voortgezette analyse] afgeleiden gelijkstellen aan 0 (lagrange)

Voor eventuele mensen met dezelfde problemen, ik heb een lijstje gevonden waarin allerlei van deze regels staan. Natuurlijk is alles wel bekend, maar ik merk dat hier mijn zwak ligt, dus houdt het lijstje bij de hand. Voor geinteresseerden:
\(\begin{tabular}{ccc}\hlinenummer & rekenregel & naam/restricties \\1 & $(a+b)+c=a+(b+c)$ & associatief \\2 & $a+b=b+a$ & commutatief \\3 & $a+0=a$ \\4 & $a+(-a)=0$ \\5 & $a-b=a+(-b)$ \\6 & $-(-a)=a$ \\7 & $(a\leq b)\leq c=a\leq (b\leq c)$ & associatief \\9 & $a\leq b=b\leq a$ & commutatief \\9 & $a\leq 1=a$ \\10 & $a\leq 0=0$ \\11 & $a\leq \frac{1}{a}=1$ & $a\neq 0$\\12 & $-a=(-1)a$ \\13 & $a(b+c)=ab+ac$ & distributief\\14 & $\frac{1}{a}=a$ \\15 & $\frac{1}{\frac{1}{a}}=a$ &

$a\neq 0$ \\16 & $\frac{a}{b} \cdot \frac{c}{d}=\frac{ac}{bd}$ & $b\neq 0$ en $d\neq 0$ \\17 & $\frac{a}{c}+\frac{b}{c}=\frac{a+b}{c}$ & $c\neq 0$ \\18 & $a+b=0$ en $c+d=0$, dan $a=0-b=-b$ en $c=0-d=-d$. \\ & Dus $a\cdot b=(-c)\cdot (-d)$ \\ \end{tabular}\)
Wat wist je niet? Vast wel dat "Als a+b=0 en c+d=0, dan a=0-b=-b"?
Dat inderdaad nog net wel :eusa_whistle:
Dus a*b=(-c)*(-d).
Maar die laatste stap niet, dus die neem ik mee. Het is niet iets dat ik wist, maar vast iets dat ik wel kan gebruiken. Het komt op mij nog steeds niet intuitief over, maar dat is wiskunde bij nooit geweest, als het uberhaupt over komt. De 'Dus' uit jouw verhaal doet bij mij geen belletje rinkelen en dat ziet er dus bij mij redelijk uit als magie.

Gebruikersavatar
Berichten: 7.556

Re: [voortgezette analyse] afgeleiden gelijkstellen aan 0 (lagrange)

Doorgaans wordt van mensen die met optimalisatie bezig zijn verwacht dat ze dit soort dingen kunnen dromen, maar het is (voor jou) dus des te nuttiger dit nog eens goed te bestuderen. Ik moet echter wel een deel (alles met ongelijkheden) corrigeren:
\((a\leq b)\leq c=a\leq (b\leq c) \\
$a\leq b=b\leq a$ \\
$a\leq 1=a$\\
$a\leq 0=0$\\
$a\leq \frac{1}{a}=1$\)
Maar die laatste stap niet, dus die neem ik mee. Het is niet iets dat ik wist, maar vast iets dat ik wel kan gebruiken. Het komt op mij nog steeds niet intuitief over, maar dat is wiskunde bij nooit geweest, als het uberhaupt over komt. De 'Dus' uit jouw verhaal doet bij mij geen belletje rinkelen en dat ziet er dus bij mij redelijk uit als magie.
Volgens mij zoek je het te ver :eusa_whistle:

Je bent het dus eens met "als a+b=0 en c+d=0, dan a=-b en c=-d."

Maar uit a=-b en c=-d volgt toch direct dat a*c=(-b)*(-d)? Immers, ik vermenigvuldig de getallen a en c met elkaar. Maar a is gelijk aan -b en c is gelijk aan -d. Dus dit is hetzelfde als -b en -d met elkaar vermenigvuldigen.
Never express yourself more clearly than you think.

- Niels Bohr -

Berichten: 7

Re: [voortgezette analyse] afgeleiden gelijkstellen aan 0 (lagrange)

Akkoord, dus die 5 kloppen gewoon niet. Ik wilde daar in principe niets mee zeggen. Het was een lijstje dat ik op een site vond (een subadres van tue, vandaar dat ik het voor waar aannam, zal zodra ik weer achter de pc zit waarop ik het vond de link opzoeken) en aan mijn handige 'cheatsheat' heb toegevoegd (niet om te spieken, puur om naast me te houden bij het werken).

Nu ik er goed naar kijk, zie ik inderdaad dat het niet klopt. Ik heb ze uit mijn sheat gehaald! Bedankt!

[quote]

Maar uit a=-b en c=-d volgt toch direct dat a*c=(-b)*(-d)?

[\quote]

inderdaad! Nu zie ik het. Het zijn inderdaad dingen die ik eigenlijk zou moeten weten, maar doordat ik het nooit gebruikt heb, weet ik het op de een of andere manier niet.

Iets anders:

Ik heb
\(\frac{y}{x}e^{ylogx}\)
.

Ik weet dat dit hetzelfde is als
\(ye^{ylogx-logx}\)
, maar snap niet waarom. Heeft dit te maken met rekenregels omtrent log en euler die ik niet zie? (of had ik hier een nieuw onderwerp voor aan moeten maken?)

gr

Gebruikersavatar
Berichten: 7.556

Re: [voortgezette analyse] afgeleiden gelijkstellen aan 0 (lagrange)

Akkoord, dus die 5 kloppen gewoon niet. Ik wilde daar in principe niets mee zeggen. Het was een lijstje dat ik op een site vond (een subadres van tue, vandaar dat ik het voor waar aannam, zal zodra ik weer achter de pc zit waarop ik het vond de link opzoeken)
Ik ben benieuwd :eusa_whistle:
Iets anders:

Ik heb
\(\frac{y}{x}e^{ylogx}\)
.

Ik weet dat dit hetzelfde is als
\(ye^{ylogx-logx}\)
, maar snap niet waarom. Heeft dit te maken met rekenregels omtrent log en euler die ik niet zie? (of had ik hier een nieuw onderwerp voor aan moeten maken?)
De relevante regels zijn
\(e^a\cdot e^b=e^{a+b}\)
\(\log(a^b)=b\log a\)
\(e^{\log a}=a\)
\(\frac{1}{x}=x^{-1}\)
.

Probeer eens of je met deze regels kunt aantonen dat de twee uitdrukkingen gelijk zijn.
Never express yourself more clearly than you think.

- Niels Bohr -

Berichten: 7

Re: [voortgezette analyse] afgeleiden gelijkstellen aan 0 (lagrange)

\(\frac{y}{x} = y\frac{1}{x}\)
\(\frac{1}{x} = e^{log(\frac{1}{x})} = e^{log(x^{-1})} \)
dus
\(e^{-1\cdot log(x)} \)
want
\(log(a^b) = b\cdot log(a) \)
dan
\(y\cdot \frac{1}{x} \cdot e^{ylog(x)} = y\cdot e^{-1\cdot log(x)} \cdot e^{ylog(x)}\)
dus
\(y\cdot e^{ylog(x)} e^{-1\cdot log(x)} = y\cdot e^{ylog(x) -log(x)}\)
want
\(e^a \cdot e^b = e^{a+b}\)
Klopt toch?

Wederom dank Phys :eusa_whistle:

Gebruikersavatar
Berichten: 7.556

Re: [voortgezette analyse] afgeleiden gelijkstellen aan 0 (lagrange)

Klopt helemaal! :eusa_whistle:
Never express yourself more clearly than you think.

- Niels Bohr -

Reageer