Captulo 1

Introduccin a las Ecuaciones en

Derivadas Parciales
En este captulo deduciremos algunas ecuaciones en derivadas parciales que son de especial inte-
rs en ingeniera. Veremos que dichas ecuaciones aparecen acompaadas de ciertas condiciones
iniciales y/o de contorno. Todo ello (la EDP y sus condiciones iniciales y/o de contorno) for-
man lo que se llama un modelo matemtico. El objetivo bsico de este captulo es convencer al
alumno de que las EDPs son importantes en ingeniera. Para ello, la mejor forma es presentarles
una gran variedad de problemas donde aparecen dichas ecuaciones.
1.1 Algunas Ecuaciones Bsicas en Ingeniera
En esta seccin presentaremos las tres ecuaciones en derivadas parciales ms clsicas: la del calor,
la de ondas y la de Laplace. Estas ecuaciones nos servirn para ir familiarizndonos con el tipo
de problemas que estudiaremos a lo largo de este curso. Casi todas estas ecuaciones involucran
un operador diferencial conocido como operador de Laplace o Laplaciano. Este operador se
dene del siguiente modo: sea R
n
, n N, un conjunto abierto y supongamos que u : R
es una funcin de clase C
2
() , esto es, u y todas sus derivadas parciales hasta orden 2 existen
y son continuas en todo punto x = (x
1
, x
2
, , x
n
) . Se llama Laplaciano de u, denotado por
u, a la funcin
u(x) =

2
u
x
2
1
(x) +

2
u
x
2
2
(x) + +

2
u
x
2
n
(x) .
Si la funcin u depende de n + 1 variables, de las cuales una representa al tiempo t, y las otras
n variables x = (x
1
, x
2
, , x
n
) son espaciales, por u tambin denotaremos a la funcin
u(t, x) =

2
u
x
2
1
(t, x) +

2
u
x
2
2
(t, x) + +

2
u
x
2
n
(t, x) .
A lo largo de este curso usaremos de forma habitual la siguiente notacin para las derivadas
parciales de la funcin u(t, x
1
, , x
n
) :
u
t
= u
t
,
u
x
i
= u
x
i
,

