SISTEMAS ÓPTICOS FACULTAD DE CIENCIAS FÍSICO MATEMÁTICAS - BUAP

Ecuaciones diferenciales ordinarias

Ordinary Differential Equations

Carlos-Augusto Flores-Meneses1
Facultad de Ciencias Fı́sico Matemáticas, Benemérita Universidad Autónoma de Puebla1 , Av. San Claudio y 18 Sur, C. U.
San Manuel, Apdo. 165, Puebla 72000, México
Corresponding author: augustoflores94@gmail.com

Resumen
asdasdasdsada
Abstract
asdasdasd

I. INTRODUCCIÓN Existen diferentes tipos de ecuaciones diferenciales, estas dependen

de
En contraste con las ecuaciones diferenciales ordinarias, no existe Lϕ (x, y) = F (x, y), (4)
una teorı́a unificada de las ecuaciones diferenciales parciales. Algunas
pueden contener derivadas parciales de cualquier orden, puros o mix-
ecuaciones tienen sus propias teorı́as, mientras que otras no tienen nin-
tos, multiplicados por funciones arbitrarias de las variables indepen-
guna teorı́a. La razón de esta complejidad es una geometrı́a más com-
dientes, son operadores lineales y ecuaciones de la forma Si el ter-
plicada. En el caso de una ecuación diferencial ordinaria, un campo
mino F (x, y) es cero, la PDE es llamada homogenea, si no es cero, es
vectorial integrable localmente (es decir, uno que tiene curvas integra-
llamada inhomogenea.
les) se define en una variedad. Para una ecuación diferencial parcial,
se define un subespacio del espacio tangente de dimensión mayor que
1 en cada punto de la variedad. Como se sabe, incluso un campo de PDE Ecuación tipo
planos bidimensionales en el espacio tridimensional es en general no Laplace ∇ ψ=02
lineal, homogenea
integrable. 2
Poisson ∇ ψ = f (r) lineal, inhomogenea
Ejemplo I.1. En un espacio con coordenadas x, y y z, consideramos
Euler ∂u
∂t
+ u · ∇u = − ∇P
ρ
no lineal, inhomogenea
el campo de planos dado por la ecuación dz = ydx. (Esto da una ecua-
ción lineal para las coordenadas del vector tangente en cada punto, y
esa ecuación determina un plano). Tabla 1: tipos de PDE’s

Ası́, los campos de planos integrables son un fenómeno excepcio-

nal. Una subparrama integral de un campo de subespacios tangentes
en una variedad es una subcaracterı́stica cuyo plano tangente en cada
punto está contenido en el subespacio del campo. Si se puede dibujar
una sub-matriz integral, su dimensión usualmente no coincide con la
de los planos del campo. En esta conferencia consideraremos un caso
en el que existe una teorı́a completa, a saber, el caso de una ecuación
de primer orden. Desde el punto de vista fı́sico, este caso es la dualidad
que se produce al describir un fenómeno utilizando ondas o partı́culas.
El campo satisface una cierta ecuación diferencial parcial de primer
orden, la evolución de las partı́culas se describe mediante ecuaciones
diferenciales ordinarias y existe un método para reducir la ecuación di-
ferencial parcial a un sistema de ecuaciones diferenciales ordinarias;
De esa manera, se puede reducir el estudio de la propagación de la
onda al estudio de la evolución de las partı́culas. Escribiremos todo en
un sistema de coordenadas local: x = (x1, ..., xn) son las coordena-
das (variables independientes), y = u(x) es una función desconocida
de las coordenadas. La letra y por sı́ misma denota la coordenada en
el eje de valores, y denotamos las derivadas parciales por la letra p:
P i = ∂u = ux ,. La ecuación diferencial parcial de primer orden
∂x
general tiene la forma
F (x1 , ..., xn , y, p1 , ..., pn ) = 0
Ejemplo I.2.
 2  2
