Ampliacin de Matemticas (Ingeniera de Telecomunicacin) Curso 2010/11

Curso 2o. Ingeniero de Telecomunicacin. Ampliacin de Matemticas. Leccin 6.

ECUACIONES EN DERIVADAS PARCIALES. Curso 2010-11

Las ecuaciones diferenciales ordinarias y los sistemas de ecuaciones diferenciales que hemos estudiado en las Lecciones 1 y 2 se usan para construir modelos matemticos de problemas cientcotcnicos en los que slo hay una variable independiente, que suele ser el tiempo. Cuando los problemas tienen ms de una variable independiente, normalmente el tiempo t y una o varias variables espaciales x, y, z, las relaciones entre las magnitudes presentes se suelen establecer en trminos de sus derivadas con respecto a las variables independientes y el problema se formula como una ecuacin, o un sistema de ecuaciones, donde aparecen involucradas las derivadas parciales de las incgnitas por lo que reciben el nombre de ecuaciones diferenciales en derivadas parciales o, simplemente, ecuaciones en derivadas parciales. Hemos visto que para resolver de manera unvoca una ecuacin diferencial ordinaria o un sistema de ecuaciones diferenciales es necesario dar condiciones iniciales. Ocurre lo mismo en el caso de las ecuaciones en derivadas parciales, slo que ahora las condiciones que se jan dependen de la naturaleza del problema. As, lo normal es que cuando una de las variables independientes es el tiempo t, se jen condiciones iniciales en t = t0 , mientras que para las variables espaciales x, y, z se jen condiciones en la frontera de la regin espacial en la que estemos trabajando, por lo que reciben el nombre de condiciones de contorno. Slo algunas clases especiales de ecuaciones ordinarias pueden resolverse analticamente, es decir, mediante una frmula explcita, as que no extraar saber que el nmero de ecuaciones en derivadas parciales resolubles analticamente es an menor. El estudio de las ecuaciones en derivadas parciales es un campo muy amplio y muy difcil sobre el que se desarrolla hoy en da una gran labor investigadora. Sin embargo, aunque somos conscientes de la importancia de tales ecuaciones, no es posible, dentro de los lmites de este curso, dar una visin general de dicho campo. Nuestro objetivo en esta leccin es el proporcionar una introduccin al estudio y la resolucin de algunas ecuaciones lineales de segundo orden con coecientes constantes la ecuacin de ondas, la ecuacin del calor y la ecuacin del potencial que son importantes en las aplicaciones, constituyen tipos representativos y pueden resolverse mediante una tcnica comn: la separacin de variables. Ms adelante estudiaremos de nuevo la ecuacin del potencial usando tcnicas de variable compleja. Lamentablemente, otras tcnicas de resolucin habituales, como el uso de las transformaciones de Laplace y Fourier, quedan fuera del alcance de esta asignatura.

Leccin 6. Ecuaciones en Derivadas Parciales

El problema de la cuerda vibrante. ondas

La ecuacin de

En la introduccin de la leccin sobre las series de Fourier comentamos que stas surgieron al abordar el problema de la cuerda vibrante, planteado por B. Taylor en 1713, que vamos a describir ahora. Supongamos que tenemos una cuerda homognea tensa y de longitud L sujeta por sus dos extremos, como en una guitarra o un violn. Si la apartamos de su posicin de equilibrio y la soltamos, la cuerda comenzar a vibrar y nos preguntamos cmo es esta vibracin, cul es su forma en cada instante temporal. Si hacemos algunas hiptesis simplicadoras, como que la tensin es constante, que la cuerda vibra en un plano y que no se aparta mucho de su posicin de equilibrio, entonces el problema viene modelado por lo que se conoce como la ecuacin de ondas unidimensional, que es 2u 2u = c2 2 , t2 x p siendo x un punto de la cuerda (0 x L), t 0 el tiempo, c = / una constante positiva que depende de la densidad de la cuerda y de la tensin , y u(x, t) es la incgnita: la funcin que representa el desplazamiento vertical desde la posicin de equilibrio u = 0 sobre el punto x y en el instante t.

u
u ( x, t )

La solucin del problema de la cuerda vibrante que buscamos u(x, t) no slo debe cumplir la ecuacin de ondas, tambin debe cumplir unas condiciones que vienen dadas por la naturaleza del problema. Por un lado, como la cuerda est ja por sus extremos, tenemos u(0, t) = u(L, t) = 0 para todo t 0.

Estas dos condiciones se llaman condiciones de contorno porque afectan a los valores de la variable espacial x en la frontera de su intervalo de variacin 0 x L. Por otro lado, debemos suponer u conocidas la posicin inicial de la cuerda u(x, 0) y la velocidad inicial (x, 0), que vendrn t dadas por sendas funciones f(x) y g(x): u(x, 0) = f (x) y u (x, 0) = g(x) t para 0 x L.

Estas dos condiciones se llaman condiciones iniciales porque jan las condiciones fsicas de partida en el instante inicial t = 0. En esta seccin nos centraremos en el caso en que la velocidad

Ampliacin de Matemticas (Ingeniera de Telecomunicacin) Curso 2010/11

inicial g(x) es nula. En resumen, el problema consiste en hallar una funcin u(x, t) que verique 2u 2u = c2 2 para 0 x L y t 0, t2 x las condiciones de contorno: u(0, t) = u(L, t) = 0 para t 0, y las condiciones iniciales: u(x, 0) = f(x) para 0 x L, u (x, 0) = 0 para 0 x L, t la ecuacin de ondas: donde c es una constante positiva y f es una funcin dada. Ejemplo. La funcin u(x, t) = asen (x/L) cos(ct/L) es una solucin del problema de la cuerda vibrante cuando el desplazamiento inicial es f(x) = asen (x/L). En este caso, la frecuencia de oscilacin de la cuerda es r c = = L L lo que nos dice que a mayor longitud o mayor densidad el sonido es ms grave y que a mayor tensin el sonido es ms agudo. Esta solucin tambin puede escribirse como u(x, t) = a (sen ((x + ct)/L) + sen ((x ct)/L)) 2

que podemos interpretar como la superposicin de dos ondas que viajan en sentido contrario con velocidad c. Veremos que sta es la forma, dada por J. DAlembert, de la solucin general. La solucin de DAlembert. En 1747, J. DAlembert calcul la solucin general de la ecuacin de ondas unidimensional haciendo el siguiente cambio de variables independientes r = x + ct y s = x ct. Con este cambio de variables, la ecuacin 2u 2u = c2 2 se transforma en t2 x 2u = 0. rs

4c2

Integrando con respecto a r y a s, obtenemos que u(r, s) = (r) + (s), o sea, u(x, t) = (x + ct) + (x ct) donde y son funciones cualesquiera de una variable. Observemos que, como no hemos impuesto ninguna condicin, sta es la solucin general de la ecuacin de ondas; ste es uno de los pocos casos en los que puede hallarse una solucin general explcita. Observemos tambin que la grca de (x ct) se obtiene desplazando la grca de (x) hacia la derecha con velocidad c y que la grca de (x + ct) se obtiene desplazando la grca de (x) hacia la izquierda con velocidad c. En otras palabras, la solucin general de la ecuacin de ondas consiste en la superposicin de dos ondas que viajan a la misma velocidad pero en sentido contrario.

Leccin 6. Ecuaciones en Derivadas Parciales

Si ahora imponemos ciertas condiciones iniciales, podemos obtener de forma explcita las funciones y . Por ejemplo, la solucin del problema 2u 2u = c2 2 para 0 x L y t 0, t2 x las condiciones de contorno: u(0, t) = u(L, t) = 0 para t 0, y las condiciones iniciales: u(x, 0) = f (x) para 0 x L, u (x, 0) = g(x) para 0 x L, t la ecuacin de ondas: es de la forma u(x, t) = (x + ct) + (x ct) siendo Z 1 x 1e f(x) + g e( )d , (x) = 2 2c 0 Z 1e 1 x (x) = g ( )d , e f(x) 2 2c 0

e e donde f y g son las extensiones 2L-peridicas e impares de las funciones f y g, respectivamente. Esta expresin se conoce como solucin de DAlembert al problema de la cuerda vibrante.

El mtodo de separacin de variables

