Courant R, John F - Introduccion Al Calculo y Al Analisis Matematico, Vol2

INTRODUCCION AL CALCULO Y AL ANALISIS MATEMATICO Vol. 2 RICHARD COURANT y FRITZ JOHN Instituto Courant de Ciencias Matemdticas Universidad de Nueva York Con la asistencia de ALBERT A. BLANK Profesor de Mateméticas Universidad Carnegie~ Mellon Pittsburgh, Pennsylvania ALAN SOLOMON Profesor de Mateméticas Universidad del Negev Beer-Sheva, Israel 4 LIMUSA NORIEGA EDITORES MEXICO © Espafia * Venezuela * ColombiaVERSION AUTORIZADA EN ESPANOL DE LA OBRA PUBLICADA EN INGLES CON EL TITULO! INTRODUCTION TO CALCULUS AND ANALYSIS. Vowume Il © Nina Courant, Ernest Courant ano GeatRuoe Mosen, as Executons oF THE Estate of Richaro Courant, ano Faitz JOHN, COLABORADOR EN LA TRADUCCION: HERNAN PEREZ CASTELLANOS INGENIERO INDUSTRIAL. PROFESOR TITULAR DE MATE MATICAS EN LA ESCUELA SUPERIOR DE INGENIERIA Mecénica ¥ EvécTRica bét Instituto PouTécnco Nacionat, Mexico. Revision: SAUL HAHN GOLDBERG Doctor €N MATEMATICAS DEL INsTITUTO COURANT DE LA UNIVERSIDAD DE Nueva York. PROFESOR ASOCIADO DEL CENTRO DE InvesTIGACiON Y Es- Tupi0s AVANzADOS DEL INsTITUTO PoLITEcNICO Naciona, Mexico. ROLANDO V. JIMENEZ DOMINGUEZ Doctor EN FISICA, PROFESOR E INVESTIGADOR DE a Escueta Surerion 0€ Fisica y MATEMATICAS. et InstiTuTo PouTécnico NAcionaL, México. «LA PRESENTAGION Y DISPOSICION EN CONJUNTO DE INTRODUCCION AL CALCULO Y AL ANALISIS MATEMATICO. Vowumen 2 SON PROPIEDAD DEL EDITOR, NINGUNA PARTE DE ESTA ‘OBRA PUEDE SER REPRODUCIDA O TRANSMITIOA, MEDIANTE NINGUN SISTEMA © METODO, ELECTRONICO (© MECANICO (INCLUYENDO EL FOTOCOPIADO,LA GRA- BACION © CUALQUIER SISTEMA DE RECUPERACION Y ALMACENAMIENTO DE INFORMACION),SIN. CONSEN ‘TIMENTO POR ESCRITO DEL EDITOR. DERECHOS RESERVADOS: © 1999, EDITORIAL LIMUSA, S.A. ve C.V. GRUPO NORIEGA EDITORES Batoenas 95, México, D.F. C.P. 06040 @ (5)521-21-05 01(800) 7-06-91-00 (2 (6)512-29-03 limusa @ noriega.com.mx 2 wwwnoriega.com.mx CANIEM Nom, 121 NOVENA REIMPRESION fwereso en México ISBN 968-18-0640-9Prélogo La obra Differential and Integral Calculus. Vols. I y If, de Ri- chard Courant, ha tenido mucho éxito al iniciar a varias genera- ciones de estudiantes en las matemAticas superiores. En su contexto, esos voliimenes se basaron en el hecho de que las matemAticas se originan de la unién de la imaginacién intuitiva y el razonamiento deductivo. Al preparar esta revisi6n, los autores se esforzaron en mantener el equilibrio entre estos dos criterios que caracterizaron a la obra original. Aunque Richard Courant fallecié antes ver la pu- blicacién de esta revision del Volumen II, todos los cambios principales fueron acordados y redactados por los autores antes de que el Dr. Courant muriera. Desde el principio, los autores se dieron cuenta de que el Volumen II, que trata de las funciones de varias variables, se tendria que revisar mas a fondo que el Volumen I. En particular, parecia conveniente estudiar los teoremas fundamentales de la integracién en dimensiones superiores con el mismo rigor y generalidad que se aplicé a la integracién en una sola dimensién. Adem4s, habia gran namero de conceptos nuevos y temas de primordial importancia, los cuales, en opinién de los autores, constituyen una introduccién al anilisis. En los capitulos 6, 7 y 8 que tratan, respectivamente, de Ecua- ciones Diferenciales, Calculos de Variaciones y Funciones de una Variable Compleja, s6lo se hicieron pequefios cambios. En la parte mas importante del libro, capitulos 1 al 5, se conservé lo mAs posible el esquema original de dos desarrollos mas o menos paralelos de cada tema a niveles diferentes: una introduccién informal basada en argumentos mas intuitivos, y un estudio de las aplicaciones que propor- cionan los fundamentos para las demostraciones subsecuentes. El material de Algebra lineal, contenido en el capitulo I original, parecia inadecuado como fundamento para la estructura ampliada del cAlculo. Por tanto, todo este capitulo (que ahora es el capitulo 2) se reescribis completamente y ahora incluye todas las propiedades basicas de los determinantes y las matrices de n-ésimo orden, las for- 56 —Prélogo mas multilineales, los determinantes de Gram y las variedades lineales. En el nuevo capitulo 1 se analizan todas las propiedades fundamentales de las formas diferenciales lineales y sus integrales. Con esto el lector ya est4é preparado para empezar con el estudio de las formas diferenciales exteriores de orden superior agregadas al capitulo 3. También, en el capitulo 8, se encuentra una nueva demostra- cién del teorema de la funcién implicita por medio de aproximaciones sucesivas y un estudio de los puntos criticos y los indices de los campos vectoriales en dos dimensiones. En los capitulos 4 y 5 se agreg6é bastante material sobre las propiedades fundamentales de las integrales mdltiples. Aqui nos enfren- tamos a una conocida dificultad: se debia demostrar que las integrales sobre una variedad M, definidas con bastante facilidad subdividiendo M en partes convenientes, son independientes de la subdivisién particular. Esto se resolvié mediante el uso sistematico de la familia de conjuntos mensurables de Jordan con su propiedad de intersecci6n finita y de particiones de la unidad. Con el fin de mi- nimizar las complicaciones topolégicas, s6lo se consideraron variedades que encajaban suavemente en el espacio euclidiano. Se estudié la nocién de “orientaci6n” de una variedad con el detalle necesario para el estudio de las integrales de las formas diferenciales exteriores y sus propiedades de aditividad. Con estas bases, se dan las demostraciones para el teorema de la divergencia y para el teorema de Stokes en n dimensiones. A la seccién sobre las integrales de Fourier en el ca- Pitulo 4 se le agregé un anilisis de la identidad de Parseval y las integrales maltiples de Fourier. Para la preparaci6n de este libro fue inapreciable la ayuda ge- nerosa e ininterrumpida, proporcionada por los dos amigos de los autores, los profesores Albert A. Blank de la Universidad Carnegie- Mellon y Alan Solomon de la Universidad del Negev. Casi en todas las paginas se advierte la influencia de sus criticas, correcciones y sugerencias. Ademas, ellos prepararon los problemas y ejercicios para este volumen.! También debemos dar las gracias a nuestros colegas, los Profe- sores K. O. Friedrichs y Donald Ludwig, por sus valiosas y construc- tivas sugerencias, asi como a John Wiley and Sons y su departamento editorial por el continuo estimulo y ayuda que nos brindaron. FRITZ JOHN Nueva York ‘En contraste con el volumen I, éstos se han incorporado por completo en el texto; se pueden encontrar sus soluciones al final del volumen.Contenido Capttulo1 Funciones de varias variables y sus derivadas 1.1 Puntos y conjuntos de puntos en el plano y en el espacio 25 a. Sucesiones de puntos: Convergen- cia, 25 b. Conjuntos de puntos en el plano, 28 c. La frontera de un conjunto. Conjuntos cerrados y conjuntos abiertos, 30 d. La cerradura como conjunto de puntos limite, 33 e. Pun- tos y conjuntos de puntos en el espacio, 34. 1.2 Funciones de varias variables independientes 36 a. Funciones y sus dominios, 36 b. Los tipos més sencillos de funciones, 37 c. Representacién geométrica de las funciones, 38 1.3 Continuidad 42 a. Definicién, 42 b. El concepto de limite de una funci6n de varias variables, 44 c. El orden de anulacién de una funcién, 47 1.4 Las derivadas parciales de una fun- cién 52 a. Definicién. Representacién geo- métrica, 52 b. Ejemplos, 58 c. La 78 Contenido 1.6 17 1.8 1.9 continuidad y la existencia de las derivadas parciales, 61 d. Cambio de] orden de la derivaci6n, 62 La diferencia al total de una funcién y su significado geométrico a. El concepto de diferenciabilidad, 67 b. Derivadas direccionales, 73 c. Interpretacién geométrica de la diferenciabilidad. E] plano tangente, 73 d. La diferencial total de una fun- cién, 76 e. Aplicacién al cAlculo de errores, 79 Funciones de funciones (funciones compuestas) y la introduccién a nuevas variables independientes a. Funciones compuestas. La regla de Ja cadena,81 b. Ejemplos, 87 c. Cambio de las variables independientes, 88 El teorema del valor medio y el teorema de Taylor para funciones de varias variables a. Observaciones preliminares acerca de la aproximacién mediante polinomios, 93 b. El teorema del valor medio,.95 c. Teorema de Taylor para varias variables independientes, 97 Integrales de una funcién que dependen de un parémetro a. Ejemplos y definiciones, 100 b. Continuidad y diferenciabilidad de una integral con respecto al parametro, 103 c. Intercambio de in- tegraciones. Regularizacién de funciones, 109 Diferenciales e integrales de linea a. Formas diferenciales lineales, 112 b. Integrales de linea de formas 67 81 93 100 112Contenido 9 diferenciales lineales, 115 c. Depen- dencia de las integrales de linea con respecto a los puntos extremos, 122 1.10 El teorema fundamental sobre la integrabilidad de las formas diferenciales lineales 125 a. Integraci6n de diferenciales totales, 125 b. Condiciones necesarias para que las integrales de linea de- pendan tnicamente de los puntos extremos, 126 c. Insuficiencia de las condiciones de integrabilidad, 128 d. Conjuntos simplemente conexos, 132 e. El teorema fundamental, 185 APENDICE A.1. El principio del punto de acu- mulaci6n en varias dimensiones y sus aplicaciones a. El principio del punto de acu- mulacién, 138 b. Criterio de convergencia de Cauchy. Compacticidad,139 c. El teorema de cobertura de Heine- Borel, 140 d. Una aplicacién del teorema de Heine-Borel a conjuntos cerrados que estén contenidos en conjuntos abiertos, 142 A.2. Propiedades basicas de las funciones céntinuas 144 A.3. Nociones bisicas de la teoria de los conjuntos de puntos 144 a. Conjuntos y subconjuntos, 144 b. Union e intersecci6én de conjuntos, 147 c. Aplicaciones a los conjuntos de puntos en el plano, 149 A.4. Funciones homogéneas 15110 Contenido Capitulo 2 21 2.2 2.3 2.4 Vectores, matrices, transformactones lineales Operaciones con vectores 155 a. Definicién de los vectores, 155 b. Representaci6én geométrica de los vectores, 157 c. Longitud de los vectores, 4ngulos entre direcciones, 160 d. Productos escalares de vectores, 165 e. Ecuaci6n de hiperplanos en forma vectorial, 167 £. Dependencia lineal de vectores y sistemas de ecuaciones lineales, 170 Matrices y transformaciones lineales 178 a. Cambio de base. Espacios lineales, 178 b, Matrices, 182 c.Operaci. ies con matrices, 186 d. Matrices cuadradas. La reciproca de una matriz. Matrices ortogonales, 189 Determinantes 196 a. Determinantes de segundo y tercer orden, 196 b. Formas lineales y multilineales de vectores, 200 c. Formas multilineales alternantes. Definicién de determinantes, 204 d. Propie- dades principales de los determinantes, 209 e. Aplicacién de los determinantes a los sistemas de ecuaciones lineales, 214 Interpretacién geométrica de los determinantes 219 a. Productos vectoriales y volmenes de paralelepipedos en el espacio tridimensional, 219 b. Desarrollo de un determinante respecto a una columna. Productos vectoriales en dimensiones superiores, 227 c. Areas de paralelogramos y volamenes de paralelepipedos en dimensiones superiores, 230 d. Orientacién de paralelepipedos en el espacio n di-2.5 Capttulo 3 3.1 3.2 3.3 Contenido 11 mensional, 236 e. Orientacién de planos e hiperplanos, 242 £. Cambio de volumen de los paralelepipedos en las transformaciones lineales, 244 Nociones vectoriales en el anilisis 246 a. Campos vectoriales, 246 b. Gradiente de un escalar, 248 c. Divergencia y rotacional de un campo vectorial, 251 d. Familias de vectores. Aplicaci6n a la teoria de las curvas en el espacio y al movimiento de particulas, 255 Desarrollos y aplicaciones del cdiculo diferenczal Funciones implicitas 263 a. Observaciones generales, 263 b. Interpretacién geométrica, 264 c. El teorema de la funcién implicita, 266 d. Demostraci6n del teorema de la funci6n implicita, 271 e. El teorema de la funcién implicita para mas de dos variables independientes, 274 Curvas y superficies en forma implicita 276 a. Curvas planas en forma implicita, 276 b. Puntos singulares de curvas, 282 c. Representaci6n implicita de superficies, 284 Sistemas de funciones, transformaciones y aplicaciones 287 a. Observaciones generales, 287 b.Coordenadas curvilineas, 293. Ex- tensién a més de dos variables independientes, 295 d Formulas de derivaci6n para las funciones inversas, 298 e. Producto simbélico de aplicaciones, 304 £. Teorema general sobre la inversion de las transfor-12 Contenido 3.4 3.5 3.6. 3.7 maciones y de los sistemas de funciones implicitas. Descomposici6n er. aplicaciones primitivas, 308 g. Cons trucci6n alternativa de la aplicacién inversa por el método de las aproximaciones sucesivas, 314 h. Fun- ciones dependientes, 321 i. Obser- vaciones finales, 323 Aplicaciones a. Elementos de la teoria de superficies, 326 b. Transformaci6n conforme en general, 337 Familias de curvas, familias de superficies y sus envolventes a. Observaciones generales, 339 b. Envolventes de familias unipara- métricas de curvas, 341 c. Ejemplos, 345 d. Envolventes de familias de superficies, 353 Formas diferenciales alternantes a. Definici6n de formas diferenciales alternantes, 357 b. Sumas y productos de formas diferenciales, 360 c. De- rivadas exteriores de formas diferenciales, 363 d. Formas diferenciales exteriores en coordenadas arbitrarias, 367 MAximos y minimos a. Condiciones necesarias, 376 b. Ejemplos, 379 c. Maximos y minimos con condiciones subsidiarias, 382 d, Demostraci6n del método de multiplicadores indeterminados en el caso ms sencillo, 386 e. Generalizacién del método de los multiplicadores indeterminados, 389 £. Ejemplos, 393 APENDICE A.J Condiciones suficientes para los valores extremos 326 339 357 376 398A.2 A.3 AS AG Capitulo 4 4.1 4.2 4.3 4.4 4.5 Contenido Ndimeros de puntos criticos rela- cionados con los indices de un campo vectorial Puntos singulares de curvas planas Puntos singulares de superficies Relacién entre la representaci6n de Euler y la de Lagrange del movimiento de un fluido Representacién tangencial de una curva cerrada y la desigualdad isoperimétrica Integrales multiples Areas en el plano a. Definicién de la medida de Jordan de un 4rea, 421 b. Un conjunto que no tiene Area, 425 c. Reglas para las operaciones con 4reas, 426 Integrales dobles a. La integral doble como un volumen, 429 b. El concepto analitico general de la integral, 431 c. Ejem- plos, 435 d. Notacién. Extensiones. Reglas fundamentales, 437 e. Esti- maciones de la integral y el teorema del valor medio, 439 Integrales sobre regiones en tres y mis dimensiones Derivacién en el espacio. Masa y densidad Reduccién de la integral miltiple a integrales simples repetidas a. Integrales sobre un recténgulo, 444 b. Cambio del orden de inte- gracién. Derivacién bajo el signo in- 13 405 413 416 417 419 421 429 44) 442, 44414 Contenido 4.6 4.7 4.8 4.9 4.10 tegral, 446 c. Reduccién de integrales dobles a integrales simples para regiones mAs generales, 448 d. Exten- sién de los resultados a regiones en varias dimensiones, 453 Transformaci6n de integrales maltiples a. Transformacién de integrales en el plano, 454 b. Regiones de mas de dos dimensiones, 460 Integrales maltiples impropias a. Integrales impropias de funciones sobre conjuntos acotados, 464 b. Demostracién del teorema general de la convergencia para las integrales impropias, 468 c. Integrales sobre regiones no acotadas, 472 Aplicaciones geométricas a. CAlculo elemental de volamenes, 474 b. Observaciones generales sobre el calculo de volimenes. Sélidos de revolucién. Volamenes en coordenadas esféricas, 446 c. Area de una superficie curva, 479 Aplicaciones fisicas a. Momentos y centro de masa, 488 b. Momento de inercia, 491 c. El pén- dulo compuesto, 493 d. Potencial de masa que se atraen, 496 Integrales miltiples en coordenadas curvilineas a. Resolucién de integrales multiples, 503 b. Aplicaci6n a las areas barridas por curvas en movimiento y vold- menes barridos por superficies en movimiento. Férmula de Guldin. El planimetro polar, 506 Voliamenes y reas superficiales en cualquier nimero de dimensiones 454 463 474 488 503 51lContenido a. Areas de superficies e integrales de superficie en mAs de tres dimensiones, 511 b. Area y volumen de la esfera n dimensional, 513 c. Generalizaciones. Representaciones paramétricas, 517 4.12 Integrales simples impropias como funciones de un par4metro a. Convergencia uniforme. Depen- dencia continua del parametro, 521 b. Integraci6n y derivaci6n de las integrales impropias con respecto a un parametro, 524 c. Ejemplos, 527 d.Evaluacién de las integrales de Fresnel, 532 4,13 La integral de Fourier a. Introduccién, 535 b. Ejemplos, 537 c. Demostracién del teorema de la integral de Fourier, 540 d. Rapidez de la convergencia en el teorema de la integral de Fourier, 543 e. Identidad de Parseval para las transformadas de Fourier, 546 f. La transformacion de Fourier para funciones de varias variables, 548 4.14 Las integrales eulerianas (Funcién gamma) a. Definicién y ecuacién funcional, 556 b. Funciones convexas. Demos- tracién del teorema de Bohr y Mo- lerup, 558 c. Los productos infinitos para la funci6n gamma, 562 d. El ‘worema de extensién, 566 e. La fun- cién beta, 568 f. Derivacién e inte- gracién de orden fraccionario. Ecuaci6n integral de Abel, 571 APENDICE: ANALISIS DETALLADO DEL PROCESO DE INTEGRACION Al Areas a. Subdivisiones del plano y areas interiores y exteriores correspondientes, 15 521 535 556 57416 Contenido AQ A.3 AA Capitulo 5 5.1 5.2 5.3 5.4 575 b. Conjuntos mensurables de Jor- dan y sus areas, 577 c. Propiedades basicas de las areas, 579 Integrales de funciones de varias variables a. Definicién de la integral de una funcion f(x, y), 584 b. Integrabilidad de las funciones continuas e integrales sobre conjuntos, 586 c. Reglas basicas para integrales multiples, 589 d. Reducci6n de integrales miltiples a integrales sencillas repetidas, 592 Transformaci6n de 4reas e integrales a. Aplicaciones de conjuntos, 595 b. Transformaci6n de integrales miltiples, 601 Nota acerca de la definicién del area de una superficie curva Relact6n entre las integrales de superficie y las de volumen Relaci6n entre las integrales de linea y las integrales dobles en el plano (Los teoremas de la integral de Gauss, de Stokes y de Green) Forma vectorial del teorema de la divergencia. Teorema de Stokes Formula para la integraci6n por partes en dos dimensiones. Teorema de Green El teorema de la divergencia aplicado a la transformacién de integrales dobles a. El caso de las aplicaciones biu- nivocas, 621 b. Transformacién de integrales y grado de la aplicaci6n, 624 584 595 602 605 614 619 62155 5.6 5.7 5.8 5.9 5.1L Contenido Derivacién de area. Transformacién de Au a coordenadas polares Interpretacion de las f6rmulas de Gauss y de Stokes mediante flujos bidimensionales Orientacién de superficies a. Orientacién de superficies bidimensionales en el espacio tres, 639 b. Orientacién de curvas sobre superficies orientadas, 652 Integrales de formas diferenciales y de escalares sobre superficies a. Integrales dobles sobre regiones planas orientadas, 654 b. Integrales de superficie de formas diferenciales de segundo orden, 657 c. Relacién entre las integrales de formas diferenciales sobre superficies orientadas y las integrales de escalares sobre superficies no orientadas, 659 Teoremas de Gauss y de Green en el espacio a. Teorema de Gauss, 663 b. Apli- cacién del teorema de Gauss al movimiento de fluidos, 668 c. El teorema de Gauss aplicado a fuerzas en el espacio y fuerzas superficiales, 671 d. Integraci6n por partes y el teorema de Green en tres dimensiones, 674 e. Aplicacién del teorema de Green a la transformacién de AUa coordenadas esféricas, 675 Teorema de Stokes en el espacio a. Enunciado y demostracién del teorema, 678 b. Interpretacién del teorema de Stokes, 682 Identidades de integrales en dimensiones superiores 7 628 632 639 854 663 678 68918 Contenido APENDICE: TEORIA GENERAL DE Al AQ AB AA AS Capttulo 6 6.1 LAS SUPERFICIES Y DE LAS IN- TEGRALES DE SUPERFICIE Superficie e integrales de superficie en tres dimensiones a. Superficies elementales, 692 b. In- tegral de una funci6én sobre una superficie elemental, 695 c. Super- ficies elementales orientadas, 697 d.Superficies simples, 699 e. Particiones de la unidad e integrales sobre superficies simples, 703 El teorema de la divergencia a. Enunciado del teorema y su in- variancia, 706 b. Demostracién del teorema, 708 Teorema de Stokes Superficies e integrales de superficie en espacios euclidianos de dimensiones superiores a. Superficies elementales, 714 b. In- tegral de una forma diferencial sobre una superficie elemental orientada, 717 c. Superficies simples m-dimen- sionales, 718 Integrales sobre superficies simples, teorema de la divergencia de Gauss y formula general de Stokes en dimensiones superiores Ecuaciones diferenciales Las ecuaciones diferenciales para el movimiento de una particula en tres dimensiones a. Las ecuaciones de movimiento, 725 b. El principio de conservacién de la energia, 727 c. Equilibrio. Estabi- lidad, 659 d. Oscilaciones pequefias 692 706 712 714 721 7256.2 6.3 6.4 6.5 6.6 6.7 Contenido 19 en torno a una posici6n de equilibrio, 733 e. Movimiento planetario, 737 f£.Problemas con valores en la frontera. El cable cargado y la viga cargada, 744 La ecuacién diferencial lineal general de primer orden 751 a. Separacién de variables, 751 b. La ecuaci6n lineal de primer orden, 753 Ecuaciones diferenciales lineales de orden superior 756 a. Principio de superposicién. So- luciones generales, 756 b, Ecuaciones diferenciales homogéneas de segundo orden, 761 c. La ecuacién diferencial no homogénea. Método de variacién de parametros, 764 Ecuaciones diferenciales generales de primer orden 770 a. Interpretacién geométrica, 770 b. Laecuacién diferencial de una familia de curvas. Soluciones singulares. Trayectorias ortogonales, 773 c. Teo- rema de existencia y unicidad de la solucién. 776 Sistemas de ecuaciones diferenciales y ecuaciones diferenciales de orden superior 783 Integraci6n por el método de coeficientes indeterminados 785 El potencial de cargas atractivas y la ecuacién de Laplace 787 a. Potenciales de distribuciones de masa, 788 b. La ecuacién diferencial del potencial, 792 c. Capas dobles uniformes, 794 d. El teorema del valor medio, 797 e. Problemas con valores en la frontera para el circulo. Integral de Poisson, 79920 Contenido Capitulo 7 6.8 71 7.2 7.3 7.4 Mas ejemplos de ecuaciones diferenciales parciales que surgen en la fisicomatematica a. La ecuacién de onda en una di- mensi6n, 802 b. La ecuacién de onda en el espacio tridimensiogal, 804 c. Las ecuaciones de Maxwell en el espacio libre, 806 Cdlculo de vartaciones Funciones y sus extremos Condiciones necesarias para la existencia de valores extremos de un funcional a. Anulacién de la primera variacién, 818 b. Deduccién de la ecuacién diferencial de Euler, 820 c. Demos- traciones de los lemas fundamentales, 823 d. Solucién de la ecuacién diferencial de Euler en casos especiales. Ejemplos, 825 e. Anulaci6n idéntica de la expresi6n de Euler, 829 Generalizaciones a. Integrales con mAs de una funcién argumento, 830 b. Ejemplos, 832 c. Principio de Hamilton. Ecuaciones de Lagrange, 834 d. Integrales que in- volucran derivadas superiores, 837 e. Varias variables independientes, 838 Problemas en que existen condiciones subsidiarias. Multiplicadores de Lagrange a. Condiciones subsidiarias ordi- narias, 840 b. Otros tipos de condiciones subsidiarias, 843 802 813 818 830 840Contenido 21 Capitulo 8 Funciones complejas representadas por series de potencias 8.1 Funciones complejas representadas por series de potencias 847 a. Limites y series infinitas con tér- minos complejos, 847 b. Series de potencias, 850 c. Derivacién e integracion de series de potencias, 852 d. Ejemplos de series de potencias, 855 8.2 Fundamentos de la teoria general de las funciones de una variable compleja 857 a. El postulado de la diferenciabilidad, 857 b. Las operaciones mAs sencillas del cAlculo diferencial, 861 c. Transformacién conforme. Funcio- nes inversas, 865 8.3 Integracién de funciones analiticas 868 a. Definicién de la integral, 868 b. Teorema de Cauchy, 870 c. Apli- caciones. El logaritmo, la funcién ex- ponencial y la funcién potencia general, 872 8.4 Formula de Cauchy y sus aplicaciones 879 a. Férmula de Cauchy, 879 b. Des- arrollo de funciones analiticas en series de potencias, 881 c. La teoria de funciones y la teorfa del potencial, 884 d. El reciproco del teorema de Cauchy, 885 e. Ceros, polos y residuos de una funci6n analitica, 886 8.5 Aplicaciones a la integracién compleja (Integracién de contorno) 890 a. Demostraci6n de la formula (8.22) 890 b. Demostracién de la formula (8.23), 891 c. Aplicacién del teorema de los residuos a la integracién de22 Contenido funciones racionales, 892 d. El teorema de los residuos y las ecuaciones diferenciales lineales con. coeficientes constantes, 895 8.6 Funciones multiformes y la extension analitica 898 Lista de datos biograficos 1028 Indice 1031INTRODUCCION AL CALCULO Y AL ANALISIS MATEMATICO VOLUMEN IiCAPITULO 1 Funciones de varias variables y sus derivadas Los conceptos de limite, continuidad, derivada e integral, como se desarrollaron en el Volumen I, también son basicos.en dos o m4s variables independientes. No obstante, en dimensiones superiores debe tratarse con muchos fenémenos nuevos que no tienen con- traparte en lo absoluto en la teorfia de las funciones de una sola variable. Por regla general, un teorema que puede probarse para funciones de dos variables, puede aplicarse con facilidad a funciones de mas de dos variables sin cambio esencial alguno en la demostra- cién. Por lo tanto, en lo que sigue, a menudo nos restringiremos a funciones de dos variables, en donde las relaciones pueden concebrse geométricamente con mayor facilidad, y estudiaremos las funciones de tres o mas variables sélo cuando con ello se pueda entender mejor este tema; ésto también conduce a interpretaciones geométricas mas simples de nuestros resultados. 1.1 Puntos y conjuntos de puntos en el plano y en el espacio a. Sucesiones de puntos: Convergencia Una pareja ordenada de valores (x,y) puede representarse geométricamente por el punto P que tiene a x y y como coordenadas en algan sistema coordenado cartesiano. La distancia entre dos puntos P = (x, y)y P’ =(x’, y’) esta dada por la formula PP = Ve — xP + — 9, la cual es basica para la geometria euclidiana. Se usa la nocién de distancia para definir las vecindades de un punto. La vecindad ¢ de 2526 Introduccién al cAlculo y al an4lisis matemAtico un punto C = (a, B) consiste de todos los puntos P = (x, y) cuya distancia desde C es menor que €; geométricamente éste es el disco! circular con centro en C y radio € que se describe mediante la desigualdad (x — a)? + (y — BP <2 Consideraremos sucesiones infinitas de puntos P; = (m1, y1), Pa = (x2, y2), 4 Pu = (Xn, Yn); Por ejemplo, Pn = (n, n®) define una sucesién cuyos puntos se en- cuentran sobre la parabola y = x®. No todos los puntos en una su- cesi6n tienen que ser distintos. Por ejemplo, la sucesién infinita Pn = (2, (-1)")_s6lo tiene dos elementos distintos. La sucesién Pi, Ps, . . .,es acotada si puede hallarse un disco que conteénga a todos los Pn,ésto es, si existen un punto Q y un nimero M ‘tal que P,Q 0 existe un numero N tal que Pn se encuentra en la vecindad ¢ de Q para todo n > N? Por ejemplo, para la sucesién de puntos definida por Pn = (e cos n,e-"/4 sen n), se tiene lim Px = (0, 0) = Q,dado que aqui ae nid PrQ = e-"4—>0 para. n—> 00 Se observa que los Py se aproximan al origen Q a lo largo de la es- 1La palabra “circulo”, como se usa comanmente, es ambigua, refiriéndose ya sea a la curva oa la regién limitada por ella. Seguiremos la practica corriente de reservar el término “circulo” s6lo para la curva y el término “regién circular” 0 “disco” para la region bidimensional. De modo semejante, en el espacio distinguimos la “esfera” (es decir, la superficie esférica) del s6lido tridimensional “bola” que limita. *De modo equivalente, cualquier disco con centro en q contiene a todes menos aun niimero finito de los Pa. También se usar la notacién P, -> Q cuando n> ©Funciones de varias variables y sus derivadas 27 Figura 1.1 Sucesién convergente Ps. piral logaritmica con ecuacién r = e~®4 en las coordenadas polares r, 0 (ver la Fig. 1.1). La convergencia de la sucesi6n de puntos Pn = (%n, yn) hacia el punto Q = (a, b) significa que las dos sucesiones de naimeros xn y Yn convergen por separado y que lim xn =a, lim yn = 0. nee ne En efecto, la pequefiez de PnQ implica que tanto x, — a COMO yn - b son pequeifias, ya que |xn — a| S PaQ, |yn — b| S PnQ; inversamente, PrQ = Ven — a + (yn — BY S |xn — a] + lyn — Ol, de modo que PnQ —— 0 cuando tanto xn —> a como ya— b. Precisamenté como en el caso de las sucesiones de niémeros, puede probarse que converge una sucesién de puntos, sin conocer el limite, aplicando el criterio intrinseco de Cauchy para la convergencia. En dos dimensiones, este criterio afirma que: Para la convergenciéa de una sucesién de puntos Pa = (xn, yn) es necesario y suficiente que, para cada ¢ > 0, se cumpla la desigualdad PaPm < & para todan, m que sean mayores que un valor apropiado N = N(e). La demostracién se deduce inmediatamente aplicando el criterio de Cauchy para las sucesiones de nameros a cada una de las sucesiones xn y yn.28 Introduccién al calculo y al andlisis matematico b. Conjuntos de puntos en el plano En el estudio de las funciones de una sola variable x, generalmente se permite que x varie sobre un “intervalo”, el cual podria ser cerrado o abierto, acotado o no acotado. Como posibles dominios de funciones en dimensiones superiores, se tiene que considerar una gran variedad de conjuntos y se tienen que introducir términos que describan las propiedades ms sencillas de tales conjuntos. Por lo comtin se consideraran curvas o regiones bidimensionales en el plano. En el Volumen I (Capitulo 4), se han estudiado con amplitud las curvas planas. Normalmente se dan en la forma “no paramétrica” y = f (x), o bien, en la “paramétrica” por medio de una pareja de funciones x = ¢(t), y = y(t), 0 bien, en la forma “implicita” mediante una ecuacién F(x, y) = 0 (en el Capitulo 3 se tratara m4s acerca de las representaciones implicitas). Ademas de las curvas, se tienen conjuntos bidimenstonales de puntos, formando una regzén. Una regién puede ser el plano xy completo o una porci6on del plano limitada por una curva simple cerrada ¥ y oo: oO Figura 1.2 Una regién simplemente ‘Figura 1.3 Una region triplemente conexa. conexa. ES Figura 1.4 Una regién R no conexa.Funciones de varias variables y sus derivadas 29 (formando, en este caso, una regién simplemente conexa como se muestra en la Fig. 1.2) 0 por varias de esas curvas. En el dltimo caso se dice que es una regi6n miiltiplemente conexa, y el namero de curvas frontera da lo que se conoce como conectividad; por ejemplo, la Fig. 1.3, muestra una regi6n triplemente conexa. Un conjunto plano puede no ser conexo' en lo absoluto, y consistir de varias porciones separadas (Fig. 1.4). Generalmente, las curvas frontera de las regiones que van a considerarse son seccionalmente suaves. Es decir, cada una de esas curvas consiste de un nimero finito de arcos, y cada arco tiene una tangente que gira de manera continua en todos sus puntos, incluyendo los puntos extremos. Por lo tanto, tales curvas pueden tener cuando mas un namero finito de esquinas. En la mayoria de los casos se describira una regién por medio de una o mas desigualdades, donde la igualdad se cumple sobre alguna porcién de la frontera. Los dos tipos mas importantes de regiones, a las cuales recurriremos a cada momento, son las regiones rectangulares (con lados paralelos a los ejes coordenados) y los discos cir- culares. Una reg?6n rectangular (Fig. 1.5) consiste de los puntos (x, y) cuyas coordenadas satisfacen desigualdades de la forma a 0, la vecindad ¢ de Q contiene al menos un punto de S. Para todo nimero natural n es posible elegir un punto Pn de S que pertenece a la vecindad ¢ de Q, con = 1/n. Evidentemente, los Pp convergena Q. e. Puntos y conjuntos de puntos en el espacio Una terna ordenada de nimeros (x, y, z) puede representarse en la manera usual mediante un punto P en el espacio. Aqui, los nameros x, y, 2, las coordenadas cartesianas de P, son las distancias (con signo) de P desde tres planos mutuamente perpendiculares. La distancia PP’ entre los dos puntos P = (x, y, 2) y P’ = (x, y’, 2’) esta dada por PP = VQ — xP + 0 — y+ @ — 2 La vecindad ¢ del punto @ = (a, b, c) consiste de los puntos P = (x, y, 2) para los cuales P@ < e; estos puntos forman la bola dada por la desigualdad (x — a)? + (y — bP + (2-0? <8 Las an4logas a las regiones planas rectangulares son los paralelepipedos' rectangulares descritos por medio de un sistema de desigualdades de la forma a x? es abierto. eCual es la frontera de un segmento lineal considerado como un subcon- junto del plano x, y? 2También se usan los términos “celda” e “intervalo” para describir regiones rectangulares de este tipo, en dimensiones superiores. SAsf, el sistema de moléculas de un gas en un recipiente puede describirse por la posicién de un solo punto en un “espacio fase” con un nimero muy grande de dimensiones. Yendo incluso mAs adelante, en algunas partes del andlisis se acostumbra representar una sucesién infinita de nameros x1, x2,. .. por un punto (x1, 2, . « .) en un espacio con un ntimero infinito de dimensiones.36 Introduccién al cAlculo y al an4lisis matemAtico Problemas 1.1 1. Sea P un punto frontera del conjunto $ que no pertenece a S. Probar que existe una sucesién de puntos distintos P1, Pz... en $ que tiene a P como limite. Probar que la cerradura de un conjunto es cerrada Sea P cualquier punto de un conjunto $ y Q cualquier punto fuera del conjunto. Probar que el segmento rectilineo P@ contiene un punto fron- we tera de S. 4. Sea G el conjunto de puntos (x,y) para el cual x <1, y <1/2yy<0 si x = 1/2. gContiene G sélo puntos interiors? Proporcionar la evidencia necesari 1.2 Funciones de varias variables independientes Funciones y sus dominios Las ecuaciones de la forma warty u=xty4 0 u= log(l— x? —y%) asignan un valor funcional u a una pareja de valores (x, y). En los primeros dos ejemplos se asigna un valor de u a cada pareja de valores (x, y), mientras que en el tercero la correspondencia tiene significado sélo para aquellas parejas de valores (x,y) para las que se cumple la desigualdad x? + y? ~1 En general, se dice que u es una funcidn de las variables independientes x y y siempre que alguna ley f asigna un valor Gnico de uo sea, la variable dependiente) a cada pareja de valores (x, y) que pertenecen a un cierto conjunto especificado, 0 sea, el dominio de la fun- cién. Asi, una funcién wu = f(x, y) define una aplicactén de un conjunto de puntos en el plano x, y —el dominio de f— sobre un cierto conjunto de puntos del eje u, el recorrido de f. De modo semejante, se dice que u es una funci6n de las 7n variables x1, xz,. . . , Xn si para cada conjunto de valores (x1,...,%n) que pertenecen a cierto conjunto especificado, se asigna un valor Gnico correspondiente de ut JA menudo se piensa en las funciones f como si asignaran un valor a un punto P, en lugar de a la pareja (x,y) de coordenadas que describen a P. Entonces se escribe AAP) en lugar de flx,y). Esta notacién es particularmente dtil cuando se define geométricamente la relacién funcional entre los puntos P y los valores f(P), sin hacer referencia a un sistema coordenado x, y especffico.Funciones de varias variables y sus derivadas 37 Asi, por ejemplo, el volumen wu = xyz de un paralelepipedo rectangular es una funcién de la longitud de los tres lados x, y, z; la declinacién magnética es una funci6n de la latitud, la longitud y el tiempo; la suma x1 + x2 + +++ + Xn es una funcién de los n tér- minos %1, %2,..., Xn. Se debe observar que el dominio de una funcién es una parte in- dispensable de su descripcién. En los casos en donde u = f(x, y) se da mediante una expresién explicita, resulta natural tomar como dominio de f todas las (x, y) para las que esta expresién tiene sentido. No obstante, se puede definir por “restriccién” las funciones dadas por la misma expresi6n, pero que tengan dominios menores. Asi, se puede usar la formula u = x? + y? para definir una funcién con dominio x? + y? < 1/2. Precisamente como en el caso de funciones de una variable, una correspondencia funcional u = f(x, y) asocia un valor tinico de u con el sistema de variables independientes x, y. De esta manera, ningén valor funcional es asignado por una expresién analitica que sea mul- tiforme, tal como arc tan y/x, a menos que se especifique, por ejemplo, que el “arc tangente” es valido para la rama principal con valores que se encuentren entre —1/2 y + 1/2 (ver el Volumen I, p. 214); ademas, tiene que excluirse la recta x = 0.2 b. Los tipos mds sencillos de funciones Precisamente como en el caso de una variable independiente, ias funciones mas sencillas de m4s de una variable son las funciones en- teras ractonales o polinomios. El polinomio mas general del primer grado, o funcién lineal, tiene la forma u=ax+t byte, donde a, 6 y c son constantes. El polinomio general de segundo grado tiene la forma Tomando el valor principal, se ve que u = arc tan y/x para x > Onoes otra cosa sino el angulo polar del punto (x,y) medido a partir del eje x positivo. Este angulo polar puede atin definirse geométricamente de una manera obvia como una funcion univaluada con valores entre -n y m si se excluye precisamente el origen y los puntos sobre el eje x negativo, pero entonces el angulo polar ya no esté dado por arc tan y/xen la region extendida, si se entiende que el arco tangente se refiere a la rama principal.38 Introduccién al cléulo y al an4lisis matematico u = ax? + bry + cy? + dx + ey +f. Su dominio es el plano x, y completo. El polinomio general de cualquier grado es una suma de un numero finito de términos a@mnx™y” (llamados monomios), donde m y n son enteros no negativos y los coeficientes @mn son arbitrarios. El grado del monomio amnx"y" es la suma m + n de los exponen- tes de x y y, siempre que el coeficiente @mn no se anule. El grado de un polinomio se determina por el grado mayor de cualquiera de los monomios con que tenga un coeficiente no anulable (después de combinar los términos con las mismas potencias de x y y). Un polinomio que consiste de monomios que tienen el mismo grado N se llama polinomio homogéneo o forma de grado N. Asi, x? + 2xy, 0 bien, 3x3 + (7/5) xy + 2y3 son formas. Extrayendo las raices de las funciones racionales, se obtienen cier- tas funciones algebraicas', por ejemplo, = fe=y (CD) u=,/——-~ 3/\e Te Vxtyt Vad4 xy ° La mayorfa de las funciones mas complicadas de varias variables que se usaran aqui se pueden describir en términos de las funciones bien conocidas de una variable, tal como u=sen(xarccosy) obien u = log: y. c. Representacién geométrica de las funciones Tal como se representan las funciones de una variable mediante curvas, se pueden representar las funciones de dos variables, geo- métricamente, por medio de superficies. Con este fin, considérese un sistema coordenado rectangular x,y,u en el espacio y marquese por encima de cada punto (x, y) del dominio R de la funcién en el plano x, y, el punto P con la tercera coordenada u = f(x, y). Conforme el punto (x, y) varia sobre la region R, el punto P describe una superficie en el espacio. Se toma esta superficie como la representacién geométrica de la funcién. Inversamente, en la geometria analitica, las superficies en el espacio se representan por funciones de dos variables, de modo que en- 1 Véase la p. 275 respecto a una definicion general del término “funcién algebraica”.Funciones de varias variables y sus derivadas 39 tre tales superficies y las funciones de dos variables existe una re- lacién reciproca. Por ejemplo, a la funcién u=VIi-x2—y le corresponde él hemisferio que se encuentra por encima del plano x, y, con radio unitario y centro en el origen. A la funcién wu = a? + y® le corresponde un lamado paraboloide de revolucion, que se obtiene haciendo girar a la parabola u = x% alrededor del eje u (Fig. 1.9). A las funciones u = x — y® y w= ay, les corresponden para- boloides heperbélicos (Fig. 1.10). La funci6n lineal u = ax + by +¢ tiene un plano en el espacio como “grafica”. Si en la funcion u = f(x, y) no aparece una de las variables independientes, digamos y, de modo que w slo depende de x, 0 sea w = g(x) la funcién se representa en el espacio x, y, u mediante una superficie cilindrica generada por las perpendiculares al plano u,x en los puntos de la curva u = g(2). Figura 1.9 u =x? + y*%. Figura 1.10 u =x? — Sin embargo, esta representacién por medio de coordenadas rectangulares tiene dos desventajas. Primero, la imagen geométrica fracasa cuando se trata de tres o mas variables independientes. Segundo, incluso para dos variables independientes, a menudo resulta mas conveniente limitar la discusién al plano x,y Gnicamente, ya que en el plano se pueden trazar esquemas y realizar construcciones geométricas sin dificultad. Desde este punto de vista, a veces es preferible otra representacién geométrica de una funcién de dos variables, por medio de lineas de contorno. En el plano x,y se toman40 Introduccién al calculo y al andlisis matem4tico todos los puntos para los cuales u = f(x, y) tiene un valor constante, digamos u = k. Por lo comin, estos puntos se encontraran sobre una curva o curvas, la llamada linea de contorno o curva de nivel, para el valor constante dado k de la funcién. También pueden obtenerse estas curvas, cortando la superficie u = f(x,y) por medio del plano u =k paralelo al plano x, y y proyectando las curvas de intersecci6n perpendicularmente sobre el plano x, y. E] sistema de estas lineas de contorno, marcadas con los valores correspondientes fi, kz,.... de la altura &, nos da una represen- tacién de la funci6n. En la practica, se asignan valores en progresion aritmética a k, digamos k = vh, donde v = 1, 2, . . . Entonces la distancia entre las lineas de contorno proporciona una medida de la in- clinacién de la superficie u = f(x, y), porque entre dos lineas con- secutivas cualesquiera el valor de la funcién cambia en la misma cantidad. La funcién sube o baja con rapidez donde las lineas de contorno estén muy préximas; en cambio, donde las lineas se separan, la superficie es achatada. Este es el principio con el que se construyen los mapas topograficos como los del U.S. Geological Survey (Servicio Geografico y Geolégico de los E.E.U.U.) En este método, la funcién lineal u = ax + by + ¢ se representa por un sistema de rectas paralelas ax + by + c = k. La funcién u = x? + y? se representa por un sistema de circulos concéntricos (ver la Fig. 1.11). La funcién u = x2 — y®, cuya superficie tiene “forma de silla de montar” (Fig. 1.10), se representa por el sistema de hipér- bolas que se muestra en la Fig. 1.12. Figura 1.11 Lineas de contorno de Figura 1.12 Lineas de contorno de us x+y us xt — yyFunciones de varias variables y sus derivadas 41 El método de representar la funcién u = f(x, y) mediante lineas de contorno tiene la ventaja de poder extenderse hacia funciones de tres variables independientes. Entonces, en lugar de las lineas de contorno, se tienen las superficies de nivel f(x,y, 2) = k, donde k es una constante a la cual se le pueden asignar cualquier sucesi6n apropiada de valores. Por ejemplo, las superficies de nivel para la funcién u = x? + y? + 22 son esferas concéntricas alrededor del origen del sistema coordenado x, y, 2 Ejercicios 1.2 1. Evaluar las siguientes funciones en los puntos indicados: (@) z = (cot are (x +y9)\* tan are (x — y) Lak )woemeew, para zays @z 00s 2, oy e, yslogn (d) z= cosh (x + 5), x = log y= logy 1 yod pez =xty @z=2=> ws . Al igual que en el Volumen I, a menos que se haga una excepcion explicita, se considera el dominio de una funcién definida mediante una expresion formal como el conjunto de todos los puntos para los cuales la expresion tiene significado. Dar el dominio y el recorrido de cada una de las siguientes funciones: (@)z=vzFy @ z= V3— x? — 29? (b) z= 2x9? () 2= y= (&) z= log (x? — y*) 3 2 i @)z=tanare zap (e) z = log (x + By) (m) z= tan are 5 Ey (f) z= vx sen y (n) z= cos arc tan @) w= Vax xe — yt? x+y (0) z= arc cos log (x + 9) (h)z= (p)2z= Vy cos x. @ . Cual es el nGimero de coeficientes de un polinomio de grado n en dos variables ? En tres variables? ¢En k variables?42 Introduccién al cAlculo y al an4lisis matemitico 4. Para cada una de las funciones siguientes, hacer un esquema de las lineas de contorno correspondientes a z = —2, —1, 0, 1, 2, 3: (@) z= xy ) z=x?+y2-1 © z=2—y¥ @ z= 1 @) z=y (I ~ spy 5. Trazar las lineas de contorno para z= cos (2x + y) correspondientes a 2=0,+1,+1/2 6. Hacer un esquema de las superficies definidas por (a) z= 2xy (b) z= x8 +52 ()z=x-y. @z=x (©) z=sen (x + »). 7. Encontrar las curvas de nivel de la funcion 1+ vx? + y® = 108 Tes x . Hallar las superficies sobre las cuales la funcién u = 2 (x® + y?)/z es constante, 1.3 Continuidad a. Definicién Como en la teoria de las funciones de una sola variable, el concep- to de continuidad figura de modo prominente cuando se consideran funciones de varias variables. La proposici6én de que la fun- cién u = f(x, y) es continua en el punto (, n) debe significar, hablan- do en términos generales, que para todos los puntos (x, y) cercanos a (é, 0), el valor de f(x, y) sélo difiere un poco del valor f(é, n). Esta idea se expresa de manera mas precisa como sigue: Si f tiene el dominio R y Q@ = (E, n) es un punto de R, entonces f es continua en Qs? para cada & > 0 existe un 8 > Otal que @ If(P) — FQ) = If, ») — FE, 0) 0 existe un § = &(¢) positivo tal que |f(P) — f(Q)| <« para dos puntos cualesquiera P, Q en R de distancia < 5.! La cantidad 8 = &(e) se lama médulo de continuidad para f, Se tiene el teorema bisico: Una funcién f que esté definida y es continua en un conjunto cerrado y acotado R es uniformemente continua en R. (La demos- tracién se encuentra en el Apéndice de este capitulo.) El caso en el que puede hallarse un médulo de continuidad proporcional a ¢ (ver el Volumen I, p. 43) es de suma importancia. Se dice que una funcién f(P) definida en R es continua segtin Lips- chitz si existe una constante L tal que (3) If(P) - f(Q)|< L PQ para todos los puntos P, Qen R. (L se llama “constante de Lipschitz”; la relacién (8) es la con- dicién de Lipschitz”.) Es evidente que una funcién f continua segan Lipschitz es uniformemente continua y tiene a § = ¢/L como médulo de continuidad? b. El concepto de limite de una funcién de varias variables La nocién de limite de una funci6n esta intimamente relacionada con la nocién de continuidad. Supongamos que f(x, y) es una funcién con dominio R. Sea Q = (&,n) un punto de la cerradura de R. Se dice que f tiene el limite L cuando (x,y) tiende hacia (&,n) y se escribe TEI requerimiento esencial que hace uniforme a la continuidad es que 5 dependa de & pero no de Po de Q. 2La clase atin mas amplia de funciones f “continuas segtin Hélder” se obtiene cuando se remplaza la condicién de Lipschitz (8) por la condicion de Hélder If) -fQISL PQr para todo P, QenR. Ly q son constantes y 0 G n) PQ si para cada € > 0 puede hallarse una vecindad 6) PQ = VE- EP +O mP <8 de (E, n) tal que If(P) — L|=|f, 9) — L| 0. Entonces, en particular, (4) implica que If€ n) — Li Oy de aqui que L = f(E, n). Pero entonces, por de- finicién, la relacién lim fx, y) = FG, n) (xe 9G es idéntica a la condici6n para la continuidad de f en (€, ). De aqui que la continuidad de la funcién f en el punto (é,n) es equivalente a la proposicién de que f estd definida en (é, n) y que f(x, y) tiene el limite fl, n) cuando (x, y) tiende a (é, n). Si f no esta definida en el punto frontera (é, n) de su dominio pero tiene un limite L cuando (x, y) -»(, n), puede extenderse natural- mente la definicién de f al punto (é, n), poniendo f(E, n) = L; entonces la funcién f extendida en esta forma ser4 continua en (, n).Si f(x, y) es continua en su dominio R, puede extenderse la definicion de f como limite no inicamente a un solo punto frontera (, 9) sino simultaneamente a todos los puntos frontera de R para los cuales f tiene un limite. Una vez mas, la funcién extendida que resulta es continua, como el lector puede verificar como un ejercicio. Témese, por ejemplo la funcién '0 bien, im f(x, 9) = L para (x, y) + &, n) o también lim f(x, 9) = L. re yn 2La nocién no tiene sentido para puntos (, n) exteriores a R, ya que entonces existen puntos arbitrariamente proximos a (&, n)en los que f esté definida, y podria considerarse como Ifmite a todo L.46 Introduccién al cAlculo y al an4lisis matematico fx, y) =e definida para toda (x, y) con y > 0. Obviamente, esta funci6n es continua en todos los puntos de su dominio R, el semiplano superior. Considérese un punto frontera (6,0). Para #0, evidentemente se tiene lim f(x, y) = lim e* = 0 (x 9G, se cuando se restringe y a valores positivos. Si, entonces, se define la funci6n extendida f*(x, y) por f*(x, y) = F(z, ») para y > Oy toda x, y por f*(x, 0) =0 para x # 0, la funcin f* sera continua en su dominio R*, donde R* ¢s el semiplano superior cerrado y 2 0 con la excepcién del punto (0, 0). En cl origen f* no tiene limite, y de aqui que no es posible definit £*(0, 0) en tal forma que la extension sea continua en el origen. En efecto, para (x, y) sobre la parabola y = kx®, se tiene fox, y) =e", ‘Lendiendo al origen a lo largo de parabolas diferentes se obtienen valores limite diferentes, de modo que no existe un limite Gnico de Fix, y) cuando (x, y) > 0. También puede relacionarse el concepto de limite de una funcién fix, y) con cl de limite de una sucesion (ver el Volumen I, p. 82). Supéngase que f tiene el dominio Ry lim _ f(z,y) = L. yen Sea Pn = (sn, Jn) paran = 1,2,. . ., cualquier sucesién de puntos en R para la cual lim Pp = (6, n). Entonces la sucesion de nameros f(xn, neo Yn) tiene el limite L. Porque f(x, y) diferiré arbitrariamente poco de L para toda (x, y) en R suficientemente préxima a (E, 0), y (Xn, Yn) es- tara suficientemente préxima a (6, n) tan s6lo haciendo 7 lo suficientemente grande. Reciprocamente, lim f(x,y) cuando (x, y) > (, n) nto existe y tiene el valor L si para cada sucesién de puntos (xn, yn) en RFunciones de varias variables y sus derivadas 47 con limite (6, 0) se tiene lim f(xn, yn) = L. La demostracién puede ser Poe proporcionada facilmente por el lector. Si nos restringimos a los puntos (E, n) en el dominio de f, se obtiene la proposicién de que la continuidad de f en su dominio R significa precisamente que © tim fan, yn) = FE, 0) stempre que lim (xn, yn) = (6, n) 0 bien que Vim f(xn, yn) = f(lim xn, lim yn), donde slo se consideran las sucesiones (xn, yn) en R que convergen y tienen sus limites en R. Entonces, en esencia, la continuidad de una funcién f nos permite el intercambio del simbolo para f con el de limite. Es evidente que las nociones de limite y de continuidad de una funcién se aplican con igual propiedad cuando el dominio de f no es una region bidimensional sino una curva o cualquier otro conjunto de puntos. Por ejemplo, la funcién flat y) = +9)! esta definida en el conjunto R que consiste de todas las rectas x + y = const. = n, donde n es un entero positivo. Es obvio que f es continua en su dominio R. Se mencioné con anterioridad (p. 42) que cuando f(x, y) ¥ g(x,y) son continuas en un punto (&,n). entoncesf + g,f—g, f+ g,y, para g(,n) #0, también f/g son continuas en (, n). Estas reglas se de- ducen inmediatamente a partir del enunciado de la continuidad en términos de la convergencia de sucesiones. Para cualquier sucesién (xn, Yn) de puntos que pertenecen a los dominos af yg y que converge a (é, n), por (6) se tiene Tim fn, yn) = FE 0), im gen, Yn) = BG 0) Entonces, se concluye la convergencia de f(xn, Yn) + gn» Yn), €tC., a partir de las reglas para operar con sucesiones (Volumen I, p. 72). c. El orden de anulacién de una funcién Si la funcién f(x,y) es continua en el punto (E, 0), la diferencia f(x, y) — FE, n) tiende a 0 conforme x tiende af y y tiende an. In-48 Introduccién al cAlculo y al an4lisis matemAtico troduciendo las nuevas variables h = x — § y k = y — n,se puede expresar ésto como sigue: La funcién ¢(h, k) = f(E+h,n +h) -f6 7) de las variables h y k tiende a 0 a medida que / y k tienden hacia 0. Con frecuencia encontraremos funciones (h, k) que tienden hacia cero conforme h y k lo hacen. Como en el caso de una variable independiente, para muchos fines resulta util describir el comportamiento de ¢(h, k) cuando h->+0 y k->0 con mas precision, distin- guiendo entre diferentes “6rdenes de anulacién” y “érdenes de mag- nitud” de g(h, &). Con este fin, se basan las comparaciones en la distancia p= VPFR = VE — OP del punto con coordenadas x=§&+hy y=1 + k desde el punto con coordenadas & y ny se hace uso de la definicién siguiente: Una funcién ¢(h, k) se anula conforme p — 0 por lo menos en el mismo orden que p = VA? + R®, siempre que exista una constante C independiente de h y k tal que se cumpla la desigualdad | oh, 4} bp |S¢ para todos los valores lo suficientemente pequefios de p; es decir, siempre que exista un 5 > 0 tal que se cumpla la desigualdad para todos los valores de h y k tales que 0 < vA? + k® <5. Entonces se escribe simbdlicamente: ¢(h,k) = O(p). Es ms, se dice que ¢(h, k) se anula para un orden superior a p si el cociente $(h, k)/p tiende a 0 conforme p — 0. Esto se expresara mediante la notacién simbélica g(h k) = o(p) cuando (h, k) +0 (ver el Volumen I, p. 253, donde se explican los simbolos “o” y “O” para las funciones de una sola variable). Consideremos algunos ejemplos. Como \Al 1k| vee St YER S11 las componentes h y & de la distancia p en la direccion de los ejes x y y se anulan por lo menos en el mismo orden que la propia distancia. TGon el fin de evitar confusiones, sefialaremos expresamente que un orden superior de anulacién cuando p +0 implica valores menores en la vecindad de p = 0; por ejemplo, p? se anula en un orden superior a p y p? es menor que p cuando p.est& préximo a 0.Funciones de varias variables y sus derivadas 49 Lo mismo es cierto para una funcién lineal homogénea ah + bk.con constantes a y 6 o para la funcién p sen Para valores fijos a mayores que 1, la potencia p* de la distancia se anula en un orden superior a p; simbélicamente, p* = o(p) para a > 1. De modo semejante, un polinomio cuadratico homogéneo ah? + bhk + ck?, en las variables A y k, se anula en un orden superior a p conforme p > 0 ah? + bhk + ck® = o(p). En forma mas general, se usa la definicién siguiente. Si se define la funcién de comparacién w(h, k) para todos los valores diferentes de cero de (h,k) en un circulo suficientemente pequefio alrededor del origen, y que no sea igual a cero, entonces ¢(h, k) se anula por lo menos en el mismo orden que oh, k) conforme p > 0 si para alguna constante C elegida apropiadamente, se cumple la relaci6n (hk) oh, b) 2S en una vecindad del punto (h, k) = (0, 0).Esto se indica por medio de la ecuaci6n simbélica g(h, k) = O(w(h, k)). De modo semejante, g(h hk) se anula en un orden superior a o(h, k),o bien, Hh, k) = of(a(h, . gh, R) AD) si Gk) Por ejemplo, el polinomio homogéneo ah? + bhk + ck? por lo menos es del mismo orden que p?, ya que 0 cuando p> 0. lah? + bhk + ck?| =| lal + Flb1 + lel) (A? + Re) También p = o(1/|logp|), ya que lim (p log p) =0 (Volumen I, p. 252). °o Ejercicios 1.3 1, La funcion 2 = (x — y)/(x +) es discontinua a lo largo de y Hacer un esquema de las curvas de nivel de su superficie para 2 1, £2. 2Como se ven las curvas de nivel paraz = -Em,y m grande? 2. Examinar la continuidad de la funcién z = (x? + y)—V/z* $y, donde 2=0para x= y= 0. Hacer un esquema de las curvas de nivel z = k (k = —4, —2, 0,2, 4). Presentar (en una grAfica) el comportamiento de z como una funcién de x Gnicamente, para y=—2, —1, 0, 1, 2. De modo50 Introduccién al cAlculo y al andlisis matem4tico semejante, presentar el comportamiento de 2 como una funcion de y Gnicamente, para x=0, 1,2. Por dltimo, presentar el comportamiento de Z como una funcién de inicamente, cuando 0 es constante (siendo ¢, © coordenadas polares). . Verificar que las funciones (a) f(x, y) = x8 — Bxy? (b) ae, y) = x4 — 6xty? + 94 son continuas en el origen, determinando el médulo de continuidad 3¢). ~ gEn qué orden se anula cada funci6n en el origen? . Demostrar que las funciones siguientes son continuas: (a) sen(? + y) (b) - _sen xy vx + x84 93 © 33 (a) x® log (x? + y*) donde, en cada caso, la funcién se define en (0, 0) como igual al limite de la expresion dada. Hallar un médulo de continuidad, 8 = &(e, x,y), para las funciones continuas o (@) f(x, ») = VI + x? + 2? b) f(x,y) = V1 + eH, ¢Dénde es discontinua la funcién z = 1/(x® — y)? ¢Dénde es discontinua la funcién z = tan ny /cos x? ¢Para qué conjunto de valores (x, y) es continua la funciénz = 7y cos ? Demostrar que la funcién z= 1/(1 — x* — y®) es continua en el disco unitario x? + 9? <1, 10. Encontrar la condicién para que el polinomio Se ePue P= ax? + 2bxy + cy? tenga exactamente el mismo orden que p% en la vecindad de x = 0, y = 0 (es decir, que tanto P/o? como p*/P sean acotados). 11. Determinar si las funciones siguientes son continuas 0 no, y si no lo son, dénde son discontinuas: x 2% x +yt On (a) sen1 2 Funciones de varias variables y sus derivadas 51 x+y? e+y @ . Demostrar que las funciones 2 f(x, = a(x, Y) = Byyox a + om 5 ticnden a 0 si (#, »)se aproxima al origen a lo largo de cualquier recta, pero que fy g son discontinuas en el origen. Determinar si las funciones siguientes tienen limite en x = y = Oy dar el limite cuando exista. @ oa (e) exp [= |x — yl Ile — Bay +99) a) yy P y cy + y’ 2 2 “ere © Ixl 2 2 © Bees @ |x @ -= ==! (ays 192! Vet ah — Day + y2 x+y + Lyle] . Hallar un médulo de continuidad 8(¢) para aquellas funciones del Ejer- cicio 13 que tengan limite en x = y=0, donde las funciones estan definidas en el origen por medio de sus valores limite. Demostrar que f(x, y, z) = (x? + y® — 2*)/(x® + y? + 2?) no es continua en (0, 0,0). . Probar que si P(x, 9)y Q(x, 9)son, cada uno, polinomios de grado n > 0 que se anulan en el origen. Re, N= ae eS no es continua en el origen. . Hallar los limites de las expresiones ‘siguientes conforme (x, y) tiende a (0, 0) en una forma arbitraria: sen (x? + 92) e+y (by 228 (x4 + y4) x + y2 e-Ma2+y2) © Ty @ . Demostrar que la funcién 2 = 3(x — y)/(x + y) puede tender hacia cualquier limite conforme (%, y) tiende hacia (0, 0). Dar ejemplos de las variaciones de (x, y)tales que52 Introduccién al cAlculo y al an4lisis matematico (a) lim z=2 z20 wo (b) lim z=-1 z20 yr (© lim z noexiste ze 7 19. Si f(x,y) +0 conforme (x,y) + (0,0) a lo largo de todas las rectas que pasan por el origen, f(x,y) —*0 conforme (x, y) — (0, 0) a lo largo de cualquier trayectoria? 20. Investigar el comportamiento de z= ylogx: en una vecindad del origen (0, 0). 21. Para z= f(x,y) = (x* — y)/2x, trazar las graficas de (a) z= f(x, x*) (b) z=f(z, 0) © z2=f(@,1) @) z=f(x, x) ¢Existe el limite de f(x, y)conforme(x, y) > (0, 0)? 22. Dar una interpretacion geométrica de la proposicién siguiente: $(h, k) se anula con el mismo orden que p = vA? + F. Problemas 1.3 . Considérese la funcion continua f extendida a la funcién f* definida de modo que f* =f en el dominio de fy f*(Q) = lim f(P) para todos los Pa puntos Q sobre la frontera de f donde el limite existe. Probar. que f* es continua. . Probar que lim f(%, ¥) cuando (x, ¥) — (, 1) existe y tiene el valor L si y slo si, para cada sucesién de puntos (xn, yn) en el dominio de f con limite (, 9) se tiene lim f(xn, yn) = L. ne 1.4 Las derivadas parciales de una funcién a. Definicién. Representacién geométrica Si en una funci6n de varias variables se asignan valores numericos definidos a todas excepto a una de las variables y s6lo se deja variar a esa variable, digamos x, la funci6n se transforma en una funcién de una sola variable. Considérese una funcién u = /(x, y) de las dos variables x y y y asignese a y un valor fijo definido y = yo = c. LaFunciones de varias variables y sus derivadas 53 # & 3S y recon) y i Figura 1.18 y Figura 1.14 Seccciones de u = f(x,y). funcion resultante u = f(x, yo) de la sola variable x puede representarse geométricamente cortando la superficie u = f(x, y) mediante el plano y = yo (ver las Figs. 1.13 y 1.14). La curva de intersecci6n asi formada en el plano se representa por la ecuacién u = f(x, yo). Si se deriva esta funcién en la manera usual, en el punto x = xo, suponiendo que f esta definida en una vecindad de (xo, yo) y que la derivada existe} se obtiene la derivada parcial de f(x, y) con respecto a x en el punto (xo, Yo): m feo +h, AW ofl f(x0, Yo) ey Geométricamente, esta derivada parcial denota la tangente del angulo entre una paralela al eje x y la recta tangente a la curva u = f(x, yo). Por lo tanto, es la pendiente de la superficie u = f(x, y) en la direcci6n del eje x. Se usan varias notaciones diferentes para representar estas derivadas parciales, una de las cuales es la siguiente: lim ho Mest eae) = [ory TLC ACE ENED Si se desea hacer resaltar que la derivada parcial es el limite de un cociente de diferencias, se la denota por of a az ° axl INo trataremos de definir una derivada en los puntos frontera del dominio (excepto, en ocasiones, como limite de los valores de las derivadas parciales cuando se aproxima el punto frontera por medio de puntos interiores).54 Introduccién al calculo y al andlisis matemAtico Aqui se usa el simbolo especial d en lugar de la d ordinaria usada en la derivacién de funciones de una variable, con el fin de indicar que se trata con una funcién de varias variables y se esta derivando con respecto a una de ellas. Para algunos fines resulta conveniente usar el simbolo D de Cauchy (mencionado en la p. 158 del Volumen I) y escribir af of — De, pero nosotros rara vez usaremos este simbolo. Exactamente en la misma forma se define la derivada parcial de f(x, y) con respecto a y en el punto (xo, yo), por la relacion Yim Ao dot B= fn. 20) — f(xy, 9) = Dyflao, 0) Esto representa la pendiente de la curva de interseccién de la superficie u = f(x, y) con el plano x = xo perpendicular al eje x (Fig. 1.14). Pensemos ahora en el punto (Xo, yo), — considerado hasta ahora fijo— como variable y, en consecuencia, omitamos los subindices 0. En otras palabras, pensemos que se lleva a cabo la derivacién en cualquier punto (x, y) de la region de definicion de f(x, y). Entonces las dos derivadas son ellas mismas funciones de x y y, urls, 9) = fale, 9) = FED yaya, 9) = lx, 9) = LED wn Por ejemplo, la funcién u = x* + y® tiene las derivadas parciales Uz = 2x (en la derivaci6n con respecto a x, el término y? se considera como una constante y, en consecuencia, tiene la derivada 0) y uy = %y. Las derivadas parciales de u = x*y son uz = 3x*y y Uy = x*. De modo semejante, para una funcién de cualquier nimero n de variables independientes, las derivadas parciales se definen por aflseas x2,» « «5 Xn) _ yp fa + hy x2,» «5 en) — fly ey « «end x1 ss) h = fay(a, x2, . Xn) = Dayflxi, x2, . . . , Xn); suponiendo que el limite existe.Funciones de varias variables y sus derivadas 55 Por supuesto, también pueden formarse derivadas parciales superiores de f(x, y), derivando una vez mas las derivadas parciales de “primer orden”, fz(x, y) y fy(x, y), con respecto a una de las variables y repitiendo este proceso. El orden en el que se realizan las derivaciones se indica por el orden de los subindices o por el orden de los simbolos dx y dy en el “denominador” de derecha a izquierda* y se usan los simbolos siguientes para las segundas derivadas: a (af) _ OF 6 _ yyy sll- and = fee = Of, Sl) = EL = fev = Dede, ale)= eee fuz = DyDif, 2 (f) = 2 = fy = Dor. De la misma manera, las terceras derivadas parciales se denotan por att) azlaxe] = ax8 GPF) Of _ Sylaxe) = ay dat = fem 8 | ef )= OF Balirdy) = Sat dy = y asi sucesivamente y, en general, las n-ésimas derivadas por alone) ~ Sun = am yim) ay axe oe y asi sucesivamente. Las diferentes notaciones para las derivadas parciales tienen sus respectivas ventajas. Escribiendo df(x, y)/@x, o bien, Dzf(x, y) para la derivada parcial de la funcién f(x, y) con respecto a su primer argumento se hace resaltar que la derivacién tiene el caracter de un ¥Esto es consistente con la notacién generat para los productos simbélicos de operadores (ver el Volumen I, p. 55). En realidad, en la mayorfa de los casos de in- terés no importa el orden en el que se levan a cabo las derivaciones (ver la p. 62).56 Introduccién al cAlculo y al an4lisis matematico operador Dz o d/0x que actda sobre la funcién, escrito simbélica- mente como un factor que multiplica a la funcién. La notacién para las derivadas superiores es consistente con esta idea de un producto: (8 -)_ _# aybe!)= aa Una desventaja de la notacién de operador es su incomodidad cuando se va a indicar para qué valores de las variables independientes se toman las derivadas. Por ejemplo, si f(x, y) = x2 + Qxy + 4y?, entonces su derivada respecto a x en el punto x = 1, y = 2 puede escribirse como f = DyDuf. ( af(x, 2) fa Fell, 2) = (2x + 2y) jan No debe escribirse simplemente como afd, 2) ya que /(1, 2) tiene el valor constante 21 y, de aqui, que tiene a 0 como su derivada respecto a x. Tal como en el caso de una variable independiente, el tener derivadas es una propiedad especial de una funcién, incluso no gozada por todas las funciones continuas.* Con todo, esta propiedad es poseida por todas las funciones de importancia practica, excepto tal vez en puntos excepcionales aislados 0 curvas. Ejercicios 1.4a 1, Encontrar dz/0x, d2/y para cada una de las funciones siguientes: (a) z= ax" + by™, a,b, m,n constantes (h) z = 37'¥ (b) z = 2xev* + By @ z=log («+3) = 0% 43% er (z= 25 43% G) z= cos (x? +9) (@) z=are tan 4 (ks) 2 = tan (xy + e*) () z= x42 @z= *Véase las pp. 69 y 70 respecto a una explicaci6n del término “diferenciable”, el cual implica mas que la existencia de las derivadas parciales con respecto ax y ay.ry ad * oe ~ Funciones de varias variables y sus derivadas 57 (@) z= 9" (m) z = xeY + ye* (g) 2 = xin yo (n) 2 = xv . Hallar las primeras derivadas parciales de las siguientes funciones: (@) ¥x2 +92 @ ——. vitxtyte (b) sen (x? — y) (©) y sen vz (c) ev (@) log VI+ x? +52 Encontrar todas las primeras y segundas derivadas parciales de las siguientes funciones: (a) xy (b) log xy (©) tan (are tan x + arc tan y) @) x” © ec . Sea w= f(x,y, 2) = (cos x/sen y)e%, Hallarfs, fy, fe para x=, y= n/2, 2 = log 3. . Para f(x, y) = y cosh x + xsenh yhallar f,? + fy2, en x = 0, = 0. Demostrar que las funciones u =e? cos y, v =e sen y, satisfacen las condiciones uz = Uy, Uy = —vz. . Demostrar que las funciones del Ejercicio 6 satisfacen la ecuacién diferencial parcial fez + fuy = 0. Hagase lo mismo para las funciones (a) log vx? + y2® y (b) arc tan® c) y © ate (d) 3x%y — y% (e-) Vx-+ Vx2 + 92 . Parar = vx2 + y® + 2% hallar rez + ryy + ree. Hallar una constante @ para la cual, si z = y® + ayx®, entonces zzz + zy = . Probar que la funcion C1, XE). Xe Eas EIT KS (ex? xa? Foe Fonte satisface la ecuacion aya, + feat to 0 + fone, = 0.58 Introduccién al calculo y al andlisis matematico Problemas 1.4a 1, @Cuantas n-ésimas derivadas tiene una funcién de tres variables? ede hk variables? . Dar un ejemplo de una funcién f(x, y) para la cual fr exista y fy no. . Hallar una funcién f(x, y) que sea una funcién de (x? + y) y que tam- bién sea un producto de-la forma (x) $(y); esto es, resolver la ecuacién F(x, ¥) = $(2* + y) = Y@)Uy) para las funciones desconocidas. 4. Probar que cualquier funcion de la forma wpe t+ 1) r) vds, 9,2) =D 4 =D (donde r? = x? + y? + 22), satisface la ecuacion Ure + Uyy + Uez = Ute. b. Ejemplos - En la practica, la derivacién parcial s6lo incluye conceptos que el estudiante ya domina. Porque, de acuerdo con la definicién, todas las variables independientes se mantienen constantes, excepto aquélla con respecto a la cual se esta derivando. Por lo tanto, simplemente tienen que considerarse las otras variables como constantes y Ilevar a cabo la derivacién de acuerdo con las reglas mediante las cuales se derivan las funciones de una sola variable independiente. A conti- nuacién se dan algunas derivadas parciales de varias funciones sencillas. 1. Funcién: f(x, ») = xy Primeras derivadas: Segundas derivaaas: fex=0, fev=fue=1, fw = 0 2. Funcién:Funciones de varias variables y sus derivadas 59 fx, y) = vx? + ye? Primeras derivadas: y Vx + y' f= [De donde, para el radiovector r = Vx% + y@ desde el origen hasta el punto (x,y), las derivadas parciales con respecto ax y ay estan dadas por cosg = a/r, y sen ¢ = y/r, donde ¢ es el angulo que el radiovector forma con la direccién positiva del eje x.] Segundas derivadas: -—_* sen? g fe = Tayi __ sen § cos $ yep ro 3. Reciproco del radiovector en tres dimensiones: __ 1 1 10.9.2) = Faas =} Primeras derivadas: Zz, fe - Segundas derivadas: 1 | 3x2 1, ay? 1, Be fez=—iat te fw=- ts fe=— ate60 Introduccién al calculo y al an4lisis matem4tico 3x3 3yz 32x fou = fee = "2, fue = fev =, fer = fa = ‘4 . 1 . De ésto se ve que para la funcién f =—-—-——— , la ecuaci6én f ve + yt zt 24 yt 4 28 fen + fur + fr =—9, + EAE TZ) _ 9 se cumple para todos los valores de x, y, z excepto 0, 0, 0; se dice que la funcién f(x, y, 2) = 1/r satisface la ecuacién diferencial parcial (“‘ecuacién de Laplace”) fax + fuv + fer = 0. 4, Funcién: f(x,y») = Feo Primeras derivadas: fe = ~FED o-e-as*iay, 2ysl -1 f= ayaa + Segundas derivadas: )4) xa)? + Sar? (2-a)*/4y, Por lo tanto, se satisface la ecuacién diferencial parcial fre — fy = 0 idénticamente en x y y.Funciones de varias variables y sus derivadas 61 c. La continuidad-y la existencia de las derivadas parciales Para una funcién de una sola variable, la existencia de la derivada en un punto implica la continuidad de la funci6n en ese punto (ver Volumen I, p.166). En contraste con ésto, la posesién de las derivadas parciales no implica la continuidad de una funcién de dos variables: por ejemplo, la funcién u(x, y) = 2xy/(x® + y), con u(0, 0) = 0, tiene derivadas parciales en todo punto y, empero, ya se ha vis- to (p. 48) que es discontinua en el origen. Geométricamente hablan- do, la existencia de las derivadas parciales restringe el comportamiento de la funci6n en las direcciones de los ejes x y y Gnicamente, y no en las otras direcciones. Sin embargo, la posesién de derivadas parciales acotadas implica la continuidad, como se afirma en el teorema siguiente: St una funcion f(x,y) tiene derivadas parciales f, y fy en todo punto en un conjunto abierto R y estas derivadas satisfacen en todo punto las desigualdades Ife, f(x, , z) que la existencia y la condicién de ser acotadas de las primeras derivadas parciales son suficientes para la continuidad de f. 1. Demostrar que las siguientes funciones f(x, y) son continuas: @) fea [PP HIF O () fle, ») = ha + y4) log (x? + y*), A 2 ye 0. d. Cambio del orden de la derivacién En todos los ejemplos de derivacién parcial dados en las pp. 58-60, se encuentra que fyz = fry; En otras palabras, no existe diferencia si se deriva primero con respecto a x y luego con respecto a y, 0 si se deriva primero con respecto a y y después con respecto a x. En general, ésto es cierto bajo las condiciones del teorema siguiente: Si las derivadas parciales “mixtas” fry * fy, de una funci6n f(x, y) I dominio de f es un rectingulo con lados paralelos a los ejes, se cumple la desigualdad para dos puntos cualesquiera (x,y) y (x +h, +) en el dominio. Entonces se concluye que fes incluso continua segin Lipschitz (ver la p. 44).Funciones de varias variables y sus derivadas 63 son continuas en un conjunto abierto R, entonces se cumple la ecuacién (10) fos = fey en todo R; es decir, no importa el orden la derivaci6n con respecto a xyay. La demostracién, como la de la subsecci6n anterior, se basa en el teorema del valor medio del cAlculo diferencial. Considérense los cuatro puntos (x, y), (x + h, y), (x, y+ k), y (x + A, ¥ + k), donde h#0yk#0. Si(x,y)es un punto del conjunto abierto R y si h y k son lo suficientemente pequejfios, estos cuatro puntos pertenecen a R. Formese ahora la expresin a) A=f(xt+hy +k) —f(x+h,y)— fx, y + k) + fe, 9). Introduciendo la funcién (x) = fix, y + k) — fx, y) de la variable x y considerando la variable y simplemente como un “parametro”, A toma la forma A = g(x + h) — o(x). Aplicando el teorema del valor medio del cAlculo diferencial resulta A = hd'(x + 8h), donde @ se encuentra entre 0 y 1. No obstante, a partir de la defi- nicién de ¢(x),se tiene 8 (x) = fala, y + k) — falx, »), y como se ha supuesto que la segunda derivada parcial “mixta” fy existe, nuevamente puede aplicarse el teorema del valor medio y encontrar que (12) A = hhfyx + Oh, y + O'R), donde 6 y 6’ denotan dos nameros no especificados entre 0 y 1. Exactamente de la misma manera se puede introducir la funcién VO) = fe +h, ) — 1,9) y expresar 4 como A=wy + k)— vo).64 — Introduccién al cAlculo y al anAlisis matematico Asi se llega a la ecuaci6n A = hhfry(x + Oh, y + 01’), donde 0 < @:<1 y 0 < 61’ <1, y si se igualan las dos expresiones para A se obtiene la ecuacién fuxlx + Oh, y + OR) = fey(x + Oh, y + O1'R). Si aqui se hace que A y & tiendan simultaneamente a 0 y se recuer- da que las derivadas fzs(x, y) y fyz(x, y) son continuas en el punto (x, y), inmediatamente se obtiene fac, Y) = fala, ”), lo que debia demostrarse.* El teorema sobre la reversibilidad del orden de la derivaci6n (es decir, sobre la conmutatividad de los operadores de derivacién Dz y Dy) tiene consecuencias de largo alcance. En particular, se ve que el ¥Para Investigaciones més refinadas, a menudo resulta Gtil saber que el teorema sobre la reversibilidad del orden de la derivacién puede probarse con hipotesis mas Aébiles, En efecto, basta con suponer que, ademés de las primeras derivadas parciales fz y fy, solo existe una derivada parcial mixta, digamos fy:, y que esta derivada es continua en el punto en cuestién. Para probarlo, regrésese a la ecuacién (11), dividase entre hk y, a continuacién, hagase que k sola tienda hacia 0. Entonces el segundo miembro tiene un limite y, en consecuencia, el primer miembro también tiene un limite y they) = fol») Ademis, arriba se probé, con la Gnica hipotesis de que fyz existe, que A ; Ax fule+ Oh, y + 0%. En virtud de la continuidad supuesta de fyz, se encuentra que para ¢ > 0 arbitrario y para todos los valores de A y k suficientemente pequefios, fil, 9) — © < foal + Oh, 9 + OF) = (use + unns+ + + +)dx + (usbytunny+ + + +)dy = uz dx + uy dy. Esta ecuacién muestra que se obtiene la parte lineal del incremento de la funcién compuesta u = f(é, 0,.-.) = F(x, 9), escribiendo primero esta parte lineal como si &,n,. . . fueran las variables in-84 Introduccién al calculo y al anAlisis matematico dependientes y, a continuacién, remplazando dé, dn,... por las partes lineales de los incrementos de las funciones § = ¢(x, y), 1 = v(x, 9), . .. Este hecho manifiesta la conveniencia y la flexibilidad de la notacién diferencial. Con el fin de probar la proposicién (18), simplemente se tiene que aplicar la hipétesis de que las funciones de referencia son diferenciables. A partir de ésto se concluye que correspondiendo a los incrementos Ax y Ay de las variables independientes x y y, las cantidades &, n, . . . cambian en las cantidades (20a) AE = be Ax + Ey Ay + erv(Ax)® + (Ay)? (20b) An = nz Ax + ny Ay + e2v(Ax)? + (Ay) - - - donde los nameros £1, &2,.. . tienden hacia 0 cuando Ax >0 y Ay > 0 0 cuando V(Ax)? + Gy) 0. Las derivadas ¢z, $y, Wz, Wy se toman para los argumentos x, y. Es mas, si las cantidades &, 1, . . . sufren los cambios Ag, An, .. ., la funcién uw = f(é,0,.. .) cambia en la cantidad Ql) Aw= feb + fodn be + + 8V(RQEE Ene R ee donde la cantidad 6 tiende hacia 0 cuando AE +0 y An 0, y fe fn tienen los argumentos & 1. Usando aqui por Ag, An, .. . las cantidades dadas por las formulas (20a, b) que corresponden a los incrementos Ax y Ay en x y y, se encuentra una ecua¢ién de la forma (22) Au = (feb + fr + + + +) Ax + (feby + fry ++ + +) Ay + ev(Axy? + (Ay) Aqui, para Ax = pcos a, Ay =p sena, p = V(Ax) + Gy), la cantidad ¢ esta dada por & = eife + xf, + 3V(z cos a + gy sen a + €1)" + (Wz COS @ + Wysen a + 62)? Fee + Cuando p> 0, las cantidades Ax, Ay, e1, €2 tienden hacia 0, y de aqui que lo mismo sucede con Ag, An, y 8. Por otra parte, fe, fn, . . « » $2 $v) Wz, Wy,» . permanecen fijas. Como consecuencia, lim ¢ = 0. P+0Funciones de varias variables y sus derivadas 85 De (22) se concluye que wu, considerada como una funcién de las variables independientes x, y, es diferenciable en el punto (x, y) y que du esta dada por la ecuacién (20). A partir de esta expresién para du se encuentra que las derivadas parciales uz, uy tienen las expresiones (19) 0 (18). Es evidente que este resultado es independiente del nimero de variables independientes x, y, . . .. Sigue siendo valido, por ejemplo, si las cantidades &, 1, . . . sélo dependen de una variable independiente x, de modo que u es una funcién compuesta de la variable x anicamente. Para calcular las derivadas parciales superiores s6lo es necesario derivar los segundos miembros de las ecuaciones (19) con respecto a x yy, tratanto a fe, fa, . . . como funciones compuestas. Restringién- donos, por simplicidad, al caso de tres funciones &, n, y 6, se obtiene* (23a) Ur = feebe® + fanz? + fecbe® + 2fenEmnz + WAnenabe + 2febale + fiber + fatter + febex, (23b) ury = fesbreby + famany + fecbeby + fen(Exny + Eynz) + fa(maeby + nube) + feclEcky + bub2) + febry + finay + febev, (23c) Uy = fesby® + fanny® + feeby® + 2fenbyny + 2fretacy + 2fecbuby + febvy + fanuy + febv. Ejercicios 1.6a 1, Encontrar todas las derivadas parciales de primero y segundo orden con respecto ax y y para las funciones siguientes: (a) z =u log v, donde u = x*, v= 7 l+y (b) z =e, donde u = ax, v = cos y (©) 2=ware tan v, donde w= y= aly ty —x @ z2=8 (+ 9%, ev) (©) z= tan (x arc tan y). qui se supone que f es una funcién de &, n de clase C? y que & n, ¢ son funciones de x, y, de clase C2, Se concluye que la funcién compuesta u de x y y, a su vez, es de clase C®.86 Introduccién al calculo y al andlisis matematico we Calcular las derivadas parciales de primer orden para 1 (9) © = TErESFF bay cons) x (©) w= are sen F553 (©) w= x? +y log (i +22 +92 + 2%) (@) w= arc tan V@ y=) & Calcular las derivadas de (a) z=x, @ 2=(Q)")". . Probar que si f(x, y) satisface la ecuacién de Laplace af | oF 9x2 T Jy? - también la satisface $(x, y) =f x y e+ Ey’ o . Probar que las funciones (a) f(x, y) = log Vx? $52, 1 () g@, 9,2) = vx? $y? + 22” ©) h(x, y, 2, w) = Pryte pw satisfacen las respectivas ecuaciones de Laplace, (@) fez + fuy = 0, (b) gaz + Byy + 82 =0, {©) hax + Ayy + hee + Aww = 0. Problemas 1.6a . Probar que si f(x, y) satisface la ecuacién de Laplace eciannets ax? dy? y siu(x, ») y v(x, y) satisfacen las ecuaciones de Cauchy-Riemann, du_ %, du__av Ox ~ Dy’ Dy = Hx entonces la funcién (x, ») = f(u(x, y), v(x, y) ) también es una solucion de la ecuacién de Laplace. Probar que siz = f(x, y) es la ecuacién de un cono, entonces nrFunciones de varias variables y sus derivadas 87 fesfuy — fey? =0 3. Sea f(x, y, 2)=g(r), donde r= Vx2 +9? FR (a) Caleular fez + fuv + fee. (b) Probar que si fe + fur + fez = 0, entonces f (x, », 2)= 4 + 6, donde ay 6 son constantes. 4. Sea f(xi, x2,. . . , Xn) = g(r), donde rave pape ee bat (a) Calcular feyz, + feaze + * * + + fenen (comparar con 1.4a, Ejercicio 10). (b) Resolver f2y21 + fesze + * + * +fentn = 0. b. Ejemplos' 1. Consideremos la funcién u = exp (x? sen*y + 2xy sen x sen y + y*). Haciendo u=ent, E= x2 sen%y, n= Qxy senxseny, C= yx se obtiene bz =2xsen’y, z= 2ysenxseny+2xycosxseny, Cz = Ey = 2x* sen y cos y, Ny = 2x sen x seny + 2xy sen x cosy, ly = 2y; ug = Un = uy = ent, De aqui que Uz = 2 exp (x*sen2y + Qxy sen x sen y + y?) (x sen2y + y sen X seny + xy cos x sen y) Uy = 2 exp (x? sen®y + Qxy sen x sen y + y?) (x? sen y cosy + x sen x sen y + xy senx cosy + y). 2. Para la funcion u = sen (x? + 92) 'Se observa que las derivaciones siguientes también pueden llevarse a cabo direc- tamente, sen aplicar la regla de la cadena para funciones de varias variables.88 Introduccién al cAlculo y al an4lisis matematico se pone = x? + y® y se obtiene Uz = 2x cos (x? + 2), Uy = 2y cos (x? + y?) Urz = — 4x2 sen(x? + y2) + 2 cos (x? + y%), Ury =— 4xy sen(x? + y?) Uyy = — 4y? sen (x? + y2) + 2 cos (x? + y?). %, Para la funcién u = arc tan (x* + xy + y%), la sustituci6n € = x®, n = xy, ® conduce a cy; us = —— 22 ty T+ (+ ay + yy)?” wy = —— 2 +» 1+ (8 + xy + yh?" c. Cambio de las variables independientes La aplicaci6n de la regla de la cadena (19) a un cambio de las variables independientes es particularmente importante. Por ejemplo, sea u =f(E, n) una funcién de las dos variables independientes & n, las cuales se interpretan como coordenadas rectangulares en el plano §,n. Pueden introducirse nuevas coordenadas rectangulares x, y en ese plano (ver el Volumen I, p. 361) relacionadas con §, 9 por medio de las férmulas (24a) S=axt By, 1 = ae + Boy o bien, (24b) z=m&+am, y= Bib + Ben Aqui, a1 =cosy, G2=—seny, Bi=seny, fe=cosy, donde y denota el Angulo que el eje positive & forma con el eje positivo x. Entonces la funcién u = f(E, n) se “transforma” en una nueva funciénFunciones de varias variables y sus derivadas 89 u = f(E, n) = flax + Bry, aax + Boy) = F(x,y), la cual se forma a partir de f(é, 0) mediante un proceso de com- posicién como el que se describe en la p. 81. Se dice que la variable dependiente wu esta “referida a las nuevas variables independientes x y y, en lugar de & y 1.” Las reglas de derivacién (19) de la p. 88 inmediatamente propor- cionan (25) Ur = Usd +Und2, — Uy = Ue + UnBe, donde wz, wy denotan las derivadas parciales de la funcion F(x, y), y us, un , las derivadas parciales de la funcién f(E, n). Asi, las derivadas parciales de cualquier funcién se transforman de acuerdo con la misma regla (24b) que las variables independientes, cuando se giran los ejes coordenados. Esto es cierto también para la rotacién de los ejes en el espacio. ! Otro cambio importante de las variables independientes es el de las coordenadas rectangulares (x, y) en las coordenadas polares (r, 9). Las coordenadas polares estén relacionadas con las coordenadas rectangulares por las ecuaciones (26a) =rcos 0, y=rsend - 2p ye Z = (26b) r= Ve +r, 8 = arc cos Very eee ee +e Refiriendo una funcién u = f(x, y) a coordenadas polares, se tiene u = f(x, y) = f(r cos 8, r sen 0) = F(r, 8), y u aparece como una funcién compuesta de las variables independientes r y 0. De aqui que, por la regla de la cadena (19), se obtiene sen 0 a x Uz = Urrx + Ue = Ur 7 uy 2 = ur cos 0 — uo en ' x cos Uy = Urry + Ueby = Ur + wo Zr = ursenO + uo Esto proporciona la ecuaci6én TPero, en general, no para otros tipos de transformacién de coordenadas90 —Introduccién al cAlculo y anAlisis matemAtico (28) ve? + yt = ut + 1 ut, Por las reglas (23a, b, c), las derivadas superiores estan dadas por sen? 0 cos § sen 0 Urx = Urr COS*O + U9 ap — Ditty OS KSB r r sen? 0 cos @ sen @ + Up —— + 2u0 re , cos @sen 0 cos? 0 cr es a r' Ury = Uzy = Urr cos @ sin 0 — uo sen? @ — cos? 6 tug cos 0sen 0 28 . cos Uyy = Ury Sin? 0 + woo 72 + 2ure cos? 0 cos 0 sen 6 Uy ——— — 2ue . r re Esto conduce a la expresién en coordenadas polares del llamado laplaciano Au, el cual aparece en la ecuacién “de Laplace” o “del potencial” Au = 0 (ver la p. 60). 1 (29) Au = ure + Uyy = Ure + woo + Ur = lrael ae) + ao Inversamente, se puede aplicar la regla de la cadena para expresar Ur y Wo en términos de uz y Uy. De esta manera se encuentra (30a) Ur = UrXy + Uyr = Ur cos 0 + Uy send, (80b) Up = Unit + Uy = —Uar senO + uyr cos 0. También pueden deducirse estas ecuaciones resolviendo las relaciones (27) para uy y ue. Incidentalmente, ya se ha encontrado la ecuacién (30a) como la expresién para la derivada de u en la direccién del radiovector ren la p. 72. En general, siempre que se dan las relaciones que definen una fun- cién compuesta, u=fGn---)s E=dx,y), n= Wlx,9),-.-Funciones de varias variables y sus derivadas 91 pueden considerarse éstas como si refirieran u a las nuevas variables independientes x,y en lugar de 6, n,. . . . Conjuntos correspondientes de valores x, y y &1,... de las variables independientes asignan el mismo valor a u, ya sea que se considere como una funcién f@,n...)de&n,. . «0 bien, como una funcién F(x, y) = f(x, 9), w(x, y),...) dex, y. En las derivaciones de una funcién compuesta u = f(6, 0, - - - ), se debe distinguir claramente entre la variable dependiente u y la funcion /(G, 0, . . - ), la cual asigna valores de u a valores de las variables independientes &, n, . . . . Los simbolos de derivacién us, Un, - - -no tienen significado hasta que se especifica la relacién funcional entre w y las variables independientes. Por lo tanto, cuando se trata con funciones compuestas u = f(6, n,...) = F(x, y), en realidad no se debe escribir uz, un, 0 bien, uz, uy sino f(é, n), fa(E, 0) o bien, F:(x, y), F,(x, y), respectivamente. Empero, por brevedad, a menudo se usan los simbolos mas sencillos uz, un, Uz, Uy, cuando no existe riesgo de confusién. Entonces la regla de la cadena se escribe en la forma (31) Ur = Ueber + Unt2, Uy = Uaby + Unty, lo cual hace innecesario dar los “nombres” f o F para la relacién funcional entre u y €, 7 ox, y. El ejemplo que sigue ilustra el hecho de que la derivada de una cantidad u con respecto a una variable dada depende de la natu- raleza de la relacién funcional entre u y todas las variables independientes; en particular, depende de cu4l de las variables independientes se mantenga fija durante la derivacién. Con la “transformacién identidad” § = x, 1 =y, La funcién u = 2 +7 se transforma en u=2x+y, y se tiene uz = 2, wy = 1. Si, no obstante, se introducen las nuevas variables independientes § = x (como antes) y § + 1 = v, se encuentra que u = x + v, de modo que uz = 1, u» = 1. Por tan- to, la derivacién con respecto a la misma variable independiente x da resultados diferentes para diferentes elecciones de la otra variable. Ejercicios 1.6 1. Sea u = f(x, y), donde x = r cos ®, y =r sen 0, ExpresarVus® + uj? en términos de ur y uo. 2. Probar que la expresién fzz + fw es invariante bajo la rotacién del sistema coordenado.92 Introduccién al calculo y al an4lisis matem4tico 2 . Demostrar que bajo los cambios lineales de variables x = a& + Bn, y = 16 + 8 las derivadas frx(x, y), fev(x, ¥), fuv(x, y) se transforman de la misma manera que los coeficientes a, 6, c, respectivamente, del polinomio. ax? + 2bxy + cy® 4, . Dado z =r? cos ®, donde r y 0 son coordenadas polares, hallar zz y 2y enel punto 0 = 7/4,r = 2. Expresar 2r y 20 en términos de 2: y 2y. Por medio de la transformacién & =a + ax + By, 1 = b— Bx + ay, en la que a, b, a, B son constantes y a? + 6? = 1, la funcion u(x, y) se transforma en una funcion UG, 9) de& y ». Probar que UsgUnn — Usa? = use uy — Uay? a . Mostrar cémo se transforma la expresion Ty — Trz bajo la introduccion de una variable z = x/y en lugar de y. - (a) Probar que la funcion A, =f (x —y) + Ble +9) para cualesquiera funciones f, 8, dos veces continuamente diferenciables, satisface la condicién haz = hy. (b) De modo semejante, demostrar que H(x, y) = f(x — iy) + a(@ + iy), con i? = —1, satisface la condicion Hzz = —Hyy. Problemas 1.6c . Transformar el laplaciano uss + Uvy + Use a las coordenadas polares tridimensionales 7, 8, ¢ definidas por x =rsen0 cos ¢ y =rsen@ seng z=rcos 6, Comparar con 1.6a, Problema 3. Hallar los valores a, 6, ¢, d tales que bajo la transformaciéné = ax + by, = cx + dy, donde ad — be # 0, laecuacion Afss + 2Bfev + Cf = 0 quede I (a) fee + fan = 0 (b) fen =0 (A,B, C, constantes) cEn ésto siempre posible?Funciones de varias variables y sus derivadas 93 1.7 El teorema del valor medio y el teorema de Taylor para funciones de varias variables a. Observaciones preliminares acerca de la aproximacién mediante polinomios Ya se ha visto en el Volumen I (Capitulo V, p. 451) cémo puede aproximarse una funci6én de una sola variable en la vecindad de un punto dado con una exactitud mayor que el n-ésimo orden, por medio de un polinomio de grado n, el polinomio de Taylor, siempre que la funcién posea derivadas hasta el (nm + 1) —ésimo orden. La aproximaci6n por medio de la parte lineal de la funcién, como la da la diferencial, s6lo es el primer paso hacia esta aproximacién mas exacta. En el caso de funciones de varias variables, por ejemplo, de dos variables independientes, también puede buscarse una represen- tacién aproximada en la vecindad de un punto dado, por medio de un polinomio de grado n. En otras palabras, se desea aproximar. f(x +h, y + k) por medio de un “desarrollo de Taylor” en términos de los incrementos h y k. Mediante un artificio sencillo, este problema puede reducirse a un problema para funciones de una sola variable. En lugar de-considerar precisamente f(x + h, y+), se introduce una variable adicional t y se considera la expresién (31) F(t) = f(x + ht, y + kt) como una funcién de ¢, manteniendo fijas x, y, h, y k por el momen- to. Conforme varia ¢ entre 0 y 1, el punto con coordenadas (x + At, y + kt) recorre el segmento rectilineo que une (x, y) y (x + h, y+ k). El desarrollo de Taylor de F(t) de acuerdo con potencias de t proporcionar4, para t= 1, una aproximacién para f(x + h, y + &) del tipo deseado. Empecemos por calcular las derivadas de F(é). Si se supone que todas las derivadas de la funcién f(x, y) que se van a escribir son continuas en una regién que contiene por completo al segmento rectilineo, la regla de la cadena (18) inmediatamente da ! TPor la regla de la cadena, se tiene FO= ite + ht, y + kt) = hfe, n) + kn, n)94 Introduccién al calculo y al andlisis matematico (32a) FO) = hfs + Fy (82b) F(t) = Whar + 2hkfzy + fy, y, en general, por induccién matematica se encuentra que la n-ésima derivada esté dada por la expresién (82c)— FOW(t) = fy + (?) AO Hfanty + (5) AP? Yen ny2 $e +Rfyn, la cual, como en la p. 78 puede escribirse simbélicamente en la forma a aye Fon =(rZ +k al f. En esta formula, la potencia simbélica de la derecha debe desarrollarse por el teorema del binomio y, a continuacién, las potencias de 4/ax, ajay multiplicadas por f deben remplazarse por las n-ésimas deri vadas correspondientes a%f/ax", aufjax"-dy,.... En todas estas derivadas deben escribirse los argumentos x + ht y y + kt, en lugar de x y y. Ejercicios 1.7a . Para F(t) = f(x + ht, y + kt), hallar F’(1) para: (a) f@, ») = sen(x + ») = ) f@ N= y (c). f(x, y) = x? + 2xy? — y4 we . Encontrar la pendiente de la curva z(t) = F(t) = f(x + ht, y + kf) ent = 1, parax=Qy=Lh=bk=tLy donde &= x + ht, n=y + kt. Aqui se escribefa(x + ht, y + kt) en lugar de fe(x + ht, y + kt) ya que (nuevamente por la regla de la cadena). 2 fle + ht, y + kt) = fel + ht, y + ht) si se consideran x, y, h, k, como variables independientes.Funciones de varias variables y sus derivadas 95 (a) f(x, y) = x? +»? (b) f(x, y) = exp [x? + (y —1)4] (c) F(x, y) = cos = (y — 1) sen rx? b. El teorema del valor medio Antes de estudiar las aproximaciones de orden superior por medio de polinomios, deduciremos un teorema del valor medio analogo al ya conocido para las funciones de una variable. Este teorema rela- ciona la diferencia f(x + h, y + 8) — f(x, y) con las derivadas parciales fc y fy. Expresamente se supone que estas derivadas son continuas. Aplicando el teorema del valor medio ordinario a la funcién F(t) , se obtiene F() — FO) _ jp 7 = Fs), donde 6 es un nimero entre 0 y 1; usando (31) x (32a) se deduce que fe. thy +k) fey) = hfx-+ Oht, y+ Okt) + kfy(x + Oht, y + Okt). Haciendo t = 1, se obtiene el teorema del valor medio para funciones de dos variables en la forma (33) Ka +h, y +b) — fe, ») = hfdx + Oh, y + OR) + kfy(x + Oh, y + Oh) = hflé, 0) + Fflé, n)- Por tanto, la diferencia entre los valores de la funci6n en los puntos (x+h,y +k) y (x,y) es igual a la diferencial en un punto inter- medio (é, n) sobre el segmento rectilineo que une los dos puntos. Vale la pena hacer notar que se tiene el mzsmo valor de @ tanto en fr como en fy. Tal como para las funciones de una sola variable (Volumen I, p. 178 puede usarse el teorema del valor medio para obtener un médulo de continuidad para una funcién f(x, y) y, mAs precisamente, para demostrar que una funcién f como la anterior es continua segin Lipschitz. Con el fin de aplicar el teorema del valor medio, debemos poder unir dos puntos por medio de un segmento rectilineo, a lo largo del cual f esté definida. Sup6ngase entonces que96 Introduccién al cAlculo y al andlisis matematico el dominio R de f(x, y) es convexo, es decir, que el segmento rectilineo que une a dos puntos cualesquiera de R se encuentra completamente en R. Sea f continuamente diferenciable en R y sea M una cota para el valor absoluto de las derivadas de f: Ifelx,
You might also like
The Psychology of Money: Timeless lessons on wealth, greed, and happiness
From Everand
The Psychology of Money: Timeless lessons on wealth, greed, and happiness
Morgan Housel
Rating: 4.5 out of 5 stars
4.5/5 (802)
The Hobbit
From Everand
The Hobbit
J. R. R. Tolkien
4.5/5 (24584)
The Hobbit
From Everand
The Hobbit
J. R. R. Tolkien
4.5/5 (25084)
Magazines
Podcasts
Sheet music
The Subtle Art of Not Giving a F*ck: A Counterintuitive Approach to Living a Good Life
From Everand
Mark Manson
Rating: 4 out of 5 stars
4/5 (5782)
From Everand
Mark Manson
4.5/5 (19989)
American Gods: The Tenth Anniversary Edition
From Everand
American Gods: The Tenth Anniversary Edition
Neil Gaiman
4/5 (12941)
Rich Dad Poor Dad
From Everand
Rich Dad Poor Dad
Robert T. Kiyosaki
4.5/5 (1108)
It Starts with Self-Compassion: A Practical Road Map
From Everand
It Starts with Self-Compassion: A Practical Road Map
Celeste Headlee
4.5/5 (186)
The Handmaid's Tale
From Everand
The Handmaid's Tale
Margaret Atwood
4/5 (13163)
Los secretos de la mente millonaria: Cómo dominar el juego interior de la riqueza
From Everand
Los secretos de la mente millonaria: Cómo dominar el juego interior de la riqueza
T. Harv Eker
4.5/5 (811)
The 7 Habits of Highly Effective People: 30th Anniversary Edition
From Everand
The 7 Habits of Highly Effective People: 30th Anniversary Edition
Stephen R. Covey
4.5/5 (41)
Never Split the Difference: Negotiating As If Your Life Depended On It
From Everand
Chris Voss
4.5/5 (3263)
Pride and Prejudice: Bestsellers and famous Books
From Everand
Pride and Prejudice: Bestsellers and famous Books
Jane Austen
4.5/5 (19653)
Orgullo y prejuicio: Clásicos de la literatura
From Everand
Orgullo y prejuicio: Clásicos de la literatura
Jane Austen
4.5/5 (20517)
American Gods [TV Tie-In]: A Novel
From Everand
American Gods [TV Tie-In]: A Novel
Neil Gaiman
4/5 (12519)
Matar a un ruisenor (To Kill a Mockingbird - Spanish Edition)
From Everand
Matar a un ruisenor (To Kill a Mockingbird - Spanish Edition)
Harper Lee
4.5/5 (22966)
The 48 Laws of Power
From Everand
The 48 Laws of Power
Robert Greene
4.5/5 (2252)
The Courage to Be Disliked: The Japanese Phenomenon That Shows You How to Change Your Life and Achieve Real Happiness
From Everand
The Courage to Be Disliked: The Japanese Phenomenon That Shows You How to Change Your Life and Achieve Real Happiness
Ichiro Kishimi
4/5 (390)
From Everand
Chris Voss
4.5/5 (838)
The 5AM Club: Own Your Morning. Elevate Your Life.
From Everand
The 5AM Club: Own Your Morning. Elevate Your Life.
Robin Sharma
4/5 (337)
Elon Musk
From Everand
Elon Musk
Walter Isaacson
4.5/5 (418)
Good Omens: A Full Cast Production
From Everand
Good Omens: A Full Cast Production
Neil Gaiman
4.5/5 (10895)
And Then There Were None
From Everand
And Then There Were None
Agatha Christie
4.5/5 (8895)
Good Omens
From Everand
Good Omens
Neil Gaiman
4.5/5 (12001)
It Ends with Us: A Novel
From Everand
It Ends with Us: A Novel
Colleen Hoover
4.5/5 (5738)
To Kill a Mockingbird \ Matar a un ruiseñor (Spanish edition)
$To Kill a Mockingbird \ Matar a un ruiseñor (Spanish edition)$
From Everand
To Kill a Mockingbird \ Matar a un ruiseñor (Spanish edition)
Harper Lee
4.5/5 (22865)
Wuthering Heights (Seasons Edition -- Winter)
From Everand
Wuthering Heights (Seasons Edition -- Winter)
Emily Brontë
4/5 (9485)

Courant R, John F - Introduccion Al Calculo y Al Analisis Matematico, Vol2

Uploaded by

Document Information

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Courant R, John F - Introduccion Al Calculo y Al Analisis Matematico, Vol2

Uploaded by

Copyright:

Available Formats

You might also like