Está en la página 1de 78

UNIVERSIDAD DE BUENOS AIRES

Facultad de Ciencias Exactas y Naturales


Departamento de Matemtica

Tesis de Licenciatura

Mtodo de Disparo aplicado a un Problema con


condiciones de Neumann

Jorge Ri

Director: Dr. Pablo Amster

Marzo 2013

ndice

1. Introduccin

2. El proceso de electrodifusin

2.1. Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

2.2. Una familia de ecuaciones diferenciales surgida de la electrodifusin multiinica. . . . . . . . . . . . . . . . . . . . . . . . . . . . .

2.2.1. Descripcin del proceso . . . . . . . . . . . . . . . . . . . .

2.2.2. Forma adimensional . . . . . . . . . . . . . . . . . . . . .

2.2.3. Los casos de una y dos cargas . . . . . . . . . . . . . . . .

2.2.4. Generalizacin a un sistema de iones . . . . . . . . . . . .

2.3. Existencia para problemas de valores de contorno en electrodifusin de dos iones . . . . . . . . . . . . . . . . . . . . . . . . . . .

2.3.1. El problema de valores de borde . . . . . . . . . . . . . . .

2.3.2. Existencia de soluciones . . . . . . . . . . . . . . . . . . . 14


2.3.3. Soluciones por Shooting . . . . . . . . . . . . . . . . . . . 14
2.3.4. Iones de diferentes valencias . . . . . . . . . . . . . . . . . 15
2.4. Ecuaciones del problema con condiciones de Neumann de electrodifusin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
2.4.1. Ecuacin del modelo . . . . . . . . . . . . . . . . . . . . . 18

3. Mtodo de disparo

21

3.1. Problema unidimensional . . . . . . . . . . . . . . . . . . . . . . . 23


3.1.1. Ecuacin con condiciones Dirichlet homogneas . . . . . . 23
3.1.2. Ecuacin del pndulo . . . . . . . . . . . . . . . . . . . . . 24
3.1.3. Cotas a priori . . . . . . . . . . . . . . . . . . . . . . . . . 25

3.2. Problema bidimensional . . . . . . . . . . . . . . . . . . . . . . . 30


3.2.1. Extensin a un sistema de ecuaciones . . . . . . . . . . . . 31
3.2.2. Utilizando Anlisis Complejo . . . . . . . . . . . . . . . . 35

4. Aplicacin al problema con condiciones de


Neumann para un modelo de electrodifusin de dos iones
4.1. El caso + + = 0

38

. . . . . . . . . . . . . . . . . . . . . . . . . 38

4.1.1. Una reduccin a Painlev II . . . . . . . . . . . . . . . . . 39


4.1.2. Un Problema Equivalente . . . . . . . . . . . . . . . . . . 42
4.2. El caso + + 0 . . . . . . . . . . . . . . . . . . . . . . . . . . 56

5. Conclusiones y aspectos pendientes

68

6. Bibliografa

73

1.

Introduccin

El presente trabajo trata de un problema con condiciones de Neumann que tiene


la particularidad de poseer, en su ecuacin, los valores desconocidos de la funcin
en el borde. Ms precisamente, se tiene la ecuacin

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],

sujeta a las condiciones de contorno


y 0 (0) = y 0 (1) = 0,

donde + , Z, + < 0 y , , l y D son constantes.


Esta mencionada particularidad lleva a la imposibilidad de tratar este problema
con los mtodos habituales del anlisis y surge la necesidad de abordar su estudio
con otras herramientas. El mtodo propuesto a tal efecto en los trabajos [5] y
[9], con antecedentes en [2], es un Mtodo de Disparo o Shooting bidimensional.
El problema en cuestin surge de la teora de electrodifusin de iones a travs
de una barrera de material, con vastos antecedentes de estudio, y mltiples aplicaciones especialmente en el campo de la Biologa, con importantes implicancias
en fenmenos siolgicos, especialmente en el campo de la Neurologa.
Este trabajo de Licenciatura comienza con la descripcin del paper de H. R.
Leuchtag [1], en el cual se deduce la familia de ecuaciones diferenciales a la cual
pertenece la ecuacin diferencial arriba mencionada, a partir del sistema de ecuaciones de Nernst-Planck y la Ley de Gauss, que describe una mezcla arbitraria de
iones en estado estacionario. Contina con los trabajos de H. B. Thompson [2] y
[3], en los cuales se centra el estudio en la ecuacin para el caso de dos iones de la
misma valencia y se arriba a la prueba de la existencia de solucin estableciendo
una condicin para los parmetros fsicos involucrados, y culmina con los trabajos de P.Amster, M.K.Kwong y C.Rogers [5] y [9], en los que esta restriccin
es eliminada mediante la aplicacin del mencionado Shooting bidimensional con
un argumento de ndice topolgico, establecindose los resultados de existencia
de solucin para los casos de valencias iguales, en el primer trabajo, y para el
caso general de valencias distintas, en el segundo, en donde adems se deduce la
1

ecuacin del modelo.


Se presenta tambin aqu, una seccin dedicada a comentar dicho mtodo de disparo en una y dos dimensiones, que se usa en la prueba principal de la existencia,
con la nalidad de facilitar la comprensin del mismo aplicado a este novedoso
problema. Se muestran ejemplos del caso unidimensional, y luego su extensin
al caso bidimensional, el cual se trata, adems, con herramientas bsicas del
Anlisis Complejo, que es como se utiliza en las demostraciones.

2.

2.1.

El proceso de electrodifusin

Introduccin

El trabajo de H. R. Leuchtag [1] trata de la electrodifusin unidimensional en


rgimen estacionario sin restriccin en el nmero de iones presentes. Como all
se menciona, la teora de electrodifusin es una descripcin macroscpica del
transporte de partculas cargadas a travs de barreras de material, por una combinacin de ujos migratorios y difusin, que tiene su origen en la teora de la
juntura lquida de Nernst y Planck, la cual se convierte en la base de la teora de
la membrana de Bernstein de los potenciales nerviosos. Como mencionan los autores en [15], con sus estudios se inici la electrosiologa moderna. l determin
las bases electroqumicas de los fenmenos bioelctricos y desde sus trabajos se
ha reconocido el papel fundamental de la concentracin del potasio intracelular
en la generacin de los potenciales de reposo y de lesin en msculo y nervio.
Bernstein desarroll su teora para explicar los biopotenciales de membrana a
consecuencia de la hiptesis de du Bois-Reymond, quien haba postulado la existencia de partculas elctricas regularmente ordenadas a lo largo de la supercie
del msculo y del nervio. Lo hizo sobre la base de los trabajos de Ostwald y de
Nernst sobre la diferencia de potencial elctrico entre dos soluciones del mismo
electrolito a dos concentraciones diferentes, separadas por una membrana selectivamente permeable. El electrolito de mayor movilidad tender a avanzar ms
rpidamente que los dems. Crear pues un frente elctrico de su mismo signo,
maniesto como una diferencia de potencial elctrico entre las dos soluciones.
La diferencia de potencial generada se puede calcular mediante la ecuacin derivada por Nernst. Ha sido usada extensamente en la descripcin de membranas
biolgicas y las membranas articiales diseadas para modelarlas. Aplicaciones
en sistemas de materia condensada incluyen las corrientes limitadas de carga
espacial (Space Charge Limited Currents ) en dielctricos slidos. Frmulas vinculadas aparecen en el estudio de la inestabilidad de corrientes disipativas en la
fsica del plasma.
Se relata, en la referencia [1], la existencia de una familia de ecuaciones diferenciales no lineales que surgen de su formulacin y que describen regmenes
estacionarios de electrodifusin de arbitraria complejidad, siendo el orden de la
ecuacin igual al nmero de diferentes cargas presentes en el sistema.
Como se menciona en [2], en referencia a su trabajo de 1988 [3], el problema de
valores de contorno surge naturalmente del estudio de la conduccin nerviosa,
del cual el problema fsico es, bsicamente, el estudio de dos iones con la misma
valencia difundindose y migrando a travs de una juntura lquida tal como una
membrana. La juntura separa dos comparativamente grandes reservorios elc3

tricamente neutros cada uno de ellos compuesto de electrolitos que contienen


especies de iones tales como sodio y cloruro. Los depsitos son agitados para
mantener constantes las diferentes concentraciones de los iones de distintas especies que tienen, a su vez, distintas constantes de difusin. Como la constante
de difusin y el gradiente de concentracin determinan la velocidad de difusin
de una dada especie a travs de la juntura, aparece un campo elctrico E . Por
la Ley de Gauss, este campo elctrico vara en proporcin a las diferentes concentraciones locales de las especies de iones. El campo elctrico ejerce una fuerza
equilibrante sobre los iones. Para reservorios grandes, se alcanza un estado estacionario en el que macroscpicamente hay transferencia neta de masa pero no de
carga y por lo tanto no hay corriente elctrica a travs de la juntura. El nmero
de iones se conserva. Con dos especies de iones este modelo de estado estacionario da lugar a un sistema de ecuaciones diferenciales para las concentraciones
inicas y la intensidad del campo elctrico.
2.2.

Una familia de ecuaciones diferenciales surgida de la


electrodifusin multiinica.

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.

2.2.1. Descripcin del proceso


Como se cita en el mencionado trabajo, es conveniente dividir los iones presentes
en el sistema de difusin-arrastre, en clases de la misma carga qi . Las diferentes
especies pertenecientes a una dada clase de carga se indexan por j .
Las dos ecuaciones que describen el sistema de electrodifusin en estado estacionario son la ecuacin de Nernst-Planck
Jij = qi uij

dNij
+ uij qi2 ENij ,
dX

1im

(2.2.1)

la cual establece que la densidad de corriente Jij debida al in ij se compone


de un trmino debido a la difusin y otro debido a la migracin por efecto de
4

arrastre del campo elctrico E , y la Ley de Gauss


m ki
dE
4 X X
=
qi Nij .
dX
 i=1 j=1

(2.2.2)

En stas hemos llamado X a la coordenada normal al borde plano, Nij es la


densidad de iones ij (o sea, la cantidad de iones por unidad de volumen), uij
es la movilidad de los iones ij ,  es la constante dielctrica y la temperatura
expresada en unidades de energa (o sea, = kB T , donde kB es la constante de
Boltzmann, y T la temperatura absoluta medida en grados Kelvin). Estas tres
ltimas magnitudes se suponen constantes a lo largo de la membrana.
En rgimen estacionario, y en ausencia de fuentes o sumideros, se supone que las
densidades de corrientes Jij son tambin independientes de X .
Implcita en la ecuacin (2.2.1) est la ecuacin de Einstein Dij = uij , la cual
relaciona la movilidad uij con el coeciente de difusin Dij .
El nmero total de especies inicas es

m
P

ki (por cada carga qi hay ki especies

i=1

diferentes de iones con esa carga).


Las interacciones entre los iones de diferentes especies no est presente en la
ecuacin (2.2.1), pero surge del acoplamiento electrosttico, a travs de la ley de
Gauss.
En el estudio de las membranas, las cantidades de inters a observar en los datos
experimentales son la diferencia de potencial elctrico
ZL
V =

E dX,

(2.2.3)

donde L es el espesor de la membrana, y por otro lado, la corriente neta a travs


de la membrana (relacionada con la magnitud microscpica J ).
En este estudio se muestra que el sistema de m ecuaciones diferenciales acopladas
de (2.2.1), ms la ecuacin (2.2.2) se pueden reducir a una ecuacin diferencial
simple de orden m dependiente de la variable E . Las ecuaciones (2.2.1) y (2.2.2)
constituyen un sistema no lineal, as que las soluciones no estn sujetas a superposicin ni a multiplicacin por una constante. Sin embargo, para un arbitrario
6= 0, si se dene la transformacin T por
X 1 X
V V
E E
N 2 N
J 3 J

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 .

2.2.2. Forma adimensional


Las ecuaciones (2.2.1) y (2.2.2) se pueden escribir, de manera equivalente, en
forma adimensional, suprimiendo simultneamente el subndice j (lo cual muestra
que el comportamiento del sistema reeja las clases de cargas presentes ms que
las especies de iones diferentes, aunque esto debe ser justicado en las condiciones
de borde). En efecto, si q0 es el quantum de carga elctrica (q0 = 1,6 1019 C ),
entonces i = qi /q0 es la valencia con signo del in (siendo qi 6= qk y por lo tanto
i 6= k , si i 6= k ). Para una unidad de densidad de iones arbitraria N0 , se dene
la Longitud de Debye , como
s
=

Sean ahora,


.
4q02 N0

ki
1 X
ni =
Nij ,
N0 j=1

es decir, se suman las densidades de concentraciones de las distintas especies de


iones de carga qi (de las que hay ki ) y se obtiene una cantidad relativa de iones
de carga qi respecto de la unidad de densidad N0 .
Y sean
k

i
X
Jij
ci =
,
N0 qi j=1 uij

q0
E,
 
