17 svar
380 visningar
naytte 7419 – Moderator
Postad: 17 maj 19:54

Korrekt resonemang för konvergens av positiv serie?

Halloj!

Jag sitter med uppgiften nedan:

Avgör om summan nedan konvergerar eller divergerar:

k=31(2-k)k\displaystyle \sum_{k=3}^{\infty}\frac{1}{(2-k)^k}

Definera:

1(2-k)k=:ak\displaystyle \frac{1}{(2-k)^k} =: a_k och 1k2=:bk\displaystyle \frac{1}{k^2}=:b_k

Eftersom både aka_k och bkb_k är avtagande följder och aka_k avtar fortare än bkb_k måste det finnas något pp sådant att akbka_k \le b_k för alla kpk \ge p. Vi har alltså:

k=pakk=pbkpbxdx<\displaystyle \sum_{k=p}^{\infty}a_k\le \sum_{k=p}^{\infty}b_k\le \int\limits_{p}^{\infty}b_x\mathrm{d}x <\infty

Eftersom serien av bkb_k alltså konvergerar enligt integralkriteriet måste även serien med aka_k konvergera.

Laguna 31739
Postad: 17 maj 20:04

Dessutom är den alternerande.

naytte 7419 – Moderator
Postad: 17 maj 20:10

Just det… Tecknet byts… I min hjärna var det en positiv serie men det stämmer ju givetvis inte.

Hur ska man tänka då?

Laguna 31739
Postad: 17 maj 20:16

Jag tror din tankegång fungerar. Jag menade bara att det räcker att använda att termerna går mot 0 och växlar tecken. Då är serien konvergent.

naytte 7419 – Moderator
Postad: 17 maj 22:55

Jag förstår inte varför min tankegång skulle fungera. Att jämföra serierna på det sättet jag ville går väl endast då ak\sum a_k är en positiv serie?

AlexMu 940
Postad: 17 maj 23:05
naytte skrev:

Jag förstår inte varför min tankegång skulle fungera. Att jämföra serierna på det sättet jag ville går väl endast då ak\sum a_k är en positiv serie?

Kanske tänker fel men,
Du kan väl låta

ak:=1(2-k)k\displaystyle a_k := \left|\frac{1}{(2-k)^k}\right|

och ditt resonemang bör visa absolut konvergens, vilket medför konvergens? 

naytte 7419 – Moderator
Postad: 17 maj 23:41

Jag har aldrig sett den satsen tidigare men det kan säkert stämma.

Råkar du veta vad den heter? :)

AlexMu 940
Postad: 17 maj 23:49 Redigerad: 18 maj 00:14

Det var en sats i en bok jag läser. Där står det bara "Absolute Convergence Test". Ordagrant säger den:

"If the series n=1|an|\sum_{n=1}^\infty |a_n| converges, then n=1an\sum_{n=1}^\infty a_n converges as well"

Beviset i min bok använder triangelolikheten och Cauchy Criterion for Series (<-- mycket trevlig kriterium!!)


Tillägg: 18 maj 2025 00:00

Kan väl passa på att skriva beviset, det är ganska kort. 

Cauchys kriterium säger att 

n=1an\sum_{n=1}^\infty a_n konvergerar är ekvivalent med att ϵ>0\forall \epsilon > 0, NN\exists N \in \mathbb N sådana att för alla m,n>Nm,n > N så är 

|an+an+1++an+m|<ϵ|a_n + a_{n+1} + \dots + a_{n+m}| <\epsilon


Om vi antar att 

n=1an\displaystyle \sum_{n=1}^\infty \left|a_n\right| konvergerar håller Cauchys kriterium. Alltså gäller det att 

||an|+|an+1|++|an+m||<ϵ||a_n| + |a_{n+1}| + \dots + |a_{n+m}|| < \epsilon  (med alla krav på ϵ,m,n\epsilon, m,n från tidigare)

