14 svar
214 visningar
Nide behöver inte mer hjälp
Nide 114
Postad: 3 okt 2018 20:47 Redigerad: 3 okt 2018 20:49

Bevisa att "ointegrerbar" generaliserad integral divergerar

Har en generaliserad integral 0π1ln(sin(x))dx som enligt facit divergerar... men hur bevisar jag mattematiskt att denna integral divergerar?

Man ser ju att funktionen är "odefinierad" i ändpunkterna och precis mitt emellan ändpunkterna, dvs x kan inte vara 0, π2 eller π för nämnaren blir då antingen 0 eller - så man ser direkt att denna funktion/integral beter sig lite skumt och man kan gissa att den divergerar, men en gissning räknas ju inte som konkret bevis på att den divergerar (inte ens i närheten) så hur bevisar jag då rent mattematiskt att den divergerar?

Jag ville testa att använda jämförelsekritteriumen men då måste integralen gå mot oändligheten så det funkar inte direkt och denna funktion går inte heller att integrera på normalt sätt... så vad för sorts andra metoder finns det?

Jag gissar på att jag måste dela upp integralen i flera delar eller skriva om funktionen på något sätt.

Hjälp? Tack!

AlvinB 4014
Postad: 3 okt 2018 20:57

Om man har en integral över ett intervall får man inte ha en diskontinuitet i funktionen mitt i intervallet. Därför måste du dela upp integralen:

0π1ln(sin(x)) dx=0π21ln(sin(x)) dx+π2π1ln(sin(x)) dx\displaystyle \int_0^{\pi}\frac{1}{\ln(\sin(x))}\ dx=\displaystyle \int_0^{\frac{\pi}{2}}\frac{1}{\ln(\sin(x))}\ dx+\displaystyle \int_{\frac{\pi}{2}}^{\pi}\frac{1}{\ln(\sin(x))}\ dx

Vad menar du med att integralen måste gå mot oändligheten för att kunna jämföra med en annan funktion?

Albiki 5096 – Fd. Medlem
Postad: 3 okt 2018 21:29

Hej!

Integranden är obegränsad på integrationsområdet; det medför att integralen är divergent.

Laguna Online 30704
Postad: 3 okt 2018 21:50

Gör det? 011xdx då?

Nide 114
Postad: 3 okt 2018 21:51 Redigerad: 3 okt 2018 21:58
AlvinB skrev:

 

Vad menar du med att integralen måste gå mot oändligheten för att kunna jämföra med en annan funktion?

 Enligt mina satser i matteboken så är det ett krav att båda integraler som jämförs måste gå mot oändligheten (om jag förstått rätt i alla fall):

Nide 114
Postad: 3 okt 2018 21:53
Albiki skrev:

Hej!

Integranden är obegränsad på integrationsområdet; det medför att integralen är divergent.

 Aha... är det verkligen så enkelt? Haha toppen :)

AlvinB 4014
Postad: 3 okt 2018 21:53 Redigerad: 3 okt 2018 21:55

Ja, jag undrar om det verkligen stämmer. Ett annat exempel är integralen

-11\displaystyle \int_{-1}^1 -ln|x| dx-\ln|x|\ dx

vilken är konvergent och lika med 22, trots att integranden går mot oändligheten när x=0x=0.

Nide 114
Postad: 3 okt 2018 21:56 Redigerad: 3 okt 2018 21:57
Laguna skrev:

Gör det? 011xdx då?

 Gör vad? Tror du att integralen i själva verket konvergerar eller vad är det du försöker säga? Din kommentar är väldigt vag :)

Nide 114
Postad: 3 okt 2018 22:00 Redigerad: 3 okt 2018 22:02
AlvinB skrev:

Ja, jag undrar om det verkligen stämmer. Ett annat exempel är integralen

-11\displaystyle \int_{-1}^1 -ln|x| dx-\ln|x|\ dx

vilken är konvergent och lika med 22, trots att integranden går mot oändligheten när x=0x=0.

 Nej... tror vi har missuppfattat varandra. Jag menar att min mattebok säger att den ÖVRE GRÄNSEN av integralen måste vara oändligheten för att Jämförelsekritteriumet/satsen ska gälla.

EDIT: Kolla på min tidigare kommentar med satserna.

AlvinB 4014
Postad: 3 okt 2018 22:09 Redigerad: 3 okt 2018 22:19
Nide skrev:
AlvinB skrev:

Ja, jag undrar om det verkligen stämmer. Ett annat exempel är integralen

-11\displaystyle \int_{-1}^1 -ln|x| dx-\ln|x|\ dx

vilken är konvergent och lika med 22, trots att integranden går mot oändligheten när x=0x=0.

 Nej... tror vi har missuppfattat varandra. Jag menar att min mattebok säger att den ÖVRE GRÄNSEN av integralen måste vara oändligheten för att Jämförelsekritteriumet/satsen ska gälla.

