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.
Algunos ejemplos de EDPs clΓ‘sicas:
DistribuciΓ³n de temperatura u(x,t) a lo largo de la barra en un instante de tiempo cualquiera.
u(x,t =10) x
Cuerda vibrante
Movimiento de salida (respuesta)
PropagaciΓ³n de ondas sΓsmicas
Estrato de suelo, v βu 2 β 2u v = 2 2 βt βz 2
Roca
Movimiento de entrada (sismo)
EcuaciΓ³n de Laplace
βu βu + 2 =0 2 βy βx 2
2
Este modelo se presenta en problemas independientes del tiempo relacionados con potenciales electrostΓ‘ticos, gravitacionales,...
Vamos a resolverla mediante
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)
13
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. 14
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. 15
16
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.
17
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.
18
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.
19
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: 20
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, πΆ π₯, π¦, π’ = πΌπΌ
21
Constantes arbitrarias (EDOs) vs funciones arbitrarias (EDPs)
22
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).
23
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.
π’ π₯, π¦ = π π₯
25
Cambiamos la curva inicial a: x = 0 (el eje y).
(3.5)
derivamos la condiciΓ³n inicial:
π’ 0, π¦ = π π¦ π’π¦ 0, π¦ = ππ(π¦)
como:
π’π¦ π₯, π¦ = 0, π’π¦ 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.
26
Cambiamos la curva inicial a: x = x0 (rectas verticales).
derivamos la condiciΓ³n inicial:
como:
π’ π₯0 , π¦ = π π¦ π’π¦ π₯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.
27
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 29
π΄ π₯, π¦ π’π₯ + π΅ π₯, π¦ π’π¦ = πΆ π₯, π¦, π’
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 β (π’π₯ , π’π¦ )
30
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:
π£β
π΄ π₯, π¦ π’π₯ + π΅ π₯, π¦ π’π¦ = π£β β βπ’ = πΆ(π₯, π¦, π’)
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.
32
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).
33
ππ π΅ π₯, π¦ = ππ π΄ π₯, π¦
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
34
Ejercicios
π΄ π₯, π¦ π’π₯ + π΅ π₯, π¦ π’π¦ = πΆ(π₯, π¦, π’)
ππ π΅ π = = ππ π΄ 1
π΄ π₯, π¦ π’π₯ + π΅ π₯, π¦ π’π¦ = πΆ(π₯, π¦, π’)
36
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 πΌπΌ.
37
Realicemos ahora el siguiente cambio de variable:
π β‘ π π₯, π¦ = π¦ β π₯ π β‘ π π₯, π¦ = π¦ 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:
ππ₯ ππ₯
ππ¦ β1 1 = β 0, ππ¦ 0 1 β(π₯, π¦) β π·
π’π₯ = π’π ππ₯ +π’π ππ₯ = βπ’π π’π¦ = π’π ππ¦ +π’π ππ¦ = π’π +π’π
38
π’π₯ = βπ’π οΏ½π’ = π’ +π’ π¦ π π
π’π₯ + π’π¦ = πΌπΌ (βπ’π +π’π ) + π’π = πΌπΌ
π’π = πΌπΌ
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.
39
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:
π΄ β (π’π ππ₯ +π’π ππ₯ ) + π΅ β (π’π ππ¦ +π’π ππ¦ ) = πΆ
40
π΄ β (π’π ππ₯ +π’π ππ₯ ) + π΅ β (π’π ππ¦ +π’π ππ¦ ) = πΆ (π΄ππ₯ +π΅ππ¦ )π’π + (π΄ππ₯ + π΅ππ¦ )π’π = πΆ
π π₯, π¦ = π ππ = ππ₯ ππ + ππ¦ ππ = 0 ππ Dividiendo entre dx: ππ₯ + ππ¦ =0 ππ ππ π΅ Y usando que: = π΄ππ₯ + π΅ππ¦ = 0 ππ π΄ Ahora, recordemos que π π₯, π¦ es curva caracterΓstica:
π΄ππ₯ + π΅ππ¦ π’π = πΆ
Y esta ecuaciΓ³n ahora es directamente integrable.
πΆ π’π = π΄ππ₯ + π΅ππ¦
41
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 π¦βπ₯
42
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
43
π’π₯ + π’π¦ = πΌπΌ
π’(π , π ) = π π
π’(π₯, π¦) = π π¦ β π₯ π πΌπ¦
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. 44
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.
ππ₯ π΄ π₯, π¦, π’ = ππ¦ π΅ π₯, π¦, π’
ππ = π΄ π₯, π¦, π’ ππ‘ ππ¦ = π΅ π₯, π¦, π’ ππ
45
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.
ππ = π΄ π₯, π¦, π’ ππ ππ = π΅ π₯, π¦, π’ ππ ππ = πΆ π₯, π¦, π’ ππ
46
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:
π₯ = π₯ π , π‘
π¦ = π¦ π , π‘
π’ = β(π , π‘)
47
Resolvamos un ejemplo:
π’π₯ + π’π¦ + π’ = 1 π’(π , π + π 2) = 2
ππ = 1, ππ‘ ππ = 1, ππ‘
ππ = 1 β π’, ππ‘
Fijamos s para aplicar las c.i.:
π’ 0 = 2,
π₯ 0 = π ,
π¦ π‘ = π‘ + π2
π’ π‘ = 1 + π3π βπ‘
π¦ 0 = π + π 2
π₯ 0 = 0 + π1 = π ,
π¦ 0 = 0 + π2 = π + π 2,
π’ 0 = 1 + π3π β0 = 2; π3 = 1
π’ π‘ = 1 + π βπ‘
π₯ π‘ = π‘ + π1
π₯ π‘ =π‘+π
π¦ π‘ = π‘ + π + π 2 48
π¦ π‘ = π‘ + π + π 2 π₯ π‘ =π‘+π π‘ =π₯ π‘ βπ
π¦ π‘ β π₯(π‘) = π 2
π = Β± π¦ π‘ β π₯(π‘)
π‘ = π₯ π‘ β π¦ π‘ β π₯(π‘)
π’ π‘ = 1 + π βπ‘ = 1 + π βπ₯Β±
π¦βπ₯
= π’(π₯, π¦)
Demuestra que si la condiciΓ³n inicial hubiera sido:
π’(π , π + π 2) = 1
entonces la soluciΓ³n serΓa:
π’ π₯, π¦ = 1
49
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 50 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. 52
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... 53
π’π₯π¦ + π’π¦ = 0
π’(π , π ) = 1
π’π₯ π , π β π’π¦ (π , π ) = 2π βπ
π’ π₯, π¦ = 1 + π π¦ β π π₯
π βπ₯
π’π₯ = βππ(π₯)π βπ₯ β π π¦ β π π₯ π’π¦ = ππ(π¦)π βπ₯
π βπ₯
π’π₯ π , π β π’π¦ π , π = β2π β² π π βπ β π π β π π
π βπ
β2π β² π π βπ = 2π βπ ; π β² π = β1; π π = βπ + π π’ π₯, π¦ = 1 β π¦ β π₯ π βπ₯
54
π’π₯π¦ + π’π¦ = 0
π’(π , π ) = 1
π’π₯ π , π β π’π¦ (π , π ) = 2π βπ π’π₯ π , π + π’π¦ (π , π ) = 1 π βπ₯
π’ π₯, π¦ = 1 + π π¦ β π π₯
π’π₯ = βππ(π₯)π βπ₯ β π π¦ β π π₯ π’π¦ = ππ(π¦)π βπ₯ π’π₯ π , π + π’π¦ π , π = 0 β 1
El motivo es la incompatibilidad de las c.i. Si derivamos la primera:
π βπ₯
Incompatible
π’(π , π ) = 1 π’π₯ π , π + π’π¦ (π , π ) = 1
ππ’(π , π ) = π’π₯ π , π + π’π¦ (π , π ) = 0 ππ
55
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 curvas56 caracterΓsticas.
π΄ π₯, π¦ π’π₯π₯ + 2π΅ π₯, π¦ π’π₯π₯ + πΆ π₯, π¦ π’π¦π¦ = π· π₯, π¦, π’, π’π₯ , π’π¦
ππ π΅ Β± π΅2 β π΄π΄ = ππ π΄
57
ππ π΅ Β± π΅2 β π΄π΄ = ππ π΄
58
ππ π΅ Β± π΅2 β π΄π΄ = ππ π΄
59
60
61
ΒΏQuΓ© ocurre cuando se dan condiciones sobre una curva caracterΓstica?
π’π₯π¦ + π’π¦ = 0
Aπ’π₯π₯ + 2π΅π’π₯π₯ + πΆπ’π¦π¦ = π· 2
ππ ππ π΄ β 2π΅ +πΆ =0 ππ ππ ππ π΅ Β± π΅2 β π΄π΄ = ππ π΄
π’(π , 0) = π βπ
π’π¦ (π , 0) = 0 π΄=0 2π΅ = 1 πΆ=0
ππ β = 0; ππ
π=0
π¦ π₯ =π
π’(π₯, π¦) = π(π¦)π βπ₯ + β(π₯) π’ π , 0 = π 0 π βπ + β(π ) = π βπ β π = (1 β π 0 )π βπ
π’(π₯, π¦) = (1 + π π¦ β π 0 )π βπ₯
62
π’π₯π¦ + π’π¦ = 0 π’π¦ (π , 0) = 0
π’(π₯, π¦) = (1 + π π¦ β π 0 )π βπ₯ π’π¦ (π₯, π¦) = ππ(π¦)π π₯
π’π¦ π , 0 = π β² 0 π π = 0
La soluciΓ³n serΓ‘:
ππ(0) = 0
π’(π₯, π¦) = (1 + π π¦ β π 0 )π βπ₯
donde π π¦ es una funciΓ³n arbitraria tal que ππ(0) = 0. El problema tiene infinitas soluciones y queda indeterminado. 63
CaracterΓsticas en sistemas de ecuaciones semi-lineales de primer orden y dos variables 2
π’π₯π₯ β π π’π¦π¦ = 0 ππ ππ
2
β π2 = 0
π΄π΄π₯π₯ + 2π΅π’π₯π₯ + πΆπ’π¦π¦ = π·
ππ π΄ ππ
β1 0
ππ β 2π΅ +πΆ =0 ππ
π¦ + ππ = πππ π¦ π₯ = οΏ½π¦ β ππ = πππ
π’π₯ β‘ π 2 π’ β π π’ = 0 π₯π₯ π¦π¦ π’π¦ β‘ π
0 1
2
ππ₯ 1 0 + 0 βπ 2 ππ₯
ππ¦ β ππ₯ = 0 οΏ½ ππ₯ β π 2 ππ¦ = 0
ππ¦ 0 = ππ¦ 0
65
0 β1 1 0
π΄1 π£π₯
ππ₯ 1 0 + 0 βπ 2 ππ₯
+
EcuaciΓ³n de las caracterΓsticas:
det ππ ππ
2
0 1 β
π2
π΄2 π£π¦ = 0
ππ det π΄1 β π΄2 = 0 ππ
β1 ππ 1 0 β 0 ππ 0 βπ 2 =0
ππ¦ 0 = ππ¦ 0
=
β1 ππ ππ
π¦ + ππ = πππ π¦ π₯ = οΏ½π¦ β ππ = πππ
que coincide con nuestro resultado anterior.
ππ β ππ = 0 π2
66