∂u ∂u
+ =1 Ecuación eikonal en optica geometrica
∂x1 ∂x2
ut + uux = 0 Ecuación de Euler
Dado que la dinámica de muchos sistemas fı́sicos involucra solo
dos derivados, por ejemplo, la aceleración en la mecánica clásica, y el
operador de energı́a cinética ∇2 en Mecánica cuántica, las ecuaciones
diferenciales de segundo orden ocurren con mayor frecuencia en la
fı́sica. Incluso cuando las ecuaciones de definición son de primer or-
den, pueden, como en las ecuaciones de Maxwell, involucrar dos fun-
ciones de vectores desconocidos acoplados (son los campos eléctrico
y magnético), y la eliminación de un vector desconocido produce una
PDE de segundo orden para el otro.
II. ECUACION DE PRIMER ORDEN
Aunque la mayorı́a de las PDE encontradas en contextos fı́sicos son
de segundo orden (es decir, contienen ∂ 2 u/∂x2 o ∂ 2 u/∂x∂y, etc.),
ahora discutimos las ecuaciones de primer orden para ilustrar las con-
sideraciones generales involucradas en la forma de la solución y en
la satisfacción de las condiciones de contorno de la solución. La PDE
lineal de primer orden más general (que contiene dos variables inde-
pendientes) tiene la forma
∂u ∂u
A(x, y) + B(x, y) + C(x, y)u = R(x, y), (5)
∂x ∂y
(1)
donde A(x, y), B(x, y) y R(x, y) son funciones dadas. Claramente, si
cualquiera A(x, y) o B(x, y) es cero, entonces la PDE puede resolver-
se directamente como una EDO lineal de primer orden, siendo la única
modificación que la constante arbitraria de integración se convierta en
una función arbitraria de x o y respectivamente.
Ejemplo II.1. Encuentre la solucion general u(x, y) de
(2)
∂u
(3) x + 3u = x2 (6)
∂x

1
SISTEMAS ÓPTICOS FACULTAD DE CIENCIAS FÍSICO MATEMÁTICAS - BUAP

diviendo por x dondeA, B, ..., F y R(x, y) tienen funciones de x e y. Debido a la na-

∂u 3u turaleza de las soluciones a tales ecuaciones, generalmente se dividen
+ = x, (7)
∂x x en tres clases . La ecuación (18) se llama hiperbólica si B 2 > 4AC,
La cual es una ecuación lineal con factor integrante parabólica si B 2 = 4AC y elı́ptica si B 2 < 4AC. Claramente, si
Z  A, B y C son funciones de x e y (en lugar de solo constantes), la
3
exp dx = exp(3 ln x) = x3 (8) ecuación podrı́a ser de diferentes tipos en diferentes partes del plano
x xy. La ecuación (18) obviamente representa una clase muy grande de
Multiplicando por este factor encontramos que PDE, y generalmente es imposible encontrar soluciones de forma ce-
rrada para la mayorı́a de estas ecuaciones. Por lo tanto, por el momento
∂ 2 consideraremos solo ecuaciones homogéneas, con R(x, y) = 0, y rea-
(x u) = x4 (9)
∂ lizaremos la restricción adicional (que simplifica en gran medida) que,
Integrando se tiene inmediatamente que a lo largo del resto de esta sección, A, B, ..., F no son funciones de x
e y, sino meramente constantes.
x5 Ahora abordamos el problema de resolver algunos tipos de PDE de
x3 u = + f (y), (10)
5 segundo orden con coeficientes constantes buscando soluciones que
sean funciones arbitrarias de combinaciones particulares de variables
x2 f (y) independientes, tal como lo hicimos con las ecuaciones de primer or-
u(x, y) = + 3 (11)
5 x den. Siguiendo la discusión de la sección anterior, podemos esperar
encontrar tales soluciones solo si todos los términos de la ecuación
Cuando la PDE contiene derivadas parciales con respecto a ambas
implican el mismo número total de diferenciaciones, es decir, todos
variables independientes, entonces, por supuesto, no podemos emplear
los términos son del mismo orden, aunque el número de diferencia-
el procedimiento anterior, sino que debemos buscar un método alter-
ciones con respecto al individuo Las variables independientes pueden
nativo. Por el momento, limitemos nuestra atención al caso especial en
ser diferentes. Esto significa que en (18) requerimos que las constantes
el queC(x, y) = R(x, y) = 0 y, siguiendo la discusión de la sección
D, E y F sean idénticamente cero (por supuesto, ya hemos asumido
anterior, busquemos soluciones de la forma u(x, y) = f (p) donde p
que R(x, y) es cero), por lo que ahora estamos considerando solo las
es una combinación de x e y, actualmente desconocida. Entonces te-
ecuaciones de formar
nemos
∂u df (p) ∂p ∂2u ∂2u ∂2u
= , (12) A +B + C 2 = 0, (19)
∂x dp ∂x ∂x 2 ∂x∂y ∂y
∂u df (p) ∂p
= , (13) donde A, B y C son constante. Note que tanto la ecuacion de onda
∂y dp ∂y
sustituyendo en 5 se tiene ∂2u 1 ∂2u
2
− 2 2 =0 (20)
  ∂x c ∂t