X
x=
+ x1 ,

p=

(2.2.4)

donde x1 es una constante a denir.


En estas unidades adimensionales, las ecuaciones (2.2.1) y (2.2.2) se vuelven
dni
= i pni ci ,
dx
m
dp X
=
i ni .
dx
i=1

1im

(2.2.5)

2.2.3. Los casos de una y dos cargas


El caso de un solo ion fue resuelto por F. Borgnis en 1936, en [10], y H. Y. Fan
en [11], introdujo la ms conveniente forma de funcin de Airy de la solucin en
1948. H. R. Leuchtag y J. C. Swihart en [12] sealaron que la solucin para un
nico ion se puede generalizar al caso de los iones de una sola carga, llamado
el caso homovalente. Las densidades de iones individuales puede ser recuperadas
mediante el uso de una frmula obtenida por R. Schlogl en [13].
Con m = 1, las ecuaciones (2.2.5) se vuelven
n0 = pn c,
p0 = n,

(2.2.6)

donde los apstrofos denotan las derivadas respecto de x. Despejando n de la


segunda y reemplazando en la primera da n0 = pp0 c, e integrando se tiene
1
n = p2 cx,
2

(2.2.7)

en donde se ha usado la constante x1 de la ltima ecuacin de las (2.2.4) para


absorber la constante de integracin. Luego, la ecuacin diferencial equivalente
al sistema de ecuaciones de (2.2.6) nos queda
1
p0 = p2 cx.
2

(2.2.8)

Esta ecuacin es el primer miembro de la familia de ecuaciones diferenciales que


se describe en este trabajo citado ([1]), donde se omite la reconversin a variables
fsicas.
Para un sistema que contiene iones de dos diferentes valencias, m = 2, y las
ecuaciones (2.2.5) se vuelven
(2.2.9)
(2.2.10)
(2.2.11)

n01 = 1 pn1 c1 ,
n02 = 2 pn2 c2 ,
p0 = 1 n1 + 2 n2 .

Sumando las ecuaciones (2.2.9) y (2.2.10), obtenemos


n01 + n02 = (1 n1 + 2 n2 )p (c1 + c2 ),

con lo que tenemos que


1
1 n1 + 2 n2 = (n01 + n02 + c),
p

donde c = c1 + c2 .

Reemplazando en la ecuacin (2.2.11), multiplicando por p, tenemos


p0 p = n01 + n02 + c

la cual, integrando nos da


1 2
p = n1 + n2 + cx,
2

(2.2.12)

con lo cual, despejando n2 y sustituyndola en (2.2.11), nos da


1
p0 = 2 p2 + (1 2 )n1 2 cx
2

De esta ltima ecuacin, obtenemos, por un lado,


n1 =

p0 21 2 p2 + 2 cx
1 2

(2.2.13)

y por otro lado, derivndola,


p00 = 2 pp0 + (1 2 )n01 2 c

(2.2.14)

Reemplazando ahora el valor de n1 , obtenido en la ecuacin (2.2.13), en la ecuacin (2.2.9), tenemos


n01 =

1 pp0 21 1 2 p3 + 1 2 cxp
,
1 2

la cual, reemplazada en la ecuacin (2.2.14), nos da la deseada ecuacin diferencial en p,


1
p00 (1 + 2 )pp0 + 1 2 p3 1 2 cxp + 1 c1 + 2 c2 = 0
2

(2.2.15)

Este es el segundo miembro de la familia de ecuaciones diferenciales , la cual fue


derivada por L. J. Bruner en 1965 para un in positivo y otro negativo. Con
iones de iguales cargas y signos opuestos, el segundo trmino, que contiene a
1 + 2 , se anula, versin que (para 1) fue obtenida por L. Bass en 1964 y por
H. Cohen y L. W. Cooley en 1965.

2.2.4. Generalizacin a un sistema de iones


El procedimiento para un sistema de iones con un nmero arbitrario de cargas
diferentes es una generalizacin directa de estos casos especiales, como puede
verse en [1], donde se observa que la complejidad del comportamiento del sistema
en rgimen estacionario depende de este nmero de distintas cargas. El sistema
de ecuaciones (2.2.1) y (2.2.2), para m cargas, se describe por una ecuacin
diferencial de orden m, deducida en [1], donde adems se muestran la tercera y
cuarta ecuaciones de la familia.
8

2.3.

Existencia para problemas de valores de contorno en


electrodifusin de dos iones

En el trabajo de H. B. Thompson [2], que en esta parte de esta seccin se analiza,


que extiende y unica el anterior propio del ao 1988 [3], se considera el problema
de valores de borde

 
y 2 (0) y 2 (x)
y 2 (0) y 2 (1)
y (x) = y(x)
+ l +
x
2
2


y 2 (0) y 2 (1)
D,
x [0, 1],
l +
2
00

y 0 (0) = 0,

y 0 (1) = 0.

(2.3.1)
(2.3.2)

el cual surge cuando dos iones de la misma valencia migran y se difunden a


travs de una juntura lquida bajo la inuencia de un campo elctrico E . Aqu
y es proporcional al campo elctrico E y, despus de reescalar, la juntura ocupa
la regin 0 x 1. Los parmetros l, y D, son funciones de las constantes
fsicas del problema, siendo el rango de inters fsico l, > 0 y 1 < D < 1.

2.3.1. El problema de valores de borde


Como se menciona en [2], en el trabajo anterior [3], se muestra que si y es solucin
para los parmetros l, D, , entonces y lo es para parmetros l, D, . Luego,
aqu se considera el caso l, , D > 0. Para este caso, se prob que si existe una
constante positiva m que cumple
m(

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)

0 < y(1) y(0) (1 + l)y(1).


Dem.Teorema 2.3.1

Si llamamos

= l +

y02 y12
2

h(x, y) =

y02 y 2
+ x,
2

reemplazando en (2.3.1), tenemos que


y 00 = yh(x, y) D,
y 00 (0) =
y0 D,
00
y (1) = y1 (1 + l) D

llamando y0 a y(0), y1 a y(1), y usando que h(0, y0 ) = y h(1, y1 ) = (1 + l).


Sea y una solucin. Como y0 (0) = 0 = y0 (1), si y tiene un mximo local en t y
un mnimo local en u,
y 0 (t) = 0

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.

Por lo tanto, se tiene que


0 y 00 (u) = y(u)h(u, y(u)) D < y0 D < 0,

10

una contradiccin.
Supongamos entonces que 0. Entonces es
y02 y12
y02 y12
0 =
l < 0 = y02 < y12 ,
l +
2
2

luego, dado que y es negativa,


y1 < y0 0.

(2.3.5)

Como y alcanza un mximo en t, se tiene que y00 (t) 0, y como 0 y(t) y0 ,


se tiene que h(t, y(t)) h(0, y0 ) = , as que
y0 D y(t)h(t, y(t)) D = y 00 (t) 0.

Entonces,
y0 D.

(2.3.6)

Ahora, y tiene su mnimo en u, con y(u) y1 0, con y00 (u) 0.


Como 0 y1 y(u), h(u, y(u)) h(1, y1 ) = (1 + l) D., entonces
y1 (1 + l) D y0 ,

y entonces de (2.3.6), se tiene que


0 y1 (1 + l) y0 ,

en contradiccin con (2.3.5).


Luego, no existen soluciones negativas. Por lo tanto, podemos tener o bien soluciones positivas, o bien soluciones que inicialmente lo son y que luego se vuelven
negativas.
Para demostrar la segunda parte del teorema, supongamos entonces que tenemos
una solucin y 0, y, nuevamente, supongamos primero que 0. Entonces,
0 y0 y1 , y consideremos una vez ms que y tiene un mximo en t. Entonces,
y 00 (t) 0, y y(t) y1 . Luego, h(t, y(t)) h(1, y1 ) = (1 + l) > 0 (dado que
ahora h
= 2y 0), y por lo tanto,
y
0 y(t)h(t, y(t)) D y1 (1 + l) D.

Similarmente, consideramos un mnimo de y en u, con 0 y(u) y0 y y00 (u)


0. Entonces ac tenemos que h(u, y(u)) h(0, y0 ) = , as que
0 y(u)h(u, y(u)) D y0 D,

11

y por lo tanto,
y0 y1 (1 + l) 0,

en contradiccin con lo supuesto.


As, arribamos a que > 0 y seguidamente mostremos que la solucin es estrictamente decreciente.
Supongamos que no lo es. Entonces y tiene un mnimo local en u y un mximo
local en t, con t > u, y(t) y(u) 0, y con y00 (u) = y(u)h(u, y(u)) D 0
y 00 (t). Entonces, h(t, y(t)) > h(u, y(u)) 0, as que
0 y(t)h(t, y(t)) D > y(u)h(u, y(u)) D 0,

una contradiccin.
Por lo tanto, y es estrictamente decreciente.
Para mostrar que

es suciente mostrar que


y(0) y(1)(1 + l), dado que y es estrictamente decreciente.
Como y tiene su mximo en 0 y su mnimo en 1,
0 < y(1) y(0) (1 + l)y(1),

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]:

Teorema 2.3.2 Si m es una solucin positiva de


m2
m l +
2


1
1
(1 + l)2


D 0,

(2.3.7)

entonces el problema (2.3.1)-(2.3.2) tiene una solucin estrictamente decreciente


satisfaciendo 0 y m y (2.3.4).

Nota. Observamos que (2.3.7) se cumple si y slo si



2l 1

1
(1 + l)2

D2 .

(2.3.8)

En efecto, escribiendo la desigualdad (2.3.7) en la forma am2 +bm+c 0, donde


12

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

los cuales existirn si el radicando es no negativo, es decir


2

2lD

1
1
(1 + l)2


,

lo que equivale, dado que > 0, a la ecuacin (2.3.8).

Observacin. Las soluciones positivas m de (2.3.7), satisfacen m m m+ ,

donde

m =

q
2l(1
(1

1
)D2
(1+l)2

1
)D
(1+l)2

y las soluciones positivas y , obtenidas en el teorema 2.3.2 anterior, satisfacen que


0 < y < m , lo cual puede verse con un argumento de contradiccin, utilizando

la demostracin del teorema 2.3.1. Si adems se hace la suposicin adicional


citada: m(1 + l/2) lD > 0, se puede usar la teora de grado para probar
existencia de soluciones. Tambin la demostracin del teorema 2.3.1 se utiliza
en la inmediata demostracin del siguiente lema, que se usa en el resultado de
la existencia usando el mtodo de disparo (shooting ), obtenido en el trabajo
precedente [3], que establece que, para determinados valores de los parmetros,
las soluciones no cambian de signo.

Lema 2.3.1 Sea D = 0, y l, 0. Entonces y 0 es la nica solucin del


problema dado por (2.3.1) - (2.3.2). Si D, > 0 y l = 0, entonces y 0 es
la nica solucin. Si = 0, y l, D 0, entonces las nicas soluciones son las
constantes.
13

En este trabajo se muestra que las soluciones obtenidas en el trabajo anterior


por mtodo de disparo y el teorema de la funcin implcita, son positivas para l
o D pequeos, con , l y D > 0.
Los resultados de existencia mejorados derivan de mejores cotas a priori establecidas por el principio del mximo, el uso de super y sub soluciones, y el uso
de la teora de grado de Leray-Schauder, en un dominio en un espacio diferente,
que permite una mayor independencia y control en el borde del dominio, sobre
los valores de una solucin en comparacin con sus valores de borde.
Aunque no se tienen aqu resultados de existencia para soluciones que cambian
de signo, se puede demostrar que, si existen, estn acotadas en trmino de sus
valores de borde, en particular, si > 0, entonces y(0) > 0, y la solucin y est
acotada en trminos de y(0), y si 0, entonces y(1) 0, y la solucin est
acotada en trminos de y(1). Tambin se puede mostrar que si existen soluciones
positivas grandes, son asintticamente lineales, lo cual se puede usar para mostrar
que no hay soluciones positivas grandes en al menos casos muy especiales. Usando
el principio del mximo, es posible mostrar que si soluciones de este tipo existen,
tienen la forma asinttica
y = y0 (1 x) + y1 x +

c(x, y)
,
y0 + y1

donde c(x, y) est acotada independientemente de x y y .

2.3.2. Existencia de soluciones


Para establecer la existencia se usa el grado de Leray-Schauder el cual se calcula
usando homotopas. As se integra el problema a una familia paramtrica de
problemas para los cuales se necesita una cota a priori, y para los que hay
que poder calcular el grado para un valor del parmetro. Para llevar a cabo
esto se modica la ecuacin diferencial para valores de y, y0 , y y1 fuera de una
cierta regin y se construye la familia paramtrica de la ecuacin modicada y
las condiciones de frontera. Por la teora de grado de Leray-Schauder, hay una
solucin de la ecuacin diferencial modicada y se muestra que esta solucin se
encuentra en la regin donde la ecuacin no fue modicada.

2.3.3. Soluciones por Shooting


