Introducción a la ecuaciones en derivadas parciales

Download Report

Transcript Introducción a la ecuaciones en derivadas parciales

7. Ecuaciones en derivadas parciales
1
(© Chema Madoz, VEGAP, Madrid 2009)
Ecuaciones en derivadas parciales
𝐹 π‘₯, 𝑦, … , 𝑒, 𝑒π‘₯ , 𝑒𝑦 , … , 𝑒π‘₯π‘₯ , 𝑒π‘₯𝑦 , 𝑒𝑦𝑦 , … , 𝑒π‘₯π‘₯π‘₯ , … = 0
Tanto para EDPs como para sistemas de EDPs, el
orden será el mayor orden de derivación presente.
u(x,y) será solución de la ecuación en derivadas
parciales (EDP) si cumple idénticamente la
relación anterior en una cierta región D οƒŒ n.
2
Recordatorio:
Fórmulas de integración en derivadas
parciales
𝑑𝑦
3
4
πœ•π‘’(π‘₯, 𝑦)
𝑑π‘₯ =
πœ•π‘₯
𝑦 + π‘₯ 𝑑π‘₯;
π‘₯2
𝑒 π‘₯, 𝑦 + πœ™ 𝑦 = π‘₯𝑦 +
+π‘˜
2
La solución general consiste en un conjunto infinito de superficies.
πœ• πœ•π‘’(π‘₯, 𝑦)
𝑑𝑦 =
πœ•π‘¦
πœ•π‘₯
0𝑑𝑦;
𝑒π‘₯ π‘₯, 𝑦 + πœ™ π‘₯ = π‘˜
Ecuaciones lineales
Lineal de primer orden:
𝐴 π‘₯, 𝑦 𝑒π‘₯ + 𝐡 π‘₯, 𝑦 𝑒𝑦 = 𝐢 π‘₯, 𝑦 𝑒 + 𝐷 π‘₯, 𝑦
Si D(x,y) = 0 estamos frente a una ecuación homogénea.
Lineal de segundo orden:
𝐴 π‘₯, 𝑦 𝑒π‘₯π‘₯ + 𝐡 π‘₯, 𝑦 𝑒π‘₯𝑦 + 𝐢 π‘₯, 𝑦 𝑒𝑦𝑦
= 𝐷 π‘₯, 𝑦 𝑒π‘₯ + 𝐸 π‘₯, 𝑦 𝑒𝑦 + 𝐹 π‘₯, 𝑦 𝑒 + 𝐺(π‘₯, 𝑦)
Si G(x,y) = 0 estamos frente a una ecuación homogénea.
u(x,t=10)
Distribución de temperatura u(x,t)
a lo largo de la barra en un
instante de tiempo cualquiera.
x
Cuerda
vibrante
Movimiento de salida
(respuesta)
Propagación de
ondas sísmicas
Estrato de suelo, v
2
2
ο‚Ά
u
ο‚Ά
u
v2 2 ο€½ 2
ο‚Άz
ο‚Άt
Roca
Movimiento de entrada
(sismo)
Ecuación de Laplace
ο‚Ά u
2
ο‚Άx
2
ο‚Ά u
2