∂p ∂p df (p)
A(x, y) + B(x, y) =0 (14) y la ecuacion bidimensional de Laplace
∂x ∂y dp
∂2u ∂2u
Esto elimina toda referencia a la forma real de la función f (p) ya que 2
+ =0 (21)
∂x ∂y 2
para p no trivial debemos tener
son de esta forma, pero que la ecuación de difusión,
∂p ∂p
A(x, y) dx + B(x, y) dy = 0 (15)
∂x ∂y ∂2u ∂u
κ − =0 (22)
∂x2 ∂t
Consideremos ahora la condición necesaria para que f (p) permanezca
constante a medida que x e y varı́an; esto es que la propia p permanece no, ya que contienen una derivada de primer orden. Dado que todos
constante. Por lo tanto, para que f permanezca constante implica que los términos en (19) implican dos diferenciaciones, al asumir una so-
x e y deben variar de tal manera que lución de la forma u(x, y) = f (p), donde p es una función desco-
nocida de x y y (o t), podemos ser capaces de para obtener un factor
∂p ∂p común d2 f (p)/dp2 como la única aparición de f en el LHS. Enton-
dp = dx + dy = 0 (16)
∂x ∂y ces, debido al cero RHS, todas las referencias a la forma de f pueden
se sigue de las dos ecuaciones anteriores que cancelarse. Podemos obtener alguna guı́a sobre formas adecuadas para
la combinación p = p(x, y) considerando ∂u/∂x cuando u está dada
dx dy por u(x, y) = f (p), para entonces
= (17)
A(x, y) B(x, y)
∂u df (p) ∂p
= , (23)
∂x dp ∂x
III. Ecuaciones de segundo orden
Claramente, la diferenciación de esta ecuación con respecto a x (o y)
Las PDE lineales de segundo orden son de gran importancia para no conducirá a un solo término en la RHS, que contiene f solo como
describir el comportamiento de muchos sistemas fı́sicos. Al igual que d2f (p)/dp2, a menos que el factor ∂p/∂x sea una constante de mane-
en nuestra discusión de ecuaciones de primer orden, por el momento ra que ∂2p/∂x2 y ∂2p/∂x∂y son necesariamente cero. Esto muestra
restringiremos nuestra discusión a ecuaciones con solo dos variables que p debe ser una función lineal de x. De una manera exactamente si-
independientes; Las extensiones a un mayor número de variables inde- milar, p también debe ser una función lineal de y, es decir,p = ax+by.
pendientes son sencillas. La PDE lineal de segundo orden más general Si asumimos una solución de (19) de la forma u(x, y) = f (ax + by),
(que contiene dos variables independientes) tiene la forma y evaluamos
∂2u ∂2u ∂2 ∂u ∂u ∂u df (p) ∂u df (p)
A + B + C +D +E + F u = R(x, y), (18) =a , =b , (24)
∂2x ∂x∂y ∂y 2 ∂x ∂y x dp ∂y dp