Se tratan en [2] los siguientes resultados de existencia, obtenidos en [3] por shooting, y sus relaciones con el teorema 2.3.2.
14

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 .

Integrando las ecuaciones de estado estacionario para la conservacin de los iones


se obtienen las ecuaciones de Nernst-Planck
n0 = pn c
n0+ = + pn+ c+

(2.3.9)
(2.3.10)

y las corrientes inducidas por los iones estn dadas por


J =

q0 N0
D c .

La ecuacin de Gauss tiene la forma


p0 = + n+ + n .

(2.3.11)

Sumando las ecuaciones (2.3.9) y (2.3.10), usando (2.3.11) para sustituir a


p(+ n+ + n ), e integrando, se obtiene, poniendo c = c+ + c ,
n+ + n n(0) =

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)

Diferenciando, usando la ecuacin (2.3.9) para sustituir por n0 , y la (2.3.13) para


sustituir por n , se tiene
p00 = (+ + )pp0
 


(2.3.14)
D+ D
p2 p2 (0)
+ p n(0) +
ct +
c ,
2
+ D+ D

ecuacin equivalente a la (21) de [1], tratada en la subseccin anterior como


ecuacin (2.2.15), el segundo miembro de la familia de ecuaciones diferenciales
all tratada.
Usando el hecho de que no hay corriente neta a travs de la juntura se obtiene que
D c + + D+ c+ = 0. Resolviendo (2.3.12) para c, cuando t = y notando
que la agitacin de los reservorios resulta en n+ y n constantes en 0 y , se
16

elimina c de (2.3.14). Tambin la neutralidad elctrica en el reservorio junto con


la ecuacin (2.3.11) da que p0 (0) = 0 = p0 ().
Poniendo x = t, y
D=

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

Nota. Observamos que + < 0, y para el caso n(1) > n(0) y + + = 0 se


obtiene la ecuacin (2.3.1).
2.4.

Ecuaciones del problema con condiciones de Neumann


de electrodifusin

Consideramos aqu el trabajo realizado en [9], en donde, como comentamos en


la introduccin, se deduce la ecuacin diferencial objeto de anlisis, basado en
la deduccin anterior de [2]. Aqu se investiga el problema con condiciones de
Neumann en el caso general en el que + + 6= 0, novedoso en que, como
mencionramos en la introduccin, la ecuacin del modelo para el campo elctrico
contiene los valores de borde de la solucin an no determinada. Tambin all
en la referencia, se obtiene una reduccin del problema en trminos de funciones
elpticas para relaciones privilegiadas de las valencias.

17

2.4.1. Ecuacin del modelo


Se retoma el anlisis de Thompson [2], restringido al caso de dos iones, utilizndose la misma notacin, con un tratamiento ligeramente diferente, en donde
n0+ = + n+ p c+ ,
n0 = n p c ,
p0 = + n+ + n .

(2.4.1)
(2.4.2)
(2.4.3)

Procediendo como en [2], sumando (2.4.1) y (2.4.2), usando la (2.4.3) e integrando, da


n+ + n =

p2
cx k,
2

(2.4.4)

donde c = c+ + c y k es una arbitraria constante de integracin.


Eliminando n+ entre las ecuaciones (2.4.3) y (2.4.4), se tiene
p0 = n ( + ) + +

p2
c+ x + k
2

de donde, derivando respecto de x,


p00 = ( + )( n p c ) + + pp0 c+


p2
0
= p p + + c+ x + k+ c [ + ] + + pp0 c+
2

as que
p00 = (+ + )pp0

 
+
p3 + (cx + k)+ p (+ c+ + c ).
2

(2.4.5)

La condicin considerada en [2], de que no hay corriente neta a travs de la


juntura, da
+ d+ c+ + D c = 0,
(2.4.6)
donde, como vimos, D = u kT , as que
+ u+ c+ + u c = 0

(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

y entonces (2.4.5) se vuelve


00

p (+ + )pp + +


p3
(D+ D )c+
(cx + k)p +
= 0. (2.4.10)
2
+ D+ d

Si la juntura tiene bordes x = 0 y x = , entonces, reescalando con


x = x ,

y
p=
,
+

(2.4.11)

la ecuacin (2.4.10) nos da


00

y =

+ +

y3
yy +
+ 2 + (cx + k)y c 3 D+
2
0

(2.4.12)

donde el apstrofo denota la derivada con respecto a x , y donde

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)

Se observa que las ecuaciones (2.4.10) y (2.4.12) incorporan a travs de c y k los


valores de borde n(0) = n+ (0) + n (0), n(1) = n+ (1) + n (1), junto con y(0) y
y(1). Est previsto que las concentraciones de la interfase n+ (0), n (0), n+ (1), n (1),
sean conocidas. Sin embargo, los trminos de borde y(0) y y(1) que permanecen
en la ecuacin, dependen de la solucin todava no determinada.
Utilizando las ecuaciones (2.4.13) y (2.4.14) en (2.4.12), nos da




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

+ + n(0) y + (n(0) n(1)) + (y (0) y (1)) D,


2
2
00

y poniendo = 2 + n(0) y l = [n(1) n(0)]/n(0), se tiene


19

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)

La participacin de los trminos de borde y(0) y y(1) en (2.4.16) representa un


impedimento extraordinario para su anlisis y motiva la adopcin de mtodos no
tradicionales para lograrlo. En la seccin 3 de [9], se aplica un mtodo exacto de
shooting a esta ecuacin (2.4.16), con condiciones de Neumann, que reproducimos
en la seccin 4, para el caso de + + 0, luego de considerar el caso + + = 0,
tratado en [5], con anterioridad, y que resulta contenido en aquel.

20

z(x)
1

x
1

Figura 1: Una solucin con cada


3.

Mtodo de disparo

Sintticamente, el Mtodo de Disparo o Shooting aplicado a un problema de


valores de contorno dado, consiste en solucionar primeramente un problema de
valores iniciales con un parmetro libre y luego tratar de hallar un valor apropiado de este tal que la solucin obtenida satisfaga la deseada condicin de
borde del problema original en cuestin.
Ms precisamente hablando, tenemos, en general, un problema de valores de
contorno de orden n:
dn y
=f
dxn



dy d2 y
dn1 y
x, y, , 2 , ..., n1 ,
dx dx
dx

con x [a, b],

con r condiciones de contorno en x = a


y(a) = A1 ,

dy
d2 y
dr1 y
(a) = A2 ,
(a)
=
A
,
...
,
(a) = Ar ,
3
dx
dx2
dxr1

21

y con s condiciones de contorno en x = b


y(b) = B1 ,

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

= f x, y, , 2 , ..., n1 , con x [a, b],

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

d y (a) = 1 , d y (a) = 2 , d y (a) = 3 , .. , d y (a) = s ,


dxr
dxr+1
dxr+2
dxn1

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)

que transformamos en el problema de valores iniciales




2
dy
dy

= f x, y,
,

dx
dx2
y(0) = A,

dy (0) = .
dx

con x [0, ],

El mtodo de disparo consiste en determinar la condicin inicial para que se


veriquen las condiciones de contorno del problema original (3.0.2).
Esta tarea requiere algn anlisis cualitativo. En algunos casos, se recurre a
mtodos numricos para evaluar cada solucin obtenida correspondiente a cada
22

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

Consideremos los siguientes problemas en una dimensin, tomados de [4], a modo


de ejemplos.

3.1.1. Ecuacin con condiciones Dirichlet homogneas


Consideremos la siguiente ecuacin de segundo orden
u00 (t) = f (t, u(t)),

(3.1.1)

u(0) = u(1) = 0.

(3.1.2)

con las condiciones Dirichlet

La idea del mtodo de disparo es la siguiente: para un R, resolvemos la


ecuacin (3.1.1), con las condiciones iniciales
u0 (0) = .

u(0) = 0,

(3.1.3)

Es decir, resolvemos el siguiente problema de valores iniciales:


00

u (t) = f (t, u(t))


u(0) = 0

u0 (0) =

Si f satisface los requisitos estndar de la teora de problemas de valores iniciales,


esto es, continua y localmente Lipschitz en u, entonces la solucin u est bien
denida y es nica. Luego, es suciente hallar algn valor del parmetro de
23

disparo tal que u (1) = 0.


En forma equivalente, buscamos un cero de la funcin , denida por
() := u (1).

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,

para algunas constantes a y b.


En particular, si f es acotada, el mtodo de disparo funciona muy bien como se
muestra en el siguiente ejemplo.

3.1.2. Ecuacin del pndulo


Se examina la bien conocida ecuacin del pndulo ideal, en rgimen forzado por
una perturbacin p :
u00 (t) + senu(t) = p(t),

t (0, 1).

en donde consideramos que la fuerza p : [0, 1] R, es continua.


Esta ecuacin es muy famosa y ha sido el tema de muchas obras importantes y,
adems, hay problemas todava abiertos interesantes referidos a las condiciones
peridicas. Sin embargo, la situacin es completamente diferente cuando se trata
de las condiciones de Dirichlet (3.1.2). La existencia de soluciones puede ser
fcilmente comprobada por el mtodo de disparo:
consideramos las condiciones iniciales (3.1.3)
u0 (0) = .

u(0) = 0,

24

Si u es la nica solucin satisfaciendo estas condiciones, entonces, integrando se


tiene
u0 (t)

Zt

[p(s) senu (s)]ds

=+
0

y poniendo,

R :=

R1

|p(t)|dt + 1, se deduce que u es montona para || R.

Ms precisamente,
R
u0 (t) 0, para todo t
R u0 (t) 0, para todo t.

En particular, dado que u0R (t) 0, entonces uR es no decreciente, y dado que


u0R (t) 0, uR es no creciente . Como u (0) = 0, para todo , implica que
(R) 0 (R).

Entonces, por el teorema de Bolzano, se anula en [R, R].


Evidentemente el mismo procedimiento se puede aplicar a ecuaciones ms generales del tipo de la (3.1.1), para f arbitraria acotada. Pero esta condicin de
ser acotada es muy restrictiva. Desearamos demostrar que el mtodo de disparo
puede ser aplicado a situaciones ms generales, en las cuales no se exija esta
restriccin para la funcin f .

3.1.3. Cotas a priori


Del ejemplo anterior se puede inferir que el xito del mtodo de disparo en la
prueba de existencia de soluciones, depende fuertemente del conocimiento de
algunas propiedades del ujo asociado a la ecuacin diferencial. Por lo menos
necesitamos estar seguros de que las soluciones del problema de valores iniciales, para un apropiado conjunto de parmetros, estn denidas hasta el n del
intervalo. Como se menciona ms arriba, de los resultados estndar de la teora
de ecuaciones diferenciales ordinarias, esto est garantizado para todo , cuando la no linealidad tiene crecimiento, como mximo, lineal. Sin embargo, hay
una cantidad de casos en los que esta restriccin no se cumple, y el mtodo de
disparo es todava aplicable en la determinacin de la existencia de soluciones.
En algunos casos, puede ser de mucha ayuda contar con cotas preestablecidas, o
cotas a priori, de las soluciones.
La idea esencial es la siguiente: si se sabe de antemano que las soluciones de
25

un cierto problema estn acotadas por alguna constante R, entonces se puede


reemplazar la funcin no lineal f por por otra funcin acotada, digamos f, tal
que f(t, u) = f (t, u), para |u| R. Obviamente, esto se debe hacer de tal modo
que las soluciones del problema modicado, u00 = f(t, u), sean tambin acotadas
por R, de modo que ellas tambin sean soluciones del problema original (3.1.1).
En los siguientes ejemplos, se aplica esta metodologa, que extiende la utilidad
del shooting, a ms casos.

Ejemplo 3.1 Sea f : [0, 1] R R, continua y localmente Lipschitz en su

segunda variable y supongamos que existe una constante R > 0, que cumple la
siguiente condicin
f (t, R) < 0 < f (t, R)

para todo t [0, 1].

(3.1.4)

llamada condicin de Hartman.


Entonces el problema Dirichlet (3.1.1)-(3.1.2) tiene al menos una solucin u, que
cumple que k u k R.
Para verlo, se dene

f (t, u)

f (t, u) := f (t, R)

f (t, R)

si |u| R
si u > R
si u < R.

Esta funcin as denida, f, mantiene las propiedades de f de continuidad y es