Volvamos al problema de la cuerda vibrante en el caso en que la velocidad inicial es cero: Hallar u(x, t) que cumpla 2u 2u = c2 2 para 0 x L y t 0, t2 x las condiciones de contorno: u(0, t) = u(L, t) = 0 para t 0, y las condiciones iniciales: u(x, 0) = f (x) para 0 x L, u (x, 0) = 0 para 0 x L, t donde c es una constante positiva y f es una funcin dada: la posicin inicial de la cuerda. la ecuacin de ondas: La idea clave del mtodo de separacin de variables, propuesto por D. Bernoulli en 1753, es 2u 2u buscar soluciones de la ecuacin de ondas 2 = c2 2 que sean de la forma t x u(x, t) = v(x)z(t) donde v(x) y z(t) son funciones de una variable (no nulas salvo para el caso trivial en que f sea la funcin cero). Si u(x, t) = v(x)z(t), entonces 2u = v(x)z 00 (t) t2 as que la ecuacin de ondas queda y 2u = v00 (x)z(t), x2

v(x)z 00 (t) = c2 v00 (x)z(t),

Ampliacin de Matemticas (Ingeniera de Telecomunicacin) Curso 2010/11 es decir,

v 00 (x) 1 z 00 (t) = 2 . v(x) c z(t)

Como el miembro derecho de esta ecuacin es funcin slo de la variable t y el izquierdo lo es slo de la variable x, ambos deben ser constantes. Si denotamos por el valor de esa constante (el signo menos es un convenio bien establecido), la ecuacin se desdobla en sendas ecuaciones diferenciales de segundo orden para v(x) y z(t): v00 (x) + v(x) = 0 cuyas soluciones dependen del signo de . El siguiente paso es imponer las condiciones de contorno 0 = u(0, t) = v(0)z(t) y 0 = u(L, t) = v(L)z(t). y z 00 (t) + c2 z(t) = 0,

Como z(t) no es la funcin nula, debe ocurrir v(0) = v(L) = 0. En consecuencia, la funcin v(x) es la solucin del problema de contorno v 00 (x) + v(x) = 0 con v(0) = 0 y v(L) = 0.

Vimos en la primera leccin que este tipo de problemas, a diferencia de los problemas de valor inicial, no siempre tienen solucin o, si la tienen, no tiene por qu ser nica. Veamos lo que ocurre en este caso segn sea el signo de . 1. Si = 2 es un nmero negativo, entonces la solucin general de v00 (x) + v(x) = 0 es v(x) = c1 ex + c2 ex y, al imponer v(0) = v(L) = 0, nos queda nicamente la solucin trivial v(x) = 0. 2. Si = 0, entonces la solucin general de v00 (x) + v(x) = 0 es v(x) = c1 + c2 x y, al imponer v(0) = v(L) = 0, de nuevo nos queda nicamente la solucin trivial v(x) = 0. 3. Si = 2 es un nmero positivo, entonces la solucin general de v00 (x) + v(x) = 0 es v(x) = c1 sen (x) + c2 cos(x). Ahora, al imponer la condicin v(0) = 0, nos queda v(x) = c1 sen (x) y al imponer v(L) = 0 nos queda c1 sen (L) = 0. Esto nos vuelve a dar la solucin trivial salvo que L sea un mltiplo entero de ; es decir salvo para = /L, 2/L, 3/L, . . . En resumen, el problema de contorno v 00 (x) + v(x) = 0 con v(0) = 0 y v(L) = 0

nicamente tiene solucin no trivial para una sucesin de valores de que son n = n2 2 /L2 con n = 1, 2, . . . ; dichas soluciones son vn (x) = sen (nx/L) (n = 1, 2, . . . ).

Leccin 6. Ecuaciones en Derivadas Parciales

(sta es una situacin comn a muchos problemas de contorno con ecuaciones diferenciales ordinarias de segundo orden; los valores del parmetro para los que existe solucin no trivial forman una sucesin creciente y divergente n que se llaman autovalores del problema, mientras que las soluciones correspondientes se llaman autofunciones del problema; veremos ms ejemplos en lo que sigue.) Al sustituir estos valores de en la ecuacin que verica z(t), sta nos queda n2 2 c2 00 z (t) + z(t) = 0 L2 cuya solucin general es c1 sen (nct/L) + c2 cos(nct/L). Hasta ahora, el mtodo de separacin de variables nos ha proporcionado una coleccin de funciones sen (nx/L) [c1 sen (nct/L) + c2 cos(nct/L)] (n = 1, 2, . . . ) que verican la ecuacin de ondas y las condiciones de contorno. Si imponemos la segunda u (x, 0) = 0, entonces debe ser c1 = 0, con lo cual nos quedamos con la condicin inicial t coleccin de soluciones un (x, t) = sen (nx/L) cos(nct/L) (n = 1, 2, . . . ),

a la que falta por imponer la primera condicin inicial u(x, 0) = f(x). Est claro que si f(x) es una de las funciones sen (nx/L) o una combinacin lineal de stas f (x) =
m X n=1

bn sen (nx/L),

entonces la correspondiente combinacin lineal u(x, t) =

m X n=1

bn sen (nx/L) cos(nct/L)

es la solucin buscada. La segunda idea clave de D. Bernoulli fue postular que cualquiera que fuera la posicin inicial f(x), sta se poda escribir como una superposicin innita de sinusoidales f (x) =
X n=1

bn sen (nx/L),

con cuyos coecientes se puede construir la solucin del problema u(x, t) =

X n=1

bn sen (nx/L) cos(nct/L).

Por lo que hemos estudiado en la Leccin 4, sabemos que esto es posible si la funcin f(x) verica las condiciones de Dirichlet, en cuyo caso f (x) =
X n=1

bn sen (nx/L),

Ampliacin de Matemticas (Ingeniera de Telecomunicacin) Curso 2010/11

es el desarrollo de f(x) en serie de senos en medio intervalo [0, L]; es decir, la serie de Fourier de la extensin 2L-peridica impar de f(x) cuyos coecientes vienen dados por 2 bn = L Z
L

f (x)sen (nx/L) dx (n = 1, 2, . . . ).

Una vez calculados estos coecientes, la solucin del problema de la cuerda vibrante viene dada, efectivamente, por X u(x, t) = bn sen (nx/L) cos(nct/L),
n=1

que se llama solucin de Bernoulli.

Desde el punto de vista musical, podemos ver esta solucin como una superposicin de armnicos, el primero de los cuales nos da la frecuencia fundamental de vibracin r r 1 = rad/s o = hertzios L 2L en trminos de la longitud de la cuerda L, la tensin y la densidad . Los siguientes, de frecuencias 2, 3, . . . , nos proporcionan lo que en msica se conoce como la octava, la dominante, etc., y explican la razn del postulado pitagrico de que para conseguir sonidos armnicos al pulsar a la vez varias cuerdas iguales (en tensin y densidad), sus longitudes deben estar en proporciones numricas sencillas (1/2, 1/3, 2/3, 1/4, 3/4, . . . ). Ejemplo. Si el desplazamiento inicial de la cuerda viene dado por 0.01x si 0 x L/2 f (x) = 0.01(L x) si L/2 x L, entonces 2 bn = L Z
L

f(x)sen (nx/L) dx =

0.04L sen (n/2) 2 n2

para n = 1, 2, . . .

as que la solucin es 0.04L 1 u(x, t) = cos(ct/L)sen (x/L) cos(3ct/L)sen (3x/L) + . 2 9 Hemos visto que la solucin general de la ecuacin de ondas u(x, t) = (x + ct) + (x ct) donde y son funciones cualesquiera de una variable. La ecuacin recibe su nombre debido a que, aparte de la cuerda vibrante, son muchos los fenmenos de tipo ondulatorio que se pueden modelar con ella o con una variante suya. 2u 2u = c2 2 es t2 x

Leccin 6. Ecuaciones en Derivadas Parciales

La cuerda vibrante con velocidad inicial. El problema consiste en hallar una funcin u(x, t) que verique 2u 2u = c2 2 para 0 x L y t 0, t2 x las condiciones de contorno: u(0, t) = u(L, t) = 0 para t 0, y las condiciones iniciales: u(x, 0) = f (x) para 0 x L, u (x, 0) = g(x) para 0 x L, t la ecuacin de ondas: donde c es una constante positiva y f y g son funciones dadas. Aunque es posible dar su solucin usando el mtodo de DAlembert, nos restringiremos al uso del mtodo de separacin de variables. Para ello, se empieza como hemos hecho antes hasta llegar al punto en que obtenemos una coleccin de funciones un (x, t) = sen (nx/L) [an sen (nct/L) + bn cos(nct/L)] (n = 1, 2, . . . ).

que verican la ecuacin de ondas y las condiciones de contorno. Ahora buscamos la solucin del problema como una combinacin de stas u(x, t) =
X n=1

