Cálculo en Varias Variables LADE

Clculo
LADE e Ingeniera Tcnica en Informtica de de Gestin

ESCET
Curso 2005/2006
Introduccin
El curso constituye la continuacin del curso Bases de Matemticas. Est
dividido en 10 temas que incluyen:
- Series numricas
- Funciones de varias variables
- Derivacin e integracin de funciones de varias variables
- Elementos de clculo numrico
- Introduccin a las ecuaciones diferenciales ordinarias
El curso se complementa con un conjunto de prcticas de laboratorio con el
programa de clculo Maple.
Objetivos
Aprender y utilizar tcnicas y mtodos del Anlisis Matemtico.
Aprender a resolver las ecuaciones diferenciales ms sencillas.
Comprender y aplicar algunos mtodos numricos en la de resolucin de
problemas de clculo.
Utilizar el programa MAPLE en tareas de resolucin de problemas del Anlisis
Matemtico.
Programa
I) Series numricas
1. Conceptos generales
2. Operaciones elementales sobre series numricas
3. Criterios generales de convergencia de series numricas cualesquiera
4. Comparacin de series numricas de trminos positivos
5. Criterios de convergencia de series de trminos positivos
6. Series alternadas. Criterio de Leibnitz
7. Series de signo variable. Convergencia absoluta y convergencia condicional
8. Otros criterios de convergencia para las series de trminos positivos
9. Algunas series de inters
II) Funciones de varias variables (1): Lmites y continuidad
1. Conceptos topolgicos en el espacio eucldeo
2. Funciones de varias variables
3. Lmite de una funcin de varias variables
4. Continuidad de una funcin de varias variables
III) Funciones de varias variables (II): Derivacin y diferenciacin
1. Derivadas direccionales y derivadas parciales
2. Propiedades de la derivacin
3. Diferencial de una funcin de varias variables
4. Condiciones necesarias para la diferenciabilidad
5. Condiciones suficientes para la diferenciabilidad
6. Derivadas de funciones diferenciables.
7. Derivada de una funcin compuesta
8. Derivadas de orden superior
9. Diferenciales de orden superior
10. Funciones vectoriales
11. Funciones vectoriales invertibles
12. Funciones implcitas
IV) Funciones de varias variables (III): Desarrollos de Taylor y extremos
1. Derivadas de una funcin de varias variables respecto a un vector no nulo
2. Frmula de Taylor para una funcin de varias variables
3. Extremos libres de una funcin de varias variables
4. Extremos condicionados de una funcin de varias variables
V) Integracin mltiple de Riemann
1. Rectngulos y particiones en rectngulos
2. Integral doble de Riemann de una funcin acerada sobre un rectngulo
3. Integral doble de Riemann de una funcin acotada sobre un dominio
cualquiera
4. Propiedades de la integral doble de Riemann
5. Cambio de variables en la una integral doble
6. Paraleleppedos y particiones en rectngulos
7. Integrales triples de Riemann de una funcin acotada sobre un
paraleleppedo
8. Integral triple de Riemann de una funcin acotada sobre un dominio
cualquiera
9. Propiedades de la integral triple de Riemann
10. Cambio de variables en la integral triple
11. Cambios a coordenadas esfricas y cilndricas
VI) Interpolacin polinmica de Lagrange
1. Interpolacin polinmica de Lagrange
2. El error en la interpolacin de Lagrange
3. Construccin del polinomio interpolador de Lagrange
VII) Derivacin numrica
1. Frmulas de derivacin numrica
2. Frmulas usuales de derivacin numrica de primer orden
3. Frmulas usuales de derivacin de segundo orden
VIII) Integracin numrica
1. Frmula de integracin numrica
2. Algunas frmulas usuales de integracin numrica
3. Frmulas de Newton-Cotes
4. Frmulas de cuadratura gaussiana
5. Frmulas de integracin numrica compuestas
IX) Introduccin a las ecuaciones diferenciales ordinarias
1. Introduccin
2. Resolucin de algunas E.D.O. de primer orden
3. E.D.O. lineales de orden n
X) Mtodos numricos para la resolucin de problemas de valor inicial
1 Problema de valor inicial
2 Mtodos en diferencias finitas
3 El mtodo de Euler
4 Los mtodos de Runge-Kutta
Series numricas 5
TEMA 1 - SERIES NUMRICAS
1. Conceptos generales.
Definicin 1.
Dada la sucesin numrica { } ,... ,..., , ,
3 2 1 n N n n
a a a a a
se denomina serie
numrica a la expresin:
.... .....
3 2 1
1
+ + + + +
n
n
n
a a a a a S
Los nmeros ,.... ,...., , ,
3 2 1 n
a a a a se denominan trminos de la serie y el nmero
n
a se denomina n-simo trmino general de la serie.
Definicin 2.
Siendo N n un nmero finito, se denomina n-sima suma parcial de la serie
1 n
n
a a la expresin:
n
n
i
i n
a a a a a S + + + +
.....
3 2 1
1
Definicin 3.
Si la sucesin de sumas parciales } {
n
S (n=1,2,...) tiene un lmite finito R S :

<
1 1 n
n
n
i
i
n
n
n
a a lim S lim S
a dicho lmite se le denomina suma de la serie numrica y la serie se dice
convergente.
En el caso de que dicho lmite no exista o sea infinito la serie se dice divergente.
Definicin 4.
Si en una serie convergente se suprimen los n primeros trminos de su suma, se
obtiene una nueva serie de la forma:
... ...
3 2 1
1
+ + + + +
+ + + +
+
p n n n n
n k
k n
a a a a a R
que se denomina n-simo resto de la serie numrica.
A partir de las definiciones 1, 2 y 4, se tiene la relacin siguiente:

+
+ +
1 1 1 n
n
n k
k
n
i
i n n
a a a R S S
2. Operaciones elementales sobre series numricas.
Teorema 1.
Si la serie ... ...
3 2 1
1
+ + + + +
n
n
n
a a a a a S converge, entonces converge
tambin la serie obtenida de aquella al suprimir un nmero finito cualquiera de
trminos a partir de su comienzo.
Series numricas 6
Inversamente, si converge la serie obtenida al eliminar un nmero finito de los
primeros trminos de una serie dada, entonces la serie dada tambin converge.
Teorema 2.
Siendo 0 un nmero real cualquiera, si la serie
1 n
n
a S converge entonces
tambin converge la serie
1
.
n
n
a y lo hace hacia el valor S . .
Teorema 3.
Si las series
1 n
n
a y
1 n
n
b convergen tambin convergen la serie suma
+
1
) (
n
n n
b a y diferencia
1
) (
n
n n
b a verificndose adems que:

t t
1 1 1
) (
n
n
n
n
n
n n
b a b a
3. Criterios generales de convergencia de series numricas cualesquiera.
Teorema 4 (Criterio necesario y suficiente de convergencia de una serie
numrica).
Para que la serie
1 n
n
a converja es condicin necesaria y suficiente que:
< + + + + > >
+ + +
| ..... | : 0 ), ( / ) ( , 0
2 1 p n n n n
a a a a p N n N
Teorema 5 (Criterio necesario de convergencia).
Si
1 n
n
a converge, entonces 0

n
n
a lim .
NOTAS:
1) Si 0

n
n
a lim o no existe, entonces
1 n
n
a diverge (el criterio necesario de
convergencia no se verifica).
2) El hecho de que 0

n
n
a lim no asegura la convergencia de la serie (no es
suficiente).
4. Comparacin de series numricas de trminos positivos.
Teorema 6 (Criterio de comparacin).
Sean
1 n
n
a y
1 n
n
b dos series cuyos trminos son todos positivos. Si para todo
valor de n se verifica que
n n
b a entonces la convergencia de
1 n
n
b implica la
Series numricas 7
convergencia de
1 n
n
a . Anlogamente, en las mismas condiciones, la divergencia
de
1 n
n
a implica la divergencia de
1 n
n
b .
NOTA:
El teorema sigue siendo vlido si la relacin
n n
b a se satisface slo a partir de los
trminos posteriores a un nmero entero finito N.
Corolario.
Siendo
1 n
n
a y
1 n
n
b dos series en las que para todo valor de n se verifica que
0 >
n
a y 0 >
n
b , si existe un nmero real finito y no nulo L tal que:
L
b
a
lim
n
n
n

entonces las series
1 n
n
a y
1 n
n
b o bien convergen ambas o bien ambas divergen.
5. Criterios de convergencia de series con trminos positivos.
Teorema 7 (Criterio de DAlembert).
Sea la serie
1 n
n
a en la que para todo n se verifica que 0 >
n
a . Si existe un lmite
n
n
n
a
a
lim L
1 +

, entonces si 1 0 < L la serie es convergente y si 1 > L la serie es
divergente.
NOTA:
En el caso en que 1 L no se puede afirmar nada con el criterio de DAlembert.
Teorema 8 (Criterio de convergencia de la raz o de Cauchy).
Sea la serie
1 n
n
n
n
n
n
a lim L

, entonces para 1 0 < L la serie converge y para 1 > L la serie es
divergente.
NOTA:
En el caso en que 1 L no se puede afirmar nada con el criterio de Cauchy.
Teorema 9 (Criterio integral).
Sea f(x) una funcin definida, continua, positiva y decreciente para 1 x . Se
verifica entonces:
1) La serie numrica
1
) (
n
n f converge si converge la integral impropia
1
) ( dx x f .
Series numricas 8
2) La serie numrica
1
) (
n
n f diverge si diverge la integral impropia dx x f
1
) ( .
Si la integral impropia es convergente, se tienen las siguientes estimaciones:
S dx x f f S dx x f R dx x f
n
n
n
n

+ +
+
. ) ( ) 1 ( , . ) ( . ) (
1 1
6. Series alternadas. Criterio de Leibniz.
Definicin 5.
Una serie de la forma ( )
n
n
n
a . 1
1
) 1 (
+
, en la que todos los valores
n
a tienen el mismo
signo, se denomina serie alternada.
Teorema 10 (Criterio de Leibniz).
Sea la serie alternada ...
4 3 2 1
+ + a a a a en la que los valores de los nmeros
n
a decrecen, son positivos y verifican que 0

n
n
a lim . Entonces dicha serie
converge y adems su suma S es positiva y verifica
1
0 a S < .
NOTA:
El criterio de Leibniz proporciona la siguiente estimacin (cota) del error:
1 +

n n n
a S S R . Es decir que la magnitud absoluta del resto no es mayor que
el valor absoluto de su primer trmino.
7. Series de signo variable. Convergencia absoluta y convergencia condicional.
Teorema 11.
Si la serie
1
| |
n
n
a converge, entonces tambin converge la serie
1 n
n
a .
NOTAS:
1)
1
| |
n
n
a converge => Converge
1 n
n
a
2)
1
| |
n
n
a diverge =>
1 n
n
a ?
3)
1 n
n
a converge =>
1
| |
n
n
a ?
4)
1 n
n
a diverge =>
1
| |
n
n
a diverge (utilizando la desigualdad n a a
n n
, y
aplicando el criterio de comparacin).
Definicin 6.
Series numricas 9
La serie de trminos de signo variable
1 n
n
a se dice absolutamente convergente si
1
| |
n
n
a es convergente.
En el caso en que
1 n
n
a converja y
1
| |
n
n
a diverja, la serie
1 n
n
a se dice
condicionalmente convergente.
8. Otros criterios de convergencia para las series de trminos positivos.
Criterio de Raabe (o de Duhamel).
Sea la serie
1 n
n
n
1
]
1
,
_

+

