Beräkna integral
Hej!
Här följer en kluring bestående av en lite lättare a)-uppgift och en svårare b)-uppgift. Även om uppgifterna är ganska olika är tanken att den som kan lösa a)-uppgiften skall i alla fall kunna komma en liten bit på vägen till att lösa b)-uppgiften. Uppgiften lyder:
Bestäm ett exakt uttryck för värdet på integralen
a)
b)
Den här frågan printar jag ut och skickar till mig själv 10 år fram i tiden. Han kanske kan.
Nej men ärligt talat är det enda jag lärt mig partialbråksuppdelning, variabelsubs och partiell integration. Dessa tar mig ingenstans
Qetsiyah skrev:Den här frågan printar jag ut och skickar till mig själv 10 år fram i tiden. Han kanske kan.
Nej men ärligt talat är det enda jag lärt mig partialbråksuppdelning, variabelsubs och partiell integration. Dessa tar mig ingenstans
Om du kan dessa tre metoder skulle jag säga att du kan lösa a)-uppgiften redan idag. Det är nämligen inget särskilt avancerat som krävs, man måste bara tillämpa metoderna på ett väldigt finurligt sätt. Jag skulle tippa på att du kommer förstå lösningen till a)-uppgiften när du ser den, men antagligen kommer tänka "hur fan kom någon på det här?". :-)
(b)-uppgiften kanske dock ska vänta till en framtida version med lite mer universitetsmatte under bältet.)
Då ska jag försöka.
Vad för universitetsmatte?
Löste a) enligt nedan:
Visa spoiler
tomast80 skrev:Löste a) enligt nedan:
Visa spoiler
Så elegant! Får verkligen hålla med omvad AlvinB skrev:
Jag skulle tippa på att du kommer förstå lösningen till a)-uppgiften när du ser den, men antagligen kommer tänka "hur fan kom någon på det här?". :-)
Kan du förklara hur du kom på det? Det är verkligen att krångla till något för att kunna förenkla det sedan!
Tackar!
Insåg att täljaren är en jämn funktion och sen är det ett symmetriskt intervall. Det innebär att om man byter ut mot i integralen måste det bli samma värde på hela integralen, d.v.s.:
{}
Därmed kunde jag ta hälften av de två integralerna och lägga ihop och hoppades att delarna med ”e” skulle försvinna, vilket de mycket riktigt gjorde. Det var på ren intuition.
tomast80 skrev:Löste a) enligt nedan:
Visa spoiler
Snyggt, tomast!
Som du konstaterat ger substitutionen att:
Om vi sedan adderar ihop de två varianterna av integralen får vi en mycket trevlig förenkling:
Man kan då börja undra vad som gjorde denna förenkling möjlig. Det är nämligen att är en jämn funktion. Vi kan på samma sätt härleda att följande gäller för alla jämna funktioner :
Detta ger oss även en start på b)-uppgiften, eftersom även dess täljare är jämn. Dock är den resulterande integralen inte lika enkel; den kräver ett par kluriga knep och ganska goda kunskaper om serier och taylorutveckling.
Men vad är det då som gör den där nämnaren, , så speciell? Finns det kanske fler nämnare som ger samma effekt?
Svaret är ja. Om vi söker funktioner sådana att:
finner vi efter lite algebra att villkoret
måste gälla på funktionen . Vi ser tydligt att uppfyller detta eftersom . Men vi kan även notera att funktioner på formen där är en udda funktion eftersom det då gäller att . Vi kan till exempel ta och inse att värdena för integralerna:
är samma som i - respektive -uppgiften. (Den övre integralen går dock i det här fallet att beräkna med hjälp av substitution)
Men det är inte bara exponentialfunktioner som uppfyller detta villkor. Vi kan även exempelvis ta funktionen:
som även den uppfyller vårt villkor:
Man kan även generalisera detta ytterligare och finna att alla funktioner på formen:
där är jämn och är udda uppfyller funktionalvillkoret.
En annan fråga är då om det finns något motsvarande villkor för om är udda. Dessvärre har jag inte lyckats finna några lösningar till funktionalekvationen som då uppstår.
AlvinB, verkade inte vara någon som lyckades lösa b), så kanske lika bra att du presenterar din lösning?
Ja, mitt mål var att hitta en krånglig integral där integranden är en jämn funktion, men det kanske blev lite väl svårt. Hur som helst följer min lösning här:
Visa spoiler
Samma trick som redan diskuterats ger att:
Maclaurinutvecklingen för gör det sedan möjligt att utveckla :
Vår integral blir då:
Satsen om monoton konvergens låter oss sedan byta plats på summa- och integraltecknet:
Integralen kan lösas med partialintegration:
Detta ger:
Nu har vi omvandlat problemet till att bestämma ovanstående summa. Det är dock inte helt enkelt. Till att börja med kan uttrycket partialbråksuppdelas:
där vi finner att , och . Detta ger:
(Uppdelningen rättfärdigas av att och är absolutkonvergenta)
Denna summa kan bestämmas med hjälp av den ovannämnda maclaurinutvecklingen för :
Alltså är
Med hjälp av den kända summan
kan bestämmas:
Alltså blir :
Integralen blir då:
Och slutligen får vi då: