EDP Traducido

Las ecuaciones diferenciales parciales Di ff
Notas de lectura
Erich Departamento de
Matemticas Miersemann
Universidad de Leipzig
Versin de octubre de 2012

2
Contenido
1. Introduccin 9
1.1 Ejemplos. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.2 Ecuaciones de problemas variacionales. . . . . . . . . . . . . . 15
1.2.1 ecuaciones diferenciales ordinarias di ff. . . . . . . . . . . . . 15
1.2.2 ecuaciones diferenciales parciales di ff. . . . . . . . . . . . . . diecisis
1.3 Ejercicios. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
2 ecuaciones de orden primero 25

2.1 Ecuaciones lineales. . . . . . . . . . . . . . . . . . . . . . . . . 25
2.2 cuasilinealidad . . . . . . . . . . . . . . . . . . . . . . 31
2.2.1 Un mtodo de linealizacin. . . . . . . . . . . . . . . . . 32
2.2.2 problema de valor inicial de Cauchy. . . . . . . . . . . . . 33
2.3 Las ecuaciones no lineales en dos variables. . . . . . . . . . . . . . 40
2.3.1 problema de valor inicial de Cauchy. . . . . . . . . . . . . 48
2.4 Las ecuaciones no lineales en R n. . . . . . . . . . . . . . . . . . . . 51
2,5 teora de Hamilton-Jacobi. . . . . . . . . . . . . . . . . . . . . 53
2.6 Ejercicios. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
3 Clasi fi cacin 63
3.1 Ecuaciones lineales de segundo orden. . . . . . . . . . . . . . . . 63
3.1.1 Forma normal de dos variables. . . . . . . . . . . . . . 69
3.2 cuasilinealidad de segundo orden. . . . . . . . . . . . . . 73
3.2.1 ecuaciones elpticas cuasilineales. . . . . . . . . . . . . . 73
3.3 Sistemas de primer orden. . . . . . . . . . . . . . . . . . . . . . . 74
3.3.1 Ejemplos. . . . . . . . . . . . . . . . . . . . . . . . . 76
3.4 Sistemas de segundo orden. . . . . . . . . . . . . . . . . . . . . 82
3.4.1 Ejemplos. . . . . . . . . . . . . . . . . . . . . . . . . 83
3.5 Teorema de Cauchy-Kovalevskaya. . . . . . . . . . . . . . . . 84
3.5.1 Apndice: real funciones analticas. . . . . . . . . . . 90
3
4 CONTENIDO
3.6 Ejercicios. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 101
4 ecuaciones hiperblicas 107

4,1 ecuacin de onda unidimensional. . . . . . . . . . . . . . . . . 107
4.2 dimensiones superiores. . . . . . . . . . . . . . . . . . . . . . . . 109
4.2.1 Caso n = 3. . . . . . . . . . . . . . . . . . . . . . . . . 112
4.2.2 Caso n = 2. . . . . . . . . . . . . . . . . . . . . . . . 115
4,3 ecuacin no homognea. . . . . . . . . . . . . . . . . . . . . 117
4.4 Un mtodo de Riemann. . . . . . . . . . . . . . . . . . . . . . 120
4.5 Problemas de valores iniciales y de contorno. . . . . . . . . . . . . . . . . 125
4.5.1 La oscilacin de una cadena. . . . . . . . . . . . . . . . . . 125
4.5.2 Oscilacin de una membrana. . . . . . . . . . . . . . . . 128
4.5.3 ecuaciones de onda no homogneos. . . . . . . . . . . . . 131
4.6 Ejercicios. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 136
5 transformada de Fourier 141

5.1 De definicin, propiedades. . . . . . . . . . . . . . . . . . . . . . . 141
5.1.1 Pseudodi ff operadores diferenciales. . . . . . . . . . . . . . . 146
5.2 Ejercicios. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 149
6 ecuaciones parablicas 151

6.1 la frmula de Poisson. . . . . . . . . . . . . . . . . . . . . . . . . 152
6,2 ecuacin del calor no homognea. . . . . . . . . . . . . . . . . . 155
6.3 principio del mximo. . . . . . . . . . . . . . . . . . . . . . . . 156
6.4 problema de valores iniciales y de contorno. . . . . . . . . . . . . . . . . 162
6.4.1 El mtodo de Fourier. . . . . . . . . . . . . . . . . . . . . 162
6.4.2 Singularidad. . . . . . . . . . . . . . . . . . . . . . . . 164
6.5 ecuacin Negro-Scholes. . . . . . . . . . . . . . . . . . . . . . 164
6.6 Ejercicios. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 170
7 ecuaciones elpticas de segundo orden 175

7,1 solucin fundamental. . . . . . . . . . . . . . . . . . . . . . 175
7.2 frmula de representacin. . . . . . . . . . . . . . . . . . . . . 177
7.2.1 Conclusiones de la frmula de representacin. . . . . 179
7.3 problemas de contorno. . . . . . . . . . . . . . . . . . . . 181
7.3.1 problema de Dirichlet. . . . . . . . . . . . . . . . . . . . . 181
7.3.2 problema de Neumann. . . . . . . . . . . . . . . . . . . . 182
7.3.3 Mixta problema de contorno. . . . . . . . . . . . . 183
7.4 Funcin de Green para el 4. . . . . . . . . . . . . . . . . . . . . . 183
7.4.1 funcin de Green para una bola. . . . . . . . . . . . . . . . 186
CONTENIDO 5
7.4.2 correlacin de funciones y de conformacin de Green. . . . . . . 190

7,5 ecuacin no homognea. . . . . . . . . . . . . . . . . . . . . 190
7.6 Ejercicios. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 195
6 CONTENIDO
Prefacio
Estas notas de la conferencia se intented como una introduccin sencilla a las ecuaciones diferenciales parciales
di ff que pueden servir como libro de texto para estudiantes graduados de licenciatura y principiantes.
Para lectura adicional, recomendamos siguientes libros: WI Smirnov [21],

IG Petrowski [17], PR Garabedian [8], WA Strauss [23], F. John [10],
LC Evans [5] y R. Courant y D. [4] Hilbert y D. Gilbarg y NS Trudinger [9]. Parte del material de estas
notas de la conferencia fue tomado de algunos de estos libros.
7
8 CONTENIDO
Captulo 1
Introduccin
ecuaciones diferenciales ordinarias di ff y parciales se producen en muchas aplicaciones. Un di ff ecuacin

