Funciones de una variable real II Integrales impropias

Transcripción

1 Universidd de Murci Deprtmento Mtemátics Funciones de un vrible rel II Integrles impropis B. Cscles, J. M. Mir y L. Oncin Deprtmento de Mtemátics Universidd de Murci Grdo en Mtemátics

2 Contents Contenido Recordtorio, series 2 Concepto, tipos y modelos importntes Condición de Cuchy 3 Convergenci bsolut

3 Objetivos Recordtorio, series Objetivos Recordr el concepto de convergenci de series y sus propieddes, pr estblecer prlelismo con integrles impropis. 2 Definir y entender el concepto de integrl impropi. 3 Anlizr los primeros ejemplos de integrles impropis. 4 Entender y sber utilizr l condición de Cuchy pr convergenci de integrles. 5 Aprender el concepto de convergenci bsolut de un integrl. 6 Utilizr en situciones práctics los conceptos nteriores.

4 Series: definición Definición Un serie numéric en K es un pr de sucesiones ( n) nœn, (S n) nœn relcionds por l fórmul S n = + + n. Un serie de este tipo se represent brevidmente medinte Œÿ n. n=

5 Series: definición Definición Un serie numéric en K es un pr de sucesiones ( n) nœn, (S n) nœn relcionds por l fórmul S n = + + n. Un serie de este tipo se represent brevidmente medinte Œÿ n. n= n se le llm término generl de l serie.

6 Series: definición Definición Un serie numéric en K es un pr de sucesiones ( n) nœn, (S n) nœn relcionds por l fórmul S n = + + n. Un serie de este tipo se represent brevidmente medinte Œÿ n. n= n se le llm término generl de l serie. 2 S n se llm sum prcil n-ésim.

7 Series: definición Definición Un serie numéric en K es un pr de sucesiones ( n) nœn, (S n) nœn relcionds por l fórmul S n = + + n. Un serie de este tipo se represent brevidmente medinte Œÿ n. n= n se le llm término generl de l serie. 2 S n se llm sum prcil n-ésim. 3 L serie numéric (o simplemente serie) se dice convergente si existe lim n S n =: S œ K.

8 Series: definición Definición Un serie numéric en K es un pr de sucesiones ( n) nœn, (S n) nœn relcionds por l fórmul S n = + + n. Un serie de este tipo se represent brevidmente medinte Œÿ n. n= n se le llm término generl de l serie. 2 S n se llm sum prcil n-ésim. 3 L serie numéric (o simplemente serie) se dice convergente si existe lim n S n =: S œ K. 4 S recibe el nombre de sum de l serie y se escribe q Œ n. = S. n=

9 Series: definición Definición Un serie numéric en K es un pr de sucesiones ( n) nœn, (S n) nœn relcionds por l fórmul S n = + + n. Un serie de este tipo se represent brevidmente medinte Œÿ n. n= n se le llm término generl de l serie. 2 S n se llm sum prcil n-ésim. 3 L serie numéric (o simplemente serie) se dice convergente si existe lim n S n =: S œ K. 4 S recibe el nombre de sum de l serie y se escribe q Œ n. = S. n= 5 Cundo n œ R ylim n S n = ±Œ l serie se dice divergente ±Œ.

10 Ejemplos de series Ejemplo L serie geométric Œÿ r n n=0 con r < esunserieconvergenteconsum Si r Ølserieesdivergente. r. Ejemplo L serie n 2 n= es convergente y que l sucesión (S n) n es monóton creciente y cotd. q Œ L serie n= n es divergente, y que no stisfce el criterio de Cuchy. Œÿ

11 Convergenci de series Condición necesri de convergenci Si l serie q Œ n converge entonces existe limn n yvle0. n=

12 Convergenci de series Condición necesri de convergenci Si l serie q Œ n converge entonces existe limn n yvle0. n= Condición de Cuchy pr l convergenci de un serie L serie numéric Œÿ n n= es convergente si y sólo si pr cd >0 existe n 0 œ N tl que se verific p + p+ + + q <, siempre que los nturles p, q cumpln n 0 Æ p Æ q.

