U matematičkoj analizi, Lopitalovo pravilo omogućava nalaženje izvesnih graničnih vrednosti sa „neodređenim oblicima“ pomoću izvoda. Primena (ili uzastopna primena) Lopitalovog pravila može pretvoriti neodređene oblike u određene oblike, omogućavajući lako računanje limesa. Pravilo je dobilo ime po 17. vekovnom francuskom matematičaru Gijomu de Lopitalu, koji je objavio pravilo u svojoj knjizi Analyse des infiniment petits pour l'intelligence des lignes courbes (doslovno: Analiza beskonačno malog kako bi se razumele krive, 1696) što je prva knjiga o diferencijalnoj analizi.
Veruje se da je pravilo delo Johana Bernulija, pošto je Lopital, koji je bio plemić plaćao Bernuliju 300 franaka godišnje, da ga obaveštava o otkrićima na polju analize, i da mu pomogne u rešavanju problema. Među ovim problemima je bio limes neodređenih oblika. Kada je Lopital objavio knjigu, dao je zasluge Bernuliju, i ne želeći da preuzme zasluge za bilo šta u knjizi, rad je objavio anonimno. Bernuli, koji je bio vrlo ljubomoran, je tvrdio da je on stvaralac celokupnog dela, i do skora se verovalo da je tako. Pa ipak, pravilo je nazvano po Lopitalu, koji nikad nije ni tvrdio da ga je izmislio.[1]
U prostim slučajevima, Lopitalovo pravilo glasi da za funkcije f(x) i g(x), ako
ili
, tada:
![{\displaystyle \lim _{x\to c}{\frac {f(x)}{g(x)}}=\lim _{x\to c}{\frac {f'(x)}{g'(x)}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f654e25c3bbbbb7825d619fd3526371fe1cb65b2)
gde prim (') označava izvod.
Među ostalim uslovima, da bi ovo pravilo važilo, mora da postoji limes
. Ostali uslovi su detaljnije izloženi dole, u formalnom iskazu.
Lopitalovo pravilo se, u osnovnom obliku, odnosi na granične vrednosti razlomka
kada se i f i g bliže 0, ili se i f i g bliže beskonačnosti. Lopitalovo pravilo tvrdi da tu graničnu vrednost možemo naći računajući limes razlomka
, ali naravno samo ako ovaj potonji postoji, i uz uslov da je g′ različito od nule u nekom intervalu koji sadrži tačku koja se posmatra. Ova diferencijacija može pojednostaviti razlomak ili ga pretvoriti u određeni oblik, što olakšava nalaženje limesa.
Lopitalovo pravilo.
- Neka je
. Neka je
i neka su f i g dve funkcije diferencijabilne na nekom otvorenom intervalu (a, b) koji sadrži c (dakle sa
ako
ili sa
ako
), izuzev, mogućno, u samoj tački c, i takve da je
ili ![{\displaystyle \lim _{x\to c}{|f(x)|}=\lim _{x\to c}{|g(x)|}=+\infty }](https://wikimedia.org/api/rest_v1/media/math/render/svg/fe9091a01761e03402726a0adfce772fa7aa3bb0)
- i da je
za svako
,
.
- Tada, ako postoji granična vrednost
, ![{\displaystyle A\in \mathbb {R} ^{*}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/eaa068c4f1a1c92bcd22e88f42252b8b1ced4d5d)
- onda je i
![{\displaystyle \lim _{x\to c}{f(x) \over g(x)}=A.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/96d0f5275355948da39d3cffdf8608b57f6ba56a)
Lopitalovo pravilo važi i za jednostrane limese.
Osnovni neodređeni oblici na koje se Lopitalovo pravilo odnosi su:
![{\displaystyle {0 \over 0}\qquad {\infty \over \infty }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9ba96521810f11dd8ff247362da9ad1303a11de7)
Ostali neodređeni oblici, koji se svi mogu svesti na osnovne (vidi primere) su
![{\displaystyle {\infty \qquad 0\cdot \infty \qquad 0^{0}\qquad \infty -\infty \qquad }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c62d948252537f9b4b03c1567af25325423f0895)
Važno je imati u vidu uslov da je neophodno da limes
postoji. Diferencijacija brojioca i imenioca neodređenih oblika može ove oblike da dovede do limesa koji ne postoje. U tim slučajevima, Lopitalovo pravilo se ne može primenjivati i ostavlja pitanje postojanja i vrednosti eventualne granične vrednosti potpuno otvorenim. Na primer, ako
i
, onda
![{\displaystyle \lim _{x\to \infty }{\frac {f'(x)}{g'(x)}}=\lim _{x\to \infty }(1+\cos(x))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5ee0e96dc253b7ad215a70d0aa5fde530ac26e4c)
ne postoji, dok je
![{\displaystyle \lim _{x\to \infty }{\frac {f(x)}{g(x)}}=1.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5cb9bd7842f604400245e3e1f8ae62d1fbd5ad20)
U praksi se pravilo često koristi, i ako limes postoji, donosi se zaključak da je primena Lopitalovog pravila bila legitimna.
Takođe postoji uslov da izvod od g ne nestane kroz ceo interval koji sadrži tačku c. Bez takve hipoteze, zaključak je pogrešan. Stoga se Lopitalovo pravilo ne može koristiti, recimo, ni u slučajevima gde prvi izvod imenioca izrazito osciluje (menjajući pritom znak) blizu tačke gde se traži limes. Na primer ako
i
, tada
|
|
|
|
dok
![{\displaystyle \lim _{x\to \infty }{\frac {f(x)}{g(x)}}=\lim _{x\to \infty }{\frac {1}{e^{\sin(x)}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/717b70f59513eb8e43442b2719228adbfe8741d9)
ne postoji, jer
fluktuira između e−1 i e.
Jasno, Lopitalovo pravilo se ne može primenjivati za nalaženje neodređenih graničnih vrednosti kod kojih nisu i brojilac i imenilac diferencijabilne funkcije.
- Sledi primer koji se tiče sinc funkcije, koja ima oblik 0/0 :
|
|
|
|
|
|
- Ovaj limes se zapravo može videti kao definicija izvoda od sin(x) u x = 0. Zapravo, on je neophodan u najčešćem dokazu da je izvod od sin(x) jednak cos(x), ali se u tom dokazu ne može koristiti Lopitalovo pravilo, jer bi tako došlo do kružnog argumenta. Vidi #Logička cirkularnost dole.
- Sledi detaljniji primer koji uključuje neodređeni oblik 0/0. Jednokratna primena pravila za rezultat opet ima neodređeni oblik. U ovom slučaju, limes se može dobiti trostrukom primenom Lopitalovog pravila:
|
|
|
|
|
|
|
|
|
|
- Sledi još jedan slučaj sa 0/0:
![{\displaystyle \lim _{x\to 0}{e^{x}-1-x \over x^{2}}=\lim _{x\to 0}{e^{x}-1 \over 2x}=\lim _{x\to 0}{e^{x} \over 2}={1 \over 2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a9ce458b1ceb62a743891c71572947324390523c)
![{\displaystyle \lim _{x\to \infty }{\frac {\sqrt {x}}{\ln(x)}}=\lim _{x\to \infty }{\frac {\ 1/(2{\sqrt {x}}\,)\ }{1/x}}=\lim _{x\to \infty }{\frac {\sqrt {x}}{2}}=\infty }](https://wikimedia.org/api/rest_v1/media/math/render/svg/4c6a1b95a7f5a379e1f471f008aba2ee9eeaffec)
- Ovaj se tiče ∞/∞. Neka je n prirodan broj.
![{\displaystyle \lim _{x\to \infty }x^{n}e^{-x}=\lim _{x\to \infty }{x^{n} \over e^{x}}=\lim _{x\to \infty }{nx^{n-1} \over e^{x}}=n\lim _{x\to \infty }{x^{n-1} \over e^{x}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c97ebfd9c74ed7d60b6fc9aeded53148178af0a6)
- Ponavljati gornje sve dok eksponent ne postane 0. Tada se dobije da je limes 0. Ova granična vrednost nam govori da sve stepene funkcije rastu (divergiraju beskonačnosti) sporije od eksponencijalne.
- Ovaj primer se takođe tiče ∞/∞:
![{\displaystyle \lim _{x\to 0+}x\ln x=\lim _{x\to 0+}{\ln x \over 1/x}=\lim _{x\to 0+}{1/x \over -1/x^{2}}=\lim _{x\to 0+}-x=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ff1f609baf6a0c7a4be0bce1cbac0d74e0c2c415)
- Prethodni rezultat se može koristiti kod neodređenog oblika
: Kako bi izračunali
, zapisujemo
kao
i dobijamo
![{\displaystyle \lim _{x\to 0+}x^{x}=e^{\lim _{x\to 0+}(x\ln x)}=e^{0}=1.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/97fafadd249dc8acb23b9b953b5777752df3f2fa)
- Ovo je impulsni odgovor izdignuto-kosinusnog filtera u elektronici:
|
|
|
|
|
|
|
|
|
|
Najčešći dokaz Lopitalovog pravila koristi Košijevu teoremu o srednjoj vrednosti. Potrebno je zasebno razmotriti četiri slučaja, već prema tome da li je
ili
te da li je
ili
. Ova razmatranja se razlikuju u detaljima ali prate slične osnovne ideje; ovde su obrađeni slučajevi kada je c konačno.
Kod neodređenog oblika 0 sa 0[uredi | uredi izvor]
Neka
. Ako predefinišemo funkcije f i g u tački c tako da je
, one će biti neprekidne na zatvorenom intervalu [c, b] i diferencijabilne na (c, b). Ovo ne menja limes, jer limes (po definiciji) ne zavisi od vrednosti u datoj tački.
Ovako predefinisane funkcije f i g zadovoljavaju uslove Košijeve teoreme o srednjoj vrednosti, prema kojoj postoji tačka
u
takva da:
![{\displaystyle {\frac {f'(\xi )}{g'(\xi )}}={\frac {f(c+h)-f(c)}{g(c+h)-g(c)}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a5f0e5151c7b465717566268072d250bab7c88aa)
Kako
,
![{\displaystyle {\frac {f'(\xi )}{g'(\xi )}}={\frac {f(c+h)}{g(c+h)}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9bb389523ff8e547127a74ae2d3ada89856f058d)
Kada
, imamo
i stoga
![{\displaystyle \lim _{x\to c}{\frac {f'(x)}{g'(x)}}=\lim _{\xi \to c}{\frac {f'(\xi )}{g'(\xi )}}=\lim _{h\to 0}{\frac {f(c+h)}{g(c+h)}}=\lim _{x\to c}{\frac {f(x)}{g(x)}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0d63e32fbd10e78ad94c0b6e961e4f6e76ee1bbe)
Kod neodređenog oblika beskonačno sa beskonačno[uredi | uredi izvor]
Slučaj kada je
se razmatra slično. Neka je
. Tada, prema Košijevoj teoremi o srednjoj vrednosti, postoji
takvo da je
![{\displaystyle {\frac {f'(\xi )}{g'(\xi )}}={\frac {f(x)-f(y)}{g(x)-g(y)}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d3c315444d82464f934cf27acc15d3ed8c52f2e8)
Zapisujemo ovo u obliku
![{\displaystyle {\frac {f(x)}{g(x)}}={\frac {f(y)}{g(x)}}+\left[1-{\frac {g(y)}{g(x)}}\right]{\frac {f'(\xi )}{g'(\xi )}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5c76d535f1f84cdea17bb2e8115a89e11284dddf)
a zatim pokazujemo da vrednosti f(x)/g(x) teže ka A puštajući limes kada
i
. Naime, ako je h > 0 fiksirano ali pritom podesno malo, kada
biće
i
, kao i
i stoga
po želji blisko A. Puštajući potom limes kada
sledi
. Ovo rezonovanje se najlakše može formalizovati korišćenjem gornjeg i donjeg limesa.
Mnogi drugi neodređeni oblici, poput
,
, i
mogu biti izračunati pomoću Lopitalovog pravila.
Na primer, u slučaju
, razlika dve funkcije se pretvara u razlomak:
![{\displaystyle \lim _{x\to \infty }x-{\sqrt {x^{2}-x}}=\lim _{x\to \infty }{\frac {\left(x+{\sqrt {x^{2}-x}}\right)\left(x-{\sqrt {x^{2}-x}}\right)}{x+{\sqrt {x^{2}-x}}}}\quad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/2414ef77455a6f67039232bd4f237f10b8e9b41b)
![{\displaystyle =\lim _{x\to \infty }{\frac {x^{2}-(x^{2}-x)}{x+{\sqrt {x^{2}-x}}}}\quad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/97b1a492add394acb69aa19f2792a3e5f2681dfa)
![{\displaystyle =\lim _{x\to \infty }{\frac {x}{x+{\sqrt {x^{2}-x}}}}\quad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/65b42b9f0299c619e3fd083c6a31422f5f0f598a)
![{\displaystyle =\lim _{x\to \infty }{\frac {1}{1+{\frac {2x-1}{2{\sqrt {x^{2}-x}}}}}}\quad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/5f0f85ea9783b4736544bd9329c21b9504960c85)
![{\displaystyle =\lim _{x\to \infty }{\frac {1}{1+{\frac {x+x-1}{2{\sqrt {x(x-1)}}}}}}\quad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/f16b8dafc9ca30ba9c7dea4859ade61dff1da8a9)
![{\displaystyle =\lim _{x\to \infty }{\frac {1}{1+{\frac {\sqrt {x}}{2{\sqrt {x-1}}}}+{\frac {\sqrt {x-1}}{2{\sqrt {x}}}}}}\quad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/7ec6b41a3117d7b851f38e6c857c97605a1248a2)
![{\displaystyle =\lim _{x\to \infty }{\frac {1}{1+{\frac {\frac {1}{2{\sqrt {x}}}}{2{\frac {1}{2{\sqrt {x-1}}}}}}+{\frac {\sqrt {x-1}}{2{\sqrt {x}}}}}}\quad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/e24999e541e5acdf2ae474e6b0b3b519f55bff95)
![{\displaystyle =\lim _{x\to \infty }{\frac {1}{1+{\frac {\sqrt {x-1}}{\sqrt {x}}}}}\quad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/d8bd92edd1cf57832c01b9ebac69f48ef43cdf30)
![{\displaystyle =\lim _{x\to \infty }{\frac {1}{1+{\sqrt {1-{\frac {1}{x}}}}}}\quad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/fc6cba6be638eb64fc524e8b701ae45e324184b8)
![{\displaystyle ={\frac {1}{1+1}}={\frac {1}{2}}\quad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/fa109927526054602dfa3b08d86a3a01ebecd4b8)
Pravilo se može korititi i na neodređenim oblicima koji uključuju eksponente, korišćenjem logaritama da se „spusti eksponent“.
Druge metode računanja limesa[uredi | uredi izvor]
Mada je Lopitalovo pravilo moćno oruđe za računanje inače teško izračunljivih limesa, ono nije uvek najlakši način. Neke limese je lakše računati korišćenjem razvoja u Tejlorove redove.
Na primer,
![{\displaystyle \lim _{|x|\to \infty }x\sin {1 \over x}=\lim _{|x|\to \infty }x\left({1 \over x}-{1 \over x^{3}\cdot 3!}+{1 \over x^{5}\cdot 5!}-\cdots \right)\;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/00885747396d894dd3d81101d91d3efcc2e94444)
![{\displaystyle =\lim _{|x|\to \infty }1-{1 \over x^{2}\cdot 3!}+{1 \over x^{4}\cdot 5!}-\cdots \;=\;1\quad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/0632fc844a9042dc34e94098eefc1a0037bae6ed)
Da upotrebimo Lopitalovo pravilo, graničnu vrednost ovog razlomka možemo zapisati kao:
,
te primenom Lopitalovog pravila, dobijamo:
![{\displaystyle =\lim _{|x|\to \infty }{\cos {1 \over x}}\cdot {-1 \over x^{2}}\cdot {x^{2} \over -1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3b1098d844af7f8725ea00bdbe9e0561cf840be1)
![{\displaystyle =\cos {1 \over \infty }=\cos {\ 0}=1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/815dd78b9cd69d726f0334e6fd2ad93b1ebe804b)
U nekim slučajevima, korišćenje Lopitalovog pravila može da dovede do kružnog zaključivanja, pri računanju limesa kao što su
![{\displaystyle \lim _{h\to 0}{(x+h)^{n}-x^{n} \over h}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/87f30e3a187b01b4b24c81f941365227f74e10ac)
Ako se izračunata vrednost gornjeg limesa koristi u svrhu dokazivanja da
,
a Lopitalovo pravilo i činjenica da
![{\displaystyle {d \over dx}x^{n}=nx^{n-1}\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/13e6cde3b4871e41e098663bf409a945b223ba1c)
u izračunavanju limesa, argument koristi očekivani rezultat da dokaže samog sebe, i stoga je pogrešan (čak iako se ispostavi da je zaključak dokaza ipak tačan).
- ^ Finney, Ross L. and George B. Thomas, Jr. Calculus. 2nd Edition. P. 390. Addison Wesley, 1994.