Académique Documents
Professionnel Documents
Culture Documents
Tesis de Licenciatura
Jorge Ri
Marzo 2013
ndice
1. Introduccin
2. El proceso de electrodifusin
2.1. Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3. Mtodo de disparo
21
38
. . . . . . . . . . . . . . . . . . . . . . . . . 38
68
6. Bibliografa
73
1.
Introduccin
00
y =
+ +
y3
1 2
0
2
yy +
+ l + (y (0) y (1)) xy
+
2
2
2
1 2
y (0)
2
y l + (y (0) y (1)) D,
2
2
x [0, 1],
2.
2.1.
El proceso de electrodifusin
Introduccin
Aqu abordamos el anlisis del trabajo de Leuchtag [1], que describe, someramente, el proceso de difusin y arrastre de una mezcla de iones arbitraria en
rgimen de estado estacionario en la juntura, mediante el sistema de ecuaciones
de Nernst-Planck y la Ley de Gauss, que culmina mostrando su equivalencia con
una simple ecuacin diferencial ordinaria cuyo orden es igual al nmero de las
distintas cargas inicas presentes en el sistema.
dNij
+ uij qi2 ENij ,
dX
1im
(2.2.1)
(2.2.2)
m
P
i=1
E dX,
(2.2.3)
se puede ver fcilmente que el sistema denido por las ecuaciones (2.2.1) a (2.2.3)
es invariante para T , as es que de cualquier solucin dada pueden generarse una
innidad de soluciones adicionales. El conjunto de transformaciones T forma un
grupo abeliano, donde T T = T , T1 es la identidad y T 1 la inversa de T .
Sean ahora,
.
4q02 N0
ki
1 X
ni =
Nij ,
N0 j=1
i
X
Jij
ci =
,
N0 qi j=1 uij
q0
E,
X
x=
+ x1 ,
p=
(2.2.4)
1im
(2.2.5)
(2.2.6)
(2.2.7)
(2.2.8)
n01 = 1 pn1 c1 ,
n02 = 2 pn2 c2 ,
p0 = 1 n1 + 2 n2 .
donde c = c1 + c2 .
(2.2.12)
p0 21 2 p2 + 2 cx
1 2
(2.2.13)
(2.2.14)
1 pp0 21 1 2 p3 + 1 2 cxp
,
1 2
(2.2.15)
2.3.
y 0 (0) = 0,
y 0 (1) = 0.
(2.3.1)
(2.3.2)
m2
m2 D
) lD
> 0,
2
2
(2.3.3)
entonces existe al menos una y , solucin del problema dado por las ecuaciones
(2.3.1)-(2.3.2), que cumple 0 < y < m y que es estrictamente decreciente.
La prueba de existencia usa super y sub soluciones junto con el principio del
mximo para obtener una cota a priori necesaria para aplicar la teora de grado,
lo cual requiere que
l
m(1 + ) lD > 0.
2
Tambin en otro resultado del mismo trabajo (Teorema 4.2 de [3]), se prob la
existencia de soluciones cuando al menos uno de los parmetros l o D son pequeos, usando mtodo de disparo (shooting ) y el teorema de la funcin implcita.
9
As, la existencia fue establecida para un gran rango de valores de los parmetros
de inters fsico.
En [2], se considera el problema slo en el caso l, D, > 0. Usando el principio
del mximo se obtiene el siguiente resultado:
Teorema 2.3.1 Sean l, D, > 0. El problema de valores de contorno (2.3.1)(2.3.2) no tiene soluciones negativas y las soluciones positivas son estrictamente
decrecientes y satisfacen
(2.3.4)
Si llamamos
= l +
y02 y12
2
h(x, y) =
y02 y 2
+ x,
2
y 0 (u) = 0,
y 00 (t) 0 y 00 (u).
mientras que
Supongamos que existe y(x), una solucin negativa, y consideremos primero que
> 0. Entonces,
y 00 (0) = y0 D < 0,
dado que
y0 0.
Como y0 (0) = 0, la solucin y tiene un mnimo negativo en u > 0 (pues y00 (0) <
0), con y(u) < y0 0.
Entonces, h(u, y(u)) > h(0, y0 ) = , dado que h es una funcin decreciente en y,
pues
h
= 2y 0,
y
si
y 0,
h
< 0,
y
si
y < 0.
10
una contradiccin.
Supongamos entonces que 0. Entonces es
y02 y12
y02 y12
0 =
l < 0 = y02 < y12 ,
l +
2
2
(2.3.5)
Entonces,
y0 D.
(2.3.6)
11
y por lo tanto,
y0 y1 (1 + l) 0,
una contradiccin.
Por lo tanto, y es estrictamente decreciente.
Para mostrar que
y 00 (0) = y0 D y1 (1 + l) D = y 00 (1),
y el resultado es inmediato.
Tambin se tiene el resultado siguiente para la existencia de solucin, cuya demostracin no inclumos, que puede verse en [2]:
1
1
(1 + l)2
D 0,
(2.3.7)
1
(1 + l)2
D2 .
(2.3.8)
a=
1
(1+l)2
b=
c = lD,
vemos que a < 0, y por lo tanto el conjunto solucin ser el intervalo [m1 , m2 ],
donde m1 y m2 son los ceros de la parbola dados por la conocida frmula
s
m1,2 =
1 1 2
(1+l)
4 2 D (lD)
1 1 2
(1+l)
2 2 D
2lD
1
1
(1 + l)2
,
donde
m =
q
2l(1
(1
1
)D2
(1+l)2
1
)D
(1+l)2
c(x, y)
,
y0 + y1
Teorema 4.2 de [3] Sean l0 D0 = 0 y 0 > 0, entonces hay una > 0 tal
que para |l l0 | + |D D0 | + | 0 | < existe una solucin y del problema
(2.3.1)-(2.3.2), con y(i) = yi (l, D, ), |y(i)| < , i = 0, 1.
Teorema 4.3 de [3] Si l0 D0 6= 0 y 0 = 0 existe una solucin y del problema
(2.3.1)-(2.3.2), con y(0) = y0 (y(1), l, D), = (y(1), l, D), continuamente diferenciable en un entorno de (0, l0 , D0 ), con y0 (0, l0 , D0 ) = 0 = (0, l0 , D0 ). Adems
esta es la nica solucin en un entorno de (y(0), y(1), l, D, ) = (0, 0, l0 , D0 , 0).
Se observa que, en el teorema 4.2 de [3], las soluciones obtenidas son = 0, e
y constante, en un entorno de y(0) = y(1) = 0 = 0. Adems, por una tcnica
similar, se puede ver que = 0 e y constante son las nicas soluciones en un
entorno de y(0) = c = y(1), (c = constante), y 0 = 0.
Del lema 2.3.1 se ve que las constantes son las nicas soluciones del problema
(2.3.1)-(2.3.2), las cuales no cambian de signo por lo que no podemos obtener
soluciones adicionales por este enfoque.
Tambin por el mismo lema 2.3.1, en el caso lD = 0, y 0 es la nica solucin del
problema (2.3.1)-(2.3.2), la cual no cambia de signo, as que tampoco se puede
tener soluciones positivas adicionales por este enfoque.
Se tiene tambin en [2] el siguiente resultado cuya prueba all se realiza:
Teorema 2.3.3 Para l, D, > 0 las soluciones obtenidas del teorema 4.2 de [3]
son positivas.
2.3.4. Iones de diferentes valencias
Por ltimo se obtiene la ecuacin diferencial ms general, de la cual la ecuacin
en estudio es un caso particular.
Siguiendo la notacin de Leuchtag [1], procediendo de forma enteramente similar
aunque con ligeras modicaciones, la juntura lquida ocupa la regin 0 t ,
es la constante dielctrica, k la constante de Boltzmann, T la temperatura, E
el campo elctrico, N0 una arbitraria unidad de densidad inica, q0 la carga del
protn, q la carga de los iones, N sus densidades, u sus movilidades, y, de
acuerdo a las relaciones de Einstein, D = u kT sus coecientes de difusin.
Poniendo = q /q0 , n = N /N0 , ahora la longitud de Debye queda expresada
como
s
=
kT
,
4q02 N0
15
y adems
p=
q0
E
kT
n = n+ + n .
(2.3.9)
(2.3.10)
q0 N0
D c .
(2.3.11)
p2 p2 (0)
ct,
2
(2.3.12)
que corrige la ecuacin (20) de [1], la cual hemos utilizado en una expresin
equivalente en la seccin anterior (ecuacin (2.2.12)). Usando ahora esta ecuacin
(2.3.12) para sustituir por n+ en la ecuacin (2.3.11), se obtiene
p0 = ( + )n + +
p2 p2 (0)
+ ct + + n(0).
2
(2.3.13)
n(1) n(0)
D+ D
, l=
, = 2 + n(0),
+ D+ D
n(0)
+ +
=
,
+
y = + p,
se obtiene
y 2 (0) y 2
y 2 (0) y 2 (1)
y = yy + y
+ l +
x
2
2
y 2 (0) y 2 (1)
l +
D,
para x [0, 1].
2
00
17
(2.4.1)
(2.4.2)
(2.4.3)
p2
cx k,
2
(2.4.4)
p2
c+ x + k
2
as que
p00 = (+ + )pp0
+
p3 + (cx + k)+ p (+ c+ + c ).
2
(2.4.5)
(2.4.7)
(+ u+ c+ + u c )(+ ) = 0.
(2.4.8)
(D+ D )c+
,
+ D + D
(2.4.9)
de donde
Como consecuencia,
+ c+ + c =
18
p (+ + )pp + +
p3
(D+ D )c+
(cx + k)p +
= 0. (2.4.10)
2
+ D+ d
y
p=
,
+
(2.4.11)
y =
+ +
y3
yy +
+ 2 + (cx + k)y c 3 D+
2
0
(2.4.12)
c = n(0) n(1) +
1
2 2
y 2 (0)
n(0),
2 2 +
+ (D+ D )
D =
,
+ D+ D
[y 2 (0) y 2 (1)],
(2.4.13)
(2.4.14)
k =
+ < 0.
(2.4.15)
y3
1 2
+ +
0
2
2
yy +
+ + (n(0) n(1)) + (y (0) y (1)) x y
y =
+
2
2
2
1 2
y (0)
2
2
2
00
y =
+ +
y3
1 2
2
yy +
+ l + (y (0) y (1)) x y
2
2
0
y 2 (0)
1 2
2
y l + (y (0) y (1)) D
2
2
(2.4.16)
20
z(x)
1
x
1
Mtodo de disparo
dy d2 y
dn1 y
x, y, , 2 , ..., n1 ,
dx dx
dx
dy
d2 y
dr1 y
(a) = A2 ,
(a)
=
A
,
...
,
(a) = Ar ,
3
dx
dx2
dxr1
21
dy
d2 y
ds1 y
(b) = B2 ,
(b)
=
B
,
...
,
(b) = Bs ,
3
dx
dx2
dxs1
(3.0.1)
donde r + s = n.
La idea del mtodo de disparo (shooting ) es sustituir las s condiciones de contorno
en x = b, por s condiciones iniciales en x = a, planteando el siguiente Problema
de Valores Iniciales
n
d y
dy d2 y
dn1 y
dxn
dx dx
dx
2
dy
dy
dr1 y
y(a)
=
A
,
(a)
=
A
,
(a)
=
A
,
...
,
(a) = Ar ,
1
2
3
dx
dx2
dxr1
r
r+1
r+2
n1
donde 1 , 2 , ..., s , son parmetros desconocidos a determinar, de los cuales depende la solucin de este problema de valores iniciales. Para un dado conjunto de
valores de estos 1 , 2 , ..., s , obtendremos una solucin del problema de valores
iniciales. El problema original de valores de contorno estar resuelto si la solucin obtenida para este conjunto de parmetros tambin cumple las s condiciones
(3.0.1).
Para el caso de un problema de segundo orden como el que nos ocupa, tenemos
2
dy
d
y
dx2 = f x, y, dx ,
y(0) = A,
y() = B,
con x [0, ],
(3.0.2)
= f x, y,
,
dx
dx2
y(0) = A,
dy (0) = .
dx
con x [0, ],
valor del , de tal modo que dicha solucin satisfaga la condicin de borde del
problema original, hasta una determinada cota de error preestablecida. En otros
casos, es posible conocer anticipadamente el comportamiento de la solucin del
problema de valores iniciales con la variacin del parmetro . En el trabajo
realizado en [5] primero, y en [9] despus, el anlisis del comportamiento de la
solucin lleva a una adecuada eleccin de los parmetros de tal modo de obtener
el resultado deseado, como veremos en la seccin 4.
3.1.
Problema unidimensional
(3.1.1)
u(0) = u(1) = 0.
(3.1.2)
u(0) = 0,
(3.1.3)
u0 (0) =
Luego, con una analoga mecnica, podemos explicar el nombre del mtodo: el
procedimiento consiste en el ajuste del valor del parmetro hasta que un ngulo
de disparo apropiado sea obtenido, para as alcanzar a golpear el punto (1, 0).
Como consecuencia del anlisis del procedimiento, se suscita el problema de considerar si las soluciones del nuevo problema de valores iniciales estn denidas
hasta el valor t = 1. Si esto no ocurre, o sea, no estn denidas hasta ese valor,
entonces tampoco la funcin lo est para todos los valores de .
Sin embargo, no obstante tal posibilidad, la funcin tiene una destacable propiedad : es continua.
En algunos casos, podemos asegurar que dom() = R. Por ejemplo, este es el
caso cuando f crece a lo sumo linealmente en su segunda variable, es decir
|f (t, u)| a|u| + b,
t (0, 1).
u(0) = 0,
24
Zt
=+
0
y poniendo,
R :=
R1
Ms precisamente,
R
u0 (t) 0, para todo t
R u0 (t) 0, para todo t.
segunda variable y supongamos que existe una constante R > 0, que cumple la
siguiente condicin
f (t, R) < 0 < f (t, R)
(3.1.4)
f (t, u)
f (t, u) := f (t, R)
f (t, R)
si |u| R
si u > R
si u < R.
Por lo tanto, slo resta probar que esta solucin est acotada por R para todo t
(o sea |u| R, t), dado que entonces se tiene que f(t, u) = f (t, u), t y estamos,
por ello, en el problema original.
Para verlo, supongamos que u alcanza su valor mximo en algn t0 , siendo u(t0 ) >
R. Entonces tenemos que t0 (0, 1) y u00 (t0 ) = f(t0 , u(t0 )) = f (t0 , R) > 0, de la
denicin de f, lo cual contradice el hecho de que en t0 u alcanza su mximo y,
por lo tanto, u00 (t0 ) 0. De modo anlogo se prueba que u(t) R para todo t.
26
Se observa que, en este caso, no es necesariamente cierto que todas las soluciones del problema original estn acotadas por R. Para el propsito de establecer
existencia de solucin fue suciente probarlo para la funcin truncada f.
En el siguiente problema, otra caracterstica de la funcin, la monotona, permite
obtener adems unicidad de solucin.
u, v R, u v.
y entonces
w00 (t)w(t) = [f (t, u) f (t, v)](u(t) v(t)) 0,
(3.1.5)
w00 (t)w(t)dt =
1
w(t)w0 (t)|0
Z1
w02 (t)dt,
en donde el primer trmino se anula pues w(0) = 0 = w(1). Todo lo cual implica
que
R1
problemas en los cuales decimos que unicidad implica existencia. Aqu reemplazaremos nuevamente la funcin dada f por otra funcin truncada f, como en
el ejemplo anterior, con la diferencia que en el presente problema no tenemos
una cota R dada por anticipado, como la que surga de la condicin de Hartman vista. Por lo tanto debemos elegirla de un modo conveniente. Esta es la
idea fundamental de una cota a priori : a veces es posible, antes de saber si el
problema tiene o no solucin, demostrar que la imagen de tal solucin, si existe,
se encuentra en un cierto conjunto acotado.
A tal efecto observamos que si u(t) es solucin del problema dado por las ecuaciones (3.1.1)-(3.1.2), entonces podemos escribir
u00 (t) = f (t, u(t)) f (t, 0) + f (t, 0),
(3.1.6)
Z1
u02 (t)dt =
Z1
u02 (t)dt,
pues u(0) = u(1) = 0 (por (3.1.2)), integrando en ambos miembros de la desigualdad (3.1.6) tenemos
Z1
02
Z1
u (t)dt
0
Z1
f (t, 0)u(t)dt k u k
|f (t, 0)|dt.
(3.1.7)
para todo t.
Entonces, tomando el mximo de |u(t)| y aplicando la desigualdad de CauchySchwarz al miembro derecho, llegamos a que
Z1
k u k
21
u02 (t)dt =k u0 kL2 [0,1] .
28
|f (t, 0)|dt := R.
0
Z1
u02 (t)dt =
Z1
u02 (t)dt,
por lo cual
Z1
u02 (t)dt =
Z1
Z1
f (t, u(t))u(t)dt c
u2 (t)dt + d
Z1
|u(t)|dt,
0
1
R
R1
puesto que - f udt f udt |f ||u|dt, de donde se obtiene lo anterior dado
0
0
0
que |f | c|u| + d.
R1
29
y entonces
k u k
d
.
1c
d
, sucientemente grande, y, deniendo la funcin trunSe ja entonces R 1c
cada f como antes, se tiene que |f(t, u)| c|u| + d R, y las soluciones del
problema truncado son, en particular, soluciones del problema original, dado que
d
k u k 1c
R y, por lo tanto, f(t, u(t)) = f (t, u(t)).
Nota. Se observa en [4] (Observacin 2.1) que la condicin c < 1 puede mejorarse usando la desigualdad de Poincar
Z1
1
u (t)dt 2
Z1
u02 (t)dt,
con la cual se verica que una condicin suciente para la existencia de solucin
es que c < 2 , la cual podemos ver que es una cota ptima. Efectivamente
observemos que si c = 2 , si, por ejemplo, f (t, u) = sen(t) 2 u, no existe
solucin:
si suponemos que u(t) es una solucin, multiplicando ambos miembros de la
ecuacin diferencial (3.1.1), e integrando, se tiene que
Z1
Z1
sen (t)dt =
0
lo cual es absurdo.
3.2.
Problema bidimensional
Zt
f (s, u(s))ds,
0
e integrando nuevamente,
Zt
u (t) = t +
f (s, u(s))ds d.
Z
0
y por lo tanto,
() = + S,
k k2 2().+ k () k2 < R2
1
k () k2 0 = (). > 0.
2
(). +
(().)2 + R2 k k2
,
k () k2
(el signo negativo corresponde a una raz < 0), en donde se puede ver que el
radicando, para k k= R, es positivo, con lo que la funcin es tan regular
como .
Luego, se concluye que la aplicacin r : BR (0) R2 , denida por
r() = + ()()
Es decir, r es una retraccin, que aplica una bola cerrada en su borde y deja los
puntos del borde jos.
32
El siguiente teorema (Teorema 2.1 de [4]) que enunciamos sin demostracin (en
la cual se procede por un argumento de contradiccin y se usa el Teorema de
Green ), arma que una tal aplicacin C 2 no puede existir.
x2 [1, 1]
x1 [1, 1],
(3.2.1)
Se observa, adems, que tanto este teorema como el anterior Teorema 3.2.2 siguen
siendo vlidos si cualquiera de las desigualdades (3.2.1) y (x).x > 0 se invierten
o si dejan de ser estrictas.
Esta parte concluye probando que los resultados precedentes son topolgicos, es
decir, que continan valiendo sin la exigencia de regularidad, o sea, si las aplicaciones son slo continuas. Para tal n se utiliza el Teorema de Stone-Weierstrass
para demostrar los siguientes teoremas (Teoremas 2.5, 2.6, 2.7 y 2.8 de [4]), versiones de los teoremas anteriores en los que la (y por lo tanto tambin la r) es
slo continua, que enunciamos sin demostracin, las que pueden verse en [4]:
x2 [1, 1]
x1 [1, 1],
(3.2.2)
34
dz
,
za
Se considera ahora el siguiente lema (Lema 2.1 de [4]), que ser de gran importancia en la prueba del resultado principal en la prxima seccin.
Lema 3.2.1 Sea f : B1 (0) C\{0}, continua, y sea (t) = eit para t [0, 2].
Entonces
I(f , 0) = 0.
36
Nota. Vemos tambin otra demostracin del teorema de Brouwer, para apli-
37
4.
Anlizamos en esta seccin los trabajos [5] y [9], en los cuales se aplica el mtodo
de disparo explicado a este problema particular considerado, para los casos de
valencias iguales + + = 0, y el ms general de + + 0, respectivamente.
4.1.
El caso
+ + = 0
x (0, 1)
(4.1.1)
donde
y(0)2 y 2
+ Ax AD
f (x, y; y(0), y(1)) := y
2
(4.1.2)
y(0)2 y(1)2
,
2
(4.1.3)
con
A = l +
y 0 (0) = y 0 (1) = 0
38
(4.1.4)
Como comentramos en la introduccin, el problema determinado por las ecuaciones (4.1.1) - (4.1.4) es no convencional en el sentido que la ecuacin no lineal
del modelo (4.1.1) incluye las cantidades dependientes de la solucin y(0) e y(1).
Como vimos en la primera seccin, Thompson en [2] utiliza la teora de grado y
el mtodo bien establecido de super soluciones y subsoluciones (ver por ejemplo
[6]) para probar la existencia de una solucin positiva al problema de contorno
(4.1.1)-(4.1.4) cuando D>0 y sujeto a la ya explicada restriccin
1
D2 .
2l 1
2
(1 + l)
(4.1.5)
mviles son polos, esto es que las singularidades dependen slo de la ecuacin en
estudio y no de las condiciones iniciales del problema en cuestin.
Painlev y Gambier mostraron a principios del siglo XX, mediante una transformacin de M obius,
x 7 (x),
u 7
(x)u + (x)
,
(x)u + (x)
1. uxx = 6u2 + x
2. uxx = xu + 2u3
ux 1
1
+ (u2 + ) + u3 +
3. uxx = u2x
u
x
x
u
1 2 3 3
4. uxx =
ux + u + 4xu2 + 2(x2 )u +
2u
2
u
2
(u 1)
3u 1 2 1
u u(u + 1)
ux ux +
+
5. uxx =
u +
+
2
2u(u 1)
x
x
u
x
u1
1 1
1
1
1
1
1
6. uxx =
+
+
u2x
+
+
ux +
2 u u1 ux
x x1 ux
u(u 1)(u x)
x1
x(x 1)
x
+ 2 +
+
x2 (x 1)2
u
(u 1)2
(u x)2
y2
y =y +
+ x +
2
00
donde
=
y(0)2
2
= l +
y(0)2 y(1)2
,
2
= D
x = X +
dX 2
con
|| = 2,
= /,
= 1/3
Como = l +
2
1/3 D
=
y02 y12
2
z(x) =
y(x)
y(0)
(4.1.6)
(4.1.7)
x (0, 1)
donde
g(x, z, , z1 ) =
[l +
2
2
2
2
z(x) (1 z(x) ) + l + (1 z1 ) x
2
2
con
= y0 = y(0) > 0
2
(1
2
z12 )]D
(4.1.8)
z1 = z(1)
Si ponemos
=
l +
2
(1
2
z12 )
(4.1.9)
2
2
z (x) = (1 z(x) ) + x z(x) D
2
00
42
(4.1.10)
l=
2
(1
2
z12 )
(4.1.11)
z(0) = 1,
z 0 (0) = 0
(4.1.12)
y
z 0 (1) = 0
(4.1.13)
El Mtodo de Disparo
Supongamos que existe una solucin positiva en todo el intervalo [0,1]. Entonces
podemos calcular el par de valores z 0 (1), l (obtenida de (4.1.11)). Esto dene un
operador continuo T : R2 R2 , T (, ) = (z 0 (1), l). El problema de valores
de contorno original tendr una solucin si y slo si la ecuacin del operador T ,
T (, ) = (0, l), con > 0 y > 0, donde el valor de l es el jado en el problema
original, tiene solucin.
Llamamos a esta tcnica el mtodo de disparo ("shooting") bidimensional.
43
Lemas de utilidad:
El primer lema tratado en [5], se usa en la demostracin de un lema posterior.
Aqu consideramos adicionalmente que z(x0 ) 0 y que z 00 (x0 ) 0, que es como
se utiliza.
Lema 4.1.1 Sean x0 < x1 dos puntos del intervalo [0, 1], tales que cumplen que
0 z(x0 ) z(x1 ), y supongamos adems que z 00 (x0 ) 0.
Entonces z 00 (x0 ) < z 00 (x1 ).
Dem.Lema 4.1.1
2
2
(1 z(x0 ) ) + x0 z(x0 ) D > 0,
2
lo cual, dado que z(x0 ) > 0 (de ser z(x0 ) 0), nos muestra que
2
2
(1 z(x0 ) ) + x0 > 0,
2
Por otro lado, derivando la ecuacin ahora respecto de x, para un z = z(x0 ) jo,
tambin tenemos
00
z
c(x,z)=(x0 ,z(x0 )) = z(x0 ) > 0
z
Por lo tanto, como x0 < x1 y 0 < z(x0 ) z(x1 ), tenemos el resultado buscado.
Lema 4.1.2 Supongamos que Z(x) y U (x) son funciones denidas en el intervalo [0, x1 ] y que ellas satisfacen
Z 00 (x) F (x, Z(x)),
U 00 (x) = F (x, U (x)),
(4.1.14)
(4.1.15)
Z(0) U (0),
Z 0 (0) U 0 (0),
entonces
45
(4.1.16)
Z(x) U (x),
Z 0 (x) U 0 (x),
x [0, x1 ].
(4.1.17)
Z 0 () U 0 ()
Por otro lado, como F es una funcin creciente de Z, Z 00 (x) > F (x, Z(x))
F (x, U (x)) = U 00 (x) x < , dado que Z(x) > U (x) x < . Luego Z 00 (x) >
U 00 (x) que juntamente con la segunda desigualdad de (4.1.16) implica que Z 0 () >
U 0 () lo cual contradice (4.1.17). Esto prueba la proposicin en el caso de desigualdades estrictas.
Al caso general llegamos utilizando el siguiente argumento de continuidad:
denimos, para cada n N, y para cada x [0, x1 ]
1
,
n
(x + 1)2
Un (x) = U (x)
.
2n
Fn (x, t) = F (x, t)
y
Un0 (x) = U 0 (x)
(x + 1)
,
n
1
n
con lo cual tambin se cumple que Un00 (x) = Fn (x, t), para todo n N, y, adems,
se verican las condiciones iniciales
1
< U (0), y
2n
1
Z 0 (0) > Un0 (0), puesto que Un0 (0) = U 0 (0) < U 0 (0).
n
Entonces tenemos
46
con lo cual estamos en las condiciones ms estrictas para las cuales ya hemos
demostrado que
Z(x) > Un (x)
x [0, x1 ].
por la continuidad de F, puesto que Un (x) U (x), se tiene que Z(x) U (x)
n
y Z 0 (x) U 0 (x) para cada x [0, x1 ], como queramos demostrar.
Como mencionamos anteriormente, se considera el problema (4.1.10) - (4.1.12),
sin considerar la condicin (4.1.13). Se busca extender la solucin a un mximo
intervalo de denicin (comenzando con un subconjunto del [0, 1]) con el requisito
de que la solucin permanezca positiva y acotada por un adecuado valor (por
ejemplo 2 ). Existen tres posibilidades, esquematizadas en la gura 2 :
1er caso(C1): La solucin no alcanza el valor z = 2 y, eventualmente, dobla hacia
abajo hasta intersecar el eje "x". Sea entonces 0 1 el primer valor en el [0, 1]
donde z(0 ) = 0.
2do caso(C2): La solucin eventualmente se incrementa hasta alcanzar el valor
z = 2. Sea 1 1 el primer punto en el [0, 1] donde z(1 ) = 2.
3er caso(C3): La solucin satisface 0 < z(x) < 2 x [0, 1].
(4.1.18)
2
(1
2
z()2 )
(4.1.19)
z(x)
caso (C2)
Caso (C3)
x
1
1
Caso (C1)
El Lema siguiente muestra que esto no puede suceder con nuestra ecuacin
(4.1.10).
Dem.Lema 4.1.3
48
z(x)
2
Solucin
modificada
(=1)
1
Solucin
inicialmente
(=0)
x
0
Lema 4.1.4 Para los casos (C2) o (C3), z no puede tener ms que un mnimo
49
z 00 (1) = z(1)( + L) D
(4.1.20)
y por lo tanto
L >
D
D 0
z(1)
(4.1.21)
(4.1.22)
(pues z(1) < 1). As que entonces tenemos que L 0 (pues > 0).
Deniendo el operador T
R2 , donde R2 , por
Se puede ahora denir el operador continuo T :
T (, ) := (, L) = (z 0 (), L).
(4.1.23)
El Resultado Principal
Teorema 4.1.1 dados cualesquiera , l > 0 y D (0, 1], el problema de valores
de contorno (4.1.1) - (4.1.4) tiene una solucin positiva.
50
Figura 4: Operador T
Si z 0 () = 0 entonces, por el Lema 4.1.3, debemos tener el caso (C3) y por lo
tanto = 1. Si, adems, L = l, entonces (4.1.19) coincide con (4.1.11) y z es una
solucin del problema de valores de contorno original. Por lo tanto, la validez del
Teorema 4.1.1 es equivalente a la armacin de que la ecuacin del operador
T (, ) = (0, l)
+ l
,
D
(4.1.24)
Lema 4.1.5 T (A) = (, 0), con < 0 para cada punto A = (, 0) en la lnea
PQ. En particular, el punto P se aplica a P 0 = (0, 0) y P 0 Q0 , la imagen de PQ,
es un segmento contenido en la parte negativa del eje (ver Figura 4).
Si = 0 entonces L = 0 (haciendo = 0 en la ecuacin
(4.1.19)), mientras que la ecuacin diferencial (4.1.10) se reduce a z 00 (x) = z
D, por lo cual z 00 disminuye con el aumento de y por lo tanto disminuye z 0 .
Dem.Lema 4.1.5
51
Lema 4.1.6 Supongamos que 0. Si la funcin positiva z(x) tambin satisface (4.1.13), entonces z 0 (x) 0 x [0, 1], z 00 (0) 0 y z 00 (1) 0.
Si = 0, z solo puede satisfacer la condicin (4.1.13) cuando
= /D siendo z 1, con lo que cumple trivialmente. As que podemos suponer
que > 0. Dado que = 0 y /D, por el Lema 4.1.4, z no tiene un mnimo
local en [0,1), de otro modo sera > 0 contradiciendo la hiptesis (4.1.13).
Por lo tanto x = 1 es el nico mnimo local. Como consecuencia, z(x) es una
funcin decreciente en el intervalo [0,1], y por lo tanto z 0 (x) 0, x [0, 1].
Las conclusiones z 00 (0) 0 y z 00 (1) 0 se siguen del hecho de que x = 0 es un
mximo local (z 0 (0) = 0) y x = 1 es un mnimo local (z 0 (1) = 0).
Dem.Lema 4.1.6
Los siguientes lemas nos muestran dnde se encuentran las imgenes de los lados
QR y RS para una adecuada eleccin del parmetro , .
z 00 (1) = z(1)( + L) D 0
(4.1.25)
D
> D > l
z(1)
(pues
z(1) 1)
(4.1.26)
00
z (x)
2
2
(1 z(x) ) z(x)
2
W (x) =
2
2
(1 W (x) ) W (x) ,
2
(4.1.27)
Lema 4.1.9 Con tal que se elija sucientemente grande, la imagen del lado
RS est contenida en el primer cuadrante del plano (, L).
53
2
(1 z(x)2 )z(x) 2 (1 z(x))
2
(4.1.28)
y como entonces,
2 (1 z(x))
2
(1 z(x)2 )z(x),
2
(4.1.29)
dado que D 1.
Supongamos ahora que
2 +
,
z(x) m :=
2( + )
(4.1.30)
(4.1.31)
54
(4.1.32)
(4.1.33)
+ C2 e
+1
m
m
x
(4.1.34)
donde C1 y C2 son las constantes de integracin que calculamos por medio de las
condiciones iniciales (4.1.33), las cuales nos dan
m
=1
2
m
W 0 (0) = (C1 C2 ) = 0
(4.1.35)
W (0) = C1 + C2
(4.1.36)
y entonces
C1 =
1
(m( + ) )
2 2
(4.1.37)
1
(m( ) )
2 2
(4.1.38)
C1 =
y
C2 =
x m
en (4.1.34)
Por la aparicin de en sus denominadores, |C2 | y m
>0
4 2
55
(4.1.39)
C1 e >
y como
lm
e
4 2
e =
4 2
(4.1.40)
Conclusin. Los lemas 4.1.5, 4.1.7, 4.1.9 y 4.1.8 nos posibilitan conocer c-
El caso
+ + 0
00
y =
+ +
y3
1 2
0
2
yy +
+ l + (y (0) y (1)) xy
+
2
2
2
1 2
y (0)
2
y l + (y (0) y (1)) D
2
2
y 0 (0) = y 0 (1) = 0,
(4.2.1)
(4.2.2)
Es decir, tenemos la ecuacin dada por (4.1.1) y (4.1.2), donde A est dado por
(4.1.3), o sea el caso tratado en [5], que mostramos en 4.1. El resultado por probar
ahora extiende este ltimo, al que incluye como caso particular.
El Resultado Principal
Teorema 4.2.1 Suponiendo que + + 0, 1 y l > 0, entonces el problema
(4.2.1)-(4.2.2) admite al menos una solucin, con tal que 0 < D < 1 + 1l .
57
Nota. Este valor de D mejora el valor obtenido para el caso anterior tratado
de valencias iguales.
con condiciones
z(0) = 1,
donde llamamos
y tomamos
z 0 (0) = z 0 (1) = 0,
2
2
l + (1 z(1) )
2
+ +
.
C :=
+
(4.2.3)
(4.2.4)
(4.2.5)
(4.2.6)
2 2 (1 z(1)2 )
.
2
(4.2.7)
2 2 (1 z()2 )
2
(4.2.8)
Lema 4.2.1 Sea z una solucin de (4.2.3) con > 0 y o bien > 0 o bien
= 0, pero 6= D.
Supongamos que 0 z(x0 ) z(x1 ) y z 00 (x0 ) Cz(x0 )z 0 (x0 ) para algn x0 < x1 .
Entonces,
z 00 (x0 ) Cz(x0 )z 0 (x0 ) < z 00 (x1 ) Cz(x1 )z 0 (x1 ).
Dem.Lema 4.2.1
00
2
2
(1 z(x0 ) ) + x0 z(x0 ) D > 0
2
59
(1 z(x0 )2 ) + x0 > 0
2
pues todos los factores son positivos. Si derivamos ahora respecto de x con z jo
en x0 , da
z(x0 ) > 0, pues z(x0 ) > 0 (siendo > 0).
Luego,
x0 < x1 = z 00 (x0 ) Cz(x0 )z 0 (x0 ) < z 00 (x1 ) Cz(x1 )z 0 (x1 ),
z 00 (x) = z(x) D,
z(x) = C1 e
y entonces
z 0 (x) =
+ C2 e
D
.
(4.2.10)
C1 e x C2 e x
z 0 (0) = 0 =
C1 = C2 =
1
2
(C1 C2 ) ,
D x
D
1
e
+ e x +
.
(4.2.11)
Como = 0, la tesis equivale a probar que z 00 (x0 ) < z 00 (x1 ), lo cual equivale a su
vez, como vemos de (4.2.9), a mostrar que z(x0 ) < z(x1 ), pero esto es inmediato
de la ecuacin
(4.2.11) obtenida para z . En efecto, dado que 6= D, entonces
D
1 6= 0, y como por hiptesis es z(x0 ) z(x1 ), debe ser z(x0 ) < z(x1 ),
como queramos probar.
60
El Lema 4.2.1 nos permite establecer dos hechos fundamentales sobre el operador
de disparo T. Estos estn establecidos a continuacin.
Lema 4.2.2 T es continuo. Por otra parte, si T (, ) = (0, l) con > 0, entonces y := z es una solucin del problema original (4.2.1)-(4.2.2).
Dem.Lema 4.2.2
z 0 () = 0
De la teora estndar del ndice topolgico, esto implica que la ecuacin T = (0, l)
tiene al menos una solucin en . Ms especcamente, se denir como el
61
P :=
,0 ,
D
R := ( , )
Q := ( , 0)
< (1 + L) = L.
1
z(x) =
2
Entonces,
D
1
D
x
x
e
.
+e
+
D x
z (x) =
1
e
e x .
2
(4.2.12)
D
D
z() =
+ 1
cosh( ) = 0,
Como
z 0 () = 1
D/
1
cosh( ) = D
=
1
1 D
senh( ),
(donde senh(t) =
et et
2
),
1<0
1 D
63
D
en el caso = 1 (el Caso(C3), con = 1), o cuando senh( ) = 0, que da
= 0, que no corresponde a un valor posible del punto nal (estamos en x = 0
con z 0 (0) = 0 y z(0) = 1).
Otra manera de verlo (la mostrada en [9]), es multiplicar la ecuacin diferencial
que se obtiene con = 0, z 00 = z D, por z 0 , e integrar desde x = 0 a x = ,
para obtener
z 2 ()
z 02 ()
=
Dz() + D = + D.
2
2
2
2
2
z (1 z 2 ) z
2
00
en
[0, ]
(1+l)
D
y 0. Si z 0 () = 0, entonces L > l.
64
D x
x
0
1
e
e
6= 0,
z (x) =
2
x,
< (1 + L) (1 + l) = (L l)
(1 + l)
,
D
(4.2.13)
Dem.Lema 4.2.7
65
(4.2.14)
<
,
D1
(1 + l)
<
,
D
D1
donde
C1 =
+ C2 e
( + )m D
2 2
+1
m D mx
+
2
C2 =
,
(4.2.15)
( )m D
.
2 2
D
x
< 1 m,
C2 e
+
para cada x [0, 1], lo cual implica, a su vez, que W > m en el [0,1] (dado que
en (4.2.15), tenemos 1 sumado al trmino C1 e x , que es positivo). Supongamos
ahora que z alcanza el valor m en algn punto x0 , o sea, z(x0 ) = m. Entonces,
tenemos de (4.2.14) que
z 00 (x) 2 (1 z(x)) + ( + x)m D
66
(4.2.16)
67
Figura 5: en funcin de
5.
Hemos podido ver con estas aplicaciones del mtodo, en estos trabajos [5] y [9],
su ecacia en el cometido propuesto de demostrar existencia de soluciones, en
particular eliminando la restriccin que se impone en [2] respecto de los parmetros fsicos (ecuacin (2.3.8) de la seccin 2.3).
En ese mismo sentido podemos observar, en el trabajo [5], varias conclusiones de
la implementacin de experimentos numricos all realizados en los Apndices del
nal. Como mencionan los autores, ningn tratamiento numrico del problema
con condiciones de Neumann (4.1.1)-(4.1.4) ha sido emprendido en la literatura
y la prueba de existencia topolgica no conduce directamente a un algoritmo
prctico.
En el Apndice I se presentan estudios numricos preliminares del problema, con
Figura 6: L en funcin de
Para cada > 0, dada, existe una y slo una , tal que la solucin z(x) del problema de valores iniciales asociado (4.1.10)-(4.1.12), tambin satisface la condicin de frontera (4.1.13). La dependencia de con es continua. El valor de L
obtenido de es tambin una funcin montona de . Esta ltima armacin
es equivalente a la armacin de que el problema de valores de contorno original
tiene una solucin nica.
Si esta conjetura es cierta, entonces en el paso 4 del algoritmo all expuesto, se
puede armar que L es una funcin continua de y la existencia de un adecuado
que da L = l est garantizada. Esto equivale a una prueba alternativa del
resultado principal sin recurrir a la teora de grado topolgico.
Las guras 5 y 6 muestran el resultado numrico de uno de los experimentos,
con = 1. La gura 5 muestra el grco de como una funcin de , que es
monotona y en el que se puede apreciar que , cuando . La gura
6 muestra el grco de L en funcin de , que de nuevo parece ser monotona.
Tambin se ve que L 0, cuando 0 y L , cuando . Por
lo tanto, L toma cada valor posible de l.
En el Apndice II se muestran resultados de experimentos similares para D > 1.
Las guras 7 y 8 representan los resultados para D = 2 correspondientes a los de
las Figuras 5 y 6, respectivamente, donde se ha mantenido = 1. Se aprecia que
todava depende de de forma continua y montona. Sin embargo, la Figura 8
muestra que L ya no es montona en . Existe un valor mximo L = M (l) que
69
71
72
6.
Bibliografa
Referencias
theory of ode boundary value problems: classical and recent results, Nonlinear Analysis and Boundary Value Problems for
ODES CISM Courses and Lectures, 371, Springer (1997).
[7] M.C. Mariani, P. Amster and C. Rogers, Dirichlet and periodictype boundary value problems for Painlev II,J. Math. Anal.
Appl, 265, 1-11 (2002).
[8] C.Rogers, A.Bassom and W.K.Schief, On a Painlev II model in
steady electrolysis: application of a Backlund transformation, J.
Math. Anal. Appl, 240, 367-381 (1999)
[9] P.Amster, M.K.Kwong, C.Rogers, A Neumann Boundary Value
Problem in Two-Ion Electro-diusion with Unequal Valencies,
Discrete and Continuous Dynamical Systems, Series B Vol. 17
No 7 (2012), 2299-2311.
[10] F.Borgnis, Z.Physik, 100-117; 478 (1936).
[11] H.Y.Fan, Physical Review; 74; 1505 (1948).
73
74