sen (nx/L) [an sen (nct/L) + bn cos(nct/L)]

lo que, al imponer las condiciones iniciales nos lleva a f(x) = u(x, 0) = g(x) =
X

u (x, 0) = t

bn sen (nx/L), n=1 X

n=1

[nc/L]an sen (nx/L),

que son los desarrollos de f(x) y g(x) en serie de senos en medio intervalo [0, L]. En consecuencia, los coecientes vienen dados, para n = 1, 2, . . . , por Z L 2 g(x)sen (nx/L) dx, an = nc 0 Z 2 L f (x)sen (nx/L) dx. bn = L 0 La ecuacin de ondas bidimensional. Si en vez de la vibracin de una cuerda queremos estudiar la vibracin de una membrana, como la de un tambor, el modelo viene dado por la ecuacin de ondas bidimensional 2 u 2u 2u 2 =c + t2 x2 y 2 donde u(x, y, t) es una funcin que depende del tiempo t 0 y de dos variables espaciales x e y que se mueven en una regin del plano denida por la forma de la membrana; un crculo, por ejemplo, si es la membrana de un tambor.

Ampliacin de Matemticas (Ingeniera de Telecomunicacin) Curso 2010/11

Las condiciones iniciales jan el desplazamiento de la posicin de equilibrio (u = 0) y la velocidad de la membrana en el instante inicial t = 0 y son de la forma u(x, y, 0) = f(x, y) y u (x, y, 0) = g(x, y), t

donde f y g son funciones dadas. Las condiciones de contorno se dan sobre los puntos de la frontera de ; por ejemplo, en el caso del tambor circular la membrana est ja a la caja del tambor, as que u(x, y, t) = 0 para (x, y) en la frontera del crculo. Ahora el mtodo de separacin de variables consiste en buscar soluciones de la forma u(x, y, t) = h(t)v(x, y) que, al sustituirla en la ecuacin de ondas, nos da 2 v 2v 00 2 h (t)v(x, y) = c h(t) = c2 h(t)2 v, + x2 y 2 es decir, h00 (t) 2 v = , c2 h(t) v(x, y) donde el miembro izquierdo depende slo de t y el derecho slo de x e y, por lo que debe ser constante y la ecuacin se desdobla en h00 (t) + c2 h(t) = 0 y la ecuacin de Helmholtz: 2 v = v 2v 2v + + v = 0. x2 y 2

Un caso particular de esta ecuacin es cuando = 0, es decir, 2 v = 2v 2v + =0 x2 y 2

que se llama ecuacin de Laplace o ecuacin del potencial y que estudiaremos ms adelante.

La ecuacin del calor

Consideramos ahora la ecuacin de la difusin o ecuacin del calor que surge en diversos campos de la fsica y la ingeniera. Aparece en relacin con fenmenos de difusin en un medio homogneo y el ejemplo tpico es el de la conduccin del calor en una varilla homognea de longitud L que est aislada, salvo quizs en sus extremos. Si denotamos por u(x, t) la temperatura en la posicin x de la varilla (0 x L) en el instante t, entonces el calor pasa de las partes ms calientes a las ms fras y, tras algunas consideraciones fsicas, se postula que u verica la ecuacin del calor unidimensional 2 u 2 u = , t x2 donde es una constante positiva que depende de la composicin de la varilla. Es fcil ver 2 2 2 2 que las funciones u(x, t) = e t cos(x) y u(x, t) = e t sen (x) son soluciones de esta ecuacin para cualquier valor de y, en cierto modo, son las componentes fundamentales con las que se pueden reconstruir todas las soluciones; sta es la consecuencia fundamental de la

10

Leccin 6. Ecuaciones en Derivadas Parciales

aplicacin del mtodo de separacin de variables para resolver la ecuacin del calor cuando se jan condiciones iniciales y de contorno. Fue J. Fourier quien, a principios del Siglo XIX y en sus investigaciones sobre la teora del calor, aplic dicho mtodo, aparecido en el siglo anterior en conexin con el problema de la cuerda vibrante, a la ecuacin unidimensional de la difusin. Para este problema no se conocen soluciones tipo DAlembert, as que los buenos resultados obtenidos por Fourier situaron las series trigonomtricas, que hoy llevan su nombre, en el centro de la escena matemtica. El mtodo de separacin de variables. Las condiciones iniciales y de contorno que se imponen dependen de la situacin concreta que queramos estudiar. Como ejemplo veamos el caso en que ambos extremos de la varilla estn permanentemente a cero grados de temperatura y el caso en que ambos extremos estn aislados. Ejemplo. El modelo del problema de la difusin del calor en una varilla cuyos extremos estn permanentemente a cero grados viene dado por la ecuacin del calor: las condiciones de contorno: y la condicin inicial: u 2u = 2 2 para 0 x L y t 0, t x u(0, t) = u(L, t) = 0 para t 0, u(x, 0) = f (x) para 0 x L,

donde f es una funcin dada, la distribucin inicial de la temperatura, y 2 es una constante positiva, llamada difusividad trmica, que depende del material de la varilla; concretamente k 2 = , donde k es la conductividad trmica del material, c su calor especco y su densidad. c 2u u De nuevo, buscamos soluciones de la ecuacin del calor = 2 2 que sean de la forma t x u(x, t) = v(x)z(t) donde v(x) y z(t) son funciones de una variable (no nulas salvo para el caso trivial en que f sea la funcin cero). Si u(x, t) = v(x)z(t), entonces u = v(x)z 0 (t) t as que la ecuacin del calor queda v(x)z 0 (t) = 2 v00 (x)z(t), es decir, v00 (x) 1 z 0 (t) = 2 . v(x) z(t) y 2u = v00 (x)z(t), x2

Como el miembro derecho de esta ecuacin es funcin slo de la variable t y el izquierdo lo es slo de la variable x, ambos deben ser constantes. Si denotamos por el valor de esa constante, la ecuacin se desdobla en sendas ecuaciones diferenciales; de segundo orden para v(x) y de primer orden para z(t): v 00 (x) + v(x) = 0 y z 0 (t) + 2 z(t) = 0.

Ampliacin de Matemticas (Ingeniera de Telecomunicacin) Curso 2010/11 Como antes, el siguiente paso es imponer las condiciones de contorno 0 = u(0, t) = v(0)z(t) y 0 = u(L, t) = v(L)z(t).

11

Como z(t) no es la funcin nula, debe ocurrir v(0) = v(L) = 0. En consecuencia, la funcin v(x) es la solucin del problema de contorno v 00 (x) + v(x) = 0 con v(0) = 0 y v(L) = 0.

Este problema de contorno es el mismo que obtuvimos para la ecuacin de ondas, as que ya sabemos que nicamente tiene solucin no trivial para la sucesin n = n2 2 /L2 con n = 1, 2, . . . y que dichas soluciones son vn (x) = sen (nx/L) (n = 1, 2, . . . ).

Al sustituir estos valores de en la ecuacin que verica z(t), sta nos queda z 0 (t) + cuya solucin general es donde a es una constante cualquiera. Hasta aqu, el mtodo de separacin de variables nos ha proporcionado una coleccin de soluciones 2 2 2 2 un (x, t) = en t/L sen (nx/L) (n = 1, 2, . . . ), que verican la ecuacin del calor y las condiciones de contorno; falta por imponer la condicin inicial u(x, 0) = f (x). Como antes, si la funcin f(x) verica las condiciones de Dirichlet y calculamos su desarrollo de f(x) en serie de senos en medio intervalo [0, L] f(x) = entonces la temperatura viene dada por u(x, t) =
X n=1 X n=1

n2 2 2 z(t) = 0 L2
2 2 2 t/L2

z(t) = aen

bn sen (nx/L),

bn sen (nx/L)en

2 2 2 t/L2

Observemos que la presencia de las exponenciales hace que la serie converja muy rpidamente y que la temperatura tienda a ser igual a cero en toda la varilla. Ejemplo. El modelo del problema de la difusin del calor en una varilla cuyos extremos estn aislados viene dado por
2 u 2 u la ecuacin del calor: = para 0 x L y t 0, t x2 u u (0, t) = (L, t) = 0 para t 0, las condiciones de contorno: x x y la condicin inicial: u(x, 0) = f(x) para 0 x L,

12

Leccin 6. Ecuaciones en Derivadas Parciales