13 Criterio de convergenci de l integrl: ejemplos Criterio de comprción Sen q n, q b n series de términos no negtivos. Si existe n 0 œ N y M > 0tlesque n Æ Mb n pr todo n 0 Æ n œ N, entonceslconvergencide q b n implic l convergenci de q n. Criterio de comprción Sen q n, q b n series de términos estrictmente positivos y supongmos que existe l := lim n Si 0 < l < Œ entonces ls dos series tienen el mismo crácter. q q 2 Si l = 0entonceslconvergencide b n implic l convergenci de n. q q 3 Si l = Œ entonces l convergenci de n implic l convergenci de b n. b n

14 Reordención de series Definición Sen q n y q b n dos series. Diremos que l serie q b n es un reordención de l serie q n si existe un biyección : N æ N tl que b n = (n).

15 Reordención de series Definición Sen q n y q b n dos series. Diremos que l serie q b n es un reordención de l serie q n si existe un biyección : N æ N tl que b n = (n). Proposición Se q n un serie convergente de términos positivos, entonces culquier reordend suy converge y mbs tienen l mism sum. Definición L serie q n con n œ R se dice bsolutmente convergente si l serie q n es convergente. Proposición Si l serie q n es bsolutmente convergente entonces es convergente.

16 Concepto de integrl impropi: tipos Concepto, tipos y modelos importntes Condición de Cuchy En l integrl de Riemnn se us un función cotd en un intervlo cotdo cerrdo [, b]. Ls integrles impropis corresponden lgun situción de no cotción, se en l función, se en el intervlo, o en mbos.

17 Concepto de integrl impropi: tipos Concepto, tipos y modelos importntes Condición de Cuchy En l integrl de Riemnn se us un función cotd en un intervlo cotdo cerrdo [, b]. Ls integrles impropis corresponden lgun situción de no cotción, se en l función, se en el intervlo, o en mbos. Ejemplo. Función no cotd en intervlo cotdo Se f (x) = Ô x en I =(0, ] yqueremosvercómodefinir s 0 Tommos hor u œ (0, ] yclculmos u Ô dx =! Ô " x u 2 yentoncesdefinimosdemnernturldefinimos 0 Ô dx := lim Ô = lim x uæ0 + u x uæ0 + 2 Ô x dx! Ô u " = 2

18 Concepto, tipos y modelos importntes Condición de Cuchy Ejemplo 2. Función cotd en intervlo no cotdo Se f (x) = en el intervlo I =[, Œ), y queremos drle sentido l x 2 expresión Œ x dx 2 Ddo u œ [, Œ) culquier, podemos clculr u Ë x dx = È u = 2 2 x u yentoncesdemnernturldefinimos Œ dx := lim x 2 uæœ u dx = lim 2 = x 2 uæœ u

19 Concepto, tipos y modelos importntes Condición de Cuchy Ejemplo 3. Función no cotd en intervlo no cotdo Se f (x) = x 2 en el intervlo I =(0, Œ), y queremos dr sentido Œ 0 x 2 dx Por nlogí con l integrl de Riemnn ordinri es rzonble definir Œ 0 x dx := 2 0 Œ x dx + 2 x 2 dx L primer integrl corresponde función no cotd en intervlo cotdo; l segund función cotd en intervlo no cotdo. 0 dx := lim x 2 uæ0 + x = lim + 2 = Œ u 2 uæ0 + u y como el vlor de l segund es, concluimos s Œ 0 dx = Œ x 2

20 Definición Recordtorio, series Concepto, tipos y modelos importntes Condición de Cuchy f :[, b) æ R, (b ÆŒ), diremos que es loclmente integrble si pr todo u œ [, b), f restringid [, u] es integrble, es decir, existe s u f (x) dx.

21 Definición Recordtorio, series Concepto, tipos y modelos importntes Condición de Cuchy f :[, b) æ R, (b ÆŒ), diremos que es loclmente integrble si pr todo u œ [, b), f restringid [, u] es integrble, es decir, existe s u f (x) dx. Si f es loclmente integrble y existe lim uæb u f (x) dx œ R, diremos que l integrl impropi s b f (x) dx es convergente y que su vlor es b f (x) dx := lim uæb u f (x) dx. Análogmente definimos pr f :(, b] æ R l integrl impropi s b f (x) dx.