Eftersom alla tal är positiva gör det yttre absolutbeloppet inget, så

|an|+|an+1|++|an+m|<ϵ|a_n| + |a_{n+1}| + \dots + |a_{n+m}| < \epsilon

Enligt triangelolikheten är 

|an+an+1++an+m||an|+|an+1|++|an+m|<ϵ|a_n + a_{n+1} + \dots + a_{n+m}| \leq |a_n| + |a_{n+1}| + \dots + |a_{n+m}| < \epsilon 

och eftersom Cauchys kriterium är en ekvivalens följer det att n=1an \sum_{n=1}^\infty a_n konvergerar
\square

MrPotatohead 8003 – Moderator
Postad: 17 maj 23:53 Redigerad: 17 maj 23:54

Denna serie är väl annars lite av ett typexempel för 

https://sv.m.wikipedia.org/wiki/Rotkriteriet 

.

naytte 7419 – Moderator
Postad: 17 maj 23:56
AlexMu skrev:

Det var en sats i en bok jag läser. Där står det bara "Absolute Convergence Test". Ordagrant säger den:

"If the series n=1|an|\sum_{n=1}^\infty |a_n| converges, then n=1an\sum_{n=1}^\infty a_n converges as well"

Beviset i min bok använder triangelolikheten och Cauchy Criterion for Series (<-- mycket trevlig kriterium!!)

Skulle du kunna skicka beviset här?

naytte 7419 – Moderator
Postad: 17 maj 23:56
MrPotatohead skrev:

Denna serie är väl annars lite av ett typexempel för 

https://sv.m.wikipedia.org/wiki/Rotkriteriet 

.

En annan nyttig sats! Tack! :D

AlexMu 940
Postad: 18 maj 00:02
naytte skrev:
AlexMu skrev:

Det var en sats i en bok jag läser. Där står det bara "Absolute Convergence Test". Ordagrant säger den:

"If the series n=1|an|\sum_{n=1}^\infty |a_n| converges, then n=1an\sum_{n=1}^\infty a_n converges as well"

Beviset i min bok använder triangelolikheten och Cauchy Criterion for Series (<-- mycket trevlig kriterium!!)

Skulle du kunna skicka beviset här?

Höll nog på att skriva medan du skickade detta. Se mitt tillägg!

naytte 7419 – Moderator
Postad: 18 maj 00:03 Redigerad: 18 maj 00:03

Snyggt!

Cauchy the GOAT

AlexMu 940
Postad: 18 maj 00:05
naytte skrev:

Snyggt!

Cauchy the GOAT

Japp! Cauchy har så många fantastiska satser! (Har du kikat på satser inom komplex analys? Det finns så mycket trevligt där från Cauchy)

naytte 7419 – Moderator
Postad: 18 maj 00:06

Har inte kollat någonting alls nästan på komplex analys men jag stötte på mycket av Cauchys grejer när jag skrev mitt GA, framför allt angående Cauchyföljder och banachrum. Cool snubbe!

AlexMu 940
Postad: 18 maj 00:09
naytte skrev:

Har inte kollat någonting alls nästan på komplex analys men jag stötte på mycket av Cauchys grejer när jag skrev mitt GA, framför allt angående Cauchyföljder och banachrum. Cool snubbe!

Då har du något att se fram emot! Det är ett intressant ämne!

Satser jag kan tänka på direkt därifrån är 

"Cauchy's integral theorem"
"Cauchy's integral formula"
"Cauchy's residue theorem"

Det finns säkert några fler! 

naytte 7419 – Moderator
Postad: 18 maj 00:10

Har en kurs i komplex analys till hösten. I princip 0 % på mitt program klarade av kursen förra året. :D

AlexMu 940
Postad: 18 maj 00:10
naytte skrev:

Har en kurs i komplex analys till hösten. I princip 0 % på mitt program klarade av kursen förra året. :D

Oj då. Lycka till !!

Svara
Close