tambin localmente Lipschitz en u, pero adems es acotada. Luego, el mtodo
de disparo provee de una solucin u del problema
(

u00 (t) = f(t, u)


u(0) = u(1) = 0.

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.

Ejemplo 3.2 Sea f : [0, 1] R R, continua y localmente Lipschitz en su

segunda variable y supongamos que f es no decreciente con respecto a u, a saber


f (t, u) f (t, v),

para todo t [0, 1],

u, v R, u v.

Entonces el problema Dirichlet (3.1.1)-(3.1.2), tiene una nica solucin.


Es digno de observarse una notable novedad con respecto a los ejemplos anteriores: la solucin es nica, lo cual nos permite comprender el papel de la monotona
en la obtencin de unicidad. Para ello, notemos que si u y v son soluciones del
problema, entonces la funcin w := u v satisface
w00 (t) = u00 (t) v 00 (t) = f (t, u) f (t, v),

y entonces
w00 (t)w(t) = [f (t, u) f (t, v)](u(t) v(t)) 0,

(3.1.5)

dado que si u v entonces f (t, u) f (t, v), y viceversa, por la monotona, y se


tiene que los dos factores de la desigualdad anterior son ambos no negativos o
bien no positivos simultneamente. Adems, integrando la (3.1.5) por partes, se
tiene
Z1

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

w02 (t)dt = 0, y entonces w0 0, lo que a su vez nos dice que w 0 y por

lo tanto se obtiene la deseada condicin de unicidad: u v .


Resta entonces probar la existencia de solucin del problema. Al respecto podemos mencionar que este es un caso particular de una clase bastante general de
27

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),

y, como u(0) = 0, tenemos que


u00 (t)u(t) = [f (t, u(t)) f (t, 0)]u(t) + f (t, 0)u(t) f (t, 0)u(t),

(3.1.6)

donde nuevamente usamos la monotona de f respecto de u, dado que si u(t)


0 = u(0) = f (t, u(t)) f (t, 0) y si u(t) 0 = u(0) = f (t, u(t)) f (t, 0),
con lo que [f (t, u(t)) f (t, 0)](u(t) 0) 0.
Como, integrando por partes, tenemos que
Z1

u00 (t)u(t)dt = u(t)u0 (t)|10

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)

Por otra parte, podemos escribir


t

Z
Zt
Z1


|u(t)| = u0 (s)ds |u0 (s)|ds |u0 (s)|ds,


0

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

Luego, combinando esta ltima desigualdad con la (3.1.7), tenemos que


Z1
k u k

|f (t, 0)|dt := R.
0

Si ponemos ahora f exactamente como en el ejemplo anterior, entonces el problema modicado


(
u00 (t) = f(t, u)
u(0) = u(1) = 0.

tiene una solucin u. La cota R fue obtenida usando slo la monotona de f .


Como f es tambin no decreciente en su segunda variable y es f(t, 0) = f (t, 0),
deducimos que k u k est acotada por la misma R, y entonces es una solucin
del problema original.

Ejemplo 3.3 Sea f : [0, 1] R R, continua y localmente Lipschitz en su


segunda variable y supongamos que f tiene crecimiento lineal en u, esto es
|f (t, u)| c|u| + d,

para algunas constantes c, d 0.


Si c < 1, entonces el problema con condiciones Dirichlet (3.1.1)-(3.1.2) tiene una
solucin.
Siguiendo la misma idea, buscamos una cota a priori para la f . Procedemos,
buscando una cota para una solucin, nuevamente multiplicando la ecuacin
diferencial (3.1.1) por u e integrando. Obtenemos
Z1

u00 (t)u(t)dt = u(t)u0 (t)|10

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

Luego, otra vez tomando el mximo como en la cuenta anterior, llegamos a


k u k2 c k u k2 +d k u k

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

[u00 (t) + 2 u(t)]sen(t)dt = 0,

lo cual es absurdo.
3.2.

Problema bidimensional

Consideramos ahora, siguiendo a [4], la extensin del mtodo a un problema de


mayores dimensiones que uno, en particular, a dos dimensiones. El objetivo consiste en resolver, en lugar de una ecuacin escalar, un sistema de dos ecuaciones.
Esto es, se considera una ecuacin diferencial como la (3.1.1), pero ahora con,
por ejemplo, f : [0, 1] R2 R2 , y se busca una solucin u : [0, 1] R2 , que
satisfaga las condiciones de Dirichlet (3.1.2).
Como se menciona en la referencia, los resultados del caso de dos dimensiones
30

pueden ser extendidos a ms dimensiones ya que aquel contiene los elementos


principales del anlisis, como el argumento que utiliza la generalizacin del Teorema de Bolzano, a la vez que permite mayor simplicidad en el mismo, usando
slo el Teorema de Green, generalizndose luego a mayores dimensiones que dos.
Por otra parte, es como ser utilizado en el presente trabajo. Tambin en funcin
de su utilizacin, consideraremos ms detenidamente el empleo de los elementos
bsicos del anlisis complejo del ndice de una curva cerrada y su invariancia por
homotopas.

3.2.1. Extensin a un sistema de ecuaciones


Anlogamente al caso escalar, sea ahora f : [0, 1] R2 R2 , continua y
localmente Lipschitz en u, y denamos para R2 , u (t) R2 como la nica
solucin del problema de valores iniciales (3.1.1)-(3.1.3)
(

u00 (t) = f (t, u)


u(0) = (0, 0), u0 (0) = .

Entonces, como antes,


u0 (t) = +

Zt
f (s, u(s))ds,
0

e integrando nuevamente,
Zt
u (t) = t +

f (s, u(s))ds d.

Z
0

Si u est denida hasta t = 1, podemos una vez ms denir


() := u (1),

y por lo tanto,
() = + S,

donde las sumas anteriores se realizan en R2 , cumplindose que k S kk f k .


En este contexto, no podemos aplicar el teorema de Bolzano tal y como se realiz
en los ejemplos en R, dado que estamos tratando con un problema en R2 . Por lo
tanto, para probar la existencia de un cero de la funcin R2 no aparece el
31

camino seguido antes como obvio.


El procedimiento, que se sigue en [4], para tal n, comienza considerando el
siguiente argumento: en primer lugar, es claro que si R >k f k , entonces
k () k< R, para todo .
Entonces,

k k2 2().+ k () k2 < R2

y, en particular, cuando k k= R, se deduce que


(). >

1
k () k2 0 = (). > 0.
2

Recordando que (). =k () k . k k cos, donde es el ngulo entre


() y , el clculo anterior implica que cuando k k= R, el cos > 0, siendo
entonces 2 2 , y por lo tanto el vector apunta hacia afuera de la bola
BR (0).
Se plantea la pregunta de si esta condicin es suciente para concluir que se
anula en BR (0). De suponer lo contrario, se deduce que para cada BR (0), el
vector L := + () interseca la circunferencia BR (0) en un nico valor de
= () 0. Ms precisamente, de la ecuacin
k + () k2 = R2 ,

desarrollando el cuadrado y hallando la raz positiva, se tiene que


() =

(). +

(().)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 tan suave como y tiene las dos propiedades siguientes:




1. r BR (0) BR (0)
2. BR (0) = 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.

Teorema 3.2.1 No existe una aplicacin C 2 , r : B1 (0) B1 (0), tal que


r|B1 (0) = id .
Como consecuencia de esta versin del teorema de la no retraccin se deduce, de
los clculos previos, que si es una aplicacin C 2 de la bola cerrada unitaria, que
apunta hacia afuera en el borde, es decir (x).x > 0 para x B1 (0), entonces
necesariamente se anula en el interior de la bola (Teorema 2.2 de [4]):

Teorema 3.2.2 Supongamos que : BR (0) R2 es una aplicacin C 2 y


satisface que (x).x > 0 para x B1 (0).
Entonces tiene un cero en B1 (0).
Adems, tambin se obtiene una versin C 2 del Teorema de Brouwer (Teorema
2.3 de [4]):

Teorema 3.2.3 Sea f : B1 (0) B1 (0) una aplicacin C 2 . Entonces f tiene al


menos un punto jo, o sea, existe x B1 (0) tal que f (x) = x.
Si f (x) = x para algn x B1 (0), se cumple. Entonces
supongamos que no. Luego denimos la aplicacin := x f (x). Por lo tanto,
para x B1 (0),
Dem.Teorema 3.2.1

(x).x =k x k2 f (x).x = 1 f (x).x > 0

puesto que f (x).x =k f (x) k . k x k cos(f\


(x), x) < 1, dado que f (x) 6= x. Por lo
tanto se anula en B1 (0). 
El tratamiento del tema en [4] ahora contina con el resultado siguiente (Teorema
2.4), que puede ser considerado como una generalizacin del teorema de Bolzano
para campos vectoriales en R2 , tambin conocido como el Teorema del valor
intermedio generalizado que en la referencia se prueba:

Teorema 3.2.4 (Poincar-Miranda, versin C 2 ) .


Sea f : [1, 1] [1, 1] R2 una aplicacin C 2 tal que
y

f1 (1, x2 ) < 0 < f1 (1, x2 )


f2 (x1 , 1) < 0 < f2 (x1 , 1)

x2 [1, 1]
x1 [1, 1],

Entonces existe x (1, 1) (1, 1) tal que f (x) = (0, 0).


33

(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]:

Teorema 3.2.5 No existe una aplicacin continua, r : B1 (0) B1 (0), tal


que r|B1 (0) = id .
Teorema 3.2.6 Supongamos que : B1 (0) R2 es una aplicacin continua
y satisface que (x).x > 0 para x B1 (0).
Entonces tiene un cero en B1 (0).
Teorema 3.2.7 (Teorema de Brouwer, versin continua ) .
Cualquier aplicacin continua f : B1 (0) B1 (0) tiene al menos un punto jo.
Teorema 3.2.8 (Teorema de Poincar-Miranda ) .
Sea f : [1, 1] [1, 1] R2 una aplicacin continua tal que
y

f1 (1, x2 ) < 0 < f1 (1, x2 )


f2 (x1 , 1) < 0 < f2 (x1 , 1)

x2 [1, 1]
x1 [1, 1],

(3.2.2)

Entonces existe x (1, 1) (1, 1) tal que f (x) = (0, 0).


Se observa adems en [4], la equivalencia de estos teoremas, pese al orden especco en el que fueron presentados, es decir, cualquiera de ellos se puede usar
para probar otro de ellos, y su validez en dimensiones mayores a dos. Adems,
cualquiera de ellos implica el Axioma de completitud de los nmeros reales.
En sntesis, contando con estos resultados, podemos contestar armativamente la
pregunta formulada al principio y conclur que efectivamente la funcin tiene
un cero en la bola BR (0), lo cual equivale a la existencia de solucin en todo el
intervalo [0, 1], extendiendo el mtodo utilizado para el caso de una dimensin
al caso de dos dimensiones.

34

3.2.2. Utilizando Anlisis Complejo


Comentamos aqu el tratamiento del caso de dos dimensiones mediante la utilizacin de herramientas del Anlisis Complejo.
Repasamos los siguientes conceptos bsicos muy difundidos.

ndice o Nmero de vueltas : sea : [, ] C \ {a}, una curva cerrada


continua, que no pasa por el punto a.
Se dene el ndice de la curva con respecto al punto a por la ecuacin
1
I(, a) =
2i

dz
,
za

tambin llamado Nmero de vueltas de con respecto al punto a.

Curvas homotpicas : interesa el comportamiento de un arco bajo deforma-

ciones continuas. Intuitivamente hablando, surge la pregunta de si es posible


deformarse de manera continua un arco 1 en otro arco 2 , teniendo ambos arcos
sus extremos comunes, estando ambos contenidos en una regin y mantenindose jos los extremos y los arcos intermedios dentro de . Dos tales arcos que
puedan deformarse uno en el otro se dicen homotpicos con respecto a , y esta es una clase de equivalencia. Este concepto fsico de deformacin tiene una
interpretacin casi inmediata en trminos matemticos:
se dice que dos arcos 1 y 2 , denidos por las ecuaciones z = z1 (t) y z = z2 (t)
sobre el mismo intervalo paramtrico t , son homotpicos en , si existe
una funcin continua h : [, ] [0, 1] , con las siguientes propiedades:
1) h(t, s) para todo (t, s) [, ] [0, 1],
2) h(t, 0) = z1 (t) y h(t, 1) = z2 (t), para todo t [, ],
3)h(, s) = z1 () = z2 () y h(, s) = z1 () = z2 (), para todo s [0, 1].
Se pueden efectuar con facilidad las demostraciones que muestran que la relacin
de homotopa, como est denida aqu, es una relacin de equivalencia, siendo
posible, por lo tanto, agrupar todos los arcos en clases de equivalencia llamadas
clases de homotopa. Los arcos en una clase de homotopa tienen extremos comunes y pueden deformarse unos en otros dentro de . Como se puede ver en [14],
si se trazan sucesivamente dos arcos 1 y 2 empezando 2 en el punto terminal
de 1 , forman un nuevo arco 12 (cuya parametrizacion no est determinada
de manera nica). Un razonamiento sencillo muestra que la clase de homotopa
35

de 12 depende slo de las clases de 1 y 2 , por lo cual se la puede considerar


como una multiplicacin de clases de homotopa, la que est denida nicamente cuando coinciden el punto inicial de 2 con el inicial de 1 . Limitandonos a
las clases de homotopa de curvas cerradas, el producto est siempre denido y
forman un grupo.

Invariancia del ndice por homotopas : si 1 , 2 : [, ] C \ {a} son