1 .
1 n
n
n
a
a
n lim L , entonces para L > 1 la serie converge y para L<1 la serie es
divergente.
Criterio Logartmico.
Sea la serie
1 n
n
n
) ln(
1
ln
n
a
lim L
n
n
,
_

, entonces para L > 1 la serie converge y para L<1 la serie es
divergente.
Criterio de condensacin de Cauchy.
Sea la serie
1 n
n
n
a y adems
... ...
2 1

n
a a a . Entonces las series
1
2
. 2
n
n
n
a y
1 n
n
a o convergen ambas o
divergen ambas.
Criterio del orden de infinitsimos.
Sea la serie
1 n
n
a tal que 0 >
n
a , n . Si existe 1 > tal que R t a n lim
n
n

entonces la serie es convergente. Si existe 1 0 < tal que 0

t a n lim
n
n
entonces la serie es divergente.

9. Algunas series de inters.
9.1. La serie geomtrica.
Se denomina serie geomtrica a toda serie de la forma:
Series numricas 10
... . ... . .
) 1 ( 2
1
1
+ + + + +

n
n
n
r a r a r a a ar
siendo R r a R a , 0 , . Dicha serie es convergente si y slo si 1 < r y en ese
caso su suma vale:
r
a
S
1
9.2. La serie telescpica.
Se dice que una serie
1 n
n
a es una serie telescpica asociada a la sucesin
,... ,..., ,
2 1 n
b b b si se verifica que n b b a
n n n

+1
.
Una serie telescpica es convergente si y slo si la sucesin { }
n
b a la que est
asociada converge hacia un lmite finito y, en ese caso, su suma toma el valor:
n
n
b lim b S

1
9.3. La serie aritmtico-geomtrica.
Siendo a, b y r tres nmeros reales, se denomina serie aritmtico-geomtrica a toda
serie de la forma:
[ ] ... ) 1 ( ... ) 2 ( ) ( ) (
) 1 ( 2
0
+ + + + + + + + +

n
n
n
r b n a r b a r b a a r nb a
Dicha serie converge si y slo si 1 < r y en ese caso su suma vale:
2
0
) 1 (
) 1 (
) (
r
br r a
r nb a S
n
n
+
+
9.4. La serie hipergeomtrica.

La serie
1 n
n
a se denomina serie hipergeomtrica si verifica:
n
n
n
a
a
n
n
+
+
+

.
.
1
donde , y son tres nmeros reales fijos y 0 > .
Dicha serie hipergeomtrica converge si y slo si se verifica que:
1 >

y en dicho caso su suma toma el valor:

1
a
S
Bibliografa.
M. Krasnov, A. Kiseliov, G. Makarenko, E. Shikin (1994), Curso de matemticas
superiores para ingenieros, ed. Mir, Vol. 2.
J. de Burgos (1994), Clculo infinitesimal de una variable, ed. McGraw-Hill.
R.G. Bartle, D.R. Shebert (1996), Introduccin al anlisis matemtico de una
variable, ed. Noriega.
Funciones de varias variables (I) 11
TEMA 2 - FUNCIONES DE VARIAS VARIABLES (I):
LMITES Y CONTINUIDAD
1. Conceptos topolgicos previos en el espacio eucldeo R
n
.
Sea
n
R el espacio eucldeo de n dimensiones. Un punto a de dicho espacio estar
definido por sus n coordenadas: ) ,..., , (
2 1 n
a a a .
NOTA:
Cuando n=2, las coordenadas se denotarn, indistintamente, por (x,y) o por ) , (
2 1
x x .
Cuando n=3, las coordenadas se denotarn, indistintamente, por (x,y,z) o por
) , , (
3 2 1
x x x .
Definicin.
Denominaremos distancia (eucldea) entre dos puntos cualesquiera
a= ) ,..., , (
2 1 n
a a a y b= ) ,..., , (
2 1 n
b b b al valor:
( )

n
k
k k
b a d
1
2
) , ( b a
Definicin.
Siendo v un vector de
n
R de componentes ) ,..., , (
2 1 n
v v v , se denomina norma
(eucldea) del vector v al valor:
n
k
k
v v
1
2
|| ||
Propiedades.
1) || || ) , ( b a b a d
2)
n
R b a b a b a d , , 0 ) , (
n
R b a a b d b a d , ), , ( ) , ( (simetra)
n
R b a b c d c a d b a d + , ), , ( ) , ( ) , ( (desigualdad triangular)
3) 0 0 || || v v
n
R v R v v , ||, || . | . | || . ||
n
R u v u v u v + + , ||, || || || || || (desigualdad triangular)
Definiciones.
Siendo a= ) ,.... , (
2 1 n
a a a un punto de
n
R y dado un valor real positivo, se
denomina bola abierta de centro a y radio al conjunto de todos los puntos x de
n
R tales que d(a,x) < :
} ) , ( / { ) , ( < x a x a d R B
n
Siendo a= ) ,.... , (
2 1 n
a a a un punto de
n
denomina bola cerrada de centro a y radio al conjunto de todos los puntos x de
n
R tales que d(a,x) :
} ) , ( / { ) , ( x a x a d R B
n
Siendo a= ) ,.... , (
2 1 n
a a a un punto de
n
denomina bola reducida de centro a y radio al conjunto de todos los puntos x de
n
R , distintos del propio punto a, tales que d(a,x) < :
} ) , ( , / { ) , ( * < x a a x x a d R B
n
Definiciones.
Siendo C un subconjunto de
n
R , se dice que a es un punto interior a C si existe
algn valor >0 para el que C a B ) , ( . Al conjunto de todos los puntos
interiores de C se le denomina interior de C. Un conjunto que coincida con su
interior se denomina conjunto abierto.
n
R , se dice que a es un punto exterior a C si existe
algn valor >0 para el que } { ) , ( C a B . Al conjunto de todos los puntos
exteriores de C se le denomina exterior de C.
n
R , se dice que a es un punto frontera de C si para
todos los valores >0 se verifica C a B ) , ( y } { ) , ( C a B Al conjunto de
todos los puntos frontera de C se le denomina frontera de C. Un conjunto que
incluya todos sus puntos frontera se denomina conjunto cerrado.
Definicin.
Un conjunto C de
n
R se denomina acotado si existe una bola abierta de radio finito
que lo contenga.
Definicin.
Un conjunto C de
n
R se denomina conexo si todo par de puntos de C puede unirse
mediante una curva continua contenida en su totalidad en el conjunto C.
Definicin.
Se denomina entorno de un punto a a todo conjunto abierto y conexo que incluya al
punto a.
Definicin.
Una sucesin de puntos {a
m
} de R
n
se dice que converge hacia el punto a cuando se
verifica:
< > > ) , ( : / ) ( , 0 a a d N n N N
n
2. Funciones de varias variables.
Definicin.
Siendo C un conjunto de R
n
, se denomina funcin definida en C y con valores en R
a toda aplicacin R C f : que asocia a cada punto de C un valor real. El
conjunto C sobre el que se define la funcin se denomina campo de definicin (o
dominio) de la funcin.
3. Lmite de una funcin de varias variables.
Definicin.
Sea f(x) una funcin definida sobre el conjunto
n
R C y sea a un punto de R
n
.
} | ) ( | , , ) , ( / ) ( , 0 { } ) ( { < < >
A f a C d A f lim
a
x x x a x x
x
NOTA: Definiciones equivalentes:
1) } | ) ( | : ) , ( * / ) ( , 0 { } ) ( { < >
A f B A f lim
a
x a x x
x
2) Se dice que el nmero A es el lmite de la funcin f(x) en el punto a, cuando para
toda sucesin de puntos {a
m
} de C convergente hacia el punto a se verifica que el
lmite de la sucesin de nmeros reales {f(a
m
)} es el nmero A.
Propiedad 1.
Si existe el lmite de la funcin f(x) en el punto a, dicho lmite es nico.
Propiedad 2.
Sean f(x) y g(x) dos funciones tales que:
F f lim
a
) ( x
x
y G g lim
a
) ( x
x
Se verifican entonces las igualdades siguientes:
a) G F g lim f lim g f lim
a a a
+ + +

) ( ) ( )) ( ) ( ( x x x x
x x x
b) G F g lim f lim g f lim
a a a

) ( ) ( )) ( ) ( ( x x x x
x x x
c) G F g lim f lim g f lim
a a a
. ) ( ). ( )) ( ). ( (

x x x x
x x x
d) Si 0 G , G F g lim f lim g f lim
a a a
/ ) ( / ) ( )) ( / ) ( (

x x x x
x x x
3.1. Caso de funciones de dos variables.
Lmite doble de f(x,y) en el punto a=(a
x
,a
y
):
) , ( y x f lim
y
x
a y
a x
Lmites reiterados:
,
_

) , ( y x f lim lim
x y
a x a y
y:
,
_

) , ( y x f lim lim
y x
a y a x
Lmite direccional segn la curva ) (x y (con ) (
x y
a a )
( ) )) ( , ( x x f lim
x
a x
Lmites radiales: caso particular de los lmites direccionales en el que:

y x
a a x k y + ) (
Propiedad 3.
Si los lmites direccionales tienen diferentes valores segn la direccin, entonces el
lmite doble no existe.
Criterio para analizar la existencia de lmite doble segn los reiterados.
a) Si no existe ninguno de los reiterados: el lmite doble puede existir o no existir y
no se dispone de informacin sobre l.
b) Si existe slo uno de los reiterados y su valor es L: el lmite doble puede existir
o no existir pero en el caso de que exista valdr L.
c) Si existen los dos reiterados:
c-1) si ambos tienen el mismo valor L: el lmite doble puede existir o no existir
pero si existe tomar el valor L;
c-2) si los reiterados tienen distinto valor: el lmite doble no existe.
Propiedad 4 (Criterio de la funcin mayorante).
Una condicin necesaria y suficiente para que la funcin f(x,y) admita L como
lmite en el origen es que la funcin L f )) sen( . ), cos( . ( admita una funcin
mayorante ) ( F en todo el campo de variacin de que tienda a 0 cuando
tiende a 0 por la derecha.
( Cambio de las variables (x,y) a las variables polares ) , ( :
'
) sen( .
) cos( .

y
x
.)
NOTA:
En el caso de que el lmite doble no se busque en el origen sino en el punto (a
x
,a
y
),
el criterio de la mayorante puede ser aplicado trasladando previamente el origen de
coordenadas al punto (a
x
,a
y
), es decir mediante el cambio:
x
a x X ,
y
a y Y
3.2. Caso de funciones de n variables.
Lmite mltiple de f(x) en el punto ) ,..., , (
2 1 n
a a a a :
) ,..., , (
2 1
2 2
1 1
n
a x
a x
a x
x x x f lim
n n
Lmites reiterados:
))))) ,..., , ( ( (...( (
2 1
2 2 1 1
n
a x a x a x
x x x f lim lim lim
n
i
n
i i i i i

donde { }
n
i i i ,..., ,
2 1
son las diferentes permutaciones que pueden realizarse de los
enteros { } n ,..., 2 , 1 .
Criterio para analizar la existencia de lmite mltiple segn los reiterados.
a) Si no existe ninguno de los reiterados: el lmite mltiple puede existir o no
existir y no se dispone de informacin sobre l.
b) Si existen slo algunos de los reiterados:
b-1) si todos los que existen toman el mismo valor L: el lmite mltiple puede
existir o no existir pero en el caso de que exista valdr L;
b-2) si los que existen no tienen todos el mismo valor: el lmite mltiple no
existir.
c) Si existen todos los lmites reiterados:
c-1) si todos tienen el mismo valor L: el lmite mltiple puede existir o no existir
pero si existe tomar el valor L;
c-2) si los lmites reiterados tienen distinto valor: el lmite mltiple no existe.
4. Continuidad de una funcin de varias variables.
Definicin.
Sea f(x) una funcin definida en un conjunto C de R
n
y sea a un punto de C. La
funcin f(x) se dice continua en a si:
1) ) (a f
2) ) ( x
x
f lim
a
y 3) ) ( ) ( a x
x
f f lim
a
NOTA: Definicin equivalente de continuidad:

f(x) es continua en el punto a si:
< < > | ) ( ) ( | ) , ( / ) ( , 0 a x a x f f d
NOTA: Otra definicin equivalente de continuidad:
f(x) es continua en el punto C a si:
) ( ) ( : / } { a a a a a f f lim lim C
m
m
m
m
m

Propiedad 5.
Si las funciones f(x) y g(x) son continuas en el punto a, tambin son continuas en a
las funciones suma (f(x)+g(x)), diferencia (f(x)-g(x)) y producto (f(x).g(x)). Adems
si 0 ) ( a g tambin es continua en a la funcin cociente (f(x)/g(x)).
Definicin.
Si una funcin es continua en todos los puntos del conjunto C se dice que es
continua en el conjunto C.
Los puntos de C en los que una funcin no es continua se denominan puntos de
discontinuidad de la funcin.
Propiedad 6.
Si C es un conjunto cerrado y acotado de R
n
y f(x) es una funcin continua en C,
entonces:
1) f(x) est acotada en C: C k f k x x , | ) ( /
2) f(x) alcanza valores mximo y mnimo en C:
C M f f f m C x b x a b a , ) ( ) ( ) ( / ,
Bibliografa.
T.M. Apstol (1992), Calculus, ed. Revert, Vol. 2.
J. de Burgos (1995), Clculo infinitesimal de varias variables, ed. McGraw-Hill.
Funciones de varias variables (II) 16
TEMA 3 - FUNCIONES DE VARIAS VARIABLES (II):
DERIVACIN Y DIFERENCIACIN
1. Derivadas direccionales y derivadas parciales.
Definicin.
Sea f(x) una funcin definida sobre el abierto C de R
n
y con valores en R. Se
denomina derivada (primera) de f en el punto aC respecto al vector no nulo
n
R u y se representa por ) (a
u d
df
al siguiente lmite, si es que existe y es finito:
) ( ) . (
) (
0
a u a
a
u
f f
lim
d
df +
Si el vector u de la definicin anterior tiene por norma la unidad, la derivada se

denomina direccional en la direccin dada por el vector u.
Si el vector u de la definicin anterior coincide con el i-simo vector de la base
cannica de R
n
, a la derivada se le denomina derivada parcial de f(x) en a respecto
a x
i
y se representa por ) (a
i
x
f
, verificndose por tanto que:

h
a a a a a f a a h a a a f
lim
x
f
n i i i n i i i
h
i
) ,..., , , ,..., ( ) ,..., , , ,..., (
) (
1 1 1 1 1 1
0
+ +
a
Definicin.
Se denomina funcin derivada de f respecto al vector no nulo u a la funcin:
R C
d
df
:
u
) (x
u
x
d
df
2. Propiedades de la derivacin.
Propiedad.
Sea f(x) una funcin definida en un abierto C de R
n
con valores en R y sea a un
punto de C. Para la derivada parcial de f(x) en a respecto a la i-sima variable x
i
son
de aplicacin las reglas de derivacin de las funciones de una variable,
considerando como nica variable a x
i
y el resto de las variables de f(x) como fijas
(constantes) en la expresin de la funcin.
Propiedad.
La existencia de todas las derivadas de f en a respecto a los diferentes vectores u no
nulos, no es ni necesaria ni suficiente para que f(x) sea continua en a.
3. Diferencial de una funcin de varias variables.
Sea:
) ,..., ,..., ( ) ,..., ,..., (
) ,..., ,..., (
1 1 1
1 1
n i n n i i
n n i i
a a a f x a x a x a f
x a x a x a f
+ + +
+ + +
Definicin.
Se dice que la funcin ) ,..., ,..., (
1 n i
x x x f es diferenciable en el punto
) ,..., ,..., (
1 n i
a a a a cuando para todo ) ,..., ,..., (
1 n i
x x x x se tiene que:

+ + + +
n
i
i n i i i
n
i
i n n i i
x x x x x A x a x a x a f
1
1
1
1 1
). ,..., ,..., ( . ) ,..., ,..., (
donde las A
i
(i=1,...,n) son constantes independientes de ) ,..., ,..., (
1 n i
x x x ,
aunque pueden depender del punto a en que se trabaje, y las funciones
i
verifican
que: 0 ) ,..., ,..., (
1
0

n i i
x x x lim
x
(i=1,...,n).
En dicho caso se denomina diferencial de la funcin f en el punto a a la aplicacin
lineal (de variables
n
x x ,...,
1
):
i
n
i
i
x A df
.
1
a
Propiedad.
Si la funcin f(x) es diferenciable en el punto a, entonces:
n
i
i
x
x
f
df
1 i
a
a). (
Propiedad.
Una condicin necesaria y suficiente para que una funcin f(x) sea diferenciable en
el punto a es que sea nulo el lmite siguiente:
[ ]
( ) ( )
2 2
1
1
1
1 1 1
0
.......
). ( ... ). ( ) ,..., ( ) ,..., (
n
n
n
n n n
x x
x
x
f
x
x
f
a a f x a x a f
lim
+ +
1
]
1
+ +
+ +

a a
x
Definicin.
Se denomina aplicacin diferencial de la funcin f(x) a la aplicacin:
) , ( ' : R R L C df
n

x
x df
donde C es el subconjunto formado por los puntos de C en los que la funcin f(x)
es diferenciable.
NOTACIN.
Puesto que si f(x
1
,...,x
i
,...,x
n
)=x
i
se verifica que:
i i
x dx
la diferencial de una funcin en un punto se representar por:
n
i
i
dx
x
f
df
1 i
a
a). (
y la aplicacin diferencial por:
n
i
i
dx
x
f
df
1 i
x). (
4. Condiciones necesarias de diferenciabilidad.
Teorema.
Una condicin necesaria para que f(x) sea diferenciable en el punto a es que sea
continua en dicho punto.
Teorema.
Una condicin necesaria para que f(x) sea diferenciable en el punto a es que en
dicho punto existan las derivadas parciales ) (a
i
x
f
(i=1,...,n).
5. Condiciones suficientes de diferenciabilidad.
Teorema.
Si f(x) tiene derivadas parciales ) ( x
i
x
f
y dichas derivadas parciales son continuas

en a, entonces f(x) es diferenciable en a.
6. Derivadas de las funciones diferenciables.
Definicin.
Siendo f una funcin definida en el abierto C de R
n
y con valores en R, y siendo a
un punto de C, se denomina gradiente de la funcin f en el punto a al vector de
componentes:
'

) (
) (
) (
) (
2
1
a
a
a
a
n
x
f
x
f
x
f
f
Propiedad.
Si f es una funcin diferenciable en el punto a, para cualquier vector no nulo u de
componentes (u
1
,...,u
i
,...,u
n
) se verifica que:
+ +
+ +

n
i
i
i
n
n
i
i
u
x
f
u
x
f
u
x
f
u
x
f
f
d
df
1
1
1
). ( ). ( ... ). ( ... ). ( ). ( ) ( a a a a u a a
u
Propiedad.
Si f es una funcin diferenciable en el punto a, se verifica que:
+ +
+ +

n
i
i
i
n
n
i
i
dx
x
f
dx
x
f
dx
x
f
dx
x
f
d f df
1
1
1
). ( ). ( .... ). ( ... ). ( ). ( a a a a x a
a
NOTA:
Siendo f una funcin en
2
R , diferenciable en ) , (
0 0
y x . Entonces la superficie
) , ( y x f z tiene un plano tangente en ) , , (
0 0 0
z y x cuya ecuacin es:
) ).( , ( ) ).( , ( ) , (
0 0 0 0 0 0 0 0
y y y x
y
f
x x y x
x
f
y x f z
+
7. Derivada de una funcin compuesta.
Sea f(x
1
,...,x
i
,...x
n
) una funcin de n variables. Supongamos adems que cada una de
dichas variables depende de m parmetros:
x
i
=x
i
(t
1
,...,t
j
,...,t
m
)
Propiedad (regla de la cadena).
Si en el punto ) ,..., ,..., (
) 0 ( ) 0 ( ) 0 (
1
) 0 (
m j
t t t t existen las derivadas parciales ) (
) 0 (
t
j
i
t
x
(i=1,...,n; j=1,...,m) y la funcin f(x) es diferenciable en el punto

) ,..., ,..., (
) 0 ( ) 0 ( ) 0 (
1
) 0 (
n i
x x x x , donde ) ,..., ,..., (
) 0 ( ) 0 ( ) 0 (
1
) 0 (
m j i i
t t t x x (i=1,...,n), entonces
se verifica que:
) ,..., 2 , 1 ( ) ( ). ( ) (
1
) 0 ( ) 0 ( ) 0 (
m j
t
x
x
f
t
f
n
i j
i
i j
t x t
8. Derivadas de rdenes superiores.
) (
...
) (
...
1 (
x x
i
k j
m
k j i
m
x
x x
f
x x x
f
,
_
Teorema de Schwarz.
Si ) (
2
x
k i
x x
f

y ) (
2
x
i k
x x
f

son funciones continuas en el punto a, entonces:

) ( ) (
2 2
a a
i k k i
x x
f
x x
f

NOTA:
El teorema anterior se generaliza para cualquier orden de derivacin.
9. Diferenciales de orden superior.
) (
1 (
f d d f d
m m
f
i
dx
i
x
m
f d
n
i
m
,
_
1
.
10. Funciones vectoriales.
Consideramos ahora funciones vectoriales de varias variables:
m n
R R f :
'
) ,..., (
) ,..., (
) ,..., (
) ,..., (
1
1
1 1
1
n m
n i
n
n
x x f
x x f
x x f
x x f
Todas las definiciones realizadas sobre las funciones de R

n
sobre R se extienden a
las funciones vectoriales actuando componente a componente:
[ ]{ } x
x
x
x
x d x x f D
dx
dx
x x
x
f
x x
x
f
x x
x
f
x x
x
f
df
df
df
f d
n
n
n
n
m
n
m
n
n
n
n
i
. ) ,..., ( .
) ,..., ( ... ) ,..., (
...
) ,..., ( ... ) ,..., (
) (
) (
) (
) (
1
1
1 1
1
1
1
1
1
1
1
'
1
1
1
1
1
]
1
'
La matriz )] ,..., ( [
1 n
x x f D se denomina matriz Jacobiana de la funcin f en el
punto (x
1
,...,x
n
). En el caso en que n sea igual a m, su determinante
) ,..., ( )) ,..., ( det(
1 1 n n
x x f D x x f D J se denomina Jacobiano de la funcin f
en el punto (x
1
,...,x
n
).
Regla de la cadena para funciones vectoriales.
[ ]
'
'
1
1
1
1
1
]
1
'
j
n
j
n
j
n
n
m
n
m
n
n
n
j
m
j
i
j
j
t
x x f D
t
x
t
x
x x
x
f
x x
x
f
x x
x
f
x x
x
f
t
f
t
f
t
f
t
f x
x
x
x
x . ) ,..., ( .
) ,..., ( ... ) ,..., (
...
) ,..., ( ... ) ,..., (
) (
) (
) (
) (
1
1
1 1
1
1
1
1
1
1
1

o:
] ].[ [ ] [ x
x t t
D f D f D
11. Funciones vectoriales invertibles.
En esta seccin se analiza el problema de la invertibilidad de las funciones
vectoriales de varias variables.
Definicin.
Una funcin
m n m n
R I f en R I de m n R R I f > ) ( 1 , , : se denomina uno a
uno si y slo si asigna imgenes distintas a elementos distintos de I, es decir si:
I f f b a b a b a , ) ( ) ( .
Propiedad.
Si
m n
R R I f : es una funcin uno a uno, entonces f admite una (nica)
funcin inversa
n m
R I R I f g ) ( : definida por la siguiente condicin:
I f g a a a)) ( (
NOTA:
Muy a menudo se trabaja con funciones
m n
R R I f : que no son invertibles
sino que slo son localmente invertibles en el sentido de que para ciertos puntos
I a existe un entorno V(a) tal que la restriccin:
m n
V
R R I V f ) ( :
) (
a
a
es invertible. Debido a la importancia del anlisis local, es til establecer un criterio
suficiente para que una funcin sea localmente invertible sin ser necesariamente
uno a uno. En el caso de funciones escalares reales de una variable real, la
condicin anterior es que la derivada primera de la funcin sea una funcin
continua no nula. La extensin de este criterio al caso vectorial en el que n=m
utiliza los conceptos de matriz jacobiana y determinante jacobiano. El teorema
siguiente afirma que una funcin con derivadas parciales continuas es localmente
uno a uno en un entorno de un punto en el que no se anula el determinante
jacobiano.
Teorema (Criterio de invertibilidad local).
Sea I un abierto de R
n
. Una funcin
n n
R R I f : de componentes (f
1
,f
2
,...,f
n
)
continuas y con primeras derivadas parciales continuas en a es localmente invertible
si: 0 ) ( )) ( det( ) ( a a a f D f D J .
Si I a , la inversa local de f que corresponde al punto a se define en un entorno
n
R f V )) ( ( a del punto ) (a f y es tambin continua en ) (a f y tiene derivadas
parciales primeras continuas en ) (a f .
NOTA:
El teorema anterior representa un criterio de invertibilidad local de una funcin que
se reduce al criterio antes citado para el caso n=1. Ntese sin embargo que en el
caso n=1 el hecho de que I x x f 0 ) ( ' implica la invertibilidad en todo I
(global) mientras que en el caso n>1 la no-anulacin del jacobiano de f en todo
punto de
n
R I slo implica que f es localmente invertible pudiendo no ser uno
a uno. Un ejemplo de ello puede ser la funcin de cambio de coordenadas a polares
en el plano.
12. Funciones implcitas.
12.1. Caso de una funcin de una variable real definida por la ecuacin
F(x,y)=0.
Sea F(x,y) una funcin de dos variables y considrese la ecuacin definida por
F(x,y)=0. Si para todo valor ] [ h x h x x + * , * existe un nico valor de la variable
y que junto a x satisface la ecuacin F(x,y)=0, se puede determinar, a travs de la
ecuacin, una funcin y(x) para la cual se satisface la propia ecuacin F(x,y(x))=0,
] [ h x h x x + * , * . En ese entorno del punto x* se dice que la funcin y(x) est
definida implcitamente.
NOTAS:
1) En ocasiones se podr despejar la funcin y(x) a partir de la ecuacin F(x,y)=0.
Pero ello es independiente de la existencia o no de la funcin implcita. Cuando se
pueda despejar se obtendr la definicin explcita de la funcin.
2) No toda ecuacin F(x,y)=0 define implcitamente una funcin en un entorno del
punto x*. En ocasiones se definir ms de una funcin (cuando para un valor x*
haya ms de un valor de y verificando la ecuacin). En otras ecuaciones puede no
definirse ninguna (cuando para un valor x no haya ningn valor de y que verifique
la ecuacin).
Nos preguntamos entonces en qu condiciones se puede asegurar que una ecuacin
de la forma F(x,y)=0 define implcitamente una funcin. Y, en el caso de que dicha
funcin est definida, cmo se pueden evaluar sus derivadas. La respuesta a esta
cuestin la proporciona el siguiente teorema:
Teorema (de la funcin implcita).
Considrese la ecuacin F(x,y)=0 y sea (x*,y*) un punto de R
2
. Si la funcin F(x,y)
satisface las cuatro condiciones siguientes:
H-1) F(x,y) est definida y es continua en un entorno V del punto (x*,y*)
H-2) En el entorno V de (x*,y*) existen y son continuas las funciones:
) , ( ) , ( y x
y
F
y y x
x
F
H-3) Se verifica que F(x*,y*)=0