diferencial ordinaria es un caso especial de una ecuacin diferencial parcial di ff pero el comportamiento de las
soluciones es bastante Erent di ff en general. Es mucho ms complicado en el caso de las ecuaciones
diferenciales parciales di ff causados por el hecho de que las funciones para las que estamos mirando son
funciones de ms de una variable independiente.
Ecuacin
F (x, y (x), y '( x), . . . , Y ( n)) = 0
es un ordinario di ff ecuacin diferencial de n-simo para que la funcin desconocida

y (x), dnde F es dado.
Un problema importante para las ecuaciones diferenciales ordinarias di ff es la problema de valor inicial
y '( x) = f (x, y (x)) y (x 0) = y 0,
dnde F es una funcin real dada de dos variables x, y y x 0, y 0 se dan los nmeros reales.
Picard-Lindel del teorema. Suponer

(yo) f (x, y) es continua en un rectngulo
Q = {(x, y) R 2: | x - x 0 | < a, | y - y 0 | < segundo}.
(Ii) Existe una constante K tal que | f (x, y) | K para todos ( x, y) Q.

(Ii) Lipschitz condicin: Hay una constante L de tal manera que
| f (x, y 2) - f (x, y 1) | L | y 2 - y 1 |
9
10 CAPTULO 1 INTRODUCCIN
y
0
x0 x
Figura 1.1: problema de valor inicial
para todos ( x, y 1), ( x, y 2).
Entonces existe una solucin nica y do 1 ( x 0 - , x 0+ ) del problema de valor inicial de arriba, donde
= min ( b / K, a).
El di ff ecuacin diferencial ordinaria lineal
y ( norte) + un norte - 1 ( x) y ( norte - 1) + . . . un 1 ( x) y '+ un 0 ( x) y = 0,
dnde un j son funciones continuas, tiene exactamente norte soluciones linealmente independientes. En contraste
con esta propiedad parcial del diferencial di ff u xx + u yy = 0 en R 2
tiene infinitamente muchas soluciones linealmente independientes en el espacio lineal do 2 ( R 2).
El di ff ecuacin diferencial ordinaria de segundo orden
y '' ( x) = f (x, y (x), y '( x))
tiene, en general, una familia de soluciones con dos parmetros libres. Por lo tanto, es natural
considerar el asociado problema de valor inicial
y '' ( x) = f (x, y (x), y '( x)) y (x 0) = y 0, y '( x 0)
= y 1,
dnde y 0 y y 1 se dan, o tener en cuenta la problema de contorno
y '' ( x) = f (x, y (x), y '( x)) y (x 0) = y 0, y (x 1)
= y 1.
Problemas de valores iniciales y de contorno juegan un papel importante tambin en la teora de las
ecuaciones parciales di ff diferenciales. UN parcial di ecuacin ff diferencial para
1.1. EJEMPLOS 11
y1
y0
x
0
x x
1
Figura 1.2: problema de contorno
la funcin desconocida u (x, y) es, por ejemplo
F (x, y, u, u x, u Y, u xx, u xy, u yy) = 0,
donde la funcin F es dado. Esta ecuacin es de segundo orden.

Una ecuacin se dice que es de n-simo orden si el derivado ms alta que se produce es de orden norte.
Una ecuacin se dice que es lineal Si la funcin desconocida y sus derivados son lineales en F. Por
ejemplo,
a (x, y) u x + b (x, y) u y + c (x, y) u = f (x, y),
donde las funciones a B C y F se dan, es una ecuacin lineal de primer orden.
Una ecuacin se dice que es cuasilineales si es lineal en los ms altos derivados. Por ejemplo,
un (x, y, u, u x, u y) u xx + b (x, y, u, u x, u y) u xy + c (x, y, u, u x, u y) u yy = 0
es una ecuacin cuasi-lineal de segundo orden.
1.1 Ejemplos
1. u y = 0, donde u = u (x, y). Todas las funciones u = w (x) son soluciones.
2. u x = u Y, dnde u = u (x, y). Un cambio de coordenadas transforma esta ecuacin en una ecuacin de
la primer ejemplo. Conjunto = x + y, = eta x - Y,
entonces (+ )
u (x, y) = u =: v (, ).
2, - 2
Asumir u do 1, entonces
v= 1
2 ( u x - u y).
Si u x = u Y, entonces v = 0 y viceversa, por lo tanto v = w () son soluciones para arbitraria do 1- funciones w
(). En consecuencia, tenemos una gran clase de soluciones del original parcial di ff ecuacin diferencial: u
= w (x + y) con un arbitrario
do 1- funcin w.
3. A FFI condicin ciente necesario y su tal que para dado do 1- funciones

M, N la integral
PAG 1
M (x, y) dx + N (x, y) dy
PAG 0
es independiente de la curva que une los puntos PAG 0 con PAG 1 en un dominio simplemente conexo
R 2 es la ecuacin diferencial parcial di ff (condicin de integrabilidad)
METRO y = norte x
en .
PAG
1
PAG
0
Figura 1.3: La independencia de la trayectoria
Esta es una ecuacin para dos funciones. Una gran clase de soluciones es dada por M = x, N = Y, donde
( x, y) es un arbitraria do 2- funcin. Se deduce del teorema de Gauss que estos son todos do 1- soluciones
de la anterior ecuacin di ff diferencial.
4. Mtodo de integracin de un multiplicador para una ecuacin diferencial di ff ordinaria.

Considere la ecuacin diferencial ordinaria di ff
M (x, y) dx + N (x, y) dy = 0
1.1. EJEMPLOS 13
para determinada do 1- funciones H, N. Luego buscamos una do 1- funcin (x, y) de tal manera que
Mdx + Ndy es un diferencial di ff total, es decir, que ( M) y = ( N) x se satisface. Esta es una parcial di ff
ecuacin diferencial lineal de primer orden para fi :
milimicras y - N x = (N x - METRO y).
5. Dos do 1- funciones u (x, y) y v (x, y) se dice que son funcionalmente dependientes

Si
( uxuy )
det = 0,
vxvy
que es una parcial di ff ecuacin diferencial lineal de primer orden para fi u Si v es un hecho
do 1- funcin. Una gran clase de soluciones es dada por
u = H (v (x, y)),
dnde MARIDO es un arbitrario do 1- funcin.
6. ecuaciones de Cauchy-Riemann. Conjunto f (z) = u (x, y) + iv (x, y), dnde z = x + iy

y u, v son dados do 1 ( Ohmio) -Funciones. Aqu est un dominio en omega R 2. Si la funcin de
f (z) es di ff diferenciable con respecto a la variable compleja z entonces u, v satisfacer las ecuaciones de
Cauchy-Riemann
u x = v Y, u y = - v x.
Se conoce a partir de la teora de funciones de una variable compleja que la parte real u y la parte
imaginaria v de una funcin diferenciable di ff f (z) son soluciones de la ecuacin de Laplace
4 u = 0, 4 v = 0,
dnde 4 u = u xx + u aa.
7. los potencial de Newton
1
u= x2+ y2+ z2
es una solucin de la ecuacin de Laplace en R 3 \ ( 0, 0, 0), es decir, de
u xx + u yy + u zz = 0.
8. Ecuacin del calor. Dejar u (x, t) ser la temperatura de un punto x en el momento

t, donde R 3 es un dominio. Entonces u (x, t) satis fi ca en [ 0, ) el ecuacin del calor
u t = k 4 u,
dnde 4 u = u x 1 x 1+ u x 2 x 2+ u x 3 x 3 y k es una constante positiva. La condicin
u (x, 0) = u 0 ( x), x ,
dnde u 0 ( x) se da, es una condicin inicial asociado a la ecuacin del calor anteriormente. La
condicin
u (x, t) = h (x, t), x , t 0,
dnde h (x, t) se da es una condicin de frontera para la ecuacin del calor.

Si h (x, t) = g (x), es decir, marido es independiente de t, entonces uno espera que la solucin u (x, t) tiende
a una funcin v (x) Si t . Por otra parte, resulta que v es la solucin de la problema de contorno para la
ecuacin de Laplace
4 v = 0 en
v = g (x) en .
9. ecuacin de onda. La ecuacin de onda
y
u (x, t)1 u (x, t)2
SG
Figura 1.4: secuencia oscilante
u tt = do 2 4 u,
dnde u = u (x, t), c es una constante positiva, describe oscilaciones de membranas o de tres
dominios tridimensionales, por ejemplo. En el caso unidimensional
u tt = do 2 u xx
describe oscilaciones de una cadena.

1.2. Ecuaciones de las VARIACIONAL PROBLEMAS 15
Asociado condiciones iniciales son
u (x, 0) = u 0 ( x), u t ( x, 0) = u 1 ( x),
dnde u 0, u 1 son funciones dadas. De este modo se prescriben la posicin inicial y la velocidad inicial.
Si la cadena es infinito uno describe, adems, condiciones de contorno, por ejemplo
u ( 0, t) = 0, u (l, t) = 0 para todos t 0.
1.2 Ecuaciones de problemas variacionales
Una amplia clase de ecuaciones diferenciales ordinarias di ff y parciales derivar de problemas variacionales.
1.2.1 ecuaciones diferenciales ordinarias di ff
Conjunto
segundo
E (v) = f (x, v (x), v '( x)) dx

un
y dado u un, u segundo R
V = {v do 2 [ a, b]: v (a) = u un, v (b) = u segundo},
dnde - < a <b < y F es su fi cientemente regular. Uno de los problemas bsicos en el clculo de
variaciones es
( PAG) min v V E (v).
ecuacin de Euler. Dejar u V ser una solucin de (P), entonces
re
DXF u '( x, u (x), u '( x)) = f u ( x, u (x), u '( x))
en ( a, b).
Prueba. Ejercicio. Sugerencias: Para fijo do 2 [ a, b] con (a) = (b) = 0 y real , | | < 0, conjunto g () = E
(u + ). Ya que gramo( 0) g () sigue gramo '( 0) = 0. integracin por partes en la frmula para gramo '( 0) y el
siguiente lema bsico en el clculo de variaciones implican la ecuacin de Euler.
diecisis CAPTULO 1 INTRODUCCIN
y1
y0
un segundo x
Figura 1.5: variaciones admisibles
lema bsico en el clculo de variaciones. Dejar marido Taxi) y

segundo
h (x) (x) dx = 0
un
para todos do 1 0( a, b). Entonces h (x) 0 en ( a, b).
Prueba. Asumir h (x 0) > 0 para una x 0 ( a, b), entonces hay una > 0 tal que ( x 0 - , x 0 + ) ( a, b) y h (x)
h (x 0) / 2 en ( x 0 - , x 0 + ). Conjunto
{( 2 - | x - x 0 | 2) 2
Si x ( x 0 - , x 0 + )
(x) =
0 si x ( a, b) \ [x 0 - , x 0 + ] .
As do 1 0( a, b) y
segundo x 0+
h (x) (x) dx h (x 0) (x) dx> 0,
un
2 x0 -
lo cual es una contradiccin a la asuncin del lema. 2
1.2.2 ecuaciones diferenciales parciales di ff
El mismo procedimiento anterior se aplica a las siguientes mltiples conductores integrados a un segundo orden
cuasi-lineal parcial di ecuacin ff diferencial. Conjunto

E (v) = F (x, v, v) dx,

donde R norte es un dominio, x = (x 1, . . . , x norte), v = v (x): 7 R, y

v = (v x 1, . . . , v x norte). Suponga que la funcin F es su fi cientemente regular en sus argumentos. Para una funcin
dada marido, de fi nido en , establezca
V = {v do 2 ( ): V = H en }.
ecuacin de Euler. Dejar u V ser una solucin de (P), entonces
norte
F u xi - F u = 0
x yo
i=1
en .
Prueba. Ejercicio. Pista: Extender el lema fundamental por encima del clculo de variaciones al caso
de integrales mltiples. El intervalo ( x 0 - , x 0 + ) en la definicin de debe ser reemplazada por una
bola con centro en x 0 y el radio
.
Ejemplo: Dirichlet integral
En dos dimensiones la integral de Dirichlet est dada por

( v2 )
D (v) = x+ v2 y dxdy

y la ecuacin de Euler asociado es la ecuacin de Laplace 4 u = 0 en .

Por lo tanto, no hay relacin natural entre el problema de contorno
4 u = 0 en , u = h en
y el problema variacional
min
vVD (v).
Sin embargo, estos problemas no son equivalentes en general. Puede suceder que el problema de
contorno tiene una solucin, pero el problema variacional no tiene solucin, vase por ejemplo
Courant y Hilbert [4], Vol. 1, p. 155, donde
marido es una funcin continua y la solucin asociada u del problema de contorno no tiene finito de
Dirichlet integral.
Los problemas son equivalentes, siempre que la funcin de valor lmite dado
marido est en la clase MARIDO 1/2 ( ), ver leones y Magenes [14].
Ejemplo: ecuacin Minimal superficie
El problema de la superficie mnima no paramtrica en dos dimensiones es encontrar un

minimizador u = u (x 1, x 2) del problema

min 1 + v 2 x1+ v 2 x 2 dx,
vV
donde para una funcin dada marido de fi nido en el lmite del dominio
V = {v do 1 ( ): V = H en }.
Figura 1.6: superficie Comparacin
Supongamos que la fi ca minimizador satis el supuesto de la regularidad u do 2 ( ), entonces u es una

solucin de la ecuacin mnima superficie ( Euler ecuacin) en
( ) ( )
u x1 u x2
1 + | u |2 + 1 + | u |2 = 0. (1,1)
x 1 x 2
De hecho, la hiptesis adicional u do 2 ( ) es superfluo sper fl ya que sigue a partir de consideraciones

de regularidad para ecuaciones elpticas cuasilineales de segundo orden, vase por ejemplo Gilbarg y
Trudinger [9].
Dejar que = R 2. Cada funcin lineal es una solucin de la ecuacin de superficie mnima (1.1).
Se demostr por Bernstein [2] que no hay otras soluciones de la quation superficie mnima. Esto es
cierto tambin para dimensiones superiores
norte 7, ver Simons [19]. Si norte 8, entonces existe tambin otras soluciones que de conos fi ne,
VER Bombieri, De Giorgi y Giusti [3].
La ecuacin de superficie mnima linealizado por encima u 0 es la ecuacin de Laplace 4 u = 0. En R 2 funciones
lineales son soluciones, sino tambin muchas otras funciones, en contraste con la ecuacin de superficie
mnima. Este sorprendente rencia di ff es causada por la fuerte no linealidad de la ecuacin de superficie
mnima.
Ms superficies mnimas generales se describen mediante el uso de representaciones paramtricas.
Un ejemplo se muestra en la Figura 1.7 1. Vase [18], pp. 62, por ejemplo, para superficies mnimas
rotacionalmente simtricos.
Figura 1.7: superficie mnima de rotacin simtrica
problemas de contorno de tipo Neumann
Conjunto V = C 1 ( ) y

E (v) = F (x, v, v) dx - g (x, V) ds,

dnde F y gramo se les da su fi cientemente funciones regulares y R norte es una acotada y su fi

cientemente dominio regular. Asumir u es un minimizador de E (v)
en V, es decir
u V: E (u) E (v) para todos v V,
1 Un experimento de Mathematikum de Beutelspacher, Wissenschaftsjahr 2008, Leipzig

entonces

( norte
F u xi ( x, u, u) x i + F u ( x, u, u) ) dx

i=1
- gramo u ( x, u) ds varphi = 0

para todos do 1 ( ). Suponga, adems, u do 2 ( ), entonces u es una solucin del problema tipo
Neumann valor lmite
norte
F u xi - F u = 0 en
x yo
i=1
norte
F u xi yo - gramo u = 0 en ,
i=1
dnde = ( 1, . . . , norte) es la unidad exterior normal en el lmite . Esto se sigue despus de la

integracin por partes desde el lema bsico del clculo de variaciones.
Ejemplo: ecuacin de Laplace
Conjunto
E (v) = 1 | v | 2 dx - h (x) v ds,
2
entonces el problema de contorno asociado es
4 u = 0 en
u
= h en .
Ejemplo: ecuacin de capilaridad
Let R 2 y establecer

1 + | v | 2 dx +
E (v) = v 2 dx - cos VDS.
2
aqu es una constante positiva (constante de capilaridad) y es la (constante) lmite ngulo de

contacto, es decir, el ngulo entre la pared del recipiente y
la superficie capilar, definido por v = v (x 1, x 2), en el lmite. Entonces, el problema de contorno

relacionado es
re iv (Tu) = u en
tu = cos en ,
donde utilizamos la abreviatura
tu = u 1 + | u | 2,
div ( tu) es el lado izquierdo de la ecuacin mnima superficie (1.1) y es el doble de la curvatura media
de la superficie definida por z = u (x 1, x 2), ver un ejercicio.
El problema anterior se describe el ascenso de un lquido, agua por ejemplo, en un cilindro vertical
con la seccin cruz. Supongamos que la gravedad se dirige hacia abajo en la direccin de la negativa x
3- eje. La figura 1.8 muestra que el lquido puede elevarse a lo largo de una cua vertical que es una
consecuencia de la fuerte no linealidad de las ecuaciones subyacentes, ver Finn [7]. Esta foto fue
tomada
Figura 1.8: Subida de lquido en una cua
a partir de [15].
1.3 Ejercicios
1. Encontrar soluciones no triviales u de
u x y - u y x = 0.
2. Demuestra: En el espacio lineal do 2 ( R 2) hay infinitamente muchos linealmente

soluciones independientes de 4 u = 0 en R 2.
Insinuacin: parte real e imaginaria de las funciones holomorfas son soluciones de la ecuacin de
Laplace.
3. Encontrar todas las funciones radialmente simtricos que satisfacen la ecuacin de Laplace en R norte\{ 0} para norte
2. Una funcin de u se dice que es radialmente simtrica si u (x) = f (r), dnde r = ( norte
yo x 2 yo ) 1/2.
Insinuacin: Demostrar que una simtrica radialmente u satis fi ca 4 u = r 1 - n ( r norte - 1 F ')'
mediante el uso u (x) = f '( r) x

r.
4. Demostrar el lema bsico en el clculo de variaciones: Let R norte ser una

de dominio y F DO( ) tal que

f (x) h (x) dx = 0

para todos marido do0 2( ). Entonces F 0 en .
5. Escribir la ecuacin superficie mnima (1.1) como una ecuacin cuasi-lineal de segundo orden.
6. Demostrar que un su fi cientemente regular en minimizador do 1 ( ) de

E (v) = F (x, v, v) dx - G (V, v) ds,

es una solucin del problema de contorno
norte
F u xi - F u = 0 en
x yo
i=1
norte
F u xi yo - gramo u = 0 en ,
i=1
dnde = ( 1, . . . , norte) es la unidad exterior normal en el lmite .

1.3. CEREMONIAS 23
7. Demostrar que tu = cos en , donde es el ngulo entre la

pared del recipiente, que es aqu un cilindro, y la superficie S, definida por
z = u (x 1, x 2), en el lmite de S, es la al normal de exterior .
Insinuacin: El ngulo entre dos superficies es por definicin el ngulo entre los dos normales
asociados en la interseccin de las superficies.
8. Vamos estar delimitado y asumamos u do 2 ( ) es una solucin de
re iv Tu = C en
u 1 + | u | 2 = cos en ,
dnde do es una constante.
Pruebalo
C=||
| | cos .
Insinuacin: Integrar la ecuacin diferencial di ff sobre .
9. Suponga = segundo R ( 0) es un disco con un radio R y el centro de la origen . Demostrar que las
soluciones radialmente simtricas u (x) = w (r), r = x 21 + x 22,
del problema de contorno capilar son soluciones de
( rw ' ) '
1 + w'2 = rw en 0 < r <R
w'
1 + w ' 2 = cos Si r = R.
Observacin. Se desprende de un principio mximo de Concus y Finn [7] que una solucin de
la ecuacin capilar sobre un disco debe ser radialmente simtrica.
10. Encuentre todas las soluciones radialmente simtricas de

( rw ' ) '
1 + w'2 = cr en 0 < r <R
w'
1 + w ' 2 = cos Si r = R.
Insinuacin: A partir de un ejercicio anterior se deduce que
C=2
R cos .
11. Demostrar que la D iv Tu es el doble de la curvatura media de la superficie de fi nido

por z = u (x 1, x 2).
Capitulo 2
Ecuaciones de orden primero
Para una su fi cientemente funcin de regular dada F la ecuacin general de orden primero para la funcin
desconocida u (x) es
F (x, u, u) = 0
en R norte. La principal herramienta para el estudio de problemas relacionados es la teora de ordinario di ecuaciones
diferenciales y ss. Esto es bastante Erent ff di para sistemas de ff on diferencial parcial de primer orden.
El parcial di ff ecuacin diferencial lineal general de primer orden se puede escribir como
norte
un yo( x) u x i + c (x) u = f (x)
i=1
para funciones dadas un yo, do y F. El cuasi-lineal parcial di ff ecuacin diferencial general de primer orden
es
norte
un yo( x, u) u x i + C (x, u) = 0.
i=1
2.1 Ecuaciones lineales
Comencemos con la ecuacin lineal homognea
un 1 ( x, y) u x + un 2 ( x, y) u y = 0. (2,1)
Suponga que hay una do 1- solucin z = u (x, y). Esta funcin de fi ne una superficie
S que tiene al P = (X, y, u (x, y)) lo normal
1
N= 1 + | u | 2 ( - u x, - u Y, 1)
25
26 Captulo 2. ECUACIONES DE PRIMER ORDEN
y la tangencial plano definido por
- z = u x( x, y) ( - x) + u y ( x, y) ( - y).
Conjunto p = u x( x, y), q = u y ( x, y) y z = u (x, y). La tupla ( x, y, z, p, q) se llama elemento de superficie y

la tupla ( x, y, z) apoyo del elemento de superficie. El plano tangencial se define por el elemento de
superficie. Por otro lado, di ff ecuacin diferencial (2.1)
un 1 ( x, y) p + a 2 ( x, y) = q 0
fi ne de apoyo (en cada x, y, z) un conjunto de planos, si tenemos en cuenta todos ( p, q) satisfacer esta
ecuacin. Para fija ( x, y), esta familia de aviones ( ) = ( ; x, y)
est definida por una familia un parmetro de ascensos p () = p (; x, y), q () = q (; x, y). El sobre de
estos planos es una lnea desde
un 1 ( x, y) p () + una 2 ( x, y) q () = 0,
lo que implica que la normal, NORTE( ) en ( ) es perpendicular en ( un 1, un 2, 0). Considere una curva x(
) = (X (), y (), z ()) en S, dejar T x 0 ser el plano tangente a x 0 = ( x ( 0), y ( 0), z ( 0)) de S y considerar en T
x 0 la lnea
L: l () = x 0 + x '( 0), R,
vase la Figura 2.1.
Asumimos L coincide con el sobre, que es una lnea aqu, de la familia de aviones ( ) a ( x, y,
z). Asumir que T x 0 = ( 0) y considerar dos planos
( 0): z - z 0 = ( x - x 0) p ( 0) + ( y - y 0) q ( 0)
( 0 + h): z - z 0 = ( x - x 0) p ( 0 + marido) + (Y - y 0) q ( 0 + marido).
En la interseccin l () tenemos
( x - x 0) p ( 0) + ( y - y 0) q ( 0) = ( x - x 0) p ( 0 + marido) + (Y - y 0) q ( 0 + marido).
As,
x '( 0) pag '( 0) + y '( 0) q '( 0) = 0.
A partir de la ecuacin diferencial di ff
un 1 ( x ( 0), y ( 0)) p () + una 2 ( x ( 0), y ( 0)) q () = 0

2.1. ECUACIONES LINEALES 27
(
0)
yz
Figura 2.1: Curva sobre una superficie
sigue
un 1 pag '( 0) + un 2 q '( 0) = 0.
Por consiguiente
x '( ) una 1 ( x (, y ()) (una 1 ( x (), y ()), una 2 ( x (), y ()),

( x '( ), y '( )) =
ya que 0 era un parmetro arbitrario. Aqu asumimos que x '( ) 6 = 0 y

un 1 ( x (), y ()) 6 = 0.
A continuacin, se introduce un nuevo parmetro t por la inversa de = (t), dnde

x '( s)
t () =
0 un 1 ( x (s), y (S)) ds.
Sigue x '( t) = a 1 ( x, y), y '( t) = a 2 ( x, y). denotamos x( (t)) por x( t) de nuevo.

Ahora tenemos en cuenta el problema de valor inicial
x '( t) = a 1 ( x, y), y '( t) = a 2 ( x, y), x ( 0) = x 0, y ( 0) = y 0. (2,2)
A partir de la teora de las ecuaciones diferenciales ordinarias di ff se deduce (Teorema de Picard-Lindelof) que
no hay una solucin nica en un neighbouhood de t = 0 proporcionan las funciones un 1, un 2 se encuentran en do 1. A
partir de esta definicin de las curvas
( x (t), y (t)) es deduce que el campo de direcciones ( un 1 ( x 0, y 0), un 2 ( x 0, y 0)) define el pendiente de estas
curvas a ( x( 0), y ( 0)).
De fi nicin. Las ecuaciones di ff diferenciales en (2.2) se llaman ecuaciones caractersticas o

sistema y soluciones del problema de valor inicial asociado caracterstica se llaman curvas
caractersticas.
De fi nicin. Una funcin (x, y) se dice que es una integral del sistema de caracterstica si (x (t), y
(t)) = const. para cada curva caracterstica. La constante depende de la curva caracterstica
considerado.
Proposicin 2.1. Asumir do 1 es una integral, a continuacin, u = (x, y) es una solucin de (2.1).
Prueba. Considere por dado ( x 0, y 0) el problema anterior de valor inicial (2.2). Ya que (x (t), y (t)) =
const. sigue
x x '+ y y '= 0
para | t | <t 0, t 0> 0 y su fi cientemente pequea. As
x( x 0, y 0) un 1 ( x 0, y 0) + y ( x 0, y 0) un 2 ( x 0, y 0) = 0.
Observacin. Si (x, y) es una solucin de la ecuacin (2.1), entonces tambin H ( (x, y)),
dnde H (s) es un hecho do 1- funcin.
Ejemplos
1. Considerar
un 1 u x + un 2 u y = 0,
dnde un 1, un 2 son constantes. El sistema de ecuaciones caractersticas es
x '= un 1, y '= un 2.
As, las curvas caractersticas son lneas rectas paralelas definida por
x = a 1 t + A, y = a 2 t + B,
2.1. ECUACIONES LINEALES 29
dnde A, B son constantes arbitrarias. A partir de estas ecuaciones se deduce que
(x, y): = a 2 x - un 1 y
es constante a lo largo de cada curva caracterstica. En consecuencia, ver Proposicin 2.1, u = a 2 x - un 1 y

es una solucin de la ecuacin diferencial di ff. A partir de un ejercicio se deduce que
u = H (una 2 x - un 1 y), (2,3)
dnde H (s) es un arbitraria do 1- funcin, tambin es una solucin. Ya que u es constante cuando un 2 x - un 1 y es
constante, la ecuacin (2.3) de fi ne superficies del cilindro que son generados por lneas rectas paralelas,
que son paralelas a la ( x, y) - avin, vase la Figura 2.2.
yz
Figura 2.2: superficies del cilindro
2. Considere la ecuacin diferencial di ff
xu x + Yu y = 0.
Las ecuaciones son caractersticos
x '= x, y '= Y,
y las curvas caractersticas estn dadas por
x = A mi t, y = B mi t,
dnde A, B son constantes arbitrarias. Por lo tanto, una integral es y / x, x 6 = 0, y para un determinado do 1- Funcin
La funcin u = H (x / y) es una solucin de la ecuacin diferencial di ff. Si y / x = const., entonces u es constante.
Suponer que MARIDO '( s) > 0, por ejemplo, entonces u nes de fi helicoides derecha (en alemn: Wendel FL achen),
vase la figura 2.3
Figura 2.3: helicoide Derecha, un 2 < x 2 + y 2 < R 2 ( Museo Ideale Leonardo da Vinci, Italia)
3. Considere la ecuacin diferencial di ff
Yu x - xu y = 0.
El sistema de caracterstica asociada es
x '= y, y '= - x.
Si sigue
x ' x + yy '= 0,
2.2. cuasilinealidad 31
o equivalente,
re
dt (x 2 + y 2) = 0,
lo que implica que x 2 + y 2 = const. a lo largo de cada caracterstica. Por lo tanto, las superficies con simetra de
rotacin definido por u = H (x 2 + y 2), dnde MARIDO '
6 = 0, se
soluciones de la ecuacin diferencial di ff.
4. Las ecuaciones caractersticos asociados a
ayu x + BXU y = 0,
dnde a, b son constantes positivas, estn dadas por
x '= ay, y '= bx.
Sigue bxx ' - ayy '= 0, o de manera equivalente,
re
dt (bx 2 - s 2) = 0.
Soluciones de la ecuacin diferencial son di ff u = H (bx 2 - s 2), que de superficies finas que tienen una
hiprbola como la interseccin con planos paralelos al ( x, y) - avin. aqu H (s) es un arbitraria do 1- funcin,
MARIDO '( s) 6 = 0.
2.2 cuasilinealidad
Aqu consideramos la ecuacin
un 1 ( x, y, u) u x + un 2 ( x, y, u) u y = un 3 ( x, y, u). (2,4)
La ecuacin lineal no homognea
un 1 ( x, y) u x + un 2 ( x, y) u y = un 3 ( x, y)
es un caso especial de (2.4).
Se llega a ecuaciones caractersticas x '= un 1, y '= un 2, z '= un 3

a partir de (2.4) por los mismos argumentos que en el caso de ecuaciones lineales homogneos en
dos variables. La ecuacin adicional z '= un 3 sigue desde
z '( ) = P () x '( ) + Q () y '( )
= Pensilvania 1 + qa 2
= un 3,
vase tambin la seccin 2.3, donde se considera el caso general de ecuaciones lineales con dos
incgnitas.
2.2.1 Un mtodo de linealizacin
Podemos transformar la ecuacin no homognea (2.4) en una ecuacin lineal homognea de una
funcin desconocida de tres variables por el siguiente truco.
Estamos en busca de una funcin (x, y, u) tal que la solucin u = u (x, y)

de (2.4) se define implcitamente (x, y, u) = const. Suponga que hay una funcin tal y deja u ser una
solucin de (2,4), entonces
x + u u x = 0, y + u u y = 0.
Asumir u 6 = 0, entonces
ux= - x , uy= - y .
u u
A partir de (2.4) obtenemos
un 1 ( x, y, z) x + un 2 ( x, y, z) y + un 3 ( x, y, z) z = 0, (2,5)
dnde z: = u.
Consideramos que el sistema asociado de ecuaciones caractersticas
x '( t) = a 1 ( x, y, z) y '( t) = a 2 ( x,
y, z) z '( t) = a 3 ( x, y, z).
Se llega a este sistema por los mismos argumentos que en el caso de dos dimensiones anteriormente.
Proposicin 2.2. ( yo) Asumir w do 1, w = w (x, y, z), es un integral, i.

e., es constante a lo largo de cada solucin fijo de (2.5), entonces = w (x, y, z) es una solucin de (2.5).
(Ii) La funcin z = u (x, y), implcitamente a travs de fi nido (x, u, z) = const.,

es una solucin de (2.4), siempre que z 6 = 0. (iii) Dejar z = u (x, y) ser una solucin de (2.4) y dejar que ( x (t), y
(t)) ser una solucin de
x '( t) = a 1 ( x, y, u (x, y)), y '( t) = a 2 ( x, y, u (x, y)),
entonces z (t): = u (x (t), y (t)) satisface la tercera parte de las ecuaciones caractersticas anteriores.
Prueba. Ejercicio.
2.2.2 problema de valor inicial de Cauchy
Consideremos de nuevo la ecuacin cuasi-lineal (?)

un 1 ( x, y, u) u x + un 2 ( x, y, u) u y = un 3 ( x, y, u).
Dejar
: x = x 0 ( s), y = y 0 ( s), z = z 0 ( s), s 1 s s 2, - < s 1 < s 2 < +
ser una curva regular en R 3 y denotan por do la proyeccin ortogonal de en el ( x, y) - plano, es decir,
C: x = x 0 ( s), y = y 0 ( s).
problema de valor inicial de Cauchy: Encontrar un do 1- solucin u = u (x, y) de

(?) de tal manera que u (x 0 ( s), y 0 ( s)) = z 0 ( s), es decir, buscamos una superficie S definida por
z = u (x, y) que contiene la curva .
yz
do
Figura 2.4: Cauchy problema de valor inicial
De fi nicin. El curva se dice que es noncharacteristic Si
x ' 0 ( s) una 2 ( x 0 ( s), y 0 ( s)) - y ' 0( s) una 1 ( x 0 ( s), y 0 ( s)) 6 = 0.
Teorema 2.1. Asumir un 1, un 2, un 2 do 1 en sus argumentos, los datos iniciales

x 0, y 0, z 0 do 1 [ s 1, s 2] y es noncharacteristic.
Entonces existe un entorno de do tal que existe exactamente una solucin u del problema de
valor inicial Cauchy.
Prueba. ( i) Existencia. Considere el siguiente problema de valor inicial para el sistema de ecuaciones
caractersticas a (?):
x '( t) = a 1 ( x, y, z) y '( t) = a 2 ( x,
y, z) z '( t) = a 3 ( x, y, z)
con las condiciones iniciales
x (s, 0) = x 0 ( s) y (s, 0) = y
0( s) z (s, 0) = z 0 ( s).
Dejar x = x (s, t), y = y (s, t), z = z (s, t) ser la solucin, s 1 s s 2, | t | <

por un > 0. Vamos a mostrar que este conjunto de cadenas de pegado en la curva , vase la figura 2.4,
define una superficie. Para mostrar esto, consideramos que las funciones inversas s = s (x, y), t = t (x, y) de x =
x (s, t), y = y (s, t) y demostrar que
Z (s (x, y), t (x, y)) es una solucin del problema inicial de Cauchy. Las funciones inversas s y t existir
en un barrio de t = 0 desde
|||| x s x t |||| t = 0
||| t = 0 =
det (x, y) = x ' 0 ( s) una 2 - y ' s) una 1 6 = 0,
ysyt
0(
(s, t)
y la inicial curva es noncharacteristic por supuesto.

Conjunto
u (x, y): = Z (s (x, y), t (x, y)),
entonces u satisface la condicin inicial desde
u (x, y) | t = 0 = z (s, 0) = z 0 ( s).
El siguiente clculo muestra que u es tambin una solucin de la ecuacin diferencial di ff (?).
un 1 u x + un 2 u y = un 1 ( z s s x + z t t x) + un 2 ( z s s y + z t t y)
= z s ( un 1 s x + un 2 s y) + z t ( un 1 t x + un 2 t y)
= z s ( s x x t + s y y t) + z t ( t x x t + t y y t)
= un 3
desde 0 = s t = s x x t + s y y t y 1 = t t = t x x t + t y y t.
(Ii) la unicidad. Suponer que v (x, y) es una segunda solucin. Considere un punto ( x ', y ') en una zona de
la curva ( x 0 ( s), y (s)), s 1 - s s 2 + , > 0 pequea. Los parmetros son inversas s '= s (x ', y '), t '= t (x ', y '), vase
la Figura 2.5.
(X 'y')
(X 0(s '), y (s'))

0
Figura 2.5: prueba Singularidad
Dejar
UN : x (t): = x (s ', t), y (t): = y (s ', t), z (t): = z (s ', t)
ser la solucin del problema de valor inicial anteriormente para las ecuaciones diferenciales
caractersticos con los datos iniciales
x (s ', 0) = x 0 ( s '), y (s ', 0) = y 0 ( s '), z (s ', 0) = z 0 ( s ').
De acuerdo con su construccin de esta curva est en la superficie S definida por u = u (x, y) y u (x ', y ') = z (s ', t ').
Conjunto
(t): = v (x (t), y (t)) - z (t),
entonces
'( t) = v x x '+ v y y ' - z '
= x x un 1 + v y un 2 - un 3 = 0
y
( 0) = v (x (s ', 0), y (s ', 0)) - z (s ', 0) = 0
ya que v es una solucin de la ecuacin diferencial di ff y satisface la condicin inicial por supuesto.
As, (t) 0, es decir,
v (x (s ', t), y (s ', t)) - z (s ', t) = 0.

Conjunto t = t ', entonces
v (x ', y ') - z (s ', t ') = 0,
lo que demuestra que v (x ', y ') = u (x ', y ') porque z (s ', t ') = u (x ', y '). 2
Observacin. En general, no hay ninguna singularidad si el inicial curva es una curva caracterstica,
ver un ejercicio y la Figura 2.6, que ilustra este caso.
Su
Sv
yz
Figura 2.6: Mltiples soluciones
Ejemplos
1. Considere el problema de valor inicial de Cauchy
ux+ uy= 0
con los datos iniciales
x 0 ( s) = Y s, 0 ( s) = 1, z 0 ( s) es un hecho do 1- funcin.
Estos datos iniciales son noncharacteristic desde y ' 0 un 1 - x ' 0 un 2 = - 1. La solucin

del sistema asociado de ecuaciones caractersticas
x '( t) = 1, y '( t) = 1, u '( t) = 0

con las condiciones iniciales
x (s, 0) = x 0 ( s), y (s, 0) = y 0 ( s), z (s, 0) = z 0 ( s)
es dado por
x = t + x 0 ( s), y = t + y 0 ( s), z = z 0 ( s),
es decir,
x = t + s, y = t + 1, z = z 0 ( s).
Sigue s = x - y + 1, t = y - 1 y que u = z 0 ( x - y + 1) es la solucin del problema de valor inicial Cauchy.
2. Un problema de la cintica en la qumica. Considere la posibilidad de x 0, y 0 el problema
( )
ux+ uy= k 0 mi - k 1 x + k 2 (1 - u)
con datos iniciales
u (x, 0) = 0, x> 0, y u ( 0, y) = u 0 ( y), y> 0.
Aqu las constantes k j son positivas, estas constantes de definir la velocidad de las reacciones en
consideracin, y la funcin u 0 ( y) es dado. La variable x
es el tiempo y y es la altura de un tubo, por ejemplo, en el que la reaccin qumica tiene lugar, y u es
la concentracin de la sustancia qumica.
En contraste con nuestras suposiciones anteriores, los datos iniciales no estn en do 1.
La proyeccin do 1 C 2 de la curva inicial sobre la ( x, y) - avin tiene una esquina en el origen, vase la
Figura 2.7.
y
x=y

2
do
2
do x
1
Figura 2.7: Dominios al ejemplo cintica qumica

El sistema asociado de ecuaciones caractersticas es

( )
x '( t) = 1, y '( t) = 1, z '( t) = k 0 mi - k 1 x + k 2 (1 - z).
Sigue x = t + c 1, y = t + c 2 con constantes do j. Por lo tanto la proyeccin de las curvas caractersticas

en la ( x, y) - avin son lneas rectas paralelas a
y = x. Vamos a resolver los problemas de valor inicial en los dominios 1 y 2,
vase la Figura 2.7, por separado.
(yo) El problema de valor inicial en 1. Los datos iniciales son
x 0 ( s) = Y s, 0 ( s) = 0, z 0 ( 0) = 0, s 0.
Sigue
x = x (s, t) = t + s, y = y (s, t) = t.
As
z '( t) = (k 0 mi - k 1 ( t s +) + k 2) ( 1 - z), z ( 0) = 0.
La solucin de este problema de valor inicial est dada por

( k0 )
z (s, t) = 1 - exp mi - k 1 ( s t +) - k 2 t - k 0 mi - k 1 s .
k1 k1
Por consiguiente
( k0 )
u 1 ( x, y) = 1 - exp mi - k 1 x - k 2 y - k 0 k 1 mi - k 1 ( x - y)
k1
es la solucin del problema de valor inicial de Cauchy en 1. Si el tiempo x tiende a

, obtenemos el lmite
lim
x u 1 ( x, y) = 1 - mi - k 2 y.
(Ii) El problema de valor inicial en 2. Los datos iniciales estn aqu
x 0 ( s) = 0, y 0 ( s) = s, z 0 ( 0) = u 0 ( s), s 0.
Sigue
x = x (s, t) = t, y = y (s, t) = t + s.
As
z '( t) = (k 0 mi - k 1 t + k 2) ( 1 - z), z ( 0) = 0.
La solucin de este problema de valor inicial est dada por

( k0 )
z (s, t) = 1 - ( 1 - u 0 ( s)) exp mi - k 1 t - k 2 t - k 0 .
k1 k1
Por consiguiente
( k0 )
u 2 ( x, y) = 1 - ( 1 - u 0 ( y - x)) exp mi - k 1 x - k 2 x - k 0
k1 k1
es la solucin en 2.
Si x = Y, entonces
( k0 )
u 1 ( x, y) = 1 - exp mi - k 1 x - k 2 x - k 0
k1 k1
( k0 )
u 2 ( x, y) = 1 - ( 1 - u 0 ( 0)) exp mi - k 1 x - k 2 x - k 0 .
k1 k1
Si u 0 ( 0)> 0, entonces u 1 < u 2 Si x = Y, es decir, hay un salto de la concentracin del sustrato a lo largo de su
parte frontal quema definida por x = y.
Observacin. Tal problema con los datos inicial discontinua se llama problema de Riemann. Ver un
ejercicio para otro problema de Riemann.
El caso de que una solucin de la ecuacin es conocida
Aqu vamos a ver que obtenemos de inmediato una solucin del problema de valores iniciales de Cauchy
si una solucin de la ecuacin lineal homognea
un 1 ( x, y) u x + un 2 ( x, y) u y = 0
es conocida.
Dejar
x 0 ( s), y 0 ( s), z 0 ( s), s 1 < s <s 2
ser los datos iniciales y dejar u = (x, y) ser una solucin de la ecuacin diferencial di ff. Asumimos
que
x( x 0 ( s), y 0 ( s)) x ' 0 ( s) + y ( x 0 ( s), y 0 ( s)) y ' 0( s) 6 = 0
se satisface. Conjunto g (s) = (x 0 ( s), y 0 ( s)) y deja s = h (g) ser la funcin inversa.
La solucin del problema inicial Cauchy est dada por u 0 ( h ( (x, y))).
Esto se deduce ya que en el problema considerado una composicin de una solucin es una solucin de
nuevo, ver un ejercicio, y desde
u 0 ( h ( (x 0 ( s), y 0 ( s))) = u 0 ( h (g)) = u 0 ( s).
Ejemplo: Considere la ecuacin
ux+ uy= 0
con datos iniciales
x 0 ( s) = Y s, 0 ( s) = 1, u 0 ( s) es una funcin dada.
Una solucin de la ecuacin diferencial es di ff phi (x, y) = x - y. As
((x 0 ( s), y 0 ( s)) = s - 1
y
u 0 ( + 1) = u 0 ( x - y + 1)
es la solucin del problema.
2.3 Las ecuaciones no lineales en dos variables
F (x, y, z, p, q) = 0, (2,6)
dnde z = u (x, y), p = u x( x, y), q = u y ( x, y) y F do 2 est dada de tal manera que

F 2p + F 2 q6 = 0.
En contraste con el caso cuasi-lineal, esta ecuacin no lineal general es ms complicado. Junto
con (2.6) vamos a considerar el siguiente sistema de ecuaciones normales que se derivan de
consideraciones siguientes condiciones segn sea necesario, en particular de la suposicin de que
existe una solucin de (2.6).
x '( t) = F pag (2,7)
y '( t) = F q (2,8)
z '( t) = pF p + qF q (2,9)
pag '( t) = - F x - F u pag (2,10)
q '( t) = - F y - F u q. (2,11)
2.3. Las ecuaciones no lineales con dos incgnitas 41
De fi nicin. Las ecuaciones (2.7) - (2.11) se dice que son ecuaciones caractersticas
de la ecuacin (2.6) y una solucin
( x (t), y (t), z (t), p (t), q (t))
de las ecuaciones caractersticas que se llama tira caracterstico o curva Monge.
Figura 2.8: Gaspard Monge (Panth'eon, Paris)
Veremos, como en el caso cuasi-lineal, que las tiras definida por las ecuaciones caractersticas
construyen la superficie de la solucin del problema de valor inicial de Cauchy.
Dejar z = u (x, y) ser una solucin de la ecuacin di ff diferencial no lineal general (2.6).
Dejar ( x 0, y 0, z 0) ser fi jo, a continuacin, la ecuacin (2.6) define un conjunto de planos dados por ( x 0, y 0,
z 0, p, q), es decir, los aviones propuesta por z = v (x, y) que contienen el punto ( x 0, y 0, z 0) y para el cual v x = p,
v y = q a ( x 0, y 0). En el caso de cuasilinealidad este conjunto de aviones es un haz de planos que contienen
todos un fi ja lnea recta, vase la Seccin 2.1. En el caso general de esta seccin, la situacin es ms
complicada.
Considere el ejemplo
pag 2 + q 2 = f (x, y, z), (2,12)

dnde F es una funcin positiva dada. Dejar mi ser un plano definido por z = v (x, y)
y que contiene ( x 0, y 0, z 0). Luego de la normal en el plano mi dirigida hacia abajo se
1
N= 1 + | v | 2 ( p, q, - 1),
dnde p = v x( x 0, y 0), q = v y ( x 0, y 0). Se deduce de (2.12) que la normal de

norte forma un ngulo constante con el Z- eje, y el Z- coordenada norte es constante, vase la Figura
2.9.
( )
yz
( )
norte
Figura 2.9: Monge cono en un ejemplo
De este modo los puntos finales de las normales fija al ( x 0, y 0, z 0) de fi ne un crculo paralelo a la ( x,
y) - plano, es decir, hay un cono que es la envolvente de todos estos planos.
Suponemos que la ecuacin general (2.6) define un cono tal Monge en cada punto R 3. Luego
buscamos una superficie S que toca en cada punto de su cono Monge, vase la figura 2.10.
Ms precisamente, suponemos que no existe, como en el ejemplo anterior, una un parmetro do 1- familia
p () = p (; x, y, z), q () = q (; x, y, z)
de soluciones de (2.6). Estas ( p (), q ()) definen una familia ( ) de aviones.

yz
Figura 2.10: conos Monge
Dejar
x( ) = (X (), y (), z ())
ser una curva en la superficie S que toca en cada punto de su cono Monge, vase la figura 2.11. Por
lo tanto se supone que en cada punto de la superficie S el plano tangente asociado coincide con un
plano de la familia ( ) en este punto. Considere el plano tangencial T x 0 de la superficie S a x 0 =
( x ( 0), y ( 0), z ( 0)). La lnea recta
l ( ) = x 0 + x '( 0), - < < ,
es un apotema (en alemn: Mantellinie) del cono por supuesto y est contenida en el plano
tangencial T x 0 como la tangente de una curva en la superficie
S. Que se define a travs
x '( 0) = l '( ). (2,13)
La lnea recta l ( ) satis fi ca
l 3 ( ) - z 0 = ( l 1 ( ) - x 0) p ( 0) + ( l 2 ( ) - y 0) q ( 0),
ya que est contenido en el plano tangencial T x 0 definida por la pendiente ( p, q).

Sigue
l 3' ( ) = p ( 0) l ' 1( ) + Q ( 0) l ' 2( ).
Tx0
yz
S
Figura 2.11: Monge conos a lo largo de una curva en la superficie
Junto con (2.13) obtenemos
z '( ) = p ( 0) x '( ) + Q ( 0) y '( ). (2.14)
La lnea recta por encima de l es el lmite de la lnea de interseccin de dos planos vecinos que
envuelve el cono Monge:
z - z 0 = ( x - x 0) p ( 0) + ( y - y 0) q ( 0)
z - z 0 = ( x - x 0) p ( 0 + marido) + (Y - y 0) q ( 0 + marido).
En la interseccin uno tiene
( x - x 0) p () + (Y - y 0) q ( 0) = ( x - x 0) p ( 0 + marido) + (Y - y 0) q ( 0 + marido).
Dejar marido 0, se deduce
( x - x 0) pag '( 0) + ( y - y 0) q '( 0) = 0.
Ya que x = l 1 ( ), y = l 2 ( ) en esta posicin lmite, tenemos
pag '( 0) 1l ' ( ) + q '( 0) l ' 2( ) = 0,
y se deduce a partir de (2.13) que
pag '( 0) x '( ) + q '( 0) y '( ) = 0. (2,15)

A partir de la ecuacin diferencial di ff F (x 0, y 0, z 0, p (), q ()) = 0 vemos que
F pag pag '( ) + F q q '( ) = 0. (2,16)
Asumir x '( 0) 6 = 0 y F pag 6 = 0, entonces se obtiene a partir de (2.15), (2.16)
y ' ( 0)
,
x '( 0) = F q F pag
y a partir de (2.14) (2.16) que
z ' ( 0)
.
x '( 0) = p + q F q F pag
De ello se desprende, ya 0 era un parmetro fijo arbitrario,
x '( ) = (x '( ), y '( ), z '( ))

( ( ) )
= x '( ), x '( ) F q , x '( ) p + q Fq
F pag F pag
= x ' ( ) ( F pag, F q, pF p + qF q),

F pag
es decir, el vector tangencial x '( ) es proporcional a ( F pag, F q, pF p + qF q). Conjunto
a (t) = x ' ( ) ,
F pag
dnde F = F (x (), y (), z (), p ( ()), q ( ())). Al presentar el nuevo parmetro t por la inversa de =
(t), dnde

t () = A (s) ds,
0
obtenemos las ecuaciones caractersticas (2.7) - (2.9). Aqu denotamos x( (t))

por x( t) de nuevo. A partir de la ecuacin diferencial di ff (2.6) y de (2.7) - (2.9) obtenemos las ecuaciones
(2.10) y (2.11). Supongamos que la superficie z = u (x, y) bajo consideracin es en do 2, entonces
F x + F z p + F pag pag x + F q pag y = 0, ( q x = pag y)
F x + F z p + x '( t) p x + y '( t) p y = 0
F x + F z p + p '( t) = 0
ya que p = p (x, y) = p (x (t), y (t)) en la curva x( t). As se muestra la ecuacin (2.10) del sistema de
caracterstica. Di ff erentiating la ecuacin di ff diferencial (2.6) con respecto a Y, obtenemos la ecuacin fi
nalmente (2.11).
Observacin. En el caso cuasi-lineal anterior
F (x, y, z, p, q) = a 1 ( x, y, z) p + a 2 ( x, y, z) q - un 3 ( x, y, z)
las tres primeras ecuaciones caractersticas son las mismas:
x '( t) = a 1 ( x, y, z), y '( t) = a 2 ( x, y, z), z '( t) = a 3 ( x, y, z).
El punto es que los lados derechos son independientes de pag o q. Se sigue de Teorema 2.1 que
existe una solucin del problema de valor inicial Cauchy proporcionaron los datos iniciales son
noncharacteristic. Es decir, que no necesitamos las otras dos ecuaciones caractersticas restantes.
Las otras dos ecuaciones (2.10) y (2.11) son satisfechas en este caso cuasi-lineal
automticamente si hay una solucin de la ecuacin, ver la derivacin anterior de estas ecuaciones.
El significado geomtrico de los primeros tres ecuaciones caractersticas di ff diferenciales (2.7) -

(2.11) es la siguiente. Cada punto de la curva de
UN : ( x (t), y (t), z (t)) corresponde un plano tangencial con la direccin normal ( - pag, - q, 1) tal que
z '( t) = p (t) x '( t) + Q (t) y '( t).
Esta ecuacin se llama condicin tira. Por otro lado, dejar z = u (x, y)
define un superficie, entonces z (t): = u (x (t), y (t)) satisface la condicin de tira, donde
p = u x y q = u Y, es decir, las escalas definido por las normales encajan juntos.
Proposicin 2.3. F (x, y, z, p, q) es una parte integral, es decir, es constante a lo largo de cada curva
caracterstica.
Prueba.
re
dtF (x (t), y (t), z (t), p (t), q (t)) = F x x '+ F y y '+ F z z '+ F pag pag '+ F q q '
= F x F p + F y F q + pF z F p + qF z F q
- F pag F x - F pag F z pag - F q F y - F q F z q
= 0.
Corolario. Asumir F (x 0, y 0, z 0, pag 0, q 0) = 0, entonces F = 0 a lo largo de curvas caractersticas con los datos
iniciales ( x 0, y 0, z 0, pag 0, q 0).
Proposicin 2.4. Dejar z = u (x, y), u do 2, ser una solucin de la ecuacin no lineal (2,6). Conjunto
z 0 = u (x 0, y 0, ) pag 0 = u x( x 0, y 0), q 0 = u y ( x 0, y 0).
Luego la tira caracterstica asociada est en la superficie S, definida por z = u (x, y). As
z (t) = u (x (t), y (t)) p (t) = u x( x
(t), y (t)) q (t) = u y ( x (t), y (t)),
dnde ( x (t), y (t), z (t), p (t), q (t)) es la solucin del sistema de caracterstica (2,7) - (2,11) con los
datos iniciales ( x 0, y 0, z 0, pag 0, q 0)
Prueba. Considere el problema de valor inicial
x '( t) = F pag( x, y, u (x, y), u x( x, y), u y ( x, y)) y '( t) = F q ( x, y, u (x,
y), u x( x, y), u y ( x, y))
con los datos iniciales x( 0) = x 0, y ( 0) = y 0. Vamos a demostrar que
( x (t), y (t), u (x (t), y (t)), u x( x (t), y (t)), u y ( x (t), y (t)))
es una solucin del sistema de caracterstica. Recordamos que la solucin existe y est determinada de
forma nica.
Conjunto z (t) = u (x (t), y (t)), entonces ( x (t), y (t), z (t)) S, y
z '( t) = u x x '( t) + u y y '( t) = u x F p + u y F q.
Conjunto p (t) = u x( x (t), y (t)), q (t) = u y ( x (t), y (t)), entonces
pag '( t) = u xx F p + u xy F q
q '( t) = u yx F p + u yy F q.
Por ltimo, a partir de la ecuacin diferencial di ff F (x, y, u (x, y), u x( x, y), u y ( x, y)) = 0 se deduce
pag '( t) = - F x - F u pq '( t) = - F y - F u q.
2
2.3.1 problema de valor inicial de Cauchy
Dejar
x = x 0 ( s), y = y 0 ( s), z = z 0 ( s), p = p 0 ( s), q = q 0 ( s), s 1 < s <s 2, ( 2.17)
ser un hecho banda inicial de manera que la condicin tira
z 0' ( s) = p 0 ( s) x ' 0 ( s) + q 0 ( s) y ' 0( s) (2,18)
se satisface. Por otra parte, se supone que la tira inicial satisface la ecuacin no lineal, es decir,
F (x 0 ( s), y 0 ( s), z 0 ( s), p 0 ( s), q 0 ( s)) = 0. (2,19)
problema de valor inicial de Cauchy: Encontrar un do 2- solucin z = u (x, y) de

F (x, y, z, p, q) = 0 tal que la superficie S definida por z = u (x, y) contiene la tira inicial anteriormente.
Similar al caso cuasi-lineal vamos a demostrar que el conjunto de tiras definido por el sistema de
caracterstica que se pegado en la tira inicial, vase la figura 2.12, fi t juntos y de fi ne la superficie
para la que estamos mirando.
De fi nicin. Una tira ( x (), y (), z (), p (), q ()), 1 < < 2, se ha dicho
noncharacteristic Si
x '( ) F q ( x (), y (), z (), p (), q ()) - y '( ) F pag( x (), y (), z (), p (), q ()) 6 = 0.
Teorema 2.2. Para una tira inicial noncharacteristic dado (2.17), x 0, y 0, z 0

do 2 y pag 0, q 0 do 1 que satisface la condicin de tira (2.18) y la ecuacin diferencial (2.19) existe
exactamente una solucin z = u (x, y) del problema de valores iniciales de Cauchy en un barrio de la
curva inicial
( x 0 ( s), y 0 ( s), z 0 ( s)), es decir, z = u (x, y) es la solucin de la ecuacin diferencial di ff (2,6) y u (x 0 ( s), y 0 ( s)) =
z 0 ( s), u x( x 0 ( s), y 0 ( s)) = p 0 ( s), u y ( x 0 ( s), y 0 ( s)) = q 0 ( s).
Prueba. Considere el sistema (2,7) - (2,11) con datos iniciales
x (s, 0) = x 0 ( s), y (s, 0) = y 0 ( s), z (s, 0) = z 0 ( s), p (s, 0) = pag 0 ( s), q (s, 0) = q 0 ( s).
Vamos a demostrar que la superficie definida por x = x (s, t), y (s, t) es la superficie definida por z = u
(x, y), dnde u es la solucin del valor inicial Cauchy
yz
t> 0
=0
xt
Figura 2.12: Construccin de la solucin
problema. Resulta que u (x, y) = Z (s (x, y), t (x, y)), dnde s = s (x, y), t = t (x, y) es la inversa de x = x
(s, t), y = y (s, t) en una de alojad t = 0. Esto inversa existe desde la tira inicial es noncharacteristic por
supuesto:
||| t = 0 = x 0 F q - y 0 F q 6 = 0.
det (x, y)
(s, t)
Conjunto
P (x, y) = p (s (x, y), t (x, y)), Q (x, y) = q (s (x, y), t (x, y)).
A partir de la Proposicin 2.3 y 2.4 Proposicin se sigue F (x, y, u, P, Q) = 0. Vamos a demostrar que P
(x, y) = u x( x, y) y Q (x, y) = u y ( x, y). Para ver esto, consideramos la funcin
h (s, t) = z s - px s - QY s.
Uno tiene
h (s, 0) = z ' 0( s) - pag 0 ( s) x ' 0 ( s) - q 0 ( s) y ' 0( s) = 0
puesto que la tira satis fi inicial ca la condicin tira por supuesto. En la siguiente vamos a hallar que
por fijo s la funcin marido satisface una homognea ordininary di ff ecuacin diferencial lineal de
primer orden. Por consiguiente,
h (s, t) = 0 en un barrio de t = 0. Por lo tanto la condicin tira es tambin satisfecha a lo largo de las tiras
transversalmente a las tiras caractersticos, vase la figura 2.18. Thaen el set de escalas fi cio juntos y
definen una superficie como las escamas de un pez.
A partir de la definicin de h (s, t) y las ecuaciones caractersticas que consiguen
marido t ( s, t) = z st - pag t x s - q t y s - px st - QY st
=
S (z t - px t - QY t) + pag s x t + q s y t - q t y s - pag t x s
= ( px s + QY s) F z + F x x s + F y z s + F pag pag s + F q q s.
Ya que F (x (s, t), y (s, t), z (s, t), p (s, t), q (s, t)) = 0, se deduce despus de erentiation di ff de esta
ecuacin con respecto a s la ecuacin diferencial di ff
marido t = - F z marido.
Por lo tanto h (s, t) 0, ya h (s, 0) = 0.
As tenemos
z s = px s + QY s
z t = px t + QY t
zs= ux xs+ uy ys
z t = u x y t + u y y t.
La primera ecuacin se muestra arriba, la segunda es una ecuacin caracterstica y los dos ltimo
seguimiento de z (s, t) = u (x (s, t), y (s, t)). Este sistema implica
( PAG - u x) x s + ( Q - u y) y s = 0 ( PAG - u x) x t + ( Q - u y)
y t = 0.
Sigue P = u x y Q = u y.
Las condiciones iniciales
u (x (s, 0), y (s, 0)) = z 0 ( s) u x( x (s, 0), y
(s, 0)) = pag 0 ( s) u y ( x (s, 0), y (s, 0)) = q 0
( s)
se satisfacen desde
u (x (s, t), y (s, t)) = Z (s (x, y), t (x, y)) = z (s, t) u x( x (s, t), y (s, t)) = p
(s (x, y), t (x, y)) = P (s, t) u y ( x (s, t), y (s, t)) = q (s (x, y), t (x, y)) = Q
(s, t).
2.4. EN ecuaciones no lineales R norte 51
La singularidad sigue como en la demostracin del Teorema 2.1. 2
Ejemplo. Una ecuacin diferencial di ff que se produce en la ptica geomtrica es
u 2 x + u 2 y = f (x, y),
donde la funcin positiva f (x, y) es el ndice de refraccin. El nivel de conjuntos de fi nido por u (x, y) =
const. son llamados frentes de onda. Las curvas caractersticas ( x (t), y (t)) son los rayos de luz. Si norte es
una constante, entonces los rayos de luz son lneas rectas. En R 3 la ecuacin es
u 2 x + u 2 y + u 2 z = f (x, y, z).
Por lo tanto tenemos que extender la teora anterior de R 2 a R norte, norte 3.
2.4 Las ecuaciones no lineales en R norte
Aqu consideramos la ecuacin diferencial no lineal di ff
F (x, z, p) = 0, (2,20)
dnde
x = (x 1, . . . , x norte), z = u (x): R norte 7 R, p = u.
El siguiente sistema de 2 n + 1 ordinarias ecuaciones diferenciales di ff se llama sistema de caracterstica.
x '( t) = pag F z '( t) = p pag Fp '( t) = -
x F - F z pag.
Dejar
x 0 ( s) = (x 01 ( s),. . . , x 0 norte( s)), s = (s 1, . . . , s norte - 1),
ser un dado regular (n-1) -dimensional do 2- hipersuperficie en R norte, es decir, suponemos
rango x 0 ( s)
S = n - 1.
aqu s re es un parmetro de una ( norte - 1) dominio parmetro -dimensional

RE.
Por ejemplo, x = x 0 ( s) fi ne de tres en el caso tridimensional en una superficie regular R 3.

Asumir
z 0 ( Dakota del Sur 7 R, pag 0 ( s) = (p 01 ( s),. . . , pag 0 norte( s))
se les da su fi cientemente funciones regulares.

El 2 n + 1)-vector
( x 0 ( s), z 0 ( s), p 0 ( s))
se llama colector inicial tira y la condicin
z 0
norte - 1
= pag 0 yo( s) x 0 yo ,
S l S l
i=1
l = 1, . . . , norte - 1, condicin tira.

El colector inicial tira se dice que es noncharacteristic Si

F pag 1 F pag 2 F pag norte
x 01 x 02 x 0 norte
S 1 S 1 S 1
det 6 = 0,
.........................
x 01 x 02 x 0 norte
S norte - 1 S norte - 1
S norte - 1
donde el argumento de F pag j es el colector inicial tira.
problema de valor inicial de Cauchy. Buscar una solucin z = u (x) de la ecuacin di ff diferencial (2.20)
de manera que el colector inicial es un subconjunto de
{( x, u (x), u (x)): x }.
Al igual que en el caso de dos dimensiones que tenemos bajo los supuestos de regularidad adicionales
Teorema 2.3. Supongamos que el colector inicial tira no es caracterstica y satisface di ff diferencial la
ecuacin (2.20), es decir, F (x 0 ( s), z 0 ( s), p 0 ( s)) = 0. Entonces existe una vecindad del colector inicial ( x 0
( s), z 0 ( s)) de tal manera que existe una solucin nica del problema de valor inicial Cauchy.
Boceto de la prueba. Dejar
x = x (s, t), z = z (s, t), p = p (s, t)
ser la solucin del sistema caracterstico y dejar
s = s (x), t = t (x)
2.5. Teora de Hamilton-Jacobi 53
ser la inversa de x = x (s, t) que existe en una vecindad de t = 0. Entonces, resulta que
z = u (x): = z (s 1 ( x 1, . . . , x norte), . . . , s norte - 1 ( x 1, . . . , x norte), t (x 1, . . . , x norte))
es la solucin del problema.
teora 2,5 Hamilton-Jacobi
La ecuacin no lineal (2,20) de la seccin anterior en una dimensin ms es
F (x 1, . . . , x norte, x n + 1, z, p 1, . . . , pag norte, pag n + 1) = 0.
El contenido de la Hamilton 1- Jacobi 2 La teora es la teora del caso especial
F pag n + 1 + H (x 1, . . . , x norte, x n + 1, pag 1, . . . , pag n) = 0, (2,21)
es decir, la ecuacin es lineal en pag n + 1 y no depende de z explcitamente.
Observacin. Formalmente, se puede escribir la ecuacin (2.20)
F (x 1, . . . , x norte, u, u x 1, . . . , u x n) = 0
como una ecuacin del tipo (2.21). Conjunto x n + 1 = u y buscar u implcitamente a partir
(x 1, . . . , x norte, x n + 1) = const.,
dnde es una funcin que se define por una ecuacin diferencial di ff. Asumir x n + 1 6 = 0,
entonces
0 = F (x 1, . . . , x norte, u, u x 1, . . . , u x norte)
= F (x 1, . . . , x norte, x n + 1, - x 1 , . . . , - x norte )
xn+1 xn+1
=: G (x 1, . . . , x n + 1, 1, . . . , x n + 1).
Suponer que GRAMO x n + 1 6 = 0, entonces
x n + 1 = H (x 1, . . . , x norte, x n + 1, x 1, . . . , x n + 1).
1 Hamilton, William Rowan, 1805-1865

2 Jacobi, Carl Gustav, 1805-1851
Las ecuaciones asociadas caractersticos a (2.21) son
x ' n + 1 ( ) = F pag n + 1 = 1
x ' k ( ) = F pag k = MARIDO pag k, k = 1, . . . , norte
n+1
norte
z '( ) = pag l F pag l = pag l MARIDO pag l + pag n + 1
l=1 l=1
norte
= pag l MARIDO pag l - MARIDO
l=1
pag ' n + 1 ( ) = - F x n + 1 - F z pag n + 1
= - F xn+1
pag ' k ( ) = - F x k - F z pag k
= - F x k, k = 1, . . . , norte.
Conjunto t: = x n + 1, entonces podemos escribir la ecuacin diferencial parcial di ff (2.21) como
u t + H (x, t, x u) = 0 (2,22)
y 2 norte de las ecuaciones caractersticas son
x '( t) = pag H (x, t, p) (2,23)
pag '( t) = - x H (x, t, p). (2,24)
Aqu est
x = (x 1, . . . , x norte), p = (p 1, . . . , pag norte).
Dejar x (t), p (t) ser una solucin de (2.23) y (2.24), entonces se sigue pag ' n + 1 ( t) y
z '( t) de las ecuaciones caractersticas
pag ' n + 1 ( t) = - MARIDO t
z '( t) = p pag MARIDO - MARIDO.
De fi nicin. La funcin H (x, t, p) se llama funcin de Hamilton, la ecuacin (2.21) ecuacin de

Hamilton-Jacobi y el sistema (2.23), (2.24) sistema cannica a H.
Hay una interesante interaccin entre la ecuacin de Hamilton-Jacobi y el sistema cannico.

Segn la teora anterior podemos construir una solucin de la ecuacin de Hamilton-Jacobi mediante
el uso de soluciones de la
sistema cannico. Por otro lado, se obtiene a partir de soluciones de la ecuacin de Hamilton-Jacobi
tambin soluciones del sistema cannica de ordinario di ecuaciones diferenciales ff.
De fi nicin. Una solucin (a; x, t) de la ecuacin de Hamilton-Jacobi, donde

a = (a 1, . . . , un norte) es un norte- tupla de parmetros reales, se denomina integrante completa
de la ecuacin de Hamilton-Jacobi si
det ( x yo un l) ni, l = 1 6 = 0.
Observacin. Si u es una solucin de la ecuacin de Hamilton-Jacobi, entonces tambin

u + const.
Teorema 2.4 ( Jacobi). Asumir
u = (a; x, t) + c, c = const., do 2 en sus argumentos,
es una integral completa. A continuacin, se obtiene mediante la resolucin de
segundo i = un yo( un; x, t)
con respecto a x l = x l ( a, b, t), dnde segundo yo i = 1, . . . , norte se dan constantes reales, y luego mediante el establecimiento
pag k = x k ( un; x (a, b; t), t)
una familia 2n-parmetro de soluciones del sistema cannica.
Prueba. Dejar
x l ( a, b; t), l = 1, . . . , norte,
ser la solucin del sistema anterior. La solucin existe desde es una integral completa por supuesto.
Conjunto
pag k ( a, b; t) = x k ( un; x (a, b; t), t), k = 1, . . . , norte.
Vamos a demostrar que x y pag resuelve el sistema cannico. Di ff erentiating un i =

segundo yo con respecto a t y la ecuacin de Hamilton-Jacobi t + H (x, t, x ) = 0 con respecto a un yo, obtenemos
para i = 1, . . . , norte
norte x k
ejrcito de reserva i + x k un yo
t = 0
k=1
norte
ejrcito de reserva i + x k un yo CV k = 0.
k=1
Ya que es una integral completa se deduce de k = 1, . . . , norte
x k
t = H pag k.
A lo largo de una trayectoria, es decir, donde a, b se fi jo, es x k

t = x ' k ( t). As
x ' k ( t) = H pag k.
Ahora nos di ff erentiate pag yo( a, b; t) con respecto a t y t + H (x, t, x ) = 0 con respecto a x yo, y obtener
norte
pag ' yo( t) = x yo t + x yo x k x ' k ( t)
k=1
norte
0 = x yo t + x yo x k MARIDO pag k + MARIDO x yo
k=1
norte
0 = x yo t + x yo x k x ' k ( t) + H x yo
k=1
De ello se desprende que finalmente pag ' yo( t) = - MARIDO x yo . 2
Ejemplo: problema de Kepler
El movimiento de un punto de masa en el centro de un campo se lleva a cabo en un plano, por ejemplo el ( x,
y) - avin, vase la figura 2.13, y satisface el sistema de ecuaciones diferenciales ordinarias di ff de segundo orden
x '' ( t) = U x, y '' ( t) = U Y,
dnde
k2
U (x, y) = x 2 + y 2.
Aqu asumimos que k 2 es una constante positiva y que el punto de masa es atrada del origen. En el
caso de que se empuja uno tiene que sustituir T
por - U. Ver Landau y Lifschitz [12], Vol 1, por ejemplo, para la fsica relacionada.
Conjunto
p = x ', q = y '
y
H=1
2 ( pag 2 + q 2) - U (x, y),
(X (t), y (t))
(U, U) yx
Figura 2.13: Movimiento en un campo central de
entonces
x '( t) = H pag, y '( t) = H q
pag '( t) = - MARIDO x, q '( t) = - MARIDO y.
La ecuacin de Hamilton-Jacobi asociado es
k2
t+ 1 x 2 + y 2.
2 ( 2 x + 2 y) =
que es en coordenadas polares ( r, )
t+ 1 (2,25)
2 ( 2 r + 1r
1 r 2 2 ) = k 2 r.
Ahora vamos a buscar una integral completa de (2.25), haciendo que el ansatz
t = - = const. = - = const. (2,26)
y obtener a partir de (2.25) que

=r 2 + 2 k2
r0 - 2 2 d + c (t, ).
De ansatz (2.26) se deduce
c (t, ) = - t - .
Por lo tanto tenemos una familia de dos parmetros de soluciones
= (, ; , r, t)
de la ecuacin de Hamilton-Jacobi. Esta solucin es una integral completa, ver un ejercicio. De

acuerdo con el teorema de Jacobi conjunto
= - t 0, = - 0.
Entonces
d
t - t0= - r .
r0 2 + 2 k 2 - 2
2
La funcin inversa r = r (t), r ( 0) = r 0, es el R- coordinar dependiendo de la hora t, y
r
d
- 0= .
r0 2 2 + 2 k 2 - 2
2
Sustitucin = - 1 rendimientos
1/r
d
- 0= - 2 + 2 k2 - 2 2
1 / r0
( 2 ) ( 2 )
1 1
k2 r - 1 k2 r0- 1
= - arcoseno + arc sen .
1 + 2 2 1 + 2 2
k4 k4
Conjunto
( 2 )
1
k2 r0- 1
1 = 0 + arcoseno
1 + 2 2
k4
p = 2 1 + 2 2
k 2, 2 = k 4,
entonces ( pag )
r- 1
- 1 = - arcoseno .
2
Sigue
pag
r = r () =
1 - 2 pecado( - 1) ,
que es la ecuacin polar de las secciones cnicas. Se de fi ne una elipse si 0 < 1, una parbola si
= 1 y una hiprbola si > 1, vase la figura 2.14, para el caso de una elipse, donde el origen del sistema
de coordenadas es uno de los puntos focales de la elipse.
Por otra aplicacin del teorema de Jacobi ver Courant y Hilbert [4], Vol. 2, pp. 94, donde se estudian
geodedics en un elipsoide.
2.6. CEREMONIAS 59
pag
2
1-
pag
pag
1+ 2
Figura 2.14: El caso de una elipse
2.6 Ejercicios
1. Supongamos u: R 2 7 R es una solucin de
a (x, y) u x + b (x, y) u y = 0.
Demostrar que para arbitraria MARIDO do 1 adems H (u) es una solucin.
2. Encontrar una solucin u 6 const. de
ux+ uy= 0
de tal manera que
grafico( u): = {(x, y, z) R 3: z = u (x, y), (x, y) R 2}
contiene la lnea recta (0, 0, 1) + s ( 1, 1, 0), s R.
3. Sea (x, y) ser una solucin de
un 1 ( x, y) u x + un 2 ( x, y) u y = 0.
Demostrar que las curvas de nivel S C: = {( x, y): (x, y) = C = const}. son curvas caractersticas,
siempre que 6 = 0 y ( un 1, un 2) 6 = ( 0, 0).
4. Demostrar la Propuesta 2.2.
5. Encuentre dos soluciones di ff Erent del problema de valor inicial
u x + u y = 1,
donde los datos iniciales son x 0 ( s) = Y s, 0 ( s) = s, z 0 ( s) = s.
Insinuacin: ( x 0, y 0) es una curva caracterstica.
6. Resuelve el problema de valor inicial
xu x + Yu y = u
con datos iniciales x 0 ( s) = Y s, 0 ( s) = 1, z 0 ( s), dnde z 0 es dado.
7. Resolver el problema de valor inicial
- xu x + Yu y = xu 2,
x 0 ( s) = Y s, 0 ( s) = 1, z 0 ( s) = mi - s.
uu x + u y = 1,
x 0 ( s) = Y s, 0 ( s) = s, z 0 ( s) = s / 2 si 0 < s < 1.
uu x + uu y = 2,
x 0 ( s) = Y s, 0 ( s) = 1, z 0 ( s) = 1 + s si 0 < s < 1.
10. Resolver el problema de valor inicial u 2 x + u 2 y = 1+ x con datos inicial dada

x 0 ( s) = 0, y 0 ( s) = s, u 0 ( s) = 1, pag 0 ( s) = 1, q 0 ( s) = 0, - < s < .
11. Encuentre la solucin ( x, y) de
( x - Yu x + 2 Yu y = 3 x
tal que la superficie definida por z = ( x, y) contiene la curva
C: x 0 ( s) = Y s, 0 ( s) = 1, z 0 ( s) = 0, s R.
2.6. CEREMONIAS 61
12. resolver el siguiente problema inicial de la cintica qumica.

( )
ux+ uy= k 0 mi - k 1 x + k 2 (1 - u) 2, x> 0, y> 0
con los datos iniciales u (x, 0) = 0, u ( 0, y) = u 0 ( y), dnde u 0, 0 < u 0 < 1, se da.
13. Resolver el problema de Riemann
u x1+ u x2= 0
u (x 1, 0) = g (x 1)
en 1 = {( x 1, x 2) R 2: x 1> x 2} y en 2 = {( x 1, x 2) R 2: x 1 <
x 2}, dnde
{ ul
: x1< 0
g (x 1) =
ur : x 1> 0
con constantes u l 6 = u r.
14. Determinar el ngulo de apertura del cono Monge, es decir, el ngulo entre el eje y la apotema
(en alemn: Mantellinie) del cono, para la ecuacin
u 2 x + u 2 y = f (x, y, u),
dnde f> 0.
u 2 x + u 2 y = 1,
dnde x 0 ( ) = a cos , y 0 ( ) = a pecado , z 0 ( ) = 1, pag 0 ( ) = cos , q 0 ( ) = pecado si es 0 < 2 , a =

const. > 0.
16. Demostrar que la integral (, ; , r, t), ver el problema de Kepler, es una

completar integral.
17. a) Demostrar que S = x + 1 - y + , , R, 0 < < 1, es una integral completa de S x -
1 - S2 y= 0.
b) Encontrar el sobre de esta familia de soluciones.
18. Determinar la longitud del eje de la mitad de la elipse
pag
r=
1 - 2 pecado( - 0) , 0 < 1.
19. Encontrar la funcin de Hamilton H (x, p) de la Hamilton-Jacobi-Bellman

di ff ecuacin diferencial si h = 0 y f = Ax + B, dnde A, B son matrices constantes y reales, UN : R metro 7
R norte, segundo es una verdadera ortogonal
norte norte- Matrix y pag R norte es dado. El conjunto de controles admisibles est dada por
norte
U = { R n: 2yo 1} .
i=1
Observacin. La ecuacin HamiltonJacobi-Bellman es formalmente la ecuacin HamiltonJacobi u t + H

(x, u) = 0, donde la funcin de Hamilton se define por
H (x, p): = min

U( f (x, ) p + h (x, )) ,
f (x, ) y h (x, ) son dados. Vase, por ejemplo, Evans [5], captulo 10.
Captulo 3
Clasi fi cacin
Di ff tipos Erent de problemas de la fsica, por ejemplo, corresponden di tipos ff Erent de parcial di
ecuaciones diferenciales ff. Los mtodos de cmo resolver estas ecuaciones di ff er de un tipo a otro.
La clasi fi cacin de di ecuaciones diferenciales y siguientes se sigue de una sola pregunta:

Podemos calcular formalmente la solucin si se les da su fi cientemente muchos datos iniciales?
Considere el problema inicial para la ecuacin diferencial ordinaria ff un di y '( x) = f (x, y (x)), y (x 0) = y 0. Entonces
se puede determinar formalmente la solucin, siempre que la funcin f (x, y) es su fi cientemente regular.
La solucin del problema de valor inicial se da formalmente por una serie de potencias. Esta solucin
formal es una solucin del problema, si f (x, y) es analtica real de acuerdo con un teorema de Cauchy. En
el caso de diferencial di ff parcial Ecuaciones el teorema relacionado es el teorema de
Cauchy-Kowalevskaya. Incluso en el caso de las ecuaciones diferenciales ordinarias di ff la situacin es
ms complicada si y ' se ne implcitamente de fi, es decir, la ecuacin di ff diferencial es F (x, y (x), y '( x)) = 0
para una funcin dada F.
3.1 Ecuaciones lineales de segundo orden
El no lineal ecuacin general parcial di ff diferencial de segundo orden es
F (x, u, Du, D 2 u) = 0,
dnde x R norte, u: R norte 7 R, du u y re 2 u se levanta para todos los segundos derivados. La funcin F
se da y su fi cientemente regular con respecto a su 2 n + 1 + norte 2 argumentos.
63
64 CAPTULO 3. CLASIFICACIN
En esta seccin se considera el caso
norte
un ik ( x) u x yo x k + f (x, u, u) = 0. (3,1)
i, k = 1
La ecuacin es lineal Si
norte
f= segundo yo( x) u x i + c (x) u + d (x).
i=1
En cuanto a la clasi fi cacin del parte principal
norte
un ik ( x) u x yo x k
i, k = 1
juega el papel esencial. Suponer u do 2, entonces podemos suponer, sin restriccin alguna de
generalidad, que un ik = un ki, ya que
norte norte
un ik u x yo x k = ( un ik)? u x yo x k,
i, k = 1 i, k = 1
dnde
( un ik)? = 1
2 ( un ik + un ki).
Considere una hipersuperficie S en R norte de fi ne implcitamente (x) = 0, 6 = 0, vase la Figura 3.1
Asumir u y u se dan en S.
Problema: Podemos calcular todos los otros derivados de u en S mediante el uso de la ecuacin di ff diferencial
(3.1) y los datos dados?
Vamos a hallar una respuesta si hacemos un mapa S sobre un hiperplano S 0 por un mapeo
n = (x 1, . . . , x norte)
i = yo( x 1, . . . , x norte), i = 1, . . . , norte - 1,
para las funciones yo de tal manera que
det ( 1, . . . , norte)
(x 1, . . . , x norte) 6 = 0
en R norte. Se asume que y yo son su fi cientemente regular. Tal mapeo = (x) que existe, ver
un ejercicio.
3.1. ECUACIONES LINEALES de segundo orden sesenta y cinco
xx S
2
x
1
Figura 3.1: colector inicial S
Lo anterior se transforman mapas S en un subconjunto del hiperplano definido por

n = 0, vase la Figura 3.2.
Vamos a escribir la ecuacin diferencial di ff en estas nuevas coordenadas. Aqu se utiliza la convencin de
Einstein, es decir, aadimos un acuerdo con los ndices de repeticin. Ya que
u (x) = u (x ()) =: v () = v ( (x)),
dnde x = (x 1, . . . , x norte) y = ( 1, . . . , norte), obtenemos
yo
u x j = v yo , (3,2)
x j
yo l 2 yo
u x j x k = v yo l + v yo .
x j x k x j x k
Por lo tanto, di ff ecuacin diferencial (3.1) en las nuevas coordenadas viene dada por
l
un jk ( x) yo v yo l + trminos conocidos en S 0 = 0.
x j x k
Ya que v k ( 1, . . . , norte - 1, 0), k = 1, . . . , norte, son conocidos, ver (3.2), se deduce que
v k l, l = 1, . . . , norte - 1, son conocidos en S 0. As sabemos todas las segundas derivadas
v yo j en S 0 con la nica excepcin de v norte norte.
S0
Figura 3.2: Transformado fl en el colector S 0
Recordamos que, con la condicin v es su fi cientemente regular,
v k l ( 1, . . . , norte - 1, 0)
es el lmite de
v k ( 1, . . . , l + h, l + 1, . . . , norte - 1, 0) - v k ( 1, . . . , l, l + 1, . . . , norte - 1, 0)
marido
como marido 0.
Por lo tanto la ecuacin di ff diferencial se puede escribir como
norte norte
un jk ( x) norte v norte n = trminos conocidos en S 0.
x j x k
j, k = 1
De ello se desprende que podamos calcular v norte norte Si
norte
un ij ( x) x yo x j 6 = 0 (3.3)
i, j = 1
en S. Esta es una condicin para la ecuacin dada y para la superficie dada S.

3.1. ECUACIONES LINEALES de segundo orden 67
De fi nicin. La ecuacin diferencial di ff
norte
un ij ( x) x yo x j = 0
i, j = 1
se llama caracterstica di ecuacin ff diferencial asociado a la ecuacin diferencial dada di ff (3,1).
Si , 6 = 0, es una solucin de la caracterstica di ecuacin ff diferencial, entonces

la superficie definida por = 0 se llama superficie caracterstica.
Observacin. La condicin (3.3) se satisface para cada con 6 = 0 si la matriz cuadrtica ( un ij ( x)) es
positivo o negativo de fi nida para cada x , lo que equivale a la propiedad de que todos los valores
propios son di ff Erent de cero y tienen el mismo signo. Esto se deduce ya que existe una (x) > 0 de
manera que, en el caso de que la matriz ( un ij) poitive es de fi nida,
norte
un ij ( x) yo j (x) | | 2
i, j = 1
para todos R norte. Aqu y en la siguiente se supone que la matriz ( un ij) que es real y simtrica.
La caracterizacin de la ecuacin diferencial di ff (3.1) se sigue de los signos de los valores propios de
( un ij ( x)).
De fi nicin. ecuacin diferencial Di ff (3,1) se dice que es de tipo ( , , ) a

x si valores propios de ( un ij) ( x) son positivos, valores propios son negativos y valores propios son cero
( + + = norte).
En particular, la ecuacin se llama
elptico si es de tipo ( norte, 0, 0) o de tipo (0, norte, 0), es decir, todos los valores propios son di ff Erent de
cero y tienen el mismo signo,
parablico si es de tipo ( norte - 1, 0, 1) o del tipo (0, norte - 1, 1), es decir, un valor propio es cero y todos
los dems son di ff Erent de cero y tienen el mismo signo,
hiperblico si es de tipo ( norte - 1, 1, 0) o del tipo (1, norte - 1, 0), es decir, todos los valores propios son di ff
Erent de cero y un valor propio tiene otra seal de que todas las dems.
observaciones:
1. De acuerdo con esta definicin, hay otros tipos, aparte de ecuaciones elpticas, parablicas o
hiperblicas.
2. La clasi fi depende en general x . Un ejemplo es la ecuacin Tricomi, que aparece en la teora

de la transnico de los flujos,
Yu xx + u yy = 0.
Esta ecuacin es elptica si y> 0, si parablica y = 0 e hiperblica de y < 0.
Ejemplos:
1. los ecuacin de Laplace en R 3 es 4 u = 0, donde
4 T: T = xx + u yy + u zz.
Esta ecuacin es elptica. As, para cada colector S dada por {( x, y, z): (x, y, z) = 0}, donde es una
funcin de su fi cientemente normal arbitrario tal que 6 = 0, todos los derivados de u son conocidos
en S, previsto u y u son conocidos en S.
2. los ecuacin de onda u tt = u xx + u yy + u zz, dnde u = u (x, y, z, t), es hiperblica. Tal tipo describe
oscilaciones de estructuras mecnicas, por ejemplo.
3. los ecuacin del calor u t = u xx + u yy + u zz, dnde u = u (x, y, z, t), es parablica. En l se describe, por
ejemplo, la propagacin del calor en un dominio.
4. Considere el caso de que los coeficientes de FFI (real) del Consejo de Europa un ij en la ecuacin (3.1) son
constante. Recordamos que la matriz A = (a ij) es simtrica, es decir, UN T = A.

En este caso, la transformada de eje principal lleva a una forma normal de la que la clasi fi cacin de
la ecuacin es obviamente. Dejar T ser la matriz ortogonal asociado, entonces

10 0
0 2 0
T T AU = .
................
00 norte
Aqu est U = (z 1, . . . , z norte), dnde z l, l = 1, . . . , norte, es un sistema ortonormal de vectores propios a los valores
propios l.
Conjunto y = U T x y v (y) = u (Uy), entonces
norte norte
un ij u x yo x j = yo v y yo y j. (3,4)
i, j = 1 i=1
3.1.1 Forma normal de dos variables
Considere la ecuacin diferencial di ff
a (x, y) u xx + 2 b (x, y) u xy + c (x, y) u yy + trminos de orden inferior = 0 (3,5)
en R 2. La caracterstica asociada ecuacin di ff diferencial es
a 2 x + 2 b x y + c 2 y = 0. (3,6)
Se demuestra que una adecuada coordenadas transformwill simplificar la ecuacin (3.5) veces de tal manera
que podemos resolver la ecuacin transformada de forma explcita.
Dejar z = (x, y) ser una solucin de (3.6). Considere los conjuntos de nivel {( x, y): (x, y) = const.} y
asumir y 6 = 0 en un punto ( x 0, y 0) del conjunto de nivel. Entonces existe una funcin y (x) de fi nido en un
barrio de x 0 de tal manera que
(x, y (x)) = const. Sigue
y '( x) = - x ,
y
lo que implica, vase la ecuacin caracterstica (3.6),
s ' 2 - 2 por '+ c = 0. (3,7)
Entonces, siempre un 6 = 0, podemos calcular : = y ' a partir de los coeficientes de FFI (conocido) del Consejo de Europa
a, b y do:
( )
1,2 = 1 .
segundo segundo 2 - C.A (3,8)
un
Estas soluciones son reales si y slo de C.A - segundo 2 0. La ecuacin (3.5) es hiperblica si C.A - segundo 2 < 0,
si parablica C.A - segundo 2 = 0 y si elptica C.A - segundo 2> 0. Esto se sigue de una discusin fcil de los valores
propios de la matriz
( ab )
,
antes de Cristo
ver un ejercicio.
forma normal de una ecuacin hiperblica
Dejar y son soluciones de la ecuacin caracterstica (3.6) tal que
y 1' 1 = - x
y
y 2' 2 = - x ,
y
dnde 1 y 2 vienen dados por (3.8). As y son soluciones de las ecuaciones homogneos lineales de
primer orden fi
x + 1 ( x, y) y = 0 (3,9)
x + 2 ( x, y) y = 0. (3,10)
Asumir (x, y), (x, y) son soluciones tales que 6 = 0 y 6 = 0, ver un ejercicio de la existencia de
este tipo de soluciones.
Considere dos familias de nivel fija definida por (x, y) = y (x, y) = ,
vase la Figura 3.3.
(x,y) =
1
y
(X, y) = 2
(X, y) = 1
(X, y) = 2
Figura 3.3: conjuntos de nivel
Estos conjuntos de nivel son curvas caractersticas de las ecuaciones diferenciales parciales di ff
(3.9) y (3.10), respectivamente, ver un ejercicio del captulo anterior.
Lema. ( yo) Curvas de familias Erent di ff no pueden tocarse entre s.
(Ii) x y - y x 6 = 0.
Prueba. ( yo):
segundo 2 - C.A 6 = 0.
y 2' - y ' 1 2- 1= - 2
un
(Ii):
2- 1= x - x .
y y
2
Proposicin 3.1. El mapeo = (x, y), = (x, y) transforma la ecuacin (3.5) en
v = trminos de orden inferior, (3,11)
dnde v (, ) = u (x (, ), y (, )).
Prueba. La prueba se deduce de un clculo sencillo.
ux= v x+ v x
uy= v y+ v y
u xx = v 2 x + 2 v x x + v 2 x+ trminos de orden inferior
u xy = v x y + v ( x y + y x) + v x y + trminos de orden inferior
u yy = v 2 y + 2 v y y + v 2 y+ trminos de orden inferior.
As
au xx + 2 bu xy + cu yy = alpha v + 2 v + v + mucho,
dnde
: = a 2 x + 2 b x y + c 2 y
: = a x x + b ( x y + y x) + c y y
: = a 2 x+ 2 b x y + c 2 y.
Los coe fi cientes y son cero, ya y son soluciones de la ecuacin caracterstica. Ya que
- 2 = ( C.A - segundo 2) ( x y - y x) 2,
se deduce de la lemma anteriormente que el coe fi ciente es di ff Erent de cero.

2
Ejemplo: Considere la ecuacin diferencial di ff
u xx - u yy = 0.
La caracterstica asociada ecuacin di ff diferencial es
2 x - 2 y = 0.
Ya que 1 = - 1 y 2 = 1, las funciones y ecuaciones diferenciales satisfacen di ff
x+ y= 0
x - y = 0.
Las soluciones con 6 = 0 y 6 = 0 son
= x - y, = x + y.
Por lo tanto el mapeo
= x - y, = x + y
conduce a la ecuacin simple
v ( , ) = 0.
Asumir v do 2 es una solucin, entonces v = F 1 ( ) para una arbitraria do 1 funcin

F 1 ( ). Sigue

v (, ) = F 1 ( ) d + g (),
0
dnde gramo es un arbitraria do 2 funcin. As, cada do 2- solucin de la ecuacin di ff diferencial se puede
escribir como
(?) v (, ) = f () + G (),
dnde f, g do 2. Por otro lado, por arbitraria do 2- funciones f, g la funcin (?) es una solucin de la
ecuacin diferencial di ff v = 0. En consecuencia cada do 2- solucin de la ecuacin original u xx - u yy = 0
est dado por
u (x, y) = f (x - y) + G (x + y),
dnde f, g do 2.
3.2. Cuasi-lineal ECUACIONES de segundo orden 73
3.2 cuasilinealidad de segundo orden
norte
un ij ( x, u, u) u x yo x j + b (x, u, u) = 0 (3,12)
i, j = 1
en un dominio R norte, dnde u: 7 R. Asumimos que un ij = un Ji.

Al igual que en la seccin anterior podemos derivar la ecuacin caracterstica
norte
un ij ( x, u, u) x yo x j = 0.
i, j = 1
En contraste con las ecuaciones lineales, las soluciones de la ecuacin caracterstica dependen de la
solucin considerada.
3.2.1 ecuaciones elpticas cuasilineales
Hay una gran clase de cuasilinealidad de tal manera que la ecuacin caracterstica asociada no tiene
solucin , 6 = 0. Conjunto
U = {(x, z, p): x , z R, pag R norte}.
De fi nicin. La ecuacin cuasi-lineal (3.12) se llama elptico si la matriz ( un ij ( x, z, p)) es de fi nida

positiva para cada uno ( x, z, p) U.
Supongamos que la ecuacin (3.12) es elptica y dejar (x, z, p) ser el mnimo y ( x, z, p) el mximo
de los valores propios de ( un ij), entonces

0 < (x, z, p) | | 2 norte un ij ( x, z, p) yo j ( x, z, p) | | 2
i, j = 1
para todos R norte.
De fi nicin. La ecuacin (3.12) se llama elptica uniformemente Si / est delimitada de manera uniforme en U.
Una clase importante de ecuaciones elpticas que no son uniformemente elptica (no uniformemente
elptica) es
( )
norte u x yo
1 + | u |2 + inferiores trminos de orden = 0. (3,13)
x yo
i=1
La parte principal es el operador mnimo de superficie (lado izquierdo de la ecuacin de superficie mnima).
Los coe fi cientes un ij son
( )
un ij ( x, z, p) = ( 1 + | p | 2) - 1/2 ij - pag yo pag j ,
1 + | p |2
ij denota el smbolo delta de Kronecker. Resulta que
1 (1 + | p | 2) 3/2, = 1 (1 + | p | 2)
= 1/2.
Por lo tanto la ecuacin (3.13) no es uniformemente elptica.
El comportamiento de las soluciones de las ecuaciones de manera uniforme elpticas es similar a

ecuaciones elpticas lineales en contraste con el comportamiento de las soluciones de ecuaciones elpticas de
manera no uniforme. Ejemplos tpicos para ecuaciones elpticas no uniforme son la ecuacin de superficie
mnima y la ecuacin capilar.
3.3 Sistemas de orden primero
Considere el sistema cuasi-lineal
norte
UN k ( x, u) u u k + b (x, u) = 0, (3,14)
k=1
dnde UN k son metro metro- matrices, su fi cientemente regular con respecto a sus argumentos, y

u1 u 1, x k segundo 1
.. .. ..
u= . , u xk= . ,B= . .
u metro u m, x k segundo metro
Pedimos a la misma pregunta que el anterior: podemos calcular todos los derivados de u
en un barrio de una hipersuperficie dada S en R norte definida por (x) = 0,
6 = 0, siempre u (x) se da en S?
Para una respuesta mapeamos S sobre una superficie plana S 0 mediante el uso de la asignacin
= (x) de la Seccin 3.1 y la ecuacin de escritura (3.14) en las nuevas coordenadas. Conjunto
v () = u (x ()), entonces
norte
UN k ( x, u) x k v n = trminos conocidos en S 0.
k=1
3.3. SISTEMAS de primer orden 75
Podemos resolver este sistema con respecto a v norte, siempre que
( norte )

det UN k ( x, u) x k 6=0
k=1
en S.
De fi nicin. Ecuacin
( norte )

det UN k ( x, u) x k =0
k=1
se llama ecuacin caracterstica asociado con la ecuacin (3.14) y una superficie

S: (x) = 0, definida por una solucin de , 6 = 0, se dice de esta ecuacin caracterstica para ser superficie
caracterstica.
Conjunto ( norte )

C (x, u, ) = det UN k ( x, u) k
k=1
para R norte.
De fi nicin. ( i) El sistema (3.14) es hiperblico a ( x, u (x)) si hay una aplicacin lineal ordinario = Q, dnde
= ( 1, . . . , norte - 1, ), tal que existe metro real races k = k ( x, u (x), 1, . . . , norte - 1), k = 1, . . . , metro, de
D (x, u (x), 1, . . . , norte - 1, ) = 0
para todos ( 1, . . . , norte - 1), dnde
D (x, u (x), 1, . . . , norte - 1, ) = C (x, u (x), x, Q).
(Ii) del sistema (3.14) es parablico si existe una aplicacin lineal ordinario = Q
de tal manera que re es independiente de , es decir, re depende menos de norte parmetros.
(Iii) sistema (3.14) es elptico Si C (x, u, ) = 0 slo si = 0.
Observacin. En el caso elptica todos los derivados de la solucin se pueden calcular a partir de los
datos dados y la ecuacin dada.
3.3.1 Ejemplos
1. ecuaciones Beltrami
Wu x - bv x - CV y = 0 (3,15)
Wu y + AV x + bv y = 0, (3,16)
dnde W, a, b, c son funciones dadas en funcin de ( x, y), W 6 = 0 y la matriz
( ab )
antes de Cristo
es de fi nida positiva.
El sistema Beltrami es una generalizacin de ecuaciones de Cauchy-Riemann. La funcin f (z) =
u (x, y) + Iv (x, y), dnde z = x + iy, se llama una mapeo quasiconform, ver por ejemplo [9], Captulo 12,
para una aplicacin a parcial di ecuaciones diferenciales ff.
Conjunto
( W - segundo ) ( 0 - do )
UN 1 = , UN 2 = .
0 un Wb
Entonces el sistema (3.15), (3.16) se puede escribir como
( ux ) ( uy ) (0 )
UN 1 + UN 2 = .
vx vy 0
As,
|||| W 1 - b 1 - c 2 |||| = W (a 2
C (x, y, ) = 1+ 2 b 1 2 + c 2 2),
W 2 a 1 + b 2
que es di ff Erent de cero si 6 = 0 de acuerdo con los supuestos anteriores. Por lo tanto, la Beltrami
sistema es elptica.
2. ecuaciones de Maxwell
Las ecuaciones de Maxwell en el caso istropo son
do r Antiguo Testamento x H = E + E t (3,17)
do r Antiguo Testamento x E = - uH t, (3,18)

dnde
E = (e 1, mi 2, mi 3) T intensidad de campo elctrico, mi i = mi yo( x, t), x = (x 1, x 2, x 3),
H = (h 1, marido 2, marido 3) T magntica intensidad de campo, marido i = marido yo( x, t), c velocidad de la
luz,
espec c conductividad fi,

constante dielctrica,
permeabilidad magntica. aqu c, , y son
constantes positivas.
Conjunto pag 0 = t, pag i = x yo , i = 1, . . . 3, entonces la ecuacin ff diferencial caracterstico di es
|||||||||||| |||||||||||| = 0.
p 0 / do 0 0 0 pag 3 - pag 2
0 p 0 / do 0 - pag 3 0 pag 1
0 0 p 0 / do pag 2 - pag 1 0
0 - pag 3 pag 2 de microprocesador
0 0 / do 0
pag 3 0 - pag 1 0 0 0 / do
de microprocesador
- pag 2 pag 1 0 0 0 de microprocesador 0 / do
Los siguientes manipulaciones simplifica es esta ecuacin: (i) multiplicar el primer

tres columnas con de microprocesador 0 / do,
(Ii) multiplicar la quinta columna con - pag 3 y la sexta columna con el pag 2 y aadir la suma de la
primera columna, (iii) multiplicar la cuarta columna con pag 3 y la sexta columna con - pag 1 y aadir la
suma de la columna da 2, (iv) multiplicar la cuarta columna con - pag 2 y la quinta columna con pag 1 y
aadir la suma de la columna 3a,
(V) expandir el determinante resultante con respecto a los elementos de la sexta, quinta y cuarta fila.
Obtenemos
|||||| q + p 21 |||||| = 0,
pag 1 pag 2 pag 1 pag 3
pag 1 pag 2 q + p 22 pag 2 pag 3
pag 1 pag 3 pag 2 pag 3 q + p 23
dnde
q: =
do 2 pag 20 - gramo 2
con gramo 2: = pag 21 + pag 22 + pag 23. La evaluacin de la ecuacin anterior conduce a
q 2 ( q + g 2) = 0, es decir,
(
2t = 0.
do 2 2 t - | x | 2)
De ello se desprende inmediatamente que ecuaciones de Maxwell zona sistema hiperblico, ver un
ejercicio. Hay dos soluciones de esta ecuacin caracterstica. La primera uno son superficies
caractersticos S ( t), definida por (x, t) = 0, que satisfacen
t = 0. Estas superficies se llaman ondas estacionarias. El segundo tipo de superficies caractersticos se
definen por las soluciones de

do 2 2 t = | x | 2.
Funciones definido por = f (n x - V t) son soluciones de esta ecuacin. Aqu est

f (s) una funcin arbitraria con F '( s) 6 = 0, norte es un vector unitario y V = c / .
Las superficies caractersticos asociados S ( t) se definen por
(x, t) f (n x - V t) = 0,
Aqu asumimos que 0 es en l gama de f: R 7 R. As, S ( t) se define por norte x - V t = do, dnde do es un fijada
constante. De ello se desprende que los aviones S ( t)
con normalidad norte moverse con la velocidad V en la direccin de norte, vase la Figura 3.4
x2
S (t)
d (t)
n x1
S (0)
Figura 3.4: re '( t) es la velocidad de ondas planas
V se llama velocidad de la onda plana S ( t).
Observacin. De acuerdo con las discusiones anteriores, singularidades de una solucin de las ecuaciones de Maxwell se
encuentran en la mayor parte en las superficies caractersticos.
Un caso especial de las ecuaciones de Maxwell son la ecuaciones del telgrafo, que se siguen de las
ecuaciones de Maxwell si d iv E = 0 y d iv H = 0, es decir, mi y
MARIDO son campos libres de fuentes. De hecho, es su ciente fi asumir que este supuesto se satisface en
un tiempo fijo t 0 solamente, ver un ejercicio. Ya que
r Antiguo Testamento x r Antiguo Testamento x A = grad x re iv x UN -4 x UN
para cada do 2- vector de campo UN, se deduce de las ecuaciones de Maxwell el sistema desacoplado
4 x E =
do 2 mi tt + do 2 mi t
4 x H =
do 2 MARIDO tt + do
2 MARIDO t.
3. ecuaciones de la dinmica de gases
Tenga en cuenta los siguientes cuasilinealidad de primer orden.
v t + ( v x) v + 1
x p = f ( ecuaciones de Euler).
Aqu est
v = (v 1, v 2, v 3) el vector de velocidad, v i = v yo( x, t), x = (x 1, x 2, x 3),

pag presin, p = (x, t), densidad, = (x, t), f = (f 1, F 2, F 3) densidad de la
fuerza externa, F i = F yo( x, t),
( v x) v ( v x v 1, v x v 2, v x v 3)) T.
La segunda ecuacin es
t + v x + re iv x v = 0 (conservacin de la masa).
Suponga que el gas es compresible y que no es una funcin (ecuacin de estado)
p = p (),
dnde pag '( ) > 0 si > 0. Entonces el sistema anterior de cuatro ecuaciones es
v t + ( v ) v + 1 (3,19)
p '( ) = f
t + re iv v + v = 0, (3,20)
dnde x yd iv re iv x, es decir, estos operadores se aplica slo en las variables espaciales.

La ecuacin diferencial ff caracterstica di est aqu

||||||||| ||||||||| = 0,
d 1
0 0
dt pag ' x 1
d 1
0 0
dt pag ' x 2
d 1
0 0
dt pag ' x 3
d
x 1 x 2 x 3 dt
dnde
d
dt: = t + ( x ) v.
Evaluar el determinante, obtenemos la ecuacin caracterstica di ff diferencial
( d ) ) )
2 (( d 2- pag '( ) | x | 2
= 0. (3,21)
dt dt
Esta ecuacin implica consecuencias para la velocidad de las superficies caractersticos Como muestra
la siguiente consideracin.
Considere una familia S ( t) de las superficies en R 3 definida por (x, t) = do, dnde
x R 3 y do es un fijada constante. Como por lo general, se supone que x 6 = 0. Uno de los dos normales en S
( t) en un punto de la superficie S ( t) est dada por, ver un ejercicio,
n = x (3,22)
| x | .
Dejar Q 0 S ( t 0) y deja Q 1 S ( t 1) ser un punto de la lnea definida por Q 0+ s norte,

dnde norte es la normal (3,22 en S ( t 0) a Q 0 y t 0 < t 1, t 1 - t 0 pequea, vase la Figura 3.5.
Q1
Q
0
S (t)1
0 S)
(t
Figura 3.5: Definicin de la velocidad de una superficie

De fi nicin. El lmite
| Q1- Q0|
P = lim
t1 t0 t1- t0
se llama velocidad de la superficie S ( t).
Proposicin 3.2. La velocidad de la superficie S ( t) es
P = - t (3,23)
| x | .
Prueba. La prueba se sigue de (Q 0, t 0) = 0 y (Q 0 + re norte, t 0 + 4 t) = 0, donde d = | Q 1 - Q 0 | y 4 t = t 1 - t 0.
Conjunto v n: = v norte que es el componente del vector de velocidad en la direccin

norte. A partir de (3.22) obtenemos
vn= 1
| x | v x .
De fi nicin. V: = P - v norte, la rencia di ff de la velocidad de la superficie y la velocidad de partculas de

lquido, se llama velocidad relativa.
norte
S
v
Figura 3.6: Definicin de velocidad relativa
Usando las frmulas anteriores para PAG y v norte sigue
V = P - vn= - t
| x | - v |xx | = - 1 | x | d
dt.
Entonces, se obtiene a partir de la ecuacin caracterstica (3.21) que
V 2 | x | 2 ( V 2 | x | 2 - pag '( ) | x | 2) = 0.
Una conclusin interesante es que hay dos velocidades relativas: V = 0 o

V 2 = pag '( ).
De fi nicin. pag '( ) se llama velocidad del sonido .
3.4 Sistemas de segundo orden
Aqu consideramos el sistema
norte
UN kl ( x, u, u) u x k x l + trminos de orden inferior = 0, (3,24)
k, l = 1
dnde UN kl son ( metro metro) matrices y moldes u = (u 1, . . . , u m) T. Asumimos UN kl =

UN Lc, que es ninguna restriccin de la generalidad proporcionado u do 2 se satisface. Al igual que en los
apartados anteriores, la clasi fi cacin se desprende de la cuestin de si o no podemos calcular
formalmente la solucin de las ecuaciones diferenciales di ff, si se les da su fi cientemente muchos datos
sobre un colector inicial. Dejar que el colector inicial S ser dada por (x) = 0 y asumir que 6 = 0. El
mapeo
x = x (), ver secciones anteriores, conduce a
norte
UN kl x k x l v norte n = trminos conocidos en S,
k, l = 1
dnde v () = u (x ()).
La ecuacin caracterstica es aqu

norte
det UN kl x k x l = 0.
k, l = 1
Si hay una solucin con 6 = 0, entonces es posible que la segunda derivadas no son continuas
en un barrio de S.
De fi nicin. El sistema se llama elptico Si

norte
det UN kl k l 6=0
k, l = 1
para todos R norte, 6 = 0.

3.4. SISTEMAS de segundo orden 83
3.4.1 Ejemplos
1. ecuaciones de Navier-Stokes
El sistema de Navier-Stokes para un lquido incompresible viscoso es
v t + ( v x) v = - 1
x p + 4x v
re iv x v = 0,
dnde es la densidad (constante y positivo) de lquido,

es la viscosidad (constante y positivo) de lquido,
v = v (x, t) vector de velocidad de partculas de lquido, x R 3 o en R 2,
p = p (x, t) presin.
El problema consiste en encontrar soluciones v, p del sistema anterior.
2. elasticidad lineal
Considere el sistema
2 u T 2 = 4 x u + ( + ) x( re iv x u) + F. (3,25)
Aqu es, en el caso de un cuerpo elstico en R 3,

u (x, t) = (u 1 ( x, t), u 2 ( x, t), u 3 ( x, t)) vector de desplazamiento,
f (x, t) densidad de fuerza externa,
( constante) densidad,
, ( positivas) constantes Lam'e.
La ecuacin caracterstica es det C = 0, donde las entradas de la matriz

do estn dadas por
( | x | 2 - 2 t )
do ij = ( + ) x yo x j + ij .
La ecuacin caracterstica es
(( + 2 ) | x | 2 - 2 t ) ( | x | 2 - 2 t ) 2 = 0.
De ello se desprende que las dos velocidades Erent di ff PAG de superficies caractersticos S ( t), definida por (x, t) = const., son
posibles, a saber,

+2
PAG 1 = , y PAG 2 =
.
Recordamos que P = - t / | x |.
3.5 Teorema de Cauchy-Kovalevskaya
Considere el sistema cuasi-lineal de primer orden (3.14) de la Seccin 3.3. Asumir una colectores iniciales S es
dado por (x) = 0, 6 = 0, y supongamos que No es caracterstico. A continuacin, ver la seccin 3.3, el
sistema (3.14) se puede escribir como

norte - 1
u xn= un yo( x, u) u x i + b (x, u) (3,26)

i=1
u (x 1, . . . , x norte - 1, 0) = f (x 1, . . . , x norte - 1) (3,27)
Aqu est u = (u 1, . . . , u m) T, b = (b 1, . . . , segundo Nuevo Testamento y un yo son ( metro metro)- matrices. Asumimos un yo, segundo
y F se encuentran en do con respecto a sus argumentos. A partir de (3.26) y (3.27) se deduce que podemos
calcular formalmente todos los derivados re u en un alojad del plano { x: x n = 0}, en particular en un entorno de 0
R norte. As pues, tenemos una serie de potencias formal de u (x) a x = 0:
u (x) ~ 1
D! u ( 0) x .
Para notaciones y de fi niciones utilizadas aqu y en lo que sigue vase el apndice de esta seccin.
Entonces, como por lo general, se plantean dos cuestiones:
(I) las series de potencias convergen en un entorno de 0 R norte?
(Ii) Es una serie de potencias convergente una solucin del problema de valor inicial (3.26), (3.27)?
Observacin. Muy di ff Erent a este mtodo de series de potencias es el mtodo de

expansiones asintticas. Aqu uno est interesado en una buena aproximacin de una solucin desconocida
de una ecuacin por una suma finita norte
i = 0 yo( x) de funciones
yo. En general, la suma infinita i = 0 yo( x) no converge, en contraste
con el mtodo de series de potencias de esta seccin. Ver [15] para algunas frmulas asintticas en
capilaridad.
Teorema 3.1 ( Cauchy-Kovalevskaya). Hay una zona de 0 R norte

tal que hay una solucin analtica real del problema de valor inicial (3.26), (3.27). Esta solucin es
nica en la clase de funciones analticas reales.
3.5. Teorema de la Cauchy-Kovalevskaya 85
Prueba. La prueba se toma de F. John [10]. introducimos u - F como la nueva solucin para los que
estamos mirando y aadimos una nueva coordenada u? al vector solucin configurando U? (x) = x norte. Entonces
u? x n = 1, u? x k = 0, k = 1, . . . , norte - 1, u? (x 1, . . . , x norte - 1, 0) = 0
y el sistema extendido (3.26), (3.27) es

u 1, x norte u 1, x yo segundo 1
.. ( un yo 0 ) ..
..

norte - 1
. . .
= + ,
u m, x norte 00 u m, x yo metro
segundo
i=1
u? x norte u? x yo 1
donde la condicin inicial asociado es u (x 1, . . . , x norte - 1, 0) = 0. La nueva u

es u = (u 1, . . . , u m) T, el nuevo un yo son un yo( x 1, . . . , x norte - 1, u 1, . . . , u metro, u?) y el nuevo segundo es b = (x 1, . . . , x norte - 1, u 1, . . . , u metro,
u?) T.
Por lo tanto nos lleva a un problema de valor inicial del tipo

norte - 1
norte
u j, x n = un ijk ( z) u k, x i + segundo j ( z), j = 1, . . . , norte (3,28)
i=1 k=1
u j ( x) = 0 si x n = 0, (3,29)
dnde j = 1, . . . , norte y z = (x 1, . . . , x norte - 1, u 1, . . . , u NORTE).

El punto aqu es que un ijk y segundo j son independientes de x norte. Este hecho simplifica ca la prueba
del teorema.
A partir de (3.28) y (3.29) podemos calcular formalmente todos re u j. Entonces tenemos series
formales de u j:
u j ( x) ~ do( j) x ,

dnde
do( j) = 1
D! u j ( 0).
Vamos a demostrar que estas series son convergentes de energa (absoluta) en un entorno de 0 R norte,
es decir, son funciones analticas reales, vase el apndice para la definicin de las funciones reales
analticas. La insercin de estas funciones en la izquierda y en el lado derecho de (3.28) se obtiene de
la derecha y en las funciones reales analticas lado izquierdo. Esto sigue puesto que las composiciones
de funciones reales analticas son analtica real otra vez, ver la Propuesta A7 del apndice de esta
seccin. La serie de potencias resultante de la izquierda y en el
derecho tienen los mismos coeficientes coe fi cientes causada por el clculo de los derivados
re u j ( 0) a partir de (3.28). Resulta que u j ( x), j = 1, . . . , norte, definida por la serie de potencias formales son
soluciones del problema de valor inicial (3.28), (3.29).
Conjunto ( )
d= , . . . , z N + n - 1
z 1
Lema A. Asumir u do en un barrio de 0 R norte. Entonces

( )
re u j ( 0) = PAG re un ijk ( 0), re segundo j ( 0) ,
donde | |, | | | | y PAG son polinomios en los argumentos indicados con

no negativo enteros como coe fi cientes que son independiente de un yo y de
segundo.
Prueba. Se deduce de la ecuacin (3.28) que
re norte re u j ( 0) = PAG ( re un ijk ( 0), re segundo j ( 0), re u k ( 0)). (3,30)
Aqu est re n = / x norte y , , , satisfacer las desigualdades
| |, | | | |, | | | | + 1,
y, lo que es esencial en la prueba, las ltimas coordenadas en el multi-ndices

a = ( 1, . . . , norte), = ( 1, . . . , norte) satisfacer norte norte ya que el lado derecho de (3.28) es independiente de x norte.
Por otra parte, se deduce a partir de (3.28) que los polinomios PAG tienen enteros como coe fi cientes. La
condicin inicial (3.29) implica
re u j ( 0) = 0, (3,31)
dnde a = ( 1, . . . , norte - 1, 0), es decir, n = 0. Entonces, la prueba es por induccin con respecto a norte. La
induccin comienza con n = 0, entonces reemplazamos
re u k ( 0) en el lado derecho de (3.30) por (3.31), es decir por cero. Entonces se deduce a partir de
(3.30) que
re u j ( 0) = PAG ( re un ijk ( 0), re segundo j ( 0), re u k ( 0)),
dnde a = ( 1, . . . , norte - 1, 1). 2
De fi nicin. Dejar f = (f 1, . . . , F metro), F = (F 1, . . . , F metro), F i = F yo( x), F i = F yo( x),

y f, F do . Decimos F es majorized por F Si
| re F k ( 0) | re F k ( 0), k = 1, . . . , metro
para todos . Nosotros escribimos f << F, Si F se majorized por F.
De fi nicin. El problema de valor inicial

norte - 1
norte
T j, x n = UN ijk ( z) U k, x i + segundo j ( z) (3,32)
i=1 k=1
T j ( x) = 0 Si x n = 0, (3,33)
j = 1, . . . , N / A ijk, segundo j analtica real ist llamada problema majorizing a (3.28), (3.29) si
un ijk << UN ijk y segundo j << segundo j.
Lema B. La serie formal
1
D! u j ( 0) x ,

dnde re u j ( 0) se definen en el Lema A, es convergente en un barrio de

0 R norte si existe un problema majorizing que tiene una verdadera solucin analtica
T en x = 0, y
| re u j ( 0) | re T j ( 0).
Prueba. Se deduce de Lemma A y de la suposicin de Lemma B que

(| re un ijk ( 0) |, | re segundo j ( 0) |)
| re u j ( 0) | PAG
(| re UN ijk ( 0) |, | re segundo j ( 0) |) re T j ( 0).
PAG
La serie formal
1
D! u j ( 0) x ,

es convergente desde
1 1
! | D u j ( 0) x | D! T j ( 0) | x |.

El lado derecho es convergente en un barrio de x R norte por supuesto.

2
Lemma C. Hay un problema majorising que tiene una solucin analtica real.
Prueba. Ya que un IIJ ( z), b j ( z) son analticas real en un barrio de z = 0 se deduce de la Propuesta A5 del
apndice de esta seccin que no son constantes positivas METRO y r de tal manera que todas estas
funciones estn majorized por
mr r - z 1 -. . . - z N +
.
n-1
Por lo tanto es un problema majorizing
( )
Seor
norte - 1
norte
T j, x n = 1+ T k, x yo
r - x 1 -. . . - x norte - 1 - T 1 -. . . - T norte
i=1 k=1
T j ( x) = 0 si x n = 0,
j = 1, . . . , NORTE.
La solucin de este problema es
T j ( x 1, . . . , x norte - 1, x n) = V (x 1 + . . . + x norte - 1, x norte), j = 1, . . . , NORTE,
dnde V (s, t), s = x 1 + . . . + x norte - 1, t = x norte, es la solucin del problema de valor inicial Cauchy
mr r - s - NV ( 1 + N (n - 1) V s) ,
Vt=
V (s, 0) = 0.
que tiene la solucin, ver un ejercicio,
( )
V (s, t) = 1 r - s - ( r - s) 2 - 2 nMNrt .
nn
Esta funcin es real analtica en ( s, t) en (0, 0). Resulta que T j ( x) Tambin son funciones reales analticas. De
este modo se muestra el teorema de Cauchy-Kovalevskaya.
2
Ejemplos:
1. ecuaciones diferenciales ordinarias di ff
Considere el problema de valor inicial
y '( x) = f (x, y (x)) y (x 0) = y 0,
dnde x 0 R y y 0 R norte son dados. Asumir f (x, y) es analtica real en un entorno de ( x 0, y 0) R R norte. Entonces
se deduce del teorema anterior que existe una solucin analtica y (x) del problema de valores
iniciales en un barrio de x 0. Esta solucin es nico en la clase de las funciones analticas de acuerdo
con el teorema de Cauchy-Kovalevskaya. Por el teorema PicardLindelof se deduce que esta
solucin analtica es nico, incluso en la clase de do 1- funciones.
2. parciales ecuaciones diferenciales di ff de segundo orden
Considere el problema de contorno para dos variables
u yy = f (x, y, u, u x, u Y, u xx, u xy)
u (x, 0) = (x) u y ( x, 0) =
(x).
Asumimos que , son analticas en un entorno de x = 0 y que F

es analtica real en un barrio de
(0, 0, ( 0), '( 0), ( 0), '( 0)).
Existe una solucin analtica real en un alojad de 0 R 2 del problema de valor inicial anteriormente.
En particular, hay una solucin analtica real en un alojad de 0 R 2

del problema de valor inicial
4u=1
u (x, 0) = 0
u y ( x, 0) = 0.
La demostracin sigue escribiendo el problema anterior como un sistema. Conjunto p = u x,
q = u Y, r = u xx, s = u xy, t = u aa, entonces
t = f (x, y, u, p, q, r, s).
Conjunto T = (U, p, q, r, s, t) T, b = (q, 0, t, 0, 0, F y + F u q + f q t) T y

00000000100000
00000000100000

0 1 0 0 F pag 0 F r F s
A= .

Entonces la ecuacin diferencial di ff reescrito es el sistema T y = AU x + segundo con la condicin inicial
U (x, 0) = ( (x), '( x), (x), '' ( x), '( x), f 0 ( x)) ,
dnde F 0 ( x) = f (x, 0, (x), '( x), (x), '' ( x), '( x)).
3.5.1 Apndice: real funciones analticas
notacin multindice
La siguiente notacin multi-ndice simplificado fi ca muchas presentaciones de frmulas. Dejar x = (x 1, . . . , x

norte) y
u: R norte 7 R ( o R metro para los sistemas).
El n-tupla de enteros no negativos (incluyendo el cero)
a = ( 1, . . . , norte)
se llama multi-ndice. Conjunto
| | = 1 + . . . + norte
! = 1! 2! . . . norte!
x = x 1 1 x 22 . . . x norte n( para un Monom)
re k =
x k
D = (D 1, . . . , re norte)
Du = (D 1 u,. . . , D norte u) u gramo rad u
||
re = re 1 1 re 22 . . . re norte norte
.
x 11 x 2 2. . . x norte norte
De fi ne un orden parcial por
si y solo si yo yo para todos yo.
A veces usamos las notaciones
0 = ( 0, 0. . . , 0), 1 = ( 1, 1. . . , 1),
dnde 0, 1 R norte.
El uso de esta nocin multi-ndice, tenemos
1.
!
( x + y) =
! ! x y ,
, +
=
dnde x, y R norte y , , son multi-ndices.
2. expansin de Taylor para una polinomio f (x) de grado metro:
1
f (x) =
! (RE F( 0)) x ,
| | metro
aqu est re F( 0): = ( re f (x)) | x = 0.
3. Dejar x = (x 1, . . . , x norte) y metro 0 un nmero entero, entonces
metro!
( x 1 + . . . + x n) m =
! x .
||=m
4.
! | |! n | | !.
5. regla de Leibniz:
!
re ( fg) =
! gamma! (RE f) (D gramo).
, +
=
6.
!
re x =
( - )! x - Si ,
re x = 0 en caso contrario.
7. Derivado direccional:
re metro | |!
dt metro f (x + ty) = ! (RE f (x + ty)) y ,
||=m
dnde x, y R norte y t R.
8. El teorema de Taylor: Let u do m + 1 en un barrio Nueva York) de Y, Entonces s

x Nueva York),
1
u (x) =
! (RE u (y)) (x - y) + R metro,
| | metro
dnde
1
Rm=
! (RE u (+ y (x - y))) x , 0 < < 1,
||=m+1
= (u, m, x, y), o
1
Rm= 1 (1 - t) metro ( m + 1) ( t) dt,
metro! 0
donde ( t) = u (y + t (x - y)). Se deduce de 7. ese
( 1 )
1
R m = ( m + 1) (1 - t) D u (y + t (x - y)) dt ( x - y) .
! 0
||=m+1
9. Usando la notacin multi-ndice, la parcial di ff ecuacin diferencial lineal general de orden metro puede
escribirse como

un ( x) D u = f (x) en R norte.
| | metro
serie de potencias
Aqu recogemos algunas de fi niciones y los resultados de las series de potencias en R norte.
De fi nicin. Dejar do R ( o R metro). Las series

do do
m=0 ||=m
se dice que es convergente si

| do | | do |
m=0 ||=m
es convergente.
Observacin. De acuerdo con lo anterior definicin, una serie convergente es absolutamente convergente.
De ello se desprende que podemos cambiar el orden de adicin.
Utilizando la notacin multi-ndice de arriba y teniendo en cuenta que podemos reordenar las series
convergentes, tenemos
10. Dejar x R norte, entonces

( )
norte
x= x yoyo
i=1 i= 0
1
=
(1 - x 1) ( 1 - x 2) . . . ( 1 - x norte)
1 ( 1 - x) 1,
=
proporcionada | x i | < 1 es satisfecha para cada yo.
11. Asumir x R norte y | x 1 | + | x 2 | + . . . + | x n | < 1, entonces
| |! | |!
! x = ! x
j=0 ||=j

= ( x 1 + . . . + x Nueva Jersey
j=0
1 1 - ( x 1 + . . . + x norte)
= .
12. Dejar x R n, | x i | < 1 para todos yo, y es un multi-ndice dado. Entonces
! 1 ( 1 - x)
1
( - )! x - = re

!
=
( 1 - x) 1+ .
13. Dejar x R norte y | x 1 | + . . . + | x n | < 1. A continuacin,
| |! 1 1 - x 1 -. . . - x
( - )! x - = re norte

| |!
=
(1 - x 1 -. . . - x norte) 1+ | | .
Considere la serie de potencias
do x (3,34)

y asumir esta serie es convergente para una z R norte. Entonces, por definicin,
: = | do || z | <

y la serie (3.34) es uniformemente convergente para todos x Q (z), dnde
Q (z): | x i | | z i | para todos yo.
Por lo tanto la serie de potencias (3.34) define un funcin continua de fi nido en Q (z),
de acuerdo con un teorema de Weierstrass.
El interior de Q (z) no est vaco si y slo si z yo 6 = 0 para todos yo, ver
Figura 3.7. por dada x en un subconjunto compacto fijada re de Q (z) hay un

q, 0 < q < 1, de manera que
| x i | q | z i | para todos yo.
Conjunto
f (x) = do x .

re
z Q (z)
Figura 3.7: Definicin de re Q (z)
La Propuesta A1. ( yo) En cada subconjunto compacto re de Q (z) uno tiene F

do ( RE) y la serie formal de erentiate di ff, que es re do x , es uniformemente
convergente sobre el cierre de re y es igual a re F.
(Ii)
| re f (x) | M | |! R - | | en RE,
dnde
M= r = ( 1 - q) min | z i |.
(1 - q) n, yo
Prueba. Ver F. John [10], p. 64. O un ejercicio. Pista: frmula Uso 12. dnde
x se sustituye por ( q,. . . , Q).
Observacin. A partir de la proposicin anterior se deduce
do = 1
D! F( 0).
De fi nicin. Asumir F se define en un dominio R norte, entonces F se ha dicho

analtica real en y si hay do R y si hay un barrio
Nueva York) de y de tal manera que
f (x) = do ( x - y)

para todos x Nueva York), y las serie converge (absolutamente) para cada x Nueva York).
Una funcin F se llama analtica real en si es real analtica para cada y . Escribiremos F do ( )
en el caso de que F es analtica real en el dominio . Una funcin de vector valorada f (x) = (f 1 ( x), . . . , f metro)
se llama analtica real si cada coordenada es real analtica.
Propuesta A2. ( yo) Dejar F do ( ). Entonces F do ( ).
(Ii) Asumir F do ( ). Luego, para cada y existe un entorno

Nueva York) y constantes positivas Seor de tal manera que
1
f (x) =
! (RE f (y)) (x - y)

para todos x Nueva York), y las serie converge (absolutamente) para cada x Nueva York),
y
| re f (x) | M | |! R - | |.
La prueba se sigue de la Proposicin A1.
Un conjunto abierto R norte se llama conectado Si no es una unin de dos conjuntos abiertos no vacos
con interseccin vaca. Un conjunto abierto R norte est conectado si y slo si su trayectoria conectado,
vase [11], pp. 38, por ejemplo. Decimos que es camino conectado si por cualquier x, y hay una curva
continua (t) , 0 t 1, con ( 0) = x y ( 1) = y. A partir de la teora de una variable compleja sabemos
que una continuacin de una funcin analtica se determina de forma nica. Lo mismo es cierto para las
funciones reales analticas.
A3 proposicin. Asumir F do ( ) y est conectado. Entonces F se determina nicamente si por una z

todo re f (z) son conocidos.
Prueba. Ver F. John [10], p. 65. Suponga g, h do ( ) y re g (z) = D h (z)

para cada . Conjunto f = g - marido y
1 = { x : re f (x) = 0 para todos },
2 = { x : re f (x) 6 = 0 para por lo menos una }.
El conjunto 2 est abierto desde re F son continuas en . El conjunto 1 Tambin est abierto desde f (x) = 0
en un barrio de y 1. Esto se deduce de
1
f (x) =
! (RE f (y)) (x - y) .

Ya que z 1, es decir, 1 6 = , se sigue 2 = . 2
Se ha demostrado en la Proposicin A2 que los derivados de una funcin analtica real satisfacen las
estimaciones. Por otro lado se sigue, vase la siguiente proposicin, que una funcin F do es real
analtica si estas estimaciones son satisfechas.
De fi nicin. Dejar y y Seor constantes positivas. Entonces F se dice que es en la clase do Seor( y) Si
F do en un barrio de y y si
| re f (y) | M | |! R - | |
para todos .
A4 proposicin. F do ( ) si y solo si F do ( ) y para cada subconjunto compacto S no son

constantes positivas Seor de tal manera que
F do Seor( y) para todos y S.
Prueba. Ver F. John [10], pp. 65-66. Vamos a probar la versin local de la proposicin, es decir,
mostramos que para cada fijada y . La versin general, se sigue de Heine-Borel teorema. Debido
a la Propuesta A3 queda por demostrar que la serie de Taylor
1
D! f (y) (x - y)

converge (absolutamente) en una vecindad de y y que esta serie es igual a f (x).
De fi ne un barrio de y por
norte re( y) = {x : | x 1 - y 1 | + . . . + | x norte - y n | < re},
dnde re es una constante positiva suficientemente pequea su fi. Establecer ( t) = f (y + t (x - y)).
El teorema de Taylor unidimensional dice
j-1
1
f (x) = (1) =
k! ( k) ( 0) + r j,
k=0
dnde 1
rj= 1 (1 - t) j - 1 ( j) ( t) dt.
( j - 1)! 0
A partir de la frmula 7. para los derivados direccionales que aplica para x norte re( y) ese
1 re j 1
j! dt j ( t) = D! f (y + t (x - y)) (x - y) .
||=j
A partir de la suposicin y la frmula multinomial 3. nos pasa por 0 t 1

|||| 1 |||| METRO
re j | |!
j! dt j ( t) ! r - | | | ( x - y) |
||=j
= Seor - j (| x 1 - y 1 | + . . . + | x norte - y n |) j
( re ) j
METRO .
r
Escoger d> 0 tal que d <r, a continuacin, la serie de Taylor converge (absolutamente) en norte re( y) y es
igual a f (x) ya que los fi ca resto satis, consulte la estimacin anterior,
|||| 1 |||| METRO( re ) j

1 ( j - 1)!
| rj|= (1 - t) j - 1 j ( t) dt .
0 r
Recordamos que la notacin f << F (f se majorized por F) se defini en la seccin anterior.
A5 proposicin. ( yo) f = (f 1, . . . , F metro) do Seor( 0) si y solo si f <<

(, . . . , ), dnde
mr r - x 1 -. . . - x norte
( x) = .
(Ii) F do Seor( 0) y F( 0) = 0 si y solo si
f << ( - M,. . . , - METRO),
dnde
( x) = M (x 1 + . . . + x norte) .
r - x 1 -. . . - x norte
Prueba.
re (0) = M | |! R - | |.
Observacin. La definicin de f << F implica, trivialmente, que re f << D F.
El siguiente proposicin muestra que las composiciones majorize si las funciones involucradas majorize. Ms
precisamente, tenemos
A6 proposicin. Dejar f, F: R norte 7 R metro y g, G mapas de un barrio

0 R metro dentro R pag. Asumir todas las funciones f (x), F (x), g (u), G (u) se encuentran en do ,
F( 0) = F( 0) = 0, f << F y g << G. Entonces g (f (x)) << G (F (x)).
Prueba. Ver F. John [10], p. 68. Conjunto
h (x) = g (f (x)), H (x) = G (F (x)).
Para cada coordenada marido k de marido tenemos, de acuerdo con la regla de la cadena,
re marido k ( 0) = PAG ( gramo l ( 0), re F j ( 0)),
dnde PAG son polinomios con no negativo enteros como coe fi cientes, PAG son independientes de gramo o
F y : = ( / u 1, . . . , / u metro). As,
| re marido k ( 0) | PAG (| gramo l ( 0) |, | re F j ( 0) |)
PAG ( GRAMO l ( 0), re F j ( 0)) = re MARIDO k
( 0).
Utilizando este resultado y la Proposicin A4, que caracteriza a las funciones reales de anlisis, se deduce que las
composiciones de funciones analticas reales son funciones analticas reales de nuevo.
A7 proposicin. Asumir f (x) y Gu) son analticas real, entonces g (f (x)) es verdadera si analtica f (x) est en el
dominio de definicin de gramo.
Prueba. Ver F. John [10], p. 68. Supongamos que F mapas de un barrio

y R norte en R metro y gramo mapas de un barrio v = f (y) en R metro. Entonces
F do Seor( y) y gramo do , ( v) implica
h (x): = g (f (x)) do , r / (mM + ) ( y).
Una vez que se ha demostrado que esta inclusin, la proposicin se sigue de la Propuesta A4. Para mostrar la
inclusin, establecemos
h (y + x): = g (f (y + x)) g (v + f (y + x) - f (x)) =: g * ( F * ( x)),

dnde v = f (y) y
gramo * ( u): = g (v + u) do , ( 0)
F * ( x): = f (y + x) - f (y) do Seor( 0).
En las frmulas anteriores V, Y se consideran como parmetros fijos. De A5 proposicin se sigue
F * ( x) << ( - M,. . . , - M) =: F g * ( u) << ( , . . . , ) =: GRAMO,
dnde
mr r - x 1 - x 2 -. . . - x norte
( x) =
- x 1 - x 2 -. . . - x
( u) = .
norte
A partir de la Propuesta A6 obtenemos
h (y + x) << ( (x),..., (x)) G (F),
dnde
- metro( ( x) - METRO)
(x) =
(r - x 1 -. . . - x norte)
=
r - ( + mM) (x 1 + . . . + x norte)
r
<<
r - ( + mM) (x 1 + . . . + x norte)
r / ( + mM) r / ( + mM) - ( x 1
= +... x norte) .
Ver un ejercicio para el << - la desigualdad. 2

3.6. CEREMONIAS 101
3.6 Ejercicios
1. Sea : R norte R en do 1, 6 = 0. Demostrar que para dar x 0 R norte ah

est en una vecindad de x 0 un eomorphism di ff locales = ( x), : ( x 1, . . . , x norte) 7 ( 1, . . . , norte), de
tal manera que n = (x).
2. Demostrar que la ecuacin diferencial di ff
a (x, y) u xx + 2 b (x, y) u xy + c (x, y) u yy + trminos de orden inferior = 0
es elptica si C.A - segundo 2> 0, si parablica C.A - segundo 2 = 0 e hiperblica si

C.A - segundo 2 < 0.
3. Demostrar que en el caso hiperblico existe una solucin de x + 1 y =

0, vase la ecuacin (3.9), de manera que 6 = 0.
Insinuacin: Consideremos un problema de valor inicial apropiado de Cauchy.
4. Mostrar la ecuacin (3.4).
5. Encuentre el tipo de
Lu: = 2 u xx + 2 u xy + 2 u yy = 0
y transformar esta ecuacin en una ecuacin con desvanecimiento derivados mixtos

utilizando el mapeo ortogonal (transformada de eje principal) x = Uy, U ortogonal.
6. Determinar el tipo de la siguiente ecuacin en ( x, y) = ( 1, 1/2).
Lu: = xu xx + 2 Yu xy + 2 XYU yy = 0.
7. Encuentra todos do 2- soluciones de
u xx - 4 u xy + u yy = 0.
Insinuacin: Transformar para eje principal y el estiramiento de plomo eje a la ecuacin de onda.
8. Oscilaciones de un haz se describen por
wx- 1
E t = 0
x - pw t = 0,
dnde tensiones, w deflexin de la viga y E, son constantes positivas.
a) Determinar el tipo de sistema.

b) transformar el sistema en dos ecuaciones desacoplados, es decir, w,
ocurrir slo en una ecuacin, respectivamente.
c) encontrar soluciones no cero.
9. Encontrar soluciones no triviales ( 6 = 0) de la ecuacin caracterstica para
x 2 u xx - u yy = f (x, y, u, u),
dnde F es dado.
10. Determinar el tipo de
u xx - xu yx + u yy + 3 u x = 2 x,
dnde u = u (x, y).
11. Transformar ecuacin
u xx + ( 1 - y 2) u xy = 0,
u = u (x, y), en su forma normal.
12. Transformar el Tricomi-ecuacin
Yu xx + u yy = 0,
u = u (x, y), dnde y < 0, en su forma normal.
13. Transformar ecuacin

x 2 u xx - y 2 u yy = 0,
u = u (x, y), en su forma normal.
14. Demostrar que

1 (1 + | p | 2) 3/2, = 1 (1 + | p | 2)
= 1/2.
son el mnimo y el mximo de los valores propios de la matriz ( un ij),

dnde ( )
un ij = ( 1 + | p | 2) - 1/2 ij - pag yo pag j .
1 + | p |2
15. Demostrar que las ecuaciones de Maxwell son un sistema hiperblico.

3.6. CEREMONIAS 103
16. Considerar las ecuaciones de Maxwell y demostrar que d iv E = 0 y d iv H = 0

para todos t Si estas ecuaciones se satisfacen por un tiempo fijada t 0.
Insinuacin. re iv r ot A = 0 para cada do 2- vector de campo A = (A 1, UN 2, UN 3).
17. Supongamos una superficie caracterstica S ( t) en R 3 se define por (x, y, z, t) =

const. de tal manera que t = 0 y z 6 = 0. Demostrar que S ( t) tiene una representacin paramtrica z =
u (x, y, t) con u t = 0, es decir S ( t) es independiente de t.
18. Demostrar la frmula (3.22) para la normal sobre una superficie.
19. Demostrar la frmula (3.23) para la velocidad de la superficie S ( t).
20. escribir el sistema de Navier-Stokes como un sistema del tipo (3.24).
21. muestran que el sistema siguiente (elasticidad lineal, caso estacionaria de (3.25) en el caso de dos
dimensiones) es elptica
4 u + ( + ) graduado (div u) + F = 0,
dnde u = (u 1, u 2). El vector f = (f 1, F 2) se da y , mu son constantes positivas.
22. discutir el tipo de sistema siguiente en la dinmica de gas estacionarias (isentrop fl ow) en R 2.
uu x + vu y + un 2 x = 0
uv x + vv y + un 2 y = 0
(u x + v y) + u x + v y = 0.
Aqu estn ( u, v) vector de velocidad, densidad y a = pag '( ) la velocidad del sonido.
23. Mostrar frmula 7. ( derivado direccional).
Insinuacin: La induccin con respecto a metro.
24. Let y = y (x) ser la solucin de:
y '( x) = f (x, y (x)) y (x 0) = y 0,

dnde F es analtica real en un entorno de ( x 0, y 0) R 2. Encontrar el polinomio PAG de grado 2 de

tal manera que
y (x) = P (x - x 0) + O (| x - x 0 | 3)
como x x 0.
25. Let u ser la solucin de
4u=1
u (x, 0) = u y ( x, 0) = 0.
Encontrar el polinomio PAG de grado 2 de tal manera que
u (x, y) = P (x, y) + O ((x 2 + y 2) 3/2)
como ( x, y) ( 0, 0).
26. Resolver el problema de valor inicial Cauchy
mr r - s - NV ( 1 + N (n - 1) V s)
Vt=
V (s, 0) = 0.
Insinuacin: Multiplicar la ecuacin diferencial con di ff ( r - s - NV).
27. Comentario 4 2 u = - u como un sistema de primer orden.
Insinuacin: 4 2 u 4 (4 u).
28. Escribe la ecuacin superficie mnima

ux uy
+ =0
x y
1 + u2x+ u2y 1 + u2x+ u2y
como un sistema de primer orden.

Insinuacin: v 1: = u x/ 1 + u 2 x + u 2 Y, v 2: = u a / 1 + u 2 x + u 2 y.
29. Let f: R R metro R metro ser real analtica en ( x 0, y 0). Demostrar que un verdadero
solucin analtica en un entorno de x 0 del problema
y '( x) = f (x, y) y (x 0) = y 0
existe y es igual a la nica do 1 [ x 0 - , x 0 + ] - solucin del teorema de Picard-LINDELOF, > 0

su fi cientemente pequea.
3.6. CEREMONIAS 105
30. Mostrar (vase la prueba de la proposicin A7)
(r - x 1 -. . . - x norte) r
r - ( + mM) (x 1 + . . . + x n) << r - ( + mM) (x 1 + . . . + x norte) .
Insinuacin: regla de Leibniz.

Captulo 4
ecuaciones hiperblicas
Aqu consideramos ecuaciones hiperblicas de segundo orden, principalmente onda ecuaciones.
ecuacin de onda 4,1 unidimensional
La ecuacin unidimensional de onda viene dada por
1
(4,1)
do 2 u tt - u xx = 0,
dnde u = u (x, t) es una funcin escalar de dos variables y do es una constante positiva. De acuerdo con las
consideraciones anteriores, toda do 2- soluciones de la ecuacin de onda son
u (x, t) = f (x + ct) + G (x - Connecticut), (4,2)
con arbitraria do 2- funciones F y gramo
los Cauchy problema de valor inicial para la ecuacin de onda es encontrar una do 2-
solucin de
1
do 2 u tt - u xx = 0
u (x, 0) = (x) u t ( x, 0) =
(x),
dnde , do 2 ( -, ) son dados.
107
108 Captulo 4. Ecuaciones hiperblicas
Teorema 4.1. Existe una nica do 2 ( R R) - solucin del problema de valores iniciales de Cauchy, y
esta solucin viene dada por D'Alembert de 1 frmula
x + ct
1
u (x, t) = (x + ct) + (x - Connecticut) + (s) ds. (4,3)
2 2 do x - Connecticut
Prueba. Supongamos que hay una solucin u (x, t) del problema de valor inicial Cauchy, entonces se deduce a partir
de (4.2) que
u (x, 0) = f (x) + G (x) = (x) (4,4)
u t ( x, 0) = cf '( x) - cg '( x) = (x). (4,5)
A partir de (4.4) obtenemos
F '( x) + g '( x) = '( x),
lo que implica, junto con (4.5), que
F '( x) = '( x) + (x) / c

2
gramo '( x) = '( x) - (x) / c .

2
Entonces
x
f (x) = (x) beta (s) ds + C 1
2+1 2 do 0
x
g (x) = (x) beta (s) ds + C 2.

2-1 2 do 0
las constantes do 1, do 2 satisfacer
do 1 + do 2 = f (x) + G (x) - (x) = 0,
ver (4.4). As, cada do 2- solucin del problema de valor inicial Cauchy est dada por la frmula de
D'Alembert. Por otro lado, la funcin de u (x, t) definido por el lado derecho de (4.3) es una solucin
del problema de valor inicial. 2
Corolarios. 1. La solucin u (x, t) del problema de valor inicial depende de los valores de en los
puntos extremos del intervalo [ x - ct, x + ct] y en los valores de en este intervalo solamente, vase la
figura 4.1. El intervalo [ x - ct, x + ct]
se llama Dominio de la dependencia.
1 D'Alembert, Jean le Rond Babtiste, 1717-1783

4.2. dimensiones superiores 109
(X,0t)0
x + ct = const.
x 0ct x x 0+ ct x
0 0 0
Figura 4.1: Intervalo de dependencia
2. Dejar PAG ser un punto de la x- eje. Entonces nos preguntamos qu puntos ( x, t) necesitan valores de o
a PAG con el fin de calcular u (x, t)? De la frmula d'Alembert se deduce que este dominio es un cono, vase
la Figura 4.2. Este conjunto se llama dominio de influencia.
x-ct = const.
PAG
Figura 4.2: El dominio de influencia
4.2 dimensiones superiores
Conjunto
2 u = u tt - do 2 4 u, 4 4 x = 2 / x 21 + . . . + 2 / x 2 norte,
y considerar el problema de valor inicial
2 u = 0 en R norte R (4,6)
u (x, 0) = f (x) (4,7)
u t ( x, 0) = g (x), (4,8)
dnde F y gramo son dados do 2 ( R 2) - funciones.

Mediante el uso de medios esfricos y la frmula d'Alembert anteriormente vamos a derivar una frmula
para la solucin de este problema de valor inicial.
Mtodo de medios esfricos
De fi ne la media esfrica para una do 2- solucin u (x, t) del problema de valor inicial por

M (r, t) = 1 U (y, t) dS Y, (4,9)
norte r norte - 1 B r ( x)
dnde
n = ( 2 ) norte/ 2 / ( norte/ 2)
es el rea de la esfera n-dimensional, norte r norte - 1 es el rea de una esfera con radio r.
Desde el teorema del valor medio del clculo integral se obtiene la funcin u (x, t) para los que
estamos mirando por
u (x, t) = lim (4.10)

r0 M (r, t).
Utilizando los datos iniciales, tenemos

1
Seor, 0) = f (y) dS y =: F (r) (4,11)

1
METRO t ( r, 0) = g (y) dS y =: Gramo), (4,12)
que son los medios esfricas de F y gramo.
El siguiente paso es derivar una ecuacin diferencial parcial di ff para la media esfrica. De definicin
(4.9) de la media esfrica obtenemos, despus de la asignacin = (y - x) / r, dnde x y r son fijo,

M (r, t) = 1 u (x + r, t) dS .
norte B 1 ( 0)
Sigue

norte
METRO r ( r, t) = 1 u y yo( x + r, t) yo dS
norte B 1 ( 0)
i=1

1 norte
= u y yo( y, t) yo dS y.
i=1
Integracin por rendimientos de piezas

1
u y yo y yo( y, t) dy
norte r norte - 1 segundo r ( x) n
i=1
ya que ( y - x) / r es la al normal de exterior B r ( x). Asumir u es una solucin de la ecuacin de onda,

entonces

r norte - 1 METRO r = 1 u tt ( y, t) dy
do 2 norte segundo r ( x)
r
=1 u tt ( y, t) dS y corriente continua.
do 2 norte 0 B do( x)
La ecuacin anterior se deduce mediante el uso de coordenadas esfricas. Por consiguiente

( r norte - 1 METRO r) r = 1 u tt ( y, t) dS y
do 2 norte B r ( x)
( )
2 1
= r norte - 1 U (y, t) dS y
do 2 t 2 norte r norte - 1 B r ( x)
= r norte - 1
do 2 METRO tt.
De este modo se llega a la ecuacin diferencial di ff
( r norte - 1 METRO r) r = do - 2 r norte - 1 METRO tt,
que puede ser escrito como
METRO rr + norte - 1 (4,13)

r M r = do - 2 METRO tt.
Esta ecuacin (4.13) se llama ecuacin de Euler-Poisson-Darboux.

4.2.1 Caso n = 3
La ecuacin de Euler-Poisson-Darboux en este caso es
( rM) rr = do - 2 ( rM) tt.
As rM es la solucin de la ecuacin de onda unidimensional con datos iniciales
( rM) (r, 0) = Rf (r) (RM) t ( r, 0) = rG (r). (4,14)
A partir de la frmula D'Alembert obtenemos formalmente
M (r, t) = (r + ct) F (r + ct) + (R - ct) F (r - Connecticut)

2r
r + ct
1
+ G () d. (4,15)
2 cr r - Connecticut
El lado derecho de la frmula anterior es bien definido si el dominio de la dependencia [ x - ct, x + ct] es
un subconjunto de (0, ). Podemos ampliar F y
GRAMO a F 0 y GRAMO 0 los cuales se definen en ( -, ) de tal manera que rF 0 y rG 0 son
do 2 ( R) - funciona como sigue. Conjunto

F (r): r> 0
F 0 ( r) = f (x) :r=0

F( - r): r < 0
La funcin GRAMO 0 ( r) est dada por la misma definicin donde F y F se sustituyen por GRAMO y gramo, respectivamente.
Lema. rF 0 ( r), rG 0 ( r) do 2 ( R 2).
Prueba. A partir de fi nicin de F (r) y G (r), r> 0, se deduce del teorema de valor medio
lim lim
r+0F (r) = f (x), r+0 G (r) = g (x).
As rF 0 ( r) y rG 0 ( r) son DO( R) - funciones. Estas funciones tambin estn en

do 1 ( R). Esto sigue desde F 0 y GRAMO 0 se encuentran en do 1 ( R). Tenemos, por ejemplo,

norte
F '( r) = 1 F y j ( x + r) j dS
norte B 1 ( 0)
j=1

norte
F '(+ 0) = 1 F y j ( x) j dS
norte B 1 ( 0)
j=1

norte
=1 F y j ( x) norte j dS
norte B 1 ( 0)
j=1
= 0.
Entonces, rF 0 ( r) y rG 0 ( r) se encuentran en do 2 ( R), previsto F '' y GRAMO '' estn delimitadas como
r + 0. Esta propiedad se sigue de

norte
F '' ( r) = 1 F y yo y j ( x + r) yo j dS .
norte B 1 ( 0)
i, j = 1
As

norte
F '' (+ 0) = 1 F y yo y j ( x) norte yo norte j dS .
norte B 1 ( 0)
i, j = 1
Recordamos que f, g do 2 ( R 2) por supuesto. 2
La solucin del problema de valor inicial de arriba, donde F y GRAMO se sustituyen por F 0 y GRAMO 0, respectivamente,
es
METRO 0 ( r, t) = (r + ct) F 0 ( r + ct) + (R - ct) F 0 ( r - Connecticut)

2r
r + ct
1
+ G 0 ( ) d.
2 cr r - Connecticut
Ya que F 0 y GRAMO 0 son funciones pares, tenemos
Connecticut - r
G 0 ( ) d = 0.
r - Connecticut
As
METRO 0 ( r, t) = (r + ct) F 0 ( r + ct) - ( Connecticut - r) F 0 ( Connecticut - r)

2r
ct + r
1
+ G 0 ( ) d, (4,16)
2 cr Connecticut - r
r-ct ct-r ct + r
Figura 4.3: Se ha cambiado dominio de integracin
vase la Figura 4.3. Para fijo t> 0 y 0 < r <ct resulta que METRO 0 ( r, t) es la solucin del problema de
valor inicial con dadas inicialmente datos (4.14) desde
F 0 ( s) = F (s), G 0 ( s) = G (s) Si s> 0. Puesto que para fijo t> 0
u (x, t) = lim
r0 METRO 0 ( r, t),
se deduce de la regla de que el Hospital d'
u (x, t) = CTF '( Connecticut) + F (ct) + TG (CT)
= re
dt (tF (ct)) + TG (CT).
Teorema 4.2. Asumir F do 3 ( R 3) y gramo do 2 ( R 3) son dados. Entonces existe una solucin nica u do
2( R 3 [ 0, )) del problema de valor inicial (4.6) - (4.7), donde n = 3, y la solucin se da por la frmula de
Poisson
( )
1
u (x, t) = 1 f (y) dS y
4 c 2 t t B Connecticut( x)

1
+ g (y) dS y. (4,17)
4 c 2 t B Connecticut( x)
Prueba. Arriba hemos demostrado que una do 2- solucin viene dada por la frmula de Poisson. Bajo
el supuesto adicional F do 3 se sigue de Poisson
frmula que esta frmula define un solucin que est en do 2, ver F. John [10],
pag. 129. 2
Corolario. A partir de la frmula de Poisson vemos que el dominio de la dependencia de u (x, t 0) es la

interseccin del cono definido por | y - x | C = | t - t 0 | con el hiperplano definido por t = 0, vase la Figura
4.4
(x,0 t)
| y-x | = c | t-t | 0
Figura 4.4: El dominio de dependencia, caso n = 3
4.2.2 Caso n = 2
Considere el problema de valor inicial
v xx + v yy = do - 2 v tt (4,18)
v (x, y, 0) = f (x, y) (4,19)
v t ( x, y, 0) = g (x, y), (4,20)
dnde F do 3, gramo do 2.
Usando la frmula para la solucin del problema de valor inicial de tres dimensiones que se derivar
una frmula para el caso de dos dimensiones. La siguiente consideracin es llamado El mtodo de
Hadamard de decente.
Dejar v (x, y, t) ser una solucin de (4.18) - (4.20), entonces
u (x, y, z, t): = v (x, y, t)

es una solucin del problema de valor inicial de tres dimensiones con datos iniciales
f (x, y), g (x, y), independiente de z, ya que u ES satisface (4.18) - (4.20). Por lo tanto, desde
u (x, y, z, t) = u (x, y, 0, t) + u z ( x, y, Delta Z, t) z, 0 < < 1, y u z = 0, tenemos
v (x, y, t) = u (x, y, 0, t).
la frmula de Poisson en el caso tridimensional implica

( )
1
v (x, y, t) = 1 f (xi, eta) dS
4 c 2 t t B Connecticut( x, y, 0)

1
+ g (, ) dS. (4,21)
4 c 2 t B Connecticut( x, y, 0)
+
dS S
n
r
re re
_
S
Figura 4.5: Dominios de integracin
Los integrandos son independientes de . La superficie S se define por

(, , ): = ( - x) 2 + ( - y) 2 + 2 - do 2 t 2 = 0. Entonces la normal exterior norte
a S es n = / | | y el elemento de superficie viene dada por dS = ( 1 / | norte 3 |) dd,
donde la tercera coordenada norte es
norte 3 = do 2 t 2 - ( - x) 2 - ( - y) 2 .
Connecticut
4.3. ECUACIN no homognea 117
El signo positivo se aplica en S +, dnde > 0 y t que signo es negativo en S -

dnde < 0, vase la Figura 4.5. Tenemos S = S + S -.
Conjunto = ( - x) 2 + ( - y) 2. Entonces se deduce a partir de (4.21)
Teorema 4.3. La solucin del problema de valor inicial Cauchy (4.18) (4.20) est dada por

f (, )
v (x, y, t) = 1 do 2 t 2 - 2 dd
2 c t segundo Connecticut( x, y)

1 g (, )
+ do 2 t 2 - 2 dd.
2 c segundo Connecticut( x, y)
Corolario. En contraste con el caso tridimensional, el dominio de dependencia es aqu el disco segundo
Connecticut o ( x 0, y 0) y no slo el lmite. Por lo tanto, vase la frmula del Teorema 4.3, si f, g tener soportes
en un dominio compacto re R 2,
a continuacin, estas funciones tienen influencia sobre el valor v (x, y, t) para todas hora t> T, T su fi cientemente grande.
4,3 ecuacin no homognea
Aqu consideramos el problema de valor inicial
2 u = w (x, t) en x R norte, t R (4,22)
u (x, 0) = f (x) (4,23)
u t ( x, 0) = g (x), (4,24)
dnde 2 T: T = tt - do 2 4 u. Asumimos F do 3, gramo do 2 y w do 1, que se dan.
Conjunto u = u 1 + u 2, dnde u 1 es una solucin de problema (4.22) - (4.24) con

w: = 0 y u 2 es la solucin donde f = 0 y g = 0 en (4.22) - (4.24). Ya que tenemos soluciones explcitas u 1 en
los casos n = 1, n = 2 y n = 3, queda por resolver
2 u = w (x, t) en x R norte, t R (4,25)
u (x, 0) = 0 (4,26)
u t ( x, 0) = 0. (4,27)
El siguiente mtodo se llama principio de Duhamel que puede considerarse como una generalizacin del
mtodo de las variaciones de las constantes en la teora de ordinario di ecuaciones diferenciales ff.
Para resolver este problema, hacemos el ansatz

t
u (x, t) = v (x, t, s) ds, (4,28)
0
dnde v es una funcin que satisface
2 v = 0 para todos s (4,29)
y
v (x, s, s) = 0. (4.30)
De ansatz (4,28) y la asuncin (4.30) obtenemos

t
u t = v (x, t, t) + v t ( x, t, s) ds,
0
t
= v t ( x, t, s). (4.31)
0
Sigue u t ( x, 0) = 0. La condicin inicial u (x, t) = 0 se satisface por la ansatz (4,28). A partir de (4.31) y
ansatz (4.28) vemos que
t
u tt = v t ( x, t, t) + v tt ( x, t, s) ds,
0
t
4x u = 4 x v (x, t, s) ds.
0
Por lo tanto, desde u es un ansatz de (4.25) - (4.27),
t
u tt - do 2 4 x u = v t ( x, t, t) + ( 2 v) x, t, s) ds (
0
= w (x, t).
Por lo tanto necesariamente v t ( x, t, t) = w (x, t), ver (4,29). Hemos visto que el ansatz proporciona una
solucin de (4.25) - (4.27) si para todo s
2 v = 0, v (x, s, s) = 0, v t ( x, s, s) = w (x, s). (4.32)
Dejar v * ( x, t, s) ser una solucin de
2 v = 0, v (x, 0, s) = 0, v t ( x, 0, s) = w (x, s), (4,33)
entonces
v (x, t, s): = v * ( x, t - s, s)
es una solucin de (4.32). En el caso n = 3, donde v * est dada por, vase el Teorema
4,2,

v * ( x, t, s) = 1 w (xi, s) dS .
4 c 2 t B Connecticut( x)
Entonces
v (x, t, s) = v * ( x, t - s, s)

1 4 c 2 ( t
= w (xi, s) dS .
- s) B Connecticut - s) ( x)
de ansatz (4.28) se deduce
t
u (x, t) = v (x, t, s) ds
0
t
w (, s) t - s dS ds.
=1
4 c 2 0 B Connecticut - s) ( x)
Modificacin de las variables de = c (t - s) rendimientos