2
u
x
i
x
j
= u
x
i
x
j
.
3
4 Captulo 1. Introduccin a las Ecuaciones en Derivadas Parciales
1.1.1 La Ecuacin del Calor
Consideremos una regin R
3
ocupada por un medio (un gas, un lquido o una barra
metlica, por ejemplo) de densidad = (x) , x y sometida a la accin de una fuente de
calor externa que representamos por medio de una funcin F : [0, +[ R. Por u(t, x)
denotaremos la temperatura del punto x en el instante t 0. Si suponemos que el calor se
transmite nicamente por conduccin, entonces la ley de Fourier establece que el ujo de calor
es proporcional al gradiente de la temperatura, es decir, el ujo de calor es
(x) u(t, x)
donde (x) 0 indica la conductividad trmica del medio. Si la temperatura no es muy alta, es
muy realista suponer que la densidad, la conductividad trmica y en general las caractersticas
fsicas del medio no se ven afectadas por la temperatura y permanecen constantes a lo largo del
tiempo. En este caso, si denotamos por D la frontera de un subconjunto cualquiera D ,
como consecuencia de la ley de Fourier y del Teorema de la Divergencia se tiene que la cantidad
de calor que atraviesa D es
Z
D
u dS =
Z
D
div ((x) u(t, x)) dx (1.1)
donde, por supuesto, estamos suponiendo suciente regularidad sobre , y (x) u(t, x)
como para poder aplicar el mencionado Teorema de la Divergencia. Por otra parte, la cantidad
de calor que acta sobre D debido a la fuente F en el instante t viene dada por
Z
D
F (t, x) dx. (1.2)
La variacin de la temperatura con respecto al tiempo viene dada por
u
t
y, por tanto, la variacin
total de la temperatura en D entre los instantes t
0
< t
1
viene dada por
Z
t
1
t
0
Z
D
u
s
(s, x) dx ds (1.3)
Combinando (1.1), (1.2) y (1.3) se llega a la igualdad
Z
t
1
t
0
Z
D

div ((x) u(t, x)) + F (t, x)

u
s
(s, x)

dx ds = 0
la cual es vlida para todo t
0
< t
1
y todo D . Esto implica que
div ((x) u(t, x)) + F (t, x)
u
t
(t, x) = 0
para todo t > 0 y x . La ecuacin anterior se denomina ecuacin del calor. Cuando la
funcin = a
2
es constante se obtiene la expresin ms sencilla
u
t
(t, x) = a
2
u(t, x) + F (t, x) (1.4)
En este tipo de problemas es necesario tener ms informacin que la que proporciona la ecuacin
anterior para poder calcular u = u(t, x) . En concreto, se suele conocer el estado del sistema en
el instante inicial, esto es, u(0, x) = u
0
(x) para todo x . Esto es lo que se llama en EDPs
una condicin inicial. Adems, tambin se suele conocer el estado del sistema sobre la frontera
1.1. Algunas Ecuaciones Bsicas en Ingeniera 5
del mismo (lo que llamaremos condiciones de contorno). Condiciones de contorno hay de varios
tipos. Por ejemplo, la condicin de contorno u(t, y) = f (y) para todo t > 0 y todo y
(condicin llamada de tipo Dirichlet) representa fsicamente que es conocida la temperatura en
el borde de durante todo el proceso. Otra condicin de contorno que se da a menudo es la
llamada condicin tipo Neumann la cual se expresa matemticamente en los trminos
u
n
= g sobre ]0, +[
y representa el ujo de calor que se produce en la direccin perpendicular a . A veces tambin
se combinan las condiciones Dirichlet y Neumann; aparecen entonces las condiciones tipo Robin
las cuales se expresan en los trminos
ku +
u
n
= g sobre ]0, +[
para una cierta constante k > 0.
Todo lo anterior, es decir la ecuacin (1.4) junto con la condicin inicial y alguna condicin
de contorno forman el modelo matemtico que describe el fenmeno fsico de la difusin de calor.
As por ejemplo, el modelo matemtico para la transmisin de calor en una barra istropa y
homognea de longitud l, suponiendo conocida la distribucin inicial de temperatura y que los
extremos permanecen a temperatura cero, es

u
t
(t, x) = a
2
2
u
x
2
(t, x) + F (t, x) t > 0, 0 < x < l
u(0, x) = u
0
(x) 0 < x < l
u(t, 0) = u(t, l) = 0 t 0
Por raro que pueda parecer, no es trivial denir el concepto de solucin del problema anterior.
Por supuesto, lo natural es decir que una solucin del problema anterior es una funcin u :
[0, [ [0, l] R que sea de clase C
2
(]0, [ ]0, l[) , continua en [0, [ [0, l] y que satisfaga
la EDP anterior y sus condiciones iniciales y de contorno. Esto es lo que llamaremos una solucin
clsica.
Para familiarizarnos un poco con el lenguaje propio de las ecuaciones en derivadas parciales,
es importante sealar tambin que la ecuacin del calor (1.4) es el ejemplo tpico de lo que en
EDPs se llama una ecuacin parablica, que dicho de un modo un tanto informal y sin entrar en
deniciones rigurosas es una ecuacin donde aparece la derivada primera respecto de la derivada
temporal, y las derivadas espaciales son de tipo Laplaciano..
Finalmente, para dar una cierta idea de cual es el estado actual de las matemticas en
relacin con las EDPs consideremos el caso de fenmenos de transmisin de calor en los que la
conductividad trmica del medio se ve afectada por la temperatura, esto es, = (u) . En este
caso la ecuacin del calor se escribe como
u
t
= div ((u) u) + F. (1.5)
Un caso de particular inters se tiene cuando (u) = |u|
p1
, con p > 1. Se obtiene entonces
la llamada ecuacin del calor no lineal. Del estudio matemtico de este tipo de ecuaciones,
llamadas no lineales, se ocupan actualmente un gran nmero de matemticos en todo el mundo.
1.1.2 La Ecuacin de Ondas
La ecuacin de ondas, en su versin ms sencilla, tiene la forma
u
tt
(t, x) = c
2
u(t, x) (1.6)
6 Captulo 1. Introduccin a las Ecuaciones en Derivadas Parciales
donde u representa la amplitud de una onda viajando en un medio de dimensin n (en la prctica
n ser igual a 1, 2 3), x = (x
1
, x
2
, , x
n
) representa la posicin del punto x en el medio, t es
el tiempo y c es una constante que representa la velocidad de propagacin de la onda en dicho
medio. La ecuacin (1.6) proporciona un modelo matemtico razonable en diversos problemas
fsicos tales como: vibraciones de una cuerda vibrante (una cuerda de guitarra, por ejemplo),
vibraciones de una membrana elstica, ondas en uidos incompresibles, ondas de sonido en el
aire, ondas electromagnticas, etc... .
La ecuacin de ondas es el ejemplo tpico de lo que en EDPs se llama una ecuacin hiper-
blica, esto es, una ecuacin donde aparece la derivada segunda respecto de la variable temporal
mientras que las derivadas espaciales son de tipo Laplaciano..
Deduciremos a continuacin (1.6) en el caso del problema de la cuerda vibrante. Supongamos
que tenemos una cuerda tensa de longitud l sujeta en sus extremos. Supongamos adems que la
cuerda es exible y elstica y que tiene una densidad de masa constante de valor . Supongamos
que estiramos ligeramente la cuerda y la soltamos de manera que sta vibra nicamente en la
direccin vertical. Por u(t, x) denotaremos el desplazamiento vertical de la cuerda en la posicin
x [0, l] y en el instante t > 0. Nuestro objetivo es mostrar que (1.6), con n = 1, proporciona
un modelo matemtico aceptable para este problema fsico en el caso de que las vibraciones sean
de pequea amplitud.
Consideremos un pequeo segmento de la cuerda [x, x + h] . El movimiento de la cuerda est
determinado por la segunda ley de Newton
F = ma (1.7)
donde m = h es la masa del segmento, a =

2
u
t
2
es la aceleracin, y F representa el conjunto
de fuerzas que actan sobre dicho segmento. En un primer momento supondremos que sobre
la cuerda slo acta la fuerza debida a la tensin en los extremos. Puesto que la cuerda es
exible, la tensin T (x) en cualquier punto de la cuerda es tangente a la misma. Adems, para
pequeas oscilaciones se puede asumir que el valor de esta tensin es igual en todos los puntos
de la cuerda. De esta forma, las componentes verticales de la tensin en los puntos x, x + h
valen T sin
1
, T sin
2
, respectivamente.

1
T
T
x x+h
Por tanto, (1.7) tiene la forma
T sin
1
+ T sin
2
= h

2
u
t
2
. (1.8)
De la frmula
sin =
tan
sec
=
tan

1 + tan
2

1.1. Algunas Ecuaciones Bsicas en Ingeniera 7

se deduce que en el caso de ser tan despreciable frente a la unidad (suposicin que tiene sentido
hacer en nuestro problema en el caso de que las vibraciones sean pequeas) podemos identicar
sin con tan. Teniendo en cuenta adems que
tan
1
=
u
x
(t, x) y tan
2
=
u
x
(t, x + h)
la ecuacin (1.8) se transforma en
h

2
u
t
2
= T

u
x
(t, x + h)
u
x
(t, x)

.
Dividiendo por h y tomando lmites cuando h 0 se obtiene

2
u
t
2
(t, x) = c
2

2
u
x
2
(t, x) ,
con c
2
=
1
T.
Finalmente hemos de imponer las condiciones de contorno
u(t, 0) = 0 , u(t, l) = 0
que indican que la cuerda est sujeta en los extremos, y las condiciones iniciales
u(0, x) = f (x) ,
u
t
(0, x) = 0
la primera de las cuales indica que en el instante inicial la cuerda se ha estirado y por tanto
admite la forma dada por la funcin f, y la segunda de ellas indica que la cuerda se ha soltado
sin ninguna velocidad inicial.
Con todo ello, el modelo matemtico para el problema de la cuerda vibrante se formula del
siguiente modo: dada f : [0, l] R, encontrar una funcin
u : [0, [ [0, l] R
que sea de clase C
2
(]0, [ ]0, l[) , que sea continua en [0, [ [0, l] y que satisfaga la ecuacin

2
u
t
2
(t, x) = c
2

2
u
x
2
(t, x)
en todo punto del conjunto ]0, [ ]0, l[ y las condiciones iniciales y de contorno

u(0, x) = f (x) , 0 x l
u
t
(0, x) = 0, 0 x l
u(t, 0) = 0, t 0
u(t, l) = 0, t 0
1.1.3 La Ecuacin de Laplace
La ecuacin de Laplace en dimensin n > 1 se escribe como
u(x
1
, x
2
, , x
n
) = 0.
8 Captulo 1. Introduccin a las Ecuaciones en Derivadas Parciales
La ecuacin de Laplace no homognea tambin es conocida con el nombre de ecuacin de Poisson
y tiene la forma
u = f
siendo f : R
n
R una funcin dada.
Esta ecuacin modeliza fenmenos fsicos estacionarios, es decir, independientes del tiempo,
y es el ejemplo tpico de lo que en EDPs se llama una ecuacin elptica. Veamos ahora algunos
ejemplos concretos donde aparece la ecuacin de Laplace:
Elasticidad lineal. Sea una membrana elstica sujeta en el borde y sobre la cual acta
una fuerza vertical f : R. La exin u : R de dicha membrana es solucin del
problema de Dirichlet homogneo

u = f en
u = 0 sobre =
donde es una constante en el caso de ser una membrana istropa, y depende las
propiedades fsicas de la membrana.
Mecnica de uidos. Supongamos que V es el campo vectorial de velocidad de un uido
estacionario (esto es, V = V(x, y, z) no depende del tiempo t), incompresible (divV = 0)
e irrotacional (rotV = 0), en un dominio simplemente conexo . Dado que rotV = 0, V
es un campo conservativo, y por tanto, existe una funcin potencial u tal que V = u.
Ahora bien, como divV = 0, entonces
divV = divu = u = 0.
Por tanto, el potencial u satisface la ecuacin de Laplace la cual suele ir acompaada de
una condicin de contorno, por ejemplo
u
n
=< V, n >= g
donde n denota el vector normal unitario exterior a la frontera de , <, > es el producto
escalar eucldeo, y g : R es una funcin conocida. Con todo ello se tiene el problema
de Neumann

u = 0 en
u
n
= g sobre =
Electrosttica. Un problema bsico en electrosttica consiste en describir el campo
elctrico E(x) en un volumen que contiene una densidad de cargas (x) y encerrado en
una supercie perfectamente conductora . De la ley de Coulomb se deduce que el campo
elctrico satisface la ecuacin
divE = en .
Adems, por la ley de Faraday, rotE = 0. Por tanto, al igual que en el ejemplo anterior,
E = u, donde u es el potencial de dicho campo elctrico. En este caso es natural imponer
la condicin de contorno u = c sobre , con c = cte. Con todo ello se tiene el problema

u = en
u = c sobre =
1.2. Modelizacin Matemtica en Mecnica de Medios Continuos 9
Fsica estadstica. Un problema clsico en teora de procesos estocsticos es la des-
cripcin del movimiento Browniano. El problema consiste en describir el movimiento de
las partculas que se encuentran en el interior de un dominio movindose de manera
aleatoria hasta que interceptan la frontera , momento en el que se paran. Supongamos
que =
1

2
y sea u(x) la probabilidad de que la partcula que empieza a moverse
en el punto x se pare en algn punto de
1
. De esta forma, u(x) = 1 signica que
este suceso ocurre mientras que u(x) = 0 signica que el suceso no ocurre. La funcin u
satisface la ecuacin de Laplace
u = 0 en
a la que hay que aadir la condicin de contorno
u(x) =

1 si x
1
0 si x
2
Transmisin de calor y propagacin de ondas en rgimen estacionario. Es evi-
dente que tanto la ecuacin del calor como la de ondas se reducen a la ecuacin de Laplace
en el caso de que la distribucin de temperaturas sea estacionaria (esto es, independiente
del tiempo y por tanto u
t
= 0) o que las ondas se propagan a velocidad constante, con lo
cual u
tt
= 0.
1.2 Modelizacin Matemtica en Mecnica de Medios Conti-
nuos
Desde un punto de vista fsico, se llama medio continuo a todo lquido, gas o slido cuando
se le considera desde un punto de vista macroscpico, en contraposicin con una descripcin
corpuscular. Por supuesto, la denicin anterior deja mucho margen a la ambigedad y a las
interpretaciones particulares que cada uno quiera darle. No hay de que preocuparse, pero s que
hay que ser precisos: en realidad, lo que estudiaremos en esta seccin sern algunas propiedades
matemticas del modelo matemtico mediante el cual pretendemos describir un lquido, gas o
slido. Lo nico que nos va a interesar es estudiar las deformaciones que sufre un medio continuo
sometido a la accin de alguna fuerza (ya sea externa, interna o ambas). Por tanto, hemos de
empezar por denir los conceptos matemticos de medio continuo y de movimiento de un medio
continuo.
Denicin 1.2.1 Dado
0
R
3
un abierto acotado y conexo, llamaremos medio continuo a
toda aplicacin
: [0, T]
0
R
3
(t; y) ; x = (t; y) .
que satisface las siguientes propiedades de regularidad:
(a) C
2
,
(b) para cada t jo, la aplicacin (t; )
t
:
0

t
= (t;
0
) es un difeomorsmo (esto
es, biyectiva, diferenciable y con inversa diferenciable), y
(c)
0
es la identidad.
10 Captulo 1. Introduccin a las Ecuaciones en Derivadas Parciales
En la denicin anterior, la variable t representa el tiempo y tanto y = (y
1
, y
2
, y
3
)
0
como
x = (x
1
, x
2
, x
3
)
t
representan las coordenadas espaciales. A partir de ahora denotaremos
por
0
= (0) la conguracin inicial de dicho medio, es decir,
0
representa la regin de
R
3
ocupada por el lquido, gas o slido en el instante inicial. Por su parte,
t
representa la
conguracin del medio continuo en el instante t, esto es, la regin ocupada por dicho medio en
el tiempo t.
Es preciso tambin hacer algunos comentarios sobre las hiptesis (a), (b) y (c) en la denicin
anterior:
(i) La hiptesis (a) representa fsicamente una deformacin suave. Sin embargo, no es esa
la nalidad de esta hiptesis. Su nalidad es puramente matemtica: en lo que sigue
tendremos que hacer clculos en los que nos interesar que se cumpla la propiedad de la
igualdad de las derivadas cruzadas y por eso hacemos esta hiptesis de ser C
2
.
(ii) La hiptesis (b) nos garantiza que para cada t, la matriz jacobiana
D(t; ) =
(x
1
, x
2
, x
3
)
(y
1
, y
2
, y
3
)
es no singular, es decir, det (D(t; )) 6= 0 para cada t. Adems, de la hiptesis (a) con-
cluimos que D(t; y) es de clase C
1
([0, T]
0
) .
(iii) Dado que
0
es la identidad, det (D(0; )) = 1. De (ii) deducimos ahora que
det (D(t; )) > 0 0 t T.
Asociado al medio continuo siempre tenemos un campo de velocidades (eulerianas) que se
dene como
v(x) = (v
1
, v
2
, v
3
) =

x
1
t
,
x
2
t
,
x
3
t

.
Desde un punto de vista fsico, se dice que un medio continuo sufre una deformacin si
las distancias relativas de los puntos materiales de que se compone dicho medio varan a lo
largo del tiempo. Precisaremos esta denicin desde un punto de vista matemtico. Para ello
consideremos el campo vectorial de desplazamientos del medio continuo, esto es, el campo
u :
0
R
3
y ; u(y) = (x
1
y
1
, x
2
y
2
, x
3
y
3
)
siendo y = (y
1
, y
2
, y
3
) un punto de
0
y x = (x
1
, x
2
, x
3
) la nueva posicin que ocupa el punto y
en el instante t. Escrito en coordenadas
u
i
= x
i
y
i
=
i
(t; y) y
i
, 1 i 3.
Finalmente, se llama tensor de deformaciones (linealizado) al tensor de componentes

jk
(u) =
1
2

u
j
y
k
+
u
k
y
j

. (1.9)
1.2. Modelizacin Matemtica en Mecnica de Medios Continuos 11
1.2.1 Leyes de Conservacin
La mecnica clsica de medios continuos se basa en tres leyes de conservacin fsicas: conserva-
cin de la masa, de la cantidad de movimiento y de la energa, a partir de las cuales se deducen
las ecuaciones matemticas que modelizan el movimiento de dicho medio continuo. En el proceso
que consiste en generar ecuaciones (en derivadas parciales) a partir de dichos principios fsicos,
juegan un papel esencial dos teoremas conocidos como Teorema de Cauchy (al que nos hemos
referido en la asignatura Ampliacin de Clculo) y Teorema del Transporte de Reynolds, el cual
enunciamos a continuacin.
Consideremos un conjunto medible (t) (t) , de modo que (t) sea una supercie
regular orientable con el vector normal apuntando hacia afuera de (t) . Sea ahora k : (t) R
un campo escalar y consideremos nalmente la funcin
K (t) =
Z
(t)
k (t; x) dx.
Nos planteamos ahora el problema siguiente: Cmo calculamos
dK
dt
?. Antes de abordar la
solucin de este problema, es importante tener en cuenta que la dependencia de K en t es no
slo respecto del integrando sino tambin del dominio de integracin. Recordemos que v = v(x)
denota el campo de velocidades del medio continuo. La respuesta a la cuestin anterior viene dada
a travs del Teorema del Transporte de Reynolds. Una prueba de este teorema puede encontrarse
en [7, Th. I.8, p.p. 26-27] y [24, Lema 2.3.1 y Teorema 2.5.1]. Para una interpretacin fsica se
recomienda [12, p.p. 8-10.].
Teorema 1.2.1 (Transporte de Reynolds) Sean k, v y (t) como antes y supongamos que
las funciones k y v son de clase C
1

]0, T[

y que sus derivadas parciales son acotadas.

Entonces,
dK
dt
=
Z
(t)

k
t
+ div (kv)

dx, (1.10)
o tambin
dK
dt
=
Z
(t)
k
t
dx +
Z
(t)
kv dS (1.11)
Pasemos ahora a estudiar las leyes de conservacin de la mecnica de medios continuos.
Conservacin de la masa
Dado un medio continuo (t) , se llama de densidad de masa a una funcin (diferenciable y
con derivadas parciales acotadas) = (t; x) que verica que para cada subconjunto medible
(t) (t) , la masa de (t) est dada por
m( (t)) =
Z
(t)
(t; x) dx.
El principio de conservacin de la masa establece que
d
dt
m( (t)) = 0 (t) (t) .
Del Teorema del Transporte de Reynolds se deduce que
d
dt
m( (t)) =
Z
(t)

t
+ div (v)

dx = 0 (t) (t) .
12 Captulo 1. Introduccin a las Ecuaciones en Derivadas Parciales
Si suponemos ahora que la funcin del integrando anterior es continua, entonces se tiene que

t
+ div (v) = 0, (1.12)
y viceversa, si se cumple (1.12), entonces volviendo hacia atrs tambin se tiene que
d
dt
m( (t)) = 0 (t) (t) .
La ecuacin (1.12) es la expresin analtica del principio de conservacin de la masa y se denomina
usualmente ecuacin de continuidad.
Conservacin de la Cantidad de Movimiento
La cantidad de movimiento del sistema material (t) (t) viene dada por
Z
(t)
v dx
donde es la densidad de masa del sistema (t) y v es el campo de velocidades del medio
continuo.
Por otra parte, las fuerzas que actan sobre (t) son de dos tipos: (a) fuerzas msicas
de densidad de volumen f , las cuales son bien fuerzas de largo alcance como la fuerza de la
gravedad o bien fuerzas de corto alcance que tienen un origen molecular, y (b) fuerzas exteriores
que actan sobre la frontera del sistema (t) y que representamos por medio de la funcin de
densidad g (t; x, n) donde n representa el vector normal unitario exterior a (t) . Por tanto, la
suma de las fuerzas que actan sobre el sistema (t) es igual a
Z
(t)
f dx +
Z
(t)
g (t; x, n) dS.
El principio de conservacin de la cantidad de movimiento establece que la variacin de
la cantidad de movimiento que experimenta el sistema (t) es igual a la suma de las fuerzas
que actan sobre dicho sistema. De manera precisa y en lenguaje matemtico este principio se
escribe pues como
d
dt
Z
(t)
v dx =
Z
(t)
f dx +
Z
(t)
g (t; x, n) dS (t) (t) . (1.13)
Tras efectuar algunos clculos que involucran a los teoremas de Cauchy y del Transporte de
Reynolds, y al principio de conservacin de la masa se llega al sistema de ecuaciones
(
i
f
i
)

x
j

ij
= 0 1 i 3, (1.14)
donde
ij
es el tensor de esfuerzos del medio continuo y

i
=
v
i
t
+
3
X
j=1
v
i
x
j
v
j
, 1 i 3.
1.2. Modelizacin Matemtica en Mecnica de Medios Continuos 13
El sistema de ecuaciones (1.14) describe el movimiento del medio continuo (t) y se denominan
ecuaciones de movimiento. Si el medio continuo est en equilibrio o en movimiento de translacin
uniforme, entonces el vector es nulo y el sistema anterior se reduce a

x
j

ij
+f
i
= 0 en (t) , (1.15)
Estas tres ecuaciones (una para cada i = 1, 2, 3) en derivadas parciales se denominan ecuaciones
de equilibrio.
Como consecuencia de otro principio de conservacin, el principio de conservacin del mo-
mento angular, se prueba que el tensor =
ij
es simtrico.
Conservacin de la Energa
En algunos problemas concretos de Mecnica de Medios Continuos no es preciso recurrir a la
conservacin de la energa para cerrar el modelo. Otras veces, sin embargo, si que es preciso
acudir a esta ley de conservacin. En esta seccin estudiaremos, sin entrar mucho en detalle,
esta ltima ley de la Mecnica Clsica.
Si hacemos caso de nuevo a nuestros sentidos, podemos observar que asociado a un medio
continuo hay una magnitud de naturaleza escalar claramente perceptible: la temperatura. Y
tambin sabemos que el agua en movimiento es capaz de producir energa, por ejemplo en la
forma de calor. De modo que en todo medio continuo tenemos, por un lado una energa cintica
de valor
1
2
v
2
, que es debida a la velocidad de translacin de las partculas que componen el
medio; y por otro lado, una energa interna que es debida a fenmenos tales como las vibracio-
nes moleculares, presencia de campos electromagnticos...., y que es el origen de la magnitud
macroscpica llamada temperatura. Sabemos adems que la energa mecnica se transforma en
energa calrica y viceversa. Es la Termodinmica la parte de la Fsica que se encarga del estudio
de estos intercambios de energa. En esta seccin nos limitaremos a formular matemticamente
el primer principio de la Termodinmica.
Dado un medio continuo (t) y un dominio acotado (t) (t) , se llama energa total del
sistema (t) a la cantidad
E ( (t)) =
Z
(t)
(t; x) E (t; x) dx,
donde
E (t; x) =
1
2
v
2
+ e,
con e la energa interna especca (esto es, energa interna por unidad de masa). El primer
principio de la Termodinmica establece que la variacin de la energa total de todo sistema
material es igual al trabajo de las fuerzas exteriores aplicadas al sistema ms la cantidad de
calor suministrado a dicho sistema. Si el calor es extrado o el trabajo realizado por el sistema,
estas contribuciones son negativas.
Escrito en lenguaje matemtico, este principio se escribe como
d
dt
Z
(t)

1
2
v
2
+ e

dx =
Z
(t)
< f , v > dx +
Z
(t)
< g (n) , v > dS
+
Z
(t)
Q dx
Z
(t)
< q, n > dS,
14 Captulo 1. Introduccin a las Ecuaciones en Derivadas Parciales
donde Z
(t)
< f , v > dx
representa el trabajo realizado por las fuerzas exteriores,
Z
(t)
< g (n) , v > dS
es el trabajo de las fuerzas superciales que actan sobre (t),
Z
(t)
Q dx
es el aporte o prdida de calor debidos a los efectos de reaccin qumica, radiacin y otros, y
nalmente
Z
(t)
< q, n > dS
es el ujo de calor saliente a travs de la frontera.
Aplicando los teoremas de Cauchy, del Transporte de Reynolds y de la Divergencia, y el
principio de conservacin de la masa (o ecuacin de continuidad) se llega nalmente a la ecuacin

De
Dt
=
ij
D
ij
(v) +Qdiv (q) (1.16)
donde
De
Dt
=
e
t
+ < e, v >
es la derivada material de la energa interna, y

ij
D
ij
(v) =
ij
v
i
x
j
,
con
D(v) =
1
2

v +
t
v

la parte simtrica del gradiente de la velocidad.

La ecuacin (1.16), la cual expresa de manera concreta el primer principio de la termo-
dinmica, relaciona la variacin de energa interna (miembro de la izquierda), el trabajo por
unidad de tiempo (primer sumando del trmino de la derecha), y el aporte o prdida de calor
(dos sumandos restantes).
1.2.2 Ecuaciones de la Elasticidad Lineal
En esta seccin nos ocuparemos de un tipo particular de medios continuos: los slidos elsticos.
El objetivo bsico de esta seccin es introducir las ecuaciones clsicas de la elasticidad lineal.
No haremos una deduccin rigurosa de tales ecuaciones sino que nos limitaremos a exponer muy
someramente algunas ideas subyacentes a esta teora. Para un estudio mucho ms completo y
riguroso que el presentado aqu puede consultarse [7, Ch. IV].
Escrito en lenguaje matemtico, diremos que el medio es elstico si su tensor de esfuerzos
asociado se puede escribir en la forma

ij
= a
ijkh

kh
(1.17)
1.2. Modelizacin Matemtica en Mecnica de Medios Continuos 15
donde (u) = (
ij
) es el tensor de deformaciones (linealizado) y a
ijkh
son unos coecientes que
dependen de las propiedades del material y que se denominan coecientes de elasticidad. Se dice
que el material elstico es homogneo si los coecientes a
ijkh
son constantes, es decir, si no
dependen del punto x . En caso contrario se dice que el medio es no homogneo.
Por otra parte, se dice que un material elstico es istropo si en cualquier punto x
el material tiene las mismas propiedades en todas las direcciones posibles alrededor de dicho
punto.
Para el caso de materiales elsticos istropos se puede demostrar que el tensor de esfuerzos
asociado a dicho medio se escribe en la forma
= traza ( (u)) I + 2 (u)
donde 0 y > 0 son constantes si el material es homogneo y se denominan coecientes de
Lam. Esta forma del tensor de esfuerzos es lo que se conoce en Teora de la Elasticidad como
ley de Hooke, y es un primer ejemplo de lo que se llama una ley constitutiva.
Supongamos que tenemos un slido elstico, homogneo, istropo y que en su estado natural
ocupa una regin R
3
. Supondremos adems que el slido est empotrado en una parte
de su frontera, llammosla
0
, y que sobre el resto de la frontera,
1
, acta una densidad de
fuerzas superciales g = (g
1
, g
2
, g
3
) . Tambin tendremos en cuenta la accin sobre el slido de
una densidad de fuerzas volmicas f = (f
1
, f
2
, f
3
) .
El modelo matemtico clsico para este problema es el siguiente: sea R
3
un abierto
acotado y conexo de frontera =
0

1
una supercie regular a trozos. Dadas f = (f
1
, f
2
, f
3
) :
R
3
y g = (g
1
, g
2
, g
3
) :
1
R
3
funciones continuas, se trata de encontrar una funcin
u = (u
1
, u
2
, u
3
) : R
3
de modo que u
i
C
2
() C

, 1 i 3, y de forma que para

cada 1 i 3 se cumpla,

3
P
j=1

x
j

ij
(u) + f
i
= 0 en
u
i
= 0 sobre
0
3
P
j=1

ij
(u) n
j
= g
i
sobre
1
(SEL)
donde

ij
(u) =

3
X
k=1

kk
!

ij
+ 2
ij
,
con 0, > 0, y n es el vector normal unitario exterior a
1
. La funcin vectorial u nos mide
los desplazamientos que sufren cada uno de los puntos de , y en caso de vericar las condiciones
anteriores se denomina una solucin clsica del sistema de elasticidad lineal. Ntese tambin
que el sistema (SEL) reeja las ecuaciones de equilibrio del medio .
1.2.3 Ecuaciones de Navier-Stokes
Nos ocuparemos en esta seccin de otro de los medios continuos de gran inters en ingeniera:
los uidos. Las famosas ecuaciones de Navier-Stokes modelizan el movimiento de uidos tan
usuales como el agua, el aceite o el aire y fueron formuladas en 1827 por Navier para el caso
incompresible, y de forma general por Stokes en 1845.
Nos ocuparemos a continuacin de formular el modelo matemtico para uidos viscosos,
newtonianos e incompresibles. Contrariamente a la Elasticidad donde la incgnita es el despla-
zamiento, en Mecnica de Fluidos la incgnita es la velocidad, la cual es usual denotar por u.
16 Captulo 1. Introduccin a las Ecuaciones en Derivadas Parciales
A partir de ahora en esta seccin seguiremos pues este convenio de notacin. La Mecnica de
Fluidos se construye a partir de los siguientes postulados:
(a) El tensor de esfuerzos depende de u. Este postulado, atribuido a Stokes, representa que
las fuerzas de contacto dependen del estado de movimiento del uido slo a travs de los
gradientes de velocidad.
(b) La dependencia de respecto a u es lineal.
(c) El uido es istropo y homogneo.
Con todas estas hiptesis y en el caso incompresible, esto es, divu = 0, se consigue probar
que el tensor de esfuerzos viene dado por
= pI + 2D,
donde p = p (t; x) es la presin, es el llamado coeciente de viscosidad dinmico (se supone
constante), y D =
1
2

u +
t
u

es la parte simtrica del gradiente de la velocidad. Con todo

ello, la ley de conservacin de la cantidad de movimiento en coordenadas cartesianas se escribe
como
u
i
t
+
3
X
j=1
u
i
x
j
u
j
=
p
x
i
+u
i
+
1

f
i
, 1 i 3, (1.18)
donde es la densidad y = / es la viscosidad cinemtica. Las ecuaciones (1.18), junto con
la condicin de incomprensibilidad divu = 0, son las famosas ecuaciones de Navier-Stokes. Por
supuesto, para completar el modelo matemtico hay que aadir las correspondientes condiciones
iniciales y de contorno que dependern del tipo de problema que se est considerando.
1.3 Problemas Correctamente Planteados
El modelo matemtico para la transmisin de calor en una barra de longitud l, suponiendo
conocida la distribucin inicial de temperatura y que los extremos permanecen a temperatura
cero, es

u
t
(t, x) = a
2
2
u
x
2
(t, x) + F (t, x) t > 0, 0 < x < l
u(0, x) = u
0
(x) 0 x l
u(t, 0) = u(t, l) = 0 t 0
Por solucin clsica del problema anterior entendemos una funcin u : [0, [ [0, l] R que
sea de clase C
2
(]0, [ ]0, l[) , continua en [0, [ [0, l] y que satisfaga la EDP anterior y sus
condiciones iniciales y de contorno. Por supuesto, tambin hemos de precisar la regularidad de
los datos del problema, en este caso, de las funciones F y u
0
. En este marco clsico, lo natural
es pedir que dichas funciones sean continuas.
Como veremos a lo largo de este curso, son varios los conceptos de solucin que se pueden
asociar a un modelo matemtico. Por el momento, y para jar ideas, nos centraremos en el
concepto de solucin clsica.
Segn la denicin dada por Hadamard en 1904, diremos que un modelo matemtico est
correctamente planteado cuando existe una nica solucin del problema la cual adems es
estable, es decir, dicho de un modo informal, que la solucin vara poco si los datos del problema
varan poco.
1.4. Ejercicios 17
Los conceptos de existencia y unicidad son puramente matemticos (rara vez un fsico o un
ingeniero se planteara estas cosas, es algo que se da por supuesto, aunque de hecho la existencia y
unicidad es un buen test para validar el modelo) mientras que el concepto de estabilidad obedece
a intereses fsicos y de ingeniera. Ntese que el conocimiento de las condiciones iniciales y de
contorno de un problema sern efectuados por mediciones y por consiguiente estarn sujetos a
pequeos errores. De esta forma, el problema que resolveremos no ser el problema real sino un
problema aproximado. Si el problema no fuese estable no podramos garantizar que la solucin
del problema aproximado sea una aproximacin de la solucin real. Por ello es necesaria la
estabilidad del problema para que el modelo matemtico describa correctamente el fenmeno
fsico. Adems, en muchos de los modelos matemticos que aparecen actualmente en ingeniera,
el clculo de la solucin se efecta mediante mtodos numricos. La estabilidad de solucin es
de nuevo ahora una pieza clave para garantizar la convergencia de los mtodos numricos que
se empleen para calcular estas soluciones.
Por supuesto, hay muchos problemas que no estn correctamente planteados. En los ejercicios
4 y 5 se presentan dos ejemplos de problemas no correctamente planteados.
1.4 Ejercicios
1. Comprueba que la funcin
u(t, x, y) =
1
t
e

x
2
+y
2
4a
2
t
satisface la ecuacin del calor
u
t
= a
2
(u
xx
+ u
yy
)
para (t, x, y) ]0, [ R
2
.
2. Comprueba que la funcin
u(x, y) = log

x
2
+ y
2

satisface la ecuacin de Laplace

u
xx
+ u
yy
= 0
para (x, y) 6= (0, 0) .
3. El objetivo de este ejercicio es deducir la frmula de DAlembert para la solucin general
de la ecuacin de ondas 1-dimensional
u
tt
= c
2
u
xx
.
(a) Comprueba que si u(y, z) = f (y) + g (z) , con f, g C
2
(R) , entonces u satisface la
ecuacin u
yz
= 0. Recprocamente, demuestra que toda solucin de u
yz
= 0 es de esta
forma.
(b) Sea y = x ct y z = x + ct. Usa la regla de la cadena para mostrar que
u
tt
c
2
u
xx
= 4c
2
u
yz
.
(c) Concluye que la solucin general de la ecuacin de ondas u
tt
c
2
u
xx
= 0 es
u(t, x) = f (x ct) + g (x + ct)
donde f, g C
2
(R) .
18 Captulo 1. Introduccin a las Ecuaciones en Derivadas Parciales
(d) Comprueba que la solucin del problema de valores iniciales

u
tt
= c
2
u
xx
con (t, x) ]0, [ R
u(0, x) = (x) con C
2
(R)
u
t
(0, x) = (x) con C
1
(R)
est dada por la llamada frmula de DAlembert
u(t, x) =
1
2
((x ct) +(x + ct)) +
1
2c
Z
x+ct
xct
(y) dy.
4. Consideremos el siguiente problema para la ecuacin de ondas:

u
tt
= c
2
u
xx
, (t, x) ]0, [ ]0, l[
u(0, x) = 0, 0 < x < l
u(t, 0) = u(t, l) = 0, t 0.
Comprueba que para cada n N, las funciones u
n
(t, x) = c
n
sin
t
l
sin
x
l
, con c
n
= cte,
son soluciones de dicho problema. Est correctamente planteado este problema? Por
qu?
5. Comprueba que las funciones
u
n
(x, y) = e
n
1/2
sin(nx) sinh(ny)
son soluciones de la ecuacin de Laplace u
xx
+u
yy
= 0 y que adems satisfacen las condi-
ciones de contorno

u(x, 0) = 0
u
y
(x, 0) = ne
n
1/2
sin(nx)
Demuestra que este problema no es estable. Indicacin: comprueba que para n sucien-
temente grande, los datos del problema convergen uniformemente a cero, mientras que la
solucin no converge a cero para y 6= 0 y x 6= k, con k N.
1.5 Objetivos
Este primer captulo de la asignatura Transformadas Integrales y EDPs tiene un primer objetivo
claramente pedaggico:
Suscitar en el alumno el deseo de estudiar esta asignatura.
Para ello, lo mejor es mostrarle que esta asignatura juega un papel clave en su formacin.
Por este motivo, se introducirn en este primer tema diversos problemas fsicos de inters en
ingeniera que se modelizan por medio de EDPs. No es necesario hacer con detalle todas las
deducciones de los modelos que hemos presentado en este captulo, no slo porque eso exigi-
ra bastantes horas sino tambin porque la mayora de estos modelos se presentan en otras
asignaturas de la titulacin.
Se pretende adems que el alumno entienda perfectamente los conceptos de:
Condiciones iniciales y de contorno; y que estos aparecen ligados a la EDP.
Solucin clsica.
Problema correctamente planteado insistiendo en la importancia, no slo matemtica sino
tambin en ingeniera, de los conceptos de existencia, unicidad y estabilidad de soluciones.
1.6. Comentarios sobre la Bibliografa 19
1.6 Comentarios sobre la Bibliografa
Los modelos matemticos expuestos en la primera seccin han sido tomados principalmente de
los libros de Folland [8] y Peral [17]. La seccin dedicada a la modelizacin matemtica en
Mecnica de Medios Continuos est escrita siguiendo principalmente el libro de Duvaut [7] en
lo referente a las ecuaciones de la elasticidad, y los apuntes de Vzquez [24] en lo que hace
referencia a las ecuaciones de Navier-Stokes.