Вы находитесь на странице: 1из 10

FORMAS NORMALES

ECUACIONES DIFERENCIALES PARCIALES


E. S

AEZ
La idea general de la Teora de Formas Normales consiste en encontrar un sistema
de coordenadas donde una determinada expresi on se reduce a una expresi on equiva-
lente que contiene s olo los terminos m as relevantes, por ejemplo, es conocido en el
estudio de las cuadr aticas reales en dos variables reales con coecientes constantes,
que existen traslaciones y rotaciones en el plano que permiten denir nuevas coorde-
nadas donde la ecuaci on de la cuadr atica no contiene el termino mixto y no contiene
al menos un termino lineal ya que son irrelevantes para la forma cualitativa de la
gr aca de la cuadr atica. Dichas ecuaciones son llamadas Can onicas. Otro ejemplo
conocido es en el estudio de las matrices cuadradas, donde se demuestra que existen
bases adecuadas en los Espacios Vectoriales respectivos tales que mediante transfor-
maciones lineales es posible representar la matriz en terminos de los valores propios
que son los n umeros realmente relevantes de la matriz. Dichas matrices se dicen de
Jordan.
La expresi on general de una Ecuaci on Diferencial Parcial Lineal Real de Segundo
Orden en dos variables, denida en un dominio del plano en coordenadas cartesianas
es de la forma
(1)
a(x, y)

2
u
x
2
+ 2b(x, y)

2
u
xy
+ c(x, y)

2
u
y
2
+ d(x, y)
u
x
+ e(x, y)
u
y
+
f(x, y)u + g(x, y) = 0
donde los coecientes a, b, c : R son funciones en dos variables que admiten
desarrollos de Taylor convergentes y no se anulan simultaneamente en . Los coe-
cientes d, e, f, g : R son funciones en dos variables y continuas.
Como la ecuaci on (1) es de segundo orden, veremos en lo que sigue que siempre es
posible reducir los coecientes de las derivadas de segundo orden a constantes muy
simples mediante un cambio de coordenadas denidas por sistema de ecuaciones de
la forma
(2)

= (x, y)
= (x, y) con
(,)
(x,y)
= 0 , (x, y)
tal que (1) en las nuevas coordenadas es equivalente a una de los siguientes tipos
de ecuaciones m as sencillas, llamadas Formas Normales , o bien , formas Formas
Departamento de Matem atica, UTFSM
email: eduardo.saez@usm.cl.
1
2 E. S

AEZ
Can onicas de (1).
(3) FormasNormales :

1.a)

2
u

2


2
u

2
+ T.O.I. = 0
1.b)

2
u

+ T.O.I. = 0
2.a)

2
u

2
+ T.O.I. = 0
2.b)

2
u

2
+ T.O.I. = 0
3)

2
u

2
+

2
u

2
+ T.O.I. = 0
donde T.O.I., designa los terminos de orden inferior al efectuar el cambio de coorde-
nadas (2) a (1) para obtener (3).
Denici on. Diremos que la ecuaci on (1) es de tipo Hiperb olica, o Parab olica,
o bien, Elptica, si y s olo si existe un cambio de coordenadas tal que la ecuaci on se
puede escribir en la Forma Normal 1., o 2., o bien 3., respectivamente.
N otese de (3) que no existe unicidad de Formas Normales. Adem as, las formas 1.),
2.) y 3.) son por denici on de tipo Hiperb olicas, Parab olicas y Elptica, respectiva-
mente.
En Fsica e Ingeniera es frecuente encontrar las E.D.P.

2
u
x
2


2
u
t
2
= 0 Ecuaci on de Onda Unidimensional

2
u
x
2

u
t
= 0 Ecuaci on de Calor Unidimensional

2
u
x
2
+

2
u
y
2
= 0 Ecuaci on de Laplace Bidimensional
Estas ecuaciones son ejemplos inmediatos de Ecuaciones de tipo Hiperb olica, Parab olica
y Elptica, respectivamente.
Teorema
La E.D.P. (1) es reducible en a la forma:
1) Hiperb olica si y s olo si b(x, y)
2
a(x, y)c(x, y) > 0 , (x, y)
2) Parab olica si y s olo si b(x, y)
2
a(x, y)c(x, y) = 0 , (x, y)
3) Elptica si y s olo si b(x, y)
2
a(x, y)c(x, y) < 0 , (x, y)
Demostraci on
Sea : R tal que (x, y) = b(x, y)
2
a(x, y)c(x, y). Demostraremos
en primer lugar que en , el signo del discriminante (x, y) es invariante bajo un
cambio de coordenadas del tipo (2). Por (2) es inmediato que existe una cadena de
dependencia de las variables del tipo:
u