Connecticut
w (, t - / c)
u (x, t) = 1 dS d
4 c 2 0 B ( x)

w (, t - r / c)
=1 d,
4 c 2 segundo Connecticut( x)
r
dnde r = | x - |.
Frmulas para los casos n = 1 y n = 2 seguir de frmulas para la ecuacin homognea asociada
con los valores iniciales no homogneas para estos casos.
Teorema 4.4. La solucin de
2 u = w (x, t), u (x, 0) = 0, u t ( x, 0) = 0,
dnde w do 1, es dado por:
Caso n = 3:
w (, t - r / c)
u (x, t) = 1 d,
4 c 2 segundo Connecticut( x)
r
dnde r = | x - |, x = (x 1, x 2, x 3), = ( 1, 2, 3).

Caso n = 2:
t ( )
w (, )
u (x, t) = 1 do 2 ( t - ) 2 - r 2 d d,
4 c 0 segundo Connecticut - ) ( x)
x = (x 1, x 2), = ( 1, 2).
Caso n = 1:
t ( x + c (t - ) )
u (x, t) = 1 w (, ) d d.
2 do 0 x - Connecticut - )
Observacin. El integrando a la derecha en la frmula para n = 3 se llama potencial retardado. El

integrando no se tiene en t, se toma a una ms temprano hora
t - r / c.
4.4 Un mtodo de Riemann
mtodo de Riemann proporciona una frmula para la solucin del problema siguiente valor inicial
Cauchy para una ecuacin hiperblica de segundo orden en dos variables. Dejar
S: x = x (t), y = y (t), t 1 t t 2,
ser una curva regular en R 2, es decir, suponemos x, y do 1 [ t 1, t 2] y x ' 2+ y ' 2 6 = 0. Conjunto
Lu: = u xy + a (x, y) u x + b (x, y) u y + c (x, y) u,
dnde a, b do 1 y c, f do en un barrio de S. Considere el problema de valor inicial
Lu = f (x, y) (4,34)
u 0 ( t) = u (x (t), y (t)) (4,35)
pag 0 ( t) = u x( x (t), y (t)) (4,36)
q 0 ( t) = u y ( x (t), y (t)), (4.37)
dnde F do en un barrio de S y u 0, pag 0, q 0 do 1 son dados.
Asumimos:
4.4. UN MTODO DE RIEMANN 121
(yo) u ' 0 ( t) = p 0 ( t) x '( t) + q 0 ( t) y '( t) ( condicin tira),
(Ii) S no es una curva caracterstica. Por otra parte asumir que las curvas caractersticas, que son
lneas aqu y se definen por x = const. y y = const.,
tener como mximo un punto de interseccin con S, y un punto tal no es un punto de tocar, es decir,
tangentes de la caracterstica y S son ff on diferente en este punto.
Recordamos que la ecuacin caracterstica para (4.34) es x y = 0, que se satisface si x( x, y) = 0 o y ( x,

y) = 0. Una familia de caractersticas asociadas a estos primer parcial di ff diferencial de orden
primero es definida por
x '( t) = 1, y '( t) = 0, vase el captulo 2.
Asumir u, v do 1 y eso u xy, v xy existir y son continuas. De fi ne la expresin adjunto di ff diferencial por
Mv = v xy - ( AV) x - ( bv) y + CV.
Tenemos
2 ( VLU - UMV) = (u x v - v x u + 2 BUV) y + ( u y v - v y u + 2 AUV) x. (4,38)
Conjunto
P = - ( u x v - x x u + 2 BUV) Q = u y v - v y u + 2 AUV.
A partir de (4.38) se deduce de un dominio R 2