ο‚Άy
2
ο€½0
Este modelo se presenta en problemas independientes del
tiempo relacionados con potenciales electrostáticos,
gravitacionales,...
Reducción de EDP o sistemas de EDPs de orden
superior a uno a sistemas de EDPs de primer
orden
Siempre es posible la reducción mediante un
adecuado cambio de variable. Por ejemplo:
𝑒π‘₯π‘₯ βˆ’ 𝑒𝑦𝑦 = 0
EDP de segundo orden
𝑒π‘₯ = 𝑣
𝑒𝑦 = 𝑀
cambio de variable
𝑣π‘₯ βˆ’ 𝑀𝑦 = 0
EDP transformada
Si suponemos que la solución es de al menos clase C2,
las derivadas cruzadas
La EDP se
𝑣π‘₯ βˆ’ 𝑀𝑦 = 0
son iguales:
convierte
𝑒π‘₯𝑦 = 𝑣𝑦 = 𝑀π‘₯ = 𝑒𝑦π‘₯
finalmente
en el sistema:
𝑣𝑦 βˆ’ 𝑀π‘₯ = 0
Principio de superposición
El conjunto de soluciones de una ecuación lineal
homogénea es un espacio vectorial y las soluciones
de la ecuación completa asociada con ella forman
un espacio afín definido sobre tal espacio vectorial.
Bibliografía:
Ecuaciones en derivadas parciales, Ignacio Parra et al.
García-Maroto Editores
Ecuaciones diferenciales II
Manuel Mañas Baena y Luis Martínez Alonso
Introducción a las EDPs
C.Conde (UPM), E.Schiavi (URJC) y A.I.Muñoz (URJC)
12
Ecuación casi-lineal
Casi-lineal de primer orden:
𝐴 π‘₯, 𝑦, 𝑒 𝑒π‘₯ + 𝐡 π‘₯, 𝑦, 𝑒 𝑒𝑦 = 𝐢 π‘₯, 𝑦, 𝑒
Si C(x,y,u) = 0 estamos frente a una ecuación homogénea.
Casi-lineal de segundo orden:
𝐴 π‘₯, 𝑦, 𝑒, 𝑒π‘₯ , 𝑒𝑦 𝑒π‘₯π‘₯ + 𝐡 π‘₯, 𝑦, 𝑒, 𝑒π‘₯ , 𝑒𝑦 𝑒π‘₯𝑦
+ 𝐢 π‘₯, 𝑦, 𝑒, 𝑒π‘₯ , 𝑒𝑦 𝑒𝑦𝑦 = 𝐷 π‘₯, 𝑦, 𝑒, 𝑒π‘₯ , 𝑒𝑦
Si D(x,y, u,...) = 0 estamos frente a una ecuación homogénea.
13
Ecuación semi-lineal de primer
y segundo orden en dos variables
𝐴 π‘₯, 𝑦 𝑒π‘₯ + 𝐡 π‘₯, 𝑦 𝑒𝑦 = 𝐢 π‘₯, 𝑦, 𝑒
𝐴 π‘₯, 𝑦 𝑒π‘₯π‘₯ + 2𝐡 π‘₯, 𝑦 𝑒π‘₯𝑦 + 𝐢 π‘₯, 𝑦 𝑒𝑦𝑦
= 𝐷 π‘₯, 𝑦, 𝑒, 𝑒π‘₯ , 𝑒𝑦
La parte principal (las derivadas de orden más alto que determinan
el orden de la EDP) es lineal.
14
15
Curvas solución: una visión geométrica
de las EDOs
Podemos estudiar EDOs de primer orden
analizándolas cualitativamente.
dy/dx = 0.2 xy = f(x, y)
(a) Pendientes: Debido a que la solución y(x) de
dy/dx = f(x,y) es necesariamente una función
diferenciable en I, también es continua. Así, la derivada
dy/dx= f(x,y) proporciona las pendientes de las rectas
tangentes a las curvas solución en los puntos (x,y).
(b) Elementos lineales: Suponemos que
dy/dx = f(x, y(x)). El valor f(x, y) representa la
pendiente de una recta, o un segmento de recta
que llamaremos elemento lineal.
16
Campo de direcciones
Si para la EDO dy/dx = f(x, y) se evalúa f en
una red o malla de puntos rectangular en el
plano xy, y se dibuja un elemento lineal en
cada nodo (x, y) de la malla con pendiente
f(x, y), obtenemos el campo de direcciones o
campo de pendientes.
17
Ejemplo: El campo de direcciones de dy/dx = 0.2 xy está
representado en la figura (a). Compárese con la figura (b)
donde se han representado unas curvas de la familia de
soluciones.
18
Ejemplo: Use un campo de direcciones para dibujar
una curva solución aproximada para dy/dx = sin(y),
con y(0) = βˆ’3/2.
Solución:
Apelando a la continuidad de
f(x, y) = sin(y) y ο‚Άf/ο‚Άy = cos(y),
el teorema de existencia y
unicidad garantiza la existencia de
una única curva solución que pasa
por algún punto especificado en el
plano. Ahora dividimos la región
que contiene a (-3/2, 0) en una
malla rectangular. Calculamos el
elemento lineal de cada nodo para
obtener la siguiente figura:
19
Ecuación semi-lineal de primer
orden en dos variables
𝐴 π‘₯, 𝑦 𝑒π‘₯ + 𝐡 π‘₯, 𝑦 𝑒𝑦 = 𝐢 π‘₯, 𝑦, 𝑒
Veamos un ejemplo concreto: obtener la solución
general de la familia de EDPs:
Para cada valor de 𝛼
tendremos una EDP
𝑒π‘₯ + 𝑒𝑦 = 𝛼𝑒
Donde 𝛼 es un parámetro real y las funciones
correspondientes a la forma general son:
𝐴 π‘₯, 𝑦 = 1,
𝐡 π‘₯, 𝑦 = 1,
𝐢 π‘₯, 𝑦, 𝑒 = 𝛼𝑒
20
Constantes arbitrarias (EDOs) vs funciones
arbitrarias (EDPs)
21
Problemas de condiciones iniciales o de Cauchy
𝐴 π‘₯, 𝑦 𝑒π‘₯ + 𝐡 π‘₯, 𝑦 𝑒𝑦 = 𝐢 π‘₯, 𝑦, 𝑒
con condiciones iniciales: 𝑒 𝑓 𝑠 , 𝑔 𝑠
= β„Ž(𝑠)
Las condiciones iniciales en
este caso son los valores h(s)
que toma la función u(x,y) a lo
largo de una curva parametrizada:
x = f(s), y = g(s) de parámetro s.
Curva parametrizada
(curva inicial).
22
Problemas de condiciones iniciales o de Cauchy
Curva inicial:
y = g(x)
Ejemplo:
Ejemplo
solución única :
Integrando la EDP:
πœ•π‘’(π‘₯, 𝑦)
𝑑𝑦 =
πœ•π‘¦
0𝑑π‘₯;
𝑒 π‘₯, 𝑦 = πœ™ π‘₯
Obtenemos un conjunto infinito de posibles curvas solución dependientes solo de x.
Al aplicar las condiciones iniciales:
𝑒 π‘₯, 𝑔(π‘₯) = 𝑓 π‘₯
𝑒 π‘₯, 𝑔(π‘₯) = πœ™ π‘₯
πœ™ π‘₯ = 𝑓(π‘₯)
Y el problema tiene solución única.
𝑒 π‘₯, 𝑦 = 𝑓 π‘₯
24
Cambiamos la curva inicial
a: x = 0 (el eje y).
(3.5)
derivamos la condición inicial:
𝑒 0, 𝑦 = 𝑓 𝑦
𝑒𝑦 0, 𝑦 = 𝑓′(𝑦)
como:
𝑒𝑦 π‘₯, 𝑦 = 0, 𝑒𝑦 0, 𝑦 = 𝑓 β€² 𝑦 = 0,
𝑓 𝑦 =π‘˜
𝑒 π‘₯, 𝑦 = πœ™ π‘₯
𝑒 0, 𝑦 = 𝑓 𝑦 = π‘˜ = πœ™ π‘₯
Sabemos que la solución general es:
Aplicando la condición inicial:
De modo que si f(y) es una función constante tenemos infinitas soluciones y si no lo
es, el problema no tiene solución.
25
Cambiamos la curva inicial
a: x = x0 (rectas verticales).
derivamos la condición inicial:
como:
𝑒 π‘₯0 , 𝑦 = 𝑓 𝑦
𝑒𝑦 π‘₯0 , 𝑦 = 𝑓′(𝑦)
𝑒𝑦 π‘₯, 𝑦 = 0, 𝑒𝑦 π‘₯0 , 𝑦 = 𝑓 β€² 𝑦 = 0,
𝑓 𝑦 =π‘˜
𝑒 π‘₯, 𝑦 = πœ™ π‘₯
𝑒 π‘₯0 , 𝑦 = 𝑓 𝑦 = π‘˜ = πœ™ π‘₯
Sabemos que la solución general es:
Aplicando la condición inicial:
De modo que, de nuevo, si f(y) es una función constante tenemos infinitas
soluciones y si no lo es, el problema no tiene solución.
26
La curva inicial es ahora:
π‘₯ = 1 βˆ’ 𝑦 2 , 𝑦 = ± 1 βˆ’ π‘₯ . Observemos que:
𝑓 𝑦0 = 𝑒 π‘₯0, 𝑦0 = 𝑒 1 βˆ’ 𝑦02 , 𝑦0 = 𝑒 π‘₯0, βˆ’π‘¦0 = 𝑓 βˆ’π‘¦0
Y en consecuencia para que el problema tenga solución necesitamos que f(y)
sea par.
Integrando la EDP:
𝑒 π‘₯, 𝑦 = πœ™ π‘₯
𝑒 1 βˆ’ 𝑦2 , 𝑦 = πœ™ 1 βˆ’ 𝑦2 = 𝑓 𝑦 ; πœ™ π‘₯ = 𝒇
𝟏 βˆ’ 𝒙 = 𝒖(𝒙, π’š)
si |x| ο‚£ 1 (para que la raíz sea real). Como queremos que la solución sea C1,
impondremos además a f que exista su derivada.
Si |x| > 1 la curva inicial no rige y u(x,y) = 𝝓 𝒙
.
Curvas características
𝐴 π‘₯, 𝑦 𝑒π‘₯ + 𝐡 π‘₯, 𝑦 𝑒𝑦 = 𝐢 π‘₯, 𝑦, 𝑒
Podemos definir un campo vectorial que asigna a cada punto
(x,y) del plano un vector v de coordenadas (A(x,y), B(x,y)).
En nuestro ejemplo:
𝑒π‘₯ + 𝑒𝑦 = 𝛼𝑒
Puesto que:
𝐴 π‘₯, 𝑦 = 1 𝑦 𝐡 π‘₯, 𝑦 = 1:
El campo vectorial es
constante en este caso:
𝑣 = (𝐴 π‘₯, 𝑦 , 𝐡 π‘₯, 𝑦 ) = (1, 1)
B
y
A
x
28
𝐴 π‘₯, 𝑦 𝑒π‘₯ + 𝐡 π‘₯, 𝑦 𝑒𝑦 = 𝐢 π‘₯, 𝑦, 𝑒
Observa que podemos entender la parte izquierda
de la EDP como un producto escalar:
𝐴 π‘₯, 𝑦 𝑒π‘₯ + 𝐡 π‘₯, 𝑦 𝑒𝑦 = (𝐴, 𝐡) βˆ™ (𝑒π‘₯ , 𝑒𝑦 )
𝑒 = (𝑒π‘₯ , 𝑒𝑦 )
Gradiente de la
función escalar u(x,y)
En nuestro ejemplo:
𝑒π‘₯ + 𝑒𝑦 = 1,1 βˆ™ (𝑒π‘₯ , 𝑒𝑦 )
29
Recordemos que este producto representa en cada
punto (x,y) la derivada de u(x,y) en la dirección del
vector v = (A,B). De modo que una manera
equivalente de escribir nuestra EDP es:
𝐴 π‘₯, 𝑦 𝑒π‘₯ + 𝐡 π‘₯, 𝑦 𝑒𝑦 = 𝐴, 𝐡 βˆ™ 𝑒π‘₯ , 𝑒𝑦 =
πœ•π‘’
𝑣𝑒 =
= 𝐢(π‘₯, 𝑦, 𝑒)
πœ•π‘£
En nuestro ejemplo:
𝑒π‘₯ + 𝑒𝑦 = 1,1 βˆ™ (𝑒π‘₯ , 𝑒𝑦 ) = (1,1) βˆ™ 𝑒 = 𝛼𝑒
30
𝐴 π‘₯, 𝑦 𝑒π‘₯ + 𝐡 π‘₯, 𝑦 𝑒𝑦 = 𝑣 βˆ™ 𝑒 = 𝐢(π‘₯, 𝑦, 𝑒)
Así que la EDP
determina en cada
punto del plano
(x,y) la derivada
parcial de u en la
dirección del
vector v(x,y) =
(A(x,y),B(x,y)),
en la dirección que
marca el campo
vectorial, que se
llama dirección
característica.
31
A las curvas integrales de
ese campo (curvas que
tienen como tangentes
en (x,y) las direcciones
marcadas por v) se las
denomina curvas
𝐴 π‘₯, 𝑦 𝑒π‘₯ + 𝐡 π‘₯, 𝑦 𝑒𝑦 = 𝑣 βˆ™ 𝛻𝑒
= 𝐢(π‘₯, 𝑦, 𝑒)
características
(x,y) = k o
y = y(x, k), que serán
solución (familia
uniparamétrica) de la
EDO:
𝑑𝑦 𝐡 π‘₯, 𝑦
=
𝑑π‘₯ 𝐴 π‘₯, 𝑦
La pendiente del vector en
cada punto (x,y).
32
𝑑𝑦 𝐡 π‘₯, 𝑦
=
𝑑π‘₯ 𝐴 π‘₯, 𝑦
Solución: familia uniparamétrica de curvas
características (x,y) = k, o explícitamente,
y = y(x,k)
Sobre cada curva
característica de esta familia
uniparamétrica de curvas
características, la ecuación:
𝐴 π‘₯, 𝑦 𝑒π‘₯ + 𝐡 π‘₯, 𝑦 𝑒𝑦
= 𝑣 βˆ™ 𝛻𝑒 = 𝐢(π‘₯, 𝑦, 𝑒)
prescribe el comportamiento
de la función incógnita u(x,y).
Curva característica
(x,y) = k
33
Ejercicios
𝐴 π‘₯, 𝑦 𝑒π‘₯ + 𝐡 π‘₯, 𝑦 𝑒𝑦 = 𝐢(π‘₯, 𝑦, 𝑒)
𝑑𝑦 𝐡 𝑐
= =
𝑑π‘₯ 𝐴 1
En nuestro ejemplo:
𝑒π‘₯ + 𝑒𝑦 = (1,1) βˆ™ 𝑒 = 𝛼𝑒
𝑑𝑦 𝐡 π‘₯, 𝑦
=
= 1;
𝑑π‘₯ 𝐴 π‘₯, 𝑦
𝑦 π‘₯ =π‘₯+π‘˜ ó
πœ™ π‘₯, 𝑦 = 𝑦 βˆ’ π‘₯ = π‘˜
Curva característica
(x,y) = k
A lo largo de estas curvas características, en este
caso rectas, la solución crece como 𝛼𝑒.
35
Realicemos ahora el siguiente cambio de variable:
πœ™ ≑ πœ™ π‘₯, 𝑦 = 𝑦 βˆ’ π‘₯
πœ“ ≑ πœ“ π‘₯, 𝑦 = 𝑦
Curvas características cuando
πœ™ es constante.
La función (x,y) debe cumplir en
el dominio de solución D:
πœ™π‘₯
πœ“π‘₯
πœ™π‘¦
βˆ’1 1
=
β‰  0,
πœ“π‘¦
0 1
βˆ€(π‘₯, 𝑦) ∈ 𝐷
Usando la regla de la cadena,
las derivadas parciales de u se
convierten en:
𝑒π‘₯ = π‘’πœ™ πœ™π‘₯ +π‘’πœ“ πœ“π‘₯ = βˆ’π‘’πœ™ +π‘’πœ“
𝑒𝑦 = π‘’πœ™ πœ™π‘¦ +π‘’πœ“ πœ“π‘¦ = π‘’πœ™
36
𝑒π‘₯ + 𝑒𝑦 = 𝛼𝑒
𝑒π‘₯ = βˆ’π‘’πœ™ +π‘’πœ“
(βˆ’π‘’πœ™ +π‘’πœ“ ) + π‘’πœ™ = 𝛼𝑒
𝑒𝑦 = π‘’πœ™
π‘’πœ“ = 𝛼𝑒
Desaparece la parte
en πœ™.
Hemos conseguido una EDP directamente integrable:
𝑑𝑒
=
𝛼𝑒
π‘‘πœ“ + 𝑓 πœ™
𝑒(πœ™, πœ“) = 𝑓 πœ™ 𝑒 π›Όπœ“
Deshaciendo el cambio:
πœ™ =π‘¦βˆ’π‘₯
πœ“=𝑦
𝑒(π‘₯, 𝑦) = 𝑓 𝑦 βˆ’ π‘₯ 𝑒 𝛼𝑦
En contraste con las EDOs, la solución general de una EDP en vez
de constantes arbitrarias contiene funciones arbitrarias en las
que el argumento es la expresión de la curvas características
en forma implícita.
37
En general, el cambio de variable será:
πœ™ = πœ™ π‘₯, 𝑦
πœ“ = πœ“(π‘₯, 𝑦)
Usando la regla de la cadena
las derivadas parciales de u se
convierten en:
𝑒π‘₯ = π‘’πœ™ πœ™π‘₯ +π‘’πœ“ πœ“π‘₯
𝑒𝑦 = π‘’πœ™ πœ™π‘¦ +π‘’πœ“ πœ“π‘¦
Curvas características cuando
πœ™ es constante.
La función (x,y) debe cumplir en
el dominio de solución D:
πœ™π‘₯
πœ“π‘₯
πœ™π‘¦
β‰  0, βˆ€(π‘₯, 𝑦) ∈ 𝐷
πœ“π‘¦
𝐴 βˆ™ 𝑒π‘₯ +𝐡 βˆ™ 𝑒𝑦 = 𝐢
Aplicando el cambio de variable a nuestra EDP general, se convierte en:
𝐴 βˆ™ (π‘’πœ™ πœ™π‘₯ +π‘’πœ“ πœ“π‘₯ ) + 𝐡 βˆ™ (π‘’πœ™ πœ™π‘¦ +π‘’πœ“ πœ“π‘¦ ) = 𝐢
38
𝐴 βˆ™ (π‘’πœ™ πœ™π‘₯ +π‘’πœ“ πœ“π‘₯ ) + 𝐡 βˆ™ (π‘’πœ™ πœ™π‘¦ +π‘’πœ“ πœ“π‘¦ ) = 𝐢
(π΄πœ™π‘₯ +π΅πœ™π‘¦ )π‘’πœ™ + (π΄πœ“π‘₯ + π΅πœ“π‘¦ )π‘’πœ“ = 𝐢
πœ™ π‘₯, 𝑦 = π‘˜
π‘‘πœ™ = πœ™π‘₯ 𝑑π‘₯ + πœ™π‘¦ 𝑑𝑦 = 0
𝑑𝑦
Dividiendo entre dx:
πœ™π‘₯ + πœ™π‘¦
=0
𝑑π‘₯
𝑑𝑦 𝐡
Y usando que:
=
π΄πœ™π‘₯ + π΅πœ™π‘¦ = 0
𝑑π‘₯ 𝐴
Ahora, recordemos que
πœ™ π‘₯, 𝑦 es curva
característica:
π΄πœ“π‘₯ + π΅πœ“π‘¦ π‘’πœ“ = 𝐢
Y esta ecuación ahora es
directamente integrable.
𝐢
π‘’πœ“ =
π΄πœ“π‘₯ + π΅πœ“π‘¦
39
Sigamos con nuestro ejemplo, poniendo ahora c.i.:
𝑒π‘₯ + 𝑒𝑦 = 𝛼𝑒
𝑒(π‘₯, 𝑦) = 𝑓 𝑦 βˆ’ π‘₯ 𝑒 𝛼𝑦
Supongamos las c.i.: 𝑒(𝑠, 0) = 𝑒 βˆ’π‘ 
La solución para
(s,0) será:
𝑒 𝑠, 0 = 𝑓 βˆ’π‘  𝑒 𝛼0 = 𝑓(βˆ’π‘ )
Igualando a la c.i.:
𝑓(βˆ’π‘ ) = 𝑒 βˆ’π‘  ;
𝑓(𝑦 βˆ’ π‘₯) = 𝑒 π‘¦βˆ’π‘₯
De modo que la única solución particular posible es:
𝑒 π‘₯, 𝑦 = 𝑒 π‘¦βˆ’π‘₯ 𝑒 𝛼𝑦 = 𝑒
𝛼+1 π‘¦βˆ’π‘₯
40
Cambiemos la c.i. para
ver que no es siempre posible
determinar una solución
particular imponiendo
condiciones sobre cualquier
curva inicial:
𝑒π‘₯ + 𝑒𝑦 = 𝛼𝑒
𝑒(π‘₯, 𝑦) = 𝑓 𝑦 βˆ’ π‘₯ 𝑒 𝛼𝑦
𝑒(𝑠, 𝑠) = 𝑒 𝑠
La solución para (s,s) es:
Igualando a la c.i.:
𝑒 𝑠, 𝑠 = 𝑓 0 𝑒 𝛼𝑠
𝑓 0 𝑒 𝛼𝑠 = 𝑒 𝑠 ; 𝑓(0) = 𝑒 𝑠(1βˆ’π›Ό)
Observemos que ahora tendremos solución particular
solo si 𝛼 = 1 (en otro caso el problema resulta incompatible):
𝑓(0) = 𝑒 𝑠(1βˆ’1) = 1
41
𝑒π‘₯ + 𝑒𝑦 = 𝛼𝑒
𝑒(𝑠, 𝑠) = 𝑒 𝑠
𝑒(π‘₯, 𝑦) = 𝑓 𝑦 βˆ’ π‘₯ 𝑒 𝛼𝑦
De modo que cualquier función 𝑓(𝑧) tal que 𝑓 0 = 1 es
válida.
Como por ejemplo: 𝑓 𝑧 =
1
, cos
1+𝑧2
𝑧 , cosh 𝑧 , … que
determinan soluciones particulares como:
𝑒𝑦
𝑒 π‘₯, 𝑦 =
,
𝑒 π‘₯, 𝑦 = 𝑒 𝑦 cos 𝑦 βˆ’ π‘₯ ,
1 + (𝑦 βˆ’ π‘₯)2
𝑒 π‘₯, 𝑦 = 𝑒 𝑦 cosh(𝑦 βˆ’ π‘₯),...
Así que para 𝛼 = 1 el problema tiene infinitas soluciones: es
compatible e indeterminado.
42
Método de las características
Casi-lineal de primer orden:
𝐴 π‘₯, 𝑦, 𝑒 𝑒π‘₯ + 𝐡 π‘₯, 𝑦, 𝑒 𝑒𝑦 = 𝐢 π‘₯, 𝑦, 𝑒
Vimos que las curvas características y = y(x) o πœ™ π‘₯, 𝑦 = π‘˜
asociadas son las curvas integrales de:
𝑑𝑦 𝐡 π‘₯, 𝑦, 𝑒
=
𝑑π‘₯ 𝐴 π‘₯, 𝑦, 𝑒
o
Podemos expresar las curvas
características en forma
paramétrica con x(t) e y(t).
Pero para resolver el sistema
necesitaríamos conocer
u(x(t),y(t)) = u(t), que es justamente
la solución que queremos encontrar.
𝑑π‘₯ 𝐴 π‘₯, 𝑦, 𝑒
=
𝑑𝑦 𝐡 π‘₯, 𝑦, 𝑒
𝑑π‘₯
= 𝐴 π‘₯, 𝑦, 𝑒
𝑑𝑑
𝑑𝑦
= 𝐡 π‘₯, 𝑦, 𝑒
𝑑𝑑
43
Método de las características
𝐴 π‘₯, 𝑦, 𝑒 𝑒π‘₯ + 𝐡 π‘₯, 𝑦, 𝑒 𝑒𝑦 = 𝐢 π‘₯, 𝑦, 𝑒
𝑑π‘₯
= 𝐴 π‘₯, 𝑦, 𝑒
𝑑𝑑
𝑑𝑦
= 𝐡 π‘₯, 𝑦, 𝑒
𝑑𝑑
Recurriendo a la propia EDP:
𝑑π‘₯
𝑑𝑦 𝑑𝑒
𝑒π‘₯
+ 𝑒𝑦
=
= 𝐢 π‘₯, 𝑦, 𝑒
𝑑𝑑
𝑑𝑑 𝑑𝑑
Obtenemos una tercera ecuación para u(t).
Sistema característico:
Este sistema describe tanto las
curvas características como el
comportamiento de la solución a
lo largo de ellas.
𝑑π‘₯
= 𝐴 π‘₯, 𝑦, 𝑒
𝑑𝑑
𝑑𝑦
= 𝐡 π‘₯, 𝑦, 𝑒
𝑑𝑑
𝑑𝑒
= 𝐢 π‘₯, 𝑦, 𝑒
𝑑𝑑
44
Método de las características
𝐴 π‘₯, 𝑦, 𝑒 𝑒π‘₯ + 𝐡 π‘₯, 𝑦, 𝑒 𝑒𝑦 = 𝐢 π‘₯, 𝑦, 𝑒
Si estamos frente a un problema de
Cauchy, tendremos además:
𝑒 𝑓 𝑠 ,𝑔 𝑠
= β„Ž(𝑠)
Para resolverlo, observemos que para cada s deberemos resolver el problema
de Cauchy del sistema de EDOs:
𝑑π‘₯
= 𝐴 π‘₯, 𝑦, 𝑒
𝑑𝑑
𝑑𝑦
= 𝐡 π‘₯, 𝑦, 𝑒
𝑑𝑑
𝑑𝑒
= 𝐢 π‘₯, 𝑦, 𝑒
𝑑𝑑
π‘₯ 0 =𝑓 𝑠
𝑦 0 =𝑔 𝑠
𝑒 0 = β„Ž(𝑠)
Cuya solución tendrá la forma general:
π‘₯ = π‘₯ 𝑠, 𝑑
𝑦 = 𝑦 𝑠, 𝑑
𝑒 = β„Ž(𝑠, 𝑑)
45
Resolvamos un ejemplo:
𝑒π‘₯ + 𝑒𝑦 + 𝑒 = 1
𝑒(𝑠, 𝑠 + 𝑠2) = 2
𝑑π‘₯
= 1,
𝑑𝑑
𝑑𝑦
= 1,
𝑑𝑑
𝑑𝑒
= 1 βˆ’ 𝑒,
𝑑𝑑
Fijamos s para aplicar las c.i.:
𝑒 0 = 2,
π‘₯ 0 = 𝑠,
π‘₯ 𝑑 = 𝑑 + π‘˜1
𝑦 𝑑 = 𝑑 + π‘˜2
𝑒 𝑑 = 1 + π‘˜3𝑒 βˆ’π‘‘
𝑦 0 = 𝑠 + 𝑠2
π‘₯ 0 = 0 + π‘˜1 = 𝑠,
𝑦 0 = 0 + π‘˜2 = 𝑠 + 𝑠2,
π‘₯ 𝑑 =𝑑+𝑠
𝑦 𝑑 = 𝑑 + 𝑠 + 𝑠2
𝑒 0 = 1 + π‘˜3𝑒 βˆ’0 = 2; π‘˜3 = 1
𝑒 𝑑 = 1 + 𝑒 βˆ’π‘‘
46
𝑦 𝑑 = 𝑑 + 𝑠 + 𝑠2
π‘₯ 𝑑 =𝑑+𝑠
𝑑 =π‘₯ 𝑑 βˆ’π‘ 
𝑦 𝑑 βˆ’ π‘₯(𝑑) = 𝑠2
𝑠 = ± 𝑦 𝑑 βˆ’ π‘₯(𝑑)
𝑑 = π‘₯ 𝑑 βˆ“ 𝑦 𝑑 βˆ’ π‘₯(𝑑)
𝑒 𝑑 = 1 + 𝑒 βˆ’π‘‘ = 1 + 𝑒 βˆ’π‘₯±
π‘¦βˆ’π‘₯
= 𝑒(π‘₯, 𝑦)
Demuestra que si la condición inicial hubiera sido:
𝑒(𝑠, 𝑠 + 𝑠2) = 1
entonces la solución sería:
𝑒 π‘₯, 𝑦 = 1
47
Método de Lagrange
Se trata del método de las características pero en coordenadas
cartesianas, en vez de paramétricas:
𝑑π‘₯
= 𝐴 π‘₯, 𝑦, 𝑒
𝑑𝑑
𝑑𝑦
= 𝐡 π‘₯, 𝑦, 𝑒
𝑑𝑑
𝑑𝑒
= 𝐢 π‘₯, 𝑦, 𝑒
𝑑𝑑
Las tres ecuaciones se pueden
combinar para obtener:
𝑑π‘₯
𝑑𝑦
=
𝐴 𝑑𝑦
,
𝐡 𝑑𝑒
=
𝐡 𝑑𝑒
,
𝐢 𝑑π‘₯
=
𝐢
𝐴
y sus inversas.
𝑑π‘₯ 𝑑𝑦 𝑑𝑒
=
=
𝐴
𝐡
𝐢
Si se pueden integrar directamente, el método nos proporciona
48
la solución de manera muy sencilla.
Ejemplo:
𝑑π‘₯ 𝑑𝑦 𝑑𝑒
=
=
𝐴
𝐡
𝐢
(π‘₯ + 𝑦)(𝑒π‘₯ βˆ’π‘’π‘¦ ) = 𝑒
𝑑π‘₯
𝑑𝑦
𝑑𝑒
=
=
π‘₯ + 𝑦 βˆ’(π‘₯ + 𝑦)
𝑒
𝑑𝑦 βˆ’(π‘₯ + 𝑦)
=
= βˆ’1; π‘₯ + 𝑦 = π‘˜
𝑑π‘₯
π‘₯+𝑦
𝑑𝑒
𝑑π‘₯
𝑑π‘₯
𝑑𝑒 1
=
=
=
𝑑π‘₯
𝑒
π‘₯+𝑦
π‘˜
𝑒
π‘˜
π‘₯
log 𝑒 =
+𝐢
π‘₯+𝑦
𝑒 π‘₯, 𝑦 =
π‘₯
𝐢𝑒 π‘₯+𝑦
Ecuaciones semi-lineales de segundo
orden en dos variables
𝑒π‘₯𝑦 + 𝑒𝑦 = 0
πœ•π‘’π‘¦
= βˆ’π‘’π‘¦
πœ•π‘₯
Integrando:
𝑒𝑦 = 𝑔(𝑦)𝑒 βˆ’π‘₯
Y volviendo
a integrar:
𝑒(π‘₯, 𝑦) = 𝑓(𝑦)𝑒 βˆ’π‘₯ + β„Ž(π‘₯)
Nota: Comprueba que obtenemos el mismo resultado si
comenzamos a integrar respecto a y en vez de x.
50
Añadamos ahora una condición inicial:
𝑒(𝑠, 𝑠) = 1
𝑒(π‘₯, 𝑦) = 𝑓(𝑦)𝑒 βˆ’π‘₯ + β„Ž(π‘₯)
𝑒 𝑠, 𝑠 = 𝑓 𝑠 𝑒 βˆ’π‘  + β„Ž 𝑠 = 1
β„Ž 𝑠 = 1 βˆ’ 𝑓 𝑠 𝑒 βˆ’π‘ 
𝑒(π‘₯, 𝑦) = 𝑓(𝑦)𝑒 βˆ’π‘₯ + 1 βˆ’ 𝑓 π‘₯ 𝑒 βˆ’π‘₯
𝑒 π‘₯, 𝑦 = 1 + 𝑓 𝑦 βˆ’ 𝑓 π‘₯
𝑒 βˆ’π‘₯
Necesitamos otra condición no redundante con la anterior para
conseguir una solución particular...
51
𝑒π‘₯𝑦 + 𝑒𝑦 = 0
𝑒(𝑠, 𝑠) = 1
𝑒π‘₯ 𝑠, 𝑠 βˆ’ 𝑒𝑦 (𝑠, 𝑠) = 2𝑒 βˆ’π‘ 
𝑒 π‘₯, 𝑦 = 1 + 𝑓 𝑦 βˆ’ 𝑓 π‘₯
𝑒 βˆ’π‘₯
𝑒π‘₯ = βˆ’π‘“β€²(π‘₯)𝑒 βˆ’π‘₯ βˆ’ 𝑓 𝑦 βˆ’ 𝑓 π‘₯
𝑒𝑦 = 𝑓′(𝑦)𝑒 βˆ’π‘₯
𝑒 βˆ’π‘₯
𝑒π‘₯ 𝑠, 𝑠 βˆ’ 𝑒𝑦 𝑠, 𝑠 = βˆ’2𝑓 β€² 𝑠 𝑒 βˆ’π‘  βˆ’ 𝑓 𝑠 βˆ’ 𝑓 𝑠
𝑒 βˆ’π‘ 
βˆ’2𝑓 β€² 𝑠 𝑒 βˆ’π‘  = 2𝑒 βˆ’π‘  ; 𝑓 β€² 𝑠 = βˆ’1; 𝑓 𝑠 = βˆ’π‘  + π‘˜
𝑒 π‘₯, 𝑦 = 1 βˆ’ 𝑦 βˆ’ π‘₯ 𝑒 βˆ’π‘₯
52
𝑒π‘₯𝑦 + 𝑒𝑦 = 0
𝑒(𝑠, 𝑠) = 1
𝑒π‘₯ 𝑠, 𝑠 βˆ’ 𝑒𝑦 (𝑠, 𝑠) = 2𝑒 βˆ’π‘ 
𝑒π‘₯ 𝑠, 𝑠 + 𝑒𝑦 (𝑠, 𝑠) = 1
𝑒 βˆ’π‘₯
𝑒 π‘₯, 𝑦 = 1 + 𝑓 𝑦 βˆ’ 𝑓 π‘₯
𝑒π‘₯ = βˆ’π‘“β€²(π‘₯)𝑒 βˆ’π‘₯ βˆ’ 𝑓 𝑦 βˆ’ 𝑓 π‘₯
𝑒𝑦 = 𝑓′(𝑦)𝑒 βˆ’π‘₯
𝑒π‘₯ 𝑠, 𝑠 + 𝑒𝑦 𝑠, 𝑠 = 0 β‰  1
El motivo es la incompatibilidad de las c.i.
Si derivamos la primera:
𝑒 βˆ’π‘₯
Incompatible
𝑒(𝑠, 𝑠) = 1
𝑒π‘₯ 𝑠, 𝑠 + 𝑒𝑦 (𝑠, 𝑠) = 1
𝑑𝑒(𝑠, 𝑠)
= 𝑒π‘₯ 𝑠, 𝑠 + 𝑒𝑦 (𝑠, 𝑠) = 0
𝑑𝑠
53
Características en ecuaciones semi-lineales
de segundo orden en dos variables
𝐴 π‘₯, 𝑦 𝑒π‘₯π‘₯ + 2𝐡 π‘₯, 𝑦 𝑒π‘₯𝑦 + 𝐢 π‘₯, 𝑦 𝑒𝑦𝑦 = 𝐷 π‘₯, 𝑦, 𝑒, 𝑒π‘₯ , 𝑒𝑦
2
𝑑𝑦
𝑑𝑦
𝐴
βˆ’ 2𝐡
+𝐢 =0
𝑑π‘₯
𝑑π‘₯
𝑑𝑦 𝐡 ± 𝐡2 βˆ’ 𝐴𝐢
=
𝑑π‘₯
𝐴
Ecuación diferencial para las curvas
características
(𝐡2 βˆ’π΄πΆ) > 0 Ecuación hiperbólica: existirán dos (±)
familias uniparamétricas de características.
(𝐡2 βˆ’π΄πΆ) = 0 Ecuación parabólica: existirá una
familia uniparamétrica de características.
(𝐡2 βˆ’π΄πΆ) < 0 Ecuación elíptica: no existirán curvas54
características.
¿Qué ocurre cuando se dan condiciones sobre una curva característica?
𝑒π‘₯𝑦 + 𝑒𝑦 = 0
A𝑒π‘₯π‘₯ + 2𝐡𝑒π‘₯𝑦 + 𝐢𝑒𝑦𝑦 = 𝐷
𝑒(𝑠, 0) = 𝑒 βˆ’π‘ 
𝑒𝑦 (𝑠, 0) = 0
π‘˜=0
2
𝑑𝑦
𝑑𝑦
𝐴
βˆ’ 2𝐡
+𝐢 =0
𝑑π‘₯
𝑑π‘₯
𝑑𝑦 𝐡 ± 𝐡2 βˆ’ 𝐴𝐢
=
𝑑π‘₯
𝐴
𝐴=0
2𝐡 = 1
𝐢=0
𝑑𝑦
βˆ’
= 0;
𝑑π‘₯
𝑦 π‘₯ =π‘˜
𝑒(π‘₯, 𝑦) = 𝑓(𝑦)𝑒 βˆ’π‘₯ + β„Ž(π‘₯)
𝑒 𝑠, 0 = 𝑓 0 𝑒 βˆ’π‘  + β„Ž(𝑠) = 𝑒 βˆ’π‘ 
β„Ž 𝑠 = (1 βˆ’ 𝑓 0 )𝑒 βˆ’π‘ 
𝑒(π‘₯, 𝑦) = (1 + 𝑓 𝑦 βˆ’ 𝑓 0 )𝑒 βˆ’π‘₯
55
𝑒π‘₯𝑦 + 𝑒𝑦 = 0
𝑒𝑦 (𝑠, 0) = 0
𝑒(π‘₯, 𝑦) = (1 + 𝑓 𝑦 βˆ’ 𝑓 0 )𝑒 βˆ’π‘₯
𝑒𝑦 (π‘₯, 𝑦) = 𝑓′(𝑦)𝑒 π‘₯
𝑒𝑦 𝑠, 0 = 𝑓 β€² 0 𝑒 𝑠 = 0
𝑓′(0) = 0
La solución será:
𝑒(π‘₯, 𝑦) = (1 + 𝑓 𝑦 βˆ’ 𝑓 0 )𝑒 βˆ’π‘₯
donde 𝑓 𝑦 es una función arbitraria tal que 𝑓′(0) = 0.
El problema tiene infinitas soluciones y queda indeterminado.
56
Características en sistemas de ecuaciones
semi-lineales de primer orden y dos variables
2
𝑒π‘₯π‘₯ βˆ’ 𝑐 𝑒𝑦𝑦 = 0
𝑑𝑦
𝑑π‘₯
2
βˆ’ 𝑐2 = 0
𝐴𝑒π‘₯π‘₯ + 2𝐡𝑒π‘₯𝑦 + 𝐢𝑒𝑦𝑦 = 𝐷
𝑑𝑦
𝐴
𝑑π‘₯
2
𝑑𝑦
βˆ’ 2𝐡
+𝐢 =0
𝑑π‘₯
𝑦 + 𝑐π‘₯ = 𝑐𝑑𝑒
𝑦 π‘₯ = 𝑦 βˆ’ 𝑐π‘₯ = 𝑐𝑑𝑒
𝑒π‘₯ ≑ 𝑝
2
𝑒
βˆ’
𝑐
𝑒
=
0
π‘₯π‘₯
𝑦𝑦
𝑒𝑦 ≑ π‘ž
0
1
βˆ’1
0
𝑝π‘₯
1
0
+
0 βˆ’π‘ 2
π‘žπ‘₯
𝑝𝑦 βˆ’ π‘žπ‘₯ = 0
𝑝π‘₯ βˆ’ 𝑐 2 π‘žπ‘¦ = 0
𝑝𝑦
0
=
π‘žπ‘¦
0
58
0 βˆ’1
1 0
𝑝π‘₯
1
0
+
0 βˆ’π‘ 2
π‘žπ‘₯
𝐴1 𝑣π‘₯
+
Ecuación de las características:
0
1
det
𝑑𝑦
𝑑π‘₯
𝐴2 𝑣𝑦 = 0
𝑑𝑦
det 𝐴1
βˆ’ 𝐴2 = 0
𝑑π‘₯
βˆ’1 𝑑𝑦
1
0
βˆ’
0 𝑑π‘₯
0 βˆ’π‘ 2
2
βˆ’ 𝑐2 = 0
𝑝𝑦
0
=
π‘žπ‘¦
0
=
βˆ’1
𝑑𝑦
𝑑π‘₯
𝑑𝑦
βˆ’
𝑑π‘₯ = 0
𝑐2
𝑦 + 𝑐π‘₯ = 𝑐𝑑𝑒
𝑦 π‘₯ = 𝑦 βˆ’ 𝑐π‘₯ = 𝑐𝑑𝑒
que coincide con nuestro resultado anterior.
59