donde es una constante positiva y f es una funcin dada, la distribucin inicial de la temperatura. u 2u De nuevo, buscamos soluciones de la ecuacin del calor = 2 2 que sean de la forma t x u(x, t) = v(x)z(t). Entonces la ecuacin se desdobla en v 00 (x) + v(x) = 0 y z 0 (t) + 2 z(t) = 0.

Como antes, el siguiente paso es imponer las condiciones de contorno 0= u (0, t) = v 0 (0)z(t) x y 0= u (L, t) = v0 (L)z(t). x

En consecuencia, la funcin v(x) es la solucin del problema de contorno v 00 (x) + v(x) = 0 con v0 (0) = 0 y v 0 (L) = 0.

Este problema de contorno es distinto al que obtuvimos para la ecuacin de ondas. Separando en los casos correspondientes a que sea positivo, cero o negativo, se prueba anlogamente que nicamente tiene solucin no trivial para la sucesin n = n2 2 /L2 con n = 0, 1, 2, . . . y que dichas soluciones son vn (x) = cos(nx/L) (n = 0, 1, 2, . . . ). Observemos que, en este caso, para = 0 s aparece una solucin constante no trivial. Al sustituir estos valores de en la ecuacin que verica z(t), sta nos queda z 0 (t) + cuya solucin general es z(t) = aen donde a es una constante cualquiera. Hasta aqu, el mtodo de separacin de variables nos ha proporcionado una coleccin de soluciones 2 2 2 2 un (x, t) = en t/L cos(nx/L) (n = 0, 1, 2, . . . ), que verican la ecuacin del calor y las condiciones de contorno; falta por imponer la condicin inicial u(x, 0) = f(x). Como antes, si la funcin f (x) verica las condiciones de Dirichlet y calculamos su desarrollo de f(x) en serie de cosenos en medio intervalo [0, L] a0 X f (x) = + an cos(nx/L), 2 n=1

2 2 2 t/L2

n2 2 2 z(t) = 0 L2 ,

entonces la temperatura viene dada por a0 X 2 2 2 2 an cos(nx/L)en t/L . u(x, t) = + 2 n=1

Ampliacin de Matemticas (Ingeniera de Telecomunicacin) Curso 2010/11

13

Observemos que la presencia de las exponenciales hace que la serie converja muy rpidamente y que la temperatura tienda a ser igual a a0 /2 grados en toda la varilla. Esta temperatura en rgimen permanente es, precisamente, el promedio de la distribucin inicial de la temperatura ya que Z 1 L a0 /2 = f (x) dx, L 0 Rgimen permanente de la temperatura. En los fenmenos de difusin del calor en una varilla aislada (salvo, quizs, por sus extremos) se observa que la distribucin de temperaturas tiende a largo plazo a un estado en el que prcticamente no hay variaciones apreciables, que se llama, como hemos mencionado en el ejemplo anterior, rgimen permanente de la temperatura y denotaremos por u . Como este rgimen slo depende de la posicin x y no del tiempo, la ecuacin que verica es, simplemente, u00 (x) = 0 cuya solucin es de la forma u (x) = ax + b. As, si suponemos que el extremo x = 0 est permanentemente a 10 grados y el extremo x = L 40 est permanentemente a 50 grados, entonces u (x) = 10+ x. Si queremos estudiar la evolucin L de la temperatura desde una distribucin inicial f(x) hasta u (x), entonces el modelo es 2u u = 2 2 para 0 x L y t 0, t x las condiciones de contorno: u(0, t) = 10 y u(L, t) = 50 para t 0, y la condicin inicial: u(x, 0) = f(x) para 0 x L. la ecuacin del calor: Para resolver este problema, escribimos u(x, t) = u (x) + v(x, t), con lo que v cumplir la ecuacin del calor pero con condiciones de contorno homogneas. Esta idea de calcular el rgimen permanente de temperaturas y, despus, reducir el problema a uno con condiciones de contorno homogneas, puede adaptarse a situaciones ms complicadas como las que se muestran en los ejercicios de esta leccin. La ecuacin del calor bidimensional. Si queremos estudiar la distribucin del calor en una placa plana, entonces hay que resolver la ecuacin del calor bidimensional 2 u u 2u 2 = + t x2 y 2 donde u(x, y, t) es una funcin que depende del tiempo t 0 y de dos variables espaciales x e y que se mueven en una regin del plano denida por la forma de la placa. El mtodo de separacin de variables nos llevara de nuevo a la ecuacin de Helmholtz. En el caso bidimensional, la ecuacin que gobierna el rgimen permanente es la ecuacin de 2u 2u Laplace + = 0, que estudiaremos a continuacin. x2 y 2

Funciones armnicas

En esta seccin y las siguientes vamos a estudiar una tercera ecuacin en derivadas parciales que es tambin esencial en las aplicaciones y se conoce como ecuacin bidimensional de Laplace o

14 ecuacin del potencial:

Leccin 6. Ecuaciones en Derivadas Parciales

2u 2u u = 2 + 2 = 0, x y donde u(x, y) es una funcin que depende de dos variables espaciales x e y que se mueven en una regin plana y 2 es el operador laplaciano.
2

Las soluciones de la ecuacin de Laplace se llaman funciones armnicas y los ejemplos ms conocidos son u(x, y) = ax + by + c, u(x, y) = x(x2 + y 2 )1 , u(x, y) = y(x2 + y 2 )1 , 2 2 u(x, y) = x y , u(x, y) = xy, u(x, y) = log(x2 + y 2 ), u(x, y) = ex cos(y), u(x, y) = ex sen(y), u(x, y) = (x2 y 2 ) (x2 + y 2 )2 . La ecuacin de Laplace es un caso particular tanto de la ecuacin de Helmholtz como de la ecuacin de Poisson donde g(x, y) es una funcin dada. 2 u + u = 0, 2 u = g(x, y)

A diferencia de la ecuacin de ondas y de la ecuacin del calor, el tiempo no aparece como variable independiente en las ecuaciones de Laplace, Helmholtz y Poisson; de hecho, estas ecuaciones se usan para hacer modelos matemticos de fenmenos de tipo estacionario en los que el tiempo no interviene. Para resolver estas ecuaciones de manera unvoca hay que establecer condiciones de contorno en la frontera de la regin . Estas condiciones se llaman condiciones de Dirichlet cuando se prescriben los valores de la funcin en la frontera de , condiciones de Neumann cuando se prescriben los valores de la derivada normal de la funcin en la frontera de y condiciones mixtas cuando se imponen condiciones de Dirichlet y de Neumann en trozos diferentes de la frontera de .

Problemas de Dirichlet y Neumann en rectngulos

El problema de Dirichlet en un rectngulo. Supongamos que es el rectngulo denido por los puntos (x, y) tales que 0 x L y 0 y M y que este rectngulo representa una placa cuyas caras laterales estn aisladas, cuyos lados verticales se mantienen a cero grados y cuyos lados horizontales se mantienen a una distribucin ja de temperaturas, f(x) en el lado inferior y g(x) en el superior. Cul es la distribucin de la temperatura en rgimen permanente? El modelo de este problema es 2u 2u la ecuacin de Laplace: + = 0 para 0 x L y 0 y M, x2 y 2 u(x, 0) = f(x) para 0 < x < L, u(x, M) = g(x) para 0 < x < L, con condiciones de contorno: u(0, y) = 0 para 0 < y < M, u(L, y) = 0 para 0 < y < M.

Ampliacin de Matemticas (Ingeniera de Telecomunicacin) Curso 2010/11

15

Separamos las variables buscando soluciones de la forma u(x, y) = v(x)z(y) con lo que la ecuacin de Laplace queda v(x)z 00 (y) + v 00 (x)z(y) = 0, es decir, v00 (x) z 00 (y) = . v(x) z(y) Como el miembro derecho de esta ecuacin es funcin slo de la variable y y el izquierdo lo es slo de la variable x, ambos deben ser constantes. Si denotamos por el valor de esa constante, la ecuacin se desdobla en sendas ecuaciones diferenciales de segundo orden para v(x) y z(y): v00 (x) + v(x) = 0 y z 00 (y) z(y) = 0.

Ahora imponemos las condiciones de contorno en los lados verticales 0 = u(0, y) = v(0)z(y) y 0 = u(L, y) = v(L)z(y).

Como z(y) no es la funcin nula, debe ocurrir v(0) = v(L) = 0. En consecuencia, la funcin v(x) es la solucin del problema de contorno v 00 (x) + v(x) = 0 con v(0) = 0 y v(L) = 0.

