Uendelig logaritmisk rekke
I en uendelig geometrisk følge \(a_{1}, a_{2}, a_{3}, \dots , a_{n}\) er både \(a_{1}\) og kvotienten \(k\) positive.
Vi danner en ny følge \(b_{n}\) ved å la \(b_{n}=\ln a_{n}\).
- Vis at følgen \(b_{1},b_{2},b_{3},\dots\) er aritmetisk. Hva er differansen i følgen?
- Gjelder det samme dersom \(a_{1}\) eller \(k\) ikke er positive?
Vi ser nå kun på de følgene \(a_{1},a_{2},a_{3},\dots\) som er slik at
- Bestem \(k\) uttrykt ved \(n\) når summen \(b_{1}+b_{2}+b_{3}+\dots\) skal være størst mulig.
a) \(\ln k\)
b) Nei, da ville mange av leddene vært negative og \(\ln x\) er kun definert for \(x>0\).
c) \(k=\frac{n-1}{n+1}\)
Vi vet at \(0
Hvert ledd i den geometriske rekka er gitt ved
Leddene i den aritmetiske rekka blir altså
La oss anse summen av rekka som en funksjon av \(k\). Vi kan maksimere denne funksjonen, \(s_{n}(k)\), ved å derivere den og sette lik 0. Vi finner derfor først et uttrykk for summen av rekka \(s_{n}(k)\)
Vi kjenner igjen \(\sum_{i=1}^{n}(i-1)\) som en aritmetisk rekke med første ledd lik 0 og siste ledd lik \(n-1\), vi kan derfor bruke formelen for sum av aritmetisk rekke. Vi kan også erstatte \(a_{1}\) med \(1-k\).
Nå kan vi derivere med hensyn på \(k\)
Vi setter uttrykket for den deriverte lik null for å finne en minimums- eller maksimumsverdi.
Vi ganger med fellesnevneren \((1-k)(2k)\) for å forenkle uttrykket
Vi har funnet en verdi for \(k\) som gir et stasjonært punkt for summen \(s_{n}(k)\), men vi vet enda ikke om denne verdien gir et minimum, et maksimum eller et terrassepunkt. Vi gjennomfører en andrederiverttest ved å først dobbeltderivere
Hvis \(s_{n}''(k)\) er negativ for \(k=\frac{n-1}{n+1}\) så er \(s_{n}(k)\) konkav, og vår verdi for \(k\) må være et toppunkt som gir en maksimumsverdi for summen. Vi setter inn for \(k\) og analyserer.
Det første leddet må være negativt siden \(n\) er et positivt heltall. Det gjør at telleren i det første leddet er negativ, samtidig som nevneren alltid vil være positiv siden uttrykket i nevneren skal kvadreres.
Det andre leddet vil alltid være enten 0 (når \(n=1\)) eller negativt. Telleren i det andre leddet er 0 når \(n=1\) og negativt så lenge \(n\geq 1\) siden \(n^{2}\geq n\). Nevneren i det andre leddet må alltid være positiv på grunn av kvadreringen.
Vi har altså enten to negative ledd, eller ett negativt ledd og et null-ledd, og summen av disse må være negativ. \(s_{n}(k)\) er derfor konkav og \(k=\frac{n-1}{(n+1)}\) må gi en maksimumsverdi.
Vi har vist at
maksimerer summen av
når summen \(\sum_{i=1}^{\infty}a_{i}=1\).