abonnement Unibet Coolblue
  vrijdag 21 december 2012 @ 13:58:32 #251
75592 GlowMouse
l'état, c'est moi
pi_120595977
ik snap je tex-code niet; wat is de doelfunctie, wat zijn de constraints, wat is het domein voor x, en wat is de optimale oplossing?

[ Bericht 36% gewijzigd door GlowMouse op 21-12-2012 14:08:12 ]
eee7a201261dfdad9fdfe74277d27e68890cf0a220f41425870f2ca26e0521b0
pi_120603685
quote:
0s.gif Op donderdag 20 december 2012 23:37 schreef Riparius het volgende:

[..]

Dat moet je nooit zeggen. Don't sell yourself short. Ik moest toen ik dit las meteen denken aan de ontdekking van de toen 10-jarige Penny Drastik. Tot voor kort werd gedacht dat de minimale zijde van een vierkant dat je kunt verdelen in 5 rechthoekige driehoeken waarvan de zijden pythagoreďsche tripletten vormen een lengte 9000 moest hebben, maar Penny dacht daar toch anders over en kwam op de proppen met maar liefst 12 kleinere vierkanten die zich zo laten verdelen. Ze denkt ook dat het kleinste zo te verdelen vierkant een zijde 1248 moet hebben, en tot nu toe heeft niemand haar bevindingen kunnen weerleggen. Hier kun je er meer over lezen. Ook goed leesvoer voor achterlijke FOKkers die anno 2012 nog beweren dat wiskunde niets is voor meisjes.
Mooie anekdote :)
Hoewel ik het idee heb dat sommige van de voorbeelden waar stellingen mee ontkracht worden meer een kwestie van geluk zijn (het geluk dat je bij toeval op zo'n voorbeeld stuit). (Hoewel hier dan weer minder van toepassing lijkt omdat dat meisje gelijk 12 tegenvoorbeelden heeft gevonden)

[ Bericht 3% gewijzigd door kutkloon7 op 21-12-2012 17:23:16 ]
pi_120604405
quote:
Uhuh, bij dat soort problemen is het volgens mij vaak ook een beetje dat bijna niemand er meer serieus naar kijkt omdat het van te voren al onwaarschijnlijk lijkt dat je er verder mee komt. Maar ik bedoelde eigenlijk specifiek tegenvoorbeelden, en dan met name in de geometrie (maar in de getaltheorie bijvoorbeeld, speelt volgens mij precies hetzelfde).
pi_120605381
quote:
Jammer genoeg word ik van dat hele topic niet veel wijzer, en ik zie ook geen serieuze bronnen. Wat ik ervan begrijp is dat hij een differentiaalvergelijking exact heeft weten op te lossen die tot dan toe alleen numeriek kon worden opgelost. Ik zou zijn werk wel eens willen zien.
pi_120606084
Ik moet de kritieke punten vinden van deze formule:
f(x,y) = x^3+y*x^2-y^2-4*y

De x afgeleide is:
3*x^2 + 2*x*y
Deze is 0 bij (0,y) (-2,-6) en (2,-6)

De y afgeleide is:
x^2-2*y-4
Deze is 0 bij (-2,0) (2,0) (4,6) en (-4,6)

Dit levert echter geen kritieke punten op dus ik moet haast wel iets verkeerd doen bij de afgeleides.
Wie ziet de fout?
When I get sad, I stop being sad and just be awesome instead.
pi_120606487
quote:
11s.gif Op vrijdag 21 december 2012 18:30 schreef MouzurX het volgende:
Ik moet de kritieke punten vinden van deze formule functie:
f(x,y) = x^3+y*x^2-y^2-4*y

De afgeleide naar x is:
3*x^2 + 2*x*y
Deze is 0 bij (0,y) (-2,-6) en (2,-6)

De afgeleide naar y is:
x^2-2*y-4
Deze is 0 bij (-2,0) (2,0) (4,6) en (-4,6)

Dit levert echter geen kritieke punten op dus ik moet haast wel iets verkeerd doen bij de afgeleides.
Wie ziet de fout?
Los eerst je stelsel fx(x,y) = 0, fy(x,y) = 0 eens fatsoenlijk op. Dan vind je (-4;6), (0;-2) en (1;-3/2).
pi_120606565
quote:
0s.gif Op vrijdag 21 december 2012 18:43 schreef Riparius het volgende:

[..]

Los eerst je stelsel fx(x,y) = 0, fy(x,y) = 0 eens fatsoenlijk op. Dan vind je (-4;6), (0;-2) en (1;-3/2).
Ah dus dan is (0,-2) een kritiek punt.
When I get sad, I stop being sad and just be awesome instead.
pi_120606698
quote:
0s.gif Op vrijdag 21 december 2012 13:58 schreef GlowMouse het volgende:
ik snap je tex-code niet; wat is de doelfunctie, wat zijn de constraints, wat is het domein voor x, en wat is de optimale oplossing?
Ik moet het uit mijn hoofd doen, het was een tentamenvraag.

De doelfunctie is |Ax|. Die moet geminimaliseerd worden onder de restrictie |x| = 1. Domein was niks bijzonders mee geloof ik, gewoon x element van (reëele getallen dimensie n). Optimale oplossing niet gegeven.
pi_120606941
quote:
2s.gif Op vrijdag 21 december 2012 17:14 schreef kutkloon7 het volgende:

[..]

Mooie anekdote :)
Hoewel ik het idee heb dat sommige van de voorbeelden waar stellingen mee ontkracht worden meer een kwestie van geluk zijn (het geluk dat je bij toeval op zo'n voorbeeld stuit). (Hoewel hier dan weer minder van toepassing lijkt omdat dat meisje gelijk 12 tegenvoorbeelden heeft gevonden)
Zou je een duidelijk voorbeeld kunnen geven van een onjuist gebleken hypothese in de wiskunde waarbij de ontkrachting naar jouw idee puur een kwestie van 'geluk' of 'toeval' was? Een stelling kan overigens niet ontkracht worden als het bewijs deugdelijk is.
pi_120608004
quote:
0s.gif Op vrijdag 21 december 2012 18:07 schreef Riparius het volgende:

[..]

Jammer genoeg word ik van dat hele topic niet veel wijzer, en ik zie ook geen serieuze bronnen. Wat ik ervan begrijp is dat hij een differentiaalvergelijking exact heeft weten op te lossen die tot dan toe alleen numeriek kon worden opgelost. Ik zou zijn werk wel eens willen zien.
Ik kon helaas ook geen goede bron vinden van wat hij nou precies gedaan had.
pi_120608194
quote:
0s.gif Op vrijdag 21 december 2012 18:50 schreef Physics het volgende:

[..]

Ik moet het uit mijn hoofd doen, het was een tentamenvraag.

De doelfunctie is |Ax|. Die moet geminimaliseerd worden onder de restrictie |x| = 1. Domein was niks bijzonders mee geloof ik, gewoon x element van (reëele getallen dimensie n). Optimale oplossing niet gegeven.

Iedere matrix A heeft een complexe eigenwaarde. Dus ik denk dat er nog iets mist.
  vrijdag 21 december 2012 @ 19:53:05 #263
75592 GlowMouse
l'état, c'est moi
pi_120609051
Wat zeggen de kkt condities?
eee7a201261dfdad9fdfe74277d27e68890cf0a220f41425870f2ca26e0521b0
pi_120611323
quote:
0s.gif Op vrijdag 21 december 2012 18:57 schreef Riparius het volgende:

[..]

Zou je een duidelijk voorbeeld kunnen geven van een onjuist gebleken hypothese in de wiskunde waarbij de ontkrachting naar jouw idee puur een kwestie van 'geluk' of 'toeval' was? Een stelling kan overigens niet ontkracht worden als het bewijs deugdelijk is.
Nee, dat klopt uiteraard :)
Ik zal zo eens kijken of ik mijn getaltheorieboek of dictaat een goed voorbeeld kan vinden, ik heb helaas niet zo'n uitstekend geheugen als jij voor dat soort dingen :P.
  vrijdag 21 december 2012 @ 22:13:38 #265