Este problema de contorno es el mismo que obtuvimos para la ecuacin de ondas, as que ya sabemos que nicamente tiene solucin no trivial para la sucesin n = n2 2 /L2 con n = 1, 2, . . . y que dichas soluciones son vn (x) = sen (nx/L) (n = 1, 2, . . . ).

Al sustituir estos valores de en la ecuacin que verica z(y), sta nos queda z 00 (y) cuya solucin general es z(y) = ceny/L + deny/L siendo c y d constantes arbitrarias. Hasta aqu, el mtodo de separacin de variables nos ha proporcionado una coleccin de soluciones un (x, y) = cn eny/L + dn eny/L sen (nx/L) (n = 1, 2, . . . ),
X cn eny/L + dn eny/L sen (nx/L) u(x, y) = n=1

n2 2 z(y) = 0 L2

que verican la ecuacin de Laplace y las condiciones de contorno en los lados verticales. Con estas soluciones podemos construir una solucin de la forma

16

Leccin 6. Ecuaciones en Derivadas Parciales

a la que ahora tenemos que imponer las condiciones de contorno en ambos lados horizontales u(x, 0) = f(x) y u(x, M) = g(x). Si las funciones f (x) y g(x) verican las condiciones de Dirichlet y calculamos sus desarrollos en series de senos en medio intervalo [0, L] f (x) =
X n=1

an sen (nx/L)

g(x) =

X n=1

bn sen (nx/L)

entonces, sustituyendo y = 0 e y = M en la expresin de u(x, y) e identicando los coecientes de los desarrollos en series de senos obtenemos, para cada n = 1, 2, . . . ,
nM/L

cn e cuya solucin es

cn + dn = an + dn enM/L = bn

cn = dn

an enM/L bn enM/L enM/L bn an enM/L = nM/L . e enM/L

Para obtener la solucin del problema basta sustituir estos valores en la expresin u(x, y) =
X cn eny/L + dn eny/L sen (nx/L). n=1

Si las condiciones de contorno fueran nulas en los lados horizontales y generales en los verticales u(x, 0) = 0 u(x, M) = 0 u(0, y) = f(y) u(L, y) = g(y) para para para para 0 < x < L, 0 < x < L, 0 < y < M, 0 < y < M,

el mtodo permite obtener, anlogamente, una solucin de la forma

X u(x, y) = cn enx/M + dn enx/M sen (ny/M). n=1

Si tenemos condiciones de contorno generales en los cuatro lados, entonces se divide el problema en dos problemas: uno con condiciones nulas en los lados horizontales y otro con condiciones nulas en los lados verticales; la suma de las soluciones ser la solucin del problema original. El problema de Neumann en un rectngulo. Supongamos que es el rectngulo denido por los puntos (x, y) tales que 0 x L y 0 y M y que este rectngulo representa una placa cuyas caras laterales estn aisladas, cuyos lados verticales y horizontal inferior tambin estn aislados, con lo que no hay ujo de calor a lo largo de ellos, y en cuyo lado horizontal superior

Ampliacin de Matemticas (Ingeniera de Telecomunicacin) Curso 2010/11

17

u (x, M) = f(x) en cada punto (x, M) de dicho lado y Cul es la distribucin de la temperatura en rgimen permanente? El modelo de este problema es 2u 2u la ecuacin de Laplace : + = 0 para 0 x L y 0 y M, x2 y 2 u (x, 0) = 0 para 0 < x < L, y u (x, M) = f(x) para 0 < x < L, y con condiciones de contorno : u x (0, y) = 0 para 0 < y < M, u (L, y) = 0 para 0 < y < M, x que es un problema con condiciones de Neumann porque en los lados verticales derecho e izquierdo la derivada normal respectiva de u(x, y) es la derivada en la direccin del vector (1, 0), que es u , y en los horizontales superior e inferior es la derivada en la direccin del vector (0, 1), x u que es . y hay un ujo de calor jo de manera que Separamos las variables buscando soluciones de la forma u(x, y) = v(x)z(y) con lo que la ecuacin de Laplace se desdobla en v00 (x) + v(x) = 0 y z 00 (y) z(y) = 0.

Ahora imponemos las condiciones de contorno en los lados verticales u u y 0= (0, y) = v0 (0)z(y) (L, y) = v0 (L)z(y). x x Como z(y) no es la funcin nula, debe ocurrir v0 (0) = v0 (L) = 0. En consecuencia, la funcin v(x) es la solucin del problema de contorno 0= v 00 (x) + v(x) = 0 con v 0 (0) = 0 y v0 (L) = 0.

Este problema de contorno es el mismo que obtuvimos para la ecuacin del calor con los extremos aislados, as que ya sabemos que nicamente tiene solucin no trivial para la sucesin n = n2 2 /L2 con n = 0, 1, 2, . . . y que dichas soluciones son vn (x) = cos(nx/L) (n = 0, 1, 2, . . . ).

Al sustituir estos valores de en la ecuacin que verica z(y), sta nos queda z 00 (y) n2 2 z(y) = 0. L2

Si aplicamos ahora la condicin en el lado horizontal inferior

u (x, 0) = v(x)z 0 (0) = 0, es decir y z 0 (0) = 0, las soluciones que se obtienen, salvo un factor constante, son zn (y) = cosh(ny/L) (n = 0, 1, 2, . . . ).

18 Obtenemos pues una coleccin de soluciones

Leccin 6. Ecuaciones en Derivadas Parciales

un (x, y) = cos(nx/L) cosh(ny/L)

(n = 0, 1, 2, . . . ).

que verican la ecuacin de Laplace y las condiciones de contorno en los lados verticales y el horizontal inferior. Con estas soluciones podemos construir una solucin de la forma u(x, y) =
X n=0

cn cos(nx/L) cosh(ny/L)

a la que nos falta imponer la condicin

u (x, M) = f(x). Ahora bien, y

X ncn u (x, M) = senh(nM/L) cos(nx/L). y L n=1 Si f (x) verica las condiciones de Dirichlet y calculamos su desarrollo en serie de cosenos en medio intervalo [0, L] a0 X + an cos(nx/L). f (x) = 2 n=1 Comparando estas series, vemos que cn = u (x, M) = f (x) si tomamos y

an L nsenh(nM/L)

para n = 1, 2, . . .

Puede probarse que esta condicin es necesaria para que la ecuacin de Laplace con condiciones de Neumann tenga solucin. En trminos fsicos, esto signica que el promedio del ujo de calor en el borde superior de la placa debe ser cero, o sea, debe salir tanto calor como entra; si no ocurre esto, entonces no se alcanza un rgimen permanente de temperaturas. Cuando tengamos un problema con condiciones de Neumann generales en los cuatro lados, lo que podemos hacer es separarlo en cuatro problemas adecuados con tres condiciones nulas. La solucin del problema original ser la suma de las soluciones de los problemas particulares.

y, esto es importante, el coeciente a0 de la serie de cosenos de f es cero, es decir, f debe cumplir que Z L f(x) dx = 0.
0

El problema de Dirichlet en el crculo unidad

Si es el crculo unidad, el problema de Dirichlet es hallar una funcin u(x, y) armnica en el interior del crculo conociendo sus valores en la circunferencia x2 + y 2 = 1. La geometra

Ampliacin de Matemticas (Ingeniera de Telecomunicacin) Curso 2010/11

19

del problema sugiere trabajar en coordenadas polares, de manera que el problema es hallar una funcin u(r, ) tal que 2 u = con la condicin u(1, ) = () para 0 2 donde () es una funcin dada que podemos suponer peridica y de perodo 2. Veremos dos formas de tratar este problema: mediante separacin de variables y, en la siguiente leccin, usando funciones analticas. Resolucin mediante el mtodo de separacin de variables. Como ya hemos visto en otros ejemplos, empezamos buscando soluciones que sean de la forma u(r, ) = v(r)w() donde v(r) debe ser continua en el interior de y w() debe ser peridica y de perodo 2. Derivando y sustituyendo en la ecuacin, obtenemos 1 1 v00 (r)w() + v 0 (r)w() + 2 v(r)w00 () = 0 r r o, equivalentemente, w00 () r2 v00 (r) + rv0 (r) = . v(r) w() Como el miembro derecho slo depende del ngulo y el izquierdo del radio, ambos deben ser constantes, lo que nos desdobla la ecuacin en dos ecuaciones de segundo orden r2 v 00 (r) + rv 0 (r) v(r) = 0 y w00 () + w() = 0. 1 2u 2 u 1 u + 2 2 =0 + r2 r r r para 0 r < 1 y 0 2

