9.

Integrale din functii definite n

9.3. Generalizri ale Integralei Riemann - Integrale Improprii Succinte preliminarii teoretice (+ exemple) Integrala definit (sau integrala definit) a fost definit pe un interval mrginit plecnd de la diviziuni ale acestui interval i construind sume integrale (de tip Daboux sau de tip Riemann) ale cror limit era tocmai sau (9.443)

Aceast construcie teoretic pleca de la o funcie mrginit pe intervalul considerat, acesta fiind la rndul su mrginit. Integrabilitatea funciei se stabilea cu ajutorul sumelor integrale menionate, urmnd o serie de teoreme care identificau clase largi de funcii integrabile, de exemplu funciile continue sau cele monotone. Integrale improprii pe intervale nemrginite Dac (cel puin) una din cele dou condiii de mrginire de mai sus este relaxat se ajunge la o generalizare corespunztoare a conceptului de integrala definit n sens Riemann. Prezentm definiia formal a unei prime asemenea generalizri. Definiia 9.3.1. Fie interval de forma o funcie real mrginit i integrabil pe orice Dac exist, n , limita (9.445) atunci acest numr real reprezint integrala (improprie) din funcia nemrginit i se folosete notaia pe intervalul

(9.446)

Perfect analog se definesc integralele improprii pe interval nemrginit spre funcia este mrginit i integrabil pe orice interval de forma exist limita de mai jos, atunci

Dac i

(9.447)

313

Se pot defini i integrale improprii pe toat axa real, dar o astfel de integral se scrie ca suma de dou integrale, de forma (9.447) & (9.446), iar existena integralei din funcia pe ntreg intervalul este condiionat de existena ambelor integrale din descompunerea menionat. A adar, o astfel de integral pe interval nemrginit n ambele sensuri se poate scrie ca (9.448)

unde c este un numr real oarecare. Acest c poate fi, de exemplu, originea cu abscisa 0 sau un alt punct n care, posibil, funcia de integrat i schimb expresia analitic. Integralele improprii au o serie de proprieti comune cu ale integralei definite sau care provin din acestea. De exemplu, liniaritatea operatorului integral n raport cu funciaintegrand, formula integrrii prin pri etc. De asemenea, se poate aplica i metoda schimbrii de variabil. n unele situaii, o substituie adecvat poate transforma o ntegral pe interval nemrgint cum este de exemplu una de forma (9.446) ntr-o integral pe interval finit :

