Professional Documents
Culture Documents
oma I
H.
c. rmcKyHOB
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
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.
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
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* '
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
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
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.
13
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
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:
15
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
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
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).
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
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.
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.
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:
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
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
de dos variables es una superficie cuya proyeccin sobre el plano esta funcin. Cada perpendicular al plano Oxy corta la superficie punto.
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.
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
(1)
Anlogamente, si x es constante y damos a y un incremento Ar/, el incremento correspondiente de z recibir el nombre de incremento
25
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)
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
lxy yAz,
27 Para *=1, p=.2. Ai - 0,2, A y 0,3, tenemos: AjS^O., A,j 0,3, As 0,76.
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, ().
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),
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
) 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
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
A* ~ 0 A|/ 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
(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
34
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
por tanto,
36
lm Az 0. xo 41/-.0
37
._ Zxy *'+y'
ost definida on todos los puntos, oicopto en el punto x O, y = O (fie. 170, 171).
38
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
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
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:
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.
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.
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).
42
La derivada parcial respecto a x de la funcin z f (x, y) se designa por uno de los smbolos siguientes:
43
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
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
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.
Solucin. Ac
dz
dz
Por consiguiente,
47
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)'-
48
~ ^"-"Vscn':, dy
_
os
Supongamos que la funcin z = / (z, IJ) es derivable en el punto (z, y). Hallamos el incremento total do esta funcin:
de donde:
50
y (75)2 _ (32)*
75 y (75)2 _
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.
|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
(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
escribir en la forma:
I dt I
o, ms brevemente:
I6*u = A*ln |/ I .
59
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.
1.
es decir, el error relativo mximo de un producto es igual a la suma de los errores relativos mximos de los factores.
2.
y
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.
r-2j/I.
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.
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:
63
64
EjemploI.Sea
65
entonces,
66
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),
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
t+ K-r + ^ir-
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
inl _ dv
a* -* o Ax dz A* o Ax dz A* o Ax dz
A*-* D
liin y, = 0; lm y2 = 0
Ax-*0
291
dz _ dF du | dF dv dx du dx di i dx
Ejemplo 2.
19
L d i
' d /
JL- '
19
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:
________________________________
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
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
''
Ejemplo 3.
z x
V f > sen i. dz n dx 1 dy
86
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.
86
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
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,
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
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
86
A -RI" Yi
Ay___________________________________________________ dx
^ ' + Y* Oy
86
dF
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
Ejemplo 1. La ecuacin
f y 1=0
86
86
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
86
dx
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.
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^ _
Ox uy Ox ai
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:
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.
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.
Kjemplo 4.
r' M' + l | ! 0.
dz
. dz
xl
86
-- , 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
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
dy
d'z
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"
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.
dxdy dy
' dydx
' da2
<t'sr.
88
Ejemplo 2. Hallar y
si
Solucin.
vw.
89
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-
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:
(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:
Entonces:
Derivadas parciales de diferentes rdenes
92
93
A = Ayif (y)
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,
94
de donde
Como las derivadas /' y son continuas en el punto (x, y), tenemos:
Ax O Al/ 0
95
En definitiva:
El corolario del teorema demostrado es: si las derivadas parciau" t"/ oz*
86
86
86
= | grad u [.
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
+ ~ (fig. 182) en
100
Por lano,
grad u= 24+
i.a ecuacin de la linea de nivel (fig. 183) que pasa por el punto dado ser:
101
Fig. 182
Fig. 183
102
* = / (*. 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*
103
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:
(a b) +
'
IT.
A)
- (3>
2. 6). (4)
104
, 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)+
+ 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
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:
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)
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.
funcin se llaman exiremos de esta funcin, es decir, la [uncin admite un un mximo o un mnimo en esto punto.
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).
108
109
/(0.0) =i-.
En el interior de la superficie
110
es decir,
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
W1/0
Ufua! a cero
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;
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
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:
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
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,
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.
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)
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
123
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.
(7)
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:
124
fi(*i, *z.......................................................................................................... *) = 0,
*J=0.
(8)
Con el objeto de hallar los valores de x,, x2, ... , x, para los cuales puedan haber mximos y mnimos condicionados, hay que
formar la funcin:
+ *2<P3 (*
X),
JL
dx, <>/
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.
KJemplo 1. Volvamos al problema formulado al principio del prrafo presente: hallar el mximo o -- xyz,
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
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.
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:
*i + *2+...+in 0=0
(x,>0, x2>0..........................................................................x>0).
XI n "
(x, ... x) "
n-l
71 Xj
133
*<=*- -*"f
21
Obtencin de una funcin a base de dalos experimentales 134 La naturaleza del problema dicta que en este punto crtico la funcin
21
Obtencin de una funcin a base de dalos experimentales 135 Por consiguiente, para todos los nmeros positivos zlt x2.......................................................................x, ligados
21
y x, ... xn<-_
136
(13)
(puesto que, segn lia sido demostrado, ~ es ol mayor valor de esta funcin).
21
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
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.
140
b,
(2)
i i
Elijamos los parmetros a, 6, c, . . . de modo que esta suma tenga valor mnimo:
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
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, ...).
()
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
OS db
ii'
21
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
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:
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
o, en la forma desarrollada:
l-l
I I
l-l
1-1
21
2 y I 2 '] b 2 X, EN
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
t-t
t-l
21
Por consiguiente,
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
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
148
*i
20 159
150
^ ,
&
L a
151
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
152
\ dy /xr,x
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
153
1 dF
F -2
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.
155
=(*-) (-3x);
156
r0
a, yQ - . 0.
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*'
158
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.
160
~4x]/'
Para x=0 tenemos y'=oo. Por consiguiente, la curva toca el eje Oy en el origen de coordenadas. Para
161
2o /T
162
En el segmento 0 <C x < a tenemos {/<0; para x > , y'> 0; cuando x* oo, y>co. Pora
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.
165
y* x* = 0.
Solucin. Las coordenadas de los puntos singulares se determinan, resolviendo el sistema de ecuaciones:
166
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
'-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.
170 Funciones de varias variables Solucin. Las coordenadas de los puutos singulares se determinan por el sistema de ecuaciones
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
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
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.
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
Hallemos la primera derivada para la rama do la curva quo presenta grficamente la funcin y = + xt'\/i x*:
x(2-3**)
yizr
178
Para x = 0 tenemos: y 0, y' = 0. Por tanto, la curva toca el eje Ox en el origon do coordenadas.
179
mo (fig. 190).
180
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).
181
182
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
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
2xr"++"; ~ . dx
d
185
ti A ncsp.
.,.
f>
dz
'
o. i arcotg(ry). fesp.
186
-f =0. 39. Demostrar que, s x = q(y-f flx)-|-\b(y ox), entonces: dx* dy* , :
187
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.
1)
189
2)
2 4 \ T ' 3 j
190
44.
Determinar de todus los tringulos do igual permetro 2p el que tiene mayor rea, tiespuesta: tringulo equiltero.
45.
191
46.
192
son:
* 1 y 2 x y z _
_^T = T. fespuesta-.
1/2
193
194
0-<y<-^-j fespuesta:
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
197
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.
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.
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
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
202
=)=<'. 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
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:
22
De las ecuaciones paramlricas del hlice es fcil eliminar el parmetro t. Elevando al cuadrado y sumndolas,
22
208
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
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
s 2. LIMITE Y DERIVADA DE UNA FUNCION VECTORIAL DE UN ARGUMENTO ESCALAR. ECUACION DE LA TANGENTE A UNA CURVA. ECUACION DEL PLANO NORMAL
= )<*).
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
lm = i -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
I -.'o
Pasemos ahora a la nocin de la derivada de una funcin vectorial del argumento escalar
(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.
Fig' IOS
que determina en la curva un punto \, (fig. 190). Hallemos el incremento del vector:
+ [(/+ 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
A/
Ai
213
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-
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
Fig. 196
As
L = ,- = ,,-() i ) j+ x(t)k dt dr dx dy dz
(2)
<2')
214
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
=v[<f wf+w(>f+[x'<or- o)
por la frmula1)
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-
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).
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
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 ) .
dx di/
dz
,i sen 1. - , dt dt
j
eos l, un dt
218
am
amt
Segn la frmula (4) leemos:
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
220
x-x
dx dz dx dy
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
______ 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
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
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:
226
A<p
~2
A<p
A'P As |
Tomemos limites en ambos miembros de esta igualdad para As - En el primer miembro obtenemos:
Luego,
= 1.
(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
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.
de la curva, tenemos:
da
---------------------------------------------------- = K u.
ds
vatura de esta linea en el punto dado y se designa por II, es decir, = f . Entonces, se puede escribir:
A
R V ds22 )
Pero,
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
radio vector del punto variable de esta curva es una funcin de la longitud del arco).
= (/).
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
IT
23*
Y-> Vi
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*
[ 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
23*
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*
K=
23*
a sen t a eos t am
:
a*m sen i
23*
Por tonto.
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).
= lm (V',,,0,1) = lim
Af o
Ai - o A/ dt
s decir,
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 '
-/(HHf)"
hemos hecho al principio del presente prrafo) y consideremos s como funcin del tiempo t. Entonces podemos escribir la frmula 12:
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-
n_ _ R dV dR_ r_ ds
242
c J L ds- ds'
Notemos que
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 ()'<()= ()'!'.
243
Si el vector r est expresado en funcin do un parmetro arbitrario 1, se puede demostrar*) (utilizando el mismo procedimiento
244
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
%"&
x o,
245
x
=d(6xo)
db x
da_ = x
n_ =
246
Integral Indefinida
Ejemplo 1.
)+'
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+
J/<*) dx,
pero, no podemos elegir inmediatamente la funcin primitiva para / (z), aunque sabemos que esta existe.
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.
dt 1
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> (/).
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
251
Integral Indejlntda
!6)+ 1%l
Ejemplo 5.
(%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 +
" 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
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
t+e
J ax2 + 6x +
r.
bx c J
Rospresenternos la ltima integral en fornta de una suma de dos integrales. Sacando los factores constantes fuera del signo de la integral, obtenemos:
dx
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 /
'-Sacra--
126
Integral Indefinida
12 21
- ^!2),. JiUzr--------------------------------------------------------------X.-2.-S---------------r=
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:
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
126
Integral Indefinida
257
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.
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$
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,
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
+ 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 ;
=-----------------------------------------------------------------7----------) 7---------l-C.
259
0 Vo x>
J ya'-z' J ya' X*
A- 1 A?2
i, i> Va3x'-.
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.
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,
i)
Integral Indefinida
/. \
U I 1>2
---------------------------------- |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:
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
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 ,
a+
I.
-'
(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.
fracciones simples del tipo I. II. III no ofrece grandes dificultades, por eso dar explicaciones detalladas.
126
Integral Indefinida
(j ) "rfx =
-ft-fl
(I -*)<*-)'"'
I. \
'
x2
-(-
px
-------7(((((((((((((3--------@ A? 1 X* + px -)- 7
dx
( M-)
126
(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)
[ 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.
dt
(2 + m2;
126
Integral Indefinida
268
{segn la hiptesis. Jas raices del denominador son complejas y, por tanto, q^- >0). Ahora procedamos del modo siguiente:
_ i - C __________________________* _______- L f
f dt 1 f i
* J 2 + my m2 J (l2+m2)"-1
_______L__________f. ________________1 =
269
_____________________________________________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.
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* * ' )''
<-'-')
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 \
Demostremos ahora que toda fraccin racional propia puede ser descompuesta en la suma de fracciones simples.
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).
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).
(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(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).
273
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
/i (*)
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).
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
275
Por tanto,
integral Inde/inida
F( a + iP)
A/(a + P) + W =
<P. (a + P)
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-
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.
Flx)
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
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(?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)
representamos como
279
suma
Pero fraccin
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:
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)
280
? ,>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
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
P dx 1 P dx
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.
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-
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)
(x II) A
'
tipo --------------------------------------------------------- T .
(x a)
Ce I px I ?)"
2)
M'x l N'
ciones (x + px
+ q)*
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)
\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
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\#
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
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*
Ejecutemos la sustitucin:
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
ii
26*
1 :
f/f[, (V...........................................(s+ifl-r.
J L Vcx + d/ Vcx + d / J
+ l> __ cx + d
26*
290
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:
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
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
291
Ae ilomle
292
or .o'%i,-ie'#e2
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.
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
bx , c) dx 294
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:
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)]
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!
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)
2)
3)
-1-
x = z", dx = z dz . n
1 ir-'
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.
x arclg I, tlx -
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')
1 + ig-x l + r tg'-x
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%?
ros* x
dx
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:
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 ?
F2#
M = d ~i* o
"31" ~
COS X
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
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],
Sustituyendo e integrando, obtenemos: eos raixeos nx dx = ^ feos (ira 4-11) x 4- eos (rn n) x] dx
2 (mn)
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 , ,,
<123
Q4
. fesp. Iarctg|2tg4|+C.
Q 4 @H %e' ?
-----------.
55F.
ST
A? 4(.o%Ijl9
ZK 5 0 9` 5 ' (((((((((((((((((((
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
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.
y pongamos:
CAPITU LO
XI
en el segmento |x0, xj, por m, y M,. en el segmento [x,, x2|, por m? y ;W2,
, ,
(1)
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-
309
----------------------------------------------
Fig. 208
a)
S<s.
(El signo de igualdad slo correspondePlanteo del problema. Sumas integrales inferior y superior al
caso
en
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
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, + ...
311
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
cada uno de los segmentos [x, *,], [x,, x,j.............................................................................. [*_,, x] elijamos
-i.. 20/
(fig. 209):
312
X. < L , <
y todos los Ax, > 0, entonces, m,Ax, < / (|i) Ax, -C M,Ax. Por consiguiente,
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 /.
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
segmento [a,
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
/ (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:
2m 2w 2 4 2 .
317
nn
22
it
2 'o JJ sen0 r lx ^ dx = ~- , ^ JJ seu xdx = 1,
2m 1
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 /+, '
JjtL^i. lzm |
m-*ao
do donde:
------------------------------------->
12m + i 2m '
Por tanto,
318
319
frmula de Wallis:
0 21 + 2 i
2m 2m \
= Ita l 1 i. 2/71 2
=
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
continua de
este limite se llama integral impropia de la funcin / (x) en el intervalo la, -foo| y se designa por:
+ oo
f(*)dx.
320
4 + 56
321
322
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
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.
\ ^^
J Via
-w="r~2V'xl
+co
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
+e
f sen x ,
45/.
Integral definida
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
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:
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
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.
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
U
a
H',--^)--' -i
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, ,,
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
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.
i --------------------------------------------------- - - -
Integrales Impropias
332
dx
converge para
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
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,
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
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
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
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
etc, entonces
+
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.
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)
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\ \
Considerando que los coeficientes A, B, C son conocidos, determinemos el rea del trapecio parablico mediante la integral definida:
y + + y* - 2Ahz + cr.
Por consiguiente,
i' = (i/u + 'iyi + h),
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 +
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
I"
2 ^
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
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.
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.
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 (*) = +
fesp. La integral
i * V* ~~
42. jj
-l
. 43. jj r eos jr dx (a>0).
f x t
n frigio;,
apecios (n = 6).
n r
. segn la frmula
to
son (n = 4).
fespuesta: 3,14159. n_
4 J l-f 0
2
1
o
Partiendo de la igualdad
0
la integral J
oo
Partiendo do la igualdad
_
dl
y;
1.3.5... (Zn 1)
(r'+l)"' -
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
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)
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
representa la diferencia de las reas dispuestas por arriba y por debajo del preciso hallar la suma de los valores absoluto
<?= I|/(x)|<r.
a
Ejemplo 1. Calcular ol rea Qt limitada por la sinusoide y=sonx y el eje
Solucin. Puesto que senx>0 para 0<x-<n, y .scnx<0 para :t < < x < 2n entonces:
2n
2ji
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
000
alculemos ahora el rea de un trapecio curvilneo limitada por la curva dada por ecuaciones paramtricas (fig. 232):
la ecuacin de una curva dada en coordenadas polares, donde p es el radio polar y 0 es el ngulo polar.
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.
Al variar el ngulo 0 desde 0 hasta n, obtenemos la mitad dt la longitud becada. Aqui p'
71
* = 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
352
y1 aa, dispuesta por arriba del ojo Ox. Solucin. Hallemos la abscisa del centro de
\ 3-------------------------------------------------------- i - i-
a\r J Va*i*
a aresen "
a a ( 1/a* x-------------------------= dr a K dx
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.
353
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)
'
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
Fig. 243
355
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).
vsi^r * 8
az
h'ig. 343 dr o |o
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)
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
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:
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
(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:
(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
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
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
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 =
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.
Hallar el centro de gravedad de la superficie del cono recto circular que tiene radio de la base
Hallar
el
centro
de
y = 0. Respuesta: ^ , -^-j .
Hallar el centro de gravedad del rea de la figura limitada por las parbolas
Hallar el centro de gravedad del rea de un sector circular quo tiene ngulo central 2a y radio
sen 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
hacia abajo.
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
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
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.
FE
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
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
del vertedero es
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
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
de variacin 11 Cardioido 27, 238. 503. 506 Catenaria 491, 503, 505 Centro de
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
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
364
------------------------------------------------------------ implcita 91, 123, 293296 --------------------------------------------------- inversa 96 ------------------------------------------------------------- vectorial 342, 350 logartmica 94 do n-simo orden 120-121 parcial 277-279
365
--------------------------------------------------- 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
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
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
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
--------------------------------------------------- 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
------------------------------------------------------Chbishev 266
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
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
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
I dr I
or eso,
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
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.