l'Hôpitals regel

Från Rilpedia

(Omdirigerad från L'Hospitals regel)
Hoppa till: navigering, sök
Wikipedia_letter_w.pngTexten från svenska WikipediaWikipedialogo_12pt.gif
rpsv.header.diskuteraikon2.gif

l'Hôpitals regel är en matematisk metod som kan göra det enklare att beräkna vissa gränsvärden; den har fått sitt namn efter den franske matematikern Guillaume François Antoine l'Hôpital.

Innehåll

Historik

Markis Guillaume François Antoine l'Hôpital utbildades i matematisk analys, den så kallade Leibnizskolan av analysen, av Johann Bernoulli under dennes tid i Paris 1692. När Bernoulli skulle resa så ingick han i ett avtal med l'Hôpital om att han i utbyte mot en årslön på 300 franc skulle delge alla sina upptäckter till markisen, att använda som denne önskade.[1]

1696 gav l'Hôpital ut en bok i matematisk analys kallad Analyse des infiniment petits pour l'intelligence des lignes courbes (ungefär Analysen av de mista delarna för förståelse av de böjda linjerna) där bland annat regeln som kom att kallas l'Hôpitals regel fanns nedskriven. Mycket i boken hade l'Hôpital fått hjälp av både Bernoulli och Leibniz [2] och i boken tackade han speciellt "den unge professorn vid Groningen" (vilket Bernoulli hade blivit utnämnd till 1695), Bernoulli tackade l'Hôpital för denna omnämning per brev, men anklagade honom för plagiat kort efter dennes död. Samtida matematiker fann Bernoullis anklagelser för ogrundade, men i efterhand har brevkorrespondens hittats som tyder på att l'Hôpital hade fått mycket av matematiken från Bernoulli.

Satsen

Låt f och g vara två funktioner \mathbb{R} \longrightarrow \mathbb{R} med följande egenskaper i närheten av ett fixerat reellt tal x0.

  • \lim_{x \to x_0} f(x) = 0 = \lim_{x \to x_0} g(x), alternativt \lim_{x \to x_0} g(x) \in \{-\infty, \infty\}.
  • Derivatorna f^\prime och g^\prime existerar på två öppna intervall (a, \, x_0) och (x_0, \, b) och derivatan g^\prime har konstant tecken på vardera intervall.
  • Gränsvärdet \lim_{x \to x_0} \frac{f^\prime(x)}{g^\prime(x)} existerar.

Då gäller följande ekvation:

\lim_{x \to x_0} \frac{f(x)}{g(x)} = \lim_{x \to x_0} \frac{f^\prime(x)}{g^\prime(x)}.

Satsen gäller även om det fixerade talet x0 är det "reella talet" -\infty eller \infty. [3]

Bevis

Beviset av l'Hospitals regel är en tillämpning av Cauchys medelvärdessats, som säger att om f och g är två deriverbara funktioner på intervallet (a,b), och derivatan av g är skild från noll på intervallet, så finns det ett tal c, a<c<b, sådant att

\frac{f(b)-f(a)}{g(b)-g(a)} = \frac{f^\prime(c)}{g^\prime(c)}.

För fallet "oändligheten över oändligheten"

Vi tittar på två punkter a och b sådana att c < a < b eller b < a < c. Vi vet då genom satsen om mellanliggande värde att vi kan beskriva derivatan som:

 {f'(e) \over g'(e)} = {f(a) - f(b) \over g(a) - g(b)} för ett a < e < b eller b < e < a.

Vi kan då skriva om uttrycket till

 \frac{f(a)}{g(a)} = \frac{f(b)}{g(a)} + \left [ 1 - \frac{g(b)}{g(a)} \right ] \frac{f'(e)}{g'(e)}

Om vi sedan låter y gå mot c så att  \frac{f'(e)}{g'(e)} går mot sitt gränsvärde och att  \lim_{e\to c} för alla e mellan b och c.

Härnäst låter vi  \lim_{a\to c} och ser därmed att uttrycket antar formen

\lim_{x\to c} \frac{ f(x)}{g(x)}=\lim_{\xi\to c}\frac{f'(\xi)}{g'(\xi)}= \lim_{x\to c}\frac{f'(x)}{g'(x)},

För fallet "noll över noll"

Vi definierar f(c) = g(c) = 0 detta förändrar inte ekvationen. Vi tittar därefter på en punkt x nära c och vi ser då att enligt satsen om mellanliggande värde så kan vi skriva om ekvationen på formeln:


  \frac{f'(\xi)}{g'(\xi)} 
= \frac{f(x) - f(c)}{g(x) - g(c)}

då kan vi även skriva att


\lim_{x\to c}\frac{f'(x)}{g'(x)}
= \lim_{\xi\to c}\frac{f'(\xi)}{g'(\xi)}
= \lim_{x\to c}\frac{f(x)}{g(x)}

vilket bevisar regeln.

Inte ett bevis

L'Hôpitals regel kan inte användas för att bevisa ett gränsvärde då man redan innan måste veta uttryckets gränsvärde.

Detta faktum visas bäst med ett exempel:

   \lim_{x\to 0}{\sin(x) \over x}

Vi vet enligt standardgränsvärde att gränsvärdet konvergerar med värdet 1 samt att båda funktionerna går mot noll och att de är deriverbara.

Vi använder l'Hôpitals regel och får  \lim_{x\to 0}{\cos(x) \over 1} vilket vi vet konvergerar mot värdet 1, men vad händer om vi tittar lite närmare på exemplet?

Derivatan av sin(x) är enligt derivatans definition

 \lim_{h\to 0}{\sin(x+h) - \sin(x) \over h}

vilket, då x går mot noll, blir

 \lim_{h\to 0}{\sin(h) - \sin(0) \over h}

och vi är därmed tillbaka i samma problem som tidigare.

Detta leder till en logisk cirkularitet (beviset hänvisar till sig självt) och leder därmed till att det är inkorrekt. L'Hôpitals regel är därmed endast en minnesregel.

Exempel

För att illustrera hur regeln tillämpas så kan vi titta på lite exempel:

 \lim_{t\to \pi} {(\sin(t))^2 \over (t-\pi)}  = ?

Detta kan vi räkna ut med Maclaurinutvecklingen (Taylorutvecklingen runt noll) genom variabelsubstitutionen  x = t-\pi, t=x+\pi, lim_{x\to 0} .

Detta ger oss:

 \lim_{x\to 0} {(\sin(x+\pi))^2 \over x}

Vi kan sedan tillämpa att sin(x + π) = − sin(x) för att få uttrycket

 \lim_{x\to 0} {(-\sin(x))^2 \over x}= \lim_{x\to 0} {\sin(x)^2 \over x} .

För att skriva om uttrycket på en enklare form så använder vi oss sedan av en Maclaurinutveckling av grad 3 för sinus.

Maclaurinutvecklingen för sinus ser ut som:

\sin x = \sum^{\infin}_{n=0} \frac{(-1)^n}{(2n+1)!} x^{2n+1} = x - \frac{x^3}{6} + \frac{x^5}{120} - \frac{x^7}{5040} + \cdots,\quad\forall x

det vills säga

 x - \frac{x^3}{6} \mathcal{O} (x^5)

Detta ger oss följande uttryck:

 \lim_{x\to 0} {(x - \frac{x^3}{6} +\mathcal{O} (x^5))^2 \over x }

Som vi sedan kan binomialutveckla till

 \lim_{x\to 0} {x^2 - \frac{x^4}{3} + \mathcal{O} (x^6) \over x}

Som sedan skrivs om till

 \lim_{x\to 0} x - \frac{x^3}{3} + \mathcal{O} (x^5) = 0

Gränsvärdet går alltså mot 0 då x går mot 0.

Om vi istället skulle försöka lösa problemet med l'Hôpitals regel så ser vi att alla krav är uppfyllda så vi kan skriva:

 \lim_{t\to \pi} \frac{(\sin(t))^2}{(t-\pi)} = \lim_{t\to \pi} \frac{2\sin(t)\cos(t)}{1} = 0

Vilket är betydligt smidigare att räkna ut (förutsatt att vi vet derivatan av sin(x))

Exempel då regeln inte kan tillämpas

Det finns dock ett antal tillfällen då regeln inte kan tillämpas, t.ex. då man inte har tillgång till en funktions derivata. Det finns dessutom ett antal gränsvärden som det inte går att tillämpa l'Hôpitals regel på med anledning av att detta får sagda funktion att "gå i cirklar" (oscillera mellan två värden) eller resulterar i ett felaktigt värde.

Ett exempel:

 \lim_{x\to \infty} {x \over \sqrt {x^2 + 1}}

Vi ser att alla förutsättningar är uppfyllda så vi tillämpar l'Hôpitals regel och får:

 \lim_{x\to \infty} {x \over \sqrt {x^2 + 1}} = \lim_{x\to \infty} {1 \over \frac{x}{\sqrt {x^2 + 1}}} = \lim_{x\to \infty} { \sqrt {x^2 + 1} \over x}

Vi ser nu att vidare uträkningar med hjälp av l'Hôpitals regel är av ringa värde.

Källor

Artikeln är, helt eller delvis, en översättning från engelskspråkiga Wikipedia.
  • Råde, L. och Westergren, B., BETA Mathematics handbook, 2ed, 1990, Studentlitteratur, sid. 123

Noter

  1. Carl B. Boyer. A history of great mathematics, sid. 460–494
  2. Cal B. Boyer: The history of calculus, sid 226-241
  3. Eriksson, F., Larsson, E. och Wahde, G., Matematisk analys med tillämpningar
Personliga verktyg