2
SISTEMAS ÓPTICOS FACULTAD DE CIENCIAS FÍSICO MATEMÁTICAS - BUAP

∂2u d2 f (p) ∂2u d2 f (p) ∂2u d2 f (p) [10] P. Q. M ICHEL C HIPOT, Handbook of differential equations. Sta-
2
= a2 , = ab = b2
∂x dp2 ∂x∂y dp2 ∂y 2 dp2 tionary partial differential equations, vol. Volume 1 of Hand-
(25) book of Differential Equations Series, North Holland, 2004.
lo cual sustituyendo da
[11] J. M. S. P. L. G ARCIA , A. P EREZ -R ENDON, Differential geo-
2 d2 f (p)
2 metrical methods in mathematical physics, vol. 836 of Lecture
(Aa + Bab + Cb ) =0 (26)
dp2 Notes in Mathematics 0836, Springer, 1 ed., 1981.
Esta es la forma que hemos estado buscando, ya que ahora se puede [12] B. F. S CHUTZ, Geometrical methods of mathematical physics,
obtener una solución independiente de la forma de f si requerimos que Cambridge University Press, 1 ed., 1980.
a y b satisfacen
Aa2 + Bab + Cb2 = 0 (27) [13] V. P. S. V. I. AGOSHKOV, P. B. D UBOVSKI, Methods for Sol-
De los valores cuadraticos dos valores para el rango de las dos cons- ving Mathematical Physics Problems, Cambridge International
tantes a y b son obtenidas Science Publishi, 2006.

b/a = [−B ± (B 2 − 4AC)1/2 ]/2C (28)

Si denotamos estas dos relaciones por λ1 y λ2 , entonces cualquier

función de las dos variables

p1 = x + λ1 y, p 2 = x + λ1 y (29)
Serán soluciones de la ecuación original (19). La omisión del factor
constante a de p1 y p2 no tiene importancia, ya que siempre puede ser
absorbido por la forma particular de cualquier función elegida; solo la
ponderación relativa de x e y en p es importante. Como p1 y p2 son en
general diferentes, podemos escribir la solución general de (19) como

u(x, y) = f (x + λ1 y) + g(x + λ2 y), (30)

donde f y g son funciones arbitrarias Finalmente, note que la solu-

cion altertiva d2 f (p)/dp2 = 0 a (26) sigue solo a la solucion trivial
u(x, y) = kx + ly + m para la cual todas las segunda rividas son
individualmentes cero.

Referencias
[1] M. L. B OAS, Mathematical Methods in the Physical Sciences,
Wiley, 3 ed., 2005.

[2] D. E . C HEN, Nonlinear partial differential equations, AMS, Pro-

ceedings, 1999.

[3] J. Z. G IUSEPPE DA P RATO, Second order partial differential

equations in Hilbert spaces, London Mathematical Society lec-
ture note series 293, Cambridge University Press, 1st ed., 2002.

[4] H. W. H. W. W YLD, Mathematical methods for physics, Ad-

vanced book classics, Advanced Book Program, Perseus Books,
2nd ed., 1999.

[5] G. B. A. H.-J. W. F. E. H ARRIS, Mathematical methods for

physicists : a comprehensive guide, Elsevier, 7th ed ed., 2012.

[6] P. Z. J URGEN A PPELL , A NATOLIJ K ALITVIN, Partial Integral

Operators and Integro-differential Equations, Monographs and
textbooks in pure and applied mathematics 230, M. Dekker,
1 ed., 2000.

[7] S. J. B. K. F. R ILEY, M. P. H OBSON, Mathematical methods

for physics and engineering, Cambridge University Press, 3rd
ed ed., 2006.

[8] S. G. K RANTZ, Partial Differential Equations and Complex

Analysis, Studies in advanced mathematics, CRC Press, 1 ed.,
1992.

[9] S. M., Methods of Mathematical Physics I, 2002.