2 ( VLU - UMV) dxdy = ( - PAG y + Q x) dxdy

= PDX + Qdy, (4,39)
donde la integracin en la integral de lnea es en sentido antihorario. La ecuacin anterior se deduce de Gauss
teorema o despus de la integracin por partes:

( - PAG y + Q x) dxdy = ( - pn 2 + qn 1) ds,

dnde n = (dy / ds, - dx / ds), S longitud de arco, ( x (s), y (s)) representa .

Asumir u es una solucin del problema de valor inicial (4.34) - (4.37) y supongamos que v satis fi
ca
mv = 0 en .
P = (x, y)
0 0
UN
segundo
Figura 4.6: el mtodo de Riemann, el dominio de la integracin
Entonces, si integramos sobre un dominio como se muestra en la figura 4.6, se deduce a partir de (4.39) que

2 vf dxdy = PDX + + Qdy PDX + + Qdy PDX + Qdy. ( 4.40)
licenciado en Letras AP PB
La integral de lnea de segundo a UN se conoce a partir de datos iniciales, ver la definicin de PAG y Q.
Ya que
u x v - v x u + 2 BUV = (uv) x + 2 u (bv - v x),
sigue

Pdx + Qdy = - (( UV) x + 2 u (bv - v x)) dx
AP AP
= - ( uv) (P) + (Uv) (A) - 2 u (bv - v x) dx.

