Ecuaciones en Derivadas Parciales

Definición la forma general de una ecuación diferencial en derivadas parciales

lineales de segundo orden (EDP) con dos variables independientes x e y es

 2u  2u  2u u u
A  B  C  D  E  Fu  G
x 2
xy y 2
x y

En donde A, B, C,…, G son funciones de x e y. Cuando G  x, y   0 , La ecuación

se llama homogénea; en cualquier otro caso no es homogénea

 2u  2u
Ejemplo la ecuación   u  0 es homogénea, mientras que
x2 y 2
 2u  2u
  x 2 es no homogénea.
x 2 y 2

Hay tres ecuaciones clásicas en derivadas parciales de orden 2 que aparecen

con frecuencia en las aplicaciones y que dominan en la teoría de las
ecuaciones diferenciales no ordinarias. Tales ecuaciones son:

u  2u
  2 2 Ecuación de Calor
t x

 2u 2  u
2
 c Ecuación de la Onda
t 2 x 2

 2u  2u
  0 Ecuación de Laplace
y 2 x 2

Series de Fourier
Si expresamos una función dada como una suma infinita de senos y cosenos o
ambos, se podrá resolver muchos problemas importantes.

Definición: Una función f  x  definida en un intervalo  p  x  p puede ser

desarrollada en una serie trigonométrica llamada serie de Fourier, esto es

a0   n n 
f  x     an cos x  bn sin x
2 n 1  p p 
Donde,

n n
p p p
1 1 1
a0   f  x  dx, an   f  x  cos xdx, bn   f  x  sin xdx
p p p p p p p p
Demostración: demostraremos la primera y segunda igualdad la tercera es
análoga y la dejaremos como ejercicio.
Para un n igual a 1,…, n.
2 2

 sin  nx dx   sin  nx  cos  0 x  dx  0 ,

0 0

2 2

 cos  nx dx 
0
 cos  nx  cos  0 x  dx  0 ,
0

Luego:
2 2  2 2


0
F  x dx   a0dx   an  cos  nx  dx  bn  sin  nx  dx   a0
0 n 1 0 0

Esto prueba la primera ecuación, ahora se demostrara la segunda

Sea k un entero.
2 2

 cos  kx dx 
0
 cos  kx  cos  0 x  dx  0 ,
0

2

 sin  nx  cos  kx  dx  0 ,
0

2

 cos  nx  cos  kx  dx  {
0; si ...n  k
; si ...n  k
0

Para n  1,..., 
2 2  2 2
a

0
F  x  cos  kx  dx  0
2  cos  kx  dx   a  cos  nx  cos  kx  dx  b  sin  nx  cos  kx  dx   a
0 n 1
n
0
n
0
k

Observación como cos  0  1 tenemos que las dos primeras formulas se

reducen a:
2
1
an 
  F  x  cos  nx dx
0

2
a02  2
  F  x   dx 
1
  an  bn2
2

 0
2 n 1

Notemos que:

 F  x 
a0
F  x   an F  x  cos  nx   bn F  x  sin  nx 
2

2 n 1

Integrando:
 2 2  2 2

  F  x   dx 
a0
 F  x  dx   an  F  x  cos  nx  dx  bn  F  x  sin  nx  dx
2

0
2 0 n 1 0 0


a0
  a0   an an  bn bn
2 n 1

a 2  
   0   an 2  bn 2 
 2 n1 
Series de Fourier Seno y Coseno
Los coeficientes seno de una función par son nulos y los coeficientes coseno
de una función impar son nulos. Esto lleva a definir las series de Fourier seno y
coseno de una función como sigue.

Sea f una función definida en el intervalo  0, L  .podemos extender f al

intervalo  L, L de las formas siguientes:

 f  x  L  x  L f  x  L  x  L
f1  x   Y f2  x  
f  x 0  x  L f  x 0  x  L

Es claro que f1 es impar y f 2 es par y coinciden con f en  0, L  . La función f1

es llamada la extensión impar de f1 y f 2 es llamada la extensión par de f .
a