314096 yarnamc
nitimur in vetitum
pi_120616134
Ik vraag me het volgende af (in verband met asymptotische stabiliteit van een systeem):

als  x(n) = A^nx(0) met x(n) een Nx1 matrix, A een NxN matrix en x(0) een Nx1 matrix (x is afhankelijk van de variabele n).
A is diagonaliseerbaar, dus ik kan schrijven A = T\Lambda T^{-1} met T de matrix met in de kolommen de eigenvectoren van A, en \Lambda de eigenwaardematrix.

Dus  x(n) = T\Lambda^nT^{-1}x(0) . Nu is gevraagd aan te tonen dat voor de limiet van n -> ∞ zal gelden dat x(n) -> 0 (de nulmatrix), als en slechts als de norm van alle eigenwaarden van A (dus alle diagonaalelementen van \Lambda) kleiner is dan één.

Het is simpel om te bewijzen dat als de norm van de eigenwaarden kleiner is dan één, dat dan x(n) -> 0, maar in de omgekeerde richting zie ik het niet direct.
Ik vermoed dat het echter niet zo moeilijk zal zijn.

[ Bericht 9% gewijzigd door yarnamc op 21-12-2012 23:16:19 ]
  vrijdag 21 december 2012 @ 23:36:58 #266
75592 GlowMouse
l'état, c'est moi
pi_120620221
Probeer een bewijs uit het ongerijmde waarbij je voor x een eigenvector pakt.
eee7a201261dfdad9fdfe74277d27e68890cf0a220f41425870f2ca26e0521b0
pi_120621820
quote:
0s.gif Op vrijdag 21 december 2012 18:07 schreef Riparius het volgende:

