17 svar
389 visningar

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 31802
Postad: 17 maj 20:04

Dessutom är den alternerande.

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 31802
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.

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 Online 946
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? 

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

Råkar du veta vad den heter? :)

AlexMu Online 946
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 8011 – 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 

.

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?

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 Online 946
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 Online 7491 – Moderator
Postad: 18 maj 00:03 Redigerad: 18 maj 00:03

Snyggt!

Cauchy the GOAT

AlexMu Online 946
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)

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 Online 946
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! 

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

AlexMu Online 946
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