H-4) 0 *) *, (
y x
y
F
Entonces existe un entorno U del punto x* en el que existe una nica funcin
R U y : que a todo punto x de U le asigna el valor y(x) tal que:
U x x y x F y x y y 0 )) ( , ( *) ( *
Adems y(x) es diferenciable en x* y se verifica que:
*) *, (
*) *, (
*) (
y x
y
F
y x
x
F
x
dx
dy

La demostracin de la expresin de la derivada de y(x) en x*, admitiendo la
existencia y diferenciabilidad de la funcin y(x) se obtiene de derivar, utilizando la
regla de la cadena, la propia ecuacin. En efecto:
*) ( *). *, ( *) *, ( 0 )) ( , ( 0 x
dx
dy
y x
x
F
y x
x
F
x y x F

de donde se obtiene la expresin anterior.
NOTAS:
1) Las hiptesis H-1) y H-2) se resumen diciendo que F(x,y) es una funcin de
clase C
1
(V). En general se denomina funcin de clase C
m
(V) a aquellas funciones
definidas sobre V tales que ellas y sus derivadas de orden inferior o igual a m
(respecto a las variables que sean) son continuas en todo V.
2) En este sentido, si la funcin F(x,y) fuese de clase C
2
(V) (esto es, si la funcin,
sus primeras derivadas y sus segundas derivadas fuesen continuas), la expresin de
la derivada segunda de y(x) respecto a x dos veces se podra obtener derivando la
ecuacin F(x,y(x)) dos veces respecto a x. Con ello se tendra que:
*) ( *). *, (
*) ( *). *, ( *) ( *). *, ( 2 *) *, ( 0
2
2
2
2
2 2
2
2
x
dx
y d
y x
y
F
x
dx
dy
y x
y
F
x
dx
dy
y x
y x
F
y x
x
F
+
+
,
_
expresin de la que (conocido dy/dx por la expresin del teorema anterior) puede
despejarse *) (
2
2
x
dx
y d
.
3) En general, si F(x,y) fuese de clase C
m
(V) se podra estimar la derivada
*) (x
dx
y d
m
m
, conocidas las derivadas de rdenes inferiores, derivando la ecuacin m
veces respecto a la variable x.
12.2. Caso de una funcin de n variables reales definida por la ecuacin
F(x
1
,x
2
,...,x
n
,y)=0.
Lo dicho para ecuaciones de dos variables puede extenderse al caso de ecuaciones
de (n+1) variables en las que una de ellas puede determinarse de forma nica (al
menos en un cierto entorno) en funcin de las otras n. Para ello el teorema de la
funcin implcita puede generalizarse a este caso de la forma siguiente.
Sea la ecuacin F(x
1
,x
2
,...,x
n
,y)=0 y sea (x*
1
,x*
2
,...,x*
n
,y*) un punto de R
n+1
. Si la
funcin F(x
1
,x
2
,...,x
n
,y) satisface las cuatro condiciones siguientes:
H-1) F(x
1
,x
2
,...,x
n
,y) est definida y es continua en un entorno V del punto
(x*
1
,x*
2
,...,x*
n
,y*)
H-2)
) , ,..., , ( ) , ,..., , ( ..., ), , ,..., , ( ), , ,..., , (
2 1 2 1 2 1
2
2 1
1
y x x x
y
F
y y x x x
x
F
y x x x
x
F
y x x x
x
F
n n
n
n n
existen y son continuas en el entorno V del punto (x*

1
,x*
2
,...,x*
n
,y*)
H-3) F(x*
1
,x*
2
,...,x*
n
,y*)=0
H-4) 0 *) , * ,..., * , * (
2 1

y x x x
y
F
n
Entonces existe una nica funcin y(x
1
,x
2
,...,x
n
) definida en un entorno U del punto
(x*
1
,x*
2
,...,x*
n
), verificando que:
U x x x x x x y x x x F y x x x y y
n n n n
) ,..., , ( 0 )) ,..., , ( , ,..., , ( ) * ,..., * , * ( *
2 1 2 1 2 1 2 1
Adems dicha funcin es diferenciable en (x*
1
,x*
2
,...,x*
n
) y se verifica que:
) ,..., 2 , 1 (
*) , * ,..., * , * (
*) , * ,..., * , * (
) * ,..., * , * (
2 1
2 1
2 1
n i
y x x x
y
F
y x x x
x
F
x x x
dx
dy
n
n
i
n
i

La demostracin de la expresin de la derivada de y respecto a x
i
en (x*
1
,x*
2
,...,x*
n
),
admitiendo la existencia y diferenciabilidad de la funcin y(x
1
,x
2
,...,x
n
) se obtiene de
derivar, utilizando la regla de la cadena, la propia ecuacin. En efecto:
) * ,..., * , * ( *). , * ,..., * , * ( *) , * ,..., * , * ( 0
)) ,..., , ( , ,..., , ( 0
2 1 2 1 2 1
2 1 2 1
n
i
n n
i
n n
x x x
dx
dy
y x x x
x
F
y x x x
x
F
x x x y x x x F

de donde se obtiene la expresin anterior.
NOTAS:
1) Las hiptesis H-1) y H-2) se resumen diciendo que F(x
1
,x
2
,...,x
n
,y) es una
funcin de clase C
1
(V). En general se denomina funcin de clase C
m
(V) a aquellas
funciones definidas sobre V tales que ellas y sus derivadas de orden inferior o igual
a m (respecto a todas las combinaciones posibles de variables) son continuas en
todo el entorno V.
2) En este sentido, si la funcin F(x
1
,x
2
,...,x
n
,y) fuese de clase C
2
(V) (esto es, si la
funcin, sus primeras derivadas y sus segundas derivadas fuesen continuas), la
expresin de la derivada segunda de y(x
1
,x
2
,...,x
n
) respecto a x
i
y respecto a x
j
se
podra obtener derivando la ecuacin F(x
1
,x
2
,...,x
n
,y) respecto a dichas variables.
Con ello se tendra que:
) * ,..., * , * ( *). , * ,..., * , * (
) * ,..., * , * ( ). * ,..., * , * ( *). , * ,..., * , * (
) * ,..., * , * ( *). , * ,..., * , * (
) * ,..., * , * ( *). , * ,..., * , * ( *) , * ,..., * , * ( 0
2 1
2
2 1
2 1 2 1 2 1
2
2
2 1 2 1
2
2 1 2 1
2
2 1
2
n
j i
n
n
i
n
j
n
n
i
n
j
n
j
n
i
n
i j
x x x
x x
y
y x x x
y
F
x x x
x
y
x x x
x
y
y x x x
y
F
x x x
x
y
y x x x
y x
F
x x x
x
y
y x x x
x y
F
y x x x
x x
F

+
+
+
+
+
+
expresin de la que (conocidas ) * ,..., * , * (

2 1 n
j
x x x
x
y
y ) * ,..., * , * (
2 1 n
i
x x x
x
y
por la expresin del teorema anterior) puede despejarse ) * ,..., * , * (

2 1
2
n
i j
x x x
x x
y

.
3) En general, si F(x
1
,x
2
,...,x
n
,y) fuese de clase C
m
(V) se podra estimar la derivada
) * ,..., * , * (
...
2 1 n
k i
m
x x x
x x
y

, conocidas las derivadas de rdenes inferiores,

derivando la ecuacin m veces respecto a las variables x
i
,...,x
k
.
12.3. Funciones vectoriales reales definidas implcitamente mediante un
sistema de ecuaciones.
Lo tratado en apartados anteriores para funciones escalares de variable real puede
generalizarse al caso de un sistema de ecuaciones de la forma:
'
0 ) ,..., , , ,..., , (
0 ) ,..., , , ,..., , (
0 ) ,..., , , ,..., , (
2 1 2 1
2 1 2 1 2
2 1 2 1 1
m n m
m n
m n
y y y x x x F
y y y x x x F
y y y x x x F
que escribiremos en forma resumida como 0 y x ) , ( F donde

m m n
R R F
+
: ,
n
R x e
m
R y . En este caso nos preguntamos si el sistema de ecuaciones
anterior, en un entorno U del punto
n
n
R x x x ) * ,..., * , * (
2 1
define une nica
funcin:
'
) ,..., (
) ,..., (
) (
:
1
1 1
n m
n
m n
x x y
x x y
R R
x y x
y
La respuesta a esta cuestin nos la proporciona el siguiente teorema:
Considrese el sistema de ecuaciones 0 y x ) , ( F y sea
) * ,..., * , * , * ,..., * , * (
2 1 2 1 m n
y y y x x x un punto de R
n+m
. Si se verifican las
siguientes hiptesis:
H-1) ) , ( y x F est definida y es continua en un entorno V del punto *) *, ( y x , donde
se ha designado por ) * ,..., * , * ( *
2 1 n
x x x x y por ) * ,..., * , * ( *
2 1 m
y y y y .
H-2) Existen y son continuas en V las funciones:
) ,..., 1 ( ) , ( ) ,..., 1 ( ) , ( m j
y
F
y n i
x
F
j i
y x y x
H-3) Se verifica que 0 y x *) *, ( F .
H-4) Se verifica que:
0
y x y x
y x y x
y x
*) *, ( ... *) *, (
...
*) *, ( ... *) *, (
*) *, (
1
1
1
1
m
m m
m
y
y
F
y
F
y
F
y
F
F D

Entonces el sistema de ecuaciones 0 y x ) , ( F define implcitamente, en un
entorno U de ) * ,..., * ( *
1 n
x x x , una nica funcin:
'

) ,..., , (
) ,..., , (
) ,..., , (
) (
2 1
2 1 2 2
2 1 1 1
n m m
n
n
x x x y y
x x x y y
x x x y y
x y y
Adems la funcin ) ( x y es diferenciable en ) * ,..., * ( *
1 n
x x x y verifica que:
*) ( * x y y y U F x 0 x y x )) ( , (
pudindose estimar sus derivadas en ) * ,..., * ( *
1 n
x x x como solucin del
siguiente sistema lineal de ecuaciones:
) ,..., 1 (
*) *, (
*) *, (
*) (
*) (
.
*) *, ( ... *) *, (
...
*) *, ( ... *) *, (
1 1
1
1
1
1
n j
x
F
x
F
x
y
x
y
y
F
y
F
y
F
y
F
j
m
j
j
m
j
m
m m
m
'
'
y x
y x
x
x
y x y x
y x y x

La demostracin de la expresin de las derivadas de ) ( x y en ) * ,..., * (
1 n
x x ,
admitiendo la existencia y diferenciabilidad de la funcin ) ( x y se obtiene de
derivar respecto a la variable x
j
, utilizando la regla de la cadena, las propias
ecuaciones que definen el sistema. En efecto:
'
0 )) ,..., ( ),..., ,..., ( ), ,..., ( , ,..., , (

0 )) ,..., ( ),..., ,..., ( ), ,..., ( , ,..., , (
0 )) ,..., ( ),..., ,..., ( ), ,..., ( , ,..., , (
1 1 2 1 1 2 1
1 1 2 1 1 2 1 2
1 1 2 1 1 2 1 1
n m n n n m
n m n n n
n m n n n
x x y x x y x x y x x x F
'
+ +
+ +
+ +
*) ( *). *, ( ... *) ( *). *, ( *) *, ( 0

*) ( *). *, ( ... *) ( *). *, ( *) *, ( 0
*) ( *). *, ( ... *) ( *). *, ( *) *, ( 0
1
1
2 1
1
2 2
1 1
1
1 1
x y x x y x y x
x y x x y x y x
x y x x y x y x
j
m
m
m
j
m
j
m
j
m
m j j
j
m
m j j
x
y
y
F
x
y
y
F
x
F
x
y
y
F
x
y
y
F
x
F
x
y
y
F
x
y
y
F
x
F
[ ]
'
'
*) ( *) *, ( *) *, ( x
y
y x y x
y
j j
x
F D
x
F
que es la expresin que proporciona el teorema.
NOTAS:
1) Las hiptesis H-1) y H-2) se resumen diciendo que ) , ( y x F es una funcin de
clase (C
1
(V))
m
. En general se denomina funcin de clase (C
k
(V))
m
a aquellas
funciones de m componentes definidas sobre V tales que ellas y sus derivadas de
orden inferior o igual a k (respecto a todas las combinaciones posibles de variables)
son continuas en todo el entorno V.
2) En este sentido, si la funcin ) , ( y x F fuese de clase (C
2
(V))
m
(esto es, si la
funcin, sus primeras derivadas y sus segundas derivadas fuesen continuas) la
expresin de la derivada segunda de ) ( x y respecto a x
i
y respecto a x
j
se podran
obtener derivando el sistema de ecuaciones respecto a dichas variables. Con ello se
tendra que las derivadas buscadas son la solucin del sistema lineal de ecuaciones
siguientes:
'
'
m
i j
m
i j
m
m m
m
b
b
x x
y
x x
y
y
F
y
F
y
F
y
F

1
2
1
2
1
1
1
1
*) (
*) (
.
*) *, ( ... *) *, (
...
*) *, ( ... *) *, (
x
x
y x y x
y x y x
donde:
+
+
m
s
m
r j
r
i
s
r s
k
j
r
m
r r i
k
i
r
m
r r j
k
j i
k
k
m k
x
y
x
y
y y
F
x
y
y x
F
x
y
y x
F
x x
F
b
1 1
2
1
2
1
2 2
) ,..., 1 ( *) ( *). ( *). *, (
*) ( . *) *, ( *) ( . *) *, ( *) *, (
x x y x
x y x x y x y x
Del sistema lineal anterior (conocidas las derivadas primeras por la expresin del
teorema anterior) pueden obtenerse ) * ,..., * (
1
2
n
i j
k
x x
x x
y

.
3) En general, si ) , ( y x F fuese de clase (C
p
(V))
m
se podra estimar la derivada
) * ,..., * (
...
1 n
k i
p
x x
x x
y

, conocidas las derivadas de rdenes inferiores, derivando la

ecuacin p veces respecto a las variables x
i
,...,x
k
.
Bibliografa.
Funciones de varias variables (III) 28
TEMA 4 - FUNCIONES DE VARIAS VARIABLES (III):
DESARROLLOS DE TAYLOR Y EXTREMOS DE FUNCIONES
1. Derivadas de orden m de una funcin de varias variables respecto a un
vector no nulo.
Sea R C f : una funcin definida en
n
R C , aC un punto de C y uR
n
un
vector de componentes u
1
,...,u
n
. Segn se vi en el tema precedente, se define la
derivada primera de f en a respecto a u por el valor, si existe, del lmite:
h
f h f
lim
d
df
h
) ( ) . (
) (
0
a u a
a
u
+
y la aplicacin derivada primera de f respecto a u mediante:

R C
d
df
:
u
) ( x
u
x
d
df
Dada la aplicacin ) ( x
u d
f d
m
, se define la derivada de orden (m+1) de la funcin f
en a respecto a u por el valor, si existe, del lmite:
h
f
h
f
lim
d
f d
m
m
m
m
h
m
m
) ( ) . (
) (
0
) 1 (
1 (
a
u
u a
u
a
u
+
+
y la aplicacin derivada de orden (m+1) de f respecto al vector u (m+1) veces por:
R C
d
f d
m
m
+
+
:
) 1 (
) 1 (
u
) (
) 1 (
1 (
x
u
x
+
+
m
m
d
f d
En el caso de que la funcin f sea de clase C
(m+1)
(C,R), se puede escribir
simblicamente que:
) ( . ) (
1
a a
u
f u
x d
f d
m
n
i
i
i
m
m
,
_
2. Frmula de Taylor para una funcin de n variables.

Siendo f ) , (
) 1 (
R C C
m+
, aC y uR
n
de componentes u
1
,...,u
n
tal que el punto
(a
1
+u
1
,..., a
n
+u
n
) pertenezca a C, existe un valor [ 1 , 0 ] tal que se verifica:
) . ( .
)! 1 (
1
) ( .
!
1
... ) ( .
! 3
1
) ( .
2
1
) ( ) ( ) (
1 (
1 (
(
3
3
2
2
u a
u
a
u
a
u
a
u
a
u
a u a
+
+
+
+ + + + + + +
+
+
m
m
m
m
d
f d
m
d
f d
m
d
f d
d
f d
d
df
f f
La frmula anterior se denomina frmula de desarrollo de orden m en serie de
Taylor de f(x) en torno al punto a.
NOTA:
En el caso particular de que el punto a fuese el punto 0=(0,...,0), la frmula anterior
recibe el nombre de frmula de McLaurin.
2.1. Caso de funciones de 2 variables.
Siendo f(x,y) ) , (
) 1 (
R C C
m+
y el punto a=(a
x
,a
y
) un punto de C:
1
3
3
3
2
2
3
2
2
3
3
3
3
2
2
2 2
2
2
2
1
0 0
(
... ) ).( , ( .
! 3
1
) ).( ).( , ( .
2
1
) .( ) ).( , ( .
2
1
) ).( , ( .
! 3
1
) ).( , (
2
1
) ).( ).( , (
) ).( , (
2
1
) ).( , ( ) ).( , ( ) , (
) , ( .
! !.
) .( ) (
) , (
+
+
+
+ +
+
+

+
+
+
+

m y y x y x y x
y x y x x y x
y y x y x y x
x y x y y x x y x y x
m y x
m
i
i m
j
j i
j i
j
y
i
x
R a y a a
y
f
a y a x a a
y x
f
a y a x a a
y x
f
a x a a
x
f
a y a a
y
f
a y a x a a
y x
f
a x a a
x
f
a y a a
y
f
a x a a
x
f
a a f
R a a
y x
f
j i
a y a x
y x f
con:
) ) ( , ) (( ) .( ) ).( (
1
0
1 1
1
0
) 1 (
1 (
1
+
+ +
+
+
+
+
+

m
k
k m
y
k
x
k m
y
k
x
m
k
k m k
m
m
a y a x O a y a x u
y x
f
R a
Los trminos hasta el segundo orden de derivacin de la frmula se pueden
reescribir usando la notacin:
'

) (
) (
y
x
a y
a x
,
'

) , (
) , (
) , (
y x
y x
y x
a a
y
f
a a
x
f
a a f ,
[ ]
1
1
1
1
]
1
) , ( ) , (
) , ( ) , (
) , (
2
2 2
2
2
2
y x y x
y x y x
y x f
a a
y
f
a a
x y
f
a a
y x
f
a a
x
f
a a H
como:
[ ] ( ) ... . ) , ( .
2
1
) , ( ) , ( ) , ( + + +
y x f y x y x
a a H a a f a a f y x f
donde . . representa el producto escalar eucldeo de dos vectores.
2.2. Caso de funciones de n variables.
Siendo f: R C una funcin de clase ) , (
1
R C C
m+
y el punto a=(a
1
,...,a
n
) un punto
de C:
)) ( ( ) .( ) ,..., ( ) .( ) ,..., (
) 1 (
1
1
0 1
1
a x a +
,
_
,
_
+

f a x
x
a a f a x
x
x x f
m
n
i
i i
i
n
j
m
j
n
i
i i
i
n
Los trminos hasta el segundo orden de derivacin de la frmula se pueden
reescribir usando la notacin:
'

) (
) (
1
n n
a x
a x
'

) ,..., (
) ,..., (
) ,..., (
1
1
1
1
n
n
n
n
a a
x
f
a a
x
f
a a f

,
1
1
1
1
1
1
1
1
1
]
1
) ,..., ( ... ) ,..., ( ) ,..., (

...
) ,..., ( ... ) ,..., ( ) ,..., (
) ,..., ( ... ) ,..., ( ) ,..., (
)] ,..., ( [
1
2
2
1
2
2
1
1
2
1
2
2
1
2
2
2
1
2 1
2
1
1
2
1
2 1
2
1
2
1
2
1
n
n
n
n
n
n
n
n
n n
n
n
n n
n f
a a
x
f
a a
x x
f
a a
x x
f
a a
x x
f
a a
x
f
a a
x x
f
a a
x x
f
a a
x x
f
a a
x
f
a a H

como:
[ ] ( ) ... . ) ,..., ( .
2
1
) ,..., ( ) ,..., ( ) ,..., (
1 1 1 1
+ + +
n f n n n
a a H a a f a a f x x f
3. Extremos libres de una funcin de n variables.
Sea f(x) una funcin de n variables definida en
n
R C y con valores reales.
Definicin.
Se dice que f(x) tiene un mximo relativo (local) en el punto a si se verifica:
> h h B f f ), , ( 0 ) ( ) ( / 0 a x a x
Definicin.
Se dice que f(x) tiene un mnimo relativo (local) en el punto a si se verifica:
> h h B f f ), , ( 0 ) ( ) ( / 0 a x a x
Definicin.
Se dice que f(x) tiene un mximo absoluto en el punto a si se verifica:
C f f x a x 0 ) ( ) (
Definicin.
Se dice que f(x) tiene un mnimo absoluto en el punto a si se verifica:
C f f x a x 0 ) ( ) (
Definicin.
A los mximos y mnimos de una funcin se les denominar extremos de la
funcin.
Propiedad.
Si a
C (siendo
C el conjunto de todos los puntos interiores a C: el interior de C) y

f(x) es diferenciable en a, entonces una condicin necesaria para que f(x) alcance un
extremo en a es que 0
a
df .
Consecuencia.
Si a
y f(x) es diferenciable en a, entonces una condicin necesaria para que f(x)

alcance un extremo en a es que:
'
0 ) ,...., (
0 ) ,...., (
1
1
1
n
n
n
a a
x
f
a a
x
f
Definicin.
Se denominan puntos crticos de la funcin f:
n
R C

a aquellos puntos a
interiores a C en los que se verifica la condicin siguiente:
a , f(x) es diferenciable en a y 0
a
df .
Los extremos relativos (locales) de una funcin pueden alcanzarse en:
- Puntos de la frontera de C;
- Puntos crticos de la funcin f(x);
- Puntos en los que la funcin f(x) no es diferenciable.
Propiedad.
Siendo a un punto crtico en el que 0
a
df y siendo:
) (
2
1
2
1
a
x
f
H
,
) ( ) (
) ( ) (
2
2
2
1 2
2
2 1
2
2
1
2
2
a a
a a
x
f
x x
f
x x
f
x
f
H
, ...,
) ( ... ) ( ) (
...
) ( ... ) ( ) (
) ( ... ) ( ) (
2
2
2
2
1
2
2
2
2
2
2
1 2
2
1
2
2 1
2
2
1
2
a a a
a a a
a a a
n
n n
n
n
n
x
f
x x
f
x x
f
x x
f
x
f
x x
f
x x
f
x x
f
x
f
H

segn la sucesin de los signos de los valores de H
1
, H
2
, ..., H
n
(determinante
hessiano) se verifica:
Sucesin de signos de H
1
, H
2
, ..., H
n
Tipo de punto crtico
+,+,+,...,+ Mnimo local
-,+,-,+,... Mximo local
Como las anteriores pero con algn valor nulo Punto dudoso
Otra sucesin de signos No hay extremo
4. Extremos condicionados de una funcin de n variables.
Los problemas de extremos condicionados son problemas de optimizacin
de funciones de n variables con valores reales (campos escalares) sujetas a m
restricciones, siendo m < n. Tales restricciones (tambin llamadas ligaduras)
representan condiciones que definen un subconjunto dado del dominio de la funcin
considerada. En su forma ms general un problema de extremos condicionados es
del tipo: determinar los valores extremos (optimizar) de un campo escalar f(x)
cuando x=(x
1
,x
2
,...,x
n
) tiene la restriccin de pertenecer a un subconjunto dado del
dominio de f definido por m ligaduras. Este problema lo representaremos
genricamente de la forma:
'
0 ) ,..., , (
0 ) ,..., , (
0 ) ,..., , (
: ligaduras las a sujeto
) ,..., , ( Optimizar
2 1
2 1 2
2 1 1
2 1
n m
n
n
n
x x x g
x x x g
x x x g
x x x f
Con frecuencia los problemas de extremos condicionados no son sencillos de

resolver y no existe un mtodo general para su resolucin. Los casos ms sencillos
corresponden a condiciones de ligadura lineales pues en tal caso la tcnica de
eliminacin de variables reduce el problema a la determinacin de extremos de
funciones no condicionados. Sin embargo, para funciones diferenciables es posible
formular condiciones necesarias para la existencia de extremos condicionados. Este
resultado, debido a Lagrange, se recoge en el siguiente apartado.
4.1. Mtodo de los multiplicadores de Lagrange.
Teorema 4.1. (Multiplicadores de Lagrange).
Sea f(x
1
,x
2
,...,x
n
) una funcin real de n variables reales que tiene un extremo
relativo en (x
1
*
,x
2
*
,...,x
n
*
) cuando est sometido a las m condiciones:
'
0 ) ,..., , (
0 ) ,..., , (
0 ) ,..., , (
2 1
2 1 2
2 1 1
n m
n
n
x x x g
x x x g
x x x g
siendo n m < . Entonces para dicho punto extremo existen m escalares

1
,
2
,...,
n
tales que:
) ,..., ( .
... ) ,..., ( . ) ,..., ( . ) ,..., (
* *
1
* *
1 2 2
* *
1 1 1
* *
1
n m m
n n n
x x g
x x g x x g x x f
+
+ + +

(1)
Los escalares
1
,
2
,...,
m
introducidos anteriormente se denominan multiplicadores
de Lagrange.
NOTA:
Si existiesen p puntos extremos (x
1
i
,x
2
i
,...,x
n
i
) (i=1,...,p), para cada uno de ellos
existira un juego de multiplicadores de Lagrange
1
i
,
2
i
,...,
m
i
verificando la
igualdad (1) del teorema anterior.
En la prctica, para determinar los puntos extremos de una funcin de n
variables reales, sometida a m ligaduras, se considera el sistema de (n+m)
ecuaciones formado por la relacin vectorial (1) y las m ecuaciones que definen las
ligaduras. Ms concretamente, el mtodo de los multiplicadores de Lagrange para
resolver el problema:
'
0 ) ,..., , (
0 ) ,..., , (
0 ) ,..., , (
: ligaduras las a sujeto
) ,..., , ( Optimizar
2 1
2 1 2
2 1 1
2 1
n m
n
n
n
x x x g
x x x g
x x x g
x x x f
se puede resumir en los siguientes pasos:

1) Construir la funcin Lagrangiana:
) ,..., (
... ) ,..., ( ) ,..., ( ) ,..., ( ) ,..., , ,..., (
1
1 2 2 1 1 1 1 1 1
n m m
n n n m n
x x g
x x g x x g x x f x x F

+
+ + + +
2) Determinar los puntos (x
1
i
,x
2
i
,...,x
n
i
,
1
i
,
2
i
,...,
m
i
) (i=1,...,p) en los que se anula el
gradiente de la funcin Lagrangiana. En otros trminos, encontrar las soluciones del
sistema de (n+m) ecuaciones:
'
+ +
+ +
+ +
0 ) ,..., , (
0 ) ,..., , (
0 ) ,..., , (
0 ) ,..., ( ... ) ,..., ( ) ,..., (
0 ) ,..., ( ... ) ,..., ( ) ,..., (
0 ) ,..., ( ... ) ,..., ( ) ,..., (
2 1
2 1 2
2 1 1
1 1
1
1 1
1
2
1
2
1
1 1
2
1
1
1
1
1
1 1
1
n m
n
n
n
n
m
m n
n
n
n
n
m
m n n
n
m
m n n
x x x g
x x x g
x x x g
x x
x
g
x x
x
g
x x
x
f
x x
x
g
x x
x
g
x x
x
f
x x
x
g
x x
x
g
x x
x
f

3) Evaluar la funcin f(x
1
,x
2
,...,x
n
) en cada uno de los puntos (x
1
i
,x
2
i
,...,x
n
i
)
(i=1,...,p), determinados en el paso anterior.
4) Evaluar f(x
1
,x
2
,...,x
n
) en los puntos de la frontera del subdominio definido por las
ligaduras.
5) Si existe un mximo (resp. un mnimo) del problema con restricciones
planteado, estos correspondern a los puntos en los que f(x
1
,x
2
,...,x
n
) alcanz el
mayor (resp. menor) valor en los dos pasos anteriores.
Bibliografa.
Integracin mltiple de Riemann 34
TEMA 5 - INTEGRACIN MLTIPLE DE RIEMANN
1. Rectngulos y particiones en rectngulos en R
2
.
Definicin.
Siendo (a
1
,b
1
) y (a
2
,b
2
) dos intervalos cualesquiera de R se denomina rectngulo I
de lados paralelos a los ejes coordenados al dominio de R
2
formado por el producto
cartesiano de los dos intervalos (a
1
,b
1
) y (a
2
,b
2
):
{ }
2 2 1 1
2
2 2 1 1
, / ) , ( ) , ( ) , ( b y a b x a R y x b a b a I
NOTA:
Puesto que los rectngulos de lados paralelos a los ejes coordenados sern los
nicos que utilizaremos los designaremos simplemente como rectngulos.
Definicin.
Denominaremos medida del rectngulo I, y la representaremos por ) (I , al rea
de dicho rectngulo:
2 2 1 1 2 2 1 1
. ) ( ) , ( ) , ( a b a b I b a b a I
Definicin.
Dado un rectngulo I se denomina particin P de I (en subrectngulos) a toda
divisin de I en rectngulos R
1
, R
2
, ..., R
N(P)
de menor medida y tal que todos los
rectngulos en los que se subdivide I tengan interiores disjuntos y la unin de todos
los rectngulos de la subdivisin sea exactamente el rectngulo I.
Definicin.
Se denominar tamao de una particin P del rectngulo I a la medida del mayor
de los rectngulos que la forman.
Definiciones.
Dadas dos particiones P y P de un mismo rectngulo, se dice que P es ms fina
que P si el tamao de P es menor que el tamao de P.
Dadas dos particiones P y P de un mismo rectngulo se dice que P es posterior a
P si P es ms fina que P y adems todo rectngulo de la particin P est incluido
en un rectngulo de la particin P.
2. Integral doble de Riemann de una funcin acotada sobre un rectngulo.
Sea I un rectngulo de R
2
, sea P una particin de I en N(P) rectngulos y sea f(x,y)
una funcin definida y acotada en I. En cada rectngulo R
k
de P se escoge un punto
arbitrario t
k
=(x
k
y
k
) (k=1,...,N(P)) y designaremos por t al conjunto de puntos as
seleccionados: t={t
1
,...,t
N(P)
}.
Definicin.
Se denomina suma de Riemann de la funcin f respecto a la particin P del
rectngulo I y para el conjunto de puntos t, al valor:
) (
1
) ( ). , ( ) , , (
P N
k
k k k
R y x f t f P S
donde R
k
(k=1,...,N(P)) son los rectngulos que forman la particin P y (x
k
,y
k
) es un
punto interior cualquiera de R
k
.
NOTAS:
1) La suma de Riemann S(P,f,t) depende de cuales sean los puntos (x
k
,y
k
)
considerados en cada rectngulo de la particin. Esta dependencia ser menor
cuanto ms fina sea la particin P.
2) La suma de Riemann es una aproximacin del volumen que encierra la
superficie z=f(x,y) entre ella y la porcin de plano XY limitada por el rectngulo I,
considerando como volumen positivo el encerrado cuando f(x,y)>0 y como volumen
negativo el que se encierra cuando f(x,y)<0.
Definicin.
Se dice que la funcin f(x,y) es integrable en el sentido de Riemann sobre el
rectngulo I si existe un nmero A verificando que para cualquier valor >0, tan
pequeo como se desee, se puede encontrar una particin
P tal que para toda