[..]

Jammer genoeg word ik van dat hele topic niet veel wijzer, en ik zie ook geen serieuze bronnen. Wat ik ervan begrijp is dat hij een differentiaalvergelijking exact heeft weten op te lossen die tot dan toe alleen numeriek kon worden opgelost. Ik zou zijn werk wel eens willen zien.
http://tu-dresden.de/die_(...)eien/CommentsRay.pdf

Hierin staat wat hij heeft gedaan (met commentaar van een aantal professoren)
pi_120622640
quote:
0s.gif Op zaterdag 22 december 2012 00:16 schreef flopsies het volgende:

[..]

http://tu-dresden.de/die_(...)eien/CommentsRay.pdf

Hierin staat wat hij heeft gedaan (met commentaar van een aantal professoren)
In de laatste paragraaf staat dat hij eigenlijk niks nieuws heeft ontdekt, en zeker geen open probleem van Newton heeft opgelost. Zo zie je maar weer hoe de media werkt (en dat er geen wiskundigen werken).
  zaterdag 22 december 2012 @ 02:14:53 #269
75592 GlowMouse
l'état, c'est moi
pi_120624932
quote:
0s.gif Op vrijdag 21 december 2012 18:50 schreef Physics het volgende:

[..]

Ik moet het uit mijn hoofd doen, het was een tentamenvraag.

De doelfunctie is |Ax|. Die moet geminimaliseerd worden onder de restrictie |x| = 1. Domein was niks bijzonders mee geloof ik, gewoon x element van (reëele getallen dimensie n). Optimale oplossing niet gegeven.

Is A toevallig symmetrisch?
eee7a201261dfdad9fdfe74277d27e68890cf0a220f41425870f2ca26e0521b0
  zaterdag 22 december 2012 @ 10:48:34 #270
314096 yarnamc
nitimur in vetitum
pi_120628108
quote:
0s.gif Op vrijdag 21 december 2012 23:36 schreef GlowMouse het volgende:
Probeer een bewijs uit het ongerijmde waarbij je voor x een eigenvector pakt.
Aha dank je wel! Zo moet je het inderdaad doen, voor een eigenvector kom je dan uit dat zijn corresponderende eigenwaarde een modulus kleiner dan 1 heeft, en zo ga je ze allemaal af. :D

(ik merk nu op dat ik een klein beetje onnauwkeurig was in de formulering, de limiet moet gelden voor alle x(0))
pi_120628884
quote:
0s.gif Op zaterdag 22 december 2012 02:14 schreef GlowMouse het volgende:

[..]

Is A toevallig symmetrisch?
Ja
  zaterdag 22 december 2012 @ 12:44:31 #272
75592 GlowMouse
l'état, c'est moi
pi_120630074
quote:
0s.gif Op zaterdag 22 december 2012 10:48 schreef yarnamc het volgende:

