Anda di halaman 1dari 369

PISKUnOV

lculo diferencial e integral


Editorial r f L a 1 Mir Mosc

oma I

H.

c. rmcKyHOB

flHdxDEPEHlWAJIbHOE H HHTErPA bHOE HCHHCJIEHHfl


TOM

H3JJATE JIbCTBO HAVKA MOCKBAN. PISKUNOV

CALCULO DIFERENCIAL E INTEGRAL

3" edicin TOMO

EDITORIAL MIR MOSCU

Traducido del ruso por c! ingeniero K. MEDKOV

(aa cnaHcxou nsuxe)

Impreso on la CHSS Traduccin al espaol. Editorial Mir. 197 7

INDICE

PREFACIO

CAPITULO I. NUMERO. VARIABLE. FUNCION 1. Nmeros reales. Representacin de nmeros reales por

F U N C I O N E S

D E

V A R I A S

V A R I A B L E S

CAPITULO 7

s 1. DEFINICION DE LAS FUNCIONES DE VARIAS VARIABLES

Examinando las [unciones de una sola variable, ya hemos indicado que el estudio de diferentes fenmenos obliga a utilizar las funciones de dos y ms variables independientes. Demos algunos ejemplos.

Ejemplo 1. El rea S de un rectngulo do lados x e y, se da por la frmula:

Sx y.

A cada par do valores de x e y, corresponde un valor determinado del rea S; S es una funcin de dos variables.

Ejemplo 2. El volumen V de un paraleleppedo recto, en que las aristas tienen longitudes iguales a x, y, i, se da por la formula:

V**xyz.

CAPITULO 8

Aqu, V es una funcin de tres variables: x, y, t.

Ejemplo 3. El alcance R de un proyoctil lanzado a la velocidad inicial i'o, bajo el ngulo 9 respecto al horizonte, se expresa por la frmula:

_ vi sen 2tp S

(despreciando la resistencia del aire). El smbolo g en la frmula representa ia aceleracin debida a la fuexza de gravedad. Pera cada par de valores v 0 y 9 la frmula da un determinado valor de /?, es decir, es una funcin de dos variables, v0 y cp.

CAPITULO 9

Ejemplo 4.

T/i + x* '

Aqu, u es una funcin do cuatro variables x, y, s, 1.

Definicin de los funciones de varias variables

209

Definicin 1. Si a cada par (z, y) de valores de dos variables, x e y, independientes una de otra, tomadas de cierto campo D de su variacin, le corresponde un valor determinado do la magnitud z, se dice que z es una funcin de dos variables independientes x e y, definida en el campo D.En forma simblica una funcin de dos variables se representa asi: z f {x, y), z = F (x, y), etc.

Una funcin de dos variables puede expresarse por medio de una tabla o anal ticamente mediante una frmula (como se ba hecho on los cuatro ejemplos examinados). La frmula permite formar la tabla de los valores que toma la funci n para cada par de valores de las variables independientes. Para el ejemplo f se puede formar la Siguiente tabla: 5 = xy

y.

En la tabla el valor de la funcin S se encuentra en la interseccin de los renglones y columnas correspondientes a los valores buscados de x e

Definicin de los funciones de varias variables

209

Si la dependencia funcional 2 = f (x, y) resulta de las mediciones de la magnitud z durante el estudio experimental de un fen meno, obtenemos la tabla en que z se determina como funcin de dos variables. En este caso, la funcin se da slo mediante, la tabla.

La funcin de dos variables igual que la funcin de una sola variable puede no estar definida para todos los valores arbitrarios de x e y.

Definicin 2. B1 conjunto de los pares (x, y) de los valores de x e y, para los cuales est definida la funcin z = f (z, y), se llama dominio de definicin o dominio de existencia de la funcin.

12

Funciones de paras variables

El dominio de existencia de una funcin puede ser interpretado geomtricamente. Si cada par de valores, x e y, lo representamos mediante un punto M (x, y) en el plano Oxy, el dominio de definicin de la funcin ser representado por el conjunto de puntos en este plano. Llamemos tambin a este conjunto de puntos, dominio de definicin de la funcin. En particular, todo el plano Oxy puede ser este dominio. En lo ulterior los dominios de definicin que estudiaremos estarn constituidos por las parles del plano limitadas por unas lneas. La lnea que limita el dominio dado se llama frontera de este dominio. Los puntos del dominio que no pertenecen a la frontera se llaman puntos interiores del dominio. Todo dominio integrado solamente de puntos interiores se llama dominio abierto.Un dominio que incluye tambin los puntos do la frontera se llama dominio cerrado.

El dominio se llama acolado, si existe una magnitud constante C tal que la distancia entre todo punto M del dominio y el origen de coordenadas sea menor que C: | OM | < C.

Ejemplo 5. Hallar el dominio natural do definicin de la funcin i = 2ii/.

13

Funciones de paras variables

La expresin analtica 2z y tieno sontido para todos los valores de x e y. Por consiguiente, ol dominio natural do definici n de osta funcin coincide con todo el .plano Oxy.

Ejemplo 6.

14

Funciones de paras variables

Para quo z tenga un valor real es preciso quo el nmero eubradical no eea negativo, es dccir, x o y deben satisfacer a la desigualdad:

1x> u>0 x+<l.

15

Funciones de paras variables

Todos los puntos flf (x, y), cuyas coordenadas satisfacen a la desigualdad

indicada se sitan dentro del crculo de radio 1 y centra ubicado en el origen de coordenanadas, as como en la frontera de este circulo.

Ejemplo 7.

16

Funciones de paras variables

i=.ln(x + v).

Como los logaritmos estn determinados slo para los nmeros positivos, debe existir obligatoriamente la desigualdad:
X

>0

6 y> x.

17

Funciones de paras variables

El dominio natural de definicin do la funcin 2 es por consiguiente, el semiplano situado por arriba do la recta y = x, excluyendo la propia rocta (fig. 105).

Representacin geomtrica de una funcin de dos variables____________________27t

Ejemplo 8. El rea S de un tringulo es una funcin do la base x y la altura y:El dominio do dofinicin do esta funcin, os evidentemente el dominio x > 0, y > 0 (puesto que la baso y la altura del tringulo pueden ser expresadas solamente por nmeros positivos). Notemos, que el dominio do dofinicin do la funcin examinada no coincide con el dominio natural de dofinicin de la expresin analtica, quo determina a esta funcin, puesto que el dominio

natural de definicin de la expresin ocupa, evidentemente, todo el plano Oxy.

La definicin de funcin de dos variables, puedo extenderse fcilmente al caso do tres y ms variables.

Definicin 3. Si a todo conjunto estudiado do valores de las variables x, y, z, . . ., u, t corresponde un valor determinado do la variable w, entonces esta ltima es /uncin de las variables independientes x, y, z, . . .i u, t, es decir: w = F (x, y, z, . . ., u, t) o w = = f (x, y, z, . . ., u, t), etc.

Anlogamente al caso de una funcin de dos variables, existe el dominio de definicin de la funcin do tres, cuatro y ms variables.

Representacin geomtrica de una funcin de dos variables____________________27t

Por ejemplo, el dominio de definicin do una funcin de tres variables es un conjunto de ternas de nmeros (x, y, z).

Observemos que cada terna de nmeros define un punto M (x, y, z) en el espacio Oxyz. Por tanto, el dominio de definicin de una funcin de tres variables es un cierto conjunto de puntos en el espacio.

De manera anloga se puede determinar el dominio de difinicin de una funcin de cuatro variables u => / (x, y, z, <), como un sistema de los conjuntos de cuatro nmeros (x, y, z, t).

Sin embargo, es imposible dar una simple determinacin geom trica del dominio de definicin de la funcin de cuatro o mayor cantidad de variables.

La funcin de tres variables analizada on el ejemplo 2, est definida para todos los valores de x, y, z. La funcin de cuatro variables est analizada en ol ejemplo 4.

Representacin geomtrica de una funcin de dos variables____________________27t

Ejemplo 9. U> = Vi I* j/* S U.

Aqu, w es una funcin do cuatro variables r, y, j, u, definida para los valores de las variables quo satisfacen a la correlacl n:

Representacin geomtrica de una funcin de dos variables____________________27t

2. REPRESENTACION GEOMETRICA DE UNA FUNCION DF. DOS VARIABLES

Sea la funcin: * = / y), (f)

definida en el dominio G del plano Oxy (este dominio puede ocupar, en particular, todo el plano), y Oxyz, un sistema de coordenadas

cartesianas en el espacio (fig. 166). En cada punto (x, y) del dominio G levantemos una perpendicular al plano Oxy y marquemos en sta un segmento igual a / (x, y). As obtenemos en el espacio un punto P do coordenadas x, y, z = / (x, y).

22

Fundones de varias variables

El lugar geomtrico de los puntos P, cuyas coordenadas satisfacen a la ecuacin (1), se llama grfica de la funcin de dos variables.

Del curso de Geometra analtica sabemos que la ecuacin (1) espacio. As la grfica de una funcin

determina una superficie en el

de dos variables es una superficie cuya proyeccin sobre el plano esta funcin. Cada perpendicular al plano Oxy corta la superficie punto.

Oxy, es el dominio de definicin de z = / {x, y) no ms que en un solo

23 Fundones de varias variables Ejemplo. Por lo Geometra analtica sabemos que la grfica de la funcin i = x* + u' es un paraboloide de revolucin (fig. 167).

Observacin. Es imposible dar la representacin geomtrica en el espacio de la grfica de una funcin de tres o ms variables.

$ 3. INCREMENTO PARCIAL Y TOTAL DE LA FUNCION

Examinemos la curva PS de interseccin de la superficie z = / (x, y)

con el plano y consl, paralelo al plano Oxz (fig. 168).

Puesto que y es constante en todos los puntos del plano indicado, z variar a lo largo de la curva PS slo en funcin de x. Demos a la variable independiente x un incremento Az, entonces el incremento correspondiente de z recibir el nombro de incremento parcial de z respecto a x que designemos con el smbolo Az (el segmento SS' en la figura 168), as que:

24

Fundones de varias variables

A*z = / (x + Az, y) 1 (*, y).

(1)

Anlogamente, si x es constante y damos a y un incremento Ar/, el incremento correspondiente de z recibir el nombre de incremento

25

Fundones de varias variables

parcial de z respecto a y que designemos con el simbolo Az (el segmento TV en la figura 168): Az = f ( x , y + A y ) - V (z, y).

(2)

La funcin recibo el incremento Az a lo largo do la curva de intersecci n de la superficie z f (x, y) con el plano x const, paralelo al plano Oyz.

Por ltimo, si damos simultneamente un incremento Az a la variable x y un incremento A y a la variablo y obtenemos el incre

mento correspondiente de z, Az, que se llama incremento total de la funcin z y que se determina por la frmula: Az = f (x + Az, y + y) - f (*, y). (3)

El incremento Az est representado por el segmento QQ' en la figura 168.

Notemos que, en general, el incremento total no es igual a la suma de incrementos parciales, es decir, Az Az + Az.

Ejemplo: z=*xy.
=

26

Fundones de varias variables

lxy yAz,

As = x (|( + Aj) xy = xAy.

A = (l + Al) (ff-f Ay) iy=Ax-f A|/+AxA.

27 Para *=1, p=.2. Ai - 0,2, A y 0,3, tenemos: AjS^O., A,j 0,3, As 0,76.

Fundones de varias variables

De manera somejante se determinan los incrementos parciales y total de la funci n de cualquier nmero de variables. As, para una funcin de tres variables u = / (z, y, t) tenemos:

Ax u = f ( x + Az, y, t) - f (z, y, t), Au = /(*, + Ay, i) - / (z, y, <), &iu = / (x, y, t + Ai) / (z, y, ), Au = f (x + Az, / + Ai/, t + A() / (x, y, ().

86 Funciones de varios variables I8- 534$ 4. CONTINUIDAD DE LA FUNCION DK VARIAS VARIABLES

Introduzcamos un concepto auxiliar muy importante, que es la vecindad de un punto dado.

Se llama vecindad del punto Af< (z0, ya) de radio r al desigualdad:

conjunto de todos los puntos (x, y), que satisfacen a la

puntos que se encuentran dentro de un crculo de centro M

(x0, tjn) y radio r.

Cuando decimos que la funcin / (x, y) tiene cierta (x0l y0), esto significa que existe un crculo de centro en el se cumple la propiedad dada de la funcin.

propiedad cerca del punto (x0, yo)*, o en la vecindad del punto punto (x0, j/o) de tal manera que en todos los puntos del mismo

Antes de pasar al estudio de la continuidad de una funci n de varias variables, examinemos ol concopto de lmite de la funcin le varias variables*). Sea dada la funcin: > = f (x, y),

definida en un cierto dominio G del plano Oxy.

Examinemos cierto punto Af0 (x0, y o) que se encuentra en el interior, o en la frontera del dominio G (fig. 169).

Definicin 1. Si para todo nmero e > 0, existe un nmero r > 0 tal que para todos los puntos M (x, y), cuando cada punto M (x, y) tiende a M, (x, ya), se cumple la desigualdad MM0 <r, entonces el nmero A se llama lmite de la funcin f (x, y) y tiene lugar la desigualdad:

| /{x, y) - .4 1< e.

86

Funciones de varios variables

) En adelante estudiaremos, principalmente, las (unciones de dos varia bles, puesto que el oxamen do las funciones de tres y m s variables no agrega ningn demento nuevo y slo dificulta adicionalmente el problema desde el punto de vista prctico.

86

Funciones de varios variables

Continuidad de la funcin de varlat variables

Si el nmero A es el lmite de la funcin / (x, y) cuando M (x, y) M0 (x0, yo), se escribe: lm f(x, y) = A.
V

* VO

Definicin 2. Sea M<(xo, ye) el punto que pertenece al dominio do definicin de la funcin / (x, y). Se dice que la funcin z = 1 (x, y) es continua en el punto M0 yo), si so cumple la igualdad: lm /(x, y) = f(x, y,), (1)

cuando el punto M (x, y) tiende arbitrariamente al punto M 0 (xo, y), permaneciendo en el interior del dominio de definicin de la funcin.

Si ponemos x = x<, + Ax, y = y0 + Ay, entonces la ecuacin (1) se puede escribir as:

lm /(x0+Ax, y+Ay)=/(x0, y)

(1')

86

Funciones de varios variables

A* ~ 0 A|/ 0

lm [/ (x0 + Ax, y0 + Ay) - / (x, yJJt= 0.

(1")

A* O Ay

Ponemos Ap =

V (Ax)

-t- (Ay)' (vase fig. 168). Cuando Ax -f~ O y Ay ->- O, Ap -v 0: rec procamente, si Ap ->- O, entonces Ax ->- O y Ay ->- 0.

La expresin encerrada entre corchetes en la igualdad (1*) es el incremento total Az de la funcin z. Por consiguiente, se puede escribir la igualdad (f") en la forma:

lm Az = 0. A 0

86

Funciones de varios variables

(I'")

Una funcin, continua en cada punto de un cierto dominio, se llama continua en este dominio.

Si la condicin (1) no se cumple en cierto punto N (x0, yo) ste se llama punto de discontinuidad de la funcin z = / (x, y). Demos algunos ejemplos en que la condicin (f) no se cumple: 1) z = / (*> y) est definida en todos los puntos de cierta vecindad del punto A' (xo, y 0), excepto el mismo punto N (x0, y0); 2) la funcin z f (x, y) est definida en todos los puntos de una vecindad del punto N (xo, yo), pero no existe el lmite lm / (x, y);

X-MtQ v*uo

3) la funcin est definida ep todos los puntos de la vecindad N (Xo, yo) y existe el lmite: lm / (x, y),

X-*Xf

86

Funciones de varios variables

34

Funciones de varias variables

Ejemplo 1. La funcin

es continua para todos los valores de x e y. es decir, on coda punto del plano Oxy. En efecto, cualesquiera quo sean los nmeros x ti y, ax y Ay, tenemos:

35

Funciones de varias variables

A L = 1(1 + A*) + ( + A)1] \X* + = 2x&x + 2yA|| -f Al' + Ay',

por tanto,

36

Funciones de varias variables

lm Az 0. xo 41/-.0

Demos ahora un ojemplo.de la funcin discontinua. Ejemplo 2. La funcin

37

Funciones de varias variables

._ Zxy *'+y'

ost definida on todos los puntos, oicopto en el punto x O, y = O (fie. 170, 171).

38

Funciones de varias variables

Examinemos loa valores quo toma z on los puntos situados sobre la recta y = kx (A const). Es evidente que para todos los puntos de la recta:

Fig. 170

2fcr*

39

Funciones de varias variables

es docir, sobro cada recta quo pasa por el origen de coordonadas, la funcin x tiene un valor constante, que dependo del coeficiente angular k de esta recta.

Por eso el valor limito de la funcin s depende del camino quo recorra el punto (r, y) Cuando esto punto (r, u) on el plano Oxy tiende al origen de coordenadas, lo quo significa quo la funcin / (z, y) no tiene lmite. Por consiguiente, la fun - cin es discontinua on esto punto. No se puede hacer una determinacin adicional do esta funcin on el origen do coordenados para convertirla en continua. Es fcil ver, por otra parte, quo on todos los dems puntos esta funcin es continua.

Fig. 171

Derivadas parciales de la funcin de varias variables

40

Indiquemos sin demostracin algunas importantes propiedades de la funcin de varias variables, continua on el dominio cerrado y acotado. Estas propiedades son semejantes a las de la funcin de una variable y continua en el segmento (vase 10, cap. II).

Propiedad 1. Si una funcin / (x, y, . . .) est definida y es continua en el dominio D cerrado acotado, entonces en este dominio existe por lo menos un- punto N (x<>, y, ...) tal, que para todos los dems puntos del dominio se cumpla la correlacin: / (*o. o, .)>/(*, y, . . .),

y existe por lo menos un punto N (x, y0) tal que para todos los dems puntos del dominio se cumpla la correlacin:

/fo, tfo. ...)</(* y, )

El valor do la funcin / (x 0, /o. ) M se llama valor mximo y / {xo, y, )= m se llama valor mnimo de la funcin / (x, y, ...) en el dominio D. Esa propiedad tambin'so puede formular de otro modo. Una funcin continua en un dominio O cerrado y acotado alcanza por lo menos una vez el valor mximo M y una vez el valor mnimo m.

Propiedad 2. Si una funcin / (x, y, . . .) es continua en un dominio D cerrado y acotado, siendo M y m los valores mximo y mnimo de la funcin en el dominio mencionado, entonces para cualquier n mero |i, que satisface a la condicin m < p < M, existir en el dominio un punto N* (x0*, y0*. . . .) tal quo se cumpla la igualdad:
/(o. y'o, ) = p.

Corolario de la propiedad 2.

Derivadas parciales de la funcin de varias variables

41

Si la funcin / (x, y, . . ,) es continua en un dominio cerrado y acotado y toma valores tanto positivos como negativos, existi rn en el interior del dominio unos puntos tales en los que la funcin / (x, y, . . .) se anula.

5. DERIVADAS PARCIALES DE LA FUNCION DE VARIAS VARIABLES

Definicin. El lmite de la razn del incremento parcial &x z respecto a x, en relacin al incremento Ax, cuando Ax tiende a cero se llama derivada parcial respecto a x de la funcin z =

= / (*, y).

Derivadas parciales de la funcin de varias variables

42

La derivada parcial respecto a x de la funcin z f (x, y) se designa por uno de los smbolos siguientes:

Incremento total y dilerenclal total

43

df (i, y+Ay) df(x, y) dx df(x. y) df(x. y)

p u e s t o q u e x e y e s t n comprendidas primero entre x y x + Ax, y segundo, entre y e y -f Ay, entonces x e y tienden a x e y, respectivamente, cuando A x 0 y Ay 0. Por consiguiente se puedeescribir las ecuaciones (6) en la forma: dx

Incremento total y diferencial total

Az ~ dz.

y con la precisin de liast infinitesimales de orden superior con relacin a Ap se puede escribir la siguiente igualdad aproximada;

Los incrementos Ax y Ay de las variables independientes se llaman diferenciales de las variables independientes x e y y se designan respectivamente por dx y dy. Entonces, la expresin de la diferencial total toma la forma: dz = dx + dy. dx dy

Por consiguiente, si la funcin z = f (x, y) tiene las derivadas parciales continuas, sta es derivable en el punto (x, y) y su diferencial total es igual a la suma de los productos de las derivadas

parciales, multiplicadas por las diferenciales de las variables independientes correspondientes.

Ejemplo 1. Ilalloi lo diferencial total y rl incremento total de la funcin s x>j OII el punto (2; 3). para Ax = 0,1, Ay 0,2.

Incremento total y diferencial total

Solucin. Ac

(ij + by) xy -ySx -f xy , \y,

dz

dz

dz = dx -f- dy = y dx {- x dy yA* x\y.

Por consiguiente,

Incremento total y diferencial total

A: 3*0,1-{-2-0,2-} 0,1-0,2*-0,72: dz- 3-0,1 }-2.0,2 = 0,7.

Lo figura 173 ilustru esto ejemplo 1.

47

Funciones de jjarias variables

dx dy

Los razonamientos y definiciones anteriores pueden extenderse, de modo correspondiente, a las funciones de cualquier nmero de argumentos.Sea w = I (z, y, z, u, . . ., t), una funcin de cualquier nmero de variables en la que todas las derivadas parciales al

son continuas en el punto (z, y, z, u, . . ., t), la expresin: dx dw=ldx + ^Ldy + -?Ldz-f ... + Ldt dy dz dt

ser la parte principal del incremento total de la funcin y se llamar diferencial total. Del modo semejante que en el caso de una funcin de dos variables se puede demostrar que la diferencia Ato dw es una infinitesimal de orden superior con relacin a V(Az)J 4- (A/) + . . . + (Ai)'-

Ejemplo 2. Hallar la diferencial total de la funcin u = e**+l,s ^n' x, de tres variables x, y, s.

48

Funciones de jjarias variables

bservando que las derivadas parciales ax

~ ^"-"Vscn':, dy

_
os

sen j eos; ." ' sen 2i

49 son continuas par lodos los valores do x, y. :, tenemos: du^^-dj | dy dz oy oz dz

Funciones de jjarias variables

(2x sen* : de + Zy smit ; dy +sen dz).

8. APLICACION DE LA DIFERENCIAL TOTAL PARA CALCULOS APROXIMADOS

Supongamos que la funcin z = / (z, IJ) es derivable en el punto (z, y). Hallamos el incremento total do esta funcin:

Az = / (z 4- Az, y + A y) / (z, y),

de donde:

50

Funciones de jjarias variables

y (75)2 _ (32)*

75 y (75)2 _

0,00275 radianes =9'38".

De tal modo:

32

A= arcsen ^ -J 9'38\

6. Determinado el cateto b = 121,56 m y el ngulo A 25*21'40" dr un tringulo rectngulo ABC', los errores absolutos mximos cometidos en el curso de la evaluacin de estas magnitudes son respectivamente | A*b ] = 0,05 m y | AM | -= 12".

Determinar el error absoluto mximo cometido en el clculo del cateto a por la frmula a = bigA.

55 Solucin: Segn la frmula (2):

Funciones de i arias variables

|A*|=|lg/1|l AH+-

56 Funciones de i arias variables Sustituyendo los valores correspondientes (y expresando | A * .-1 | en radianes). tenemos:

<2

| | tg 2521 *40"-0,05 -f

eos 25"21'40" 206 205 0,0237 + 0,0087 0,032'i m . La razn del errur Ax de cierta magnitud respecto al

valor aproximado de x se llama error relativo de esta magnitud. Designmoslo por 6x:

, AJ* fix = .

La razn del error absoluto mximo respecto al valor absoluto de x se llama error relativo mximo do la magnitud x y se designa por |6*x |:

16*x| = ~~

57

Funciones de i arias variables

(3)

1*1

Para evaluar el error relativo mximo de la funcin u, dividamos los miembros de la igualdad (2) por |u | = | / (x, y, z, respectivamente:

Pero,

58

Funciones de i arias variables

d df_ Por consiguiente la

igualdad (3) se puede

escribir en la forma:

|6*u| = ln[/||Ax| + |l"l/l| IA*.V|+

... + 4-l|/| | |.... (5)

I dt I

o, ms brevemente:

I6*u = A*ln |/ I .

59

Funciones de i arias variables

Do las frmulas (3) y (5) se deduce que el error relativo mximo de una funcin es igual al error absoluto mximo del logaritmo de esta funcin.

De la frmula (6) obtenemos las reglas utilizadas en los c lculos aproximados.

1.

Sea u = xy. Utilizando los resultados del ejemplo 3, tenemos:

LL^U 4. Liij = L^ + L^Ji = 16*x| -H 6*1/1, \xy\

|xi/| |s| |yl

es decir, el error relativo mximo de un producto es igual a la suma de los errores relativos mximos de los factores.

2.
y

Sea u = , utilizando los resultados del ejemplo 4, tenemos:

Observacin: Del ejemplo 2 se deduce que si u

x y, tenemos: lAxI-HA'yl

Si los valores de x e y son cercanos entre s puode ocurrir que | *u | sea muy grande en comparacin con la magnitud buscada x y. Esta circunstancia debe tenerse en cuenta durante los clculos.

60 Ejemplo 7. El poriodo do oscilacin de un pndulo es

Funciones de i arias variables

r-2j/I.

donde: l es ol largo del pndulo; g, la aceleracin debida a la fuerza de gravedad.

61 Funciones de i arias variables Calcular el error rolalivo do la determinacin do T por la frmula onunciada, poniendo: n 3,14 (con la precisin do hasta 0.U05), 1 = F !m (con la precisin do hasta 0,0lm). j9,8 m/sog' (con la precisin hasta do 0,02 m/seg'). Solucin: El error relativo mximo segn la frmula (6) ser:
I Sr I

= I A INRI.

Pero,

62 lnf = ln 2+ ln it+y ln I -j In g.

Funciones de i arias variables

Calculemos |A* ln T J. Teniendo en cuenta que: IX x 3, 14, A*.i 0,005, = I m, A*I = 0,01 ra, g = 9,8 m/seg1, A= 0,02 m/seg', obtenemos:

, AJI , A1 . A*(F 0.005 , 0.01 0.02

As, ol error rolalivo mximo es:

63

Funciones de i arias variables

b*T = 0,0076 = 0.76%

64

Funciones de i arias variables

(j 10. DERIVADA DE UNA FUNCION COMPUESTA. DERIVADA TOTAL

Supongamos que en la ecuacin

EjemploI.Sea

65

Funciones de i arias variables

iu'u' + u |-1; U= | y; (>='1' -I;

entonces,

66

Funciones de i arias variables

j = (I> + (* + 1)'-Hi* + y*) -M.

Supongamos que las derivadas parciales de las funciones F (u, y), tp (x, y), i|> (x, y) son continuas respecto a todos sus argumentos y calculemos y a partir do las ecuaciones (1) y (2),

sin recurrir a la igualdad (3).

Demos al argumento x un incremento Ax, manteniendo invariable el valor de y. En virtud de la ecuacin (2), u ye recibirn incrementos AXu y Aja respectivamente.

Pero si u ye reciben los incrementos A, u y Axv, la funcin z = F (u, v) tambin recibir el incremento Az determinado por la frmula (5'), 7, cap. VIII: r)F (IF

Az =-------------------------------------------------------------------- Aj -|----------Axv + Vi x" -f Y: dit dv

Dividamos todos los trminos de esta igualdad por Ax:


+

t+ K-r + ^ir-

Az OF A.u , OF Axv Axu , Av

Ax du Az dv Az Az Az

Si Ax -* 0, tambin Aji -* 0 y Aji> 0 (en virtud do la con tinuidad de las funciones u y v). Pero, en este caso Vi y Y2 igualmente tienden a cero. Pasando al limite para Ax-*-0, obtenemos:

lm

67

liin

Funciones de i arias variables

inl _ dv

a* -* o Ax dz A* o Ax dz A* o Ax dz

A*-* D

liin y, = 0; lm y2 = 0
Ax-*0

Derivada de una /uncin compuesta. Derivada total

291

dz _ dF du | dF dv dx du dx di i dx

Si damos un incremento Ay a la variable y, conservando x invariable, obtenemos anlogamente: dz _________________________________ dF du ^ dF dv dy du dy dv dy ^

Ejemplo 2.

19

i~ln(u2 + r); u tfx+J/3, p = i + v; dz __ 2u <iz 1 du u-|- V ' dv u* -j- v '

L d i

_ ,+!/>. ' d y ' d i

' d /

JL- '

19

Utilizando las frmulas (4) y (4'), tenemos:

ii - 2" . **+ + 1 .|2j = 2 (+!'' + X),

Las frmulas (4) y (4') se generalizan naturalmente para un mayor nmero de variables.

Por ejemplo, si w = F (z, u, v. s) es una funcin de cuatro argumentos z, u, v, s, y cada uno de frmulas (4) y (4') toman la forma:

stos depende do x e y, las

________________________________

Si la funcin i = F (x, y, u, v) es tal que las variables y, u, v dependen, a su vez, del argumento x:

19

y = / (x); u = 9 (x)\ v = i|> (i), entonces, z, en esencia, es funcin de una sola variable x, y se puede, por tanto, hallar la derivada dx

19

86

Funciones de varios variables

Esta derivada se calcula por la primera de las frmulas (5)i dz_________________________________dzdx dz dy dzdu dz dv

dx dx dx dy dx du dx dv dx' pero, como y, u, v no dependen ms que de una sola variable xf las derivadas parciales correspondientes son de hecho las derivadas

ordinarias; adems, ~ = 1, por tanto: dz_________________________________dz dz dy dzdu 3z dv


<S Fx + dy dx + d ~dx + Tvdi

''

La ltima se llama frmula para el clculo de la derivada total dz dx

Ejemplo 3.

z x

V f > sen i. dz n dx 1 dy

86

Funciones de varios variables

-r =12x; =.---------------------------------------------------------- ; 7 eos x. dx dy 2 Y y

1 En el II doi capitulo III liemos resuelto el problema de derivaci n de las funcionos implcitas do una variable. Hemos examinado algunos ejemplos, sin obtener la formula gonoral para hallar la derivada de la funcin implcita. Tampoco hornos aclarado las condiciones de existencia de esta derivada.

Segn la frmula (fi) tenemos dz ds dz dy . . 1 , , I ------------------------------------dx dx ' dy dx

86

Funciones de varios variables

-----2xH------------eos x =2x 2 Vi 2 l/senx

i^a diferencia de la derivada parcial j

i II. DERIVADA I)E UNA FUNCION DEFINIDA IMPLICITAMENTE

Comencemos el anlisis de este problema con el estudio de la funci n implicita de una sola variable*. Sea y una funcin de x definida por la ecuacin P (x, y) = 0

comprobemos el teorema siguiente. Teorema. Sea y una funcin continua de x definida implcitamente por la ecuacin F (x, y) = 0 donde F (x, y), F (x, y), F (x, y) son funciones continuas en cierto dominio D que contiene el punto (x, y), cuyas coordenadas satisfacen a la ecuacin (lj; adems, en este punto F'y (x, y) ^fc 0. Entonces la funcin y de x tiene la derivada: F-Jx, y)

y. =

F"y(x, y)

86

Funciones de varios variables

Demostracin. Supongamos que a un cierto valor de z corresponde un valor de la funcin y. Aqui F (z, y) = 0.

Demos a la variable independiente x un incremento Az. La funcin y recibe el incremento Ai/, es decir, al valor x + Az del argumento le corresponde el valor y + Ay de la funcin. En virtud de la ecuacin F (z, y) 0 tenemos:

F (z + Az, y + A y) = 0.

Por tanto,

F (z + Az, y + Ai/) - F (z, y) = 0.

El primer miembro de la ltima igualdad que es el incremento total de la funci n de dos variables, en virtud de la frmula (5') 7 se puede escribir dF dF

dx

F (z + Az, y -f Ay) F(x, y) = Az + Ay + y, Az + y2 Ay, dy

donde Vi y Y: tienden a cero, cuando Ai -+ 0 y Ay -* 0. Como el primer miembro de la ltima expresin es igual a cero, se puede escribir dF 0F

------------------------------------------------------------------ Az H----------Ay + y, Az -+- y. Ay = 0. dx dy

86

Funciones de varios variables

Dividamos la igualdad obtenida por Az y calculemos : dF

A -RI" Yi

Ay___________________________________________________ dx

^ ' + Y* Oy

Aproximemos Az a cero. Teniendo en cuenta que y, y y2 tam-

bin tienden a cero y que =5= 0, obtenemos como el lmite:

86

dF

Funciones de varios variables

Oy

Hemos demostrado la existencia de la derivada y'x de la funcin definida implcitamente y hemos obtenido la frmula para calcular esta derivada.

86

Funciones de varios variables

Ejemplo 1. La ecuacin

f y 1=0

86

Funciones de varios variables

define / como funcin implcita de T. Aqu:


=

Por consiguiente, segn ta frmula (1): d* ~ 2y i, '

86

Funciones de varios variables

Observemos que la ecuacin dada define dos funciones distintas (puesto que a cada valor de x en el intervalo ( 1. 1) corresponden dos valores de p |; sin embargo, el valor hallado de y'x es vlido para ambas funciones. Kiemplo 2. Sea la ecuacin t e' + xy

Aqu: F (x. y) cVeizx 1-xy, r dF dx dy

86

Funciones de varios variables

Por tanto, segn la frmula (I) obtenemos: dy r*-I- y rx y

dx

t'-' x J-r "

Examinemos ahora la ecuacin del tipo F (.t, y, z) = 0. (2)

Si a cada par de nmeros x e y, pertenecientes a cierto dominio, le corresponden uno o varios valores de z que satisfacen a la ecuacin (2). sta define implcitamente una o varias funciones univocas z de x e y.

Por ejemplo, la ecuacin x' - jr + z! - = 0

define implcitamente dos funciones continuas z de J; e y, que pueden expresarse explcitamente, resolviendo la ecuacin respecto a z; en este caso obtenemos:

i^ _

as parciales y de la funcin impll- r parciales y r

Ox uy Ox ai

cita z de x e y definida por la ecuacin (2).

Derivada de uno funcin definida Implcitamente________________________82

Para buscar , supongamos que y es constante. Por eso, podemos utilizar aqu la frmula (1), considerando z como una funcin de la variable independiente x. Por tanto:

De modo semejante hallamos:

Aqui es natural suponer que

f^Odz

Del mismo modo se definen las funciones implicitas de cualquier n mero de variables y se calculan las derivadas parciales de las mismas.

Derivada de uno funcin definida Implcitamente________________________83

Kjemplo 3. dz 2i _ x Oz y

dx

2z ~~ z * dy ~ z

Derivando esta funcin como si fuera explcita (resolviendo esta ecuacio respecto a z), obtenemos el mismo resultado.

Derivada de uno funcin definida Implcitamente________________________84

Kjemplo 4.

r' M' + l | ! 0.

Derivada de uno funcin definida Implcitamente________________________85

Aqui f {', , *) = e> + z'y + ,+!, df' > df , Bf 2xy; -- = x; -tt = e* -f 1; Ox dy dz

dz

. dz

xl

86

Funciones de varios variables

-- , 1 'Observacin: Todos los razonamientos del prrafo anterior los hemos realizado, suponiendo que la ecuaci n F (x, y) => 0 define cierta funcin de una variable y = <p (i), y la ecuacin F (x, y, z) = 0, define cierta funcin de dos variables z == / (x, y). Indique- ios sin demostracin la condicin que debe satisfacer la funcin F (x, y) para quo la ecuacin F (x, y) 0 defina la funcin uniforme y = ip (x). Teorema. Sea la uncin F (x, y), continua en la vecindad del punto '(x0, ijo) y que tenga derivadas parciales continuas, siendo F v (jt, y) 0; suponiendo tambin que F (x0, ya) 0. Entonces existe una vecindad que comprende el punto (xD, y0) donde la ecuacin F (x, y) = 0 define ta funcin uniforme y ip (x). "S" e' | 1 ' ~dy

El teorema anlogo se cumple tambin para las condiciones de existencia de la funcin implcita definida por la ecuacin F (x, y, z) - 0.

Observacin. Al deducir las reglas de derivacin do las funciones implcitas, hemos aprovechado las condiciones quo determinan la existencia de las funciones impl citas. 8 12. DERIVADAS PARCIALES DE DIFERENTE: ORDENES

Sea z = f (x, y) una funcin de dos variables independientes.

Las derivadas parciales ---- f'x (x, y) y ~ = f'y (x, y) son,

en general, funciones de las variables x e y. Por oso, stas tambin pueden tener derivadas parciales. Por consiguiente, las derivadas parciales de segundo orden de una funci n de dos variables, son

cuatro, pueslo que cada una de las funciones ^r y v~ puede ser


IX

dy

derivada tanto respecto a x, como respecto a y.

Las derivadas parciales de segundo orden se designan as:

donde / se deriva sucesivamente dos veces respecto a x;

d'z

nde / se deriva primero respecto a x, luego el resultado se deriva respecto a y;


d'z

nde / se deriva primero respecto a y, luego el resultado se deriva respecto a x; d'z

onde / se deriva sucesivamente dos veces respecto a y. Lasderivadasdesegundoordensepuedenderivardenuevo,tantorespectoax,comorespectoay\comoresultadoobtenemo

L..

sderivadas do tercer orden. Es evidente que sern ocho: <fz ' c?z d3z

dz* ' te2 dy ' di dy dx' dx dy2' Pz dydx2 ' dydxdy' di/dx di? En general, la derivada parcial de n-simo orden es la primera d"

derivada de la derivada de(n l)-simo orden. Por ejemplo, g^a-r


Derivadas parciales de diferentes rdenes

87

es derivada de n-simo orden. Aqui, la funcin z est derivada, primero, p veces respecto a x y luego n p veces respecto a y.

De manera igual se definen las derivadas parciales de rdenes superiores para la funcin de cualquier nmero de variables.

Ejemplo 1. Hallar las derivadas parciales de segundo orden do la funcin / <*. ;/) = z'u+ y'. Solucin.

.,. d*f (2x.j)


dx' d:i'

dxdy dy

' dydx

fij d(x' -t-.y) a'/


x

' da2

<t'sr.

Derivadas parciales de diferentes rdenes

88

Ejemplo 2. Hallar y

si

Solucin.

vw.

i-V; JJij-2,, +<*.

Derivadas parciales de diferentes rdenes

89

Ejemplo 3. Hallar , si u = Solucin. dx. ' dxi di* dy ' O* dy dz y

Es natural plantear el problema: si el resultado de derivaci n de la funcin de varias variables depende o no del orden de derivacin respecto a distintas variables? Es decir, serian, por ejemplo, idnticamente iguales las derivadas: dx dy dy Ox

<?7(Z. y, t) <?7(x, y. t) etc dx dy 01 dt dx dy Demos la respuesta en forma del teorema siguieute. Teorema. Si la funcin z = f (x, y) y sus derivadas parciales /i, /L, r*u y l'iix estn definidas y son continuas en el punto M (x, y) como tambin en cierta vecindad de este punto, entonces en este punto:

J___________________________________________________*!_ ir = f )

- yjxv lux)dx dy dy dx Demostracin. Analicemos la expresin A = 1/ Derivadas parciales de diferentes rdenes (x + Ax, y h Ay) - / (x +

90Ax. y) 1 - 1/ (x, y + A y) -

-/(x. di-

Si introducimos una funcin auxiliar <p (x), determinada por la igualdad

<P M = / y + Ay) / (x, y),

se puede escribir A en la forma:

A = <p (x + Ax) <p (x).


Derivadas parciales de diferentes rdenes

91

Segn la hiptesis, f'x est definida en la vecindad dol punto (x, y). Por consiguiente, <p (x) es derivable en el segmento (x, x f Ax), y aplicando el teorema de Lagrange, obtenemos: A Ax<f' (x),

donde x est comprendida entre x y x + Ax. Pero, 1>'(x) =/i(, y + Ay) /; (x, y).

Puesto quo / est definida en la vecindad dol punto (x, y), fx es derivable en el segmento ly, y -f- Ay]; por eso, aplicando el teorema de Lagrange a la diferencia obtenida (respecto a la variable y), tenemos:

t'x (. y + Ay) - fx (x, y) = Ayfx (x, y),

donde y est comprendida entre y e y + Ay.

Por tanto, la expresin primitiva para A es igual a A = Ax Ayfxu(x, y).

(I)

Al cambiar el orden de los trminos medios, obtenemos: A = 1/ (x + Ax. y + Ay) f (x, y + Ay)l-I/ (x + Ax, y)-/ (x, y)). Introduzcamos la funci n auxiliar:

(y) = / (* + Ax, y) - / (x, y).

Entonces:
Derivadas parciales de diferentes rdenes

92

Derivadas parciales de diferentes rdenes

93

A = * (y + Ay) - i|> (y).Aplicando otra vez el teorema de Lagrange, tenemos:

A = Ayif (y)

donde y est comprendida entre y e y + A y. Pero,

f (5) = /"(* + Ax. y) - f (x, y).

Aplicando una vez ms el teorema de Lagrange, obtenemos:

/,(x+Ax. y) fu (*. y) = Ax/' <x. y),

donde x est comprendida entre x y x -f Ax.

Asi, la expresin primitiva para A se puede escribir en la forma:

A = AyAx/', (, y).

(2)

Los primeros miembros de las igualdades (I) y (2) son iguules a .'1, por consiguiente son iguales tambi n los segundos miembros, es decir,

AxAy/i'(x, y) = Aj/Ax/i'^ (x, y),

Derivadas parciales de diferentes rdenes

94

de donde

;/) = 1, (x. y).

Pasando en esta ecuacin al lmite, cuando Ax * 0 y A;/ - 0, obtenemos:

lm /,' (x~ y) = lm /(x, y).


fli-B Al/ 0 A* 0 Atf 0

Como las derivadas /' y son continuas en el punto (x, y), tenemos:

lm /.;' (x. i) = /",' (X, y) y lim /"(x, y)=l',x(r, y).


A*- ti Ay 0

Ax O Al/ 0

Derivadas parciales de diferentes rdenes

95

En definitiva:

/i'i/ (x, !/) = /', (x, y) y queda as demostrado el teorema.

El corolario del teorema demostrado es: si las derivadas parciau" t"/ oz*

les Tti-t y ~rr. son continuas, entonces: r o"! dx*dyn~

86

Funciones de varios variables

Un teorema anlogo es vlido para la (uncin de cualquier nmero de variables.Ejemplo 4. Hallar

86

Funciones de varios variables

Por consiguiente, FLU

86

Funciones de varios variables

= | grad u [.

Observacin. Si u = u (i, y) es una funcin de dos variables el vector , du . , du . GN=

est en el plano Oxy. demostremos que grad u es perpendicular a la lnea de nivel u (x, y) c, la cual se lialla cu el plano Oxy y pasa por el punto correspondiente. En efecto, el coeficiente angular fc,

de la tangente a la linea de nivel u (i. y) - c ser igual a k, ~ . El coeficiente angular Ar, del gradiente es igual a k2 Es eviU-x

dente que kxk2 1, lo que comprueba que nuestra afirmacin es vlida (fig. 181). La propiedad anloga del gradiente de una funcin do tres variables ser establecida en el 6 del captulo IX.

86

Funciones de varios variables

Ejemplo 2. Hallar el gradiente de la funcin

+ ~ (fig. 182) en

el punto A/ (2, 4).

Frmula de Taylor para una funcin de dos variables

100

Por lano,

grad u= 24+

i.a ecuacin de la linea de nivel (fig. 183) que pasa por el punto dado ser:

Frmula de Taylor para una funcin de dos variables

101

Fig. 182

Fig. 183

Frmula de Taylor para una funcin de dos variables

102

16. FORMULA DE TAYLOR PARA UNA FUNCION DE DOS VARIARLES

Supongamos que una funcin de dos variables

* = / (*. y)

es continua, lo mismo que todas sus derivadas parciales de orden basta (n + f) inclusive en cierta vecindad del punto M (a, i). Entonces se puede representar la funcin de dos variables, al igual que se hizo en el caso de la funci n de una variable, (vase 6, cap IV), como la suma de un polinomio de n-simogrado, desarrollado segn las potencias enteras de (x a) e (y b) y un resto. Demostremos despus que para n = 2, esta frmula tiene la forma: / (x, y ) = A 9 + D ( x - a ) + E ( y - b ) + + i [A (x - af + 2B(x - a) (y - b) + C ( y - bf] + /?,, (1)

donde los coeficientes .40, O, E, A, B, C no dependen de x e y, mientras que el resto /?3 tiene una estructura anloga a la del trmino complementario de la frmula de Taylor para una sola variable.

Apliquemos la frmula de Taylor para la funcin / (x, y) de una sola variable y, considerando x constante (hasta los trminos de
20*

Frmula de Taylor para una funcin de dos variables

103

segundo orden): f(x, y) = f(x. 61 + ~r (z. b) +

donde r|, = b + 0, (y b), 0 < i), < 1. Utilizando la frmula de Taylor, desarrollemos las funciones / (x, b). / (x. b). /" (x, b) segn las potencias enteras de (x a ) , hasta las derivadas mixtas de tercer orden inclusive:

/<*, &)=/(<.. />) + 6) +

(a b) +

'

IT.

A)

- (3>

donde = x -I 62 (x o), 0 < 6, < 1;

/i*. fc) = /i(a. +

2. 6). (4)

donde = * -) 03 (x - o), 0 < 03 < 1; 6) = /;. (a. 6) + jff/w<. W. (5)

Frmula de Taylor para una funcin de dos variables

104

donde |3 = x + 8, ( o); 0 < 0, < 1.

Introduciendo las expresiones (3), (4) y (5) en la frmula (2), obtenemos:

6)] + ^ L * [ / ; ( < . , ) + a , . t > ] +

, to-fe)V . .

Disponiendo los nmeros como se indica en la frmula (1), obtenemos: /(x. y) = f (a, b) + (x-a)fx(a. b) + (y - b) /" (a, 6)+

a)Y'* (o, 6) + 2(x-a) ( y - b ) (a, b ) + + (y-b)2r-u(a. ] +-i-[(*-)'/,(., b) +

+ 3(i-a)2 (y - b) (E., b) + 3 (x - a) (y - b)*K <&,. b ) +

+ I- (6> Esta es la frmula de Taylor para n 2. La expresin /f2 = -l[(x_a) /;(E,. b) + 3(x-af(y-b)fxxlia1. b) +
5

Frmula de Taylor para una funcin de dos variables

105

+ 3 (x - a) (y - b)*Kn (* &) + (-

(a. i))]

se llama trmino complementario. Pongamos ahora x a = Ax, y b = A y, Ap (Ax)* -f (A y)', y transformemos fl3:

Z^rsrKm <1. + ^ri/L <. n)l Ap'.

Ap

Ap

Puesto que | Ax | < Ap. | A/ | < Ap. y las terceras derivadas, segn la hiptesis, son acotadas, el coeficiente de Ap3 es limitado en el dominio examinado. Designemos este coeficiente por a0 y escribamos: li. o0A|3.

La frmula de Taylor (6) para n = 2 loma la forma: / <*. y) = / (a. b) + Ax/; (a, ) + Ay/ (a. 6) +

+ y, [ AX'fxx (a, b) + 2Ax Ayfx (o. b) + Ay*f (a. )] + a Ap'. ((>') Para cualquier n la frmula de Taylor tiene una forma semejante.

S 17. MAXIMO Y MINIMO DE UNA FUNCION DE VARIAS VARIABLES Definicin I. Se dice que la funcin z / (x, y) tiene un mximo en el punto ;l/0

(x0, ;/0) (es decir, cuando x = x0, e y = y0) si / (Jo- yo) > / (x, y)

Frmula de Taylor para una funcin de dos variables

106

para todos los puntos (x, y) suficientemente prximos al punto 0o) y distintos do este punto.

Definicin 2. De modo igual se dice que la funcin i / (x, y) tiene un mnimo en ol punto M0 (x0, y0), si

/ (*. y) < / y)

para todos los puntos (x, y) suficientemente prximos al punto (xQ. ya) y distintos de este punto.

El mximo y el mnimo do una extremo en un punto dado, si tiene

funcin se llaman exiremos de esta funcin, es decir, la [uncin admite un un mximo o un mnimo en esto punto.

Ejemplo 1. I.n funcin

Frmula de Taylor para una funcin de dos variables 107 S-(x-t) i (y-2)2-t alcanza el mnimo para x = 1, y 2. es decir, en el puni (1, 2). Efectivamente, / (t, 2) = y como (x 1)J y (y 2)a son siempre positivos para z ./ i, v 2, entneos: <x-l)a -H/-2)=-t>-1

/<*. K / ( l . 2).

En la figura 184 se da la interpretacin geomtrica do este resultado.

Frmula de Taylor para una funcin de dos variables

108

Ejemplo 2. 1.a funcin z-- sen (xa-f-j/a) admito un mximo cuando

i H, y o (es decir, en el origen de coordenadas, vase la figura 18o). En efecto

Frmula de Taylor para una funcin de dos variables

109

/(0.0) =i-.

En el interior de la superficie

= lomemos un punto (x, y)

Frmula de Taylor para una funcin de dos variables

110

es, para 0<xa + /<- tenemos: sen(x'-hy') >0

/<*. t0</(0. 0).

es decir,

La definicin de mximo y mnimo de la funcin se puede formular del modo siguiente:

Hagamos x x0 + Ai, y = yo -f Ay; entonces: / (x. y) / (x0, y0) = / (i0 I- Ai, y0 + Ay) f (i0, y0) = A/.
Mximo y mnimo de una funcin de parias variables_______________________31 i

1) Si A/ C 0 para todos los incrementos suficientemente peque os de las variables independientes, la funcin / (i, y) admite un mximo en el punto M (x0, y0).

2) Si A/ > 0 para todos los incrementos suficientemente pequeos de las variables independientes, la funcin / (i, y) admite un mnimo en el punto A1 (x0. y0).

Estas definiciones son igualmente vlidas para una funcin de cualquier nmero de variables.

Teorema 1. (Condiciones necesarias para la existencia de un extremo). Si la funcin z / (x, y) toma un extremo, cuando x x0 e y = y0, entonces cada derivada parcial de primer orden de z o bien se anula para estos valores de los argumentos, o bien no existe.

En efecto, demos a la variable y un valor determinado, y = y0. Entonces la funcin / (x, y0) ser la funcin de una sola variable x. Puesto que la funcin tiene un extremo (mximo o mnimo) cuando

x XQ, por consiguiente,

es igual a cero, o no existe. De

W1/0

modo semejante se puede demostrar que (^7 Ve o no existe.

Ufua! a cero

Mximo y mnimo de una funcin de parias variables_______________________31 i

Este teorema no es suficiente para estudiar el problema de la existencia de los valores extremos de la funci n. Sin embargo, si estamos seguros de quo existen los extremos, este teorema nos permite hallar sus valores. En caso contrario es preciso hacer un estudio m s detallado.

Asi por ojomplo, la funcin z = x*y* tieno las derivadas = -+- ir;

'y, que se reducen a cero cuando s U, y U.

Sin embargo, la funcin no tionc mximo ni mnimo pnrn los valores indicados. Kn efecto, esta funcin es igual a cero en ol origen de coordenadas, mientras que en la vecindad inmediata de esto punto, toma tantos valore posi tivos como negativos. Por consiguiente, el valor cero no es mximo ni mnimo (fig. 180).

Los puntos donde 0 (o no existe) y = 0 (o no existe), se llaman puntos crticos de la funcin z = / (x, y).
Mximo y mnimo de una funcin de parias variables_______________________31 i

Si la funcin alcanza el extremo en cualquier punto, esto puede tener lugar (en virtud del teorema 1) s lo en el punto crtico. Para estudiar las funciones en puntos crticos establezcamos las condiciones suficientes del extremo de una funci n de dos variables. Teorema 2. Sea f (x, y) una funcin definida en un dominio que comprende el punto .!/ (x0, y0). Esta funcin tiene derivadas parciales

Fig. 1S6

continuas de hasta tercer orden inclusive. Supongamos, adems, que Of (*o. !/o) = u <V(x0, y,) _u

MQ {X0, y) es un punto crtico de la uncin f (x, y), es decir:

Mximo y mnimo de una

funcin de parias variables 31 i

AC B* = a*< 0. Por consiguiente, en el punto A/2 tampoco hay mximo o mnimo. En el punto A/j (a. 0) tenemos: .4 0; B a; C ^ 2n; AC B4 a*<0. En el punto A/3 no hay mximo, ni mnimo. En el punto

A/4 ,

tenemos:

Mximo y mnimo de una

funcin de parias variables 31 i

Por tanto, la funcin tiene el mximo en el punto A/4.

Mximo y mnimo de una

funcin de parias variables 31 i

Mximo y mnimo de una

funcin de parias variables 31 i

Observacin. La teora de mximos y mnimos de la funcin de varias variables sirve de base para un mtodo de obtencin de frmulas que representan dependencias funcionales mediante los

Mximo y mnimo de una

funcin de parias variables 31 i

datos experimentales. El problema de Obtencin de una (uncin a base de los datos experimentales segn el mtodo de cuadrados mnimos se estudia en (9 del captulo presente.

$ 18. MAXIMO Y MINIMO DE LA FUNCION DK VARIAS VARIABLES RELACIONADAS MEDIANTE ECUACIONES DADAS (MAXIMOS Y MINIMOS CONDICIONADOS)

Numerosos problemas de la determinacin de los valores ms grandes y ms pequeos de la (uncin se reducen a la bsqueda de los mximos y los minimos de una (uncin de varias variables que no .son independientes, sino que estn relacionadas entre si mediante ciertas condiciones adicionales (por ejemplo, las variables deben satisacer a las ecuaciones dadas).

Examinemos, por ejemplo, el siguiente problema. De un pedazo de hojalata dado de rea 2a hace (alta hacer una caja cerrada en forma de paraleleppedo que tenga el volumen mximo. Designemos el largo, el ancho y el alto de ia caja por x, y, z respectivamente. El problema se reduce a la bsqueda del mximo de la funcin v = xyz,

Mximo y mnimo de una

funcin de parias variables 31 i

a condicin de que 2xy + 2xz -(- 2yz 2a. Aqu se trata de un problema del extremo condicionado: las variables x, y, z estn ligadas por la relacin 2xy + 2x2 + 2yz = 2a. En este prrafo examinemos los mtodos que se usan para solucionar tales problemas.

Estudiaremos, al principio, el problema del extremo condicionado de una funcin de dos variables, ligadas slo por una condicin. Hallemos los mximos y los mnimos de la funcin

=/(*. y),

(i)

a condicin de que x e y estn ligados entre s por medio de la ecuacin q> (*.

y)

0.

(2)

Al existir la condicin (2), slo una de las dos variables x e y es independiente (por ejemplo x), puesto que y se determina de la ecuacin (2) como funcin de x. Si resolvemos la ecuacin (2) respecto a y, sustituimos en la igualdad (1) y por la expresin hallada, obtenemos la funcin de una variable x y reducimos el problema al estudio de m ximos y mnimos de 1a funcin de una sola variable independiente x.

Podemos tambin solucionar el problema planteado sin resolver la ecuaci n (2), respecto a i o y. La derivada de u respecto a x debe reducirse a cero para aquellos valores de x en los que la funcin u pueda tener mximo o mnimo.

Mximo y mnimo de una

funcin de parias variables 31 i

Hallemos ~ de la ecuacin (1), teniendo en cuenta que y es unafuncin <le x:

du __ df df dy dx dx dy dx l'or tanlo, en los puntos de extremo 3L + JLJL=o. O)

dx dy dx De la igualdad (2) hallemos:

9v+dvdy=0 dx dy dx

(4)

Lo igualdad (4) es vlida para todos los x e y que satisfagan a la ecuacin (2) (vase 11, cap. VIII). Si multiplicamos todos los trminos de la igualdad (4) por un coeficiente indeterminado X, y ios sumamos con los trminos correspondientes de la igualdad (3), obtenemos:

(JL + J L < ? } + * ( * +

\ dx

dy dxl \ dx dy dx'

X ) + ( + X \ dx dx > \ Oy dy ) dx

= 0.

(5)

Mximo y mnimo de una

funcin de parias variables 31 i

lista igualdad se cumple en todos los puntos en que hay un extremo. Elijamos X de manera tal que para los valores de x e y

'dy

correspondientes a un extremo de la funcin u la expresin +

-)- X ) de la frmula (5) se reduzca a cero *), dy! dy dy

Entonces para estos valores de x e y de la igualdad (5), se deduce que: dx dx

Mximo y mnimo de una

funcin de parias variables 31 i

Para ser ms precisos supongamos que en las puntos crticos dij

123

Funciones de varias variables

Asi, pues, en los puntos de extremos se satisfacen tres ecuaciones

di IL

Oy f(x. y) = 0

de tres incgnitas x, y, X. De estas ecuaciones determinemos x e y. asi como X. La ltima desempe un papel auxiliar y ya no es necesaria.

Est claro que las ecuaciones (ti) son condiciones necesarias para la existencia de un extremo condicionado, es decir, en extremos se cumplen las ecuaciones (t). La proposicin reciproca no es cierta puesto que la funci n puede no tener un extremo todos los xey (y X) que satisfagan las ecuaciones (6). Entonces hace falta realizar un estudio adicional de la naturaleza Solucionando problemas concretos, se logra a veces determinar la naturaleza del punto cr tico a base del carcter del Observemos, que los primeros miembros de las ecuaciones (6) son las derivadas parciales de la funci n

los pun tos de Jos condicionado para del punto cr tico. mismo problema.

F (x, y, X) / (x, y) (- X<p (x, y)

(7)

respecto a las variables x, y, X.

Asi, con el fin de bailar los valores de x e y que satisfagan a la condicin (2), para los cuales la funcin u = f (x. y) pueda tener un mximo o un mnmo condicionado, es preciso formar una funcin auxilar (7), igualar a cero sus derivadas respecto a x, y yXy determinar los desconocidos x, y (igual que el factor auxiliar X) de las tres ecuaciones (6) obtenidas. El m todo examinado puede ser extendido al estudio del extremo condicionado de una funcin de cualquier nmero de variables.

Supongamos que es preciso determinar los mximos y los mnimos de la funciu u = / (x,, x: las variables xlt x5, . . . , x estn ligadas mediante m(m<.n) ecuaciones:

x) de n variables, a condicin de que

124

Funciones de varias variables

fi(*i, *z.......................................................................................................... *) = 0,

*J=0.

(8)

<Pm (X<. *2.................................................................................................... Xn) = 0.

Con el objeto de hallar los valores de x,, x2, ... , x, para los cuales puedan haber mximos y mnimos condicionados, hay que

Mximo y mnimo de una

funcin de parias variables 31 i

formar la funcin:

F<*x. ............................................................... *n. .................\ m ) = / ( x .............. x) + X,<p, (x ............x) +,

+ *2<P3 (*

.................................................X) + ... -f XmIJ>m (x, dx+ ... +X + . . . + *


3-+K a

X),

lar a cero sus derivadas parciales respecto a x,, x2, . . x:

JL

dx, <>/

Determinemos (8) y (9) x,, x2..............................................................................................................................................

de las m + n ecuaciones

x, as como las incgnitas auxiliares X,, . . ., >.,. Como en el caso de una funci n de dos variables, el problema de la existencia de un mximo o un mnimo, para los valores encontrados de la funcin o de la ausencia completa de cualquior extremo en este punto queda pendiente.

Esta cuestin la resolvemos mediante consideraciones auxiliares.

KJemplo 1. Volvamos al problema formulado al principio del prrafo presente: hallar el mximo o -- xyz,

Mximo y mnimo de una

funcin de parias variables 31 i

de la funcin

+ "~yz-a u (j>0, I>0, i>0). Formemos una funcin auxiliar: F (*. y. X) xyz ' >. (xy-f-xs-1 y: a). Hallemos sus derivadas
parciales y las igualamos a cero

121 problema se reduce a la solucin del sistema de cuatro ecuaciones (10) y (11) con cuatro incgnitas (x. y, z, y X). Para solucionar este sistema, multipliquemos la primera ecuacin de (11) por z, la segunda por y. la tercera, por x, y sumemos las expresiones obtenidas. Teniendo en cuenta la igual

Poro, en este caso so deduce de la ecuacin (10): x = y = x = obtenido de \ obtenemos:

As, obtenemos el nico sistema do los valores x, y, i para los cuales la funcin puede tener un mximo o un minimo.

Se puede demostrar que ste es el punto de mximo. Lo mismo se deduce tambin de ciertas consideraciones geomtricas: segn las condiciones del problema, el volumen de Ja caja no puede ser infinitamentegrande, por tanto, el volumen debe ser mximo para ciertos valores de sus lados.

Entonces, el volumen do la caja es mximo, cuando sta tiene la forma

do cubo, con arista igual a j/ y .

Ejemplo 2. Hallar el valormximo dla raz do n-simo grado del producto do los nmeros xit x, . . x, a condicin de quo la suma de estos nmeros sea igual a un nmero dado a. El probloma, por consiguiente se puede plantear as:

hallar ol mximo (lo la (uncin u = r,. . . xn, a condicin do que:

*i + *2+...+in 0=0

(x,>0, x2>0..........................................................................x>0).

Formemos una funcin auxiliar:

F (xt..........................................................................x, M = ........................rn + M*l+*I |-...+*n <)

Hallemos sus derivadas parciales:

J------------------------------------- * + )l = _L JL+^o n=-nXx

XI n "
(x, ... x) "

n-l

71 Xj

Obtencin de una funcin a base de dalos experimentales

133

De las ltimas ecuaciones encontremos:

y, en virtud de la ecuacin (12), obtenemos:

*<=*- -*"f

21

Obtencin de una funcin a base de dalos experimentales 134 La naturaleza del problema dicta que en este punto crtico la funcin

y x. . . xn tiene un mximo igual a .

21

Obtencin de una funcin a base de dalos experimentales 135 Por consiguiente, para todos los nmeros positivos zlt x2.......................................................................x, ligados

medanlo la correlacin xx -f- x2 -f- . . . + xn = fl. se cumple la desigualdad:

21

y x, ... xn<-_

Obtencin de una funcin a base de dalos experimentales

136

(13)

(puesto que, segn lia sido demostrado, ~ es ol mayor valor de esta funcin).

21

Sustituyendo a en la desigualdad (13) por su expresin de la ecuacin (12), obtenemos:

Obtencin de una funcin a base de dalos experimentales

137

V x,^...

(U)

21

Obtencin de una funcin a base de dalos experimentales 138 Esta ecuacin os vlida para todos los nmeros provistos x,. x 2, . . ., x. La expresin del primer miembro de la igualdad (14) se llama valor medio geomtrico de estos nmeros. As. el valor medio geomtrico de unos cuantos nmeros positivos no es mayor que el valor medio aritmtico du estos nmeros.

19. OBTENCION DE UNA FUNCION A BASE DE DATOS EXPERIMENTALES SEGUN EL METODO DE CUADRADOS MINIMOS

Supongamos que es preciso determinar experimentalmente una dependencia de la magnitud y en funci n de x: y = v (x). (i)

Sea el resultado del experimento n valores de la funcin y para los valores correspondientes del argumento x:

21

Obtencin de una funcin a base de dalos experimentales

139

La forma de la funcin y if (x) so determina tericamente o a base del carcter de disposicin en el plano de coordenadas de los puntos que corresponden a los valores experimentales. Estos puntos se llaman experimentales. Supongamos que los puntos experimentales se disponen en el plano de coordenadas de la manera indicada en la fig. 187a.

Tomando en consideracin que durante el oxperimento tienen lugar errores, es natural suponer que la funci n desconocida y <p (x) se puede buscar en la forma de una funcin lineal y = ax + b.

Si los puntos experimentales estn dispuestos de la manera indicada en la fig. f87 />, es natural buscar la funci n y ~ if (x) en la forma: y = ex6, etc. Elegida la forma de funcin y <p (x, a, 6, c, . . .), tenemos que buscar los parmetros a, b, c, . . . (que la integran) de modo tal que la funcin describa de la mejor manera el proceso examinado.

21

El mtodo ampliamente difundido para solucionar el problema dado es el de cuadrados mnimos que consisto en lo siguiente.

Obtencin de una funcin a base de dalos experimentales

140

Examinemos una suma de los cuadrados de diferencias de los

valores yi, que se obtienen del experimento, y la funcin q> (x, a,

b,

c, . . .) en los puntos correspondientes:

S(a. b, c, ...)= [^-pxj, a. b, c, .. ,)f.

(2)

i i

Elijamos los parmetros a, 6, c, . . . de modo que esta suma tenga valor mnimo:

y, <p(x,, a, b, c, ...)J2=mn. (3) i i

As, el problema se ha reducido a la bsqueda de los valores de los parmetros a, b, c, . . ., para los cuales la funcin S (a, b, c, ...) tiene un mnimo.

En virtud del teorema 1 (pg. 311) tenemos que estos valores a, b satisfacen el sistema de ecuaciones

21

Obtencin de una funcin a base de dalos experimentales

141

Aqu, el nmero de cuestin sobre la existencia (o, b, c, . . .). Examinemos algunos casos o, b, c, .. .)] I. Sea y = ax + b. Entonces, la funcin S (a, h)

ecuaciones es igual al de incgnitas. En cada caso concreto se investiga la de la solucin del sistema de ecuaciones (5) y del minimo de la funci n S de la determinacin de la funcin y q> (x, a, 6, c, ...).

tiene la forma: (vase la expresin (2)):

()

Esta es una funcin con dos variables, a y b (x, e 323). Por consiguiente, a y b {x, tabla en la pg. 323). Por coi

y son nmeros dados; vase la tabla en la pg.

OS db

ii'

es decir, el sistema de ecuaciones (5) en este caso, loma la forma:

21

Obtencin de una funcin a base de dalos experimentales

142

n 2 y,xi a 2 x) b x, o. (7)

2 y a X xi ~ <>n = 0.

Hemos obtenido el sistema de dos ecuaciones lineales con dos inc gnitas a y b. Es evidente que el sistema tiene una solucin

21

Obtencin de una funcin a base de dalos experimentales

determinada y la funcin S (a, b) tiene un mnimo para los valores encontrados a y 6*).

143

II. Sea la funcin de aproximacin un trinomio de segundo grado y = ax' H- bx + c. En este tiene la forma:

caso la expresin (2)

f+x. + c))1. i i

Esta es una funcin de tres variables a, b, c. El sistema de ecuaciones (5) toma la forma:

ii

2 {y, - {ax , + bx, + c)Jx, = 0, i i


2

2 [Vi ("x, + bx, + c)J = 0. i- i

o, en la forma desarrollada:

2 yrf-a 2 A-b 2 *- 2 *=o. 2 y,x, a 2 x' b 2 2 '1 = 0,

l-l

I I

l-l

1-1

21

2 y I 2 '] b 2 X, EN

Obtencin de una funcin a base de dalos experimentales

144

i I

I- I

iI

Obtenemos un sistema de ecuaciones lineales para determinar las inc gnitas a, b, c. De las condiciones del problema se deduce que el sistema tiene una solucin determinada y, adems, la funcin S (a, b, c) tiene un mnimo para los valores obtenidos de a, b, c.

") Esto 8o verifico fcilmente tambin a base do las condiciones suficientes (vase la pg. 312). En electo, tenemos:
PS ,

a=2j*<;

da db 2j *<' ai

B>S -CT . IFLS

t-t

t-l

21

Por consiguiente,

Obtencin de una funcin a base de dalos experimentales

145

l-l

1-1 1

21

Obtencin de una funcin a base, de datos experimentales 146 Ejemplo: Supongamos que a baso de un experimento hemos obtenido cuatro valores ce la funcin buscada y = <l> (x), para los cuatro valores del argumento (n = 4) que so dan en la labia

Obtencin de una funcin a base, de datos experimentales

147

Busquemos la funcin <p en forma de una funcin lineal y az b. Formemos la expresin S (a, b):

S(a,

Utt-(*j+ *)!'.

Fig. 187c

I'ara formar el sistema (7), de determinacin de los coeficientes a y b, calculamos previamente

Obtencin de una funcin a base, de datos experimentales

148

*i

2*1*1-21; 2*5 = 39; 2 <=>

El sistema (2) toma la forma:

Obtencin de una funcin a base, de datos experimentales

149 21 39a 116 0, \ 10lia 46 = 0. I

20 159

Obtencin de una funcin a base, de datos experimentales

150

Resolviendo este sistema, hallamos a y b: a =

^ ,

&

L a

recta buscada (vaso fig. 187c) es:

Obtencin de una funcin a base, de datos experimentales

151

$ 20. PUNTOS SINGULARES DE UNA CURVA

El conceptu de la derivada parcial so utiliza para el estudio do las curvas.

Sea F (x, y) = 0, la ecuacin de una curva. El coeficiente angular de la tangente a la curva se determina seg n la frmula: dF dy Ox dx 0F_ Oy

(vase 11, cap. VIII). Si por lo meno3 una de las derivadas parcia- 0F dF

les y no so reduce a cero on el punto dado M (x, y) do la curva Ox Oy

Obtencin de una funcin a base, de datos experimentales

152

examinada, en ste se defino o ^ . La curva F (x. y) 0 tiene dx dy

en esto punto una tangente bien determinada. En este caso M (x, y)

ntrario, si el punto Af 0 \ dx /x-x

(-2*0 yo) es tal que: _0 y =0.

\ dy /xr,x

e angular de la tangente es indeterminado. dF dF

Definicin. Si ambas derivadas parciales, y , se anulan

en el punto Ma (x0, tfo) de la curva F (x, y) = 0 ste se llama punto singular de la curva. Por consiguiente, el punto singular de la curva est determinado por el sistema do ecuaciones: dy

^ = 0; ^- = 0. dx

Claro est que no todas las curvas tienen puntos singulares. Por ejemplo, para la elipse a2 b1

que
Ftr

Obtencin de una funcin a base, de datos experimentales

153

1 dF

F -2

as y ^ se reducen a cero slo cuando x = 0, y = 0. dx dy

Obtencin de una funcin a base, de datos experimentales

154

Pero estos valores de x e y no satislacen la ecuacin de la elipse, por consiguiente, la elipse 110 tiene puntos singulares.

Sin emprender un estudio detallado de 1a conducta de una curva en la proximidad del punto singular, examinemos unos cuantos ejem plos de curvas que tienen puntos singulares.

puntos singulares de la curva j-xfx o) = 0 (a>0)

Obtencin de una funcin a base, de datos experimentales

155

Solucin. En el caso dado F (x, y) x(x a)1, por tanto

=(*-) (-3x);

Resolviendo tres ecuaciones en conjunto: F(x,y)^0, = dx y

Obtencin de una funcin a base, de datos experimentales

156

hallamos el sistema nico de valores de x o y que las satisface:

r0

a, yQ - . 0.

Por consiguiente, M0 (a, 0) es el punto singular de la curva.

Obtencin de una funcin a base, de datos experimentales

157

Estudiemos la conducta de la curva en la proximidad del punto .singular y construyamos esta curva. Escribamos la ecuaci n dada en la forma:

/=(x-a) V*'

Obtencin de una funcin a base, de datos experimentales

158

De esta frmula so deduce que la curva:

Obtencin de una funcin a base, de datos experimentales 159 1) est definida slo para x ^ 0: 2) es sim trica con relacin al eje Ox\ 3) corta el eje Ox en los puntos (0,0) y (a, 0). Como so ha indicado, el ltimo punto es singular.

Examinemos nritnero la parte de la curva, correspondiente a los valores positivos. y (x-a)yx.

Obtencin de una funcin a base, de datos experimentales


v

160

egunda derivadas de y respecto a x: , 3xa . 3 x-\-a v y x '

~4x]/'

Para x=0 tenemos y'=oo. Por consiguiente, la curva toca el eje Oy en el origen de coordenadas. Para

tenemos y'y* > 0, es

decir, la funcin y tiene un mnimo cuando x :

Obtencin de una funcin a base, de datos experimentales

161

2o /T

Obtencin de una funcin a base, de datos experimentales

162

En el segmento 0 <C x < a tenemos {/<0; para x > , y'> 0; cuando x* oo, y>co. Pora

tenemos y' 1/a, es decir, la rama de la curva

163 Funciones de varias variables y t-(xa) ~\/x tiene una tangente y \/a(x a) en el puni singular (a. 0).

Puesto quo la segunda rama de la curva y = (x a) '[/x es simtrica a la primera respecto dol eje Ox, es claro que en el punto singular la curva tiene otra tangente (a la segunda ruma) definida por la ecuacin

y=* Va (*)

164 Funciones de varias variables La curva pasa dos veces por ol punto singular. Tal punto se llama doble (o crunodal). La curva examinada se expone en ta figuru 188a.

Ejemplo 2. Hallar los puntos singulares de la curva parbola sem i cubica)

165

Funciones de varias variables

y* x* = 0.

Solucin. Las coordenadas de los puntos singulares se determinan, resolviendo el sistema de ecuaciones:

166

Funciones de varias variables

ya x3 -=0; 3/a 0; 2y=0.

Por tanto. M0 (0, t) es el punto singular. Escribamos la ecuacin dada en la forma

y- rfc Vi3 .

167 Funciones de varias variables Para construir la curva, estudiemos al principio la rama que corresponde a los valores positivos: la otra rama de la Fi tftftb curva, correspondiente a los valores negativos, no necesita un rig. laso estudio especial, puesto quo es simtrica a la primera con relacin al ojo Ux.

La funcin y est definida slo para x > 0, no es niygativa y crece con el aumonio do x. Hallemos primera y segunda derivadas do la funcin y 1/x*:

,3_.31

168

Funciones de varias variables

'-TV* '-TyS"

Para x 0 tenemos: y = 0. y' = 0. Por consiguiente, la rama examinada de la curva tiene una tangente y en el origen de coordenadas. La segunda rama de la curva y Vx' tambin pasa por el origen do coordenadas teniendo la misma tangente y 0. Por tanto, dos diferentes rama9 do la curva pasan por el origen do coordenadas, tienen una misma tangente y se disponen sim tricamente por ambos lados do esta tangente. Tal punto singular se llama punto de retroceso de primera especie (fig. 188 />)

169 Funciones de varias variables Observacin. Se puede considerar la curva y3 xs 0como un caso lmite de la curva y* x (x a)* (examinada en el ejemplo 1), cuando a 0, es decir, cuando el lazo de la curva se contrae hasta reducirse a un solo punto.

Ejemplo 3. Estudiar la curva (y x*)* x6 0.

170 Funciones de varias variables Solucin. Las coordenadas de los puutos singulares se determinan por el sistema de ecuaciones

4x(y-x*)-5x~0: 2(yX*) =0,

171 Funciones de varias variables quo tiene la solucin nica: x = 0, y = 0. Por tanlo, el origen de coordenadas es un punto singular.

Escribmosla ecuacin dada on la forma: y x* V*8- e3la ecuacin se deduco que x puedo tomar todos los valores comprendidos entro 0 y -f- oo.

172

Funciones de varias variables

Hallemos las derivadas de primer y segundo orden: y'=-2z^- Vi; / = 2iiyx.

173 Funciones de varias variables Estudiemos por separado las ramas de la curva que corresponden respectivamente a los valores positivos y negativos. En ambos casos para x = 0 tenemos: y = 0, y' = 0, es decir, el eje Ox es la nica tangente para las dos ramas. Examinemos al principio la rama

Cuando x crece desdo 0 hasta oo, y tambin crece desde 0 hasta oo. La rama segunda

yc=*_ y

174

Funciones de varias variables

corta el ejo Ox en los puntos (0, 0) y (1, 0). Cuando x = ^ , la funcin y =*

= x" yx6 tiene un mximo. Si x -*- -f- oo, entonces y -* oo.

175 Funciones de varias variables As, las dos ramas de la curva pasan por el origen do coordenadas. Ambas tienen una misma tangente y se disponen por un lado do sta, en la vecindad del punto de contacto. Tal punto singular se llama punto de retroceso de segunda especie. La grfica de la funcin estudiada est expuesta en la figura 189.

Ejemplo 4. Estudiar la curva ya xJ + = 0.

176 Funciones de varias variables Solucin. El origen de coordenadas es un punto singular. Para examinar variaci n de la curva en la vecindad de este punto escribamos la ecuaci n de la curva en forma: y = x* y^i.

Puesto quo en la ecuacin entran solamente potencias pares de las variables, la curva es siqa trica con relacin a los ojes de coordenadas y, por consiguiente, es suficiente estudiar una parte de la curva, correspondiente a los valoros posi tivos de x e y. Do la ltima ecuacin so deduce quo x puede variar en el segmento desde 0 hasta 1, es decir, 0 < x I.

177

Funciones de varias variables

Hallemos la primera derivada para la rama do la curva quo presenta grficamente la funcin y = + xt'\/i x*:

x(2-3**)

yizr

178

Funciones de varias variables

Para x = 0 tenemos: y 0, y' = 0. Por tanto, la curva toca el eje Ox en el origon do coordenadas.

Para x = X tenemos: y 0, y' oo. Por consiguiente, en el punto (i, 0)

179

Funciones de varias variables

la tangente es paralela al ejo Oy. Cuando x

'a funcin tiene un mxi

mo (fig. 190).

180

Funciones de varias variables

En el origen de coordenadas (en el punto singular) las dos ramas de la curva, quo corresponden a los signos positivo y negativo delanto de la ra z, se locan

mutuamente. Tal punto singular se llama punto de osculacin (se llama tambin

tacnodo).

Ejemplo 5. Estudiar la curva y* x* (x 1) = 0.

181

Funciones de varias variables

Solucin. Escribamos el sistema de ecuaciones quo defino los puntos singulares:

ya-x*(x1)=0; 3xs | 2x = 0; 2y=0.

182

Funciones de varias variables

Este sistema tiene la solucin: x 0, y = 0, por consiguiente, el punto (0. 0) de la curva essinguiar. Escribmosla ecuacin dada en fa forma y x\'x t. Es evidente que x uuede tomar todos los valores comprendidos entro 1 y +00, as como el valor ae cero (en este caso y 0).

Estudiamos la rama de la curva correspondiente al valor positivo, delante de la ra z. Cuando x crece dosde 1 basta 00, y aumenta tambin desde 0 basta 00. La derivada es:

3J 2

" 2 VTT\

183

Funciones de varias variables

Para x = 1 tenemos y' = 00. Por consiguiente, on el punto (1,0) la tan gente es paralela ol eje Oy.

La segunda rama de la curva, que corresponde al signo negativo, es simtrica a la primera respecto al eje Ox.

Ejercicios para el captulo V I 1 1 184 El punto (0, 0) tiono coordenadas quo satisfacen la ecuacin v, por tanto, pertenece a la curva, pero en su vecindad no hay otros puntos de la curva (fig. 191). El punto singular de este gnero se llama aislado.

Ejercicios para el captulo VIII Hallar las derivadas parciales do las siguientes funciones: 1. j = j-2 .sen* y. Itesp. x scn2j/. 2. t = x *. fesp.
a v

2x sen* y\

_ dz * "'>. i.

z 2

* | x. 3. u x^+^+'V

Ejercicios para el captulo V I 1 1

2xr"++"; ~ . dx
d

185

ti A ncsp.

.,.

f>

dz

'

o. i arcotg(ry). fesp.

VxH-y'+z ' l + x*y W y dz y dz * 6. z arcotg. fesp. -------------------------------------------------------------------d*z (ftz

Ejercicios para el captulo V I 1 1

186

-f =0. 39. Demostrar que, s x = q(y-f flx)-|-\b(y ox), entonces: dx* dy* , :

para <p y cualesquiera, derivadas dos veces.

Ejercicios para el captulo V I 1 1

187

40. 60. fespuesta:

Hallar la derivada de la luncin 2 = 3a~ xy-f y3 en el punto M (1, 2) siguiendo direccin que forma con el eje Ox el ngulo de

5+11 V%

Ejercicios para el captulo V I 1 1 188 41. Hallar la derivada de la funcin 2 5x2 3x y 1 en el punto 3/(2, 1) siguiendo la direccin de la recta que une esto punto con el punto N{5, 5). fespuesta: !. 4.

42.

Hallar la derivada de la funcin /(x, y), siguiendo las direcciones:

1)

de la bisectriz del ngulo de coordenadas Oxy. fespuesta: J _ (-^H

Ejercicios para el captulo V I 1 1

189

2)

del semieje negativo Ox. fespuesta:

2 4 \ T ' 3 j

la derivada es igual a cero, siguiendo cualquier direccin ("funcin estacionaria").

Ejercicios para el captulo V I 1 1

190

44.

Determinar de todus los tringulos do igual permetro 2p el que tiene mayor rea, tiespuesta: tringulo equiltero.

45.

Hallar un paraleleppedo rectangular de rea total dada S que tenga

Ejercicios para el captulo V I 1 1

191

el volumen mximo, fespuesta: cubo con arista igual

46.

Hallar la distancia entre dos rectas en el espacio, cuyas ecuaciones

Ejercicios para el captulo V I 1 1

192

son:

* 1 y 2 x y z _

_^T = T. fespuesta-.

1/2

Analizar el mximo y el mnimo de la funcin:

Ejercicios para el captulo V I 1 1

193

47. z x3y*(a x y), fespuesta: mximo 2 para x=; y = . 48. z

-f r -fy2-f--^H- y fespuesta: mnimo z para x y = .

Ejercicios para el captulo V I 1 1

194

49. 2 = sen x-(- sen y-f sen (x-| y)

0-<y<-^-j fespuesta:

Ejercicios para el captulo V I 1 1

195

50. x = scn x sen y sen (x-f y) (0<[x-<jt; 0-<y< Jt): fespuesta: mximo z a I=K = t.

Hallar los puntos singulares do las curvas siguientes, analizar la naturaleza de estos puntos singulares y escribir las ecuaciones de las tangentes on estos puntos:

51.

Ejercicios para el captulo V I 1 1 196 x*-\-y* 3axy = 0. Respuesta: A/0(0, 0) os nudo; x = U, y=0 son ecuaciones do las tangentes.

52.

a4y2 x(a2 x2). /iespuesla: punto do osculacin en el origen de coordenadas; tangente doble

53.

y* -a-^x' "espufsa: Mq

Ejercicios para el captulo V I 1 1

os punto de retroceso de primera

197

especie, y2 0 es la ecuacin de la tangente.

54.

Ejercicios para el captulo V I 1 1 198 y*-x1 (9 x2). iespuesla'. M0{0, 0) e nudo, y = 3x son las ecuaciones de las tangentes.

55. doble.

x* 2axy axy2H-a2r2 0. Respuesta\ M0{0, 0) es punto do retroceso de segunda especie; y 2 0 os la ecuacin de la tangente

56.

Ejercicios para el captulo V I 1 1 199 y' (a* -f- x2) x2 (a2 x2). Respuesta: A/0(0, 0) es nudo; y x son las ecuaciones de las tangentes.

57.

6x2-j-a2y*~x2y2. Respuesta. M0(0, 0) es un punto aislado.

58. curva.

Ejercicios para el captulo V I 1 1 200 Demostrar quo el origen do coordenadas para la curva y rlnx es un punto extremo y que en este punto el ejo Oy es tangente a la

59.

Demostrar que el origen de coordenadas es el punto angular de la

C A P I T U L O

IX

curva y = j y que las tangentes en este punto son; a la derecha y O y a la izquierda y~x.APLICACIONES

DEL CALCULO DIFERENCIAL

A LA GEOMETRIA DEL ESPACIO

$ |. ECUACIONES DE LA CURVA EN EL ESPACIO

Estudiemos el vector OA r cuyo origen coincide con el de coordenadas, y su extremo es un punto A (x, y, z) (fig. 192). liste vector se llama radio vector.

Expresemos este vector mediante sus proyecciones sobre los ejes de coordenadas: Cuando t varia, las coordenadas x, y, z varan tambin y el punto 4, que es el extremo del vector r. describir en el espacio una linea llamada hodgra/o del vector r r (t). Las ecuaciones (I') o (1*)

,> 5:t4 se Manan ecuaciones vectoriales de una lnea en el espacio. Las ecuaciones (2) se llaman ecuaciones pnramtricas de una linea en el espario. Con ecuaciones se determinan las coordenadas x. y, z del punto corren pendiente de la curva para rada valor de 1.

Observacin. La curva en el espacio puede definirse tambin como el lugar geomtrico de los puntos de interseccin de dos super

ficies. Por tanto, esta curva

'M*. y. => = . \ QM*. y.

202

.'ipltcaciones del clculo diferencial a la geometra del espacio puede

estar dada por las dos ecuaciones de estas superficies:

=)=<'. I

Asi, por ejemplo, las ecuaciones x*+y: + z: = 'i,

son las de una circunferencia en el espacio que se obtiene como resultado de la interseccin de una esfera con un plano (fig. 193).

As, la curva en el espacio puede ser expresada o bien por las ecuaciones paramtriras (2). o bien mediante dos ecuaciones de las superficies (3).

Si eliminamos el parmetro t de las ecuaciones (2), y obtenemos dos ecuaciones que ligan x, y y z. realizamos el paso de las curvas dadas por el procedimiento paramtriro a las curvas expresadas por la interseccin de dos superficies. Itecprorainente, si ponemos x = <p () (donde q> (() es una funcin arbitraria) y hallamos y y z como funciones de t de las ecuaciones

<t>, I<p (0. y. *) - 0. 4), (0. y. z\ = 0,

Ecuaciones de la curva en el espacio

realizamos el paso de las curvas expresadas por la interseccin de dos superficies a las curvas dadas por el procedimiento paramtrico.

Ejemplo 1. Sean

22

x = 4/ 1, y~3/f + 2

las ecuaciones paramlricas de una recta. Eliminando el parmetro t obtenemos dos ecuaciones cada una de las cuales es la ecuaci n de un plano. Por ejemplo, al restar sucesivamente, trmino a trmino, de la primera ecuacin la segunda y la tercera, obtenemos: x y * = 3. Por otro lado.

restando la tercera, previamente cuadruplicada de la primera ecuaci n, obtenemos: x Az 9. Resulta que la recta dada es una l nea de interseccin de los planos z y x-f-3 0 y x Az -j- 9 = 0.

Ftg. 194

22

Ejemplo 2. Examinemos un cilindro recto de radio a cuyo eje coincido con -I eje Os (fig. 194). Arrollemos sobre este cilindro un tri ngulo rectngulo CXAC fie modo que el vrtice .1 del tringulo coincida con | punto de interseccin de la generatriz del cilindro con el eje Ox. y el cateto /lf, st? arrolle sobre ta seccin de este cilindro, situada cu el plano Oxy. En este caso la hipotenusa formar sobre el cilindro una lnea llamada hlice.

Escribamos la ecuacin del hlice, designando por x, y, ; las-coordenadas de su punto variable .1/ y por t el ngulo AOP (vase la figura 194). Entonces:

22

s (1 eos t, y -asen, z--=PM APlgti, donde, 0 designa ! ngulo agudo le tringulo (\AC. Notemos quo AP ** at (puesto que A P es <1 arco de una circunferencia de radio a correspondiente al ngulo central /l designemos tg 'l por m. As obtenemos las ecuaciones para- mtricas le hlice:

x a eos t, y a sen f, s = amt (aqu i es el parmetro), n en forma vectorial:

22

/ = ia eos i { Ja sen / -f fr amt.

De las ecuaciones paramlricas del hlice es fcil eliminar el parmetro t. Elevando al cuadrado y sumndolas,

dos primeras ecuaciones

22

208

.'ipltcaciones del clculo diferencial a la geometra del espacio

hallamos x' + v* o*. Esta es la ecuacin del cilindro sobre el cual est trazado el hlice. Ahora, dividiendo, termino a trmino, la segunda ecuacin por la primera y sustituyendo en la relacin obtenida el valor de / hallado do la tercera ecuacin, encontremos la ecuacin de otra superficie

sobre que est trazada el hlice: f

Esta es la llamada superficie helicoidal (hcllcoide). Se puede considerarla como la huella del movimiento de una semirrecta paralela al plano Oxy que tiene siempre uno do sus extremos en el eje O, mientras que la misina semirrecta gira alrededor del ejoOz con una velocidad angular constante, y al mismo tiempo, con una velocidad constante, se desplaza hacia arriba. El hlice no es ms que una lnea de interseccin de estas dos superficies. Por eso, el hlice se puede definir medjante dos ecuaciones:

209

.'ipltcaciones del clculo diferencial a la geometra del espacio

s 2. LIMITE Y DERIVADA DE UNA FUNCION VECTORIAL DE UN ARGUMENTO ESCALAR. ECUACION DE LA TANGENTE A UNA CURVA. ECUACION DEL PLANO NORMAL

Volvamos a las frmulas (f) y ((*) del prrafo anterior:

r = <p(f) + iKOJ + x (0*

= )<*).

En el caso general cuando t varia, la magnitud y la direccin del vector r varan tambin. Se dice que / es una funcin vectorial del argumento escalar l. Supongamos que:

lm <f() = ((', i - r

210

.'ipltcaciones del clculo diferencial a la geometra del espacio

lm = i -1

lm x(') = Xn- '-1,

En este caso se di ce que el vector r< ipo i -h i/'o J + X k es el limite del vector r = r (<) (fig. 195): lim r(!) = ;.

I l

De la ltima ecuacin se deduce que:

lm | (!) - , | = lm Kl<p(0 - foi1 +IW -WM-IX(')- Xol! - O l-l,

I -.'o

lim |r()| = |r|.

Limite y rieriratla de una funcin vector/at de un argumento escalar 34)

Pasemos ahora a la nocin de la derivada de una funcin vectorial del argumento escalar

r(t) = <p(t)<-f * (l)i+ *{<)*.

(1)

suponiendo que el origen del vector r (t) coincide con el origen de coordenadas. Sabemos que la ltima ecuacin es la ecuacin vectorial de una linea en el espacio.

i' que un punto en la curva, y incremento Ai; obtenemos el Elijamos

Fig' IOS

un valor fijo de , corresponda a determinado M demos a t un en este caso vector:

r (t + Ai) <p (M Ai) l -l \f (t -I At) j + x (< + A/)*,

que determina en la curva un punto \, (fig. 190). Hallemos el incremento del vector:

A- =!((+ Ai)-(/) = (<(, (i + Ai) <p(D] i +

+ [(/+ AD - <i>()] j + [X(t + - X<01 k. Este incremento est representado en la figura 196, por el vector MM, = A / (i) donde OM = r (i), OM, = / (i + Ai). Consideremos la razn del incremento de la funcin vectorial) respecto al incremento dol argumento escalar; ser, evidentemente, un vector colineal con el vector A/- (/), puesto que se obtiene de este

Limite y rieriratla de una funcin vector/at de un argumento escalar 34)

ltimo, al multiplicarlo por factor escalar . Podemos escribir

A/

este vector en la forma: Ai-(i) _ (p(i-f AI)-.|.(i) . Ai

Ai

$+ Ai)-(i) x (' + AQ-X fP

213

.'ipltcaciones del clculo diferencial a la geometra del espacio

Si las derivadas de las funciones <p (/), \J> (). X (0 existen para el valor elegido de (, los factores de i, j,k se transformarn en las derivadas <p' (/), if' (/), x' (<) tendiendo al limite, cuando At -* 0.

Por tanto, en este caso, el limite ~ existe cuando A< -* 0, y es igual al vector (p' ( ) i + \f' (/) j + x' (') k-

lim -ff = <<><+*' (0

j + X 10 A". & t -* o at

El vector determinado por la ltima igualdad se llama derivada del vector r () respecto al argumento escalar t. La derivada so

designa por el simbolo o /'.

Fig. 196

As

L = ,- = ,,-() i ) j+ x(t)k dt dr dx dy dz

(2)

~dT~l i + ~dTJ + ~di'k-

<2')

Determinemos la direccin del vector . dt

214

.'ipltcaciones del clculo diferencial a la geometra del espacio

Cuando At -* 0, el punto M, tiende al punto M y la direccin de la secante MM, coincide en ol lmite con la do la tangente. Por

tanto, el vector de la derivada est dirigido a lo largo de la taargente a la curva en el punto M. El largo del vector se determina

Limite y derivada dr una funcin vectorial de un argumento escalar !W3

=v[<f wf+w(>f+[x'<or- o)

por la frmula1)

Los resultados obtenidos permiten escribir la ecuacin de la tangente a la curva

Limite y derivada dr una funcin vectorial de un argumento escalar !W3

xl yj + zk en el punto M ( J- , y . z ) , teniendo en cuenta que en la ecuacin de la curva x -- qi (/). y if ( < ) , ' = X (O-

La ecuacin de la recta que pasa por el punto M (x, y, z) tiene la forma: Xx y y i

donde X. Y, Z son coordenadas de un punto variable de la recta y m. , p. las magnitudes proporcionales a los cosenos directores de esta recta (es decir, a las proyecciones del vector director de la recta).

Por otru parte liemos establecido que el vector ^-t/. I j + k dt dt dt dt

est dirigido, siguiendo la tangente. I'or eso las proyecciones de este vector son los nmeros proporcionales a los cosenos directores de la tangente y, por consiguiente, i los n meros m, n, p. La ecuacin de ln tangente ser entonces: X - x Y - y V.-z <lx dy dt dt dz dt

ecuacin 'le la tangente a) hlice x n eos i, 1/ ii sen I, - amt.

1 Su ponga mos que en los puntos estudiados / 0.

La longitud dol arco de una curva en el espacio se determina del modo semejante a l.i de um curva piaa (vase Jr 1, cap. VI y 3 cap. X I I ) .

para 1 arbitrario y para i ~ . Solucin.

dx di/

dz

,i sen 1. - , dt dt
j

eos l, un dt

Limite y derivada dr una funcin vectorial de un argumento escalar !W3

218
am

.'ipltcaciones del clculo diferencial a la geometra del espacio

amt
Segn la frmula (4) leemos:

Lmite y derivada de una funcin vectorial de un argumenta escalar 219

Derivndolas respecto a I, encontramos <M>, jfr | KD| dy | rXl), dz dx dt dy dt dz dt ~

M^dx^ u'^jk. f ^ JL = o dx dt dy dt dz dt ~

De las ecuaciones (!)) se deduce que dx 7<I>, dt dy dz dz dy dt dz ~ t>,dt>t <W>, dt dx dy dy dx dt il tM),^ dy_ '*I>{ d>l>2 <I>, b2 dz dx dx dz i*V,M)2' dx dy dy dx

Supongamos que ^

= 0. Sin ombargo, se puedo demostrar que las frmulas definitivas (11) y (12) (que aparecen ms ahajo) son tambin vlidas para el caso en que esta expresin es igual a cero, siempre y cuando por lo menos uno de los determinantes que figuran en estas formulas es diferente de cero. De las igualdades (10) tenemos

tKI'i d(t>2 *t>i dt>, *f>, d<V~ cKl, dy dz dz dy dz dx

*f>; rM>,M>z dtll, d<l>, dx dz dx dy dy dx

Por tanto, en virtud de la frmula

(4), la ecuacin de la tangente tendr la forma:

yy lEl'l <>; _ f*l>I ();, *I>, flj dy dz di dy dz dx o, utilizando determinantes:

220
x-x

.'ipltcaciones del clculo diferencial a la geometra del espacio

dx dz dx dy

La ecuacin del plano normal aera

Las ltimas frmulas son vlidas slo cuando en stas por lo menos uno de los determinantes es diferente de cero. Si en un punto de la curva lodos los tres determinantes

Derivadas primera y segunda de un vector respecto a la longitud de arco 35t

______ I)V
adems. vWHfM ) Esta corrolacin, coniu hemos demostarado ( 1. cap. VI) para una curva plana, se verifica, tambi n para una curva en ol espacio r ( / ) = (/) i -f 4- y (t) j 4- (l)A\ si las derivadas de las funciones tj (/). vp (/) y (/) son continuas y no se anulan simult neamente.

224

.'ipltcaciones del clculo diferencial a la geometra del espacio

Examinemos ahora la segunda derivada de la [uncin vecto-

rial r, es decir, de la derivada y demos el significado geomtrico ds

do esta segunda derivada.

De la frmula (2) se deduce: tfr _ d I" dr_1 = da ds2 ds [ ds ds'

l'or tanto, debemos calcular Un

a-.i> As

Eli la figura 19I se ve que AB = As, AL a. BK a -I- A a. Tracemos del punto B el vector Bl. a. Del tringulo BK!., tenemos: liK = HL, + /., A o,

o -f Aor = a + LtK. Por tanto, L , K = A<r. entonces | <r | = | a +Acr |, por consiguiente el tri ngulo B K L , es

Puesto que, segn lo demostrado, la longitud del vector o no cambia, issceles. Fig. 199

Derivadas primera y segunda de un vector respecto a la longitud de arco 35t

El ngulo Aqi en el vrtice de este tringulo es el ngulo de rotacin de la tangente a la curva, cuando pasa del punto A al punto B, es decir, el ngulo corresponde al incremento de la longitud del arco As. Del tri ngulo B K L , tenemos:

LtK = | o | = 21 f 11 sen 1 = 2 j san

(puesto que | o | = 1).

226

.'ipltcaciones del clculo diferencial a la geometra del espacio

A<p

~2

Dividamos los dos miembros de la ltima ecuacin por As:

A<p

A'P As |

Tomemos limites en ambos miembros de esta igualdad para As - En el primer miembro obtenemos:

Luego,

= 1.

puesto que en el caso dado consiguiente A<p -

consideramos las curvas que tienen como y, por

As, despus de tomar limites, tenemos:

De la igualdad (4) se deduce que |

Derivadas primera y segunda de un vector respecto a la longitud de arco 35t

(D

La razn (en valor absoluto) del ngulo A<p do rotacin de la tangente con respecto a la longitud As del arco AB, cuando se pasa del punto A a) punto B se llama (igual que para una curva plana) curvatura media de la linca dada en el segmento AB: curvatura media

228

.'ipltcaciones del clculo diferencial a la geometra del espacio

longitud del arco es igual a la curvatura de la lnea en el punto dado.

Puesto que o es un vector unitario, su derivada es perpendicular

a ste (vase 3, cap. IX, corolario).

As, el vector ^ est dirigido, siguiendo la perpendicular al

vector de la tangente y su longitud es igual a la curvatura de la curva en esle punto.

Definicin: Una recta que coincide en direccin con el vector ~ ds

y pasa por el punto correspondiente de la curva so llama normal principal de la curva en el punto dado. Designemos por n el vector unitario de esta direccin.

Puesto que la longitud del vector es igual a la curvatura K ds

de la curva, tenemos:

da

---------------------------------------------------- = K u.

Derivadas primera y segunda de un vector respecto a la longitud de arco 35t

ds

ersa a la curvatura, se llama radio de cur- K

vatura de esta linea en el punto dado y se designa por II, es decir, = f . Entonces, se puede escribir:
A

d'r ______________________________ da ____ >i


d? ~~ ~ds ~ R

De la frmula (5) se deduce:

R V ds22 )

Pero,

drr _ x_ y_ ds2~ ds2 ds2 J r ds2

Por tanto,

(li')

La Uima frmula permite calcular la curvatura en un punto cualquiera, de una curva dada por sus ecuaciones param tricas. cu las que el parmetro es la longitud s del arco, (es decir, cuando el

Derivadas primera y segunda de un vector respecto a la longitud de arco 230

radio vector del punto variable de esta curva es una funcin de la longitud del arco).

Examinemos el caso en que el radio vector

r es funcin de un parmetro arbitrario

= (/).

Supongamos que en este caso, la longitud del arco $ es una funci n del parmetro t. El clculo de' la curvatura se efecta del modo siguiente: dr _ dr ds

Puesto que*)

entonces:

Derivando los dos miembros y dividindolos por dos, tenemos: dr <Fr _ ds (fs

De la frmula (7) se deduce: dr dr 1 ds dt ds

IT

Derivando respecto a s ambos miembros de la ltima igualdad tenemos:

tfr tfr 1 dr dt2

ds: dt2 ^j2 dt ^ & y

23*

Derivadas primera y segunda de un vector respecto a la longitud de arco 231

<Pr roduciendo en la frmula (6) la expresin encontrada para , obtenemos: Sr

Y-> Vi

_ \ dt' I \ dt ) " dt dt dt dt22 ' Wt / \ dt2 )

-j- y-= en funcin de las derivadas de r (), a partir dt dt'

de las frmulas (8) y (9), obtenemos*):


/dFrYfdr Y tr drY

1 \ df ) l dt ) V dt

dt )

(10)

l()T
La frmula (10) se puede escribir tambin en la forma**): 2 R

en

1 ______________________________^ J

23*

*) Transformemos el denominador del modo siguiente:

Derivadas primera y segunda de un vector respecto a la longitud de arco 232

[ Y- i i i Y Y- i & Y Y/ t r \ '

dr

puesto que f 1 designa el cuadrado escalar del v e c t o r , mientras quo j (4r) } designa el cubo dol n mero I' expresin <> tiene sentido.

23*

Derivadas primera y segunda de un vector respecto a la longitud de arco 233 ) Hemos aprovechado la identidad at0t (al)* (a x Para demostrar que esta identidad es vlida es suficiente escribirla en la forma: q>)2.

a*b* (ab

eos <p)f (ab sen

23*

Derivadas primera y segunda de un vector respecto a la longitud de arco 234

Hemos obtenido la frmula que permite calcular la curvatura de la runa en cada uno de sus puntos, dada por las ecuaciones param tricas arbitrarias.

Si, en un caso particular, la curva es plana y est situada en el plano Oxy, sus ecuaciones paramtricas son: * = q> (0. y = f >. 2 = 0.

Sustituyendo las expresiones de x, y, z en la frmula (11), obtenemos la frmula ya conocida (vase cap. VI), que determina la curvatura de una curva plana dada por las ecuaciones paramtricas: ] <p (<)" (/) 1)1* ( t ) tp" (0) l[<P)f+ IfWff"

23*

Kjcmplo. Hallar la curvatura de la hlice

Derivadas primera y segunda de un vector respecto a la longitud de arco 235

K=

r a eos i j-Ja sen r -~k amt

en un punto arbitrario. Solucin:

23*

ia sen i /ii eos t | knm, a

Derivadas primera y segunda de un vector respecto a la longitud de arco 236

i<t eos iJa sen l,

a sen t a eos t am
:

a*m sen i

ja*m eos t -f ka*

a eos / a sen / 0 dr d*r

23*

Por tonto.

Derivadas primera y segunda de un vector respecto a la longitud de arco 237

23*

ector n est situado tambin en el plano Oxy. De aquse deduce una conclusin importante: la normal principal de vina curva plana est situada n el plano de esta curva.

Velocidad de un punto en el movimiento curvilneo. Si un punto mvil en un instante t se encuentra en el punto Ai, determinado por el radio ector TlM = r (I) (fig. 196), y en otro instante t + At, en el punto M , determinado por el radio vector O M , = /(*+ A/), entonces el vector MM\ se ama vector de desplazamiento del punto. La razn del vector de desplazamiento A l M , respecto al incremento correspondiente del tiempo Al se ama velocidad media del punto durante un lapso

MA1, Ar Wd^ --

= M t\. Al A t

El vector de la velocidad media est orientado a lo largo de la cuerda MM (fig. 196) en la direcci n del movimiento del punto (durante el movimiento rectilneo la direccin del vector coincide con la trayectoria).

La velocidad del punto en el instante dado se determina por:

= lm (V',,,0,1) = lim

Af o

Ai - o A/ dt

s decir,

Por consiguiente, se puede enunciar lo siguiente:

La volocidad del punto en un instante dado es igual a la primera derivada del radio vector de este punto respecto al tiempo.

En virtud de la frmula (2). las proyecciones de la velocidad sobre los ejes de coordenadas son: _ dx _ dy_ _ dz "'~~dt' V"~ dt ' V'~ di '

Determinemos el mdulo de la velocidad segn la frmula (3):

-/(HHf)"

Introduzcamos la longitud s del arco (como lo

hemos hecho al principio del presente prrafo) y consideremos s como funcin del tiempo t. Entonces podemos escribir la frmula 12:

Derivadas primera y segunda de un vector respecto a la longitud de arco 35t

l ds J

El segundo miembro de esta igualdad es ei llamado producto mixto (triple) de tres vectores n, a y . Como sabemos, tal producto no varia por la

ermutacin de los factores en orden circular. Como n/i 1, escribamos la ltima igualdad en la forma: [ dn y 1 =0 - x n T L ds J

7 --["*]

Pi-

Pero, como II = R ~rr, entonces: ds3 ds ds*

n_ _ R dV dR_ r_ ds

L ds J ds" l ds' ds dsz i

Puesto que el producto vectorial de un vector por s mismo es igual

Plano osculador. lllnormal. Torsin

242

c J L ds- ds'

Notemos que

a = ; segn la igualdad (5), de donde:

Ltfiir i 1 T

ds

L ds' ds J

<6)

1 Efectivamente. dr dr ds dt " ds ~dT" Derivemos una vez ms esta igualdad respecto a t: ,lr jL ( \ L L+. r ( dt* " ds \ ds I dt di + ds dt' " ds' l dt ) + ds di* " Volvemos a derivar respecto a t: d'r d_ 1 d*r\ jfc I ds \ - H*r., ds is d I dr \ ds d*s dr JPj dt = ds V ds I dt [ dt ) ds dt dt* + ds l ds I dt di* + ds dt* = JJr I ds \ -< d-r ds d*s ^Ir d*s rfl i di / ' ds* di di* ds dt' ' Formemos el producto mixto (triple) dr / d*r tPr\ dr f V I ds^\: dr ifa "1 X di l di X di' / ~ ds di \ L ds* [ dt ) "'" ds di* J r d*r t d'\' . d'r dt tPs t dr d*i--\ 1 < L ds* l di ) h ds* dt di* + ds di* Jl " Desarrolando este priKlucto segn la regla de multiplicacin de los polinomios y omitiendo lodos los trminos que contengan por lo menos dos factores vectoriales idnticos (puesto que el producto mixto de tres factores en el cual aunque dos factores son idnticas es igual a cero) obtenemos: dr ( d'r dar\ _ dr / d*r dr\ l ds di l dt* :< dt* ) ds [ ds* X ds' ) [di ) Finalmente

(Y ()'<()= ()'!'.

Plano osculador. lllnormal. Torsin

243

Si el vector r est expresado en funcin do un parmetro arbitrario 1, se puede demostrar*) (utilizando el mismo procedimiento

bteniendo as la ecuacin buscada.

Plano osculador. lllnormal. Torsin

244

ue en el prrafo anterior) que

"r [ "# $#]


1=

t L dt11 x dt' J

{()'!'
rmula (I I 4, ter Introduciendo esta expresin en la frmula (6) y sustituyendo H1 por su expresin segn la frmula (11) 4, tenemos en definitiva:

s L ds* ds3 J

L^X^I] ^ dt L de ' de J

I"x-^1 '

Esta frmula permite calcular la torsin en cualquier punto de la curva, dada por sus ecuaciones paramtricas en el caso de un parmetro rbitrario t.

Como conclusin anotemos que las frmulas que expresan las derivadas de los vectores a, b, ti, se llaman frmulas de Serret- Frenet: an db n dn ab

%"&

% &" %"'* = ( Y'

La ltima de ellas se obtiene as: n = b

x o,

Plano osculador. lllnormal. Torsin

245
x

=d(6xo)

db x

da_ = x

n_ =

Las igualdades (4) y (5) so demuestran mediante la derivacin de sus miembros.

246

Integral Indefinida

Ejemplo 1.

^ (2i> 3sonx + 5 \/i)di= ^ 2z'dx ^ 3senxWx+ 5 y7dx=. t

xSdx-3 ^ seni<te--5 di=.2-|!jr- -3(cosx) +

)+'

Integracin por cambio de variable o por sustitucin

247

+ 5 ^ -------------------------------------------------------------------------------------------+ 0 = C O J X + - S - il/i+C.

Ejemplo 2.

5 =-f v*+y'+4*v^+c.

248

-3+' .

Integral Indefinida

-1+ J+

Ejemplo 3. Ejemplo ri. Ejemplo f).

^ sen(2x C,)dx -icos(2r-6)-|-C. 4. INTEGRACION I'OR CAMIIIO DE VARIARLE O OR !"!TIT"CION

Supongamos que es preciso hallar la integral

J/<*) dx,

pero, no podemos elegir inmediatamente la funcin primitiva para / (z), aunque sabemos que esta existe.

Kealicemos el cambio de variable en el elemento de integraci n, haciendo

I = q> (/),

(1)

donde, <p (/) es una funcin continua, lo mismo que su derivada, y tiene una funcin inversa. Entonces dx <f' (I) di; demostremos que en este caso se verifica la siguiente igualdad: l f(x) dx= S / [<P W] <f (0 dt. (2)

Aqui se sobreentiende que la variable t ser sustituida despus de la integracin del segundo miembro de la igualdad, por su expresin en funcin de x, en virtud de la igualdad (1).

Para determinar que las expresiones en los dos miembros son iguales, en el sentido indicado, es preciso demostrar que sus derivadas respecto a x son iguales. 1 lallemos la derivada del primer miembro:

(j/(x) <&);=/(*).

)+'

249

Integral Indejlntda

Derivemos el segundo miembro de la igualdad (2), respecto a i. como funci n compuesta en la que l es un argumento intermedio.

La igualdad (1) expresa la dependencia que tiene t de x, siendo ~ =

= <f' (/); segn la regla de derivacin do una funcin inversa:

dt 1

dx ~ <p (f) '


De tal manera tenemos: ( j / 1<P ] <P <0 tf) = ( j / [<P (OI <P <0
=

= / [<p ] v <0 -4tt = / [<p (<)] = / W- v (0

Por consiguiente, las derivadas respecto a z de los dos miembros de la igualdad (2) son iguales, lo quo se trataba de demostrar.

Hay que elegir la funcin x tp (/) de roo do que se pueda calcular la integral indefinida que figura en el segundo miembro de la igualdad (2).

Observacin. A veces es preferible elegir la sustitucin de la variable en la forma ( = if (x) y no en X q> (/).

Ilustrmoslo con un ejemplo. Supongamos que es preciso calcular la integral

250

Integral Indejlntda

f f'(x)r J if(x)

Es conveniente poner:

<> (*) = t.

entonces:

(x) dx = dt,

J i|> (x) J t Demos algunos ejemplos de integracin por cambio de variables. Ejemplo #. $ %&' J( eo% x dx .) *+,+mo% l+ %-%#i#-.i/' 0 1 %emf2 e'#o'.e%3 dt = con xdx, 42 por #+'#o2

VseTi eos jdis ^ yTdt= J ('" d = ?J!!+C = -|.sn,',x + C.

251

Integral Indejlntda
!6)+ 1%l

Ejemplo 5.

789:;' e'l<'Ce% dt=2xdz, 42

=#emplo 3. > (i? .

- - - -( . . !e+ I @ 2 e'#/'eo%3 A(r a di,

(%e %-po'e B-o + C <). E' lo% ejemplo% 3 4 (i Demo% oE#e'iAo l+% f/rm-l+% FF' 4 F3' Ae l+ #+El+ Ae i'#e,r+le% (&G+%e 5). Ejemplo H. jj (l'?)'I 1 ). !e+ I I'?J e'#o'.e% dt --. jj (l'8)3 ~ = 1 iKA0 1 (L M 1 (l'i)N M C. Ejemplo O. I PQI8 '' ' rRJ e'#o'.e% dt 'x dr,
P xdx t f dt I . . , /-

iTT^ 7 jT+7-a + C a

La integracin por sustitucin de variables es uno de ios mtodos ms importantes del clculo de las integrales indefinidas. Incluso cuando utilizamos algn otro mtodo frecuentemente, estamos obligados a recurrir en las operaciones intermedias al m todo de sustitucin de variables. El xito de la integracin depende en grado considerable de la habilidad para elegir la sustituci n adecuada de variables. Esto simplifica la integral dada. I'r eso, el estudio de los mtodos de integracin se reduce, en su esencia, a la determi nacin de la conveniente sustitucin de variables para uno u otro elemento de integracin. Al estudio de los mtodos mencionados se dedica la mayor parle del capitulo presente.

252

Integral Indejlntda

Transformemos, previamente, on forma de una suma o una diferencia de los cuadrados el trinomio en el denominador,

ax2 + bx + c = a ^ x2 + x +

~ J = donde est designado:

" 4a2_

m menos / -s f o^ _ ' [ se loma segn sea positiva o negativa la expresin del primer miembro, es decir, segn sean complejas o reales las races del trinomio

[( +M

'

J as- + bx + c o

"2 J (i + 2) + 6 ' !-%#i#-imo% l+ &+ri+Ele i M 51(2 dx=dt, 42 po'iG'Aol+ o' l+ e?pre%i/' e'

253

Integral Indejlntda

.o'%iAer+.i/'2 oE#e'emo% l+ i'#e,r+l Ao l+ #+El+3

i 1 C dt 11

',!-%#i#-4e'Ao f por %- e?pre%i/' e' f-'.i/' Ae e' Aefi'i#i&+ oE#e'emo%3 0 @H(1 +r.#, M

2 V V

II. Calcular una integral de la forma ms general


dx.

t+e

J ax2 + 6x +

Transformemos el integrando en la forma siguiente:

r.

, rf(2m+ *> + (-4M


ax' + bx + c

bx c J

/,-f f*+B dx=[*L----------------------------------------------------------------------------------- ,---------1----------

Rospresenternos la ltima integral en fornta de una suma de dos integrales. Sacando los factores constantes fuera del signo de la integral, obtenemos:
dx

' 2a J ax2 + fcx + c V 2a / J

254

Integral Indejlntda

Ln ltima es lo integral /,, que ya sabemos calcular. En la integral primera realicemos el cambio de variable:
ax* + bx + c = l, (2ax h b) dx = di.

Por consiguiente.
f (2ax+J>)dx_ = f dt_ = ,n ,n(ax= bx + c c

J axr + bx -+- c .1 (

En definitiva obtenemos:
\ a /

n | x2 + bx + c I + (fl - 4M /,. a Ejemplo 5. C+l.-l+r l+ i'#e,r+l

'-Sacra--

126

Integral Indefinida

Apliquemos el procedimiento mencionado:

12 21

- ^!2),. JiUzr--------------------------------------------------------------X.-2.-S---------------r=

III. Calcular la integral dx

Vax1

+c

Utilizando las transformaciones estudiadas en el punto I, se puede reducir In integral (seg n sea el signo de a) a una de las integrales de la tabla:

dt para a >0 6 f ^ para a < 0,

V/2 A2

J V/t2 - <2

Estos dos integrales figuran en la tabla (vase las frmulas 13' y 14). IV. La integral

Vox* + bx + e

se calcula con ayuda de las siguientes transformaciones anlogas a las estudiadas en el punto II: A

.,
Ax

+ tt

(2ax +fc) + (/? ) ' V 2a /

126

Integral Indefinida

J Vfl^+fti + c J Vax + bx + c -M 2ax+6 Ab)

2a j Vax2 + bx + c V 2a ^ J V^ + bx + c Realizando en la primera integral la sustitucin ox* + bx + e = I, (2ax + 6 ) dx = di,

obtenemos: f (2ax+b)dx f JL==2yt + c = .Vas+bx + e + c. J Vox' + frx + c j Vi

La segunda integral ha sido examinada en el punto III del prrafo presente.

Integracin por partes

257

>> \/r> #(4rMF< Q P?N(f 4?MF<

Ejemplo 3.

JL f 21 + 4 Jx-7? _ix - Vx+4x+10 0 V(x + 2)'+8 (1H V?K M 4? i(F< @ S l'Tj('r5MV(i M 5)KMOTMC 1 H $0?N M 4? f(F<@ S I' T ? M 5M l0?C M 4? MF<F M C. N. INTEGRACION OI# ARTE!

Si u y vson dos funciones derivadles do x, entonces como silbemos, la diferencial del producto uu es: d (uv) = u dv -J- v du.

De aqu, integrando, obtenemos: uv = J u du -f J vdu J udv uv J vdu (1)

lista es la frmula de integracin por parles. I'lsta frmula se usa frecuentemente para integrar las expresiones que pueden ser repre sentadas en orma de un producto de dos factores, u y dv, de tal manera que la bsqueda de la funcin v. a partir de su diferencial dv, y el clculo de la integral J vdu, constituyan en coiijunto un problema ms simple que el clculo directo de la integral]) u dv.

Para descomponer el elemento de integracin dado en dos factores u y dv se necesita cierta experiencia que se adquiere resolviendo problemas. Demos algunos ejemplos para demostrar el procedimiento en casos semejantes. Ejemplo F. $ ?%e'?rf? ' !e+3 e'#o'.e%2 u x, dv %e' ? dx du -dx, V COSX. or .o'%i,-ie'#e2 Q?%e'?A? @ ?.o%?(j I.o%?A? (@? eo% ? U(%e' ? T(C$

258___________________________ Integral lude/luida

Observacin. Cuando determinamos la funcin v a partir de su diferencial dv, se puede tomar cualquiera constante arbitraria, puesto que sta no figura en el resultado final (lo que es fcil verificar sustituyendo v en la igualdad (1) por la expresin v + C). Por eso es preferible elegir esta constante igual a cero.

El mtodo de integracin por partes se utiliza en muchos casos. As, por ejemplo, las integrales del tipo J xk sen ax dx j xM c os ax dx, J xke"dx, xh laxdx,

como tambin otras que contienen funciones trigonomtricas inversas, se calculan, usando la integracin por partes. Ejemplo 5. *+ll+r3 +r.#,?A?. !e+ - +rel+r2 dv dx, e'#o'.e%( A?

I +r.#,?A?1?+r.i,?@ I
M|=x,

Ni.i,? @ \n T 1 r**} \-C.


du dz,

Ejemplo 3. *+ll+r3 I 85e8 dz. !e+ u x', Ar ex dz, e'#o'.e%3 du 1 5? dx, v ex J x*e*dx x V2 J xex dz. i'#e,r+'Ao por p+r#o% l+ Vl#im+ i'#e,r+l2

dv\ = exdx, vi*=ex.

J xex dx = xc* J e* dz xe*c* -| C. E' Aefi'i#i&+ #e'emo%3

*c*-2xe* 2ex + C = e* (x* - 2 x 2 )

+ C.

Ejemplo 4. C+l.-l+r3 Q (?+(T( S? @fC) eo% 5? dx. *+.ie'Ao -I(?5 S? @HJ A4 1 eo% 5? AiJ e'#o'.e%3 A-1(5? M S) Ar2 Q (?K(f S?@H)eo% 2zdx (88(2( S?(H) Q 658(2. S)

ApliB-emo% pl mG#oAo Ae i'#e,r+.i/' por p+r#e8 + l+ Vl#im+ i'#e,r+l2 #e'ie'Ao e' .-e'#+ B-o -j(( ((7S2 A&U (%e' 5? ArJ e'#o'.e%3 . eo% 5? du,~ dx, --------------------------------------------------------------------------------------------------5 ;

?$ (5? M S).o%58 %e' 2r

Integracin por partes

=-----------------------------------------------------------------7----------) 7---------l-C.

259

260___________________________ Integral lude/luida

De Ao'Ae fi'+lme'#e oE#e'emo%3

Ejemplo 5. / - J Va* z*dz = ?

Efe.#-emo% l+% #r+'%form+.io'e% iAG'#i.+%. M-l#ipliB-emo% 4 Ai&iA+mo% el i'#e,r+'Ao por V+'Q @ ?5


x r> x dx a( +r%e'((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((($ x =====..

0 Vo x>

J ya'-z' J ya' X*

J l el mG#oAo Ae i'#e,r+.i/' por p+r#e%2 po'ie'Ao u 1 ?2 ? A?

A- 1 A?2

i, i> Va3x'-.

|/a X* E'#o'.e%3 x*dr

Vil-x J ~ Vx !-%#i#-4e'Ao el Vl#imo re%-l#+Ao e' l+ e?pre%i/' Ae l+ i'#e,r+l A+A+ oE#e'iA+ +'#e%2 #e'emo%3 ^ Va1!1 dx - o arcsen -- + x V i* jj Va-xdx. Tr+%l+Aemo% l+ i'#e,r+l Ae l+ Aere.D+ + l+ i:B-ierA+2 4 lle&+'Ao + .+Eo l+% #r+'%form+.io'e% eleme'#+le%2 oE#e'emo% e' Aefi'i#i&+3

(j ya-x*dx = - arcsen
I, J * eos bx dx y /j = J caisen bx dx.

Vx |-C.

Ejemplo O. *+ll+r l+% i'#e,r+le%

Apli.+'Ao el mG#oAo Ae i'#e,r+.i/' por p+r#e% + l+ primer+ I'#e,r+l2 oE#e'omo%3


une", du*=a>*,

Integracin por partes b

261

^ eax eos bx dx e"x sen 6r ^ ex son f,j- jz Apliquemos de nuevo a la ltima integral ol mtodo do intogracin por partes: u t, df sen bx dx,

du > o,

J-cos6x,

o jj <" son bx dx = -i- e" eos 6x+ y jj " cos ,x x


25'

I'#roA-.ie'Ao l+ e?pre%i/' oE#e'iA+ e' l+ i,-+lA+A +'#erior2 oE#e'emo%3

i)

\ eax eo% Itx dx eax %e' bx @4 cax .'% bx(((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((@ $ e98.osbxdx.

lCe l+ Vl#im+ i,-+lA+A E+ilemo% QU3


126

Integral Indefinida

(>+-) "XC0S bxdx =<* ^-1-sen'x-l ~cas bx^ . Ao Ao'Ae

/. \

COsfcxdx----------------n- - -T5---------' "1 ^

d Del moAo +'Wlo,o F0+ll.&mf#%3

U I 1>2

P . "(osonpxtcosbx) /2 J S. XRACCIONE! RACIONALE!. XRACCIONE! RACIONALE! ELEMENTALE! P !IY INTEGRACION

---------------------------------- |C-

Como veremos ms abajo, no toda integral de nna funcin elemental se resuelve mediante las funciones elementales. Por eso tiene gran importancia la definicin de ciertas clases de funciones, cuyas integrales pueden ser expresadas mediante las funciones elementales. La in s simple de estas clases es la clase de las funciones racionales.

Toda funcin racional puede sor representada en la forma de una fraccin racional, es decir, como ja razn de dos polinomios: Q(z) =ncm + B,""'+ ... + Bm l(x) it0r" + i!1n-,+ +An~

Sin limitar la generalidad del razonamiento, supongamos que estos polinomios no tienen raices comunes.

Si el grado del numerador es inferior al del denominador, ln fracci n so llama propia; en el caso contrario, la fraccin so llamar impropia.
126

Integral Indefinida

Si la fraccin es impropia, al dividir el numerador por el denominador (segn la regla de divisin de los polinomios) se puede representar la fraccin dada como la suma de un polinomio y do una fraccin propia:

/(i) /(*) donde, Af (x) os un polinomio, y *^ os una fraccin propia.

x4_______________________________3 Ejemplo F. !o+ I I I -'+ fr+..i/' r+.io'+l impropi+.

Al Ai&iAir ol '-mer+Aor por el Ae'omi'+Aor (%e,V' l+ re,l+ Ae Ai&i%i/' Ae lo% poli'omio%)2 oE#e'emo%3

l+2l-M

' i+2 (-1 '

La integracin de los polinomios 126 no ofrece dificultades. I'or eso, la dificultad fundamental de la integracin de fracciones Integral Indefinida racionales consiste en la integracin de las fracciones racionales propias. Definicin: Las fracciones racionales propias del tipo:

---------------------------------- <t

4 ,

~(k es un nmero entero positivo ^ 2). *

a+

-y-"1 ' 11 fias raices del denominador son complejas, os decir,

I.

-'

(k es un numere entero positivo > 2, las

(4 i

raices del denominador son complejas), se llaman fracciones simples del tipo I. II, III. IV. respectivamente.

En el 8 demostraremos que rada traccin racional puedo ser representada en forma de una suma de fracciones simples. I'or eso. estudiemos al principio las integrales de las fracciones simples.

La integracin de las efectuaremos su integracin sin

fracciones simples del tipo I. II. III no ofrece grandes dificultades, por eso dar explicaciones detalladas.

1. \ <ix = A ln|x-a| +C.

126

Integral Indefinida

(j ) "rfx =

-ft-fl

(I -*)<*-)'"'

I. \

'

x2

-(-

px

-------7(((((((((((((3--------@ A? 1 X* + px -)- 7

[ _JE_ dr + f H - 4?) [ -3-*- 2 J x -f- px -(- 7 V 2 / J x" + px + 7

dx

( M-)
126

\n\ + px + q\ + ZB ~AP Hrctg 2J + P +C

(vase 5). 2

Integral Indefinida

Vq-p- V'iq-p*

La integracin lie las fracciones simples del tipo IV requiere c lculos ms complicados. Supongamos que debemos calcular una integral de este tipo. IV. f /' + " hdx. J (xT+px + q)

Hagamos las transformaciones: (2x + p) + U_P\ f Ax + li di f 2 _________________________________________________ \ 2J J tf+px + qf X~ ) {x* + px + r)


=

[ Jx + p .

________

2 J (S + px + q)" V 2 ) J tf + px + q)k

La primera integral se halla por sustitucin x" -f- px -f q t; (2x + p) dx dr. [ -ylEL_ * = f 4 _ (t- , - j^l + c = J (x'+px + q)1' J <" J 1k

+c.

(1 + + Escribamos la segunda integral designada por /, en la forma:

dt

(2 + m2;

126

Integral Indefinida

Fracciones racionales elementales y su integracin

268

x + 4 = <, dx = dt, q-E- = m>. 5

{segn la hiptesis. Jas raices del denominador son complejas y, por tanto, q^- >0). Ahora procedamos del modo siguiente:

/ f dt 1 Nf + rf)-^ * J (/z+mV m2J (i2 + mV

_ i - C __________________________* _______- L f

m2J (l' + mV-' m2 J (t2 + m2)4 1 m2 J (2 + m2)*

Transformemos la ltima integral: f t2dt = f tldt J [i1 + m2)* ~ J (2 + m2)"

_i +"')_ t (,d( 6 5 Q (t*4( m5)FF 5(4(F) Q V(fKMmV(Nr

Integrando por partos, tenemos: f t*___________________________________________________1 rt 1 [ * i Q N5 M m4 ( 5 (Qf. ( F) L (#5 M m5)87' Q N5 M m5)9(' Q Z

Sustituyendo esta expresin en la igualdad (1), obtenemos: l

f dt 1 f i

* J 2 + my m2 J (l2+m2)"-1

Fracciones racionales elementales y su integracin


+

_______L__________f. ________________1 =

269

^ ml2{k -1) L <t*+ my- J (t2+ my J

_____________________________________________t______________ , 2fe 3 f dt

~ 2m2 (k 1) ( 2 + rn2)* ' 2m2(k - i) ) (< 2+m2)-' ' En el segundo miembro se encuentra la integral del mismo tipo que /, siendo ol expolente del grado del denominador del integrando menor en una unidad (k 1); asi resulta que hemos expresado en funcin de /-1.

Aplicando sucesivamente este procedimiento obtenemos la integral conocida: f dt 1 t

Fracciones racionales elementales y su integracin

270

Sustituyendo ahora I y m por sus valores, obtenemos la expresin de la integral IV, en [uncin de x y nmeros dados A, B, p, q. Ejemplo 5. 2 12 e y* * ' )''

<-'-')

dx.(* j x (( 3)( Q (?K M 5?M3)N ' 2 S lx' + U+3)tdX~2 S (8NM58M3jK


F

N (' 5 (?8 M 5FM3) ( 2) (KM58M3QN ( ApliB-emo% + l+ Vl#im+ i'#e,r+l >+ %-%#i#-.i/' 'MF (3

? dz ? dx - f dl _L f ('* + 2i, _ [ 6?K ((5?4 3)K9 2) T(iMT)K M I [ U(5)l9 [ [ TlN M 5)K \i p ji\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\i f \L\]2 5 Q C 5 N$ (lK M 5)(U697 F # . I F YC6ll E?+mi'emo% l+ Vl#im+ i'#e,r+l3 p i'dt i e td{it + 2 ) _ i f . . / _ i \ Q (l' M 5)N 5 N$ (6*(5)1 9 5 j ' lNT50 l 1 /

I ' I C dt K M 51 ( 5(SKT& MU(USH NZKN . +B- #oA+&+ 'o po'emo% -'+ .o'%#+'#e +rEi#r+ri+2 l+ e%.riEiremo% e' el re%-l#+Ao fi'+l). or #+'#o2 p A? $ . ? M F r ? 4 F 2F . ?(Ml E' Aefi'i#i&+ #e'emo%3 5

9F05 . ?(f(F 2 \

O!ICION DE LA XRACCION RACIONAL EN XRACCIONE! !IM LE!

Demostremos ahora que toda fraccin racional propia puede ser descompuesta en la suma de fracciones simples.

Sea Y~y una fraccin racional propia.

Fracciones racionales elementales y su integracin

271

Supongamos que los coeficientes de los polinomios que la integran son nmeros reales y la fraccin dada es irreducible (lo ltimo significa que el numerador y el denominador no tienen raices comunes).

Fracciones racionales elementales y su integracin

272

Teorema 1. Sea x a una raz mltiple de orden k del denominador, es decir, / (x) = (x a) 1' f, (x), donde f, (a) 0 (vase 6, cap. VII). Entonces la fraccin propia dada se puede descomponer en la suma de dos fracciones propias: A F, (X)

f(x) <*-)* (x- )"-*/, M " ide A es una constante, diferente de cero, y F, (x) es un polinomio grado inferior al grado del denominador (x a) ' /, (x).

Demostracin. Escribamos la identidad F(x) _ A F (x) A f, (x)

f(x) " (x )' (x a)h f, (x)

(que se verifica para cualquier A) y definamos la constante A de modo que el polinomio F (x) Af, (x) sea divisible por x a. En virtud del teorema de Hezout. es necesario y suficiente que se verifique la igualdad

F (a) - Af, (a) = 0. Puesto que f, (o) ^ 0. F (a) 0, se puede definir .t de ma manera univoca por la igualdad
A=

F (a) /() '

Para tal .4 tenemos:

F(x)-Af,(x) = (x-a)F, (x). donde F, (x) es un polinomio de grado inferior al del polinomio (xa)'"'/i (x). Reduciendo la fracci n en la frmula (2) por (x a). obtenemos la igualdad (1).

Fracciones racionales elementales y su integracin

273

Corolario. A la fraccin racional propia F,(x) ls-a)H'< f,(x)