particin P ms fina que
P se verifica < A t f P S ) , , ( , sean cuales sean los

puntos (x
k
, y
k
) que intervienen en la definicin de S(P,f,t).
El valor A, lmite de las sumas de Riemann para particiones suficientemente finas,
se le denomina integral doble de Riemann de f(x,y) sobre el rectngulo I y se le
representa por:
I
dxdy y x f A ). , (
NOTAS:
1) Si cada rectngulo genrico R
k
de una particin suficientemente fina P se
considera que tiene lados de longitud
k
x y
k
y , se tiene que:
k k k k
y
x
I
y x y x f lim dxdy y x f A
k
k

. ). , ( ). , (
0
0
2) Puesto que
k k k k
y x y x f . ). , ( aproxima el volumen que encierra la superficie
z=f(x,y) entre ella y la porcin de plano XY dada por el rectngulo R
k
, la integral
doble de Riemann
I
dxdy y x f ). , ( representa el volumen que se encierra entre la
superficie de ecuacin z=f(x,y) y el dominio del plano coordenado XY dado por el
rectngulo I, considerando como volumen positivo el encerrado bajo la superficie
cuando f(x,y)>0 y como volumen negativo el encerrado sobre la superficie cuando
f(x,y)<0.
Teorema de Fubini (para evaluacin de integrales sobre rectngulos).
Siendo ) , ( ) , (
2 2 1 1
b a b a I y f una funcin continua sobre I:

,
_
,
_
2
2
1
1
1
1
2
2
). , ( ). , ( ). , (
b
a
b
a
I
b
a
b
a
dy dx y x f dx dy y x f dxdy y x f
3. Integral doble de Riemann de una funcin acotada sobre un dominio
cualquiera de R
2
.
Sea f(x,y) una funcin definida y acotada sobre un dominio D de R
2
. Sea I un
rectngulo de R
2
que incluya a D. Sobre I se define la funcin:
'
D y x si
D y x si y x f
y x g
) , ( 0
) , ( ) , (
) , (
Definicin.
Se dice que f(x,y) es integrable en el sentido de Riemann sobre el dominio D si
existe
I
dxdy y x g ). , ( . El valor de la integral de Riemann de f(x,y) sobre el
dominio D se define como:

I D
dxdy y x g dxdy y x f ). , ( ). , (
NOTA:
El valor de
D
dxdy y x f ). , ( representa el volumen encerrado entre la superficie
z=f(x,y) y la porcin de plano dada por el dominio D, siempre con el convenio de
que ser volumen positivo el encerrado bajo la porcin de superficie en que f(x,y)>0
y ser volumen negativo el encerrado sobre la porcin de superficie en que f(x,y)<0.
4. Propiedades de la integral doble de Riemann.
Propiedad (linealidad).
Si f(x,y) y g(x,y) son dos funciones integrables en el dominio D y y son dos
nmeros reales cualesquiera, se verifica:

+ +
D D D
dxdy y x g dxdy y x f dxdy y x g y x f ). , ( . ). , ( . )) , ( . ) , ( . (
Propiedad.
Si f(x,y) y g(x,y) son dos funciones integrables sobre D tales que:
) , ( ) , ( y x g y x f D y x ) , (
entonces se verifica que:

D D
dxdy y x g dxdy y x f ). , ( ). , (
Propiedad (rea de un dominio plano).
El rea de un dominio plano D es igual a la integral doble de Riemann sobre D de la
funcin unidad:
D
dxdy D rea ) (
Propiedad (cotas de la integral).
Si m y M son respectivamente una cota inferior y una cota superior de la funcin
f(x,y) en el dominio D, se verifica que:
) ( . ). , ( ) ( . D rea M dxdy y x f D rea m
D

Propiedad (aditividad sobre dominios).

Si f(x,y) es integrable sobre el dominio D y se considera D subdividido en dos
dominios D
1
y D
2
tales que su interior sea disjunto y su unin sea el propio dominio
D, entonces f(x,y) es integrable tanto sobre D
1
como sobre D
2
y se verifica:

+
2 1
). , ( ). , ( ). , (
D D D
dxdy y x f dxdy y x f dxdy y x f
Teorema (del valor medio).
Si f(x,y) es continua y acotada en un dominio cerrado y acotado D, entonces existe
al menos un punto (x
*
,y
*
) de D tal que:
) ( ). , ( ). , (
* *
D Area y x f dxdy y x f
D

Teorema (de Lebesgue).

Toda funcin f(x,y) definida y acotada sobre el dominio acotado D que sea
discontinua a lo sumo en un subconjunto de rea nula de D es integrable sobre D y
viceversa.
Teorema (de Fubini para el calculo de la integral doble).
Si D es un dominio definido como:
{ } ) ( ) ( , / ) , (
2 1 1 1
x y x b x a y x D
entonces para toda funcin f(x,y) continua sobre D:

,
_
1
1
2
1
. ). , ( ). , (
) (
) (
b
a
x
x D
dx dy y x f dxdy y x f

Anlogamente, si el dominio D se define mediante:

{ }
2 2 2 1
), ( ) ( / ) , ( b y a x x y y x D
entonces para toda funcin f(x,y) continua sobre D:

,
_
2
2
2
1
. ). , ( ). , (
) (
) (
b
a
y
y D
dy dx y x f dxdy y x f

5. Cambio de variables en la integral doble.

Definicin.
Se denomina funcin de cambio de variable a toda aplicacin:
2 2
* : R D D R g
'

) , (
) , (
) , ( ) , (
v u y
v u x
v u g v u
verificando las condiciones:
g es una aplicacin uno a uno;
*) ( ) , (
1
D C v u x e *) ( ) , (
1
D C v u y ;
0
) , ( ) , (
) , ( ) , (
) , (
v u
v
y
v u
u
y
v u
v
x
v u
u
x
v u J
g
* ) , ( D v u .
Dado el cambio de variable:
'
) , (
) , (
v u y y
v u x x
que permite transformar de forma biunvoca el dominio D* del plano UV en el
dominio D del plano XY y siendo f(x,y) una funcin definida sobre D, se verifica
entonces que:
dudv v u J v u y v u x f dxdy y x f
D D
. ) , ( )). , ( ), , ( ( ). , (
*

donde:
) , ( ). , ( ) , ( ). , (
) , ( ) , (
) , ( ) , (
) , ( v u
u
y
v u
v
x
v u
v
y
v u
u
x
v u
v
y
v u
u
y
v u
v
x
v u
u
x
v u J
6. Paraleleppedos y particiones en paraleleppedos en R

3
.
Definicin.
Siendo (a
1
,b
1
), (a
2
,b
2
) y (a
3
,b
3
) tres intervalos de R se denomina paraleleppedo I
de caras paralelas a los planos coordenados al dominio de R
3
formado por el
producto cartesiano de los tres intervalos (a
1
,b
1
), (a
2
,b
2
) y (a
3
,b
3
):
{ }
3 3 2 2 1 1
3
3 3 2 2 1 1
, , / ) , , ( ) , ( ) , ( ) , ( b y a b y a b x a R z y x b a b a b a I
NOTA:
Puesto que los paraleleppedos de caras paralelas a los planos coordenados sern los
nicos que utilizaremos los designaremos simplemente como paraleleppedos.
Definicin.
Denominaremos medida del paraleleppedo I, y la representaremos por ) (I , al
volumen de dicho paraleleppedo:
3 3 2 2 1 1 3 3 2 2 1 1
. . ) ( ) , ( ) , ( ) , ( a b a b a b I b a b a b a I
Definicin.
Dado un paraleleppedo I se denomina particin P de I (en subparaleleppedos) a
toda divisin de I en paraleleppedos R
1
, R
2
, ..., R
N(P)
de menor medida y tal que
todos los paraleleppedos en los que se subdivide I tengan interiores disjuntos y la
unin de todos los paraleleppedos de la subdivisin sea exactamente el
paraleleppedo I.
Definicin.
Se denominar tamao de una particin P del paraleleppedo I a la medida del
mayor de los paraleleppedos que la forman.
Definicin.
Dadas dos particiones P y P de un mismo paraleleppedo, se dice que P es ms
fina que P si el tamao de P es menor que el tamao de P.
Dadas dos particiones P y P de un mismo paraleleppedo se dice que P es
posterior a P si P es ms fina que P y adems todo paraleleppedo de la particin
P est incluido en un paraleleppedo de la particin P.
7. Integral triple de Riemann de una funcin acotada sobre un paraleleppedo.
Sea I un paraleleppedo de R
3
, sea P una particin de I en N(P) paraleleppedos y
sea f(x,y,z) una funcin definida y acotada en I. En cada paraleleppedo R
k
de P se
escoge un punto arbitrario t
k
=(x
k
,y
k
,z
k
) (k=1,...,N(P)) y designaremos por t al
conjunto de puntos as seleccionados: t={t
1
,...,t
N(P)
}.
Definicin.
Se denomina suma de Riemann de la funcin f respecto a la particin P del
paraleleppedo I y para el conjunto de puntos t, al valor:
) (
1
) ( ). , , ( ) , , (
P N
k
k k k k
R z y x f t f P S
donde R
k
(k=1,...,N(P)) son los paraleleppedos que forman la particin P y (x
k
,y
k
,z
k
)
es un punto interior cualquiera de R
k
.
NOTA:
La suma de Riemann S(P,f,t) depende de cuales sean los puntos (x
k
,y
k
,z
k
)
considerados en cada paraleleppedo de la particin. Esta dependencia ser menor
cuanto ms fina sea la particin P.
Definicin.
Se dice que la funcin f(x,y,z) es integrable en el sentido de Riemann sobre el
paraleleppedo I si existe un nmero A verificando que para cualquier valor >0,
tan pequeo como se desee, se puede encontrar una particin
P tal que para toda

particin P ms fina que
P se verifica < A t f P S ) , , ( , sean cuales sean los

puntos (x
k
,y
k
,z
k
) que intervienen en la definicin de S(P,f,t).
El valor A, lmite de las sumas de Riemann para particiones suficientemente finas,
se denomina integral triple de Riemann de f(x,y,z) sobre el paraleleppedo I y se
representa por:
I
dxdydz z y x f A ). , , (
NOTA:
Si cada paraleleppedo genrico R
k
de una particin suficientemente fina P se
considera que tiene lados de longitud
k
x ,
k
y y
k
z , se tiene que:

) (
1
0
0
0
. . ). , , ( ). , , (
P N
k
k k k k k k
z
y
x
I
z y x z y x f lim dxdydz z y x f A
donde , x y y z son los mximos valores que toman
k
x ,
k
y e
k
z para
todos los paraleleppedos de la particin.
Teorema de Fubini (para evaluacin de integrales sobre paraleleppedos).
Siendo ) , ( ) , ( ) , (
3 3 2 2 1 1
b a b a b a I y f una funcin continua sobre I:

,
_
,
_
,
_
,
_
2
2
1
1
3
3
1
1
2
2
3
3
. ) , , ( . ). , , ( ). , , (
b
a
b
a
b
a
b
a
b
a
b
a I
dy dx dz z y x f dx dy dz z y x f dxdydz z y x f

,
_
,
_
,
_
,
_
2
2
3
3
1
1
1
1
3
3
2
2
. ) , , ( . ). , , (
b
a
b
a
b
a
b
a
b
a
b
a
dy dz dx z y x f dx dz dy z y x f

,
_
,
_
,
_
,
_
3
3
2
2
1
1
3
3
1
1
2
2
. ) , , ( . ). , , (
b
a
b
a
b
a
b
a
b
a
b
a
dz dy dx z y x f dz dx dy z y x f
8. Integral triple de Riemann de una funcin acotada sobre un dominio
cualquiera de R
3
.
Sea f(x,y,z) una funcin definida y acotada en un dominio D de R
3
. Sea I un
paraleleppedo de R
3
que incluya a D. Sobre I se define la funcin:
'
D z y x si
D z y x si z y x f
z y x g
) , , ( 0
) , , ( ) , , (
) , , (
Definicin.
Se dice que f(x,y,z) es integrable en el sentido de Riemann sobre el dominio D si
existe
I
dxdydz z y x g ). , , ( . El valor de la integral de Riemann de f(x,y,z) sobre el
dominio D se define como:

I D
dxdydz z y x g dxdydz z y x f ). , , ( ). , , (
9. Propiedades de la integral triple de Riemann.
Propiedad (linealidad).
Si f(x,y,z) y g(x,y,z) son dos funciones integrables en el dominio D y y son dos
nmeros reales cualesquiera, se verifica:

+ +
D D D
dxdydz z y x g dxdydz z y x f dxdydz z y x g z y x f ). , , ( . ). , , ( . )) , , ( . ) , , ( . (
Propiedad.
Si f(x,y,z) y g(x,y,z) son dos funciones integrables sobre D tales que:
) , , ( ) , , ( z y x g z y x f D z y x ) , , (
entonces se verifica que:

D D
dxdydz z y x g dxdydz z y x f ). , , ( ). , , (
Propiedad (volumen de un dominio de R
3
).
El volumen de un dominio D de R
3
es igual a la integral triple de Riemann sobre D
de la funcin unidad:
D
dxdydz D Volumen ) (
Propiedad (cotas de la integral).
Si m y M son respectivamente una cota inferior y una cota superior de la funcin
f(x,y,z) en el dominio D, se verifica que:
) ( . ). , , ( ) ( . D Volumen M dxdydz z y x f D Volumen m
D

Propiedad (aditividad sobre dominios).

Si f(x,y,z) es integrable sobre el dominio D y se considera D subdividido en dos
dominios D
1
y D
2
tales que su interior sea disjunto y su unin sea el propio dominio
D, entonces f(x,y,z) es integrable tanto sobre D
1
como sobre D
2
y se verifica:

+
2 1
). , , ( ). , , ( ). , , (
D D D
dxdydz z y x f dxdydz z y x f dxdydz z y x f
Teorema (del valor medio).
Si f(x,y,z) es continua y acotada en un dominio cerrado y acotado D, entonces existe
al menos un punto (x
*
,y
*
,z
*
) de D tal que:
) ( ). , , ( ). , , (
* * *
D Volumen z y x f dxdydz z y x f
D

Teorema (de Lebesgue).

Toda funcin f(x,y,z) definida y acotada sobre el dominio acotado D que sea
discontinua a lo sumo en un subconjunto de volumen nulo de D es integrable sobre
D y viceversa.
Teorema (de Fubini para el calculo de la integral triple).
Si D es un dominio definido como:
{ } ) , ( ) , ( , ) , /( ) , , (
2 1 ,
3
y x z y x y x R z y x D
y x

entonces para toda funcin f(x,y,z) continua sobre D:

,
_
xy
dxdy dz z y x f dxdydz z y x f
y x
y x D
) , (
) , (
2
1
). , , ( ) , , (


{ } ) , ( ) , ( , ) , /( ) , , (
2 1
3
z x y z x z x R z y x D
xz


,
_
xz
dxdz dy z y x f dxdydz z y x f
z x
z x D
) , (
) , (
2
1
). , , ( ). , , (


{ } ) , ( ) , ( , ) , /( ) , , (
2 1
3
z x x z y z y R z y x D
yz


,
_
yz
dydz dx z y x f dxdydz z y x f
z y
z y D
) , (
) , (
2
1
). , , ( ) , , (

10. Cambio de variables en la integral triple.

Definicin.
Se denomina funcin de cambio de variable a toda aplicacin:
3 3
* : R D D R g
'

) , , (
) , , (
) , , (
) , , ( ) , , (
w v u z
w v u y
w v u x
w v u g w v u
verificando las condiciones:
g es una aplicacin uno a uno;
*) ( ) , , (
1
D C w v u x , *) ( ) , , (
1
D C w v u y y *) ( ) , , (
1
D C w v u z ;
0
) , , ( ) , , ( ) , , (
) , , ( ) , , ( ) , , (
) , , ( ) , , ( ) , , (
) , , (
w v u
w
z
w v u
v
z
w v u
u
z
w v u
w
y
w v u
v
y
w v u
u
y
w v u
w
x
w v u
v
x
w v u
u
x
w v u J
g
* ) , , ( D w v u .
Dado el cambio de variable:
'
) , , (
) , , (
) , , (
w v u z z
w v u y y
w v u x x
que permite transformar de forma uno a uno el dominio D* de UVW en el dominio
D de XYZ y siendo f(x,y,z) una funcin definida sobre D, se verifica entonces que:
dudvdw w v u J w v u z w v u y w v u x f dxdydz z y x f
D D

*
) , , ( )). , , ( ), , , ( ), , , ( ( ). , , (
donde:
) , , ( ) , , ( ) , , (
) , , ( ) , , ( ) , , (
) , , ( ) , , ( ) , , (
) , , (
w v u
w
z
w v u
v
z
w v u
u
z
w v u
w
y
w v u
v
y
w v u
u
y
w v u
w
x
w v u
v
x
w v u
u
x
w v u J
+
) , , ( ) , , ( ). , , ( | w v u
w
z
w v u
v
y
w v u
u
x
+
) , , ( ). , , ( ). , , ( w v u
u
z
w v u
w
y
w v u
v
x
+ ) , , ( ). , , ( ). , , ( w v u
v
z
w v u
u
y
w v u
w
x
+
) , , ( ). , , ( ). , , ( w v u
u
z
w v u
v
y
w v u
w
x
+ ) , , ( ). , , ( ). , , ( w v u
w
z
w v u
u
y
w v u
v
x
| ) , , ( ). , , ( ). , , ( w v u
v
z
w v u
w
y
w v u
u
x
11. Cambios a coordenadas esfricas y cilndricas.

11.1. Cambio a coordenadas esfricas.
Siendo (x,y,z) las coordenadas cartesianas, puede considerarse el cambio a
coordenadas esfricas siguiente:
'
) cos( .
) sen( ). sen( .
) sen( ). cos( .

z
y
x
donde 0 > , < . 2 0 , < < 0 .
El jacobiano de este cambio de variables resulta ser:
) sen( . ) , , (
2
J
11.2. Cambio a coordenadas cilndricas.
Siendo (x,y,z) las coordenadas cartesianas, puede considerarse el cambio a
coordenadas cilndricas siguiente:
'
z z
y
x
) sen( .
) cos( .

donde 0 > , < . 2 0 , z R .
(x,y,z)
z
y
x
El jacobiano de este cambio de variables resulta ser:
) , , ( z J
Bibliografa.

(x,y,z)
z
y
x
Interpolacin polinmica de Lagrange 46
TEMA 6 - INTERPOLACIN POLINMICA DE LAGRANGE
1. Interpolacin polinmica de Lagrange.
Sea
n i
x x x x < < < < < ... ...
1 0
un conjunto de (n+1) puntos de un intervalo [ ] b a, . A
dicho conjunto de puntos lo denominaremos soporte. Supongamos conocidos los
valores ) ,..., 1 , 0 ( ) ( n i x f f
i i
= = que toma una funcin f(x) en el soporte.
Teorema.
Existe un nico polinomio ) (x p
n
de grado menor o igual que n verificando:
( ) n i f x p
i i n
= 0 ) (
Adems dicho polinomio est dado por la expresin:
=
=
n
i
i i n
x L f x p
0
) ( . ) (
donde:
=
n
i j
j j i
j
i
x x
x x
x L
0
) (
) (
) (
Definicin.
Al polinomio ) (x p
n
del teorema anterior se le denomina polinomio interpolador
de Lagrange de la funcin f(x) sobre el soporte { }
n
i i
x
0 =
.
A los polinomios ( ) n i x L
i
0 ) ( L
i
(x) del teorema anterior se les denomina
polinomios de base de Lagrange asociados al soporte { }
n
i i
x
0 =
.
Propiedades.
1) ) (x L
i
es el nico polinomio de grado menor o igual que n verificando:
= =
j i si
j i si
x L
ij j i
.... 1
.... 0
) (
2) 1 ) (
0
=
=
n
i
i
x L
2. El error en la interpolacin de Lagrange.
Teorema.
Si [ ] ( ) b a C x f
n
, ) (
) 1 ( +
para cada punto [ ] b a x , existe otro punto
x
perteneciente
al intervalo [a,b] tal que:
( )
x
n
n
f x
n
x p x f x E
1 (
). ( .
)! 1 (
1
) ( ) ( ) (
+
+
= =
donde:
=
=
n
i
i
x x x
0
) ( ) ( .
NOTA:
Si
[ ]
) ( mx
1 (
,
x f M
n
b a x
+
= , se verifica que:
[ ]
( )
) 1 (
0
,
.
)! 1 (
) ( mx .
)! 1 (
) ( .
)! 1 (
) (
+
n
n
b a x
x x
n
M
x
n
M
x
n
M
x E
por lo que se dice que el error es de orden (n+1).
3. Construccin del polinomio interpolador de Lagrange.
3.1. A travs de la resolucin de un sistema de ecuaciones.
Si
n
n n
x a x a x a a x p . ... . . ) (
2
2 1 0
+ + + + = , los coeficientes del polinomio que
satisface ( ) n i f x p
i i n
= 0 ) ( pueden determinarse resolviendo el sistema de
ecuaciones:
=
i i n
f x p ) (
= + + + +
= + + + +
= + + + +
= + + + +
n
n
n n n n o
n
n o
n
n o
n
n o
f x a x a x a a
f x a x a x a a
f x a x a x a a
f x a x a x a a
. ... . .
. ... . .
. ... . .
. ... . .
2
2 1
2 2
2
2 2 2 1
1 1
2
1 2 1 1
0 0
2
0 2 0 1
3.2. Utilizando los polinomios de base de Lagrange.
=
=
n
i
i i n
x L f x p
0
) ( . ) (
con:
=
n
i j
j j i
j
i
x x
x x
x L
0
) (
) (
) (
3.3. Frmula de Newton.
Definicin.
Siendo ) (
1
x p
n
el polinomio interpolador de Lagrange de la funcin f(x) sobre el
soporte de n puntos { }
1 1 0
,..., ,..., ,
n i
x x x x se denomina diferencia dividida de f(x)
en el soporte de (n+1) puntos { }
n n i
x x x x x , ,..., ,..., ,
1 1 0
al valor:
[ ]
( )
=
) 1 (
0
1
1 1
) (
, ,..., ,
n
i
i n
n n n
n n o
x x
x p f
x x x x f
Propiedades.
1) [ ] ( )
=

+ =
) 1 (
0
1 1 0 1
. , ,..., , ) ( ) (
n
i
i n n n n
x x x x x x f x p x p
2) [ ]
[ ] [ ]
n
n n n
n n
x x
x x x f x x x f
x x x x f
0
1 1 1 1 0
1 1 0
, ,..., ,..., ,
, ,..., ,
con:
[ ] ( ) 1 0 ,
1
1
1

=
+
+
+
n i
x x
f f
x x f
i i
i i
i i
Frmula de Newton.
[ ] ( )

=
=
+ =
n
i
i
j
j i n
x x x x f f x p
1
) 1 (
0
0 0
. ,..., ) (
Bibliografa.
F. Michavila, C. Conde (1988), Mtodos de aproximacin, ed. Depto. De Mat.
Aplic. Y Mt. Informticos. Univ. Politcnica de Madrid.
R.L. Burden, J.D. Faires (1998), Anlisis numrico, ed. International Thomson
Editores, 6 edicin.
Derivacin numrica 49
TEMA 7 - DERIVACIN NUMRICA
1. Frmulas de derivacin numrica.
Sea un soporte { }
n
x x x ,..., ,
1 0
de (n+1) puntos ordenados de menor a mayor, sobre
el que se suponen conocidos los valores ) ,..., 1 , 0 ( ) ( n i x f f
i i
= = que toma una
cierta funcin f(x). Sea x* un punto del intervalo [ ]
n
x x ,
0
.
Definicin.
Se denomina frmula de derivacin numrica de la funcin f(x) en el punto x*
sobre el soporte { }
n
x x x ,..., ,
1 0
a toda expresin de la forma:
) ( . *) ( '
0
f R f c x f
n
i
i i
+ =
=
(1.1)
donde ) ,..., 1 , 0 ( n i c
i
= son los coeficientes (o pesos) de la frmula y ) ( f R es el
trmino de error cometido al aproximar el valor de la derivada por:
n
i
i i
f c x f
0
. *) ( ' .
Definicin.
Se dice que la frmula (1.1) es exacta de orden m cuando permite evaluar el valor
de la derivada en x* sin error para cualquier funcin polinmica de grado menor o
igual que m.
Sea ) (x p
n
el polinomio interpolador de Lagrange de f(x) sobre el soporte { }
n
i i
x
0 =
.
Se verificar que: ) ( ) ( ) ( x x p x f
n
+ = donde ) (x es la funcin de error de
interpolacin y:
=
=
n
i
i i n
f x L x p
0
). ( ) (
con:
( ) n i
x x
x x
x L
n
i j
j j i
j
i
,..., 1 , 0
) (
) (
) (
0
=
=
Una forma de aproximar el valor de f(x*) consiste en:
*) ( ' *). ( *) ( ' *) ( ' *) ( '
0
'
x f x L x x p x f
n
i
i i n
+ = + =

=
Definicin.
Se denomina frmula de derivacin numrica de tipo interpolatorio a toda
frmula de la forma:
*) ( ' *). ( *) ( '
0
'
x f x L x f
n
i
i i
+ =
=
NOTA:
Las frmulas de derivacin numrica de tipo interpolatorio son frmulas de
derivacin numrica en las que:
(x*) ' R(f) y ) ,..., 1 , 0 ( *) (
'
= = = n i x L c
i i
Teorema.
La condicin necesaria y suficiente para que la frmula de derivacin numrica
construida sobre un soporte de (n+1) puntos:
) ( . *) ( '
0
f R f c x f
n
i
i i
+ =
=
sea exacta de orden n es que sea de tipo interpolatorio.
Definicin.
Se denomina frmula de derivacin numrica de tipo interpolatorio, de grado
m, de la funcin f(x) en el punto x* y construida sobre el soporte { }
n
i i
x
0 =
, a toda
expresin de la forma:
*) ( *). ( *) (
(
0
( (
x f x L x f
m
n
i
i
m
i
m
+ =
=
Comentario:
Las frmulas de derivacin de tipo interpolatorio se obtienen derivando, las veces
que sea necesario, el polinomio interpolador de Lagrange de la funcin f(x) sobre el
soporte { }
n
i i
x
0 =
. El error de la frmula se obtiene derivando la funcin error de
interpolacin. En las expresiones anteriores se ha utilizado el polinomio
interpolador dado con ayuda de los polinomios de base de Lagrange sobre el
soporte { }
n
i i
x
0 =
. Pero puede utilizarse cualquier otra expresin del polinomio
interpolador como, por ejemplo, la frmula de Newton estudiada en el tema 6.
2. Frmulas usuales de derivacin numrica de primer orden.
2.1. Con un soporte de dos puntos.
Sea el soporte { }
1 0
, x x .
0 1
0 1
*) ( '
x x
f f
x f
Casos particulares:
a) Si
0
* x x = y h x x + =
0 1
:
h
x f h x f
x f
) ( ) (
) ( '
0 0
0
+
El error de esta frmula, si [ ] ( )

1 0
2
, ) ( x x C x f , se puede obtener a partir del
desarrollo en serie de Taylor:
+ + = + ) ( " .
2
) ( ' . ) ( ) (
2
0 0 0
f
h
x f h x f h x f
) ( " .
2
) ( ) (
) ( '
0 0
0
f
h
h
x f h x f
x f
+
=
Luego: ) ( " .
2
) ( f
h
f R = , o ms brevemente un error de orden O(h).
b) Si 2 / *
0
h x x = y 2 / *
1
h x x + = :
h
h
x f
h
x f
x f
)
2
* ( )
2
* (
*) ( '
+
El error se puede estimar, si [ ] ( )

1 0
3
, ) ( x x C x f , combinando los desarrollos en
serie de Taylor:
) ( ' ' ' .
48
*) ( " .
8
*) ( ' .
2
*) ( )
2
* (
1
3 2
f
h
x f
h
x f
h
x f
h
x f + + + = + (2.1)
) ( ' ' ' .
48
*) ( " .
8
*) ( ' .
2
*) ( )
2
* (
2
3 2
f
h
x f
h
x f
h
x f
h
x f + = (2.2)
Restando (2.2) de (2.1):
( ) + + = + ) ( ' ' ' ) ( ' ' ' .
48
*) ( ' . )
2
* ( )
2
* (
2 1
3
f f
h
x f h
h
x f
h
x f
) ( ' ' ' .
24
)
2
* ( )
2
* (
*) ( '
2
f
h
h
h
x f
h
x f
x f
+
=
Luego: ) ( ' ' ' .
24
) (
2
f
h
f R = , o ms brevemente un error de orden O(h
2
).
2.2. Con un soporte de tres puntos.
Sea el soporte { }
2 1 0
, , x x x .
[ ] [ ] = + = ) * . 2 .( , , , *) ( *) ( '
1 0 2 1 0 1 0
'
2
x x x x x x f x x f x p x f
) * . 2 .(
1 0
0 2
0 1
0 1
1 2
1 2
0 1
0 1
x x x
x x
x x
f f
x x
f f
x x
f f

=
Casos particulares:
a) Si
0
* x x = , h x x + =
0 1
y h x x . 2
0 2
+ = :
h
h x f h x f x f
x f
. 2
) . 2 ( ) ( . 4 ) ( . 3
) ( '
0 0 0
0
+ + +
El error se puede estimar, si [ ] ( )

1 0
3
, ) ( x x C x f a partir de los desarrollos:
) ( ' ' ' .
6
) ( " .
2
) ( ' . ) ( ) (
1
3
0
2
0 0 0
f
h
x f
h
x f h x f h x f + + + = + (2.3)
) ( ' ' ' .
6
. 8
) ( " . . 2 ) ( ' . . 2 ) ( ) . 2 (
2
3
0
2
0 0 0
f
h
x f h x f h x f h x f + + + = + (2.4)
De 4.(2.3) - (2.4):
( ) + + = + + ) ( ' ' ' . 8 ) ( ' ' ' . 4 .
6
) ( ' . . 2 ) ( . 3 ) . 2 ( ) ( . 4
2 1
3
0 0 0 0
f f
h
x f h x f h x f h x f
)) ( ' ' ' . 4 ) ( ' ' ' . 2 .(
6 . 2
) . 2 ( ) ( . 4 ) ( . 3
) ( '
2 1
2
0 0 0
0
f f
h
h
h x f h x f x f
x f
+ + +
=
Luego: ) ( ' ' ' .
6
. )) ( ' ' ' . 4 ) ( ' ' ' . 2 .(
6
) (
2
2 1
2
f
h
c f f
h
f R = = , o ms brevemente un
error del orden O(h
2
).
b) Si h x x = *
0
, *
1
x x = y h x x + = *
2
:
h
h x f h x f
x f
. 2
) ( ) (
) ( '
1 1
1
+
El error se obtiene combinando los desarrollos de ) (

1
h x f + y de ) (
1
h x f y
resulta ser:
) ( ' ' ' .
12
) (
2
f
h
f R =
o, ms brevemente, un error del orden O(h
2
).
3. Frmulas usuales de derivacin de segundo orden.
La frmula ms usual para aproximar derivadas segundas es la que se obtiene con
un soporte de tres puntos { }
2 1 0
, , x x x y est dada por:
[ ]
0 2
0 1
0 1
1 2
1 2
2 1 0
"
2
) ( ) ( ) ( ) (
. 2 , , . 2 *) ( *) ( "
x x
x x
x f x f
x x
x f x f
x x x f x p x f
= =
Caso particular:
En el caso particular de que el soporte sea de la forma h x x = *
0
, *
1
x x = y
h x x + = *
2
se tiene:
2
1 1 1
1
) ( ) ( . 2 ) (
) ( "
h
h x f x f h x f
x f
+ +
y el error se estima, si [ ] ( ) h x h x C f +
1 1
4
, , combinando los desarrollos en serie:
) ( .
24
) ( ' ' ' .
6
) ( " .
2
) ( ' . ) ( ) (
1
(
4
1
3
1
2
1 1 1

iv
f
h
x f
h
x f
h
x f h x f h x f + + + + = + (2.5)
) ( .
24
) ( ' ' ' .
6
) ( " .
2
) ( ' . ) ( ) (
2
(
4
1
3
1
2
1 1 1

iv
f
h
x f
h
x f
h
x f h x f h x f + + = (2.6)
que sumndolos conduce a:
+ + + = + + )) ( ) ( .(
24
) ( " . ) ( . 2 ) ( ) (
2
(
1
(
4
1
2
1 1 1

iv iv
f f
h
x f h x f h x f h x f
) ( .
12
) ( ) ( . 2 ) (
) ( "
(
2
2
1 1 1
1

iv
f
h
h
h x f x f h x f
x f
+ +
=
Luego: ) ( .
12
) (
(
2
iv
f
h
f R = , o ms brevemente un error de orden O(h
2
).
Bibliografa.
Editores, 6 edicin.
Integracin numrica 53
TEMA 8 - INTEGRACIN NUMRICA
1. Frmulas de integracin numrica.
Sea un soporte { }
n
x x x ,..., ,
1 0
de (n+1) puntos ordenados de menor a mayor, todos
ellos pertenecientes a un intervalo [ ] b a, , sobre el que se suponen conocidos los
valores ) ,..., 1 , 0 ( ) ( n i x f f
i i
= = que toma una cierta funcin f(x).
Definicin.
Se denomina frmula de integracin numrica de la funcin f(x) en el intervalo
[ ] b a, , sobre el soporte { }
n
x x x ,..., ,
1 0
a toda expresin de la forma:
) ( . ). (
0
f R f c dx x f
n
i
i i
b
a
+ =
=
(1)
donde ) ,..., 1 , 0 ( n i c
i
= son los coeficientes (o pesos) de la frmula y R(f) es el
trmino de error cometido al aproximar el valor de la integral por:
n
i
i i
b
a
f c dx x f
0
. ). ( .
Definicin.
Se dice que la frmula (1) es exacta de orden m cuando permite evaluar el valor
sin error de la integral sobre [ ] b a, para cualquier funcin polinmica de grado
menor o igual que m.
Sea ) (x p
n
el polinomio interpolador de Lagrange de f(x) sobre el soporte { }
n
i i
x
0 =
.
Se verificar que: ) ( ) ( ) ( x x p x f
n
+ = donde ) (x es la funcin de error de
interpolacin y:
=
=
n
i
i i n
f x L x p
0
). ( ) (
con:
) ,..., 1 , 0 (
) (
) (
) (
0
n i
x x
x x
x L
n
i j
j j i
j
i
=
=
Una forma de aproximar el valor de
b
a
dx x f ). ( consiste en:
= + =
=
b
a
n
i
i
b
a
i
b
a
b
a
n
b
a
dx x f dx x L dx x dx x p dx x f ). ( . ). ( ). ( ). ( ). (
0

Definicin.
Se denomina frmula de integracin numrica de tipo interpolatorio a toda
frmula de la forma:
=
=
b
a
n
i
i
b
a
i
b
a
dx x f dx x L dx x f ). ( . ). ( ). (
0
NOTA:
Las frmulas de integracin numrica de tipo interpolatorio son frmulas de
integracin numrica en las que:

= = =
b
a
b
a
i i
dx x f R n i dx x L c ). ( ) ( y ) ,..., 1 , 0 ( ). (
Teorema.
La condicin necesaria y suficiente para que la frmula de integracin numrica
construida sobre un soporte de (n+1) puntos:
) ( . ). (
0
f R f c dx x f
n
i
i i
b
a
+ =
=
sea exacta de orden n es que sea de tipo interpolatorio.
Comentario:
Las frmulas de integracin de tipo interpolatorio se obtienen integrando el
polinomio interpolador de Lagrange de la funcin f(x) sobre el soporte { }
n
i i
x
0 =
. El
error de la frmula se obtiene integrando la funcin error de interpolacin. En las
expresiones anteriores se ha utilizado el polinomio interpolador dado con ayuda de
los polinomios de base de Lagrange sobre el soporte { }
n
i i
x
0 =
. Pero puede utilizarse
cualquier otra expresin del polinomio interpolador como, por ejemplo, la frmula
de Newton estudiada en el tema 6.
2. Algunas frmulas usuales de integracin numrica.
2.1. Frmulas construidas con un soporte de 1 punto: Frmulas del rectngulo
y del punto medio.
Sea el soporte de un punto { }
0
x . El polinomio interpolador de Lagrange de la
funcin f(x) con este soporte ser:
0 0
) ( ) ( f x p x f =
Luego:
) .( ). ( ). (
0 0
a b f dx x p dx x f
b
a
b
a
=

Casos particulares:
a) Frmula del rectngulo con soporte en el extremo izquierdo del intervalo de
integracin.
Sea a x =
0
. La frmula de integracin resulta:

b
a
a b a f dx x f ) ).( ( ). ( (Frmula del rectngulo con
soporte en el extremo izquierdo)
Para estimar el error cometido:
= + = =
) ( )) ( ( ) ( ) ( ). ( a F a b a F a F b F dx x f
b
a
) ( ' .
2
) (
) ).( ( ) ( ) ( " .
2
) (
) ( ' ). ( ) (
2 2
f
a b
a b a f a F F
a b
a F a b a F

+ =
+ + =
y comparando con la frmula del rectngulo se obtiene:
[ ] b a f
a b
f R , ) ( ' .
2
) (
) (
2
=
o ms brevemente un error de orden O(h
2
) (donde ) ( a b h = ).
b) Frmula del rectngulo con soporte en el extremo derecho del intervalo de
integracin.
Sea b x =
0
. La frmula de integracin resulta:

b
a
a b b f dx x f ) ).( ( ). ( (Frmula del rectngulo con
soporte en el extremo derecho)
y el error:
[ ] b a f
a b
f R , ) ( ' .
2
) (
) (
2
=
c) Frmula del punto medio.
Sea
2
0
b a
x
+
= . La frmula de integracin resulta:
b
a
a b
b a
f dx x f ) ).(
2
( ). ( (Frmula del punto medio)
y el error:
=
+ = =
)
2
) (
( )
2
) (
( ) ( ) ( ). (
0 0
a b
x F
a b
x F a F b F dx x f
b
a
+ = ) ( ' ' ' .

48
) (
) ( " .
8
) (
) ( ' .
2
) (
) (
1
3
0
2
0 0
F
a b
x F
a b
x F
a b
x F
=
+ ) ( ' ' ' .

48
) (
) ( " .
8
) (
) ( ' .
2
) (
) (
2
3
0
2
0 0
F
a b
x F
a b
x F
a b
x F
) ( ' ' .
24
) (
) ( ). (
3
0
f
a b
x f a b

+ =
Luego:
[ ] b a f
a b
f R , ) ( " .
24
) (
) (
3
=
o ms brevemente un error del orden O(h
3
) (donde ) ( a b h = ).
2.2. Frmulas construidas con un soporte de 2 puntos: Frmula del trapecio.
Sea el soporte { }
1 0
, x x . El polinomio interpolador de Lagrange de f(x) en dicho
soporte ser: [ ] ) .( , ) ( ) ( ) (
0 1 0 0 1
x x x x f x f x p x f + = por lo que la frmula de
integracin numrica de tipo interpolatorio que se obtiene es:
[ ]
2
) ( ) (
. , ) ).( ( ). ( ). (
2
0
2
0
1 0 0 1
x a x b
x x f a b x f dx x p dx x f
b
a
b
a

+ =

Caso particular: Frmula del trapecio.
Si a x =
0
y b x =
1
, la frmula de integracin resulta:
) .(
2
) ( ) (
). ( a b
b f a f
dx x f
b
a

+
(Frmula del trapecio)

El error responde a la expresin:
[ ]
3
( )
( ) . "( ) ,
12
b a
R f f a b
=
2.3. Frmulas construidas con tres puntos de soporte: Frmula de Simpson.
Sea el soporte { }
2 1 0
, , x x x . El polinomio interpolador de Lagrange de f(x) en dicho
soporte ser:
[ ] [ ] ) ).( .( , , ) .( , ) ( ) ( ) (
1 0 2 1 0 0 1 0 0 2
x x x x x x x f x x x x f x f x p x f + + =
por lo que la frmula de integracin numrica de tipo interpolatorio que se obtiene
es:
[ ] +

+ =

2
) ( ) (
. , ) ).( ( ). ( ). (
2
0
2
0
1 0 0 2
x a x b
x x f a b x f dx x p dx x f
b
a
b
a
[ ]
+
+
+ ) .( . ) .(
2
) .(
3
1
. ,
1 0
2 2 1 0 3 3
2 1 0
a b x x a b
x x
a b x x x f
Caso particular: Frmula de Simpson.
Si a x =
0
,
2
1
b a
h a x
+
= + = y b h a x = + = . 2
2
, la frmula de integracin resulta:
)) ( )
2
( . 4 ) ( .(
3
)) ( )
2
( . 4 ) ( .(
6
) (
). (
b f
b a
f a f
h
b f
b a
f a f
a b
dx x f
b
a
+
+
+ =
= +
+
+
(Frmula de Simpson)
El error responde a la expresin:
[ ] b a f
h
f
a b
f R
iv iv
, ) ( .
90
) ( .
2880
) (
) (
(
5
(
5
=
=
3. Frmulas de Newton-Ctes.
Definicin.
Se denominan frmulas de NewtonCtes a las frmulas de integracin numrica
construidas sobre un soporte equidistante.
Si entre los puntos del soporte se incluyen los extremos del intervalo de integracin
( a x =
0
y b x
n
= ), las frmulas se denominan de NewtonCtes cerradas. Si los
puntos del soporte no incluyen los puntos extremos del intervalo de integracin las
frmulas se denominan de NewtonCtes abiertas.
3.1. Frmulas de NewtonCtes cerradas.
En ellas el soporte es de la forma:
a x =
0
, h i a x
i
. + = (i=1,...,n-1), b x
n
= donde
n
a b
h
) (
= .
Con dicho soporte las frmulas de NewtonCtes cerradas responden a la
expresin:
) ( ) ( . .
) (
). (
0
f R x f c
D
a b
dx x f
n
j
j j
b
a
+
=
donde los coeficientes que intervienen, para distintos valores de n, toman los
valores de la tabla 1.
NOTA:
El trmino de error responde a las siguientes expresiones:
si n es impar (n de puntos par): ) ( . . ) (
1 ( ) 2 (
+ +
=
n n
f h C f R
si n es par (n de puntos impar): ) ( . . ) (
2 ( ) 3 (
+ +
=
n n
f h C f R
Luego el orden del error es el mismo para un valor de n par que para (n+1). Por ello
son ms utilizadas las frmulas en las que n es par (salvo el caso de n=1).
Frmulas de Newton-Ctes cerradas
Soporte:
n
a b
h

= , b nh a x , , ih a x , , h a x , a x
n i
= + = + = + = =
1 0

) ( ) (
) (
) (
0
f R x f c
D
a b
dx x f
n
j
j j
b
a
+
=
n c
j
(j=0,,n) D |R(f)| Nombre
1 (2 puntos) 1, 1 2
) ( ' '
12
3
f
h
Trapecio
2 (3 puntos) 1, 4, 1 6
) (
90
(
5
iv
f
h
Simpson
3 (4 puntos) 1, 3, 3, 1 8
) (
80
3
(
5
iv
f
h
Regla 3/8
4 (5 puntos) 7, 32, 12, 32, 7 90
) (
945
8
(
7
vi
f
h
Milne
5 (6 puntos) 19, 75, 50, 50, 75, 19 288
) (
12096
275
(
7
vi
f
h
6 (7 puntos) 41, 216, 27, 272, 27, 216, 41 840
) (
1400
9
(
9
viii
f
h
Weddle
Tabla 1.
n impar: ) ( ) (
1 ( ) 2 (
=
+ + n n
f Ch f R
n par: ) ( ) (
2 ( ) 3 (
=
+ + n n
f Ch f R
h h h
x
0
x
1
x
i
x
i+1
x
n-1
x
n
3.2. Frmulas de NewtonCtes abiertas.
En ellas el soporte es de la forma:
h i a x
i
). 1 ( + + = (i=0,...,n) donde:
) 2 (
) (
+
=
n
a b
h .
Con dicho soporte las frmulas de NewtonCtes abiertas responden a la expresin:
) ( ) ( . .
) (
). (
0
f R x f c
D
a b
dx x f
n
j
j j
b
a
+
=
donde los coeficientes que intervienen, para distintos valores de n, toman los
valores de la tabla 2.
NOTA:
El trmino de error responde a las siguientes expresiones:
si n es impar (n de puntos par): ) ( . . ) (
1 ( ) 2 (
+ +
=
n n
f h C f R
si n es par (n de puntos impar): ) ( . . ) (
2 ( ) 3 (
+ +
=
n n
f h C f R
Luego el orden del error es el mismo para un valor de n par que para (n+1). Por ello
son ms utilizadas las frmulas en las que n es par.
Frmulas de Newton-Ctes abiertas
Soporte
2 +
=
n
a b
h
h b h n a x h i a x h a x h a x
n i
= + + = + + = + = + = ) 1 ( , , ) 1 ( , , 2 ,
1 0

) ( ) (
) (
) (
0
f R x f c
D
a b
dx x f
n
j
j j
b
a
+
=
n c
j
(j=0,,n) D |R(f)| Nombre
0 (1 punto) 1 1
) ( ' '
3
3
f
h
Punto
medio
1 (2 puntos) 1, 1 2
) ( ' '
4
3
3
f
h
2 (3 puntos) 2, -1, 2 3
) (
45
14
(
5
iv
f
h
3 (4 puntos) 11, 1, 1, 11 24
) (
144
95
(
5
iv
f
h
Tabla 2.
Nota:
n impar: ) ( ) (
1 ( ) 2 (
=
+ + n n
f Ch f R
n par: ) ( ) (
2 ( ) 3 (
=
+ + n n
f Ch f R
h h h
x
0
x
1
x
i
x
i+1
x
n-1
x
n
4. Frmulas de cuadratura gaussiana.
Considrese la frmula de tipo interpolatorio construida sobre un soporte de (n+1)
puntos:
) ( . ). (
0
f R f c dx x f
n
i
i i
b
a
+ =
=
(2)
con
=
b
a
i i
dx x L c ). ( y
=
b
a
dx x f R ). ( ) ( .
Teorema.
La frmula (2) es exacta para todo polinomio de grado menor o igual que (2.n+1) si
y slo si se cumplen las condiciones siguientes:
1) La frmula es de tipo interpolatorio.
2) Los puntos del soporte verifican:
) ,..., 1 , 0 ( 0 . ). ( n k dx x x
b
a
k
= =

donde
=
=
n
i
i
x x x
0
) ( ) ( .
Teorema.
No existe ninguna frmula de integracin numrica construida sobre un soporte de
(n+1) puntos, de la forma ) ( . ). (
0
f R f c dx x f
n
i
i i
b
a
+ =
=
, que sea exacta para todo
polinomio de grado (2.n+2).
Teorema.
Existe una nica eleccin posible del soporte { }
n
i i
x
0 =
tal que la frmula
) ( . ). (
0
f R f c dx x f
n
i
i i
b
a
+ =
=
sea exacta para todo polinomio de grado menor o igual
a (2.n+1). Adems los puntos de dicho soporte pertenecen todos al intervalo de
integracin [ ] b a, .
Definicin.
Las frmulas de integracin numrica construidas sobre un soporte de (n+1) puntos
que son exactas para todo polinomio de grado menor o igual que (2.n+1) se
denominan frmulas de integracin gaussiana.
Los coeficientes y puntos del soporte de las frmulas de integracin gaussiana estn
tabulados para ciertos intervalos de integracin y para diferentes valores de n. As la
tabla 3 indica los pesos y puntos de soporte para el intervalo [ ] 1 , 1 .
Tabla de pesos y puntos de soporte de las frmulas de integracin gaussiana

n
j
j j
g d g
0
1
1
) ( ) (
n Puntos
j
(j=0,,n)
Pesos
j
(j=0,,n)
0 (1 punto) 00000000000 20000000000
1 (2 puntos) -05773502691 10000000000
05773502691 10000000000
2 (3 puntos) -07745966692 05555555556
00000000000 08888888889
07745966692 05555555556
3 (4 puntos) -08611363116 03478548451
-03399810436 06521451548
03399810436 06521451548
08611363116 03478548451
4 (5 puntos) -09061798459 02369268850
-05384693101 04786286705
00000000000 05688888889
05384693101 04786286705
09061798459 02369268850
Tabla 3.
Conocidos los puntos y pesos de integracin sobre un intervalo [ ] , de la
frmula:
n
j
j j
g d g
0
) ( . ). (
los puntos y pesos de la frmula de integracin en otro intervalo [ ] b a, :
n
j
j j
b
a
x g c dx x g
0
) ( . ). (
se obtienen mediante:
) ,..., 0 ( .
. .
n j
a b b a
x
j j
=
=

) ,..., 0 ( . n j
a b
c
j j
=
=

En el caso particular de que [ ] [ ] 1 , 1 , = (caso de la tabla 3), les frmulas
anteriores se convierten en:
) ,..., 0 ( .
2 2
n j
a b b a
x
j j
=
+
+
=
) ,..., 0 ( .
2
n j
a b
c
j j
=
=
5. Frmulas de integracin numrica compuestas.
Se denominan frmulas de integracin compuestas a aquellas que se obtienen
mediante el siguiente proceso:
A) se subdivide el intervalo de integracin [ ] b a, en N subintervalos [ ]
i i
,
1
(i=1,...,N) de tal forma que b a
N i i
= < < < < < < =

... ...
1 1 0
B) se expresa la integral a calcular mediante:
=
N
i
b
a
i
i
dx x f dx x f
1
1
). ( ). (
C) se aproxima cada integral
i
i
dx x f
1
). ( mediante una frmula de integracin
numrica.
NOTA:
El error cometido con una frmula de integracin numrica compuesta sobre todo el
intervalo [ ] b a, es la suma de los errores cometidos con cada frmula simple
aplicada en cada subintervalo.
Bibliografa.
Editores, 6 edicin.
Introduccin a las ecuaciones diferenciales ordinarias 64
TEMA 9 - INTRODUCCIN A LAS ECUACIONES
DIFERENCIALES ORDINARIAS
1. Introduccin.
Definicin.
Se denomina ecuacin diferencial a cualquier ecuacin en la que aparecen
relacionadas:
*) Una o varias variables independientes.
*) Una variable dependiente de ella o ellas.
*) Derivadas de la variable dependiente respecto a una o ms variables
independientes.
Notacin:
A la variable independiente, cuando slo sea una, se la representar por x (o por t).
En el caso de haber ms de una se las denotar con subndices
m
x x ,...,
1
.
A la variable dependiente, tambin llamada funcin incgnita o funcin solucin, se
la denotar por y(x), o cuando no haya lugar a confusin, simplemente por y.
Definicin.
Se denomina ecuacin diferencial ordinaria (e.d.o.) a toda ecuacin diferencial en
la que la variable dependiente depende slo de una variable independiente.
Definicin.
Se denomina ecuacin diferencial en derivadas parciales a toda ecuacin
diferencial en la que la variable dependiente depende de ms de una variable
independiente.
Definicin.
Se denomina orden de una e.d.o. al mayor orden de derivacin de la variable
dependiente que interviene en la e.d.o..
Definicin.
Se denomina grado de una e.d.o. al mayor exponente, si es un nmero natural, al
que est elevada la derivada de mayor orden de la variable dependiente que
interviene en la e.d.o..
Definicin.
Se denomina e.d.o. lineal de orden n a toda e.d.o. de orden n en la que la derivada
de orden n de la variable dependiente, ) (
(
x y
n
depende linealmente de
) ( ..., ), ( ' ' ), ( ' ), (
1 (
x y x y x y x y
n
. En otros trminos estas ecuaciones sern de la
forma:
) ( ) ( ). ( ) ( ' ). ( ... ) ( ). ( ) ( ). (
0 1
1 (
1
(
x b x y x a x y x a x y x a x y x a
n
n
n
n
+ + + +

donde las ) ( y ) ( ..., ), ( ), (

1 0
x b x a x a x a
n
son funciones cualesquiera de la variable
independiente x.
Definicin.
Se denomina solucin general de una e.d.o. de orden n a la familia de funciones
dependientes de n parmetros que verifican la e.d.o..
Definicin.
Se denomina solucin singular de una e.d.o. de orden n a toda funcin y(x) que
verifique la e.d.o. y no pertenezca a la familia de funciones que constituyen la
solucin general de la e.d.o..
Definicin.
Se denomina solucin particular de una e.d.o. de orden n a toda funcin y(x) que
verifica la e.d.o..
Definicin.
Se denomina problema de Cauchy al problema:
Siendo I un intervalo abierto de R, y siendo ) ,..., , (
1 ( n
y y x f una funcin
conocida, definida en
n
R I , encontrar una funcin:
) (
:
x y x
R I y
verificando la e.d.o.:
I x y y y x f y
n n

) ,..., ' , , (
1 ( (
y la condiciones:
1 (
0 0
1 (
0 0 0 0
) ( ..., , ' ) ( ' , ) (

n n
y x y y x y y x y
donde I x
0
e
1 (
0
'
0 0
,..., ,
n
y y y son n valores conocidos.
NOTA:
En los problemas de Cauchy que aparecen en las aplicaciones prcticas, en
ocasiones la variable x representa el tiempo y el punto x
0
en el que se fijan los
valores de la funcin y sus derivadas es el extremo izquierdo del intervalo I (es
decir el instante inicial). Por eso en dichas ocasiones este tipo de problemas se
conoce tambin con el nombre de problemas de valores iniciales.
Definicin.
Siendo I un intervalo abierto de la recta real, y siendo ) ,..., , (
1 ( n
y y x f una funcin
conocida, definida en
n
R I , se denomina problema de contorno al problema de
encontrar una funcin:
) (
:
x y x
R I y
solucin de la e.d.o.:
I x y y y x f y
n n

) ,..., ' , , (
1 ( (
y tal que la funcin y/o algunas de sus derivadas toman valores predeterminados en
puntos diferentes del intervalo I.
Definicin.
Se denomina curva integral de una e.d.o. a la grfica de cualquier solucin de la
e.d.o..
Teorema.
Dada la e.d.o. de primer orden ) , ( ' y x f y , si ) , ( y x f y ) , ( y x
x
f
son funciones
continuas sobre un rectngulo D de R
2
, entonces por cada punto ) , (
0 0
y x de D pasa
una nica curva integral.
NOTAS:
1) Una e.d.o. puede expresarse de tres formas:
Forma explcita (o forma normal): La derivada de mayor orden aparece despejada e
igualada a una funcin de la variable independiente, la funcin incgnita y sus
derivadas hasta orden (n-1): ) ,..., , (
1 ( (
n n
y y x f y
Forma implcita: En forma de una ecuacin: 0 ) , ,..., , (
( 1 (
n n
y y y x F
Forma diferencial: En forma de una ecuacin en la que intervienen las diferenciales
de la funcin incgnita y de la variable independiente.
2) Dada una familia de funciones dependientes de n parmetros, para obtener la
e.d.o. de orden n de la que dicha familia es solucin basta con despejar los n
parmetros de la familia de las expresiones de las derivadas hasta orden n de las
funciones que forman la familia dada y, una vez expresados los parmetros en
funcin de las derivadas de la funcin incgnita, sustituir en la expresin de la
familia de funciones.
3) Al igual que se ha hablado de las ecuaciones diferenciales ordinarias, pueden
considerarse sistemas de ecuaciones diferenciales ordinarias. Para ello debe
considerarse que la funcin incgnita es una funcin vectorial:
'
) (
) (
) (
:
1
x y
x y
x y x
R I y
m
m
y que la funcin del segundo miembro del sistema de e.d.o. es una funcin vectorial
definida sobre
n m
R I ) ( , es decir:
'

) ,..., ' , , (
) ,..., ' , , (
) ,..., ' , , ( ) ,..., ' , , (
) ( :
1 (
1 (
1
1 ( 1 (
n
m
n
n n
m n m
y y y x f
y y y x f
y y y x f y y y x
R R I f
Con ello el sistema de e.d.o. se escribe:

) ,..., , (
1 ( (
n n
y y x f y
o en forma desarrollada:
) ,...., , ,........, ,..., , , ,...., , , (
) ,..., , ,..., ,...., , , ,..., , , (
) ,..., , ,..., ,...., , , ,..., , , (
1 ( 1 (
2
1 (
1
' '
2
'
1 2 1
(
1 ( 1 (
2
1 (
1
' '
2
'
1 2 1 2
(
2
1 ( 1 (
2
1 (
1
' '
2
'
1 2 1 1
(
1

n
m
n n
m m m
n
m
n
m
n n
m m
n
n
m
n n
m m
n
y y y y y y y y y x f y

4) Una e.d.o. de orden n puede transformarse en un sistema de n ecuaciones
diferenciales ordinarias de primer orden. As la e.d.o.:
) ,..., ' , , (
1 ( (
n n
y y y x f y
se transforma en el sistema de n ecuaciones diferenciales ordinarias de primer
orden:
) ,..., , , (
) ,..., , , (
) ,..., , , (
2 1
'
2 1 2
'
2
2 1 1
1
1
n n n
n
n
z z z x g z
z z z x g z
z z z x g z
haciendo los cambios de variables:

) ( ..., ), " ( ), ' ( ,
1 ( '
1
'
2 3
'
1 2 1

n
n n
y z z y z z y z z y z
con lo que la funcin ) ,..., , , (
2 1 n
z z z x g ser:
) ,..., , , ( ) ,..., , , (
) ,..., , , (
) ,..., , , (
) ,..., , , (
2 1 2 1
2 1 1
3 2 1 2
2 2 1 1
n n n
n n n
n
n
z z z x f z z z x g
z z z z x g
z z z z x g
z z z z x g
2. Resolucin de algunas E.D.O. de primer orden.

Una e.d.o. de primer orden la escribiremos, indistintamente, de alguna de las tres
formas siguientes:
Forma normal (o explcita): ) , ( ' y x f y
Forma implcita: 0 ) ' , , ( y y x F
Forma diferencial: 0 ). , ( ). , ( + dy y x N dx y x M .
2.1. E.D.O. de la forma y=f(x).
Su solucin general ser:
C dx x f x y +

). ( ) (
donde C es una constante arbitraria.
NOTA:
Este proceso se puede generalizar a las e.d.o. de orden n de la forma ) (
(
x f y
n
mediante:
1
1 (
). ( ) ( C dx x f x y
n
+
( )
2 1
2 (
. . ). ( ) ( C x C dx dx x f x y
n
+ +

( ) ( ) ( ) ( )
3 2
2
1 3 2
2 1 3 (
. . . . ). ( . .
2
. . ). ( ) ( C x C x K dx dx dx x f C x C x
C
dx dx dx x f x y
n
+ + + + + +

( ) ( ) ( )
n n
n n
Cte x Cte x Cte x Cte dx dx dx dx x f x y + + + + +

. ... . . ....) . . ). ( (... ) (
1
) 2 (
2
) 1 (
1
2.2. E.D.O. de primer orden de variables separadas.
Son e.d.o. de primer orden de la forma:
0 ). ( ). ( ). ( ). ( + dy y P x H dx y G x F
Su resolucin se realiza dividiendo por ) ( ). ( x H y G e integrando, con lo que:
C dx
x H
x F
dy
y G
y P
+

.
) (
) (
.
) (
) (
de donde la solucin general se obtendr resolviendo la ecuacin C x f y g + ) ( ) (
donde:

dx
x H
x F
x f dy
y G
y P
y g .
) (
) (
) ( .
) (
) (
) (
NOTA:
En este proceso se han podido eliminar soluciones que hiciesen que 0 ) ( ). ( x H y G .
Por ello otras soluciones de la e.d.o podran encontrarse entre las funciones y(x)
tales que 0 ) ( ). ( x H y G . Es necesario encontrar tales funciones y comprobar si son
solucin de la e.d.o. dada.
2.3. E.D.O. de primer orden homogneas.
Definicin.
Se dice que la funcin ) ,..., , (
2 1 n
x x x f es homognea de orden r si se verifica:
) ,..., , ( . ) ,..., , (
2 1 2 1 n
r
n
x x x f x x x f
Definicin.
Se dice que la e.d.o. 0 ). , ( ). , ( + dy y x N dx y x M es homognea si las funciones
) , ( y x M y ) , ( y x N son funciones homogneas del mismo orden.
NOTA:
Si la e.d.o. se proporciona en la forma ) , ( ' y x f y , ser homognea si ) , ( y x f es
una funcin homognea de orden 0.
Una e.d.o. de primer orden homognea se resuelve mediante el siguiente proceso:
1) Se realiza el cambio de variable u x y . con lo que la e.d.o. se transforma en:
0 .
) , 1 ( . ) , 1 (
) , 1 (
.
1
+
+ du
u N u u M
u N
dx
x
que ya es de variables separadas, siendo u la funcin incgnita y x la variable
independiente.
2) Se resuelve la e.d.o. de variables separadas en u.
3) Se deshace el cambio obteniendo ) ( . ) ( x u x x y .
NOTA:
En el proceso de resolucin de la e.d.o. de variables separadas se han podido perder
algunas soluciones ya que se divide por [ ] ) , 1 ( . ) , 1 ( . u N u u M x + . Es necesario por ello
obtener las soluciones de [ ] ) , 1 ( . ) , 1 ( u N u u M + y analizar si de ellas se obtienen otras
soluciones de la e.d.o.
2.4. E.D.O. de primer orden reducibles a homogneas.
Son e.d.o. de la forma:
,
_
+ +
+ +
1 1 1
. .
. .
'
c y b x a
c y b x a
f y
El mtodo de obtener soluciones depende de si las rectas 0 . . + + c y b x a y
0 . .
1 1 1
+ + c y b x a son paralelas o no.
a) Caso en que las rectas no son paralelas:
En este caso sea el punto ( )
0 0
, y x el punto en que se cortan, es decir la solucin del
sistema de 2 ecuaciones:
'
+
+
1 1 1
. .
. .
c y b x a
c y b x a
El cambio de variables
0 0
, y Y y X x x + + transforma la e.d.o. en la e.d.o.
homognea:
,
_
+
+
Y b X a
Y b X a
f Y
. .
. .
'
1 1
que se resuelve segn lo visto en el apartado 2.3. Una vez hallada la solucin Y(X)
se deshace el cambio anterior, es decir se remplaza Y por
0
y y Y y X por
0
x x X .
b) Caso en que las rectas son paralelas.
En este caso se verificar que:

1 1
b
b
a
a
por lo que el cambio y b x a u . . + (es decir b x a u y ) . ( ) transforma la e.d.o. en
otra de variables separadas de funcin incgnita u y de variable independiente x que
se resuelve segn lo indicado en el apartado 2.2.. Una vez hallada la funcin u(x) se
deshace el cambio anterior.
2.5. E.D.O. exactas.
Definicin.
Se dice que la e.d.o. 0 ). , ( ). , ( + dy y x N dx y x M es exacta si existe una funcin de
dos variables ) , ( y x F tal que:
) , ( ) , ( y x M y x
x
F
y ) , ( ) , ( y x N y x
y
F
Propiedad.
Si las funciones ) , ( y x M y ) , ( y x N son regulares de clase C
1
(R
2
), la e.d.o.:
0 ). , ( ). , ( + dy y x N dx y x M
es exacta si y solamente si se verifica que:
) , ( ) , ( y x
x
N
y x
y
M
La resolucin de una e.d.o. exacta se obtiene de:

C y x F dy y x N dx y x M y x dF + ) , ( 0 ). , ( ). , ( ) , (
En cuanto a la expresin de la funcin F(x,y) se obtendr mediante:
( )

,
_
+ dy dx y x M
y
y x N dx y x M y x F . ). , ( ) , ( ). , ( ) , (
o, lo que es equivalente:
( )

,
_
+ dx dy y x N
x
y x M dy y x N y x F . ). , ( ) , ( ). , ( ) , (
2.6. Factores integrantes.
Definicin.
Se denomina factor integrante ) , ( y x a cualquier funcin tal que multiplicando
por ella la e.d.o. de la forma 0 ). , ( ). , ( + dy y x N dx y x M se obtiene otra e.d.o.
diferencial exacta:
0 ). , ( ). , ( ). , ( ). , ( + dy y x N y x dx y x M y x
En general la expresin de un factor integrante se obtiene resolviendo la ecuacin
en derivadas parciales:
,
_
) , ( ) , ( . ) , ( ). , ( ) , ( ). , ( y x
y
M
y x
x
N
y x
x
y x N y x
y
y x M

Casos particulares:
2.6.1. Caso en que el factor integrante depende de una expresin conocida
z(x,y).
En este caso el factor integrante se obtiene mediante:
dz
x
z
N
y
z
M
y
M
x
N
e z
.
. .
) (
2.6.2. Caso en el que el factor integrante slo depende de la variable
independiente x.
dx
y x N
y x
x
N
y x
y
M
e x
.
) , (
) , ( ) , (
) (
2.6.3. Caso en el que el factor integrante slo depende de la variable
dependiente y.
dy
y x M
y x
y
M
y x
x
N
e y
.
) , (
) , ( ) , (
) (
2.7. E.D.O. lineales de primer orden.
Son de la forma:
) ( ) ( ). ( ) ( ' ). (
0 1
x b x y x a x y x a +
y se escribirn, dividiendo por ) (
1
x a , como:
) ( ) ( ). ( ) ( ' x r x y x p x y +
Si b(x) es la funcin idnticamente nula la e.d.o. se denominar lineal de primer
orden homognea.
Si b(x) no es la funcin idnticamente nula la e.d.o. se denominar lineal de primer
orden completa.
2.7.1. E.D.O. lineales de primer orden homogneas.
Son de la forma:
0 ) ( ). ( ) ( ' + x y x p x y (1)
Propiedad.
El conjunto de soluciones de la e.d.o. (1) tiene estructura de espacio vectorial de
dimensin 1.
NOTA:
La funcin y(x)=0 es una solucin de (1) que se denomina solucin trivial.
Puesto que (1) es una e.d.o. de variables separadas su solucin general ser de la
forma:
dx x p
e K x y
). (
. ) (
2.7.2. E.D.O. lineales de primer orden completas.
Son de la forma:
) ( ) ( ). ( ) ( ' x r x y x p x y + (2)
Propiedad.
Siendo y
1
(x) una solucin particular de (2), y siendo y
0
(x) la solucin general de la
e.d.o. homognea asociada ( 0 ) ( ). ( ) ( ' + x y x p x y ), la solucin general de (2) es de
la forma: ) ( ) ( ) (
1 0
x y x y x y + .
Procedimiento general de resolucin de una e.d.o. lineal completa de primer orden:
1) Encontrar una solucin particular de la completa (y
1
(x)).
2) Obtener la solucin general de la homognea (y
0
(x)).
3) Construir la solucin general: ) ( ) ( ) (
1 0
x y x y x y + .
Si no se conoce la solucin particular y
1
(x) de la completa puede utilizarse alguno
de los dos mtodos siguientes:
a) Mtodo de variacin de constantes (o mtodo de Lagrange).
Siendo la solucin de la e.d.o. homognea
dx x p
e K x y
). (
0
. ) ( , se buscan
soluciones de la completa de la forma:
dx x p
e x K x y
). (
). ( ) (
donde K(x) es una funcin dependiente de la variable independiente x. Para
determinarla se resuelve la e.d.o. de primer orden:
C dx e x r x K x r e x K
dx x p dx x p
. ). ( ) ( ) ( ). ( '
). ( ). (
b) Mtodo del factor integrante (conversin en una e.d.o. exacta).
Propiedad.
La funcin
dx x p
e x
). (
) ( es un factor integrante de la e.d.o.
) ( ) ( ). ( ) ( ' x r x y x p x y + .
Por tanto la e.d.o. completa se transforma en:
0 ). ( )). ( ) ( ). ( ).( ( + dy x dx x r x y x p x
que es una e.d.o. diferencial exacta que se resuelve segn lo indicado en el apartado
2.5.
2.8. Ecuaciones reducibles a lineales de primer orden.
2.8.1. Ecuacin de Bernoulli.
Son e.d.o. de la forma:
m
x y x r x y x p x y )) ( ).( ( ) ( ). ( ) ( ' + .
Si m=0, la e.d.o. es lineal completa de primer orden.
Si m=1, la e.d.o. se escribe como: ( ) 0 ) ( . ) ( ) ( ) ( ' + x y x r x p x y que es lineal
homognea de primer grado.
Si m es distinto de 0 y distinto de 1, su resolucin consiste en:
a) Multiplicarlas por ( )
m
x y

) ( obteniendo la e.d.o.:
) ( )) ( ).( ( ) ( ' . )) ( (
1
x r x y x p x y x y
m m
+

b) Hacer el cambio de variable dependiente:
m
x y x u

1
)) ( ( ) ( obteniendo la e.d.o.:
) ( ) ( ). ( ) ( ' .
1
1
x r x u x p x u
m
+
(3)
que es una e.d.o. lineal de primer orden en la variable u(x).
c) Resolver (3) segn lo visto en 2.7., obteniendo la funcin u(x).
d) Deshacer el cambio de variable.
2.8.2. Ecuacin de Riccati.
Son de la forma: ) ( ) ( ). ( )) ( ).( ( ) ( '
2
x r x y x q x y x p x y + + .
Si p(x)=0, la e.d.o. es lineal completa.
Si r(x)=0 la e.d.o. es de tipo Bernoulli con m=2.
En otros casos el procedimiento de resolucin consiste en:
a) Encontrar una solucin particular y
1
(x).
b) Realizar el cambio de variable dado por:
) (
1
) ( ) (
1
x u
x y x y + con lo que la
e.d.o. se transforma en: ) ( ) ( )). ( ) ( ). ( . 2 ( ) ( '
1
x p x u x q x y x p x u + + que es una
e.d.o. lineal completa que se resolver segn lo visto en el apartado 2.7.
obtenindose la funcin u(x).
c) Deshacer el cambio de variable realizado obteniendo como solucin general:
) (
1
) ( ) (
1
x u
x y x y +
3. E.D.O. lineales de orden n.
Una e.d.o. lineal de orden n es de la forma:
) ( ) ( ). ( ) ( ' ). ( ... ) ( ). ( ) ( ). (
0 1
1 (
1
(
n
n
n
n
+ + + +

donde ) ( ),..., ( ), (
1 0
x a x a x a
n
y b(x) son funciones slo dependientes de la variable
independiente x.
- Si 0 ) ( x b la e.d.o. se dice que es homognea.
- Si 0 ) ( x b la e.d.o se dice que es completa.
- Si todos los coeficientes ) ( ),..., ( ), (
1 0
x a x a x a
n
son constantes la e.d.o. se dice
que es de coeficientes constantes.
- Si 1 ) ( x a
n
(cosa que se puede lograr siempre dividiendo la e.d.o. por este
coeficiente) se dice que la e.d.o. est normalizada.
Teorema.
Si ) ( ),..., ( ), (
1 0
x a x a x a
n
y b(x) son funciones continuas en [ ] , entonces el
problema de Cauchy:
Hallar y(x) tal que:
[ ] , ) ( ) ( ). ( ) ( ' ). ( ... ) ( ). ( ) ( ). (
0 1
1 (
1
(
+ + + +

x x b x y x a x y x a x y x a x y x a
n
n
n
n
y:
[ ] , ) ( ..., ) ( ' , ) (
0
1 (
0 0
1 ( '
0 0 0 0

x y x y y x y y x y
n n
donde
1 (
0
'
0 0
,..., ,
n
y y y son valores conocidos
admite una nica solucin.
3.1. E.D.O. lineales homogneas de orden n.
Son de la forma:
0 ) ( ). ( ) ( ' ). ( ... ) ( ). ( ) ( ). (
0 1
1 (
1
(
+ + + +

x y x a x y x a x y x a x y x a
n
n
n
n
(4)
Teorema.
El conjunto de funciones formado por todas las soluciones de la e.d.o. (4) tiene
estructura de espacio vectorial de dimensin n.
Definicin.
Se denomina sistema fundamental de soluciones de (4) a toda base del espacio
vectorial de soluciones de (4).
Consecuencia:
Dadas n funciones { } ) ( ),..., ( ), (
2 1
x y x y x y
n
para comprobar si constituyen un
sistema fundamental de soluciones de (4) deben seguirse los siguientes pasos:
1) Comprobar que todas las funciones son soluciones particulares de (4).
2) Verificar que son n funciones linealmente independientes, es decir que:
x
x y x y x y
x y x y x y
x y x y x y
n
n
n n
n
n

0
) ( ... ) ( ) (
...
) ( ... ) ( ) (
) ( ... ) ( ) (
1 ( 1 (
2
1 (
1
' '
2
'
1
2 1

El determinante anterior se denomina Wronskiano de las funciones ) ( ),..., (
1
x y x y
n
que es a su vez funcin de la variable independiente x.
Adems, si se dispone de un sistema fundamental de soluciones
{ } ) ( ),..., ( ), (
2 1
x y x y x y
n
la solucin general de (4) se construye como:
n
i
i i
x y c x y
1
) ( . ) (
donde c
i
(i=1,...,n) son n constantes arbitrarias.
Propiedad.
Siendo { } ) ( ),..., ( ), (
2 1
x y x y x y
n
n funciones linealmente independientes
(Wronskiano0), constituyen un sistema fundamental de soluciones de la e.d.o.
lineal homognea de orden n dada por:
0
) ( ) ( ... ) (
...
) ( ' ) ( ... ) (
) ( ) ( ... ) (
( ( (
1
' '
1
1
x y x y x y
x y x y x y
x y x y x y
n n
n
n
n
n

Propiedad.
Siendo y
1
(x) una solucin particular de la e.d.o lineal homognea de orden n dada
por (4), el cambio de variable: ) ( ). ( ) (
1
x v x y x y transforma la e.d.o. (4) en otra
e.d.o. diferencial lineal homognea de orden (n-1) en la variable ) ( ' ) ( x v x w .
Procedimiento general de resolucin de (4):
1) Encontrar una solucin particular de (4) (y
1
(x)).
2) Realizar el cambio de variable ) ( ). ( ) (
1
x v x y x y y obtener la e.d.o.
correspondiente en v(x).
3) Realizar el cambio de variable ) ( ' ) ( x v x w obteniendo la e.d.o. lineal
homognea de orden (n-1) en w(x).
4) Resolver la e.d.o. obtenida en la etapa anterior obteniendo w(x).
5) Deshacer los cambios de variable realizados.
3.1.1. E.D.O. lineales homogneas de coeficientes constantes de orden n.
Definicin.
Dada la e.d.o. lineal homognea de coeficientes constantes de orden n:
0 . ' . ... .
0 1
1 (
1
(
+ + + +

y a y a y a y
n
n
n
(5)
se denomina polinomio caracterstico asociado a la e.d.o. (5) al polinomio:
0 1
) 1 (
1
. ... . ) ( a m a m a m m p
n
n
n
+ + + +

Propiedad.
Siendo m
i
una raz simple del polinomio caracterstico asociado a la e.d.o. (5), la
funcin
x m
i
i
e x y
.
) ( es una solucin particular de (5).
Siendo m
i
una raz de multiplicidad r del polinomio caracterstico asociado a la
e.d.o. (5), las funciones:
x m r
r i
x m
i
x m
i
x m
i
i i i i
e x x y e x x y e x x y e x y
. ) 1 (
,
. 2
3 ,
.
2 ,
.
1 ,
. ) ( ... . ) ( . ) ( ) (

son
soluciones particulares linealmente independientes de la e.d.o. (5).
Consecuencia:
Conocidas las races del polinomio caracterstico asociado a la e.d.o. (5) se pueden
obtener n soluciones particulares de la e.d.o. (5). Adems estas n soluciones
particulares constituyen un sistema fundamental del espacio de soluciones de (5)
por lo que la solucin general se podr expresar como una combinacin lineal de
ellas. Ms concretamente pueden distinguirse los casos siguientes:
a) Las races de p(m) son todas reales y simples.
En este caso la solucin general ser de la forma:
n
i
x m
i
i
e c x y
1
.
. ) (
b) Algunas races de p(m) son reales mltiples y otras son reales simples.
En este caso, si m
j
es una raz de multiplicidad r, dicha raz aporta a la expresin de
la solucin general los sumandos:
( )
x m r
r i i i i
i
e x c x c x c c
. ) 1 (
,
2
2 , 1 , 1 ,
. . ... . .

+ + + +
A las expresiones as obtenidas deben aadrseles las correspondientes a las races
simples. En resumen, suponiendo que s (con 0<s<n) es el nmero de races simples
(ordenadas como las primeras s races de p(m)) y que el resto de las races m
j
(j=s+1,...,q) son races de multiplicidad r
j
(donde n r s
q
s j
j
+

+ 1
) se tendr como
expresin de la solucin:

+
,
_
+
q
s j
x m
r
k
k
k j
s
i
x m
i
j
j
i
e x c e c x y
1
.
1
) 1 (
.
1
.
. . . ) (
c) El polinomio caracterstico p(m) tiene algunas races complejas simples.
En este caso, si m
j
es una raz compleja simple, de la forma i b a m
j j j
. + , (con
1 i ), tambin ser raz de p(m) i b a m
k k k
. . Por ello dos soluciones
particulares de la ecuacin sern:
( )
( ) )) sen( . .(cos ) (
)) sen( . .(cos ) (
) . (
) . (
j j
a i b a
k
j j
a i b a
j
b i b e e x g
b i b e e x g
j j j
j j j

+
+
Estas dos soluciones particulares tienen expresiones complejas. No obstante,
partiendo de ellas pueden generarse dos soluciones particulares reales
independientes. Para ello basta con denominar:
) sen( . )) ( ) ( .(
2
) (
) cos( . )) ( ) ( .(
2
1
) (
j
a
k j k
j
a
k j j
b e x g x g
i
x y
b e x g x g x y
j
j
+
+
Con esta consideracin se tiene que las dos races complejas (conjugada una de la
otra) aportan a la expresin de la solucin general los sumandos:
)) . sen( . ) . cos( . .(
.
x b C x b K e
j j
x a
j
+
A ellos habr que aadirles los correspondientes a las races reales (simples o
mltiples) del polinomio caracterstico p(m).
d) El polinomio caracterstico p(m) tiene algunas reales complejas mltiples.
En este caso, si m
j
es una raz compleja de multiplicidad r, de la forma
i b a m
j j j
. + , (con 1 i ), tambin ser raz de multiplicidad r de p(m)
i b a m
k k k
. . Por ello, segn el teorema general, (2.r) soluciones particulares de la
ecuacin diferencial son las funciones:
( )
( ) r s b i b e x e x x g
r s b i b e x e x x g
j j
a
s
i b a
s
s k
j j
a
s
i b a
s
s j
j j j
j j j
,..., 1 )) sen( . .(cos . . ) (
,..., 1 )) sen( . .(cos . . ) (
) 1 (
) . (
) 1 (
,
) 1 (
) . (
) 1 (
,

+

Estas (2.r) soluciones particulares tienen expresiones complejas. No obstante,
partiendo de ellas pueden generarse (2.r) soluciones particulares reales
independientes. Para ello basta con denominar:
) ,..., 1 ( ) sen( . . )) ( ) ( .(
2
) (
) ,..., 1 ( ) cos( . . )) ( ) ( .(
2
1
) (
) 1 (
, , ,
) 1 (
, , ,
r s b e x x g x g
i
x y
r s b e x x g x g x y
j
a
s
s k s j s k
j
a
s
s k s j s j
j
j
+
+
Con esta consideracin se tiene que las dos races complejas (conjugada una de la
otra) aportan a la expresin de la solucin general los sumandos:
( ) ( ) [ ] ) . sen( . . ... . ) . cos( . . ... . .
) 1 (
, 2 , 1 ,
) 1 (
, 2 , 1 ,
.
x b x C x C C x b x K x K K e
r
r j j j
r
r j j j
x a
j
+ + + + + + +
A ellos habr que aadirles los correspondientes a las races reales (simples o
mltiples) y a las races complejas simples del polinomio caracterstico p(m).
3.2. E.D.O. lineales completas de orden n.
Propiedad (principio de superposicin).
Siendo ) (
1
x y una solucin de la e.d.o. lineal de orden n:
) ( ) ( ). ( ) ( ' ). ( ... ) ( ). ( ) ( ). (
1 0 1
1 (
1
(
n
n
n
n
+ + + +

y siendo ) (
2
x y una solucin de la e.d.o. lineal de orden n:
) ( ) ( ). ( ) ( ' ). ( ... ) ( ). ( ) ( ). (
2 0 1
1 (
1
(
n
n
n
n
+ + + +

entonces la funcin ) ( ) ( ) (
2 1
x y x y x y + es una solucin de la e.d.o. lineal de orden
n:
) ( ) ( ) ( ). ( ) ( ' ). ( ... ) ( ). ( ) ( ). (
2 1 0 1
1 (
1
(
x b x b x y x a x y x a x y x a x y x a
n
n
n
n
+ + + + +

Propiedad.
Siendo ) (
0
x y la solucin general de la e.d.o. lineal homognea de orden n:
0 ) ( ). ( ) ( ' ). ( ... ) ( ). ( ) ( ). (
0 1
1 (
1
(
+ + + +

x y x a x y x a x y x a x y x a
n
n
n
n
y siendo ) (
1
x y una solucin particular de la e.d.o. lineal completa de orden n:
) ( ) ( ). ( ) ( ' ). ( ... ) ( ). ( ) ( ). (
0 1
1 (
1
(
n
n
n
n
+ + + +

(6)
entonces la funcin ) ( ) ( ) (
1 0
x y x y x y + es solucin general de la e.d.o. lineal
completa (6):
) ( ) ( ). ( ) ( ' ). ( ... ) ( ). ( ) ( ). (
0 1
1 (
1
(
n
n
n
n
+ + + +

Procedimiento general de resolucin de una e.d.o. lineal completa de orden n:

1) Resolver la e.d.o. homognea asociada hallando su solucin general ) (
0
x y .
2) Encontrar una solucin particular ) (
1
x y de (6).
3) Formar la solucin general de (6) como ) ( ) ( ) (
1 0
x y x y x y + .
Para hallar una solucin particular de (6) puede emplearse el siguiente mtodo:
Mtodo de variacin de constantes (o mtodo de Lagrange).
Siendo la solucin general de la e.d.o. homognea de la forma:
) ( .
0
x y c
n
i
i i
se buscar una solucin particular de (6) de la forma:

) ( ). ( ) (
0
x y x c x y
n
i
i i
La determinacin de las expresiones de ) ( ),..., ( ), (

2 1
x C x C x C
n
se realizar
obteniendo las expresiones de ) ( ),..., ( ), (
' '
2
'
1
x C x C x C
n
a travs de la resolucin del
sistema algebraico de ecuaciones:
'
) (
) (
) ( ). ( '
0 ) ( ). ( '
0 ) ( ). ( '
0 ) ( ). ( '
0 ) ( ). ( '
0
1 (
0
2 (
0
"
0
'
0
x a
x b
x y x C
x y x C
x y x C
x y x C
x y x C
n
n
i
n
i
n
i
n
i
n
i
i
n
i
i
n
i
i
donde la ltima ecuacin es la que se obtiene al sustituir ) ( ). ( ) (

0
x y x c x y
n
i
i i
en la
e.d.o. completa teniendo en cuenta la imposicin de las (n-1) ecuaciones anteriores.
Una vez obtenidas las expresiones de ) ( ),..., ( ), (
' '
2
1
1
x C x C x C
n
basta con integrarlas
para obtener las expresiones de ) ( ),..., ( ), (
2 1
x C x C x C
n
y con ellas reconstruir la
expresin de la solucin particular de (6).
Bibliografa.
I. Acero, M. Lpez (1997), Ecuaciones diferenciales. Teora y problemas., ed.
Tbar Flores.

Cálculo en Varias Variables LADE

Încărcat de

Informații document

Titlu original

Drepturi de autor

Formate disponibile

Partajați acest document

Partajați sau inserați document

Opțiuni de partajare

Vi se pare util acest document?

Este necorespunzător acest conținut?

Drepturi de autor:

Formate disponibile

Cálculo en Varias Variables LADE

Încărcat de

Drepturi de autor:

Formate disponibile

Clculo

LADE e Ingeniera Tcnica en Informtica de de Gestin

entonces la serie es convergente. Si existe 1 0 < tal que 0

entonces la serie es divergente.

9.4. La serie hipergeomtrica.

Lmites radiales: caso particular de los lmites direccionales en el que:

NOTA: Definicin equivalente de continuidad:

Si el vector u de la definicin anterior tiene por norma la unidad, la derivada se

, verificndose por tanto que:

y dichas derivadas parciales son continuas

(i=1,...,n; j=1,...,m) y la funcin f(x) es diferenciable en el punto

son funciones continuas en el punto a, entonces:

Todas las definiciones realizadas sobre las funciones de R

H-3) Se verifica que F(x*,y*)=0

existen y son continuas en el entorno V del punto (x*

expresin de la que (conocidas ) * ,..., * , * (

por la expresin del teorema anterior) puede despejarse ) * ,..., * , * (

, conocidas las derivadas de rdenes inferiores,

que escribiremos en forma resumida como 0 y x ) , ( F donde

0 )) ,..., ( ),..., ,..., ( ), ,..., ( , ,..., , (

*) ( *). *, ( ... *) ( *). *, ( *) *, ( 0

, conocidas las derivadas de rdenes inferiores, derivando la

y la aplicacin derivada primera de f respecto a u mediante:

2. Frmula de Taylor para una funcin de n variables.

) ,..., ( ... ) ,..., ( ) ,..., (

C el conjunto de todos los puntos interiores a C: el interior de C) y

y f(x) es diferenciable en a, entonces una condicin necesaria para que f(x)

Con frecuencia los problemas de extremos condicionados no son sencillos de

siendo n m < . Entonces para dicho punto extremo existen m escalares

se puede resumir en los siguientes pasos:

P tal que para toda

P se verifica < A t f P S ) , , ( , sean cuales sean los

Propiedad (aditividad sobre dominios).

Teorema (de Lebesgue).

Anlogamente, si el dominio D se define mediante:

5. Cambio de variables en la integral doble.

6. Paraleleppedos y particiones en paraleleppedos en R

P tal que para toda

P se verifica < A t f P S ) , , ( , sean cuales sean los

Propiedad (aditividad sobre dominios).

Teorema (de Lebesgue).

Anlogamente, si el dominio D se define mediante:

Anlogamente, si el dominio D se define mediante:

10. Cambio de variables en la integral triple.

11. Cambios a coordenadas esfricas y cilndricas.

3.2. Utilizando los polinomios de base de Lagrange.

El error de esta frmula, si [ ] ( )

El error se puede estimar, si [ ] ( )

El error se puede estimar, si [ ] ( )

El error se obtiene combinando los desarrollos de ) (

+ = ) ( ' ' ' .

+ ) ( ' ' ' .

(Frmula del trapecio)

los puntos y pesos de la frmula de integracin en otro intervalo [ ] b a, :

C) se aproxima cada integral

donde las ) ( y ) ( ..., ), ( ), (

Con ello el sistema de e.d.o. se escribe:

Introduccin a las ecuaciones diferenciales ordinarias 67

haciendo los cambios de variables:

2. Resolucin de algunas E.D.O. de primer orden.

La resolucin de una e.d.o. exacta se obtiene de:

Introduccin a las ecuaciones diferenciales ordinarias 76

Procedimiento general de resolucin de una e.d.o. lineal completa de orden n:

H-3) Se verifica que F(x,y)=0

) ( ). , ( ... ) ( ). , ( ) , ( 0