AP
Por el mismo razonamiento obtenemos para la tercera lnea integral

Pdx + Qdy = (( UV) y + 2 u (av - v y)) dy
PB PB

= ( UV) (B) - ( uv) (P) + 2 u (av - v y) dy.
PB
4.4. UN MTODO DE RIEMANN 123
Combinando estas ecuaciones con (4.39), obtenemos

2 v (P) u (P) = ( u x v - v x + 2 BUV) dx - ( u y v - v y u + 2 AUV) dy
licenciado en Letras

+ u (A) v (A) + U (B) v (B) + 2 u (bv - v x) dx
AP

+2 u (av - v y) dy - 2 fv dxdy. (4,41)
PB
Dejar v ser una solucin del problema de valor inicial, vase la figura 4.7 para la definicin de dominio D
(P),
P = (x, y) do
0 0 1
D (P)
do 2
Figura 4.7: Definicin de la funcin de Riemann
mv = 0 en D (P) (4,42)
bv - v x = 0 en do 1 (4,43)
AV - v y = 0 en do 2 (4,44)
v (P) = 1. (4,45)
Asumir v ES satisface (4.42) - (4.45), entonces

2 u (P) = u (A) v (A) + U (B) v (B) - 2 fv dxdy

= ( u x v - v x + 2 BUV) dx - ( u y v - v y u + 2 AUV) dy,
licenciado en Letras
donde el lado derecho se conoce a partir de los datos dados.
Una funcin v = v (x, y; x 0, y 0) satisface (4.42) - (4.45) se llama la funcin de Riemann.
Observacin. Conjunto w (x, y) = v (x, y; x 0, y 0) para fijo x 0, y 0. Entonces (4.42) - (4.45) implica
( x )
w (x, y 0) = exp b (, y 0) d en do 1,
x0
( y )
w (x 0, y) = exp hacha 0, ) d en do 2.
y0
Ejemplos
1. u xy = f (x, y), a continuacin, una funcin de Riemann es v (x, y) 1.
2. Considere la ecuacin del telgrafo del captulo 3
u tt = do 2 4 x u - u t,
dnde u representa una coordenada del elctrico o magntico campo. La introduccin de
u = w (x, t) mi t,
dnde = - / ( 2 ), llegamos a
w tt = do 2
4 x w - 2 4 2.
El estiramiento del eje y transformar la ecuacin de la forma normal obtenemos finalmente la

siguiente ecuacin, la nueva funcin se denota por u y las nuevas variables se denotan por x, y de
nuevo,
u xy + Cu = 0,
con una constante positiva do. Hacemos la ansatz para una funcin de Riemann
v (x, y; x 0, y 0) = w (s), s = (x - x 0) ( y - y 0)
y obtener
SO '' + w '+ = cw 0.
4.5. INICIAL y de contorno PROBLEMAS 125
Sustitucin = 4 cs conduce a la ecuacin di ff diferencial de Bessel
2 z '' ( ) + z '( ) + 2 z () = 0,
dnde z () = w ( 2 / ( 4 do)). Una solucin es
( 4 c (x - x 0) ( y - y 0) )
J 0 ( ) = J 0
que define una funcin de Riemann ya J 0 ( 0) = 1.
Observacin. di ff ecuacin diferencial de Bessel es
x 2 y '' ( x) + xy '( x) + (X 2 - norte 2) y (x) = 0,
dnde norte R. Si norte norte { 0}, a continuacin, las soluciones son dadas por funciones de Bessel. Una de las
dos soluciones linealmente independientes est limitada en 0. Esta solucin acotada es la funcin de Bessel J norte( x) de
primera clase y de orden norte, ver [1], por ejemplo.
4.5 problemas de valores iniciales y de contorno
En las secciones anteriores nos fijamos en las soluciones de fi nido para todos x R norte y t R.
En esta y en la siguiente seccin buscamos soluciones u (x, t) de fi nido en un dominio acotado R norte y
para todos t R y que cumplen las condiciones de contorno adicionales sobre .
4.5.1 La oscilacin de una cuerda
Dejar u (x, t), x [ a, b], t R, ser la reflexin de fl de una cadena, vase la figura 1.4 del captulo 1.
Supongamos que la deflexin se produce en la ( x, u) - avin. Este problema se rige por el problema de
valor lmite inicial
u tt ( x, t) = u xx ( x, t) en (0, l) (4,46)
u (x, 0) = f (x) (4,47)
u t ( x, 0) = g (x) (4,48)
u ( 0, t) = u (l, t) = 0. (4.49)
Supongamos que los datos iniciales f, g son su fi cientemente regular. Esto implica condiciones de compatibilidad F( 0)
= f (l) = 0 y gramo( 0) = g (l).
El mtodo de Fourier
Para encontrar soluciones de la ecuacin diferencial di ff (4,46) hacemos la la separacin de variables ansatz
u (x, t) = v (x) w (t).
Insercin de la ansatz en (4.46) obtenemos
v (x) w '' ( t) = v '' ( x) w (t),
o si v (x) w (t) 6 = 0,
w '' ( t) w (t) = v '' ( x)
v (x) .
De ello se desprende, a condicin v (x) w (t) es una solucin de di ff ecuacin diferencial (4.46) y
v (x) w (t) 6 = 0,
w '' ( t) w (t) = const. =: -
y
v '' ( x)
v (x) = -
ya que x, t son variables independientes.

Asumir v ( 0) = v (l) = 0, entonces v (x) w (t) satisface la condicin de contorno (4.49). Por lo tanto
buscamos soluciones del problema de valores propios
- v '' ( x) = v (x) en (0, l) (4,50)
v ( 0) = v (l) = 0, (4,51)
que tiene los valores propios

( ) 2, n = 1, 2, . . . ,
n=
En
y funciones propias asociadas son

( )
v n = pecado .
l nx
Soluciones de
- w '' ( t) = norte w (t)
son
pecado( norte t), cos ( norte t).
Conjunto
w norte( t) = norte cos ( norte t) + norte pecado( norte t),