EDIT: Kolla på min tidigare kommentar med satserna.

 Mitt och Lagunas inlägg var rörande Albikis princip för att avgöra att integralen är konvergent. Det jag skrev är nämligen ett exempel på en integral där integranden är obegränsad på integrationsområdet (går mot \infty när x0x\to0), men som ändå är konvergent.

Men för att svara på din fråga: Din mattebok tar bara upp fallet där man jämför med en integral där den ena gränsen går mot oändligheten, men det är faktiskt så att det går att jämföra integralers konvergens även om de inte har oändligheten som integrationsgräns.

I det här fallet kan vi exempelvis jämföra [0,π2][0,\frac{\pi}{2}]-integralen med integralen

0π21-1(x-π2)2dx\displaystyle \int_0^{\frac{\pi}{2}} 1-\frac{1}{(x-\frac{\pi}{2})^2} dx

Anledningen till att vi kan göra detta är att området som utgörs av vår integral (gröna kurvan) är större än integralen vi jämför med (blå kurvan). Alltså kan vi konstatera att om den blå kurvans integral divergerar måste vår integral vara större än den och därmed också divergera.

Nide 114
Postad: 3 okt 2018 22:17
AlvinB skrev:
Nide skrev:
AlvinB skrev:

Ja, jag undrar om det verkligen stämmer. Ett annat exempel är integralen

-11\displaystyle \int_{-1}^1 -ln|x| dx-\ln|x|\ dx

vilken är konvergent och lika med 22, trots att integranden går mot oändligheten när x=0x=0.

 Nej... tror vi har missuppfattat varandra. Jag menar att min mattebok säger att den ÖVRE GRÄNSEN av integralen måste vara oändligheten för att Jämförelsekritteriumet/satsen ska gälla.

EDIT: Kolla på min tidigare kommentar med satserna.

 Mitt och Lagunas inlägg var rörande Albikis princip för att avgöra att integralen är konvergent. Det jag skrev är nämligen ett exempel på en integral som är obegränsad på integrationsområdet (går mot \infty när x0x\to0), men som ändå är konvergent.

Men för att svara på din fråga: Din mattebok tar bara upp fallet där man jämför med en integral där den ena gränsen går mot oändligheten, men det är faktiskt så att det går att jämföra integralers konvergens även om de inte har oändligheten som integrationsgräns.

I det här fallet kan vi exempelvis jämföra [0,π2][0,\frac{\pi}{2}]-integralen med integralen

0π2-2(x-π2)2dx\displaystyle \int_0^{\frac{\pi}{2}} -\frac{2}{(x-\frac{\pi}{2})^2} dx

 Aha. Det visste jag inte. Det var väldigt användbart.

Tack!

AlvinB 4014
Postad: 3 okt 2018 22:22

Jag skrev lite fel på integralen man jämför med, men jag har redigerat mitt inlägg och rättat till det nu samt lagt till en liten förklarande bild.

Laguna Online 30704
Postad: 3 okt 2018 22:37
Nide skrev:
Laguna skrev:

Gör det? 011xdx då?

 Gör vad? Tror du att integralen i själva verket konvergerar eller vad är det du försöker säga? Din kommentar är väldigt vag :)

Min kommentar gällde det som stod precis innan, vad annars. Den var inte det minsta vag. Räkna ut integralen själv och påstå något annat om du vill. 

Smaragdalena 80504 – Avstängd
Postad: 3 okt 2018 22:44
Laguna skrev:
Nide skrev:
Laguna skrev:

Gör det? 011xdx då?

 Gör vad? Tror du att integralen i själva verket konvergerar eller vad är det du försöker säga? Din kommentar är väldigt vag :)

Min kommentar gällde det som stod precis innan, vad annars. Den var inte det minsta vag. Räkna ut integralen själv och påstå något annat om du vill. 

 Man kan inte lita på att det inte dyker upp ett inlägg mellan det man svarar på och ens eget inlägg. Den här gången var det inte så, men det kan man nte veta i förväg. Det kan vara klokt att citera det inlägg man svarar på (fast helst inte hela inlägget, om det är jättelångt - inte aktuellt den här gången).

Laguna Online 30704
Postad: 3 okt 2018 22:57
Smaragdalena skrev:
Laguna skrev:
Nide skrev:
Laguna skrev:

Gör det? 011xdx då?

 Gör vad? Tror du att integralen i själva verket konvergerar eller vad är det du försöker säga? Din kommentar är väldigt vag :)

Min kommentar gällde det som stod precis innan, vad annars. Den var inte det minsta vag. Räkna ut integralen själv och påstå något annat om du vill. 

 Man kan inte lita på att det inte dyker upp ett inlägg mellan det man svarar på och ens eget inlägg. Den här gången var det inte så, men det kan man nte veta i förväg. Det kan vara klokt att citera det inlägg man svarar på (fast helst inte hela inlägget, om det är jättelångt - inte aktuellt den här gången).

 Det har du rätt i.

Svara
Close