x
y
FORMAS NORMALES DE ECUACIONES ... 3
Usando la Regla de la Cadena y cambiando de notaci on se obtiene que las derivadas
parciales respecto de x e y, estan dadas por las expresiones:

u
x
= u

x
+ u

x
u
y
= u

y
+ u

y
u
xx
= u

2
x
+ 2u

x
+ u

2
x
+ T.O.I.
u
xy
= u

x
+ u

x
+ u

x
+ u

y
+ T.O.I.
u
yy
= u

2
y
+ 2u

y
+ u

2
y
+ T.O.I.
Reemplazando las derivadas parciales anteriores en (1) se obtiene que la forma general
de la Ecuaci on Parcial en las cordenadas (, ) es del tipo
(4) Au

+ 2Bu

+ Cu

+ T.O.I. = 0
donde los coecientes de las derivadas de segundo orden est an dadas por:
(5)

A = a
2
x
+ 2b
x

y
+ c
2
y
B = a
x

x
+ b(
x

y
+
y

x
) + c
y

y
C = a
2
x
+ 2b
x

y
+ c
2
y
Con un c alculo operatorio simple se verica la identidad:
B
2
AC (b
2
ac)(
x

x
)
2
(b
2
ac)

(, )
(x, y)

2
La identidad anterior, demuestra que el signo de la expresi on = b
2
ac es invariante
bajo cambio de coordenadas pues
Sing(B
2
AC) = Sing(b
2
ac) si y s olo si

(, )
(x, y)

2
= 0
(). Es inmediato de (3) que las Formas Normales : Hiperb olica, Parab olica y
Elptica implican, respectivamente: (x, y) 1(resp.
1
4
), (x, y) 0 y (x, y)
1, de donde los signos de (x, y) en son positivos, cero y negativo ya que son
invariantes bajo cambio de coordenadas.
() Demostraremos a continuaci on que dependiendo del signo de , existe un
cambio de coordenadas (2) que transforma (1) a una de las respectivas Formas Nor-
males en (3).
Caso 1.- Supongamos que (x, y) > 0 en y busquemos funciones = (x, y), =
(x, y) tales que anulen simultaneamente las expresiones de A y C en (5). Si tales
funciones existen entonces B = 0 en (5) pues B
2
AC > 0 y dividiendo (4) por
1
2B
se tiene la Forma Normal 1.b) de (3).
La demostraci on se reduce a analizar la consistencia del sistema de ecuaciones
diferenciales de primer orden
(6)
a
2
x
+ 2b
x

y
+ c
2
y
= 0
a
2
x
+ 2b
x

y
+ c
2
y
= 0
4 E. S

AEZ
Como las ecuaciones del sistema son similares, el estudio de la primera de ellas es
v alido para la segunda ecuaci on cambiando el rol de por .
La primera ecuaci on del sistema, dividida por
2
y
tiene la forma
(7) a

2
+ 2b

y
+ c = 0
Si a = 0 en cada punto de , se tiene una ecuaci on de segundo grado donde el
cuociente
x
y
juega el rol de inc ognita. Sus soluciones son:

y
=
b +

b
2
ac
a
, o bien,

x

y
=
b

b
2
ac
a
Sean las ecuaciones diferenciales ordinarias
(8)
dy
dx
=
b

b
2
ac
a
, y ,
dy
dx
=
b +

b
2
ac
a
Si (x, y) = cte es una soluci on general de la segunda ecuaci on anterior, entonces es
inmediato que
x
dx +
y
dy = 0 y en consecuencia
dy
dx
=
x
y
, de donde el cuociente
x
y
es soluci on de la ecuaci on de segundo grado (7) y la funci on satisface la primera
ecuaci on del sistema (6). Analogamente si (x, y) = cte es soluci on general de la
primera ecuaci on de (8), entonces la funci on satisface la segunda ecuaci on del
sistema (6).
Para demostrar que la transformaci on

= (x, y)
= (x, y)
dene un cambio coordenadas en , basta demostrar que el jacobiano de la transfor-
maci on no se anula en . En efecto las funciones y , por (7) y (8) satisfacen


x
y
=
b+

b
2
ac
a

x
y
=
b

b
2
ac
a
Luego
x
y

x
y
= 2

b
2
ac
a
= 0 , de donde,
xyyx
yy
= 0
Entonces,
x