Como la funcin w() debe ser peridica y de perodo 2, los valores admisibles de son los de la sucesin = 0, 1, 4, 9, . . . , n2 , . . . , para los que se obtienen las soluciones wn () = cn cos(n) + dn sen (n). Sustituyendo = n2 en la ecuacin que verica v(r) r2 v00 (r) + rv0 (r) n2 v(r) = 0 tenemos una ecuacin de Euler-Cauchy cuya solucin general para n = 0 es v0 (r) = 0 + 0 log(r) y para n = 1, 2, . . . es vn (r) = n rn + n rn . Como las v(r) adecuadas deben ser continuas en r = 0, las constantes n deben ser todas cero. Esto nos proporciona una coleccin de soluciones un (r, ) = rn [cn cos(n) + dn sen (n)] (n = 0, 1, 2 . . . )

20

Leccin 6. Ecuaciones en Derivadas Parciales

Observemos que cuando r = 0 obtenemos

a0 entonces u(r, ) vericar la condicin de contorno u(1, ) = () tomando c0 = , d0 = 0 y 2 cn = an , dn = bn para n = 1, 2, . . . En resumen, la solucin es a0 X n u(r, ) = + r [an cos(n) + bn sen (n)] . 2 n=1 1 u(0, 0) = 2 Z

Si () verica las condiciones de Dirichlet y la desarrollamos en serie de Fourier en [, ] a0 X + [an cos(n) + bn sen (n)] () = 2 n=1

de la ecuacin del potencial con las que podemos construir X u(r, ) = rn [cn cos(n) + dn sen (n)] .
n=0

(t) dt =

frmula que se conoce como teorema del valor medio de Gauss. La Frmula Integral de Poisson. Si escribimos las frmulas de los coecientes Z Z 1 1 an = (t) cos(nt) dt y bn = (t)sen (nt) dt cos(n) cos(nt) + sen (n)sen (nt) = cos(n nt), 1 u(r, ) = Z # 1 X n (t) r cos(n nt) dt. + 2 n=1

a0 , 2

en la expresin de u(r, ) y tenemos en cuenta que entonces obtenemos

"

Para sumar la serie que aparece en el integrando observemos lo siguiente: si llamamos = t y tomamos = rej = r [cos() + jsen ()], entonces n = rn ejn = rn [cos(n) + jsen (n)] , de manera que ! 1 X n 1 X n 1 X n + + + r cos(n nt) = r cos(n) = Re 2 n=1 2 n=1 2 n=1 1 r2 1 + = = Re 2 1 2(1 2r cos() + r2 )

Z 1 1 r2 u(r, ) = (t) dt 2 1 2r cos( t) + r2 que se llama Frmula Integral de Poisson o, ms bien Frmula Integral de Poisson para funciones armnicas en el crculo unidad porque, como veremos en la siguiente leccin, existen otras frmulas anlogas.

luego

Ampliacin de Matemticas (Ingeniera de Telecomunicacin) Curso 2010/11

21

Ejercicios

2u 2u Ejercicio 1. Resuelve la ecuacin de ondas 2 = 2 en el intervalo [0, ] con las condiciones t x de contorno e iniciales que se indican u(0, t) = u(, t) = 0 para t 0, u(x, 0) = sen (x) 2sen (3x) para 0 < x < , u (x, 0) = 3sen (2x) para 0 < x < . t 2u 2u Ejercicio 2. Resuelve la ecuacin de ondas 2 = 16 2 en el intervalo [0, 1] con las condiciones t x de contorno e iniciales que se indican u(0, t) = u(1, t) = 0 para t 0, u(x, 0) = 0 para 0 < x < 1, si 0 x < 0.25, 0 u 1 si 0.25 x < 0.3, (x, 0) = t 0 si 0.3 x 1.

Este modelo corresponde al golpe del macillo de un piano contra una de las cuerdas. 2u 2u Ejercicio 3. Resuelve la ecuacin de ondas 2 = c2 2 en el intervalo [0, L] con las condiciones t x de contorno e iniciales que se indican u(0, t) = u(L, t) = 0 para t 0, u(x, 0) = 0 para 0 < x < L, u para 0 < x < L, (x, 0) = 0 (x L/4) t donde 0 es la funcin delta de Dirac. Este modelo corresponde a un golpe seco sobre un punto de la cuerda en reposo. Ejercicio 4. Resuelve el problema de ecuaciones en derivadas parciales 2u t2 u(0, t) u(x, 0) u (x, 0) t 2u para 0 < x < L y t > 0, x2 = u(L, t) = 0 para t > 0, = sen (x/L) para 0 < x < L, c si L/4 < x < 3L/4 = 0 en otro caso. = c2

Ejercicio 5. Resuelve, usando el mtodo de separacin de variables la ecuacin de ondas en el

22

Leccin 6. Ecuaciones en Derivadas Parciales

intervalo [0, ] con las condiciones de contorno e iniciales que se indican 2u 2u = t2 x2 u u (0, t) = (, t) = 0 para t 0, x x u(x, 0) = 0 para 0 < x < , u para 0 < x < . (x, 0) = ex t Ejercicio 6. Mediante la ecuacin de ondas se pueden modelar las vibraciones en el tubo de un rgano suponiendo que su seccin es despreciable frente a su longitud L. El modelo es 2u t2 u(0, t) u (L, t) x u(x, 0) u (x, 0) t = c2 = 0 = 0 = 0 = a 2u x2 para t 0: el extremo x = 0 est jo, para t 0: el extremo x = L est libre, para 0 < x < L: el tubo est en reposo, para 0 < x < L: al principio, el aire entra uniformemente.

Resuelve este modelo usando el mtodo de separacin de variables. Ejercicio 7. Resuelve, usando tanto el mtodo de Bernoulli como el de DAlembert, la ecuacin 2u 2u de ondas 2 = 16 2 en el intervalo [0, 4] con las condiciones de contorno e iniciales que se t x indican u(0, t) = u(4, t) = 0 para t 0, u (x, 0) = 0 para 0 < x < 4, t si 0 x < 1, x 1 si 1 x < 3, u(x, 0) = 4x si 3 x 4. 2u 2u 2 = 2(1 x) cos(2t) t2 x con las condiciones de contorno e iniciales nulas en el intervalo [0, 1]. Para ello, escribe u(x, t) = v(x, t) + (x) cos(2t), donde v cumple la ecuacin de ondas homognea y (x) slo depende de la variable x. Ejercicio 9. Resuelve la siguiente variante de la ecuacin de ondas en la que se tiene en cuenta la accin de la gravedad: 2u 2u = c2 2 g, t2 x

Ejercicio 8. Resuelve la ecuacin de ondas no homognea

Ampliacin de Matemticas (Ingeniera de Telecomunicacin) Curso 2010/11

23

con condiciones de contorno e iniciales homogneas en el intervalo [0, L]. Para ello, escribe u(x, t) = v(x, t) + (x) eligiendo de forma que v satisfaga la ecuacin de ondas usual. Ejercicio 10. Resuelve el siguiente problema usando el mtodo de separacin de variables 2u 2u 2 = 6x t2 x con las siguientes condiciones de contorno dadas en la banda 0 < x < 1, t > 0 u (x, 0) = 0. t Indicacin: busca una solucin particular que slo dependa de x. u(0, t) = u(1, t) = u(x, 0) = Ejercicio 11. Resuelve la siguiente ecuacin de ondas no homognea 2u 2u 2 + 4 2 cos(2x) = 0, 2 x t con condiciones iniciales y de contorno 0 < x < 1, t > 0,

u(x, 0) = sen (3x) (0 < x < 1), u (x, 0) = 0 (0 < x < 1), t u(0, t) = u(1, t) = 0 (t > 0). Para ello escribe u(x, t) = v(x, t)+(x) donde v es la solucin de la ecuacin de ondas homognea y (x) es una solucin particular de la ecuacin dada que slo depende de x. Ejercicio 12. Resuelve la siguiente ecuacin de ondas no homognea 2u 2u 2 = 9 cos(3x)sen (t), t2 x con condiciones iniciales y de contorno 9 u (x, 0) = 0 (0 < x < /2), t u u (0, t) = (/2, t) = 0 (t > 0). x x Para ello escribe u(x, t) = v(x, t) + (x)sen (t) donde v es la solucin de la ecuacin de ondas homognea y (x) es una funcin que slo depende de x. u(x, 0) = Ejercicio 13. La ecuacin de la transmisin telegrca es 2 u u 2u + u. = 2 + x2 t t Usa el mtodo de separacin de variables para resolverla con las siguientes condiciones de contorno e iniciales c2 u(0, t) = u(1, t) = 0 para t > 0, u(x, 0) = 0 para 0 < x < 1, u (x, 0) = x(1 x) para 0 < x < 1. t

