Educaciovw por todos Educacon panda todor no es un proyecto lucrativo, sino un esfuerzo colectivo de estudiantes y profesores de la UNAM para facilitar el acceso a los materiales necesarios para la educacion de la mayor cantidad de gente posible. Pensamos editar en formato digital libros que por su alto costo, o bien. porque ya no se consiguen en bibliotecas y librerias, no son accesibles para todos. Invitamos a todos los interesados en participar en este proyecto a sugerir titulos, a prestarnos los textos para su digitalizacion y a ayudarnos en toda la labor técnica que implica su reproduccién. El nuestro, es un proyecto colectivo abierto a la participacion de cualquier persona y todas las colaboraciones son bienvenidas. Nos encuentras en los Talleres Estudiantiles de la Facultad de Ciencias y puedes ponerte en contacto con nosotros a la siguiente direccion de correo electrénico: eduktodos@hotmail.com http://eduktodos.dyndns.orge . G O! Semoun Library Espanol 11250 LIBROS PARA LLEVAR EN SU BOLSILLO! La velocidad, comodidad y movilidad BE vos meres son suyas. El e-GO! Library Espafol es una forma innovadora para tener y 1 000 LIBROS mantener un suministro fresco y 9 abundante de grandes titulos. Es el +250 CLASICOS DE REGALO mejor entretenimiento y facil de «9 tal prtabldd y convenience obtener. El e-GO! Library Espafol es C-GO! visser erste reat oo No necesita internet fol brary’ Beene of Perfecto para leer mientras viaja una unidad flash de memoria USB que pone a miles de los mejores libros de la actualidad su bolsillo! Cargue su Kindle, iPad, Nook, o cualquier dispositivo con una variedad de ficci6n y no ficcién. En su tiempo libre, elija entre sus temas, titulos y autores independientes favoritos y Z J categorias como: romance, ciencia ioc: ficcion, misterios, finanzas, biografias, a negocios y muchos mas. ae Udo Aol ee) fence) a se ( V 1,000 LIBROS indipendientes mas populares .~ SIRVE CON TODOS los lectores y dispositivos VV’ BONO- 250 titulos clasicos VU IDEAL para viajar \“ CONTENIDO UNICO / Autores independientes .~ AHORRA innumberables horas de Descargas \“ LLAVE USB PRECARGADA de 4GB UV EL REGALO Perfecto VER MAS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 * ColombiaVERSION 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-9Pré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 prin- cipales 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 con- veniente 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 ar- gumentos 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- 56 —Prélogo mas multilineales, los determinantes de Gram y las variedades li- neales. En el nuevo capitulo 1 se analizan todas las propiedades fun- damentales 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 capi- tulo 3. También, en el capitulo 8, se encuentra una nueva demostra- cién del teorema de la funcién implicita por medio de aproxima- ciones 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 pro- piedades 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 varieda- des 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 in- tegrales 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 con- junto. Conjuntos cerrados y conjuntos abiertos, 30 d. La cerradura como conjunto de puntos limite, 33 e. Pun- tos y conjuntos de puntos en el es- pacio, 34. 1.2 Funciones de varias variables in- dependientes 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 va- riables, 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 78 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 indepen- dientes, 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 poli- nomios, 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 para- metro, 103 c. Intercambio de in- tegraciones. Regularizacién de fun- ciones, 109 Diferenciales e integrales de linea a. Formas diferenciales lineales, 112 b. Integrales de linea de formas 67 81 93 100 112Contenido 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 in- tegrabilidad de las formas diferen- ciales lineales 125 a. Integraci6n de diferenciales totales, 125 b. Condiciones necesarias para que las integrales de linea de- pendan tnicamente de los puntos ex- tremos, 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 conver- gencia 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 con- juntos 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 15110 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 vec- tores, 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 mul- tilineales de vectores, 200 c. Formas multilineales alternantes. Definicién de determinantes, 204 d. Propie- dades principales de los determinan- tes, 209 e. Aplicacién de los deter- minantes 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 su- periores, 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 im- plicita 276 a. Curvas planas en forma implicita, 276 b. Puntos singulares de curvas, 282 c. Representaci6n implicita de superficies, 284 Sistemas de funciones, transfor- maciones y aplicaciones 287 a. Observaciones generales, 287 b.Coordenadas curvilineas, 293. Ex- tensién a més de dos variables in- dependientes, 295 d Formulas de derivaci6n para las funciones inversas, 298 e. Producto simbélico de apli- caciones, 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 fun- ciones implicitas. Descomposici6n er. aplicaciones primitivas, 308 g. Cons trucci6n alternativa de la aplicacién inversa por el método de las apro- ximaciones sucesivas, 314 h. Fun- ciones dependientes, 321 i. Obser- vaciones finales, 323 Aplicaciones a. Elementos de la teoria de super- ficies, 326 b. Transformaci6n confor- me 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 diferen- ciales, 363 d. Formas diferenciales ex- teriores 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 mul- tiplicadores indeterminados en el caso ms sencillo, 386 e. Generalizacién del método de los multiplicadores in- determinados, 389 £. Ejemplos, 393 APENDICE A.J Condiciones suficientes para los valores extremos 326 339 357 376 398A.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 cam- po vectorial Puntos singulares de curvas planas Puntos singulares de superficies Relacién entre la representaci6n de Euler y la de Lagrange del movi- miento 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 vo- lumen, 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, 44414 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 mal- tiples 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 coorde- nadas 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 51lContenido 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 in- tegrales 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 in- tegral 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 in- teriores y exteriores correspondientes, 15 521 535 556 57416 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 mil- tiples, 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 in- tegrales 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 62155 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 bidi- mensionales en el espacio tres, 639 b. Orientacién de curvas sobre super- ficies 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 di- ferenciales sobre superficies orien- tadas 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 dimen- siones, 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 dimen- siones superiores 7 628 632 639 854 663 678 68918 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 super- ficies 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 dimen- siones 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 dimen- siones 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 7256.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 fami- lia 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 coe- ficientes 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, 79920 Contenido Capitulo 7 6.8 71 7.2 7.3 7.4 Mas ejemplos de ecuaciones diferen- ciales 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 exis- tencia 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 di- ferencial 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 condi- ciones subsidiarias. Multiplicadores de Lagrange a. Condiciones subsidiarias ordi- narias, 840 b. Otros tipos de con- diciones subsidiarias, 843 802 813 818 830 840Contenido 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 in- tegracion 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 com- pleja 857 a. El postulado de la diferenciabi- lidad, 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 aplica- ciones 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 com- pleja (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 de22 Contenido funciones racionales, 892 d. El teorema de los residuos y las ecua- ciones diferenciales lineales con. coeficientes constantes, 895 8.6 Funciones multiformes y la exten- sion analitica 898 Lista de datos biograficos 1028 Indice 1031INTRODUCCION AL CALCULO Y AL ANALISIS MATEMATICO VOLUMEN IiCAPITULO 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 pun- tos 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 2526 Introduccién al cAlculo y al an4lisis matemAtico un punto C = (a, B) consiste de todos los puntos P = (x, y) cuya dis- tancia desde C es menor que €; geométricamente éste es el disco! cir- cular con centro en C y radio € que se describe mediante la desigual- dad (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; inversamen- te, 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, generalmen- te 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 cur- vas 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 fun- ciones 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 com- pleto 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 cur- vas 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 con- siderarse 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 rectan- gulares (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 na- meros 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 parale- lepipedos' rectangulares descritos por medio de un sistema de des- igualdades 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 rectan- gulares 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 di- mensiones. 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 es- pacio 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 sig- nificado 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 indepen- dientes 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 perte- necen 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 con- junto 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 rec- tangular 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 do- minio 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 ejem- plo, 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 cual- quier 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 po- linomio 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 super- ficie 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 es- pacio 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 ob- tiene 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 rec- tangulares 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 resul- ta 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 toman40 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 es- tas 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 dis- tancia 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 can- tidad. La funcién sube o baja con rapidez donde las lineas de contor- no 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 — yyFunciones 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 con- torno, 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 ex- plicita, 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 cons- tante, 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 consi- deran 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 can- tidad 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 es- cribe 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 cuan- do 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; enton- ces 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 simul- taneamente 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 ejem- plo 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 exis- ten puntos arbitrariamente proximos a (&, n)en los que f esté definida, y podria con- siderarse 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 con- tinua 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 suficien- temente 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 RFunciones 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 pun- tos (E, n) en el dominio de f, se obtiene la proposicién de que la con- tinuidad 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 con- tinua 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 conver- ge 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 ex- presar é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 in- dependiente, para muchos fines resulta util describir el comporta- miento 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 dis- tancia 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 es- cribe 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 se- mejante, 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 modo50 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 comporta- miento 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 con- tinuas 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) sen1 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 cual- quier limite conforme (%, y) tiende hacia (0, 0). Dar ejemplos de las variaciones de (x, y)tales que52 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. LaFunciones 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 represen- tarse 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, supo- niendo que f esta definida en una vecindad de (xo, yo) y que la de- rivada 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 de- rivadas 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 aproxi- ma 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 super- ficie 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 cual- quier 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 su- periores 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 ar- gumento 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 cuan- do se va a indicar para qué valores de las variables independientes se toman las derivadas. Por ejemplo, si f(x, y) = x2 + Qxy + 4y?, en- tonces su derivada respecto a x en el punto x = 1, y = 2 puede es- cribirse 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 si- guientes 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 di- ferencial 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 sen- cillas. 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=— ate60 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 deri- vada 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 comporta- miento 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 ge- neral, é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 en- contrar 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 par- ciales fz y fy, solo existe una derivada parcial mixta, digamos fy:, y que esta de- rivada 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 diferen- ciables. A partir de ésto se concluye que correspondiendo a los in- crementos Ax y Ay de las variables independientes x y y, las can- tidades &, 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 to- man para los argumentos x, y. Es mas, si las cantidades &, 1, . . . sufren los cambios Ag, An, .. ., la funcién uw = f(é,0,.. .) cam- bia 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 can- tidades dadas por las formulas (20a, b) que corresponden a los in- crementos 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 can- tidad ¢ 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+0Funciones 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 ex- presiones (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 indepen- diente 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 fun- ciones 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 nrFunciones 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, don- de 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 ejem- plo, 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 po- sitivo x. Entonces la funcién u = f(E, n) se “transforma” en una nueva funciénFunciones 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 deri- vadas 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 rec- tangulares 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 indepen- dientes 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 coordenadas90 —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 correspon- dientes 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 fun- cional 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 indepen- dientes; en particular, depende de cu4l de las variables independien- tes 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 sis- tema 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 trans- forma 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 intro- duccion 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-consi- derar 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 rec- tilineo, 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 for- ma 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 par- ciales fc y fy. Expresamente se supone que estas derivadas son con- tinuas. 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 precisa- mente, para demostrar que una funcién f como la anterior es con- tinua 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 que96 Introduccién al cAlculo y al andlisis matematico el dominio R de f(x, y) es convexo, es decir, que el segmento rec- tilineo que une a dos puntos cualesquiera de R se encuentra com- pletamente en R. Sea f continuamente diferenciable en R y sea M una cota para el valor absoluto de las derivadas de f: Ifelx, 0 y k0, se tiene Rn = 0{V2 + By). A partir del teorema de Taylor para funciones de una variable, el paso (noo) a la serie infinita de Taylor nos conduce a los desarrollos de muchas funciones en series de potencias. Con las funciones de varias variables, tal proceso, incluso cuando es posible, en general es demasiado complicado. Para nosotros, la importancia del teorema de Taylor descansa mas bien en el echo de que el incremento f(x + h, y + k) — f(x,y) de una funcién se descompone en incrementos df, df... de 6rdenes diferentes.o 2 ro Funciones de varias variables y sus derivadas 99 Ejercicios 1.7 Hallar el polinomio de segundo grado que proporciona la mejor apro ximacion de sen x sen y en la vecindad del origen. . Para f(x, y) = x8 + 4y?x, dar una aproximaci6n del valor def (2.1, 2.9). . Para f(x, y) = x/y + y/x, estimar el error al aproximar el valor de f(.9, .9) por f(1, 1). . Desarrollar la funci6n f(x + h, y + k) en potencias de h, k, para (@) F(x, y) = x8 — 2x*y + y? (b) f(x, y) = cos (x + 2y)en x = By=5 (©) Fle, y) = xty + 2y*x — V3x2, . Desarrollar f(x, y, z) = xyz? en potencias de x, y — 1,2 +1. . Obtener los primeros términos de los desarrollos de Taylor de las fun. ciones siguientes en une vecindad del origen (0,0): (a) z= arc tan wep (f) z= log (1 — x) log GQ — ») (b) z= cosh x senh y (@) z=er-vt (c) z= cos x cosh (x + y) (h) z= cos (x + y) e-#? (d) z=e* cosy (i) z= cos (x cos y) fe) z= ccs G) z=sen (x? +») . Estimar el error al remplazar cos x/cos y pot 1 ® — Ge — y2) E 1—5@?—y*) para Ix|, lyl<@- Problemas 1.7 . Hallar la serie de Taylor para las funciones que siguen e indicar su region de validez 1 @) 7 x—9 (b) eztv, . Demostrar que la ley de los cosenos en trigonometria esférica, cos z = cos x cos y +sen xsen y cos 8, se reduce a la ley euclidiana de los cosenos, 2? = x? + y? — Qxy cos 6 en la vecindad del origen.100‘ Introduccién al c4lculo y al andlisis matematico 3. Si f(&, ») es una funcion continua con primeras y segundas derivadas continuas, entonces etim FRR 4) — 2Flh, €-1) + FO, 0). Fex(0, 0) = kim he = . Probar que la funcién f(x,y) = exp (—y? + 2xy) puede desarrollarse en una serie de la forma & An 2M, que converge para todos los valores de x y y y que los polinomios H(z), Namados polinomios de Hermite, satisfacen (a) Hn(x) es un polinomio de grado n. (0) Hn!) = 2nHn-a(x) (©) Hay — 2xHy + 2nHy-1 = 0 (2) Hy” — 2xHy’ + 2nHn = 0. 1.8 Integrales de una funcién que dependen de un parametro El concepto de integral multiple de una funcién de varias va- riables se tratara en los Capitulos IV y V. Por el momento s6lo se es- tudiaran las integrales sencillas que surgen en relacién con tales fun- ciones. a. Ejemplos y definiciones Si f(x, y) es una funcién continua de x y yen la region rectan- gular a < x =B,a Sy S b, puede considerarse fija a la cantidad x e integrar la funcién f(x,y), considerada como una funcién de y Gnicamente, sobre el intervalo a < y S b. Asi se llega a la expresién f f(x, y) dy, la cual atin depende de la elecci6n de la cantidad x. De este modo, se esté considerando no sélo una integral sino la familia de integrales ° . : . Jf? f@, ») dy obtenida para valores diferentes de x. La cantidad x, « se mantiene fija durante la integracién y a la cual se le puede asignar cualquier valor en su intervalo, recibe el nombre de pardmetro. Por lo tanto, la integral ordinaria aparece como una funcién del pa- rdmetro x.Funciones de varias variables y sus derivadas 101 Las integrales que son funciones de un parémetro,ocurren fre- cuentemente en el anilisis y sus aplicaciones. Por ejemplo, como puede demostrarse facilmente por medio de la sustituci6n xy = u , se tiene fi d = are sen x o Vi— xe se para —1 —1. Puede representarse la regién de definicién de la funcién f(x, y) geométricamente y considerar la paralela al eje y correspondiente al valor fijo del parametro x, como en la Fig. 1.15. Se obtiene la fun- cién de y que debe integrarse, considerando los valores de la funcién f(x, y) como una funcién de y a lo largo de la recta de intersecci6n AB de la paralela con el rectangulo. También es posible hablar de integrar la funcién f(x, y) a lo largo del segmento AB. Figura 1.15 Este punto de vista geométrico sugiere una generalizacion. Si el dominio de definicién R de la funcion f(x,y) tiene la forma que se102 Introduccién al cAlculo y al an4lisis matematico Figura 1.16 muestra en la Fig. 1.16, tal que cualquier paralela al eje ycorta a la frontera cuando mas en dos puntos, entonces, para un valor fijo de x, nuevamente pueden integrarse los valores de la funcién f(x,y) a lo largo de la recta AB en la cual la paralela al eje y se intersecta con la region R. Los puntos inicial y final del intervalo de integracién variaran a su vez con x. Entonces se tiene que considerar una integral del tipo (39) S22 fey) dy = FO), wit) es decir, una integral con la variable de integracién y, en la cual aparece el parametro x tanto en el integrando como en los limites de integracion. Si se representa la funcién f(x, y) por medio de la super- ficie z = f(x, y) en el espacio x, y, z, entonces, para una funcién positiva f, se puede considerar el cilindro con generatrices paralelas al eje z que tiene como su base al dominio R de f en el plano x, yy limitado en su parte superior por la superficie z = f(x, y). Un valor fijo de x corresponde a un plano paralelo al plano y, z, el cual se in- tersecta con el cilindro s6lido en una cierta region plana. El area de esa regién esta dada por la integral de la formula (39). Por ejemplo, la integral Vi-at — x2 — x2 view V1 9 dy representa el area de la interseccion del hemisferio 0pd- Pa es discontinua en x= +1y en x= —1, pero la integral (como una integral impropia) tiene significado. La derivacién formal con res- pecto al parametro k da am rw SiG Para investigar si esta ecuaci6n es correcta, se repite el argumento por el cual se obtuvo la formula de derivacién. Esto da kx? dx x)\(1 — Rx*)5* Fi + 1) — FA) _ fi " ful + 0h, x) dx f 1 La diferencia entre esta expresién y la integral obtenida por la de- rivacién formal es v + Oh)*x?] 3° a-f" _ (tee _ “Ja vi—2\ V1 — (+ OAPs va = Se debe demostrar que esta integral tiende a 0 con h. Con este fin se marca alrededor de & un intervalo ko Sk S ki que no contenga los valores +1, y se elige A tan pequefio que k + 0h se encuentre en este intervalo. La funcién __k va— es continua en la regién cerrada—1Sx<1, ko SkSkiy, porlo tanto, es uniformemente continua. Consecuentemente, la diferencia h+oh _ [= & + ony vi permanece por debajo de una cota &, que es independiente de x y ky la cual tiende a 0 con h. De aqui queFunciones de varias variables y sus derivadas 109 Hye ais f) 2S _x ne = Ms, donde M es una constante independiente de €. Es decir, la integral A tiende a 0 conforme h lo hace, lo cual se queria demostrar. Por consiguiente, es permisible la derivacién bajo el signo integral en este caso. En otros casos se aplican consideraciones similares. Las integrales impropias con un intervalo infinito de integraci6n y que dependen de un parametro se discutiran en la p. 521. Ejercicios 1.8b 1. Sea » F(R) = f° ax) oe, by dx, donde B(x, 2) y Bx(x, k) son continuas para a 0, se forma el promedio de f sobre el cuadrado con centro en (x, y) y lados de lon- gitud 2h paralelos a los ejes: Lope pee (420) Fue») = gia fo as [Fe wan _uxth,y +h) — uxe+h,y—h)— ux—h,y +h) + ulx—h, yh). ~ 4h? Es evidente que Fy(x, y) tiene primeras derivadas continuas y una segunda derivada mixta continua®. Para ver que F(x, y) se apro- xima a f(x, y) para h pequeiia, se observa que pay (42) Fats 9) = fle) = gia fo as "6 w) - fee, han. Como f es uniformemente continua en algiéin rectangulo R’ que con- tiene a R en su interior, se sabe que f, para ¢ dado y h suficiente- mente pequefia, variara en menos que ¢ en todo cuadrado de lado 2h contenido en R’, Entonces |f(E, n) — f(x, y)| < © en (42f), y |Fa(x, y) — f(x, y)| <<. De aqui que Yim F,(x, y) = f(x, y) uniformemente para (x, y) en R. VEsto puede lograrse continuando a f como constante a lo largo de rayos perpen- diculares a uno de los cuatro lados del rectangulo y continuando a f hacia los puntos restantes del plano como constante a lo largo de rayos que parten de uno de los cuatro vértices 2Para tener a Fa(x, 9) definida para todos los puntos del rectangulo R, tiene que haberse definido f un tanto mas alla de R.112 Introduccién al cAlculo y al andlisis matem4tico Puede asi hallarse una funcién suave F,(x, y) arbitrariamente préxima a f(x, y). 1.9 Diferenciales e integrales de linea a. Formas diferenciales En la Seccién 1:5d se definié la diferencial total du de una fun- cién u = f(x, y, 2) como la expresién 43) dy = A») dx + UID) gy 4 TE ID a, Esta definicin para la diferencial de una funci6n de varias variables es sugerida por la regla de la cadena de la derivacién. Porque si x, y, z son funciones dadas de una variable t, (44) x=, y=v, z= x0, entonces la derivada de la funcién compuesta_ u = f [o(t), (2), x(0)] de acuerdo con la regla de la cadena (19), es du_ofdx , of dy , af dz (45) dt ~ dxdt * aydt + d2dt" Para funciones u de una sola variable real ¢, la diferencial se ha definido como du = 24 dt. De donde, en este caso por (45), —(# dx , ody , of da) du = lan dt + ay att sean) _ ade ~ ax'dt of dy ay 4 of dz at + 3 at a+ aa dt, lo cual formalmente concuerda con (43), si se recuerda que x, y, 2 (como funciones de ft) tienen las diferenciales dx = oe ay, =& dz ~ dt a =F dt, dz= a dt. Asi, la diferencial du = df(x, y, 2), como la da la ec. (48), propor- ciona inmediatamente la diferencial du = du dt de u “a lo largo deFunciones de varias variables y susderivadas 113 cualquier curva” representada paramétricamente en la forma (44). La diferencial du, como se define mediante (43), es una funcién de las’seis variables x, y, z, dx, dy, dz que es lineal y homogénea* en las variables dx, dy, dz, con coeficientes que son funciones de x, y, z. (Por supuesto, no se requiere que las diferenciales dx, dy, dz tengan que se “pequefias” en sentido alguno; tal restriccién sélo surge si se desea usar du como una aproximaci6n para el incremento Au = f(x + dx, y + dy,z + dz) — f(x,y,2), como se explicé en la p. 69). La forma diferencial lineal mas general en el espacio x, y,z se representa por la expresién (46) L= A(x,y,z) dx + B(x, y,z) dy + C(x, y, z) dz. Esta es una funcion L de las seis variables x, y, z, dx, dy,dz que es una forma lineal en las variables “diferenciales” dx, dy, dz, con coeficientes que dependen de x, y, z. Las diferenciales totales du de las funciones son las formas diferenciales lineales especiales L que tienen coeficientes de la forma f(x,y, 2) an A=F@Y2 p_ A%Y2) , de? Ox” ay para una funci6én apropiada f = f(x, y, 2). Si una forma diferencial Les la diferencial total de una funcién, se dice que es una forma diferencial exacta o que es integrable. No toda forma diferencial es integrable; es necesario que los coeficientes A, B, C de L satisfagan ciertas “condiciones de integrabilidad”: Si los coeficientes A, B, C de la forma diferencial L son de la clase C1 (es decir, tienen primeras derivadas continuas; ver la p. 69) y si L es exacta, entonces se cumplen las ecuaciones aB_ aC _ ac aA _ (48) 3e ay = ae ae = aA aB_ ay = ax Las ecuaciones (48) simplemente son consecuencias de las reglas para la intercambiabilidad de las segundas derivadas. Si A, B, C tienen primeras derivadas continuas y pueden escribirse en la forma *La funcién lineal m4s general de las tres variables &, n, ¢ es AE + Bn+CC+D con coeficientes A, B, C, D que no dependen de E, n, ; se dice que la funcién lineal es “homogénea” o que es una “forma lineal” cuando D = 0 (ver la p. 38).114 Introduccién al cAlculo y al an4lisis matematico (47), entonces f tiene segundas derivadas continuas. De aqui que, por el teorema de la p. 63, no importa‘el orden de la derivacién. Asi, por ejemplo, aA_ dof _aaf _aB ay ~ dyax axdy dx’ y de modo semejante para las otras identidades dadas en (48). De aqui que, por ejemplo, la forma diferencial lineal L=ydx+zdy+xdz no es integrable, ya que aqui ox 2 7 By =e 7 by THO Por otra parte, las condiciones de integrabilidad (48) son satisfecha por la forma diferencial L = yz dx + zx dy + xy dz, la cual, de hecho, es la diferencial total du de la funcién u = xyz. En la Seccién 1.10 se discutiré hasta qué punto las condiciones (48) son también suficientes para expresar L como una diferencial total. Se obtienen condiciones semejantes para la integrabilidad cuando el namero de dimensiones es diferente de tres. Para dos variables in- dependientes x,y la forma diferencial lineal generales L = A(x, ) dx + B(x, ») dy. Si L es la diferencial du de una funcién u = f(x, ¥), los coeficientes A, B satisfacen la ecuacién dA _aB GA _ OB _ 9, dy = ax Por otra parte, en cuatro dimensiones se obtienen, correspondiendo a las ecuaciones (48), se’s condiciones de integrabilidad, para lo cual se forman todas las segundas derivadas mixtas posibles de una funcién f de cuatro variables. La raz6n por la que tiene sentido considerar una forma diferen- cial L, incluso cuando no es una diferencial exacta, es que, a lo largo de cualquier curva C dada paramétricamente en la forma r=o, y=vd, z2=x(0,Funciones de varias variables y sus derivadas 115 L se transforma en la diferencial L= (4$ dx +c0Pa Aa t BY e+ de una funcién de una sola variable. Esta funcién es simplemente la dada por la integral indefinida fee fla des ps cela b, Integrales de linea de formas diferenciales lineales Con el propésito de discutir la integracién de las formas diferen- ciales lineales sobre lineas, es importante tener una imagen clara de los conceptos y propiedades de los arcos orientados y las curvas ce- rradas. Se recomienda al lector que lea nuevamente el Volumen I, pp. 333-340, donde se hacen todas las observaciones pertinentes para el caso de las curvas planas. Estas se aplican con igual propiedad a las curvas en espacios de cualquier nimero de dimensiones.* Sin pér- dida de generalidad, hablaremos acerca de las integrales sobre curvas en el espacio tridimensional x, y, 2 Un arco simple T es un conjunto de puntos P = (x, y, z) que pueden representarse paramétricamente en la forma (49) x=, y=v, z2=10; astsd, donde 9, y, % son funciones continuas de t para a 0. De lo contrario, los ty son decrecientes, to = b, ta = a, y Atv<0, En nuestra notaci6n para el intervalo del parametro, a siempre representa el menor de los valores a, b y, por tanto, puede corresponder ya sea al punto inicial o al final del arco I'*. Si ahora se aplica el teorema fundamental de existencia para las integrales definidas como limites de sumas de Riemann (ver el Volumen I, pp. 192 y siguientes, se encuentra que F = lim Fy existe ae y esta dado por la formula (56).* El factor « = + 1 surge de la hi- potesis hecha en ese teorema de que los puntos de subdi: mn ty usados al formar la suma de Riemann constituyen una sucesi6n creciente. Cuando la orientacién de I* corresponde a la ¢ decrecien- te, tienen que recorrerse los valores tv en el orden opuesto, empezan- do con fn y terminando con to, y cambiar el signo de Atv. Es evidente que la definicién de integral de linea y la formula (56) pueden extenderse al caso en donde.I* es una curva simple cerrada orientada.* En este caso, se forma la suma de Riemann seleccionan- do n puntos Pi, Po, . . . , Pn sobre I'* que se sigan mutuamente en el orden determinado por la orientacién y se pone Po=Pn enla expresi6n (54) para Fr. *Los valores intermedios ty, ty’, ty’, y no necesitan ser los mismos para la conver- gencia (ver las observaciones en la p.195, Volumen I). *Tal curva tiene una representacién paramétrica continua (53), con ¢ diferentes correspondientes a puntos diferentes, excepto que f = @ y t = b proporcionan el mis- mo punto. Es més, se especifica un orden ciclico sobre *, correspondiente a ¢ creciente, o bien, decreciente (véase el Volumen I, p. 389). Siempre puede represen- tarse T como suma de arcos simples orientados Ti* en la forma (51), donde para i=2,...,m el punto final de Ti#.1 es el punto inicial de T* y donde el punto final de Fa* es el punto inicial de Ps*,Funciones de varias variables y sus derivadas 121 En el Volumen I ya se han encontrado ejemplos de integrales sobre curvas en el plano x, y. Asi, se ha representado el 4rea orien- tada limitada por una curva orientada cerrada I*, en la forma = aS *at - 9) (ver el Volumen I, p. _); es decir, como la integral de linea a=3f xdy—ydx. BJ pe Otro ejemplo es proporcionado por el trabajo W que realiza un cam- po de fuerzas con componentes p, o al producir un movimiento desde un punto Po hasta un punto Pi a lo largo de una curval* = PoP, referido a la longitud de arco s como pardmetro. Aqui, (ver el Volumen I, p. 420) = [pi oB wef" (6 ae tae) lo cual puede escribirse como w= J pdr ody. De la misma manera, puede definirse el trabajo realizado por fuerzas en el espacio con componentes Pp, 6, 7, al producir un movimiento a lo largo de un arco I* en la direccién dada por su orientacién, como una integral de linea W=fodr+ody+rdz, Ejercicios 1.9b 1. Hallar fedx+xdy+ydz (a) sobre el arco de la hélice x=cost, y=sent, que une a los puntos (1, 0, 0) y (1, 0, 2x); (b) sobre el arco parabélico x=xo(l—t), y=y(l—-t%), z=t que une los puntos (0, 0, 1) y (0, 0, —1) (para constantes xo, yo).122 Introduccién al cAlculo y al andlisis matemAtico c. Dependencia de las integrales de linea con respecto a los puntos extremos Regresemos a la forma diferencial general L dada por (52). Sea un arco simple (atin no orientado) con una representacién para- métrica (53) seccionalmente suave. Para dos puntos cualesquiera Po, Pi sobre I correspondientes a los valores to, t: del parametro t, puede formarse la integral = ("as pP4c® r= [" (agi + BG + cfiae. Por la formula (57), I es igual a,fL extendida sobre el subarco orien- tado PoP: de P que tiene a Po como punto inicial y a Pi como punto final. Se deduce que I no depende de la representacién pa- ramétrica particular. Se escribe I= fit El valor de I es determinado por la pareja ordenada de puntos Po, Pi y el arco simple del cual ellos son puntos extremos. Para Po fijo puede definirse una funcién f = f(P) a lo largo del arco T, por medio de la integral indefinida (58) AP) = fie = . (49+ BS + 0%) a. Entonces, tomando a f como una funcién de la variable indepen- diente ¢, se tiene ee af. 4 gd ot (69) wen 4g t Bat Ca: Asi, escribiendo esta ecuaci6n como af= Hat = Adz + Bdy+Cdz=L, se expresa la forma diferencial lineal L (que no necesita ser exacta) como la diferencial de una funcién /f; pero tiene que recordarse que esta relacién sélo se cumple a lo largo de una curva especial I , sobre la cual f esta definida. Para dos puntos cualesquiera P y P’ de T ,Funciones de varias variables y sus derivadas 123 (60) Jt = ney 10. Esto se deduce inmediatamente si se expresan las integrales de linea como integrales sobre la variable ¢ y se aplica la relacién fundamen- tal entre las integrales definidas e indefinidas (ver el Volumen I, p. 190). Si I*, el arco T con una cierta orientacién, tiene el punto inicial A y el punto final B, se encuentra, en particular, que (1) St = Sob = KB - Ka), Si Po, . . . , Pn son puntos sobre I en el orden determinado por la grientacién de I*, con Po = A, Pn = B, se tiene L = f(B) — f(A) = x [f(Pvsa) — f(P oy] _ I ge L. v0 py Si se denota el subarco con punto ini Pv, se tiene al Py y punto final [v,1* por (ee L =f L. Py Tyai* Aqui la orientacién de I'v* concuerda con la de ', de modo que Malt +Tot +e + e+ Pn® Por lo tanto, las integrales de linea son aditivas: 62) S. De modo semejante, si se intercambian los puntos extremos de I'*, Sut Estas reglas son particularmente interesantes cuando se aplican a curvas cerradas orientadas que se representan como sumas de arcos simples orientados. Considérese un namero de curvas simples ce- rradas orientadas Ci*,. . . , Cn* (ver la Fig. 1.19), las cuales pueden tener porciones en comin. Supéngase que un arco simple T comin a L= Ltee-e te * ry 40 y Tp* (63) S.2124 Introduccién al cAlculo y al andlisis matem4tico ce ct ea a A Zz ce c+ Figura 1.19 Aditividad de las integrales de linea sobre curvas cerradas. dos de las curvas, C;* y Cx*, recibe orientaciones opuestas de C;* y Cx* y que las porciones de las curvas no comunes a dos cualesquiera de ellas se suman a una curva cerrada orientada C*. Escribiendo cada integral de linea sobre una curva C;* como la suma de integrales sobre arcos simples y sumando todas estas integrales, las contribu- ciones de los arcos comunes se cancelan y queda la formula Cn* 6) Sota Sy bet Se En particular, estas situaciones surgen cuando las C;* son curvas planas que forman las fronteras de regiones bidimensionales Ri que no se traslapan y que juntas forman una regién R con curva frontera C*,teniendo todas las C;* y C* la misma orientacién, M4s general- mente, la region R y su frontera C* pueden estar sobre una superficie y R puede estar subdividida mediante arcos en subregiones R; con curvas frontera C;* cuyas orientaciones se ajustan entre si en la forma descrita. Una aplicacién un tanto diferente del mismo principio ocurre en el teorema siguiente. Considérense dos curvas orientadas C* y C’* (ver As ce AL Figura 1.20Funciones de varias variables y sus derivadas 125 Fig. 1.20) subdivididas por los puntos Ai,..., Any A1’,..., An, respectivamente, en el orden del sentido de orientacién, y supéngase que cada pareja de puntos correspondientes At y Ai’ se unen por medio de una curva. Si se denota la curva orientada cerrada A;Ags1 Aui’Ar (identificando Anj1 con Ai y Anyi’ con Ai’), por Cr*, enton- ces (68) sf fi ver 1.10 El teorema fundamental sobre la integrabilidad de las formas diferenciales lineales a. Integracién de diferenciales totales Una clase particularmente importante de formas diferenciales (66) L=Adx+Bdy+Cdz son las diferenciales totales de funciones u = f(x, y, z), con A, B,C de la forma ae pF o_af (67) A=3, ay? = 32° donde f es una funcién con primeras derivadas continuas. Mientras que, en general, el valor de Spe L no sélo depende de los puntos ex- tremos sino del curso completo de la curva, aqui es valido el teorema siguiente: La integral de una forma diferencial. lineal L, que es la diferencial total de una funcién f, es igual a la diferencia de los valores de f en los puntos extremos y no depende del curso de I'* entre esos puntos. Esto es, se obtiene el mismo valor para f.* L, para todas las curvas T* que se encuentren en el dominio de f y tengan el mismo punto inicial Po y el mismo punto final Pi. Para la demostracién, sup6ngase que la curva I* se refiere a un parametro t, donde to corresponde al punto inicial Po y t; al punto final Pi. Por (57), p. 119). _ (1(,de , pdy Sate fi (492 + BY +c) at.126. Introduccién al cAlculo y al andlisis matemAtico Entonces, por la regla de la cadena de la derivaci6n [ ver la formula (18), p. 83] se tiene (68) fata Soar =1\2 = ne - Ao, donde se escribe fPi) = x(t), (ts), 2(4)) para i = 0,1. Se observa que, en lugar de requerir que la integral sea indepen- diente de la trayectoria, igualmente sélo podria requerirse que la in- tegral sobre una curva simple cerrada I* tenga el valor 0, porque si se divide la curva '* por medio de dos puntos Po y Pi en dos arcos orientados I'1* y T'2*, se tiene res Tit + Pat, donde, digamos, Tr tiene el punto inicial Py y punto final Pi, mien- tras que [2* tiene el punto inicial Pi y el punto final Po (ver la p. 124). Entonces fat Aqui —Is* tiene el mismo punto inicial Po y el mismo punto final Pi que T:*. La anulacién de fL sobre la curva cerrada [* significa exactamente lo mismo que la igualdad de L tomada sobre los dos ar- cos simples cerrados que tienen a Po como punto inicial y a P; como punto final. See! + Sear ® = See = b. Condiciones necesarias para que las integrales de linea dependan tinicamente de los puntos extremos Solo bajo condiciones muy especiales una integral de linea es in- dependiente de la trayectoria, o bien, lo que es equivalente, la in- tegral de linea a lo largo de una trayectoria cerrada es 0. Por ejem- plo, si una curva cerrada C* en el plano x,y forma la frontera de una region de 4rea positiva, entonces la integral de linea f(x dy—y dx) sobre C* no es 0. En la seccién precedente se probé que para la in- dependencia de fL de la trayectoria que une los puntos extremos, es suficiente que L sea una diferencial total. La tarea principal de laFunciones de varias variables y sus derivadas 127 teoria de las integrales de linea es demostrar que esta condicién tam- bién es necesaria y, a continuacién, expresar esta condicién necesaria y suficiente en una forma conveniente para las aplicaciones. Investiguemos esta cuestién de la independencia para las inte- grales sobre curvas en el espacio tres. Pero los resultados y demos- traciones son exactamente andlogos en cualquier nimero de dimen- siones. Se establece la hipétesis de que L = Adx + Bdy + Cdz es una forma diferencial lineal con coeficientes A, B, C que son fun- ciones continuas de x, y, 2 en un conjunto abierto R del espacio. En- tonces se cumple el teorema siguiente: La integral de linea f{ L tomada sobre un arco simple orientado '* en R es independiente de la eleccién particular de [* y queda deter- minada tinicamente por los puntos inicial y final de I* sty s6lo si L es la diferencial total de una funci6n f(x, y, z) en R. Ya se ha probado en la p. 95 que esta condici6n es suficiente; es decir, para una diferencial exacta L = Adx + Bdy + Cdz la in- tegral [LZ es independiente de la trayectoria. Es facil ver que la con- dicién es necesaria. Supéngase que fi-«L slo depende de los puntos extremos de I*, Se desea demostrar que existe una funci6n u(x, y, 2) definida en R para la cual du = L. Sin pérdida de generalidad, se puede suponer que dos puntos cualesquiera de R pueden conectarse por medio de un arco poligonal simple que se encuentre comple- tamente en R.! Se elige un punto fijo Po en R y se define la funcién u = u(x,y, 2) = u(P) en cualquier punto P de R como fL exten- dida sobre cualquier arco simple con punto inicial Po y punto final P. Con el fin de calcular las derivadas parciales de u, considérese cualquier punto (x, y,z)= P de R (Fig. 1.21). Entonces, como R es abierto, todos los puntos (x + h, y, z) = P’ también perteneceran a R, siempre que |h| sea lo suficientemente pequefio. Denotemos por y* el segmento rectilineo orientado que une P y P’, mientras que '* denotara una trayectoria poligonal simple que une Po con P. Siem- pre puede modificarse [* ligeramente para hacer que el ultimo lado de este arco poligonal, que tiene a P como punto final, no sea para- lelo al eje x. Entonces '* y y* no tienen punto en comin aparte de P (al menos para |h| lo suficientemente pequejio) y I* + y* representa *EI conjunto abierto R siempre puede descomponerse en subconjuntos conexos que tengan esta propiedad (ver el Apéndice 112). Entonces se define u en cada uno de éstos por medio de la construcci6n indicada.128 —Introduccién al calculo y al andlisis matemtico Figura 1.21 un arco simple con punto inicial Pp y punto final P’, Se concluye [ver (62), p. 123] que u(x + h,y, 2) — w(x, y,2)= uP) -—WP)=f, ,b- fb ath =f A(t, y, 2) dt 2 Dividiendo entre h y pasando al limite con h > 0, se encuentra que, en efecto, Bux, ¥, 2) _ ax =A, y, de modo semejante, au/@y = B y du/dz = C. Esto demuestra que du = L. c. Insuficiencia de las condiciones de integrabilidad Sin embargo, el teorema sobre la independencia de las integrales de linea que acaba de probarse no tiene gran valor a menos que se tenga alguna manera de averiguar si una diferencial dada L es una diferencial total o no. Es de desear tener alguna condicién que s6lo comprenda los coeficientes A, B, C de L = Adx + Bdy+Cdz y que se verifique con facilidad. Ya se han reconocido las condiciones de integrabilidad aB_ aC _ ac aA _ aA 0B_ ©) ay = ae az = ay ~ ae = 9 como necesarias para la existencia de una funcién u = f(x, y, z) conFunciones de varias variables y sus derivadas 129 la propiedad de que L = du. Una forma L que satisfaga a (69) recibe el nombre de cerrada. De aqui que toda forma exacta es cerrada. Como las integrales de linea s6lo pueden ser independientes de la trayectoria particular que une a dos puntos cualesquiera cuan- do L es una diferencial total, se ve que las condiciones (69) son necesarias, si L debe depender tinicamente de los puntos extremos de la trayectoria de integracién. ¢También son suficientes estas con- diciones? Son suficientes si nos permiten construir una funcién u = f (x, y, 2) para la cual of. _ of _ of (70) A=3 Bay, C=5,- El resultado sorprendente es que las condiciones de integrabilidad (69) son casi suficientes, pero no lo bastante, para asegurar que L sea la diferencial total de una funcién u y, por tanto, para asegurar la independencia de fZ de la trayectoria. Las identidades (69) por si mismas no son suficientes pero se vuelven suficientes si se agrega una hip6tesis de caracter muy diferente, una hipétesis que se refiere a una propiedad geométrica de la regién del espacio en la que se con- sidera L. Un contraejemplo sencillo muestra que las condiciones (69) por si solas no son suficientes para garantizar que f L tomada sobre cual- quier curva cerrada sea 0. Considérese la diferencial xdy ~ydx m oe correspondiente a la eleccién de los coeficientes y x =a B= Pry? c=0, la cual esta definida, excepto para los puntos sobre la recta x = y = 0' (el eje z). Se verifica facilmente que se satisfacen las condiciones de integrabilidad (69) y, por tanto, que L. es cerrada. Cuando se in- tegra alrededor del circulo unitario C*: x = cos t, y= sent, z=0 en el plano x, y, orientado positivamente con respecto a ¢, se en- cuentra fie =f" ag z+ Be) ) at = £ (sen? t + cos?2) dt’ = 240.130 Introduccién al clculo y al andlisis matematico En realidad, es facil calcular {LZ alrededor de cualquier curva ce- rrada C para la L dada por (71). Introdizcase el angulo polar @ de un punto P = (x, y, z) por medio de x (72) cos 0 = sen0 = yy? ¥ es decir, el Angulo formado con el plano x,z por el plano que pasa por P y el eje 2 (ver la Fig. 1.22). Entonces (73) d0 = dare tan% =L, Figura 1.22 de modo que L se representa como la diferencial total de la funcién u = 6. Las complicaciones surgen del hecho de que las formulas (72) definen los valores de @ sdlo dentro de miltiplos enteros de 2n. Em- pezando con algunos valores posibies 8 para 0 en un punto Po, puede definirse 6 en cualquier punto P uniendo P con Po mediante una curva continua y tomando P OP) = + f do=o+ fb Po (ver el Volumen I, p. 484). Pero 0(P) definida de esta manera es multiforme, dependiendo de la eleccién de la curva: para una curva cerrada C*, la expresiénFunciones de varias variables y sus derivadas 131 1 xf, % representa el namero de veces que C se enrolla alrededor del eje z en el sentido del movimiento de las manecillas del reloj (ver la Fig. 1.23). De aqui que el valor de (74) im ao {a9 = 40 =) p\* Figura 1.23 tomada para dos trayectorias diferentes con los puntos extremos Pp, P ¢s el mismo sélo si al ir a lo largo de una trayectoria desde Po has- ta P y regresar a lo largo de la otra trayectoria hasta Po , se circunda cero veces el eje 2. Puede evitarse que cualquier trayectoria vaya alrededor del eje z, considerando sdélo puntos (x, y, 2) con y #0, 0 bien, y = 0 y x > 0, erigiendo, por decirlo asi, una pared a lo largo del semiplano y=0, x50 la cual no debe cruzarse. Los puntos no excluidos forman una regi6én132 Introduccién al cAlculo y al an4lisis matematico R en la cual puede asignarse a 6 un valor Gnico con —n1) = (1 = A) xolt) + Ana(d). Figura 1.24 Aqui Cy se obtiene geométricamente uniendo los puntos de Co y Ci que pertenecen a la misma ¢ por medio de un segmento rectilineo y tomando el punto que divide tal segmento en la raz6n A/(1 — A). Todos los puntos obtenidos de esta manera se encuentran en R, debido a la convexidad de R. Un tipo diferente de conjunto sim- plemente conexo a través de trayectorias esta representado por un cascar6n esférico. Por otra parte, no simplemente conexo es el con- junto R obtenido eliminando el eje z del espacio x, y, 2. Aqui las dos trayectorias (semicirculos) x = cos 7t, y =sen at, z=0; Ostsl x=cosmt, y=-senm, z=0; OStS1 tienen los mismos puntos extremos pero no pueden deformarse una en la otra sin cruzar el eje 2, que no pertenece a R.1 TEsto se deduce del teorema fundamental que sigue y del hecho de que existe una forma diferencial cerrada, la dada por (71), cuya integral sobre el circulo completo no se anula.Funciones de varias variables y sus derivadas 135 e. El teorema fundamental Ahora puede enunciarse la relacién entre las nociones de formas diferenciales cerrada y exacta: Si los coeficientes de la forma diferencial L = A dx + Bdy + C dz tienen primeras derivadas continuas en un conjunto R simple- mente conexo y satisfacen las condiciones de integrabilidad (75a) Be-—Cy=0, Cz—Az=0, Ay—Bz=0, entonces L es la diferencial total de una funcién u definida en R: (75b) A=u, B=uy, C=u. Para la demostracién, basta con demostrar que la integral de L extendida sobre cualquier arco poligonal simple en R con pun- to inicial P’ y punto final P” tiene un valor que depende tnicamente de P’ y P” (ver la p. 97). Represéntense, respectivamente, los dos ar- cos orientados Co* y Ci* paramétricamente por (76a) x= got), y=volt), z2=x(), OStS1 y (76b) x=¢(), y=w), z2=n); OSt<1 con t= 0 dando P’ y t=1 dando P”. Aplicando la conectividad simple de R, pueden “encajarse” las trayectorias (76a, b) en una familia! continua (76c) x= 60), y= v(t), = x(t, 2) reduciéndose a (76a, b) para 1 = 0,1 ya P’, P” parat = 0,1. Porla formula (56), p..119 se tiene mo J.B-S, 1 = S (Axi + Bye + Cz) [ny — (Axe + Bye + Cze)|aeo] dt, o* donde x, y, z son las funciones de ¢, 2 dadas por (76c). Supéngase, para empezar, que esas funciones tienen primeras derivadas conti- nuas con respecto a f, y una segunda derivada mixta continua para 0StS1,0N0,de lo cual se deduce queFunciones de varias variables y sus derivadas 139 los puntos (xo, yn) del conjunto tienden al punto limite (xo, no), el cual, por tanto, es un punto de acumulacién del conjunto. En el segundo caso, debe haber un numero infinito de valores distintos de x que son las abscisas de puntos del conjunto y puede elegirse una sucesién x1, x2, . . . de estas abscisas que tienden a un limite &. Para cada Xn, sea Px = (xn, Yn) un punto del conjunto con abscisa xn. Las Yyn forman un conjunto infinito y acotado de ntimeros; de aqui que puede elegirse una subsucesi6n nj, Yng, . - . que tiende a un limite y. La subsucesién correspondiente de abscisas xn, Xng,.. . atin tiende al limite &; de aqui que los puntos Pn, Png)... tienden al punto limite (€, 9). De donde, en cualquier caso, puede hallarse una su- cesion de puntos del conjunto que tiende hacia un punto limite y queda demostrado el teorema. b. Criterio de convergencia de Cauchy. Compacticidad Una consecuencia del teorema de Bolzano- Weierstrass es que toda sucesién infinita y acotada de puntos Pi, P2,... tiene una subsu- cesién convergente. En efecto, si la sucesién contiene un ntimero in- finito de elementos distintos, éstos forman un conjunto infinito de puntos distintos, de los cuales, de acuerdo con el principio de Weier- strass, puede elegirse una sucesién que converja a un punto Q, Si la sucesién no contiene un ndmero infinito de elementos distintos, en- tonces al menos uno de sus elementos debe repetirse con una frecuen- cia infinita; entonces existe un punto Q que aparece con una fre- cuencia infinita en la sucesién, y la subsucesién formada por los elementos que son iguales a @ converge al punto Q. Una consecuencia importante es el criterio de convergencia de Cauchy: Una sucesién de puntos Pi, P2,.. . en el plano (y de modo se- mejante una sucesion en el espacio euclidiano n-dimensional) conver- ge aun limite si y s6lo si para cada & > 0 existe un ntimero N = N(«) tal que la distancia entre Pn y Pm es menor que e siempre que tanto n como m sean mayores que N. La demostracién se desarrolla exactamente igual que la corres- pondiente para las sucesiones de nimeros reales dada en el Volumen I (p. 97). Se ve inmediatamente que una sucesién que satisface la condicién de Cauchy es acotada; de aqui que, por el teorema pre- cedente, contiene una subsucesi6n convergente con un limite Q y en- tonces se deduce inmediatamente que toda la sucesién converge a Q.140 — Introduccién al cAlculo y al andlisis matemAtico Un conjunto S de puntos en el plano se calificé como cerrado si todos los puntos frontera de S pertenecen a S. El limite Q de toda sucesién convergente de puntos de un conjunto cerrado S es nue- vamente un punto de S (ver la p. 33). Como se ha visto que toda sucesién infinita y acotada contiene una subsucesién convergente de puntos, se encuentra que toda sucesién infinita formada por puntos de un conjunto S de puntos en el plano, acotado y cerrado, contiene una subsucestén que converge a un punto de S. Generalmente se dice que un conjunto S es compacto? si toda sucesién formada por ele- mentos de S contiene una subsucesién convergente con un limite en S. De aqui que un conjunto cerrado y acotado de puntos en el plano (o en el espacio euclidiano n-dimensional) es compacto. El lector puede verificar facilmente el reciproco: Todo conjunto compacto de puntos en el plano es cerrado y acotado. En el futuro, a menudo nos referiremos a los conjuntos cerrados y acotados simplemente como conjuntos compactos. c. El teorema de cobertura de Heine-Borel Una consecuencia notable del principio de Bolzano- Weierstrass es el teorema de Heine-Borel: Sean dados un conjunto S compacto (es decir, cerrado y acotado) y un sistema >) de un ntmero infinito de conjuntos abiertos que cubren a S en el'sentido de que cada punto de S pertenece a, por lo menos, uno de los conjuntos abiertos en >). Entonces puede hallarse un ntimero finito de conjuntos en 3) que cubrena S. Como una ilustraci6n, considérese el conjunto infinito $ de puntos sobre el eje x que consiste de los puntos. Pn = (1/n, 0) para n = 1,2, y del origen Po = (0, 0). Este es un conjunto cerrado. Para 1,2, . . .,denotemos por S, el disco abierto V(x—Iny +? < wk 5 38n? con centro en Pr y radio 1/3n2, y por So el disco 1 x2 + ); porque si cada una de las cuatro partes de S pudiera ser cubierta de esta manera, el propio S seria cubierto. Llamaremos Qi a esta parte de Q. Subdi- vidase ahora Qi. en cuatro partes iguales. Por el mismo argumento, una de las cuatro partes de Qi es un cuadrado Qs tal que los puntos de S que se encuentran en Qz o sobre su frontera no pueden ser cubiertos por un namero finito de los conjuntos abiertos en 3). Con- tinuando en esta forma, se obtiene una sucesi6n infinita de cua- drados Qi, Qz, Qs, . . . cada uno contenido en el precedente, con su tamafio. reduciéndose hasta 0 y tales que los puntos de S en la ce- rradura de cualquier Qn no pueden ser cubiertos por un nimero finito de los conjuntos en >}. Evidentemente, para cada n puede hallarse un punto P, de S que se encuentre en el interior o sobre la frontera de Qn. Entonces Pi, Pz, . . . es una sucesién de puntos de S. Como S es acotado, la sucesién es acotada y debe tener una subsu- cesién que converge a algGn punto A. Como S es cerrado, A es un punto de Sy, por tanto, esta contenido en un conjunto abierto Q que pertenece a >). Pero entonces, una vecindad completa de A per- tenece a ese conjunto abierto , digamos, la vecindad que consiste de los puntos que se encuentran a una distancia menor que « de A. Puede elegirse un m tan grande que Pp, se encuentre a una distancia menor que ¢/2 de A y que la diagonal de Qn tenga una longi- tud menor que ¢/2. Entonces el cuadrado completo Q, est4 contenido en la vecindad ede A y, por tanto, también en Q .Se ve que el con- junto Q del sistema >. contiene por si solo a un cuadrado completo Qn y a su frontera, lo cual es contrario a la hipétesis para la sucesi6n Qn. Esto completa'la demostraci6n.142 Intreduccién al cAlculo y al an4lisis matem4tico d. Una aplicacién del teorema de Heine-Borel a conjuntos cerrados que estén contenidos en conjuntos abiertos Sea R un conjunto abierto en el plano.’ Por definicién, todo pun- to Pde R tiene una vecindad que se encuentra completamente en R. Para puntos P préximos a la frontera de R, la vecindad tiene que ser muy pequefia. Es notable el hecho de que para P confinado en un subconjunto cerrado S de R, puede hallarse un tamaiio uniforme para las vecindades que estén contenidas Si un conjunto cerrado y acotado S esta contenido en un conjunto abierto R, existe un & positivo tal que la vecindad « de todo punto P de S esté contenida en R. En otras palabras, los puntos que no estan en R se encuentran por lo menos a una distancia € de todos los pun- tos de S$? Para la demostraci6n, se aplica la hipétesis de que R es abierto. Para todo punto P en R existe un disco con centro en P que esta con- tenido en R. El radio de este disco, llamémosle r, depende de P; es decir, r = r(P). Témese ahora para cualquier P en S, el disco abierto de radio 4r(P) y centro en P. Por el teorema de Heine-Borel, puede hallarse un nimero finito de estos discos que cubren el conjunto compacto S. Por tanto, puede hallarse un nimero finito de puntos Pi, . . ., Pn en S tales que todo punto P de S esté contenido en uno de los discos de centro Py y radio $r(Pr) parak =1,.. .,n. Seacel menor de los nimeros positivos +r(P1),. . .,4.r(Pn). Entonces, para todo Pen S, la vecindad ¢ de P se encuentra en R, porque P se en- cuentra en algtn disco de centro Px y radio +r(Px ). Por construc- cién, el disco concéntrico D de radio r(Px) esté completamente en R. Como PPx < 4r(Pr) y ¢ < 4r(Pr), el disco D contiene al disco de radio P alrededor de P. Esto demuestra que el disco de radio & y centro P esté en en R. Como ejemplo, considérese una curva S que se encuentra en el conjunto abierto R. Tal curva es un conjunto de puntos P = (x,y) que puede representarse en la forma x=¢), y=) 1Todo lo que se dice en este parrafo’se aplica con igual propiedad a las dimensiones superiores si se sustituye el término “disco” por el de “bola”. 2Es esencial que S sea acotado. Si, por ejemplo, R es el semiplano abierto y > Oy S €s conjunto cerrado que consiste de los puntos en el plano x, y con y > 1/x,x > 0, la frontera de R se aproxima arbitrariamente a los puntos de S.Funciones de varias variables y sus derivadas 143 con el auxilio de dos funciones continuas ¢ y W, donde el parametro ¢ varia sobre un intervalo cerrado 0 <¢<1.! Tal curva S es un con- junto cerrado de puntos. En efecto, sea Pi, P2,. . . una sucesién de puntos sobre S que converge a un punto P, Considérense los valores correspondientes del parametro: ti, tz, . . ., los cuales todos estan en el intervalo cerrado a 0. Si f es continua en cada punto de S, para cada punto. 6 en S exis- te una vecindad 8 de P de un cierto radio 8 = 8(P) tal que |f(Q) — f (P)| por su semejanza con los signos < y > de la aritmética (0, mAs precisamente, con los sig- nos < y >). Los simbolos en cuestién comparten con estos tltimos las propiedades basicas: SCT y TCS implicaque S=T SCT y TCR implicaque SC RI Una diferencia basica entre los signos “contenido en” para los con- juntos y los signos de orden para los nimeros es que para los nameros reales siempre se tiene x < y, o bien, y < x, mientras que para los conjuntos ninguna de las proposiciones S C T’, o bien, TC S tiene que cumplirse. El simbolo C sélo define un ordenamiento “parcial” entre conjuntos; de dos conjuntos es posible que ninguno contenga al otro. TEste es el silogismo comGn de la légica: Si todos los puntos con la propiedad A tienen la propiedad B y todos los objetos con la propiedad B tienen la propiedad C, entonces todos los objetos con la propiedad A tienen la propiedad C.Funciones de varias variables y sus derivadas 147 b. Unién e interseccién de conjuntos Durante las dltimas décadas, un gran namero de simbolos légicos ha encontrado amplia aceptacién en las matematicas, de modo que ahora es costumbre expresar muchos teoremas matemAticos com- pletamente en notacién simbélica sin el uso de palabras ordinarias 0 estructuras de oraciones.' El uso de la notacién simbélica apropiada ha sido esencial para el desarrollo de las matemAticas desde sus prin- cipios; de hecho, en algunos casos raros, se ha retardado el progreso en algin campo durante siglos precisamente por la falta de una notacién apropiada; tal vez ese fue el caso con el Algebra en la an- tigtiedad. Por otra parte, una notacién demasido concentrada puede requerir un gran esfuerzo del lector que trate de relacionar la infor- maci6n en la forma “dishidratada” con su experiencia ordinaria. Los autores de libros que no estan dedicados ante todo a la légica y a los fundamentos de las matemAticas transigen en el uso de las abre- viaturas logicas, de acuerdo con sus gustos y los requerimientos de los temas especiales bajo consideracién. Existen dos simbolos mas de la teoria de conjuntos que encon- traremos casi indispensables posteriormente en este libro, a saber, los simbolos para las operaciones de “unién” e “interseccién” de conjun- tos. Dados dos conjuntos S$ y T se escribe S U T para la “union” de los dos conjuntos, es decir, para el conjunto de los elementos que es- tan en S“o” en T: SUT={a:aES 0 aeET}2 De modo semejante, la “interseccién” S$ 1) T de S y T se define como el conjunto de los elementos que pertenecen tanto a S como a T: SNT={a:aeES y aeET}. iEjemplos de simbolos usados con frecuencia son los que siguen: {x1, 82, . » +) Zn} el conjunto cuyos miembros son precisamente x1,. . «xn § x T:el conjunto de las parejas ordenadas (a,) cona € Sy b © T (“producto car- tesiano” de los conjuntos S, T) =>: “implica” ax: “existe una x” vx: “ para toda x”. 2Aqui la palabra “o", como el latin vel, no es exclusiva. SU T' consiste de los ele- mentos que pertenecen por lo menos a uno de los dos conjuntos S, T pero puede per- tenecer a ambos.148 Introduccién al cAlculo y al an4lisis matematico Por ejemplo, si Sy T son intervalos sobre _eje de los nimeros reales ysi S= {x:3 —1. La interseccion de la misma familia de discos contiene dnicamente al punto (1, 0). c. Aplicaciones a los conjuntos de puntos en el plano Algunos de nuestros primeros resultados y definiciones (ver las pp. 80) se pueden reescribir mas compactamente en la notacién in-150 Introduccién al cAlculo y al andlisis matemAtico troducida en las dltimas secciones. Por tanto, dado un conjunto S de puntos en el plano, se obtiene una descomposicién del plano com- pleto m en tres conjuntos ajenos, a saber, el conjunto S® de los puntos interiores de S, el conjunto 4S de los puntos frontera de S y el con- junto S, de los puntos exteriores de S. n= S°UISUS o m4s precisamente, n= S°+4S+ Se Puesto que los conjuntos son ajenos: 8°) aS =I3S 1 Se= Se S°=O. Aqui SCSCS +458. El conjunto § definido por q) $=S89+05=SUaS es la cerradura de S. Se tiene S° = S para S abierto y S = S para S cerrado. El lector puede verificar, como ejercicios, las proposiciones si- guientes: aS = aS (‘La frontera de un conjunto siempre es cerrada”.) § = § (“La cerradura de un conjunto siempre es cerrada”.) (S%)9 = S°, (S.)° = Se(“Los conjuntos S°.y S, son abier- tos”.) Aa) SUPC(SUTY, SUTCSUT %b) SU T)CaSuaT La unién de conjuntos abiertos es abierta. La unién de un namero finito de conjuntos cerrados es cerrada. La interseccién de un némero finito de conjuntos abiertos es abierta. La interseccién de conjuntos cerrados es cerrada. Las ultimas proposicionesindican un tipo de simetria (‘“duali-Funciones de varias variables y sus derivadas 151 dad”) entre las nociones de “‘abierto” y “cerrado”, “unién” e “inter- seccién”. Esto se hace mAs preciso si se introduce el complemento C(S) de un conjunto S, es decir, el conjunto de puntos en el plano x que no pertenecen a S:* C(S) = (P: Pen, Pe S}=n-S. Se tiene C(S) =S., ACS) = 9S, — C(Se) Se, Si S es abierto, C(S) es cerrado, y viceversa. El complemento de la interseccién de varios conjuntos es la unién de sus complementos. En esta notacién, el teorema de Heine-Borel toma una forma par- ticularmente simple. “Una familia F de conjuntos cubre a un con- junto S“, significa simplemente que S est4 contenido en la unién de los conjuntos de F. Entonces el teorema simplemente dice: Si F es una familia de conjuntos abiertos en el plano y si S es un conjunto acotado y cerrado tal que SC UT, Ter entonces se puede hallar un nimero finito de conjuntos Ti, Tz, . - -, Tn & F tales que SCU Tr. kaa A.4, Funciones homogéneas Las funciones homogéneas mas simples que ocurren en el anilisis y sus aplicaciones son las formas o polinomios homogéneos en varias variables (ver la p. 38), Se dice que una funci6n de la forma ax + by es una funcién homogénea de primer grado en x y y, que una fun- cién de la forma ax? + bxy + cy? es una funcién homogénea de segundo grado y, en general, que un polinomio en x y y(o en un niimero mayor de variables) es una funcién homogénea de grado h si, en cada término, la suma de los exponentes de las variables indepen- dientes es igual a h, es decir, si los términos (independientemente de los coeficientes constantes) son de la forma x, xi-ly, ah By, yh, 1 Para conjuntos $ de puntos en el espacio tres X, el complemento de S de define como 2! — S,el conjunto de los puntos de 5 que no pertenecen a S.152 Introduccién al calculo y al an4lisis matematico Estos polinomios homogéneos tienen la propiedad de que se cumple la ecuacién f(tx, ty) = tf(x, y) para todo valor de ¢. M4s generalmente, se dice que una funci6n f(x y+.) es homogénea de grado h si satisface la ecuacién f(tx, ty,. . .) = f(x,y, -- -) Ejemplos de funciones homogéneas que no son polinomios, son tan(2) (h=0), tsen 5 + yt +x log = T> (h=2), Otro ejemplo es el coseno del Angulo entre dos vectores con las com- ponentes respectivas x, y, 2 y U, UV, W: xu + yu + zw _ Jety +o ie+ ore (h= 0). La longitud del vector con componentes %, y, 2, Vat yt eB es un ejemplo de una funcién que es positivamente homogénea y de primer grado; ésto es, la ecuacién que define a las funciones ho- mogéneas no se cumple para esta funci6n a menos que ¢ sea positiva o sea igual a 0. Las funciones homogéneas que también son diferenciables satis- facen la ecuacién diferencial parcial de Euler xfe + Yfy + afets + + =hf(x,y,%-..) Para probar ésto, se derivan ambos miembros de la ecuaci6n f(tx, ty, .. .) = f(x,y, . .-) con respecto a t; ésto puede hacerse, dado que la ecuaci6n es una identidad en ¢t. Aplicando la regla de la cadena a la funcién de la izquierda, se obtiene xftx, ty...) + Wilte, ty, ..)t+ + + SA fe,y,...). Si se hace la sustitucién ¢ = 1 en ésto, se llega a la conclusi6n. Inversamente, es facil demostrar que la homogeneidad de la fun-Funciones de varias variables y sus derivadas 153 cién f(x,y,...) es una consecuencia de la relacién de Euler, de modo que Ja relacién de Euler es una condicién necesaria y suficiente para la homogenetdad de la funcién. El hecho de que una funcién es homogénea de grado h también puede expresarse diciendo que el valor de la funcién dividida entre x* s6lo depende de las razones y/x, 2ix,.... Por lo tanto, basta con demostrar que de la relacién de Euler se deduce que si se introducen las nuevas variables la funci6n BGI d= BME MG I= BENG) ya no depende de la variable & (es decir, que la ecuacién ge = 0 es una identidad). Para probar ésto, se aplica la regla de la cadena 1 h &=(fetnhyt+-- en gil 1 h = (he + fv ++ + am pail La expresion de la derecha se anula en virtud de la relacién de Euler y queda probada la proposicion. También puede probarse esta proposicién en una forma mas elegante, pero menos directa. Se desea demostrar que, a partir de la relacién de Euler, se deduce que la funcién at) = Uf(%, 9, .- .) — f(x, ty. . -) tiene el valor 0 para todos los valores de t. Es obvio que g(1) = 0. Una vez mas, 8 (t) = ht f(x,y, . «) — afte, ty... .) — yflte, ty...) . Aplicando la relacién de Auler a los argumentos #x, ty,.. . se en- cuentra que afdix, ty...) + yhlts, ty, te =P Kin. .), y, por tanto, g(t) satisface la ecuacién diferencial154 Introduccién al cAlculo y al andlisis matematico h Bs) =8O;- Si se escribe g(é) = Y(t", se obtiene g’(t) = g(t) + ty’), de modo que (2) satisface la ecuacion diferencial ty) = 0, la cual tiene la solucion Gnica y = constante = c. Ya que para t= 1 es obvis que y(#) = 0, la constante c es 0 y, asi, g(t) = 0 para todos los valores de ¢, lo que tenia que demostrarse.CAPITULO 2 Vectores, matrices, transformaciones lineales En el Volumen I, Capitulo 4, ya se han estudiado los vectores en dos dimensiones. Los conceptos geométricos en dimensiones supe- riores hacen incluso més esencial el uso de los vectores. Los vectores sirven para expresar muchas ecuaciones complicadas concisamente, en una manera que exhibe con claridad aquellas caracteristicas que no dependen de la seleccién particular de los sistemas de coorde- nadas. 2.1 Operaciones con vectores a. Definicién de los vectores Se introducen los vectores en el espacio n dimensional como en- tidades que pueden sumarse entre si y multiplicarse por escalares. Es- pecificamente, un vector A es un conjunto de n ndimeros reales! @,..-.,@2 enun orden definido. A=(a1,.. .,@n) (Siempre emplearemos las letras negritas para denotar a los vectores.) Los ntimeros ai,. . . ,@n se llaman componentes de A. Dos vectores A=(ai, . . .,4n) y B = (bi,. . ., bn) son iguales si y sélo si tienen las mismas componentes. 1Para nuestros propésitos basta con considerar Gnicamente nameros reales como componentes, aunque en otros contextos también se-usan vectores sobre otros cam- pos numéricos.is matemAtico 156 Introducci6n al calculo y al ani La suma de dos vectores cualesquiera A = (a1, . . ., dn) y B= (bi, ...«,6n) se define por (la) A+ B= (ai + bi, a2 + be,.. .,an + ba); se define el producto del vector A = (ai,. . . , Gn) por el escalar (es decir, el ntmero real) 4 como (1b) AA = (Aan, Aaa, . . ., Aan)? Mas generalmente, a partir de cualquier namero finito de vectores A = (ai, a2... , Gn), B= (bi, bz, . . ., bn). . », D=(di, da, . . , dn) yun némero igual de escalaresA, yn, . . . , y puede formarse la combinacion lineal A+ ~B++ ++ +yD=(Qar+pbite +++ ydi,..., Aan + pbn ++ + + +ydn). En particular, cualquier vector A = (ai, . . ., dn) puede representarse como una combinacién lineal de los n “vectores coordenados” (2a) E. =(,0,0,.. .,0), Ex = (0,1,0,...,0),..., En= (0,0,0,...,1). Obviamente, (2b) A= aE; + a2E2 ++ + + + anEn. Se usa el simbolo 0 para el “vector cero”, cuyas componentes son todas cero: 0 = (0, 0,..., 0). Se escribe —A parael vector (—1)A = (-a1, —a2,..., —@n). Trivialmente, a partir de estas definiciones se concluye que las sumas de vectores y los productos con escalares obedecen todas las leyes algebraicas usuales, siempre y cuando tengan significado.’ Ejemplos de objetos que se representan de modo conveniente por Los vectores son diferentes de otros objetos que pueden describirse por medio de conjuntos ordenados de n nimeros reales (por ejemplo, puntos en el espacio eu- clidiano n dimensional o sobre una esferaen n +1 dimensiones) precisamente por el hecho de que permiten las “operaciones lineales” A + By 4A. La adicién de puntos definida de modo semejante en términos de sus coordenadas no tendria significado geométrico, al menos. ningtin significado independiente del sistema coordenado es- pecial que se use. Los vectores se representardn posteriormente por medio de parejas de puntos (ver la p. 140).Vectores, matrices, transforimaciones lineales 157 medio de vectores se tienen en las funciones que son combinaciones lineales de un némero finito de funciones elegidas apropiadamente. Asi, el polinomio general de grado Sn en la variable x, P(x) = ao + ix + a2x? + + + + + Gn”, puede representarse por el solo vector A = (ao, a1,. . . ,@n) en el es- pacio (n + 1) dimensional. La adici6n de vectores y la multiplicacién por escalares corresponden entonces a las mismas operaciones Ile- yadas a cabo para los polinomios. De modo semejante, el polinomio trigonométrico general de n-ésimo grado, f(x) = a0 + 3 (ax cos her + be sin he) (ver el Volumen I, p. 577) puede representarse por medio del vector (ao, a1, . . ., Gn, bi, bz, . . ., bn) en el espacio (2n + 1) dimensional. La function lineal homogénea general de tres variables, U = aX + exe + Gaxs se representa por el vector (a1, a2, a3) en el espacio tridimensional, y la forma cuadrdtica general en tres variables, u = aix1® + aex2 + asxs® + 2aaxexs + 2asxsxi + asxixe por el vector (a1, a2, a3, 24, 45, a6) en el espacio hexadimensional. b. Representacién geométrica de los vectores Los vectores en el espacio n dimensional, precisamente como en el plano, pueden concebirse geométricamente como ciertas aplicaciones Estas leyes son las siguientes: @A+B=B+A,A+B+O=A+B+C @) MA+B)=AA+AB, @+WA=2A + uA, Qu)A = AA) (3) Existe un elemento dinico O tal que A + O = A para todo A (4) Existe un elemento Gnico— A para A dado, tal que A + (—A) =0 (5) 0A = 0, 1A =A para todo A. Generalmente, los conjuntos de objetos para los cuales estan definidas la adicion de los objetos y la multiplicacién por escalares, y obedecen estas leyes, se llaman espacios vectoriales.158 Introduccién al cAlculo y al an4lisis matematico del espacio, las traslaciones o desplazamientos paralelos.. El vector A=(ai, a2,..., Gn) puede describirse como la traslacién del es- pacio euclidiano n dimensional R" que aplica cualquier punto P = (x1, x2, ...,%n) en el punto P’ = (x1', x2’, . . ., ¥n') con coorde- nadas (8a) xa! = x1 + a1, x9! = x2 + G2, . «Xn! = Xn + ant La traslacién, o el vector correspondiente A, queda determinada de modo énico si para un punto particular P = (x1, 2, . . - » Xn) se da laimagen P’ =(x1',xx/,...,%n’) obviamente, por (3a), (3b) A = (x1! — a1, 22! — x2, .. «Xn! — Hn). Esta traslacin se denotaré por A = PP’ y se dir4 que el vector x queda representado por la pareja ordenada de puntos P y P’. En esta representacién, a P se le da el nombre de punto inicial y a P’ el de punto terminal o final. En los dibujos coménmente se indica el vector A = PP’ por medio de una flecha que se extiende desde P hasta P’. El mismo vector A tiene muchas representaciones A = PP” por medio de una pareja de puntos P y P’, El punto inicial P es com- pletamente arbitrario, dado que la aplicacién definida por A puede actuar sobre cualquier punto y, entonces, determinar una imagen P'2 El vector cero, 0, corresponde a la “aplicacién identidad” en la que cada punto se aplica sobre si mismo: 0= PP. Como en el plano (Volumen I, p. 384), la suma de dos vectores A=(a,..., an), B= (bi,..., bx) proporciona el producto simbélico de las aplicaciones correspondientes. Si A lleva al punto P = (x1, .. ., %n) hacia el punto P’ = (x1',. . . , xn’) y B lleva al punto P” hacia el P” =(xv’,...,n”, entoncesC = A + B corresponde a la traslacién que lleva a P hacia P”, puesto que wi = xe + bt = (ae + as) + be = me + (et BY) . , n. En notacién vectorial, se tiene parai= TSe entiende que los dos puntos P y P’ se encuentran en R* y que sus coordenadas se toman con respecto al mismo sistema coordenado. *Ocasionalmente, se usa la notacién P’— P para el vector PP’, la cual, de acuerdo con la formula (3b), sugiere la nocién de vectores como diferencias de puntos.Vectores, matrices, transformaciones lineales 159 (4) A+B = PP’ + PP” = PP’. Si se representa B en la forma PP” dandole el mismo punto inicial P de A, se encuentra que A + B = PP” queda representado por la diagonal del paralelogramo con vértices P, P’, P", P” (ver la Fig. 2.1). Figura 2.1 Adicion de vectores. Intercambiando el punto inicial y el final del vector A = PP’ = (x1 — x1, x2! — x2, . . . , Xn’ — Xn)se obtiene el vector opuesto oy PP = (a1 — x1, %2 — 2!) 2, Xn — Xn!) = (-1I A= A. La aplicacién P’—P, correspondiente a —A, es la inversa a la aplicacién A; Ilevando a cabo primero A y, a continuacién, —A se llega a la aplicacién identidad, de acuerdo con la férmula (-A)+A=(-14+DA=0A=0, Correspondiendo a (4), se tiene la tan usada férmula para la diferen- cia de dos vectores A = PP’ y B = PP” con punto inicial comin: . os ~ os -. . _. (4a) B—A-= PP" — PP = PP” + PP = PP + PP” = PP". La diferencia de los vectores PP” y PP” se representa aqui por el tercer lado del triangulo con vértices.P, P’, P”. Con cada punto P=(x1,..., Xn) puede asociarse un vector nico que tiene al,origen como punto inicial y a P como punto final; éte es el vector160 Introduccién al calculo y al andlisis matematico = OP = (x1, . . «5 Xn), el llamado vector de posicién de P. Las componentes del vector de posicion de P son precisamente las coordenadas de P. Por ejemplo, el vector coordenado Ei = (0,...,0,1,0,...,0) de la formula (2a) es el vector de posicién del punto sobre el eje x, positivo que se Figura 2.2 El vector PP’ como diferencia de los vectores de posicin. encuentra a la distancia 1 del origen. Cualquier vector A = PP’ puede escribirse siempre como la diferencia de los vectores de po- sicién de su punto final y su punto inicial: (6) PP = OP - OP (ver la Fig. 2.2). c. Longitud de los vectores, éngulos entre direcciones La distancia entre dos puntos P = (m,..-,*n)y Po = (xi',.. .,%n’) en el espacio euclidiano n dimensional R* esta dada por la formula’ © MGV = may? F ea! = x2) Fe Fn = on) Como sélo entran en la expresién para r las diferencias de las coor- denadas correspondientes de P, P’, se ve que la distancia es la misma para todas las parejas de puntos P, P’ que representan al mismo vec- TEn dos o tres dimensiones puede deducirse la formula geométricamente aplicando el teorema de Pitégoras. En dimensiones superiores la expresién para r puede con- siderarse como la definicién de distancia entre dos puntos en el espacio euclidiano n dimensional, cuando se refiere a un sistema coordenado cartesiano.Vectores, matrices, transformaciones lineales 161 tor A = PP’. Arse le da el nombre de longitud del vector Ay se es- cribe r =|A]. El vector A = (a1,. . . ,@n) tiene la longitud (6a) [Al =Var® + a2? + + + Fan® El vector 0 = (0, 0,. . . , 0) tiene longitud 0. La longitud de cual- quier otro vector es un namero positivo. En la geometria euclidiana los 4ngulos pueden expresarse en tér- minos de longitudes. Esto se logra por medio de la férmula trigo- nométrica (“ley de los cosenos”) que da el angulo ¥ entre los lados a y ben un triangulo con lados a, 6, ¢: —e 5 5 a+b 2 (6b) cos Y= Esta formula se aplica a un tridngulo con vértices P,P’, P”. (Fig. 2.3a). Los lados a y b del triangulo son las longitudes de los vectores A = PP, B = PP”, mientras que el lado c es la longitud del vector @) (b) Figura 2.3 Representacién vectorial de una recta que pasa por un punto dado con una direccion dada. C=PP' = PP" - PP =B-A. Para A=(4,..-,@n), B=(bi,...,bn)162 Introduccién al cAlculo y al an4lisis matematico se tiene C=(,...,¢n)=(b1—a1,..., bn — an). Por (6b), cos y = AR+IBI? =1C1? 2)A] |B] donde IAPS Sat, (Bie = Soe, | ejpe= h(a Por tanto, para A+0,B +0, abi + aebe ++ + + +a) Vart+e es Fan Vb + () cos y= Se ve que el angulo y en el triangulo PP’P” sdlo depende de los vectores A = PP’ y,B = PP”. En consecuencia, a la cantidad cos 1, dada por la formula (7), se le da el nombre de coseno del dngulo! entre los vectoresA = (a1,...,@n) y B=(bi,.. ., bn). La formula (7) para el cos y en realidad siempre define Angulos reales y entre dos vectores cualesquiera diferentes de cero A, B,dado que siempre proporciona un valor con |cos y|< 1. Esta es una con- secuencia inmediata de la desigualdad de Cauchy-Schwarz (Volumen I, p. 15) (8) (abi + a2bz + + + + + ann)? SG? + a2? $+ + + +an®\(bi? + be? + + + + + bn?) Al calcular los angulos entre el vector A y cualquier otro vector B, a partir de (7), s6lo se requiere conocer las cantidades ed BS Tattoo) TEI propio angulo y queda determinado de manera dnica s6lo si se restringe y aen- contrarse en el intervalo 0S Sn. Remplazando y por 2nm -t y (donde n es un en- tero), se obtienen todos los demas Angulos con el mismo valor de cos ¥, y cual- quiera de éstos se considerara como un Angulo entre A y B.Vectores, matrices, transformaciones lineales 163 que se conocen como cosenos directores de A. Todos los vectores diferentes de cero con los mismos cosenos directores forman los mis- mos Angulos con otros vectores y, por tanto, puede decirse que tienen la misma direccién. De (7) se concluye que los cosenos directores de A pueden interpretarse como los cosenos de ciertos 4ngulos: (10) & = cos a, donde a es el Angulo entre A y el i-ésimo “vector coordenado” Ex = (,...,0,1,0,...,0). Los n cosenos directores del vector A satisfacen la identidad* (11) cos? a + cos? a2 + + + + cos? On El tinico vector sin cosenos directores (y, por tanto, sin direccién) es el vector cero. Dos vectores A y B que no sean iguales a 0 tienen la misma direc- cién si y sdlo si tienen los mismos cosenos directores, es decir, si 1 1 Laz ies. A= By IA] Evidentemente, éste es el caso si y sdlo si A y B satisfacen una re- lacion A = 4B, donde A es positiva. Aqui 4 = [A|/|Bles la raz6n de las longitudes de los vectores. Un vector de longitud 1 se llama vector unitario. El vector Gus 8) = Tay A cuyas componentes son los cosenos directores de A, es el vector unitario en la direccién de A. El vector —A = (—ai,. . . , —@n) opuesto a A tiene los cosenos directores —&. Se dice que su direcci6n es opuesta a la de A. Los vec- tores A y B (ninguno de los cuales es el vector cero) son paralelos si tienen la misma direccién, o bien, si tienen direcciones opuestas, pero para que exista paralelismo es necesario que A = AB donde } es cualquier namero A 4 0.Lascomponentes ai, . . ., @n de cualquier Tn dos dimensiones la relacién cos? a1 + cos? a2 = 1 nos permite elegir para Ga el valor 2/2 — ax, En tres o mas dimensiones la relacion (11) entre los cosenos directores no corresponde a relacién lineal simple alguna entre los propios angulos ay164 Introduccién al calculo y al andlisis matematico vector A # 0 paralelo a una direccién dada se llaman ntimeros direc- tores para esa direcci6n. Si a un vector unitario (1, . En) se le asigna el origen 0 como punto inicial, el punto final P = (&1, . . - , 6x) es un punto sobre la “esfera unitaria” (es decir, la esfera de radio 1 y centro en el origen 0) E12 + Gee ++ © » + En? = 1. Dado que existe exactamente un vector unitario en cualquier direccién dada, se ve que las diferentes direc- ciones en el espacio n dimensional pueden representarse por los pun- tos de la esfera unitaria. Los puntos de la esfera que corresponden a direcciones opuestas estan diametralmente opuestos. Intuitivamente, puede imaginarse una recta como una curva de “direccién constante”. Esto sugiere que una recta en el espacio n dimensional se defina como un lugar geométrico de los puntos con la propiedad de que todos los vectores # 0 con punto inicial y punto final sobre la recta sean paralelos. Esta definicién conduce inme- diatamente a una representaci6n vectorial para las rectas. Para cualesquiera puntos distintos P, Q sobre la recta L, el vector PQ es paralelo a un vector fijo A, es decir, PQ =A (A #0). Si se mantienen fijos P y A y se hace que Q recorra todos los puntos de la recta L, para el vector de posicién de Q se tiene la f6rmula (ver la Fig. 2.3b) (12) 0@ = OP + PQ = OP + 2A. Aqui el parametro 4 varia sobre todos los valores reales; el valor 4 = 0 corresponde al punto Q = P. Si Q tiene las coordenadas x1, . xn; P, las coordenadas ¥1, . . - , ¥n;-y A, las componentes ai,..., @n, la formula (12) corresponde a la representacién paramétrica de la recta = Ye + has G +n) donde el parametro A varia sobre todo 2 real. El punto P divide a la recta L en dos semirectas, o “rayos”, que se distinguen por el signo de 2. Para <0. el vector P@ tiene la misma direccién que A (“apun-Vectores, matrices, transformaciones lineales 165 ta” en la direcci6n de A); para’ > 0, el vector P@ apunta en la direccién opuesta. D. Productos escalares de vectores La cantidad que aparece en el numerador de la formula (7) para el Angulo 4 entre dos vectores A = (a1,. . . ,@n) yB = (bi... , bn) se llama producto escalar de Ay B y se denota por A+ B: (13) A+B =aibi + azb2 ++ + + + anda. Expresado en términos de entidades geométricas, puede escribirse como (14) A-B=(A| |B] cos y. El producto escalar de dos vectores es el producto de sus longi- tudes multiplicado por el coseno del dngulo entre sus direcciones. Si A= PP,B = PP”, puede interpretarse p= |A| cosy geométri- camente como la proyeccién (con signo) del segmento PP’ sobre la recta PP” (ver la Fig. 2.4). p recibe el nombre de componente del vector A en la direccin de B. Por la formula (14), se tiene (14a) A-B=p|BI. De donde, el producto escalar de los vectores A, B es igual a la com- ponente de A en la direccién dé B multiplicada por la longitud de B. Si B es el vector coordenado E; = (0,..., 1,. . . 0) en la direc- cién del eje x; positivo, la componente de A en la direccion de B es simplemente ai, la 7-ésima componente del vector A. A partir de la definicién (13), facilmente se verifica que el producto escalar satis- face las leyes algebraicas usuales (15a) A-B=B-A (ley conmutativa) (15b) MA +B) =(AA)+B=A- (AB) (ley asociativa)* Tpor supuesto, también es igual a la componentes de B en la direccién de A, mul- tiplicada por la longitud de A. 2Como el producto escalar de dos vectores no es un vector sino un escalar, no existe ley asociativa que involucre productos escalares de tres vectores,166 Introduccién al cAlculo y al an4lisis matematico Pp Figura 2.4 Producto escalar de los vectores A= PP’ y B= PP” (15c) A-(B+C)=A-B+A-C, (A+B)-C=A-C+B-C (leyes distributivas). La importancia fundamental del producto escalar proviene del hecho de que, expresado en términos de las componentes de los vec- tores A y B, tiene la sencilla expresién algebrazca (13), mientras que, al mismo tiempo, tiene una interpretacién puramente geométrica representada por la formula (14), la cual no hace mencién de las componentes de los vectores en sistema coordenado especifico alguno. Los productos escalares no son Utiles Gnicamente para describir 4n- gulos sino que forman la base para deducir también expresiones analiticas para las areas y volamenes. A partir de la desigualdad de Cauchy-Schwarz (8) se concluye que el, producto escalar satisface la desigualdad (16) |A-B/ SIA! |BI, la cual expresa que cos |S 1. Se vera (p. 231) que la igualdad en (16) s6lo se cumple si los vectores A y B son paralelos.o si al menos uno de ellos es el vector cero. Nétese que, por (6a) y (13), para B = A queda (17a) A-A=IAl, Es decir, el producto escalar de un vector consigo mismo es el cuadrado de su longitud. Esto también se deduce a partir de (14), ya que el vector A forma el angulo y = Oconsigo mismo. La importante relaci6nVectores, matrices, transformaciones lineales 167 (17b) A+B=0 para los vectores A, B diferentes de cero corresponde a cos y = 0, 0 bien, 7 = 7/2. Esta relacién caracteriza a los vectores A, B como “perpendiculares” u “ortogonales” o “normales” entre si. Por otra parte, A» B > 0 significa cos y > 0; es decir, puede asignarse a y un valor con 0 < y < 1/2; las direcciones de los vectores forman un 4n- gulo agudo. De modo semejante, A - B < 0 significa que los vectores forman un Angulo con 2/2 < y c.El vector A apunta hacia el semiespacio A + X > c. Con ésto quiere darse a en- tender que un rayo que emana de un punto Q del hiperplano en la direccién de A consiste de los puntos cuyos vectores de posicién X Figura 2.5a Ley de formacién del determinante de tercer ordenVectores, matrices, transformaciones lineales 169 satisfacen a A+ X >. En efecto, los vectores de posicién X de los puntos P de ese rayo estan dados por ~s a X= OP= 0Q@+)A=Y+)AA [ver (12)], donde Y¥ es el vector de posicién de Q y 4 es un nimero positivo. Entonces es obvio que A+X=A-+Y+A+)A=c+A)lAl?> ce. Mas generalmente, cualquier vector B que forma un Angulo agudo con A, apunta hacia el semiespacio A- X > c, dado queA-B>0 implica que A+X=A-+-(¥+1B)=A-Y+AA-Boc. Si la constante c es positiva, el semiespacio A+ X n, es decir, st el ntimero de incégnitas es mayor que el niimero de ecuaciones. La dltima proposicién puede plantearse geométricamente en una forma diferente, si se interpreta cada una de las ecuaciones (25a) como si enunciara que cierto producto escalar de dos vectores en el espacio n dimensional se anula. Entonces, una solucién no trivial x1, . ++ )%m corresponde a un vector X= (x1,..., Xm) #0. La anulacién del producto escalar de dos vectores que no se anulan sig- nifica que los vectores son mutuamente perpendiculares. Las ecuaciones (25a) afirman que X es perpendicular a los n vectores(a11 G12, . + +» 1m), (21,22, . . . , dam), » (Gnt,n2,---,@nm). En- tonces se tiene: Dado un conjunto de vectores que no se anulan, cuyo niimero es menor que la dimensién del espacio, puede hallarse un vector que sea perpendicular a todos ellos (y por tanto, por lo es- tablecido en la p. 171 es independiente de ellos). Regresando a los vectores en el espacio n dimensional, se observa una consecuencia mas del teorema fundamental: Todo vector ¥ en el espacio n dimensional depende de n vectores dados Ai,...,An, siempre que A1,..., An sean independientes. Puesto que como los n+ 1vectores Ai,...,An, Y deben ser dependientes, se tiene una relacion de la forma zA1 + z2Ae ++ + + +-2nAn + ent Y= 0, donde no todas las cantidades zi, . . . , Zn+1 se anulan. Entonces 2n+1 #0, ya que de lo contrario Ai,..., An serian dependientes, lo sque'seria opuesto a la hipétesis. Se concluye que174 Introduccién al cAlculo y al andlisis matematico (26) Y= x1A1 + xoAot + + + + xnAn donde = - we i ua G= +m). Incidentalmente, los coeficientes xx en la representacién (26) de Y como una combinacién lineal de los vectores independientes Au, . . ., An estan determinados de manera tnica, porque si hubiera una segunda representaci6n Y = yiAi + yeAo ++ + + + ynAn restando se concluirfa que (a1 — yi)Ai + (2 — yo)Aa + + + + + (en — yn)An = 0. Aqui, para los vectores independientes Ai,..., Anse concluye que todos los coeficientes se anulan y, por tanto, que x1 = yi,..., Xn = Yn. Por otra parte, si A1,...,An son dependientes, evidentemente puede encontrarse un vector Y que no dependa de Aj, . . . , An, por- que, en ese caso, uno de los vectores Ai,. .., An depende de los otros, digamos An de Ai, . . ., An-1; entonces, un vector Y depen- diente de Au, . »An también es dependiente de Au,. . ., Ant No obstante, existen vectores Y en el espacio n dimensional que no dependen de n — 1 vectores dados (ver la p. 173). Como la independencia de Ai, . . . , An es equivalente al hecho de que el sistema correspondiente de ecuaciones lineales homogéneas (25a) tiene s6lo la solucion trivial, se ha deducido el siguiente teo- rema basico acerca de la resolubilidad de sistemas de ecuaciones lineales, a partir del teorema fundamental: El sistema de n ecuaciones lineales 111 + Gieke ++ + + + AinXn = V1 (27) 2x1 + Grexe ++ + + + GanXn = yo Gnixi + Gnax2 ++ + + + GnnXn = Yn tiene una solucién tinica x1,..., Xn para cualesquiera niumerosVectores, matrices, transformaciones lineales 175 dados y1,.. . , Yn Siempre que las ecuaciones homogéneas a@iixX1 + Gi2x2 + + + * + dinkn = 0 (27a) Gaix1 + Geexe + + + + + dentn = 0 Gnix1 + Gnaxe ++ + + + Annktn = 0 solo tengan la soluci6n trivial x1 = x2 = + + + = Xn = 0. Stel sistema (27a) tiene una soluct6n no trivial, pueden hallarse los valores ¥1,.. . 5 Yn para los cuales el sistema (27) no tiene soluci6n. Aqui se tiene un teorema puramente de existencia, que no da in- dicacién sobre cémo se puede obtener realmente la solucién 4X1, x2. ++%n, si existe. Esto puede lograrse por medio de determinantes, como se discute en la Secci6n 2.3, a continuacién. Procederemos a realizar la demostracién del teorema fundamen- tal, aplicando la inducci6n sobre la dimensién n. El teorema afirma que cualesquiera n +1 vectores Ai,..., An, Y en el espacio n dimensional son dependientes. Para n= 1, los vectores se vuelven escalares y la proposicién que debe probarse es la siguiente: Para dos ntimeros cualesquiera Y y A pueden hallarse’ los ntimeros %o, %1, los cuales no se anulan simultaneamente, tales que xo¥ + mA = 0. Esto es trivial. Si ¥ = A = 0, tomese x9 = x1 = 1; en todos los demas casos, tomese x = A, x1 = —¥. Supé6ngase que se ha probado que n vectores cualesquiera en el es- pacio (m — 1) dimensional son dependientes. Sean A1,..., An, Y vectores en el espacio n dimensional. Se desea probar que Ai,..., An, ¥ son dependientes. Esto es evidentemente elcasosi Ai, ..., An, solos ya son dependientes. Por tanto, nos restringiremos al caso en el que Ai, . . . , Anson independientes; se probara que entonces Y es dependiente de Ai, . . . , An. Basta con probar que cada uno de los vectores coordenados Ei, . . .En, que se tienen en (22), depende de Ai,...,An, porque, por (23), cualquier vector Y es una combi- naci6n lineal de los E; y, por tanto, también de los Ax, si los Ei pueden expresarse en términos de los Ax, Sélo se probara que E, depende de Ai,...,An, ya que la demostracién para los otros E; es semejante. Basta con demostrar que el sistema de ecua- ciones176 Intreduccié6n al cAlculo y al an4lisis matematico x1 + aiaxe ++ + * + AinXn=0 (28) inn G -,n-1) Gnixi + Gna, ++ + + + Gnntn = 1 tiene una solucién x1,...,%n. Ahora bien, las primeras n — 1 ecuaciones, las cuales son homogéneas, tienen una solucién no trivial %1,.+.,%n, como consecuencia de la hipétesis de induccién de que” vectores en el espacio (n — 1) dimensional son dependientes. Para esa soluci6n, sea Gnity + On2k2 ++ + + + QanXn = Aqui c + 0, ya que de lo contrario los vectores Ai, ..., An serian dependientes. Dividiendo x1, x2,..., Xn entre c, entonces se ob- tiene la solucién deseada del sistema (28). Esto completa la demos- traci6n del teorema fundamental. Ejercicios 2.1 1. Dar la representacién coordenada de la recta que pasa por el punto P = (—2, 0, 4) yen la direccion del vector A = (2, 1, 3). 2. (a) + Xm' Am, el vector PP’ = OP’ — OP = (x — mA + + + + + (Xn! — Xm)Am tiene como componentes con respecto a la base Ai,..., Am las diferencias de las coordenadas afines de los puntos P y P’. De acuerdo con la definicién dada, una variedad lineal unidimen- sional Si que pasa por el punto Pp es el lugar geométrico de los pun. tos P con vectores de posicién de la forma ~— OP =B+ mAi donde B y A: son vectores fijos (Ai # 0) y x1 varia sobre todos los numeros relaes. Por supuesto, Si es simplemente la recta que pasa por Po paralela a la direccién del’ vector Ai (ver la p. 163). Una180 Introduccién al calculo y al andlisis matemAtico variedad lineal bidimensional, o plano bidimensional, Sz consiste de los puntos P con vectores de posicién OP = B + xiAi + x2Ae donde B, Ai, Az son vectores fijos (Ai y Az independientes) y x1 y x2 varian sobre todos los ntimeros reales. Los espacios lineales n dimen- sionales Sn son idénticos al espacio completo R"; porque cualquier vector Y es dependiente de 7 vectores linealmente independientes Ai, .,An (ver la p. 167) y, por consiguiente, el vector de posicién de cualquier punto P es representable en la forma OP =B+xmAr++ + + + xnAn Puede verse que las variedades lineales (n — 1) dimensionales son idénticas a los hiperplanos definidos en la p. 167: porque dados n — 1 vectores cualesquiera Aj, ...,An-1 en el espacio n dimensional, puede hallarse un vector A perpendicular a todos ellos (ver la p. 173). Entonces, para OP =B+uArts + + tx i Ant se tiene la relacién A-OP=B-Atm-Ar:At+ ++ +a1An1:A=BeA = constante, lo cual es precisamente una ecuaci6n lineal para las coordenadas de P. En general, la determinacién de las componentes 1 de un vector Y con respecto a una base Ai, .. . , Am requiere la solucién de un sistema de ecuaciones lineales del tipo (25). En un importante caso especial, los x; pueden hallarse directamente, a saber, cuando los vectores base forman un sistema ortonormal. Se dice que los vectores Ai, . . ., Am son ortonormales si cada uno de ellos tiene longitud 1 y dos cualesquiera de ellos son ortogonales entre si, es decir, si (32) a, — [lparai =k Av Ae = (bari ZhVectores, matrices, transformaciones lineales 181 Si un vector Y es de la forma Y= x1Ai + x2Ae ++ + + +xmAn, se encuentra, usando las relaciones de ortogonalidad (32), que (383) Y+ Ar = x1A1+ At + xeAe+ Ar t+ + + + +xmAm+ Ai =x @=1,...,m). En particular, Y = 0 implica x: = 0 para i = 1,. .,. ,m; por tanto, los vectores ortonormales siempre son independientes. La formula (83) muestra que la componente x del vector ¥ con respecto a una base ortonormal Ai, . ..,Am es igual a la componente Y + A: del vector Y¥ en la direccién de Ai. Los vectores coordenados Ei, . . . , En definidos por las ecuaciones (22) forman precisamente una base or- tonormal asi, y las componentes del vector Y = (y1, . » Yn) con res- pecto a esta base son las cantidades Y - Ei = yi. Una base ortonormal también se distingue por el hecho de que la longitud de un vector y el producto escalar de dos vectores esta dada por las mismas férmulas que las de la base original Ei, . . . , En. Dados dos vectores cualesquiera Y y Y’ de la forma (84a) Y=mAr+++++4mAm, Y wAl ++ + + +%m'An se tiene (84b) YY’ = (wiAr ++ + + + xmAm)+ (xr'Ar+ + + + + tm'Am) = mAr+ (mA ++ + + + 4m'Am) te > +xmAm + (x1'A1 + + + + + Xm'Am) = xin! + xexe! te 6 6 + xmXm'1 En el caso particular Y’ = Y se encuentra, para la longitud del vector Y, la formula (84c) IWl= VY¥-Y=vxe+- - + Xm®. '§in las relaciones de ortogonalidad s6lo podria concluirse que Y + Y’ esta dado por la expresion mas complicada Y+Y'= Steusie donde cur = Ac Ax. a182 Introducci6n al calculo y al an4lisis matematico Si la variedad lineal m dimensional Sm que pasa por el punto Po es generada por los m vectores ortonormales Ai, . . . ,Am, el sistema correspondiente de coordenadas afines se llama séstema coordenado cartesiano para el espacio Sm. Los vectores coordenados Ai, . . . ,Am son mutuamente perpendiculares y de longitud 1. La distancia d en- tre dos puntos cualesquiera con coordenadas cartesianas(x1, . . . , Xm) y (xr’,...,%m’) estd dada por la formula d= v(x" — met + + + Gm! = xm)? Mas generalmente, cualquier relacién geométrica basada en la nocién de distancia (tales como Angulo, 4rea, volumen) tienen la misma expresién analitica en cualquier sistema coordenado carte- b. Matrices La relacién (35a) Y=smArt++ +++ amAm entre los vectores Ai, . . . , Am, Y en el espacio n dimensional puede escribirse como un sistema de ecuaciones lineales [ver (25), p. 172] auix1 + Giaxe + + + + + AimXm = y1 (35b) Q2ix1 + Ge2x2 + + + + + GamXm = ye nix + Anax2 + + + + + AnmXm = Yn que relacionan las componentes y1, . . . , yn del vector ¥ en el sis- tema coordenado original con las componentes 21, . . . ,%m de Y con respecto a los vectores base Ay = (au, ax, . ., dnt) parai=1,..., m. Las relaciones lineales (35b) entre las cantidades x: y yj quedan completamente descritas por medio del sistema de n x m coeficientes ay. El sistema de coeficientes colocados en un arreglo rectangular pau az ss dim Gz. azz + + + Gam (36) a=| “|, Gn Gn2 + * * GnmVectores, matrices, transformaciones lineales 183 como aparecen en (35b), se llama matriz. (Normalmente, las ma- trices se denotaran por medio de letras minidsculas negritas.) La matriz a dada en (36) tiene mn “elementos” Qj; Estos elementos se arreglan en m ‘columnas” aun aie /@1m\ a1 a2 { a2m \. : Nami! \ane o bien, en 7 “filas” (a1 ai +++ aim), (az azz + + + dem), (Gn. Gnz + + + Gnm). Dos matrices se consideran iguales sélo si concuerdan en el nimero de filas y columnas y si los elementos correspondientes son los mis- mos. Las columnas de la matriz a pueden identificarse, respectivamen- te, con el conjunto de componentes de los vectores A1, As, . . ., Am. Con frecuencia la matriz a, cuyas columnas se forman a partir de las componentes de los vectores Ai, Az, . . ., Am, se esctibira como (37) a = (Ai, As... An). El sistema de ecuaciones (35b) que expresa fas n cantidades 51, - +)¥ncomo funciones lineales de las m cantidades x1, . . . , Xm puede resumirse en la sencilla ecuacién simbélica (38) aX=Y, donde X representa al vector (x1,. . ., xm) y Yalvector (yi,..., yn). Si los vectores columna Aj, . . . , Am de la matriz a son indepen- dientes, (38) puede interpretarse como la descripcién de un cambio de base, 0 un cambio del sistema coordenado, para los vectores.184 Introduccién al cAlculo y al an4lisis matemAtico La ecuaci6n relaciona las componentes *1, . . . , %m del vector con respecto a la base Ai,...,Am en el subespacio Sm, con las com- ponentes yi, . . . , Yn del mismo vector con respecto a la base Ei, . . ., E, para el espaciocompleto S,. Esto podria llamarse la inter- pretacién “pasiva” de (38), en el cual los objetos geométricos —los vectores— permanecen fijos y s6lo se cambia el sistema de referencia. Existe otra interpretaci6n, “activa”, en la cual se cambian los vec- tores en lugar del sistema coordenado. Entonces las ecuaciones (36). describen una aplicacién de los vectores (x1, . . . , Xm) en un espacio m dimensional sobre los vectores (y1, . . - , yn) en un espacio n di- mensional. Una aplicacién dada por la ecuacién (38) 0, con mas detalle, por el sistema equivalente de ecuaciones (35b), recibe el nombre de lineal o afin. Por ejemplo, el sistema de ecuaciones (88a) y= 3m — Ean, ye — pnt gm, correspondiente a la matriz » I | 1 le Cole coho | cole wwIbo Cole 'En una aplicacién afin de vectores, las componentes y; del vector imagen Y son funciones lineales homogéneas de las componentes x: del vector original X, como en las formulas (35b). Si se identifican X y Y como vectores de posicién de puntos, las formulas (35b) definen una aplicacién de los puntos (x1, . . ., Xm) en el espacio R™ sobre los puntos (1, . . ..¥x) en el espacio R”, Las aplicaciones de puntos obtenidas en esta forma son las aplicaciones afines especiales que llevan el origen de R” hacia el origen de R*. La aplicacién afin mas general de puntos esta dada por las ecua- ciones lineales no homogéneas *) we x ajxct + by G aD) (Puede obtenerse a partir de una aplicacién especial, llevando el origen hacia el origen por medio de una traslacion con componentes bj). Aplicando la transfor-Vectores, matrices, transformaciones lineales 185 puéde interpretarse como una aplicacién de los vectores X = (x1, x2) en el plano sobre los vectores ¥ = (91, yz, ys) en el espacio tridimen- sional. Aqui los vectores imagen todos satisfaran la relacion (38b) yitye+y3=0 y, por tanto, son ortogonales al vector N = (1, 1, 1). Identificando los vectores X, Y con vectores de posicién de puntos, en (38a) se tiene una aplicacién del plano x1 x2 sobre el plano zen el espacio y1 y2 7s con la ecuacién (38b). Geométricamente, el punto (y1, y2, ys) se ob- tiene proyectando el punto (x1, xz, 0) perpendicularmente sobre el plano x. Alternativamente, la ecuacién (38a) puede interpretarse pasivamente como una representaci6n paramétrica para el plano x, con x1y x2 jugando el papel de parametros. Matrices diferentes dan lugar a aplicaciones lineales diferentes porque, por (35b), los vectores coordenados Ei =(1,0,...,0, Ex=(@,1,...,0),... se aplican sobre los vectores = (a1, @21, . . . , @ni), Az = (aia, a22,. . .,Gn2),... De donde, los vectores columna Ai, Az, . . .,An de la matriz ason precisamente las imagenes de los vectores coordenados Ei, Ex,..., E,. De aqui que la matriz a queda determinada de manera unica por la aplicacin. De importancia particular son las aplicaciones lineales Y = aX del espacio vectorial n dimensional hacia st mismo; éstas aplican un vector X = (x1,...,%n) sobre un vector Y = (yi,.. .,¥n) con el mismo nimero de componentes. Tales aplicaciones corresponden a matrices a con tantas filas como columnas, las llamadas matrices maci6n (*) a dos puntos P’ = (x1',.. ., xn’), P” = (x1",.. ., xm") con imagenes Q =O. 4 In, Q" =n", . . ., yn"), se ve que la aplicacién correspondiente de los vectores P™P” = (x1" — a1/,.- +5 Xm” ~ xm") = (a1, Xm) sobre los vec- tores QQ” = (yn! = 91',. + 5 yn! — yn!) = (yn, . Yn) est dada por las ecua- ciones homogéneas (35b). 1La recta que une a (21, x2, 0) y (yi, 2, ys) €s paralela ala normal N dex.186 Introducci6n al cAlculo y al andlisis matematico cuadradas.' Escrito en términos de las componentes, la aplicacién. Y = aX correspondiente a una matriz cuadrada a con n filas y columnas toma la forma (27), p. 174. El teorema basico de la re- solubilidad de los sistemas de n ecuaciones lineales para n cantidades desconocidas (p. 174) ahora puede enunciarse alternativamente como sigue: Para una matriz cuadrada a existen dos postbilidades mutuamen- te exclustvas: (1) aX + 0 para todo vector X #0 (2) aX = O para algin vector X +0. En él caso (1), para todo vector Y existe un vector tinico X tal que Y = aX. En el caso (2), existen vectores Y¥ para los cuales la ecuacién Y =aX no se cumple para vector X alguno.? Se dice que la matriz a es singular en el caso (2) y no singular en el caso (1). Dado que la existencia de una solucién no trivial X de la ecuacién aX =0 es equivalente a la dependencia de los vectores columna de la matriz a, se ve que una matriz cuadrada a es singular sty solo si sus vectores columna son dependientes. c. Operaciones con matrices Es costumbre denotar los elementos de una matriz a como en (36), por medio de letras que llevan dos subindices, tales como aj. Los subindices indican la localizacién o direccién del elemento en la matriz, dando el primer subindice el namero de fila y el segundo el namero de columna. Para una matriz con n filas y m columnas que tiene los elementos aj, el subindice 7 varia sobre 1, 2,..., ny el subindice ¢ sobre 1, 2, . . ., m. A menudo la ecuacién (36) se abrevia en la formula a= (a), la cual exhibe los elementos de la matriz a pero no muestra los nimeros de filas y columnas, los cuales tienen que deducirse en relacién con el contexto.* En el ejemplo Las matrices mas generales con ntimeros arbitrarios de filas y columnas se conocen como matrices rectangulares. 2En el caso (1) la ecuacion ¥ = aX representa una aplicacién uno a uno del espacio vectorial n dimensional sobre si mismo. En el caso (2) la aplicacién no es uno a uno ni sobre. 3La letra a en ay es el nombre de una funcién real de las variables independientes j ¢ i. El dominio de esta funcién consiste de los puntos en el plano j, 7 cuyas coor-Vectores, matrices, transformaciones lineales 187 1! 2! Blos++ ml! \ 2! 3! Abe ee (meD! | a=(a) =| 2! ay BE +++ (m2)! nt (n+ YD! (m $2)!+ + + (mtn—I)! se tiene az = (i+ j — 1)! La adicion de matrices y la multiplicacién de matrices por es- calares se definen en la misma forma que para los vectores. Si a = (aj y b = (bx) son matrices del mismo “tamafio” —es decir, con el mismo namero de filas y columnas— se define a + b como la matriz que se obtiene sumando los elementos correspondientes: at b= (ay + dj). De modo semejante, para un escalar 1 se define 4a como la matriz que se obtiene multiplicando cada elemento de a por el factor A: da = (hay). Se verifican inmediatamente las reglas (39) (a+b)X=aX+bX, (Aa) X = aX) para las aplicaciones de los vectores X determinadas por las matrices. Mas significativo es el hecho de que matrices de tamajios apropiados pueden multiplicarse entre si. Se obtiene una definicién natural del producto de dos matrices a, b, considerando el producto simbolico, 0 composictén, de las aplicaciones correspondientes (ver el Volumen I, p. 52). Si a = (aj) es una matriz con m columnas y n filas, y si X = (x1, + %m) €S un vector con m componentes, entonces a determina las aplicaciones Y = aX del vector X sobre el vector Y = (yi, - +, ¥n)_ con las n componentes v4 G=1....n). denadas son enteros, con 1 Sj Sn, 1SisSm. Normalmente una funcién f de dos variables independientes x, y se escribe como f(x,9), y, aqui, una notacién més consistente seria a(j, i) en lugar de la acostumbrada aj.188 Introduccién al calculo y al an4lisis matemAtico Si ahora b = (bgj) es una matriz con n columnas y # filas, entonces la aplicacion Z = bY aplicara a Y sobre el vector Z = (zi, . . . , 2p) con las p componentes a= s bi 7 = x % bry ay xe = & Chi Xi, car Aa mi donde +m). (40) cu = 3) byan (R= 1... ,pii= - Por tanto, Z = eX, donde c = ba = (cxi) es la matriz con p filas ym columnas y cuyos elementos estan dados por la férmula (40). En con- secuencia, se define el producto c = ba de las matrices b y a como la matriz con elementos cxi dados por (40). Se observa que el producto ba est4 definido sélo si el nimero de columnas de b es el mismo que el nimero de filas de a. Esto corres- ponde al hecho obvio de que el producto simbélico de dos aplica- ciones s6lo se puede formar si el dominio del primer factor contiene al recorrido del segundo. Por tanto, pudiera suceder muy bien que esté definido el producto ba pero no el producto ab con los factores en orden inverso. Pero incluso cuando tanto ba como ab estan de- finidos, en general no te cumple la ley conmutativa de la multipli- cacién, ab = ba para las matrices. Por ejemplo, para se tiene Sin embargo, facilmente se verifica a partir de la formula (40) que la multiplicacién de matrices obedece las leyes asociativa y distri- butiva (41a) a(be) = (ab)c, (41b) a(b+c)=ab+ac, (a+ b)e=ac + be,Vectores, matrices, transformaciones lineales 189 (para las matrices de tamajios apropiados). Podria decirse que estan permitidas todas las manipulaciones algebraicas para las matrices, mientras estén definidos los productos que intervienen y no se inter- cambien los factores. La aplicacién de vectores determinada por la matriz a, la cual se ha escrito como Y = aX, puede considerarse como un ejemplo es- pecial de la multiplicacién matricial stempre que se escriban X y Y como “vectores columna”, es decir, como matrices con una sola columna y con m y n filas, respectivamente: m1 yn | x ye x=[- |, vel’ ‘Xm \yn d. Matrices cuadradas. La rectproca de una matriz. Matrices ortogonales De importancia particular en las aplicaciones son las matrices con el mismo ntimero de filas y columnas, las llamadas matrices cua- dradas (las matrices mas generales, con nameros arbitrarios de filas y columnas, se conocen como matrices rectangulares). El orden de una matriz cuadrada es el nimero de sus filas o columnas. Dos matrices cuadradas cualesquiera del mismo orden 7n pueden sumarse 0 mul- tiplicarse. En particular, pueden formarse potencias de una matriz de este tipo: a=aa, a®=aaa,+--. La matriz cero, 0, de orden n es la matriz en la que todos los elementos son 0, 0 bien, en la que todas las columnas son vectores cero: (42a) 0=(@,0,...,0). Esta matriz tiene las propiedades obvias (42b) at+0=0+a=a, ad=0a= (para todas las matrices a de n-ésimo orden);190 Introduccién al calculo y al andlisis matemAtico (42c) 0X = 0 para todos los vectores X con n componentes. La matriz unidad de orden n, denotada por e, es la matriz corres- pondiente a la aplicacion identidad de vectores X: (43a) eX =X para todo vector X. Como entonces, en particular, eEy = Ex para todos los vectores coordenados Ex, se encuentra que la matriz unidad tiene a los vectores coordenados como columnas: (43b) e = (Ei, Ex,...,En) = {nmediatamente se verifica que e juega el papel de una “unidad” en la multiplicacién de matrices: (48¢) ae=ea=a para toda a de n-ésimo orden. Se dice que una matriz b de n-ésimo orden es la rectproca de la matriz a de n-ésimo orden, si (44) ab =e. Si b es la reciproca de a, entonces a corresponde a la inversa de la aplicacién de vectores proporcionada por b, porque si b aplica un vector Y sobre X, (es decir, si X = bY), entonces a aplica a XK de vuelta sobre Y, ya que aX = abY = eY = Y. Ms concretamente, si se conoce una reciproca b de la matriz a = (aj), puede escribirse una solucién X = (x1, x2, . . . , Xn) del sistema de ecuaciones lineales @11%1 + ai2xe + + + + + Ainkn = @zix1 + Grave + + + + + Gankn = yo GniX1 + Gnet2 + + + + + AnnXn = InVectores, matrices, transformaciones lineales 191 para cualquier (91, . . ., yn) = ¥ dado. En efecto, puesto que abY = eY = Y, se tiene una soluci6n dada por X = bY, es decir, por x1 = buy ++ + + + binyn Xn = bniyi ++ + + + banyn. Todo numero real a, excepto cero, tiene un reciproco 6 para el cual ab = 1. No obstante, existen matrices diferentes de la matriz cero que no tienen reciproca. Si a tiene una reciproca b, la ecuacién aX = Y tiene, para cada vector Y, la solucion X = bY, ya que abY = eY=Y. Por tanto (ver la p. 186), la matriz a debe ser no singular; es decir, las columnas de a son vectores independientes. Las matrices sin- gulares no tienen reciproca. La condicién ab = e para la matriz reciproca b de a puede escribirse en la forma (45) DL Girbrk = ejr, =I donde ajr, brx, eje denotan, respectivamente, los elementos generales de las matrices a, b, e. Para k fija, se tiene en (45) un sistema de n ecuaciones lineales para el vector Bg = (biz, box, . . . , bnx), el cual representa la k-ésima columna de la matriz b. Si la matriz a es no singular, existe una solucién Gnica By de (45) para cada k. De aqut que una matriz a no singular tiene una y solo una rectproca b. Sea a cualquier matriz no singular y b su reciproca; ésto es, ab =e. Tomese un vector arbitrario X y pongase Y = aX. Puesto que tanto Z = X como Z = bYson soluciones de las ecuaciones Y = aZ y como la solucin es tinica, debe tenerse bY =X para todo vector X. De donde (ver la p 185), aes la reciproca de b. ba Comanmente, la recfproca de una matriz a no singular se denota192 Introduccién al cAlculo y al andlisis matemAtico por a“! Se tiene (46) aa!=ala=e, donde e es la matriz unidad. La reciproca puede calcularse resolvien- do el sistema de ecuaciones lineales (45) para las bre. Como los elementos ez de la matriz unidad tienen el valor 0 para j#k yl para j = k, las ecuaciones (45) afirman que el producto escalar de la j-ésima fila de la matriz a con la k-ésima columna de la matriz a tiene el valor 0 para j # ky 1 para j = k. Es mas, comoa™! a = ese ve que el producto escalar de la j-ésima fila de a~! con la k-ésima columna de a también tiene el valor 0 para j # k y 1 para j La multiplicacion por las reciprocas nos permite “dividi ecuacion entre matrices por una matriz no singular. Por ejemplo, la ecuacién matricial ab=c, donde a es una matriz no singular, puede resolverse para b multi- plicando la ecuacion desde la izquierda por a: ale = a-“(ab) = (a1a)b = eb = b. De modo semejante, la ecuacién ba=c conduce a cat=b. Desde el punto de vista de la geometria euclidiana, las matrices cuadradas mAs importantes son las llamadas matrices ortogonales, las cuales corresponden al paso de un sistema coordenado cartesiano hacia otro sistema del mismo tipo, o bien, a transformaciones lineales que conservan la longitud. Se dice que una matriz cuadrada a es or- togonal si sus vectores columna Au, . . ., An forman un sistema or- tonormal: 0 para ith (47) Ars Ar 1 para i=kVectores, matrices, transformaciones lineales 193 (ver la p. 180). Como los vectores que forman un sistema ortanormal son independientes, se concluye que las matrices ortogonales siempre son no singulares. La relacién vectorial aX = Y correspondiente a la matriz a, interpretada pasivamente, describe cémo est4n relacio- nadas las componentes yi, . . . , yw de un vector con respecto a los vectores coordenados Ei,..., En con las componentes del mismo vector con respecto a la base Ai,..., An. Para una matriz orto- gonal a, la base Ai, . . . , An consiste de n vectores mutuamente or- togonales de longitud 1, formando un sistema coordenado “carte- siano”, en el cual la distancia esta dada por la expresi6n usual (ver la p. 182). Interpretada activamente, Y = aX representa una apli- cacién lineal en la que los vectores coordenados E: se aplican sobre los vectores Ay. Esta aplicaci6n lleva un vector X=(m,...,%n)=xEit+: + ++ xnEs hacia el vector Y=aX=a(mEit+ + + + + xnEn) = maki ++ + ++ xnaEn smArts + ++ xnAn La aplicaci6n conserva la longitud de cualquier vector ya que, por (47), VWY|2?= Ye Y= (e1Ai+ + + + + xnAn) + (mrArt + + + + xnAn) sate ss + xe? =|X]2 Mas generalmente, fa aplicacién conserva el producto escalar de dos vectores cualesquiera y, por consiguiente, también los 4ngulos entre las direcciones, como se verifica facilmente. Estas aplicaciones que conservan la longitud se conocen como transformaciones or- togonales 0 movimientos rigidos. En dos dimensiones se identifican facilmente con los cambios de ejes coordenados que se discutieron en el Volumen I (p. 361). Un vector Ai de longitud 1 en dos dimen- siones es de la forma Ai = (cos y, sen y),con algan 4ngulo y apropiado. Los tnicos vectores Ag de longitud 1 que son perper diculares a Ai son Ao= {eos (r + 3) sen (r + a= (-sen, cos 1)194 Introduccién al cAlculo y al andlisis matemAtico A= ow f=), sm (r=) = ons oo) Por tanto, la matriz general ortogonal de segundo orden es de cual- quiera de las dos formas (48) ( cos Y —sen ¥ cos ¥ sen Y ) seny cos ¥ . ) obien, a= ( sen Y —cos Y Las relaciones de ortogonalidad (47) permiten escribir de in- mediato la inversa a~! de una matriz ortogonal a. Simplemente se toma como a-! la matriz que tenga los Ax como vectores fila; el producto escalar de la j-ésima fila de a! con la k-ésima columna de a es entonces 0 paraj # ky 1 para j = k,como es requerido por la relacion a“ a =e, En general, para cualquier matriz a = (ajx), 8€ define la transpuesta aT = (bjx) como la matriz que se obtiene de a intercambiando filas y columnas. Mas precisamente, bj, = axy.! Para una matriz ortogonal simplemente se tiene (49) a-l=at, Por ejemplo, (7 meet ys cos ¥ ven) sen Y cos —senyY cos ¥ De acuerdo con (46), puede escribirse (49) como (49a) aTa=e, aa? = La segunda relacién muestra que en una matriz ortogonal, el pro- ducto escalar de la j-ésima fila es 0 paraj # ky 1 paraj = k. Asi, en una matriz ortogonal los vectores fila también forman un sistema or- tonormal. iPensando en a escrita como un arreglo rectangular, se define la “diagonal prin- cipal de a como la linea que va de la esquina superior izquierda hacia abajo con pendiente —1, Es la Iinea que contiene a los elementos a11, 22, as3, . . .. La trans- puesta de a se obtiene “reflejandola” en la diagonal principal.Ry ° = o > @ = Vectores, matrices, transformaciones lineales 195 Ejercicios 2.2 . En cada caso, describir el espacio que pasa por P generado por los vec- tores Ax. (a) P=(-1,2,); Ar =, 0, 3) (b) P= (2,1,-4) Ar=(,—2,), Ae = (1,0, —) © P=(,1,-4,2), Ar=(,-2,1,2), Ae=(1,0, 1,2). . Verificar que E: = (2/3, 2/3, — 1/3), Ex = (1/v2, —1/v2, 0), Es = (v2/6, /2/6, 2V2/3) forman una base ortonormal y obtener las representaciones de los vectores dados en términos de esta base: (a) Al=(V2, V2, V2) (b) Az = (, —3, 3) () As = (1,0, 0) . Dados los vectores linealmente independientes A1, Aa, . . .,Am, cons- En truir los vectores unitarios mutuamente perpendiculares Ei, Es, . - con la propiedad de que Ex sea una combinaci6n lineal de A1, As, - Ax, para k=1,2,...,m. _ A partir del resultado del Ejercicio 3, probar el teorema fundamental de la dependencia lineal. . ¢Cuél es la distancia al punto P = (xo, yo, 20) desde la recta dada por =at+b, y=ct+d, z=et+f? (Sugerencia: Encontrar el pie de la perpendicular bajada desde P a la recta.) {Tiene una solucién no trivial el siguiente sistema de ecuaciones? x + 2y +32 =0 ax + 8y+2=0 ax ty+22=0 Hallar la representacion del vector (a1, a2, as) con respecto ala base Ai = (1, 2, 3), As = @, 3, 1), As = (3, 1, 2). . Determinar la matriz para pasar de las coordenadas cartesianas para la base Ei, Ex, Eo hacia las coordenadas afines para la base Ai, Az, As dada en el Ejercicio 7. . Probar que si la matriz a es singular, existen vectores Y para los cuales Y = aX no tiene soluci6n. Obtener los productos ab y ba para las matrices196 Introduccién al cAlculo y al an4lisis matematico 120 21 °0 =|0 01) »b (3-3) 210 1021 . Encontrar las condiciones para que la matriz de 2 x 2 ab ed tenga una reciproca y dar esa reciproca si existe. 12. Demostrar que s6lo existe una matriz unidad. 13. Hallar la reciproca de ab, si tanto a como b son no singulares. 14. A veces se define una matriz singular de n x n como una matriz que aplica el espacio n dimensional sobre un espacio de dimensién inferior. Demostrar que esta definicion es equivalente a la dada aqui. 15. Interpretar geométricamente las matrices dadas en (48). 16. Probar que a es ortogonal si y sélo si a7 = a}, 17. Demostrar que la transpuesta de un produeto ab es el producto b?a? de las matrices transpuestas en orden inverso. 18. Demostrar que el producto de matrices ortogonales es ortogonal. 19. Verificar que la aplicacién por medio de una matriz ortogonal conserva el producto escalar; es decir, sia es ortogonal, entonces (aX) + (a¥) = KY 20. Demostrar que cualquier matriz que conserva la longitud es ortogonal. 21. Probar que una transformacién afin leva el centro de masa de un sis- tema de particulas hacia el centro de masa de las particulas imagen. 2.3 Determinantes Determinantes de segundo y tercer orden El andlisis matematico incluye el estudio de aplicaciones no li- neales en espacios de varias dimensiones. No obstante, tal estudio tiene que ser precedido por el de las aplicaciones lineales Y = aX, donde X y Y son vectores y a una matriz. En particular, es de gran importancia el analizar la estructura de la inversa de una aplicaci6n de este tipo 0 —lo que es lo mismo— analizar la estructura de las soluciones de un sistema de n ecuaciones linealesVectores, matrices, transformaciones lineales 197 auix1 + Giex2 ++ + + + Cinta = 1 (50) Gaixi + a2exe, ++ + + + Gann = ye GQnixXi + AnaX2 ++ + + + AnnXn = Yn para n cantidades desconocidas x1, . . . , Xn. EI proceso €e resolver n ecuaciones lineales en n variables conduce a ciertas expresiones algebraicas llamadas determinantes, los cuales tienen un gran ndmero de términos. Al principio, la definicién ex- plicita y las propiedades de los determinantes parecen ser un tanto mistificadas. El misterio desapareceraé cuando basemos la definicién de determinante en una sola propiedad, la de ser una forma mul- tilineal alternante de 7 vectores en el espacio n dimensional. De este punto de vista conceptual se pueden deducir con facilidad todas las propiedades importantes de los determinantes. En capitulos poste- riores de este libro se veré que los determinantes tienen una impor- tancia extrema al extender el c4lculo diferencial e integral hacia dimensiones superiores. Resulta instructivo escribir completamente la soluci6n explicita de las ecuaciones (50) para unos cuantos de los primeros valores de n. Para n = 1 se tiene Gnicamente la ecuacién aux = y1 con la solucién Ma mss, (60a) Dari Para n = 2 se tiene el sistema aux + aiex2 = 1 a2ix1 + de2x2 = ya. Multiplicando la primera ecuacién por azz, la segunda por aie y res- tando, se elimina x2 y se encuentra una sola ecuacién para %1; de modo semejante, multiplicando la primera ecuacién por aa y la segunda por aii y restando se elimina x1. De esta manera se encuen- tran para x1, X2 las expresiones198 Introduccién al cAlculo y al andlisis matemAtico 2291 — aizy2 4 = Wye = aay @1122 — ai2dei” Q11d22 — 12021" (0b) a= Para n = 3 se tiene el sistema aux1 + aiex2 + ais%s = yi (50c) @2ixX1 + G22x2 + a23x%3 = yo a3ixX1 + Agexz + a33xX3 = Ys. Puede reducirse este sistema a dos ecuaciones para 21, x2, eliminando asi a x3, multiplicando la segunda ecuaci6n por ais/az3_y restandola de Ja primera, y multiplicando la tercera ecuacién por ais/a33_y res- tandola de la primera. Entonces pueden resolverse, como se hizo an- tes, las dos ecuaciones resultantes para xi, xz tnicamente. Después de un poco de manipulacién algebraica se encuentra que (50d) _G22ds3y1 + i2d2sy2 + a13ds2y2 — Gisd22Ys — deads2y1 — G12033y2_ ~ Griaeza3s + a12a2sas1 + disd21dae — Gisde2as1 — d11d23032 — @12021035" con formulas semejantes para x2 y x3. Para n = 4, los calculos se hacen completamente pesados y resulta evidente que solo un pro- cedimiento sistematico puede traer orden a los resultados. Se observa que, en cada caso, la solucién x; toma la forma de un cociente, donde el denominador es una funcién de los coeficientes ay tinicamente, es decir, una funcién de la matriz a = (aj). Para n= 1 esta funcién es simplemente el propio coeficiente a11.Para n = 2, el denominador 11422 — G12d21, formado a partir de los elementos de la matriz ai diz a= > G21 22 se llama determinante de la matriz ay se escribe au a2 (la) @11422 — aizan = det(a) a2i a22Vectores, matrices, transformaciones lineales 199 Es evidente que los numeradores en (50b) también pueden escribirse como determinantes, dando lugar a las expresiones |” a2 |on yn | 2a an_y: | (61b) ns Rg = jo au a an al Ga aae az azz | Por supuesto, estas formulas s6lo tienen sentido si el determinante del denominador no tiene el valor 0. La formula (50d) sugiere introducir como determinante de la matriz de tercer orden a1 a2 ais a=| an a22 ars a31 a32 a33 ala expresion (62a) @11G22433 + Gi2d23a31 + 13421032 — @i3d22d31 — @11@23032 — a12021033 m1 a2 as =det(a)= | a2 a2 ars a31 @sz_ 33 La ley de formaci6én de un determinante de tercer orden de este tipo puede expresarse por medio de la “regla de la diagonal” (Fig. 2.5a), la cual es muy facil de recordar. Se repiten las dos primeras columnas después de la tercera; se forma el producto de cada triada de ni- meros que se encuentran en las diagonales, multiplicando los pro- ductos asociados con las diagonales inclinadas hacia abajo a la de- recha por +1 y hacia abajo a la izquierda por —1; y se suma. (jEsta regla slo se cumple para los determinantes de tercer orden!). Con la ayuda de los determinantes de tercer orden se puede es- cribir la soluci6n del sistema (50c) en la forma mAs concisa200 = Introduccién al cAlculo y al anilisis matematico Yi aie ais any a3 @11 a2 Y1 ye G22 des G21 Ye Gog G21 G22 ye sz a: a: a: asi a: = 7 Guawas |" ~ Jan awau | [au aw as| a1 ae as | G21 G22 a23 G21 G22 G23 @31 32 G33 31 G32 G33 G31 G32 G33 Figura 2.5a Por analogia, se define el determinante de la matriz de primer or- den a = (an) con base en (50a), como au = det(a). Entonces se ve que en cada uno de los casos n = 1,2,3 la soluci6n (x1,. . ., %n) del sistema (50) puede describirse como sigue (“regla de Cramer”): Cada incégnita x1 es el cociente de dos determinantes. En el denominador se tiene el determinante de la matriz a = (ajx); en el numerador se tiene el determinante de la matriz obtenida rempla- zando la i-ésima columna de la matriz a por las cantidades y1,y2, -2¥n Que aparecenen el segundo miembro de las ecuaciones. b. Formas lineales y multilineales de vectores Con el fin de definir los determinantes de orden superior y enun- ciar sus propiedades principales, es necesario hacer uso de algunas nociones algebraicas generales. Una‘funcién f(ai, . . ., an) de las n variables independientes a1, -,@n puede considerarse como una funcién del vector A=(a1,. .., @n) y escribirse en la forma f(A). Se dice que f es una forma lineal en AsiVectores, matrices, transformaciones lineales 201 (63a) f(A + B) = f(A) + fB) para dos vectores cualesquiera A, B y (53b) QA) = (A) para cualquier vector Ay cualquier escalar 2. Las dos reglas (53a, b) pueden resumirse en el requerimiento tinico de que (64a) fQA + HB) = Af(A) + Hf(B) para cualesquiera vectores A, B y escalares A, p. Escrita con detalle, Ja regla (54a) se convierte en (64b) fQar + phi. .., han + Hbn) =Af(a,.. ., an) + uf(br, . . ., b; Por ejemplo, la funcién AA) = a2 — 27a3 es una forma lineal, mientras que AA) =|Al= Var +o + + + an? no lo es. La relaci6n (54a) implica inmediatamente la regla mas general para las formas lineales (64c) fQaAr+ + + + + AmAm) = af(Ar) + + + + + Amf(Am) validas para cualesquiera vectores Au,.. .,Am y escalares Ai,..., dm Esta regla proporciona una expresién explicita para la forma lineal m4s general en el vector A. Usando los vectores coordenados E;, . . ., Ea, se tiene, por (2b), la representacién A=(a,...,@n) = aiE1 + a2E2 ++ + + + anEn para el vector A. De aqui que, por (54c), fes de la forma202 = Introduccién al calculo y al andlisis matematico (55a) (A) = aif(E1) + a2f(E2) + + + + + anf(En) = cdi + Coda ++ + + + Cnn donde los ¢; tienen los valores constantes (55b) ce = f(Ei). Combinando los coeficientes c en el vector C = (ci, . . - , Cn), se tiene (65¢) fA) = CA. La forma lineal mds general en un vector A es el producto escalar de A con un vector constante apropiado C. Una funcién f(A, B) de dos vectores A=(a1,. . ., an), B=(bi, .. «,bn) recibe el nombre de forma bilineal en A, B si f es una forma lineal en A para B fijo y una forma lineal en B para A fijo; ésto sig- nifica que se requiere que (56a) fO.A + UB, C) = 4f(A, C) + nf(B, ©) (56b) f(A, AB + WC) = af(A, B) + nf(A, C) para cualesquiera vectores A, B, C y escalares 4, ». El ejemplo mas sencillo de una forma bilineal es el producto escalar f(A, B) = A-B. En este ejemplo, las reglas (56a, b) se reducen simplemente a las leyes asociativa y distributiva (15b, c), p. 165, para los productos es- calares. A partir de (56a, b), mas generalmente se encuentra que (6c) f(aA + BB, yC + 3D) = af(A, yC + 5D) + B/(B, yC + 5D) = ayf(A, C) + adf(A, D) + Byf(B, C) + B5f(B, D). Por tanto, puede operarse con las formas bilineales como con los productos ordinarios al “multiplicar” las expresiones. Usando nuevamente la descomposiciénVectores, matrices, transformaciones lineales 203 A=(a,...,@n)=aiEi++ + ++ anEn B=(bi,...,6n) = biEi ++ + + + bnEn para los vectores A, B, se llega a la formula {(A, B) = f(aiEi + a2E2 ++ + + + anEn, b1E1 + be2E2 + + + + + bnEn) = 3) aybif(Ey, Ex). an De aqui que la forma bilineal m4s general en A, B esta dada por (67a) AA, B) = 3 enasbe ie con coeficientes constantes (67b) eye = f(s, Ex). Para B = A, la forma bilineal f pasa a la forma cuadrdtica (67c) HA, A) ‘al 2a Cie. ie De manera semejante se definen las formas trilineales f(A, B, C) en los tres vectores A, B, C como funciones que son formas lineales en cada vector por separado. Se encuentra, exactamente como antes, que la forma trilineal, mas general esta dada por una expresién (68a) f(A, B,C) = 3 enraybecr, donde 0) caer = (By, Ex Er). Pueden definirse formas multilineales f mas generales en cualquier namero m de vectores, en una manera obvia. Lo nico nuevo es sdlo cuestién de notaci6n, ya que no se asocian letras diferentes con vec- tores diferentes. Se denotan los vectores por Ai, As, . . ., Am y se in- troducen sus componentes aj: mediante”204 + Introduccién al cAlculo y al an4lisis matemAtico =(au,ae,...,@n1), Az = (a12, d22,. . . ,An2),-- +5 Am = (dim, Gam, - » - nm). La funcién f es una forma multilineal f(Ai, . . . , Am)en.Ai, Az, . .., Am si es una forma lineal en cada vector cuando los otros se man- tienen fijos. También puede considerarse a f como funci6n de la matriz a= (At, Ao,. . .,Am) = (aie) que tiene a Ai, Aa, . . ., Am como vectores columna. Andlogamente a (58a), la forma multilineal m4s general en Ai, Az,.. ., Am esta dada por > jie tm (59a) f(A1, As, . - donde’ (69b) Chint * + tm = fEn, Esa - +» Em). c. Formas multilineales alternantes. Definicién de los determinantes Los determinantes de segundo y tercer orden definidos en las fér- mulas (51a) y (52a) son formas multilineales especiales. El deter- minante de segundo orden en (51a), p. 198, es una forma bilineal de los dos vectores bidimensionales (60a) Ai = (au, a21), Az = (a2, a22); TE] uso de subindices para los subindices en estas formulas es un tanto incémodo. Aqui juje,. . . pdm Tepresenta cualquier combinacién de m nimeros seleccionados del conjunto de némeros 1, 2, ... , n. Una combinacién de este tipo también podria considerarse como una funcién j(#) cuyo dominio es el conjunto de nameros k = 1,2, 4m y cuyo recorrido esta en el conjunto de nameros j=1,2,...,n. Cual quiera de estas combinaciones o funciones da lugar a un término en la suma dada en la formula (59a).Vectores, matrices, transformaciones lineales 205 el determinante de tercer orden en (52a) es una funci6n trilineal de los vectores tridimensionales (60b) Ai = (an, @21, 31), Ao = (aie, a22, ase), As = (a1, ds, asa). (La linealidad de los determinantes separadamente en cada vector se deduce por inspecci6n, a partir del hecho de que cada producto en el desarrollo explicito contiene exactamente un factor con un segundo subindice dado.) La caracteristica extra que coloca a los determinan- tes aparte de las otras formas multilineales es su caracter alternante. Se dice que una funcién de varios argumentos (que pueden ser vectores o escalares) es alternante, si cambia solamente de signo cuando se intercambian dos cualesquiera de los argumentos. Ejem- plos de funciones alternantes de argumentos escalares son (61a) Hx, y) =¥— % (61b) Hx, y, 2) = (@— WE - x)(y — %). Una funcién f de dos vectores n dimensionales Ai, Az es alternan- te si f(A, Az) = — f(Az, Ai) para todos Ai, Ae. Esto implica, en particular para Ai = Ae = A, que f(A, A) = 0. Sea n = 2 y f una funci6n alternante de los vectores Ai, Az dados por (60a), la cual también es una forma bilineal. Entonces f(a, Es) = (Es, Ex) = 0, (Ex, Ei) = — f(E1, E2). De (57a, b) se deduce que (62a) f(Ai, As) = AanEs + aE2, aE + a22E2) 1 |e det(Ar, As), = (ai1@22 — ai2a21) = ae206 = Introduccién al cAlculo y al anAlisis matematico donde la constante c tiene el valor (62b) = /(Es, E2). Por tanto, toda forma bilineal alternante de dos vectores Ai, Az en el espacio bidimensional difiere del determinante de la matriz con columnas Ai, Ag sélo en un factor constante c. Mas generalmente, una forma bilineal alternante de dos vectores en n dimensiones puede escribirse f(Aa, As) = x Cirajaee, donde Cik = —Cky, cy = 0. Combinando los términos con subindices que difieren sélo en una permutacion, puede expresarse f como una combinacién lineal de determinantes de segundo orden: (62c) f(A, As) = >) cax(ajaee — axiaje) FER 4 Qy Qj = 3 cn | je |, FER | ae one Para una funcién alternante f de tres vectores, se tienen las re- laciones (63a) f(A, B,C) = —f(B, A, C) = — f(A, C, B) = —f(C, B, A), de lo cual se deduce que también (63b) {(A, B, C) = f(B, C, A) = f(C, A, B). En particular, f se anula siempre que dos de sus argumentos sean iguales. Sean Ai, Ae, As los vectores tridimensionales dados por (60b). Por (58a, b), la forma trilineal alternante general fen Ai, Az, As es