- UTC
Diferencial: Exacta
Concepto
(x , y ) , un campo escalar.
Ejemplo 1
con = ]1, 1[ x 2 , x + 2 .
Desarrollo:
(x , y ) (x , y ) ]1, 1[ x 2 , x + 2 x ] 1, 1[; y x 2 , x + 2 .
y
y<
x+
z3
2 1 0 -1 -2 -3 3 2 -1 -0.5 0 x 0.5 1-3 -2 -1 1 0 y
El campo escalar z = F(x , y ) = ex cos y , est realizado con WxMaxima, pero sobre una regin rectangular dada por =] 1, 1[] 3, 3[, sujeto a las instrucciones :
-->plot3d(exp(x)*cos(y),[x,-1,1],[y,-3,3],[grid,50,50],[gnuplot_pm3d,true], [gnuplot_preamble,"set pm3d at s;set surface;set contour;set cntrparam levels 20;unset key"]);
Como cada derivada parcial de z = F(x , y ) resultar en un producto de funciones continuas sobre , sean de rdenes que sean, se cumplir la igualdad de las derivadas parciales mixtas, como en el caso de las de segundo orden, resultando ser :
2 F x y
2d o sem - 2013 5 Clase
2 F y x
o bien
Fx y = F yx
http://wmoscoso01@gmail.com
-1-
- UTC
Diferencial de un campo escalar Dado el campo escalar sobre el dominio , del concepto anterior, se dene la diferencial total de z = F(x , y ) mediante la proposicin :
Denicin 1-1
dz =
F(x , y ) x
dx +
F(x , y ) y
dy
Ejemplo 2
Del ejemplo 1, sabido es que z = F(x , y ) = ex cos y . Se pide hallar la diferencial total correspondiente a este campo escalar. Desarrollo:
De hecho, z x = ex cos y ,
z y = ex sen y :
. . .
d z = ex cos y d x sen y d y
y, adems observamos que como ex , sen y son continuas en R, entonces ex sen y es continua en cualquier subcnjunto abierto de R2 , y por tanto
z yx = ex sen y z x y = ex sen y
Ecuacin Diferencial Exacta Es una EDO1 de la forma
= z x y = z yx .
M(x , y ) d x + N(x , y ) d y = 0
para la cual se satisface que
Denicin 1-2
M y = Nx .
Luego, debe existir un campo escalar continuamente diferenciable z = F(x , y ) denido en algn abierto de R2 , por lo menos hasta el orden 2, de modo que :
Fx = M(x , y ),
F y = N(x , y ).
Ejemplo 3
5x + y 2 cos x d x + 7 y 3 + 2 y sen x d y = 0.
M(x , y ) = 5x + y 2 cos x
3
= M y = 2 y cos x
M y = Nx .
http://wmoscoso01@gmail.com
- UTC
Diferencial: Exacta
Ahora nos abocamos a la tarea de encontrar el campo escalar del cul esta edo es la diferencial exacta, para ello utilizamos el siguiente recurso : Denominemos el probable campo escalar como f (x , y ) para el cual asumimos, primero, que :
f x = M(x , y ) = 5x + y 2 cos x
y , se obtiene : 5 f (x , y ) = x 2 + y 2 sen x + K( y ) 2 en este punto, derivando parcialmente respecto de y , y usando la segunda forma f y = N(x , y ), se obtiene :
fy = 2y sen x + K ( y ) = N(x , y ) = 7 y 3 + 2y sen x 7 K ( y ) = 7 y 3 K( y ) = y 4 + C 4
y de este modo habremos determinado dicho campo escalar, el cual queda propuesto por :
7 5 f (x , y ) = x 2 + y 2 sen x + y 4 + C 2 4
y, si se asume f (x , y ) constante, la diferencial total genera la ecuacin diferencial dada. El problema que surge ahora, es cuando M(x , y ) d x + N(x , y ) d y = 0 resulta no ser una ecuacin diferencial exacta, luego de haber descartado todos los otros esquema de solucin, para ello revisaremos la siguiente seccin :
1 1 Factor Integrante
Un factor integrante es un campo escalar (x , y ) tal que al multiplicarlo por una edo no exacta M(x , y ) d x + N(x , y ) d y = 0 la transforma en una edo exacta. Concepto
Observe
Factores integrantes para una edo no exacta hay ms de uno, as es que no existe una frmula nica que los represente a todos ellos. El punto es que hay que tener mucho cuidado en cmo determinar alguno de ellos. Sin describir los esquemas particulares que muestran algunos apuntes de ecuaciones diferenciales, en los cules se construyen factores integrantes que dependen o bien de x o bien de y , determinaremos un esquema que se pueda aplicar a cualquier caso en que la suposicin considere ambas variables, sea el caso de la representacin escalar :
= (z (x , y ))
-3-
http://wmoscoso01@gmail.com
( M) y = ( N)x y M + M y = x N + Nx
en el que factorizando por obtenemos la expresin
M y N x = x N y M
formulismo con el que se determinan los factores integrantes para los casos univaribles tales como = (x ) o bien = ( y ). En el caso genrico = (z (x , y )), se opera usando la regla de la cadena respecto del parmetro z sobre x y sobre y , donde z = z (x , y ) es una forma conocida priori. Las transformaciones sugeridas son :
x = z z x
y = z z y
en donde z x , z y son formas conocidas que se obtienen derivando parcialmente la forma conocida z = z (x , y ), de donde
M y Nx = z z x N z y M
Es una edo de variables separables, que genera la expresin
du u
M y Nx zx N z y M M y Nx
dz
zx N z y M
3 y 2 x d x + 2 y y 2 3x d y = 0.
de la forma = (x + y 2 ) Desarrollo: En este caso asumimos que z = x + y 2 . De modo que z x = 1; z y = 2 y .
M = 3y 2 x N = 2 y y 3x
elementos que nos permiten deducir que
2
My = 6y N x = 6 y
M y Nx Nz x M z y
= 6 y (6 y ) = 12 y = 2 y y 2 3x 1 3 y 2 x (2 y )
3 x y 6 y 3 + = 2y 6 2x y 4 4
= 4 y 3 4 x y = 4 y ( x + y 2 ) = 4 y z
2d o sem - 2013 5 Clase -4http://wmoscoso01@gmail.com
Diferencial: Exacta
du
3 12 y = d z = u 4 yz
du u
dz z C x + y2
ln |u | = ln
C z
-5-
http://wmoscoso01@gmail.com