El Teorema Fundamental del Cálculo

Transcripción

1 del Cálculo Deprtmento de Análise Mtemátic Fcultde de Mtemátics Universidde de Sntigo de Compostel Sntigo, 2011

2 L Regl de Brrow: un resultdo sorprendente Recordemos que f es integrble en I = [, b] y su integrl en I vle A R si se cumplen ls dos siguientes definiciones (equivlentes): 1 f = f = A. 2 Pr cd ε > 0 existe δ > 0 tl que si P P(I ) cumple P < δ entonces S(f ; P) A < ε pr culquier elección de puntos intermedios.

3 L Regl de Brrow: un resultdo sorprendente Recordemos que f es integrble en I = [, b] y su integrl en I vle A R si se cumplen ls dos siguientes definiciones (equivlentes): 1 f = f = A. 2 Pr cd ε > 0 existe δ > 0 tl que si P P(I ) cumple P < δ entonces S(f ; P) A < ε pr culquier elección de puntos intermedios. De dónde sle l Regl de Brrow? f (x) dx = F (b) F () si F = f en I y f continu en I.

4 Tiene que ver con l ditividd con respecto l intervlo de integrción Recordemos que si f : [, b] R es integrble en [, b] se define f (x) dx = f (x) dx. b

5 Tiene que ver con l ditividd con respecto l intervlo de integrción Recordemos que si f : [, b] R es integrble en [, b] se define f (x) dx = f (x) dx. b Problem. Demuestr que si f : I = [, b] R es integrble en I entonces pr culesquier x, y, z I se tiene que y x f (s) ds z x f (s) ds = y z f (s) ds.

6 L función integrl indefinid Se f : I = [, b] R un función integrble en I. Definición. Un integrl indefinid de f es culquier función de l form F : x I F (x) = donde x 0 I está fijdo de ntemno. x x 0 f (s) ds,

7 L función integrl indefinid Se f : I = [, b] R un función integrble en I. Definición. Un integrl indefinid de f es culquier función de l form F : x I F (x) = x x 0 f (s) ds, donde x 0 I está fijdo de ntemno. Teorem. En ls condiciones de l definición nterior, l función F es lipschitzin en I (y, por tnto, continu en I ).

8 del Cálculo Relcion los cálculos diferencil e integrl Teorem del Cálculo. Sen f : I = [, b] R integrble en I, x 0 I, y l función integrl indefinid F : x I F (x) = x x 0 f (s) ds. Si f es continu en un punto c I entonces F es derivble en c y F (c) = f (c).

9 del Cálculo Relcion los cálculos diferencil e integrl Teorem del Cálculo. Sen f : I = [, b] R integrble en I, x 0 I, y l función integrl indefinid F : x I F (x) = x x 0 f (s) ds. Si f es continu en un punto c I entonces F es derivble en c y F (c) = f (c). Not. Si c es un extremo del intervlo se entiende que F es l correspondiente derivd lterl.

10 Existenci de primitivs pr ls continus y l Regl de Brrow Corolrio (Existenci de primitivs pr ls continus). Si f : J R es continu en un intervlo J (no necesrimente cerrdo o cotdo), entonces pr culquier x 0 J fijdo l función integrl indefinid F : x J F (x) = x x 0 f (s) ds, es un primitiv de f (es decir, F (x) = f (x) pr todo x J). Además, culquier otr primitiv de f es de l form G(x) = F (x) + k pr todo x J y pr un cierto vlor k R.

11 Existenci de primitivs pr ls continus y l Regl de Brrow Corolrio (Existenci de primitivs pr ls continus). Si f : J R es continu en un intervlo J (no necesrimente cerrdo o cotdo), entonces pr culquier x 0 J fijdo l función integrl indefinid F : x J F (x) = x x 0 f (s) ds, es un primitiv de f (es decir, F (x) = f (x) pr todo x J). Además, culquier otr primitiv de f es de l form G(x) = F (x) + k pr todo x J y pr un cierto vlor k R. Corolrio (Regl de Brrow). Si f : I = [, b] R es continu en I y F es un primitiv de f entonces f (x) dx = F (b) F ().

12 Nots sobre l existenci de primitivs pr ls continus 1 El primer corolrio no solo segur l existenci de primitivs pr ls continus, sino que tmbién nos dice cómo son:

13 Nots sobre l existenci de primitivs pr ls continus 1 El primer corolrio no solo segur l existenci de primitivs pr ls continus, sino que tmbién nos dice cómo son: si f es continu en el intervlo J entonces tods sus primitivs son de l form x F (x) = k+ f (s) ds (x J), con x 0 J y k R fijdos. x 0