x
=
(,)
(x,y)
= 0 , x, y
Si a 0, entonces b(x, y) = 0 en cada punto de pues por hip otesis (x, y) > 0. Si
c 0, basta dividir (1) por 2b para tener la forma normal de la ecuaci on diferencial.
Sea entonces c(x, y) = 0 en cada punto de . El sistema (6) se reduce a la expresi on
2b
x

y
+ c
2
y
= 0
2b
x

y
+ c
2
y
= 0
FORMAS NORMALES DE ECUACIONES ... 5
Dividiendo la primera ecuaci on del sistema por
2
x
se tiene la ecuaci on de segundo
grado con inc ognita el cuociente
y
x
;
2b

x
+ c(

x
)
2
= 0
o bien factorizando ,

x
(2b + c

x
) = 0
Sus soluciones son :

x
= 0 , o bien ,

y

x
=
2b
c
Sean las ecuaciones diferenciales ordinarias
dx
dy
= 0 , y ,
dx
dy
=
2b
c
Sean x = cte , y , (x, y) = cte las respectivas soluciones generales de las ecuaciones
ordinarias, entonces

= x
= (x, y)
satisface el sistema (6). El sistema como una transformaci on dene un cambio de
coordenadas pues
(,)
(x,y)
=

y
= 0 , ya que, b = 0. Lo anterior demuestra s olo la parte
1) del Teorema.
Caso 2.- Supongamos que (x, y) 0 en . An alogamente a lo anterior busque-
mos ahora funciones = (x, y), = (x, y) tales que anulen simultaneamente las
expresiones de A y B en (5).
Si a 0 en (1) entonces b 0 pues b
2
ac 0, luego c = 0 en cada punto de .
Basta dividir (1) por c para tener la forma Parab olica 2.b).
Si a = 0 en cada punto de en (1), del caso 1.- se sabe que la funci on = (x, y)
obtenida de la segunda ecuaci on diferencial en (8), (que se reduce a la forma m as
simple
dy
dx
=
b
a
), tiene la propiedad de anular la expresi on de A . Pero B
2
AC 0
pues el sig((x, y)) es invariante bajo cambios de coordenadas, entonces la misma
funci on = (x, y) anterior, tambien anula B. Por otro lado basta tomar (x, y) = y
ya que en el caso c = 0 en cada punto de , no anula la expresi on de C (si c 0
el teorema es inmediato pues (1) dividida por a se encuentra en la forma normal
Parab olica 2.b))
Para terminar la demostraci on de este caso falta demostrar que la transformaci on
denida por el sistema:

= (x, y)
= y , dene un cambio de coordenadas en .
6 E. S

AEZ
Pero
(, )
(x, y)
=

x

y
0 1
=
x
, y

x

y
=
b
a
Si b 0 en , entonces c 0 y la demostraci on es inmediata pues basta dividir (1)
por a para tener la forma normal Parab olica 2.b).
Si b = 0 en cada punto de , entonces
x
= 0 y el Jacobiano anterior no se anula
en lo que termina la demostraci on del caso 2.-.
Caso 3.- Supongamos que (x, y) < 0 en . Busquemos funciones = (x, y), =
(x, y) tales que simultaneamente anule la expresiones de B y se tenga la identidad
A C en (5). Entonces de (5) y de las identidades en , AC 0 y B 0 se tiene
respectivamente el sistema:
(9)

a(
2
x

2
x
) + 2b(
x

y
) + c(
2
y

2
y
) = 0
a
x

x
+ b(
x

y
+
y

x
) + c
y

y
= 0
Multiplicando la segunda ecuaci on del sistema por 2i y sumando con la primera se
obtiene:
a(
x
+ i
x
)
2
+ 2b(
x
+ i
x
)(
y
+ i
y
) + c(
y
+ i
y
)
2
= 0
Dividiendo la ecuaci on por (
y
+ i
y
)
2
se tiene:
a(

x
+ i
x

y
+ i
y
)
2
+ 2b(

x
+ i
x

y
+ i
y
) + c = 0
Esta expresi on signica que el cuociente
x+ix
y+iy
es soluci on de la ecuaci on de segundo
grado aX
2
+ 2bX + c = 0, es decir,
(10)

x
+ i
x

y
+ i
y
=
b i

ac b
2
a
N otese que a = 0 en cada punto de pues b
2
ac < 0 (el caso a = 0 no es posible
pues b
2
< 0 es una contradicci on .)
Consideremos la ecuaci on diferencial ordinaria
dy
dx
=
b + i