24

Leccin 6. Ecuaciones en Derivadas Parciales

Ejercicio 14. Usa el mtodo de separacin de variables para resolver el problema 2u x2 u(0, t) u(x, 0) u (x, 0) t = 2u u +2 t2 t = u(, t) = 0 para t > 0, = 0 para 0 < x < , x si 0 < x < /2, = x si /2 < x < .

Ejercicio 15. Las ecuaciones de una lnea de transmisin son E I + L + RI = 0, x t E I +C + GE = 0, x t siendo E(x, t) e I(x, t) la tensin y la intensidad, respectivamente, y L, C, R y G constantes que caracterizan los parmetros fsicos del sistema. 1. Prueba que la tensin satisface la siguiente ecuacin: 2E 1 2E E E = 0, 2 2 ( 0 + 1 ) 2 x t t siendo 2 = (LC)1 , 0 = RC, 1 = LG y = RG. 2. Mediante un cambio de variable de la forma (x, t) = eax+bt E(x, t) (con a y b constantes que tendrs que elegir), transforma la ecuacin de segundo orden para E en una para que no contenga derivadas de primer orden: 2 1 2 2 2 + k = 0. x2 t En particular, prueba que si 0 = 1 , entonces k = 0. 3. Encuentra E(x, t) para una lnea de transmisin con L = C = R = G = 1 y condiciones iniciales E 1 1 (x), (x, 0) = (x), < x < , E(x, 0) = cosh t cosh resolviendo la correspondiente ecuacin de ondas que satisface . Ejercicio 16. Una barra cilndrica de aluminio (2 = 0.86), que tiene 2m de longitud y est a 10 grados se encuentra trmicamente aislada. En el instante t = 0, sus extremos se enfran hasta 0 grados y se mantienen as. Determina la distribucin de temperaturas u(x, t) (en el punto x de la barra y en el instante t).

Ampliacin de Matemticas (Ingeniera de Telecomunicacin) Curso 2010/11

25

Ejercicio 17. Resuelve el problema anterior pero suponiendo ahora que el extremo x = 0 se mantiene a cero grados y el extremo x = 2 se mantiene a 100 grados. Ejercicio 18. Utiliza el mtodo de separacin de variables para resolver el siguiente problema: u 2u = para 0 < x < , t > 0, t x2 u(0, t) = u(, t) = 0 para t > 0, u(x, 0) = 4sen (3x) para 0 < x < . Ejercicio 19. Resuelve el problema anterior pero suponiendo ahora que el extremo x = 0 se mantiene a 10 grados y el extremo x = se mantiene a 20 grados. Ejercicio 20. Utiliza el mtodo de separacin de variables para resolver el siguiente problema de transmisin de calor en una barra: u 2u para 0 < x < 4, t > 0, = 2 2 t x u(0, t) = u(4, t) = 0 para t > 0, u(x, 0) = x(x 4) para 0 < x < 4. Ejercicio 21. Complicamos ahora un poco la situacin ideal de la transmisin del calor en una varilla: Suponemos que la varilla puede irradiar calor libremente hacia el medio que la rodea, que se mantiene a temperatura constante. En este caso la ecuacin queda: u 2u para 0 < x < L, t > 0. = 2 2 u t x Mediante el cambio u(x, t) = v(x, t)w(t), reduce esta ecuacin a la ecuacin del calor usual. Ejercicio 22. Resuelve la ecuacin del calor en una varilla de cobre (2 = 1.14) de un metro de longitud para las siguientes condiciones de contorno e iniciales u(x, 0) = 1 + x, u u (0, t) = (L, t) = 0 x x

para t > 0.

Ejercicio 23. Resuelve el siguiente problema usando el mtodo de separacin de variables 2u u = + 2u, t x2 u(x, 0) = sen (x) para 0 < x < 1, u(0, t) = u(1, t) = 0 para t > 0. Ejercicio 24. Resuelve el siguiente problema u t u(x, 0) u(0, t) u(, t) 2u 4u, x2 = cos(x) para 0 < x < , = 0 para t > 0, = 1 para t > 0. =

26

Leccin 6. Ecuaciones en Derivadas Parciales

Para ello, procede de la siguiente manera: escribe u(x, t) = v(x, t)e4t + (x) eligiendo de forma que v satisfaga la ecuacin del calor con condiciones de contorno homogneas. Ejercicio 25. Resuelve el siguiente problema mediante el mtodo de separacin de variables u 2u = t2 2 u, t x u(0, t) = u(, t) = 0 para t > 0, u(x, 0) = cos(x) para 0 < x < . Ejercicio 26. Resuelve el siguiente problema la difusin del calor en una varilla cuyos extremos estn aislados mediante el mtodo de separacin de variables 2u u = , 2 x t u u (0, t) = (, t) = 0 para todo t > 0, x x 0 si 0 < x < /2, u(x, 0) = 1 si /2 < x < . 4 Ejercicio 27. Resuelve la ecuacin del calor no homognea 2u u = 16e2x , 2 x t u(0, t) = u(1, t) = 1 para t > 0, 2x u(x, 0) = 4sen (6x) e para 0 < x < 1. 4

Para ello, escribe u(x, t) = v(x, t) + (x), donde v(x, t) verica la ecuacin del calor homognea. Ejercicio 28. Resuelve la ecuacin u 2u =4 2 +8 t x bajo las condiciones u(0, t) = u(2, t) = 0 para t > 0, u(x, 0) = 0 para 0 < x < 2. Ejercicio 29. Prueba que la ecuacin 2u u = 2 2 (u u0 ) t x se reduce a la ecuacin del calor unidimensional mediante el cambio v = et (u u0 ). Qu signica el trmino (u u0 )? Ejercicio 30. Resuelve el siguiente problema de Dirichlet en el cuadrado de lado 2u 2u + x2 y 2 u(x, 0) u(x, ) u(0, y) = 0, = x x2 para 0 < x < , = 0 para 0 < x < , = u(, y) = 0 para 0 < y < .

Ampliacin de Matemticas (Ingeniera de Telecomunicacin) Curso 2010/11 Ejercicio 31. Resuelve el siguiente problema de Dirichlet en el cuadrado de lado 2u 2u + x2 y 2 u(x, 0) u(x, ) u(0, y) u(, y) = 0, = = = = 0 para sen (x) 0 para sen (y) 0 < x < , para 0 < x < , 0 < y < , para 0 < y < .

27

Ejercicio 32. Resuelve el siguiente problema de Neumann en el cuadrado de lado 2u 2u + x2 y 2 u (x, 0) y u (x, ) y u (0, y) x = 0, = 0 para 0 < x < , para 0 < x < , para 0 < y < .

= cos(x) =

u (, y) = 0 x

Ejercicio 33. Resuelve el siguiente problema de Neumann en el cuadrado de lado 1 2u 2u + x2 y 2 u (x, 0) y u (x, 1) y u (0, y) x u (1, y) x = 0, = 0 para 0 < x < 1, para 0 < x < 1,

= sen (2x) = 0

para 0 < y < 1, para 0 < y < 1.

= 2y 1

Ejercicio 34. Resuelve el siguiente problema por el mtodo de separacin de variables 2 u 2 u u + + x2 y 2 x u(x, 0) u(0, y) u(, y) = 0, = u(x, ) = 0 para 0 < x < , = 0 para 0 < y < , = sen (y) para 0 < y < .

Ejercicio 35. Resuelve el siguiente problema por el mtodo de separacin de variables y calcula

28

Leccin 6. Ecuaciones en Derivadas Parciales

el valor de u(0.5, 0.5) usando tres trminos de la serie obtenida. 2u 2u + x2 y 2 u(x, 0) u(x, 1) u(0, y) u(1, y) = u, = = = = 0 para 0 < x < 1, sen (x) para 0 < x < 1, 0 para 0 < y < 1, y para 0 < y < 1.