[..]

Aha dank je wel! Zo moet je het inderdaad doen, voor een eigenvector kom je dan uit dat zijn corresponderende eigenwaarde een modulus kleiner dan 1 heeft, en zo ga je ze allemaal af. :D
Het kan sneller: neem aan dat er een eigenvector is met modulus >= 1.
quote:
0s.gif Op zaterdag 22 december 2012 11:38 schreef Physics het volgende:

[..]

Ja
Ik denk dat je het antwoord in het Rayleigh quotient moet zoeken. Minimaliseren van ||Ax|| is hetzelfde als minimaliseren van het kwadraat ervan gedeeld door een constante: xTATAx / xTx. Dit is altijd groter dan de kleinste eigenwaarde van ATA, met gelijkheid desda x een eigenvector is horend bij de kleinste eigenwaarde.
eee7a201261dfdad9fdfe74277d27e68890cf0a220f41425870f2ca26e0521b0
pi_120684558
Ik doe mijn profielwerkstuk over de chaostheorie en ben nu bezig met research doen naar de Lorenz Attractor. Ik stuitte op deze differentievergelijkingen:



Hoe zijn deze te schrijven als differentie vergelijkingen zoals die op de middelbare school worden geschreven? Dus bijvoorbeeld g(n)=3g(n-1) + 2 . Klopt dit:

x(n) = sigma * (y(n-1) - x(n-1))
y(n) = x(n-1) * (rho - x(n-1)) - y(n-1)
z(n) = x(n-1) * y(n-1) - beta * x(n-1)

Of mag dat niet zomaar tot die vorm herleid worden? Ben een beetje in de war omdat ik een differentievergelijking nog nooit zo geschreven heb zien maar het antwoord zal wel heel logisch zijn...
pi_120685077
quote:
0s.gif Op zondag 23 december 2012 20:01 schreef Mascini het volgende:
Ik doe mijn profielwerkstuk over de chaostheorie en ben nu bezig met research doen naar de Lorenz Attractor. Ik stuitte op deze differentievergelijkingen:

Dit zijn differentiaalvergelijkingen, geen differentievergelijkingen.
  zondag 23 december 2012 @ 20:11:43 #275
314096 yarnamc
nitimur in vetitum
pi_120685140
Ik heb nog een vraagje:

beschouw de differentievergelijking:  a_0y + a_1Dy + ... + a_{N-1}D^{N-1}y + a_ND^Ny = 0 (de D staat voor de Delay operator: D(x(n)) = x(n-1), de n-de macht van D is de samenstelling van n delay operators).

Nu is er gegeven dat \lambda een meervoudige oplossing is van  z^N+a_1z^{N-1}+...+a_{N-1}z+a_N , stel bijvoorbeeld met multipliciteit m.
Nu wordt er beweerd (vrij analoog als bij de homogene differentiaalvergelijking) dat  n^i\lambda^n voor i = 0,1,...,m-1 oplossingen zijn van de differentievergelijking. Er wordt gevraagd dit te controleren via substitutie, maar dit lukt me niet direct :s.

Ik hoop dat iemand me kan helpen met het bovenstaande, misschien kan iemand ook dit oplossen (hoewel het moeilijk is om de volledige context te geven) : er wordt dan ook nog gesteld dat dit te controleren valt door  J^n te berekenen, met J de Jordan-blok corresponderend met de meervoudige oplossing  \lambda . Je moet hierbij weten dat de differentievergelijking een systeem voorstelt, en dat lambda een meervoudige eigenwaarde is van de matrix A uit de ABCD-voorstelling (hiervan komt die veeltermvergelijking), omdat we het systeem bekijken vanuit het toestandsmodel.
Misschien komt dit voor iemand bekend voor en begrijpt hij wat ik met deze laatste paragraaf bedoel, anders zal ik al blij zijn als de eerste paragraaf opgelost wordt (een hint wat ik moet doen na de substitutie om van die vervelende (n-...)^i af te geraken zou heel handig zijn) :D.

[ Bericht 15% gewijzigd door yarnamc op 23-12-2012 20:58:32 ]
abonnement Unibet Coolblue
Forum Opties
Forumhop:
Hop naar:
(afkorting, bv 'KLB')