Solución de D0 Alembert

Sabemos que el problema de Cauchy para la ecuación de onda unidimensional

µtt = c2 µxx ; t > 0

(

µ(x, 0) = f (x) , µt (x, 0) = g(x)

tiene solución la función

Z x+ct
1 1
µ(x, t) = (f (x + ct) + f (x − ct)) + g(s)ds
2 2c x−ct

¿Es posible imponer condiciones adicionales a la función µ(x, t) de modo que

tambien se verifiquen las C.F. µ(0, t) = µ(L, t) = 0 (extremos fijos) ?
Estas condiciones se verifican si y solo si f y g son funciones impares y periodicas
de periodo 2L

Definición
Sea h : [0, L] −→ R función continua a trozos, se llama extensión impar de
periodo 2L de h a la función

 h(x) si 0 < x < L


hi (x) = 0 si x = 0


−h(−x) si −L < x < 0


donde hi (x + 2L) = hi (x) ∀ x ∈ R.

De esta forma
Z x+ct
1 1
µ(x, t) = (fi (x + ct) + fi (x − ct)) + gi (s)ds
2 2c x−ct

es solución del problema

µtt = c2 µxx ; t > 0 ; 0 < x < L





µ(x, 0) = f (x) , µt (x, 0) = g(x)



µ(0, t) = µ(L, t) = 0 ; t > 0

donde fi , gi son extensiones impares de periodo 2L de f y g respectivamente.

1
 Consideremos ahora el problema (ecuación de onda con extremos libres)

µtt = c2 µxx ; t > 0 ; 0 < x < L





µ(x, 0) = f (x) , µt (x, 0) = g(x)



µx (0, t) = µx (L, t) = 0 ; t > 0

La función
Z x+ct
1 1
µ(x, t) = (f (x + ct) + f (x − ct)) + g(s)ds
2 2c x−ct

satisface el problema de Cauchy, pero para que esta función verifique las C.F. es
necesario que f 0 sea impar y g par, ambas periodicas de periodo 2L.

Definición
Sea h : [0, L] −→ R función continua a trozos, se llama extensión par de periodo
2L de h a la función
(
h(x) si 0 < x < L
hp (x) =
h(−x) si −L < x < 0

donde hp (x + 2L) = hp (x) ∀ x ∈ R.

De esta forma
Z x+ct
1 1
µ(x, t) = (fp (x + ct) + fp (x − ct)) + gp (s)ds
2 2c x−ct

es solución del problema

µtt = c2 µxx ; t > 0 ; 0 < x < L





µ(x, 0) = f (x) , µt (x, 0) = g(x)



µx (0, t) = µx (L, t) = 0 ; t > 0

donde fp , gp son extensiones pares de periodo 2L de f y g respectivamente.

2
 Por ultimo, consideremos ahora el problema (ecuación de onda con extremos
semilibres)
µtt = c2 µxx ; t > 0 ; 0 < x < L




µ(x, 0) = f (x) , µt (x, 0) = g(x)



µ(0, t) = µx (L, t) = 0 ; t > 0

La función
Z x+ct
1 1
µ(x, t) = (f (x + ct) + f (x − ct)) + g(s)ds
2 2c x−ct

satisface el problema de Cauchy.

Para que esta función verifique las C.F. sera necesario que f y g sean impares
(en cero) y pares en L, ambas periodicas.

Definición
Sea h : [0, L] −→ R función continua a trozos, se llama extensión impar en cero
y par en L de periodo 4L a la función


 h(2L − x) si L ≤ x ≤ 2L





 h(x) si 0 < x < L


hip (x) = 0 si x = 0


−h(−x) si −L < x < 0







−h(2L + x) si −2L ≤ x ≤ −L


donde hip (x + 4L) = hip (x) ∀ x ∈ R.

Afirmación

1. hip es impar.
2. hip es par en L.

De esta forma, la función

Z x+ct
1 1
µ(x, t) = (fip (x + ct) + fip (x − ct)) + gip (s)ds
2 2c x−ct

verifica las C.F. para el el problema ecuación de onda con extremos semilibres,
donde donde fip , gip son extensiones impares en cero y pares en L de periodo 4L de
f y g respectivamente.