Introduccion Al Calculo Infinitesimal 2. Courant John

E
~""",~:tck~ 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 educaci6n de la mayor cantidad de gente posible. Pensamos editar en formato digitallibros que por su alto costo, 0 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 prestamos los textos para su digitalizaci6n y a ayudamos en toda la labor tecnica que implica su reproducci6n. El nuestro, es un proyecto colectivo abierto a la participaci6n 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 direcci6n de correo electr6nico:

eduktodos@hotmail.com

http://eduktodos.dyndns.org

,

INTRODUCCION A L

,

CALCULO Y

,

AL ANALISIS

,

MATEMATICO

Vol. 2

RICHARD COURANT y FRITZ JOHN Instituto Courant de Ciencias Matemdticas Universidad de Nueva York

Con la asisfencia de

ALBERT A. BLANK Profesor de M atematicas

U niversidad Carnegie - Mellon Pittsburgh, Pennsylvania

ALAN SOLOMON Profesor de M atematicall

U niversidad del Negev

Beer- Sheva, Israel

~ LlMUSA

NORIEGA EDITORES

MEXICO • Espal\a • Venezuela. Colombia

VERSION AUTORIZADA EN ESPANOL OE LA OBRA PUBLICADA EN INGLES CON EL TiTUlO:

INTRODUCTION TO CALCULUS AND ANALYSIS. VOLUME II

e NINA COURANT, ERNEST COURANT AND GERTRUDE MOSER, AS EXECUTORS OF THE ESTATE OF RICHARD COURANT, ANO FRITZ JOHN.

COLABORAOOR EN LA TRAOUCCI6N:

HERNAN PEREZ CASTELLANOS INGENIERO INDUSTRIAL. PROFESOR TITULAR OE MATEMATICAS EN LA ESCUELA 'SUPERIQR OE INGENIERiA MECANICA Y ELECTRICA OEL INSTITUTO POUTECNICO NACIONAl, MEXICO.

REVISION:

SAUL HAI-:JN GOLDBERG

DOCTOR EN MATEMATICAS OEl INSTITUTO COURANT DE LA UNIVERSIOAO OE NUEVA YORK. PROFESOR ASOCIAOO OEl CENTRO DE INVIESTIGACION Y EsTUOIOS AVANZAOOS OEl INSTITUTO POLlTECNICO NACIONAL, MExico.

ROLANDO V. JIMENEZ DOMINGUEZ DOCTOR EN FisICA. PROFESOR E INVIESTIGAOOR OE LA ESCUELA SUPERIOR OE FislCA Y MATEMATICAS DEL INSTITUTO POLlTECNICO NACIONAL, MeXICO.

,LA PRESENTAci6N Y DlSPOSICI6N EN CONJUNTO DE

INTRODUCCI6N AL CALCULO Y AL ANALISIS MATEMATICO. VOLUMEN 2

SON PROPIEDAO OEL EDITOR. NINGUNA PARTE DE EST" OBRA PUEDE SER REPRODUCIDA 0 TRANSMITIDA, MEDIANTE NINGUN SISTEMA 0 METOOO, ELECTR6NICO o MECANICO (INCLUYENDO EL FOTOCOPIAOO,LA QRA.BACION 0 CUALQUIER SISTEMA DE RECUPERACION Y ALMACENAMIENTO DE INFORMACION),SIN CONSENTIMIENTO POR ESCRITO DEL EDITOR.

DERECHOS RESERVAOOS:

e 1999, EDITORIAL LlMUSA, SA DE C.V.

GRUPO NORIEGA EDITORES BALOERAs 95, MeXICO, D.F. C.P.06040

V (5)521-21-05

01(800) 7-06-91-00

~ (5)512-29-03 limusa@noriega.com.mx !!! www.noriega.com.mx

CANIEM NUM. 121

NOVENA REIMPRESION

~PRESO EN MEXICO ISBN 968-18-0640-9

Pr61ogo

La obra Differential and Integral Calculus. Vols. I y If, de Richard Courant, ha tenido mucho exito al iniciar a varias generaciones de estudiantes en las matematicas superiores, En su contexte, esos vohimenes se basaron en el hecho de que las matematicas se originan de la union de la imaginacion intuitiva y el razonamiehto deductivo. Al preparar esta revision, los autores se esforzaron en mantener el equilibrio entre estos dos criterios que caracterizaron a la obra original. Aunque Richard Courant fallecio antes ver la publicacion de esta revision del Volumen II, todos los carribios principales fueron acordados y redactados por los autores antes de que el Dr. Courant muriera.

Desde el pri ncipio , los autores se die ron cuenta de que el Volumen II, que trata de las funciones de varias variables, se tendrla que revisar mas a fondo que el Volumen 1. En particular, pareciaconveniente estudiar los teoremas fundament ales de la integracidn en dimensiones superiores con el mismo rigor y generalidad que se aplico a la integracion en una sola dimension. Ademas, habia gran ntimero de conceptos nuevos y ternas de primordial irnportancia, los cuales, en opinion de los autores, constituyen una introduccion al analisis.

En loscapitulos 6, 7 y 8 que tratan , respectivamente, de Ecuaciones Diferenciales, Calculos de Variaciones y Funciones de una Variable Cornpleja, solo se hicieron pequefios cambios. En la parte mas importante del libro, capitulos 1 al 5, se conserve 10 mas posible el esquema original de dos desarrollos mas 0 menos paralelos de cada tema a niveles diferentes: una introduccion informal basada en argumentos mas intuitivos, y un estudio de las aplicaciones que proporcionan los fundamentos para las demostraciones subsecuentes.

El material de algebra lineal, contenido en el capitulo I original, parecia inadecuado como fundamento para la estructura amp li ada del calculo. Por tanto, todo este capitulo (que ahora es el capitulo 2) se reescribio completamente y ahora incluye todas las propiedades basicas de los determinantes y las matrices de n-esirilo orden, las for-

5

6 P,,6logo

mas multilineales, los determinantes de Gram y las variedades lineales.

En el nuevo capitulo I se analizan todas las propiedades fundamentales de las formas diferenciales lineales y sus integrales. Con esto el lector ya esta preparado para empezar con el estudio de las form as diferenciales exteriores de orden superior agregadas al capitulo 3. Tambien, en el capitulo 3, se encuentra una nueva demostracion del teorema de la funcion implicita por medio de aproximaciones sucesivas y un estudio de los puntos criticos y los indices de los campos vectoriales en dos dimensiones.

En loscapitulos 4 y 5 se agreg6 bastante material sobre las propiedades fundamentales de las integrales multiples. Aqui nos enfrentamos a una conocida dificultad: se debia demostrar que las integrales sobre una variedad M, definidas con bastante facilidad subdividiendo M en partesconvenientes, son independientes de la subdivision particular. Esto se resolvi6 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 minimizar las complicaciones topol6gicas, s610 se considera,ron variedades que encajaban suavemente en el espacio euclidiano. Se estudi6 la noci6n de "orientacion" 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 teorerna de Stokes en n dimensiones. A la secci6n sobre las integrales de Fourier en el capitulo 4 se le agreg6 un analisis de la identidad de Parseval y las integrales multiples de Fourier.

Para la preparacion de este libro fue inapreciable la ayuda generosa e ininterrumpida, proporcionada por los dos amigos de los autores, los profesores Albert A. Blank de la Universidad CarnegieMellon y Alan Solomon de la Universidad del Negev. Casi en todas las paginas se advierte la influencia de sus criticas, correcciones y sugerencias. Adem as , elIos prepararon los problemas y ejercicios para este volumen."

Tambien debemos dar las gracias a nuestros colegas.. los Profesores K. O. Friedrichs y Donald Ludwig, por sus valiosas y construetivas 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

1En contraste con el volumen I, estos se han incorporado por completo en el texto; se pueden encontrar sus soluciones al final del volurnen.

Capitulo 1

Contenido

Funciones de oarias variables y sus derioadas

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 yconjuntos 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 mas sencillos de funciones, 37 c. Representacion geometrica de las funciones, 38

1.3 Continuidad 42

a. Definicion, 42 b. EI concepto de

limite de una funcion de varias va-

riables, 44 c. EI orden de anulacion

de una funcion, 47

1.4 Las derivadas parciales de una fun-

.,.

cion

a. Definicion. Representacion geometrica, 52 b. Ejernplos, 58 c. La

7

52

8 Contenido
continuidad y la existencia de las
derivadas parciales, 61 d. Cam bio de!
orden de la derivacion, 62
1.5 La diferencia al total de una
funcion y su significado geometrico 67
a. EI concepto de diferenciabilidad,
67 b. Derivadas direccionales, 73
c. Interpretacion geometrica de la
diferenciabilidad. EI plano tangente,
73 d. La diferencial total de una fun-
cion, 76 e. Aplicacion al calculo de
errores, 79
1.6 Funciones de funciones (funciones
compuestas) y Ia introduccion a
nuevas variables independientes 81
a. Funciones compuestas. La regla de
la cadena,81 b. Ejemplos, 87
c. Cambio de las variables indepen-
dientes, 88
1.7 El teorema del valor medio y el
teorema de Taylor para fundones de
varias variables 93
a. Observaciones preliminares acerca
de la aproximacion mediante poli-
nomios, 93 b. EI teorema del valor
medio, 95 c. Teorema de Taylor
para varias variables independientes,
97
1.8 Integrales de una funcion que
depen den de un parametro 100
a. Ejemplos y definiciones, 100
b. Continuidad y diferenciabilidad de
una integral con respecto al para-
metro, 103 c. Intercambio de in-
tegraciones. Regularizacion de fun-
ciones, 109
1.9 Diferendales e integrales de linea 112
a. Formas diferenciales lineales, 112
b. Integrales de linea de formas Contenido 9
diferenciales lineales, 115 c. Depen-
dencia de las integrales de linea con
respecto a los puntos extremos,122
1.10 EI teorema fundamental sobre la in-
tegrabilidad de las form as diferen-
ciales lineales 125
a. Integracion de diferenciales
totales, 125 b. Condiciones necesarias
para que las integrales de linea de-
pendan unicamente de los puntos ex-
tremos, 126 c.lnsuficiencia de las
condiciones de integrabilidad, 128
d. Conjuntos simplernente conexos. 132
e. El teorema fundamental, 135
APENDICE
A.I. EI principio del punto de acu-
mulacion en varias dimensiones y
sus aplicaciones
a. El principio del punto de acu-
mulaci6n, 138 b. Criterio de conver-
gencia de Cauchy. Compacticidad,139
c. El teorema de cobertura de Heine-
Borel, 140 d. Una aplicaci6n del
teorema de Heine- Borel a conjuntos
cerrados que estan contenidos en con-
juntos abiertos, 142
A.2. Propiedades basicas de las funciones
cdntinuas 144
A.3. N ociones basicas de la teorfa de los
conjuntos de puntos 144
a. Conjuntos y subconjuntos, 144
b. Union e intersecci6n de conjuntos,
147 c. Aplicaciones a los conjuntos de
puntos en el plano, 149
AA. Funciones homogeneas 151 10 Contenido

Capitulo 2

Vectores, matrices, transformaciones lineales

2.1 Operaciones con vectores 155

a. Definicion de los vectores, 155

b. Representacion geometrica de los vectores, 157 c. Longitud de los veetores, angulos entre direcciones, 160 d. Productos escalares de vectores, 165 e. Ecuacion de hiperplanos en forma vectorial, 167 f. Dependencia lineal de vectores y sistemas de ecuaciones lineales, 170

2.2 Matrices y transformaciones lineales 178

a. Cambio de base. Espacios lineales,

178 b. Matrices, 182 c.Operacic aes

con matrices, 186 d. Matrices

cuadradas. La reciproca de una

matriz. Matrices ortogonales, 189

2.3 Determinantes 196

a. Determinantes de segundo y tercer

orden, :l96 b. Formas lineales y mul-

tiline ales de vectores, 200 c. Formas

multilineales alternantes. Definicion

de determinantes, 204 d. Propie-

dades principales de los determinan-

tes, 209 e. Aplicacion de los deter-

minantes a los sistemas de ecuaciones

lineales, 214

2.4 Interpretacion geometric a de los

determinantes 219

a. Productos vectoriales y volumenes

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 vohimenes de

paralelepipedos en dimensiones su-

peri ores , 230 d. Orientaci6n de

paralelepipedos en el espacio n di-

Contenido II

mensional, 236 e. Orientacion de planos e hiperplanos, 242 f. Cambio de volumen de los paralelepipedos en las transformaciones lineales, 244

2.5 Nociones vectoriales en el analisis 246

a. Campos vectoriales, 246

b. Gradiente de un escalar, 248

c. Divergencia y rotacional de un campo vectorial, 251 d. Familias de vectores. Aplicacion ala teoria de las curvas en el espacio y al movimiento de parriculas, 255

Capitulo 3

Desarrollos y aplicaciones del calculo diferencial

3.1 Funciones implfcitas 263

a. Observaciones generales, 263

b.Interpretacion geometrica, 264 c. EI

teorema de la funcion impllcita, 266

d. Dernostracion del teorema de la

funcion implicita, 271 e. EI teorema

de la funcion implicita para mas de

dos variables independientes, 274

3.2 Curvas y superficies en forma im-

plfcita 276

a. Curvas planas en forma implicita,

276 h. Puntos singulares de curvas,

282 c. Representacion implicit a de

superficies, 284

3.3 Sistemas de funciones, transfer-

maciones y aplicaciones 287

a. Observaciones generales, 287

h. Coordenadas curvilineas, 293c. Extension a mas de dos variables independientes, 295 d . Formulas de derivacion para las funciones inversas, 298 e. Producto simb6lico de aplicaciones, 304 f. Teorema general sobre la inversion de las transfor-

12 Contenido

maciones y de los sistemas de funciones implicitas. Descomposici6n er aplicaciones primitivas, 308 g. Cons trucci6n alternativa de la aplicaci6n inversa por el metodo de las aproximaciones sucesivas, 314 h. Funciones dependientes, 321 i. Observaciones finales, 323

3.4 Aplicaciones 326

a. Elementos de la teoria de super-

ficies, 326 h. Transformaci6n confor-

me en general, 337

3.5 Familias de curvas, familias de

superficies y sus envolventes 339

a. Observaciones generales, 339 h.

Envolventes de familias unipara-

metricas de curvas, 341 c. Ejemplos,

345 d. Envolventes de familias de

superficies, 353

3.6· Formas diferenciales alternantes 357

a. Definici6n de formas diferenciales

alternantes, 357 h. Sumas y productos

de formas diferenciales, 360 c. De"

rivadas exteriores de forrnas diferen-

ciales, 363 d. Forrnas diferenciales ex-

teriores en coordenadas arbitrarias,

367

3.7 Miximos y minimos 376

a. Condiciones necesarias, 376

h. Ejernplos, 379 c. Maximos y minimos con condiciones subsidiarias, 382

d. Demostraci6n del metodo de multiplicadores indeterminados en el caso mas sencillo, 386 e. Generalizaci6n del metodo de los multiplicadores indeterminados, 389 f. Ejemplos, 393

APENDICE

A. J Condiciones suficientespara los valores extremes

398

Contenido 13
A.2 Ntimeros de puntos criticos rela-
cionados con los indices de un cam-
po vectorial 405
A.3 Puntos singulares de cur vas planas 413
A.4 Puntos singulares de superficies 416
A.5 Relacion entre la representacion de
Euler y la de Lagrange del movi-
miento de un fluido 417
A.6 Representacien tangencial de una
curva cerrada y la desigualdad
Isoperimerrica 419
Capitulo 4 Integrales multz'ples
4.1 Areas en el plano 421
a. Definicion de la medida de Jordan
de un area, 421 b. Un conjunto que
no tiene area, 425 c. Reglas para las
operaciones con areas, 426
4.2 Integrales dobles 429
a. La integral doble como un vo-
lumen, 429 b. EI concepto analitico
general de la integral, 431 c. Eiem-
plos, 435 d. Notaci6n. Extensiones.
Reglas fundamentales, 437 e. Esti-
maciones de la integral y el teorema
del valor medio, 439
4.3 Integrales sohre regiones en tres y
mas dimensiones 441
4.4 Derivacion en el espacio, Masa y
densidad 442
4.5 Reduccien de la integral multiple a
integrales simples repetidas 444
a. Integrales sobre un rectangulo,
444 h. Cambio del orden de inte-
graci6n. Derivaci6n bajo el signo in- 14 Contenido
tegral, ~46 c. Reducci6n de integrales
dobles a integrales simples para
regiones mas generales, 448 d. Exten-
sion de los resultados a regiones en
varias dimensiones, 453
4.6 Transformaeion de integrales mid-
tiples 454
a. Transforrnacion de integrales en el
plano, 454 h. Regiones de mas de dos
dimensiones, 460
4.7 Integrales multiples impropias 463
a. Integrales impropias de funciones
sobre conjuntos acotados, 464
b. Demostracion del teorema general
de la convergencia para las integrales
impropias, 468 c. Integrales sobre
regiones no acotadas, 472
4.8 Aplicaciones geometricas 474
a .. Calculo elemental de volumenes,
474 h. Observaciones generales sobre
el calculo de vohimenes. Solidos de
revoluci6n. Vohirnenes en coorde-
nadas esfericas, 446 c. Area de una
superficie curva, 479
4.9 Aplicaciones fisicas 488
a. Momentos y centro de masa, 488
h. Memento de inercia, 491 c. EI pen-
dulo compuesto, 493 d. Potencial de
masa que se atraen, 496
4.10 Integrales multiples en coordenadas
curvilineas 503
a. Resolucion de integrales multiples,
503 b. Aplicad6n a las areas barridas
por curvas en movimiento y vohi-
menes barridos por superficies en
movimiento. Formula de Guldin. El
planimetro polar, 506
4.11 Volfimenes y areas superficiales en
cualquier ntimero de dimensiones 511 Contenido 15

a. Areas de superficies e integrales de superficie en mas de tres dimensiones, 511 h. Area y volumen de la esfera n dimensional, 513 c. Generalizaciones. Representaciones parametricas, 517

4.12 Integrales simples impropias como

funciones de un paramerro 521

a. Convergencia uniforme. Depen-

dencia continua del parametro, 521

h. Integraci6n y derivaci6n de las in-

tegrales impropias con respecto a un

parametro, 524 c. Ejemplos, 527

d. Evaluacion de las integrales de Fresnel, 532

4.13 La integral de Fourier 535

a. Introducci6n, 535 h. Ejemplos, 537

c. Demostracion 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 transformaci6n

de Fourier para funciones de varias

variables, 548

4.14 Las integrales eulerianas (Funci6n

gamma) 556

a. Definicion y ecuacion funcional,

556 h. Funciones convexas. Demos-

tracion del teo rem a de Bohr y Mo-

llerup, 558 c. Los productos infinitos

para la funcion gamma, 562 d. EI

~orema de extension, 566 e. La fun-

cion beta, 568£. Derivacion e inte-

gracion de orden fraccionario.

Ecuacion integral de Abel, 571

APENDICE: ANALISIS DETALLADO DEL PROCESO DE INTEGRACION

A.l, Areas

a. Subdivisionesdel planoy areas interiores y exteriores correspondientes,

574

16 Contenido
575 b. Conjuntos mensurables de jor-
dan y sus areas, 577 c. Propiedades
basicas de las areas, 579
A.2 Integrales de funciones de varias
variables 584
a. Definici6n de la integral de una
funci6n ft», y), 584 b. Integrabilidad
de las funciones continuas e integrales
sobre conjuntos, 586 c. Reglas basicas
para integrales multiples. 589
d. Reducci6n de integrales multiples a
integrales sencillas repetidas, 592
A.3 Transformacion de areas e integrales 595
a. Aplicaciones de conjuntos, 595
b. Transformaci6n de integrales rmil-
tiples, 601
A.4 Nota acerca de la definicion del
area de una superficie curva 602
Capitulo 5 Relacum entre las integrates de
superficie y las de volumen
5.1 Relacifin entre las integrales de
linea y las integrales dobles en el
plano (Los teoremas de la integral de
Gauss, de Stokes y de Green) 605
5.2 Forma vectorial del teorema de la
divergencia. Teorema de Stokes 614
5.3 Formula para la integra cion por
partes en dos dimensiones. Teorema
de Green 619
5.4 EI teorema de la divergencia
aplicado a la transformacitin de in-
tegrales dobles 621
a. EI caso de las aplicaciones biu-
nlvocas, 621 h. Transformaci6n de
integrales y grado de la aplicaci6n,
624 Contenido 17
5.5 Derivaclon de area. Transformacidn
de au a coordenadas polares 628
5.6 Interpretacion de las formulas de
Gauss y de Stokes mediante flujos
bidimensionales 632
5.7 Orientacion de superficies 639
a. Orientaci6n de superficies bidi-
mensionales en el espacio tres, 639
b. Orientaci6n de curvas sobre super-
ficies orientadas, 652
5.8 Integrales de formas diferenciales y
de escalares sobre superficies 554
a. Integrales dobles sobre regiones
planas orientadas, 654 b. Integrales
de superficie de formas diferenciales
de segundo orden, 657 c. Relaci6n
entre las integrales de formas di-
ferenciales sobre superficies orien-
tadas y las integrales de escalares
sobre superficies no orientadas, 659
5.9 Teoremas de Gauss y de Green en el
espacio 663
a. Teorema de Gauss, 663 b. Apli-
cacion 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. Aplicaci6n del teorema
de Green a la transformaci6n de aU a
coordenadas esfericas, 675
5.10 T eo rem a de Stokes en el espacio 678
a. En uncia do y demostraci6n del
teorema, 678 b. Interpretacion del
teorema de Stokes, 682
5.11 Identidades de integrales en dimen-
siones superiores 689 18 Contenido
APENDICE: TEORIA GENERAL DE
LAS SUPERFICIES Y DE LAS IN-
TEGRALES DE SUPERFICIE
A.l Superficie e integrales de superficie
en tres dimensiones 692
a. Superficies elementales, 692 b. In-
tegral de una funci6n sobre una
superficie elemental, 695 c. Super-
ficies elementalesorientadas, 697
d.Superficies simples, 699 e. Particiones
de la unidad e integrales sobre super-
ficies simples, 703
A.2 El teorema de la divergencia 706
a.Enunciado del teorema y su in-
variancia, 706 b. Dernostracion del
teorema, 708
A.3 Teorema de Stokes 712
A.4 Superficies e integrales de superficie
en espacios euclidianos de dimen-
siones superiores 714
a. Superficies elernentales, 714b. In-
tegral de una forma diferencial sobre
una superficie elemental orientada,
717 c. Superficies simples m-dimen-
sionales, 718
A.5 Integrales sobre superficies simples,
teorema de la divergencia de Gauss y
formula general de Stokes en dimen-
siones superiores 721
Capitulo 6 Ecuaciones diferenciales
6.1 Las ecuaciones diferenciales para el
movimiento de unaparticula en tres
dimensiones 725
a. Las ecuaciones de movimiento, 725
b. EI principio de conservaci6n de la
energia, 727 c. Equilibrio. Estabi-
lidad, 659 d. Oscilaciones pequeiias Contenido 19
en torno a una posicion de equilibrio,
733 e. Movirniento planetario, 737
f. Pro blernas con valores en la fron tera.
El cable cargado y la viga cargada,
744
6.2 La ecuacion diferenciallineal
general de primer orden 751
a. Separaci6n de variables, 751 b. La
ecuaci6n lineal de primer orden, 753
6.3 Ecuaciones diferenciales lineales de
orden superior 756
a. Principio de superposici6n. So-
luciones generales, 756 b, Ecuaciones
diferenciales homogeneas de segundo
orden, 761 c. La ecuaci6n diferencial
no homogenea, Metodo de variaci6n
de parametres, 764
6.4 Ecuaciones diferenciales generales
de primer orden 770
a. Interpretacion geornetrica, 770
b. Laecuaci6ndiferencial de una farni.
lia de curvas. Soluciones singulares.
Tra yectorias ortogonales, 773 c. Teo-
rema de existencia y unicidad de la
soluci6n. 776
6.5 Sistemas de ecuaciones diferenciales
y ecuaciones diferenciales de orden
superior 783
6.6 Integracion por el metodo de coe-
ficientes indeterminados 785
6.7 EI potencial .de cargas atractivas y la
ecuacion de Laplace 787
a. Potenciales de distribuciones de
masa, 788 b. La ecuacion 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
6.8 Mas ejemplos de ecuaciones diferen-
dales parciales que surgen en la
fisicomatemfitica 802
a. La ecuaci6n de onda en una di-
mensi6n, 802 b. La ecuaci6nde onda
en el espacio tridimensional, '8M
c. Las ecuaciones de Maxwell en el
espacio libre , 806
Capitulo 7 Calculo de oariaciones
7.1 Funciones y sus extremos 813
7.2 Condiciones necesarias para la exis-
tencia de valores extremos de un
funcional 818
a. Anulaci6n de la primera variaci6n,
818 b. Deducci6n de la ecuaci6n
diferencial de Euler, 820 c. Demos-
traciones de los lemas fundamentales,
823 d. Soluci6n de la ecuaci6n di-
ferencial de Euler en casos especiales.
Ejemplos, 825 e. Anulaci6n identic a
de la expresi6n de Euler, 829
7.3 Generalizaciones 830
a. Integrates con mas de una funci6n
argumento, 830 b. Ejemplos, 832
c. Principio de Hamilton. Ecuaciones
de Lagrange, 834 d. Integrales que i.n·
volucran derivadas superiores, 837
e. Varias variables independientes, 838
7.4 Problemas en que existen condi-
ciones subsidiarias. Multiplicadores
de Lagrange 840
a. Condiciones subsidiarias ordi-
narias, 840 b. Otros tipos de con-
diciones subsidiarias, 843 Contenido 21
Capitulo 8· Funciones complejas representadas POT
series de potencies
8.1 Funciones complejas representadas
por series de potencias 847
a. Limites y series infinitas con ter-
minos complejos, 847 b. Series de
potencias, 850 c. Derivacion e in-
tegracion de series de potencias, 852
. d. Ejernplos de series de potencias,
855
8.2 Fundamentos de la teorfa general de
las funciones de una variable com ..
pleja 857
a. El postulado de la diferenciabi-
lidad, 857 h. Las operaciones mas
sencillas del calculo diferencial, 861
c. Transformacion conforme. Funcio-
nes inversas, 865
8.3 Integracion de funciones analiticas 868
a. Definicion de la integral, 868
b. Teorema de Cauchy, 870 c. Apli-
caciones. Ellogaritmo, la funcion ex-
ponencial y la funcion potencia
general, 872
8.4 Formula de Cauchy y sus aplica-
ciones 879
a. Formula de Cauchy, 879 b. Des-
arrollo de funciones analiticas en
series de potencias, 881 c. La teoria
de funciones y la teoria del potencial,
884 d. El reciproco del teorema de
Cauchy, 885 e. Ceros, polos y residuos
de una funcion analitica, 886
8.5 Apficaciones a la integracien com-
pleja (Integraci6n de contorno) 890
a. Demostracion de la formula (8.22)
890 b. Demostraci6n de la f6rmula
(8.23), 891 c. Aplicaci6n del teorema
de los residuos a la integraci6n de 22 Contenido

funciones racionales. 892 d. EI teorema de los residuos y las ecuaciones diferenciales lineales con coeficientes constantes, 895

8.6 Funciones multiformes y la extensUm anaHtica

Lista de datos biograficos Indice

898

1028

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, tambien son basicos.en dos 0 mas variables independientes. No obstante, en dimensiones superiores debe tratarse con muchos fenomenos nuevos que no tienen contraparte en 10 absoluto en la teoria de las funciones n~ una sola variable. Por regia 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 demostracion. Por 10 tanto, en 10 que sigue, a menudo nos restringiremos a funciones de dos variables, en donde las relaciones puedJen concebirse geornetricarnente con mayor facilidad, y estudiaremos las funciones de tres 0 mas variables solo cuando con ello se pueda en tender mejor este tema; esto tarnbien conduce a interpretaciones geornetricas mas simples de nuestros resultados.

1.1 Puntos y conjuntos de puntos en el plano y en til espacio

a. Sucesiones de puntos: Convergencia

Una pareja ordenada de valores (x, y) puede representarse geometricamente por el punto P que tiene a x y y como coordenadas en algun sistema eoordenado cartesiano. La distancia entre dos puntos P = (x, y) Y P' = (x', y') esta dada por la formula

ppl = .j(x' - X)2 + (y' - y)2,

la eual es basica para la geometria euclidiana. Se usa la nocion de distaneia para definir las veeindades de un punto. La vecindad E de

25

26 Introduccion al dilculo y al analjsis matematico

un punto C = (a, ~) consiste de todos los puntos P = (x, y) cuya distancia desde C es menor que e ; geometricamente este es el disco I circular con centro en C y radio e que se describe mediante la desigualdad

(x - a)2 + (y - ~)2 < ,,2.

Consideraremos sucesiones infinitas de puntos

Pn = (Xn, Yn), ..

Por ejemplo, P« = (n, n2) define una sucesion cuyos puntos se encuentran sobre la parabola Y = X2. No todos los puntos en una sucesion tienen que ser distintos. Por ejemplo, la sucesicn infinita P« = (2, (-1)n) solo tiene dos elementos distintos.

La sucesion PI, P2. . . ., es acotada si puede hallarse un disco que contenga a todos los Pn,esto es, si existen un punto Q y un niimero M ital quePnQ < M para todo n. Asi, la sucesion Pn =(1/n, 1/n2) es acotada y la sucesion (n, n2), no acotada.

EI concepto mas import ante relacionado con las sucesiones es el de convergencia. Se dice que una sucesion de puntos Pl. P2. . . . converge a un pun to Q, 0 que

lim P« = Q,

si las distancias PnQ convergen a O. Por tanto, lim P« = Q significa

que para cada e > 0 existe un mimero N tal que Pn se encuentra en la vecindad B de Q para todo n > N.2

Por ejernplo, para la sucesion de puntos definida por Pn = (e-nI4 cos n, e-nf4 sen n), se tiene Iim P« = (0, 0) = Q, dado que aqui

para

n___. 00

Se observa que los P« se aproximan al origen Q alo largo de la es-

I La palabra "circulo", como se usa cormmmente, es ambigua, refiriendose ya sea a la curva 0 a la region limitada por ella. Seguiremos la practica corriente de reservar el termino "circulo' solo para la curva y el termino "region circular" 0 "disco" para la region bidimensional. De modo sernejante, en el espacio distinguimos la "esfera" (es decir, la superficie esferica) del solido tridimensional "bola" que limita.

*De modo equivalente, cualquier disco con centro en q contiene a todos menos a un mimero finito de los P«. Tarnbien se usara la notacion Pro -+ Q cuando n -+ 00

Fundones de varias variables y sus derivadas 27

P3

Po

Figura 1.1 Sucesi6n convergente P«.

piral logaritmica con ecuacion r = e-a/4 en las coordenadas polares r, o (ver la Fig. 1.1),

La convergencia de la sucesion de puntos P« = (Xn, Yn) hacia el pun to Q = (a, b) significa que las dos sucesiones de numeros Xn Y YlI conoergen por separado y que

lim Xn = a,

n~~

lim Yn = b.

n~oo

En efecto, la pequeiiez de PnQ implica que tanto Xn - a como Yn - b son pequefias, ya que IXn - aj ~ PnQ, IYn - bl ~ P"Q; inversamente,

PnQ = ~(Xn - a)2 + (Yn - b)2 ~ Ix" - c] + IYn - bl,

de modo que PnQ ---+ 0 cuando tanto Xn ---+ a como y« ---+ b.

Precisamente como en el caso de las sucesiones de mimeros, puede probarse que converge una sucesion de puntos, sin conocer ellimite, aplicando el criterio intrfnseco de Cauchy para la convergencia. En dos dimensiones, este criterio afirma que: Para la convergencia de una sucesi6n de puntos P« = (Xn, y,,) es necesario y suficiente que, para cada E > 0, se cumpla la desigualdad P"Pm < s para toda n, m que sean mayores que un valor apropiado N = N(s). La demostraci6n se deduce inmediatamente aplicando el criterio de Cauchy para las .sucesiones de mimeros a cada una de las sucesiones x" y Yn.

28 Introduccion al calculo y al analisis matematico

b. Conjuntos de puntos en el plano

En el estudio de las funciones de una sola variable x, generalmente se permite que x varie sobre un "intervale", el cual podria ser cerrado 0 abierto, acotado 0 no acotado. Como posibles dominios de funciones en dimensiones superiores, se tiene que considerar una gran variedad de conjuntos y se tienen que introducir terrninos que describan las propiedades mas sencillas de tales conjuntos. Por 10 cormin se consideraran curvas 0 regiones bidimensionales en el plano. En el Volumen I (Capitulo 4), se han estudiado con amplitud las curvas planas. Normalmente se dan en la forma "no parametrica" y = f (x), 0 bien, en la "pararnetrica" par medio de una pareja de funciones x = 1>(t), Y = '!I(t), a bien, en la forma "implicita" mediante una ecuacion F(x, y) = 0 (en el Capitulo 3 se tratara mas acerca de las representaciones implicitas).

Adernas de las curvas, se tienen conjuntos bidimensionales de puntos, formando una regu5n. Una region puede ser el plano xy completo 0 una porcion del plano limitada por una curva simple cerrada

o l _._ X

Figura 1.2 Una region simplemente conexa.

y

o~--------------~x

Figura 1.3 Una region triplemente conexa.

Figura 1.4 Una region R no conexa.

Funcionesde varias variables y sus derivadas 29

(formando, en este caso, una regi6n sim.plemente conexa como se muestra en la Fig. 1.2) a par varias de esas curvas. En el ultimo caso se dice que es una region multiplemente conexa, yel mimero de curvas front era da 10 que se conoce como conectividad; por ejernplo, la Fig. 1.3, muestra una regi6n triplemente conexa. Un conjunto plano puede no ser conexo I en 10 absoluto, y consistir .de varias porciones separadas(Fig.l.4).

Generalmente, las curvas frontera de las regiones que van a considerarse son seccionalmente suaves. Es decir, cada una de esas curvas consiste de un mimero finito de arcos, y cada arco tiene una tangente que gira de manera continua en todos sus puntas, incluyendo los puntas extremos. Por 10 tanto, tales curvas pueden tener cuando mas un numero finito de esquinas.

En la mayoria de los casos se describira una region por medio de una 0 mas desigualdades, donde la igualdad se cumple sobre alguna porci6n de la frontera. Los dos tipos mas import antes de regiones, a las cuales recurriremos a cada momento, son las regiones rectangulares (con lados paralelos a los ejes coordenados) y los discos circulares. Una region rectangular (Fig. 1.5) consiste de los puntos (x, y) cuyas coordenadas satisfacen desigualdades de la forma

a < x< b,

c < y < d;

Figura 1.5 Una region rectangular

cada coordenada se restringe a un intervalo definido y el punto (x, y) varia sobre el interior del rectangulo. Como se define aqui, la region rectangular es abierta; es decir, no contiene a su frontera. Las curvas frontera se obtienen remplazando una 0 mas de las desigualdades que definen la region por la igualdad, y permitiendo (pero no requiriendo) el signo igual en las otras. Por ejemplo,

Vease la p. 133 respecto a una definicion precisa de "conexa",


x = a,

define uno de los lados del rectangulo. EI rectangulo cerrado que se obtiene agregando todos los puntos frontera al conjunto, se describe mediante las desigualdades

a ~ x ~ b,

c ~ y ~ d.

EI disco circular con centro en (a, ~) y radio r (Fig. 1. 6) se da, como se vio anteriormente, por la desigualdad

(x - q)2 + (y - ~)2 < r2.

y

If!

I

I

O~-------rIL-----~% ;...._ 0(.--,

Figura 1.6 Un disco circular.

Agregando el drculo frontera a este disco "abierto", se obtiene el "disco cerra do" que se describe por

(x - a)2 + (y - ~)2 ~ r2

c. La frontera de un conjunto. Con juntos cermdos y conjuntos abiertos

Podria imaginarse la frontera de una region como si se tratara de una membrana que separa los puntos que pertenecen a la region de aquellos que no pertenecen a ella. Como se vera, est a nocion intuitiva de la frontera no siempre tiene un significado. No obstante, result a interesante resaltar el hecho de que existe una manera de definir con bastante generalidad la frontera de cualquier conjunto de puntos, en tal forma que, al menos, es consistente con esa nocion intuitiva. Se dice que un punta P es un punto front era de un con junto S de puntas si cada vecindad de P contiene tanto puntas que pertenecen a S como puntos que no pertenecen a S. Como consecuencia, si P no es punto

Funciones de varias variables y sus derivadas Sl

Frontera, existe una vecindad de P que contiene solo un tipo de puntos; es deeir, puede hallarse una veeindad de P que consist a cornpletamente de puntos de S, en euyo caso P recibira el nombre de punta interior de S, 0 bien, puede hallarse una vecindad de P que este completamente libre de puntos de S, en cuyo caso P sera un punto exterior de S. Asi entonees, para un conjunto dado S de puntos, cada punio en el plano es punta frontera 0 punta interior 0 punta exterior de S y s610 pertenece a una de estas clases. El conjunto de puntos frontera de S forma la frontera de S, la que se denota mediante el simbolo as.

Por ejernplo, sea S la region rectangular

a < x < b,

c<y<d

Obviamente, para cualquier punto P de S puede hallarse un pequefio disco circular con centro en P = (a, 13) que este completamente contenido en S; solo tiene que tomarse una veeindad E de P en Ia cual E sea positivo y tan pequefio que

a < a - E < a + E < b,

c < 13 - E < 13 + E < d.

Esto demuestra que aqui cada puntode S es un pun to interior. Los puntos frontera P de S son precisamente los puntos que se eneuentran en cualquiera de los lados 0 los vertices del rectangulo.en el primer caso, la' mitad de toda vecindad 10 suficientemente pequefia de P pertenecera a S y la otra mitad no. En el segundo caso, una cuarta parte de toda vecindad perteneee a S y tres cuartas partes no (Fig. 1.7).

y

O~--aL-------~b--------~X

Figura 1.7. Punto interior A, punto exterior D, puntos frontera B, C de la region rectangular.

32 Introducci6n al calculo y al anatisis matematico

Por definicion, todo punto interior P del conjunto S es necesariamente un punto de S, porque hay una vecindad de P que consiste completamente de puntos de S, y P pertenece a esa vecindad. De modo sernejante, cualquier punto exterior de S definitivamente no pertenece a S. Por otra parte, los puntos Frontera de un conjunto a veces pertenecen al conjunto y a veces no. J El rectangulo abierto

a <x < b,

c <y < d.

no contiene a sus puntos frontera, mientras que el rectangulo cerrado

a ~ x ~ b,

SI los contiene.

Por 10 general, se dice que un conjunto S de puntos es abierto si ningun punto Frontera de S pertenece a S (es decir, si S solamente consiste de puntos interiores). S recibe el nombre de cerrado si contiene a su frontera. A partir de cualquier conjunto S siempre se puede obtener un conjunto cerrado , agregando a S todos sus puntos Irontera que no pertenezcan ya a S. Entonces se obtiene un nuevo conjunto, la cerradura S de S. Ellector puede verificar con iacilidad que la cerra dura de S es un conjunto cerrado. Los puntos exteriores son exactamente aquellos que no pertenecen a la cerradura de S. De modo semejante, se define el interior So de S como el conjunto de puntos interiores de S, esto es, el conjunto que se obtiene elimnando los puntos Frontera de S. El interior de S es abierto.

Debe observarse que los conjuntos no tienen que ser abiertos 0 cerrados. Se puede construir con facilidad un conjunto S que s610 contenga parte de su frontera, tal como el rectangulo semiabierto

a ~ x < b,

c ~y < d.

Tambien es importante darse cuenta que nuestra noci6n de Frontera se aplica a conjuntos bastante generales y proporciona resultados bastante alejados de la intuici6n. Un ejemplo de un conjunto que en ningtin sentido es una "curva" 0 una "region" es el conjunto S que consiste de los "puntos racionales" del plano, es decir, de aquellos puntos P = (x, y) para los cuales ambas coordenadas x y y son nilmeros racionales. Evidentemente, todo disco en el plano contiene tanto puntos racionales como no racionales. Por tanto, aqui no hay

I Observese la diferencia entre "no pertenece a S" y "exterior a S", Un punto frontera de S nunca es exterior. incluso cuando no pertenece a S.

Funciones de varias variables y sus derivadas 33

"curva" frontera; la frontera as consiste del plano completo. No existen puntos interiores ni exteriores.

Incluso en casos donde la frontera es unidimensional, no toda ella sirve para separar puntos interiores de exteriores. Por ejemplo, las desigualdades

describen un disco con un diarnetro eliminado; aqui Ia frontera consiste del circulo (x - 0.)2 + (y - ~)2 = r2 y del diametro

y =~,

Ix - 0.1 «:r.

Figura 1.8 Disco con un diametro eliminado.

Cualquier vecindad 10 suficientemente pequefia de un punto en ese diarnetro no contiene puntos exteriores en 10 absoluto (Fig. 1.'8).

d. La cerradura como conjunto de puntos Umite

Las nociones de "interior", "frontera" y "exterior" de un conjunto S tienen importanda cuando se consideran los lirnites de sucesiones de puntos PI, P2, ... , de los cuales todos pertenecen al conjunto S.1 Evidentemente, un punta Q exterior a S no puede sere! limite de la sucesion, ya que existe una vecindad de Q libre de puntos de S, 10 eual evita que los Pk puedan aprdximarse arbitrariarnente a Q. De aqui que el Iimite de una sucesion de puntos en S debe ser un punto frontera 0 un punto interior de S. Como los puntos interiores y frontera de S forman la cerradurade S, se concluye que los limites de sucesiones en S pertenecen ala cerradura de S.

Inversamente, todo punto Q de la cerradura de S es en realidad el

1 Los puntos PI< no tienen que ser distintos entre sf.

~4 Introduccion al calculo y al analisis matematico

limite de alguna sucesion PI, P2, .•• de puntos de S, porque si Q es un punto de lao cerra dura , entonces Q pertenece a S, 0 bien, a su frontera. En el primer caso, se tiene trivialmente en Q, Q, Q, ... una sucesi6n de puntos de S que convergen a Q. En el segundo caso, para cualquier e > 0, la vecindad e de Q contiene al menos un punto de S. Para todo nurnero natural n es posible elegir un pun to P« de S que pertenece a la vecindad e de Q, con e = l/n. Evidentemente, los Pn convergen a Q.

e. Puntos y conjuntos de pwntos en el espacio

Una terna orden ada de mimeros (x, y, z) puede representarse en la manera usual mediante un punto Pen el espacio. Aqui, los mimeros x, y, z, las coordenadas cartesianas de P, son las distancias (con signo) de P desde tres planos mutuamente perpendiculares. La distancia PP' entre los dos puntas P = (x, y, z) y P' = (x', y', z') esta dada por

PP' = ../(x' - X)2 + (y' - y)2 + (z' - Z)2_

La vecindad e del punto Q = (a, b, c) consiste de los puntos P = (x, y, z) para los cuales PQ < s ; estos puntos forman la bola dada porIa desigualdad

(x - a)2 + (y - b)2 + (z - C)2 < e2.

Las analogas a las regiones planas rectangulares son los paraleleplpedos ' rectangulares descritos por medio de un sistema de desigualdades de la forma

a < x < b,

c <y < d,

e-c z «: ],

Todaslas nociones desarrolladas para los conjuntos pIanos -frontera, cerradura, etc. - se extienden a los conjuntos en tres dimensiones, en una manera obvia.

Cuando se trata con cuaternas ordenadas como ~x, y, z, w, nuestra intuici6n visual no puede proporcionar una interpretacion geometrica. Aiin asi, resulta conveniente usar terminologia geometrica, atribuyendo a (z, y, z, w) un "punta en el espacio tetradimensional", Las cuaternas (x, y, z, w) que satisfacen una desigualdad de la forma

(x - a)2 + (y - b)2 + (z - C)2 + (w - d)2 < 62

1 Paralelepipedo (del griego, parallelepipedon, de paralle los , paralelo, y epipedon, plano).


constituyen, POT definicion, la vecindad £. del punto (a, b, c, d). Una region rectangular- se describe por un sistema de desigualdades de la forma

a < x < b,

c < y < d,

e -c z «: f,

s< w< h.

Por supuesto, nada existe de misterioso en esta idea de "puntos" en cuatro dimensiones; 5610 es una terrninologia conveniente y no implica nada respecto a la re alidad fisica del espacio tetradimensional. De hecho, no hay impedimento alguno para darle el nombre de "punto" en el espacio n-dimensional a una "n-ada" (xr, ... ,Xn), donde n puede ser cualquier mimero natural. Para muchas aplicacioncs es bastante util y sugerente representar un sistema descrito por n eantidades en esta forma, 0 sea, por medio de un solo punto en algun espacio de dimensi6n superior." A menudo, las analogias con interpretaciones geometric as en el espacio tridimensional proporciona n las bases para poder hacer operaciones en mas de tres dimensiones.

Ejercicios 1.1

I. Es posible represent ar un punto (x, y) del plano por medio de un mimero complejo (Volumen I, p. 103) en la forma z = x + iy. Invesrigar la convergcncia. para diferentes valores de z, de las sucesiones

(a) z"

(b) z'!», donde zlln se define como la razz n-esima primitioa de .z, es dccir , como la raiz con la amplitud positiva minima.

2. Probar para P« = (Xn + ~n, y« + 1') .. ) que lim P« = (x + ~, y + 1)),

doridc se supone que los lirnites x = lim Xn, ~ = lim ~n, y = lim Yn,

1') = lim 1')n cxistcn.

. n-+co

3. Dernostrar que todo pu nt o del disco X2 + y2 < 1 es un punto interior. ~Se curnple tarnbicn esto para x2 + y2 ~ L? Dar las razones.

4. Dernostrar que el conjunto S de puntos (x, y) con y > X2 es abierto.

:). ~Cual es Ia frontera de un segmento lineal considerado como un subconjunto del plano x, y?

~Tambien se usan los t~rminos "celda" e "intervale" para describir regiones rectangulares de este tipo, en dimensiones superiores.

sAsi, el sistema de rnoleculas de un gas en un recipierue puede describirse por la posicion de un solo punto en un "espacio fase" con un mirnero muy grande de dimensiones.

Yendo incluso mas adelante, en algunas partes del analisis se acostumbra representar una sucesioninfinira de ntimeros Xl, X2, ••• porun punto (Xl, X2, _ •• ) en un espacio con un numero infinito de dimensiones.

36 Introducci6n al calculo y al analtsis matematico

Problemas 1.1

1. Sea P un punto Frontera del conjunto S que no perteneee a S. Probar que cxiste una sucesion de puntos dist int os PI, P2, ... en S que tiene a P como limite.

~. Probar que la cerradura de un conjunto es cerrada

3. Sea P cualquier punto de un conjunto S y Q eualquier punto fuera del eonjunto. Probar que el segmcnto rectilineo PQ contiene un punto frontcra de S.

4. Sea G el eonjunto de puntos (x, y) para el eual x < 1, y < 1/2 y y < 0 si x = 1/2. ~Conti('ne G solo puntos interiores? Proporeionar la evidencia necesaria.

1.2 Funciones de varias variables independientes

a. Funciones y sus dominios

Las ecuaciones de la forma

u = x + y,

o

u = log(l - x2 - y2)

asignan un valor funcional u a una pareja de val ores (x, y). En los primeros dos ejemplos se asigna un valor de u a cada pareja de valores (x, y), mientras que en el tercero la correspondencia tiene significado solo para aquellas parejas de val ores (z, y) para las que se cumple la desigualdad x2 + y2 .-- 1.

En general, se dice que u esuna funcion de las variables independientes x y y siempre que alguna ley f asigna un valor unico de u 0 sea, la variable dependiente) a cada pareja de valores (x, y) que pertenecen a un cierto conjunto especificado, 0 sea, el dominio de la funcion. ASl, una funcion u = f(x, y) define una aplicaciori de un conjunto de puntos en el plano x, y - el dominio de f - sobre un cierto conjunto de puntos del eje u, el recorrido de f De modo semejante, se dice que u es una funcion de las n variables XI, Xz, ..• ,Xn si para cada conjunto de valores (Xl, ... ,Xn) que pertenecen a cierto conjunto especificado, se asigna un valor unico correspondiente de u.l

I A menudo se piensa en las funciones f como si asignaran un valor a un punto P, en Idgar de a la pareja (x,y) de coordenadas que describen a P. Entonces se escribe J(P)_ en lugar de j(x,y). Esta notacion es particularmente util cuando se define geornetricamente la relacion funcional entre los puntos P y los valoresj(p), sin hacer referenda a un sistema coordenado x, yespedfico.


Asi, por ejernplo, el volumen u = xyz de un paralelepipedo rectangular es una funcion de la longitud de los tres lados x, y, z; la declinacion rnagnetica es una funcion de la latitud, la longitud y el tiempo; la sum a Xl + X2 + ... + Xn es una funcion de los n terminos Xl, X2, • • • , Xn.

Se debe observar que el dominio de una funcion es una parte indispensable de su descripcion. En los casos en donde u = {(x, y) se da mediante una expresion explicit a , result a natural tomar como domini~ de {todas las (x, y) para las que esta expresion tiene sentido. No obstante, se puede definir por "restriccion" las funciones dadas por la misma expresion, pero que tengan dominios menores. Asi, se puede usar la formula u = X2 + y2 para definir una funcion con dominio X2 + y2 < 1/2.

Precisamente como en el caso de funciones de una variable, una correspondencia funcional u = {(x, y) asocia un valor anico de u con el sistema de variables independientes X, y. De esta manera, ningun valor funcional es asignado por una expresion analitica que sea multiforme, tal como arc tan si». a menos que se especifique, por ejemplo, que el "arc tangente" es valido para la rama principal con valores que se encuentren entre -1t/2 y + 1t/2 (ver el Volumen I, p. 214); ademas, tiene que excluirse la recta x = 0.2

b. Los tipos mtis sencillos de funciones

Precisamente como en el caso de una variable independiente, las funciones mas sencillas de mas de una variable son las funciones enteras racionales 0 polinomios. EI polinomio mas general del primer grado, 0 funcion lineal, tiene la forma

u = ax + by + c,

donde a, by c son constantes. EI polinomio general de segundo grado tiene la forma

2 Tomando el valor principal, se ve que u = arctanyjx para x > Onoes otra cosa sino el angulo polar del punto (x, y) mcdido a partir del eje x positivo. Este angulo polar puede aun definirse geornetricamente de una manera obvia como una funcion univaluada con valores entre -1t y 1t si se excluye precisarnente el origen y los puntos sobre el eje x negative, perc entonces el angulo polar ya no esta dado por arc tan y/ x en la region extendida, si se entiende que el area tangente se refiere a la rama principal.

38 Inrroduccion al calculo y al analisis matematico

u = ax2 + bxy + cy2 + dx + ey + {.

Su dominio es el plano x, y completo. EI polinomio general de cualquier grado es una suma de un rnimero finito de terminos amnxmyn (llamados monomios), donde m y n son enteros no negativos y los coeficientes amn son arbitrarios.

El grado del monomio amnxmytt es la suma m + n de los exponentes de x y y, siempre que el coeficiente amn no se anule. El grado de un polinomio se determina par elgrado mayor de cualquiera de los monomios can que tenga un coeficiente no anulable (despues de combinar los terminos can las mismas potencias de x y y). Un polinomio que consiste de monomios que tienen el mismo grado N se llama polinomio hamogeneo 0 forma de grado N. Asi, x2 + 2xy, 0 bien, 3x3 + (7/5) x2y + 2y3 son formas.

Extrayendo las rakes de las funciones racionales, se obtienen ciertas funciones algebraicas I, por ejemplo,

La mayoria de las funciones mas complicadas de varias variables que se usaran aqui se pueden describir en terminos de las funciones bien conocidas de una variable, tal como

u = sen (x arc cos y) 0 bien u = log; y.

c. RePresentaciOn geometrica de las funciones

Tal como se representan las funciones de una variable mediante curvas, se pueden representar las funciones de dos variables, geometricamente, por medio de superficies. Con este fin, considerese un sistema coordenado rectangular x,y, u en el espacio y marquese por encima de cada punto (x, y) del dominio R de la funcion en el plano x, y, el punto Peon la tercera coordenada u = {(x, y)~ Conforme el punto (x, y) varia sobre la region R, el punto P describe una superficie en el espacio. Se toma esta superficie como la representacion geometric a de la funcion.

Inversamente, en la geometria analitica, las superficies en el espacio se representan por funciones de dos variables, de modo que en-

I Vease la p. 275 respecto a una definicion general del termino "funcion algebraica".


tre tales superficies y las funciones de dos variables existe una relaci6n reciproca. Por ejernplo, a la funci6n

U = v'1 - x2 - y2

le cor responde el hemisferio quese encuentra por encima del plano x, y, con radio unitario y centro en el origen. A la funci6n U = X2 + y2 le corresponde un llama do paraboloide de reuolucion, que se obtiene haciendo girar a la parabola u = x2 alrededor del eje u (Fig. 1.9). A las funciones u = x2 - y2 Y U = xy, les corresponden paraboloides hiperbolicos (Fig. 1.10). La funci6n lineal u = ax + by + c tiene un plano en el espacio como "grafica". Si en la funci6n u = {(x, y) no aparece una de las variables independientes, digamos y, de modo que u s610 depende de x, 0 sea u = g(x) la funci6n se represent a en el espacio x, y, u mediante una superficie cilindrica generada por las perpendiculares al plano a,x en los puntos de la curva u = g(x).

u.

Figura L9 u = x2 + y2.

Figura 1.10 u = x2 _ y2.

Sin embargo, esta representaci6n por medio de coordenadas rectangulares tiene dos desveritajas. Primero, la imagen geometric a fracasa cuando se trata de tres 0 mas variables independientes. Segundo, incluso para dos variables independientes, a menudo resulta mas conveniente limitar la discusi6n al plano x,y unicamente, ya que en el plano se pueden trazar esquemas y realizar construcciones geometric as sin dificultad. Desde este punto de vista, a veces es preferibleotra representaci6n geometrica de una funci6n de dos va riab lcs. por media de lincas de contarno. En el plano x,y se taman

40 Introducci6n al calculo y al analisis matemiitico

todos los puntospara los cuales u = {(x, y) tiene un valor constante, digamos u = k. Por 10 cormm, estos puntos se encontraran sobre una curva 0 curvas, la Hamada linea de contorno 0 curva de nive.l, para el valor constante dado k de la funcion. Tambien pueden obtenerse estascurvas, cortando la superficie u = {(x, y)por medio del plano u = k paralelo al plano x, y y proyectando las curvas de intersecci6n perpendicularmente sobre e1 plano x, y.

EI sistema de estas lineas de contorno, marcadas con los valores correspondientes kl, k2, . . .. de la altura k, nos da una .representacion de la funcion. En la practica, se asignan valores en progresion aritmetica a k, dig-amos k = vh, donde v = 1, 2, ... Entonces la distancia entre las lineas de contorno proporciona una medida de la inclinacion de la superficie u = f(x, y), porque entre dos lineas consecutivas cualesquiera el valor de la funcion cambia en la misma cantidad. La funcion sube 0 baja con rapidez donde las lineas de contorno estan muy proximas: en cambio, donde las line as 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 (Servido Geografico y Geologico de los E.E.U.U.)

En este metodo, la fun cion lineal u = ax + by + c se representa por un sistema de rectas paralelas ax + by + c = k. La funcion u = x2 + y2 se represent a por un sistema de circulos concentricos (ver la Fig. 1.11). La funcion u = x2 - y2, cuya superficie tiene "forma de silla de montar" (Fig. 1.10), se representa por el sistema de hiperbolas que se muestra en la Fig. 1.12.

y

Figura 1.11 Lineas decontorno de u = x2 + y2.

Figura 1.12 Lineas de contorno de u = X2 _ y2.


El metodo de representar la funcion u = f(x, y) mediante lineas de eontomo tiene la ventaja de poder extenderse hacia funciones de tres variables independientes. Entonees, en lugar de las line as de contorno, se tienen las superficies de nivel f(x, y, z) = k, donde k es una eonstante a la eual se le pueden asignar eualquier sucesion apropiada de valores. Por ejemplo, las superficies de nivel para la funcion u = x2 + y2 + Z2 son esferas concentricas alrededor del origendel sistema eoordenado x,y, Z

Ejercicios 1.2

1. Evaluar las siguientes funciones en los puntos indicados:

(a) z = ( cot arc (x + y») 3 tan arc (x - y)

para

1 + '11'"3 1-v'"3

x= 2 ,y= 2

(b) w = eCOS Z(x+y), para

11:

X = Y =, 2' z = -1

(c) z = yX cos xY, X = e, y ::;: log 11:

(d) z = cosh (x + y), x = log 11:, Y = log ~

x+y 1 1

(e) z = x _ y' x = 2' y = 3'

2. Al igual que en el Volumen I, a menos que se haga una excepci6n explicita, se considera el dominio de una funci6n definida mediante una expresion formal como el conjunto de todos los puntos para los cuales la expresi6n tiene significado. Dar el dominio y el recorrido de cada una de las siguientes funciones:

(a) z = J.x:t=Y (b) z = J2x - y2 1 (c)z = {vx+y

(i) z = '11'3 - x2 - 2y2 (j) Z = v'-X2 - y2

(k) z = log (x2 - y2)

(d) z =)1- x2 _ y2

a2 b2

x2

(1) z = tan arc X2 + y2

(m) Z= tan arc +x x y

(n) z = cos arc tan :l x

(e) z = log (x + 5y)

(f) z = -Jx .sen y

(g) W = 'II' a2 - X2 - y2 - Z2 (h) z = x~ - y2

x+y

(0) z = arc cos log (x + y) (p) z = v'y cos x.

3. 2Cuftl es el numero de coeficientes de un polinomio de grado n en dos variables ? ~En tres variables? ~En k variables?

42 Introduccidn al calculo y al analjsis matematico

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:

(a) z = x2y

(b) Z = x2 + y2 - 1 (c) z = X2 - y2

(d) Z = y2

(e) z = y (1 - x2 ~ y2)'

5. Trazar las lineas de contorno para z = cos (2x + y) correspondientes a z = 0, ± 1, ± 1/2.

6. Hacer un esquema de las superficies definidas por

(a) z =..:: 2xy

(b) z = x2 + y2 (c) z = x - y. (d) z = x2

(e) z = sen (x + y).

7. Encontrar las curvas de nivel de la funci6n

H. l Ia ll ar las superficies sabre las cuales la funci6n u = 2 (x2 + y2)/Z es constanto.

1.3 Continuidad

a. Definicion

Como en la teoria de las funciones de una sola variable, el concepto de continuidad figura de modo prominente cuando se consideran funciones de varias variables. La proposici6n de que la funci6n u = {(x, y) es continua en el punto (~, 11) debe significar, hablando en terrninos generales, que para todos los puntos (x, y) cercanos a (~, 11), el valor de {(x, y) 5610 difiere un poco del valor {(~, 11). Esta idea se exprcsa de manera mas precisa como sigue: Si { tiene el dominio R y Q = (/;, 11) cs un punta de R, entonces res continua en Q si para cada E > 0 existe un (5 > 0 tal que

(1)

I{(P) - ((Q) 1= I{(x, y) - {(~, 11) I <E


para todo P = (x, y) en R para el cual*

(2)

PQ = ../(x - ~)2 + (y -~)2 < 8.

Si una funci6n es continua en cada uno de los puntos de un conjunto D de puntos, se dice que es continua en D.

Los hechos siguientes son casi obvios: La suma, diferencia y producto de funciones continuas tarnbien son continuos. El cociente de funciones continuas define una funci6n continua en los puntos donde el denominador no se anula (para la demostraci6n ver la siguiente, secci6n, p. 47). En particular, todos los polinomios son continuos y todas las funciones racionales son continuas en los puntos don de el denominador no se anula. Funciones continuas de funciones continuas son a su vez continuas (ver p. 47).

Una funci6n de varias variables puede tener discontinuidades de tipo mucho mas complicado que una funci6n de una sola variable. Por ejernplo, las discontinuidades pueden ocurrir a 10 largo de arcos completos de curvas, no s610 en puntos aislados. Este es el caso para la funci6n definida por

u = y/x para

x#;O;

u=O

para

x= 0,

ra cual es discontinua a 10 largo de toda la recta x = 0. Es mas, una funci6n f(x, y) puede ser continua en x para cada valor fijo de y y continua en y para cada valor fijo de x, y, sin embargo, ser discontinua como una funcion del punto (x, y). Esto puede ejemplificarse mediante

_ 2xy {(x, y)- x2 + y2

para

(x, y) #; (0, 0), {(O, 0) = 0.

Para cualquier y #; 0, fija, es obvio que esta funci6n es continua como una funci6n de x, ya que el denominador no puede anularse. Para y = 0, se tiene f(x, 0) = 0, que tambien es continua como una funcion de x. De modo semejante, f(x, y) es continua como una funci6n de y para cualquier x fija, Pero en cada punto de la recta y = x, excepto en el punto x = y = ° se tiene f(x,y) = 1 y se tienen pun-

*En iugar de confinar a (x, y) en un pequefio disco can centro en (1;, 1]) podria usarse un pequefio cuadrado. Asi, la condicion (2) en la definicion de continuidad puede remplaz arse por

(2')

y

Iy -111 < 8.

44 Introducci6n al calculo y al analisis matematico

tos de esta recta arbitrariamente proximos al origen. De aqui que {(x,

y) es discontinua en el punto (0, 0).

Precisamente como en el caso de funciones de una sola variable, se dice que una funcion rep) = [(x, y) es uniformemente continua en el conjunto R del plano x, y si f esta definida en los puntos de R y si para cada s > 0 existe un 8 = 8(&) positivo tal que I[(P) - [(Q)I < & para dos puntos cualesquiera P, Q en R de distancia < 8.1 La cantidad 8 = 8(&) se llama m6dulo de continuidad para [. Se tiene el teorema basico:

Una funci6n { que esta definida y es continua en un con junto cerrado y acotado R es uniformemente continua en R. (La demostracion se encuentra en el Apendice de este capitulo.)

El caso en el que puede hallarse un modulo de continuidad proporcional a & (ver el Volumen I, p. 43) es de suma importancia. Se dice que una funcion rep) definida en R es contituia segiin Lipschitz siexiste una constante L tal que

(3)

If(P) - [(Q) I s L PQ

para todos 'lospuntos P, Q en R.

(L se llama "constante de Lipschitz"; la relacion (3) es la condicion de Lipschitz".) Es evidente que una funcion [ continua segtin Lipschitz es uniformemente continua y tiene a 8 = &IL como modulo de continuidad.!

b. El concepto de Umite de una funci6n de varias variables

La nocion de limite de una funcion est a intimamente relacionada con la nocion de continuidad. Supongamos que [(x, y) es una fun cion con dominio R. Sea Q = (S, l') un punto de la cerra dura de R. Se dice que [ tiene el limite L cuando (x,y) tiende hacia (s, l')) y se escribe

lEI requerimiento esencial que hace uniforme a la continuidad es que 1) dependa de I: pero no de Po de Q.

2 La clase aiin mas amplia de funciones f "continuas segtin Holder" se obtiene cuando se remplaza la condicion de Lipschitz (3) por la condicion de Holder

If(P) - {(Q) I 2:. L PQa

para todo P, Q en R.

L y a son constantes y 0 < a 2:. 1 (vease el Volumen I. p 44). Estas funciones tambien son uniformemente continuas y puede elegirse como modulo de continuidad a la cantidad

0= (f./L)l/a


(4)

lim {(x, y) = L 0 bien lim rep) = L, 1

(x,y)->(~, ,,) P->Q

si para cada E > 0 puede hallarse una vecindad

(5)

PQ = ,J(x - ;)2 + (y - 11)2 < 0

de (~, 11) tal que

I{(P) - LI = I{(x, y) - LI < E

para todo P = (x, y) que pertenezca a R en esa vecindad. 2

En el caso de que el punto (~, 11) pertenezca al dominio de {, se tiene en (x, y) = (~, 11) un punto de R que satisface (5) para todo 0 > O. Entonces, en particular, (4) implica que

I{(~, 11) - LI < f:

para todo E > 0 y de aqui que L = {(~, 11). Pero entonces, por definicion, la relacion

Iim {(x, y) = {(;, 11)

(x, y)-+(~, ,,)

es identica a la condicion para la continuidad de t en (~, 11). De aqui que la continuidad d~ La funciori I en el punto (¢,11) es equivaLente a la proposicion de que I est a definida en «(, 11) y que {(x, y) tiene el limite {«(., 11) cuando (x, y) tiende a (¢, 11),

Si (no esta definidaen el punto Frontera (;,11) de su dominio pero tiene un limite L cuando(x, y) -. (;,11), puede extenderse naturalmente la definicion de {al punto (r;, 11), poniendo {(;, 11) = L; entonces la funcion { extendida en est a forma sera continua en (~, 11). Si {(x, y) es continua en su dominio R, puede extenderse la definicion de { como limite no imicamentc a un solo punto frontera (~, 11) sino simultaneamente a todos los puntos frontera de R para los cuales I tiene un limite. Una vez mas, la funci6n extendida que resulta es continua, como el lector puede verificar como un ejercicio. T6mese, por ejernplo la funci6n

10 bien, lim f(x., y) = L para (x, y) --; (1;, 1) 0 tam bien lim ft», y) = L. x->I;

y ... "

2La nocion no tiene sentido para puntos (1;,1) extenores a R, ya que entonces exis-

ten puntos arbitrariamente pr6ximos a (1;, nj en los que j este definida, y podria considerarse como limite a todo L

46 Introducci6n al dilculo y al anal'isis matematico

2 {(X, y) = e-X Iy

definida para toda (x, y) con y > O. Obviamente, esta funci6n es continua en todos los puntos de su dominio R, el semiplano superior. Considerese un punto Frontera (;, 0). Para ; ;t=. 0, evidentemente se tiene

lim {(x, y) = lim e= = 0

(x, y)-4([;, 1]) s-->~

cuanda se restringe y a valores positivos. Si, entonces, se define la funcion extend ida {*(x, y) por

2 f*(x, y) = {(x, y) = e-X Iy

pa ra Y > 0 y rocla x, y por

{*(x, 0) = 0

p.i ru X =I=- 0, la funcion {* sera continua en su dominio R*, donde R* r-s ('I scrn ipln no superior cerra do Y ~ 0 con la excepcion del punto (0, 0). En ('I or ige-n {* no tiene limite, y de aqui que no es posible defini i {*(O, 0) en tal forma que la extension sea continua en el ong('11 Ell ('fccto, para (x, y) sobre la parabola y = kX2, se tiene

{(x, y) = e-lik.

Tcndicndo al origen a 10 largo de parabolas diferentes se obtienen v,lion's limite diferentes, de modo que no existe un limite unico de {(x, y) r uando (x, y) -) o.

Ta mb ien puede relacianarse el cancepta de limite de una [uncuni {(x, y) con cl de limite de una sucesi6n (ver el Volumen I, p. 82). Supongas« que { ticne eI dominio R y

lim {(x, y) = L.

(x,y)-->(1;,1])

Sea P« = (Xn, Yn) para n = 1, 2, ... , eualquier sucesi6n de puntas en R para la cual lim Pn == (;,11). Entonees la sucesion de mimeros {(Xn,

n-400

Yn) tiene ellimite L. Porque {(x, y) diferira arbitrariamente poco de L para toda (x, y) en R suficientemente proxima a (;, 11), y (Xn, yn) estara suficientemente proxima a (;, 11) tan solo hacienda n 10 suficientemente grande. Reciprocarnente, lim {(x ,y) euando (x,y) -) (;,1')

n-->oo

existe y tiene el valor L si para cada sucesion de puntas (Xn, Yn) en R


con limite (~, 11) se tiene lim {(Xn, Yn) = L. La dernostracion puede ser

n->OO

proporcionada Facilmente por ellector. Si nos restringimos a los pun-

tos (S, 11) en el dominio de {, se obtiene la proposicion de que la continuidad de { en su dominio R signiftca precisamente que

(6)

lim {(Xn, yn)= {(~, 11)

n->oo

siem.pre que lim (Xn, Yn) = (S, 11) 0 bien que

n->oo

lim {(Xn, Yn) = {(lim Xn, lim Yn),

n~~ n~oo n~~

donde s610 se eonsideran las sucesiones (Xn, Yn) en R que convergen y tierien sus Iimites en R. Entonees, en esencia, Ia continuidad de una funcion {nos permite el intercambio del simbolo para { con el de limite.

Es evidcnte que las nociones de limite y de conrinuidad de una funci6n Sf' aplican con igual propiedad cuando el dominio de f no es una region bidimensional sino una curva 0 cualquier otro conjunto de puntos. Por cjernplo, la funci6n

{(x + y) = (x + y)!

est a dcfinida en el conjunto R que consiste de todas las rectas x +y = const. = n, donde n es un entero positivo. Es obvio que { es continua en su dominio R.

Se mencion6 con anterioridad (p. 42) que cuando {(x, y) y g(x, Y) son continuas en un punto (t, 11), entonces { + g, { - g, t . g, y. para g(~, fJ) cF O. tam bien f!g son continuas en (~, fJ).Estas reglas se deducen inmediatamente a partir del enunciado de la continuidad en thminos de la convergencia de sucesiones. Para cualquier sucesi6n (Xn, Yn) de puntos que pertenecen a los dominos a { y g y que converge a (S, 11), par (6) se tiene

lim {(Xn, Yn) = {(~, 11),

n->oo

lim g(Xn, yn) = g(S, 11).

n->oo

Entonces, se concluye la convergencia de {(Xn, yn) + g(Xn, yn),etc., a partir de las reglas para operar can sucesiones (Volumen I, p. 72).

c. El orden de anulaci6n de una funciOn

Si la funcion {(x, y) es continua en el punto (S, 11), la diferencia {(x, y) - {(~, 11) tiende a 0 confonne x tiende a ~ y :y tiende a 11. In-


troduciendo las nuevas variables h = x - ~ y k = y - 11, se puede expresar esto como sigue: La funci6n fjJ (h, k) = f(~ + h, 11 + k) - {('s, 11) de las variables h y k tiende a 0 a medida que h. y k tienden hacia o.

Con frecuencia encontraremos funciones r(J(h, k) que tienden hacia cero conforme h y k 10 hacen. Como en el caso de una variable independiente, para muchos fines resulta util describir el comportamiento de ¢(h, k) cuando h >» 0 y k ~ 0 con mas precision, distinguiendo entre diferentes "6rdenes de anulacion" y "ordenes de magnitud" de r(J(h, k). Con este fin, se basan las comparaciones en la distancia

del punta con coordenadas x. = ~ + h y y = 11 + k desde el punto con coordenad~; S y TJ y se hace uso de la definicion siguiente:

Una funcionr(J(h, k) se anula con forme p --~ 0 por 10 menos en el mismo orden que p = Jh2 + k2, siempre que exista una constante C independiente de h y k tal que se cum pla la desigualdad

I¢(h; k)\ ~ c

para todos los valores 10 suficientemente pequefios de p; es decir , siempre que exista un & > 0 tal que se cumpla la desigualdad para todos los valores de h y k tales que 0 < Jh2+k2 <0. Entonces se escribe simbolicarnente: 9(h, k) = O(p). Es mas, se dice que r(J(h, k) se anula para un orden superior I a psi el cociente ¢(h, k)/p tiende a 0 conforme p --) O. Esto se expresara mediante la notaci6n simb6lica r(J(h k) = o(p) cuando (h, k) ~ 0 (ver el Volumen I, p. 253, donde se explican los simbolos "0" y "0" para las funciones de una sola variable).

Consideremos algunos ejemplos. Como

Ihl . < 1 Jh2+k2 =

y

Ik! < 1 Jh2+k2 = •

las componentes h y k de la distancia p en la dii-ecci6n de los ejes x y y se anulan por 10 menos en el mismo orden que la propia distancia.

I Can el fin de evitar confusiones. sefialaremosexpresamente que un orden superior de anulaci6n cuando p -+ _o implica valores menores en la vecindad de p = 0; por ejemplo, p2 se anula en un orden superior a p y p2 es menor que p cuando pesta proximo, a O.


Lo mismo es cierto para una funcion linealhomogenea ah + bk.con constantes a .y b 0 para la funcion p sen Para valores fijos a mayores que I, la potencia pll de la distancia se anula en un orden superior a p ; simbolicarnente, pll = o(p) para a> 1. De modo semejante, un polinomio cuadratico homogeneo ah2 +bhk + ck2, en las variables h y k, se anula en un orden superior a p conforme p ~ 0

ah2 + bhk + ck2 = o(p).

En forma mas general, se usa la definicion siguiente. Si se define la funcion de comparacion ro(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 acero, entonees fjJ(h, k) se anula por lo menos en el mismo orden que ro(h, k) conforme p ~ 0 si para alguna constante C elegida apropiadamente, se cumple la relacion

fjJ (h,.k) < C ro(h, k) =

en una vecindad del punto (h, k) = (0, O).Esto se indica por medio de la ecuacion simb6lica fjJ(h, k) = O(ro(h, k». De modo semejante, fjJ(h k) se anula en un orden superior a ro(h, k),o bien, fjJ(h, k) = d{ro(h,

) ) . fjJ(h, k) 0 d 0

k , si ro(h, k) ~ euan 0 p ~ .

Por ejernplo, el polinomio homogeneo ah2 + bhk + ck2 por 10 menos es del mismo orden que p2, ya que

Tambien p = 0(1/ I log pI), ya quelirp (p leg p) = 0 (Volumen I,

) p~O

p.252.

Ejercicios 1.3

1. La funcion z = (x - y)/(x + y) es discontinua a 10 largo de y = -x.

Haccr un esquema de las curvas de nivel de su superficie para z =0, ± 1, ±2. (Como se ven las curvas de nive! paraz = ±m,y m grande?

2. Examinar la continuidad de la funcion z = (x2 + y)-Jxz + y2,donde z = ° para x = y = 0. Hacer un esquema de las curvas de nive! z = k (k = -4, -2,0,2,4). Present ar (en una grafica) el comportamiento de z como una fu ncion de x unicamente, para y = - 2, -1, 0, 1, 2. De modo

50 Inrroduccion al dilculo y al analisis matematico

semejante, presentar el comportamiento de Z como una funci6n de y unicarnente, para x = 0, ±1, ±2. Por ultimo, presentar el cornportamientode z.como una funci6n de p unicamente, cuando e es constante (siendo p, e coordenadas polares).

3. Verificar que las funciones (a) {(x, y) = x3 - 3xy2

(b) g(x, y) = X4 - 6X2y2 + y4

son continuas en el origen, determinando el modulo de continuidad 8(e:). ~En que orden se anula cad a funci6n en el origen?

4. Demostrar que las funciones siguientes son continuas:

(a) sen(x2 + y) (b) sen Xy

';x2 + y2

x3 +y3

(c) x2 + y2

(d) x2 log (x2 + y2)

don de, en cad a caso, la funci6n se define en (0, 0), como igual al limite de la expresi6n dada.

5. Hallar un m6dulo de continuidad, 8 = 8(£, x, y), para las funciones continuas

(a) {(x, y) = ';1 + X2 + 2y2 (b) {(x, y) = ';1 + eX1J•

6. ~D6nde es discontinua la funci6n Z = 1/(x2 - y2)?

7. ~D6nde es discontinua la funci6n z = tan 1t.Y Icos 1tX?

8. ~Para que conjunto de valores (x, y) es continua la funcion z = ';y cos x'?

9. Demostrar que la funci6n Z = 1/(1 - x2 - y2) es continua en el disco unitario X2 + y2 < 1.

10. Encontrar la condici6n para que el polinomio

P = ax2 + 2bxy + cy2

tenga exactamente el mismo orden que p2 en la vecindad de x = 0, y = ° (es decir, que tanto P/p2 como p2/P sean acotados).

11. Determinar si las funciones siguientesson continuas 0 no, y si no 10 son, d6nde son discontinuas:

(a) sen ~ x3 +y2 (b)x2 + y2

Funciones de varias variabies y sus derivadas 51

(d) x3 + y2 . x2 + y

12. Dcmostrar que las funclones

_ x4y4

f(x, y) - (x2 + y4)3 ,

x2

g(x, y) = X2 + y2 - X

riendcn a 0 si -(x, y)se aproxima al origen a lo largo de cualquier recta, pero que I y g son discontinuas en el origen.

13. Dcterrninar si las funciones siguientes tienen limite en x = y = Oy dar el limi u- cuando exista.

(a)

X2 _ y2 x2 + y2

x2 + 2xy + y2 XZ + y2

(b)

(f) Ixlll

x2 + 3xy + y2 (c) X2 + 4xy + y2

d Ix-yl

( ) - x2 - 2xy + y2

(g) I X Ill/III

(h)* \yllzl ..Jx2 + y2 ..Jx2 + y2 + Iy/xl

14. Hallar un modulo de continuidad 8(t) para aquellas funciones del Ejercicio 13 que tengan limite en x = y = 0, donde las funciones estan definidas en el origen por media de sus valores limite.

15. Dernostrar que {(x, y, z) = (x2 + y2 - Z2)/(X2 + y2 + Z2) no es continua en (0,0,0).

16. Probar que si P(x, y) y Q(x, y)son, cad a uno, polinomios de grado n > 0 que se anulan en el origen.

R( )_P(x,y) x, y - Q(x, y)

no es continua en el origen.

17. Hallar los limites de las expresiones 'siguientes conforme (x, y)tiende a (0,0) en una forma arbitraria:

(a) sen (x2 + y2) x2 + y2

(b) sen (x4 + y4) x2 +y2

e-1I(Z2+112) (c) X4 + y4 •

18. Demostrar que la funci6n z = 3(x - y)/(x + y) puede tender hacia cualquiet limite conforme (x, y) tiende hacia (0, 0). Dar ejemplos de las variaciones de (x, y) tales que

52 Introducci6n al calculo y al analisis matemarico

(a) llm z=2
x~o
y~O
(b) lim z= -1
x~o
y~O (c) lim z no existe

x~o y~O

19. Si {(x, y) -+ 0 conforme (x;y) -+ (0, 0) a 10 largo de todas las rectas que pasan por el origen, {(x, y) -+ 0 conforme (x, y) -+ (0, 0) a 10 largo de cualquier trayectoria?

20. Investigar el comportamiento de z = y log Xi en una vecindad del origen (0, 0).

21. Para z = {(x,y) = (x2 - y)/2x, trazar las graficas de

(a) z = {(x, x2)

(b) z = {(x, 0)

(c) z = {(x, 1)

(d) z = {(x, x)

~Existe ellimite de {(x, y)conforme(x, y) -> (0, O)?

22. Dar una interpretacion geometrica de la proposicion siguiente: tP(h, k)se anula con el mismo orden que p = .Jh2 + k2•

Problemas 1.3

1. Considerese la funcion continua { extendida a la funcion f* definida de modo que t: = ( en el dominio de f y f*(Q) = 11m rep) para todos los P ..... Q

puntos Q sobre la frontera de { donde ellimite existe. Probar. que f* es continua.

2. Probar que lim {(x, y) cuando (x, y) -+ (1;, 1) existe y tiene el valor L si y solo si, para cada sucesion de puntos (Xn, Yn) en el dominio de { con limite (1;, 1) se tiene lim {(Xn, Yn) = L.

n400

1.4 Las derivadas parciales de una funcion

a. DefiniciOn. Representaci6n geometrica

Si en una funci6n de varias variables se asignan valores numericos definidos a todas excepto a una de las variables y 8610 se deja variar a esa variable, digamos x, la funci6nse transforma en una funcion de una sola variable. Considerese una funci6n u = f(x, y) de las dos variables x y y y asignese a y un valor fijo definido y = yo = c. La


Figura 1.13 y Figura 1. 14$eccciones de u = f(x, y).

fund6n resultante u = f(x, Yo) de la sola variable JC puede representarse geometricarnente cortando la superficie u = {(x, y) mediante el plano y = yo (ver las Figs. 1.13 y 1.14). La curva de intersecci6n asi form ada en el plano se representa por la ecuacion u = {(x, yo). Si se deriva esta funci6n en la manera usual, en el punto x = Xo, suponiendo que f esta definida en una vecindad de (xo, yo) Y que la deri.vada existe,' se obtiene la derivada parcial de {lx, y) con respecto a x en el punto (xo, Yo):

1, f(xo + h, yo) - f(xo, Yo) im h -. h-40

Geometricamente, esta derivada parcial denota la tangente del angulo entre una paralela al eje x y la recta tangente a la curva u = {(x, yo). Por 10 tanto; es la pendiente de la superficie u = f(x, y) en la direcci6n del eje x.

Se usan varias notaciones diferentes para representar estas derivadas parciales, una de las cuales es la siguiente:

1- f(xo + h, yo) - f(xo, yo) - f ( ) _ ( )

1m h - z Xo, yo - ux Xo, yo . h-,O

Si se desea hacer resaltar que la derivada parcial es el limite de un cociente de diferencias, se la denota por

o

a axf.

I No trataremos de definir una derivada en los puntos frontera del dominio (excepto, en ocasiones, como limite de los val ores de las derivadas parciales cuando se aproxirna el punto frontera por medio de puntos interiores).

54 Introduccion al caleulo y al anallsis matemarico

Aqui se usa el simbolo especial a en lugar de la d ordinaria usada en la derivaci6n de funciones de una variable, con el fin de indicar que se trata con una funci6n de varias variables y se esta derivando con respecto a una de ellas.

Para algunos fines result a conveniente usar el simbolo D de Cauchy (mencionado en la p. 158 del Volumen I) yescribir

a{

ax = Dx{,

pero nosotros rara vez usaremos este simbolo.

Exactamente en la misma forma se define la derivada parcial de {(x, y) con respecto a y en el punto (xo, Yo), por la relacion

lim f(xo, yo + kk - f(xo, YQ) = fy(xo, Yo) = Dy{(xo, yo).

k-->O

Esto representa la pendiente de la curva de interseccion de la superficie U = {(x, y) con el plano x = Xo perpendicular al eje x (Fig.

1.14). .

Pensemos ahora en el punto (xo, yo), - considerado hasta ahora fijocomo variable y, en consecuencia, omitamos los subindices O. En otras palabras, pensemos que se lleva a cabo Ia derivacion en cualquier punto (x, y) de la region de definicion de {(x, y). Entonces las dos derivadas son ellas mismas funciones de x y y,

Ux(x, y) = {x(x, y) = af~i y)

y

alex, y)

Uy(X, y) = {y(x, y) = ay •

Por ejemplo, la funcion tz = x2 + y2 tiene las derivadas parciales u« = 2x (en la derivaci6n con respecto a x, el terrnino y2 se considera como una constante y, en consecuencia, tiene la derivada 0) y Uy = 2 y. Las derivadas parciales de u = x3y son u« = 3x2y Y Uy = X3.

De modo semejante, para una funci6n de cualquier mimero n de variables independientes, las derivadas parciales se definen por

af(Xl, X2, ... ,Xn) li f'--'(c:..:x_.::.l_+'------'h-'-','---X:..:_2::2,_:.'---'---'-.-',-'x'-:Cn:L)_-__.L("-'x~l,'___X'_'_=_'2,'___.'____'__. _._,,:_X.:::.<n) = Im-

aXl h-->O h

suponiendo que ellimite existe.


Por supuesto, tarnbien pueden formarse derioadas parciales superiores de {(x, y), derivando una vez mas las derivadas parciales de "primer orden", fx(x, y)y fy(x, y), con respecto a una de las variablesy repitiendo este proceso. EI orden en el que se realizan las derivaciones se indica por el orden de los subindices 0 por el orden de los simbolos ax y ay en el "denominador" de derecha a izquierda* y se usan los simbolos siguientes para las segundas derivadas:

a (af) »t

ax ay = ax ay = fxy = DxDyf,

a (af) a2f

ay ax = ayax = fyx = DyDxf,

a (af) a2f

ay ay = ay2 = fyy = (Dy)2{.

De la misma manera, las tercer as derivadas parciales se denotan por

:x(~~) = t!a = fxxx, a:(~~) = a:Tx2 = {YXX,

a ( a2{) a3f

ax ax ay = ax2 ay = (XXy,

y as! sucesivamente y, en general, las n-esimas derivadas por

y as! sucesivamente.

Las diferentes notaciones para las derivadas parciales tienen sus respectivas ventajas, Escribiendo af(x, y)/ax, 0 bien, Dxf(x, y) para la derivada parcial de la funci6n f(x, y) con respectoa su primer argumento se hace resaltar que la derivaci6n tiene el caracter de un

*Esto es consistente con la notaci6n general para los productos simb6licos de operadores (ver el Volumen I, p. 53). En realidad, en la mayoria de los casos de interes no importa eI orden en el que se llevan a cabo las derivaciones (ver la p. 62).

6~ Introducci6n al calculo y al analfsis matemdtico

operador D:c 0 a/ax que acnia sobrela funcion, escrito simbolicamente como un factor que multiplica a Ia funcion .. La notacion para las.derivadassuperiores es consistente con est a idea de un producto:

o (a) 02

ay .ax 1 = Oy ox 1 = DyDxl·

Una desventaja de la notacion de operador es su incomodidad cuando se va a indicar para que valores de las variables independientes se toman las derivadas.Por ejemplo, si I(x, y) = x2 + 2xy + 4y2, entonces su derivada respecto a x en el punto x = 1, y = 2 puede escribirse como

( al(x, y») = Ix(l, 2) = (2x + 2y) _ = 6.

ax x=lx-1 y=2 y=2

No debe escribirse simplemente como

a/(1, 2) ox

ya que /(1, 2) tiene el valor constante 21 Y. de aquf, 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 funcion, 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 puntas excepcionales aislados 0 curvas.

Eiercicios 1.4a

1. Encontrar ;;zj;;x, ;;z/;;y para cad a una de las funciones siguientes:

(a) z = axn + by», a, b,m, n eonstantes (b) z = 2xey2 + 3y

(c)z= 2!+3,l

y x

(d) z = arc tan ~2

(e) z = X2y3/2

(h) z = 3x1y

(i) z = log (x + ~)

(j) z= cos (x2 + y) (k) z = tan (xy3 + ex)

(1) = C?S x z sen y

*Vease las pp. 69 y 70 respecto a una explicacion del termino "diferenciable", e1 eual implica mas que la existencia de las derivadas pareiales con respecto a x yay ..

Funciones de varias variables y susderivadas 57

(f) z = yX

(g) Z = Xl/2 y3/4

(m) z = xev + yeX (n) Z = X../X2 + y2

2. Hallar las primeras derivadas parciales de las siguientes funciones:

(b) sen (x2 - y)

(d) ../1 + x + y2 + Z2 (e) y sen xz

1

(a) :VX2 + y2

(c) eX-Y

(f) log ../1 + X2 + y2

3. Encontrar todas las primeras y segundas derivadas parciales de las siguientes funciones:

(a) xy
(b) log xy
(c) tan (arc tan x + arc tan y)
(d) xY (e) e(xY)

4. Sea w = f(x, y, z) = (cos x/sen y)ez• Hallar: fx, I». fz, para x = rr, y = rr/2,z = log 3_

5. Para f(x, y) = y cosh x + x sen h y hallar fx2 + fy2, en x = 0, y = O.

6,. Demostrar que las funciones u =eX cos y, v = eX sen y, satisfacen las condiciones Ux = Vy, Uy= -vx.

7. Demostrar que las funciones del Ejercicio 6 satisfacen la ecuaci6n diferencial parcial

fxx + f)lll = O.

Hagase 10 mismo para las funciones (a) log ../ x2 + y2

(b) arc tanl

x

(c) Y

X2 + y2

(d) 3x2y _ y3

(e) -J« + ../x2 + y2

8. Para r = ../x2 + y2 + Z2, hallar rxx + ryy + Tzz-

9 Hallar una constante a para la cual, si z = y3 + ayx2, entonces Zxx + Zyy = O.

10. Probar que la funci6n

1

f(XI, X2, ••• , Xn)= (X12 + X22 + ... + Xn2)(rt-2)/2

satisface la ecuaci6n

fXIXI + fX2X2 + ... + fXnxn = O.


Problemas 1.4a

1. c:Cuantas n-esimas derivadas tiene una funci6n de tres variables? c:de k variables?

2. Dar un ejemplo de una funci6n f(x, y) para la eual fx exista y fy no.

3. Hallar una funci6n f(x, y) que sea una funcion de (x2 + y2) Y que tambien sea un produeto de-la forma t(x) t(y); esto es, resolver la eeuaci6n

f(x, y) = 1>(x2 + y2) = t(x)t(y)

para las funeiones desconocidas,

4. Probar que cualquier funci6n de la forma

U(x y z) = f(t +r) + rs<!= r)

, , r r

(donde r2 = x2 + y2 + Z2), satisface la ecuaei6n

Uxx + Uyy + u .. = Utt.

b. Eiemolos

En la practica, la derivacion parcial solo incluye conceptos que el estudiante ya domina. Porque, de acuerdo con la definicion, todas las variables independientes se mantienen constantes, excepto aquella con respecto a la cual se esta derivando. Por 10 tanto, simplemente tienen que considerarse las otras variables como constantes v llevar a cabo la derivacion de acuerdo con las reglas mediante las cuales se derivan las funciones de una sola variable independiente. A continuacion se dan algunas derivadas parciales de varias funciones sencillas.

1. Funcion:

{(x, y) = xy

Primeras derivadas:

{x = s.

{y = x

Segundas derivanas:

{xx = 0,

{Xy = fyx = 1,

{yy = 0

2. Funcion:


f(x, y) = ./x2 + y2

Primeras derivadas:

y

fy = ./x2 + y2

[De donde, para el radiovector r = ./x2 + y2 desde el origen hasta el punto (x, y), las derivadas parciales con respecto a x yay estan dadas por cos~ = xlr, y sen ¢ = ylr, donde ~ es el angulo que el radiovector forma con ladirecci6n positiva del eje x.]

Scgundas derivadas:

r _ y2 _ sen 2 ~

I xx - I 2 2)3 - --,

v x + y r

f =I. - xy

xy - yx - - .j(x2 +- y2)3

3. Reciproco del radiovector en tres dimensiones:

Primeras derivadas:

fx =

x X

.j(X2 + y2 + z2)3 - ra'

z

fz = - ./(X2 + y2 + Z2)3

z_ . r3'

Segundas derivadas:

1 3x2

fxx = - " + -_ , r" r"

1 3z2 fzz =- T3 +----,:5'


3xy {XY = {YX = ----rs'

3zx {zx = {xz = -,:s.

De esto se ve que para la funcion t= 1 , la ecuacion

~X2 + y2 + Z2

f + f + f - ~ + 3(X2 + y2 + Z2) - 0

xx YII zZ--r3 r5 -

secumple para todos los valores de x, y, z excepto 0, 0,0; se dice que la funcion {(x, y, z) = 1/r satisface la ecuacion diferencial parcial ("ecuad6n de Laplace")

{xx + {YY + {zz = o.

4. Funcion:

1 2

{(x, y) = ~ye-(x-a) 14y

Primeras derivadas:

f = -(x - a) -(x-a)2/4y x 2y3/2 e ,

j: = ( -1_ + (x - a)2)e_(x_a)2/4y

I Y 2y3/2 4y5/2

Segundas derivadas:

t. = (-1 + (~ - a)2)e_(x_a)2/4y

xx 2y3/2 4y5/2 '

f = j: = (~X - a _ (x - a)3) -(x-a)2/4y

xy IYX 4 y5/2 8y7/2 e ,

j: = (~_l__ _1 (x - a)2 + (x - a)4) -(x-a)2/411 IYY 4 y5/2 2 y7/2 16y9/2 e •

Por 10 tanto, se satisface la ecuacion diferencial parcial :fxx --,- {y =

o identicamente en x y y.

Funciones devarias variables y sus derivadas 61

c. La continuidady la existencia de las derivadas parciales

Para una funcion de una sola variable, la existencia de la derivada en un punto implica la continuidad de la funcion en ese punto (ver Volumen I, p.166). En contraste con esto, la posesi6n de las derivadas parcialesno implica la continuidad de una funcion de dos variables: por ejernplo, la funci6n u(x, y) = 2xy/(x2 + y2), con u(O,O) = 0, tiene derivadas parciales en todo punto y. empero, ya se ha visto (p. 43) que es discontinua en el origen. Geometricamente hablando, la existencia de las derivadas parciales restringe el comportamiento de la funci6n en las direcciones de los ejes x y y unicamente, y no en las otras direcciones. Sin embargo, la posesi6n de derivadas parciales acotadas implica la continuidad, como se afirma en el teore!lla siguiente:

~i una funcion f(x, y) tiene derioadas parciales fx y fy en todo punta en un conjunto abierto R y estas derioadas satisfacen en todo punta las desigualdades

Ifx(x, y) 1 < M,

Ify(x, y)1 < M,

donde M es independiente de x Y y, entonces f(x, y) es continua en todo punio en R. I

Para la demostraci6n, considerense dos puntos con coordenadas (x, y) y (x + h, y + k), respectivamente, ambos en la region R. Sup6ngase ademas que los dos segmentos rectilineos que unen estos puntos con eI punto (x + h, y) se encuentran por completo en R; evidenternente esto es cierto si (x, y) es un punto interior a R yel punto (x + h, y + k) se encuentra 10 suficientemente pr6ximo a (x, y). Enronces se tiene

(7) f(x + h, y + k) - f(x, y) = {f(x + h, y + k) - f(x + h, y)}

+ {f(x + h, y) - f(x, y)} .

Los dos terminos dentro de las primeras Haves de. la derecha s610 difieren en Yi los que estan dentro de las segundas Haves, s610 en x. En consecuencia, puede aplicarse el teorema del valor medio ordinario del calculo diferencial (Volumen I, p. 174) a las primeras Haves

lEsto se aplica incluso, como se ve en la demostraci6n. a los puntos frontera del dominic, siempre que puedan unirse a cualesquiera.puntos vecinos del dominio por medio de una linea quebrada que consista de dos segmentos paralelos a los ejes, y I este definida apropiadamente en el punto Frontera.

62 Introduccion al calculo y al an al isis matematico

como una funci6n de y unicarnente y a las segundas Haves como una funci6n de x unicamente. As! se 0 btiene la relaci6n

(8) {(x + h, y + h) - {(x, y)= h{y(x + h, y + lhh) + h{x(x + fhh, y),

.

donde 01 y 82 son numeros entre 0 y I. En otras palabras, la derivada

con respecto a y debe formarse para un punto de la vertical que une a (x + h, y) con (x + h, y + h), y la derivada con respecto a x debe formarse para un punto de la horizontal que une a (x, y) con (x + h y). Como. por hip6tesis ambas derivadas son menores que M en valor absoluto, se concluye que

(9)

I{(x + h, y + h) - {(x, y)1 ~ M(lhf + Ihl).

Para valores 10 suficientemente pequefios de h y h, el segundo miembro es as! mismo arbitrariamente pequefio y queda demostrada la

continuidad de {(x, y). * '

Ejercicios l.4c

1. Enunciar formalmente y probar para una funci6n de tres variables} {(x, y, z) que la existencia y la condici6n de ser acotadas de las primeras derivadas parciales son suficientes para la continuidad de f.

1. Demostrar que las siguientes funciones {(x, y) son continuas:

, {e-1/(X2 + y2) X Y =1= 0

(a) {(x, y) = 0, ' 'x = 0, y = 0

(b) {(x, y) = {(x4 + y4) log (x2 + y2), x, Y =1= 0

0, x = y = o.

d. Cambio del arden de la derioacion

En todos los ejernplos de derivaci6n parcial dados en las pp. 58-60, se encuentra que tv« = {Xy; 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 despues con respecto a x. En genera:l, esto es cierto bajo las condiciones del teorema siguiente:

Si las derivadas parciales "mixtas" {Xy x {yX de unafunci6n {(x, y)

*Si el dominio de f es un rectangulo con lados paralelos a los, ejes, se cumple .la desigualdad para dos puntos cualesquiera (x, y) y (x + h, y + k) en el dominie. Entonces se concluve que f es incluso continua seg6.n Lipschitz (ver la p. 44).


son continuas en un conjunto abierto R, entonces se cumple La ecuaci6n

(10)

fyx = fxy

en todo R; es decir, no im.porta el orden la derivaci6n con respecto a x yay.

La demostracion, como la de la subseccion anterior, se basa en el teorema del valor medio del calculo diferencial. Considerense los cuatro puntos (x, y), (x + h, y), (x, y + k), y (x + h, y + k), donde h *- 0 y k *- O. Si (x,y ) es un punto del conjunto abierto R y si h y k son 10 suficientemente pequefios, estos cuatro puntos pertenecen a R. Formese ahora la expresion

(11) A = f(x + h, y + k) - f(x + h, y) - f(x, y + k) + f(x, y).

Introduciendo la funcion

~(x) = f(x, y + k) - f(x, y)

de la variable x y considerando la variable y simplemente como un "parametro", A toma la forma

A = ~(x + h) - ~(x).

Aplicando el teorema del valor medio del calculo diferencial resulta

A = h~'(x + 9h),

don de 9 se encucntra entre 0 y 1. No obstante, a partir de la definicion de ~(x), sc tiene

~'(x) = fx(x, y + k) - fx(x, y),

y como se ha supuesto que la segunda derivada parcial "mixta" fyx existe, nuevamente puede aplicarse el teorema del valor medio yencontrar que

(12)

A = hkfyx(x + 9h, y + 9' k),

donde eye' denotan dos mimeros no especificados entre 0 y 1.

Exactamente de la misma manera se puede introducir la funcion

Ijf(Y) = f(x + h, y) - /(x, y)

y expresar A como

A = 'I'(y + k) - 'I'(y).

64 Introduccion al calculo yal analisis matematico

As! se llega a la ecuaci6n

A = hhfxy(x + 91h, y + 91'h),

donde 0 < 91 < 1 y 0 < 91' < 1, y si se igualan las dos expresiones para A se obtiene la ecuaci6n

Si aqui se hace que h y k tiendan simultaneamente a 0 y se recuerda que las derivadas fxy(x, y) y fyx(x, y) son continuas enel punto (x, y), inmediatamente se obtiene

fyx(x, y) = fxy(x, y),

10 que debia demostrarse. *

El teorema sobre la reversibilidad del orden de la derivaci6n (es decir, sobre la conmutatividad de los operadores de derivaci6n Dx y Dy) tiene consecuencias de largo alcance. En particular, se ve que el

·Para investigaciones mas refinadas, a menudo resulta util saber que el teorema sobre la reversibilidad del orden de la derivaci6n puede probarse con hip6tesis mas debiles. En efecto, basta con suponer que, adem as de las primer as derivadas parciales {z y {II, s610 existe una derivada parcial mixta, digamos (YZ, y que esta de· rivada es continua en el punto en cuesti6n. Para probarlo, regresese a la ecuaci6n (11), dividase entre hk y, a continuaci6n, hagase que k sola tienda hacia O. Entonces el segundo miembro tiene un limite y, en consecuencia, el primer miembro tambien tiene un limite y

11m A = fy(x + h, y) - (y(x, y) k-O kh h .

Ademas, arriba se prob6, con la (mica hip6tesis de que (liZ existe, que

h~ = fyx(x + 13h, y + a'k).

En virtud de la continuidad supuesta de {yx, se encuentra que para e > 0 arbitrario y para todos los val ores de h y k suficientemente pequefios,

(IIX(X, y) - e < (yx(x + 13h, y + a'k) < fyx(x, y) + e,

de donde se deduce que

~ ( ) ::;; (y(x + h, y) - fy(x, y) .- ~ ( ) +

/yx x, Y - e _ h == /IIX X, Y e

o bien,

r (y(x + h, y) - (y(x, y) - f (x y)

kl~ h - yx , '

es decir,

(Xy(x, y) = (yx(x, y).


mimero de derivadas distintas de segundo orden y de ordenes superiores de funciones de varias variables es decididamente menor que el que podria esperarse en principio. Si se supone que todas las derivadas que van a formarse son funciones continuas de las variables independientes en la region bajo consideracion y si se aplica el teorema inmediato anterior a las funciones (x(x, y), (y(x, y), (Xy(x, y), y asi sucesivamente, en lugar de a la funcion {(x, y), se llega a las ecuaciones

{xxv = {XYX = {YXX, {XYY = {yxy = {YYX,

{XXYY = {XYXY = {XYYX = {YXXY = {YXyx = {yyxx,

v. en general, se tiene el resultado siguiente:

En la derivaci6n repetida de una funci6n de dos variables independientes se puede cambiar a voluntad el orden de las derivaciones, bajo el supuesto unicamente de que las derioadas en cuesti6n seanfunciones continuas. *

Con las hipotesis acerca de la continuidad, una funcion de dos variables tiene tres derivadasparciales de segundo orden,

{Xy,

cuatro derivadas parciales de tercer orden,

"Es de inreres fundamental mostrar por medio de un ejemplo que, sin la hipotesis de la c.ontinuidad de la segunda derivada {xy. a {IIX el teorema no es neeesariamente vcrdadero y {xy puede diferir de {yx. Esto puede ejemplifiearse par media de la funcion

x2_y2

{(x, y) = xy x2 + y2' {(D, D) = D,

para la eual existcn todas las derivadas parciales de segundo orden pero no son continuas. Se eneuentra que

(",(D, y) = lim {(x, y) - f(D, y) = lim y X2 - y2 = _ ,

x-o X x-o x2 + y2 y

"( 0) 1- ((x,y)-f(x,D) I- x2_y2

IYX, = im = unx~+ 2 =x,

y-O Y y-O x Y

y. en eonseeuencia,

fyz(D, 0) = - 1

y

fxy(O, D) = + 1.

Estas dos expresiones son diferentes, 10 eual, par el teorema anterior, solo puede ser provoeado por la diseontinuidad de {XY en el origen.


{xxx,

[xxv,

[Xyy,

y, en general, (n + 1) derivadas parciales de n-esimo orden,

Resulta obvio que tambien se cumplan proposiciones semejantes para funciones de mas de dos variables independientes. Esto es as! ya que puede aplicarse esta dernostracion con igual propiedad al intercambio de las derivaciones con respecto a x y a z, 0 bien, con respecto a y y a z, y as! sucesivamente, porque cada intercambio de dos derivaciones sucesivas solo comprende dos variables independientes a la vez.

Eiercicios lAd

1. Obtcner a2z/(ax ay) ya2z/(ay ax) para confirmar su igualdad.

(a) z = (ax + by)2 (d) z = y e=

x+y

(b) z = .vax + by (e) z = log -_

x

(c) z = f(ax + by)

2. Hallar todas las derivadas parciales hasta las de tercer orden de las funciones que siguen:

(a) f(x, y) = xY

(b) f(x, y) = cosh xy

(c) f(x, y) = ax2 + bxy + cy2

(d) f(x, y) = ~ + 1'_

y x

(e) f(x, y) = 2 cos x + 3 sen (y - x).

3. Demostrar para f(x, y) = log (eX + eY) que fx + fy = 1 y fxx fyy - (fXy)2 =0.

Problemas lAd

1. (a) Demostrar que una funci6n de la forma u(x, y) = f(x) g(y) satisface la ecuaci6n diferencial parcial.

u Uxy - UxUy = o. (b) Probar la proposici6n inversa.

2. Definase f(x, y) como:

f( ) - { X2 arc tan s. - y2 arc tan ~ , x, y =1= 0,

x,y - x y

o ~nx=Omy=~

Demostrar que fxy(O, 0) = -1, fyx = 1.


1.5 La diferencial total de una Iuncion y su significado geometrico

a. El concepto de diferenciabilidad

Para funciones y = {(x) de una variable, la existencia de una derivada est a intimamente ligada con la posibilidad de hallar una aproximacion de la funcion t en la vecindad de un valor x mediante una funcion lineal; geometricamente esto corresponde a aproximarse a la grafica de {por medio de su tangente. Por definicion, la fund on { tiene una derivada en el punto x si ellimite

lim {(x + h) _ {(x) = A

n--» h

existe; el valor A del limite se denota por f'(x).Asi, la diferenciabilidad de { en el punto x significa que, para x fija, el incremento /),{ =~f(x + h) '_ {(x) correspondiente al incremento h = /),x de la variable independiente, puede escribirse en la forma

At = {(x + h) _ {(x) = Ah + eh,

donde A no depende de h y lim E = o. Haciendo x + h = ~, puede

h~O

decirse que {(~) es aproximada mediante una funcitm lineal de ~, a saber ~(~) = {(x) + A(~ _ x), con un error que es de orden mayor que el primero en ~ _ x:

{(~) _ ~(~) = E • (~ _ x) = o(~ - x) para

~ --+ x.

Por supuesto, la grafica de esta funcion lineal 11 = ~(~) = {(x) + ['(x) (~ - x) en coordenadas corrientes ~, TJ es precisamente la tangente a la grafica de { en el punto (x. y). Enunciado de manera diferente, la diferenciabilidad de { en x significa que el incremento At consider ado como una funcion de h = Ax puede ser aproximado mediante la funcion lineal d{ = {'(x) h = {'(x) dx dentro de un error que es de orden mayor que el primero en h. *

Estas ideas se pueden aplicar perfectamente a funciones de dos y mas variables.

Se dice que la funcion u = {(x, y) es diferenciable en el pun to (x,

*Para la variable independiente x se tiene dx = 1·h = h = Ax.

68 Introducci6n al.calculo y al analisis matemarico

y) si puede ser aproximada en la vecindad de este punto por media de una funci6n lineal, es decir, si se puede representar en la forma

(13)

{(x + h, y +k) = Ah + Bk + C + e../h2 + k2

donde A, Bye son independientes de las variables h y k y donde e tiende hacia 0 conforme h y k 10 hacen. En otras palabras, la diferencia entre lafunci6n {(x + h, y + k) en el punto (x + h, y + k) y la funci6n Ah + Bk + C, la cual es lineal en h y k, debe ser de orden de magnitud o(p), donde p = ../h2 + k2 denota la distancia del pun to (x + h, y + ll) desde el pun to (x,y).

Si es posible esa representaci6n aproximada, se concluye de inmediato que la funci6n {(x,y) es continua y tiene derivadas parciales con respecto a x yay en el punto (x, y) yque

A = (x(x, y),

B= (y(x, y),

C = {(x, y).

Lo anterior es asi porque, en primer lugar, de (13) se encuentra, para h = "" = 0, que/(x,y) = C. Adernas, lim {(x + h, y+ k) = C

h~O k~O

= {(x, y). Asi, { es continua en el punto (x, y)_ Haciendo k = 0 en (I3) y dividiendo entre h se llega a la relaci6n

{(x + h, ~ - {(x, y) = A + e.

Como e tiende a 0 conforme h tiende a 0, el primer miembro tiene un limite y ese limite es A. De modo semejante, se obtiene la ecuaci6n (y(x, y) = B.

Reciprocamente, se probara el resultado fundamental siguiente:

Una fund6n u = {(x, y) es diferenciable en el sentido que acaba de definirse - es decir, puede aproximarse mediante una funci6n lineal con un error o(p) como en (13)- si posee derivadas continuas de primer orden en el punto en cuestion.

En efecto, puede escribirse el incremento

(j.u = {(x + h, y + k) - {(x, y)

de la funci6n en la forma

(j.u = {(x + h, y + k) - {(x,y + k) + {(x, y + k) - {(x, y).

Funciones de varias variables y sus der ivadas 69

Como antes (p. 57), los dos parentesis pueden expresarse en la forma

Su = hfx(x + Olh, y + k) + kfy(X, y + 02k),

donde 0 < 01, O2 < 1, aplicando el teorema ordinario del valor medio del calculo diferencial. Ya que, por hip6tesis, las derivadas parciales fx y fy son continuas en el punto (x, y), puede escribirse

fx(x + Olh, y + k) = fx(X, Y) + £1

y

fy(x, y + 02k) = fy(x, y) + £2

donde los numeros £1 y £2 tienden a 0 conforme h y k 10 hacen. As! se obtiene

l1u = hfx(x, y) + kfy(x, y) + £lh + E2k

= hfx(x, y) + kfy(x, y) + oC-lh2 + k2),

y esta ecuaci6n expresa la diferenciabilidad de f.l

Ocasionalmente se dara el nombre de funci6n continuamente diferenciable 0 de funci6n de clase Cl. a una funcion con primeras derivadas parciales continuas. Se ve que las funciones de clase Cl son diferenciables. Si, adernas, todas las derivadas parciales de segundo orden son continuas, se dice que la fund6n es contfnuamente diferenciable dos veces 0 que es de clase C2, y as! sucesivamente. Las funciones continuas tambien se conocen como funciones de clase CO:2

Ejercicios 1.5a

1. Demostrar que cada una de las funciones siguientes no es diferenciable en el origen:

1 Si se supone simplemente la existencia, y no "la continuidad", de las derivadas {x y {y, la funcion no necesariamente es diferenciable (ver la p. 34).

2Estas definieiones de clase Cl, C2, y <lsi sueesivamente, solo se apliean a las funciones {euyo dominio sea un conjunto abierto , ya que las derivadas pareiales solo se han definido para puntas. interiores del dominio. Puede extenderse la nocion de clase a funciones. con urrdominio R no abierto; entonees significa que las derivadas de fen cuestion existen en todos los puntos interiores de H. y coineiden en esos puntos con funciones que estan definidas y son continuas en todo R.


(a) {(x, y) = .j"X cos y (b) {(x, y) = .jlxyl

{ 2xy

(c) {(x, y) = .j X2 + y2' 0,

(x, y) *- (0, 0) (x, y) = (0, 0).

2. Para las funciones continuas g(x), hey) de x, yen los intervalos [xo, Xl), [yo, Yl), respectivamente, demostrar que la funci6n {(x, y) = (J:o g(s) dS) X (J:o h(t) dt) es diferenciable en (x, y) para xo s; x ~ Xl, yo ~ Y ~ Yl.

Problemas I.5a

1. Sup6ngase que en una vecindad del punto (a, b), {(x, y) = {(a, b) + h {z (a, b) + k (y(a, b) + o(.jh2 +k2), donde h = x-a y k = y-b. Bajo la hip6tesis de que {z y {y existen en (a, b) pero no son necesariamente continuas alli, probar que f es continua en (a, b) ..

b. Derivadas direccionales

Una propiedad basica de las funciones diferenciables I es que no s6lo poseen derivadas parciales con respecto a x y y- 0, como tambien se dice, en las direcciones x y y- sino que tienen derivadas en cualquier direccion y que estas derivadas pueden expresarse en terrninos de Ix y fy. Por derivada en la direcci6n a se entiende la rapidez de cambio de f en el punto (x, y) con respecto a la distancia, conforme nos aproximamos a (x, y) a 10 largo del rayo que forma el angulo a con el eje x positivo. Los puntos (x + h, y + k) son aquellos para los cuales h y k tienen la forma

h = p cos a,

k = p sen a,

donde p = ";h2 + k2 es la distancia de (x + h, y + k) desde (x, y). A 10 largo del rayo, f se transform a en una funci6n de p dada por

I(x + p cos a,y + p sen a).

,

La derivada de fen el punto (x,y), en la direeeion a, se define como

la derivada de f (x + P cos a, Y + P sen a) con respecto a p en p = 0 y se denota por D(a) fi», y). Asi,


D(a)f(x, y) = (dd f(x + p cos a, Y + P sen a»)

p P-o

= hinf(x + p cos a, y + P sen a) - f(x, y)

p~o p ,

siempre que el Iimite exista. En particular, se obtienen, para a = 0 y a = n/2, las derivadas parciales de f:

D(O)f(x, y) = llmf(x + p,y) - f(x, y) = fZ(x, y)

p~o p

D(Tt/2)f(x, y) = limf(x, y + p) - f(x, y) = fy(x, y).

p~O P

Si f(x, y) es diferenciable, se tiene

(14) f(x + h, y + k) - f(x, y) = hf« + kfy + sp

= p(fx cos a + fy sen a + E)

Hagase tender p hacia 0; entonces, como E tiende hacia 0, se obtiene la expresi6n

(14a)

D(a>f(x, y) = fx cos a + fy sen a.

para la derivada de f en la direcci6n a

Asi, la derivada direccional D(a)f es una combinaci6n lineal de las derivadas fx y fy en las direcciones x y y con los coeficientes cos a y sen a. En particular, este resultado se cumple siempre que las derivadas Ix y {y existan y sean continuas en el punto en cuesti6n.

Tomando, par ejernplo, como I(x, y) la distancia r = ';'--X"2-+-y"2 desde el origen hasta el punta (x, y), se tienen las derivadas parciales

x

rx = -.;t=X::;;:2=+:==y"'Z

x = cos 9 r

y

rv = y =L = sen 9

./x2 + y2 r '

don de 9 denota el angulo que el radiovector forma can el eje x. Como consecuencia, en la direcci6n ala funci6n r tiene la derivada

D(u)r = T» cos a + ry sen a= cos 9 cos a + sen 9 senn = cos (9 - a);


en particular, en la direcci6n del propio radiovector (es decir , en la direcci6n hacia afuera del origen), esta derivada tiene el valor 1, mientras que en las direcciones perpendiculares al radiovector tiene el valor 0.

La funci6n x tiene, en la direcci6n del radiovector, la derivada De (x) = cos e, y la funci6n )l, la derivada De (y) = sen e; en la direcci6n perpendicular al radiovector est as funciones tienen las derivadas D(9+1t,2) X = - sene y D(9+1t12) Y = cos e, respectivamente.

En general, la derivada de una funci6n [t», y) en la direcci6n del radiovector se denota por at(x,y)jar. Esta es, en realidad, la derivada parcial con respecto a r de t(r cos e, r sen e) considerada como una funci6n de rye. Asi, se tiene la relaci6n

at at at

ar = cos e ax + sen e ay'

la eual se escrihe convenientemente en forma simbolica, como la identidad

a a a - = cos e - + sen ear ax ay

entre los operadores de derivaei6n ajar, ajax, ajay.

Vale la pena haeer notar que tambien se obtiene la derivada de la funcion {(x, y) en la direcci6n u si, en lugar de dejar que el punto Q con coordenadas (x + h, y + k) tienda al punto Peon eoordenadas (x, y) ii 10 largo de una recta con la direccion u, se hace que Q tienda a Palo largo de una eurva arbitraria cuya tangente en P tiene la direcci6n u. Porque entonees, si la .. recta PQ tiene l~ direccion f3, puede escribirse h = p cos 13, k = p sen 13, y en las formulas usadas en la demostracion anterior se tiene que remplazar u por 13. Pero como, por hipotesis, f3 tiende hacia u conforme p -) 0, se obtiene la misma expresi6n que para D(a) [t», y).

En la misma forma, una funci6n difereneiable t(x, y, z) de tres variables independientes puede derivarse en una direcei6n dada. Sup6ngase que la direccion se espeeifica por medio de los cosenos de los tres angulos tque forma con los ejes eoordenados. Si a estos tres angulos se les denomina a, 13, y y si se consideran dos puntos, (x, y, z) x (x + h, y + k, Z + I), donde

h = p cos o.,

k = p cos 13,

1 = p cosy,

Funciones de varias variables (sus derivadas 73

entonees, preeisamente como en (l4a), se obtiene la expresion

(14b)

fx cos a + fy cos ~ + fz cos Y

para la derivada en la direeei6n dada par los angulos (a, ~, y).

Ejercicios 1.5b

1. ~Cual es la interpretacion geometrica de la derivada D(uj{(x, y) de la funcion ( en la direcci6n definida por el angulo de inclinaci6n ex?

2. Encontrar D(u){ (xo, yo), ex = 0, 30°, 60°, 90° para las funciones que siguen:

(a) {(x, y) = ax + by, a, b constantes , xo = yo = 0

(b) {(x, y) = ax2 + y2b, xo = yo = 1, (a, b constantes ) (c) [(x, y) = x2 - y2, xo = 1, yo = 2

(d) {(x, y) = sen x +vcos y, xo = yo = 0 (e) {(x, y) = eX cos y, Xo = 0, yo = rt

(f) {(x, y)= .J2x2 + y2, Xo = 1, yo = 1 (g) {(x, y) = cos (x + y), Xo = 0, yo = o.

3. Hallar las derivadas direccionales de cada una de las funciones siguientes, como se indica:

(a) z2 - x2 - y2 en (1, 0, 1) en la direcci6n de (4, 3, 0). (b) xyz - xy - yz - zx + x + y + z en (2, 2, 1)

en la direcci6n de (2, 2, 0).

(c) XZ2 + y2 + Z3 en (1, 0, -1) en la direccion de (2, 1, 0).

1_ Dar un cjcmplo de una funci6n que tenga derivadas en todas direcciones en un punto y, sin embargo, no sea diferenciable en ese punto.

5. Dcrnostrar para {(x, y) = ;Vxy que { es continua y que las derivadas parciales az/ax y az/By existen en el origen pew que las derivadas direccionalcs en todas la dernas direcciones no existen,

Sea {(x,y) = xy + .J2x2 + .y2, r =.J x2 + .y2, y/x == tan 6. Encontrar B2{IBr2 para 6 = 0°, 30°, 60°, 90° y x, y = 1.

c. Interpretacion geometrica de la di/erenciabilidad.

El plano tangente

Para una funci6n z = f (x, y) todos estos conceptos puedenilustrarse geomen-icamente con facilidad. Recuerdese que la derivada


parcial con respecto a x es la pendiente de la tangente a la curva en la cual se intersect an la superficie que representa la relaci6n z = {(x, y) y un plano perpendicular al plano X,Y y paralelo al eje x, De la misma manera, la derivada en la direcci6n ada la pendiente de la tangente a la curva en la que se intersectan la superficie y un plano que pasa por (x, y, z) perpendicular al plano x, yy que forma el lingulo a can el eje x. Ahora la f6rmulaD(u){(x, y) = {x cos a + {ysen a nos permite calcular las pendientes de las tangentes a todas esas curvas, es decir, de todas las tangentes a la superficie en un punto dado, a partir de las pendientes de dos de esas tangentes. *

Se ha aproximado la funci6n diferenciable ~ = {(1;, 11) en la vecindad del punto (x, y) par media de la funci6n lineal

~1;, 11) = {(x, y) + (1; - x){x + (11 - y){y,

don de 1; y 11 son las coordenadas corrientes. Geometricamente, esta funci6n lineal se represent a por un plano, que por analogia con la recta tangente a una curva recibira el nombre de plano tangente a la superficie. La diferencia entre esta fund6n lineal y la funci6n {(1;, 11) se anula en un orden mayor que .Jh2 + k2, conforme 1; - x = h y 11 - Y = k tienden a O. Recordando la definici6n de la tangente a una curva plana, empero, esto significa que la recta de intersecci6n del plano tangente con cualquier plano perpendicular al plano x, y, es la tangente a la curva de intersecci6n correspondiente. Por tanto, se ve que todas estas rectas tangentes a la superficie en el punta (x, y, z) se encuentran en un plano: el plano tangente.

Esta propiedad es la expresi6n geometrica de la diferenciabilidad de la fund6n en el punto (x, y, z), donde z = {(x, y). En coordenadas corrientes (1;, 11, ~), la ecuaci6n del plano tangente en el punta (x, y, z) es

'Para punt os (1;, 11,~) en ese plano se tiene 1; = x + p cos a, 11 = Y + p sen a, en consecuencia,para puntos sobre Ia curva deintersecci6n,

~ = f(x + p cos a, y + p sen a).

Usando a p y ~ como coordenadas, la pendiente de la tangente a la curva en ~ = z, p = 0 esta dada por

(dd~) = D(u){(x, y).

p P=o

De aqui que la tangente tiene la ecuaci6n

~ = z + pD(u){(x,y) = f(x, y) + p cos a fx(x, y) + p sen a fy(x, y).


s - z = (~ -x){x + (11 - y){y.

Como ya se ha demostrado en la p. 67, la funci6n es diferenciable en un punto dado siempre que las derivadas parciales sean continuas alli. En contraste con el caso de las funciones de una variable independiente, la simple existencia de las derivadas parciales {x y {y no es suficiente para asegurar la diferenciabilidad de la funci6n. Si las derivadas no son continuas en el punto en cuesti6n, es posible que no exista el plano tangente a la superficie en este punto; 0, hablando analiticamente, es posible que la diferencia entre {(x + h, y + k) y la funci6n {(x, y) + h{x(x, y) + k{y(x, y), la cual es lineal en h y k, no se anule en un orden mayor que v'h2 + k2• Esto puede verse claramente mediante un ejernplo sencillo:

u = {(x,y) = v'x2 + y2

xy

SI

x2 + y2 :;i: 0,

u=o

SI

x = 0, y = o.

Si se introducen coordenadas pol ares esto queda

r

u = '2 sen 29.

Las primeras derivadas con respecto a x yay existen en todo punto en la vecindad del origen y tienen el valor 0 en el propio origen. Sin embargo, estas derivadas no son continuas en el origen, porque

Si nos aproximamos al origen a 10 largo del eje x, Ux tiende hacia 0, mientras que si nos aproximamos a 10 largo del eje y, Ux tiende hacia 1. Esta funci6n no es diferenciable en el origen: en ese punto no existe plano tangente alguno a la superficie z = {(x, y). Porque las ecuaciones {x(O, 0) = {y(O, 0) = 0 muestran que el plano tangente rendria que coincidir con el plano z = O. Pero en los puntas de la recta €I = rt/4, se tiene sen 2e = 1 y z = {(x, y) = r/2; aSJ, la distancia z al punta de la superficie desde el punto del plano no se anula en un orden mayor que T, como debe ser el caso con un plano tangente. La superficie es un ('0 no can vert ice en el origen, cuyas generatrices no se encuentran todas en un plano.

76 Introduccion alcalculo y al anfdisis matemarico

Ejercicios 1.5c

1. Hallar la ecuaci6n del plano tangente a la superficie definida por z=f(x,

y) en el punto P = (xo, yo), en cad a uno de los casos que siguen:

(a) f(x, y) = 3x2 + 4y2, P = (0, 1)

(b) f(x, y) = 2 cos (x - y) + 3 sen x, P = (7t, ;) (c) f(x, y) = cosh (x + y), P = (0, log 2)

(d) f(x, y) = Jx2 + y2, P = (I, 2)

(e) f(x, y) = e= cos II, P = (1, ~)

(f) f(x, y) = cos 7t eXY, P = (log 2, 1)

rx2+y2

(g) f(x, y) = Jo e-t2 dt, P = (I, 1)

(h) f(x, y) = ax3 + bx2 y+ cxy2 + dy3, P = (1, 1), (a, b, c, d constantes.)

2. Demostrar que todos los planos tangentes a una superficie z = y f(x/y) se encuentran en un punto comun, donde f es cualquier funci6n diferenciable de una sola variable.

3. Demostrar que el plano tangente a la superficie S: z = f(x, y) en el punto Po = (xo, yo) es la posicion limite del plano que pasa por los tres puntos (Xi, Yi, Zi), i = 0, 1, 2, de S, donde PI = (xi, YI) Y P2 = (X2, Y2) se aproximan a Po desde direcciones distintas, formando un angulo que no es igual a 00 6 1800•

4. Probar que el plano tangente ala superficie cuadratica

ax2 + by2 + cz2 = 1

en el punto (xo, yo, zo) es

cxox + byoy + czoz = 1.

d. La diferencial total de una funci6n

Como para las funeiones de una variable, a menudo resulta sonveniente tener un nombre y simbolo espeeiales para la parte lineal del incremento de una funei6n difereneiable u = {(x, y), el eual se presenta en la f6rmula (14),

Au = {(x + h, y + k) - {(x, y) = h{x(x, y) + k{y(x, y) + eJh2 + k2•

Se da el nombre de dijerencial de la funei6n a esta parte lineal y se eseribe


(I5a)

at at at at

du = dft», y) = ax h + ay k =ax Ax + ay Ay.

La diferencial, a veces Hamada diferencial total, es una funci6n de cuatro variables independientes, a saber, las coordenadas x y y del punto bajo consideraci6n y los incrernentos h y k de las variables independientes. Se hace resaltar nueva mente que esto nada tiene que ver con el concepto vago de "cantidades infinitamente pequefias", Simplemente significa que du se aproxima al incremento du = t(x + h, y + k)- [i», y) la funci6n, con un error que es una fraccion arbitrariamente pequefia E de -/h2 + k2, siempre que h y k sean cantidades 10 suficientemente pequefias. Para las variables independientes x y y, a partir de (I5a), se encuentra que

ax ax

dx =-Ax + -Ay = Ax

ax ay

y

ay ay

dy = .. - Ax + - Ay = Ay.

ax ax

De aqui que, con mayor frecuencia, la diferencial dft», y) se escriba (I5b)

(I5b)

Incidentalmente, la diferencial determina completamente las primer as derivadas parciales de f. Por ejemplo , se obtiene la derivada parcial af/ax de t, haciendo dy = 0 y dx = 1.

Es de hacer resaltar que la diferencial total de una funci6n [t», y) como la aproxirnacion lineal para At no tiene significado a menos que la funci6n sea diferenciable en el sentido definido anteriormente para la cual basta la continuidad, pero no la simple existencia, de las dos derivadas parciales).

Si la funci6n [t», y) tam bien tiene derivadas parciales continuas de orden superior, puede formarse la diferencial de la diferencial df (x, y); esto es, pueden multiplicarse sus derivadas parciales con respecto a x y y por h = dx y k = dy, respectivamente, y despues sumar estos productos. En est a diferenciacion se consideran h y k como constantes, correspondiendo al hecho de que la diferencial df = htx(x, y) + kty(x, y) es una funcion de las cuatro variables independientes x, y, h, y k. As! se obtiene la segunda di/erencial* de la funcion,

'Postcriormente se vera (p. 97) que las diferenciales de orden superior introducidas formalmente aqui corresponden exactamente a los terminos del mismo orden en eI desarrollo de l a funcion.

78 Introduccion al calculo y al ana.lisis matematico

De modo semejante pueden formarse las dsferenciales superiores

d2f - d(d2f) - a3f d 3 3 ___j!l_ d 2 d 3 _fl_ d d 2 a3[ d 3

- - a 3 x + a 2 a x Y + a a 2 xy + a 3 y,

. x x y xy y

a4f a4f a4f

d4f = - dx4 + 4 -- dx3 dy + 6 -; .. -;- dx2 dy?

ax4 ax3 ay ax2 ay2

a4f d d:3 a4f d 4

+ 4 a-a 3 x y + a 4 y,

x y y

y, como puede demostrarse facilmente par inducci6n, en general

anf (n) anf

dnf= -dxn + dxn-1 dy + ...

axn 1 axn-1 ay

(n) anf· anf

... + dxn-k dyk + ... +- dy",

k axn-k ayk ayn

La ultima f6nnula. puede expresarse simb61icamente par la ecuaci6n

(a a) n

dnf = - dx + - dy t

ax ay

donde primero debe desarrollarse la expresi6n de la derecha formalmente par media del teorema del binomio y, a continuaci6n, deben sustituirse los terminos

ant ant

axn dx», axn-1 dy dxn-1 dy, .

(a)n (a )n-l(a) (a)n

ax dx t. ax dx ay dy t, ... , ay dy [.

Para los calculos can diferenciales se cumple bien la regla

I Tradicionalmente, se escriben las potencias (dx)2, (dX)3, (dy)2, (dy)3 de las diferendales, simplemente como dx», dx3, dy2, dy", Por supuesto, esto esun tanto confuso, ya que podrian confundirse con d(x2) = 2x dx, d(x3) = 3x2 dx, y asf sucesivamente.


d(fg) = f dg + g df

esta regla se deduce inmediatamente a partir de la regla para la diferenciaci6n de un producto.

En conclusion, se observa que el estudio de esta secci6n se puede extender inmediatamente hacia funciones de mas de dos variables independientes.

Ejercicios 1. 5d

1. Hallar las diferenciales totales para las funciones siguientes:

(a) z = x2y2 + 3xy3 - 2y4
(b) xy
z= x2 + 2y2
(c) Z = log(x4 - y3)
(d) x y
z=-+-
y x
(e) z = cos (x + log y)
(f) z=x-y
x+y
(g) z = arc tan (x + y)
(h) z= xY
(i) w = cosh (x + y - z)
(j) w = x2 - 2xz + y3. 2. Evaluar la diferencial total de f(x) = x - y + (x2 + y2)1/3, para x = 1, y = 2, dx = .1, dy = .3.

3. Encontrar d3f(x, y) para f(x, y) = ex2 +y2.

e. Aplicaci6n al cdlculo de errores

En la practica, a menudo se usa la diferencial df = hfx + kfy como una aproximaci6n conveniente para el incremento de la funcion f(x,y),Af=f(x+h,y+k)-f(x,y),cuandosepasade(x, y) a{x + h, y + k). Este uso se exhibe particularmente bien en el llamado "calculo de errores" (ver Volumen I, p. 490). Sup6ngase, porejernplo, que se desea hallar el error posible en la determinaci6n de la densidad de un solido por el metoda del desplazamiento. Si m es el peso del cuerpo en el aire y m su peso cuando se sumerge en agua, entonces, por el principio de Arquimedes, la perdida de peso (m - m) es el peso del agua desplazada. Si se esta usando el sistema de unidades cgs

80 Introduccion al calculo y al analieis matematico

(centfmetrosgramo-segundo), e1 peso del agua desplazada es numericamente igual a su volumen y, por tanto, al volumen del solido. Asi, la densidad s del cuerpo se da en terminos de las variables independientes my iii, mediante a formula s = mltm. - iii). EI error en la medida de la densidad s provocado por un error dm en la medida de my un errordiii en la medida de iii esta dado aproximadamente por la diferencial total

as as_

ds = am dm + aiii dm.

Por la regla del cociente, las derivadas parciales son

y

as _ m . am - (m - m)2'

(m - m)2

de aqui que la diferencial es

d -iii dm + m diii

s-

- (m - m)2 .

Por tanto, el error s es maximo si dm y diii tienen signos opuestos, es decir, si en lugar de m se mide una cantidad demasiado pequeiia m t- dm y, en lugar de iii una cantidad demasiado grande iii + diii. Por ejemplo, si un trozo de laton pesa alrededor de 100 gm en el aire, con un error posible de 0.005 gm, yen el agua pesa alrededor de 88 gm, con un error posible de 0.008 gm , la densidad esta dada por la formula anterior dentro de un error de

88 • 5 • 10-3 + 100 • 8 • 10-3

122 ~ 9· 10-3,

o cerea del I por ciento.

Ejercicios 1.5e

1. Hallar la variaci6n aproximada de la funci6n z = (x + vil!» - y), cuando x varia desde x = 2 hasta x = 2.5, y y, desde y = 4 hasta y = 4.5.

2. Dar un valor aproximado de log [(1.02)1/4 + (0.96)1/6 - 1].

3. Se conoce la longitud de la base, x y Ia altura, y, de un triangulo rectangulo dentro de errores h, y k, respectivamente. (eual es eI error posible en el area?

4. Si dz es el error de medici6n en una cantidad z, eI error relativo se define como dz/z. Demostrar que eI error relativo en un producto z = xy es Ia suma de los errores relativos en los factores.


5. Se va a determinar la aceleraci6n g de la gravedad, midiendo el tiempo de caida en segundos de un cuerpo que se deja caer desde el reposo a traves de una distancia fija x. Si el tiempo medido es t, se tiene g = 2X/t2. Si x mide alrededor de 1 m y t alrededor de .45 seg, demostrar que el error relativo en la medici6n de g es mas sensible a un error relativo en t que a un error relativo en x.

1.6 Funciones de funciones (funciones compuestas) y la intro ducci6n de nuevas variables independientes

a. Funciones compuestas. La regla de la cadena

Con frecuencia una funcion u de las variables independientes x, y se da en la forma

u = f(~, 11, . . . )

don de los argumentos ~, 11, ... de f son a ellos mismos funciones de xyy

~ = ~(x, y),

11 = ",(x, y), ...

Entonces se dice que

(16) u = f(~, 11, ... ) = f(~(x, y), ",(x, y), ... ) = F(x, y)

es unafunci6n compuesta de x y y (comparar con el Volumen I, pp. 52 siguientes)

Par ejernplo, la funcion

(16a)

u = F(x, y) = eXY sen (x + y)

puede escribirse como una funcion compuesta por media de las relaciones

(16b)

u = f(~, 11) = el; sen 11,

donde ~ = xy Y 11 = x + y. De modo sernejante, la fund on

(16e) u = F(x, y) = log (x4 + y4) • arc sen v1 _ x2 _ y2

puede expresarse en la forma

(16d)

u =J(~, 11) = 11 arc sen ~,

donde ~ = J1 - X2 - y2 Y 11 = log(x4 + y4).

82 Introduccion al calculo y al analisis matemarico

Con el fin de hacer que el concepto de funci6n compuesta tenga significado, sup6ngase que las funciones ~ = l}(x, y), 1") = ",(x, y), .. tienen el dominio cormin R y transform an puntos cualesquiera (x, y) de R en puntos (~, Tl, ... ) para los cuales la funci6n u = f(~, 11, . . .) esta definida, es decir, en puntos del dominio S de f. En tonces la funci6n compuesta

u = f(l}(x, y), ",(x, y), ... ) = F(x, y)

esta definida en la region R.

A menudo es innecesario un examen detallado de las regiones R y S, como en (l6b), en las cuales el punto argumento (x, y) puede recorrer el plano x, y completo y la funci6n u = e~ sen 11 esta definida en todo el plano ~,1"). Por otra parte, (l6d) muestra la necesidad de examinar los dominios R y S en la definicion de las funciones compuestas. Porque las funciones ~ = -/1 - x2 - y2 Y 1") = log (x4 + y4) s610 estan definidas en la region R que consiste de los puntos 0 < x2 + y2 ;;;;; 1, es decir, el disco unitario cerrado con centro en el origen, siendo eliminado el origen. Dentro de est a regi6n se tiene I ~ I < 1,11 ;;;;; O. Todos los puntos correspondientes (~, 11) _ se encuentran en el dominio de la funci6n 11 arc sen ~ y, por tanto, la funci6n compuesta. F(x, y) esta definida en R.

Una funci6n continua de funciones continuas es continua en S1 misma. Por ejemplo, si la funci6n u = f(t:, 1/, ... ) es continua en La regi6n S y las funciones c; = l}(x, y), 1/ = !fI(x, y), .. _. son continuas en La regi6n R, entonces lafunci6n compuesta u = F(x, y) es continua en R.

Se deduce inmediatamente la demostraci6n a partir de la definici6n de continuidad. Sea (xo, YO) un punto de R y ~o, 110, ... los valores correspondientes de ~, 11, .... Ahora bien, para cualquier 6 positivo, el valor absoluto de la diferencia

f(~, Tl, ... ) - f(~o, 110, ... )

es menor que 6, bajo el supuesto unicamente de que se satisfaga la desigualdad

-J(~ - ~0)2 + (11 - 1")0)2 + . . . < 0,

donde 0 es un mirnero positivo suficientemente pequefio. Pero, por la continuidad de l}(x, y), ",(x, y), . . . esta desigualdad se satisface si

-J(x - XO)2 + (y - YO)2 < y,


donde y es una cantidad positiva suficientemente pequefia, Esto establece la continuidad de la funci6n compuesta.

De modo semejante, una Junci6n diferenciable de funciones diferenciables es a su vez diferenciable. Esta proposicion se enuncia de manera mas precisa en el teorema que sigue, el cual, al mismo tiempo, da la regla para la derivad6n de funciones compuestas, la Hamada regia de la cadena:

Si .c; = rfi(x, y), 11 = IfI(X, y), ... son [unciones diferenciables de x y yen la regi6n R y si f(c;, 11, ••• ) es una funcion diferenciable de

C;, 11, en la regi6n S, entonces fa funcion compuesta

(17)

U = f('fi(x, y), ",(x, y), ... ) = F(x, y)

tambien es una funcitm diferenciable de x y y; sus deriuadas parciales estan dadas por las form ulas

(18)

Fx = f~ 'fix + fTl "'x + . Fy = f~ 'fiy + fTl "'y +

0, brevemente, por

(19)

u ; = UI;. ~x + UTI llx + . Uy = U~ ~y + UTI lly + .

De donde, para formar la derivada parcial con respecto a x, primero debe derivarse la- funci6ncompuesta con respecto a cada una de las variables ~, 11, ... , multiplicar cada una de est as derivadas por la derivada de la variable correspondiente con respecto a x y sumar todos los productos asi formados. Esta es la generalizaci6n de la regla de la cadena para las funciones de una variable, discutida en el Volumen I (p. 218).

Esta proposici6n puede escribirse en una forma particularmente simple y sugerente, si se usa la notaci6n de diferenciales, a saber,

(20) du = U~ d~ + UTI dll + . . .

= U~ (~x dx + ~y dy) + UTI (llx dx + lly dy) +

= (u~ ~x + UTI llx + ... ) dx + (u~ ~y + UTllly + ... ) dy = Ux dx + Uy dy.

Esta ecuaci6n muestra que se obtiene la parte lineal del incremento

de Ia fund6n compuesta U = f(~, 11, ) = F(x, y), escribiendo

primero est a parte lineal como si ~, 11, fueran las variables in-

84 Introducci6n al calculo y al anatisis matematico

dependientes y, a continuacion, remplazando d~, dll, . . . pot las partes lineales de los incrementos de las funciones ~ = ,p(x, y), T] = \jf(x, y), . . .. Este hecho manifiesta la conveniencia y la flexibilidad de la notacion diferencial.

Con el fin de probar la proposicion (18), simplemente se tiene que aplicar la hipotesis de que las funciones de referenciason diferenciables. A partir de esto se concluye que correspondiendo a los incrementos Ax y Ay de las variables independientes x y y, las cantidades c, T], ... cambian en las cantidades

(20a)

(20b)

AT] = T]x Ax + T]y Ay + s2v'(Ax)2 + (Ay)2,

donde los mimeros E1, E2, •.. tienden hacia 0 cuando Ax --) 0 Y Ay --) o 0 cuando v'(Ax)2+ (Ay)2 --) O. Las derivadas ,px, ,py, \jfx, 'l'y se toman para los argumentos x, y. Es mas, si las cantidades ~, T], ... sufren los cambios A~, All, ... , la funcionzz = t(~, 11, ... ) cambia en la cantidad

donde la cantidad (5 tiende hacia 0 cuando A~ --) 0 Y All --) 0, y t~, tTl tienen los argumentos ~,T]. Usando aqui por A~, AT], ... las cantidades dadas por las formulas (20a, b) que corresponden a los incrernentosAz y Ay en x y y, se encuentra una ecuacion de la forma

(22) Au = (t~,px + tq\jfx + . . .) Ax + (t~~y + tq'l'y + . . .) Ay

+ Sv'(AX)2 + (Ay)2.

Aqui, para Ax = p cos a, Ay = P sen a, P = v'(AX)2 + (Ay)2, la cantidad E esta dada por.

S = SIte + S2t" + 3v'(~x cos a + ~y sen a + E1)2 + (\jfx cos a

+ 'l'y sen a + S2)2 +

Cuando p --) 0 , las cantidades Ax, Ay, E1, E2 tienden hacia 0, y de aqui que 10 mismo sucede con A~, All, y 3. Por otra parte, A, tTl, .

, ,px, ,py, 'l'x, 'l'y, . .. permanecen fijas. Como consecuencia,


De (22) se concluye que u, considerada como una funci6n de las variables independientes x, y, es diferenciable en el punto (x, y) y que du esta dada por la ecuaci6n (20). A partir de esta expresi6n para du se encuentra que las derivadas parciales u-, Uy tienen las expresiones (19) 0 (18).

Es evidente que este resultado es independiente del mimero de variables independientes x, y, .... Sigue siendo valido, por ejemplo, si las cantidades ~,11, ... s610 dependen de una variable independiente x, de modo que U es una funcion compuesta de la variable x unicamente.

Para calcular las derivadas parciales superiores solo es necesario derivar los segundos miembros de las ecuaciones (19) con respecto a x' Y y, tratanto a h fTl,'" como funciones compuestas. Restringiendonos, por simplicidad, al caso de tres funciones ;, 11, y t;, se obtiene*

(23a) Uxx = f~~~x2 + fTlTl11x2 + f,,'C,x2 + 2f~T1Sx11x + 2fTl,l1xt;x

+ 2f~,~x'C,x + f~~xx + fTl11xx + f,t;xx,

(23b) Uxy = f~~Sxsy + fTlTl11x11y + f,,'C,xt;y + ATI(~x11Y + ~y11x)

+ fTl~(l1xt;y + 11y'C,x) + f~'(~xt;y + ~yt;x)

+ f~~xy + fTl11xy + f,t;xy,

(23c) Uyy = A~~y2 + fTlTl11y2 + f"t;y2 + 2f~T1~yT]y + 2fTlC11yt;y

+ 2A,~yt;y + ASyy + fTlT]yy + f,t;yy.

Eiercicios I.6a

1. Encontrar todas las derivadas parciales de primero y segundo orden con respecto a x y y para las funciones siguientes:

1 (a) z = u log v, donde u = X2, V = 1 + y

(b) z = eUv, donde u = ax, v = cos y

(c) z = u arc tan v, donde u = ~ , v = x2y + y - x x-y

(d) z = g (x2 + y2, eX-!l)

(e) z = tan (x arc tan y) .

. • Aqui se supone que f es una funcion de ~,1) de clase C2 y que ~, 11, ~ son funciones de x, y, de clase C2. Se concluye que la funci6n compuesta u d~ x y y. a su vez, PS de clase C2.


2. Calcular las derivadas parciales de primer orden para

(a)

1

w= ...

J (x2 + y2 + 2xy cos z)

x (b) w = arc sen z + y2

(c) w = x2 + y log (1 + x2 + y2 + Z2) (d) w = arc tan ";(x + yz)

3. Calcular las derivadas de

4. Probar que si f(x, y) satisface la ecuaci6n de Laplace

i1?f a2f

ax2 + ay2 = 0,

tam bien la satisface A,(x y) - f (X y)

't', - x2 + y2, x2 + y2 .

5. Probar que las funciones (a) f(x, y) = log ";x2 + y2, 1

(b) g(x, y, z) = J x2 + y:f + Z2 '

1

(c) h(x,y, Z, w) = 2 + .~+ 2-+ 2'

X Y z w

satisfacen las respectivas ecuaciones de Laplace,

(a) fxx + fyy = 0,

(b) gxx + gyy + gzz = 0,

(c) hxx + hyy + hz• + hww = O.

Problemas 1.6a

1. Pro bar que si f(x, y) satisface la ecuaci6n de Laplace

a2f a2f

ax2 + ay2 = 0,

y si u(x, y) y u(x, y) satisfacen las ecuaciones de Cauchy-Riemann,

au Ju au au ax = ay_' ay =- ax'

entonces la funcion ¢(x, y) = f(u(x, y), u(x, y) ) tambien es una soluci6n

de la ecu acion de Laplace. •

'2.. Probar que si.l = f(x, y) es la ecuaci6n de un cono, entonces


fxxfyy - fx/ = 0

3. Sea {(x, y, z) = g(r), donde r = .Ji:2+)i2 + Z2.

(a) Calcular fxx + fyy + fzz.

(b) Probar que si fxx + fyy + fzz = 0, entonees f (x, y, z) = !!:.. + b, donr

de a y b son constantes.

4. Sea {(Xl, X2, ••• , Xn) = g(r), donde

(a) Calcular fXIXI + {X2X2 + .•• + {xnxn (comparar con 1.4a, Ejereicio 10).

(b) Resolver {XIXI + {X2X2 + •.• + {xnxn = O.

b. Ejemplos 1

l. Consideremos la funci6n

U = exp (x2 sen 2y + 2xy sen x sen y + y2).

Haciendo

U = e!;+ll+', <; = x2 sen2'y, 11 = 2xy sen X sen y, ~ = y2

se obtiene

<;x = 2x sen2y, 1')x = 2y sen x sen y + 2xy cos x sen y, ~x = 0;

<;y = 2X2 sen y cos y, 1')y = 2x sen x sen y + 2xy sen x cosy, ~y = 2y; U!; = Ull = U, = e!;+ll+C.

De aqui que

Ux = 2 exp (x2 sen 2y + 2xy sen X sen y + y2) (x sen2y + y sen x sen y + xy cos x sen y)

y

Uy = 2 exp (x2 sen 2y + 2xy sen X sen y + y2) (X2 sen y cos y + x sen x sen y + xy sen X cos y + y).

2. Para la funci6n

U = sen (x2 + y2)

I Se observa que las derivaciones siguientes tambien pueden llevarse a cabo directamente, sen aplicar la regla de la cadena para funciones de varias variables.


se pone ~ = x2 + y2 Y se obtiene

Ux = 2x cos (x2 + y2), Uy = 2y cos (x2 + y2)

Uxx = - 4x2 sen(x2 + y2) + 2 cos (X2 + y2),

Uxy = - 4xy sen (X2 + y2)

Uyy = - 4y2 sen (x2 + y2) + 2 cos (x2 + y2).

; Para la funcion

U = arc tan (x2 + xy + y2),

la sustituci6n ~ = X2, 11 = xy, ~ = y2 conduce a

Ux = __ -,----:2:-x___c+_y

1 + (x2 + xy + y2)2 '

X + 2y

U =

y 1 + (x2 + xy + y2)2 .

c. Cambio de las variables independientes

La aplicaci6n de la regla de la cadena (19) a un cambio de las variables independientes es particularmente importante. Por ejemplo, sea U = f(~, 11) una funci6n de las dos variables independientes ~, 11, las cuales se interpretan como coordenadas rectangulares en el plano ~,11. Pueden introducirse nuevas coordenadas rectangulares x, y en ese plano (ver el Volumen I, p. 361) relacionadas con ~,11 por medio de las f6rmulas

(24a) ~ = UIX + ~IY, 11 = U2X + ~2Y
o bien,
(24b) x = UI~ + U211, y = ~I~ + ~21l
Aqui,
UI = cos 't, U2 = -sen y, ~I = sen y, ~2 = cos y, donde y denota el angulo que el eje positivo ~ forma con el eje positivo x. Entonces la funci6n U = f(~, 11) se "transforma" en una nueva funci6n


la cual se forma a partir de f(~, TJ) mediante un proceso de composici6n como el que se describe en la p. 81. Se dice que la variable dependienteu esta "referida a las nuevas variables independientes x y y, en lugar de ~ Y TJ."

Las reglas de derivaci6n (19) de la p. 83 inmediatamente proporcronan

(25)

donde ue, Uy denotan las derivadas parciales de la funci6n F(x, y), y U~, Un , las derivadas parciales de la funci6n f(~, TJ). Asi, las derivadas parciales de cualquier funci6n se transforman de acuerdo con la misma regla (24b) que las variables independientes, cuando se giran los ejes coordenados. Esto es cierto tam bien para la rotaci6n de los ejes en el espacio. I

Otro cambio importante de las variables independientes es el de las coordenadas rectangulares (x, y) en las coordenadas polares (r, e). Las coordenadas polares estan relacionadas con las coordenadas rectangulares por las ecuaciones

(26a)

x = r cos e,

y = r sen B

(26b) r = .JX2+ y2,

e = arc cos .J 2 X ,= arc sen y

x + y2 .J x2 + y2 .

Refiriendo una funci6n U = f(x, y) a coordenadas polares, se tiene

U = f(x, y) = f(r cos e, r sen e) = F(r, 8),

y U aparece como una funci6n compuesta de las variables independientes r y 8. De aqui que, por la regla de la cadena (19), se obtiene

x y . sen 8

Ux = Urrx + ue8x = Ur - - Us ~ = Ur cos 8 - Us ~~--

r r2 r '

(27)

y x oosB

Uy = Urry + ueBy = Ur -_ + Us 2- = Ur sen B + Ua-~-

r r r

Esto proporciona la ecuaci6n

II)eru, en general. no para otros tipas de transformaci6n de coardcnadas.

90 Introduccion al dilculo y anafiais matematico

(28) ux2 + uy2 = ur2 + \ ue2•

r

Por las reglas (23a, b, c), las derivadas superiores estan dadas por

2 sen 2 e. cos e sen e

Uxx = Urr COS e + Use --2 - - 2ure -----

r r

sen2 e COS e sen e

+ Ur -- + 2ue--· -.--

r r2

. cos e sen e cos" e - sen2 e

Uxy = Uxy = Urr COS e SIn e - Use ----2 -- + Ure ------

r r

sen 2 e - cos- e sen fJ COS e

+ Us - Ur

r2

r

• 2 COS2 e COS e sen e

Uyy = Urr SIn e + Uee --2- + 2ure -~---

r r

cos- e 2 cos e sen e

+ Ur--- - Ue 2

r r

Esto conduce a la expresion en coordenadas polares del Hamada laplaciano Su; el cual aparece en la ecuacion "de Laplace" 0 "del potencial" l1u = 0 (ver la p. 60).

(29)

1 1 l1u = Uxx + Uyy = Urr + uee2 + Ur-

r r

Inversamente, se puede aplicar la regla de la cadena para expresar u; Y ue en term inos de Ux y Uy. De esta manera se encuentra

(30a) (30b)

Ur = UxXr + UyYr = Ux cos e + Uy sen 9,

Ue = UxXe + UyYe = -, uxr sen 9 + Uyr cos 9.

Tambien pueden deducirse estas ecuaciones resolviendo las relaciones (27) para u- Y ue. Incidentalmente, ya se ha encontrado la ecuacion (30a) como la expresion para la derivada de U en la direccion del radiovector r en la p. 72.

En general, siempre que se dan las relaciones que definen una funcion compuesta,

U = f(~, 11, ... ),

~ = 1>(x, Y),

11 = \jf(x, y), .


pueden considerarse estas como si refirieran U a las nuevas variables independientes x, y en lugar de ~,11, .... Conjuntos correspondientes de val ores x, y y ~,11, . . . de las variables independientes asignan el mismo valor a u, ya sea que se considere como una funci6n

f(~, 11 ) de ~, 11, . - .,0 bien, como una funci6n F(x, y) = f(tfi(x, y),

'V(x, y), ) de x, y.

En las derivaciones de una funci6n compuesta U = f(~, 11, ... ), ,se debe distinguir claramente entre la variable dependiente U y la funci6n f(~, 11, ... ), la cual asigna valores de U a valores de las variables independientes ~, 11, .... Los simbolos de derivaci6n U~, Un, ... no tienen significado hasta que se especifica la relaci6n funcional entre U y las variables independientes. Por 10 tanto, cuando se trata con funciones compuestas U = f(~, 11, ... ) = F(x; y), en realidad no se debe escribir U~, Un, 0 bien, ue, Uy sino f~(~, 11), fn(~, 11) o bien, Fx(x, y), Fy(x, y), respectivamente. Empero, par brevedad, a menudo se usan los simbolos mas sencillos U~, Un, ue, Uy, cuando no existe riesgo de confusi6n. Entonces 103, regla de la cadena se escribe en la forma

(31)

10 cual hace innecesario dar los "nombres" f 0 F para la relaci6n funcional entre U y ~, 11 0 x, 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 naturaleza de la relaci6n funcional entre U y todas las variables independientes; en particular, depende de cual de las variables independientes se mantenga fija durante la derivaci6n. Con la "transformacion identid ad" ~ = x, 11 = y, La funcion u '= 2~ + 11 se trinsforma en U = 2x + y, y se tiene ue = 2, Uy = 1. Si, no obstante, se introducen las nuevas variables independientesj; = x (como antes) y ~ + 11 = v, se encuentra que U = x + v, de modo que Ux = 1, Uv = 1. Por tanto, la derivaci6n con respecto a la misma variable independiente x da resultados diferentes para diferentes elecciones de la otra variable.

Ejercicios 1.6c

1. Sea u = f(x, y), donde x = r cos 6, y = r sen 6. Expresarv'zz.s- + Uy2 en rerminos de u- y uo.

2. Probar que la expresi6n fxx + fyy es invariante bajo la rotaci6n del sistema coordenado ,


3. Demostrar que bajo los cambios lineales de variables x = Ct~ + ~11, Y = 'Y~ + 811, las derivadas fxx(x, y), fxy(x, y), fyy(x, y) se transforman de la misma manera que los coeficientes a, b, c, respectivamente, delpolinomio.

ax2 + 2bxy + cy2

4. Dado Z = r2 cos e, donde r y G son coordenadas polares, hallar Zx y Zy en el punto a = rr:/4, r = 2. Expresar ZT y Z9 en terminos de zz y Zy.

5. Por medio de la transforrnacion ~ = a + CtX + ~y, 11 = b - ~x + Cty, en la que a, b, Ct, ~ son constantes y Ct2 + ~2 = 1, la funci6n u(x, y) se transforma en una funci6n U(~, 1) de ~ y 1).

Probar que

U<.<. Ullll - Ul;ll2 = Uxx Uyy - UXy2

6. Mostrar como se transform a la expresion Ty - Txx bajo la introduccion de una variable z = x/.Jy en lugar de y.

7. (a) Probar que la funcion

hex, y) = f (x - y) + g(x + y)

para cualesquiera funciones f, g, dos veces continuamente diferenciables, satisface la condici6n hzx = hyy.

(b) De modo semejante , demostrar que

H(x, y) = fCx - iy) + g(x + iy), con i2 = -1, satisface la condicion Hzx = - Hyy.

Problemas 1.6c

1. Transformar el laplaciano Uxx + Uyy + Il zz a las coordenadas polares tridimcnsionales r, a, if> definidas por

x = r sen e cos t{> y = r sene sene z = r cos a.

Comparar con 1.6a, Problema 3.

2. Hallar los valores a, b, c, d tales que bajo la transforrnacion ~ = ax + by, 1) = ex + dy, donde ad - be *- 0, la ecuacion Afxx + 2Blxy + CIIIY = 0 que de

(a) f~<. + fllll = 0

(b) fF.ll = 0 (A, B, C, constantes)

~En csto sicmpre posible?


1.7 El teorema del valor medio y el teorema de Taylor para funciones de varias variables

a. Observaciones preliminares acerca de la aproximaci6n mediante polinomios

Ya se ha visto en el Volumen I (Capitulo V, p. 451) como puede aproximarse una funcion de una sola variable en la vecindad de un pun to dado con una exactitud mayor que el n-esimo orden, por medio de un polinomio de grado n, el polinomio de Taylor, siempre que la funcion posea derivadas hasta el (n + 1) -esimo orden. La aproximacion por medio de la parte lineal de la funcion, como la da la diferencial, solo es el primer paso hacia esta aproximacion mas exacta. En el caso de funciones de varias variables, por ejernplo, de dos variables independientes, tambien puede buscarse una representaci6n 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 + h) por medio de un "desarrollo de Taylor" en terrninos de los incrementos h y h.

Mediante un artificio sencillo, este problema puede reducirse a un problema para funciones de una sola variable. En lugar de considerar precisamente f(x + h, y + h), _ se introduce una variable adicional t y se considera la expresi6n

(31)

F(t) = f(x + ht, y + ht)

como una funci6n de t, manteniendo fijas x, y, h, y k por el momento. Conforme varia t entre 0 y 1, el punto con coordenadas (x + ht, Y + ht) recorre el segmento rectilineo que une (x, y) y (x + h, y + h). El desarrollo de Taylor de F(t) de acuerdo con potencias de t proporcionara, para t = 1 , una aproximaci6n para f(x + h, y + h) del tipo deseado.

Empecemos por calcular las derivadas de F(t). Si se supone que todas las derivadas de la funcion f(x, y) que se van a escribir son continuas en una region que contiene POT completo at segmento rectiltneo, la regla de la cadena (18) inmediatamente da 1

1 Por Ia regIa de Ia cadena, se tiene

d

F'(t) = dt f(x + ht, Y + kt) = hf~(F.. 11) + kfTJ(F.. 11)

94 Introduccion al calculo y al anatisis matematico

(32a) F'(t) = hfx + kfy,

(32b) F"(t) = h2fxx + 2hkfxy + k2fyy,

y, en general, por inducci6n matematica se encuentra que la n-esima derivada esta dada por la expresi6n

(32c) F(n)(t) = hnfxn + (~)hn-l kfxn-ly + (~)hn-2 k2fxn-Zy2

+ ... + knfyn,

la cual, como en la p. 78 puede escribirse simb61icamente en la forma

(a a) II

F(n)(t) = h-i- + k .. f-

ax ay

En esta f6rmula, la potencia simb6lica de la derecha debe desarrollarse por el teorema del binomio y, a continuaci6n, las potencias de ajax, ajay multiplicadas por f deben remplazarse por las n-esimas derivadas correspondientes anf/axn, anf/axll-lay, __ .. En todas estas derivadas deben escribirse los argumentos x + ht y y + kt, en lugar de x y y;

Eiercicios 1.7a

1. Para F(t) = f(x + ht, y + ht), hallar F'(1) para: (a) f(x, y) = sen (x + y)

(b) f(x, y) = .)I_

x

(c). f(x, y) = x2 + 2xy2 - y4

2. Encontrar la pendiente de la curva z(t) = F(t) = f(x + ht, y + kt) en t = 1, para x = 0, y = 1, h = t, k = t, y

donde l; = x + ht, Tl = Y + kt. Aqui se escribe fx(x + ht, y + kt) en lugar de f<.(x + ht, y + kt) ya que (nueva mente por la regla de la cadena).

a

ax f(x + ht, y + kt) = f<.(x + ht, y + kt)

si se consider an x, y, h, k, como variables indepenrlientes.


(a) [(x, y) = x2 + y2

(b) [(x, y) = exp [x2 + (y -1)2] (c) [(x, y) = cos IT (y - 1) sen ITX2

b. El teorema del valor medio

Antes de estudiar las aproximaciones de orden superior por medio de polinomios, deduciremos un teorema del calor medio analogo al ya conocido para las funciones de una variable. Este teorema relaciona la diferencia {(x + h, y + k) - {(x, y) con las derivadas parciales {x y (Y. Expresamente se supone que estas derivadas son continuas. Aplicando el teorema del valor medio ordinario a la funci6n F(t) , se obtiene

F(t) ~ F(O) = F/(St),

don de S es un mimero entre 0 y 1; usando (31) x (32a) se deduce que

{(x + ht, y : kt) - {(x, y) = h{x(x + Sht, y + Skt) + k{y(x + Sht, y + Skt). Haciendo t = 1, se obtiene el teorema del valor medio para funciones de dos variables en la forma

(33) {(x + h, y + k) - {(x, y)

= h{x(x + Sh, y + Sk) + k{y(x + Sh, y + Sk) = h{x("E" 11) + k{y(~, 11)·

Por tanto, la diferencia entre los va 10 res de la Junci6n en los puntos (x + h, y + k) y (x, y) es igual a la diferencial en un punta intermedio (c!;, n) sobre el segmento rectilineo que une los dos puntos. Vale la pena hacer notar que se tiene el mismo valor de S tanto en {x como en {y.

Tal como para las funciones de una sola variable (Volumen I, p. 178 puede usarse el teorema del valor medio para obtener un modulo de continuidad para una funci6n {(x, y) y, mas precisamente, para demostrar que una funcion { como la anterior es continua segtin Lipschitz. Con el fin de aplicar el teorema del valor medio, debemos poder unir dos puntos por medio de un segmento reetilineo, a 10 largo del eual {este definida. Supongase entonces que


el dominio R de I(x, y) es convexo, es decir, que e1 segmento rectilineo que une ados puntos cualesquiera de R se encuentra completamente en R. Sea I continuamente diferenciable en R y sea M una cota para el valor absoluto de las derivadas de f:

.l/x(x, y)1 < M,

I {y(x, y)1 < M

para (x, y) en R. Entonces puede aplicarse la formula (33), que proporciona la desigualdad

(34) I{(x + h, y + k) - {(x, y) I ~ I h II{x(~, 11) I + I k II{Y(~, 11) I

~ IhlM + IklM ~ 2M .Jh2 + k2

De aqui que el valor numerico de la diferencia entre los valores de t en dos puntos cuya distancia es p = .Jh2 + k2 no es mayor que un multiple fijo de la distancia (a saber, 2Mp). Esto es exactamente 10 que quiere darse a entender por continuidad de ( segun Lipschitz. En particular, se tiene

I{(x + h, y + k) - {(x, y) 1< e

para .Jh2 + k2 < e/2M. De donde { es uniformemente continua en R con el "m6dulo de continuidad" () = ej2M.

El hecho siguiente, la demostraci6n del cual se deja al lector, es una consecuencia simple del teorema del valor medio. Una funci6n {(x, y), cuyas derivadas parciales {x y (y exist en y tienen el valor 0 en todo punto de un conjunto convexo, es constante.

Ejercicios 1.7b

1. Interpretar geometricamente el teorema del valor medio.

2. Hallar un valor de e para el cual

h{x(x + 6h, y + 6k) + k{y(x + 6h, y + 6k) = {(x + h, y + k) - {(x, y)

en cada uno de los casos siguientes:

(a) {(x, y) = xy + y2, X = Y = 0, h = t, k = t

(b) {(x, y) = sin rr (x + y), x = y = t, h = i, k = t.

3. Demostrar que existe un mirnero 6, ° < 6 < 1 tal que

2 7t6 [7t ]

-- = cos - -I- sen - (1 - 6)

rr 2' 2


usando el teorema del valor medio para la funcion {(x, y) = sen n:x + cos n:y.

4. Deducir el teorema del valor medio para una funcion {(x, y, z) de tres variables.

5. Hallar un numero e, 0 :s:; e :s:; 1, para el eual

donde

(a) {(x, y, z) = xyz

(b) {(x, y, z) = x2 + y2 + 2xz

Problemas 1. 7b

1. Sea el dominio de {(x, y) una region poligonalmente conexa; es decir, supongase que dos puntos cualesquiera P, Q del dominic pueden conectarse dentro del dominio mediante una sucesion de segmentos POPl, PlP2, ... '. Pn-l P«, donde Po = P y P« = Q. Probar que si las derivadas parciales {x y {y tienen el valor 0 en todo punto del dominio, entonees { es constante.

c. Teorema de Taylor Porn variasvariables indeP!mdiente:,

Si se aplica la formula de Taylor con la forma de Lagrange del residuo (ver Volumen I, p. 452) ala funcion F(t) = f(x + ht, y + kt), se usan las expresiones (32a, b, c) para las derivadas de F, y se pone t = 1, se obtiene el teorema de Taylor para funciones de dos variables independientes.

(35) f(x + h, y + k) = f(x, y) + {hfx(x, y) + kfy(x, y)}

+ ;! {h2fxx(x, y) + 2hkfxll(x, y) + k2fY1l(x, y)}

+ . . . + ~! { h.n{xn(x, y) + (~) hn-lkfxn-ly(X, y) + . . . + knfyn(x, y)} + Rn,

don de Rn denota el terrnino residua

(36)

1

R« = (n + I)! {hn+1fxn+l(X + 9h, y + ek) +

+ kn+l fyn+l(X + 9h, y + ek)} ,

98 Introduccion alcalculo y alanalisis matematico

don de 0 < 9 < 1. Por tanto, el incremento {(x + h, y + k) - {(x, y) se escribe como una suma de polinomios hornogeneos de grado 1, 2, ... , n + 1, los cuales, aparte de los factores

1 1

'n!' (n+l)!'

son la primera, segunda, ... , n-esima diferenciales

df == h{x + k{y = (h a: + k :) {

(a a)2

d2{ = h ax + k ay I= h2{xx + 2hk{xy + k2{yy,

dn{ = (h :x + k :) n{ = hn{xn + (~)hn-lkfxn-ly + ... + kn{yn

de {(x, y) en el punto (x, Y) y la (n t- 1) -esima diferencial dn+1 { en un punto intermedio sobre el segmento rectilineo que une (x, y) y (x + h, y + k). De aqui que el teorema de Taylor puede escribirse de modo mas compacto como

(37)

1

{(x + h, Y + k) = [(x, y) '+ d{(x, y) + 2! d2(x, y) +

1 .

+ , dn{(x, y) + R«, n.

donde

(38)

R; = (n ~ I)! dn+1[(x + 9h, y + 9k),

0<9<L

En general, el residuo R« se anula en un orden mayor que el terrnino dn[, precisamente antes que el; esto es, cuando h ~ 0 y k ~ 0, se tiene R; = 0 { J (h2 + k2)n}.

A partir del teorema de Taylor para funciones de una variable, el paso (n~oo) ala serie injinita de Taylornos 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 irecho de que el incremento {(x + h, y + k) - [(x, y) de una funci6n se descompone en incrementos dr, d2[, ••• de 6rdenes diferentes.


Ejercicios 1. 7c

1. Hallar el polinomio de .segundo grado que proporciona la mejor apro ximaci6n de sen x sen y en la vecindad del origen.

2. Para f(x, y) = x3 + 4y2x, dar una aproximaci6n del valor de {(2.1, 2.9).

3. Para {(x, y) = x/y + yl x, estimar el error al aproximar el valor de {(.9, .9) por (1, 1).

4. Desarrollar la funci6n (x + h, y + k) en potencias de h, k, para (a) (x, y) = x3 - 2x2y + y2

(b) (x, y) = cos (x + 2y) en x = 0, y = % (c) {(x, y) = x4y + 2y2x - v'3x2.

5. Desarrollar {(x, y, z) = xyz2 en potencias de x, y - 1, z + 1.

6. Obtener los primeros terminos de los desarrollos de Taylor de las funciones siguientes en una vecindad del origen (0,0):

(a) y (f) z = log (1 - x) log (1 - y)
z = arc tan (x2 + 1)
(b) z = cosh x sen h y (g) z = ex2-1/2
(c) z = cos x cosh (x + y) (h) z = cos (x + y) e-x2
(d) z = eX cos y (i) z = cos (x cbs y)
(e) sen x
z=-- (j) z = sen (x2 + y2)
cosy 7. Estimar el error al remplazar cos xlcoe .Y por

1

1 - . (x2 - y2) 2

para

Problemas 1.7c

1. Hallar la serie de Taylor para las funciones que siguen e indicar su regi6n dc validez

1

(a) 1 - x - y (b) ez+l/.

2. Demostrar que la ley de los cosenos en trigonometria esferica, cos z = cos x cos y + sen x sen y cos e,

se reduce a la ley euclidiana de los cosenos,

Z2 = x2 + y2 - 2xy cos e en la vecindad del origen.

Introduccion Al Calculo Infinitesimal 2. Courant John

Încărcat de

Informații document

Titlu original

Drepturi de autor

Formate disponibile

Partajați acest document

Partajați sau inserați document

Opțiuni de partajare

Vi se pare util acest document?

Este necorespunzător acest conținut?

Drepturi de autor:

Formate disponibile

Introduccion Al Calculo Infinitesimal 2. Courant John

Încărcat de

Drepturi de autor:

Formate disponibile

E

S-ar putea să vă placă și

Introduccion Al Calculo Infinitesimal 2. Courant John

Încărcat de

Informații document

Titlu original

Drepturi de autor

Formate disponibile

Partajați acest document

Partajați sau inserați document

Opțiuni de partajare

Vi se pare util acest document?

Este necorespunzător acest conținut?

Drepturi de autor:

Formate disponibile

Introduccion Al Calculo Infinitesimal 2. Courant John

Încărcat de

Drepturi de autor:

Formate disponibile

﻿E

S-ar putea să vă placă și

E