14 Nots sobre l existenci de primitivs pr ls continus 1 El primer corolrio no solo segur l existenci de primitivs pr ls continus, sino que tmbién nos dice cómo son: si f es continu en el intervlo J entonces tods sus primitivs son de l form F (x) = k+ x x 0 f (s) ds (x J), con x 0 J y k R fijdos. 2 No siempre ls elementles tienen primitivs elementles.

15 Nots sobre l existenci de primitivs pr ls continus 1 El primer corolrio no solo segur l existenci de primitivs pr ls continus, sino que tmbién nos dice cómo son: si f es continu en el intervlo J entonces tods sus primitivs son de l form F (x) = k+ x x 0 f (s) ds (x J), con x 0 J y k R fijdos. 2 No siempre ls elementles tienen primitivs elementles. Por ejemplo, F (x) = x 0 e s2 ds es un primitiv de f (x) = e x2, pero F no se puede expresr en términos de elementles.

16 Nots sobre l existenci de primitivs pr ls continus 1 El primer corolrio no solo segur l existenci de primitivs pr ls continus, sino que tmbién nos dice cómo son: si f es continu en el intervlo J entonces tods sus primitivs son de l form F (x) = k+ x x 0 f (s) ds (x J), con x 0 J y k R fijdos. 2 No siempre ls elementles tienen primitivs elementles. Por ejemplo, F (x) = x 0 e s2 ds es un primitiv de f (x) = e x2, pero F no se puede expresr en términos de elementles. 3 Ls discontinus pueden tener primitivs o no Ejemplo de cd un?

17 Nots sobre l Regl de Brrow 1 En ocsiones podemos usr l Regl de Brrow unque en principio no se cumpln sus hipótesis.

18 Nots sobre l Regl de Brrow 1 En ocsiones podemos usr l Regl de Brrow unque en principio no se cumpln sus hipótesis. Por ejemplo, cundo tenemos un cntidd finit de discontinuiddes, tods ells evitbles

19 Nots sobre l Regl de Brrow 1 En ocsiones podemos usr l Regl de Brrow unque en principio no se cumpln sus hipótesis. Por ejemplo, cundo tenemos un cntidd finit de discontinuiddes, tods ells evitbles; en el cálculo de de continus trozos quizá podmos plicr l Regl de Brrow l clculr l integrl en cd trozo.

20 Nots sobre l Regl de Brrow 1 En ocsiones podemos usr l Regl de Brrow unque en principio no se cumpln sus hipótesis. Por ejemplo, cundo tenemos un cntidd finit de discontinuiddes, tods ells evitbles; en el cálculo de de continus trozos quizá podmos plicr l Regl de Brrow l clculr l integrl en cd trozo. 2 Existe un versión más generl de l Regl de Brrow. Segundo Teorem del Cálculo. Si f : I = [, b] R es integrble en I y F es un primitiv de f, entonces f (x) dx = F (b) F ().

21 Nots sobre l Regl de Brrow 1 En ocsiones podemos usr l Regl de Brrow unque en principio no se cumpln sus hipótesis. Por ejemplo, cundo tenemos un cntidd finit de discontinuiddes, tods ells evitbles; en el cálculo de de continus trozos quizá podmos plicr l Regl de Brrow l clculr l integrl en cd trozo. 2 Existe un versión más generl de l Regl de Brrow. Segundo Teorem del Cálculo. Si f : I = [, b] R es integrble en I y F es un primitiv de f, entonces f (x) dx = F (b) F (). Ejercicio. Encuentr un ejemplo de un función f que stisfg ls condiciones del Segundo Teorem y no ls de l Regl de Brrow.

22 Esto es otr consecuenci del Teorem del Cálculo Nos plntemos hor cómo clculr derivds de del tipo x h(x) g(x) f (s) ds.

23 Esto es otr consecuenci del Teorem del Cálculo Nos plntemos hor cómo clculr derivds de del tipo x h(x) g(x) f (s) ds. Proposición. Si f : I R es continu en el intervlo I, g, h : J R son derivbles en el intervlo J y g(x), h(x) I pr todo x J, entonces pr todo x J tenemos que ( h(x) f (s) ds) = f (h(x))h (x) f (g(x))g (x). g(x)

24 Esto es otr consecuenci del Teorem del Cálculo Nos plntemos hor cómo clculr derivds de del tipo x h(x) g(x) f (s) ds. Proposición. Si f : I R es continu en el intervlo I, g, h : J R son derivbles en el intervlo J y g(x), h(x) I pr todo x J, entonces pr todo x J tenemos que ( h(x) f (s) ds) = f (h(x))h (x) f (g(x))g (x). g(x) Ejemplo. Clcul l derivd de l función G(x) = cos x sen x e s2 ds (x R).