dnde norte, norte R. Es fcilmente se ve que w norte( televisin norte( x) es una solucin de di ff ecuacin diferencial
(4.46), y, ya que (4.46) es lineal y homogneo, tambin (principio de superposicin)
norte
uN= w norte( televisin norte( x)
n=1
que satisface la ecuacin di ff diferencial (4.46) y las condiciones de contorno (4.49). Considere la
solucin formal de (4.46), (4.49)
( ) ( norte x )
u (x, t) = norte cos ( norte t) + norte pecado( norte t) pecado . (4,52)
n=1
Formal significa que sabemos que aqu tampoco que el lado derecho converge ni que ste es una solucin
del problema inicial y de contorno. Formalmente, los coeficientes de FFI coe desconocidos pueden
calcularse a partir condiciones iniciales (4.47), (4.48) como sigue. Tenemos

u (x, 0) = norte pecado( norte x) = f (x).
n=1
Multiplicando esta ecuacin por el pecado ( k x) e integrar ms (0, l), obtenemos
l l
norte pecado 2 ( k x) dx = f (x) pecado( k x) dx.
0 0
Recordamos que l
pecado( norte x) pecado( k x) dx = l
0 2 nk.
Entonces ( k )
l
k= 2 f (x) pecado dx. (4.53)
l 0 lx
Por el mismo argumento se sigue de
norte pecado( norte x) = g (x)

u t ( x, 0) = norte
n=1
ese l ( k )
k= 2 g (x) pecado dx. (4.54)
k 0 lx
Bajo supuestos adicionales F do 4 0 ( 0, l), g do 3 0 ( 0, l) resulta que

el lado derecho de (4.52), donde norte, norte vienen dados por (4.53) y (4.54),
respectivamente, define una solucin clsica de (4.46) - (4.49) ya que bajo estas suposiciones la
serie para u y la serie FF erentiate formales de di u t, u tt,
u x, u xx converge uniformemente en 0 x l, 0 t T, 0 < T < fi ja, ver un ejercicio.
4.5.2 Oscilacin de una membrana
Let R 2 ser un dominio acotado. Consideramos el problema de valor lmite inicial
u tt ( x, t) = 4 x u en R, (4,55)
u (x, 0) = f (x), x , (4,56)
u t ( x, 0) = g (x), x , (4,57)
u (x, t) = 0 en R. (4,58)
Al igual que en el apartado anterior para la cadena, hacemos el ansatz (separacin de variables)
u (x, t) = w (t) v (x)
lo que conduce al problema de valores propios
-4 v = v en , (4,59)
v = 0 en . (4,60)
Dejar norte son los valores propios de (4.59), (4.60) y v norte un sistema completo ortonormal asociado
de funciones propias. Suponemos es su fi cientemente regular tal que los valores propios son
contables, que se satisface en los siguientes ejemplos. A continuacin, la solucin formal del
problema de valor lmite inicial anterior es
( )
u (x, t) = norte cos ( norte t) + norte pecado( norte t) v norte( x),
n=1
dnde

n= f (x) v norte( x) dx

n= 1 norte g (x) v norte( x) dx.

Observacin. En general, los valores propios de (4.59), (4.59) no se conocen de forma explcita. Hay mtodos
numricos para calcular estos valores. En algunos casos especiales, ver las siguientes ejemplos, estos valores
son conocidos.
Ejemplos
1. membrana rectangular. Dejar
= (0, un) x ( 0, segundo).
Utilizando el mtodo de separacin de variables, encontramos todos los valores propios de (4.59), (4.60) que se dan a
k2
kl =
un 2 + l 2segundo 2, k, l = 1, 2, . . .
y funciones propias asociadas, no normalizaron, son

( k ) ( l )
u kl ( x) = pecado pecado .
hacha 1 bx 2
2. Disco de membrana. Conjunto
= { x R 2: x 21 + x 22 < R 2}.
En coordenadas polares, el problema de valores propios (4.59), (4.60) viene dada por
( )
-1 ( ru r) r + 1 = u (4.61)
r ru
u (R, ) = 0, (4,62)
aqu est u = u (r, ): = v (r cos , r pecado ). Vamos a fi nd valores propios y las funciones propias de la
separacin de variables
u (r, ) = v q (r) (),
dnde v (R) = 0 y q () es peridica con un perodo de 2 ya que u (r, ) es un solo valor. Esto lleva a
(
-1 ( rv ')' q + 1 = vq.
r r VQ '')
dividiendo por VQ, previsto VQ 6 = 0, obtenemos

(( rv '( r)) ' )
-1 = , (4,63)
r v (r) + 1 rq ''q( ()
)
lo que implica
q '' ( )
q () = const. =: - .
Por lo tanto, llegamos a la problema de valores propios
- q '' ( ) = q ()
q () = q ( + 2 ).
De ello se desprende que los valores propios son reales y no negativo. Todas las soluciones de la ecuacin di ff diferencial
estn dadas por
q () = A pecado( ) + B cos ( ),
dnde A, B son constantes reales arbitrarias. Desde el requisito de periodicidad
UN pecado( ) + B cos ( ) = A pecado( ( + 2 )) + B cos ( ( + 2 ))
sigue 2
pecado( ) (A cos ( + ) - segundo pecado( + )) = 0,
lo que implica, desde A, B No son iguales a cero al mismo tiempo, debido a que estamos buscando q no
idnticamente cero,
pecado( ) pecado( + ) = 0
para todos y una = (A, B, ). Por consiguiente, los valores propios son
n = norte 2, n = 0, 1, . . . .
Insercin q '' ( ) / q () = - norte 2 en (4.63), obtenemos el problema de contorno
r 2 v '' ( r) + rv '( r) + (r 2 - norte 2) v = 0 en (0, R) (4,64)
v (R) = 0 (4,65)
cenar | v (r) | < . (4,66)

r ( 0, R)
Conjunto z = r y v (r) = v (z / ) =: y (z), entonces, ver (4.64),
z 2 y '' ( z) + zy '( z) + (Z 2 - norte 2) y (z) = 0,
pecado x - pecado y = 2 cos x + y

2 sen x - y 2
cos x - cos y = - 2 sen x + y

2 sen x - y 2
dnde z> 0. Las soluciones de este di ff ecuaciones diferenciales, que estn delimitadas en cero son funciones de
Bessel de primera especie y norte- orden J norte( z) . Los valores propios se sigue de condicin de contorno (4.65), es
decir, a partir de J norte( R) = 0. denotamos por nk los ceros de J norte( z), a continuacin, los valores propios de (4.61) -
(4.61) son
( nk ) 2
nk =
R
y las funciones propias asociadas son
J norte( nk r) pecado( n), n = 1, 2, . . .
J norte( nk r) cos ( n), n = 0, 1, 2, . . . .
As, los valores propios 0 k son simples y nk, norte 1, son valores propios dobles.
Observacin. Para las tablas con ceros de J norte( x) y por mucho ms propiedades de las funciones de
Bessel ver [25]. Uno tiene, en particular, la frmula asinttica
(2 ) 1/2 ( (1 ) )
J norte( x) = cos ( x - n / 2 - / 5) + O
x x
como x . Se deduce de esta frmula que hay infinitamente muchos ceros de J norte( x).
4.5.3 ecuaciones de onda no homogneos
Let R norte ser una acotada y su fi cientemente dominio regular. En esta seccin consideramos el
problema de valor lmite inicial
u tt = Lu + f (x, t) en R (4,67)
u (x, 0) = (x) x (4,68)
u t ( x, 0) = (x) x (4,69)
u (x, t) = 0 para x y t R norte, (4,70)
dnde u = u (x, t), x = (x 1, . . . , x norte), f, , y se dan L es un operador diferencial di ff elptica. Ejemplos

de L son:
1. L = 2 / x 2, cadena oscilante.
2. L = 4 x, membrana oscilante.
3.
norte ( un ij ( x) u x yo )
Lu = ,
x j
i, j = 1
dnde un ij = un Ji se les da su fi cientemente funciones regulares definida en . Asumimos L es

uniformemente elptica, es decir, hay una constante > 0 tal que
norte
un ij yo j | | 2
i, j = 1
para todos x y R norte.
4. Sea u = (u 1, . . . , u metro) y
norte ( UN ij ( x) u x yo )
Lu = ,
x j
i, j = 1
dnde UN ij = UN Ji se les da su fi cientemente regular ( metro metro)- matrices en . Asumimos que L de fi

ne un sistema elptica. Un ejemplo para este caso es la elasticidad lineal.
Considere el problema de valores propios
- Lv = v en (4,71)
v = 0 en . (4,72)
Supongamos que hay infinitamente muchos valores propios
0 < 1 2 . . .
y un sistema de funciones propias asociadas v 1, v 2, . . . que es completo y ortonormal en L 2 ( ). Esta

suposicin se satisface si es limitada y si
es su fi cientemente regular.
Para la solucin de (4.67) - (4.70) hacemos la ansatz

u (x, t) = v k ( x) w k ( t), (4.73)
k=1
con funciones w k ( t) que se determinar ms tarde. Se supone que todas las series son convergentes
y que los clculos siguientes tienen sentido. Dejar

f (x, t) = do k ( televisin k ( x) (4,74)
k=1
ser descomposicin de Fourier F con respecto a las funciones propias v k. Tenemos

do k ( t) = f (x, t) v k ( x) dx, (4.75)

que sigue a partir de (4.74) despus de multiplicar con v l ( x) e integrando sobre .
Conjunto
< , v k > = (x) v k ( x) dx,

entonces

(x) = < , v k > v k ( x)
k=1

(x) = < , v k > v k ( x)
k=1
son descomposicin de Fourier y , respectivamente.

En lo que sigue vamos a determinar w k ( t), que se produce en ansatz (4,73), del requisito de que u
= v k ( x) w k ( t) es una solucin de
u tt = Lu + c k ( televisin k ( x)
y que las condiciones iniciales
w k ( 0) = < , v k >, w ' k( 0) = < , v k >
son satisfechas. A partir de la ecuacin diferencial anterior ff di sigue
w ''k ( t) = - k w k ( t) + c k ( t).
As
w k ( t) = a k cos ( k t) + b k pecado( k t) (4,76)

t
1
+ k do k ( ) pecado( k ( t - )) d,
0
dnde
un k = < , v k >, segundo k= 1 k < , v k >.
Resumiendo, tenemos
Propuesta 4.2. La solucin (formal) del problema de valor lmite inicial (4.67) - (4.70) est dada por

u (x, t) = v k ( x) w k ( t),
k=1
dnde v k es un sistema completo ortonormal de funciones propias de (4.71), (4.72) y las funciones w k se
definen por (4.76).
El fenmeno de resonancia
Situado en (4.67) - (4.70) = 0, = 0 y asumamos que la fuerza externa F es peridica y viene dada por
f (x, t) = A pecado( omega t) v norte( x),
dnde A, son constantes reales y v norte es una de las funciones propias de (4.71), (4.72). Sigue

do k ( t) = f (x, t) v k ( x) dx = A nk pecado( ? t).

A continuacin, la solucin del problema de valor inicial (4.67) - (4.70) es
t
u (x, t) = AV norte( x) norte pecado( ) pecado( norte( t - )) d
0
( )
1
= AV norte( x) norte pecado( k t) - pecado( ? t) ,
2 - norte
previsto 6 = norte. Sigue

( pecado( norte t) )
u (x, t) UN v norte( x) norte - t cos ( norte t)
2 norte
Si norte. El derecho decir ah nd lado es tambin la solucin del problema de valores iniciales y de contorno si = norte.
Por consiguiente | u | puede ser arbitrariamente lar ge en algunos puntos x y en algunos momentos t Si = norte. las
frecuencias norte son llamados frecuencias crticas en que se produce la resonancia.
Un resultado de unicidad
La solucin de de el problema de valor lmite inicial (4.67) - (4.70) es nico en la clase do 2 ( R).
Prueba. Dejar u 1, u 2 dos soluciones, a continuacin, u = u 2 - u 1 satis fi ca
u tt = Lu en R
u (x, 0) = 0 x
u t ( x, 0) = 0 x
u (x, t) = 0 para x y t R norte.
Como ejemplo consideramos Ejemplo 3 desde arriba y conjunto

norte
E (t) = ( un ij ( x) u x yo u x j + u t u t) dx.

i, j = 1
Entonces

norte
mi '( t) = 2 ( un ij ( x) u x yo u x j t + u t u tt) dx

i, j = 1

norte
=2 ( un ij ( x) u x yo u t norte j) dS

i, j = 1

+2 u t ( - Lu + u t t) dx

= 0.
Sigue E (t) = const. De u t ( x, 0) = 0 y u (x, 0) = 0 obtenemos MI( 0) = 0. En consecuencia E (t) = 0 para

todos t, lo que implica, desde L es elptica, que
u (x, t) = const. en R. Por ltimo, las condiciones de valor iniciales y de contorno homogneas
conducen a u (x, t) = 0 en R. 2
4.6 Ejercicios
1. Demostrar que u (x, t) do 2 ( R 2) es una solucin de la onda unidimensional

ecuacin
u tt = do 2 u xx
si y solo si
u (A) + U (C) = u (B) + U (D)
se cumple para todos los paralelogramos A B C D en el ( x, t) - avin, que estn delimitadas por lneas
caractersticas, vase la Figura 4.8.
re
segundo
California
Figura 4.8: Figura con el ejercicio
2. Mtodo de separacin de variables: Let v k ( x) ser una funcin propia de

el valor propio del problema de valores propios - v '' ( x) = v (x) en (0, l), v ( 0) = v (l) = 0 y dejar w k ( t) ser
una solucin de la ecuacin diferencial di ff
- w '' ( t) = k w (t). Pruebalo v k ( x) w k ( t) es una solucin de la parcial di ff ecuacin diferencial
(ecuacin de onda) u tt = u xx.
3. Resolver para determinada f (x) y R el problema de valor inicial
u t + u x + mU xxx = 0 en R R +
u (x, 0) = f (x) .
4. Sea S: = {(x, t); t = x} ser de tipo espacial, es decir, | | < 1 / do 2) en ( x, t) - espacio,

x = (x 1, x 2, x 3). Demostrar que el problema de valores iniciales de Cauchy 2 u = 0
4.6. CEREMONIAS 137
con los datos de u en S puede ser transformado mediante la transformada de Lorentz
x 1 = x 1 -?1c-2t2 do 2, x ' 2 = x 2, x ' 3 = x 3, t '= t - x 1 1 - 2 do 2
en el problema de valor inicial, en las nuevas coordenadas,
2u=0
u (x ', 0) = f (x ')
u t '( x ', 0) = g (x ') .
Aqu se denota la funcin transformado por u de nuevo.
5. (i) Demostrar que
( n ) ( n )
u (x, t): = norte cos pecado
lt lx
n=1
es un do 2- solucin de la ecuacin de onda u tt = u xx si | n | c / n 4, donde la constante do es

independiente de norte.
(Ii) Conjunto
l ( n )
n: = f (x) pecado dx.
0 lx
demostrar | n | c / n 4, previsto F do 4 0( 0, l).
6. Vamos ser el rectngulo (0, un) x ( 0, segundo). Buscar todos los valores propios y aso-
funciones propias de ATED -4 u = u en , u = 0 en .
Insinuacin: La separacin de variables.
7. Encontrar una solucin de la ecuacin de Schrdinger
i ~ t= - ~2
2 metro 4 x + V (x) en R norte R,
que satisface la condicin de ligadura

norte
| (x, t) | 2 dx = 1,
R
previsto mi R es un (valor propio) de la ecuacin elptica
4 u + 2 metro
~ 2 ( mi - V (x)) u = 0 en R norte
bajo la condicin lado norte R | u | 2 dx = 1, u: R norte 7 DO.
Aqu est : R norte R 7 C, ~ la constante de Planck (una pequea constante positiva), V (x) un potencial
dado.
Observacin. En el caso de un tomo de hidrgeno el potencial es V (x) =

- e / | x |, e es aqu una constante positiva. A continuacin, los valores propios son dadas por
mi n = - yo 4 / ( 2 ~ 2 norte 2), norte NORTE, ver [22], pp. 202.
8. Encuentra soluciones diferentes de cero mediante el uso de separacin de variables de u tt = 4 x u
en x ( 0, ), u (x, t) = 0 en , donde es la cilindro circular = {( x 1, x 2, x 3) R n: x 21 + x 22 < R 2, 0 < x 3

< marido}.
3 u tt - 4 u xx = 0
u (x, 0) = sin xu t ( x, 0) =
1.
u tt - do 2 u xx = x 2, t> 0, x R
u (x, 0) = xu t ( x, 0) =
0.
Insinuacin: Encontrar una solucin de la ecuacin diferencial di ff independiente sobre t,
y transformar el problema anterior en un problema de valor inicial con la ecuacin diferencial di ff

homognea mediante el uso de esta solucin.
11. Encuentra con el mtodo de separacin de variables soluciones diferentes de cero

u (x, t), 0 x 1, 0 t < , de
u tt - u xx + u = 0,
de tal manera que u ( 0, t) = 0, y u ( 1, t) = 0 para todos t [ 0, ).
12. Encuentre soluciones de la ecuacin
u tt - do 2 u xx = 2 u, = const.
que puede ser escrito como
u (x, t) = f (x 2 - do 2 t 2) = f (s), s: = x 2 - do 2 t 2
4.6. CEREMONIAS 139
con F( 0) = K, K una constante.
Insinuacin: Transformar ecuacin para f (s) mediante el uso de la sustitucin s: = z 2 / UN
con una constante apropiada UN en di ff ecuacin diferencial de Bessel
z 2 F '' ( z) + zf '( z) + (Z 2 - norte 2) f = 0, z> 0
con n = 0.
Observacin. La ecuacin ff diferencial por encima de di para u es la ecuacin telgrafo transformada (vase
la Seccin 4.4).
13. Encontrar la frmula para la solucin del problema siguiente valor inicial Cauchy u xy = f (x, y), dnde
S: y = ax + b, a> 0, y las condiciones iniciales en S estn dadas por
u = x + y + , u x = , u y = ,
a, b, , , Las constantes.
14. Buscar todos los valores propios de
- q '' ( ) = q ()
q () = q ( + 2 ) .
Captulo 5
Transformada de Fourier
de transformada de Fourier es una transformada integral que puede simplificar las investigaciones para lineal
diferencial di ff o ecuaciones integrales, ya que transforma un operador diferencial di ff en una ecuacin
algebraica.
5.1 definicin, propiedades
De fi nicin. Dejar F do s 0( R norte), s = 0, 1, . . . . La funcin F definida por

f () = ( 2 ) - norte/ 2 mi - i x f (x) dx, (5,1)
R norte
dnde R norte, se llama Transformada de Fourier de F, y la funcin de ~ gramo dada por

~ (x) = ( 2 ) - norte/ 2
g mi i x g () d (5,2)
R norte
se llama transformada de Fourier inversa, proporcionado las integrales en el lado derecho de existir.
A partir de (5.1) se deduce por la integracin por partes que di ff erentiation de una funcin se cambia a
la multiplicacin de sus transformadas de Fourier, o una operacin analtica se convierte en una
operacin algebraica. Ms precisamente, tenemos
Proposicin 5.1.
f () = i | |
re f (),
donde | | s.
141
142 CAPTULO 5. Transformada de Fourier
La siguiente proposicin muestra que la transformada de Fourier F disminuye rpidamente para | | , previsto
F do s
0 ( R norte). En particular, la mano derecha
existe lado de (5,2) para g: = F Si F do n + 1 0 ( R norte).
Proposicin 5.2. Asumir gramo do s 0( R norte), entonces hay una constante M =

M (n, s, g) de tal manera que
| g () | METRO
(1 + | |) s.
Prueba. Dejar = ( 1, . . . , norte) ser fijo y dejar j ser un ndice tal que | j | =
max k | k |. Entonces
( norte ) 1/2 n | j|

||= k2
k=1
lo que implica
( sk )
s
(1 + | |) s = | |k
k=0
s
2s norte k / 2 | j | k
k=0
2 s norte s / 2 | |.
||s
Esta desigualdad y la Propuesta 5.1 implican
(1 + | |) s | g () | 2 s norte s / 2 | ( i) g () |
||s

2 s norte s / 2 | re g (x) | dx =: METRO.
R norte
||s
La notacin inverso transformada de Fourier para (5,2) es justificado ed por
Teorema 5.1. ~ f=fy~ f = F.
Prueba. Vase [27], por ejemplo. Vamos a probar la primera aseveracin

(2 ) - norte/ 2 mi i xf () d = f (x) (5,3)
R norte
5.1. DEFINICIN, PROPIEDADES 143
aqu. La prueba de la otra relacin se deja como ejercicio. Todas las integrales que aparecen en las siguientes
circunstancias, ver la Proposicin 5.2 y la eleccin especial de gramo.
(I) Frmula

g () f () mi ix d = (y) f (x + y) dy
g (5,4)
R norte R norte
sigue por clculo directo:
( )
g () (2 ) - norte/ 2 mi - ix y f (y) dy mi ix d
R norte R norte
( )
= (2 ) - norte/ 2 g () mi - i ( y - x) d f (y) dy
R norte R norte

= g
(y - x) f (y) dy
R norte
= g
(y) f (x + y) dy.
R norte
(Ii) Frmula

(2 ) - norte/ 2 mi - iy g () d = - norte g (y / ) (5,5)
R norte
para cada > 0 sigue despus de la sustitucin z = en el lado izquierdo de (5.1).
(Iii) La ecuacin

g () f () mi ix d = (y) f (x + y) dy
g (5,6)
R norte R norte
se sigue de (5.4) y (5.5). Conjunto G (): = g (), entonces (5.4) implica

G () f () mi ix d = (y) f (x + y) dy.
G
R norte R norte
Dado que, ver (5.5),

G (y) = ( 2 ) - norte/ 2 mi - iy g () d
R norte
= - norte g (y / ),
llegamos a

g () f () = - norteg (y / ) f (x + y) dy
R norte
R norte
= (z) f (x + z) dz.
g
R norte
dejando 0, obtenemos

gramo( 0) f () e ix d = f (x) (y) dy.
g (5,7)
R norte R norte
Conjunto
g (x): = mi - | x | 2 / 2,
entonces
(y) dy = ( 2 ) norte/ 2.
g (5,8)
R norte
Ya que gramo( 0) = 1, la primera afirmacin del Teorema 5.1 sigue de (5.7) y (5.8). Queda por demostrar
(5.8).
(Iv) Prueba de (5.8). Mostraremos

(y): = ( 2 ) - norte/ 2
g mi - | x | 2 / 2 mi - ix x dx
R norte
= e - | y | 2 / 2.
La prueba de
mi - | y | 2 / 2 dy = ( 2 ) norte/ 2
R norte
se deja como ejercicio. Ya que

) (x ) )
- ( x 2 + yo y 2 2 + yo y 2 = - ( | x |2
2 + ix y - | y | 2 2
sigue

mi - | x | 2 / 2 mi - ix y dx = mi - 2 mi - | y | 2 / 2 dx
R norte R norte

= e - | y |2/ 2 mi - 2 dx
R norte

= 2 norte/ 2 mi - | y | 2 / 2 mi - 2 d
R norte
dnde
: = x 2 + yo y 2.
Considere primero el caso unidimensional. De acuerdo con el teorema de Cauchy tenemos

mi - 2 d = 0,
do
donde la integracin es a lo largo de la curva de do que es la unin de cuatro curvas, como se indica en la
Figura 5.1.
Estoy
iy 2
do
3
do
do 4
2
-R R Re
do
1
Figura 5.1: Prueba de (5,8)
Por consiguiente
R
mi - 2 d = 1 2 mi - x 2 / 2 dx - mi - 2 d - mi - 2 d.
do 3 -R do 2 do 4
Sigue
lim mi - 2 d =
R do 3
ya que
lim mi - 2 d = 0, k = 2, 4.
R do k
El caso n> 1 se puede reducir al caso unidimensional como sigue. Conjunto
= x 2 + yo y 2 = ( 1, . . . , norte),
dnde
l = x l 2 + yo y l 2.
De d = d 1. . . d l y
norte
mi - 2 = mi - norte l=12 l=
mi - l 2
l=1
sigue

norte
mi - 2 d = mi - l 2d l,
R norte l
l=1
donde durante fijo y
l = { z C: z = x l 2 + yo y l 2, - < x l < + }.
Hay una clase til de las funciones para las que las integrales en la definicin de
Fy~ F existe. por u do ( R norte) establecimos
( (
q j, k ( u): = max cenar (1 + | x | 2) j / 2 | re u (x) |)) .
: | | k R norte
De fi nicin. los clase Schwartz de desengrasado rpidamente funciones se
S ( R n) = { u do ( R n): q j, k ( u) < para cualquier j, k norte { 0}} .
Este espacio es un espacio Frech'et.
Propuesta 5.3. Asumir u S ( R norte), entonces uy~ u S ( R norte).
Prueba. Ver [24], Captulo 1.2, por ejemplo, o un ejercicio.
5.1.1 Pseudodi ff operadores diferenciales
Las propiedades de transformada de Fourier de plomo a una teora general de diferencial di ff parcial lineal o
ecuaciones integrales. En este apartado definimos

re k = 1 , K = 1, . . . , norte,
yo x k
y para cada multindice como en la subseccin 3.5.1
re = re 1 1. . . re norte n.
As
||
re = 1 .
i | | x 1.1 . . x norte norte
Dejar
p (x, D): = un ( x) D ,
| | metro
ser un diferencial di ff parcial lineal de orden metro, dnde un se les da su fi cientemente funciones regulares.
De acuerdo con el teorema 5.1 y la Proposicin 5.3, tenemos, al menos por

u S ( R norte),

u (x) = ( 2 ) - norte/ 2 mi ix u () d,
R norte
lo que implica
re u (x) = ( 2 ) - norte/ 2 mi ix u () d.
R norte
Por consiguiente

p (x, D) u (x) = ( 2 ) - norte/ 2 mi ix p (x, ) u () d, (5,9)
R norte
dnde
p (x, ) = un ( x) .
| | metro
El lado derecho de (5.9) tiene sentido tambin para las funciones ms generales
p (x, ), no slo para los polinomios.
De fi nicin. La funcin p (x, ) se llama smbolo y

( Pu) (x): = ( 2 ) - norte/ 2 mi ix p (x, ) u () d
R norte
se ha dicho pseudodi operador diferencial y ss.
Una clase importante de smbolos para los que el lado derecho de esta definicin de un operador
diferencial ff pseudodi se define es S metro que es el subconjunto de
p (x, ) do ( R norte) de tal manera que
| re x re p (x, ) | do K, , ( pag) ( 1 + | |) metro - | |
para cada compacto K .

Arriba hemos visto que los operadores lineales di ff diferenciales definen una clase de operadores diferenciales ff
pseudodi. Incluso operadores integrales pueden ser escritos (formalmente) como operadores diferenciales ff pseudodi.
Dejar

( Pu) (x) = K (x, y) u (y) dy
R norte
ser un operador integral. Entonces

( Pu) (x) = ( 2 ) - norte/ 2 K (x, y) mi ix u () d
R norte R norte
( )
= (2 ) - norte/ 2 mi ix mi i (y - x) K (x, y) dy u ().
R norte R norte
Entonces el smbolo asociado al operador integral anterior es

p (x, ) = mi i (y - x) K (x, y) dy.
R norte
5.2. CEREMONIAS 149
5.2 Ejercicios
1. Mostrar
mi - | y | 2 / 2 dy = ( 2 ) norte/ 2.
R norte
2. Demostrar que u S ( R norte) implica u, ~ u S ( R norte).
3. Dar ejemplos de funciones p (x, ) que satisfacer p (x, ) S metro.
4. Encontrar una solucin formal del problema de valor inicial de Cauchy para la ecuacin de onda mediante el uso de
Fourier de transformacin.
Captulo 6
ecuaciones parablicas
Aqu consideramos ecuaciones parablicas lineales de segundo orden. Un ejemplo es la ecuacin del calor
u t = un 2 4 u,
dnde u = u (x, t), x R 3, t 0, y un 2 es una constante positiva llamada conductividad coe fi ciente. La
ecuacin del calor tiene su origen en la fsica donde
u (x, t) es la temperatura a x en el momento t, ver [20], p. 394, por ejemplo.
Observacin 1. Despus de escalar del eje podemos asumir a = 1.
Observacin 2. Configurando t: = - t, la ecuacin del calor cambia a una ecuacin que se llama
ecuacin hacia atrs. Esta es la razn por el hecho de que la ecuacin del calor describe procesos
irreversibles en contraste con la ecuacin de onda 2 u = 0 que es invariante con respecto al mapeo t 7
- t.
Matemticamente, esto significa que no es posible, en general, para hallar la distribucin de
temperatura en un momento anterior t <t 0 Si la distribucin se da a t 0.
Considere el problema del valor inicial u = u (x, t), u do ( R norte R +),
u t = 4 u en x R norte, t 0, (6,1)
u (x, 0) = (x), (6,2)
dnde DO( R norte) se da y 4 4 x.
151
152 CAPTULO 6. ecuaciones parablicas
6.1 la frmula de Poisson
Asumir u es una solucin de (6,1), entonces, puesto que la transformada de Fourier es una aplicacin lineal,
u t -4 u = 0.
A partir de las propiedades de la transformada de Fourier, ver la Proposicin 5.1, tenemos
norte 2 u norte
u=
4 = yo 2 k2 u (),
k=1 x 2 k k=1
existen proporcionadas las transformadas. De este modo se llega a la ecuacin diferencial di ff ordinaria de la
transformada de Fourier u
reu
u = 0,
dt + | | 2
dnde se considera como un parmetro. La solucion es
u
(, t) = () mi - | | 2 t
ya que u (, 0) = (). Segn el teorema 5.1 se deduce

u (x, t) = ( 2 ) - norte/ 2 () mi - | | 2 t mi i x d

R norte
( )
= (2 ) - norte (y) mi i ( x - y) - | | 2 t d dy.
R norte R norte
Conjunto
K (x, y, t) = ( 2 ) - norte mi i ( x - y) - | | 2 t d.
R norte
Por los mismos clculos que en la demostracin del Teorema 5.1, etapa (vi), encontramos
K (x, y, t) = ( 4 t) - norte/ 2 mi - | x - y | 2 / 4 t. (6,3)
As tenemos

1
u (x, t) = ( 2 t) norte (z) mi - | x - z | 2 / 4 t dz. (6,4)
R norte
De fi nicin. Frmula (6.4) se llama la frmula de Poisson y la funcin de K

definida por (6.3) ncleo del calor o solucin fundamental de la ecuacin del calor.
6.1. FRMULA de Poisson 153
K (x, y, t)
K (x, y, t) 1
2
Figura 6.1: Kernel K (x, y, t), = | x - y |, t 1 < t 2
proposicin 6.1 el kernel K tiene propiedades siguientes:
(yo) K (x, y, t) do ( R norte R norte R +),
(Ii) ( / t -4) K (x, y, t) = 0, t> 0,
(Iii) K (x, y, t) > 0, t> 0,
(Iv) R norte K (x, y, t) dy = 1, x R norte, t> 0,
(V) Para cada fijada > 0:

lim K (x, y, t) dy = 0
t0 R norte\ segundo ( x)
t> 0
de manera uniforme para x R norte.
Prueba. ( i) y (iii) son, evidentemente, y (ii) se deduce de la definicin de K.

Las ecuaciones (iv) y (v) mantener desde

K (x, y, t) dy = (4 t) - norte/ 2 mi - | x - y | 2 / 4 t dy
R norte\ segundo ( x) R norte\ segundo ( x)

= - norte/ 2 mi - | | 2 d
R norte\ segundo / 4 t ( 0)
mediante el uso de la sustitucin y = x + ( 4 t) 1/2 . Para fijo > 0 se sigue (v) y para : = 0 obtenemos
(iv). 2
Teorema 6.1. Asumir DO( R norte) y cenar R n | (x) | < . Entonces u (x, t)
dado por la frmula de Poisson (6.4) est en do ( R norte R +), en continuo R norte
[0, ) y una solucin del problema de valor inicial (6.1), (6.2).
Prueba. Queda por demostrar
lim u (x, t) = ().

xt
0
Ya que es continua existe para dado > 0 una = () tal que | (y) -
+2 x
+
Figura 6.2: Figura a la demostracin del Teorema 6.1
() | < si | y - | < 2 . Conjunto M: = cenar R n | (y) |. A continuacin, ver la Proposicin 6.1,

u (x, t) - () = K (x, y, t) ( (y) - ()) dy.
R norte
6.2. Ecuacin del calor no homognea 155
De ello se desprende, si | x - | < y t> 0,
| u (x, t) - () | K (x, y, t) | (y) - () | dy

segundo ( x)

+ K (x, y, t) | (y) - () | dy
R norte\ segundo ( x)
K (x, y, t) | (y) - () | dy
segundo 2 ( x)

+ 2 METRO K (x, y, t) dy
R norte\ segundo ( x)

K (x, y, t) dy + 2 METRO K (x, y, t) dy
R norte R norte\ segundo ( x)
<2
si 0 < t t 0, t 0 su fi cientemente pequea. 2
Observaciones. 1. Singularidad sigue bajo el supuesto de crecimiento adicional
| u (x, t) | METRO mi a | x | 2 en re T,
dnde METRO y un son constantes positivas, vase la Propuesta 6.2 a continuacin. En el caso unidimensional,
uno tiene la singularidad de la clase u (x, t) 0 en
re T, ver [10], pp. 222.
2. u (x, t) definida por la frmula de Poisson depende de todos los valores (y), y R norte.
Eso significa que, una perturbacin de , an lejos de ser una fi jo x, tiene influencia en el valor u (x, t). En
trminos fsicos, esto significa que el calor se desplaza con la velocidad finita, en contraste con la experiencia.
6,2 ecuacin del calor no homognea
Aqu tenemos en cuenta el problema del valor inicial u = u (x, t), u do ( R norte R +),
u t -4 u = f (x, t) en x R norte, t 0,
u (x, 0) = (x),
dnde y F son dados. De
u t -4 u = f (x, t)
obtenemos un problema de valor inicial para una ecuacin diferencial di ff ordinaria:
reu
u= f (, t)
dt + | | 2
u
(, 0) = ().
La solucin viene dada por

t
u
(, t) = mi - | | 2 t () + mi - | | 2 ( t - ) f (, ) d.
0
Aplicando la transformada inversa de Fourier y un clculo como en la demostracin del Teorema 5.1, etapa
(vi), obtenemos

u (x, t) = ( 2 ) - norte/ 2 mi ix ( mi - | | 2 t ()
R norte
t )
+ mi - | | 2 ( t - ) f (, ) d d.
0
Desde el clculo anterior para el problema homognea y clculo como en la demostracin del
Teorema 5.1, etapa (vi), se obtiene la frmula

1 (2 t)
u (x, t) = (y) mi - | y - x | 2 / ( 4 t) dy
norte
R norte
t
1
+ f (y, ) ( ) norte mi - | y - x | 2 / ( 4 ( t - )) d dy.
0 R norte 2 (t - )
Esta funcin u (x, t) es una solucin del problema de valor inicial no homognea por encima proporcionado
DO( R norte), cenar | (x) | <

R norte
y si
F DO( R norte [ 0, )), M (): = cenar | f (y, ) | < , 0 < .

R norte
6.3 principio del mximo
Let R norte ser una encerrado dominio. Conjunto
re T = x ( 0, T), T> 0,
S T = {( x, t): (x, t) { 0} o ( x, t) [ 0, T]},

6.3. principio del mximo 157
T-
ST
re
T
Figura 6.3: Notaciones al principio del mximo
vase la Figura 6.3
Teorema 6.2. Asumir u DISCOS COMPACTOS T), ese u t, u x yo x k existir y son continuas en re T, y
u t -4 u 0 en re T.
Entonces
metro unux (x, t) = max u.

re T ST
Prueba. asumir inicialmente u t - 4 u < 0 en re T. Dejar > 0 ser pequeo y 0 < <T. Ya que u DISCOS COMPACTOS T
- ), hay un ( x 0, t 0) re T - de tal manera que
u (x 0, t 0) = max u (x, t).

re T -
Caso (i). Dejar ( x 0, t 0) re T - . Por lo tanto, desde re T - Esta abierto, u t ( x 0, t 0) = 0,

u x l ( x 0, t 0) = 0, l = 1, . . . , norte y
norte
u x l x k ( x 0, t 0) l k 0 para todos R norte.
l, k = 1
La desigualdad anterior implica que u x k x k ( x 0, t 0) 0 para cada k. De esta manera llegamos a una
contradiccin u t -4 u < 0 en re T.
Caso (ii). asumir ( x 0, t 0) { T - }. Entonces se deduce que el anterior 4 u 0 en ( x 0, t 0), y de u (x 0, t 0) u

(x 0, t), t t 0, se concluye que u t ( x 0, t 0)
0. Llegamos a una contradiccin u t -4 u < 0 en re T de nuevo.
En resumen, hemos demostrado que
max u (x, t) = max

re T - T-u (x, t).
Por lo tanto hay una ( x , t ) S T - de tal manera que
u (x , t ) = max u (x, t).

re T -
Ya que u es continua en re T, tenemos
lim u (x, t) = metro un x u (x, t).

0 max
re T - re T
De ello se desprende que no existe ( x, t) S T de tal manera que
u (x, t) = metro un x u (x, t)

re T
ya que S T - S T y S T es compacto. Por lo tanto, el teorema se muestra bajo el supuesto u t -4 u < 0 en re T. Supongamos
ahora u t -4 u 0 en re T. Conjunto
v (x, t): = u (x, t) - kt,
dnde k es una constante positiva. Entonces
v t -4 v = u t -4 u - k < 0.
Desde arriba tenemos
metro unux(x, t) = metro un x ( v (x, t) + Kt)

re T re T
metro un x v (x, t) + kT
re T
= max v (x, t) + kT
ST
max u (x, t) + KT,

ST
dejando k 0, obtenemos
metro unux (x, t) max u (x, t).

re T ST
Ya que S T re T, se muestra el teorema. 2
Si sustituimos en el teorema anterior el dominio acotado por R norte, a continuacin, el resultado sigue
siendo siempre verdad asumimos una adicional hiptesis de crecimiento para u. Ms precisamente,
tenemos el siguiente resultado, que es un corolario del teorema anterior. Fije para un fi jo T, 0 < T < ,
re T = {( x, t): x R norte, 0 < t <T}.
Proposicin 6.2. Asumir u DISCOS COMPACTOS T), ese u t, u x yo x k existir y son continuas en re T,
u t -4 u 0 en re T,
y, adems, que u satisface la condicin de crecimiento
u (x, t) METRO mi a | x | 2,
dnde METRO y un son constantes positivas. Entonces

re T ST
Se sigue inmediatamente a la
Corolario. El problema de valor inicial u t -4 u = 0 en re T, u ( x , 0) = f (x), x R norte, tiene una solucin nica en la
clase definida por u DISCOS COMPACTOS T), u t, u x yo x k

existir y son continuas en re T y | u (x, t) | METRO mi a | x | 2.
Demostracin de la proposicin 6.2. Ver [10], pp. 217. Se puede suponer que 4 a < 1, ya que la infinito intervalo
puede ser dividido en finitos muchos intervalos de igual longitud con 4 a < 1. A continuacin, llegamos a la
conclusin de forma sucesiva k ese
u (x, t) cenar u (y, k) cenar u (y, 0)

y R norte y R norte
para k t ( k + 1) , k = 0, . . . , norte - 1, donde N = T / .

Hay un > 0 tal que 4 a (T + ) < 1. Considerar la comparacin
funcin
v ( x, t): = u (x, t) - ( 4 (T + - t)) - norte/ 2 e | x - y | 2 / ( 4 ( T + - t))
= u (x, t) - K (ix, iy, T + - t)

para fijo y R norte y para una constante > 0. Puesto que el ncleo del calor K (ix, iy, t)
satis fi ca K t = 4 K x, obtenemos

tv -4 v = u t -4 u 0.
Ajuste para una constante > 0
re T, = {( x, t): | x - y | <, 0 < t <T}.
Entonces obtenemos del Teorema 6.2 que
v ( y, t) max v ,
S T,
dnde S T, S T del Teorema 6.2 con = segundo ( y), vase la Figura 6.3. En la parte inferior de S T, tenemos,
ya K> 0,
v ( x, 0) u (x, 0) cenar f (z).

z R norte
En la parte de cilindro | x - y | = , 0 t T, de S T, es
v ( x, t) METRO mi a | x | 2 - ( 4 (T + - t)) - norte/ 2 mi 2 / ( 4 ( T + - t))
METRO mi un (| y | + ) 2 - ( 4 (T + )) - norte/ 2 mi 2 / ( 4 ( T + ))
cenar f (z)
z R norte
para todos > 0 ( ), 0 su fi cientemente grande. Recordamos que 4 a (T + ) < 1. En resumen, tenemos
max v ( x, t) cenar f (z)

S T, z R norte
Si > 0 ( ). As
v ( y, t) max v ( x, t) cenar f (z)

S T, z R norte
Si > 0 ( ). Ya que
v ( y, t) = u (y, t) - ( 4 (T + - t)) - norte/ 2
sigue
u (y, t) - ( 4 (T + - t)) - norte/ 2 cenar f (z).
z R norte
dejando 0, obtenemos la afirmacin de la proposicin. 2
El principio del mximo anterior del teorema 6.2 es vlido para una gran clase de los operadores diferenciales di ff
parablicos, incluso para las ecuaciones degenerados. Conjunto
norte
Lu = un ij ( x, t) u x yo x j,
i, j = 1
dnde un ij DISCOS COMPACTOS T) Son reales, un ij = un Ji, y la matriz ( un ij) es no negativo, es decir,
norte
un ij ( x, t) yo j 0 para todos R norte,
i, j = 1
y ( x, t) re T.
Teorema 6.3. Asumir u DISCOS COMPACTOS T), ese u t, u x yo x k existir y son continuas en re T, y
u t - Lu 0 en re T.
Entonces

