8 svar
369 visningar
Qetsiyah behöver inte mer hjälp
Qetsiyah Online 6566 – Livehjälpare
Postad: 27 apr 2020 00:05 Redigerad: 27 apr 2020 00:05

Linjär algebra/analys

Hej

Jag har fått några smakprov på när saker från linjär algebra kommer till användning i analys (jag tycker att det är väldigt coolt). Bland annat jacobimatrisen (såklart!) i differentialekvationer, fourieranalys, och vektoranalysen såklart, funktionalanalys. Kan ni säga fler?

Men jag har inte sett så mycket av det omvända, men jag läste en avancerad linjär algebra bok och där stod det

As a first approximation, applying your finite dimensional intuition of infinite dimensions is a very good idea. However, you should be prepaired for an occasional surprise, almlst always due to a lack of convergence of some sum.

Och serier är analys! Men jag vill gärna veta på vilka andra sätt som saker i analys kommer till använding i linjär algebra.

bump

Hondel 1365
Postad: 28 apr 2020 15:25 Redigerad: 28 apr 2020 15:30

Som en fortsättning på serier så går det fint att beräkna exempelvis eAe^\mathbf{A} där A\mathbf{A} är en inverterbar (blev lite osäker på om det är ett krav) matris genom att utgå från exponentialfunktionens potensserie. Användbart i exempelvis kvantmekanik

parveln 703 – Fd. Medlem
Postad: 28 apr 2020 15:36
Hondel skrev:

Som en fortsättning på serier så går det fint att beräkna exempelvis eAe^\mathbf{A} där A\mathbf{A} är en inverterbar (blev lite osäker på om det är ett krav) matris genom att utgå från exponentialfunktionens potensserie. Användbart i exempelvis kvantmekanik

Matrisen behöver inte vara inverterbar för att exponenten ska existera, däremot måste den vara det för att logaritmen ska existera.

oggih 1284 – F.d. Moderator
Postad: 29 apr 2020 17:23 Redigerad: 29 apr 2020 18:53

Här är ett kul exempel:

Sats. Låt nn vara ett udda positivt heltal. Då kommer varje matris An×nA\in\mathbb{R}^{n\times n} att ha minst ett egenvärde
[dvs. det existerar ett λ\lambda\in\mathbb{R} sådant att Av=λvA\mathbf{v}=\lambda\mathbf{v} för något vn{0}\mathbf{v}\in\mathbb{R}^n\setminus\{\mathbf{0}\}].

Bevis. Kom ihåg att de eventuella egenvärdena till AA precis utgör mängden nollställen till det karaktäristiska polynomet p(λ)}=det(λI-A)p(\lambda)}=\det(\lambda I-A), så frågan är om det karaktäristiska polynomet har några (reella) nollställen.

Och visst har det det! Om vi funderar på vad som händer när vi utvecklar determinanten, så kommer är det relativt enkelt att konstatera att p(λ)p(\lambda) kommer att ha formen

   p(λ)=λn+lower degree terms,\!\,{p(\lambda)}=\lambda^n+{\color{gray}\fbox{\text{lower degree terms}}}\,,

dvs. vara ett polynom av grad nn i variabeln λ\lambda, och ett sådant uddagradspolynom har alltid minst ett nollställe.

Hur kan vi se det? Jo, om |λ|0|\lambda|\gg 0 så kommer högstagradstermen att dominera, så att

    limλp(λ)=limλλn=\displaystyle\lim_{\lambda\to\infty}{p(\lambda)}=\lim_{\lambda\to\infty} \lambda^n=\infty  och limλ-p(λ)=limλ-λn=-\displaystyle\lim_{\lambda\to-\infty}{p(\lambda)}=\lim_{\lambda\to-\infty}\lambda^n=-\infty

[notera att vi i det negativa gränsvärdet utnyttjar att nn är udda!]. Speciellt betyder detta att p(λ)p(\lambda) antar både positiva och negativa värden. Eftersom polynomfunktioner är kontinuerliga ger nu satsen om mellanliggande värden att p(λ)p(\lambda) har ett nollställe, vilket var vad vi ville visa!

oggih 1284 – F.d. Moderator
Postad: 29 apr 2020 18:36 Redigerad: 29 apr 2020 18:51

Fortsättning:

Det vi gjorde ovan var att vi använde grundläggande analys och topologi för att visa att varje reellt uddagradspolynom har ett nollställe, och vi drog utifrån detta slutsatsen att varje matris An×nA\in\mathbb{R}^{n\times n} där nn är ett udda positivt heltal har minst ett (reellt) egenvärde.

Med ett resonemang som (åtminstone "moraliskt") är väldigt likartat kan vi övertyga oss om att varje icke-konstant polynom med komplexa koefficienter har ett nollställe! Detta är vad som brukar kallas för algebrans fundamentalsats (se weitz.de/fund för en pedagogisk förklaring, och lägg märke till att koncepten "dominerande termer" och "mellanliggande värden" dyker upp på nytt här, om än på ett lite mer komplicerat sätt). Och på precis motsvarande sätt som i förra inlägget kan detta användas för att visa att varje matris An×nA\in\mathbb{C}^{n\times n} (oavsett om nn är jämnt eller udda) har ett egenvärde - ett väldigt användbart resultat i linjär algebra.

Och vi kan gå ännu längre: upprepad användning av algebrans fundamentalsats säger att varje polynom av grad nn över de komplexa talen kan faktoriseras till nn stycken förstagradsfaktorer, och detta är hela grunden till något som kallas för Jordans normalform (kommer säkert dyka upp om du läser en fortsättningskurs i linjär algebra), som ger oss väldigt stor kontroll över hur matriser över \mathbb{C} fungerar, och som i sin tur är grunden till många spännande och viktiga resultat, både i och utanför linjär algebra.

Qetsiyah Online 6566 – Livehjälpare
Postad: 1 maj 2020 01:12 Redigerad: 1 maj 2020 01:20

Oggih1: åhhh!!

Oggih2: åååååhhh!

Oggih3: ja, ja, ja!! Jordans normalform har jag bekantat mig med lite. Men kan du förklara relationen där lite närmare?

Hondel: jaha! Jag ska söka vilka andra exotiska operationer man kan göra med matriser.

oggih 1284 – F.d. Moderator
Postad: 1 maj 2020 01:33

Menar du hur Jordans normalform hänger ihop med algebrans huvudsats? I så fall är det nog enklast att du tar en titt på ett faktiskt bevis av satsen. En relativt lättläst variant finns på den här länken:

http://www.ctr.maths.lu.se/media11/MATM14/2011MATM14_vt11/jordan_.pdf.

Oj vad starkt detta, i efterhand, luktar funktionalanalys. Allt om oändligtdimensionella vektorrum hade passat som svar i denna tråd. 

Ett exempel är hur man definierar konvergens i oändligtdimensionella vektorrum.

Svara
Close