22 Definición Recordtorio, series Concepto, tipos y modelos importntes Condición de Cuchy f :[, b) æ R, (b ÆŒ), diremos que es loclmente integrble si pr todo u œ [, b), f restringid [, u] es integrble, es decir, existe s u f (x) dx. Si f es loclmente integrble y existe lim uæb u f (x) dx œ R, diremos que l integrl impropi s b f (x) dx es convergente y que su vlor es b f (x) dx := lim uæb u f (x) dx. Análogmente definimos pr f :(, b] æ R l integrl impropi s b f (x) dx. Si el límite nterior es +Œ o Œ, diremosquelintegrl(impropi)diverge hci +Œ o Œ respectivmente. Si no existe dicho límite diremos que no existe l integrl en sentido impropio. L integrl impropi es linel L linelidd de l integrl de Riemnn y el pso l límite que involucr l integrl impropi hce que est últim se linel tmbién.

23 Concepto, tipos y modelos importntes Condición de Cuchy Proposición Se f :[, b) æ R loclmente integrble y se < c < b. Son equivlentes: f es integrble en sentido impropio en [, b) 2 f es integrble en sentido impropio en [c, b) Además se cumple s b f (x) dx = s c f (x) dx + s b c f (x) dx.

24 Concepto, tipos y modelos importntes Condición de Cuchy Proposición Se f :[, b) æ R loclmente integrble y se < c < b. Son equivlentes: f es integrble en sentido impropio en [, b) 2 f es integrble en sentido impropio en [c, b) Además se cumple s b f (x) dx = s c f (x) dx + s b c Definición f (x) dx. Se f (, b) æ R, con Œ Æ < b Æ +Œ. Diremosquelintegrlimpropi s b f (x) dx es convergente si existe c œ (, b) de modo que ls integrles impropis s c f (x) dx y s b f (x) dx son convergentes. En este cso, definimos c b f (x) dx := c f (x) dx + b c f (x) dx. L convergenci y el vlor de l integrl no dependen del c elegido.

25 Concepto, tipos y modelos importntes Condición de Cuchy Ejemplos importntes: ls rmónics Œ 0 dx converge sii > x dx converge sii < x Más ejemplos +Œ Œ Œ + x dx, te t dt, 2 0 pple x dx Œ Œ pple x dx, 0 (x ) Ô x dx

26 Condición de Cuchy y plicciones Concepto, tipos y modelos importntes Condición de Cuchy Como l convergenci se define en términos de existenci de un límite, un ciert condición de Cuchy result esperble.

27 Condición de Cuchy y plicciones Concepto, tipos y modelos importntes Condición de Cuchy Como l convergenci se define en términos de existenci de un límite, un ciert condición de Cuchy result esperble. Proposición (Condición de Cuchy) L integrl impropi s b f (t) dt, donde f :[, b) æ R es loclmente integrble ybæ +Œ, es convergente si y sólo si pr cd >0 existe c œ (, b) tl que si c Æ y < z < bentonces z - f (t) dt- <. y

28 Condición de Cuchy y plicciones Concepto, tipos y modelos importntes Condición de Cuchy Como l convergenci se define en términos de existenci de un límite, un ciert condición de Cuchy result esperble. Proposición (Condición de Cuchy) L integrl impropi s b f (t) dt, donde f :[, b) æ R es loclmente integrble ybæ +Œ, es convergente si y sólo si pr cd >0 existe c œ (, b) tl que si c Æ y < z < bentonces z - f (t) dt- <. y Un consecuenci de l condición de Cuchy es que si b = Œ y existe lim xæœ f (x) =L y s Œ f converge, entonces L = 0.

