AULAS TEÓRICAS DE CÁLCULO DIFERENCIAL E INTEGRAL I o SEMESTRE 04/5 LMAC, MEBIOM, MEFT MIGUEL ABREU E RUI LOJA FERNANDES. Aul 5 de Setembro de 04 Apresentção. Miguel Abreu (responsável) <mbreu@mth.tecnico.ulisbo.pt> Págin d cdeir. http://www.mth.tecnico.ulisbo.pt/ mbreu/ci Contém tod informção relevnte. Deve ser consultd regulrmente. Progrm. Números reis (proprieddes lgébrics, relção de ordem e propriedde do supremo). Números nturis. Método de indução. Funções reis de vriável rel: limite e continuidde; diferencibilidde - teorems fundmentis; Regr de Cuchy e levntmento de indeterminções; Fórmul de Tylor. Primitivção. Cálculo integrl em R: integrl de Riemnn; integrbilidde de funções seccionlmente contínus; teorem fundmentl do cálculo; fórmuls de integrção por prtes e por substituição. Funções trnscendentes elementres: logritmo, exponencil e funções hiperbólics. Sucessões e séries numérics: convergênci; sucessões e séries geométrics; critérios de comprção; séries bsolutmente convergentes; séries de potêncis; séries de Tylor. Bibliogrfi. M. Spivk, Clculus, 3rd Edition, Cmbridge University Press, 006. J. P. Sntos, Cálculo Num Vriável Rel, IST Press, 04. M. Abreu, R. L. Fernndes e M. Ricou, Folhs de Cálculo Diferencil e Integrl I, 009. W. Trench, Introduction to Rel Anlysis, Trinity University, free edition, 009. J. Cmpos Ferreir, Introdução à Análise Mtemátic, Gulbenkin, 8 edição, 005. Exercícios de Análise Mtemátic I e II - Deprtmento de Mtemátic, IST Press, 005. Fichs de Exercícios, Miguel Abreu, DMIST, 006. Horário de Dúvids. Tods s sessões de esclrecimento de dúvids têm lugr n sl de dúvids do Deprtmento de Mtemátic (sl P, piso do Pvilhão de Mtemátic). Os horários de dúvids serão fixdos n págin d cdeir. Avlição de Conhecimentos Testes - terão lugr nos dis 8 de Novembro ( o -Teste) e 5 de Jneiro ( o -Teste), com durção de 90 minutos cd. A clssificção finl será o resultdo d médi ritmétic ds clssificções dos dois Testes. Exme de Recurso - terá lugr no di 6 de Jneiro, com durção de 80 minutos. A este Exme podem comprecer todos os lunos que não tenhm tido provção n disciplin ou que pretendm melhorr clssificção obtid nos Testes. Nest dt os lunos podem tmbém optr por tentr melhorr clssificção de um dos Testes. Avlição Contínu Fculttiv - est componente de vlição consiste n relizção de qutro Fichs de Avlição com durção de 5 minutos cd. A resolução dests fichs terá Dte: 9 de Dezembro de 04.
MIGUEL ABREU E RUI LOJA FERNANDES lugr no finl de cd ul prátic ds 4 (6 0 de Outubro), 7 (7 3 de Outubro), ( 5 de Dezembro) e 4 (5 9 de Dezembro) semns efectivs de uls. A mtéri vlid em cd um ds Fichs de Avlição será d Fich de Exercícios correspondente. A clssificção ds Fichs de Avlição só influencirá clssificção finl cso melhore clssificção obtid nos Testes/Exme, de cordo com seguinte tbel: Clssificção Mínim ns Fichs Médi Testes/Exme Clssificção Finl CCCD 9, 0 9, 4 0 CCCC 8, 5 8, 9 0 BBCC 8, 0 8, 4 0 BBCC 9, 5 0, 4 ABCC ou BBBC 0, 5, 4 AACC, BBBB ou ABBC, 5, 4 3 ABBB ou AABC, 5 3, 4 4 AABB ou AAAC 3, 5 4, 4 5 AAAB 4, 5 5, 4 6 AAAA 5, 5 6, 4 7 Not: A = Muito Bom; B = Bom; C = Stisfz; D = Não Stisfz. As clssificções superiores 6,4 vlores nos Testes/Exme não serão influencids pel clssificção ds Fichs de Avlição. Clssificções Superiores 7 - um luno com clssificção finl superior 7 será convocdo pr se presentr exme orl. A não relizção deste exme orl limit clssificção máxim 7 vlores. Observções Identificção Pessol - os lunos(s) só podem presentr-se provs de vlição munidos de BI/CC ou crtão de luno() do IST. Clculdors - ns provs de vlição (fichs, testes e exme) não é permitid utilizção de qulquer género de clculdors. Importnte. Esqueçm máquins de clculr. Consultem os Módulos de Apoio à Formção Básic em Mtemátic disponíveis em http://modulos.mth.tecnico.ulisbo.pt/ Proprieddes Básics dos Números Reis. Recordemos primeiro s chmds Proprieddes Algébrics do conjunto dos números reis R, i.e. quels que se referem às operções fundmentis de dição e multiplicção. Propriedde. (comuttividde de + e ) Propriedde. (ssocitividde de + e ), b R + b = b + e b = b., b, c R + (b + c) = ( + b) + c e (b c) = ( b) c. Propriedde 3. (distributividde) Propriedde 4. (elementos neutros), b, c R (b + c) = b + c. 0 R : + 0 = 0 + = pr qulquer R. R \ {0} : = = pr qulquer R.
AULAS TEÓRICAS DE CÁLCULO DIFERENCIAL E INTEGRAL I 3 Propriedde 5. (simétricos e inversos) R ( ) R : + ( ) = 0. O número ( ) é designdo por simétrico de. R \ {0} R : =. O número é designdo por inverso de. Exemplo.. O conjunto N = {,, 3,...} dos números nturis stisfz s Proprieddes - 3. O conjunto N 0 = {0,,,...} tmbém stisfz Propriedde 4. O conjunto Q dos números rcionis stisfz tods ests 5 proprieddes. Voltremos com mis detlhe estes conjuntos bem vossos conhecidos. Not.. Quisquer outrs proprieddes lgébrics dos números reis podem de fcto ser deduzids prtir dests cinco primeirs, usndo s regrs básics d lógic mtemátic. Por outro ldo, ests proprieddes não podem ser deduzids prtir de outrs mis elementres. Por est rzão, chmmos ests proprieddes básics de xioms lgébricos ou xioms do corpo dos números reis. As outrs proprieddes que se deduzem prtir dests podem ser designds de teorems ou proposições. Propriedde 6. (Lei do Corte pr Adição) Pr quisquer, b, c R, se + b = + c então b = c. (I.e., b, c R, + b = + c b = c.) Demonstrção. Usndo s cinco proprieddes cim, podemos mostrr Lei do Corte pr Adição d seguinte form: + b = + c ( ) + ( + b) = ( ) + ( + c) (( ) + ) + b = (( ) + ) + c 0 + b = 0 + c (hipótese inicil) (Propriedde 5 determin ( )) (Propriedde - ssocitividde) (Propriedde 5 propriedde do simétrico) b = c (Propriedde 4 0 é neutro pr +) Propriedde 7. (Lei do Corte pr Multiplicção), b, c R, ( 0 e b = c) b = c.. Aul 6 de Setembro de 04 Vmos continur recordr lgums proprieddes lgébrics dos números reis. Tods s proprieddes lgébrics que se seguem podem ser deduzids prtir dos xioms lgébricos ou xioms do corpo enuncidos n últim ul. Propriedde 8. (Zero é Elemento Absorvente d Multiplicção) Pr qulquer R tem-se que Propriedde 9. (Subtrcção) 0 = 0 = 0., b R x R : + x = b. Este número x = b + ( ) é designdo por diferenç entre b e e represent-se por b. Propriedde 0. (Divisão), b R com 0, x R : x = b. Este número x = b é designdo por quociente de b por e represent-se por b/. Propriedde. Pr quisquer, b R, se b = 0 então = 0 ou b = 0, i.e. em R não existem divisores de zero. Propriedde. (Regrs de Sinis) Pr quisquer, b R tem-se que e, se b 0, ( ) =, ( + b) = b, ( b) = ( ) b, ( ) ( b) = b (/b) = ( )/b = /( b).
4 MIGUEL ABREU E RUI LOJA FERNANDES Proprieddes de Ordem. Recordemos s chmds Proprieddes de Ordem do conjunto dos números reis R, i.e. quels que se referem o subconjunto R + R formdo pelos números positivos ou, de form equivlente, o subconjunto R R formdo pelos números negtivos: Propriedde 3. (R + é fechdo pr + e ) R ( ) R +., b R + + b R + e ( b) R +. Propriedde 4. (tricotomi) Qulquer número rel R verific um e um só d seguintes três condições: R + ou = 0 ou ( ) R +. Not.. A Propriedde 4 d tricotomi pode tmbém ser escrit d seguinte form: onde o símbolo signific união disjunt. R = R {0} R +, Not.. Quisquer outrs proprieddes de ordem dos números reis podem de fcto ser deduzids prtir dests dus primeirs. Por ess rzão, chmmos s ests dus proprieddes de xioms de ordem dos números reis. Definição.3. (Relções de Ordem) Sejm, b R. Diremos que é menor que b ou que b é mior que, escrevendo < b ou b >, qundo (b ) R +. Diremos tmbém que é menor ou igul b ou que b é mior ou igul, escrevendo b ou b, qundo (b ) R + ou b =. Not.4. As seguintes equivlêncis são consequêncis simples d Definição.3: > 0 R + e < 0 R. A Propriedde 3 pode ssim ser escrit n form ou n form equivlente, b > 0 + b > 0 e b > 0,, b < 0 ( ) + ( b) = ( + b) > 0 e ( ) ( b) = b > 0. Assim, um consequênci imedit d Definição.3 e d Propiedde 3 é: pelo que Propriedde 5. (Propriedde Trnsitiv) Dem. > 0, 0, = > 0., b, c R, ( < b e b < c) < c. É válid seguinte sequênci de implicções: < b e b < c (hipótese inicil) (b ) R + e (c b) R + (Definição.3) ((b ) + (c b)) R + (Propriedde 3 - fecho de R + ) (c ) R + (exercício!) < c (Definição.3) Propriedde 6. (Proprieddes Algébrics) Pr quisquer, b, c, d R, tem-se que: (i) se < b então + c < b + c; (ii) se < b e c > 0 então c < b c; (iii) se < b e c < 0 então b c < c; (iv) se < c e b < d então + b < c + d.
AULAS TEÓRICAS DE CÁLCULO DIFERENCIAL E INTEGRAL I 5 Módulo ou Vlor Absoluto. Definição.5. O módulo ou vlor bsoluto de um número rel x R é definido por { x, se x 0; x = x, se x < 0. Exercício.6. Mostre que, pr qulquer x R, x = x 0, x = 0 x = 0 e x x x. Teorem.7. Sejm, x R. Tem-se que x x x. Dem. ( ) Sbemos por hipótese que x. Usndo propriedde lgébric (iii) obtemos Temos então que x x. x x x, onde s dus desigulddes do meio são o resultdo do Exercício.6. A Propriedde Trnsitiv implic imeditmente que x. ( ) Supomos gor por hipótese que x. Temos então que: () x 0 x = x. (b) x < 0 x = x, onde últim desiguldde é obtid prtir d hipótese x usndo novmente propriedde lgébric (iii). Conclui-se em qulquer dos csos que x. Corolário.8. Sejm, x R. Tem-se que x > x > x <. Dem. Bst negr mbos os ldos d equivlênci do teorem nterior. 3. Aul 8 de Setembro de 04 Últim Aul. Proprieddes de Ordem dos números reis. Módulo ou vlor bsoluto. Teorem.7 e Corolário.8: x x x e x > x > x <. Módulo ou Vlor Absoluto (cont.) Teorem 3.. (Desiguldde Tringulr) Dem. Temos pelo Exercício.6 que x + y x + y, x, y R. x x x e y y y. Somndo ests dus desigulddes e usndo propriedde lgébric (iv) obtemos ( x + y ) x + y x + y. Usndo gor o Teorem.7, podemos conlcuir que x + y x + y. Exercício 3.. Mostre que, pr quisquer x, y R, x y x + y, x y x y e ( x y ) x y.
6 MIGUEL ABREU E RUI LOJA FERNANDES Exercício 3.3. Pr quisquer x, y R, mostre que Intervlos. x y = x y e x y = x y, se y 0. Definição 3.4. (Intervlos), b R. Intervlo berto: ], b[ def = {x R : < x < b}. (Notem que ], [ = def = conjunto vzio. Porquê?) Intervlo fechdo: [, b] def = {x R : x b}. (Notem que [, ] = {} = conjunto com pens um elemento.) Intervlos ilimitdos: [, + [ def = {x R : x } ou ], [ def = {x R : x < }. (Notem que ]0, + [ = R +.) O Teorem.7 e Corolário.8 podem então ser escritos n form Números Nturis. x x [, ] e x > x ], [ ], + [. Definição 3.5. (Conjunto Indutivo) Um subconjunto A R diz-se um conjunto indutivo se stisfz s seguintes dus condições: (i) A e (ii) A ( + ) A. Exemplo 3.6. R e R + são indutivos (porquê?). R não é indutivo (porquê?). Definição 3.7. (Números Nturis) O conjunto dos números nturis é o menor subconjunto indutivo de R e represent-se por N. Mis precismente, N def = {n R : n pertence qulquer subconjunto indutivo de R}. Not 3.8. (Informl) Temos então que: N; def = + N; 3 def = + N;.... Ou sej, N = {,, 3, 4,...}. Indução Mtemátic. O fcto de N ser, por definição, o menor dos subconjuntos indutivos de R implic que () se A R é indutivo então N A. Teorem 3.9. (Princípio de Indução Mtemátic) Se A N é indutivo, então A = N. Dem. Como A é indutivo temos por () que N A. imeditmente que A = N. Como por hipótese A N, conclui-se Método de Indução Mtemátic. O Princípio d Indução Mtemátic, enuncido no Teorem 3.9, está n bse de um método eficz de demonstrção de determinds proposições/proprieddes relcionds com os números nturis: o chmdo Método de Indução Mtemátic. Descrevemos de seguid este método, indicndo entre prentesis como se relcion com o Princípio de Indução Mtemátic. Designemos por P (n) um determind proposição ou propriedde que se pretende mostrr verddeir pr todo o n N. (Sej A = {n N : P (n) é verdde}. Segue d su definição que A N.) O Método de Indução Mtemátic consiste em provr seprdmente que (i) P () é verddeir. ( A.) (ii) se P (n) é verddeir pr um determindo n N, então P (n + ) tmbém é verddeir. (n A (n + ) A.) Conclui-se prtir de (i) e (ii) que P (n) é verddeir pr todo o n N. ((i) e (ii) implicm que A é indutivo, pelo que o Teorem 3.9 permite concluir que A = N.)
AULAS TEÓRICAS DE CÁLCULO DIFERENCIAL E INTEGRAL I 7 Exemplo 3.0. (Fich, I.()) Consideremos seguinte proposição, que queremos mostrr verddeir pr qulquer n N: n(n + ) P (n) = é válid seguinte fórmul: + + + n = Pelo Método de Indução Mtemátic, prov fz-se em dois pssos. (i) [P ()]. Mostrr que fórmul dd é válid qundo n =, i.e. que ( + ) =, o que é clrmente verdde. (ii) [P (n) P (n + )]. Assumindo como verddeir hipótese P (n), i.e. n(n + ) + + + n =, pr um determindo n N, há que mostrr vlidde d tese P (n + ), i.e. (n + )((n + ) + ) + + + (n + ) =, pr o mesmo determindo n N. Isto pode ser feito d seguinte form: + + + (n + ) = ( + + + n) + (n + ) n(n + ) = + (n + ) (pel hipótese P (n)) (n + )(n + ) = Símbolo de Somtório. O Princípio de Indução Mtemátic está tmbém n bse de um mneir de definir entiddes mtemátics relcionds com os números nturis: s chmds Definições por Recorrênci. Descrevemos de seguid um desss definições, do símbolo de somtório, que não é mis do que um notção muito útil pr lidr com soms de váris prcels. Definição 3.. Pr qulquer n N e números reis,,..., n R, o símbolo de somtório n k= k= define-se por recorrênci d seguinte form: n n k = se n =, e k = Ou sej, k = k= 3 k = k= k= k ( n ) k + n se n >. k= k + = +, k= k + 3 = + + 3,.... k= Not 3.. O índice k do somtório é um índice mudo, desempenhndo um ppel muito uxilir. Um mesm som pode precer n notção de somtório de forms diferentes. Por exemplo: n n n k = i = j. k= i= Exemplo 3.3. A fórmul que provámos por indução no Exemplo 3.0, pode ser escrit usndo o símbolo de somtório d seguinte form: n n(n + ) k = k= j=.
8 MIGUEL ABREU E RUI LOJA FERNANDES (i.e. neste cso k = k pr k =,..., n). Últim Aul. 4. Aul de Setembro de 04 Método de Indução Mtemátic. Sej P (n) um proposição que se pretende mostrr verddeir pr todo o n N. Se (i) P () é verddeir e (ii) P (n) verddeir pr um determindo n N P (n + ) verddeir, então P (n) é de fcto verddeir pr todo o n N. Símbolo de Somtório, n k= k, definido por recorrênci: ( n n n ) k = se n =, e k = k + n se n >. k= Mis Indução e Somtórios. k= k= Teorem 4.. (Proprieddes do Somtório Fich, II.) n n n () ( k + b k ) = k + (b) (c) k= k= k= b k (prop. ditiv) ( n n ) (c k ) = c k, c R (homogeneidde) k= k= n ( k k ) = n 0 (prop. telescópic) k= Dem. () e (b) ficm como exercício. Provmos (c) por indução. [P ()]. Mostrr que fórmul dd em (c) é válid qundo n =, i.e. que ( k k ) = 0, k= o que é imedito prtir d Definição 3. do símbolo de somtório qundo n =. [P (n) P (n + )]. Assumindo como verddeir hipótese P (n), i.e. n ( k k ) = n 0, pr um determindo n N, k= há que mostrr vlidde d tese P (n + ), i.e. n+ ( k k ) = n+ 0, pr o mesmo determindo n N. k= Isto pode ser feito d seguinte form: n+ ( k k ) = k= n ( k k ) + ( n+ n+ ) (por def. de somtório) k= = ( n 0 ) + ( n+ n ) (pel hipótese P (n)) = n+ 0 Nem o Método de Indução, nem o Símbolo de Somtório, têm necessrimente que começr em n =. Ambos dmitem generlizções simples, tendo como ponto de prtid um ddo m Z. O cso m = 0 é ilustrdo no exemplo seguinte.
Números Irrcionis. É clro que N Z Q R. AULAS TEÓRICAS DE CÁLCULO DIFERENCIAL E INTEGRAL I 9 Exemplo 4.. (Fich, II. 6) Vmos neste exemplo mostrr que, pr qulquer r R com r e qulquer n N 0 = N {0}, n () r k = rn+. r Usremos o Método de Indução começndo em n = 0. [P (0)]. Mostrr que fórmul () é válid qundo n = 0, i.e. que 0 r k = r r, k=0 k=0 o que é clrmente verdde (mbos os termos são iguis ). Not: por definição r 0 =. [P (n) P (n + )]. Assumindo como verddeir hipótese P (n), i.e. n r k = rn+, pr qulquer r R e um determindo n N 0, r k=0 há que mostrr vlidde d tese P (n + ), i.e. n+ r k = rn+ r k=0 Isto pode ser feito d seguinte form: n+ n r k = r k + r n+ k=0 k=0 = rn+ r, pr qulquer r R e o mesmo determindo n N 0. (por def. de somtório) + r n+ (pel hipótese P (n)) = rn+ + r n+ r n+ r Números inteiros e rcionis. = rn+ r Definição 4.3. O conjunto dos números inteiros, representdo por Z, é o conjunto: ou sej, pode ser formlmente definido por 3,,, 0,,, 3,... Z def = {x R : x N x = 0 ( x) N}. O conjunto dos números rcionis, representdo por Q, é o conjunto dos números reis que são quocientes de dois números inteiros: Q def = {x R : x = p q. com p, q Z e q 0}. Exercício 4.4. Recorrendo o Método d Indução Mtemátic, mostre que Z é fechdo pr dição e subtrcção, e que Q é fechdo pr dição, multiplicção, subtrcção e divisão. Será que Q R? Provvelmente, já vos foi dito que números como π e não são rcionis. A demonstrção d irrcionlidde de π é um pouco elbord, ms irrcionlidde de (lgo que os mtemáticos d gréci ntig já conhecim!) segue-se ds proprieddes que já vimos e, em prticulr, do seguinte fcto: Exercício 4.5. Verifique que se p N e p é um número pr então p tmbém é pr.
0 MIGUEL ABREU E RUI LOJA FERNANDES Teorem 4.6. (Irrcionlidde de ) Se R e stisfz = então / Q. Dem. Vmos supor, sem perc de generlidde, que > 0. (Exercício: demonstre o resultdo qundo 0.) Por bsurdo, supomos que existim números nturis p e q tis que = p/q, ou sej: ( ) p =. q Podemos ssumir que p e q não têm nenhum divisor comum (senão começvmos por simplificr, eliminndo esses divisores comuns). Assim, temos que p = q, donde p é um número pr. Concluímos do Exercício 4.5 que p é pr, ou sej p = k, pr lgum nturl k N. Dqui, segue-se que: p = 4k = q k = q (lei do corte). Logo q é pr, e portnto q tmbém é um número pr: q = s, pr lgum nturl s N. Assim, cbámos de mostrr que mbos p e q possuem como divisor comum, o que contrdiz noss hipótese de que p e q não tinhm divisores comuns. Portnto, um número rel tl que = não pode ser rcionl. Ms será que existem números reis cujo qudrdo é? N relidde, s proprieddes que vimos té gor não são suficientes pr responder est questão, pois quer R quer Q stisfzem tods s proprieddes cim: Exercício 4.7. Mostre que o conjunto Q, dos números rcionis, stisfz todos os Axioms de Corpo (Proprieddes -5) e de Ordem (Proprieddes 3 e 4). Assim, se pudessemos utilizr s proprieddes que vimos cim pr mostrr que equção = tem soluções reis, então seguiri-se que ess equção tmbém teri soluções rcionis, contrdizendo o Teorem 4.6. Estudremos mis dinte um propriedde fundmentl dos números reis que nos permitem distinguir Q de R, e mostrr que est equção tem solução, i.e., que existe o número rel. 5. Aul 3 de Setembro de 04 Funções Reis de Vriável Rel. Vmos gor estudr funções definids em subconjuntos de R com vlores em R, i.e. f : D R R D x f(x). O conjunto D R onde função f está definid é designdo por domínio de f. O contrdomínio de f é o conjunto f(d) = {y R : y = f(x) pr lgum x D}. Um função f diz-se mjord (respectivmente minord) se existir M R (respect., m R) tl que f(x) M (respect., f(x) m) pr todo o x D. Um função que é simultnemente mjord e minord diz-se limitd. O gráfico de um função f é o subconjunto do plno R definido por gráfico de f = { (x, y) R : x D e y = f(x) }. Como veremos bixo, é muits vezes útil esboçr este conjunto. No entnto, isto nem sempre é fácil ou mesmo possível. Um função f com domínio D R diz-se pr se f(x) = f( x), x D, ímpr se f(x) = f( x), x D, crescente se (x < x f(x ) f(x )), x, x D, e decrescente se (x < x f(x ) f(x )), x, x D.
AULAS TEÓRICAS DE CÁLCULO DIFERENCIAL E INTEGRAL I Um função f com domínio D R diz-se periódic com período T > 0 se f(x + T ) = f(x), x D. Exemplos. Recordemos lguns exemplos de funções elementres já vosss conhecids. Exemplo 5.. Funções polinomiis são funções com expressão nlític dd por um polinómio, i.e., funções d form n f(x) = c 0 + c x + c x + + c n x n = c k x k, com c 0,..., c n R. O domínio de qulquer um dests funções é D = R. k=0 4 3 - - - - Figur. Gráfico ds funções polinomiis f, g : R R definids por f(x) = x e g(x) = x. Veremos que qundo um função polinomil tem gru ímpr o seu contrdomínio é todo o R, enqunto que qundo um função polinomil tem gru pr o seu contrdomínio é um intervlo d form [m, + [ ou ], M], com m, M R. A Figur mostr o gráfico de dus funções polinomiis. Nos exercícios 5 do grupo IV d Fich presentm-se lgums proprieddes importntes ds funções polinomiis. Exemplo 5.. Funções rcionis são funções com expressão nlític dd pelo quociente de dois polinómios, i.e., funções d form f(x) = p(x) q(x) com p e q polinómios. Ests funções não estão definids nos pontos em que o denomindor se nul, pelo que o seu domínio é ddo por D = {x R : q(x) 0}. Um exemplo simples é função definid por f(x) = /x, cujo gráfico está representdo n Figur. Tnto o seu domínio como contrdomínio são R \ {0}. Est função é ímpr, decrescente em ], 0[ e em ]0, + [ (ms não em todo o seu domínio R \ {0}). Exemplo 5.3. Dus funções que estão intimmente relcionds, como será explicdo mis dinte, são função exponencil f(x) = e x, que possui domínio D = R, e função logrítmo g(x) = log(x), que possui D = R +. Os seus gráficos está representdo n Figur 3. São mbs funções estritmente crescentes. O contrdomínio d função exponencil é f(r) = R +, enqunto que o contrdomínio d função logrítmo é g(r + ) = R. Portnto, função exponencil é um função minord ms não mjord, enqunto que função logrítmo não é nem mjord nem minord. Algums proprieddes fundmentis d função exponencil e d função logritmo que devem recordr são s seguintes:
MIGUEL ABREU E RUI LOJA FERNANDES 3-3 - - 3 - - -3 Figur. Gráfico d função rcionl f : R \ {0} R definid por f(x) = /x. 3-3 - 3 - -3 Figur 3. Gráfico d função exponencil e d função logritmo. (i) e 0 = e log() = 0; (ii) e x e y = e x+y, x, y R e log( b) = log() + log(b),, b R + ; (iii) (e x ) y = e x y, x, y R e log( b ) = b log(), R +, b R. Exemplo 5.4. As funções trigonométrics seno e coseno são funções cujo o domínio é todo o R. Os seus gráficos estão representdos n Figur 4. - Figur 4. Gráfico ds funções trigonométrics seno e coseno. Qulquer um dests funções tem por contrdomínio o intervlo [, ], sendo portnto funções limitds. A função seno é ímpr e periódic de período π, i.e. sen(x) = sen( x) e sen(x + π) = sen(x), x R. A função coseno é pr e tmbém periódic de período π, i.e. cos(x) = cos( x) e cos(x + π) = cos(x), x R.
AULAS TEÓRICAS DE CÁLCULO DIFERENCIAL E INTEGRAL I 3 As funções seno e coseno stisfzem seguinte relção fundmentl: (3) sen (x) + cos (x) =, x R. Os exercícios 6 e 7 do grupo IV d Fich presentm outrs proprieddes importntes ds funções seno e coseno. Exemplo 5.5. As funções trigonométrics tngente e cotngente são definids prtir ds funções seno e coseno: (4) tn(x) = sen(x) cos(x) e cot(x) = tn(x) = cos(x) sen(x). O domínio d função tngente é o subconjunto de R definido por D tn = {x R : cos(x) 0} = {x R : x kπ + π com k Z}. O seu contrdomínio é R e o seu gráfico está representdo n Figur 5. A função tngente é ímpr e periódic de período π, i.e. tn(x) = tn( x) e tn(x + π) = tn(x), x D tn. Figur 5. Gráfico d função trigonométric tngente. O domínio d função cotngente é o subconjunto de R definido por D cot = {x R : sen(x) 0} = {x R : x kπ com k Z}. O seu contrdomínio é R e representção do seu gráfico fic como exercício. A função cotngente tmbém é ímpr e periódic de período π, i.e. cot(x) = cot( x) e cot(x + π) = cot(x), x D cot. 6. Aul 5 de Setembro de 04 Exemplo 6.. As funções seno hiperbólico e coseno hiperbólico são definids prtir d função exponencil: (5) senh(x) = ex e x e cosh(x) = ex + e x. O domínio ds funções seno hiperbólico e coseno hiperbólico é todo o R. Os seus gráficos estão representdos n Figur 6. A função seno hiperbólico é ímpr e tem por contrdomínio R. A função coseno hiperbólico é pr e tem por contrdomínio o intervlo [, + [. Ests dus funções stisfzem seguinte relção fundmentl: (6) cosh (x) senh (x) =, x R. O exercício 8 do grupo IV d Fich present outrs proprieddes importntes ds funções seno hiperbólico e coseno hiperbólico.
4 MIGUEL ABREU E RUI LOJA FERNANDES 6 4 - - - Figur 6. Gráfico ds funções seno hiperbólico e coseno hiperbólico. Função compost. Um form de produzir novs funções prtir de funções conhecids é compondo funções. Definição 6.. Sejm f : D f R R e g : D g R R dus funções reis de vriável rel. A função compost (f g) é definid por (f g) : D f g R onde D f g = {x R : x D g e g(x) D f }. Temos ssim que x (f g)(x) def = f(g(x)), D g D f g g g(d f g ) D f f f(d f ) (f g)(d f g ) x g(x) = y f(y) = f(g(x)) i.e., função compost f g corresponde plicr primeiro função g e de seguid função f. Exemplo 6.3. Consideremos s funções g : R \ {0} R e f : R R definids por g(x) = x e f(y) = sen(y). Temos então que (f g) : D f g = R \ {0} R é dd por O seu gráfico está representdo n Figur 7. (f g)(x) = f(g(x)) = f(/x) = sen(/x). Figur 7. Gráfico d função f : R \ {0} R definid por f(x) = sen(/x).
AULAS TEÓRICAS DE CÁLCULO DIFERENCIAL E INTEGRAL I 5 Função de Heviside e Função de Dirichlet. Antes de prosseguirmos, vle pen notr que um função não é necessrimente definid por um expressão lgébric. N relidde, um função f : D R é pens um regr que cd número rel x D tribui um número rel f(x) R. Os próximos dois exemplos são funções que não são definids por expressões lgébrics. Exemplo 6.4. Consideremos chmd função de Heviside H : R R, definid por { 0, se x < 0; H(x) =, se x 0. O seu gráfico está representdo n Figur 8. - - Figur 8. Gráfico d função de Heviside. Est função é limitd, crescente, e o seu contrdomínio é {0, }. Exemplo 6.5. Consideremos chmd função de Dirichlet D : R R, definid por {, se x Q; D(x) = 0, se x R \ Q. Est função é limitd e o seu contrdomínio é {0, }. Reprem que não é possível esboçr o gráfico dest função d form usul. Notem que o gráfico está sempre bem definido, e que isto não deve ser confundido com questão de esboçr o gráfico num folh de ppel. 7. Aul 9 de Setembro de 04 Limite de um função num ponto. Voçês já virm no Secundário definição intuitiv de limite de um função: Um função f tem limite b qundo x tende pr, se pudermos fzer f(x) tão próximo de b qunto quisermos, tomndo x suficientemente próximo (ms distinto) de. Com est definição informl é possível trtr exemplos simples de funções e clculr limites elementres. No entnto, el pode dr lugr lgum confusão qundo prentendemos trtr exemplos mis complicdos como, por exemplo, o limite de f(x) = sen(/x) qundo x tende pr 0, ou d função de Dirichlet qundo x tende pr lgum. O primeiro problem nest definição está em que não é clro o que se entende por estr próximo de. Repre-se que dizer que f(x) está próximo de b (respectivmente, x está próximo de ) deve significr que f(x) b (resp. x ) é pequeno. Assim, podemos refinr noss definição pr: Um função f tem limite b qundo x tende pr, se pudermos fzer f(x) b tão pequeno qunto quisermos, tomndo x suficientemente pequeno (ms diferente de zero). Ms gor vemos que temos um outro problem: o que é que queremos dizer com os termos tão pequeno qunto quisermos e suficientemente pequeno? Ao esclrecer o verddeiro significdo destes termos chegmos à definição precis de limite, que é seguinte: Definição 7.. Dizemos que um função f tem limite b qundo x tende pr se pr todo o ε > 0 existir δ > 0 tl que, pr todo o x, se 0 < x < δ então f(x) b < ε. Em notção de quntificdores, podemos escrever est condição n form: (7) ε > 0 δ > 0 : 0 < x < δ f(x) b < ε.
6 MIGUEL ABREU E RUI LOJA FERNANDES Notem que tudo o que fizermos dqui em dinte dependerá dest definição! Por isso, memorizemn como se fosse tbud o mis rpidmente possível. É um bo idei começrem por resolver os seguintes exercícios: Exercício 7.. Usndo definição precis de limite, mostre que: (i) se f : R R é um função constnte, i.e., pr qul existe c R com f(x) = c, x R, então lim f(x) = lim c = c, R. x x (ii) se f : R R é função identidde, i.e., f(x) = x, x R, então lim f(x) = lim x =, R. x x A proposição que se segue enunci um critério útil pr o cálculo de lguns limites. Proposição 7.3. Se existirem m, M R + tis que 0 < x < m f(x) b < M x então lim f(x) = b. x Dem. Ddo ε > 0 rbitrário, sej δ = min{m, ε/m}. Então 0 < x < δ f(x) b < M x < M ε M = ε. Exemplos. Apresentmos de seguid lguns exemplos de cálculo de limites prtir d definição. N próxim ul veremos lguns resultdos que permitem simplificr imenso o cálculo de limites e evitr recorrer est definição. No entnto, é muito importnte prestr tenção estes primeiros exemplos e procurr interiorizr o seu verddeiro significdo. Not 7.4. Pr definir o limite lim x f(x) não é necessário que pertenç o domínio D de f. No entnto, deve ser clro que definição só fz sentido se pr todo o δ > 0 existir x D tl que 0 < x < δ. Assumiremos sempre que est condição se verific. Exemplo 7.5. Vejmos que pr qulquer número rel 0 e nturl p se verific: lim x xp = p. Pelo exercício 8 do grupo II d Fich, sbemos que é válid iguldde: p p b p = ( b) p k b k. k= Se x temos que x +, e concluímos que: p x p p x x p k k x k= p ( + ) p k k. k= Assim, podemos plicr o critério d Proposição 7.3 com m = e M = p k= ( + )p k k pr concluir que lim x x p = p. Exercício 7.6. Verifique que função f : R R definid por f(x) = x não stisfz s condições d Proposição 7.3 no ponto = 0. Use definição pr mostrr que lim x 0 x = 0.
AULAS TEÓRICAS DE CÁLCULO DIFERENCIAL E INTEGRAL I 7 Mis Exemplos. Exemplo 7.7. Consideremos função de Heviside H : R R. Vmos ver que: 0, se < 0; lim H(x) =, se > 0; x não existe, se = 0. Suponhmos primeiro que > 0. É clro que se tomrmos x < então x > 0, logo: 0 < x < H(x) = = 0. Portnto, ddo ε > 0 podemos tomr δ = que se verific: 0 < x < δ H(x) < ε, ou sej, lim x H(x) =. De form nálog, mostr-se que se < 0 então lim x H(x) = 0. Vejmos gor que o lim x 0 H(x) não existe. Pr obter o significdo preciso do que signific não existir o limite, começmos por observr o que signific firmr que um função f não tem limite b qundo x tende pr. Pr isso, bst negrmos condição n definição de limite: existe lgum ε > 0 tl que pr todo o δ > 0 existe um x que stisfz x < δ e f(x) b > ε. Se preferirmos, em notção de quntificdores: ε > 0 δ > 0 x : 0 < x < δ f(x) b > ε. Vejmos então que pr qulquer número rel b função H não tem limite b qundo x tende pr 0. Observe que pr qulquer δ > 0, se x < δ então temos: se x < 0 H(x) = 0 H(x) b = b, se x > 0 H(x) = H(x) b = b. Portnto, bst tormrmos ε = mx( b, b ) pr que se verifique: δ > 0 x : 0 < x < δ H(x) b > ε, donde o limite não é b. Como b er um número rel qulquer, concluímos que o limite lim x 0 H(x) não existe. 8. Aul 30 de Setembro de 04 Exercício 8.. Considere função de Dirichlet D : R R. Mostre que, pr qulquer R, lim x D(x) não existe. Exemplo 8.. Consideremos função f : D = R \ {0} R definid por ( ) f(x) = sen, x e que estudámos brevemente n últim ul. O ponto 0 não pertence o domínio d função, ms ind fz sentido flr em lim x 0 sen(/x) (cf. Not 7.4). Começmos por observr que sen( π + kπ) = e que sen( π + kπ) =, pr qulquer inteiro k Z. Sej então x + k = π +kπ e x k = π +kπ. Se b é um número rel qulquer, temos que: f(x + k ) b = b, f(x k ) b = b = + b. Sej então ε = mx( b, + b ). Ddo δ > 0, podemos sempre escolher um inteiro k suficientemente grnde de form que 0 < x ± k δ, logo: δ > 0 x D : 0 < x < δ f(x) b > ε, donde o limite de f qundo x tende pr 0 não é b. concluímos que lim x 0 f(x) não existe. Como b er um número rel qulquer,
8 MIGUEL ABREU E RUI LOJA FERNANDES Exemplo 8.3. Consideremos função f : D = R \ {0} R definid por ( ) f(x) = x sen. x O seu gráfico está representdo n Figur 9. - Figur 9. Gráfico d função f : R \ {0} R definid por f(x) = x sen(/x). Tendo em cont que sen(y), y R,, temos pr todo o x R \ {0} que ( ( 0 x) x sen = x x) sen x. Segue-se que ddo ε > 0 podemos tomr δ = ε obtendo: ε > 0 δ > 0 : 0 < x < δ f(x) < ε. Ou sej, concluímos que: ( ) (8) lim x sen = 0. x 0 x Podem encontrr muitos outros exemplos de cálculo de limites trvés d definição no Spivk, que vos podem judr interiorizr est noção. Leim-no! Proprieddes do Limite de Funções num Ponto. Vmos gor estudr lgums proprieddes elementres do limite de funções que nos judrão no seu cálculo, sem termos de recorrer à definição. Teorem 8.4. (Unicidde do Limite) Sej f um função e suponh-se que lim x f(x) = b e que lim x f(x) = b. Então b = b. Dem. Começmos por escrever usndo definição de limite: lim f(x) = b ε > 0 δ > 0 : 0 < x < δ f(x) b < ε, x lim f(x) = x b ε > 0 δ > 0 : 0 < x < δ f(x) b < ε. Suponhmos, por bsurdo, que b b. Então vmos tomr ε = b b e, pr os δ e δ ddos por ests definições, escolhemos δ = min(δ, δ ). Concluímos que, pr todo o x tl que 0 < x < δ, temos: f(x) b < ε f(x) b < ε, Segue-se que: b b = b f(x) + f(x) b < b f(x) + f(x) b < ε + ε = ε = b b um contrdição. Assim, necessrimente, b = b.
AULAS TEÓRICAS DE CÁLCULO DIFERENCIAL E INTEGRAL I 9 Note que se f e g são funções então podemos formr s seguintes novs funções: A função f + g, dit som de f e g e função diferenç f g, dit diferenç de f e g: (f + g)(x) = f(x) + g(x), (f g)(x) = f(x) g(x). A função f g, dit o produto de f e g: (f g)(x) = f(x)g(x). A função f g, dit o quociente de f por g: f f(x) (x) = g g(x). Note que o domínio ds funções som, diferenç e produto, é intersecção D f D g dos domínios ds funções prcels. O domínio d função quociente f g é: D f g = {x D f D g : g(x) 0}. Finlmente, dd um função f e um número rel c R podemos considerr função cf definid por: (cf)(x) = c f(x), e cujo domínio é o mesmo que o domínio de f. Tmbém podemos pensr nest função como o produto d função constnte g(x) = c pel função f. Teorem 8.5. (Limite e Operções Algébrics) Sejm f e g funções tis que Então: lim f(x) = b e lim g(x) = c. x x (i) lim x (f ± g)(x) = lim x f(x) ± lim x g(x) = b ± c. (ii) lim x (f g)(x) = lim x f(x) lim x g(x) = b c. (iii) se c 0, f lim x g (x) = lim x f(x) lim x g(x) = b c. Dem. Vmos demonstrr em detlhe propriedde (i). As demonstrções ds outrs proprieddes são nálogs e podem ser encontrds no Spivk. Começmos por recorrer à definição de limite pr escrever: lim x f(x) = b ε > 0 δ > 0 : 0 < x < δ f(x) b < ε, lim g(x) = c ε > 0 δ > 0 : 0 < x < δ g(x) c < ε x. Assim, se escolhermos δ = min(δ, δ ), obtemos: 0 < x < δ (f ± g)(x) (b ± c) = (f(x) b) ± (g(x) c) f(x) b + g(x) c < ε + ε = ε. o que mostr que: lim (f ± g)(x) = lim f(x) ± lim g(x) = b ± c. x x x
0 MIGUEL ABREU E RUI LOJA FERNANDES Exemplo 8.6. Recorrendo este resultdo é muito fácil clculr certos limites sem ter de pssr pelo processo doloroso de encontrr os ε δ correctos. Por exemplo, x 4 3x + lim x x = lim x (x 4 3x + ) + lim x (x + ) = lim x x 4 lim x 3x + lim x lim x x + lim x = 4 3 + (pelo Exemplo 7.5) + Princípio do Encixe ou d Função Enqudrd. Teorem 8.7. Sejm f, g e h funções tis que f(x) g(x) h(x), pr qulquer x D f D g D h. Temos então que (pelo Teorem 8.5 (iii)) lim f(x) = b = lim h(x) = lim g(x) = b. x x x Dem. Pel definição de limite podemos escrever: (pelo Teorem 8.5 (i)) lim f(x) = b ε > 0 δ > 0 : 0 < x < δ ε < f(x) b < ε, x lim h(x) = b ε > 0 δ > 0 : 0 < x < δ ε < h(x) b < ε. x Assim, ddo ε > 0, tommos δ = min(δ, δ ). Usndo o fcto de que g está encixd entre f e h, obtemos: g(x) b h(x) b < ε 0 < x < δ g(x) b < ε. g(x) b f(x) b > ε Portnto, ε > 0 δ > 0 : 0 < x < δ g(x) b < ε lim g(x) = b. x Exemplo 8.8. Um nálise simples do círculo trigonométrico permite mostrr que, pr 0 < x < π/ é válid relção: 0 < cos x < sen x <. x Como: lim cos x = = lim, x 0 x 0 concluímos pelo príncípio do encixe que: Limite de Funções Composts. lim x 0 sen x x =. 9. Aul 0 de Outubro de 04 Teorem 9.. Sejm f : D f R R e g : D g R R dus funções reis de vriável rel, e (f g) : D f g R R su função compost. Se então lim g(x) = b R, x lim f(y) = c R e g(x) b, x D g \ {}, y b lim (f g)(x) = lim f(g(x)) = c. x x
AULAS TEÓRICAS DE CÁLCULO DIFERENCIAL E INTEGRAL I Dem. Pel definição de limite (notem lterção nos nomes ds vriáveis!): (9) lim g(x) = b γ > 0 δ > 0 : 0 < x < δ g(x) b < γ, x (0) lim f(y) = c ε > 0 γ > 0 : 0 < y b < γ f(y) c < ε. y b Sej então ddo ε > 0. Tommos γ > 0 tl que (0) é stisfeit, e de seguid, pr est escolh de γ tommos δ > 0 tl que (9) é stisfeit. Segue-se que: 0 < x < δ 0 < g(x) b < γ, (por (9) e porque g(x) b, x D g ) Logo, concluímos que: f(g(x)) c < ε, (por (0)). ε > 0 δ > 0 : 0 < x < δ f(g(x)) c < ε lim (f g)(x) = lim f(g(x)) = c. x x Exercício 9.. Mostre que o teorem continu válido se hipótese g(x) b, x D g \ {}, for substituíd por b D f e f(b) = c (tendo em cont que lim y b f(y) = c, isto signific ssumir que f é contínu em b (cf. ul )). Exemplo 9.3. Vejmos como o teorem pode deixr de ser válido qundo f(b) c e Consideremos g, f : R R definids por { x, se x < 0; g(x) = 0, se x 0. δ > 0 x D g : 0 < x < δ e g(x) = b. e f(y) = Temos então que lim g(x) = 0 x 0 e lim y 0 ms (f g) é função de Heviside, pelo que lim (f g)(x) não existe. x 0 { 0, se y 0;, se y = 0. sen(x Exemplo 9.4. Suponhmos que pretendemos clculr lim ) x 0 x. Observmos que: onde g(x) = x e f(y) = sen y y o Teorem 9. mostr que: Limites Reltivos e Lteris. sen(x ) = f(g(x)), x. Como já sbemos que (ver Exemplo 8.8): lim x 0 x = 0 sen y e lim =, y 0 y sen(x ) lim x 0 x =. Definição 9.5. Sejm f : D R R um função e A D um subconjunto do seu domínio. Diremos que f tem limite b no ponto reltivo o conjunto A, e escreveremos lim f(x) = b, x x A se restrição de f o conjunto A, f A : A R, tem limite b no ponto, i.e., se lim x f A (x) = b, o que por definição de limite signific ε > 0 δ > 0 : (x A e 0 < x < δ) f(x) b < ε. Not 9.6. Como já foi referido n Not 7.4 pr o limite usul, pr definir o limite reltivo lim x f A (x) não é necessário que pertenç o conjunto A D, bstndo que pr todo o δ > 0 exist x A tl que 0 < x < δ.
MIGUEL ABREU E RUI LOJA FERNANDES Not 9.7. Há dois csos prticulrmente importntes dest definição de limite reltivo, dndo origem os chmdos limites lteris: (i) qundo A = D ], + [ temos o chmdo limite lterl à direit, ou simplesmente limite à direit, que será denotdo por lim x + f(x). Recorrendo quntificdores podemos escrever: ε > 0 δ > 0 : (x D e 0 < x < δ) f(x) b < ε. (ii) qundo A = D ], [ temos o chmdo limite lterl à esquerd, ou simplesmente limite à esquerd, que será denotdo por lim x f(x). Novmente, usndo quntificdores podemos escrever: ε > 0 δ > 0 : (x D e 0 < x < δ) f(x) b < ε. Exemplo 9.8. Vimos que função de Heviside H : R R definid por: { 0, se x < 0; H(x) =, se x 0. não tem lim x 0 H(x). No entnto, tem limites lteris no ponto zero ddos por lim H(x) = 0 e lim H(x) =. x 0 x 0 + Exercício 9.9. Pr um função f, mostre que lim x f(x) existe e é igul b sse existem os limites lteris lim x + f(x) e lim x f(x), e são mbos iguis b. Rect Acbd e Indeterminções. Definição 9.0. Design-se por rect cbd, e represent-se por R, o conjunto R def = R {, + }. Os elementos e + stisfzem relção de ordem < x < +, x R, bem como s regrs opercionis lgébrics que se descrevem de seguid. As regrs opercionis lgébrics com os elementos e + são determinds por form que os Axioms de Corpo (Proprieddes -5 dos números reis; cf. Not.) continuem ser válidos n rect cbd R. Qundo num determind operção não for possível determinr um regr nests condições, diremos que estmos pernte um indeterminção. Reltivmente à dição, temos que bem como Por outro ldo, + (+ ) = + e + ( ) =, R, (+ ) + (+ ) = + e ( ) + ( ) =. () (+ ) + ( ) é um indeterminção do tipo. Not 9.. À primeir vist, tendo em cont propriedde do simétrico, poderi precer rzoável definir (+ ) + ( ) = 0. Est definição iri no entnto contrrir propriedde ssocitiv: ( + (+ )) + ( ) = (+ ) + ( ) = 0 ms + ((+ ) + ( )) = + 0 =, R. Problems semelhntes estão n origem ds restntes indeterminções. Verifiquem que de fcto ssim é! Reltivmente à multiplicção, temos que (± ) = { ±, se > 0;, se < 0.
AULAS TEÓRICAS DE CÁLCULO DIFERENCIAL E INTEGRAL I 3 Temos tmbém que Por outro ldo, (+ ) (+ ) = + = ( ) ( ) e (+ ) ( ) =. () 0 (± ) é um indeterminção do tipo 0. Est indeterminção dá nturlmente origem indeterminções n divisão: s chmds indeterminções do tipo (3) = = 0 e 0 (4) 0 = 0 0 = 0. Reltivmente à potencição b, com 0, temos que { + 0, se 0 < ; = e = +, se > ; +, bem como Por outro ldo (+ ) b = { 0, se b < 0; +, se b > 0. (5) + é um indeterminção do tipo, e (6) (+ ) 0 é um indeterminção do tipo 0. Est últim indeterminção está directmente relciond com (7) indeterminção do tipo 0 0 já existente em R. 0. Aul 06 de Outubro de 04 Limites n rect cbd. Queremos gor definir limites n rect cbd, de form que fç sentido flr nos limites: lim f(x) e lim f(x). x + x e ind que o resultdo de um limite poss ser ±. Pr isso, define-se vizinhnç de rio ε > 0 de um ponto R como sendo o conjunto V ε () = ] ε, + ε[. A definição de limite de um função pode ser escrit n form (8) lim f(x) = b def ε > 0 δ > 0 : x V δ () \ {} f(x) V ε (b). x Se definirmos vizinhnç de rio ε > 0 de e + por V ε ( ) = ], /ε[ e V ε (+ ) = ]/ε, + [, definição (8) continu fzer sentido n rect cbd R = { } R {+ }, i.e., pr, b R. Pssremos ssim usá-l tmbém neste contexto. Exercício 0.. Verifique que definição (8) pr o limite n rect cbd R tem os seguintes significdos: (i) lim x + f(x) = b R sse ε > 0 L > 0 : x > L f(x) b < ε.
4 MIGUEL ABREU E RUI LOJA FERNANDES (ii) lim x f(x) = b R sse (iii) lim x f(x) = +, onde R, sse (iv) lim x f(x) =, onde R, sse ε > 0 L > 0 : x < L f(x) b < ε. L > 0 δ > 0 : x < δ f(x) > L. L > 0 δ > 0 : x < δ f(x) < L. Verifique, ind, o que signific lim x ± f(x) = ±, e lim x ± f(x) = ±. Exercício 0.. Mostre que lim x ± x = 0 e lim x 0 ± x = ±. Exemplo 0.3. O conhecimento que temos ds funções exponencil e logritmo, permitem-nos firmr que lim x + ex = +, lim x ex = 0, lim log(x) = + e lim x + log(x) =. x 0 + Estes fctos, que só provremos rigorosmente mis trde no curso, serão usdos em exemplos e podem (e devem) ser usdos n resolução de exercícios. Os resultdos que estudámos n últim ul sobre operções lgébrics e limites (Teorem 8.5) e limite de funções composts (Teorem 9.), continum ser válids pr rect cbd R, desde que não originem lgum ds indeterminções referids nteriormente. Ilustrmos isto mesmo no nosso próximo exemplo. Exemplo 0.4. Vimos n ul nterior que: sen(x) lim =. x 0 x Usndo este fcto, pretende-se completr o gráfico d Figur 9 do Exemplo 8.3 clculndo o limite ( ) lim x sen. x + x Notem que propriedde lgébric (ii) do Teorem 8.5 dá neste cso origem um indeterminção do tipo 0, pelo que não pode ser usd pr clculr este limite. Consideremos s funções g, f : R \ {0} R definids por g(x) = x e f(y) = sen(y) y Temos então que (f g) : D f g = R \ {0} R é dd por (f g)(x) = f(g(x)) = f(/x) = sen(/x) /x. = x sen ( ). x Como + D f g = R \ {0} = R, lim g(x) = lim x + x + x = 0 e lim sen(y) f(y) = lim =, y 0 y 0 y podemos concluir pelo Teorem 9. que lim (f g)(x) = lim x + x sen x + N notção do Teorem 9., temos que neste exemplo = +, b = 0 e c =. ( ) =. x A nálise nterior pode ser escrit brevidmente d seguintes form: considerndo mudnç de vriável y = x x =, em que x + y 0, y
AULAS TEÓRICAS DE CÁLCULO DIFERENCIAL E INTEGRAL I 5 temos que ( ) lim x sen sen(y) = lim sen(y) = lim =. x + x y 0 y y 0 y A Figur 0 present um versão mis complet do gráfico d Figur 9, tendo já em cont o limite clculdo neste exemplo. - - Figur 0. Versão mis complet do gráfico d função f : R \ {0} R definid por f(x) = x sen(/x).. Aul 07 de Outubro de 04 Continuidde de Funções Reis de Vriável Rel. Dd um função f : D R relção: lim f(x) = f(), x pode não se verificr. De fcto, est iguldde pode flhr por váris rzões: O limite de f(x) qundo x não existe (por exemplo, função f(x) = sen ( x) em = 0; cf. Exemplo 8.). O limite existe, ms o ponto não pertence o domínio D, e portnto não fz sentido sequer flr em f() (por exemplo, função f(x) = x sen( x ) em = 0; cf. Exemplo 8.3). O limite existe, pertence o domínio, ms o limite é diferente de f() (construm um exemplo!). Este tipo de comportmento pode ser considerdo norml, e por isso convencionou-se um nome pr qulificr s funções que se portm bem: Definição.. Um função f : D R R diz-se contínu num ponto D se lim f(x) = f(), x e diz-se contínu se for contínu em todos os pontos do seu domínio D. Intuitivmente um função é contínu se o seu gráfico não present interrupções, sltos ou oscilções. Embor est idei intuitiv sej muits vezes suficiente pr decidir se um função é contínu olhndo pr o seu gráfico, há situções em que isso não é de todo clro, e por isso definição precis que demos cim é muito importnte. Em termos de ε δ, um função f é contínu em se: ε > 0 δ > 0 : x < δ f(x) f() < ε. Nturlmente que s proprieddes do limite de um função num ponto dão origem proprieddes nálogs pr s funções contínus. O teorem seguinte ilustr este fcto. Teorem.. (i) Se f e g são funções contínus num ponto D f D g, então f ± g, f g e f/g (se g() 0) tmbém são contínus em. (ii) Sejm f e g dus funções. Se D f g, g é contínu em e f é contínu em g(), então (f g) é contínu em. Dem. Consequênci imedit d Definição. e dos Teorems 8.5 e 9..
6 MIGUEL ABREU E RUI LOJA FERNANDES Continuidde Lterl. A noção de limites lteris introduzid n Not 9.7 dá nturlmente origem à seguinte definição de continuidde lterl. Definição.3. Sejm f : D R R um função e D um ponto do seu domínio. Diremos que: (i) f é contínu à direit em se lim x + f(x) = f(); (ii) f é contínu à esquerd em se lim x f(x) = f(). Teorem.4. Sejm f : D R R um função e D um ponto do seu domínio. f é contínu em, i.e. lim f(x) = f(), x sse f é contínu à direit e à esquerd em, i.e. Dem. Exercício simples. lim f(x) = f() = lim f(x). x + x Exemplo.5. A função de Heviside H : R R, definid por { 0, se x < 0, H(x) =, se x 0, é contínu à direit no ponto zero, ms não é contínu à esquerd nesse ponto. De fcto, lim H(x) = = H(0) ms lim H(x) = 0 H(0). x 0 + x 0 Exemplos de Funções contínus. O que já sbemos sobre limites permite-nos decidir se muits funções são contínus ou não. Exemplo.6. () um função polinomil p(x) é contínu em qulquer ponto R. (b) qulquer função rcionl f = p/q, com p, q polinómios, é contínu em qulquer ponto R onde q() 0; (c) função módulo f : R R, definid por f(x) = x, x R, é contínu em qulquer ponto R; (d) função de Heviside, presentd no Exemplo 6.4, é contínu em qulquer ponto 0 e descontínu no ponto zero. (e) função de Dirichlet, presentd no Exemplo 6.5, é descontínu em qulquer ponto R. Exemplo.7. As funções trigonométrics, exponencil e logritmo são contínus em todos os pontos do seu domínio. Estes fctos, que só serão provdos mis à frente neste curso, serão usdos desde já tnto em exemplos como nos exercícios. Exemplo.8. (Prolongmento por Continuidde) Consideremos função F : R R definid por x sen ( x), se x 0 F (x) = 0, se x = 0. Se 0, F é num vizinhnç de o produto/composição de funções contínus, pelo que é contínu. Por outro ldo, recorrendo o Exemplo 8.3, temos que ( ) lim F (x) = lim x sen = 0 = F (0). x 0 x 0 x Logo, F tmbém é contínu em = 0. Assim, F é contínu em todo o R. Est função F é um exemplo de prolongmento por continuidde. Mis precismente, é o prolongmente por continuidde d função f : R \ {0} R, dd por f(x) = x sen(/x), x 0, o ponto zero. O grupo I d Fich tem um série de exercícios reltivos este tipo de prolongmentos por continuidde.
AULAS TEÓRICAS DE CÁLCULO DIFERENCIAL E INTEGRAL I 7 Algums Proprieddes Locis ds Funções Contínus. Teorem.9. Sejm f : D f R R e g : D g R R dus funções contínus num ponto D f D g. Se f() > g() então δ > 0 : x < δ f(x) > g(x). Dem. Como f e g são por hipótese contínus em D f D g, sbemos que ε > 0 δ > 0 : x < δ f(x) f() < ε e ε > 0 δ > 0 : x < δ g(x) g() < ε. Escolhmos ε, δ > 0 tis que Temos então que: 0 < ε < f() g() e δ = min{δ (ε), δ (ε)}. x < δ f(x) f() < ε e g(x) g() < ε f(x) > f() ε e g(x) < g() + ε f(x) g(x) > (f() ε) (g() + ε) f(x) g(x) > f() g() ε > ε ε = 0, onde últim desiguldde é consequênci d escolh feit pr ε. Corolário.0. Se f : D R R é um função contínu num ponto D com f() > 0, então existe δ > 0 tl que f(x) > 0 pr qulquer x V δ () D. Dem. Bst usr o Teorem.9 com g = função identicmente zero. Teorem.. Se f : D R R é um função contínu num ponto D, então existe δ > 0 tl que f é limitd em V δ () D. Dem. Exercício.. Aul 09 de Outubro de 04 Proprieddes Globis ds Funções Contínus. N últim ul vimos que qundo um função é contínu num ponto podemos obter informção sobre o comportmento locl d função, i.e., num vizinhnç de. Vmos gor ver que qundo um função é continu num intervlo [, b] então podemos obter informção sobre o comportmento globl d função, i.e., em todo o intervlo [, b]. Vmos começr por enuncir três resultdos muito importntes, e depois deduzir lgums consequêncis. A demonstrção destes resultdos só será feit n próxim ul. Teorem.. (Teorem do Vlor Intermédio ou de Bolzno) Sej f um função contínu num intervlo limitdo e fechdo [, b], tl que f() f(b). Então, pr qulquer vlor α R entre f() e f(b), existe um ponto c [, b] tl que f(c) = α. Este resultdo firm que um função contínu f num intervlo [, b] ssume todos os vlores entre f() e f(b). Geometricmente, isto signific que o gráfico de f intersect rect horizontl y = α sempre que α estej entre f() e f(b), como se ilustr n seguinte figur. *** FALTA A FIGURA **** Teorem.. Se f é um função contínu num intervlo limitdo e fechdo [, b], então f é limitd nesse intervlo, i.e., o contrdomínio f ([, b]) é um conjunto limitdo ou, de form equivlente, existe M > 0 tl que f(x) < M pr qulquer x [, b]. Geometricmente, este resultdo diz que o gráfico de f está entre dus rects horizontis, como n seguinte figur. *** FALTA A FIGURA **** Pr enuncir o terceiro e último resultdo fundmentl, vmos introduzir seguinte notção:
8 MIGUEL ABREU E RUI LOJA FERNANDES Definição.3. Sej f : D R R um função. Diremos que f tem máximo (resp. mínimo) no conjunto D se existir um ponto c D tl que f(x) f(c), x D (resp. f(x) f(c), x D). Neste cso, c diz-se ponto de máximo (resp. ponto de mínimo) de f em D, e f(c) diz-se o máximo (resp. mínimo) de f em D. Teorem.4. (Teorem de Weierstrss) Se f é um função contínu num intervlo limitdo e fechdo [, b], então f tem máximo e mínimo nesse intervlo. A figur seguinte ilustr este resultdo: *** FALTA A FIGURA **** Notem que pr qulquer um destes resultdos ser válido, função f tem de ser contínu em todos os pontos do intervlo [, b]. Bst continuidde flhr nlgum ponto pr um destes resultdos deixr de ser válido, como se ilustr nos exemplos seguintes: Exemplo.5. Se restringirmos função de Heviside H : R R o intervlo [, ]: { 0, se x < 0, H(x) =, se 0 x, obtemos um função que é contínu excepto n origem. Temos que f( ) = 0 e f() =, ms função não ssume quisquer vlores α entre 0 e, flhndo portnto s conclusões do Teorem do Vlor Intermédio. Notem que est função é limitd e tem máximo e mínimo. Exemplo.6. Consideremos função f(x) = { x, se x 0, 0, se x = 0. Est função é contínu em todos os pontos do intervlo [0, ] excepto em x = 0. Por outro ldo, f não é limitd neste intervlo, flhndo s conclusões do Teorem. e do Teorem de Weierstrss. Este exemplo tmbém mostr que ns hipóstese do Teorem. e do Teorem de Weierstrss não podemos substituir o intervlo fechdo [, b] pelo intervlo berto ], b[. Exemplos de Aplicções dos Teorems Globis. Vejmos gor lgums consequêncis e plicções destes teorems globis. O Teorem de Bolzno tem o seguinte corolário imedito: Corolário.7. Sej f um função contínu num intervlo [, b] D, tl que f() f(b) < 0. Então existe um ponto c ], b[ tl que f(c) = 0. Exemplo.8. Vejmos como este corolário do Teorem de Bolzno pode ser usdo pr mostrr que qulquer polinómio do terceiro gru, p : R R ddo por p(x) = 3 x 3 + x + x + 0, x R, com 3 0, tem pelo menos um zero em R, i.e., existe pelo menos um ponto c R tl que p(c) = 0. De fcto, supondo sem perc de generlidde que 3 > 0, temos que ( lim p(x) = lim x x x3 3 + x + x + ) 0 x 3 = ( ) 3 3 =, enqunto que ( lim p(x) = lim x + x + x3 3 + x + x + ) 0 x 3 = (+ ) 3 3 = +. Logo, existem R e b R + tis que p() < 0 e p(b) > 0, pelo que o Corolário.7 do Teorem de Bolzno grnte existênci de um ponto c ], b[ tl que p(c) = 0. Not.9. O resultdo do Exemplo.8 generliz-se fcilmente pr qulquer polinómio de gru ímpr, ms não pr qulquer polinómio de gru pr. Por exemplo, o polinómio de segundo gru p : R R, definido por p(x) = x + não tem zeros em R. Recordem que necessidde de encontrr zeros pr este polinómio (i.e., soluções pr equção x + = 0) é um ds motivções pr introdução e construção do corpo dos números complexos C.