ac b
2
a
, y sea , (x, y) = (x, y) + i(x, y) = c
1
+ ic
2
C
su soluci on general, donde c
1
+ ic
2
es una constante compleja arbitraria.
Pero la diferencial de (x, y) = cte es d =
x
dx +
y
dy = 0, entonces
dy
dx
=
x
y
y en consecuencia se tiene (10).
El c alculo anterior signica que las funciones
(11)

= (x, y)
= (x, y)
satisfacen el sistema (9) y en consecuencia AC B 0.
FORMAS NORMALES DE ECUACIONES ... 7
Falta demostrar que el sistema (11) dene una transformaci on que es un cambio
de coordenadas, o bien , que
(,)
(x,y)
= 0 en cada punto de .
Consideremos la parte imaginaria
Im(

x
+ i
x

y
+ i
y
) =

y

2
y
+
2
y
=

ac b
2
a
= 0 , en cada punto de
Entonces
(, )
(x, y)
=
x

x
= 0 , en cada punto de
lo que concluye la demostraci on.
Comentario 1. El teorema anterior se generaliza a E.D.P. lineales de segundo
orden denidas en un dominio R
n
. Por cambios de coordenadas la forma general
de la E.D.P. se puede escribir en la forma normal
n

i=1

2
u

2
i
+ T.O.I. = 0 , y se tiene la siguiente clasicaci on :
1) Elptica i,
i
> 0 (resp.
i
< 0)
2) Parab olica i,
i
= 0
3) Hiperb olica (!)i,
i
> 0 (resp.
i
< 0) ,
j
< 0 (resp.
j
> 0) si i = j
4) Ultrahiperb olica Existe m as de un
i
> 0 y m as de un
i
< 0
Comentario 2. Sea la funci on asociada a una misma E.D.P. de la forma (1)
: R
2
R, tal que , (x, y) = b
2
(x, y) a(x, y)c(x, y)
Consideremos la partici on de en los tres conjuntos
=
1

2

3
donde
1
=
1
(, 0),
2
=
1
(0) y
3
=
1
(0, )
Entonces, una misma ecuaci on puede ser de los tres tipos: Elptica , Parab olica, o
bien, Hiperb olica si se restringe a los conjuntos
1
,
2
, o bien ,
3
respectivamente.
Es decir, el tipo de ecuaci on depende del dominio de denici on de los coecientes de
la E.D.P.
Ejercicio interesante
Encontrar la soluci on de la ecuaci on de Onda Unidimensional

2
u
t
2
= k
2

2
u
x
2
donde k > 0 es una constante,
tal que satisfaga las condiciones iniciales de Cauchy:
(12)
u(x, 0) = f(x)
u
t
(x, 0) = g(x)
con f, g C
1
Soluci on: Si el coeciente k = 1 en la ecuaci on de Onda, entonces dicha ecuaci on
no est a escrita en forma normal por la presencia de este coeciente diferente de uno .
8 E. S

AEZ
Es inmediato que, (x, y) = b
2
ac = k
2
> 0 y en consecuencia la ecuaci on de Onda
es de tipo Hiperb olico.
Sean las ecuaciones diferenciales ordinarias
dt
dx
=
b +

b
2
ac
a
=
1
k
,
dt
dx
=
b

b
2
ac
a
=
1
k
Entonces las respectivas soluciones generales son:
x kt = c
1
, x + kt = c
2
, donde c
1
, c
2
son constantes arbitrarias.
Luego existe el cambio de coordenadas
= x kt
= x + kt
, donde la Ec. de Onda es de la forma Hiperb olica
De (5) se tiene que B = 2 y la ecuaci on en las nuevas coordenadas es de la forma
2B

2
u

+ T.O.I = 0. Es simple vericar que los terminos T.O.I 0, dividiendo la


ecuaci on anterior por 4 se tiene la forma hiperb olica

2
u

= 0. Es claro que cualquier


funci on que depende s olo de unas de las variables es anulada por la derivada mixta
(se supone de clase C
2
). Entonces
u = () + () , con , C
2
funciones arbitrarias
son soluciones de la forma hiperb olica. En consecuencia, regresando a las variables
originales por el cambio de coordenadas ,
(13) u(x, t) = (x kt) + (x + kt)
son soluciones arbitrarias de la ecuaci on de Onda.
Consideremos la siguiente interpretaci on de la soluci on u = (xkt) . Supongamos
que la gr aca de en el instante inicial t = 0 es como la curva
0
de la gura. Entonces
la gr aca de u = (xkt) es una curva din amica
t
que como funci on del tiempo, se
desplaza s = kt unidades hacia la derecha a velocidad k, pues kt > 0. An alogamente
la gr aca de (x + kt) es una curva que como funci on del tiempo se desplaza s = kt
unidades a velocidad k hacia la izquierda pues kt < 0. Por estas interpretaciones
, se dice que las soluciones de la ecuaci on de Onda, u(x, t) = (x kt) + (x + kt)
son sumas de ondas viajeras como indica la gura:
x
u