re T ST
Prueba. ( i) Una prueba de ello es consecuencia del siguiente lema: Vamos A, B real, simtrica y
matrices no negativas. No negativo significa que todos los valores propios son no negativos. Luego traza
( AB) norte
i, j = 1 un ij segundo ij 0, ver un ejercicio.
(Ii) Otra prueba explota transformar al eje principal directamente: Let T =

( z 1, . . . , z norte), dnde z l es un sistema ortonormal de vectores propios a los valores propios l de la matriz A
= (a i, j ( x 0, t 0)). Conjunto = U, x = U T ( x - x 0) y y
v (y) = u (x 0 + Uy, t 0), entonces
norte
0 norte un ij ( x 0, t 0) yo j = yo yo2
i, j = 1 i=1
norte
0 norte u x yo x j yo j = v y yo y yo yo2 .
i, j = 1 i=1
Sigue yo 0 y v y yo y yo 0 para todos yo. Por consiguiente
norte norte
un ij ( x 0, t 0) u x yo x j ( x 0, t 0) = yo v y yo y yo 0.
i, j = 1 i=1
2
problema de valor inicial 6,4-lmite
Considere el problema de valor lmite inicial para c = c (x, t)
do t = re 4 do en x ( 0, ) (6,5)
c (x, 0) = do 0 ( x) x (6,6)
c
(6,7)
n = 0 en x ( 0, ).
Aqu es R norte, norte la unidad exterior normal en las partes lisas de , re una constante positiva y do
0( x) una funcin dada.
Observacin. En aplicacin a problemas di ff derrame, c (x, t) es la concentracin de una sustancia en

una solucin, do 0 ( x) su concentracin inicial y re el coeficiente de difusi on di ff. La regla de primera
Fick dice que w = Dc / n, dnde w es el flujo de la sustancia a travs de la frontera . As, de
acuerdo a la condicin de contorno Neumann (6.7), se supone que no hay flujo a travs de la
frontera.
6.4.1 El mtodo de Fourier
La separacin de variables ansatz c (x, t) = v (x) w (t) conduce al problema de valores propios, ver los
argumentos de la Seccin 4.5,
-4 v = v en (6,8)
V
(6,9)
n = 0 en ,
y al ordinario di ff ecuacin diferencial
w '( t) + Dw (t) = 0. (6,10)
Supongamos que es limitada y su fi cientemente regular, entonces los valores propios de ( 6.8), ( 6.9)
son contable y
0 = 0 < 1 2 . . . .
Dejar v j ( x) ser un sistema completo de ortonormal (en L 2 ( Ohmio)) funciones propias. Soluciones de (6.10)
son
w j ( t) = C j mi - D j t,
dnde do j son constantes arbitrarias.

6.4. Iniciales y de contorno problema de valor 163
De acuerdo con el principio de superposicin,
norte
do NORTE( x, t): = do j mi - D j t v j ( x)
j=0
es una solucin de la ecuacin diferencial di ff (6,8) y

c (x, t): = do j mi - D j t v j ( x),
j=0
con
do j = do 0 ( x) v j ( x) dx,

es una solucin formal del problema de valor lmite inicial (6.5) - (6.7).
Di ff usion en un tubo de
Considere una solucin en un tubo, vase la Figura 6.4. Supongamos que la concentracin inicial
x
3
xx
1
Figura 6.4: Di ff usion en un tubo de
cin do 0 ( x 1, x 2, x 3) del sustrato en una solucin es constante si x 3 = const.

Se deduce de un resultado de unicidad a continuacin que la solucin del problema de valor
initialboundary c (x 1, x 2, x 3, t) es independiente de x 1 y x 2.
Conjunto z = x 3, entonces el problema de valores iniciales y de contorno anterior se reduce a
do t = Corriente continua zz
c (z, 0) = do 0 ( z) c z = 0, z = 0, z = l.
La solucin (formal) es
( )
c (z, t) = do norte mi - RE( l norte) 2 t cos ,
l nz
n=0
dnde
l
do 0 = 1 do 0 ( z) dz
l 0
l ( )
do n = 2 do 0 ( z) cos dz, n 1.
l 0 l nz
6.4.2 Singularidad
Su FFI soluciones suficientemente regulares del problema inicial y de contorno (6.5) (6.7) se determinan de
forma nica ya que desde
do t = re 4 do en x ( 0, )
c (x, 0) = 0
c
n = 0 en x ( 0, ).
se deduce que para cada > 0

0= ( do t do - RE( 4 c) c) dxdt
0

1
= | x c | 2 dxdt
0 2 t (c 2) dtdx + D 0

=1 do 2 ( x, ) dx + D | x c | 2 dxdt.
2 0
ecuacin 6.5 Negro-Scholes
Soluciones de la ecuacin de Negro-Scholes de fi ne el valor de un derivado, por ejemplo de una

llamada o de venta, que se basa en un activo. Un activo
6.5. ECUACIN NEGRO-Scholes 165
puede ser una bolsa o un derivado de nuevo, por ejemplo. En principio, hay infinitamente muchos de
estos productos, por ejemplo n-th derivados. La ecuacin para el valor BlackScholes V (S, t) de un
derivado es
Vt+ 1 (6,11)
2 2 S 2 V SS + RSV S - rV = 0 en ,
donde por un fi jo T, 0 < T < ,
= {( S, t) R 2: 0 < S < , 0 < t <T},
y , r son constantes positivas. Ms precisamente,

es la volatilidad del activo subyacente S, r es el tipo de inters garantizado de
una inversin libre de riesgo.
Si S (t) es el valor de un activo en el momento t, entonces V (S (t), t) es el valor de la derivada en el
tiempo t, dnde V (S, t) es la solucin de un problema de valor lmite inicial apropiado para la ecuacin
Negro-Scholes, ver ms abajo.
La ecuacin Negro-Scholes sigue del Lema de Ito bajo ciertos supuestos sobre la funcin
aleatoria asociados a S (t), ver [26], por ejemplo.
Opcin de llamada
Aqu est V (S, t): = C (S, t), dnde C (S, t) es el valor de la opcin de compra (Europea). En este caso
tenemos los siguientes condiciones laterales a (6.11):
C (S, T) = max { S - MI, 0} (6,12)
DO( 0, t) = 0 (6,13)
C (S, T) = S + o (S) como S , uniformemente en t, (6,14)
dnde mi y T son constantes positivas, mi es el precio de ejercicio y T la expiracin.
condicin de ligadura (6.12) significa que el valor de la opcin no tiene valor en el momento T Si S (T) MI,
condicin (6.13) dice que no tiene sentido para comprar activos si el valor del activo es cero,
condicin (6.14) significa que compramos activos si su valor llega a ser grande, vemos la figura 6.5, donde se
indican las condiciones secundarios.
Teorema 6.4 ( Negro-Scholes frmula para las opciones de compra europeas). La solucin C (S, t), 0 S
< , 0 t T, del problema de valor lmite inicial (6.11) - (6.14) se conoce de manera explcita y est
dada por
C (S, t) = SN (d 1) - mi mi - r (T - t) Dakota del Norte 2),

t
C = max {S-E, 0}
T
C~S
C=0
Figura 6.5: Condiciones laterales para una opcin de compra
dnde
x
N (x) = 1 2
- mi - y 2 / 2 dy,
re 1 = ln ( S / E) + (R + 2 / 2) ( T - t) ,
T-t
re 2 = ln ( S / E) + (R - 2 / 2) ( T - t) .
T-t
Prueba. sustituciones
S = E mi x, t = T -
2 / 2, C = Ev (x, )
ecuacin cambio (6.11) a
v = v xx + ( k - 1) v x - kv, (6,15)
dnde
k=r
2 / 2.
condicin inicial (6.15) implica
v (x, 0) = max {e x - 1, 0}. (6,16)
Para una solucin de (6.15) que hacen que el ansatz
v = mi x + u (x, ),
dnde y son constantes que vamos a determinar de la siguiente manera. Insercin de la ansatz en di ff
ecuacin diferencial (6.15), obtenemos
u + u = 2 u + 2 u x + u xx + ( k - 1) ( u + u x) - ku.
Conjunto = 2 + ( k - 1) - k y elige de tal manera que 0 = 2 + (k - 1), entonces

u = u xx. As
v (x, ) = mi - ( k - 1) x/ 2 - ( k + 1) 2 / 4 u (x, ), (6,17)
dnde u (x, ) es una solucin del problema de valor inicial
u = u xx, - < x < , > 0
u (x, 0) = u 0 ( x),
con { }
u 0 ( x) = max mi( k + 1) x/ 2 - mi( k - 1) x/ 2, 0 .
Una solucin de este problema de valor inicial est dada por la frmula de Poisson
+ - u 0 ( s) mi - ( x - s) 2 / ( 4 ) ds.
u (x, ) = 1
2
Cambio de variable q = (s - x)/( 2 ), obtenemos
+ - u 0 ( q 2 + x) mi - q 2 / 2 dq
u (x, ) = 1 2
= yo 1 - yo 2,
dnde
- x/( 2 )
yo 1 = 1 2 mi( k + 1) ( x + q 2 ) mi - q 2 / 2 dq
- x/( 2 )
yo 2 = 1 2 mi( k - 1) ( x + q 2 ) mi - q 2 / 2 dq.
Un clculo elemental muestra que
yo 1 = mi( k + 1) x/ 2 + ( k + 1) 2 / 4 Dakota del Norte 1)
yo 2 = mi( k - 1) x/ 2 + ( k - 1) 2 / 4 Dakota del Norte 2),

dnde
re 1 = x 2+1
2 ( k + 1) 2
re 2 = x 2+1
2 ( k - 1) 2
re yo
Dakota del Norte i) = 1 2

- mi - s 2 / 2 ds, i = 1, 2.
La combinacin de la frmula para u (x, ), definicin (6.17) de v (x, ) y los ajustes anteriores x = ln ( S /
E), = 2 ( T - t) / 2 y C = Ev (x, ), obtenemos finalmente la frmula del teorema de 6,4.
En general, la solucin de u del problema de valor inicial para la ecuacin del calor no es exclusiva
de fi nido, vase por ejemplo [10], pp. 206.
Unicidad. La singularidad sigue de la hiptesis de crecimiento (6.14). Supongamos que hay dos
soluciones de (6.11), (6.12) - (6.14), entonces el di ff rencia
W (S, t) satisface la ecuacin di ff diferencial (6.11) y las condiciones laterales
W (S, T) = 0, W ( 0, t) = 0, W (S, t) = O (S) como S
uniformemente en 0 t T.
A partir de una consideracin mxima principio, vase un ejercicio, se deduce que

| W (S, t) | cS en S 0, 0 t T. El constante do es independiente de S
y t. A partir de la definicin de u vemos que
u (x, ) = 1
mi mi - x - W (S, t),
dnde S = E mi x, t = T - 2 / ( 2). Por lo tanto tenemos la propiedad de crecimiento
| u (x, ) | METRO mi a | x |, x R, (6,18)
con constantes positivas METRO y a. A continuacin, la solucin de u = u xx, en - <

x < , 0 2 T / 2, con la condicin inicial u (x, 0) = 0 es nicamente se define en la clase de funciones
que satisfacen la condicin de crecimiento (6,18), vase la Propuesta 6.2 de este captulo. Es decir, u (x,
) 0. 2
Poner opcin
Aqu est V (S, t): = P (S, t), dnde P (S, t) es el valor de la (Europea) la opcin de venta. En este caso
tenemos los siguientes condiciones laterales a (6.11):
P (S, T) = max { mi - S, 0} (6,19)
PAG( 0, t) = E mi - r (T - t) (6,20)
P (S, t) = O (S) como S , uniformemente en 0 t T. (6,21)
aqu mi es el precio de ejercicio y T la expiracin.
condicin de ligadura (6,19) significa que el valor de la opcin no tiene valor en el momento T Si S (T) MI,
condicin (6.20) dice que no tiene sentido vender activos si el valor del activo es cero,
condicin (6.21) significa que no tiene sentido para vender activos si su valor se hace grande.
Teorema 6.5 ( Negro-Scholes frmula de opciones de venta de Europa). La solucin P (S, t), 0 < S < , t
<T del problema de valor lmite inicial (6.11), (6.19) - (6.21) se conoce de manera explcita y est
dada por
P (S, t) = E mi - r (T - t) NORTE( - re 2) - SN ( - re 1)
dnde N (x), d 1, re 2 son los mismos que en el Teorema 6.4.
Prueba. La frmula para la opcin de venta sigue por los mismos clculos como en el caso de una
opcin de llamada o de la paridad put-call
C (S, t) - P (S, t) = S - mi mi - r (T - t)
y de
N (x) + N ( - x) = 1.
En cuanto a la paridad put-call ver un ejercicio. Ver tambin [26], pp. 40, para un argumento
heurstico que conduce a la frmula de la paridad put-llamada. 2
6.6 Ejercicios
1. Demostrar que la solucin u (x, t) dado por la frmula satisface de Poisson
inf (z) ,
z R norte (z) u (x, t) cenar z R norte
previsto (x) es continua y limitada R norte.
2. Resolver para dado f (x) y R el problema de valor inicial
u t + u x + mU xxx = 0 en R R +
u (x, 0) = f (x) .
3. Mostrar mediante el uso de la frmula de Poisson: (i) Cada funcin F Taxi]) se puede aproximar de manera
uniforme por una secuencia F norte do [ a, b] .
(Ii) En (i) podemos elegir polinomios F n ( teorema de aproximacin de Weierstrass).
Insinuacin: Con respecto a (ii), reemplazar el ncleo K = exp ( - | y - x | 2

4 t) por una se-
cuencia de polinomios de Taylor en la variable z = - | y - x | 2 4t
.
4. Sea u (x, t) ser una solucin positiva de
u t = mU xx, t> 0,
dnde es una constante. Muestra esa : = - 2 mU x/ u es una solucin de la ecuacin de Burger
t + x = xx, t> 0.
5. Asumir u 1 ( s, t), ..., u norte( s, t) son soluciones de u t = u ss. Muestra esa norte k=1uk( x k, t)
es una solucin de la ecuacin del calor u t -4 u = 0 en R norte x ( 0, ).
6. Sea A, B son matrices reales, simtricas y no negativos. no negativo

significa que todos los valores propios son no negativos. Demostrar que trace ( AB)
norte
i, j = 1 un ij segundo ij 0.
Insinuacin: ( i) Que U = (z 1, . . . , z norte), dnde z l es un sistema ortonormal de vectores propios a los valores
propios l de la matriz SEGUNDO. Entonces
10
0
2 0
0
X=U TT
......................
0 0 norte
6.6. CEREMONIAS 171
es una raz cuadrada de SEGUNDO. Recordamos que

10 0
0 2 0
T T BU = .
................
00 norte
(Ii) trace ( QR) = trace ( RQ).

(Iii) Que 1 ( C),. . . norte( DO) son los valores propios de una simtrica real norte norte-
matriz. Luego traza C = norte l=1l( DO), que se deduce de la funda-

lema mental de lgebra:
det ( ? i - C) = norte - ( do 11 + . . . + do nn) norte - 1 + . . .
( - 1) . . . ( - norte)
= norte - ( 1 + . . . + norte) n + 1 + . . .
7. Asumir est delimitada, u es una solucin de la ecuacin del calor y u sab-

es fi ca los supuestos de regularidad del principio del mximo (Teorema
6.2). Muestra esa u alcanza su mximo y su mnimo en S T.
8. demostrar el siguiente principio de comparacin: Supongamos est limitada y

u, v satisfacer los supuestos de regularidad del principio del mximo. Entonces
u t -4 u v t -4 v en re T
u v en S T
implica que u v en re T.
9. Demostrar que el principio de comparacin implica el principio del mximo.
10. Considere el problema de contorno-inicial
u t -4 u = f (x, t) en re T
u (x, t) = (x, t) en S T,
dnde f, son dados. Demostrar la singularidad de la clase u, u t, u x yo x k DISCOS
COMPACTOS T).
11. Suponga u, v 1, v 2 do 2 ( re T) DISCOS COMPACTOS T), y u es una solucin de la
anterior problema de contorno-inicial y v 1, v 2 satisfacer
( v 1) t -4 v 1 f (x, t) ( v 2) t -4 v 2 en re T
v 1 v 2 en S T.
Demostrar que (teorema de inclusin)
v 1 ( x, t) u (x, t) v 2 ( x, t) en re T.
12. Mostrar utilizando el principio de comparacin: dejar u ser un su fi cientemente regulares
solucin de
u t -4 u = 1 en re T
u = 0 en S T,
a continuacin, 0 u (x, t) t en re T.
13. Discuta el resultado del teorema 6.3 para el caso
norte norte
Lu = un ij ( x, t) u x yo x j + segundo yo( x, t) u x i + c (x, t) u (x, t).
i, j = 1 yo
14. Demostrar que

u (x, t) = do norte mi - norte 2 t pecado( nx),
n=1
dnde
do n = 2 f (x) pecado( nx) dx,

0
es una solucin del problema de valor lmite inicial
u t = u xx, x ( 0, ), t> 0,
u (x, 0) = f (x), u ( 0, t) = 0,
u (, t) = 0,
Si F do 4 ( R) es impar con respecto a 0 y 2 - peridico.
15. (i) Encontrar la solucin del problema de derrame di ff do t = Corriente continua zz en 0 z l,
0 t < , D = const. > 0, en virtud de las condiciones de contorno do z ( z, t) =