curvas cerradas, y h : [, ] [0, 1] C \ {a}, es continua y satisface que


h(t, 0) = 1 (t), h(t, 1) = 2 (t) para todo t [, ], y h(, s) = h(, s) para todo
s [0, 1], entonces
I(1 , a) = I(2 , a).

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.

Es suciente considerar la homotopa h(t, s) = f (s(t)).


En efecto, dado que h(t, 0) = f (0) y h(t, 1) = f ((t)), se tiene que f es
homotpica al punto f (0). Como I(f (0), 0) = 0, por la invariancia del ndice por
la homotopa se tiene el resultado.
Dem.Lema 3.2.1

Utilizacin en la prueba del resultado principal de la Seccin 4


Como consecuencia de este Lema 3.2.1, cuya validez se mantiene en un dominio
homeomorfo al disco, como el dominio que deniremos en el problema especco que se trata en el prximo captulo, si consideramos que I(f , 0) 6= 0,
entonces la funcin continua f debe anularse. En la prueba del resultado principal de la prxima seccin, basada en los trabajos [5] y [9], se prueba que el ndice
de la imagen por una transformacin continua T del borde de este adecuado
dominio respecto de un punto determinado, no se anula, con lo cual, el uso de
este Lema 3.2.1 permite obtener el resultado deseado.

36

Nota. Vemos tambin otra demostracin del teorema de Brouwer, para apli-

caciones continuas, mencionado en el punto anterior, utilizando estos elementos


del Anlisis Complejo.
Suponemos que f : B1 (0) B1 (0) es continua y que f (z) 6= z para todo
z B1 (0). Luego denimos g(z) = z f (z). Como f no tiene puntos jos, g
no se anula. Por un lado, consideramos la homotopa h(t, s) = (t) sf ((t)).
Luego, g es homotpica a , pues h(t, 0) = (t) y h(t, 1) = g((t)) y por lo
tanto I(g , 0) = I(, 0) = 1. Por otra parte, el lema previo nos dice que , dado
que g no se anula, I(g , 0) = 0, en contradiccin con lo anterior. 

37

4.

Aplicacin al problema con condiciones de


Neumann para un modelo de electrodifusin
de dos iones

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

La eliminacin de las concentraciones inicas en el problema de dos iones conduce


a una ecuacin no lineal en la variable y , proporcional al campo elctrico E, a
saber:
y 00 (x) = f (x, y(x); y(0), y(1)),

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 la juntura lquida ocupa la regin 0 x 1. Las cantidades l > 0, > 0 y


D, con 1 < D < 1 son parmetros como se describen en [2], en donde notamos
que si y es una solucin de (4.1.1) para los parmetros l, y D , entonces y
es una solucin para los parmetros l, y D. Es inmediato ver que cuando
D = 0 la nica solucin es y 0. Por lo tanto podemos suponer, sin prdida de
generalidad, que D > 0. La neutralidad elctrica en los reservorios impone las
condiciones de contorno de Neumann

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)

Con el mtodo adoptado, que consiste en la reduccin del problema original a


uno equivalente, susceptible de aplicrsele un mtodo de disparo bidimensional,
el cual, como vimos, es una extensin del unidimensional conocido, se elimina la
restriccin mencionada.

4.1.1. Una reduccin a Painlev II


Las ecuaciones de Painlev
Las seis Transcendentes clsicas de Painlev se introdujeron a comienzos del
siglo XX por Paul Painlev y su escuela, como la solucin de un tipo especco
de problemas para Ecuaciones Diferenciales de segundo orden no lineales, en el
plano complejo, de la forma
uxx = F (x, u, ux )

donde F es una funcin meromorfa en x y racional en u y ux .


El problema era encontrar todas las ecuaciones de esta forma, que tienen la propiedad de que sus soluciones son libres de puntos crticos mviles, es decir, la
ubicacin de las singularidades de la solucin no depende de los datos iniciales.
A nes del Siglo XIX y principios del XX, Painlev y sus discpulos mostraron
que existe una clase de ecuaciones diferenciales ordinarias de segundo orden no
lineales que poseen la propiedad, originalmente propuesta por Picard, llamada
luego la Propiedad de Painlev, de que pueden ser siempre transformadas en una
de las cincuenta formas cannicas posibles, determinadas por ellos mismos. Seis
de estas cincuenta ecuaciones requieren nuevas funciones trascendentes para expresar su solucin. Estas funciones especiales que resuelven las seis ecuaciones
referidas, son llamadas las Trascendentes de Painlev, y sus nicas singularidades
39

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)

donde , , , y son funciones meromorfas en x, que existen slo cincuenta de


tales ecuaciones, cada una de las cuales o bien puede ser integrada en trminos de
funciones conocidas, o se puede asignar a un conjunto de seis ecuaciones que no
pueden ser integradas en trminos de funciones conocidas. Estas seis ecuaciones
son llamadas Ecuaciones de Painlev, y sus soluciones generales son llamadas
Trascendentes de Painlev.
Las formas cannicas de las Ecuaciones de Painlev son:

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

en donde, , , y son parmetros complejos.


Desde entonces hasta hoy, una gran cantidad de hechos acerca de estas ecuaciones fueron descubiertos: la estructura de las singularidades mviles, familias de
soluciones explcitas, sus propiedades de transformacin, etc.

La reduccin en nuestro caso


Observamos que la ecuacin (4.1.1) adopta la forma
40



y2
y =y +
+ x +
2
00

donde
=

y(0)2
2

= l +

y(0)2 y(1)2
,
2

= D

y, haciendo los cambios de variables


y = U,

x = X +

se obtiene la reduccin a la ecuacin cannica


d2 U
= 2U 3 + XU +

dX 2

con
|| = 2,

= /,

= 1/3

y donde el parmetro est dado por

Como = l +

2
1/3 D
=

y02 y12
2

= l + 22/3 (U02 U12 ), donde usamos la notaciny(0) =


y0 , y(1) = y1 , U (0) = U0 y U (1) = U1 , obtenemos una ecuacin del parmetro en funcin de los parmetros fsicos l, , D y de los valores de borde
U0 = U |X=/ , U1 = U |X=(1)/ . En general, entonces, el estudio de la exis-

tencia para el problema de borde original bajo esta reduccin de Painlev II no


es abordable en vista de esta complicada dependencia de de los valores de
borde.
Notemos que si = 1, = 1 y por lo tanto = 1, = 1 entonces x = 0
X = 1, x = 1 X = 0 y
= D/, bajo la reduccin cannica. Por lo tanto,
obtenemos un problema de Neumann para la ecuacin de Painlev II convencional, donde es independiente de las condiciones de contorno. Resultados de
existencia para la ecuacin de Painlev II bajo condiciones Dirichlet y condiciones de borde peridicas han sido investigadas en [7], mientras que la aplicacin
de problemas de contorno se ha realizado en [8].
41

4.1.2. Un Problema Equivalente


Aqu, en vista de la naturaleza intratable del problema con condiciones de Neumann (4.1.1) - (4.1.4) bajo la reduccin anterior, se adopta una formulacin
alternativa que permite una novedosa aplicacin de un mtodo de disparo exacto.
Consideramos el cambio de variable

z(x) =

y(x)
y(0)

(4.1.6)

que introducida en (4.1.1) da

z 00 (x) = g(x, z(x), , z(1)),

(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)

entonces la ecuacin adopta la forma compacta



2
2
z (x) = (1 z(x) ) + x z(x) D
2
00

42

(4.1.10)

donde, si es conocida, entonces l puede ser obtenida de

l=

2
(1
2

z12 )

(4.1.11)

y z ahora satisface las condiciones

z(0) = 1,

z 0 (0) = 0

(4.1.12)

y
z 0 (1) = 0

(4.1.13)

En el problema original, dados los parmetros fsicos , l > 0 y D, buscamos


una funcin y(x) que satisfaga (4.1.1) - (4.1.4). Esto es equivalente a hallar una
adecuada > 0 y una funcin z(x) que satisface (4.1.10), (4.1.12), y (4.1.13). Tal
como est, el ltimo problema tiene la misma dicultad que el original ya que la
ecuacin diferencial (4.1.10) contiene el parmetro indeterminado tanto como
el parmetro dependiente del valor a ser determinado z1 . El procedimiento
consiste en modicar el problema no especicando el valor de l al principio,
arrancando con dos valores dados de las constantes > 0 y 0 (Notar
que permitimos = 0 por conveniencia, ya que > 0 en el problema (4.1.6)(4.1.8)). Aqu procedemos sin el requisito de la condicin de borde (4.1.13). En
consonancia, en lugar de un problema de valores de contorno estamos tratando
con un problema de valores iniciales, o sea (4.1.10) - (4.1.12).

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

Se presenta el siguiente problema: es sabido que una solucin del problema de


valores iniciales siempre existe en un entorno del origen, pero sta puede no ser
una solucin positiva denida en todo el [0,1]. En primer lugar, la solucin puede
anularse en algn punto del [0,1] y volverse negativa ms all de l. En segundo
lugar, debido a la existencia del trmino cuadrtico z 2 en el miembro derecho
de la ecuacin (4.1.10) , la solucin puede explotar en algn punto del [0,1] y
entonces z 0 (1) no estar denida. (En efecto, una cuenta sencilla muestra que
la incidencia del trmino de grado 3 que resulta en el miembro derecho de la
ecuacin (4.1.10), produce una dependencia cuadrtica de z 0 con z ).
Ms adelante se muestra que estas circunstancias no pueden ocurrir deniendo
adecuadamente el operador T y un conveniente dominio , que ser un subconjunto abierto de R2 , con borde . Si (c, d) R2 es un punto que no pertenece
a la imagen de por T y notamos por A un punto cualquiera del borde ,
como A recorre el borde (en un sentido dado, por ejemplo antihorario) su imagen
T (A) traza una curva cerrada que no pasa por el punto (c, d). Podemos entonces
denir el "nmero de vueltas" o "ndice de la curva" de esta curva T () con
respecto a (c, d). Es til recalcar que si T es homotpica a otra aplicacin T1 y
el punto (c, d) no est en la imagen de bajo la homotopa, entonces el ndice
de T con respecto a (c, d) es el mismo que el de T1 .
El Lema 3.2.1 de la seccin anterior nos permite establecer que si el ndice del
punto (c, d) respecto de la curva no es cero, entonces la ecuacin T (, ) = (c, d)
tiene una solucin (, ) en .
Para aplicar este resultado a nuestro problema, ponemos (c, d) = (0, l) y buscamos una adecuada regin tal que el nmero de vueltas de T () con respecto
a (0, l) no sea cero.
En lo que sigue, se muestra que si se eligen dos nmeros sucientemente grandes y entonces el interior del rectngulo con vrtices P = (/D, 0), Q =
( , 0), R = ( , ) y S = (/D, ) servir como el .

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

Si derivamos el miembro derecho de la ecuacin diferencial


44

(4.1.10) respecto de z, para x = x0 , f ijo, tenemos




z 00
2
2
2
2
c(x,z)=(x0 ,z(x0 )) = z(x0 ) + (1 z(x0 ) ) + x0 .
z
2

Como suponemos z 00 (x0 ) 0, la ecuacin (4.1.10) nos dice que





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

y entonces, siendo 2 z(x0 )2 0, tenemos que


z 00
cz=z(x0 ) > 0.
z

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.

El lema siguiente en [5], tambin es utilizado en demostraciones posteriores

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)

donde la funcin continua F(x,Z) es creciente en Z para cada x [0, x1 ] jo. Si


adems se supone que

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 ].

Dem.Lema 4.1.2 Primeramente se prueba en la suposicin ms fuerte de que las


desigualdades en (4.1.14) y (4.1.16) son estrictas, para obtener la conclusin de
que Z(x) > U (x) para todo x [0, x1 ].
Suponiendo que la conclusin es falsa, existe un punto (0, x1 ] en el cual
Z() = U (), mientras Z(x) > U (x) para todo x < . Por lo tanto debe ser

(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)

Entonces, Fn (x, t) es continua y creciente en t para todo x [0, x1 ], jo, y


tenemos que
Z 00 (x) > Fn (x, t), n N, dado que Fn (x, t) < F (x, t), n N,

y
Un0 (x) = U 0 (x)

(x + 1)
,
n

1
n

y por lo tanto, Un00 (x) = U 00 (x) ,

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

Z(0) > Un (0), dado que Un (0) = U (0)

Entonces tenemos

Z 00 (x) > Fn (x, Z(x)),


Un00 (x, Un (x)) = Fn (x, Un (x)),

46

con las condiciones iniciales


Z(0) > Un (0)

Z 0 (0) > Un0 (0),

con lo cual estamos en las condiciones ms estrictas para las cuales ya hemos
demostrado que
Z(x) > Un (x)

Z 0 (x) > Un0 (x),

x [0, x1 ].

Por lo tanto, tomando lmite de ambas desigualdades para n tendiendo a innito,