O integral improprie (pe interval nemrginit) de oricare dintre formele anterior prezentate poate fi calculat efectiv folosind definiiile respective, adic (9.446) / (9.447), prin trecere la limit n respectiv Dac este o primitiv a funciei de integrat , deci dac atunci cele dou formule menionate devin (9.446')

(9.447') Printr-un mic abuz de notaie putem scrie (9.449)

314

Evident, n (9.448), variaiile primitivei din membrii secunzi nu implic i luarea valorii primitivei n extremitile de la infinit ale axei reale ci exact trecerile la limit din (9.446') & (9.447'). Aceste ultime trei formule pot fi considerate ca adaptri ale formulei NewtonLeibniz la cazul intervalelor infinite. nainte de a se calcula valoarea unei integrale improprii (pe interval nemrginit) se poate pune problemei existenei acesteia, adic a existenei n a limitelor din (9.446) / (9.447). Aceast problem este una de convergen, oarecum similar cu cele ntlnite de exemplu la seriile numerice. Aadar, se poate pune problema stabilirii naturii unei integrale improprii (adic a convergenei / divergenei sau inexistenei acesteia) nainte de a aborda determinarea valorii ei. Mai mult dect att, este posibil ca s se poat stabili convergena unei integrale dar gsirea valorii ei s ridice probleme majore, de exemplu n cazul n care primitiva implicat n formulele (9.446') / (9.447') - (9.449) nu este exprimabil analitic prin funcii elementare. Au fost descoperite i formulate o serie de criterii de convergen pentru integrale improprii de diverse tipuri, dar le vom prezenta succint dup ce vom oferi cteva exemple.

Nici una dintre aceste dou integrale nu exist ntruct nu exist limitele din definiii : analog pentru

(9.450) (9.451) Din punct de vedere geometric, rezultatele din (9.450) & (9.451) reprezint ariile unor regiuni plane nemrginite, prima avnd o astfel de ramur spre a doua spre Integralele improprii divergente sunt integralele a cror valoare, conform definiiile anterioare, este respectiv

314

(9.452) Primitiva arctangentei se gsete printr-o integrare prin pri. Notnd

Criterii de convergen pentru integralele improprii de forma (9.446) / (9.447) Criterii de comparaie. Dac
CONV

pe intervalul

atunci ; (9.453)

| |

CONV

DIV

DIV

(9.454)

Acest criteriu se poate uor generaliza, dac se accept ca una din cele dou funcii s fie nmulit cu o constant pozitiv i nenul. O asemenea operaie nu schimb natura integralei, din punctul de vedere al convergenei / divergenei. (Criteriul de comparaie la limit). Dac exist limita raportului (9.455) atunci : 315

(9.456)

Acest criteriu rezult din precedentul, n cazul n limbaj vecinti. Pentru un & (9.455) | fixat,

dac limita din (9.455) este caracterizat, iar n cazul cu limita tot cu aceste

|
ntruct cele dou funcii sunt pozitive, ca n implic Analog, & (9.457) |

(9.457) inegalitatea pentru raportul funciilor n (9.457). (9.458) inegalitile din (9.457) & (9.458) pstreaz n cazul

Conform cu observaia la criteriul

implicaiile din acest criteriu. Ar mai fi de discutat i cazul cnd Caracterizarea cu vecinti fundamentale a acestei limite este

(9.459) Cu aceeai observaie la criteriul anterior, rezult concluzia din Numrul real (i pozitiv) care intervine n (9.459) este extremitatea stng a unei vecinti oarecare a limitei impoprii Evident, se poate alege un particular. Aceste dou criterii se pot formula i pentru integrale improprii (din funcii pozitive) de forma (9.447), cu singura diferen c ntervalul pe care se compar cele dou funcii va fi de forma iar limita din (9.455) & (9.456) va fi calculat pentru Cele dou criterii tocmai prezentate se pot aplica pentru comparaia comportrii unei funcii la integrarea pe un interval nemrginit cu cea a unei funcii simple, mai exact a funciiilor dintr-o ntreag familie, depinznd de un parametru real cu rol de putere (sau exponent). Aceste funcii sunt de forma (9.460)

316

Pentru o limit inferioar de integrare (9.461) Limita din (9.461) depinde de poziia parametrului (9.461) cu rezult c fa de dac notm limita din

(9.462) Avnd n vedere cele dou fracii din ultimul membru al egalitilor (9.461) este evident c valoare nu poate fi considerat n cei doi termeni ai acestui membru, dar ea este perfect acceptabil pentru integrala respectiv : (9.463)

n fine, din (9.461-463) rezult natura integralei din (9.461) n toate cazurile posibile. (9.464)

Primul caz din (9.464) este unul de DIVergen.

CONVergen

n timp ce al doilea este unul de

Trecnd la criteriul de comparaie (la limit) pentru o funcie mrginit i integrabil pe intervalul oarecare cu funcia din (9.460) i innd seama de (9.464) rezult c natura integralei va depinde de i de poziia n a limitei (9.465)

(9.466)

317

Comentarii. Desigur, acest criteriu se poate reformula corespunztor pentru integrale improprii pe interval nemarginit spre deci integrale de forma (9.447). S mai menionm c el se poate aplica n principiu pentru orice funcie (pozitiv) , cu condiia ca limita s existe i s poat fi calculat. Nu este cazul s sugerm clase de funcii pentru care acest criteriu este mai adecvat sau mai uor aplicabil, dar putem meniona funciile putere (ntreag sau raional), funciile polinomiale, cele raionale dar i funciile iraionale, dac se pot pune n eviden puteri generalizate (prin scoateri n factor forat de puteri ale variabilei, de sub radicali). ~ n fine, o dat stabilit divergena unei integrale improprii, calculul ei nu mai are sens (cu definiia integralei improprii ca limit, v. (9.446 - (9.447), respectiv cu formula Newton-Leibniz generalizat, adic (9.449)) ci se poate scrie direct c n raport cu semnul funciei pe interval. Dar dac se constat, cu unul din criterii, c o anumit integral improprie este CONVergent, calculul acesteia are sens i se pot ncerca formulele de definiie (9.446 - (9.447) sau formulele (9.449). ns toate aceste formule necesot cunoaterea primitivei funciei , ceea ce poate fi o problem dificil sau chiar imposibil dac nu admite primitive exprimabile prin funcii elementare. n multe culegeri de probleme sau n manuale unde se prezint aplicaii cu integrale improprii se poate cere doar stabilirea naturii integralei, nu i gsirea valorii acesteia. Exemplele ce urmeaz vor ilustra diverse situaii care pot s apar. S se cerceteze convergena integralelor de mai jos.

Pentru integrala

se cere i valoarea acesteia.

Puterea dominant a termenilor de la termenilor de la numitorul funciei este deci integrala va avea aceeai comportare cu integrala din (9.463) i va fi deci divergent. Pentru o justificare mai riguroas a acestei afirmaii calculm

318

Conform cu criteriul

Din (9.466), integrala este divergent i se poate scrie c

Cu acelai criteriu, se poate constata c

pentru

CONV.

Integrala este iraional binom ntruct ea se paote rescrie sub forma (9.467)

Se cosntat c nici unul din cele trei cazuri care ar permite aplicarea unei substituii de tip ebyev nu este varificat de exponenii din (9.467), deci integrala dei exist n nu poate fi calculat folosind formula Newton-Leibniz spre a gsi , respectiv pentru a aplica prima din formulele N-L generalizate (9.449). Integrala este convergent ntruct criteriul conducee la

~
pentru

Pentru a o calcula se caut o primitiv a funciei-integrand. ntruct numitorul acesteia are rdcini complexe, funcia de integrat este o fracie simpl iar primitiva sa va implica funcia arctg : (9.468) Avnd n vedere faptul c intervalul de integrae este nemrginit n ambele sensuri, integrala se va descompune ca sum de dou integrale, pe semiaxa real negativ i pe cea pozitiv:

ntruct funcia de sub integral conine

aceasta se poate rescrie sub forma (9.469)

319

Criteriul

conduce la
CONV.

(9.470)

n (9.470) am nlocuit variabila din criteriu cu dar aceast mic modificare aparent a criteriului este cam ntotdeauna necesar cnd intervalul de integrare este pe semiaxa negativ, spre a se evita scrierea lui sub o putere real ! De fapt, aceast problem se poate evita uor procednd la schimbarea de variabil care transform i intervalul de integrare din n Cu aceast substituie integrala din (9.470) devine (9.471) care este o integral iraional dintre cele mai simple, cu funcia-integrand de forma Substituia adequat este (9.472) Funcia raional de sub integral se descompune sub forma

(9.473)

(9.473) |

320

(9.474) unde

(9.475)

Trecnd la limit, pentru

n (9.474) & (9.475) se gsete valoarea

Integrale improprii din funcii nemrginite Pentru definirea integralei Riemann s-a presupus c funcia de integrat era mrginit pe un interval mrginit Aceea i proprietate a fost admis i pentru introducerea integralelor improprii pe intervale nemrginite, n acest caz respectiv a se vedea Def. 9.3.1 pentru aceste integrale improprii care n unele manuale de ANALIZ sunt desemnate drept integrale improprii de specia I-a. n cazul n care intervalul J admite un punct de acumulare n vecintatea cruia funcia este nemrginit, se poate defini o integral generalizat printr-o trecere la limit, anlog cu maniera n care s-au definit nintegralele improprii de prima specie. Definiia 9.3.2. Fie interval de forma o funcie real mrginit i integrabil pe orice Dac exist, n , limita (9.476) 321

atunci acest numr real reprezint integrala (improprie) din funcia nemrginit i se folosete notaia

pe intervalul

(9.477)

Comentarii.

n cadrul acestei definiii nu am presupus, la modul explicit, c funcia

ar fi nemrginit ntr-o vecintate (la stnga) a punctului dar aceast proprietate face definiia relevant ; dac funcia este mrginit n orice vecintate a acestui punc sau este chiar definit n atunci definiia din (9.477) devine banal sau superflu, n sensul c limita respectiv este chiar integrala Riemann obinuit :

Aadar, definiia din (9.477) este efectiv o generalizare a integralei definite n sens Riemann. Conform ipotezei de nemrginire a funciei ntr-o vecintate a punctului rezult c dreapta vertical de ecuaie este o asimptot vertical la graficul funciei ntr-o manier analoag cu cea din Definiia 9.3.2 se definesc i integralele pe intervale avnd punctul singular (spre care funcia devine nemrginit) ca extremitate stng : (9.478)

Se pot defini i integrale improprii n cazul n care punctul n vecintatea cruia funcia este nemrginit e situat chiar n interiorul intervalului de integrare : (9.479) aadar, este o asimptot vertical la graficul funciei n acest caz, integrala pe intervalul din (9.479) se descompune n mod necesar ca sum de dou integrale, de tipurrile (9.477) i (9.478), respectiv :

(9.480)

322

Evident, pentru convergena integralei din (9.480) este necesar convergena ambelor integrale din membrul drept. n monografia [Gh, Sirechi, 1985] se ofer o tratare detaliat a integralelor improprii de ambele specii, dar cu notaiile din (9.477) & (9.478) i pentru integralele pe intervale nemrginite. Se prezint i alte criterii de convergen dect precum i analoagele lor pentru integrale din funcii nemrginite (de specia a doua), care urmeaz dup dou exemple. Spaiul limitat al acestui compendiu online nu ne permite s insistm asupra numeroaselor proprieti i rezultate de convergen aferente integralelor improprii. ~ S se determine valoarea integralelor de mai jos, mplicit natura lor.

Integrala este improprie n limita inferioar, n care funcia are ca asimptot vertical dreapta (9.481) (9.481) | Integrala se descompune pe dou subintervale :
CONV.

(9.482)

(9.483) (9.482) & (9.483) |

CONV.

323

Criterii de convergen pentru integralele improprii de forma (9.477) / (9.478) Criterii de comparaie. Dac pe intervalul atunci

CONV

CONV

(9.484)

DIV

DIV

(9.485)

Acest criteriu se poate uor generaliza, dac se accept ca una din cele dou funcii s fie nmulit cu o constant pozitiv i nenul. O asemenea operaie nu schimb natura integralei, din punctul de vedere al convergenei / divergenei. (Criteriul de comparaie la limit). Dac exist limita raportului (9.486) atunci :

(9.487)

Acest criteriu rezult din precedentul, n cazul n limbaj vecinti. Ambele criterii

dac limita din (9.486) este caracterizat,

iar n cazul cu limita tot cu aceste & se vor reformula corespunztor pentru

integralele de forma (9.478), cu punctul singular n limita din stnga a intervalului de integare, nlocuindu-se cu i cu (9.488)

Un criteriu (sau o pereche de criterii) specific(e) se va obine dup studiul a dou integrale iraionale sau chiar mai generale, care urmeaz. 324

S se determine valoarea integralelor de mai jos, mplicit natura lor.

Pentru integrala nu este improprie ci este o integral Riemann care se calculeaz folosind primitiva funciei putere ; deci este un caz de convergen. Integrala devine improprie pentru ea este improprie n limita inferioar, n care funcia are ca asimptot vertical dreapta

(9.489) Trecnd la limit pentru i n (9.489) se ajunge la

(9.490)

Aadar, este un caz de CONVergen pentru integrala din Valoarea nu este un caz de dubiu ci unul de DIVergen ntruct, pentru aceast valoare a parametrului,

Deci natura integralei din

n funcie de valorile lui

este dat de (9.491)

325

Pentru integrala din

studiul naturii este perfect analog i se ajunge la

(9.492)

Aplicnd criteriul de comparaie la limit cu funcia-integrand din , apoi cu funcia-integrand din , se ajunge la cte un criteriu de convergen analog cu pentru integralele & dar numai dup calcularea limitelor : (9.494) (9.493)

(9.495) Cazurile de convergen / divergen ale celor dou tipuri de integrale din (9.494) & (9.495) sunt :

(9.496)

(9.497)

Ca exemple, putem observa c cele dou integrale din verificau aceste dou criterii de convergen cu pentru integrala din respectiv cu i pentru cele dou integrale n care s-a descompus integrala din la pag. 323. Oferim alte cteva exemple. 326

Se cere stabilirea naturii integralelor ce urmeaz i eventual calculul lor n cazul convergenei.

Integrala este improprie n limita inferioar ntruct

(9.498)

Limita din (9.498) este finit i pozitiv pentru

conform cu limita cunoscut

Conform cu limita din (9.494) i

integrala DIVerge.

Integrala este improprie n ambele extremiti ale intervalului de integrare ntruct numitorul tinde la zero. Ea se descompune sub forma

(9.499)

Fiecare din cele dou integrale din ultima ecuaie este convergent ; putem aplica criteriul din (9.497) doar pentru a doua din ele ntruct ele au aceeai comportare : pentru
CONV.

327

Avnd n vedere aceast concluzie pentru valabil i pentru valoarea integralei din (9.499) se poate obine drept dublul valorii uneia din ele ntruct funcia-integrand este par iazr intervalul de integrare este simetric : (9.500) Aceast integral din (9.500) este una iraional i poate fi abordat ca o integral binom, cu cei trei parametri (9.501) Din aceste valori rezult c primitiva nu se poate exprima prin funcii elementare, deci nu se poate utiliza formula Newton-Leibniz pentru a gsi i apoi valoarea cutat, cu limita din definiie. Ca i integala precedent, i aceasta trebuie descompus pe cele dou subintervale simetrice :

(9.502) Punctul singular este originea i avem de calculat pentru Rezultatul din (9.503) este valabil i pentru integrala poate utiliza o substituie similar cu cea de la integrala
CONV.

(9,503)

Pentru calculul integralelor se : (9.504)

(9.504) | Integrala din (9.505) se poate calcula cu metoda IPP. Se gsete

(9.505)

328

(9.507) Pentru integrala se poate utiliza tot substituia din (9.504) dar limitele de integrare n sunt diferite : (9.507) (9.507) | Cu aceeai metod a integrrii prin pri,

(9.508)

|
n fine, (9.507) & (9.509) |

(9.509)

Observaie. Integrala din enun era una improprie, dar prin substituia din (9.504) care a condus la integrala din (9.505) acest caracter a disprut, datorit unei simplificri prin . Integrala este improprie n limita superioar. Se poate utiliza

pentru

DIV.

Exerciii cu integrale improprii. 9.3 A - 1 Se cere stabilirea naturii integralelor ce urmeaz i eventual calculul lor n cazul convergenei.

9.3 A - 2

Se cere stabilirea naturii integralelor ce urmeaz i eventual calculul lor n cazul convergenei.

Rspunsuri i recomandri de rezolvare Criteriul

9.3 A - 1

conduce la un caz de CONVergen

Integrala este similar cu precedenta, CONVergent cu acelai Criteriul conduce la un caz de CONVergen ntruct 330 pentru

orice inclusiv pentru integrnd prin pri, de dou ori :

conv. Valoarea integralei se obine

Acelai criteriul cu limita ofer convergena. Se poate ncerca determinarea primitivei i valorii integralei cu o substituie specific integralelor iraionale binome. Rezult c primitiva nu este exprimabil prin funcii elementare. Intervalul de integrare este nemrginit (spre dar funcia nu este definit n extremitatea stng a intervalului de integrare, deci trebuie studiat comportarea ei i n aceste punct. Integrala este improprie de ambele specii, I & II.

pentru

ntruct pentru (9.510)

aceast limit din (9.510) arat c integrala este absolut convergent n limita superioar, ceea ce nu nseamn c ea este i simplu convergent. Funcia de sub integral nu este una pozitiv (sau nenegativ) din cauza factorului care are semn variabil cnd Integrala din enun s-ar putea scrie ca sum de integrale pe intervalele sau (9.511)

Pentru a doua partiie din (9.511), pe intervalul finit funcia de integrat este chiar pozitiv, deci se poate aplica fr probleme criteriul cu limita din (9.496) : (9.512) de unde rezult c pentru orice inclusiv pentru
CONV.

Integrala se descompune ca sum de dou integrale, pe cele dou semiaxe ale axei reale : 331

(9.513)

Criteriul de convergen / divergen poate fi aplicat uneia dintre cele dou integrale, comportarea acestora fiind simetric. pentru
DIVergena.

Rspunsuri i recomandri de rezolvare

9.3 A - 2

Funcia-integrand se poate rescrie sub forma

(9.514)

pentru CONVerge. Valoarea ei se poate gsi cu o substituie specific unei integrale iraionale binome (cazul al treilea de la substituiile lui ebyev) : (9.515) (9.516) innd seama de semnul lui devine noile limite din (9.516) se pot inversa iar integrala n

(9.517) Funcia raional de sub integrala din (9.517) trebuie descompus n fracii simple, plecnd de la factorizarea numitorului (9.518) 332

Prin aducere la acelai numitor, identificarea coeficienilor i rezolvarea sistemului algebric liniar (de tip 4 x 4) se ajunge la descompunerea

(9.519) Primitiva n (9.517) se va obine integrnd suma de fracii simple din (9.519), fiecare din ele furniznd un logaritm natural i o arc-tangent. Dup gsirea primitivei se determin variaia acesteia ntre i dup care se ia limita pentru care va furniza valoarea cutat a integralei. Cititorii interesai urmeaz a detalia calculele care au condus la integrala din (9.517), apoi a verifica descompunerea n fracii simple din (9.519) i a calcula valoarea integralei, urmnd sugestiile de mai sus. Funcia are ca punct singular limita inferioar a intervalului de integrare ntruct Se poate ncerca aplicarea criteriului : (9.520)

Limita din (9.520) se poate evalua pentru valoarea particular a parametrului (9.521)

Limita

din (9.521) poate fi evaluat relativ usor : (9.522)

Limita din (9.522) este una din limitele cunoscute din capitolul LIMITE DE FUNCII. Din (9.521) & (9.522) rezult c
CONVergena

integralei din enun.

333

Calculul integralei este simplu av nd n vedere c primitiva este aproape imediat.

ce

Integrala este improprie n ambele capete ale intervalului de integrare, ceea este i mai vizibil dac ea este rescris sub forma (9.523)

Aceleai criterii & aplicate succesiv pentru cele dou limite de integrare, conduc la concluzia ca ambele integrale n care se descompune pe intervalele respectiv, sunt convergente ntruct limitele din (9.494) & (9.495) sunt
CONVergena.

(9.524)

n consecin, integralei din (9.523) i se poate aplica proprietatea privind integrarea funciilor pare pe interval simetric i putem deci scrie (9.525)

Aceasta este o integral binom cu cei trei parametri care este un caz n care primitiva nu este exprimabil prin funcii elementare. Ea poate fi totui calculat cu ajutorul integralelor lui Euler, (9.526) Aceste dou integrale converg pentru valorile strict pozitive ale parametrilor n (9.524), se aplic substituia atunci Dac, (9.527) iar aceast valoarea poate fi gsit cu o aproximaie suficient de bun ntruct integralele lui Euler sunt tabelate n diverse cri de ANALIZ NUMERIC, PROBABILITI etc. 334

Cititorul este invitat s detalieze calculele care au condus la limitele din (9.524) dar i la expresia (9.527) a integralei cu definiia din (9.526) a funciei Beta a lui Euler. La prima vedere, integrala nu ar fi una improprie ntruct intervalul de

integrare este mrginit iar numitorul funciei nu se anuleaz nicieri. Totui, se va transforma ntr-o integral improprii dup aplicarea substituiei specifice, pentru a determina o primitiv. (8.528) Cele dou limite ale intervalului de integrare se transform precum urmeaz : (9.529)

Funia-integrand devine (9,528), (9.529) & (9.530) |

(9.530)

(9.531)

Integrala din (9.531) are o primitiv imediat iar calculul ei revine cititorilor interesai. este improprie n i DIVerge, conform cu .

este improprie n

dar CONVerge ntruct

pentru orice

Calculul valorii sale este facil, dac se integreaz o dat prin pri.

335

336