0 si z = 0 y z = l y con la concentracin inicial dada
{ do 0 = const.
si es 0 z marido
c (z, 0) = do 0 ( z): =
0 si h <z l.
(Ii) Calcular lim t c (z, t).

6.6. CEREMONIAS 173
16. Demostrar el Negro-Scholes Formel de una opcin de venta europea.
Insinuacin: Put-call paridad.
17. Demostrar la paridad put-call para opciones europeas
C (S, t) - P (S, t) = S - mi mi - r (T - t)
utilizando el siguiente resultado singularidad: Asumir W es una solucin de (6.11) en las

condiciones laterales W (S, T) = 0, W ( 0, t) = 0 y
W (S, t) = O (S) como S , uniformemente sobre 0 t T. Entonces W (S, t)
0.
18. Demostrar que una solucin V (S, t) del problema de valor lmite inicial (6.11)
en en las condiciones laterales (i) V (S, T) = 0, S 0, (ii) V ( 0, t) = 0, 0 t T, ( iii) lim S V (S, t)
= 0 u niformly en 0 t T, se determina de forma nica en la clase do 2 ( ) DO( ).
19. Demostrar que una solucin V (S, t) del problema de valor lmite inicial (6.11)
en , en las condiciones laterales (i) V (S, T) = 0, S 0, (ii) V ( 0, t) = 0, 0 t T, ( iii) V (S, T) = S + o (S) como
S , uniformemente sobre 0 t T,
satis fi ca | V (S, t) | cS para todos S 0 y 0 t T.
Captulo 7
ecuaciones elpticas de segundo orden
Aqu consideramos ecuaciones elpticas lineales de segundo orden, sobre todo la ecuacin de Laplace
4 u = 0.
Soluciones de la ecuacin de Laplace se llaman funciones potenciales o funciones armnicas. La ecuacin

de Laplace se llama tambin la ecuacin potencial.
La ecuacin general elptica para una funcin escalar u (x), x R norte, es
norte norte
Lu: = un ij ( x) u x yo x j + segundo j ( x) u x j + c (x) u = f (x),
i, j = 1 j=1
donde la matriz A = (a ij) es real, simtrica y positiva fi nida. Si UN es una matriz constante, entonces una
transformacin para eje principal y el estiramiento de eje conduce a
norte
un ij u x yo x j = 4 v,
i, j = 1
dnde v (y): = u (Ty), T representa la composicin anterior de asignaciones.
7,1 solucin fundamental
Aqu consideramos soluciones particulares de la ecuacin de Laplace en R norte del tipo
u (x) = f (| x - y |),
175
176 Captulo 7. elptica ECUACIONES de segundo orden
dnde y R norte es fijo y F es una funcin que vamos a determinar tal que
u define un solucin si la ecuacin de Laplace.
Conjunto r = | x - y |, entonces
u x i = F '( r) x yo - y yo
r
(1 )
u x yo x i = F '' ( r) (x yo - y yo) 2 + F '( r)
r2 r - ( x yo - y yo)
r32
4 u = f '' ( r) + n - 1
rf '( r).
Por lo tanto una solucin de 4 u = 0 est dado por
{ do 1 En r + c 2
:n=2
f (r) =
do 1 r 2 - n + do 2 : norte 3
con constantes do 1, do 2.
De fi nicin. Conjunto r = | x - y |. La funcin

{-1
2 En r: n = 2
s (r): = r 2 - norte
: norte 3
( norte - 2) norte
se llama funcin de la singularidad asociado a la ecuacin de Laplace. Aqu est norte la zona de la
unidad de esfera n-dimensional que est dada por n =
2 norte/ 2 / ( norte/ 2), donde

( t): = mi - t - 1 d, t> 0,
0
es la funcin gamma.
De fi nicin. Una funcin
(x, y) = s (r) + (x, y)
se llama solucin fundamental asociado a la ecuacin de Laplace si

do 2 ( ) y 4 x = 0 para cada fijo y .
Observacin. La solucin fundamental satis fi ca para cada fijos y la relacin
- (x, y) 4 x ( x) dx = ( y) para todos do 2 0( ),

7.2. frmula de representacin 177
ver un ejercicio. Esta frmula se deduce de consideraciones similares a la siguiente seccin.
En el lenguaje de distribucin, esta relacin se puede escribir por definicin como
-4 x (x, y) = (x - y),
dnde es la distribucin de Dirac, que se llama - funcin.
frmula 7.2 Representacin
En lo que sigue se supone que , la funcin que aparece en la definicin de la solucin

fundamental y la funcin potencial u considerados son su fi cientemente regular tal que los siguientes
clculos tienen sentido, vase [6] f o generalizaciones r. Este es el caso yo f est delimitada, es
en do 1,
do 2 ( ) para cada fi jo y y u do 2 ( ).
nx
Figura 7.1: Anotaciones a la identidad de Green
Teorema 7.1. Dejar u ser una funcin potencial y una solucin fundamental, entonces para cada fi ja y
( )
u (y) = (x, y) u (x) - u (x) (x, y) dS x.
n x n x
Prueba. Dejar segundo ( y) Ohmio ser una bola. Establecer ( y) = \ segundo ( y). Vase la Figura 7.2 para anotaciones. A partir de
la frmula de verde, por u, v do 2 ( ),
( )
( v 4 u - u 4 v) dx = v u dS
( y) ( y) n - u V n
norte
y (Y)

norte
Figura 7.2: Notaciones con el teorema 7.1
obtenemos, si v es una solucin fundamental y u una funcin potencial,
( )
v u dS = 0.
( y) n - u V n
Por lo tanto, tenemos que considerar

v u v u v u
( y) dS n = dS + n B ( y) n dS

u V u V u V
( y) dS n = dS + n B ( y) dS n.
Estimamos las integrales sobre B ( y):
(yo)
||||| ||||| METRO

v u | v | dS
B ( y) n dS B ( y)
( )
METRO s (rho) dS + C norte norte - 1 ,

B ( y)
dnde
M = M (y) = cenar | u / n |, 0,
segundo 0 ( y)
C = C (y) = cenar | (x, y) |.

x segundo 0 ( y)
7.2. frmula de representacin 179
A partir de la definicin de s () obtenemos la estimacin que se 0
{ O ( | En |): n = 2
v u (7,1)
B ( y) dS n = O (): n 3.
(Ii) Considere el caso norte 3, a continuacin,

u V u1 u
B ( y) dS n = 1 norte B ( y) norte - 1 dS + B ( y) n dS

1
= u dS + O ( norte - 1)
norte norte - 1 B ( y)

1
= dS + O ( norte - 1),
norte norte - 1 u (x 0) B ( y)
= u (x 0) + O ( norte - 1).
por un x 0 B ( y).
La combinacin de esta estimacin y (7.1), se obtiene la frmula de representacin del teorema.

2
Corolario. Conjunto 0 y r = | x - y | en la frmula representacin del Teorema 7.1, a continuacin,
( )
u (y) = 1 En r u - u ( En r) n x dS x, n = 2, (7,2)
2 n x
(1 )
1 ( norte - 2) u
u (y) = - u (r 2 - norte) dS x, norte 3. (7,3)
norte r norte - 2 n x n x
7.2.1 Conclusiones de la frmula de representacin
Similar a la teora de funciones de una variable compleja, se obtiene aqu resultados para las funciones
armnicas de la frmula de representacin, en particular a partir de (7.2), (7.3). Recordamos que una
funcin u se llama armnico Si u do 2 ( ) y 4 u = 0 en .
Propuesta 7.1. Asumir u es armnica en . Entonces u do ( ).
Prueba. Let 0 Ohmio ser un dominio tal que y 0. Se deduce de las frmulas de representacin
(7.2), (7.3), donde : = 0, ese re l u (y) existir y
son continuas para todos l ya que uno puede cambiar di ff erentiation con la integracin en lados derechos
de las frmulas de representacin. 2
Observacin. De hecho, una funcin que es armnica en siquiera es real analtica en , ver un
ejercicio.
Proposicin 7.2 ( La media de frmula de valor para las funciones armnicas). Asumir u
es armnica en . Luego, para cada segundo ( x)

u (x) = 1 u (y) dS y.
norte norte - 1 B ( x)
Prueba. Considere el caso norte 3. La afirmacin sigue de (7.3) donde : = segundo ( x) ya que r = y

1 u u
dS y = 1 dS y
B ( x) r norte - 2 n y norte - 2 B ( x) n y

=1 4 u dy
norte - 2 segundo ( x)
= 0.
Recordamos que un dominio R norte se llama conectada si no es la unin de dos subconjuntos abiertos
no vacos Ohmio 1, 2 tal que 1 2 = . Un dominio R norte
est conectado si y slo si su trayectoria conectado.
Proposicin 7.3 ( principio del mximo). Asumir u es armnica en un dominio conectado y alcanza su
extremo superior o en fi mum en . Entonces u const.
en .
Prueba. Consideremos el caso del supremo. Dejar x 0 tal que
u (x 0) = cenar u (x) =: METRO.

Establecer 1: = { x : u (x) = M} y 2: = { x : u (x) <M}. El conjunto 1 no est vaco desde x 0 1. El conjunto 2

est abierto desde u do 2 ( ). En consecuencia, 2 est vaca si se puede demostrar que 1 Esta abierto. Dejar x
1, entonces hay una 0> 0 tal que segundo 0 ( x) y u (x) = M para todos x segundo 0 ( x).
7.3. Problemas de contorno 181
Si no es as, entonces existe > 0 y x tal que | x - x | = , 0 < < 0 y

u ( x)
<M. De la frmula valor medio, vase la Propuesta 7.2, se deduce
x)

M=1 u (x) dS <M dS = METRO,
norte norte - 1 B ( x) norte norte - 1 B ( x)
lo cual es una contradiccin. As, el conjunto 2 est vaco desde 1 Esta abierto. 2
Corolario. Supongamos est conectado y delimitada, y u do 2 ( ) DO( ) es armnica en .

Entonces u alcanza su mnimo y su mximo en el lmite .
Observacin. El corolario anterior falla si no est acotado como contraejemplos simples muestran.
7.3 problemas de contorno
asumir R norte es un dominio conectado.
7.3.1 problema de Dirichlet
los Dirichlet p r oblema ( primer problema de contorno) es encontrar una solucin

u do 2 ( ) DO( ) de
4 u = 0 en (7,4)
u = en , (7,5)
donde se da y continua en .
Proposicin 7.4. Asumir est delimitada, a continuacin, una solucin al problema de Dirichlet se determina de
forma nica.
Prueba. principio del mximo.
Observacin. El resultado anterior falla si tomamos distancia, en la condicin de contorno (7.5) un

punto de la la frontera como muestra el siguiente ejemplo. Let R 2 ser el dominio
= { x segundo 1 ( 0): x 2> 0},

x2
x1
1
Figura 7.3: Contraejemplo
Asumir u do 2 ( ) DO( \ {0}) es una solucin de
4 u = 0 en
u = 0 en \ {0}.
Este problema tiene soluciones u 0 y u = Estoy( z + z - 1), dnde z = x 1 + ix 2.

Otro ejemplo ver un ejercicio.
En contraste con este comportamiento de la ecuacin de Laplace, si uno tiene la singularidad 4 u = 0 se
sustituye por la ecuacin de superficie mnima
( ) ( )
u x1 u x2
1 + | u |2 + 1 + | u |2 = 0.
x 1 x 2
7.3.2 problema de Neumann
los PR Neumann o blema ( segundo lmite problema de valor) es encontrar una solucin
u do 2 ( ) do 1 ( ) de
4 u = 0 en (7,6)
u
(7,7)
n = en ,
donde se da y continua en .
Propuesta 7.5. Asumir yo s delimitada, a continuacin, una solucin al problema de Dirichlet es de la clase u
do 2 ( ) determinado nicamente hasta una constante.
Prueba. Ejercicio. Sugerencia: Multiplicar la ecuacin diferencial di ff 4 w = 0 por w e integrar el resultado

sobre .
7.4. Funcin de Green PARA 4 183
Otra prueba bajo el supuesto ms dbil u do 1 ( ) do 2 ( ) sigue desde el punto lmite de Hopf
lema, ver notas de la conferencia: Ecuaciones lineales elpticas de segundo orden, por ejemplo.
7.3.3 Mixta problema de contorno
los valor lmite mixta prob l em ( tercero lmite problema de valor) es encontrar una solucin u do 2 ( )
do 1 ( ) de
4 u = 0 en (7,8)
u
(7,9)
n + hu = en ,
donde y marido se dan y continua en .e y marido se dan y continua en .
Propuesta 7.6. Asumir est limitada y su fi cientemente regular, a continuacin, una solucin al problema de
mezclado se determina de forma nica en la clase u do 2 ( )
previsto h (x) 0 en y h (x) > 0 para al menos un punto x .
Prueba. Ejercicio. Sugerencia: Multiplicar la ecuacin diferencial di ff 4 w = 0 por w e integrar el resultado

sobre .
7.4 Funcin de Green para el 4
Teorema 7.1 dice que cada funcin armnica satisface
( )
u (x) = (y, x) u (y) - u (y) (y, x) dS Y, (7,10)
n y n y
dnde (y, x) es una solucin fundamental. En general, u no satisface la condicin de contorno en

los problemas de contorno anteriores. Ya que = s + phi,
vase la Seccin 7.2, donde es un arbitrario funcin armnica para cada fijada x,
tratamos de encontrar una de tal manera que u satisface tambin la condicin de contorno.
Considere el problema de Dirichlet, entonces buscamos una de tal manera que
(y, x) = 0, y , x . (7,11)
Entonces
(y, x)
u (x) = - u (y) dS Y, x .
n y
Suponer que u alcanza sus valores lmite del problema de Dirichlet, a continuacin,
(y, x)
u (x) = - ( y) dS Y, (7,12)
n y
Reivindicamos que esta funcin se soluciona el problema de Dirichlet (7,4), (7,5).
Una funcin (y, x) el cual satisface (7.11), y algunos supuestos adicionales, se llama Verduras funcin.
Ms precisamente, definimos una funcin de Green de la siguiente manera.
De fi nicin. Una funcin G (y, x), y, x , x 6 = Y, se llama funcin verde

asociado a y al problema de Dirichlet (7.4), (7.5) si por fijada x , es decir tenemos en cuenta G
(y, x) como una funcin de Y, las siguientes propiedades:
(yo) G (y, x) do 2 ( \ { x}) DO( \ { x}), 4 y G (y, x) = 0, x 6 = y.
(Ii) G (y, x) - s (x | - y |) do 2 ( ) DO( ). (Iii) G (y, x) = 0 si y
, x 6 = y.
Observacin. Veremos en la siguiente seccin que existe una funcin de Green, al menos para algunos
dominios de geometra simple. En cuanto a la existencia de una funcin de Green para los dominios ms
generales vase [13].
Es un hecho interesante que obtenemos de (i) - (iii) de la anterior definicin dos importantes
propiedades adicionales. Suponemos que es limitada, su fi cientemente regular y conectada.
Proposicin 7.7. Una funcin verde tiene las siguientes propiedades. En el caso n = 2 asumimos diam
< 1.
(UN) G (x, y) = G (y, x) ( simetra).
(SEGUNDO)0 < G (x, y) <s (| x - y |), x, y , x 6 = y.
Pr Fuera de la oficina. ( A) Sea x( 1), x( 2) . Conjunto segundo i = segundo ( x( yo)), i = 1, 2. Suponemos
segundo yo un re segundo 1 segundo 2 = . Ya que G (y, x ( 1)) y G (y, x ( 2)) son armnicos en \ ( segundo 1 segundo 2
)
que obtenemos de la identidad de Green, vase la figura 7.4 para notaciones,
norte
(2)
x (1)
norte nx
Figura 7.4: Demostracin de la proposicin 7.7
(
0= G (y, x ( 1)) G (y, x ( 2))
( \ ( segundo 1 segundo 2))
n y
)
- G (y, x ( 2)) G (y, x ( 1)) dS y
n y
( )
= G (y, x ( 1)) G (y, x ( 2)) - G (y, x ( 2)) G (y, x ( 1)) dS y
n y n y
( )
+ G (y, x ( 1)) G (y, x ( 2)) - G (y, x ( 2)) G (y, x ( 1)) dS y
B 1 n y n y
( )
+ G (y, x ( 1)) G (y, x ( 2)) - G (y, x ( 2)) G (y, x ( 1)) dS y.
B 2 n y n y
La integral sobre es cero debido a la propiedad (iii) de una funcin de Green, y
( )
G (y, x ( 1)) G (y, x ( 2)) - G (y, x ( 2)) G (y, x ( 1)) dS y
B 1 n y n y
G (x ( 1), x( 2)),
( )
G (y, x ( 1)) G (y, x ( 2)) - G (y, x ( 2)) G (y, x ( 1)) dS y
B 2 n y n y
- G (x ( 2), x( 1))
como 0. Esto se sigue por consideraciones como en la demostracin del Teorema 7.1.
(B) Desde
G (y, x) = s (| x - y |) + (y, x)
y G (y, x) = 0 si y y x que tenemos para y
(y, x) = - s (x | - y |).
A partir de la definicin de s (x | - y |) resulta que (y, x) < 0 si y . Por lo tanto, desde 4 y = 0 en ,

el principio del mximo-mnimo implica que
(y, x) < 0 para todos y, x . Por consiguiente
G (y, x) <s (| x - y |), x, y , x 6 = y.
Queda por demostrar que
G (y, x) > 0, x, y , x 6 = y.
Fijar x y dejar segundo ( x) ser una bola de tal manera que segundo ( x) para todos 0 < < 0.
Hay una pequea FFI su cientemente 0> 0 tal que para cada , 0 < < 0,
G (y, x) > 0 para todos y segundo ( x), x 6 = Y,
ver la propiedad (iii) de una funcin de Green. Ya que
4 y G (y, x) = 0 en \ segundo ( x) G (y, x) > 0 si
y B ( x) G (y, x) = 0 si y
que se deriva del principio de mximas y mnimas que
G (y, x) > 0 en \ segundo ( x).
7.4.1 funcin de Green para una bola
Si Ohmio = segundo R ( 0) es una bola, a continuacin, la funcin de Green se conoce de manera explcita. Dejar que = segundo
R( 0) ser una bola en R norte con un radio R y el centro en el origen. Dejar x, y segundo R ( 0) y dejar y ' la reflejada punto de y
sobre la esfera
B R ( 0), es decir, en particular | y || y '| = R 2, vase la figura 7.5 para anotaciones. Conjunto
( )
G (x, y) = s (r) - s ,
rr 1
dnde s es la funcin de la singularidad de la Seccin 7.1, r = | x - y | y
( ) 2
norte norte
2= y yo
2 , r1= x yo - R 2 .
2 y yo
i=1 i=1
r1
0
yr
R
Y'
Figura 7.5: reflexin sobre B R ( 0)
Esta funcin G (x, y) es satis fi (i) - (iii) de la definicin de una funcin de Green. Reivindicamos que

u (x) = - G (x, y) dS y
B R ( 0) n y
es una solucin del problema de Dirichlet (7.4), (7.5). Esta frmula tambin es cierto para una gran clase de
dominios R norte, vase [13].
Lema. |||| | y | = R
R2- | x |2
- G (x, y) =1
n y R norte | y - x | n.
Prueba. Ejercicio.
Conjunto
R2- | x |2
H (x, y) = 1 (7,13)
R norte | y - x | n,
Lo que es llamado del ncleo de Poisson.
Teorema 7.2. Asumir C ( ). Entonces

u (x) = H (x, y) ( y) dS y
B R ( 0)
es la soluti o n del problema fi valor lmite RST (7.4), (7.5) en la clase

do 2 ( ) DO( ).
Prueba. La prueba se desprende de las siguientes propiedades de H (x, y):
(yo) H (x, y) do , | y | = R, | x | <R, x 6 = Y,
(Ii) 4 x H (x, y) = 0, | x | <R, | y | = R,
(Iii) B R ( 0) H (x, y) dS y = 1, | x | <R,
(Iv) H (x, y) > 0, | y | = R, | x | <R,
(V) Fijar B R ( 0) y > 0, entonces lim x , | x | <R H (x, y) = 0

uniformemente en y B R ( 0), | y - | > .
(I), (iv) y (v) seguimiento de la definicin de fi (7.13) de MARIDO y (ii) a partir de (7.13) o desde
|||| y B R ( 0)
H = - G (x, y) ,
n y
GRAMO armnica y G (x, y) = G (y, x).

Propiedad (iii) es una consecuencia de la frmula

u (x) = H (x, y) u (y) dS Y,
B R ( 0)
para cada funcin armnica u, ver clculos a la frmula de representacin anteriormente. Obtenemos (ii) si
establecemos u 1.
Queda por demostrar que u, dado por la frmula de Poisson, es en C (B R ( 0)) y que u logra los valores
lmite prescritos. Fijar B R ( 0) y dejar
x segundo R ( 0). Entonces

u (x) - ( ) = H (x, y) ( ( y) - ( )) dS y
B R ( 0)
= yo 1 + yo 2,
dnde

yo 1 = H (x, y) ( ( y) - ( )) dS y
B R ( 0), | y - | <

yo 2 = H (x, y) ( ( y) - ( )) dS y.
B R ( 0), | y - |
Para dado (pequeo) > 0 existe una = () > 0 tal que
| ( y) - ( ) | <
para todos y B R ( 0) con | y - | <. De ello se desprende | yo 1 | debido a (iii) y (iv). Conjunto M = max B R ( 0) | |. A
partir de (v) llegamos a la conclusin de que existe una > 0 tal que

H (x, y) <
2 mO norte R norte - 1
Si x y y satisfacer | x - | < ', | y - | > , vase la figura 7.6 para anotaciones. As
x
'
Figura 7.6: Demostracin del Teorema 7.2
| yo 2 | < y la desigualdad
| u (x) - ( ) | < 2
para x segundo R ( 0) tal que | x - | < ' se muestra. 2
Observacin. De fi ne [ 0, ] a travs cos = x a / a (| x || y |), entonces escribimos la frmula de Poisson del

teorema 7.2 como

1
u (x) = R 2 - | x | 2 ( y)
norte R B R ( 0) (| x | 2 + R 2 - 2 | x | R cos ) norte/ 2 dS y.
En el caso n = 2 podemos ampliar esta integral en una serie de potencias con respecto a las : = | x | / R si | x |
<R, ya que
R2- | x |2 1 - 2
| x | + R 2 - 2 | x | R cos = 2 - 2 cos + 1

=1+2 norte cos ( n),
n=1
ver [16], pp. 18 para una prueba fcil de esta frmula, o [4], Vol. II, p. 246.
7.4.2 correlacin de funciones y de conformacin de Green
Para los dominios bidimensionales hay una hermosa conexin entre representacin conforme y la funcin de
Green. Dejar w = f (z) ser una representacin conforme de una su fi dominio conectado de manera suficiente
regular en R 2 en el interior del crculo unidad, vase la figura 7.7. A continuacin, la funcin de Green de
se, vase por ejem-
w = f (z) w
mi
.y
1
.x
Figura 7.7: representacin conforme
PLE [16] u otros libros de texto acerca de la teora de funciones de una variable compleja,
||||| 1 - f (z) f (z 0) |||||,
G (z, z 0) = 1
2 En f (z) - f (z 0)
dnde z = x 1 + ix 2, z 0 = y 1 + iy 2.
7,5 ecuacin no homognea
Aqu consideramos soluciones u do 2 ( ) DO( ) de
-4 u = f (x) en (7,14)
u = 0 en , (7,15)
dnde F es dado.
Necesitamos el siguiente lema en relacin con los potenciales de volumen. Suponemos que es limitada y
su fi cientemente regular de tal manera que se dan las siguientes integrales. Vase [6] para generalizaciones
con respecto a estos supuestos.
deje de x R norte, norte 3,

1
V (x) = f (y)
| x - y | norte - 2 dy
y establecer, en el caso de dos dimensiones

(1 )
V (x) = f (y) En dy.
|x-y|
Recordamos que n = | B 1 ( 0) |.
Lema.
(yo) Asumir F DO( ). Entonces V do 1 ( R norte) y
( )
1
V x yo( x) = f (y) dy, Si norte 3,
x yo | x - y | norte - 2
( (1 ) )
V x yo( x) = f (y) En dy Si n = 2.
x yo |x-y|
(Ii) Si F do 1 ( ), entonces V do 2 ( ) y
4 V = - ( norte - 2) norte f (x), x , norte 3
4 V = - 2 f (x), x , n = 2.
Prueba. Para simplificar la presentacin, se considera el caso n = 3. (i) La primera afirmacin sigue ya que
podemos cambiar di ff erentiation con la integracin ya que el erentiate integrando di ff es dbilmente singular,
vemos un ejercicio. (Ii) Nosotros di ff erentiate en x . Dejar segundo ser una bola fijada fi tal que x segundo
,
su fi cientemente pequeo tal que segundo . Entonces, de acuerdo con (i) y ya que tenemos la identidad
(1 ) (1 )

=-
x yo |x-y| y yo |x-y|
lo que implica que

(1 ) ( )
f (y) =- f (y) 1 + F y yo( y) 1
x yo |x-y| y yo |x-y| |x-y|,
obtenemos
(1 )
V x yo( x) = f (y) dy
x yo |x-y|
(1 ) (1 )
= f (y) dy + f (y) dy
\ segundo
x yo |x-y| segundo
x yo |x-y|
(1 )
= f (y) dy
\ segundo
x yo |x-y|
(- ( ) )
+ f (y) 1 + F y yo( y) 1 dy
segundo
y yo |x-y| |x-y|
(1 )
= f (y) dy
\ segundo
x yo |x-y|

+ F y yo( y) 1 f (y) 1
segundo
| x - y | dy - B | x - y | n yo dS Y,
dnde norte es la unidad exterior normal en B . De ello se desprende que la primera y la segunda integral es
en do 1 ( ). La segunda integral est tambin en do 1 ( ) de acuerdo con (i) y desde F do 1 ( ) por supuesto.
Porque 4 x (| x - y | - 1) = 0, x 6 = Y, sigue
(1 )
norte
4V= F y yo( y) dy
segundo
x yo |x-y|
i=1
(1 )
norte
- f (y) norte yo dS y.
B x yo |x-y|
i=1
Ahora elegimos para segundo un baln con el centro en x, entonces
4 V = I 1 + yo 2,
dnde

yo 1 = F y yo( y) y yo - x yo
segundo ( x) n
| x - y | 3 dy
i=1
yo 2 = - f (y) 1
B ( x) 2 dS y.
Recordamos que norte ( y - x) = Si y B ( x). Es yo 1 = O () como 0 y para yo 2 que obtenemos del

teorema del valor medio del clculo integral que
para y B ( x)

yo 2 = - 1 dS y
2 f (y) B ( x)
= - norte f (y),
lo que implica que lim 0 yo 2 = - norte f (x). 2
En lo que sigue se supone que existe la funcin de Green para el dominio , que es el caso si es
una bola.
Teorema 7.3. Asumir F do 1 ( ) DO( ). Entonces

u (x) = G (x, y) f (y) dy

es la solucin del problema no homogneo (7,14), (7,15).
Prueba. Por simplicidad de la let presentacin n = 3. Vamos a demostrar que

u (x): = G (x, y) f (y) dy

es una solucin de (7.4), (7.5). Ya que
1 4 | x - y | + (x, y),
G (x, y) =
dnde es una funcin potencial con respecto a x o Y, se obtiene a partir del lema por encima de ese

4u=1 f (y) 1 4 x (x, y) f (y) dy
44 | x - y | dy +
= - f (x),
dnde x . Queda por demostrar que u logra sus valores lmite. Es decir, para fijo x 0 vamos a
demostrar que
lim
x x 0, x u (x) = 0.
Conjunto
u (x) = I 1 + yo 2,
dnde

yo 1 ( x) = G (x, y) dy f (y),
\ segundo ( x 0)

yo 2 ( x) = G (x, y) f (y) dy.
segundo ( x 0)
Dejar M = max | f (x) |. Ya que
1
G (x, y) = 1
4 | x - y | + (x, y),
obtenemos, si x segundo ( x 0) ,

dy
| yo 2 | METRO
4 segundo ( x 0)
| x - y | + O ( 2)

dy
METRO
4 segundo 2 (x)
| x - y | + O ( 2)
= O ( 2)
como 0. En consecuencia, para dado hay un 0 = 0 ( ) > 0 tal que
| yo 2 | <
2 para todos 0 < 0.
Para cada fi jo , 0 < 0, tenemos
lim
x x 0, x yo 1 ( x) = 0
ya que G (x 0, y) = 0 si y \ segundo ( x 0) y G (x, y) es uniformemente continua en

x segundo / 2 ( x 0) y y \ segundo ( x 0), vase la Figura 7.8. 2
Observacin. Para la demostracin de (ii) en el lema anterior es su ciente FFI asumir que F es titular continua. De
manera ms precisa, y mucho F do ( ), 0 < < 1, entonces
V do 2, ( ), vase por ejemplo [9].
7.6. CEREMONIAS 195
x
0
y x
Figura 7.8: Demostracin del Teorema 7.3
7.6 Ejercicios
1. Sea (x, y) ser una solucin fundamental a 4, y . Muestra esa
- (x, y) 4 ( x) dx = ( y) para todos do 2 0( ).

Insinuacin: Vase la prueba de la frmula de representacin.
2. Demostrar que | x | - 1 pecado( k | x |) es una solucin de la ecuacin de Helmholtz
4 u + k 2 u = 0 en R n \ { 0}.
3. Asumir u do 2 ( ), acotada y su fi cientemente regular, es una solucin de

de
4 u = u 3 en
u = 0 en .
Muestra esa u = 0 en .
4. Sea = { x R 2: x 1> 0, 0 < x 2 < x 1 broncearse }, 0 < . Espectculo

ese ( )
u (x) = r k pecado
es una funcin armnica en satisfactorio u = 0 en , previsto k es un nmero entero. Aqu ( r, ) son

las coordenadas polares con el centro en (0, 0).
5. Sea u do 2 ( ) ser una solucin de 4 u = 0 en el cuadrngulo =

(0, 1) x ( 0, 1) que satisface las condiciones de contorno u ( 0, y) = u ( 1, y) = 0 para todos y [ 0, 1 ] y u y
( x, 0) = u y ( x, 1) = 0 para todos x [ 0, 1]. Pruebalo u 0 en .
6. Sea u do 2 ( R norte) ser una solucin de 4 u = 0 en R norte satisfactorio u L 2 ( R norte),

es decir,
R norte u 2 ( x) dx < .
Muestra esa u 0 en R norte.
Insinuacin: Probar

| u | 2 dx const. | u | 2 dx,
segundo R ( 0)
R2 segundo 2 R ( 0)
dnde do es una constante independiente de R.
Para mostrar esta desigualdad, se multiplica la ecuacin diferencial di ff por : = 2 u,

dnde do 1 es una funcin de corte FF-o con propiedades: 1 en segundo R ( 0),
0 en el exterior de segundo 2 R ( 0), 0 1, | | C / R. Integrar el producto, aplicar la

integracin por partes y el uso de la frmula 2 ab
a 2 + 1 segundo 2, > 0.
7. Demostrar que una funcin armnica acotada de fi nido en R norte debe ser un
constante (un teorema de Liouville).
8. Suponga u do 2 ( segundo 1 ( 0)) C (B 1 ( 0) \ {(1, 0)}) es una solucin de
4 u = 0 en segundo 1 ( 0)
u = 0 en B 1 ( 0) \ {(1, 0)}.
Muestran que hay al menos dos soluciones.
Insinuacin: Considerar
u (x, y) = 1 - ( x 2 + y 2)
(1 - x) 2 + y 2.
9. Asumir R norte y est delimitada u, v do 2 ( ) DO( ) satisfacer 4 u = 4 v

y mximo | u - v | para determinada > 0. Demostrar que como mximo | u - v | .
10. Conjunto = R n \ segundo 1 ( 0) y dejar u do 2 ( ) ser una funcin armnica en

lim satisfactoria | x | u (x) = 0. Demostrar que
max | u | = max
| u|.
Insinuacin: Aplicar el principio del mximo de segundo R ( 0), R grande.

7.6. CEREMONIAS 197
11. Sea = { x R 2: x 1> 0, 0 < x 2 < x 1 broncearse }, 0 < ,

, R = segundo R ( 0), y asumir F se da y limitado en , R.
Demostrar que para cada solucin u do 1 ( , R) do 2 ( , R) de 4 u = f en , R satisfactorio u = 0 en , R segundo
R( 0), se tiene: Para dado > 0 hay una constante C () de tal manera que
| u (x) | C () | x | - en , R.
Insinuacin: ( a) principio de comparacin (una consecuencia de t marido La mxima principio):

Supongamos est delimitada, u, v do 2 ( ) DO( ) que satisface
-4 u -4 v en y u v en . Entonces u v en . (B) Una funcin de
comparacin apropiada es
v = Ar - pecado( B ( + )) ,
A, B, constantes apropiadas, B, positivo.
12. Vamos ser el cuadrngulo ( - 1, 1) (- 1, 1) y u do 2 ( ) DO( ) una

solucin del problema de contorno -4 u = 1 en , u = 0 en . Encuentra una inferior y un
lmite superior para u ( 0, 0).
Insinuacin: Considere la funcin de comparacin v = A (x 2 + y 2), A = const.
13. Sea u do 2 ( segundo un( 0)) C (B un( 0)) que satisface u 0, 4 u = 0 en segundo un( 0). Probar (la desigualdad de
Harnack):
un norte - 2 ( un - | |)
( A + | |) norte - 1 u ( 0) u () un norte - 2 ( A (+un

| -|)| |) norte - 1 u ( 0).
Insinuacin: Usa la frmula (vase el Teorema 7.2)

u (x)
u (y) = a 2 - | y | 2
a norte |x|=a | x - y | norte dS x
para y = y y = 0.
14. Let () ser un 2 - peridico do 4- funcin con la serie de Fourier

() = ( un norte cos (n) + b norte pecado( n)) .
n=0
Muestra esa

u= ( un norte cos (n) + b norte pecado( n)) r norte
n=0
resuelve el problema de Dirichlet en segundo 1 ( 0).

15. Suponga u do 2 ( ) satisface 4 u = 0 en . Dejar segundo un( ) ser una pelota de tal
que su cierre se encuentra en . Muestra esa
( | | norte ) ||
| re u () | METRO ,
un
dnde M = cenar x segundo un( ) | u (x) | y n = 2 n norte - 1 / (( norte - 1) norte).
Insinuacin: Usa la frmula del Teorema 7.2, sucesivamente a la k-sima derivados en bolas con
radio un (| | - k) / m, k = O, 1, . . . , metro - 1.
16. Uso del resultado del ejercicio anterior para demostrar que u do 2 ( ) satis-
fying 4 u = 0 en es real analtica en .
Insinuacin: Utilice la frmula de Stirling
( 2 pi N + O (1 ) )
norte! = n norte mi - norte norte
como norte , para mostrar que u est en la clase do K, r ( ), dnde K = cm y

r = a / ( mi norte). El constante do es la constante en la estimacin norte norte do mi norte norte!
que se desprende de la frmula de Stirling. Vea la Seccin 3.5 para la definicin de una funcin
analtica real.
17. Supongamos est conectado y u do 2 ( ) es una solucin de 4 u = 0 en .

Pruebalo u 0 en si re u () = 0 para todos , para un punto . En particular, u 0 en
si u 0 en un abierto de .
18. Let = {( x 1, x 2, x 3) R 3: x 3> 0}, que es un medio-espacio de R 3.

Muestra esa
14|x-y|- 14|x-y
G (x, y) = |,
dnde y = (y 1, y 2, - y 3), es la funcin de Green de .
19. Let = {( x 1, x 2, x 3) R 3: x 21 + x 22 + x 23 < R 2, x 3> 0}, que es la mitad

de una pelota en R 3. Muestra esa
14|x-y|- R
G (x, y) =
4 | x || y - y? |
R
-14|x-y|+
4 | x || y - y? | ,
dnde y = (y 1, y 2, - y 3), y? = R 2 a / a (| y | 2) y y? = R 2 a / a (| y | 2), es la funcin de Green de .

7.6. CEREMONIAS 199
20. Let = {( x 1, x 2, x 3) R 3: x 2> 0, x 3> 0}, que es una cua en R 3.

Muestra esa
14|x-y|- 14|x-
G (x, y) =
y|
1 4 | x - y '| 14|x-
- + y '| ,
dnde y = (y 1, y 2, - y 3), y '= ( y 1, - y 2, y 3) y y '= ( y 1, - y 2, - y 3), es la funcin de Green de .
21. Encontrar la funcin de Green para el exterior de un disco, es decir, del dominio = { x R 2: | x | >
R}.
22. Encuentre la funcin de Green para el dominio de ngulo = { z C: 0 <arg z <

}, 0 < <.
23. Encuentre la funcin de Green para el dominio de hendidura = { z C: 0 <arg z <

2 }.
24. Deje de su fi cientemente regular de dominio R norte, una bola o un cuadrngulo

por ejemplo,
F (x) = K (x, y) dy,

dnde K (x, y) es continua en donde x 6 = Y, y el que satis fi ca

do
| K (x, y) |
| x - y |
con unas constantes do y , <n.
Muestra esa F (x) es continua en .
25. probar (i) del lema de la Seccin 7.5.
Insinuacin: Considere el caso norte 3. Fijar una funcin do 1 ( R) 0 satisfactoria 1, 0 ' 2, (t)
= 0 para t 1, (t) = 1 para t 2 y tener en cuenta para > 0 la regularizado integral

dy
V ( x): = f (y)
| x - y | norte - 2,
dnde = (| x - y | / m). Muestra esa V converge uniformemente a V

sobre subconjuntos compactos de R norte como 0, y que V ( x) / x yo converge uniformemente sobre subconjuntos
compactos de R norte a
( )
1
f (y) dy
x yo | x - y | norte - 2
como 0.
26. Considere el problema de Dirichlet no homognea -4 u = f en , u =

en . Transformar este problema en un problema de Dirichlet para la ecuacin de Laplace.
Insinuacin: Conjunto u = w + v, dnde w (x): =

s (x | - y |) f (y) dy.
Bibliografa
[1] M. Abramowitz y IA Stegun, Handbook of Mathematical Functions

con frmulas, grficos y tablas matemticas. Vol. 55, Oficina Nacional de Normas de Matemticas
Aplicadas de la serie, Imprenta del Gobierno de los Estados Unidos o fi cina, Washington, DC, 1964.
Reproducido con Dover, New York, 1972.
[2] S. Bernstein, Sur un th'eor`eme de g'eom'etrie et aux aplicacin hijo

d'eriv'ees partielles du tipo elliptique. Comm. Soc. Mates. de Jarkov (2) 15,( 1915-1917), 38-45.
traduccin al alemn: Matemticas. Z. 26 ( 1927), 551-558.
[3] E. Bombieri, E. De Giorgi y E. Giusti, conos mnimos y los Bern-

Stein problema. Inv. Mates. 7 ( 1969), 243-268.
[4] R. Courant und D. Hilbert, Methoden der Physik mathematischen.

Banda 1 und Band 2. Springer-Verlag, Berln, 1968. Traduccin Ingls:
Mtodos de Fsica Matemtica. Vol. 1 y Vol. 2, Wiley-Interscience,
1962.
[5] LC Evans, Las ecuaciones diferenciales parciales Di ss. Estudios de posgrado en Matemticas-
matem-, Vol. 19, AMS, Providence, 1991.
[6] LC Evans y RF Gariepy, Teora de la medida y de Fine Properties

funciones, Los estudios en Matemtica Avanzada, CRC Press, Boca Raton,
1992.
[7] R. Finn, Equilibrio Capilar superficies. Grundlehren, Vol. 284,

Springer-Verlag, Nueva York, 1986.
[8] PR Garabedian, Las ecuaciones diferenciales parciales Di ss. editorial Chelsia

Company, Nueva York, 1986.
[9] D. Gilbarg y NS Trudinger, Las ecuaciones diferenciales parciales elpticas Di ff

de segundo orden. Grundlehren, Vol. 224, Springer-Verlag, Berln, 1983.
201
202 BIBLIOGRAFA
[10] F. John, Las ecuaciones diferenciales parciales Di ss. Springer-Verlag, Nueva York,
mil novecientos ochenta y dos.
[11] K. Knigsberger, Anlisis 2. Springer-Verlag, Berln, 1993.
[12] LD Landau y EM Lifschitz, Lehrbuch der Physik theoretischen.

Vol. 1. El Akademie-Verlag, Berln, 1964, traduccin alemana del ruso. Traduccin en ingls: Curso
de Fsica Terica. Vol. 1, Pergamon Press, Oxford, 1976.
[13] R. Leis, Vorlesungen uber partielle Di ff erentialgleichungen Zweiter ped-

Nung. BI-Hochschultaschenb Ucher 165 / 165a, Mannheim, 1967.
[14] J.-L. Leones y E. Magenes, Probl'emes aux limites no homog'enes et

aplicaciones. Dunod, Pars, 1968.
[15] E. Miersemann, FL Kapillar achen. Ber. Verh. Sachs. Akad. Wiss. Leipzig,
Math.-Natur. Kl. 130 (2008), Heft 4, S. Hirzel, Leipzig, 2008.
[16] Z. Nehari, Mapeo de conformacin. Reimpreso por Dover, New York, 1975.
[17] IG Petrowski, Vorlesungen uber partielle Di ff erentialgleichungen.

Teubner, Leipzig, 1955. La traduccin del ruso. Traduccin Englisch:
Conferencias sobre ecuaciones diferenciales parciales Di ss. Wiley-Interscience, 1954.
[18] H. Sagan, Introduccin al clculo de variaciones. Dover, Nueva York,

1992.
[19] J. Simons, variedades mnimos en las variedades de Riemann. Ana. de Matemticas (2)
88 ( 1968), 62-105.
[20] WI Smirnow, der H Lehrgang oheren Matemticas., Teil II. VEB Verlag
der Wiss., Berln, 1975. La traduccin del ruso. Traduccin en ingls:
Curso de matemticas superiores, vol. 2., Elsevier, 1964.
[21] WI Smirnow, der H Lehrgang oheren Mathematik., Teil IV. VEB Ver-
lag der Wiss., Berln, 1975. La traduccin del ruso. Traduccin en ingls: Curso de matemticas
superiores, vol. 4., Elsevier, 1964.
[22] A. Sommerfeld, Partielle Di ff erentialgleichungen. Geest y Portig,

Leipzig, 1954.
[23] WA Strauss, ecuaciones diferenciales parciales Di ss. Una introduccin. Segundo

edicin, Wiley-Interscience, 2008. traduccin al Alemn: Partielle Di ff erentialgleichungen. Vieweg,
1995.
BIBLIOGRAFA 203
[24] ME Taylor, operadores diferenciales Pseudodi ss. Princeton, Nueva Jersey, 1981.
[25] GN Watson, Un tratado sobre la teora de las funciones de Bessel. Cambridge,

1952.
[26] P. Wilmott, S. Howison y J. Dewynne, Las matemticas de la Financiera

Derivados, Una Introduccin Estudiante. Cambridge University Press, 1996.
[27] K. Yosida, Anlisis funcional. Grundlehren, Vol. 123, Springer-Verlag,

Berln, 1965.
ndice
frmula 108 expansin asinttica 84 uniformemente elptica 73

lema bsico d'Alembert 16 Beltrami Euler-Poisson-Darboux ecuacin 111 Euler ecuacin
ecuaciones Negro-Scholes ecuacin 15, de primer orden 17 fi ecuaciones 25
164
dos variables 40
Negro-Scholes frmulas 165, 169 R norte 51 141 transformada de
condicin de contorno 14, 15 ecuacin capilar Fourier
21 Cauchy-Kowalevskaya teorema 63, Fourier transformada inversa 142 del mtodo

126, 162 funcionalmente dependientes 13 de
84 solucin 175, 176 de funcin 176 dinmica de gases
Cauchy-Riemann ecuaciones 13 Gamma fundamentales de Fourier de la funcin 79
caracterstica ecuacin 28, 33, 41, de Green 183
47, 74
curva caracterstica 28 tira
caracterstica 47 clasi fi cacin baln 186 representacin
conforme 190 funcin Hamilton
ecuaciones lineales de segundo orden teora 54 Hamilton-Jacobi 53 funcin
63 armnica 179 ecuacin de calor 14
cuasilinealidad segundo or-
der 73 sistemas de primer orden de
la superficie 74 del cilindro 29 di ff usion 163 de 155 no homognea ncleo
distribucin de Dirac 177 Dirichlet integral 17 del calor 152, 153 helicoide 30
problema de Dirichlet 181 de dominio de hiperblica
dependencia 108, 115 de dominio de influencia
109 elptica 73, 75 ecuacin 107 ecuacin no homognea
dimensin 117 unidimensional 107 superior
109 del sistema 74 condiciones iniciales
problema de valor 15 iniciales y de contorno
no uniformemente elptica 73
segundos para 175 sistema de 75,
82 singularidad 134
204
NDICE 205
cadena 125 mtodo de Riemann 120 problema

membrana 128, 129 Riemann ecuacin de Schrdinger 61
problema de valor inicial 137 separacin de variables 126
Cauchy 33, 48 integral funcin singularidad 176 de velocidad
de un sistema 28 Jacobi
teorema 55 Kepler 56
avin 78 relativa 81 superficie
ecuacin de Laplace 13, 20 81, 83 de sonido 82 esfrico medio
elasticidad lineal ecuacin 83 110 tira ecuacin de condicin 46
lineal 11, 25 telgrafo 78 onda ecuacin 14, 107,
segundo orden 63 131 frente de onda 51 volumen
principio del mximo potencial 191
ecuacin del calor 156 parablico
161 armnico funcin 180 ecuaciones
de Maxwell 76 valor frmula media
180 ecuacin superficie mnima 18
Monge cono 42, 43 multi-ndice 90
multiplicador 12 Navier Stokes 83
problema Neumann 20, 182

Newton potencial 13 forma normal
69
curva noncharacteristic 33 opcin
llame al 165
169 poner
parablica
ecuacin 151 del

sistema 75
kernel Picard-LINDELOF teorema 9
de Poisson frmula 152 de Poisson
187
operadores diferenciales ff pseudodi 146, 147 de
mapeo quasiconform ecuacin 76 cuasi-lineal 11,
31 funcin analtica real de 90 resonancia 134

EDP Traducido

Transféré par

Informations du document

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

EDP Traducido

Transféré par

Droits d'auteur :

Formats disponibles

Las ecuaciones diferenciales parciales Di ff

Versin de octubre de 2012

2 ecuaciones de orden primero 25

3.6 Ejercicios. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 101

4 ecuaciones hiperblicas 107

5 transformada de Fourier 141

6 ecuaciones parablicas 151

7 ecuaciones elpticas de segundo orden 175

7.4.2 correlacin de funciones y de conformacin de Green. . . . . . . 190

Para lectura adicional, recomendamos siguientes libros: WI Smirnov [21],

ecuaciones diferenciales ordinarias di ff y parciales se producen en muchas aplicaciones. Un di ff ecuacin

es un ordinario di ff ecuacin diferencial de n-simo para que la funcin desconocida

y '( x) = f (x, y (x)) y (x 0) = y 0,

Picard-Lindel del teorema. Suponer

Q = {(x, y) R 2: | x - x 0 | < a, | y - y 0 | < segundo}.

(Ii) Existe una constante K tal que | f (x, y) | K para todos ( x, y) Q.

Figura 1.1: problema de valor inicial

para todos ( x, y 1), ( x, y 2).

El di ff ecuacin diferencial ordinaria lineal

y ( norte) + un norte - 1 ( x) y ( norte - 1) + . . . un 1 ( x) y '+ un 0 ( x) y = 0,

tiene infinitamente muchas soluciones linealmente independientes en el espacio lineal do 2 ( R 2).

El di ff ecuacin diferencial ordinaria de segundo orden

y '' ( x) = f (x, y (x), y '( x))

y '' ( x) = f (x, y (x), y '( x)) y (x 0) = y 0, y '( x 0)

dnde y 0 y y 1 se dan, o tener en cuenta la problema de contorno

y '' ( x) = f (x, y (x), y '( x)) y (x 0) = y 0, y (x 1)

Figura 1.2: problema de contorno

la funcin desconocida u (x, y) es, por ejemplo

F (x, y, u, u x, u Y, u xx, u xy, u yy) = 0,

donde la funcin F es dado. Esta ecuacin es de segundo orden.

a (x, y) u x + b (x, y) u y + c (x, y) u = f (x, y),

donde las funciones a B C y F se dan, es una ecuacin lineal de primer orden.

un (x, y, u, u x, u y) u xx + b (x, y, u, u x, u y) u xy + c (x, y, u, u x, u y) u yy = 0

es una ecuacin cuasi-lineal de segundo orden.

1. u y = 0, donde u = u (x, y). Todas las funciones u = w (x) son soluciones.

3. A FFI condicin ciente necesario y su tal que para dado do 1- funciones

Figura 1.3: La independencia de la trayectoria

4. Mtodo de integracin de un multiplicador para una ecuacin diferencial di ff ordinaria.

milimicras y - N x = (N x - METRO y).

5. Dos do 1- funciones u (x, y) y v (x, y) se dice que son funcionalmente dependientes

dnde MARIDO es un arbitrario do 1- funcin.

6. ecuaciones de Cauchy-Riemann. Conjunto f (z) = u (x, y) + iv (x, y), dnde z = x + iy

7. los potencial de Newton

es una solucin de la ecuacin de Laplace en R 3 \ ( 0, 0, 0), es decir, de

8. Ecuacin del calor. Dejar u (x, t) ser la temperatura de un punto x en el momento

dnde 4 u = u x 1 x 1+ u x 2 x 2+ u x 3 x 3 y k es una constante positiva. La condicin

u (x, t) = h (x, t), x , t 0,

dnde h (x, t) se da es una condicin de frontera para la ecuacin del calor.

9. ecuacin de onda. La ecuacin de onda

Figura 1.4: secuencia oscilante

describe oscilaciones de una cadena.

Asociado condiciones iniciales son

u (x, 0) = u 0 ( x), u t ( x, 0) = u 1 ( x),

Si la cadena es infinito uno describe, adems, condiciones de contorno, por ejemplo

u ( 0, t) = 0, u (l, t) = 0 para todos t 0.

1.2 Ecuaciones de problemas variacionales

1.2.1 ecuaciones diferenciales ordinarias di ff

E (v) = f (x, v (x), v '( x)) dx

y dado u un, u segundo R

V = {v do 2 [ a, b]: v (a) = u un, v (b) = u segundo},

( PAG) min v V E (v).

ecuacin de Euler. Dejar u V ser una solucin de (P), entonces

DXF u '( x, u (x), u '( x)) = f u ( x, u (x), u '( x))

Figura 1.5: variaciones admisibles