que entra en la igualdad (1), se pueden aplicar razonamientos an logos. As, si el denominador tiene una raz mltiple x a de orden k, se puede escribir: F(x) ^ A A, Ah , Fh[x)

/(x) (x )* (x a)'~

x a /,(x)'

donde

es una fraccin propia irreducible a la cual se puede

/i (*)

aplicar el teorema recin demostrado, si f, (x) tiene otras races reales.

274

integral Inde/inida

Estudiemos ahora el caso en que el denominador tiene raices complejas. Recordemos que las raices complejas del polinomio de coeficientes reales estn conjugadas en pares (vase 8 cap. VII).

En la descomposicin del polinomio en factores reales, a cada par de raices conjugadas corresponde una expresi n de la forma x* + px + q. Si las raices conjugadas son mltiples de orden p la expresin correspondiente ser (x* -(- px + q)u. Teorema 2. Si f (x) = (x* + px + q)u <p, (x), donde el polinomio qi, (x) no es divisible por x* + px q. la traccin racional propia F(x) puede ser representada por la suma de dos fracciones propias: F(x) = Mx + N <H, (x)

/ (x) (x1 + px + qf (x* + px + q)"~' <t, (*) donde <I), (x) es un polinomio de grado inferior al del polinomio (x + px + ?)"-' <f, (x).

Demostracin: Escribamos la identidad F (x) = F(x) Mx + N

f (x) ~ (xl + px + q) <p, (x) ~ (x* + px + q)"

F(x)~(Mx + N)<f,(x) 4 (x, + /,x + 9)"qi1(x) '

que se verifica para todo M y N y definamos M y N de modo que el polinomio F (x) (Mx 4- JV) <p, (x) se divida porx* + px + q. Para esto es necesario y suficiente que la ecuacin

F (x) -(Mx + N) <p, (x) = 0

(i que el polinomio x' + px + q.

275

Por tanto,

integral Inde/inida

F (+ M ip) ( >Af (+ M [fK M N] 6p2 (+ M Up) 1 <

F( a + iP)

A/(a + P) + W =

<P. (a + P)

, ^ [a es un nmero complejo determinado que se puede <p,(a + iP)

escribir en la forma K + IL; donde K y L son nmeros reales. As, Af (o + (P) + N = K + iL\

276

integral Inde/inida

de donde Ma + N = K, Mp = L 6

Ai = ,

Siendo estos los valores de ios coeficientes M y N, ol polinomio F (x) (Mx + N) <Pi (x) tiene el nmero a fi por raz, y, por tanto, la raz conjugada u /(?. Pero, on este caso, el polinomio es divisible sin resto por las diferencias x (a + P) y x (aP), y, lgicamente, por su producto, es decir, por x* 4- px -f <7-

Designando el cociente de esta divisin por <l>i (x), obtenemos:

F (x) - (Mx + /V) ip, (x) = (x + px + q) O, (x). Simplificando por x" 4- px q la ltima fraccin en la igualdad (4), obtenemos la igualdad (3), quedndose claro que <I>, (x) es un polinomio de grado inferior al del denominador, lo que se trataba de demostrar.

ndo los resultados de los teoremas i y 2 a la fraccin

Flx)

propia -j^-y-, podemos destacar sucesivamente todas las fracciones

simples, correspondientes a todas las races del denominador / (x). Asi. de lo anterior se deduce el siguiente resultado:

Si / (x) = (x - o)" (x-bf ... <xs + px + q)" ... (x- -i- Ix + j)v, la fraccin puede ser descompuesta de la manera siguiente: F(x) Hx) ' (x - a)"

277

integral Inde/inida

+(x- t-) (x -6)"- . Mx + N (x'+px + q)" tf + px + q)" 1 f'x + Q f ________________________________________+V, . M,x + N,

x-b ^-.x + A,,-, S + px+q ' /V |J-+gv-i

' (x2 + lx + )' (x2 + Ix + sf.............................................................................. x~ + Ix -j- s

Se puede determinar los coeficientes .4, Ai, ...,/?, B. . . . teniendo en cuenta las consideraciones siguientes. La igualdad (5) es una identidad, por consiguiente, al reducir estas fracciones' a un comn denominador obtenemos en los numeradores del primero y segundo miembros polinomios idnticos. Igualando los coeficien

278

integral Inde/inida

tes de los trminos que tienen las mismas potencias do x, obtenemos un sistema de ecuaciones para determinar los coeficientes incgnitos A. A,, . . B, Bu

Tambin podemos determinar estos coeficientes, teniendo en cuenta la observaci n siguiente: los polinomios obtenidos en ambos miembros de la igualdad, despus de la reduccin de las fracciones al comn denominador, deben ser idnticamente iguales; por consiguiente. los valores de estos polinomios son iguales para cada valor particular de x. Dando a x valores particulares, obten rnoslas ecuaciones necesarias para la determinacin de los coeficientes.

Do este modo demostramos que toda fraccin racional propia puede ser representada en la forma de una suma de las fracciones racionales simples. ji L ' Ejemplo. De%.ompo'er FK fr+..i/' @@@+C3 e' fr+..io'e% %imple%. X.' &ir#-A Ae l+ f/rm-l+ (H) #e'emo%3 + 'h II (iM_'(^) ( J+ I )'T(I(*)K F ?Mi I@5 ' ReA-.ie'Ao + -' .omV' Ae'omi'+Aor e i,-+l+'Ao lo% '-mer+Aore% oE#e'emo%3

. '. .

xJ + 5 (Ai+e)z*+(Ai + 3B)x'+(.l-Al3,l, .<//) x (j( M ((50F @ 50F2@ 50l5(U O). % Ao Xa. x*. x1, (#Grmi'o +E%ol-#o)2 oE#e'emo% -' %i%#em+ Ae e.-+.io'e% p+r+ Ae#ermi'+r lo% .oefi.ie'#e%3 0(10l5 + 02 l10)2 M 30C. <@A~ A, 30#5 M 3r#. 2 20F 20F2 2.FJ + H. Re%ol&ie'Ao e%#e %i%#em+2 #e'emo%3 .<=-<: /l,=4"' ''-~f !e p-eAe2 #+mEiG'2 Ae#ermi'+r +l,-'o% .oefi.ie'#e% + p+r#ir Ao l+% e.-+.io'e% B-e %o oE#ie'e' Ao l+ i,-+lA+A (O)2 B-e e% iAe'#iA+A re%pe.#o + .-+'Ao + la &+ri+Ele : %o A+' .ier#o% &+lore% p+r#i.-l+re%. -e%2 D+.ie'Ao ?1 @ F2 #e'emo% 3 @30F / .4 1 @ FJ
2

D+.ie'Ao ?152 #e'emo% O 5S`3 001@. !i +Aj-'#+mo% + e%#+% Ao% e.-+.io'e% o#r+% Ao% oE#e'iA+% meAi+'#e l+ i,-+l+.i/' Ae lo% .oefi.ie'#e% Ae l+% mi%m+K po#e'.i+% Ae :2 oE#e'emo% .-+#ro e.-+.io'e% para Ae#ermi'+r .-+#ro .oefi.ie'#e% Ae%.o'o.iAo%. E' Aefi'i#i&+2 #e'emo% -'+ Ae%.ompo%i.i/'3

**+2 1 I 2 hace falta calcular la integral de la fraccin

2(?fl)K(?(5) (? M i)K r 3(8(M)K a(? M l) a(? @ 5) a. INTEGRACION DE LA! XRACCIONE! RACIONALE! Supongamos quo

al , es decir, la integral

/ (x)

J 0(b)
Integracin de las fracciones racionales

f x)

Si la fraccin dada es impropia, la

representamos como

279

suma

de un polinomio M {x) y una fraccin racional propia y (vase 7).

Pero fraccin

la representamos en la forma do una suma de

fracciones simples (segn la frmula (5) 8). De tal modo, la integracin de toda la fraccin racional consiste fundamentalmente en la integraci n de un polinomio y de varias fracciones simples. De los resultados obtenidos en el 8 se deduce que las raices del denominador / (x) determinan la forma de las fracciones simples. Son posibles los siguientes casos:

aices del denominador son reales y diferentes, es decir,

/ (x) = (x - a) (x - b) ... (x - d). F .r)

En este caso la fraccin -- se descompone en las fracciones /(x)

simples del tipo I:


t

bx d

y luego

J / (x) J J O J .r - b

J x -d

= /M|x-a| + Bln|x-6| + ... -f D ln |x - + races del denominador son reales', pero, algunas ralees son mltiples:

) (x >)p ... <x-d)\ F (x)

En este caso la fraccin , se descompone en fracciones simples

/ (x)

del tipo I y 11.

Integracin de las fracciones racionales

280

Ejemplo 1. (&G+%e el ejemplo

011 el ; .+p. b).


I 5. .

? ,>H 2 it f ** 1 * f dl - C ix 1 Q (+r(*)K(? @5) 9 Q l9 M lT' 3 Q (?(f( l)N a QlMr 5 A? I I M a Q F(5c 5 (?Ml)4 3(?MY) N FFFF' ' ' I U

o FFF. El denominador tiene races complejas simples, es decir, diferentes:


Integracin de las fracciones racionales

? @ a)" ... (? ( A)O. F (?)

281

En esto caso la fraccin jjyj se descompone en fracciones simples de los tipos I, II y III. Ejemplo 5. C+l.-l+r l+ i'#e,r+l
xdx

(?N |-1|(X- I) De%.ompo'emo% l+ Tr+..i/' E+jo el %i,'o 2le i'#e,r+l e' fr+..io'e% !imple% (&G+%e (H) ;. .+p. b)3
x_______________________________________________________________________________.Ix + II C

or .o'%i,-ie'#e2

(Xj I l)(x1) ~ X4 1 1 X-l ?1K(0liM`)(?(l*(C(?Ml). *+.ie'Ao ? F2 #e'emo%3 F ( 5C2


C = .

*+.ie'Ao x ( "2 #e'emo%3 < ( ( H I,-+l+'Ao lo% .oefi.ie'#e% Ae ?52 A%2


f xdx

C 00N+ . oE#e'emo% 9 F F C2 Ae Ao'Ao


_______________________________I P x1 I f dz

Q (?NMl)(?(l) ( 5 Q ?KMi+iF9Tj?(l I P xdx

P dx 1 P dx

5 QMT M 5 [3MT r 5 Q ?(l

.( (i(l'T?NMlT M i+r.#,?MlT'T?(lT +C.

denominador contiene tambin races complejas mltiples: f(x) = (S + px + qrtf + lx + s)" ... (x-a) ... (* - d)\

En este caso las fracciones simples del tipo IV entran tambin en la descomposicin de la fraccin Ejemplo 3. C+l.-l+r l+ i'#e,r+l *j4r' M Il?'(M5?4 ; 6?K(T(5?4 3)i(?MT)
Integracin de las fracciones racionales

282

i/'. De%.ompo',+mo% l+ fr+..i/' e' eleme'#o% %imple%3 i'Mf+'MllK'Ml5#M; Az+n (?N4(5? M 3)Q(? I I) r 6?K ( 5?r3)K'#'(?KM58M3) F ?(j(F ' Ae Ao'Ae I4 + 4X + HX*-1-12I+8. ( (0f?(T(`)(?Ml) M (CiMQD)(iK T 5? 3C(?Ml) l L'(?N4 5? i 3)8. ComEi'+'Ao lo% Ao% mG#oAo% A+Ao% p+r+ Ae#ermi'+r lo% .oefi.ie'#e%2 D+ll+mo%3 24 1 F2 N1(F2 C(<2 De <2 E(? F. De #+l moAo Ledemo%3 ?N T 4?K4 ll?'4(F5? F(; ? @# [ (bC4.5b4(3)C(b4(I) 9 Q (b84(5?4(3)K'9 ' i ? 4(F 7 ?4(5 ((5(?K4 5?4(3)

C?i D F.

P dz F05 ?Q F 2 lQM F

E' el ejemplo 5. S. .+p. b liemo% .+l.-l+Ao l+ primer+ i'#e,r+l Ael %e,-'Ao miemEro. L+ %e,-'A+ i'#e,r+l p-eAo %er .+l.-l+A+ Aire.#+me'#e.

Del estudio realizado se deduce que la integral de cualquier funcin racional puede ser expresada mediante funciones elementales finitas, es decir:

1)

mediante los logaritmos, si las fracciones simples son del tipo T; mediante las funciones racionales, si las fracciones simples son del tipo II

;mediante los logaritmos y arcos tangentes, si las fracciones simples son del tipo III;

2)

mediante las funciones racionales y arcos tangentes, si las fracciones simples son del tipo IV.

F<. METODO DE O!TROGRAD!=I

Para calcular la integral283___________________________ Integral lude/luida de una funcin racional, cuando el denominador tiene las raices mltiples, se puede utilizar otro mtodo ms simple. Este mtodo permite destacar la parte racional de la integral, sin descomponer la fraccin en los elementos simples e integrar despus la fraccin racional, cuyo denominador tiene solamente raices simples. La integracin de tal fraccin no ofrece ninguna dificultad, puesto que puede ser descompuesta en fracciones simples de los tipos I y III. liste mtodo se debe al clebre matemtico ruso M. V. Ostrogradski (18011862) y se basa on lo siguiente. Supongamos que se necesita integrar una fraccin racional pro-

F (x) . . pa y^y-, donde

I (x) = <x- a)' (x - i)" ... (x- + px + ,,)".

En virtud de la igualdad (5) ( 8) el caso se reduce a la integraci n de las fracciones racionales propias de cuatro tipos (vase 7). En este caso:

1)

La integral de la fraccin del tipo------------------------------ es una fraccin del

(x II) A
'

tipo --------------------------------------------------------- T .

(x a)

Ce I px I ?)"

2)

La integral de la f r a c c i n ------------------------ es una suma de frac-

M'x l N'

ciones (x + px

+ q)*

del

tipo

284___________________________ Integral lude/luida

, donde p* ^ p 1, y de una inte-

gral del tipo

r m"
dx.

X- + px + q

Por ahora dejemos aparte la integracin de las fracciones de los tipos I y III.

Al sumar las fracciones racinalos obtenidas despus de la integracin de las fracciones del tipo II y IV, tenemos la fraccin propia

Y (x)

del t i p o ' , en la que el polinomio Q (x) es igual a


V

Q(x) = (x-a)"-,(x-b)*-> ... (x' + px + q)-' ... ... (x' + lx+s)*-'.


285___________________________ Integral lude/luida

\X)

Y (x) es un polinomio cuyo grado es menor, en una unidad, que el del polinomio Q.

Al sumar las integrales de lodas las fracciones del tipo I y 111, (incluyendo tambi n las integrales del tipo dx, x' + px +'/

obtenidas mediante la integracin de las fracciones del tipo IV) obtenemos la integral de la fracci n propia del tipo < donde el polinomio P (x) es igual a

P (x) = (x ~ a)(xb) ... (xa + px + q) . . . (x1 + Ix + s). Asi, encontremos que J /(x) Q(x) J P(x)

Aqui, X (x) es un polinomio cuyo grado es menor en una unidad que ei del polinomio P (x).

Determinemos ahora los polinomios X (x) y Y (x) de los numeradores. Para esto derivemos ambos miembros de la igualdad (1):

Derivando +mEo% miomEro% Ae l+ i,-+lA+A (4) #e'emo%3 F (?' -F) (2Ax + B)(0IrK M llx M c) 3? K . Ex'+Fx + G (?C(F)C 98 (8Z(Y)K

iITj Z

286___________________________ Integral lude/luida

Integrales de las /unciones Irracionales

Elimi'+'Ao el Ae'omi'+Aor2 oE#e'emo%3 F .((e (FZ (F) (50l: M B)- ('!*+ Bx + C) 3lK M (8K ( F) If-x'+Fx + G). I,-+l+'Ao lo% .oefi.ie'#e% Ae lo% #Grmi'o% .o' l+% mi%m+% po#e'.i+% de x e' ambos miemEro% Ao l+ %i%#em+ Ae %ei% e.-+.io'e% para determi'+r lo% .oefi.ie'#e% A, B, C, E, F, G: 0 = , <(@rF(DX. <1 (5 U+G, <13CE, <N (52(F(f2 1= -B-G. L+ %ol-.i/' Ae e%#e %i%lem+ 'o% A+3 0 1 <2 A <2 C ", F^O, G= . !-%#i#-4e'Ao lo% &+lore% Ae lo% .oefi.ie'#e% Ae#ermi'+Ao% e' l+ igualdad (4)2 oE#e'emo%3 1 ? dx n* r- T
x'-1 I Q j3\#

i,-+lA+A2 oE#e'emo% -'

r-2 1 , l i

ll Ae'omi'+Aor Ae l+ Vl#im+ i'#e,r+l #ie'o %/lo r+i.e% %imple% 4. por e%o2 l+ i'#e,r+l %e .+l.-l+ fW.ilme'#e. E' Aefi'i#i&+3
9

f dz_____________________________________________ -x_ . ( ___________9 . 9

FF. INTEGRALE! DE LA! X"NCIONE! Il# RACIONALE!

No siempre es posible expresar la integral de funcin irracional mediante funciones elementales. En este prrafo y en los posteriores estudiaremos funciones irracionales, cuyas inlcgrales se reducen, mediante sustituciones de las variables correspondientes, a las integrales de funciones racionales y se integran, por tanto, totalmente. m r

1. Examinemos la integral J /? (x, x2 n , .. x*) dx, donde f es una funcin racional de sus argumentos*.

1 El smbolo f (J-, xn..........x*) indica quo con las magnitudes*, xn, ..., * se ejecutan slo operaciones racionales. Del mismo modo hay que entender en lo ulterior los smbolos del tipo

' ( ' ( T^ ) ' ' " ) ' f (sen x, cosx), etc. As por ejemplo, eV smbolo li (sen x, eos x) indica ouo con sen x y eos x se realizan operaciones racionales.

26*

Sea k el comn denominador de las fracciones ........................................................................................... n

Ejecutemos la sustitucin:

jr = t\ di = ktk~ ' dt.

Entonces, cada potencia fraccionaria de x se puede expresar media/ilc una potencia entera de t y, por consiguiente, el integrando se transformar en fulicin racional de /. =j.-iplo I. C.JiI.'l.ir IK i'#e,r+l

i di
3

x5-; i

13

Solucin. El comn denominador do las fracciones-- ; es 4. Por eso,

ii

26*

efectuemos la sustitucin x-=t4. dx =41* df, entonces: J X4 I

'< l "<"-4 l rqrdl ''-T-l1"1'3! 1

1 :

r. - - -jlx'-lnlx' |-l| | f-C.

II. Examinemos la integral del tipo

f/f[, (V...........................................(s+ifl-r.
J L Vcx + d/ Vcx + d / J

La integral se reduce a la de una funcin racional por medio de la sustitucin ax

+ l> __ cx + d

donde, k es un denominador comn de las fracciones ,... . ns

RQemplo 2. Calcular la integral !ol-.i/'. Efectuemos la sustitucin

26*

Integrales del tipo J fl(x. 1/<ix + >x+c)<lx

290

4;dx 2tdt: e'#o'.e%3

2. + 2.0 ||=|| + C- 2V+4 + 21|^=|| + C.

S 12. INT="RAI.KS DEL TI O j K(x, V"x'r bx\e.)<U Examinemos la integral $ II (x. Vas2 + bx + c)dx. (1)

Esta integral se reduce a la de una funcin racional de la nueva variable mediante las siguientes sustituciones de Euler. 1. Primera sustitucin de Euler. Si a > 0, hacemos:

Vnx- + bx + e = Vox + t. I'ara mayor precisin, tomemos el signo ms delante de | a. Entonces,

ax"' bx + c = ax2 + 2 Vaxl -f ", de donde x se define como una funcin racional de t: r--c b - 2 Va l

(lo que quiere decir que dx tambin es una funcin racional do ). por consiguiente:

b 21 Va

Vax- + bx + c = Vax-+t = Va ----------------------------------------------------------------------^ + I

es decir, Vax1 -f bx c es funcin racional de /.

Puesto que \/axz i- bx + c, x y dx se expresan mediante funciones racionales de /, por tanto, la integral dada (I) se transforma en la integral de una funcin racional de t. Ejemplo !. Calcular la integra! P dx

!ol-.i/'. -e%#o B-e +B- n #C<2 po',+mo% 8l0?K M O'13@? M lJ e'#o'.e%3

Integrales del tipo J fl(x. 1/<ix + >x+c)<lx

291

Ae ilomle

x+C i* 2xl + l>,

Integrales del tipo J fl(x. 1/<ix + >x+c)<lx

292

or .o'%i,-ie'#e2

di

Re#or'+'Ao + l+ i'#e,r+l i'i.i+l2 #e'emo%3 ''r'' di

I Vi+c

<J 21 (&G+%e l+ f/rm-l+ F4 Ae l+ #+El+ Ae i'#e,r+le%)2 2. Segunda sustitucin de 'uler. Si c > 0, pongamos Va*3 + l/X + c = xt Ve,

entonces:

axz + bx + c = x3i2 + 2x Ve -f c.

(Para mayor precisin liemos tomado el signo ms delante de la raiz). De aqui x se define como funcin racional de t:

2 Ve f 6 x a- r

Puesto que dx y yax2 + bx c tambin se expresan mediante funciones racionales de , entonces sustituyendo los valores de I, Vaxx + bx - c y dx en la integral $ H (z, Vax* + bx 1- c) dx. reducimos esta ltima a la integral de una funcin racional de t.

=jemplo 5. C+l.-l+r l+ i'#e,r+l

Integrales del tipo J fl(x. 1/<ix + >x+c)<lx

293

(l-Vl+J + i?)*
dx.

x* y\+z+x* !ol-.i/'. o',+mo% VF M ?Mjr[1?' Mo'#o'.e%2 't @ I ________________________________________________ 5F8\\\8eC0 4( 2 # M ?M?K 1 ?NKNM5?l M lJ 6K @ i 4(F\\\\\\\\\\\\\\\\\\\\\@ 508 0

Vl+x+x-x-M-^-f-i^p; i_Vi+x-)-x = ^fi. !-%#i#-4e'Ao l+% e?pre%io'e% oE#e'iAo% e' l+ i'#e,r+) i'i.i+l2 e'.o'#r+mo%3 (l(Vl+ x + x * ) ' P ( _ 2 l + 0 ( l ((K)K(N('') (5l'(5l M 5) ?NV)M? M ?' < (#(lC)(5f(#)K('2(6Ml)(l(6ll)Q

Integrla del Upo J R (x,

bx , c) dx 294

2(Vl t-x-t-x'-O t |n|

3. Tercera sustitucin de Euler. Supongamos que a y P son races

reales del trinomio ax* + bx 4- c. Pongamos: tenemos: Va (x - a) (x p) = (x - a) t, a(x expresa como una funcin racional de t:

Vax1 -+ bx -f c = (x a) /. Siendo ax3 + bx + c a (x a) (x p), a) (x p) = (x af a(x 11) = (x a) t". De donde x se

ap al2

------------------------------------------------------------------------ -----v-.
ar

Puesto que dx y ) ax" bx -r c son tambin funciones racionales de /, la integral dada se transforma en la integral de la funci n racional de t.

Observacin I. Ln tercera sustitucin de Euler es aplicable no slo cuando a < 0, siuo tambin cuando a > 0; la nica condicin es que el polinomio ax2 -f- bx -f c tenga dos raices reales. Ejemplo 3. C+l.'l'r l+ i'#e,r+l !ol-.i/'. -e%#o B-e VT4) (i-D- E'#o'.e%3 (?(f(4) (8@F) 1(? M 4)8 IK. x
dr =

1-M/3 1- 1

nObservacin 2. Notemos que para reducir la integral (1) a la integral de una funcin racional es suficiente utilizar la primera y la tercera sustituciones de Euler. Examinemos el trinomio ax' r bx + c. Si Ir 4ae > 0, las races del trinomio son reales y, por tanto, es aplicable la tercera sustitucin de Euler. Si 6a 4ac < ^ 0, tenemos as" + bx + c j- \(2ax + li)- -(- (4ac i2)]

y, por tanto, el trinomio tiene el mismo signo que a.

Para que

Vax? + bx + e sea real, hace falla que el trinomio sea > 0. En este caso se puedo usar la primera sustitucin. i F3. INTEGRACION DE LO! IIFNOMIO! DIXERENCIALE!

positivo y, partiendo de aqu, liene que ser a

La expresin de la Utrma
en la que ni. n, p, a, b son nmeros constantes se llama binomio diferencial. Teorema. La integral del binomio diferencial

xm (a + bx")" dx,

S xm (a -f bx")'' dx. puede reducirse, si m, n, p, son nmeros racionales, a la integral de una funci n racional y, por consiguiente, puede expresarse mediante funciones elementales en los tres casos siguientes:

1)

p es un nmero entero (positivo, negativo o cero);

2)

es un nmero entero (positivo, negativo o cero);

3)

- p es un nmero entero (positivo, negativo o cero).

Demostracin. Transformemos la integral dada con ayuda de la sustitucin

-1-

x = z", dx = z dz . n

1 ir-'

Entonces: ^""(a + bx")" dx = i (a + bzy dz = -i j z" (a + bz)p dz, (') donde n

1. forma:

Soa p un nmero entero. Siendo 17 un nmero racional, designmoslo por --. En este raso. Ja integral (1), tiene la
r

J f(z','z)dz.

Hemos indicado en el II. cap. X, que uua integral de este tipo puede reducirse a una funci n racional mediante la sustitucin 2 = /'.

297

Integral iniiejinitla

x,,x

, , j x 1 -feos - 4- sen - 1 4- tg -j

Luego,

arctg, dx 14-r

Asi, sen x, cosx y dx quedan expresadas mediante funciones racionales de /. Puesto que una funcin raciona) de funciones racionales es tamliin racional, sustituyendo las expresiones obtenidas en la integral (1), sta se reduce a una integral de funcin racional:

^ W (sen x, cosx) & = { f [-J^. =*.]-J^. Ejemplo F. A'+li.emo% l+ i'#e,r+l f dx < %e' ?

?p-e%#+%2 #e'emo%3 2 dt

141

La sustitucin examinada ofrece la posibilidad de integrar cualquier funci n del tipo U (eos x, sen x). Por eso, se llama, a veres sustitucin trigonomtrica universal. Sin embargo, en la prctica esta sustitucin conduce a menudo a funciones racionales demasiado complicadas. Por esto, siempre es preferible conocer, aparte de la sustitucin universal otras sustituciones, que. a veces, conducen ms rpidamente al objetivo.

1) Si la integral tiene" la forma H (sen x) eos x dx, la sustitucin sen x /. eos x dx dt, reduce la integral a una integral de la forma j 11(1) di.
/ ntegracin de ciertas clases de funciones trigonomtricas_________________298

2. Si la integral tiene la forma J II (eos x) sen x dx. la sustitucin cosx I, sen x dx di, reduce la integral a una integral de funcin racional.

.1) Si el integrando slo es funcin de tg x, la sustitucin tg x I.

x arclg I, tlx -

reduce la integral a una integral de

funcin racional: dt 1-f tz

A) Si el integrando tiene la forma II (sen x, eos x), donde las potencias de sen x y de eos x son exclusivamente pares, se usa la misma sustitucin:

tg x ^ t,

(2')

puesto que sen5 x y eos5 x se expresan mediante expresiones racionales de tg x:

1 + ig-x l + r tg'-x

1 + tg2x i -f t!ol-.i/'. E%#+ i'#e,r+l %e reA-.e


/ ntegracin de ciertas clases de funciones trigonomtricas_________________299d fW.ilme'#e + -'+ Ae l+ form+ V II (eo%

E' efe.#o2

%e'3 ? . %e'8 ? %e' ? dx f8 F @ eo%; ? 2 \ -z-----------------------------------------------------------------------------dx=\ @(((((((((((((((((((((((((((((( $ @@(((((((((((((((%e' ? dx. J 2(f(.o%? Efe.#-emo% l+ %-%#i#-.i/' .o%? 1 r. E'#o'.e%2 %e' xdx=dz: j 24(.o%? J 2(f(.o%?

l i & < - * > - S ) z* 1 i((5i M 3 l' (% M 5) M C 1 I7(5.o3i M 3F'(.<HK M 5) M C. f


P dx P

ros* x

/ ntegracin de ciertas clases de funciones trigonomtricas_________________300 dt P dt F . F , _

dx

Ejemplo 3. C+l.-l+r $ 5\3e'+ ? e Efe.#-emo% l+ %-%#i#-.i/' #,? 1 #3

5) Examinemos ahora una integral ms, de la forma J H (sen x, cosx) dx, aqu bajo el signo de intogral se encuentra el producto sen" 1 x eos" x dx (donde m y n son nmeros enteros). Es preciso estudiar tros casos.

a) jsenmxcos"xdx, donde por lo menos uno de los nmeros m y n es impar. Para evitar toda ambigedad, supongamos quo n es impar. Hagamos n = 2p -f 1 y transformemos la integral:

J sen"1xcos2',+1 xdx = J senm icos2'' xcosxdx =

= J senrax(l sen2x)''cosxx. Efectuemos el cambio de variable:

son x t, eos xdx = dt. Sustituyendo la nueva variable en la integral dada, obtenemos: S senmxcos" xdx = J r (1 - tY dt, que es la integral de una funcin racional de t. Ejemplo 4. eo%3 x ^ P eo%9 ? eo% x dx _ (F @ %e'F ?)'.o% ? dx %e'8 ? Q %e'4 ? 2) %e'8 ?

De%i,'+'Ao %e'? 1 2 .o%? A? @ dt, oE#e'emo%3 f .o%'i . C(# t')dt p di P dt

F2#

M = d ~i* o

"31" ~

_______________________________________________________| I , c 3 %e'3 ?/ ntegracin de ciertas clases de funciones trigonomtricas_________________301 %e'

/ ntegracin de ciertas clases de funciones trigonomtricas_________________302

?) sen'" x eos"xrfx, donde m y n son nmeros no negativos y pares.

Pongamos m = 2p, n 2^. Escribamos las conocidas frmulas trigonomtricas: 1 1 1 1

sen2 J'= Ty -ros

COS X

= -f- eos 2x. (3)

Sustituyndolas en la integral, obtenemos:

^ sen2pxcos2x(x= | (-1 - -i eos 2xW-i + -1 eos 2xV dx.

Ejecutando operaciones de elevar a potencia y abrir los par ntesis. obtenemos trminos que contienen eos 2x en potencias pares c impares. Los trminos que contienen las potencias impares, se integran como liemos indicado en el caso a). Los t rminos que tienen las potencias pares, los reducamos de nuevo, utilizando sucesivamente las frmulas (3). Procediendo de esta manera llegamos basta los trminos de la forma J eos kxdx, que pueden integrarse fcilmente.

Ejemplu H. ^ %eiiNi6rcQj( ^ (1 cosz)-dz JL. ^ (t 2 eos 2z (# eo%K 2*) dz = (i( [z- son 58(C4 l (I (feo% Az) 6U2f 12g >T%e' 5?(#(HLOhf MC .

b) Si los dos exponentos son pares y, por lo menos, uno de ellos es negativo, el m todo indicado en el caso anterior b) no da resultado. Es preciso hacer la sustitucin

Igx t ( cotgx i) Ejemplo C. %e'5 ?Ar P %e'( x (%e'5 r (#( eo%5 ?)5
de tga x (i _{. Ig2 X)S

/ ntegracin de ciertas clases de funciones trigonomtricas_________________303

coa* x *+,+mo% #,? e'#o'.e%2 ?N1+r.l,02 dx 1 4 oE#e'emo%3

126

Integral Indefinida

- '' I '' I r - ,g'T I 'R5* j-r 6) En conclusin examinemos las integrales de la forma siguiente: J eos mxcosnxdx, J sen mxcosnxdx, J sen mxsennxdx.Estas so pueden calcular con ayuda de las siguientes ) frmulas (ira n):

eos marcosrax = [cus (m 4- ra) x 4- eos (m n) x], sen i/ixcosrax = [sen (m 4- ra) x 4- sen (ira ra) x],

sen rnx sen nx = -j- ( eos (ra 4~ n) x 4- eos {m n) x].

Sustituyendo e integrando, obtenemos: eos raixeos nx dx = ^ feos (ira 4-11) x 4- eos (rn n) x] dx

sen (m 4- n) x ^ sen (m ra) x ^ ^ 2{m -\-n)

2 (mn)

Del modo anlogo se calculan las otras dos integrales. Ejemplo S.

E%#+% f/rm-l+% %e .+l.-l+' fW.ilme'#e Ae l+ m+'er+ %i,-ie'#e3 .o.% (m 4( n) x @ eo% mx eos nxsen mx %e' nx. eo% (m @ ') x 1 eo% mx eo% nx f %e' mx %e' nx. !-m+'Ao e%#+% i,-+lA+Ae% #Grmi'o + #Grmi'o y Ai&iAiG'Aol+% por Ao%2 oE#e'emo% l+ primer+ Ae l+% #re% f/rm-l+% i'Ai.+A+%. Re%#+'Ao #Grmi'o + #Grmi'o 4 Ai&iAie'Ao por Ao%. oE#e'emo% l+ #er.er+ Ae e%#+% f/rm-l+%. L+ %e,-'A+ f/rm-l+ %e oE#ie'e Ae moAo +'Wlo,o2 e%.riEie'Ao l+% i,-+lA+Ae% iAG'#i.+% p+r+ %e' (m (f n) x 4 %e' (m @ n) x 4 %-mW'Aol+% #Grmi'o + #Grmi'o.

126

Integral Indefinida

C r .. . I C 1 u , , . sen8x , sen2x , ,,

Ejercicios para el captulo X

<123

Q4
. fesp. Iarctg|2tg4|+C.

Q 4 @H %e' ?

( 3 eo% ? (f?(f(C. 5FFK. 4(eo% b A?. Hesp. +r.#, (5%e'3 ?@ F) M C.

Q eo%8 F4( %e'4 ?

-----------.

55F.

ST

A? 4(.o%Ijl9

ZK 5 0 9` 5 ' (((((((((((((((((((

%e'3F4( #,FF '

CAPITU LO

XI

\(>.ol,? M I.r.#,(I)f M C2 553. !IEAi. Hesp.INTEGRAL DEFINIDA i I. LANTEO DEL RO`LEMA. !L'MA! INTEGRALE! INXERIOR P !" ERIOR

Un medio potente de ciencia es la integral definida,

investigacin en las matemticas, fsica, mecnica y otras ramas de la uno de los conceptos fundamentales del anlisis matemtico. El clculo

Fig. 207 de las reas limitadas por las curvas, de las longitudes de arcos, volmenes, trabajo, velocidad, espacio, momentos de inercia, etc., se reduce al clculo de una integral definida.

Sea y / (j-) una funcin continua dada sobre el segmento [a, b\ (figs. 20K y 207). Designemos por m y M sus valores m nimo y mximo respectivamente en este segmento. Dividamos mediante los puntos el segmento la, ) en n partes a = xo, x,, x2, . . ., x.|, xn = b,

en este caso.

x0 < x, < x2 < ... < x,

y pongamos:

CAPITU LO

XI

x, x0 Ax,, x2 x, = Ax......................................................................................... .... x-, = Ax.

Designemos ahora los valores mnimo y mximo de la funcin / (x)

en el segmento |x0, xj, por m, y M,. en el segmento [x,, x2|, por m? y ;W2,

en el segmento |x ,, xl, por m y ,1/ respectivamente.

, ,

Formemos las sumas:

s=m A*, + m, Ax.-f .. +m Axa=^m,Ax,, s = M, A*, + M, Ax, + . . . + / W A jc = 2 M, AX . (2)

(1)

cl s se llama suma integral inferior y s, suma integral superior.

Si /(*)> 0, la suma integral inferior es numricamente igual al rea de la figura escalonada inscrita AC,N,C,N,.. ,C n_,NBA, limitada por una lnea quebrada inscrita. La suma integral superior es numricamente igual al rea de la figura escalonada cir-

Planteo del problema. Sumas integrales inferior y superior

309

----------------------------------------------

Fig. 208

cunscrita AK,C,K,.. .Cm_,Ka_,CnBA. limitada por una linea quebrada circunscrita.

Analicemos algunas propiedades de las sumas integrales, superiores e inferiores.

a)

Dado que m < Af, para cualquier i(i= 1 , 2 .............................n), en virtud

de las frmulas (1) y (2) leemos:

S<s.

(El signo de igualdad slo correspondePlanteo del problema. Sumas integrales inferior y superior al

caso

en

310que f(x) = const).

b)

Dado que

m, m, m, ^ m, .... m > m, donde m es el valor minimo de /(x) en el segmento |a, fe), tenemos: s, = m, A*, + m, Ax, + ... + mAx > m Axt -f m Ax, -t-... ... + m Ax = m (A*, + Ax, -+ ... + Ax) = m (ba).

As:

s>m(>a)

c) Dado que

Af,<A1, Af,<Af.......................................................................................................... A<Af,

donde M es el valor mximo de / (x) en el segmento [a, 6], tenemos: s = M, Ax, + M, Ax, + ... + M Ax < M Ax, + Al Ax, + ...

... + Af Ax = Af (Ax, + Ax, + ... + A*) = Ai (ba).


Planteo del problema. Sumas integrales inferior y superior

311

As: ssg M(ba).

Uniendo dos desigualdades obtenidas, tenemos: m (ba)<s <7 < M (ba).

Si /(x)> 0, la ltima desigualdad tiene una interpretacin geomtrica simple (fig. 208), puesto que los productos m(ba) y M (6a) son numricamente iguales a las reas respectivas del rectngulo inscrito Al.,l.,B y del circunscrito AL,LtB. 5. INTEGRAL DEXINIDA

Continuemos el examen del problema del prrafo anterior. En

cada uno de los segmentos [x, *,], [x,, x,j.............................................................................. [*_,, x] elijamos

un punto que designamos respectivamente por ..................................................................................................

-i.. 20/

(fig. 209):

Planteo del problema. Sumas integrales inferior y superior

312

X. < L , <

x, < , < x ..., x_, < | < x.

En cada uno de estos puntos calculemos el valor de la funcin /(i), lih)

f(ln) y formemos la suma:

s = /(!,) Ax, + f (l.) Ax,+ ...+/(U Ax = 2 (i,) Ax,, (1)

y todos los Ax, > 0, entonces, m,Ax, < / (|i) Ax, -C M,Ax. Por consiguiente,

2 m, Ax, < / (,,) Ax, < 2 M, Ax, i - i i = i i - i

f < < V

(2)

La interpretacin geomtrica de la ltima desigualdad es que. para / (x) ^ 0, la figura cuya rea es igual a s, est limitada por una linea quebrada, comprendida entre las lineas quebradas inscrita y circunscrita.

La suma sn depende del modo de dividir el segmento a. /'I en los segmentos x(_t, xt\, asi como de la eleccin de los puntos dentro de estos segmentos.
Planteo del problema. Sumas integrales inferior y superior

313

Designemos por mx lx_,, x,I la mayor longitud de los segmentos lx0, Xil, Ixi, x~l [xn_i, xl. Examinemos diferentes

divisiones del segmento la, b en los segmentos lx,_,, x,l tales que mx lx(_,, x,l -- 0.

Es evidente que, en el proceso de divisin, el nmero n de segmentos tiende al infinito. Eligiendo los valores correspondientes de t,, se puede formar, para cada divisin, la suma integral

2 /<.) Ax(>

i-i

de modo qne so puede hablar de la divisin sucesiva y la secuencia respectiva de las sumas integrales. Supongamos que, para una sucesi n de divisiones eligida, cuando mx Ax - 0, esta suma1) tiende a un limite /.

1 E' el .+%o A+Ao2 l+ %-m+ e% -'+ m+,'i#-A &+ri+Ele orAe'+A+.

Si para las divisiones arbitrarias del segmento |a, fc], tales que mx Ax, - 0, y la eleccin cualquiera de los puntos la suma

2 / (ti) Ax, tiende a un mismo limite I, se dice que la (uncin / (x). (-i

que es un integrando, es integrable en definida de la funcin / (x) en el

Planteo del problema. Sumas integrales inferior y superior el segmento

segmento [a,

/>); el limite / se llama integral 314la, M #.

y se desigua por: f f (x) dx. Entonces podemos escribir:


n h

l> 2 / (b) Ax, = S / (x) dx. mx Ax/ 0II aI,os nmeros a y i se llaman, respectivamente, lmite inferior y superior de la integral. El segmento la, l se llama segmento de integracin, la letra x, variable de integracin. Notemos sin demostracin que si la funcin y f (x) es continua en el segmento la, fe], es integrable en el mismo segmento.

315

integral definida

Si para cierta sucesin de las divisiones, tales que mx &x -+ 0 estudiamos la secuencia de las sumas integrales inferiores s y las sumas integrales superiores s para una funcin continua / (x), es evidento que estas sumas tender n a un mismo limito /, es decir, a la integral definida de la funcin f (x):

45/.

Integral definida

En las designaciones elegidas se puede escribir ta ltima igualdad en la forma:

/ (n 1) /w_2 (/ l)/,
- !L :J 11 - 3 /
de dondeUsando el mismo procedimiento, encontramos: por esto;

Continuando de la misma manera llegamos a obtener /<, /, segn sea par o impar el nmero n. Examinemos dos casos: 1) n es par. n 'ni:

_ 2/n 1 'ni 3 3 l
/TI Z/7 'I
2) n es impar, n 2//i ; 1:

/ ^'^m-f-1*2*1-1 5 ' 3 "

2m 2w 2 4 2 .

/ ntegracln por partes


poro, puesto que

317

nn
22

it
2 'o JJ sen0 r lx ^ dx = ~- , ^ JJ seu xdx = 1,

2m 1

2m '2m 2 " 6 ' 4 ' 2 ' 2 '

S32i

? .. , 2m 2m 2 6 4 2

De estas frmulas se deduce la frmula de Wallis quo expresa el nmero en forma do producto infinito. En efecto, de las ltimas dos igualdades, dividindolas trmino a trmino; encontramos; n / 2-4-0 ... 2m y t /2m 2 \3 5 ... (2m 1)/

2m + i /+, '

Demostremos ahora que lim

JjtL^i. lzm |

m-*ao

Para todo x del intervalo ^0, -^-j so verifican las desigualdades

seu*"1-1* >senam x>senam*x. Integrando desde 0 hasta , obtenemos:

do donde:

'2mM 'smti De la iguuldad (2) se doduco:

------------------------------------->

12m + i 2m '

Por tanto,

/ ntegracln por partes


lm ^L = |[m2m-f l = t

318

Do la desigualdad (4) obtenemos:

m-*< /2mt m-co 2m

/ ntegracln por partes

319

Pasando al lmite en la frmula (3), obtenemos la

frmula de Wallis:

JL= Ita [7 < VL-l .


2 m-.. L\ 3-5... (2m t) 1 2 5 7. INTEGRALES .IMPROPIAS

0 21 + 2 i
2m 2m \

Se puede escribir esta frmula en la forma:

= Ita l 1 i. 2/71 2
=

m-oa ^ 1 ' 3 ' 3 ' 5 ' S '" 2m 1' 7m i'2m+i) '

1. Integrales con lmites infinitos. Sea / (x) una funcin definida y continua para todos los valores de x tales que a x <C -foo. Examinemos la integral /(&)= 5/(x)dr. a

Esta integral tiene significado, para cualquier 6 > a. Cuando 6

continua de

(vase 4). Examinemos cmo varia la

integral cuando 6 -|-oo (fig. 218).

Definicin. Si existe el limite finito lim \l(x)dx,


5 + oo 0

este limite se llama integral impropia de la funcin / (x) en el intervalo la, -foo| y se designa por:
+ oo

f(*)dx.

Por tanto, segn la definicin tenemos: J f(x)dx= lim \f(x)dx.

/ ntegracln por partes

320

4 + 56

En este caso suele decirse que la integral impropia J / (x) dx

/ ntegracln por partes

321

existe o converge. Si la integral J / (x) dx, para b - + oo, no tiene

limite definilo, so dice que ) / (x) dx no existe o diverge. n

Es fcil definir el significado geomtrico de la integral impropia

para / (x) 0: si la integral ) f (x) di representa el rea de un

dominio limitado por la considerar que la integral

curva y / (x), el eje de las abscisas y las ordenadas x a, x b. es natural

impropia J / (x) dx ex presa a

el rea de un dominio ilimitado (infinito),

comprendido entre las lineas y / (x), x a y el eje de abscisas.

/ ntegracln por partes

322

De modo anlogo se determinan las integrales impropias en otros intervalos infinitos:

J j (x) dx = lim J / (x) dx,


<x foo c a - oo a +oo

^ /(x)rfx- /(x)rfx-t- / (x) dx.

La ltima igualdad, se comprende asi: si existe cada una de las integrales impropias del segundo miembro, entonces oxiste (con verge), segn la definicin, la integral del primer miembro.

f o

Kjctnplo I. Calcular la integral Jj ~^j(va ligs. 21!) y 220).

Polucin. Segn la definicin de integral impropia hallamos:

Por consiguiente. + 00

323

integral de/inda

P dx n , n

^TT^-T+T-11'

Eu muchos casos es suficiente establecer si la integral dada con verge o diverge, y determinar su valor. En tales circunstancias pueden ser tiles dos teoremas siguientes, que citamos aqu sin demostracin. Demos, algunos ejemplos de su aplicacin. Teorema I. Si para lodos x (x > o) se verifica la desigualdad O < / <x) < q> (x), + 00 +00 siendo \ <p {x) dx, convergente, entonces J / (j) dx tambin es convergente y

+ O0

+00

S /(x)dx< S <P(x)dx.
a
Ejemplo 4. Analizar la convergencia de la integral
+<*>

(' dx
**(\ + e*) '
Solucin. Notemos que para l<x

______________________________________________________________?_____<_L
x (! + ,) I

Luego,

T^r4ir-.

por tanto,

324

integral de/inda

+ oo

dx

x(l+ -e*)

i
converge y su valor es inferior a la 1.

45/.

Integral definida

Teorema 2. Si para todos x (x a) se verifica la desigualdad 0 ^ <p (x) / (x), siendo J <p (x) dx divergente, entonces S / (x) dx
n

tambin es divergente.

Ejeutplo 5. Analizar la convergencia do la integral

\ ^^
J Via

r-H . _f_ = __ Vx 1/x' V'

-w="r~2V'xl

+co

Por tanto, ln integral dada es divergente.

En los dos ltimos teoremas estudiamos las integrales impropias de las funciones no negativas. Para el caso de una funci n / (x) que cambia de signo en un intervalo infinito, tenemos el teorema siguiente.
loo +o>

Teorema
n

3. Si la integral J \f (x) \dx converge, entonces J f(x)dx

tambin converge. En esto caso la ltima integral se llama absolutamente convergente.


Kjemplo 6. Analizar la convergencia le la integral

+e
f sen x ,

Solucin. Aqu el intogrando es una funcin de signo variablo. Notemos que

45/.

Integral definida

| * j dx os convergente, de lo que se deduce I

Integrales Impropias
quo es convergento tambin la integral dada.2.

327

Integral de una funcin discontinua. Sea / (x) una funcin definida y continua para a x < c. Pero en el punto x = o la

Integrales Impropias

328

funcin, o bien, no est definida, o bien es discontinua. En este

caso no se puede definir la integral J / (x) dx como limite de sumas


a

integrales, puesto que ia funcin / (x) DO es continua en el segmento

la, e] y este limite puede no existir.

La integral J / (x) dx de la funcin / (x), discontinua en el

a del modo siguiente: c

t>

J ;(x)dx= lm J/(x)dx.
a

te

oo

Esta integral se llama integral impropia convergente si existe el lmite del segundo miembro de la igualdad y se llama divergente en el caso contrario.

Si la funcin / (x) es discontinua en el oxtremo izquierdo del segmento [a, el (es decir, cuando x = a), entonces, seg n la definicin:

l(x)dx= lim S/(x)dx.

Si la funcin / (x) es discontinua en un punto i = x0, dentro del segmento [a, el, entonces:
J/(x)<ix = *5/(x)<x+

\f(x)dx. a

egrales impropias del segundo miembro, i

Kjemplo 7. Calcular \

i l/l-x
Solucin. { J Vi- I M - F L T ) Vl- L F C - L - 0 ~ - lm
V

lm {'

lm 2V

2\y~b-\\ = 2.

10 o v

ov

Integrales Impropias

329

e dx
Ejemplo 8. Calcular la integral \ .

45/.

Integral definida

ISolucin. Como dentro del segmento de integracin existe un punto * = 0, en el que el integrando es discontinuo, la integral debe ser representada como la suma de dos trminos:
7i1

8[1

$*
-I ti 0 V 1 /
lim ()--L)^oo.

J i" ei--o * ,, (-0 0 x" -1

Calculemos por separado cada lmite:

,(m ? ,(m II" __ ,,, (_L1_)=00. I-- d *a BJ-.-0 * |t


Por tanto, en el intervalo { 1, 0| la integral diverge lm

I^+O ' tf* ) 0 V /

Entonces en el intervalo |0, ! | la integral tambi n diverge.

As, la integral dada diverge en todo el segmento f 1. 1J. Notemos que, si hubi ramos calculado la integral dada, sin teuer en cuenta la discontinuidad del integrando on el punto

x 0, habramos obtenido un resultado errneo. En efecto,

U
a

H',--^)--' -i

lo quo es imposihlo (fig. 222).

Observacin. S la [uncin / (x), definida en el segmento |<i, 61, tiene dentro de este segmento un nmero finito de puntos de discontinuidad: a,, a, determina del modo siguiente: \t(x)dx=[t(x)dx + inx)dx+ ... + J f(x)dx.
a a, ,,

la integral do la funcin / (x) en el segmento (a, 6) se

si cada una de las integrales impropias del segundo miembro converge. Si por lo menos una de las integrales diverge, entonces, b J / (x) dx es tambin divergente

Integrales Impropias

331

.Para determinar la convergencia de integrales impropias de las funciones discontinuas y calcular sus valores se pueden aplicar frecuentemente teoremas anlogos a los teoremas de las integrales con limites infinitos. Teorema I'. Si las junciones /(j) y <p(x) son discontinuas en el punto c del segmento la, c], mientras que en todos los puntos de este segmento se cumplen las desigualdades * ( * ) > 9 (*) > 0,
c

y (fi () dx es convergente, entonces J / (x) dx es tambin convergente.


n c

c a

Teorema II'. Si las junciones j (x) y q> (z) son discontinuas en el punto c del segmento (a. el, mientras que en todos los puntos de este segmento se cumplen las desigualdades / (x) <p (x) ^ 0 y J <p (x) dx

a
c

es divergente, entonces J / (*) dx es tambin divergente. Teorema III'. Si f (x) es una funcin de signo variable en el segmento (a, el y discontinua slo en el punto c, mientras que la integral
c c

impropia J | / (x) \ dx del valor absoluto de esta funcin es convergente, entonces la integral $ / (z) dx de la misma funcin f (z) es tambin

<i convergente.

A menudo se toma ---------------------------------------------------------------- como funciones de comparacin.

cmodas para comparar con las funciones que so encuentran bajo el


c

signo do la integral impropia. Es fcil comprobar que J a(c x)

i --------------------------------------------------- - - -

Integrales Impropias

332

dx

converge para

a < 1 y diverge para a ^ i.

Lo mismo sucede con las integrales \ ^ - dx. J (i a)

Kjemplo

0. Es convergente la integral

{ ' n
Solucin. El integrando os discontinuo en el extremo izquierdo del segmento [0, 1). Comparndolo con la funcin 7=-, tenemos:

V*

y* + 4r> Vi'

I
existe. Por consiguiente, ln integral impropio

ox

de la menor funcin, es decir, ^ ------------------------------------------------------------------------------------ '------------dx, latnhin existe. Vx + 4x> i 8. CALCULO APROXIMADO DE LAS INTEGRALES DEFINIDAS

E11 la parto final del capitulo X liemos indicado que no toda funcin continua tiene una primitiva expresada mediante funciones elementales. En estos casos el clculo de las integrales definidas por la aplicacin de la frmula de Newton-Leibniz es difcil por lo que se utilizan otros mtodos para un clculo aproximado de las integrales definidas.

Integrales Impropias

333

Expongamos alguna mtodos de 1 integracin aproximada, partiendo de la nocin de integral definida romo limite de una suma.

I. Frmula de los rectngulos. Sea j/ = /(x) una funcin continua en el segmento la, 6|. Calcular la integral definida J l(x)dx.
a

Dividamos el segmento la, 61 por medio de los puntos a = x0, X,, x2 n

x = 6 en n partes iguales de longitud Ax:

Designemos por y0, y,, yz, . . ., y_,, y los valores de la funcin / (x) en los puntos xo, x, x2
Vo = / (*o);

y, = / (*i); . - y = / (x).

x, es decir,

Formemos las sumas:

y,Ax + y, Ax + . . . + y.,Ax, y, Ax + y2Sx + . . . + yAx.

Cada una de estas sumas es una suina integral de la funcin segmento la, 6), y por eso, expresa aproximada mente

f (x) en el

laintegral

/(*)<&------------------------------------------------------?(,. + (,.+ ... +J,).

Estas son las frmulas de los rectngulos. De la figura 223 se deduce que, si / (i) es una funcin positiva y creciente, la frmula (1) representa el rea de una figura escalonada, compuesta por los

x-o x, x2 x., x't> Fig. 224

rectngulos interiores, y la frmula (1'), el rea do la figura .escalonada, compuesta por los rectngulos exteriores.

El error que se comete durante el clculo de la integral por la frmula de los rectngulos es tanto menor cuanto mayor sea el

nmero n ^es decir, cuanto monor sea el paso de la divisin x

II. Frmula de los trapecios. Es natural esperar un valor ms exacto de la integral definida, si cambiamos la curva dada y = / (x) no por una linea escalonada que utilizamos para la frmula de los rectngulos, sino por una linca quebrada inscrita (fig. 224).

En este caso, en vez del rea del trapecio curvilneo aABb obtenemos la suma de las reas de los trapecios rectangulares limitados por arriba por las cuerdas AA,, A\A, . . ., A ,B. Como las reas de

estos trapecios son respectivamente guales a Ax, ^ Ax,

etc, entonces
+

... + *- + *> Ax).

J/W*i^;(fes+,I + fc+... +,_,). (2) Esta es la frmula de los trapecios.

El nmero n se elige arbitrariamente. Cuanto mayor sea esto

nmero n y, por tanto, cuanto menor sea el paso Ax - , con

tanta mayor precisin la suma del segundo miembro de la igualdad aproximada (2) expresar el valor de la integral.

III. Frmula de las parbolas (Frmula de Simpson). Dividamos el segmento la. | en un nmero par n - 2m de partes iguales. El rea

|xo, x,| y |xi, Xj) y limitado en su parte superior por la curva dada y I (x), se sustituye por el rea de otro trapecio curvilneo limitado por una parbola de segundo grado que pasa por los tres puntos: M (x0, /o); M, (x y,); M (X2, y2)

y tiene el eje paralelo al eje Oy (fig. 225). Tal trapecio curvilneo es un trapecio parablico.

La ecuacin de una parbola con el eje paralelo a Oy es y = Ax' + Bx + C.

Los coeficientes A, B. y C se determinan unvocamente de la condicin de que la parbola pase por los tres puntos dados. Constru- moa tambin parbolas semejantes para otras pares de los segmentos. La suma de las reas de los trapecios parablicos da el valor aproximado de la integral.

Calculemos al principio el rea de un trapecio parablico. Lema. Si el trapecio curvilneo est limitado por una par bola y ~ Ax2 -f Bx -f- C( el efe Ox y dos ordenadas, la distancia entre las cuales es igual a 2h, entonces su rea es igual a
S= (3)

| (</o + -IVi + y>.

donde, y0 e y2 son ordenadas de los extremos e y, es ordenada de la curva en el punto medio deI segmento.

Demostracin. Dispongamos el sistema do coordenadas auxiliar del modo como se indica en la figura 226. Los coeficientes en la ecuaci n de la parbola y = Ax* Bx -f C se determinan de las siguientes igualdades: si x0 = fe, entonces: >jn = Ah2 Bh | C\ \

si x = 0, entonces: y, = C; > (4)

si Xj fe, entonces: y2= Ah2 + Bh | C J

Considerando que los coeficientes A, B, C son conocidos, determinemos el rea del trapecio parablico mediante la integral definida:

h S = j (Ax3 + Bx + C) dx= ~ + Cx]"^ = ~h = | (2/1 fe* + 66').

Pero, do las ecuaciones (A) so. deduce que

y + + y* - 2Ahz + cr.

Por consiguiente,
i' = (i/u + 'iyi + h),

lo que se trataba de demostrar

Integral le/tnida

a<=- x1

.Regresemos a nuestro problema principal (vase fig. 225). Utili- xando la frmula (3) podemos escribir las siguientes igualdades apro- imadas (h Az):

Xi j / (X)
>J

( 1 / 2 +

iJW A J / (i) djr X ~ (</z,_s + 4;/2,_I + !/2m).

Sumando miembro a miembro, obtenemos a la izquierda la integral buscada, y a la derecha, su valor aproximado: / (*) dx ~ (yo + 4/t + 2y2 + 4/3 ... + + 'li/lm-i + ilm), (5)

/ (x) dx +y* + + y H- + +

l>m a

La ltima es la frmula de Simpson. Aqu el nmero 2m do los puntos de divisin es arbitrario; pero cuanto mayor sea este nmero tanto mayor es la precisin con la que la suma del segundo miembro de la igualdad (5) expresa o) valor de la integral *).
Ejemplo. Calculnr aproximuiliuncnlc:

dx

ln 2Solucin. Dividamos e( segmento (1, 2J on

10 partes iguales (fig. 227). Haciendo

I"
2 ^

formamos ta tabla do loa valores del integrando:

0 = 1,0 1-1.1 2=1,2 5=1,3 = 1,00000 4=1,4 5=1.5 p,= 0,90909 yj =3 0.83333 1,5 = 0.76923 K, g4 =.0,62500 = 0.71429 l/ g, = 0,58824 , = 0,55556 y,=0,52632 /to =0,50000

I. Segn la pWmera frmula de los rectngulos (I) obtenemos: 2

da frmula de los rectngulos (!') obtenemos:

- *>0, t (y, + yt+ ... + j/10) = 0,1 -6,68773 0,06877. 1

Directamente de la figura 227 so deduce que en el caso dado la primera f rmula da el valor do la integral por exceso y la segunda, por defecto.

mula do los trapecios (2) obtenemos: 2

1 Para determinar el nmero de puntos de divisin que se deben tomar ara calcular la integral con un grado de precisin dado, se pueden utilizar las irmulas de evaluacin de los erroros cometidos durante el clculo aproximado de la integral. Aqu no so dan estas frmulas de ovaluacin.

Integral le/tnida
(
21+
2 0,5

+ 6,18773) =0,69377.

rmula de Simpson tenemos:

aH io-f 2 i!i+ "!#+"!-I $!#%4 4 $!i + (!&+$!& + '- 1-i$#($


(1 + 0,5 + 2-2,72818 + 4-3,45955) = 0,69315. 0,6931472 (con precisin de basta el sptimo dgito decimal). Por consiguiente: ai dividir oI segmento O, (Jea 10 parcos iguales obtenemos: segn la frmula do Siinpson, cinco dgitos correctos, segn la frmula do los trapecios, solamente tres dgitos correctos, segn la frmula de los rectngulos, podemos estar seguros de que solamente el primor dgito es correcto.

g 9. FORMULA DB CIIKB1SHEV

En los clculos tcnicos se utiliza frecuentemente la frmula de integracin aproximada do Chbishev. Supongamos que es preciso calcular \f(x)dx.

Sustituyamos ol integrando por ol polinomio de interpolacin de Lagrange /' (x) ( 9, cap. VII), lomando en ol segmento [a, fr| n valores do la funcin: / (x,), / (j- :), . . ., / (i,), donde X,, Xj, , . . . . ., x son los puntos arbitrarios del segmento la. fcl: P (*) = +

(x, xj (x, xj ... (x, x)

+ (*-.)('-*.>.(-*,) + (x2 X,) (Xj Xj) ... (x2 x)

(x X,) (X X) . . . (X !-,) Obtenemos la siguiento frmula aproximada de intogracin:

legra! diverge. 37. ^ j. +

J "CSP- "T 5n- "

a integral divergo. 40. ^ fesp.^-. 41.

fesp. La integral

i * V* ~~
42. jj

-l
. 43. jj r eos jr dx (a>0).

e~a* sen bx dx { >0). fesp.

lcular los valores aproximados de las intgralos:

f x t

\ -j- , segn la frmula de los trapecios y la do Simpson (n=-12).

sta: 1,0182 (segn la frmula de los trapecios); 1,6098 (sogn la

egn !a frmula de los trapecios y la de t

n frigio;,

fespuesta: 3690; 3660. 46. J

r*dx, segn la frmula

apecios (n = 6).

n r

fespuesta: 0.8109. 47. \

. segn la frmula

to

son (n = 4).

fespuesta: 0,81 ti. 48. J logtoxdx. segn la frmula |p

rcios y la do Simpson (o =10).

fespuesta: 6,0656; 6,0896.


t Calcular el valor de n. partiendo de la correlaci n \.*.

do la frmula de Simpson (n=10).

fespuesta: 3,14159. n_

4 J l-f 0

2
1

dx, segn la frmula de. Simpson (n 10). fespuesta: 1,371

o
Partiendo de la igualdad

e"axdx -~-t donde a>C, hallar el

0
la integral J

e~xxn dx, para /> 0. fespuesta: ni

oo

Partiendo do la igualdad

_
dl

y;

1.3.5... (Zn 1)

(r'+l)"' -

-------------------------------------------------------------------------------------------------------dx. fesp. ln (1 +ct) (o> 1).

T-------------------------

O
54. Utilizando la igualdad ^ x"-

dx

calcular la integral

C A P I T U L O XII
"- (ln x)* dx.

fesp.: (- 1)*

.APLICACIONES

GEOMETRICAS Y MECANICAS DE LA INTEGRAL DEFINIDA


( I. CALCULO DE AREAS EN COORDENADAS RECTANGULARES

Si la funcin / (x) ^ 0 est en el segmento lo, 6|, entonces, como ya es sabido ( 2, cap. XI), el rea del trapecio curvilneo limitado por la curva y = / (x), el eje Ox y las rectas x = a y x b (fig. 210) es igual a:

<?=5/(x)dx.

(1)

Si / (x) <^0 en el segmento

la, i], la integral definida J / (x) dx

es tambin <J0. Su valor absoluto es igual al rea Q del trapecio curvilneo correspondiente: Q \ I (x) dx.
a

Si / (x) cambia de signo un nmero finito de veces en el segmento [a, il entonces, podemos descomponer la integral a lo largo de todo

el segmento [a, ) en la suma de integrales en los segmentos parciales. La segmentos donde / (x) 0. La integral a lo largo de todo ti segmento eje Ox (fig. 228). Para obtener ordinariamente la suma de las reas, es

integral es positiva en los segmentos donde /

(x) 0, y nega- eiva en los

representa la diferencia de las reas dispuestas por arriba y por debajo del preciso hallar la suma de los valores absoluto

Clculos de reas en coordenadas rectangulares 345

sde las integrales en los segmentos parciales indicados o calcular la integral:

<?= I|/(x)|<r.
a
Ejemplo 1. Calcular ol rea Qt limitada por la sinusoide y=sonx y el eje

Ox, para 0<x<2n (fig. 229).

Solucin. Puesto que senx>0 para 0<x-<n, y .scnx<0 para :t < < x < 2n entonces:

2n

2ji

(> S senxdx+| J senxdx|= J |sonx|dxf

0
* \ sen xdx eos

n
x (eos n cosO)= ( 1 1) = 2, o

2ft 2n
sen xdx- eos x | =(cos2nCOSJ)= 2. Por tanto,

"
<7 = 24-1 21 = 4.

Si es preciso calcular el rea limitada por las curvas y = /, (x), y = /2 (z) y las ordenadas x = a, x b, a condicin de que /, (x) > f 1 (z) obtenemos (fig. 230): <? = / (*) dx - J h (x)dx~) \U {x) - U (z)| dx.
a

(2)

Ejemplo 2. Calcular el rea limitada por las curvas (fig. 231) y = Vi e \ = x*. Solucin. Hallemos los puntos de interseccin do las curvas: '\/xe=z2; x=x, de donde: xts=0, x2=l. Por tanto,

* - j v?*- i j

Clculos de reas en coordenadas rectangulares 346

000

Clculos de reas en coordenadas rectangulares 347

alculemos ahora el rea de un trapecio curvilneo limitada por la curva dada por ecuaciones paramtricas (fig. 232):

Area de un rector curvilneo en coordenadas polares


Kjemplo 4. Calcular el rea limitada por el ojo Ox y un arco do la cicloide eos ). Solucin. Puesto que l varia desde t> hasta 2n, x varia desdo 0 hasta 2na. Segn la frmula (4), tenemos:

348 x a ( sen I), |/-a (I

la ecuacin de una curva dada en coordenadas polares, donde p es el radio polar y 0 es el ngulo polar.

Escribamos las frmulas para pasar do coordenadas polares a cartesianas

x = p eos I), y = p sen 0.

Al sustituir p por su expresin (8). en funcin de 0 obtenemos las ecuaciones:

i / (0) eos I), y - / (0) sen U.

Estas ecuaciones se pueden considerar como las ecuaciones para- mtricas de la curva y aplicar la frmula (5) para el clculo de la longitud del arco. d l do Hallemos, para esto, las derivadas de

Entonces,

(Msy-w+ifMiw
Por consiguiente.

= J "lV+p2rfo.

Aplicaciones gcomlrices y mecnicas de a integral definida


AKjemplo 4. Hallar la longitud de la cardioidc p = fl(l-fcosO) (fig. 23fi).

Al variar el ngulo 0 desde 0 hasta n, obtenemos la mitad dt la longitud becada. Aqui p'

a sen t). Por tanto, jt

s^-'J. ^ V * O "os )3.f-2sen=o<i0

71

2 -f 2 coTs jn 4a Jj eos dti Sa suil ~ I" fia.


II
Kjemplo 5. Calcular la longitud de la elipse

* = a eos i |

0<<2ji,
y bsen/ J suponiendo pie

a > b.

Solucin. Para el clculo utilicemos la frmula (5). Calculemos al principio la cuartu parte del arco, es decir, lu longitud del arco que corresponde

Coordenadas del centro de gravedad

352

Ejemplo 1. Hallar la.s coordenadas le centro do gravedad de la semicircunferencia x2 gravedad:

y1 aa, dispuesta por arriba del ojo Ox. Solucin. Hallemos la abscisa del centro de

v xds l/aiT* _______. . dx. xr~----------------------------------------------------------------------------___________j/<ia Xa f-q _0_

\ 3-------------------------------------------------------- i - i-

a\r J Va*i*

a aresen "

a a ( 1/a* x-------------------------= dr a K dx

nliora, la ordenada del centro de gravedad:

2. Centro de gravedad <le una figura plana. Supongamos que la figura dada, limitada por las curvas y f, (x). y ti (x), x = a, x b, represente una .figura plana material. Consideremos que la densidad superficial (es decir, la masa de una unidad de rea de la superficie) es constante e igual a 6 en toda la figura.

Dividamos la figura dada, mediante las lineas rectas x - a,

x = x,................................................................. x = x = b en bandas paralelas cuyas anchuras son

Coordenadas del centro de gravedad

353

Ax,, Axj, . . ., Ax.

49B Aplleaclonet geomtrica! y mee.nicai de la integral ile/tnlda

Ln masa de cada banda ser igual al producto de su rea por la densidad 6. Al cambiar cada banda por un rectngulo ((ig. 242)

de base Ax,, y altura /2 (l) f, (g,), d o n d e

'

masa de esta banda ser, aproximadamente igual a: Am, = 6 l/s (,) - /, (si)l Ax, (i = 1. 2....................................................................................................... n).

El centro de gravedad de esta banda se encuentra, aproximadamente, on el centro del rectngulo correspondiente:
(Il)c=E : (l/ )e=

, , M.)+/,(y.

Sustituyendo, ahora, cada banda por un punto material y localizando la masa de cada banda en su centro de gravedad encontremos

el valor aproximado de las coordenadas del centro de gravedad de toda la figura (en virtud de las frmulas (1) y (2)):
z

_. 2 S.fi[/2<Ei>-/()]&<:,

~ >'
2 6 [/2 (y-/><&)] A*, ' ^ [h (e,) - /, (e,)] Ax,

(/j

u (l,)] 61/2 (E,)

Fig. 243

Coordenadas del centro de gravedad

355

r. M*)+/t O <*)] lh(x)-/,(*)] dx \uM-f,(x)]d

Pasando al limile para Ax * 0, obtenemos las coordenadas exactas del centro de gravedad de la figura dada:

i>

Estas frmulas se verifican para toda figura plana homognea (es decir, aqulla que tiene densidad constante en todos los puntos).

Como vemos, las coordenadas del centro de gravenad no dependen de la densidad 6 de la figura ( se ha elminndo en ol proceso de clculo).
Ejemplo 2. Determinar las coordenadas del centro el> pravedad de un segmento du parbola y3 ox, cortada por la recta Soluetn. En el caso dado:

x - a (lie 243).

f.(x)--'Vai, /1 (x) '\/ai entonces:

vsi^r * 8
az

h'ig. 343 dr o |o

y, 0 (puesto que el segmento es simtrico respecto al eje Ox).

32*

356 ylpftfaciones grnrnrtnrn3 y mecnica* de ta integral definida $ 9. CALCULO DEL MOMENTO DE INERCIA DE UNA LINEA, DE UN CIRCULO Y DE UN CILINDRO MEDIANTE LA INTEGRAL DEFINIDA

o en el plano XOY un sistema de puntos materiales p. (I. Vi)i P, Ui, y,)............................................................................................p (x, yn)

cuyas masas son m, m2..............................................................m. Como es sabido por el curso de la

mecnica, el momento de inercia dol sistema de puntos materiales respecto al punto O se determina del modo siguiente:

/= (4 + !t)m, -i
/= rjm,. (O

(1)

1-1

donde: r,=Vxf + yf.

Igual que en 8 la curva AB est dada por la ecuacin y / (x) a^x-l.

Supongamos que esta curva AB es una linea material y que su densidad lineal es igual a y. Dividamos otra ve* m s la linea en n partes de longitudes As,, As.. . . . , As donde As, ]/ Ax' -| Atf?. Las masas do estas partes son iguales a los productos de sus longitudes por la densidad:

Am, = y (As,, A2................................................................................................As).

357 ylpftfaciones grnrnrtnrn3 y mecnica* de ta integral definida

Tomemos un punto arbitrario de abscisa en cada parte de la curva. La ordenada de este punto ser i|, / (,).

El momento de inercia de la curva respecto al punto O, en virtud de la f rmula (1), aproximadamente ser

/= <? + !)?) Y A*.

(2)

i I

Si la (uncin y = / (x) y su derivada /' (x) son continuas, entonces, para As, 0, la suma (2) tiene limite. Este ltimo, quo se expresa mediante la integral definida, determina el momento de inercia de la linea material:

h = v J [x= + f (xfj Vi +f(xf dx.

(3)

Momento de inercia de una barra homognea de longitud / respecto a su extremo. llagamos coincidir la barra con "I segmento del eje Ox (0 < x < l) (fig. 243')-

En este caso

358 ylpftfaciones grnrnrtnrn3 y mecnica* de ta integral definida

359________Aplicaciones geomtricas y mecnicas lie la integral de/tnida


Hallar la longitud do la cardioide p = a (1 -f cos<p). hasta <p = <pj. fespuesta: Clculo de las reas de superficies de los cuerpos de revolucin 40. Hallar el rea de la superficie, obtenida por la revolucin do la parbola 3^4ax alrededor del eje 50. a) b) 51.

do la evolvente del crculo x = a (cos<p-f- H-qisencp),

Respuesta: 8a.48. Hallar la longitud do arco y ~ a ( $ en q>q>coscp), desde <p = 0 Ox, desde el origen O hasta el punto de abscisa 5fi y 2x limitada por x = 0,

Hallar el rea do la superficie dol cono engondrado por la revoluci n do un segmento de la recta alrededor del eje alrededor del eje

Ox. fespuesta: 8n 1/5; Oy. fespuesta: 4ji "j/5. Ox. fespuesta: 4;i2a6. Ox. Las ecuaciones

Hallar la superficie del loro obtenido por la revoluci n del crculo x2f- + ({/ 6)a^*aa alrededor del eje

52. Hallar el irea de la superficie le cuerpo engendrado por la revolucin do una cardioide alrededor del ejo paramtricas de la rardioide son: x = a (2cos<p eos2<p), y a(2sempsen 2<p). fespuesta: 128

-s- na2. o
53.

Ox.
64n o 2

Hallar el rea de la superficie del cuerpo obtenido por la revoluci n de un arco do cicloide x=a (i sen I); ya(l-cos ) alrededor del eje

fespuesta: -q .
54. 55. superficie del El arco do la cicloido (vase el problema 53) gira alrededor del eje

Oy. Hallar la superficio del cuerpo do revolucin, fespuesta: 16;t2a2. ejo Ox quo pasa por oJ vrtice. Hallar la

El arco do la cicloide (vase el problema 53) gira alrededor do la tan gente paralela al

, 32na2 cuerpo do revolucin,

fespuesta --------------------------------^ . t, y = a eos3 t gira alrededor del eje Ox. Hallar la superficie del cuerpo do rovoluoin. fespuesta: . Ox. Hallar la superficie del cuerpo do revolucin,

56. 57.

La astroido x = a sen3

fespuesta: 4jilV2 t-ln( 1/2 + 1)1.


x' t/2

El arco do la sinusoido y = senx, desde x 0 hasta xs=2n, gira alrededor del ejo

58.

La elipse

(>

Sra alrededor del eje Ox. Hallar la superficie dol cuerpo derevolucin, fespuesta: 2ab--\-2nab arc^n e ^

donde e =

360________Aplicaciones geomtricas y mecnicas lie la integral de/tnida

a
Diferentes aplicaciones de la integral definida 59. Hallar el contro do gravedad del rea de una cuarta parte do la

Hallar el centro do gravedad do la figura limitada por la parbola *2-f4y 16 = 0 y el ejo Ox.

Respuesta: ^0. ) .Hallar el centro de gravedad del volumen de la semiesfera. Respues-

ta: en ol eje do simetra, a la distancia R de la base.


60. 61. simetra, a la dislnlas de la baso. Hallar el centro de gravedad de la superficie do la semiesfera.

Respuesta: en el eje do simetra a la distancia de la base. R y altura h. Respuesta: en el eje de

Hallar el centro de gravedad de la superficie del cono recto circular que tiene radio de la base

62. (0 <!x <In), 63. 64. distancia 2

Hallar

el

centro

de

Ejercicios .para el capitulo XI I gravedad do la superficie de la

361figura limitada por las lneas y = sen x

y = 0. Respuesta: ^ , -^-j .
Hallar el centro de gravedad del rea de la figura limitada por las parbolas

y3 = 20x, x* 20y. Respuesta: (9; 9). R. Respuesta: en el eje de simetra, a la

Hallar el centro de gravedad del rea de un sector circular quo tiene ngulo central 2a y radio

sen a

. . .

H-------------------------------------------------------------------- del vrtice del sector. 3 a

67. Hallar la presin que se ejerco sobro un rectngulo sumergido vorti- calmente en agua, si se conoce quo su base es 8 in, altura 12 m. La baso superior es paralela a la superficie libre del agua y se encuentra a una profundidad do 5 m. Respuesta: 1056 toneladas. 68. El borde superior de una esclusa oue tiene forma do cuadrado, do lado igual a 8 m, se halla en la superfic o del agua. Determinar la presin que se ejerce sobre cada uno de los tringulos de la esclusa. Los tringulos so obtienen medianto la divisin del cuadrado por una do sus diagonales. Respuesta: 85 333,33 kg. 170 666,67 kg. 69. nkgm. Calcular el trabajo necesario para bombear el agua de un recipiento somiesf rico cuyo dimetro es igual a 20 m.

Respuesta: 2,5-10"

70. Un cuerpo so encuentra en movimiento rectil neo segn la ley x - cs, donde, x es la distancia recorrida durante el tiempo t, c const. La resistencia del medio es proporcional al cuadrado de la velocidad, siendo k ol coeficlento do proporcionalidad. Hallar el trabajo de la resistencia al desplazarse el cuerpo del punto x = 0 hasta ol 71. vrtice dirigido

x a. Respuesta: k\' c*a7 .


Calcular el trabajo que es preciso gastar para bombear el liquido de densidad

y, desdo un recipiente que tiene forma do cono con

hacia abajo.

II es la altura del cono, II es el radio do su base. Respuesta:

. H es 50 cm, el rea de su base

72. Una boya de madera quo tiene forma cilindrica flota sobro la superficie del agua. So conoco aun la altura S es igual a 4000 cm*. Qu tranajo so necesita para sacar la boya del agua? (El peso

y-fl-S Respuesta: ' ^=32 kgm.


Calcular la fuorza total que ojerco el agua sobro una presa on forma del trapecio equil tero cuya base superior es

especfico do la madera es 0,8). 73. b = 4,2 m. La altura

II es igual a 3m. Respuesta: 22,2 t.

a - 6,4 m y la inferior,

74. Hallar la componento axial P (kg) de la presin total esfrico do una caldera. El dimetro do la parte cilindrica deEjercicios .para el capitulo XI I la caldera es 1/ mm. La presin

362del vapor en la caldera es P kg/cm.


fespuesta: ~:ipPr.

del vapor que se ejerce sobre el fondo

n pr>*
75. Kl extremo de un rbol vertical de radio r se apoya sobro un tejuelo plano. El peso /' del rbol so distribuye uniformemente por toda la superficie del apoyo. Calcular el trabajo total do las fuerzas de friccin durante una revolucin del rbol. El coeficiente do friccin es p.

76. Un rbol vertical termina en una rangua en forma del cono truncado. 1.a presin especfica de ta rangua sobre el tejuelo es constante e igual u P. El dimetro superior de la rangua es D, ol inferior, d. El ngulo al vrtice del cono ea 2a. El coeficiente do friccin, p. Hallar el trabajo de las fuerzas do friccin en una revolucin del rbol.

fespuesta: "a/>,i (J3-d=>). r 6 sen a


77. Una varilla prismtica de longitud l os estirada con uno fuerza que aumenta lentamente uesde 0 basta P, du modo tal que a cada instante la fuerza so equilibra por las fuerzas do olasticidad de la varilla. Calc lese el trabajo A de la fuerza do tensin, suponiendo quo el estiramiento se baya realizado on los lmites de elasticidad. Kl rea do la seccin transversal de la varilla os F. El mdulo de elasticidad del material es igual a E.

amiento do la varilla, y /. la fuerza aplicada

FE

correspondiente, tenemos: ] x . El alargamiento bajo ol efecto do la

Pl
fuerza

P&l P'1

P es Ai -^r fespuesta: A -

78. A una barra prismtica suspendida vorticalmente se le aplica una fuerza le tensi n P en su oxtromo inferior. Calcular el alargamiento de la barra bajo la accin do su propio peso y la fuerza P, si so conocen el largo l de la barra en reposo, el rea de la seccin transversal /', el poso do la barra Q y el mdulo ( 4-2P) l

de elasticidad

E del material, fespuesta: M - -

Cr

79. Determinar el tiompo durante ol cual so verter el lquido de un reci piente prismtico lleno basta la altura II. El roa do la seccin transversal del recipiente es igual a F, el rea del orificio es /. La velocidad dol derramo so determina segn la frmula i> p'[/ 2gh, donde p es el coeficiento do viscocidad, g es la aceleracin por la fuerza do gravedad, h es la distancia del orificio al nivel de lquido,

fespuesta: T =
Determinar ol gasto Q del agua (cantidad do agua quo so derrama por unidad de tiempo) a trav s do un vortodoro de seccin

80. rectangular. La altura

del vertedero es

2 _____________________________________________________________________________________________ h, el ancho os b. fespuesta: Q = -^\ibh ~\/2gh.

Ejercicios .para el capitulo XI I

363
ay II.

Determinar ol gasto do agua Q, quo se derrama por un orificio rectangular lateral, de altura

ancho , si la altura do la superficio libre del agua, por arriba del bordo inferior del orificio, os

fespuesta:INDICE ALFABETICO DE MATERIAS

Aceleracin 126 Angulo do Area 478-483 Aslroide 108. 206, 486 Binomio diferencial 408, \ \ 1 Bnormal 360 146-148, 154 Cambio do variablo 379 Campo escalar 300 do la superficie do revolucin 493 de un cuerpo de rovolucin 492 Argumento 14 intermedio 85

las races reales Clculo de lmites

de variacin 11 Cardioido 27, 238. 503. 506 Catenaria 491, 503, 505 Centro de

gravedad 496, 497 la vecindad 13

del nmero complejo 242 Asntota 194 Cicloide 107, 222. 228, 481. 503. 504 Crculo de curvatura 224 Circunferencia 25, 106, 218, 238. 447. 485 Concavidad de la curva 188. 189 Constante absoluta It Convergencia absoluta de la integral

impropia 454 Convexidad y concavidad de la rurva Clculo aproximado de la integral definida 458-463 188-189 Coordenadas polares 24 Coseno 20, 78. 163

hiperblico 111, 114 Cotangente 20, 88

do n-simo orden 296-300 del^ producto 81 segn una direccin 302 de la suma 81 total 292 Desarrollo 226

Cotangente hiperblica 111. 114 Crecimiento y decrecimiento de la funcin 167 Curva do Causs 192 Curvatura 216-223, 350, 360 Dependencia funcional 14 Derivacin 71 de los vectores 347-349 Derivada 70

de la constante 79 Descomposicin de la fraccin racional en fracciones simples 392-397 Diferencial 114-118 del arco 216 funcin compuesta 85, 290 Derivada de la fracci de la n 83 funcin compuesta 118

Ejercicios .para el capitulo XI I

--------------------------------------------------- funcin dada paramtricamento 109, 124

de n-simo orden 122 total 280 de la variable independiente 115.

364

------------------------------------------------------------ implcita 91, 123, 293296 --------------------------------------------------- inversa 96 ------------------------------------------------------------- vectorial 342, 350 logartmica 94 do n-simo orden 120-121 parcial 277-279

cerrado 270 do definicin (de existencia) de la funcin 14. 17. 26

365

Indice alfabtico de materias

9Ecuacin algebraica 233, 254 --------------------------------------------------leibniz 121. 470 binomia 248

--------------------------------------------------- Maclaurin 159 Ecuaciones paramtricas 104, 338 Ecuacin vectorial <lo una lnea 338 Eje imaginario 242 --------------------------------------------------- Moivre 246 Elemento do integracin 374 Simpson 462 Elipse 106. 129, 227, 480. 488, 489 Frmula do la sustitucin de Euler 405-408 Elipsoide 490 Error 286-289 Esfera, volumen 491 Espiral do Arqufmedcs 26, 223, 238, hiperblica 27 --------------------------------------------------- Taylor 155-159, 307-309 --------------------------------------------------- trapecios 460 --------------------------------------------------- Wallis 450 Frontera dol dominio "269 Funcin 14 numrico 7 --------------------------------------------------- Nowton-Loibniz 443 polar 24 --------------------------------------------------- parbolas 460 real 242 --------------------------------------------------- rectngulos 459

logartmica 27 Expresin analtica 16 Extremo 170, 309 318 acotada 35-38 condicionado 318 Evoluta 226. 229 232 Evolvente 226, 231

Folio do Descartes 200 Forma analtica de expresar funciones

16

continua 55. 57-59, 275 compuesta 21

grfica de expresar funciones 16

exponencial do la inscripcin del nmero complejo 253 creciente 15 do expresin de funciones 15-17 tabular de expresar funciones 15 trigonomtrica del nmero complejo 242 cuadrtica 22 Funcin decreciente 15 derivablo 74 discontinua 58

Formla dol trmino complementario segn Lagrange 158 Frmula do Chbishev 468 Frmulas de Serret-Frenet 364 Frmula de Euler 252 varias variables 268 Funciones elementales 22. 57 Lagrange do la interpolacin 261 fundamentales 17, 18 Funcin exponencial 18, 92, 249

366

Indice alfabtico de materias

94-98

de funcin (funci Incremento n compuesta) de la21 funci Funciones n 55, 273, hiperb 280licas 111-114 Funcin inversa parcial 272 total 272, 280

impar 200 implcita 90-92 irracional 23 do Laplace 419 lineal 22 logartmica 18, 84 multiforme 15 no acotada 36 par 200 peridica 20 potencial 18, 92

de la funcin irracional 403-405 Integracin do fracciones racinalos

las funciones trigonomtricas 411-418 por el mtodo de Ostrogradski 400-403 --------------------------------------------------- parles 385-388. 447-450 sustitucin de variable 380-381 Integral definida 431 Integrales dependientes del parmetro 469-472 impropia 450 indefinida 374 Integrando 374, 431 Interpretacin geomtrica de

racional entera 22, 253 racional (fraccin) 388 fraccionaria 23 trascendente 24 Funciones trigonomtricas 20

mecnica do la derivada 72, 126 Interpolaci n 259-262

--------------------------------------------------- inversas 18, 99-102 Funcin uniformo 15 Invariancia de la forma de la diferencial 118 Involuta 226 Lemuiscata 27. 238. 482 I.imito 27, 30-33. 42-46, 274 Linea del nivel 301 Logaritmos de Briggs 53 Logaritmo natural 53 de la variable compleja 249 varias variables 268 vectorial 340 on coordenadas polares 387 Gradiente 304 307, 369 (rado del polinomio 253 Grfica de la funcin 16, 200-204 de Nepor 53

Hlice 339, 343, 344, 357, 364 Ilelicoido 340 Hipocicloide 503, 505 Hodgrafo del vector 337 infinitamente grande (infinita) 30, 38

367

Indice alfabtico de materias

pequea (infinitesimal) 38-42, 62-64 montoua 13 variable 10

tangente 365-369 Polinomio 22, 253-259 do Bernstein 266

------------------------------------------------------Chbishev 266

Mximo y mnimo condicionados 318

Propiedades fundamentales do la integral definida 437-441 las integrales indefinidas 377 Puntos crticos 173, 311

-------------------------------------------------------- do la funcin 169-175,185-187 309-323 Mtodo do las cuerdas 233 Newton (mtodo do tangentes) 235

con tangontos coincidentes 332 do discontinuidad 58 de inflexin 191, 192 interior do un dominio 269 do retroceso 330, 331 del nmero compiojo 242 do transicin 54 Momento esttico 496 singular 328. 346, 365 aislado 333

--------------------------------------------------- Ostrogradski 400-403 Mdulo 9 - las tangentes a la curva 235 Mni-mx 315

Normal 128, 344, 368 Normal principal 354 Nmero 7 Radio do curvatura 224, 354 Radio de torsi n 362 compiojo 241, 243-249 Nmeros complejos conjugados 241 Nmoro irracional 7, 8 racional 7, 8 real 7 funcin 141 Optima aproximacin de las funciones 265 del polinomio 253-257 Regla do l'Hospital 147 Representacin gomotrica del una vecindad 13 vector 337

Parbola 17, 226, 227, 238 Paraboloide do revoluci n 493 Parmotro 104 Parte imaginaria 241 real 241 Perodo de la funcin 20 Plano normal 344-346 paramtrica de funciones 104-106 osculador 360

368

Indice alfabtico de materias

hiperblico 1(1-11 Significado diferenc ial 118-119 Suma iutegral 430 Volumen 489. 491

Sumas integrales Inferior y superior 429 Subnormal 128 Subt&ngcnto 128 Superficie 493

INDICE

CAPITULO I. NUMERO. VARIABLE. FUNCION 1. Nmeros reales. Representacin de nmeros reales por

de revolucin -593 n u bolicoldal 340 r e a l . . . . m 9 r i c o . . . . 7 2. Valor absoluto dol nmero

del nivel 300 Sustituciones de Euler 405-408 trigonomtricas on la integral 416

Tabla de las frmulas fundamentales para la derivaci n 103 Tacuodo 332 Tangente 18, 88 a la curva 72, 127, 340, 365 hiperblica 111-114 Teorema do Bozout 253 Teorema de Cauchy 145 do integrales de las funciones olomontales 375

Teorema fundamental del lgebra 255 de l.agraugo 143 --------------------------------------------------- KoTto (41 --------------------------------------------------- Weiorstrass 265 Trmino complementario de la frmula de Taylor 157 Torsin 361 Trabajo 494-495 Trapecio curvilneo 432 Unidad imaginaria 24i Valor absoluto (mdulo) 9 Valores mximo y mnimo de la funcin 60. 182 Variable acotada 13 creciente 13 decreciente 13 independiente 14 ordenada 13 Volocidad 68 Vecindad 12, 274

Tractriz 239

4 ) A 0; =

nix). Ejemplo 5. Desarrollar el nmero positivo dado a en tres sumandos positivos de modo que el producto do stos tenga el valor mximo. Solucin. Designemos respectivamente estos tres nmoros por z, \j y a z y. El producto de estos sumandos es igual a: u = xy (a~-x y).

Estudiemos la naturaleza de I segundo punto cr tico Mt (0, 0): C0; ACB* FL<0. Por tanto, en el segundo punto crtico la funcin no tieno mximo, ni mnimo (mni

de I I lim I I Pero Ar es la cuorda I ds | A_o | Ai | tiendo a 1, cuando Ai * 0. I a* (m I- ()___________________________________________________________________________

I dr I

or eso,

la |(l + m)l_ I I- ni)1'


donde

li o (1 -f. n::) - Consl. Asf, el radio de curvatura de la blire es enastante. Observacin. Siempre se puede suponer que una curva plana est situada en el plano Oxy (lo que se puede demostrar fcilmente, transformando el sistema de coordenadas). Por consiguiente, en cPz el plano Oxy, z ~ ti; pero en este caso, -- --- 0, y, por tanto, el ds* 1. Calcular la integral dx ! H. INTEGRALE! DE CIERTA! X"NCIONE! iI'X. CONTIENEN "N TRINOMIO C"ADRADO

+ 1. Vgj-ViZ" +c. 2SO. ) J^+VI(A?.


yi+xVi-x

J x+'^xi

'______

f''IL'

4_@i8@ GMjpIl' (?@(,9 M V ?K@,(?(5)MC. I'#G,r+lo% Ael #ipo l fl(?.V.?. M E?2.)A?3 2S;. j x|n|VTO3-ya+ 1 l + c

. Nk2. (L( f dx

2+) I

, - V5 T x-x.