0

t
kt
FORMAS NORMALES DE ECUACIONES ... 9
Busquemos ahora las funciones , tales que la(s) soluci on(es) satisface(en) las condi-
ciones iniciales de Cauchy, es decir, la(s) soluci on(es) satisfacen las condiciones (12),
entonces tomando t = 0 en (13) se tiene que , satisfacen el sistema:

f(x) = (x) + (x)


g(x) = k

(x) + k

(x)
Derivando la primera ecuaci on del sistema anterior respecto de x se tiene que las
derivadas de , satisfacen el sistema:

(x) +

(x) = f

(x)
k

(x) + k

(x) = g(x)
Despejando del sistema las derivadas de , tenemos:

(x) =
kf

(x)g(x)
2k

(x) =
kf

(x)+g(x)
2k
Integrando respecto de x se tiene las identidades:

(x)
f(x)
2

1
2k

x
0
g()d
(x)
f(x)
2
+
1
2k

x
0
g()d
Reemplazando x x kt y x x +kt en la primera y segunda identidad respecti-
vamente se obtiene

(x kt)
f(xkt)
2

1
2k

xkt
0
g()d
(x + kt)
f(x+kt)
2
+
1
2k

x+kt
0
g()d
Finalmente, sumando las dos identidades anteriores encontramos la soluci on llamada
de DAlambert del problema de la Ecuaci on de Onda con condiciones iniciales de
Cauchy.
u(x, t) =
1
2
[f(x + kt) + f(x kt)] +
1
2k

x+kt
xkt
g()d
Ejercicios propuestos:
1) Clasicar y reducir a su forma normal:
i) u
xx
+ 2u
xy
+ u
yy
+ u
x
u
y
= 0
ii) u
xx
+ 2u
xy
+ 5u
yy
+ 3u
x
+ u = 0
iii) y
2
u
xx
+ 2xyu
xy
3x
2
u
yy
=
y
2
x
u
x
3
x
2
y
u
y
iv) x
2
u
xx
y
2
u
yy
= 0
2) Demostrar que terminos de primer orden de una E.D.P., se pueden anular
bajo la sustituci on: u = ve
Ax+By
.
10 E. S

AEZ
3) Cu al es la soluci on de la E.D.P.
u
xx
u
yy
= 3x
2
2y
tal que satisface las condiciones:

u(x, 0) =
1
4
x
2
u
y
(x, 0) = x
4) Sea u = u(x, t) y considere la E.D.P.
x

2
u
x
2
+ 2
u
x
=
x
c
2

2
u
t
2
, x = 0 , c > 0.
i) Introduzca en la E.D.P. la sustituci on v(x, t) = xu(x, t).
ii) Escribir la E.D.P. obtenida en i) en su forma normal.
ii) Encontrar la soluci on de la E.D.P planteada, tal que satisface las condi-
ciones iniciales de Cauchy:

u(x, 0) = x
u
t
(x, 0) = 2c.
5) Sea la ecuaci on de Onda Unidimensional

2
z
t
2
=

2
z
x
2
, con < x < , t > 0
i) Cu al es la soluci on que satisface las condiciones iniciales de Cauchy ?
z(x, 0) = 1 x
2
z
t
(x, 0) = 0
ii) En el plano xz haga un bosquejo de la soluci on para t = 0 y t = 1.
iii) En el plano xz. Para que tiempo t > 0 la soluci on encontrada en i)
pasa por el punto (x, z) = (0, 4) ?. Haga un bosquejo de la onda.
iv) Existe algun instante t tal que la soluci on encontrada en i) pasa, en el
plano xz, por el punto (x, z) = (1,
1
2
).
6) Sea el problema de Cauchy

2
u
t
2
=

2
u
x
2
; x, t R
u(x, 0) =

sen x si x [0, ]
0 si otro caso
u
t
(x, 0) 0
Haga un bosquejo en el plano ux, de la onda soluci on del problema, en el
instante t = .
References
[1] A. R. Castro F. Curso b asico de ecuaciones en derivadas parciales . Addison-Wesley Iberoame-
ricana . Wilmington, Delaware. E.U.A. 1997.
[2] I. Peral A. Primer curso de ecuaciones en derivadas parciales . Addison-Wesley / Universidad
Aut onoma de Madrid. Wilmington, Delaware. E.U.A. 1995.

Вам также может понравиться