Ejercicio 36. Resuelve el siguiente problema de Poisson en el rectngulo [0, /2] [0, 2] 2u 2u + = sen (x) x2 y 2 con las condiciones de contorno u u (x, 0) = (x, 2) = 0 para 0 < x < /2, y y u(0, y) = 0 para 0 < y < 2, u (/2, y) = 1 y para 0 < y < 2. x Para ello, haz el cambio u(x, y) = v(x, y) + u(p) (x), donde u(p) (x) es una solucin particular que slo depende de x y que debers determinar de forma que v(x, y) sea una funcin armnica en [0, /2] [0, 2] con condiciones de contorno lo ms sencillas posible. Ejercicio 37. Resuelve el siguiente problema de Poisson en el rectngulo [0, ] [0, 1] 2u 2u + = y(1 y)sen (x) x2 y 2 con condiciones de contorno homogneas, sabiendo que admite una solucin particular de la forma sen (x)p(y), donde p es un polinomio. Ejercicio 38. Resuelve el siguiente problema de contorno en el cuadrado [0, ] [0, ] usando el mtodo de separacin de variables 2u 2u + = cos(x), x2 y 2 u (frontera) = 0. 0 < x < , 0 < y < ,

Para ello, haz el cambio u(x, y) = v(x, y) + u(p) (x), donde u(p) (x) es una solucin particular que slo depende de x y que debers determinar de forma que v(x, y) sea una funcin armnica en [0, ] [0, ] con condiciones de contorno lo ms sencillas posible. Ejercicio 39. Resuelve el problema de Dirichlet para el crculo unidad si la funcin de contorno () se dene como: 1. () = cos(/2) para [, ].

Ampliacin de Matemticas (Ingeniera de Telecomunicacin) Curso 2010/11 2. () = para (, ). 3. () = sen () para [0, ] y cero en otro caso. 4. () = 1 para [0, ] y cero en otro caso.

29

Ejercicio 40. Resuelve el problema de Dirichlet en el crculo unidad para la funcin dada en la frontera por (x, y) = A (x cos() ysen ()) , siendo A y constantes reales positivas. Ejercicios y cuestiones de exmenes de cursos anteriores. Ejercicio 41. Resuelve el problema de valores iniciales 2u t2 u(0, t) u(, t) u(x, 0) u (x, 0) t = 4 2u x2 para 0 < x < y t > 0,

= 0 para t > 0, = 0 para t > 0, = sen (x) para 0 < x < , = 1 para 0 < x < .

Ejercicio 42. Resuelve la ecuacin de ondas no homognea 4 2u 2u 2 = 4(x2 + 2)sen (2t) x2 t para 0 < x < /2 y t > 0

con las siguientes condiciones de contorno e iniciales u(0, t) = u(/2, t) = 0 para t > 0 u(x, 0) = 0 para 0 < x < /2 u (x, 0) = 2x2 para 0 < x < /2. t Para ello, escribe u(x, t) = v(x, t) + f (x)sen (2t) siendo v(x, t) una solucin de la ecuacin de ondas homognea. Ejercicio 43. Resuelve el siguiente problema de transmisin del calor u 2u = 3 2, t x con condiciones iniciales y de contorno x si 0 < x < 1, 2x si 1 < x < 2. u u (0, t) = (2, t) = 0 (t > 0). x x u(x, 0) = para 0 < x < 2 y t > 0,

30 Ejercicio 44. Resuelve la ecuacin del calor u 2 u = 2 t x

Leccin 6. Ecuaciones en Derivadas Parciales

para x [0, ] y t > 0

con las siguientes condiciones de contorno e iniciales u u (0, t) = (, t) = 0 x x y u(x, 0) = 0 1 si 0 < x < /2, si /2 < x < .

Ejercicio 45. Resuelve la ecuacin del calor 4 con las condiciones de contorno u(0, t) = u(50, t) = 0 y la condicin inicial u(x, 0) = 100 Ejercicio 46. Halla la solucin de u 2u =4 2 t x con las condiciones de contorno u(0, t) = u(, t) = 0 y la condicin inicial u(x, 0) = x x para t > 0 si 0 < x < /2, si /2 < x < . con 0 < x < y t > 0 Calcula aproximadamente el valor de u(25, 1800). para x (0, 50) para t > 0 u 2 u = 2 t x

Calcula, de manera aproximada, u( , 1). 2

Ejercicio 47. Resuelve el problema de valores iniciales 5 u 2u = t x2 para 0 < x < 10 y t > 0, para t > 0, para t > 0, para 0 < x < 10.

u (0, t) = 0 x u (10, t) = 0 x u(x, 0) = 4x

Ejercicio 48. Resuelve el problema de transmisin de calor u 2u =9 2 t x para 0 < x < 1 y t > 0,

Ampliacin de Matemticas (Ingeniera de Telecomunicacin) Curso 2010/11 con condiciones iniciales y de contorno u(x, 0) = sen (2x) 2sen (3x) para 0 < x < 1, u(0, t) = u(1, t) = 0 para t > 0. Ejercicio 49. Halla la solucin del siguiente problema la ecuacin del calor: con las condiciones de contorno: y la condicin inicial: u 2u = 2 2 para 0 x 1 y t 0, t x u u (0, t) = (1, t) = 0 para t 0, x x u(x, 0) = 2 cos(3x) para 0 x 1.

31

Ejercicio 50. Resuelve el siguiente problema de difusin del calor calculando previamente el rgimen permanente de temperaturas u 2u = 104 2 para 0 x 5 y t 0, t x con las condiciones de contorno: u(0, t) = 5 para t 0, u(5, t) = 20 para t 0, y la condicin inicial: u(x, 0) = 3sen (x) para 0 x 5. la ecuacin del calor: Ejercicio 51. Resuelve la ecuacin en derivadas parciales u 2 u = 2 +2 t x con las condiciones de contorno u(0, t) = u(, t) = 0 y la condicin inicial u(x, 0) = 0 para x (0, ). Se recomienda efectuar el cambio de variable dependiente u(x, t) = v(x, t) + h(x). Ejercicio 52. Resuelve el siguiente problema de difusin. u 2 u u = 2 2 para 0 x 1 y t 0, t x x con las condiciones de contorno: u(0, t) = 1 para t 0, u(1, t) = e2 para t 0, u (x, 0) = 1 para 0 x 1. y la condicin inicial: t la ecuacin: Escribe una aproximacin del valor u(0.4, 0.1) con dos cifras decimales. Ejercicio 53. Calcula, usando un cambio de variables de la forma u(x, t) = eat v(x, t) la solucin de la ecuacin en derivadas parciales u 2 u = 2 +u t x con 0 < x < L y t > 0 para t > 0,

32 con las condiciones de contorno

Leccin 6. Ecuaciones en Derivadas Parciales

u(0, t) = u(L, t) = 0 y la condicin inicial

para t > 0

u(x, 0) = sen (x/L) sen (2x/L)

t

para 0 < x < L.

Calcula, adems, lim u(x, t) en los casos L < , L = y L > . Ejercicio 54. (1) Halla el desarrollo en serie de Fourier de la funcin f(x) = sen (x) en el intervalo [0, 1]. (2) Determina, segn los valores de R, las soluciones del problema y 00 + y = 0, con y(0) = y(1) e y 0 (0) = 0.

(3) Resuelve la siguiente ecuacin del calor no homognea. u 2 u 2 = 2 4 cos(x)e t , t x con condiciones iniciales y de contorno u(x, 0) = (1 + 2x)sen (x) u(0, t) = u(1, t) (t > 0), u (0, t) = 0 (t > 0). x (0 < x < 1), para 0 < x < 1 y t > 0,

Indiciacin: Haz el cambio de variable independiente u(x, t) = v(x, t) + (x)e t , eligiendo de manera que v verique la correspondiente ecuacin del calor homognea. Ejercicio 55. Calcula la solucin de la ecuacin en derivadas parciales u 2 u = 2 +u t x que satisface las condiciones de contorno u(0, t) = u(, t) = 0 y la condicin inicial u(x, 0) = 1 Calcula, asimismo, lim u(x, t).
t

con 0 < x < y t > 0

para t > 0

para 0 < x < .

Ampliacin de Matemticas (Ingeniera de Telecomunicacin) Curso 2010/11

33

Bibliografa

Para desarrollar esta leccin pueden consultarse los siguientes textos. El de James incluye varias aplicaciones interesantes a la ingeniera y muchos ejercicios adicionales. [517.9/2-BRA] M. Braun, Ecuaciones diferenciales y sus aplicaciones, Cap. 5. [517.9/3-EDW] C.H. Edwards y D.E. Penney, Ecuaciones diferenciales elementales, Cap. 8. [51:62/ADV] G. James, Advanced Modern Engineering Mathematics, Cap. 9. [517.9/2-SIM] G.F. Simmons, Ecuaciones diferenciales, Cap. 7.