dado que
lm Fn (x, Z(x)) = F (x, Z(x)) y

lm Fn (x, Un (x)) = F (x, U (x)),

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].

En consecuencia se dene el punto nal de la solucin z como los puntos (0 , 0),


(1 , 2), (1, z(1)) y se denota por los valores 0 , 1 , 1 de acuerdo a los casos (C1)
a (C3) respectivamente.
Una vez que el punto nal de la solucin est determinado, se dene
= z 0 ()

(4.1.18)

y, teniendo presente (4.1.11), se pone


L=

2
(1
2

z()2 )

(4.1.19)

El punto nal vara segn varan los parmetros , y , no necesariamente en


forma continua. Tal situacin puede ocurrir, por ejemplo, cuando una solucin
47

z(x)

caso (C2)

Caso (C3)

x
1

1
Caso (C1)

Figura 2: Casos posibles


z(x) es no negativa y tangente el eje x en 0 < 1, pero por lo dems se puede
extender a todo el intervalo [0, 1]. Al variar los parmetros ligeramente, puede
ser posible elevar el grco de la solucin de modo que no toque el eje "x". De tal
manera, el punto nal salta discontinuamente desde el punto (0 , 0) a un punto
situado en la lnea vertical x = 1. En la gura 3 se esquematiza esta posibilidad.

El Lema siguiente muestra que esto no puede suceder con nuestra ecuacin
(4.1.10).

Lema 4.1.3 Para los casos (C1) y (C2), la solucin z satisface:


1. z 0 (0 ) < 0
2. z 0 (1 ) > 0
Como consecuencia, el punto nal, la derivada z 0 () en el punto nal, y el valor
L son todas funciones continuas de los parmetros , y .
Caso (C1): como sabemos que z 0 (0 ) 0 (puesto que z(0 ) = 0
y z(0 h) > 0 para h > 0 (sucientemente chica)) basta mostrar que z 0 (0 ) 6= 0.
Suponemos que z 0 (0 ) = 0, entonces z(0 ) es un mnimo local (considerando el
entorno a izquierda de 0 )), y por lo tanto z 00 (0 ) 0. Pero de la ecuacin (4.1.7)

Dem.Lema 4.1.3

48

z(x)
2

Solucin
modificada

(=1)
1

Solucin
inicialmente

(=0)

x
0

Figura 3: Salto discontinuo

(y la ecuacin (4.1.8)) se tiene que z 00 (0 ) = D < 0, una contradiccin. Caso


(C2): sea x0 [0, 1 ] donde z(x) alcanza su mnimo. Es claro que x0 no puede
ser 1 , as que debe ser x0 < 1 . En x0 , z 0 (x0 ) = 0 y z 00 (x0 ) 0. En [x0 , 1 ], z(x)
es creciente. Por el Lema 4.1.1, z 00 (x) > z 00 (x0 ) 0 para todo x (x0 , 1 ] y
entonces implica que z 0 (1 ) > 0.
Cmo se establece la dependencia del punto nal respecto de y : para el caso
(C3)es el resultado clsico de dependencia continua de una solucin respecto de
los parmetros. Para el caso (C1), z(0 ) = 0 y z 0 (0 ) < 0. La solucin puede
entonces ser continuada en un pequeo entorno de 0 , con z(x) < 0 para x > 0 .
Tomemos dos puntos muy cercanos a 0 , 1 y 2 , tales que 1 < 0 < 2 . Entonces
z(1 ) > 0 y z(2 ) < 0. Si se varan , , y/o muy ligeramente, se puede
asegurar que z(1 ) es todava mayor a cero y z(2 ) es todava menor a cero,
donde z llamamos a la solucin del problema de valores iniciales con los valores
de los parmetros ligeramente cambiados. Luego, por el Teorema de los Valores
Intermedios, z tiene un cero en el intervalo [1 , 2 ] y, por lo tanto, muy cerca del
cero original 0 de z .
La dependencia continua respecto de los parmetros para el caso (C2) la podemos
ver de modo similar. 

Lema 4.1.4 Para los casos (C2) o (C3), z no puede tener ms que un mnimo
49

local en el intervalo [0,1).


Si se supone que D y z tiene un mnimo local en [0,1], entonces > 0 y
L 0.
Dem.Lema 4.1.4 Si z tiene un mnimo local en el punto x0 , entonces, por el Lema
4.1.1, z 00 (x) > 0 para x > x0 (pues z(x0 ) z(x) y z 00 (x0 ) 0). Entonces > 0
(pues en ambos casos > x0 y por lo tanto tambin z 00 () > z 00 (x0 )) y z no puede
tener otro mnimo local ms all de x0 .
Para el caso (C2), z() = 2 y de la ecuacin (4.1.19) podemos ver que L 0.
En el caso (C3) tenemos que = 1 y si es z(1) 1 nuevamente la (4.1.19) nos
da L 0. Supongamos entonces que z(1) < 1, considerando la ecuacin original
(4.1.7) y (4.1.8) en el valor x = 1, obtenemos

z 00 (1) = z(1)( + L) D

(4.1.20)

y como z 00 (1) > 0, tenemos que


z(1)( + L) > D,

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)

En la Figura 4 vemos que T aplica el plano (, ) en el plano (, L). Se puede


ver que aunque en la reduccin del problema de valores de borde original al
nuevo problema de valores iniciales slo se permite > 0, el nuevo problema del
operador T puede ser estudiado para (, +). O sea, T puede denirse
para 0.

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)

tiene una solucin con > 0 y > 0.


En lo que sigue, esta armacin se prueba usando el mtodo descripto. Elegimos
cualquier nmero
>

+ l
,
D

(4.1.24)

y otro nmero sucientemente grande cuyo valor se determina a posteriori. Sea


P QRS el rectngulo cuyos vrtices son P = (/D, 0), Q = ( , 0), R = ( , )
y S = (/D, ), como antes mencionamos. En los siguientes lemas se estudia la
imagen de cada lado de este rectngulo bajo el operador T .

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

Para el punto P, = /D y por lo tanto (z 00 (x) = z ) z 1 el la solucin


del problema de valores iniciales y entonces es z 0 = 0. Luego ( = 1) z 0 (1) = 0 y
entonces T (P ) = T (/D, 0) = (0, 0). Cuando se incrementa al ir de P a Q, el
correspondiente valor de z 0 () decrece desde cero, por lo que es negativo ( < 0).
En concordancia con esto el punto T(A) se encuentra en el semieje negativo del
eje .
El siguiente Lema muestra que si z(x) satisface tambin la condicin de borde
(4.1.13) (o sea en x = 1), entonces z debe ser una funcin decreciente y los nicos
puntos crticos son x = 0 y x = 1. Notar que, por el Lema 4.1.3, la condicin
(4.1.13) implica que estamos en el caso (C3).

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 , .

Lema 4.1.7 Sea A = (, ) un punto del lado QR y T (A) = (, L). Si = 0,


entonces L > l.
Como A se encuentra en QR, = . Si = 0, entonces
tenemos el caso (C3) y el punto nal debe ser (1,z(1)). Por el Lema 4.1.6, z 00 (1)
0 y z(1) 1 (pues z 0 (x) 0 y z(0) = 1). Por el mismo argumento usado en la
demostracin del Lema 4.1.4 (considerando la ecuacin original (4.1.7) y (4.1.8)
en el valor x = 1), en x = 1,
Dem.Lema 4.1.7

z 00 (1) = z(1)( + L) D 0

(4.1.25)

y entonces, de la denicin de (4.1.9)


L

D
> D > l
z(1)

y entonces tenemos que L > l. 


52

(pues

z(1) 1)

(4.1.26)

Geomtricamente, la importante conclusin de este Lema 4.1.7 es que la curva


Q0 R0 , imagen por T del lado QR del rectngulo, interseca al eje L del plano
imagen (, L) en uno o ms puntos, que se encuentran, todos ellos, por encima
del punto (0, l). Como se ve en los Lemas siguientes, una vez que se elige
lo sucientemente grande, la imagen del punto R, R0 , se encuentra en el primer
cuadrante del plano (, L), y por lo tanto, el punto (0, l) se encuentra en el interior
de la imagen del rectngulo P QRS (o sea (0, l) T ()) (Ver Figura (4) en la que
estas curvas se dibujan de manera arbitraria, slo para ilustrar las armaciones
de los distintos lemas).

Lema 4.1.8 La imagen del lado SP, T (SP ) = S 0 P 0 , se encuentra en el primer


cuadrante del plano (, L). Adems, excepto el punto P 0 = T (P ), no hay otro
punto de la curva S 0 P 0 que se encuentre sobre el eje L.
Dem.Lema 4.1.8 En los puntos de la lnea SP, = /D y z(x) satisface la
inecuacin diferencial

00

z (x)


2
2
(1 z(x) ) z(x)
2

pues x = D x 0 en (4.1.10). Si se considera la ecuacin diferencial


00

W (x) =


2
2
(1 W (x) ) W (x) ,
2

(4.1.27)

entonces, W (x) 1 es solucin y




2
2
W (x) = (1 1 ) 1 = = 0
2
00

y usando el Lema 4.1.2 (tomando como la F (x, .) el segundo miembro de (4.1.27),


y siendo z(0) 1 = W (0) y z 0 (0) = 0 0 = W 0 (0)), conclumos que z(x)
W (x) 1. Entonces, x = 0 es un mnimo local (z(0) = 1). Luego, por el Lema
4.1.4 (como D D ) y dado que z tiene un mnimo local en [0,1)
se sigue que > 0 y L 0, por lo tanto slo P 0 tiene su imagen sobre el eje
L. En efecto, si = 0 (pues P = (/D, 0)), estamos en que z 1 y entonces
z 0 (1) = 0 = , como vemos en la demostracin del Lema 4.1.6. 
El prximo Lema trata del restante lado del rectngulo: el lado RS .

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

De acuerdo al Lema 4.1.4, slo basta mostrar que z tiene un


mnimo local en algn x0 < 1, o equivalentemente, que z 0 (x0 ) = 0. Por el Lema
4.1.8 ya sabemos que S 0 est en el primer cuadrante, de modo que podemos considerar un punto A en RS diferente de S. O sea, podemos suponer que > /D,
lo cual implica que z es inicialmente decreciente cerca de x = 0 (reemplazando en
la ecuacin diferencial (4.1.10) x por 0 y z(0) por 1 obtenemos z 00 (0) = D,
que con > /D nos da z 00 (0) < 0). Si z() = 1 para algn > 0, entonces z
debe tener un mnimo local en el intervalo (0, ) y entonces ya estamos en las
hiptesis del Lema 4.1.4. Entonces supongamos que z(x) < 1 para todo x [0, 1].
Seguidamente se muestra que esto no puede suceder si se elige sucientemente grande. Supongamos que s ocurre y que podemos tener z(x) < 1, para todo
x (0, 1]. Para puntos de RS, = , y entonces,
Dem.Lema 4.1.9

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

z satisface la desigualdad diferencial


z 00 (x) 2 (1 z(x)2 ) + ( + x)z(x) D
2 (1 z(x)) + ( + x)z(x)

(4.1.29)

dado que D 1.
Supongamos ahora que
2 +
,
z(x) m :=
2( + )

(4.1.30)

Entonces de (4.1.29) tenemos que


z 00 (x) 2 (1 z(x)) + ( + x)m

(4.1.31)

Sea ahora W(x) la solucin del problema de valores iniciales


W 00 (x) = 2 (1 W (x)) + ( + x)m
W (0) = 1,
W 0 (0) = 0

54

(4.1.32)
(4.1.33)

Entonces, por el Lema 4.1.2, tomando como la F (x, .) el miembro derecho de


(4.1.31) o (4.1.32), y entonces cumplindose las condiciones (4.1.14) y (4.1.15),
con z(0) = 1 1 = W (0) y z 0 (0) = 0 0 = W 0 (0), se tiene que z(x) W (x) y
z 0 (x) W 0 (x). Si mostramos que W (x) m, entonces (4.1.30) se vericar, y si
podemos mostrar que W (1) 1, entonces tendremos (evaluando z(x) W (x) en
x = 1), que z(1) 1 y obtendremos, por lo tanto, la contradiccin a lo supuesto
de que z(x) < 1 para todo x [0, 1].
Resolviendo la ecuacin diferencial (4.1.32) con las condiciones iniciales (4.1.33),
por el mtodo de variacin de parmetros, obtenemos una expresin para W(x)
W (x) = C1 e

+ 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

con lo que reemplazando m por su expresin en (4.1.30), tenemos que


(2 + )
,
4 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

pueden hacerse arbitrariamente pequeos eligiendo sucientemente grande.


Por lo tanto, los dos ltimos trminos en el lado derecho de (4.1.34), as como
el trmino que contiene a C2 pueden hacerse
tan pequeos como sea necesario.

Por otro lado, como < (y entonces 2+


> 1),
+
C1

>0
4 2

55

(4.1.39)

entonces el trmino e x en el miembro derecho de (4.1.34) es positivo. Por lo


