Ecuaciones cuasilineales de primer orden

Yaneth Liliana Rivera

Director: Gilberto Prez P.
Universidad Pedaggica y Tecnolgica de Colombia
Facultad de Ciencias
Licenciatura en Matemticas
Tunja, agosto de 2008
i
ndice general
Lista de smbolos III
Introduccin IV
Objetivos V
0.1. Objetivo general . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . v
0.2. Objetivos especcos . . . . . . . . . . . . . . . . . . . . . . . . . . . . v
1. Conceptos bsicos 1
1.1. Clculo vectorial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2. Ecuaciones diferenciales . . . . . . . . . . . . . . . . . . . . . . . . . . 6
2. Ecuaciones cusilineales de primer orden 9
2.1. Ecuaciones en derivadas parciales de primer orden. Ecuaciones de Euler 9
2.2. Ecuaciones cuasilineales . . . . . . . . . . . . . . . . . . . . . . . . . . 14
2.3. Generacin de una supercie a partir de las curvas caractersticas . . . 17
2.4. Problema de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
2.5. Dependencia continua respecto a los datos . . . . . . . . . . . . . . . . 29
2.6. Soluciones dbiles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
2.6.1. Condicin de salto . . . . . . . . . . . . . . . . . . . . . . . . . 35
3. Ejercicios resueltos de 111 cuasilineales 41
Conclusiones 64
Bibliografa 65
ii
Lista de smbolos
R Nmeros reales.
R
a
Espacio Eucldeo : dimensional.
(([c. /]) Espacio de funciones continuas en el intervalo [c. /].
(
1
([c. /]) Espacio de funciones con primera derivada continua en el intervalo [c. /].
(
1
(R
3
) Espacio de funciones con primera derivada continua en R
3
. Producto interno en R
a
| | Norma.
1
v
(r
0
) Bola de radio : y centro r
0
.
[ [ Valor absoluto.
\, Gradiente del campo escalar ,
F Campo de vectores
:otF Rotacional de un campo F
diF Divergencia de un campo de vectoresF.
Subconjunto de R
3
abierto y conexo.
o| [1
v
(r
0
)] Volumen de una bola de radio : y centro r
0
J1 Frontera del abierto 1
n Vector normal a una supercie
det Funcin Determinante
iii
Introduccin
La historia de las ecuaciones diferenciales comenz en el siglo A\ 11 cuando Newton,
Leibniz y los Bernoulli resolvieron algunas ecuaciones diferenciales sencillas de primero
y segundo orden que se presentaron en problemas de geometra y Mecnica. Pronto
vieron que relativamente pocas ecuaciones diferenciales podan resolverse con recursos
elementales, fueron dndose cuenta que era en vano el empeo de intentar descubrir
mtodos para resolver todas las ecuaciones diferenciales, en lugar de ello, encontraron
ms provechoso averiguar si una ecuacin dada tena o no solucin y an cuando tena,
intentar la deduccin de propiedades de la solucin a partir de la misma ecuacin dife-
rencial. Con ello comenzaron a considerar las ecuaciones diferenciales como fuentes de
nuevas funciones. A partir del siglo A1A se desarroll una fase importante de esta
teora, siguiendo una tendencia de conseguir un desarrollo ms riguroso de clculo.
Las ecuaciones en derivadas parciales (111). tienen gran aplicacin en las
diferentes profesiones que se relacionan con la matemtica; por ejemplo la fsica, la
qumica y la ingeniera, entre otras.
En este trabajo se estudiar el mtodo de las caractersticas para solucionar el
problema de Cauhy de ecuaciones cuasilineales de primer orden. Como gua se ha
seguido principalmente el texto [12]. Aunque este tipo de ecuaciones se pueden tratar
para un nmero cualquiera : de variables independientes, en este trabajo slo se tratar
el caso : = 2, que permite mostrar de manera ms clara la interpretacin geomtrica
de las soluciones de estas ecuaciones, es decir, se trabaja en un espacio bidimensional.
La redaccin de un documento de texto donde se muestren los detalles de los re-
sultados bsicos de una teora con sus ejemplos, tiene como n servir de ayuda a los
estudiantes interesados en incursionar por primera vez en esta. Este material puede
facilitar la comprensin de algunos conceptos y resultados elementales de las 111
cuasilineales de primer orden.
iv
Objetivos
0.1. Objetivo general
Hacer un estudio de los resultados bsicos de la teora de ecuaciones en derivadas
parciales cuasilineales de primer orden.
0.2. Objetivos especcos
1. Estudiar el problema de Cauchy para ecuaciones cusilineales de primer orden.
2. Reconstruir de manera detallada los resultados bsicos de esta teora.
3. Ilustrar la temtica por medio de la presentacin de ejemplos y ejercicios.
4. Dar a conocer algunas aplicaciones que tienen las ecuaciones diferenciales cuasi-
lineales de primer orden.
5. Elaborar un documento donde se muestre los detalles del estudio desarrollado.
v
Captulo 1
Conceptos bsicos
Este captulo contiene algunos conceptos y resultados que pueden ayudar a la com-
prensin del contenido de este trabajo.
1.1. Clculo vectorial
Por R
a
se entiende el espacio vectorial real R... R con su estructura topolgica
usual. dotado de una norma sin importar cual, ya que en R
a
todas las normas son
equivalentes.
Derivada direccional
La derivada direccional expresa la razn de cambio de una funcin de dos o ms
variables en cualquier direccin.
Si n es una funcin escalar de variables r
1
..... r
a
. el gradiente de n es la funcin
vectorial \n denida por
\n(r
1
. .... r
a
) =
_
Jn
Jr
1
.....
Jn
Jr
a
_
.
Si es un vector unitario, la derivada
n
0
(a; y) = \n(a) . y
se llama derivada direccional de n en a en la direccin de y. En particular, si y = c
I
(el
/-simo vector cannico) la derivada direccional n
0
(c; c
I
) se denomina derivada parcial
respecto a r
I
y se representa mediante el smbolo 1
I
n(a) o
Jn
Jr
I
. Es decir,
1
I
n(a) = n
0
(a; c
I
) =
Jn
Jr
I
(c
1
. .... c
a
).
1
Si o es una supercie y n es un vector normal a o en el punto a. la derivada \, (a) n
representa la densidad del ujo de , a travs de la supercie, esta derivada se escribe
tambin como
Jn
Jn
.
Funcin diferenciable
Sea n : o R un campo escalar denido de o R
a
. Sean a un punto interior a o
y 1
v
(a) una : /o|c contenida en o. Sea h un vector tal que |h| < :. de modo que
a +h 1
v
(a) .
Se dice que la funcin n es diferenciable en un punto a. si existe una funcin escalar
1 (a. h) tal que
n(a +h) = n(a) +\n(a) h+|h| 1 (a. h) .
donde 1 (a. h) 0 cuando / 0.
Una condicin suciente de diferenciabilidad de la funcin n en el punto a. es la
existencia de sus derivadas parciales en alguna :/o|c 1(a) y la continuidad de estas
en el punto a.
Regla de la cadena general
Suponga que n es una funcin diferenciable de las : variables r
1
. r
2
. .... r
a
y cada r
)
es una funcin diferenciable de las : variables t
1
. t
2
. .... t
n
. Entonces n es una funcin
de t
1
. t
2
. .... t
n
. y
Jn
Jt
i
=
Jn
Jr
1
Jr
1
Jt
i
+
Jn
Jr
2
Jr
2
Jt
i
+ ... +
Jn
Jr
a
Jr
a
Jt
i
para cada i = 1. 2. .... :.
Regla de Leibniz
La regla de Leibniz arma que si 1 (r) =
_

&
q (r. t) dt. donde n y son funciones
de r. y t es una variable muda, entonces
d
dr
1 (r) =
_

&
J
Jr
q (r. t) dt + q (r. )
d
dr
q (r. n)
dn
dr
.
Teorema de la funcin inversa
Teorema 1.1 Sea l R
a
abierto y n
1
: l R. .... n
a
: l R con derivadas
parciales continuas. Considrense las ecuaciones
_

1
= n
1
(r
1
. . . . . r
a
)
.
.
.
.
.
.

a
n
a
(r
1
. r
2
. . . . . r
a
)
(1.1)
2
cerca de una solucin dada x
0
. y
0
. Si el determinante Jacobiano
J (n) (x
0
) =
J(n
1
. . . . . n
a
)
J(r
1,
. . . . r
a
)

x
0
= det
_
_
_
_
_
_
Jn
1
Jr
1
(x
0
)
Jn
1
Jr
a
(x
0
)
.
.
.
.
.
.
.
.
.
Jn
a
Jr
1
(x
0
)
Jn
a
Jr
a
(x
0
)
_
_
_
_
_
_
,= 0.
entonces (1.1) se puede resolver de manera nica como x =q (y) para x en un entorno
de x
0
e y en un entorno 1 de y
0
. Adems, la funcin q tiene derivadas parciales
continuas.
La funcin q obtenida en el teorema anterior se llama inversa local de n.
Denicin 1.2 (Campo vectorial) Sea 1 R
3
. Un campo vectorial sobre R
3
es
una funcin F que asigna a cada punto (r. . .) en 1, un vector tridimensional
F(r. . .) = (,
1
(r. . .) . ,
2
(r. . .) . ,
3
(r. . .)) .
donde las ,
i
son funciones escalares.
La mejor forma de ilustrar un campo vectorial es representar el vector F(r. . .)
con una echa con origen en el punto (r. . .) . Puesto que es imposible hacerlo para
todos los puntos de 1, esta representacin se hace slo para algunos puntos, como se
muestra en los ejemplos siguientes.
Ejemplo 1.3 Campo vectorial F(r. . .) = (. .. r) .
2.5
1.25
0
-1.25
-2.5
2.5
1.25
0
-1.25
-2.5
2.5
1.25
0
-1.25
-2.5
x y
z
x y
z
3
Ejemplo 1.4 Campo vectorial F(r. . .) = (. r. .).
5
2.5
0
-2.5
-5
5
2.5
0
-2.5
-5
5
2.5
0
-2.5
-5
x y
z
x y
z
Teorema 1.5 Sea F = (1
1
. 1
2
. 1
3
) un campo de vectores en R
3
tal que :otF = 0.
Entonces F es un campo conservativo, es decir, existe , : R
3
R. , (
1
(R
3
) tal
que \, = F. es decir, 1
1
= ,
a
, 1
2
= ,
j
. 1
3
= ,
:
Una tal , puede tener la forma
,(r. . .) =
_
a
0
1
1
(:. . .)d: +
_
j
0
1
2
(0. :. .)d: +
_
:
0
(0. 0. :)d: + /.
donde / es una costante arbitraria.
Denicin 1.6 (Dominio regular) Sea 1 R
.
un dominio acotado. Se dice que
1 es regular si para cada r
0
J1 existe un entorno l de r
0
en R
.
y una funcin
, : l 1
continuamente diferenciable, de forma que
1. \,(r) ,= 0 si r l.
2. J1 l = r l. ,(r) = 0 .
3. 1 l = r l. ,(r) < 0 .
La denicin anterior establece que un dominio regular tiene su frontera denida
localmente por ceros de funciones continuamente diferenciables, es decir, por trozos de
supercies diferenciables en R
.
denidas implcitamente.
4
Sea 1 un dominio regular y sea r J1. Un vector normal a J1 en r viene dado
por n = \,(r), donde , es una funcin que dene a J1 en un entorno de r. Se dice
que n es normal exterior a J1 en r si para o 0 sucientemente pequeo y 0 < t < o
se verica que
r tn 1.
r + tn R
.
1.
Si se denota por (r) la normal exterior unitaria en r a J1 y si 1 es regular, entonces
(r) es un campo continuo en J1, [12].
Divergencia y Rotacional
Unas operaciones que se efectan sobre los campos vectoriales y que son usadas en
aplicaciones del clculo vectorial son las llamadas divergencia y rotacional. La diver-
gencia se asemeja a la derivacin y genera un campo escalar.
Sea F = (1
1
. .... 1
a
) un campo vectorial en R
a
. la divergencia de F se dene por
\ F = diF =

a
i=1
J1
i
Jr
i
.
En el modelo del campo de velocidades de un uido, la divergencia mide la tasa de
cambio del volumen, [16].
El rotacional genera un campo vectorial. Para F = (1
1
. 1
2
. 1
3
) se dene por
1otF = \\F =
_
J1
3
Jr
2

J1
2
Jr
3
.
J1
1
Jr
3

J1
3
Jr
1
.
J1
2
Jr
1

J1
1
Jr
2
_
.
Teorema 1.7 (Teorema de la divergencia de Gauss.) Sea 1 un dominio regular
en R
3
y F (
1
(1) un campo de vectores. Entonces
_
01
F. n d: =
_
1
diFd.
donde n es un vector unitario normal a la frontera J1.
Teorema 1.8 Sea 1 un dominio en R
a
y , : 1 R acotada y continua en 1.
Entonces existe un punto . 1 tal que
_
1
,()d = \ o|(1),(.).
donde o| [1
v
(r
0
)] es el volumen de la bola de radio : y centro r
0
. Vase [3].
De este teorema se deduce la proposicin siguiente.
5
Proposicin 1.9 Si , es una funcin continua se verica que
,(r
0
) = lm
v!0
1
o| [1
v
(r
0
)]
_
1r(a
0
)
,()d.
De esta proposicin se deduce que si , es continua y
_
Q
,d = 0. para cualquier
bola Q 1. entonces , = 0 en 1.
Rango de una matriz
Denicin 1.10 Sea A una matriz de ::. Se dene la imagen de A como
1:cq (A) = y R
n
: Ax = y. x R
a

y el rango de por
j (A) = dim(1:cq (A)) .
1.2. Ecuaciones diferenciales
El desarrollo de modelos matemticos hacen comprender mejor los fenmenos fsi-
cos. Algunos de estos modelos producen ecuaciones que contiene derivadas de una
funcin incgnita. Esta ecuacin es llamada ecuacin diferencial.
Denicin 1.11 Una ecuacin diferencial es cualquier ecuacin en la que intervienen
una variable dependiente y sus derivadas con respecto a una o ms variables indepen-
dientes.
Clasicacin
Las ecuaciones diferenciales tienen varias clasicaciones dependiendo de los criterios
que se evalen.
Segn la dependencia
Segn la dependencia de una o ms variables independientes de la funcin des-
conocida se clasican en:
Ecuacin diferencial ordinaria: Si la funcin desconocida depende slo de una vari-
able.
En general una ecuacin diferencial ordinaria de orden :, es una funcin 1 de la
forma
1
_
r. .
0
. . . . .
(a)
_
= 0. (1.2)
6
donde es una variable dependiente de r.
Ecuacin en derivadas Parciales: Si la funcin desconocida depende de ms de una
variable aparecen derivadas parciales, en forma abreviada se escribe 111. La forma
general de una ecuacin en derivadas parciales es una relacin
1 (r. . ...; n; n
a
. n
j
. ...; n
aa
. n
aj
. ...) = 0. (1.3)
que liga una funcin desconocida n de valor real de : _ 2 variables r, . .... con estas
variables y las derivadas de orden /.
En la ecuacin diferencial
J
J:
+
J
Jt
=
las variables : y t son independientes y es la variable dependiente.
Segn su orden
El orden de una ecuacin diferencial, es el orden de la derivada ms alta que aparece
en la ecuacin. La ecuacin diferencial
J
2
n
J:
2
+
1
:
Jn
J:
+
1
:
2
J
2
n
Jo
2
= 0.
es una ecuacin en derivadas parciales de segundo orden, puesto que la derivada de
orden ms alto que aparece es la derivada segunda.
Segn su linealidad
Las ecuaciones (1.2) y (1.3) se llaman lineales si 1 es lineal en la variable depen-
diente y sus derivadas.
La ecuacin
n
t
+ nn
a
= 0
es una 111 no lineal de primer orden y ser tratada al nal del captulo 2.
Segn su homogeneidad
Una ecuacin lineal es homognea si el trmino que no est afectado por la variable
dependiente ni por sus derivadas (trmino independiente) es cero para todo r.
Si las funciones
1
y
2
son soluciones de la ecuacin diferencial
1() =
00
+ j (r)
0
+ (r) = 0. (1.4)
entonces la combinacin lineal c
1

1
+ c
2

2
es una solucin de (1.4) y correspondiendo
a un nmero innito de valores que se puede asignar a c
1
y c
2
, se puede elaborar
un nmero innito de soluciones de sta. Se dice que dos soluciones
1
y
2
de la
7
ecuacin (1.4) forman un conjunto fundamental de soluciones, si cualquier solucin
puede expresarse como una combinacin lineal de
1
y
2
.
Si las funciones j y son continuas sobre el intervalo abierto c < r < , y si
1
,
2
son soluciones de la ecuacin diferencial (1.4) que satisfacen la condicin
\ (
1
.
2
) =
1
(r)
0
2
(r)
0
1
(r)
2
(r) ,= 0.
para todo punto en c < r < ,, entonces cualquier solucin de la ecuacin diferencial
(1.4) sobre el intervalo c < r < , puede expresarse como una combinacin lineal de
1
y
2
, [4].
Lema de Gronwall
El lema de Gronwall permite pasar de una inecuacin integral en la funcin a
una estimacin para .
Lema 1.12 (Lema de Gronwall) Sean , : [c. /] R y q : [c. /] R
+
dos funciones
continuas. Sea : [c. /] R una funcin continua que satisface para todo t [c. /] la
desigualdad
(t) _ , (t) +
_
t
o
q (:) (:) d:.
Entonces, para todo t [c. /] . se tiene
(t) _ , (t) +
_
t
o
, (:) q (:) exp
__
q (n) dn
_
d:.
En particular, si , (t) = /. / una constante, entonces
(t) _ exp
__
t
o
q (:) d:
_
.
Vase [7].
8
Captulo 2
Ecuaciones cusilineales de primer
orden
Antes de abordar el estudio de las ecuaciones cuasilineales se presenta la deduccin
de un modelo para un problema fsico a travs de ecuaciones de primer orden.
2.1. Ecuaciones en derivadas parciales de primer
orden. Ecuaciones de Euler
Las 111 de primer orden ms sencillas son de la forma
n
a
= 1. n
j
= Q. n
:
= 1.
donde n, 1. Q, 1 son funciones de las variables independientes r. . ..
Si se consideran por separado estas ecuaciones, las soluciones respectivas son
n(r. . .) =
_
1(r. . .)dr + c(. .)
n(r. . .) =
_
Q(r. . .)d + (r. .)
n(r. . .) =
_
1(r. . .)d. + j(r. ).
Ahora, si las ecuaciones se consideran como un sistema, la solucin l debe ser tal que
\n = (n
a
. n
j
. n
:
) = (1. Q. 1) = F.
9
y segn el Teorema 1.5, la solucin existe si :otF = 0. es decir si

i , /
J
Jr
J
J
J
J.
1 Q 1

= (1
j
Q
:
. 1
:
1
a
. Q
a
1
j
) = 0.
Entonces debe cumplirse que
1
j
= Q
a
. 1
:
= 1
a
. Q
:
= 1
j
. (2.1)
lo cual se conoce como diferencial exacta.
El mismo teorema arma que una solucin est dada por
n(r. . .) =
_
a
0
1(:. . .)d: +
_
j
0
Q(0. :. .)d: +
_
:
0
1(0. 0. :)d: + /;
donde / es una constante.
A continuacin se presenta la deduccin de un modelo fsico a travs de ecuaciones
de primer orden. Corresponde a las ecuaciones de Euler que rigen el movimiento de
uidos no viscosos.
Sea R
3
una regin ocupada por un uido en movimiento. El objetivo es pre-
sentar un modelo que describa su movimiento, para lo cual se tiene en cuenta tres
principios de la fsica.
I) Principio de conservacin de masa.
II) Segunda ley de la dinmica de Newton.
III) Principio de la conservacin de energa.
A nivel macroscpico se espera que la densidad del uido j(r. t) sea una funcin
continua del espacio y del tiempo. Dada una bola Q , la masa del uido que encierra
en el instante t es
:(Q. t) =
_
Q
j(r. t)d\. (2.2)
Sea A(t) la posicin de una partcula en el instante t. Se supone que la partcula
describe una trayectoria bien denida y que por tanto la velocidad l (r. t) de sta en
el instante t dene un campo de vectores en .
En los clculos que se desrrollarn a continuacin se supone que l y j tienen la
regularidad suciente para que estos sean vlidos.
10
La ley de conservacin de masa establece que la variacin de la masa respecto al
tiempo es igual a la masa que entra menos la que sale, esto es, la tasa de variacin de
masa respecto al tiempo en la bola Q.
d:
dt
(Q. t) =
_
Q
Jj
Jt
(r. t)d\. (2.3)
debe ser igual al ujo a travs de la frontera Q, es decir a

_
0Q
j l. n do =
_
0Q
jl. n d: =
_
Q
di(jl)d\. (2.4)
donde n representa un vector normal unitario exterior a JQ y tamabin se ha aplicado
el Teorema de la divergencia.
De (2.3) y (2.4) se tiene
_
Q
_
Jj
Jt
+ di(jl)
_
d\ = 0.
Si se supone que el integrando es continuo y haciendo tender el dimetro de Q a cero,
se obtiene la expresin diferencial de conservacin de masa
Jj
Jt
+ di(jl) = 0. (2.5)
que se conoce como ecuacin de continuidad.
Sin la hiptesis de regularidad, (2.3) queda
d:
dt
(Q. t) =
J
Jt
_
Q
j(r. t)d\
y en (2.4 ) no puede aplicarse el Teorema de la divergencia, luego la ecuacin de
continuidad en este caso queda
J
Jt
_
Q
j d\ +
_
0Q
j l. n d: = 0. (2.6)
que es la forma de ley de conservacin que aparece en fsica.
La formulacin de problemas que incluyen ecuaciones como la ( 2.6), genera la
necesidad de introducir conceptos de solucin ms generales que el clsico, segn el
cual la solucin es derivable y se satisface puntualmente. Esto ser analizado al nal
del trabajo, donde se dar el concepto de solucin dbil.
Sea
A(t) = (r
1
(t). r
2
(t). r
3
(t))
11
la trayectoria seguida por una partcula de uido.
En trminos del campo de velocidades se tiene
dA(t)
dt
= l (A(t). t) = (n
1
[A(t). t] . n
2
[A(t). t] . n
3
[A(t). t]) . (2.7)
de donde
(r
0
1
. r
0
2
. r
0
3
) = (n
1
. n
2
. n
3
).
Derivado (2.7) se obtiene la aceleracin
c(t) =
d
2
A(t)
dt
2
=
dl
dt
[A(t). t] .
Aplicando la regla de la cadena para campos vectoriales, consltese [1], se tiene
c(t) = 1l [A(t). t] A
0
(t) + l
t
= 1l [A(t). t] l + l
t
=
_
_
_
n
1a
1
n
1a
2
n
1a
3
n
2a
1
n
2a
2
n
2a
3
n
3a
1
n
3a
2
n
3a
3
_
_
_
_
_
_
n
1
n
2
n
3
_
_
_
+
_
_
_
n
1t
n
2t
n
3t
_
_
_
.
En algunos textos esta ltima expresin la describen como
c(t) = l. \ l + l
t
.
Entonces el vector
c(t) = (c
1
(t). c
2
(t). c
3
(t)) = l. \ l + l
t
.
es tal que
c
i
(t) =
3

)=1
Jn
i
Jr
)
n
)
+
Jn
i
Jt
. i = 1. 2. 3.
La segunda ley de Newton establece que
jc = 1. (2.8)
donde 1 representa la densidad de fuerza o carga por unidad de volumen.
Las fuerzas que se consideran son de dos clases:
1. Fuerzas exteriores, como las gravitatorias cuya densidad se supone dada por un
campo ,(r. t).
2. Tensiones internas.
12
En los uidos perfectos, es decir los no viscosos, se supone que para las fuerzas
de tensin interna existe una funcin j(r. t) llamada presin, de la forma que si se
considera un elemento de supercie o en el uido y n su normal, las fuerzas de tensin
a travs de o tienen una densidad en el punto r y en el instante t igual a j(r. t)n.
Esto signica que no hay componentes tangenciales en las fuerzas de tensin interna,
es decir, en un uido perfecto no se crean ni se destruyen rotaciones sin la accin de
fuerzas externas.
La tensin total a travs de la frontera de la bola Q R
3
viene entonces dada por
o
0Q
=
_
0Q
jndo.
y la proyeccin de dicha fuerza en la direccin de un vector unitario c R
3
es,
c. o
0Q
=
_
c.
_
0Q
jnd:
_
=
_
0Q
c. jn d: =
_
0Q
jc. n d: (2.9)
=
_
Q
di(jc)d\ =
_
Q
\j. c d\ =
__
Q
\jd\. c
_
.
donde se han aplicado propiedades del producto escalar, el Teorema de la divergencia
y la identidad di(qn) = di(n) + \q. n . para q funcin a valor real y n campo
vectorial.
De (2.9) se deduce
c. o
0Q
+
_
c.
_
Q
\jd\
_
=
_
c. o
0Q
+
_
Q
\jd\
_
= 0.
y como el vector unitario c R
3
es arbitrario, entonces o
0Q
+
_
Q
\jd\ = 0. es decir,
o
0Q
=
_
Q
\jd\. (2.10)
Como jc = 1. dada por (2.8), es la fuerza por unidad de volumen, la fuerza total
ejercida sobre Q que es la suma de la tensin total con las fuerzas exteriores ser
_
Q
jc d\ =
_
Q
1d\ =
_
Q
\jd\ +
_
Q
,d\.
luego
_
Q
(jc +\j ,)d\ = 0.
Con la hiptesis de regularidad y haciendo tender el dimetro de Q a cero, se llega a
las llamadas ecuaciones de Euler
jc = \j + ,.
13
que al reemplazar c resulta
j (l
t
+l. \ l) = \j + ,.
2.2. Ecuaciones cuasilineales
Se consideran ecuaciones de forma
,
1
(r
1
. r
2
. n) n
a
1
+ ,
2
(r
1
. r
2
. n) n
a
2
= , (r
1
. r
2
. n) . (2.11)
Estas ecuaciones se llaman cuasilineales, porque dependen linealmente de las derivadas
parciales n
a
1
. n
a
2
. pero la dependencia con respecto a n no es necesariamente lineal.
Las ecuaciones lineales tienen la forma
,
1
(r
1
. r
2
)n
a
1
+ ,
2
(r
1
. r
2
)n
a
2
= ,(r
1
. r
2
)n.
Se observa que una ecuacin lineal es una ecuacin cuasilineal donde la dependencia
con respecto a n es tambin lineal.
Bajo el punto de vista vectorial, la ecuacin (2.11) se puede escribir equivalen-
temente en trminos de la base cannica
_

