Educacitow parvo todoy Chducacén para toder no es un proyecto lucrativo, sino un esfuerzo colectivo de estudiantes y profesores de la UNAM para facilitar el acceso a los materiales necesarios para la educacién de la mayor cantidad de gente posible. Pensamos editar en formato digital libros que por su alto costo, o bien porque ya no se consiguen en bibliotecas y librerias, no son accesibles para todos. Invitamos a todos los interesados en participar en este proyecto a sugerir titulos, a prestarnos los textos para su digitalizacion y a ayudarnos en toda la labor técnica que implica su reproduccién. El nuestro, es un proyecto colectivo abierto a la participacion de cualquier persona y todas las colaboraciones son bienvenidas. Nos encuentras en los Talleres Estudiantiles de la Facultad de Ciencias y puedes ponerte en contacto con nosotros a la siguiente direccién de correo electrénico: eduktodos@hotmail.com http://eduktodos.dyndns.orgINTRODUCCION AL CALCULO Y AL ANALISIS MATEMATICOINTRODUCCION AL CALCULO Y AL ANALISIS MATEMATICO Vol. | RICHARD COURANT y FRITZ JOHN DEL COURANT INSTITUTE OF MATHEMATICALVERSION AUTORIZADA EN ESPANOL DE LA OBRA PUBLICADA EN INGLES CON EL TITULO: INTRODUCTION TO CALCULUS AND ANALYSIS. VouMe 1 © Joun Witey & Sons, Inc. CCOLABORADORES EN LA TRADUCCION SAUL HAHN GOLDBERG INGENIERO EN COMUNICACIONES Y ELECTRONICA LICENCIADO EN CIENCIAS FISICOMATEMATICAS Y PRO- FESOR OF MATEMATICAS EN LA EscUELA SUPERIOR ve Fisica v MATEMATICAS DEL InsTITUTO Pouéc- co Nacionat, México. ROLANDO V. JIMENEZ DOMINGUEZ INGENIERO EN COMUNICACIONES Y ELECTRONICA LicENcIADO EN FISICOMATEMATICAS Y PROFESOR OF FISICA EN LA EscuELA SuPenion O€ Fisica ¥ MATEMA- Ticas Det InstITuTO PouTécNico Nacionat, Mexico. JOSE S. FLORIO PROFESOA Y DOCTOR EN CIENCIAS MATEMATICAS. JEFE DE LA DIVISION DE CIENCIAS Y DIRECTOR DEL INsTITUTO TecNotdcico, UNIVERSIDAD DE LAS AMERICAS. LA PRESENTACION Y DISPOSICION EN CONJUNTO OE INTRODUCCION AL CALCULO Y AL ANALISIS MATEMATICO. Votunen 1 SON PROPIEDAD DEL EDITOR, NINGUNA PARTE DE ESTA COBRA PUEDE SER REPRODUCIOA O TRANSMITIOA, MEDIANTE NINGUN SISTEMA © METODO, ELECTRONICO (© MECANCO (INCLUYENDO EL FOTOCOPIADO,LA GAA- BACION © CUALOUER SISTEMA DE RECUPERACION ¥ ALMACENAMIENTO DE INFORMACION), SIN CONSEN TMIENTO POR ESCAITO DEL EDITOR Derechos RESERVADOS: © 1999, EDITORIAL LIMUSA, S.A. ve C.V. GRUPO NORIEGA EDITORES Batoeras 95, Mexico, D.F. C.P. 06040 @ (5)521-21-05 01(800) 7-06-91-00 (1 (5)512-29-03 limusa@noriega.com.mx © www.noriega.com.mx CANIEM Num. 121 DEcIMOSEXTA REIMPRESION Imeneso EN Mexico ISBN 968-18-0639-5Prélogo En la segunda mitad del siglo xvur el nuevo andlisis matematico surgié como la fuerza dominante en la Matematica. Este anilisis se caracteriza por la extraordinariamente eficaz operacién que se funda en procesos infi- nitos, 0 sea, limites. Dos de estos procesos, la derivacién y la integracién, se convirtieron en la esencia de la disciplina, lamada CAlculo Diferencial e Integral 0, a menudo, simplemente “Célculo”, que es la base de todo el andlisis matematico. Se aprecidé, de inmediato, la importancia de los nuevos descubrimientos y métodos, los cuales causaron una profunda conmocién intelectual. Sin embargo, el dominio de este poderoso arte matematico constituyé, al prin- cipio, un objetivo formidable y dificil de lograr, ya que los textos sobre la materia eran escasos, poco sistematicos y, con frecuencia carentes de claridad. Por tanto, fue venturoso para la Matematica y para la Ciencia, en general, que las figuras principales del nuevo movimiento reconocieran pronto la vital necesidad de escribir tratados con el fin de que la materia fuera acce- sible a un piblico mucho mas numeroso que el pequefio circulo intelectual de esa época. Uno de los matemAticos més destacados de los tiempos mo- dernos, Leonhard Euler, estableci6 los fundamentos de una larga tradicién en sus libros introductorios; y aunque se ha progresado mucho en la acla- racién y simplificacién del material del Gilculo, estos libros del siglo xvur, en la actualidad atin son fuente de inspiracién. Después de Euler, los autores, uno tras otro, se solidarizaron con la separacién entre cdlculo diferencial y cdlculo integral y, al hacerlo, oscu- recieron un punto clave: la reciprocidad entre derivacién e integracién. Fue en 1927, cuando apareci6, publicada por “Springer-Verlag”, la primera edicién alemana de la obra de R. Courant “Vorlesungen iiber Differential and Integralrechnung”, que se eliminé tal separacién y el Calculo se pre- senté como una disciplina unificada. La presente obra se originé en aquel primer libro alemén y sus edicio- nes subsiguientes. A partir de 1939, con la colaboracién de James y Virginia6 Prélogo McShane, la casa “Blackie & Sons” de Glasgow, preparé y publicé una versién inglesa muy ampliada y modificada, de la cual la Interscience-Wiley distribuyé numerosas reimpresiones en los Estados Unidos de Norteamérica. Con el transcurso de los afios, se hizo evidente que los programas de la ensefianza superior en los Estados Unidos, requerian una nueva revisién de la obra. Por otra parte, parecia poco prudente alterar las versiones originales que todavia son utiles. Asi, en vez de modificar la obra existente, se optd por complementarla con un libro esencialmente nuevo, relacionado en muchos sentidos con los originales europeos pero, en términos mas especificos, orientado para satis- facer las necesidades de la actual y futuras generaciones de estudiantes en los Estados Unidos. Tal plan resulté factible cuando Fritz John, que ya habia ayudado mucho en la preparacién de Ja primera edicién inglesa, convino en escribir de nuevo el libro con R. Courant. Aunque este libro difiere notablemente del original, tanto en forma como en contenido, tiene cl mismo propésito: guiar al estudiante directa- mente a la esencia del tema y capacitarlo para aplicar sus conocimientos. La obra evita el estilo dogmatico que oculta la motivacién de los conceptos y las raices que el Calculo tiene en la realidad intuitiva. Un importante objetivo que se persigue en este libro es mostrar la relacién reciproca entre cl anilisis matematico y sus diversas aplicaciones y destacar el papel de la intuicién. Esperamos que cierto énfasis en la precisién no interfiera con este objetivo. La Matematica presentada como un sistema de verdades, acabado y ordenado, sin referencia al origen y propésito de sus conceptos y teorias, tiene su encanto y satisface una necesidad filosdfica. Pero esa actitud intro- vertida en el campo de la ciencia, no cs adecuada para los estudiantes que buscan independencia intelectual, mas bien que indoctrinacién. Y menos- preciar las aplicaciones e intuicién conduce al aislamiento y atrofia en la Matematica. Entonces, resulta sumamente importante que estudiantes y maestros estén a salvo del purismo presumido. El libro esta dirigido a estudiantes de varios niveles, a matematicos, cientificos en general e ingenieros, No pretende facilitar la materia suavi- zando las dificultades, sino que, mas bien, trata de ayudar al lector since- ramente interesado, a base de aclarar las interrelaciones y propésitos de la obra en conjunto. En lugar de obstaculizar el acceso al caudal de hechos y propiedades por medio de largas exposiciones de cardcter fundamental, éstas se han Pospuesto, a veces, relegandolas a apéndices de los diversos capitulos. Se dan numerosos ejemplos y problemas al final de los capitulos. Algu- nos son fascinantes, otros Hegan a ser verdaderamente dificiles; y la mayoria de ellos complementan el material tedrico del texto. Se prepararé un manual complementario de esta obra con problemas y ejercicios de cardc-Prélogo 7 ter més rutinario, y, ademas, se agregardn respuestas y sugerencias para resolverlos. Muchos colegas y amigos han ayudado. Albert A. Blank no sdlo aporté ctiticas perspicaces y constructivas, sino que también desempefié un papel importante en la labor de ordenar, aumentar y seleccionar los. problemas y ejercicios y, ademas, asumié la responsabilidad principal de preparar el manual mencionado.* Alan Solomon ayudé, muy desinteresada y eficaz- mente, en todas las etapas de la preparacién del libro. También se les agradece a Charlotte John, Anneli Lax, R. Richtmyer, y a otros amigos, entre los que figuran James y Virginia McShane. Este volumen trata principalmente de funciones de una sola variable, mientras que en el Volumen II se estudiardn las teorias del Calculo més diversificadas para funciones de varias variables. Al lector se le debe hacer una observacién final, ya que podria resultar un fracaso tratar de dominar Ia materia estudiando un libro de este tipo pagina por pagina, sin desviarse del camino trazado. Se puede alcanzar gradualmente una mejor comprensién del tema y una visién mas amplia, sélo tomando atajos en Ja primera lectura y, luego, volviendo repetidas veces a los mismos temas, preguntas y dificultades. Se ha tratado de ayudar al lector sefialando con asteriscos ciertos tépi- cos que podrian causarle trastornos al estudiarlos por primera vez, asi como algunos de los problemas més dificiles. Esperamos que Ja obra, con este nuevo enfoque, ser titil a la joven generacién de cientificos. Estamos conscientes de sus muchas imperfeccio- nes, y sinceramente solicitamos comentarios criticos que podrian ser bene- ficiosos para mejoras posteriores. Ricuarp Courant Frirz Joun * Manual de Problemas de CAlculo y Anilisis Matematico, por Albert A, Blank, publicado en espafiol por la Editorial LimusaContenido CAPITULO 1 Introduccién Ld 1.2 13 15 1.6 El continuo de nameros a. El sistema de nimeros naturales y su extensién. Nume- racién y medicién, 26 b. Numeros reales e intervalos encajados, 31 ¢, Fracciones decimales. Bases distintas a la de diez, 33. d. Definicién de vecindad o entorno, 36 e. Desigualdades, 36 El concepto de funcién a, Funcién-Grafica, 42 b. Definicién del Concepto de funciones de una variable continua. Dominio y rango de una funcién, 45 ¢. Representacién grafica. Funciones mo- nétonas, 48d. Continuidad, 55. El teorema del valor intermedio. Funciones inversas, 68 Las funciones clementales a. Funciones racionales, 71 b. Funciones algebraicas, 72 c. Funciones trigonométricas, 73 d. La funcién exponen- cial y el logaritmo, 74 . Funciones compuestas, pro- ductos simbélicos, funciones inversas, 76 Sucesiones Induccién matematica EI limite de una sucesién 1 1 1 a. dy ==, 84 bdo = 3 ams = —, 85 n m 2m n _ 2 On = , 86 d. a, = WP, 87 © ay = am = Wp, 8% 9 25 41 mt 7910 Contenido ea, =a", 88 f. Tlustracién geométrica de los limites a” y Wp, 89 g La serie geométrica, 90h. an = Wn, 92 i. ay = Vn +1— Vn, 92 j. a, =a, para a > 1, 93 1.7 Discusién del concepto de limite a. Definicién de convergencia y divergencia, 93 b, Ope- raciones racionales con limites, 95 c. Pruebas intrinsecas de convergencia. Sucesiones monétonas, 96 d. Series infi- nitas y el simbolo de sumatoria, 98 e. El nimero e, 100 f. El ntimero = como limite, 103 1.8 El concepto de limite para funciones de una variable continua a. Algunas observaciones sobre las funciones elementa- les, 109 SUPLEMENTO S.1. Los limites y el concepto de ndmero a. Los niimeros racionales, 112. b. Ndmeros reales deter- minados por encaje de intervalos racionales, 113 *c. Or- den, limites y operaciones aritméticas para ntimeros rea- les, 115 d. Plenitud de continuo de némeros. Compacidad de intervalos cerrados. Griterios de convergencia, 117 e. Cotas. Extremo superior y extremo inferior, 120. f. Nu- merabilidad de los niimeros racionales, 121 S.2. Teoremas sobre funciones continuas S.3 Coordenadas polares S.A Observaciones sobre los niimeros complejos PROBLEMAS, 129 CAPITULO 2 Las ideas fundamentales del calculo integral y diferencial 2.1 La integral a, Introduccién, 142 b, La integral como un Area, 143 c. Definicién analitica de la integral. Notaciones, 145 93 105 110 112 123 125 126 1422.2 2.3 24 25 26 27 28 29 Contenido Ejemplos elementales de integracién a. Integracién de una funcién lineal, 150 b. Integracién de x?, 152 ¢. Integracién de x* para enteros a ~1, 153 d. Integracién de x* para « racional distinto de —1, 156 ¢. Integracién de sen x y cos x, 157 Reglas fundamentales de integracién a. Aditividad, 158 b. Integral de una suma y de un pro- ducto con una constante, 159 c. Estimacién de integra- les, 160d. El teorema del valor medio para integrales, 161 La integral como funcién del limite superior (integral in- definida) E] logaritmo definido mediante una integral a. Definicién de la funcién logaritmo, 167 _b. El teorema de adicién para logaritmos, 169 Funcién exponencial y potencias a. El logaritmo del numero e, 171 b. La funcién inversa del logaritmo. La funcién exponencial, 172. La funcién exponencial como limite de potencias, 173d. Definicién de potencias arbitrarias de nimeros positives, 174. e. Lo- garitmos de base arbitraria, 175 La integral de una potencia arbitraria de x La derivada a. La derivada y la tangente, 178 b. La derivada como una velocidad, 183 c¢. Ejemplos de diferenciacién, 184 d. Algunas reglas fundamentales para la derivacién, 187 e. Derivabilidad y continuidad de funciones, 187 f. Deri- vadas superiores y su significado, 190, g. Derivada y co- ciente de incrementos. Notacién de Leibnitz, 192. h. El teorema del valor medio del calculo diferencial, 194 i. De- mostracién del teorema, 196 j. La apr ciones mediante funciones lineales. Defi ciales, 200k. Observaciones sobre aplicaciones a las cien- cias naturales, 205 La integral, la funcién primitiva y los teoremas funda- mentales del célculo a. La derivada de la integral, 206 b. La funcién primitiva y su relacién con la integral, 208 c. El uso de Ja funcién 150 167 17112 Contenido primitiva para la evaluacién de integrales definidas, 211 d. Ejemplos, 212 Suplemento. La existencia de la integral definida de una funcién continua PROBLEMAS CAPITULO 3. Las técnicas del Ai PARTE A Derivacién e integracién de las funciones elementales 31 3.2 3.3 3.4 3.5, Las reglas mas simples para derivar y sus aplicaciones a. Reglas de la derivacién, 223 b. Derivacién de las fun- ciones racionales, 226. ¢. Derivacién de las funciones tri- gonométricas, 227 La derivada de la funci6n inversa a, Férmula general, 228 b. La inversa de la n-ésima po- tencia; la n-ésima raiz, 228 b. Las funciones trigonomé- tricas inversas. Multivalencia, 232d. Las formulas inte- grales correspondientes, 237 ¢. Derivada e integral de la funcién exponencial, 238 Derivacién de funciones compuestas a, Definiciones, 239 b. La regla de la cadena, 239 c. El teorema generalizado del valor medio del cdlculo dife- rencial, 243 Algunas aplicaciones de la funcién exponencial a. Definicién de la funcién exponencial por medio de una ecuacién diferencial, 244 b, Interés compuesto continua- mente, Desintegracién radiactiva, 245 c. Enfriamiento © calentamiento de un cuerpo por el medio ambiente, 246 d. Variacion de la presién atmosférica con Ia altura sobre a superficie de la Ticrra, 247 ¢. Progreso de una reac- cién quimica, 248 f. Apertura y cierre de un circuito eléctrico, 249 Las funciones hiperbélicas a. Definicién analitica, 250 b. Teoremas de adicién y {6rmulas para derivar, 252. Las funciones hiperbélicas inversas, 253d. Otras analogias, 255 213 217 223 223 223 228 239 244 2503.6 *3.7 Contenido Maximos y minimos a.Convexidad y concavidad de curvas, 257 b. Maximos y minimos—Extremos relativos, Puntos estacionarios, 259 El orden de magnitud de Jas funciones a. El concepto de orden de magnitud, Los casos mas sim- ples, 269 b. Los érdenes de magnitud de la funcién exponencial y del logaritmo, 270 c. Comentarios gene- rales, 272 d. El orden de magnitud de una funcién en la vecindad de un punto arbitrario, 273 e. El orden de magnitud (pequefiez) de una funcién que tiende a cero, 273 f. Las notaciones “O” y “o” para érdenes de mag- nitud, 274 APENDICE Al A2 Algunas funciones especiales a. La funcién y = e*", 277 b. La funcién y = e/*, 278 ¢. La funcién’ y = tanh 1/x, 278 d. La funcién y= x tanh 1/x, 279 e, La funcién y= x sen 1/x, y (0) =0, 280 Comentarios sobre la derivabilidad de funciones PARTE B Técnicas de integracién 3.8 39 3.12 Tabla de integrales elementales El método de substitucién a, La formula de substitucién. Integral de una funcién compuesta, 285 b. Una deduccién alternativa de la {érmula de substitucién, 289 c. Ejemplos. Férmulas de integracién, 291 Otros ejemplos del método de substitucién Integracién por partes a. Formula general, 295 b. Otros ejemplos de integra- cién por partes, 297 c. Férmula integral para f(b) + f(a), 298 4. Formulas recursivas, 298. El producto infinito de Wallis para =, 300 Integracién de funciones racionales a, Los tipos fundamentales, 303. b. Integracién de los tipos fundamentales, 30¢ . Fracciones parciales, 306 257 269 276 276 280 282 28514 3.13 PAI 3.14 3.15 3.16 Contenido d, Ejemplos de resolucién en fracciones parciales. El mé- todo de los coeficientes indeterminados, 308 Integracién de algunas otras clases de funciones a. Comentarios preliminares sobre la representacién racio- nal de la circunferencia y de la hipérbola, 310 b. Inte- gracién de R(cos x, sen x), 312 ¢. Integracién de R(cosh x, senh x), 313 *d. Integracién de R(x, VI-x*), 314 ¥e, Integracién de R(x, V/x*-1), 314 *£. Integracién de R(x, Vie#+1), 314 *g. Integracién de R(x, Vax*-+2bx +c), 315 *k. Otros ejemplos de reduccién a integrales de funciones racionales, 315 i. Comentarios sobre los ejemplos, 316 RTE C Otros pasos en la teoria del calculo integral Integrales de funciones clementales a, Definicién de funciones por medio de integrales. Inte- gtales y funciones clipticas, 317 b, Sobre la derivacién y la integracién, 320 Extensién del concepto de integral a, Introduccién. Definicién de integrales “impropias”, 320 b. Funciones con discontinuidades infinitas, 323 c. Inter- pretacién de la integral como un area, 323. d. Criterios para determinar la convergencia, 324. Intervalo de in- tegracién infinito, 325 f. La funcién gamma, 327. g. La integral de Dirichlet, 328 h. Substitucién. Integrales de Fresnel, 329 Las ecuaciones diferenciales de las funciones trigonomé- tricas a. Comentarios introductorios sobre las ecuaciones dife- renciales, 331 b. Sen x y cos x definidos mediante una ecuacién difcrencial y condiciones iniciales, 331 PROBLEMAS CAPITULO 4 Aplicaciones en Fisica y Geometria 41 Teoria de curvas planas a, Representacin paramétrica, 343 b. Cambios de para- metros, 345 c, Movimiento a lo largo de una curva, El 310 317 317 320 331 333 343 3434.2 4.3 4.4 45, 4.6 47 *4.8 49 Contenido tiempo como un pardmetro. El ejemplo de la cicloide, 347 d. Clasificacién de curvas. Orientacién, 351 e. Derivadas, tangentes y normales en representacién paramétrica, 361 f. La longitud de una curva, 366g. La longitud de arco como pardmetro, 370 h. Curvatura, 372 i. Cambio de ejes de coordenadas. Invariancia, 378 *j. Movimiento uniforme en la teorja especial de relatividad, 381k. Inte- grales que expresan areas dentro de curvas cerradas, 382 1. Centro de masa y momento de una curva, 390m. Area y volumen de una superficie de revolucién, 391m. Mo- mento de inercia, 392 Ejemplos a. La cicloide comin, 394 b. La catenaria, 395 ¢. La elipse y la lemniscata, 396 Vectores en dos dimensiones a. Definicién de vectores mediante traslaciones. Notacio- nes, 398 b, Adicién y multiplicacién de vectores, 402 c. Vectores variables, sus derivadas e integrales, 410 a. Aplicacién a curvas planas. Direccién “rapidez” y ace- leracién, 411 Movimiento de una particula bajo la accién de fuerzas especificadas a. Ley de movimiento de Newton, 415 b. Movimiento de cuerpos en caida, 417 c. Movimiento de una particula restringido a una curva dada, 418 Cajda libre de un cuerpo venciendo la resistencia del aire El tipo mas simple de vibracién elastica Movimiento sobre una curva dada a. La ecuacién diferencial y su solucién, 424 b. Particula que se desliza hacia abajo sobre una curva, 426 c. Dis- cusién del movimiento, 428 d. El péndulo ordinario, 429 e. El péndulo cicloidal, 430 Movimiento en un campo gravitacional a. Ley universal de la gravitacién de Newton, 431 b. Mo- vimiento circular en torno al centro de atraccién, 433 c. Movimiento radial-Velocidad de escape, 435 Trabajo y energia 393 397 415 420 423 424 431 43616 Contenido a. Trabajo realizado por fuerzas durante un movimiento, 436 b. Trabajo y energia cinética, Conservacién de la energia, 438 c. La atraccién mutua de dos masas, 440 d, El estiramiento de un resorte, 441 *e. La carga de un condensador, 442 APENDICE Al Propiedades de la evoluta A.2. Areas limitadas por curvas cerradas. Indices PR OBLEMAS CAPITULO 5 Desarrollo de Taylor 51 5.2 5.4 Introduccién: Series de potencias Desarrollo del logaritmo y de la tangente inversa a. El logaritmo, 461 b. La tangente inversa, 463 Teorema de Taylor a, Representacién de Taylor para polinomios, 464 b. Férmula de Taylor para funciones no polinomiales, 465 Expresiones y estimaciones para el residuo a. Expresiones de Cauchy y de Lagrange, 466 b, Una derivacién alternativa de la {érmula de Taylor, 469 Desarrollos de funciones elementales a. La funcién exponencial, 472 b. Desarrollos de sen x, cos x, senh x, cosh x, 473 ¢. La serie binomial, 475 Aplicaciones geométricas a, Contactos entre curvas, 477 b. Sobre la teoria de méximos y minimos relativos, 480 APENDICE I Al. 1 Ejemplo de una funcién que no se puede desarrollar en una serie de Taylor 442 442 453, 459 459 461 466 472 476 481 481Contenido AL.2 Ceros ¢ infinitos de funciones a, Ceros de orden n, 482 b, Infinito de orden v, 482 A.L3 Expresiones indeterminadas *A.14 La convergencia de la serie de Taylor para una funcién con derivadas no negativas de todos los érdenes APENDICE II INTERPOLACION *A.IL1 El problema de la interpolacién. Unicidad AIL.2 Construccién de la solucién. Férmula de interpolacién de Newton AJL3 La estimacién del residuo AJL4 La formula de interpolacién de Lagrange PROBLEMAS CAPITULO 6 Métodos numéricos 6.1 Gilculo de integrales a. Aproximacién mediante rectingulos, 502 b. Aproxima- ciones refinadas-Regla de Simpson, 503 6.2 Otros ejemplos de métodos numéricos a. El “calculo de errores”, 509 *b. Cdlculo de 7, 512 ¥c. Céileulo de logaritmos, 512 63 Solucién numérica de ecuaciones a. Método de Newton, 514 *b. La regla de la posicién falsa, 517 c. El método iterativo, 518 d. Iteraciones y procedimiento de Newton, 521 APENDICE *A.1 Férmula de Stirling PROBLEMAS 490 493 495 496 501 514 523 523 52618 Contenido CAPITULO 7 Sumas y productos infinitos 7 72 73 74 75 76 17 Los conceptos de convergencia y divergencia a. Conceptos basicos, 530 b. Convergencia absoluta y con- vergencia condicional, 532 c, Reordenamiento de térmi- nos, 536d. Operaciones con series infinitas, 538 Criterios de convergencia absoluta y de divergencia a. El criterio de comparacién. Mayorantes, 539 b. Inves- tigacién de la convergencia mediante la comparacién con la serie geométrica, 540 c. Comparacién con una inte- gral, 543 Sucesiones de funciones a. Procesos de limite con funciones y curvas, 545 Convergencia uniforme y convergencia no uniforme a. Comentarios generales y definiciones, 547 b. Un crite- rio de convergencia uniforme, 552. Continuidad de la suma de una serie uniformemente convergente de funciones continuas, 554d. Integracién de series uniformemente convergentes, 555, Derivacién de series infinitas, 557 Series de potencias a. Propiedades de convergencia de las series de potencias- Intervalo de convergencia, 558 b. Integracién y deriva- cidn de series de potencias, 560 c. Opcraciones con series de potencias, 561d. Unicidad del desarrollo, 562 “e. Fun- ciones analiticas, 563 Desarrollos en series de potencias de funciones dadas. El método de los coeficientes indeterminados, Ejemplos a. La funcién exponencial, 564 b. La serie del binomio, 565 c. La serie para arcsenx, 566 d. La serie para ar senh x= log{x + V(1+*)], 567 ©. Ejemplo de multiplicacién de series, 567 f. Ejemplo de integracién término a término (integral eliptica), 567 Series de potencias con términos complejos a. Introduccién de términos complejos en una serie de po- tencias. Representaciones complejas de funciones trigono- métricas, 568 *b. Un vistazo a la teoria general de fun- ciones de una variable compleja, 571 529 530 545 547 558 568Contenido APENDICE Al AQ *A3 *AA Multiplicacién y divisién de series a. Multiplicacién de series absolutamente convergentes, 572 *b. Multiplicacién y divisién de series de poten- cias, 573 Series infinitas ¢ integrales impropias Productos infinitos Series en que aparecen niimeros de Bernoulli PROBLEMAS. CAPITULO 8 Series trigonométricas 81 8.2 8.3 8.4 85 Funciones periédicas a, Comentarios generales. Extensién periédica de una fun- cién, 590 b. Integrales calculadas sobre un periodo, 591 c. Vibraciones arménicas, 592 Superposicién de vibraciones arménicas a. Arménicas. Polinomios trigonométricos, 594 b. Bati- dos, 595 Notacién compleja a, Comentarios generales, 600 *b. Aplicacién al caso de corrientes alternas, 601 ¢. Notacién compleja para poli- nomios trigonométricos, 602 d. Una férmula trigonomé- trica, 603 Series de Fourier a. Coeficientes de Fourier, 604 b. Lema basico, 605 ¢. Demostracién de que d. Desarrollo de Fourier ‘para la funcién $(x) = x, 609 e. El teorema principal sobre desarrollos de Fourier, 611 Ejemplos de series de Fourier a. Comentarios preliminares, 615 b. Desarrollo de la fun- cién $(x) = x, 616 c. Desarrollo de x cos x, 616 d. La funcién f(x) = |x|, 617. Una funcién constante por 19 572 572 574 576 579 581 589 59420 *A.L1 Alargamiento del Contenido trozos, 618 f. La funcién |sen x], 619g. Desarrollo de cos px. Descomposicién de la cotangente en fracciones parciales, El producto infinito para el seno, 619 h. Ejem- plos adicionales, 621 8.6 Discusién adicional sobre la convergencia a, Resultados, 621 b. Desigualdad de Bessel, 622 *c. De- mostracién de los corolarios (a), (b) y (c), 622. d. Orden de magnitud de los coeficientes de Fourier. Derivacién de series de Fourier, 624 *8.7 Aproximacién mediante polinomios trigonométricos y ra- cionales a, Comentario general sobre las representaciones de fun- ciones, 625 b. Teorema de aproximacién de Weierstrass, 626 *c. Aproximacién trigonométrica de Fejer para los polinomios de Fourier, usando medias aritméticas, 627 *d. Aproximacién en mevia y relacién de Parseval, 629 APENDICE I intervalo del periodo. Teorcma de la integral de Fourier *A.1.2 Fenémeno de Gibbs en puntos de discontinuidad *A.L3 Integracién de series de Fourier APENDICE II *A.IL1 Polinomios de Bernoulli y sus aplicaciones a. Definicién y desarrollo de Fourier, 636 *b. La fun- cién generadora, La serie de Taylor para la cotangente trigonométrica e hiperbélica, 639 c, La {érmula de la suma de Euler-Maclaurin, 642d. Aplicaciones. Des- arrollos asintéticos, 644 ¢. Sumas de potencias. Férmu- Ja de recurrencia para los nimeros de Bernoulli, 645 f. Constante de Euler y serie de Stirling, 646 PROBLEMAS 621 632 632 633 635, 636 636 649Contenido CAPITULO 9 Ecuaciones diferenciales para los tipos mas simples OL 9.2 9.3 de vibraciones Problemas de vibracién en Mecdnica y en Fisica a. Las vibraciones mecdnicas mas simples, 652 b. Oscila- ciones eléctricas, 653 Solucién de la ecuacién homogénea. Oscilaciones libres a. La solucién formal, 654 b, Interpretacién de la solu- cién, 656 c. Satisfaccién de condiciones iniciales dadas. Unicidad de la solucién, 657 La ecuacién no homogénea. Oscilaciones forzadas a. Comentarios generales. Superposicién, 658 b. Solucién de la ecuacién no homogénea, 660 c. La curva de reso- nancia, 661d. Una discusién adicional sobre las oscila- ciones, 664 ¢. Comentarios sobre la construccién de ins- trumentos de registro, 665 LISTA DE FECHAS BIOGRAFICAS INDICE 21 651 652 654 658 667INTRODUCCION AL CALCULO Y AL ANALISIS MATEMATICOIntroduccién Desde la antigiicdad las nociones intuitivas de cambio continuo, cre- cimiento y movimiento, han atraido la atencién de las mentes cientificas. Empero, el camino hacia el entendimiento de variacién continua no fue logrado sino hasta el siglo xvit, cuando Ia ciencia moderna surgié y se desarrollé rapidamente en cercana conjuncién con el célculo integral y diferencial, llamado brevemente Calculo, y el andlisis matematico. Las nociones basicas del Calculo son las de derivada ¢ integral: la de- rivada es una medida de la “rapidez” de una variacién; la integral, una medida del efecto total de un proceso de cambio continuo. Una compren- sién precisa de estos conceptos y de su abrumadora fecundidad descansa sobre los conceptos de limite y funcién; los cuales a su vez dependen de un entendimiento del continuo de némeros. Sélo gradualmente, penetrando ms y més en la esencia del Calculo, puede uno apreciar su potencia y belleza. En este capitulo introductorio se explicarén los conceptos bésicos de nmero, funcién y limite, primero de manera simple e intuitiva, y des- pués mediante argumentos cuidadosos. 1.1 El continuo de nimeros Los enteros positivos 0 ntimeros naturales 1, 2, 3,... son simbolos abs- tractos para indicar “cudntos” objetos hay en una coleccién 0 conjunto de elementos discretos. Estos simbolos estén despojados de toda referencia a las cualidades con- cretas de los objetos contados, ya sea que se trate de personas, atomos, casas 0 cualesquiera objetos. Los niimeros naturales son el instrumento adecuado para contar ele- mentos de una coleccién o “conjunto”. Sin embargo, no bastan para otro objetivo igualmente importante: medir cantidades tales como la longitud de una curva y el volumen o peso de un cuerpo. La pregunta “;cudnto?” 2526 Introduccion Cap. 1 no puede ser contestada inmediatamente en términos de los néimeros natu- rales. La profunda necesidad de expresar medidas de cantidades en términos dle lo que nosotros quisiéramos lamar nimeros nos obliga a extender cl concepto de némero de manera que podamos describir una graduacién con- tinua de las medidas. Esta cxtensién es llamada el continuo de nimeros 0 cl sistema de “niimeros reales” (un nombre no descriptive pero aceptado gencralmente). La extensién del concepto de némero al de continuo es de tal manera convincente que fue utilizada por todos los grandes mate- maticos y cientificos de épocas anteriores sin hacer preguntas escudrifia~ doras. No fue sino hasta cl siglo xtx que los matematicos sc vieron im- pulsados a buscar un fundamento Idgico mas firme para cl sistema de los ndmeros reales. La subsiguiente formulacién precisa de estos conceptos condujo. a su vez, a un progreso mayor en matemiticas. Principiaremos con un tratamiento intuitive sin complicaciones, y posteriormente se dari un anilisis ms profundo del sistema de los mimeros reales." a. El sistema de nidmeros naturales y su extensién. Numeracién y medicién Los ntimeros naturales y los racionales. La sucesién de ntimeros “na- turales” 1, 2, 3, ... se considera como dada. No se requiere discutir cémo estos entes abstractos, los ntimeros, pueden ser catalogados desde un punto de vista filoséfico. Para el matematico, y para cualquiera que trabaje con niimeros, es importante conocer solamente Jas reglas o leyes mediante las cuales éstos pueden combinarse para obtener otros niimeros naturales. Estas leyes forman la base de las reglas conocidas para sumar y multiplicar nti- meros en el sistema decimal; incluyon las leyes conmutativas a + b = b +a y ab ~ ba, las leyes asociativas a+ (b +c) = (a+b) +e y a(be) = ab)c, ia ley distributiva a(b + c) = ab + ac, la ley de la cancelacién, esto es que a ¢ = b +c implica a = b, ete. Las operaciones inversas, substraccién y divisién, no son siempre po- sibles dentro del conjunto de los nameros naturales; no podemos restar 2.de 1 o dividir 1 entre 2 y permanecer dentro de cse conjunto. Para hacer posibles estas operaciones sin restriccién, nos vemos obligados a extender cl concepto de niimero inventando el mimero 0, los enteros “negatives” y las fracciones. La totalidad de todos estos ntimeros se llama Ia clase 0 con- junto de ntimeros racionales; todos ellos sc obticnen de la unidad utilizando las “operaciones racionales” de cdlculo, a saber: la adicién, substraccién, multiplicacién y divisién.? 1 Una exposicién més completa sc da en What Is Mathematics? por Courant y Robbins, Oxford University Press, 196 2 Aqui, la palabra “racional’” no significa razonable o légico sino que se deduce de Ja palabra “razén”, significando la proporcién relativa de dos magnitudes.Sec. 1.1 El continuo de ntimeros 27 Un niimero racional puede expresarse siempre en la forma p/q, donde Py q son enteros y g=£0. Podemos hacer que esta representacién sea tinica exigiendo que q sea positivo y que p y q no tengan un factor comiin mayor que 1. Dentro del dominio de los ntimeros racionales todas las operaciones racionales, adicién, multiplicacién, substraccién y divisién (excepto la di- visién por cero), pueden efectuarse y producir nuevamente niimeros racio- nales. Como se sabe de la aritmética elemental, las operaciones con ntimeros racionales obedecen las mismas leyes que las operaciones con niimeros na- turales; por ello los ntimeros racionales extienden el sistema de enteros positivos en una forma completamente natural. Representacién grdfica de los ntimeros racionales. Los nimeros ra- cionales son usualmente representados en forma gréfica mediante puntos en una linea recta L, el eje numérico (0 recta numérica). Tomando un ——_— tt oot P -: —_—— a ee i ny 2 P ool — Figura 1.1 El eje numérico. punto arbitrario de L como el origen o punto 0 y otro punto arbitrario como el punto 1, utilizamos la distancia entre estos dos puntos como escala © unidad de medida y definimos la direccién de 0 a 1 como “positiva”. La linea recta con una direccién asi impuesta se llama recta dirigida. Es cos- tumbre dibujar a L de manera que el punto 1 se encuentre a la derecha del punto 0 (Fig. 1.1). La localizacién de cualquier punto P en L esté completamente determinada por dos partes de informacién: la distancia a P desde el origen 0 y la direccién de 0 a P (a la derecha o izquierda del 0). El punto P en ZL que representa un numero racional positive se encuentra a una distancia de x unidades a la derecha del 0. Un niimero racional negativo x es representado por el punto —x unidades a la izquier- da del 0. En cualquier caso la distancia del 0 al punto que representa a x se llama el valor absoluto de x, denotado por |x|, y se tiene x, si x es positivo o cero, —x, six es negativo Se observa que x nunca es negativo y es igual a cero sélo cuando x = 0.28 Introduccién Cap. I Recordemos de la geometria elemental que con regla y compas es posi- ble subdividir la unidad de longitud en un nimero cualquiera de partes iguales. Se sigue que cualquier longitud racional puede ser construida, y, por lo tanto, que cl punto que representa un niimero racional x puede ser encontrado por métodos puramente geométricos. De esta forma se obtiene una representacién geométrica de ntimeros racionales mediante puntos en L, los Hamados puntos racionales. Conforme a nuestra notacién para los puntos 0 y 1, nos tomamos la libertad de de- notar tanto los niimeros racionales como los puntos correspondicntes en L por el mismo simbolo x. La relacién x < y para dos mimeros racionales significa geométricamen- te que el punto x se encuentra a la izquierda del punto y. En ese caso la distancia entre los puntos es y — x unidades. Si x > y, la distancia es x — y unidades. En cualquier caso la distancia entre dos puntos racionales x,y de L es |y — x! unidades y es también un namero racional. P +32 tt o12 ppt 77 oT Figura 1.2 Un segmento en L con puntos extremos a, b con a y = se interpretan de manera andloga.Sec. 1.1 El continuo de ntmeros 29 racional p/q cuya distancia desde P no excede 1/q unidades. El nimero 1/q puede hacerse tan pequefio como se desee escogiendo q como un entero positivo suficientemente grande. Por ejemplo, escogiendo q = 10" (donde n es cualquier nimero natural), podemos encontrar una “fraccién decimal” x = p/10" cuya distancia desde P es menor que 1/10". Aunque no se afirma que todo punto de L es un punto racional, se ve por lo menos que pueden encontrarse puntos racionales arbitrariamente préximos a cualquier punto P de L. Densidad La proximidad arbitraria de puntos racionales a un punto P dado de L se expresa diciendo: Los puntos racionales son densos en el eje numérico. Es claro que aun conjuntos menores de niimeros racionales son densos, por ejemplo, los puntos x = p/10", para todos los nameros naturales n y ente- ros p. La densidad implica que entre dos puntos racionales cualesquiera a y existe una infinidad de otros puntos racionales. En particular, el punto medio entre a y b, ¢ = 4(a + b), correspondiente a a media aritmética de los néimeros a y b, es nuevamente racional. Tomando los puntos medios de ay c, de b yc, y continuando de esta manera, se puede obtener cual- quier nimero de puntos racionales entre a y b. Un punto arbitrario P en L puede ser localizado con cualquier grado de precisién utilizando puntos racionales. Puede parecer entonces a primera vista que la labor de localizar P por un némero ha sido lograda introdu- ciendo los ntimeros racionales. Después de todo, en la realidad fisica las cantidades nunca se dan 0 conocen con absoluta precisin sino que siem- pre con sélo un grado de incertidumbre y por ello pueden muy bien ser consideradas como medidas por nimeros racionales. Cantidades inconmensurables. Los nimeros racionales, aunque densos, no bastan como base teérica de medicién por medio de nimeros, Dos can- tidades cuya raz6n es un nimero racional se Ilaman conmensurables, debido a que pueden ser expresadas como miiltiplos enteros de una unidad comin. Desde época tan remota como la de los siglos v o vr A.C. los matema- ticos y filésofos griegos hicieron el sorprendente y profundo descubrimiento de que existen cantidades que no son conmensurables con una unidad dada. En particular, existen segmentos de recta que no son miiltiplos racionales de un segmento unitario dado. Es facil dar un ejemplo de una longitud inconmensurable con Ia lon- gitud unidad: la diagonal / de un cuadrado con lados de longitud unidad. Pues, por el teorema de Pitdgoras, el cuadrado de esta longitud / debe ser30 Introduccién Cap. 1 igual a 2. Por ello, si / fuese un ntimero racional y consecuentemente igual a p/q, donde p y q son enteros positivos, tendriamos p? = 2q®. Podemos suponer que » y g no tienen factores comunes, pues tales factores comunes podrian ser cancelados en primer lugar. De acuerdo con la ecuacién ante- rior, #2 es un mamero par; de aqui que mismo debe ser par, digamos p = 2p’. Sustituyendo p por 2p’ se obtiene 49/2 = 2q?, o bien q? = 2p/?; consecuentemente, g* seria par y por lo tanto q también par. Esto es lo mismo que decir, que p y q tienen ambos el factor 2. Sin embargo, esto contradice nuestra hipétesis de que p y q no tienen un factor comin. Pues- to que la suposicién de que la diagonal puede ser representada por una fraccién p/q da lugar a una contradiccién, la suposicién es falsa. Este razonamiento, ejemplo caracteristico de prueba indirecta, muestra que el simbolo \/2 no puede corresponder a ningiin ntimero racional. Otro ejemplo es =, la razén de la circunferencia de un circulo a su didmetro, La demostracién de que 7 no es racional es mucho mds complicada y se obtuvo solamente en tiempos modernos (Lambert, 1761). Es facil encontrar muchas cantidades inconmensurables (véase problema 1, p. 129) ; de hecho, las cantidades inconmensurables son, en cierto sentido, mucho m4s comunes de las conmensurables (véase p. 122). Ntimeros irracionales Debido a que el sistema de nimeros racionales no es suficiente para la geometria, es necesario inventar nuevos ntimeros ‘como medidas de canti- dades inconmensurables: estos nuevos niimeros se Ilaman “irracionales”. Los antiguos griegos no pusieron de relieve el concepto de niimero abs- tracto; sin embargo, consideraron entes geométricos, tales como segmentos de recta, como los elementos bdsicos. De manera puramente geométrica ellos desarrollaron un sistema légico para tratar y operar con cantidades incon- mensurables, asi como también con las conmensurables (racionales). Este logro tan importante, iniciado por los pitagéricos, fue desarrollado grande- mente por Eudoxio y est4 expresado extensamente en el famoso Elementos de Euclides. En los tiempos modernos las matematicas fueron creadas de nuevo y vastamente desarrolladas sobre el fundamento de conceptos nu- méricos en lugar de conceptos geométricos. Con la introduccién de la geometria analitica, se desarrollé una reversién de orientacién e importancia en la relacién antigua entre ntimeros y cantidades geométricas, y asi la teoria cldsica de los inconmensurables fue poco menos que olvidada u omitida. Se supuso como un hecho el que a todo punto del eje numérico le corres- ponde un nimero racional o irracional y que esta totalidad de némeros “reales” obedece las mismas leyes aritméticas que los nameros racionales. Sélo posteriormente, en el siglo xix, se sintié la necesidad de justificarSec. 11 El continuo de niimeros 31 tal hipétesis y finalmente fue satisfecha completamente en un notable fo- Heto de Dedekind cuya lectura es fascinante atin hoy en dia? En efecto, Dedekind mostré que el tratamiento intuitivo e “ingenuo” seguido por todos los grandes matematicos desde Fermat y Newton hasta Gauss y Riemann estaba sobre la pista correcta: que el sistema de nimeros reales (como simbolos para las longitudes de segmentos, 0 definidos de al- guna otra manera) es un instrumento coherente y completo para la medi- cién cientifica, y que en este sistema las reglas de cAlculo del sistema de niimeros racionales siguen siendo validas. Sin perjuicio, podriamos dejarlo asi y dirigirnos directamente a la esen- cia del cdlculo. Sin embargo, para un entendimiento més profundo del concepto de niimero real, el cual es necesario para nuestro trabajo posterior, la siguiente explicacién, asi como el Suplemento a este capitulo, deberian ser estudiados. b. Naimeros reales ¢ intervalos encajados Por el momento imagincmos los puntos en una recta L como los ele- mentos basicos del continuo. Postulamos el que a cada punto en L le co- rresponde un “niimero real” x, su coordenada, y que para estos ntimeros x, y las relaciones recién descritas para los ntimeros racionales conservan su significado. En particular, la relacién x < y indica orden en L y la ex- presién |y — x| significa la distancia entre el punto x y el punto y. El problema bisico es cl de relacionar estos ntimeros (0 mediciones en el continuo de puntos dado geométricamente) con los nimeros racionales con- siderados originalmente y, por tanto, finalmente con los enteros. Ademis, debemos explicar cémo operar con los elementos de este “continuo de niime- ros” en la misma forma que con los nimeros racionales. Con el tiempo, formularemos el concepto del continuo independientemente de los concep- tos geométricos intuitivos, pero por ahora postergamos algo de la discusién mas abstracta hasta el Suplemento. gCémo podemos describir un néimero real irracional? Para algunos nue meros, tales como V2 0 =z, podemos dar una caracterizacién geométrica simple, pero esto no es siempre factible. Un método suficientemente flexible para obtener cualquier punto real x consiste en describir el valor x por una sucesién de aproximaciones racionales de precisién cada vez mayor. Espe- cificamente, aproximaremos x simulténeamente desde la derecha y desde la izquierda incrementando sucesivamente la precisién y de tal manera que el margen de error se aproxime a cero, En otras palabras, utilizamos una 1 R, Dedekind, “Nature and Meaning of Number”, en Essays on Number, Lon- dres y Chicago, 1901. (El primero de estos ensayos,” “Continuity and. Irrational Numbers”, proporciona una informacién detallada de la definicién y leyes de ope- racién con nimeros reales.) Reimpreso bajo el titulo Essays on the Theory of Num- bers, Dover, Nueva York, 1964. El original de estas traducciones aparecié en 1887 bajo el titulo “Was sind ‘und was sollen die Zahlen?”