29 Condición de Cuchy y plicciones Concepto, tipos y modelos importntes Condición de Cuchy En los ejemplos que hemos visto siempre hemos podido clculr un primitiv y sí estudir l convergenci de l integrl impropi y su vlor. Pero no siempre es sí. Ejemplo Consideremos f (x) :=sen x pr x œ (0, ]. L siguiente integrl converge? 0 f (x) dx

30 Condición de Cuchy y plicciones Concepto, tipos y modelos importntes Condición de Cuchy En los ejemplos que hemos visto siempre hemos podido clculr un primitiv y sí estudir l convergenci de l integrl impropi y su vlor. Pero no siempre es sí. Ejemplo Consideremos f (x) :=sen x pr x œ (0, ]. L siguiente integrl converge? 0 f (x) dx Proposición Si g :(, b] æ R es cotd y g œr([c, b]) pr todo c œ (, b] entonces g es integrble en (, b] en sentido impropio.

31 Convergenci bsolut Si f Ø 0, es obvio que F (x) := s x f es creciente por lo que l convergenci de l integrl impropi equivle l cotción de F. Proposición (Criterio de comprción) Sen f, g :[, b) æ R + con b ÆŒy supongmos que existen c œ [, b) y un constnte M > 0 tles que f (t) Æ Mg(t) pr todo t œ [c, b). Entoncesl convergenci de s b gimpliclconvergencides b f. (Y l divergenci de s b f implic l divergenci de s b g). Corolrio f (x) Sen f, g :[, b) æ R +. Suponemos existe L := lim xæb g(x) () Si 0 < L < Œ entonces s b f y s b g tienen el mismo crácter. (2) Si L = 0 entonces s b gconvergeimplics b f converge. (3) Si L = Œ entonces s b f converge implic s b gconverge.

32 Convergenci bsolut Relción entre series numérics e integrles impropis Proposición (Criterio de l integrl) Se q f :[, Œ) æ R + monóton decreciente y se n = f (n). Entonces l serie n converge si, y solo si, converge l integrl impropi s Œ f Un imgen que lo dice todo g h n n n + f Aplicción L serie q Œ es convergente y pr n= n 2 cd entero k Ø 2 Œÿ Œ n Æ 2 (x ) dx 2 n=k Utilizr lo nterior pr dr un estimción de q Œ cundo se n= n 2 proxim por sums prciles. k

33 Convergenci bsolut Ejemplos del criterio de comprción Estudio de l convergenci de 2 Estudio de l convergenci de Œ 2 sen x 2 dx pple (2 x)(x ) dx Ejemplo de estudio del crácter Crácter, según los vlores del número rel k, de l integrl impropi (k) := Œ 0 t k e t dt Clcule (k) pr k =, 2, 3, 4, 5. Se treve con l fórmul pr (k) pr k œ N? Mxim conoce l función, se llm gmm.

34 Convergenci bsolut Convergenci bsolut Proposición (Convergenci bsolut implic convergenci) Se f :[, b) æ R con b ÆŒy supongmos que l integrl impropi s b f converge. Entonces tmbién converge l integrl impropi s b f L clve de l demostrción es l condición de Cuchy. Pr nlizr l convergenci de un integrl impropi con integrndo f de signo no constnte, lo primero es sustituir f por f yplicrloscriteriosde comprción. Pero...

35 Convergenci bsolut Convergenci bsolut Proposición (Convergenci bsolut implic convergenci) Se f :[, b) æ R con b ÆŒy supongmos que l integrl impropi s b f converge. Entonces tmbién converge l integrl impropi s b f L clve de l demostrción es l condición de Cuchy. Pr nlizr l convergenci de un integrl impropi con integrndo f de signo no constnte, lo primero es sustituir f por f yplicrloscriteriosde comprción. Pero... no bst sólo con eso Ejemplos de integrles convergentes, unque no bsolutmente Œ 0 Œ 0 sen x x dx sen x 2 dx Estos ejemplos son csos prticulres de teorems más generles (ver bibliogrfí), pero exceden los contenidos de este curso. Podemos usr Mxim pr experimentr ls firmciones.

36 Bibliogrfí Recordtorio, series Convergenci bsolut J. M. Mir; B. Cscles y S. Sánchez-Pedreño