i.

,.

/
_
del espacio vectorial R
3
, como el
producto punto
_
,
1

i + ,
2

, + ,

/
_

_
Jn
Jr
1

i +
Jn
Jr
2

/
_
= 0.
Ejemplo 2.1 Un ejemplo de ecuacin cuasilineal es
n
t
+ c(n)n
a
= 0.
donde las variables independientes son t y r. Si
(n) =
_
&
0
c(:)d:.
entonces
(n)
a
=
J
Jr
_
&
0
c(:)d: =
J
Jn
_
&
0
c(:)d:
Jn
Jr
= c(n)n
a
y la ecuacin n
t
+ (cn)n
a
= 0. puede escribirse como una divergencia
n
t
+ (n)
a
= 0.
Para el estudio de la ecuacin (2.11), se supone que ,
1
. ,
2
. , estn denidas en un
abierto _ R
3
. Tambin se supone que:
14
1. ,
1
. . ,
2
(
1
()
2. [,
1
(r
1
. r
2
. n)[ +[,
2
(r
1
. r
2
. n)[ 0. si (r
1
. r
2
. n) .
La hiptesis 1. da la condicin suciente de regularidad y la hiptesis 2. garantiza
que hay ecuacin en derivadas parciales en todo .
Denicin 2.2 Por solucin de la ecuacin (2.11) se entiende una funcin c, denida
en un abierto G R
2
,
c : G R.
tal que c (
1
(G) y
1. (r
1
. r
2
. c(r
1
. r
2
))
2. Para todo (r
1
. r
2
) G se verica ,
1
(r
1
. r
2
. c)c
a
1
+ ,
2
(r
1
. r
2
. c)c
a
2
= ,(r
1
. r
2
. c).
La condicin 2. expresa que c debe satisfacer la ecuacin para (r
1
. r
2
) G.
El concepto de solucin dado en la denicin anterior es de carcter local, porque
slo se exige que 1. y 2. se cumplan en el subconjunto G de R
2
y se dice que el par
(G. c) es una solucin local. Cuando 1. y 2. se satisfacen para todo (r
1
. r
2
) R
2
. a la
solucin c se le llama solucin global.
Denicin 2.3 Sean (G
1
. c
1
). (G
2
. c
2
) soluciones de la ecuacin (2.11). Se dice que
estas soluciones son iguales si se verica
c
1
[
G
1
\G
2
= c
2
[
G
1
\G
2
.
donde la notacin c[

expresa la restriccin de la funcin en c a un subconjunto del

dominio G.
Una forma de construir soluciones de una ecuacin diferencial es recurriendo a su
signicado geomtrico. De este anlisis se deducen los datos que son admisibles para
plantear el problema de valores iniciales.
Supngase una solucin local c de (2.11),
c : G R
2
R.
con su grca
= (r
1
. r
2
. c(r
1
. r
2
)) : (r
1
. r
2
) G .
Sea n = c(r
1
. r
2
) y la funcin
q : R
15
denida por
q(r
1
. r
2
. n) = c(r
1
. r
2
) n = 0.
Entonces la supercie
= (r
1
. r
2
. n) : (r
1
. r
2
. n)
es una supercie de nivel cc:o para q(r
1
. r
2
. n) y
n = \q = (q
a
1
. q
a
2
. q
&
) = (c
a
1
. c
a
2
. 1)
es un vector normal a .
Considrese el campo vectorial F dado por las funciones coeciente de la ecuacin,
es decir F = (,
1
. ,
2
. . ,). que est denida en . Como c es solucin de la ecuacin se
tiene
n. F =
_
c
a
1
. c
a
2
. 1
_
. (,
1
. ,
2
. ,)
_
= ,
1
c
a
1
+ ,
2
c
a
2
, = 0. en .
lo cual dice que F es tangente a en todos los puntos, como se muestra en la gura
siguiente.
g
R
g

Lo anterior sugiere intentar construir las supercies solucin o grcas de soluciones,

a partir de las curvas de campo asociado al campo F, es decir, las curvas que en cada
uno de sus puntos son tangentes a F.
16
Si una curva con parametrizacin
A(t) = [r
1
(t). r
2
(t). n(t)]
es tangente en cada uno de sus puntos al campo F. entonces A
0
(t) = F y as
_

_
r
0
1
(t) = ,
1
(r
1
. r
2
. n)
r
0
2
(t) = ,
2
(r
1
. r
2
. n)
n
0
(t) = ,(r
1
. r
2
. n).
(2.12)
Al sistema de ecuaciones (2.12) se le llama sistema caracterstico de la ecuacin (2.11)
y las grcas en R
3
de las soluciones del sistema (2.12) se llaman curvas caractersticas.
Dado que ,
1
. ,
2
C
1
(). el Teorema de existencia de Picard garantiza que el pro-
blema de Cauchy (2.12) con dato inicial
(r
1
(0) . r
2
(0) . n(0)) = (
0
1
.
0
2
. j
0
) . (2.13)
tiene solucin local nica. Adems el Teorema de Peano sobre la diferenciabilidad,
establece que bajo las hiptesis impuestas al problema de Cauchy que se trata aqu,
las soluciones de este son diferenciables, consltese [7].
2.3. Generacin de una supercie a partir de las
curvas caractersticas
Se ja una curva : [0. 1] R
3
regular, C
1
([0. 1]) denida por
(:) = (c
1
(:). c
2
(:). ,(:))
y se considera una familia uniparamtrica de curvas solucin de la ecuacin (2.12 ) que
verique para cada : el dato inicial
(r
1
(0). r
2
(0). n(0)) = (c
1
(:). c
2
(:). ,(:)).
Esta curva solucin se denota
(t. :) = (A
1
(t. :). A
2
(t. :). 2(t. :)) . (2.14)
Para :
0
jo, el vector tangente a (t. :
0
) es

t
(t. :) = (A
0
1
(t. :
0
). A
0
2
(t. :
0
). 2
0
(t. :
0
))
= (,
1
[(A
1
(t. :
0
). A
2
(t. :
0
). 2(t. :
0
))] . ,
2
[(A
1
(t. :
0
). A
2
(t. :
0
). 2(t. :
0
))] .
, [(A
1
(t. :
0
). A
2
(t. :
0
). 2(t. :
0
))])
= (,
1
[(t. :
0
)] . ,
2
[(t. :
0
)] . , [(t. :
0
)]) = F[(t. :
0
)] .
17
Por otra parte para t = 0.
(0. :) = (A
1
(0. :). A
2
(0. :). 2(0. :)) = (r
1
(0). r
2
(0). n(0))
= (c
1
(:). c
2
(:). ,(:)) = (:).
El vector tangente a (:) = (0. :) es

0
(:) = (c
0
1
(:). c
0
2
(:). ,
0
(:)) .
y en consecuencia, para que (t. :) sea la parametrizacin de la supercie regular (es
decir con plano tangente en cada punto y que sta vare con continuidad de punto a pun-
to), se necesita que sobre la curva inicial las tangentes sean linealmente independientes,
esto es, que los los vectores
t
(t. :) y
0
(:) no sean vectores paralelos. Algebraicamente
esto quiere decir que
rango
_
_
_
_
_
,
1
(c
1
(:). c
2
(:). ,(:)) c
0
1
(:)
,
2
(c
1
(:). c
2
(:). ,(:)) c
0
2
(:)
, (c
1
(:). c
2
(:). ,(:)) ,
0
(:)
_
_
_
_
_
= 2. (2.15)
La condicin (2.15) se llama condicin de tranversalidad de la curva y el campo
F = (,
1
. ,
2
. ,) que dene la ecuacin (2.11).
Al suponer la condicin de transversalidad (2.15) se obtiene la forma de generar
soluciones denidas de forma paramtrica, es decir, se espera que el conjunto de todas
las curvas caractersticas formen la supercie solucin.
Ejemplo 2.4 Para ilustrar el anlisis anterior se presentan los grcos de algunas
curvas caractersticas y la supercie solucin correspondientes al problema
(r
2
+ 1)n
a
rn
j
=
n
r
. r = 1. n = .
el cual se resuelve de manera explcita en el ejercicio 3.10 del captulo tres de este
trabajo.
Para la condicin de transversalidad se tiene
rango
_
_
_
_
_
,
1
(1. :. :) 1
0
,
2
(1. :. :) :
0
, (1. :. :) :
0
_
_
_
_
_
= rango
_
_
_
2 0
: 1
: 1
_
_
_
= 2.
18
ya que esta matriz tiene dos renglones linealmente independientes.
En la primera grca aparece la curva dato (en color verde) con parametrizacin
(:) = (1. :. :)
y algunas curvas solucin del sistema caracterstico (2.12 ), que en este caso es
dr
dt
= r
2
+ 1.
d
dt
= r.
dn
dt
=
n
r
.
Curva dato (:) = (0. :) y algunas curvas caractersticas.
La grca siguiente muestra la supercie solucin del problema, junto con la curva
dato la cual se ha resaltado con color verde. Esta grca est dada por la ecuacin
paramtrica
(t,:) =
_
tan
_
t+
:
4
_
,
_
2: cos
_
t+
:
4
_
,
_
2: cos
_
t+
:
4
__
, (t,:)
_
-
3:
4
,
:
4
_
(-,) ,
que corresponde a la funcin
n(r. ) = r.
19
Grca de la supercie solucin.
Para demostrar que las funciones as obtenidas, denen una solucin de (2.11), debe
probarse que la condicin de transversalidad implica que
_
r
1
= A
1
(t. :)
r
2
= A
2
(t. :)
tiene inversa local
_
: = o(r
1
. r
2
)
t = 1(r
1
. r
2
).
y con esto faltara establecer que
n = 2 (1(r
1
. r
2
). o(r
1
. r
2
)) = c(r
1
. r
2
)
es solucin de la ecuacin (2.11). Adems debe probarse que sta es la nica solucin
que satisface el dato .
A continuacin se presenta un ejemplo que tambin permite hacer todos los clculos
de manera explcita.
Ejemplo 2.5 Considrese la ecuacin lineal
c
1
n
a
1
+ c
2
n
a
2
/ = 0.
20
donde c
1
. c
2
. / R y [c
1
[ +[c
2
[ 0.
En este ejemplo F = (c
1
. c
2
. /) y el sistema caracterstico es
_

_
r
0
1
(t) = c
1
r
0
2
(t) = c
2
n
0
(t) = /.
Si el dato inicial es
(r
1
(0). r
2
(0). n(0) = (
0
1
.
0
2
. j
0
).
las curvas caractersticas estn dadas por la parametrizacin
_

_
r
1
(t) = c
1
t +
0
1
r
2
(t) = c
2
t +
0
2
n(t) = /t + j
0
.
es decir, las curvas caractersticas son rectas en R
3
dadas paramtricamente por
(r
1
(t). r
2
(t). n(t)) =
_
c
1
t +
0
1
. c
2
t +
0
2
. /t + j
0
_
.
con vector direccin (c
1
. c
2
. /) .
Designando como dato inicial a una curva
(:) = (c
1
(:). c
2
(:). ,(:))
transversal al vector (c
1
. c
2
. /). e imponiendo que
det
_
c
1
c
2
c
0
1
(:) c
0
2
(:)
_
,= 0.
(esta imposicin hace que se cumpla la condicin de transversalidad (2.15)), se obtiene
(t. :) = (c
1
t + c
1
(:). c
2
t + c
2
(:). /t + ,(:)) . (2.16)
que corresponde a la ecuacin paramtrica de un cilindro de generatrices paralelas al
vector (c
1
. c
2
. /).
Tomando en particular la curva (:) = (c
2
:. c
1
:. :
2
. ). (obsrvese que esta curva
satisface la condicin de transversalidad ya que se ha supuesto [c
1
[ + [c
2
[ 0), de
(2.16) se obtiene
(t. :) = (A
1
(t. :). A
2
(t. :). 2(t. :)) = (c
1
t + c
2
:. c
2
t c
1
:. /t + :
2
).
21
Resolviendo el sistema
_
r
1
= c
1
t + c
2
:
r
2
= c
2
t c
1
:.
resulta
_

_
t =
c
1
r
1
+ c
2
r
2
c
2
1
+ c
2
2
: =
c
2
r
1
c
1
r
2
c
2
1
+ c
2
2
.
Sustituyendo a t y : en 2(t. :) = /t + :
2
. se obtiene
n(r
1
. r
2
) = 2(t. :) = /
c
1
r
1
+ c
2
r
2
c
2
1
+ c
2
2
+
_
c
2
r
1
c
1
r
2
c
2
1
+ c
2
2
_
2
.
que puede comprobarse directamente que soluciona la ecuacin c
1
n
a
1
+c
2
n
a
2
/ = 0.
Como adems se cumple que n(c
2
:. c
1
:) = :
2
, se concluye que se ha encontrado una
supercie solucin de la ecuacin, que contiene la curva (:), es decir, que sobre la
curva plana

(:) = (c
2
:. c
1
:) la funcin n toma el valor :
2
.
Ejemplo 2.6 Considrese la ecuacin n
t
+ cn
a
= 0, con dato inicial n(r. 0) = c(r).
El sistema caracterstico es
_

_
r
0
(t) = c
t
0
(t) = 1
n
0
(t) = 0.
y la parametrizacin de la curva dato inicial es
(:) = (:. 0. c(:)).
Entonces las curvas caractersticas estn dadas por
_

_
t(t) = t
r(t) = ct + :
n(t) = c(:).
y la parametrizacin de la curva solucin es
(:. t) = (ct + :. t. c(:)) = (A(:. t). 1(:. t). 2(:. t)) = (r. t. n).
Se obtiene
r = ct + : y t = t.
22
de donde
: = r ct = r ct.
y as
n(r. t) = 2(:. t) = c(r ct).
La solucin n(r. t) = c(r ct) se conoce en el estudio de la ecuacin de ondas como
una onda plana.
Los resultados en los dos ejemplos anteriores se han conseguido porque se ha podido
expresar explcitamente a (:. t) en trminos de (r
1
. r
2
) y a (:. t) en trminos (r. t)
respectivamente, lo cual ha sido fcil por ser expresiones lineales.
En el caso general el resultado de inversin lo da el Teorema de la Funcin Inversa,
[9].
A continuacin se enuncian con precisin las hiptesis que se han conjeturado.
I. Hiptesis sobre la ecuacin.
Las condiciones que se suponen sobre la ecuacin (2.11), es decir, sobre
,
1
(r
1
. r
2
. n)n
a
1
+ ,
2
(r
1
. r
2
. n)n
a
2
,(r
1
. r
2
. n) = 0.
son:
1. ,
1
. ,
2
. , C
1
(), siendo R
3
un dominio abierto, es decir, un subconjunto
abierto y conexo.
2. [,
1
[ +[,
2
[ 0, para cada (r
1,
r
2
. n) .
II. Hiptesis sobre la curva dato.
1. C
1
(1), donde 1 R
3
es un intervalo y (:) para cada : 1, lo cual
signica que
: 1 R
3
.
2. [c
0
1
(:)[ +[c
0
2
(:)[ 0 sobre 1. Esta condicin establece que en ningn punto la
curva (:) tiene tangente paralela al eje 0n.
3. La condicin de transversalidad (2.15) se postula sobre las dos primeras coor-
denadas, es decir, se supone
det
_
_
,
1
[c
1
(:). c
2
(:). ,(:)] c
0
1
(:)
,
2
[(c
1
(:). c
2
(:). ,(:)] c
0
2
(:)
_
_
,= 0
para cada : 1.
23
Las condiciones 2. y 3. se pueden imponer sobre otro par de coordenadas denien-
do la coordenada restante como funcin de ellas.
2.4. Problema de Cauchy
El problema de Cauchy o problema con valor inicial, consiste en que dada la ecuacin
,
1
(r
1
. r
2
. n)n
a
1
+ ,
2
(r
1
. r
2
. n)n
a
2
,(r
1
. r
2
. n) = 0
y la curva dato
(:) = (c
1
(:). c
2
(:). ,(:)).
debe encontrarse una funcin
c : G R
2
R. c (
1
()
tal que:
i. (r
1
. r
2
. c) si (r
1
. r
2
) G.
ii. c satisface la ecuacin, en el sentido que si (r
1
. r
2
) G. entonces
,
1
(r
1
. r
2
. c)c
a
1
+ ,
2
(r
1
. r
2
. c)c
a
2
= ,(r
1
. r
2
. c).
iii. c(c
1
(:). c
2
(:)) = ,(:) paa : 1.
La denominacin de problema con valor inicial que se da a un problema como el
anterior, se debe a que se est buscando una solucin de la ecuacin que sobre la curva
plana (c
1
(:). c
2
(:)) tome el valor ,(:), es decir, que la supercie solucin o sea la
grca de la funcin solucin, contenga la curva .
Teorema 2.7 Considrese el problema de Cauchy
(P)
_
_
_
,
1
(r
1
. r
2
. n)n
a
1
+ ,
2
(r
1
. r
2
. n)n
a
2
= ,(r
1
. r
2
. n)
n(c
1
(:). c
2
(:)) = ,(:).
donde la ecuacin y el dato verican las hiptesis I. y II. Entonces, el problema (P)
tiene una nica solucin local n con
24
Prueba. 1. Existencia. Se comienza probando la existencia de al menos una solu-
cin local regular, siguiendo los razonamientos geomtricos anteriores. Para ello se
considera el problema de Cauchy para el sistema caracterstico
_

_
dr
1
dt
= ,
1
(r
1
. r
2
. n)
dr
2
dt
= ,
2
(r
1
. r
2
. n)
dn
dt
= , (r
1
. r
2
. n) .
con dato inicial para : jo,
_

_
r
1
(0) = c
1
(:)
r
2
(0) = c
2
(:)
n(0) = , (:) .
El teorema de existencia y unicidad para ecuaciones diferenciales ordinarias establece
que este problema de Cauchy tiene una solucin nica,
_

_
r
1
= c
1
(t. (c
1
(:) . c
2
(:) . , (:))) = A
1
(t. :)
r
2
= c
2
(t. (c
1
(:) . c
2
(:) . , (:))) = A
2
(t. :)
n = c(t. (c
1
(:) . c
2
(:) . , (:))) = 2 (t. :) .
(2.17)
El Teorema de Peano sobre la diferenciabilidad de la solucin de una ecuacin dife-
rencial ordinaria, vase [7], implica que en un entorno del punto (0. :) se tiene que la
funcin vectorial
(t. :) (A
1
(t. :) . A
2
(t. :) . 2 (t. :)) .
denida por (2.17) es continuamente derivable respecto de los datos iniciales, esto
signica que adems de haber continuidad respecto de los datos
1
hay adems diferen-
ciabilidad respecto a ellos.
De esta manera la funcin vectorial (2.17).dene paramtricamente una super-
cie C
1
(G(0. :)) . donde G(0. :) es un entorno del punto (0. :) . porque se cumple la
condicin de tarnsversalidad

A
1c
A
2c
A
1t
A
22

c
0
1
(:) c
0
2
(:)
,
1
(c
1
(:) . c
2
(:) . , (:)) ,
2
(c
1
(:) . c
2
(:) . , (:))

,= 0.
1
Una solucin de una ecuacin diferencial es continua respecto de datos (valores iniciales), si a
cambios pequeos de los valores iniciales corresponden cambios pequeos en los valores de las soluciones
respectivas, [7].
25
El Teorema de la Funcin Inversa implica que en un entorno de (0. :) la funcin
(A
1
(t. :) . A
2
(t. :))
tiene inversa continuamente derivable,
_
r
1
= 1 (r
1
. r
2
)
: = o (r
1
. r
2
) .
luego,
_
r
1
= A
1
(1 (r
1
. r
2
) . o (r
1
. r
2
))
r
2
= A
2
(1 (r
1
. r
2
) . o (r
1
. r
2
))
y
_
0 = 1 (c
1
(:) . c
2
(:))
: = o (c
1
(:) . c
2
(:)) .
Se dene
n(r
1
. r
2
) = 2 (1 (r
1
. r
2
) . o (r
1
. r
2
))
y se prueba que es solucin del problema de Cauchy.
En efecto
,
1
n
a
1
+ ,
2
n
a
2
= ,
1
(2
t
1
a
1
+ 2
c
o
a
1
) + ,
2
(2
t
1
a
2
+ 2
c
o
a
2
)
= 2
t
(,
1
1
a
1
+ ,
2
1
a
2
) + 2
c
(,
1
o
a
1
+ ,
2
o
a
2
)
= 2
t
(A
1t
1
a
1
+ A
2t
1
a
2
) + 2
c
(A
1t
o
a
1
+ A
2t
o
a
2
).
(2.18)
donde se ha utilizado la regla de la cadena para obtener
Jn
Jr
1
=
J
Jr
1
2(t. :) =
J2
Jt
Jt
Jr
1
+
J2
J:
J:
Jr
1
= 2
t
1
a
1
+ 2
c
o
a
1
.
y de forma anloga
Jn
Jr
2
= 2
t
1
a
2
+ 2
c
o
a
2
.
Tambin se ha usado el hecho que al ser (A
1
. A
2
) soluciones del sistema caracterstico,
entonces
,
1
=
dr
1
dt
=
J
Jt
A
1
(t. :) = A
1t
(t. :).
,
2
=
dr
2
dt
=
J
Jt
A
2
(t. :) = A
2t
(t. :).
De otra parte, las funciones (A
1
. A
2
) y (1. o) son funciones inversas y por tanto sus
matrices Jacobianas
_
A
1t
A
1c
A
2t
A
2c
_
y
_
1
a
1
1
a
2
o
a
1
o
a
2
_
26
son matrices inversas, es decir,
_
1
a
1
1
a
2
o
a
1
o
a
2
__
A
1t
A
1c
A
2t
A
2c
_
=
_
1 0
0 1
_
.
de donde
A
1t
1
a
1
+ A
2t
1
a
2
= 1
A
1t
o
a
1
+ A
2t
o
a
2
= 0.
Adems
, =
dn
dt
=
J
Jt
2(t. :) = 2
t
y as (2.18) se convierte en
,
1
n
a
1
+ ,
2
n
a
2
= ,.
es decir
n(r
1
. r
2
) = 2(t. :) = 2 (1(r
1
. r
2
). o(r
1
. r
2
))
es solucin de la ecuacin.
La funcin n = 2(t. :) verica el dato inicial porque
n(c
1
(:). c
2
(:)) = 2 [1(c
1
(:). c
2
(:)). o(c
1
(:). c
2
(:))] = 2(0. :) = ,(:).
La igualdad 2(0. :) = ,(:) resulta del hecho que 2(t. :) hace parte de la solucin del
problema de Cauchy para el problema caracterstico.
2. Unicidad.
Lema 2.8 Sea
o = (r
1
. r
2
. c(r
1
. r
2
)) GR
una supercie solucin y 1 un punto de o. Si
(t) = (r
1
(t). r
2
(t). n(t))
es la curva caracterstica tal que 1 = (0). entonces se verica que (t) o para cada
t tal que (r
1
(t). r
2
(t)) G.
Prueba del Lema. Como 1 o. entonces
1 = (r
c
1
. r
c
2
. c(r
c
1
. r
c
2
))
con r
c
1
. r
c
2
G. Ahora,
1 = (0) = (r
1
(0). r
2
(0). n(0)) .
27
luego
r
1
(0) = r
c
1
. r
2
(0) = r
c
2
.
y
n(0) = c(r
c
1
. r
c
2
) = c(r
1
(0). r
2
(0)) .
Si se considera la funcin
l(t) = n(t) c(r
1
(t). r
2
(t)).
se tiene
l(0) = n(0) c(r
1
(0). r
2
(0)) = 0.
Con base en este ltimo resultado se procede a mostrar que l(t) = 0.
Derivando l(t) se obtiene
l
0
(t) =
d
dt
n(t)
d
dt
c(r
1
(t). r
2
(t))
= , (r
1
(t). r
2
(t). n(t))
J
Jr
1
c(r
1
(t). r
2
(t))
dr
1
dt

J
Jr
2
c(r
1
(t). r
2
(t))
dr
2
dt
= ,(r
1
(t). r
2
(t). l(t) + c(r
1
(t). r
2
(t)))

J
Jr
1
c(r
1
(t). r
2
(t)),
1
(r
1
(t). r
2
(t). l(t) + c(r
1
(t). r
2
(t)))

J
Jr
2
c(r
1
(t). r
2
(t)) ,
2
(r
1
(t). r
2
(t). l(t) + c(r
1
(t). r
2
(t)))
(2.19)
Entonces, l
0
(t) es funcin de t y de l(t). es decir, l
0
(t) = 1(t. l(t)), y se concluye
que l soluciona el problema
(PO)
_
l
0
(t) = 1(t. l(t))
l(0) = 0.
Como c es solucin de la ecuacin (2.11), la funcin nula l(t) = 0 satisface la ecuacin
(2.19) y as l(t) = 0 es solucin del problema (PO).
La unicidad de la solucin del problema de Cauchy para 11C implica que la nica
solucin es l(t) = 0, quedando probado con esto el lema.
La unicidad de la solucin del problema de Cauchy de la ecuacin de primer orden
cuasilineal que se est estudiando resulta del razonamiento siguiente:
Las soluciones se obtienen con base en las curvas caractersticas, y el Lema 2.8 prueba
que si una curva caracterstica tiene un punto en comn con una supercie solucin, en-
tonces la curva est contenida en dicha supercie. Si existiesen dos soluciones distintas
28
para la misma curva dato . cada curva caracterstica que pasara por un determinado
punto de , debera estar contenida en ambas supercies, lo cual es imposible.
2.5. Dependencia continua respecto a los datos
Al igual que para las 11C, se tiene un resultado de dependencia continua respecto
a los datos. El desarrollo que sigue precisa el sentido de dicha continuidad y se presenta
con detalle la prueba del resultado.
Supngase las curvas dato
_
(:) = (c
1
(:). c
2
(:). ,(:))
(:) = (c
1
(:). c
2
(:). ,(:)).
donde ,(:) y ,(:) coinciden fuera de un intervalo compacto.
Sean (t. :) y (t. :) las soluciones respectivas escritas en forma paramtrica. En-
tonces para
(t. :) = (A
1
(t. :). A
2
(t. :). 2(t. :)) .
se tiene por (2.12) y (2.14)
A
0
1
(t) = ,
1
(r
1
. r
2
. n).
lo cual equivale a
A
1t
= ,
1
(A
1
(t. :). A
2
(t. :). 2(t. :)) = ,
1
((t. :)) .
de donde
A
1
(t. :) =
_
t
0
,
1
((t. :)) dt + c.
pero c
1
(:) = A
1
(0. :) = 0 + c. y as
A
1
(t. :) =
_
t
0
, ((t. :)) dt + c
1
(:).
Con un procedimiento anlogo al anterior se obtiene
A
2
(t. :) =
_
t
0
,
2
((t. :)) dt + c
2
(:)
2(t. :) =
_
t
0
, ((t. :)) dt + ,(:).
29
con lo cual
(t. :)=
__
t
0
,
1
((t. :)) dt+c
1
(:).
_
t
0
,
2
((t. :)) dt+c
2
(:).
_
t
0
, ((t. :)) dt+,(:)
_
.
De manera anloga
(t. :)=
__
t
0
,
1
_
(t. :)
_
dt+c
1
(:).
_
t
0
,
2
_
(t. :)
_
dt+c
2
(:).
_
t
0
,
_
(t. :)
_
dt+,(:)
_
.
Fijando : se tiene,
_
_
(t. :)-

(t. :)
_
_
=
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
t
0
_
,
1
((t. :)) ,
1
_
(t. :)
_
dt.
_
t
0
_
,
2
((t. :)) ,
2
_
(t. :)
_
dt.
_
t
0
_
,((t. :)) ,
_
(t. :)
_
dt +
_
,(:)

,(:)

_
_
_
_
_
_
_
_
_
_
_
_
_
_
_

_
t
0
_
,
1
((t. :)) ,
_
(t. :)
_
dt

_
t
0
_
,
2
((t. :)) ,
2
_
(t. :)
_
dt

_
t
0
_
,((t. :)) ,
_
(t. :)
_
dt +
_
,(:)

,(:)

_
_
t
0

,
1
((t. :)) ,
1
_
(t. :)
_

dt +
_
t
0

,
2
((t. :)) ,
2
(

(t. :))

dt.
_
t
0

,((t. :)) ,
_
(t. :)
_

dt +

,(:)

,(:)

,(:)

,(:)

+
_
t
0
_
2

i=1

,
i
((t. :)) ,
i
_
(t. :)
_

,((t. :)) ,
_
(t. :)
_

_
dt.
donde |.| es la norma eucldea y se ha utilizado la desigualdad || _ [
1
[+[
2
[+...+[
a
[
para R
a
.
Las hiptesis de regularidad sobre ,
1
. ,
2
y , implican que sobre un conjunto com-
pacto las funciones |\,
1
| . |\,
2
| y | \,| alcanzan un mximo, en consecuencia son
acotadas.
Al aplicar el Teorema del Valor Medio para campos escalares (ver captulo de pre-
liminares) sobre una bola cerrada de R
3
que contenga los puntos donde las curvas dato
no coincidan, se obtiene que existe un punto c
1
en el segmento de recta que une a
(t. :) con (t. :) tal que

,
1
[(t. :)] ,
1
_
~
(t. :)
_

\,
1
(c
1
)
_
(t. :) (t. :)

_ |\,
1
(c
1
)|
_
_
(t. :) (t. :)
_
_
_ /
1
_
_
(t. :) (t. :)
_
_
.
30
donde /
1
es una cota de la funcin |\,
1
| sobre la bola de R
3
mencionada anteriormente.
De forma anloga se obtiene que existen constantes /
2
y /
3
, tal que para los valores
de (t. :) y (t. :) pertenecientes a esta bola de R
3
, satisfacen

,
2
[(t. :)] ,
2
_
(t. :)

_ /
2
_
_
(t. :) (t. :)
_
_

, [(t. :)] ,
_
(t. :)

_ /
3
_
_
(t. :) (t. :)
_
_
.
As, existe / = /
1
+ /
2
+ /
3
tal que
2

i=1

,
i
[(t. :)] ,
i
_
(t. :)

, [(t. :)] ,
_
(t. :)

_ /
_
_
(t. :) (t. :)
_
_
.
Entonces resulta
_
_
(t. :) (t. :)
_
_
_

,(:) ,(:)

+ /
_
t
0
_
_
(t. :) (t. :)
_
_
dt.
y por el caso particular de la desigualdad de Gronwall enunciado en el captulo de
preliminares, se concluye que
_
_
(t. :) (t. :)
_
_
_

,(:) ,(:)

c
It
.
Sea (,
a
(:)) una sucesin funciones denidas sobre un intervalo compacto que coinciden
fuera del intervalo compacto con ,(:). y sea
a
(t. :) la solucin respectiva. Si (,
a
(:))
converge uniformemente a ,(:). entonces para todo 0. existe ` Z
+
tal que si
: `. entonces

,
a
(:) ,(:)

< para toda : en el intervalo compacto, y as

_
_

a
(t. :) (t. :)
_
_
_ c
It
.
Se deduce que si ,
a
(:) ,(:) uniformemente sobre el intervalo compacto, entonces

a
(t. :) (t. :).
Lo anterior prueba la dependencia continua de las soluciones respecto a la con-
vergencia uniforme sobre compactos.
ElTeorema de existencia y unicidad que se prob es de carcter local. En general
este resultado no se puede globalizar si el concepto de solucin es el clsico, es decir,
si se entiende por solucin una funcin con derivadas continuas que sustituida en la
ecuacin la verique idnticamente. El ejemplo siguiente muestra tal hecho.
Ejemplo 2.9 Considrese el problema de Cauchy
_
n
t
+ nn
a
= 0
n(r. 0) = /(r).
31
El sistema caracterstico es
dr
dt
= n.
dt
dt
= 1.
dn
dt
= 0.
y el dato parametrizado
(c
1
(:). c
2
(:). ,(:)) = (:. 0. /(:)).
Solucin del problema caracterstico.
Como
dn
dt
= 0. entonces n = c(:). es constante con respecto a t.
Si se hace 2(t. :) = c(:), entonces
/(:) = 2(0. :) = c(:) y as 2(t. :) = /(:).
Ahora
dt
dt
= 1. implica que
t = t + c(:).
Al hacer 1(t. :) = t + c(:). se obtiene del dato inicial que
0 = 1(0. :) = 0 + c(:) y as 1(t. :) = t.
De la ecuacin
dr
dt
= n. se obtiene
r = nt + c(:)
ya que n es una constante con respecto a t. Haciendo A(t. :) = nt + c(:). resulta
: = A(0. :) = c(:).
luego
A(t. :) = nt + :.
Entonces la solucin del problema caracterstico es
_

_
A(t. :) = nt + :
1(t. :) = t
2(t. :) = /(:).
(2.20)
Como r = nt + : y t = t. se obtiene : = r nt y as
n(t. :) = 2(t. :) = /(:) = /(r nt).
32
que es una funcin denida implcitamente.
Como r = nt +:. entonces las dos primeras componentes de la curva caracterstica que
pasa por el punto (:. 0. /(:)). denen sobre el plano rt la recta
r(t) = /(:)t + :. (n = /(:) cuando t = 0).
que es la proyeccin de la caracterstica sobre el plano rt.
Sobre esta recta se tiene
d
dt
[n(r(t). t)] =
Jn
Jr
dr
dt
+
Jn
Jt
= nn
a
+ n
t
= 0.
es decir, sobre esta recta el valor de n es constante.
Si t = 0, entonces
r
0
= r(0) = : y n(r(0). 0) = n(r
0
. 0) = /(r
0
).
luego el valor de n sobre la recta r(t) = r
0
+ /(r
0
)t es /(r
0
).
Para dos valores r
1
,= r
2
las proyecciones correspondientes de las caractersticas sobre
el plano rt son
r = r
1
+ /(r
1
)t y r = r
2
+ /(r
2
)t.
Si /(r
1
) ,= /(r
2
). estas rectas se cortan en un punto 1 determinado por un valor de t
dado por
t
0
=
(r
2
r
1
)
/(r
2
) /(r
1
)
=
1
/(r
2
) /(r
1
)
(r
2
r
1
)
.
Cuando r
1
r
2
. entonces t
0

1
,
0
(r
2
)
y as el tiempo mnimo en el que se
produce el choque es
t = mn
a2R
_
1
/
0
(r)
_
.
De lo anterior se deduce que si existiese una funcin solucin debera tomar a la vez
los valores de /(r
1
) y /(r
2
) en el punto 1.
Se concluye en general, que es imposible encontrar una solucin global clsica al pro-
blema.
A continuacin se analiza la clase de singularidad que se presenta, analizando la
variacin de n
a
sobre la recta proyeccin de una curva caracterstica.
Como n = /(r
0
), entonces
Jn
Jr
=
Jn
Jr
0
Jr
0
Jr
= /
0
(r
0
)
Jr
0
Jr
.
33
Ahora,
Jr
0
Jr
=
1
Jr
Jr
0
=
1
1 + /
0
(r
0
)t
.
luego
Jn
Jr
= /
0
(r
0
)
1
1 + /
0
(r
0
)t
.
Se tiene que si /
0
(r
0
) ,= 0, entonces
lm
t!
1
h
0
(x
0
)
_
Jn
Jr
_
no existe,
y esto signica que en el punto
t
1
=
1
/
0
(r
0
)
.
la funcin deja de ser derivable con continuidad.
Si /
0
(r
0
) < 0, entonces
t
1
=
1
/
0
(r
0
)
0.
y se puede interpretar que si t representa el tiempo, existe un tiempo t = t
1
0 para
el cual la solucin no es derivable con continuidad.
2.6. Soluciones dbiles
De acuerdo con la ecuacin (2.6), existe una expresin integral que no requiere
la regularidad de la solucin y que es equivalente a la ecuacin puntual cuando la
solucin es regular, para tal efecto se puede proceder de la manera siguiente:
Si se multiplica la ecuacin n
t
+ nn
a
= 0 por una funcin
0
(n). resulta

0
(n)n
t
+
0
(n)nn
a
= 0.
y haciendo
0
(n)n = 1
0
(n) se tiene

0
(n)n
t
+ 1
0
(n)n
a
= 0.
lo cual puede escribirse como la divergencia de un campo vectorial, esto es,
(n)
t
+ 1(n)
a
= 0. (2.21)
34
Integrando (2.21) con respecto a r, con c. / y t arbitrarios, se tiene
0 =
_
b
o
(n)
t
dr +
_
b
o
1(n)
a
dr
=
d
dt
_
b
o
[n(r. t)]dr + 1[n(/.t)] 1[n(c. t)].
(2.22)
que es lo que se conoce en la fsica como una ley de conservacin.
Si se cumple que n C
1
(R
2
). entonces a partir de (2.22), (invirtiendo los pasos que
se efectuaron para obtener esta ecuacin ), se llega a que n satisface la ecuacin
n
t
+ nn
a
= 0.
La ecuacin (2.22) es vlida sin el requisito de regularidad n C
1
(R
2
), y sta se usa
para denir lo que se conoce como solucin dbil de la ecuacin (2.21), es decir, n es
una solucin dbil de (2.21) si n satisface (2.22).
2.6.1. Condicin de salto
Sea n una solucin dbil de la ecuacin (2.21), que sea regular excepto en una
curva suave r = o(t), a travs de la cual la solucin tenga un salto nito. Por salto
nito se entiende que
n
+
= lm
a!o(t)
+
n(r. t) y n

= lm
a!o(t)

n(r. t)
son nitos. La curva o(t) se llama onda de choque.
Si c < o(t) < /. (2.22) puede escribirse como
0 =
d
dt
_
o(t)
o
[n(r. t)]dr +
d
dt
_
b
o(t)
[n(r. t)]dr + 1[n(/. t)] 1[n(c. t)].
Aplicando la regla de Leibniz se tiene
d
dt
_
o(t)
o
[n(r. t)]dr =
_
o(t)
o
J
Jt
[n(r. t)]dr + lm
j!o(t)
[n(j. t)]
Jo
Jt
=
_
o(t)
o
J
Jt
[n(r. t)]dr + [n

]
Jo
Jt
.
De manera igual,
d
dt
_
b
o(t)
[n(r. t)]dr =
_
b
o(t)
J
Jt
[n(r. t)]dr lm
j!o(t)
+ [n(j. t)]
Jo
Jt
=
_
b
o(t)
J
Jt
[n(r. t)]dr [n
+
]
Jo
Jt
.
35
Como (n)
t
+ 1(n
a
) = 0. se obtiene
0 = [(n

) (n
+
)]
Jo
Jt
+ 1[n(/.t)] 1[n(c. t)] +
_
o(t)
o

t
(n)dr +
_
b
o(t)
1
a
(n)dr
= [(n

) (n
+
)]
Jo
Jt
+ 1[n(/.t)] 1[n(c. t)]
_
o(t)
o
1
a
(n)dr
_
b
o(t)
1
a
(n)dr
= [(n

) (n
+
)]
Jo
Jt
1(n

) + 1(n
+
).
Entonces
Jo
Jt
(t) =
1(n
+
) 1(n

)
(n
+
) (n

)
(2.23)
da la velocidad de propagacin de la discontinuidad en trminos de la variacin de
y 1 en el salto de n.
La condicin (2.23) se llama la condicin de salto o de choque y en el estudio de
la dinmica de gases se conoce como la condicin de Rankine-Hugoniot.
Obsrvese que la ecuacin n
t
+ nn
a
= 0 puede escribirse como
n
t
+
_
n
2
2
_
a
= 0.
Entonces en la ecuacin correspondiente
(n)
t
+ 1(n
a
) = 0.
se tiene
(n) = n y 1(n) =
n
2
2
.
y as la condicin de salto en este caso es
Jo
Jt
=
1
2
(n
+
)
2
(n

)
2
n
+
n

=
n
+
+ n

2
.
La ecuacin n
t
+ nn
a
= 0 se llama ecuacin de Burgers y es un caso especial de
las ecuaciones cuasilineales de la forma n
t
+ ,(n)
a
= 0, las cuales se conocen como
las leyes de conservacin por la analoga que se presenta con el modelo de algunas
leyes de conservacin de la fsica, por ejemplo las ecuaciones de dinmica de gases sin
viscosidad que estn dadas por

t
n
a
= 0 (conservacin de la masa)
n
t
+ j
a
= 0 (conservacin del momento)
1
t
+ (nj)
a
= 0 (conservacin de la energa),
donde es el volumen especco, n la velocidad, 1 la energa especca y j la presin,
[14].
36
Ejemplo 2.10 Considrese el problema de Cuachy
_
n
t
+ nn
a
= 0
n(r. 0) = /(r).
con
/(r) =
_

_
1 si r < 0
1 r si 0 _ r _ 1
0 si 1 < r.
1.5 1 0.5 0 -0.5 -1 -1.5
1.5
1.25
1
0.75
0.5
0.25
0
x
y
x
y
Grca de = /(r).
El tiempo mnimo de choque es
t

= mn
0a1
_
1
/
0
(r)
_
=
1
1
= 1.
Entonces se puede intentar hallar una funcin solucin para t < 1.
Como ya se vio en el ejemplo (2.9, el sistema caracterstico es
dr
dt
= n.
dt
dt
= 1.
dn
dt
= 0
y el dato parametrizado
(:) = (:. 0. /(:)) .
La solucin del problema caracterstico es
A(t. :) = : + /(:)t. 1(t. :) = t. 2(t. :) = /(:).
de donde
r = : + /(:)t. n = /(r nt).
37
Si r < 0 entonceas /(r) = 1. luego /(:) = 1 y (:) = (:. 0. 1), con : < 0. Resulta
r = : + t. de donde : = r t < 0, es decir, r < t. Por tanto
n = /(r nt) = 1. para r < t.
Si r 1, se tiene /(:) = 0 y (:) = (:. 0. 0). con : 1, entonces r = : 1, luego
n = /(r nt) = 0. para r 1.
Si 0 _ r _ 1, entonces /(:) = 1 : y (:) = (:. 0. 1 :), con 0 _ : _ 1. Como
r = : + (1 :)t, se tiene : =
r t
1 t
. luego 0 _
r t
1 t
_ 1. y as para t < 1 se
llega a t _ r _ 1. Ahora n = 1 (r nt). de donde
n =
1 r
1 t
. para t _ r _ 1.
Se ha obtenido para t < 1 la solucin clsica local dada por
n(r. t) =
_

_
1. r < t
1 r
1 t
. t _ r _ 1
0. 1 r.
En t _ 1 las caractersticas se cortan y no se puede tener solucin regular.
Para encontrar la solucin dbil en t _ 1, se usa la condicin de salto ( 2.23),
basada en la solucin local anterior n(r. t). Entonces
n
+
= 0 y n

= 1.
de donde
do
dt
=
0 + 1
2
=
1
2
.
Al hacer que la recta r = o(t) contenga al punto (1. 1) (ver la grca de abajo),
resulta r 1 =
1
2
(t 1). luego r(t) =
t + 1
2
es la curva en que la solucin dbil
n no es regular. Entonces para t _ 1 se puede denir n por
n(r. t) =
_

_
1. r < 1 +
1
2
(t 1)
0. r 1 +
1
2
(t 1).
38
La gura siguiente muestra los valores de la solucin global dbil en las distintas
regiones del plano rt para t 0. .la cual obviamente contiene la solucin local
para 0 < t < 1.
x = t
u =1
u =1
u = 0
u = 0
u = (1-x) /(1- t )
x = 1+ (t-1)/2 t
x
t =1
Valores de la solucin global dbil.
Nota 2.11 Una solucin suave de n
t
+ nn
a
= 0 satisface las ecuaciones
n
t
+
_
n
2
2
_
a
= 0. y
_
n
2
2
_
t
+
_
n
3
3
_
a
= 0.
pero esto no es cierto para las soluciones discontinuas. Para ver esto, ntese que en
la primera ecuacin la condicin de salto es
n
+
+ n

2
y en la segunda
2
3
[(n
+
)
2
+ n
+
n

+ (n

)
2
]
n
+
+ n

.
Como estas condiciones son diferentes, tambin lo sern las soluciones discontinuas
correspondientes. Entonces al escribir la ecuacin diferencial en dos formas diferentes
de divergencia, cada una de estas puede tener soluciones dbiles diferentes.
Otra manera de llegar a la denicin de una solucin dbil de (2.21) es la descrita
a continuacin.
39
Se supone inicialmente que n es solucin clsica y se multiplica la ecuacin por
una funcin c C
1
0
(R
2
) cuyo soporte
2
est contenido en el rectngulo [c. /] [1
1
. 1
2
] y
se integra sobre R
2
, esto es,
__
R
2
[(n)
t
+ 1(n)
a
] cdrdt =
_
T
2
T
1
_
b
o
(n)
t
cdrdt +
_
T
2
T
1
_
b
o
1(n)
a
cdrdt = 0.
Efectuando la integracin por partes se tiene,
b
_
o
_
T
2
T
1
(n)
t
cdtdr =
b
_
o
_
(n)c[
T
2
T
1

_
T
2
T
1
(n)c
t
dt
_
dr =
_
T
2
T
1
_
b
o
(n)c
t
drdt.
y tambin
_
T
2
T
1
_
b
o
1(n)
a
cdrdt =
_
T
2
T
1
_
1(n)c[
b
o

_
b
o
1(n)c
a
dr
_
dt =
_
T
2
T
1
_
b
o
1(n)c
a
dr dt.
Entonces se llega a
__
R
2
[(n)c
t
+ 1(n)c
a
] drdt = 0. (2.24)
Para que la ecuacin (2.24) tenga sentido no se necesita que n sea suave, slo que n se
acotada y medible (el concepto de funcin medible puede consultarse en [3]).
Denicin 2.12 Una funcin n(r. t) medible y acotada es una solucin dbil de la
ecuacin (2.21), si satisface (2.24) para todo c C
1
0
(R
2
).
Este concepto de solucin dbil es conocido como solucin en el sentido de las
distribuciones. El estudio de esta teora requiere herramientas avanzadas del anlisis
matemtico.
2
El soporte de una funcin (t), notado como Sop((t)), es la adherencia del conjunto de puntos
donde la funcin no es nula, [12].
40
Captulo 3
Ejercicios resueltos de 111
cuasilineales
En este captulo se desarrollan algunos ejercicios sobre 111 cuasilineales de primer
orden, que se encuentran propuestos en la bibliografa citada al nal del trabajo. La
letra c (o con sus ndices respectivos) representar constantes arbitrarias.
Ejercicio 3.1 Considere la ecuacin
n
a
rn
j
= 0.
a. Encuentre algunas soluciones.
b. Resuelva el problema de Cauchy
n
a
rn
j
= 0. n(r. 0) = r
2
.
Solucin
a. El sistema caracterstico es
dr
dt
= .
d
dt
= r.
dn
dt
= 0.
De las dos primeras ecuaciones se tiene
rdr + d = 0.
cuya solucin es
r
2
+
2
= c
1
.
41
De la tercera ecuacin caracterstica resulta que n = c
2
.
Si se toma en particular una funcin arbitraria c (
1
. entonces
c(c
1
) = c(r
2
+
2
).
y haciendo
c
2
= c(c
1
) = c(r
2
+
2
).
entonces
n = c(r
2
+
2
). c (
1
.
es solucion de la ecuacin.
b. El dato inicial parametrizado es
(:) = (:. 0. :
2
).
Del apartado a. se deduce que para = 0.
c
1
= :
2
y n = c
2
= :
2
.
luego c
1
= c
2
y as c(c
1
) = c
1
, es decir, bajo la condicin
n(r. 0) = r
2
.
c ha de ser la funcin idntica. La solucin del problema es
n(r. ) = r
2
+
2
.
Ejercicio 3.2 Sea n = ,
_
r
n
_
. Eliminar , y obtener la 111 que verica n.
Solucin
Jn
Jr
= ,
0
_
r
n
_
J
Jr
_
r
n
_
= ,
0
_
r
n
_
n rn
a
n
2
Jn
J
= ,
0
_
r
n
_
J
J
_
r
n
_
= ,
0
_
r
n
_
rn rn
j
n
2
.
Dividiendo
Jn
Jr
entre
Jn
J
y simplicando se llega a
rn
a
n
j
= 0.
Ejercicio 3.3 Obtener soluciones de la ecuacin
(r + )n
a
+ (n r)n
j
= + n.
42
Solucin
El sistema caracterstico es
dr
dt
= r + .
d
dt
= n r.
dn
dt
= + n.
Sumando las dos primeras ecuaciones se obtiene
dr
dt
+
d
dt
= + n.
e igualando ste resultado con la tercera se obtiene
dn
dt
+
d
dt
=
dn
dt
.
luego
d
dt
(r + n) = 0.
y as
n = r + + c
es solucin de la ecuacin.
Ejercicio 3.4 Mostrar que la solucin de ecuacin no lineal
n
a
+ n
j
= n
2
que pasa a travs de la curva inicial
r = t. = t. n = t
se vuelve innita a lo largo de la hiprbola
r
2

2
= 4.
Solucin
El sistema caracterstico es
dr
dt
= 1.
d
dt
= 1.
dn
dt
= n
2
.
y la curva dato ya est parametrizada. La solucin del problema caracterstico es
r = t + t. = t t. n =
t
1 tt
.
de donde
n(r. ) =
1
4 (r
2

2
)
.
43
Ejercicio 3.5 Considerar la ecuacin
(r n)n
a
+ (
2
1)n
j
= n r
y las curvas dato:
a. = 0. r
2
n
2
= 1
b. r
2
+
2
= 1. n = 0
Resolver el problema de Cauchy para cada dato.
Solucin.
El sistema caracterstico es
dr
dt
= r n.
d
dt
=
2
1.
dn
dt
= n r.
la parametrizacin del dato en el caso a. es
(:) = (:. 0.
_
:
2
1).
y en el caso b,
(:) = (:.
_
1 :
2
. 0).
a. De la segunda ecuacin del sistema caracterstico, se obtiene
ln

1
+ 1

= 2t + c. (1. 1) .
Si t = 0, entonces = 0 y as c = 0, luego
ln

1
+ 1

= 2t.
Como (1. 1), se tiene
ln
1
+ 1
= 2t.
de donde
=
1 c
2t
1 + c
2t
.
De la primera y la tercera ecuacin del sistema caracterstico se obtiene
r
dr
dt
n
dn
dt
= (r
2
n
2
).
44
lo cual equivale a
1
2
d
dt
(r
2
n
2
) = (r
2
n
2
).
(r
2
n
2
)
0
r
2
n
2
= 2.
(r
2
n
2
)
0
r
2
n
2
= 2
1 c
2t
1 + c
2t
.
Integrando se llega a
ln

r
2
n
2

= ln
_
c
c
2t
(1 + c
2t
)
2
_
. c 0.
Como 2t = ln
1
+ 1
. resulta
ln

r
2
n
2

= ln
_

_
c
1
+ 1
_
1 +
1
+ 1
_
2
_

_
= ln
_
c
4
(1
2
)
_
.
luego,

r
2
n
2

=
c
4
(1
2
).
Si = 0. se deduce que
c = 4 y

r
2
n
2

= 1
2
.
Se escoge
(r
2
n
2
) = 1
2
.
es decir,
n
2
= r
2

2
+ 1.
que es la solucin que satisface el dato inicial.
b. En la parte a. del problema se obtuvo que n dada por

r
2
n
2

= 4c(1
2
)
soluciona la 111. Si n = 0. tambin c =
1
4
y

r
2
n
2

= 1
2
.
45
Se escoge
r
2
n
2
= 1
2
.
es decir
n
2
= r
2
+
2
1.
que es la solucin que satisface la condicin inicial.
Ejercicio 3.6 Considere la ecuacin
nn
a
n
j
= 0.
a. Hallar las curvas caractersticas.
b. Determinar la solucin que pasa por la curva
= 0. n = r
2
1
y dibujarla.
n(r. 0). n(r. 1,2). n(r. 1). n(r. 2). n(r. 3).
Solucin
a. El sistema caracterstico de la ecuacin es
dr
dt
= n.
d
dt
= 1.
dn
dt
= 0.
Las curvas caractersticas son las grcas en R
3
de las soluciones del sistema
caracterstico.
De la tercera ecuacin se obtiene n = c
1
.
La solucin de la segunda ecuacin es
= t + c.
Reemplazando a n en la primera ecuacin se llega a
r = c
1
t + c.
b. La parametrizacin del dato es
(:) = (:. 0. :
2
1).
46
Para t = 0. se obtiene de la parte a. y del dato (:) que
n = :
2
1. = t. r = (:
2
1)t + :.
Como = t. entonces
r = (1 :
2
) + :.
Resolviendo la ecuacin para : de obtiene
: =
1
_
1 4(r )
2
.
y reemplazando en n = :
2
1. resulta
n =
1
_
1 4(r ) 2r
2
2
.
Si se dene
n(r. 0) = lm
j!0
n(r. ).
la solucin del problema con dato inicial
= 0. n = r
2
1
es
n =
1
_
1 4(r ) 2r
2
2
.
ya que aplicando dos veces la regla de LHopital, resulta
n(r. 0) = lm
j!0
1
_
1 4(r ) 2r
2
2
= r
2
1.
En la pgina siguiente se muestran las grcas de la supercie solucin n(r. ) y
las curvas pedidas en el literal b. de este ejercicio.
47
Supercie n(r. ) =
1
_
1 4(r ) 2r
2
2
.
La grca siguiente muestra las curvas pedidas en el literal b, las cuales estn con-
tenidas en la supercie correspondiente a n(r. ) =
1
_
1 4(r ) 2r
2
2
.
Grcas de n(r. 0). n(r. 1,2). n(r. 1). n(r. 2). n(r. 3).
48
Ejercicio 3.7 Sea el sistema diferencial
r
0
(t) = ,(r(t). (t). n(t)).

0
(t) = q(r(t). (t). n(t)).
n
0
(t) = /(r(t). (t). n(t)).
(3.1)
Se llama integral primera del sistema (3.1) a una funcin \(r. . n) (
1
tal que es
constante a la largo de las trayectorias de (3.1).
Qu ecuacin en derivadas verica la integral primera \? Interpretar el resultado.
Solucin
Que \ sea constante a lo largo de las trayectorias de (3.1) signica que la derivada
de \ en la direccin del vector v = (r
0
.
0
. n
0
) es cero, es decir,
1
v
\ (r. . n) = \\. (,. q. /) = 0.
,
J\
Jr
+ q
J\
J
+ /
J\
Jn
= 0.
Obsrvese que
0 = 1
v
\ (r. . n)
= ,
J\
Jr
+ q
J\
J
+ /
J\
Jn
=
J\
Jr
r
0
+
J\
J

0
+
J\
Jn
n
0
=
d
dt
\ (r. . n) .
De lo anterior se deduce que el campo v = (r
0
.
0
. n
0
) es tangente a las supercies de
nivel de \. es decir, las curvas integrales del campo vectorial v estn contenidas en las
supercies de nivel de \.
Ejercicio 3.8 Dos supercies se dicen ortogonales, si son ortogonales sus planos tan-
gentes en los puntos en que se cortan.
a) Probar que para que la grca de la funcin n = c(r. ) sea una supercie ortogonal
a la familia uniparamtrica de supercies denida implcitamente por H(r. . n. c) = 0,
es necesario y suciente que verique la ecuacin
H
a
c
a
+ H
j
c
j
= 1
&
.
b) Hallar las supercies ortogonales a la familia denida por r
2
+
2
= 2cn.
49
Solucin
a) Que dos planos sean ortogonales equivale a que sus vectores normales sean or-
togonales. Las ecuaciones
G(r. . n) = c(r. ) n = 0 y H(r. . n. c) = 0.
son supercies de nivel, luego los vectores
\G(r. . n) =
_
c
a
. c
j
. 1
_
y \H (r. . n) = (H
a
. H
j
. H
&
)
son ortogonales a las supercies denidas por G y H, respectivamente.
Si las supercies son ortogonales entonces
_
c
a
. c
j
. 1
_
(H
a
. H
j
. H
&
) = 0.
H
a
c
a
+ H
j
c
j
= H
&
.
Inversamente, cada solucin n = c(r. ) de la ecuacin H
a
n
a
+H
j
n
j
= H
&
es ortogonal
la familia de supercies generada por la ecuacin H(r. . n. c) = 0. puesto que
H
a
c
a
+ H
j
c
j
= H
&
equivale a
_
c
a
. c
j
. 1
_
(H
a
. H
j
. H
&
) = 0.
b) Sea H(r. . n. c) = r
2
+
2
2cn = 0. En la parte a) del ejercicio se mostr
que para encontrar supercies ortogonales a la familia de supercies denida por H se
debe resolver la ecuacin
H
a
n
a
+ H
j
n
j
= H
&
.
2rn
a
+ 2n
j
= 2c.
Del sistema caracterstico se tiene
_

_
dr
dt
= ,
1
(r
1
. r
2
. n) = H
a
d
dt
= ,
2
(r
1
. r
2
. n) = H
j
dn
dt
= , (r
1
. r
2
. n) = H
&
.
luego
dr
H
a
=
d
H
j
=
dn
H
&
dr
2r
=
d
2
=
dn
2c
.
50
Entonces
dr
r
=
d

=
dn
c
.
dr + d
r +
=
dn
c
.
d (r + )
r +
=
dn
c
.
n(r. ) = cln (r + ) + C.
y as las supercies ortogonales a r
2
+
2
= 2cn son de la forma
n(r. ) = cln (r + ) + C.
Ejercicio 3.9 (Teorema de Euler) Una funcin n(r
1
. r
2
) se dice homognea de gra-
do : 0 si n(`r
1
. `r
2
) = `
n
n(r
1
. r
2
). Prubese que la condicin necesaria y suciente
para que n sea homognea de grado : es que verique la ecuacin
r
1
n
a
1
+ r
2
n
a
2
= :n.
Solucin
Condicin necesaria. Sea n(`r
1
. `r
2
) = `
n
n(r
1
. r
2
) y = `r
1
. j = `r
2
. Entonces
n(. j) = `
n
n(r
1
. r
2
). y derivando con respecto a ` se obtiene
Jn
J`
=
Jn(. j)
J
J
J`
+
Jn(. j)
Jj
Jj
J`
= :`
n1
n(r
1
. r
2
)
Jn(. j)
J`
r
1
+
Jn(. j)
J`
r
2
= :`
n1
n(r
1
. r
2
).
Haciendo ` = 1 se tiene = r
1
. j = r
2
. y as
r
1
n
a
1
+ r
2
n
a
2
= :n.
Condicin suciente. Supngase que una funcin n(r
1
. r
2
) satisface al ecuacin
r
1
n
a
1
+ r
2
n
a
2
= :n.
entonces haciendo
c(`) = n(`r
1
. `r
2
)
y derivando con respecto a ` se obtiene
c
0
(`) = r
1
Jn
Jr
1
(`r
1
. `r
2
) + r
2
Jn
Jr
1
(`r
1
. `r
2
)
=
1
`
_
`r
1
Jn
Jr
1
(`r
1
. `r
2
) + `r
2
Jn
Jr
1
(`r
1
. `r
2
)
_
=
:
`
n(`r
1
. `r
2
) =
:
`
c(`) .
51
de donde
c
0
(`)
c(`)
=
:
`
.
ln [c(`)[ = ln (C
1
`
a
) .
c(`) = `
a
C.
Tomando ` = 1 resulta
c(1) = C.
c(`) = c(1) `
a
.
n(`r
1
. `r
2
) = `
a
n(r
1
. r
2
) .
ya que c(1) = n(r
1
. r
2
) .
Ejercicio 3.10 Considerar la ecuacin cuasilineal
(r
2
+ 1)n
a
rn
j
=
n
r
y la curva dato
r = 1. n = .
a. Comprobar si se cumple la condicin de transversalidad.
b. En el caso en que se cumpla, resolver el problema de Cauchy.
Solucin.
Este es el ejercicio que se utiliz en el ejemplo 2.4.
a. Las funciones coecientes son
,
1
(r. . n) = r
2
+ 1. ,
2
(r. . n) = r. ,(r. . n) =
n
r
.
y la curva dato parametrizada
(:) = (1. :. :).
La condicin de transversalidad consiste en que
det
_
_
,
1
[c
1
(:). c
2
(:). ,(:)] c
0
1
(:)
[,
2
(c
1
(:). c
2
(:). ,(:)] c
0
2
(:)
_
_
,= 0.
Para este problema se tiene
det
_
2 0
: 1
_
= 2.
52
b. El sistema caracterstico es
dr
dt
= r
2
+ 1.
d
dt
= r.
dn
dt
=
n
r
.
De la primera ecuacin se obtiene arctan r = t + c.
Si t = 0, entonces
arctan 1 = c.
y as
arctan r = t +
:
4
.
tambin
r = tan
_
t +
:
4
_
.
Reemplazando a r en la segunda ecuacin se obtiene
1

d = tan
_
t +
:
4
_
dt.
cuya solucin es
[[ = c

cos
_
t +
:
4
_

.
Si t = 0 entonces [:[ =
c
_
2
y as
[[ =
_
2 [:[

cos
_
t +
:
4
_

.
Reemplazando a r en la tercera ecuacin se obtiene
dn
n
=
dt
tan
_
t +
:
4
_.
cuya solucin es
[n[ = c

sin
_
t +
:
4
_

.
Si t = 0 entonces [:[ =
c
_
2
y as
[n[ =
_
2 [:[

sin(t +
:
4
)

.
De las expresiones correspondientes a [n[ . [[ y r se obtienen
[n[ =
[[

cos
_
t +
:
4
_

sin
_
t +
:
4
_

= [[

tan
_
t +
:
4
_

= [r[ .
Se escoge n = r, porque es la solucin que satisface el dato.
53
Ejercicio 3.11 Considerar la ecuacin cuasilineal
rn
a
+ n
j
= 2(r
2
+
2
)n.
y la curva dato
r = 1 y n = c.
a. Comprobar si se cumple la condicin de transversalidad.
b. En el caso que se cumpla, resolver el problema de Cauchy.
Solucin
a. La parametrizacin de la curva dato es (:) = (1. :. c).
La condicin de transversalidad, se cumple porque
det
_
_
,
1
(c
1
(:). c
2
(:). ,(:)) c
0
1
(:)
,
2
(c
1
(:). c
2
(:). ,(:)) c
0
2
(:)
_
_
= det
_
1 0
: 1
_
= 1.
donde ,
1
(r. . n) = r. ,
2
(r. . n) = .
b. El sistema caracterstico es
dr
dt
= r.
d
dt
= .
dn
dt
= 2(r
2
+
2
)n.
Las soluciones de las dos primeras ecuaciones con el dato
(:) = (1. :. c).
son
[r[ = c
t
y [[ = [:[ c
t
.
Para solucionar la tercera ecuacin obsrvese que
r
2
+
2
= c
2t
(1 + :
2
).
luego
dn
n
= 2c
2t
(1 + :
2
).
cuya solucin es
ln [n[ = c
2t
(1 + :
2
) + c.
54
Por el dato inicial resulta
ln [n[ = c
2t
(1 + :
2
) :
2
.
Como
c
2t
= r
2
y :
2
=

2
r
2
.
se llega a
ln [n[ = r
2
+
2

2
r
2
.
Entonces la solucin del problema de Cauchy es
n = c
(a
2
+j
2
j
2
a
2
)
.
la cual satisface el dato inicial.
Ejercicio 3.12
a. Solucionar el problema

t
+ c
a
= ,(r. t). (r. 0) = 1(r).
b. Aplicar el resultado anterior al caso
,(r. t) = rt. 1(r) = sin r.
Solucin.
a. El sistema caracterstico es
dr
dt
= c.
dt
dt
= 1.
d
dt
= ,(r. t).
con dato inicial
(:) = (:. 0. 1(:)).
De las primeras dos ecuaciones resulta
r = ct + : y t = t.
entonces
: = r ct.
55
La tercera ecuacin queda
d
dt
= ,(ct + :. t).
luego
=
_
t
0
,(cn + :. n)dn + c.
Cuando t = 0. entonces = 1(:) y as
=
_
t
0
,(cn + :. n)dn + 1(:).
Reemplazando a : y t en trminos de r y t resulta como solucin la funcin
(r. t) =
_
t
0
,(cn + r ct. n)dn + 1(r ct).
Si se desea probar que sta ltima expresin satisface la ecuacin, obsrvese que
J
Jr
=
_
t
0
J
Jr
,(cn + r ct. n)dn + 1
0
(r ct)
=
_
t
0
J,
J.
(.. n)dn + 1
0
(r ct). donde . = cn + r ct.
Para hallar
J
Jt
se utiliza la regla de Leibniz, con lo cual resulta
J
Jt
=
_
t
0
J
Jt
,(cn + r ct. n)dn + ,(ct + r ct. t) c1
0
(r ct)
=
_
t
0
c
J,
J.
(.. n)dn + ,(r. t) c1
0
(r ct).
b. Si ,(r. t) = rt y 1(r) = sin r. entonces
(r. t) =
_
t
0
(cn + r ct)ndn + sin(r ct)
=
t
2
6
(3r ct) + sin(r ct).
Ejercicio 3.13 Resolver el problema
tn
a
+ rn
t
= cn. n(r. 0) = ,(r).
56
Solucin
El problema caracterstico es
dr
dt
= t.
dt
dt
= r.
dn
dt
= cn. (:) = (:. 0. ,(:)).
De las primeras dos ecuaciones se obtiene
d
dt
(r + t) = r + t. luego
d(r + t)
r + t
= dt.
Entonces
ln [r + t[ = t + c.
y por el dato inicial c = ln [:[. quedando
ln [r + t[ = t + ln [:[ [r + t[ = [:[c
t
.
Tambin de las dos primeras ecuaciones se obtiene
dr
dt
=
t
r
.
cuya solucin es
r
2
2

t
2
2
= c.
y por el dato inicial resulta
r
2
t
2
= :
2
.
La solucin de la tercera ecuacin es
[n[ = [,(:)[ c
ct
.
De las igualdades
[r + t[ = [:[c
t
y r
2
t
2
= :
2
.
se obtiene
c
2t
=
r + t
r t
_ 0.
es decir, r + t y r t han de tener el mismo signo. Si se toman positivos entonces,
[:[ =
[r + t[
c
t
=
r + t
_
(r + t) , (r t)
=
_
r + t.
_
r t =
_
r
2
t
2
.
Escogiendo a : _ 0, se llega a la solucin
n(r. t) = ,
_
(r
2
t
2
)
1
2
_
_
r + t
r t
_c
2
lo cual satisface el dato inicial para r _ 0.
57
Ejercicio 3.14
a. Probar que una solucin general
1
de la ecuacin
,(r. . .)
J.
Jr
+ q(r. . .)
J.
J
= /(r. . .). (3.2)
se puede obtener de la forma
,(n(r. . .). (r. . .)) = 0. (3.3)
donde , C
1
es una funcin arbitraria y
n(r. . .) = /
1
. (r. . .) = /
2
. (3.4)
constituyen una solucin del sistema de ecuaciones ordinarias
dr
,
=
d
q
=
d.
/
. (3.5)
b. Utilizar el resultado en a. para hallar una solucin general de r.
a
+ .
j
= 3..
Solucin
a. Diferenciando la primera ecuacin en (3.4) resulta
n
a
dr + n
j
d + n
:
d. = 0. (3.6)
De (3.5) se obtiene
d =
q
,
dr. d. =
/
,
dr. (3.7)
Como n es solucin de (3.5), entonces (3.6) y (3.7) son compatibles y sustituyendo
(3.7) en (3.6) se obtiene
,n
a
+ qn
j
+ /n
:
= 0. (3.8)
De forma anloga se llega a
,
a
+ q
j
+ /
:
= 0. (3.9)
Sumando la ecuacin (3.8) multiplicada por
a
. con la (3.9) multiplicanda por
n
a
. se obtiene
q (n
a

j
n
j

a
) / (n
:

a
n
a

:
) = q

n
a
n
j

a

j

n
:
n
a

:

a

= 0.
1
Una solucin general de una EDP de primer orden F (x; y; z; z
x
; z
y
) = 0 es la que depende de una
funcin arbitraria, [5].
58
luego
q
J(n. ),J(.. r)
=
/
J(n. ),J(r. )
.
donde
J(n. )
J(.. r)
denota el Jacobiano de (n. ) con respecto a . y r.
De manera anloga se obtiene
,
J(n. ),J(. .)
=
/
J(n. ),J(r. )
.
y as
,
J(n. ),J(. .)
=
q
J(n. ),J(.. r)
=
/
J(n. ),J(r. )
. (3.10)
Ahora se procede a diferenciar (3.3), pero antes obsrvese que en (3.4)
n(r. . .) = l(r. ) = /
1
y (r. . .) = \ (r. ) = /
2
.
ya que . = .(r. ). luego
Jl
Jr
=
Jn
Jr
+
Jn
J.
J.
Jr
.
J\
Jr
=
J
Jr
+
J
J.
J.
Jr
.
Las derivadas parciales de , son
J,
Jr
=
J,
Jl
Jl
Jr
+
J,
J\
J\
Jr
=
J,
Jn
[n
a
+ n
:
.
a
] +
J,
J
[
a
+
:
.
a
] = 0. (3.11)
y
J,
J
=
J,
Jl
Jl
J
+
J,
J\
J\
J
=
J,
Jn
[n
j
+ n
:
.
j
] +
J,
J
[
j
+
:
.
j
] = 0. (3.12)
De (3.11) y (3.12) resulta
n
a
+ n
:
.
a
n
j
+ n
:
.
j
=

a
+
:
.
a

j
+
:
.
j
.
de donde
J(n. )
J(. .)
.
a
+
J(n. )
J(.. r)
.
j
=
J(n. )
J(r. )
; (3.13)
y de (3.10) se tiene
J(n. )
J(. .)
=
,
/
J(n. )
J(r. )
.
J(n. )
J(.. r)
=
q
/
J(n. )
J(r. )
. (3.14)
59
Sustituyendo en (3.13) de obtiene
,
/
J(n. )
J(r. )
.
a
+
q
/
J(n. )
J(r. )
.
j
=
J(n. )
J(r. )
.
de donde
,(r. . .).
a
+ q(r. . .).
j
= /(r. . .).
Se concluye que (3.3) es solucin de (3.2), si (3.4) es solucin de (3.5).
b. Del sistema caracterstico se obtiene
dr
r
=
d

=
d.
3.
.
de las igualdades
dr
r
=
d

y
dr
r
=
d.
3.
resulta
r

= /
1
y
.
r
3
= /
2
.
respectivamente.
Haciendo
n(r. . .) =
r

= /
1
. (r. . .) =
.
r
3
= /
2
.
se obtiene una solucin general para 111 de la forma
,
_
r

.
.
r
3
_
= 0. , (
1
.
Si se hacen otras combinaciones aparecen otras soluciones generales, por ejemplo,
tomando
dr
r
=
d

y
d

=
d.
3.
.
se llega a otra solucin general de la forma ,
_
r

.
.

3
_
= 0.
Ejercicio 3.15 Analizar los siguientes problemas de Cauchy.
a. n
a
+ n
j
= 0. n (r. r) = /
b. n
a
+ n
j
= n. n(r. r) = 1
c. n
a
+ n
j
= r. n(r. r) = 1
60
Solucin
Considrese el problema general
cn
a
+ /n
j
= cn + d. con dato n(r. /(r)) = , (r) . (3.15)
donde c. /. c. d son funciones de r. . y el dato
n(r. /(r)) = , (r)
corresponde a la solucin = /(r) del sistema
dr
dt
= c (r. ) .
d
dt
= / (r. ) .
es decir, del sistema formado por las dos primeras ecuaciones de los sistemas carac-
tersticos, (esta funcin = /(r) se conoce con el nombre de caracterstica base, y
obsrvese que d,dr = /,c). Lo que se est haciendo es tomar como dato a una curva
caracterstica en el espacio (r. . n) denida sobre la caracterstica base = /(r) . es
decir sobre la curva
= /(r) . n(r. /(r)) = , (r) .
Derivando n a lo largo de la caracterstica base se tiene
d
dr
n(r. /(r)) =
Jn
Jr
+
Jn
J
/
0
(r) =
Jn
Jr
+
Jn
J
/
c
= ,
0
(r) .
luego
cn
a
+ /n
j
= c,
0
(r) = c, + d.
Por tanto, para que exista solucin, la funcin , debe satisfacer la condicin de com-
patibilidad
c,
0
(r) = c, + d. (3.16)
sobre la curva caracterstica base = /(r) .
Enseguida se analizan los tres problemas propuestos.
a. Utilizando el mtodo de las caractersticas se tiene como solucin del problema
caracterstico a
r = t + :. = t + :. n = /.
ya que la parametrizacin del dato es
(:. :. /) .
61
y as
r = . y n(r. ) = /.
pero esto corresponde solo a una curva caracterstica y no a una supercie, en-
tonces el mtodo no suministra ninguna solucin.
Obsrvese que la curva dato corresponde a una curva caracterstica y que adems
la funcin , = / cumple la condicin de compatibilidad (3.16). Esto signica que
existe la condicin necesaria para intentar hallar soluciones al problema.
Haciendo el cambio de variables
r = + j. = j.
se tiene
n
a
= l

+ l
j
. n
j
= l

l
j
.
y la ecuacin diferencial se transforma en
2l

= 0.
entonces
n(r. ) = l (. j) = , (j) = , (r ) .
donde , ha de tener primeras derivadas continuas. Para que se satisfaga el dato
se debe cumplir que
n(r. r) = , (r r) = , (0) = /.
En conclusin el problema tiene innitas soluciones y son de la forma
n = , (r ) con , (
1
y , (0) = /.
b. Si se intenta usar el mtodo de las caractersticas se llega a
r = t + :. = t + :. n = c
t
.
de donde
r = . y n(r. ) = c
ac
.
Esta funcin satisface la ecuacin diferencial pero no al dato inicial. Adems esta
funcin corresponde a una curva caracterstica y no a una supercie. Con respecto
a la condicin de compatibilidad (3.16), esta no se cumple y as se concluye que
el problema de Cauchy no tiene solucin.
62
c. La solucin del problema caracterstico es
r = t + :. = t + :. n =
t
2
2
+ :t + 1.
El anlisis es similar al fectuado en el literal b. El problema no tiene solucin
porque el dato corresponde a una curva caracterstica y la condicin (3.16) no se
cumple.
Nota 3.16 La no unicidad o la no existencia de la solucin para los problemas de este
ejercicio es consecuencia del no cumplimiento de la condicin de transversalidad. En
los tres casos
det
_
,
1
c
0
1
(:
,
2
c
0
2
(:)
_
=

1 1
1 1

= 0.
y se dice que el problema de Cauchy est mal planteado.
63
Conclusiones
1. La interpretacin geomtrica de una ecuacin cuasilineal de primer orden hace
intuir un mtodo para encontrar sus soluciones y en particular para solucionar
un problema de cauchy.
2. El mtodo que induce la interpretacin geomtrica se llama mtodo de las carac-
tersticas, este reduce el problema de 111 a uno de 11C.
3. Para hallar la solucin de las 111 cuasilineales de primer orden usando el mto-
do de las caractersticas se comienza solucionando problema caracterstico. Si
la curva dato no coincide con alguna de las curvas caractersticas (condicin de
tranversalidad), queda garantizada la existencia y unicidad de la solucin local
para el problema de Cauhy.
4. El Teorema sobre la Existencia y Unicidad de la solucin, en el sentido clsico,
del problema de Cauchy es de carcter local En general para hallar una solucin
global se debe extender el concepto al de solucin dbil.
5. El modelado de problemas fsicos a travs de ecuaciones diferenciales es un medio
para su comprensin y anlisis. Por ejemplo, la expresin diferencial de la con-
servacin de masa o la ecuacin de continuidad; y las ecuaciones de Euler que
describen el movimiento de uidos no viscosos.
64
Bibliografa
[1] APOSTOL, Tom M. Clculo en varias variables con aplicaciones a las probabili-
dades y al anlisis vectorial, volumen 2. Editorial Revert. Barcelona, 1965.
[2] BARTLE, R. SHERBERT, D. Introduccin al Anlisis Matemtico de una Va-
riable. Ed. Limusa, Wiley. 2002.
[3] BARTLE, Robert, G, The Elements of Integrations and Lebesgue Mesure, Ed.
John Wiley & Sons, Inc.
[4] BOYCE, William E. DIPRIMA , Richard C. Ecuaciones Diferenciales y
problemas con Valores en la Frontera. Editorial Limusa S.A. Mxico, 2001.
[5] CASTRO, Abel R., Curso bsico de ecuaciones en derivadas parciales, Addison-
Wesley Iberoamericana, 1997.
[6] GARABEDIAN, P. R. Partial dierencial equations, Ed. John Wiley & Sons, 1964
[7] GUZMN, Miguel de. Ecuaciones diferenciales ordinarias. Ed. Alhambra 1980.
[8] HABERMAN, Richard, Ecuaciones en Derivadas Parciales con series de Fourier y
problemas de contorno, Ed. Pearson Educacin 2003.
[9] MARSDEN, Jerrold E., TROMBA, J. Anthony, Clculo vectorial, cuarta edicin,
Ed. Prentice Hall, 1998
[10] RAINVILLE V, Earl D, BEDIENT, Phillip E, BEDIENT, Richard E. (1997)
Ecuaiones Diferenciales. Prentice Hall.
[11] ROSS, Shepley L. Ecuaciones Diferenciales. Ed Revert S.A, 2
a
ed, Espaa 2002.
[12] PERAL, Alonso Ireneo. Primer Curso de Ecuaciones en Derivadas Parciales. Ed-
itorial Wesley Iberoamericana, Wilmington, Delaware, E.U.A, 1995.
65
[13] SIMMONS, George F. Ecuaciones Diferenciales con Aplicaciones y Notas Histri-
cas. Ed McGraw-Hill, 2
a
ed, 1993.
[14] SMOLLER, J. Shock Waves and Reaction-Diusion Equations, Ed. Springer Ver-
lag, 1983
[15] SNEDDON, Ian N., Elements of Partial Dierential Equations, Ed. McGraw-Hill
[16] STEWART, James. Clculo Multivariable. Cuarta Edicin, Thomson Editores,
S.A, 2002.
[17] WEINBERGER, H.F., Ecuaciones Diferenciales en Derivadas Parciales, Ed. Re-
vert.
66