tanto, se puede hacer que W (x) > m para todo x eligiendo lo sucientemente
grande y entonces se justica (4.1.30) como habamos supuesto ad hoc.
Adems, en x = 1

C1 e >

y como
lm


e
4 2


e =
4 2

(4.1.40)

tenemos que W (1) , cuando , por lo tanto existe un > 0 tal


que > implica que W (1) > 1, y por lo tanto z(1) > 1 contradiciendo la
suposicin de que z(x) < 1 para todo x (0, 1] Por lo tanto existe un punto
[0, 1] tal que z() = 1, y entonces z tiene un mnimo local en algn x0 < 1 y
estamos en las hiptesis del Lema 4.1.4. Esto implica que > 0 y L 0 y por lo
tanto R0 S 0 est contenida en el primer cuadrante del plano (, L). 

Conclusin. Los lemas 4.1.5, 4.1.7, 4.1.9 y 4.1.8 nos posibilitan conocer c-

mo es la imagen del borde del rectngulo P QRS , donde P = (/D, 0), Q =


( , 0), R = ( , ) y S = (/D, ), con las constantes y elegidas del
modo descripto, lo cual nos permite arribar a la conclusin de que el nmero de
vueltas de la curva cerrada imagen P 0 Q0 R0 S 0 P 0 con respecto al punto (0, l) es 1
(lo que puede demostrarse rigurosamente usando deformacin homotpica de la
imagen del borde de P QRS bajo T ). Entonces, por lo anterior, la ecuacin del
operador T , T (, ) = (0, l) tiene una solucin (, ) en el interior del rectngulo P QRS , lo cual es equivalente a la existencia de solucin para el problema de
valores en la frontera original, lo cual prueba el resultado principal, enunciado
en el Teorema 4.1.1.

Observacin. Procediendo ms cuidadosamente con los clculos de D se puede

mostrar que el Lema 4.1.9 se mantiene para valores de D escasamente mayores a


1. Se puede probar
que el Lema 4.1.9 y entonces el Teorema 4.1.1 siguen valiendo
p
cuando D (l + 1)2 + 1 l.
4.2.

El caso

+ + 0

Abordamos ahora el caso ms general tratado en el trabajo [9], en el cual adems,


como mostramos en el apartado 2.4 de la seccin 2, se deduce la ecuacin del
modelo. Se extiende el mtodo empleado en [5] para el caso de valencias iguales,
56

incluyndolo. La consideracin del caso estricto, es decir, el caso + + < 0,


conlleva una dicultad mucho mayor, lo cual justica la realizacin de este caso,
como una generalizacin de la misma idea empleada para el caso anterior de
+ + = 0.
Aqu se considera (2.4.16) bajo condiciones de Neumann, a saber, el problema

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)

sin asumir ninguna relacin privilegiada de valencias, excepto que sea + + 0,


y donde se observa que = 2 + n(0) > 0.

Observacin. Si en (4.2.1) hacemos + + = 0 y = 1, entonces tenemos




 2

y3
1 2
y (0)
2
y =
+ l + (y (0) y (1)) xy
y
2
2
2


1 2
2
l + (y (0) y (1)) D
2


2
(y (0) y 2 )
=y
+ Ax AD
2
00

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.

En la prueba de este resultado, primeramente procedemos anlogamente al caso


anterior poniendo z = y/ , donde = y(0), con lo que entonces (4.2.1) y (4.2.2)
son equivalentes a

2
2
z (x) Cz(x)z (x) = (1 z(x) ) + x z(x) D
2
00

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)

En el problema original, vienen dados los parmetros l, , D, y y se busca una


solucin y de (4.2.1) la cual satisface las condiciones de borde dadas en (4.2.2).
Como vimos anteriormente, el hecho de que la ecuacin diferencial (4.2.1) contenga los desconocidos valores y(0) y y(1) dependientes de la solucin y , hace al
problema no convencional y no puede ser abordado por mtodos tradicionales.
Para sortear esta dicultad, se considera el nuevo problema dado por las ecuaciones (4.2.3) y (4.2.4) donde el parmetro l no est dado de antemano. En cambio
se jan los valores y y se procede a resolver el problema de valores iniciales
(4.2.3) con las primeras dos condiciones de (4.2.4) (z(0) = 1, z 0 (0) = 0). Ajustando adecuadamente el parmetro podemos forzar la ocurrencia de la tercera
de las condiciones de (4.2.4), z 0 (1) = 0, y luego obtener el valor de l desde la
ecuacin (4.2.5):
l=

2 2 (1 z(1)2 )
.
2

(4.2.7)

Si de este clculo obtenemos el valor coincidente al especicado inicialmente para


l, entonces tenemos la solucin deseada.
As, como antes, slo basta con encontrar un par de valores (, ) tal que la
solucin correspondiente del problema de valores iniciales satisfaga z 0 (1) = 0 y
calcular l de (4.2.7). Sin embargo se observa que un obstculo surge en el hecho
de que z puede no estar propiamente denida a lo largo de todo el intervalo [0, 1].
Una situacin que puede ocurrir es que z puede explotar hasta innito antes de
que x alcance el valor 1 en el intervalo [0, 1]. Otra posibilidad es que z pueda
58

alcanzar al eje x y se vuelva negativa ms all de ah.


Del mismo modo que antes, se adopta la denicin del punto nal (0, 1]
como:
Caso1 (C1) : Si 0 < z < 2 en [0, x0 ) [0, 1] y z(x0 ) = 0, entonces := x0 .
Caso2 (C2) : Si 0 < z < 2 en [0, x0 ) [0, 1] y z(x0 ) = 2, entonces := x0 .
Caso3 (C3) : Si 0 < z < 2 en [0, 1] entonces := 1.

As, somos capaces de denir a un operador de disparo bidimensional T dado


por
T (, ) := (z 0 (), L),

donde L est dado por


L = L(, ) :=

2 2 (1 z()2 )
2

(4.2.8)

Aunque fsicamente slo interesan aquellos puntos (, ) ubicados en el primer


cuadrante (excluyendo los ejes donde alguno de ellos se anula) notamos que T
tambin est denido para = 0. Buscamos, nuevamente, un par (, ) tal que
T (, ) = (0, l).

En ese caso se ver que = 1 y > 0, y por lo tanto la z correspondiente es


una solucin positiva de (4.2.3)-(4.2.4) con como en (4.2.5).
En la prueba del resultado principal, se utilizan dos lemas de comparacin; se
vuelve a usar el Lema 4.1.2 de la seccin anterior, y el siguiente lema.

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 ).

Nota. Si = 0 y = D, entonces (4.2.3) tiene solucin z(x) 1 (la ecuacin


(4.2.3) se convierte en z 00 (x) = z(x) D que z(x) 1 cumple trivialmente
siendo = D), y no se cumple la armacin del lema.

Supongamos primero que > 0. Como z 00 (x0 ) Cz(x0 )z 0 (x0 ),


entonces, z (x0 ) Cz(x0 )z 0 (x0 ) 0, y por lo tanto, el miembro derecho de la
ecuacin diferencial (4.2.3) es no negativo. O sea, tenemos que

Dem.Lema 4.2.1

00


2
2
(1 z(x0 ) ) + x0 z(x0 ) D > 0
2

59

Esto implica que, dado que z(x0 ) 0, z(x0 ) > 0, y entonces




2
2
(1 z(x0 ) ) + x0 > 0.
2

Si derivamos el miembro derecho de (4.2.3) respecto de z (tomando x = x0 , jo),


da


2
2 z 2 (x0 )

(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 ),

pues z(x0 ) z(x1 ), como queramos demostrar.


Si ahora consideramos = 0 y 6= D, (4.2.3) se convierte en
(4.2.9)

z 00 (x) = z(x) D,

una ecuacin diferencial cuya resolucin directa nos da

z(x) = C1 e

y entonces
z 0 (x) =

+ C2 e

D
.

(4.2.10)



C1 e x C2 e x

De las condiciones de contorno (4.2.4)


z(0) = 1 = C1 + C2 +

con lo cual se deduce que


y entonces
1
z(x) =
2

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

Comenzamos probando la armacin siguiente:


Si

z 0 () = 0

0 < z < 2 en [0, 1].

En otras palabras, z 0 () = 0 se opone a los casos (C1) y (C2) y debemos tener


= 1 (Caso (C3)).
Supongamos que ocurre el Caso (C1). Entonces x = es el mnimo global de z
en el intervalo [0, ], lo cual implica que z 00 () 0 (dado que z 0 () = 0). Pero,
de la ecuacin diferencial (4.2.3) (con x = , z() = 0 y z 0 () = 0) tenemos que
z 00 () = D < 0 lo cual es una contradiccin.
Supongamos entonces que ocurre el Caso (C2). Sea x = x0 el mnimo global de z
en [0, ]. Entonces 0 < z(x0 ) < z() y z 00 (x0 ) 0. Como z 0 (x0 ) = z 0 () = 0, por
el Lema 4.2.1 (dado que z 0 (x0 ) = 0 y por lo tanto estamos en las condiciones del
lema), obtenemos que z 00 () > 0 (pues z 00 () > z 00 (x0 ) 0), que no puede ocurrir
dado que z 0 () = 0, excepto en el caso en el que = 0 y = D, en cuyo caso
, excepcional, la armacin se cumple trivialmente (dado que tenemos z 00 (x) =
z(x) D en (4.2.3) con la solucin z(x) 1 como ya mencionramos).
La continuidad de T se deduce a partir del resultado estndar de la dependencia
continua para ecuaciones diferenciales ordinarias de la solucin respecto de los
parmetros.
Por ltimo, si T (, ) = (0, l), entonces, por la armacin que probamos, debe
ser = 1 y por lo tanto L = l ( = 1 en (4.2.8) nos da (4.2.7)), y esto implica
que satisface la ecuacin (4.2.5), y por lo tanto z es solucn de (4.2.3) con
las condiciones (4.2.4) donde adems cumple z 0 (1) = 0, y entonces y = z es
una solucin del problema original (4.2.1)-(4.2.2).
Con el n de probar la existencia de un par (, ) tal que T (, ) = (0, l),
encontraremos un dominio acotado (0, +) [0, +) tal que el ndice
topolgico I de la curva T , la cual es la imagen de la frontera de por T ,
satisface
I(T , (0, l)) 6= 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

rectngulo P QRS dado por los vertices




S :=
, ,
D



P :=
,0 ,
D


R := ( , )
Q := ( , 0)

donde y son constantes que se eligen adecuadamente a posteriori.

Lema 4.2.3 Sea > 0. Si z alcanza un mnimo local en x0 < , entonces


z 0 (x) > 0 para x > x0 (y por lo tanto z 0 () > 0). Si adems D 0, entonces
L > 0.
Si z 0 (x1 ) = 0 para algn x1 > x0 , entonces o bien z(x1 ) < z(x0 )
o bien del Lema 4.2.1 obtenemos que z 00 (x1 ) > 0 (pues x1 > x0 y z(x1 )
z(x0 ) = z 00 (x1 ) > z 00 (x0 ) 0 por el Lema) y x1 es un mnimo local. En ambos
casos, z alcanza un mximo local en algn x2 (x0 , x1 ) (y por lo tanto con
z 00 (x2 ) 0) y nuevamente obtenemos de la aplicacin del Lema 4.2.1, z(x2 ) >
z(x0 ) 0, que lo contradice. Es as entonces que z 0 no se anula despus de x0 y
por lo tanto z 0 (x) > 0, x > x0 . Luego, observamos tambin que el Caso (C1)
no puede ocurrir.
Si ocurre el Caso (C2), o si ocurre el caso (C3) con z(1) 1, entonces, de la
denicin de L (ecuacin (4.2.8)), L > 0 independientemente de si D 6= o
no. Para el restante caso, Caso (C3) con z(1) < 1 ( = 1), tenemos que
Dem.Lema 4.2.3

0 < z 00 (1) Cz(1)z 0 (1)





1
= z(1) (1 + L) + 1
D

< (1 + L) = L.

en donde la primera desigualdad es consecuencia de aplicar el Lema 4.2.1 (x0 < 1


y z(x0 ) z(1) = z 00 (1) Cz(1)z 0 (1) > z 00 (x0 ) Cz(x0 )z 0 (x0 ) 0 (con
z 0 (x0 ) = 0)), la igualdad en la segunda lnea proviene de la ecuacin diferencial
(4.2.3) y la denicin (4.2.8), y la desigualdad en la tercera lnea, de la suposicin
de que 1, z(1) < 1, y D . Luego, tenemos que L > 0. 
Los siguientes lemas proporcionan una idea del aspecto de la imagen de bajo
el operador T .

Lema 4.2.4 El segmento PQ se aplica uno a uno sobre el segmento P 0 Q0 , donde


P 0 = (0, 0) y Q0 = (r, 0), para algn r > 0.
62

A lo largo del segmento PQ, se tiene = 0 y entonces z(x) est