25 Cmbio de vrible en l integrl definid No será necesrio deshcer los cmbios de vrible! Teorem en l integrl definid. L fórmul de cmbio de vrible G(b) G() f (x) dx = f (G(t)) G (t) dt es válid si G : I = [, b] R es continumente derivble en I y f es integrble en G(I ).

26 Cmbio de vrible en l integrl definid No será necesrio deshcer los cmbios de vrible! Teorem en l integrl definid. L fórmul de cmbio de vrible G(b) G() f (x) dx = f (G(t)) G (t) dt es válid si G : I = [, b] R es continumente derivble en I y f es integrble en G(I ). Not pr recordr l fórmul. En l primer integrl hcemos x = G(t), de donde dx = G (t) dt.

27 Cmbio de vrible en l integrl definid No será necesrio deshcer los cmbios de vrible! Teorem en l integrl definid. L fórmul de cmbio de vrible G(b) G() f (x) dx = f (G(t)) G (t) dt es válid si G : I = [, b] R es continumente derivble en I y f es integrble en G(I ). Not pr recordr l fórmul. En l primer integrl hcemos x = G(t), de donde dx = G (t) dt. Solmente lo demostrremos en el cso f continu.

28 Cmbio de vrible en l integrl definid No será necesrio deshcer los cmbios de vrible! Teorem en l integrl definid. L fórmul de cmbio de vrible G(b) G() f (x) dx = f (G(t)) G (t) dt es válid si G : I = [, b] R es continumente derivble en I y f es integrble en G(I ). Not pr recordr l fórmul. En l primer integrl hcemos x = G(t), de donde dx = G (t) dt. Solmente lo demostrremos en el cso f continu. Al contrrio que el en Teorem pr el cálculo de primitivs, l función de cmbio de vrible G no necesit ser inyectiv.

29 Cmbio de vrible en l integrl definid Aplicciones práctics: Cso Fácil y Cso No Tn Fácil Cómo usr el cmbio de vrible en l integrl definid. G(b) G() f (x) dx = } {{ } (I ) f (G(t)) G (t) dt. } {{ } (II )

30 Cmbio de vrible en l integrl definid Aplicciones práctics: Cso Fácil y Cso No Tn Fácil Cómo usr el cmbio de vrible en l integrl definid. G(b) G() f (x) dx = } {{ } (I ) f (G(t)) G (t) dt. } {{ } (II ) Ejemplo del Cso Fácil (Prtimos de l integrl (II), por lo que l función de cmbio G y su dominio se encuentrn entre los dtos del problem.) () Clcul l π/4 0 sen t cos t dt. (b) Clcul l sen t cos t dt.

31 Cmbio de vrible en l integrl definid Aplicciones práctics: Cso Fácil y Cso NO TAN Fácil Cómo usr el cmbio de vrible en l integrl definid. G(b) G() f (x) dx = } {{ } (I ) f (G(t)) G (t) dt. } {{ } (II )

32 Cmbio de vrible en l integrl definid Aplicciones práctics: Cso Fácil y Cso NO TAN Fácil Cómo usr el cmbio de vrible en l integrl definid. G(b) G() f (x) dx = } {{ } (I ) f (G(t)) G (t) dt. } {{ } (II ) Ejemplo del Cso NO TAN Fácil (Prtimos de l integrl (I), por lo que l función de cmbio G NO se encuentr entre los dtos del problem.) () Clcul l x 2 dx. (b) Clcul l 1 x 2 dx. (c) Repite el prtdo () usndo l mism función de cmbio pero con dominio en [ π/2, π/2 + 2π].

33 Cmbio de vrible en l integrl definid Segund versión: solmente pr cmbios biyectivos Segund versión del Teorem. L fórmul de cmbio de vrible G(b) G() f (x) (G 1 ) (x) dx = f (G(t)) dt es válid si G : I = [, b] R es continumente derivble en I, G (t) 0 pr todo t I, y f es integrble en G(I ). Ejemplo. Clculr π 2 (π/2) 2 cos t dt.

34 en l integrl definid Teorem de integrción en l integrl definid. Si f, g : I = [, b] R son continumente derivbles en I entonces f (x) g(x) dx = f (b)g(b) f ()g() f (x) g (x) dx.

35 en l integrl definid Teorem de integrción en l integrl definid. Si f, g : I = [, b] R son continumente derivbles en I entonces f (x) g(x) dx = f (b)g(b) f ()g() Abrevitur de l fórmul: u dv = u v b v du. f (x) g (x) dx.

36 en l integrl definid Teorem de integrción en l integrl definid. Si f, g : I = [, b] R son continumente derivbles en I entonces f (x) g(x) dx = f (b)g(b) f ()g() Abrevitur de l fórmul: Ejemplo. π 0 ex sen x dx. u dv = u v b v du. f (x) g (x) dx.