2010-10-12, 22:39
#1165

(Såklart!).


y^n + k_(n-1)y^(n-1) + .. + k_0y = 0 (1)som om man inför beteckningen D för för deriveringsoperatorn kan ses som en formell polynomekvation
(D^5 + aD^4 + bD^3 + cD^2 + dD + e)y = 0i D. Algebrans fundamentalsats säger att ekvationen har fem lösningar (räknade med multiplicitet). Men den satsen kräver som vi såg att man använder komplexa tal. Då ger faktorsatsen att man kan (formellt) kan skriva polynomekvationen (1) som (D-r_1)(D-r_2)*...*(D-r_n)y = 0. Nu vet vi att (D-r)y = 0 om y = e^rx, så det kan vi säga är att differentialekvationen har n lösningar på formen e^rx. Men om man har flera av samma faktor då? Får man färre lösningar?. Nej, för man kan visa att om en rot förekommer flera gånger i faktoriseringen, säg att den är (D-r)^k, löser x^j*e^rx ekvationen, om j är ett heltal och 0 <= j < k. Det finns alltså alltid exakt n "olika" (den formella termen är linjärt oberoende) lösningar till ekvationen (1), men för att få ut dem på ett enkelt sätt måste man tillåta att man löser algebraiska ekvationer med komplexa tal, och att man definierar e^z för komplexa tal z.
Men det är i alla fall ett exempel på varför det matematiskt är smart att införa komplexa tal. Det är nog svårt att ge riktigt bra exempel på matematiska tillämpningar av komplexa tal med bara Matematik E. Två vanliga exempel på fysikaliska tillämpningar är växelström och kvantmekanik.
Ska du läsa flervariabelanalys är dock linjär algebra nästan ett krav. Om man till exempel vill genomföra variabelbyte i en dubbel- eller trippelintegral behöver man kompensera för det på något sätt och hur det går till behöver man verktyg från linjär algebra för. Du känner säkert till kedjeregeln d/dx f(g(x)) = f'(g(x))*g'(x). Men tänk om jag har en funktion av k variabler, g(x_1, x_2, ..., x_k) som ger en vektor (g_1, g_2, ..., g_n) och en annan funktion av n argument, f(g_1, g_2, ..., g_m). Kan jag derivera sammansättningen f(g(x))? JA, det kan man, och kedjeregeln ser exakt likadan ut, om man bara ersätter den enkla envariabelderivatan med jacobianen (en matris med alla derivator) 
J(f(g(x)) = J(f(x))(g(x))*J(g(x))det vill säga, ta derivatorna av f, beräkna dem i punkten g(x) och (matris)multiplicera med derivatorna av g.

) varierar ju. Jag kan ju säga att jag knappast lade 40 timmar i veckan på Envariabelanalys I...
y^n + k_(n-1)y^(n-1) + .. + k_0y = 0 (1)som om man inför beteckningen D för för deriveringsoperatorn kan ses som en formell polynomekvation
(D^5 + aD^4 + bD^3 + cD^2 + dD + e)y = 0i D. Algebrans fundamentalsats säger att ekvationen har fem lösningar (räknade med multiplicitet). Men den satsen kräver som vi såg att man använder komplexa tal. Då ger faktorsatsen att man kan (formellt) kan skriva polynomekvationen (1) som (D-r_1)(D-r_2)*...*(D-r_n)y = 0. Nu vet vi att (D-r)y = 0 om y = e^rx, så det kan vi säga är att differentialekvationen har n lösningar på formen e^rx. Men om man har flera av samma faktor då? Får man färre lösningar?. Nej, för man kan visa att om en rot förekommer flera gånger i faktoriseringen, säg att den är (D-r)^k, löser x^j*e^rx ekvationen, om j är ett heltal och 0 <= j < k. Det finns alltså alltid exakt n "olika" (den formella termen är linjärt oberoende) lösningar till ekvationen (1), men för att få ut dem på ett enkelt sätt måste man tillåta att man löser algebraiska ekvationer med komplexa tal, och att man definierar e^z för komplexa tal z.
Men det är i alla fall ett exempel på varför det matematiskt är smart att införa komplexa tal. Det är nog svårt att ge riktigt bra exempel på matematiska tillämpningar av komplexa tal med bara Matematik E. Två vanliga exempel på fysikaliska tillämpningar är växelström och kvantmekanik.
Sen smälter man dock ihop linjär algebra och analys när man börjar se funktioner som vektorer och definierar till exempel ortogonala (vinkelräta funktioner), projektionen av en funktion på en annan och baser (koordinatsystem) för funktioner (de har för övrigt oändligt många koordinater). För att låna en fras från dbshw, WTF liksom?
(Såklart!).
) Om föreläsaren i linjär algebra väljer att lägga mer vikt på abstrakta begrepp och bevisföring kan det bli svårare. Å andra sidan är bevis i linjär algebra oftast inte så krångliga, men att smälta alla abstrakta begrepp kan vara ovant.
Flashback finansieras genom donationer från våra medlemmar och besökare. Det är med hjälp av dig vi kan fortsätta erbjuda en fri samhällsdebatt. Tack för ditt stöd!
Swish: 123 536 99 96 Bankgiro: 211-4106
Flashback finansieras genom donationer från våra medlemmar och besökare. Det är med hjälp av dig vi kan fortsätta erbjuda en fri samhällsdebatt. Tack för ditt stöd!
Swish: 123 536 99 96 Bankgiro: 211-4106