7. Ecuaciones en derivadas parciales. ( Chema Madoz, VEGAP, Madrid 2009)

7. Ecuaciones en derivadas parciales 1 (Β© Chema Madoz, VEGAP, Madrid 2009) Ecuaciones en derivadas parciales 𝐹 π‘₯, 𝑦, … , 𝑒, 𝑒π‘₯ , 𝑒𝑦 , … , 𝑒π‘₯π‘₯ , 𝑒π‘₯...
0 downloads 0 Views 3MB Size
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

Suggest Documents