dada por la ecuacin (4.2.11), es decir
Dem.Lema 4.2.4

1
z(x) =
2

Entonces,

D
1



D
x
x
e
.
+e
+





D  x
z (x) =
1
e
e x .
2

(4.2.12)

que, como = D , se anula (y entonces z 0 (x) = 0, con z(x) = 1, x, en particular


z 0 (1) = 0, siendo = 1). Como adems, de su ecuacin de denicin (4.2.8) se
tiene que L = 0 (dado que = 0), obtenemos que P 0 = T (P ) = (0, 0).
Vemos la inyectividad de T sobre el segmento PQ (aunque no se necesite en la
demostracin del Teorema 4.2.1): de P a Q, se incrementa desde el valor D .
Inicialmente tenemos Caso(C3), en el que = 1. Podemos entonces derivar la
ecuacion (4.2.11) de z 0 (x), evaluada en x = 1, respecto del parmetro , lo cual
nos da

D 
0
z (1) = e e < 0,

que nos permite ver que, inicialmente, z 0 () es decreciente en . Sin embargo,


despus, alcanza un valor crtico 0 , es decir, para > 0 , el Caso(C1) prevalece.
En efecto, si > D (siendo = 0), si hacemos en (4.2.11) x = e igualamos
t
t
a cero (Caso(C1)), obtenemos, (usando que e +e2 = cosh(t) ),



D
D
z() =
+ 1
cosh( ) = 0,

y entonces debe ser

Como

z 0 () = 1

D/
1
cosh( ) = D
=

1
1 D

senh( ),

usando la conocida relacin


lleva a

(donde senh(t) =

et et
2

),

cosh2 (t) senh2 (t) = 1, una cuenta sencilla nos


v
!2
u


D u
1
t
0
z () = 1

1<0

1 D

63

dado que > D (y por lo tanto el radicando


espositivo).

D
0
Si hacemos ahora,
z () = 1 senh( ) = 0, vemos que esto ocurre

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

De donde se ve que z 02 () es una funcin creciente de , lo que nos permite


establecer, dado que z 0 () es negativa, que sta es una funcin decreciente de .
Luego, z 0 () es negativa para la imagen por T, que resulta as inyectiva, de todo
punto que se encuentra en el segmento PQ, con > D . 
El siguiente lema muestra que , excepto para el punto P , la imagen del segmento
P S se encuentra en el primer cuadrante del plano (z 0 (), L).

Lema 4.2.5 Si = /D y > 0, entonces z 0 () > 0 y L > 0.


Si suponemos que z es inicialmente creciente, entonces x = 0
es un mnimo local, y entonces, por el Lema 4.2.3, cuyas hiptesis se cumplen,
tenemos que z 0 () > 0 y como adems /D se tiene que L > 0.
Luego, consideramos que z es inicialmente decreciente. En ese caso, como la
constante C, denida en (4.2.6) cumple C 0 (dado que estamos en el caso
+ + 0), y para algn  > 0 se cumple que z 0 (x) 0 para x [0, ], tenemos
que


Dem.Lema 4.2.5

2
z (1 z 2 ) z
2
00

en

[0, ]

Aplicando entonces nuevamente el Lema 4.1.2 con W 1, anlogamente a como


lo hiciramos en la demostracin del Lema 4.1.8, se deduce que z(x) 1 para
x [0, ], contradiciendo la suposicin.
Por ltimo, si ninguna de las condiciones anteriores ocurre, z tendra ms de un
mnimo local, y esto contradice el Lema 4.2.3. 
Los siguientes dos lemas restantes se reeren a la conveniente eleccin de las
constantes y .

Lema 4.2.6 Sean >

(1+l)
D

y 0. Si z 0 () = 0, entonces L > l.
64

Como z 0 () = 0, entonces estamos en el Caso(C3)(Lema 4.2.2),


siendo fcil ver que > 0:
si suponemos que = 0, de la ecuacin (4.2.12) (de la demostracin del Lema
4.2.4), tenemos que
Dem.Lema 4.2.6





D  x
x
0
1
e
e
6= 0,
z (x) =
2

x,

(dado que 6= /D y x 6= 0), lo cual contradice z 0 () = 0.


Por el lema 4.2.3, z no puede tener un mnimo local en el intervalo [0, 1) . Por
consiguiente, el mnimo global de z se alcanza en el punto nal = 1, con lo que
se deduce que z 00 (1) 0 y que z es no creciente.
Luego, de la ecuacin diferencial (4.2.3) tambin se puede ver que z 6= 1, y por
lo tanto, z(1) < 1 y entonces, evualando en x = 1 y nuevamente de la denicin
de L (ecuacin (4.1.19)) (similarmente como procedimos en la demostracin del
Lema 4.2.3), podemos establecer
0 z 00 (1)



1
D
= z(1) (1 + L) + 1

< (1 + L) (1 + l) = (L l)

lo cual implica que L > l. 


En vista del resultado anterior, se ja una constante tal que
>

(1 + l)
,
D

(4.2.13)

y se procede de acuerdo al lema siguiente, en la determinacin de .

Lema 4.2.7 Si es sucientemente grande, entonces la imagen del segmento


RS se encuentra en el primer cuadrante.
Del Lema 4.2.5 ya sabemos que la imagen del punto S, S 0 =
T (S), se encuentra en el primer cuadrante, as que podemos considerar los puntos
del segmento RS con > /D. Entonces z 00 < 0 en un entorno de 0 (en la
ecuacin diferencial (4.2.3), con x = 0, y z(0) = 1 y z 0 (0) = 0, de las condiciones
(4.2.4)), y z es entonces inicialmente decreciente. Si z alcanza un mnimo local
en algn punto x0 < , entonces, por el Lema 4.2.3, z 0 () > 0 y adems, como
> /D, se tiene que L > 0. De modo que entonces es suciente probar que z
no puede ser estrictamente decreciente en todo el [0, ].
Supongamos que s lo es. O sea que z decrece estrictamente hasta alcanzar el

Dem.Lema 4.2.7

65

punto nal . Como C 0, z 0 y z 0 < 0, el trmino Cz(x)z 0 (x) 0, y


siendo z 1, lo que implica que (1 z 2 )z 2(1 z), entonces, de la ecuacin
diferencial (4.2.3), se obtiene
z 00 (x) 2 (1 z(x)) + ( + x)z(x) D,

(4.2.14)

(donde usamos el valor de , ). Seguidamente, jamos una constante m tal que


D/( + ) < m < 1, lo cual es posible ya que D < 1 + 1l . En efecto,
D
<1
+

<

,
D1

entonces, de (4.2.13), debe ser

(1 + l)
<
,
D
D1

lo que equivale a que D < 1 + 1l .


A continuacin, anlogamente a lo realizado en la demostracin del Lema 4.1.9
del caso + + = 0, denimos W como la solucin del problema de valores
iniciales
W 00 (x) = 2 (1 W (x)) + ( + x)m D
W (0) = 1,
W 0 (0) = 0,

cuyo clculo directo nos da


W (x) = C1 e

donde
C1 =

+ C2 e

( + )m D
2 2


+1

m D mx
+
2

C2 =


,

(4.2.15)

( )m D
.
2 2

Dado que , como elegimos m tal que m > D/( + ), y entonces


( + )m > D D, se tiene que C1 > 0. Eligiendo sucientemente
grande, podemos hacer





mx
m

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)

en [0, x0 ]. Del Lema 4.1.2 de la seccin anterior, tenemos que z W > m en


[0, x0 ], contrario a lo supuesto de que z(x0 ) = m. Por lo tanto, z > m y la desigualdad (4.2.16) ocurre en todo el [0,1]. Podemos aplicar entonces nuevamente
el Lema 4.1.2 para conclur que z W en todo el [0,1]. Como C1 e x
cuando , entonces, para suentemente grande, tenemos que W (1) >
1, y por consiguiente, z(1) > 1, contradiciendo la suposicin de que z 1. 

Demostracin del Resultado Principal: Teorema 4.2.1


De los lemas anteriores se concluye que el ndice de la curva T con respecto
al punto (0, l) es 1, y por lo tanto T (, ) = (0, l) para algn (, ) (en
particular, el Lema 4.2.6 nos asegura que (0, l) T ). Por lo tanto existe
solucin para el problema de valores de contorno (4.2.1)-(4.2.2). 

67

Figura 5: en funcin de
5.

Conclusiones y aspectos pendientes

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

D = 1, realizados mediante un algoritmo puesto en prctica en MATLAB. Los


resultados numricos indican que la dependencia de con es siempre montona

y por lo tanto la asignacin correspondiente es uno a uno, y la aplicacin inversa


existe y es continua. Sin embargo, no se est en capacidad de conrmarse esta
teora y se preere plantear esto como una conjetura, del modo siguiente:
68

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

Figura 7: en funcin de para D = 2


L puede alcanzar. En otras palabras, no habr ninguna solucin para el problema
de contorno si L > L . Esto es equivalente a decir que una condicin del tipo

de la establecida en el trabajo de Thompson [2] tiene que ser impuesta para


asegurar la existencia de una solucin. Otra consecuencia de la forma de la curva
es que, en general, para algunos valores dados de l puede haber dos soluciones
diferentes.
La pregunta que se plantea es porqu no sigue valiendo la demostracin del
Teorema 4.1.1 para este caso de D > 1, dado que todos lo lemas en la seccin
4.1 siguen valiendo, excepto el Lema 4.1.9, aunque es importante notar que para
D > 1, se observa que el Lema 4.1.7 se cumple en un contexto vaco, es decir, en
realidad no se cumple la condicin de que la curva Q0 R0 interseca al eje . En el
Lema 4.1.9, no se pueden establecer las desigualdades W (x) > m y W (1) > 1.
En la Figura 8 vemos que para un l sucientemente grande, no hay solucin. La
condicin respecto a D establecida en el resultado principal (Teorema 4.2.1) de
la seccin 4.2,
1
D <1+ ,
l
1
implica que si D = 2, debe ser l < 21
= 1.

En el trabajo [9] para ayudar a visualizar la demostracin, se muestra el dibujo


de la imagen P 0 Q0 R0 S 0 del rectngulo P QRS bajo la aplicacin T (Figura 9),
correspondiente a un ejemplo numrico, realizado con la ayuda de MATLAB,
para el caso especial en el cual los parmetros fsicos han sido elegidos =
70

Figura 8: L en funcin de para D = 2


1, D = 1, = 1, y las constantes y , en la denicin del rectngulo PQRS
elegidas 6 y 4 respectivamente. Si llamamos O al origen de coordenadas, y A al
punto donde la curva Q0 R0 interseca el eje L (eje de ordenadas), entonces el ndice
topolgico de P 0 Q0 R0 S 0 es 1 por cada punto que se encuentra en el segmento
de lnea OA. Por lo tanto, el problema de Neumann original tiene una solucin
para estos valores de L. Mediante el aumento de y , se abarcan ms valores
de L (Lemas 4.2.6 y 4.2.7).
Si se reduce a 3, la imagen del lado RS se vuelve el R00 S 00 , que, como se

muestra en la Figura 9, no se encuentra enteramente en el primer cuadrante, lo


cual da cuenta de que el Lema 4.2.7 slo tiene validez si es sucientemente
grande.

71

Figura 9: Imagen de PQRS por T

72

6.

Bibliografa

Referencias

[1] H.R.Leuchtag, A family of dierential equations arising from


multi-ion electrodiusion, J. Math. Phys. 22(6) (1981).
[2] H.B.Thompson, Existence for two-point boundary value problems
in two ion electrodiusion, J. Math. Anal. Appl. 184, 82-94
(1994).
[3] H.B.Thompson, Existence of solutions for a two point boundary value problem arising in electro-diusion, Acta Math. Sci.
8 (1988), 373-387.
[4] P.Amster,Mtodos topolgicos en el Anlisis no lineal,Libro de la
serie Publicacoes Matemticas del Instituto de Matemtica Pura
y Aplicada,Brasil(2009).
[5] P.Amster,M.K.Kwong,C.Rogers,On a Neumann Boundary Value
Problem for Painlev II in Two Ion Electro-Diusion, Nonlinear
Analysis (2010)doi:10.1016/j.na.2010.06.063
[6] C.De Coster and P.Habets, Upper and lower solutions in the

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

[12] H.R.Leuchtag y J.C.Swihart, Biophys.J. 1, 27 (1977).


[13] R. Schlogl, Z. Physik. Chem., N F 1, 30
[14] L.V.Ahlfors COMPLEX ANALYSIS. An Introduction to the
Theory of Analytic Functions of One Complex Variable.
McGraw-Hill Book Company, Inc. (1953).
[15] P.W.Lamberti, V.Rodrguez, Desarrollo del modelo matemtico de Hodgkin y Huxley en neurociencias, Electroneurobiologa 2007, 15 (4), pp. 31-60, URL http: //electroneubio.secyt.gov.ar/index2.htm.

74