estudio de la dinÁmica estocastica mediante tiempos …
TRANSCRIPT
ESTUDIO DE LA DINÁMICA ESTOCASTICA
MEDIANTE TIEMPOS DE PRIMER PASO
Memoria de la Tesis Doctoral presentada por
Laureano Ramírez de la Piscina y Millán
y dirigida por José M. Sancho Herrero
Junio 1990
D. José María Sancho Herrero
Catedrático de Física de la Materia Condensada
CERTIFICA: Que la presente memoria titulada Estudio
de la Dinámica Estocástica mediante Tiempos de
Primer Paso ha sido realizada bajo su dirección en
el Departamento de Estructura y Constituyentes de
la Materia, y corresponde a una Tesis para optar al
grado de Doctor en Ciencias Físicas.
Barcelona a 18 de Junio de 1990
Quisiera expresar en primer lugar mi más sincero
agradecimiento al Dr. Jose Maria Sancho por la dirección y la
ayuda que me ha brindado durante la realización de esta tesis,
y por haberme introducido en esta rama de la Mecánica
Estadistica.
También la colaboración con los doctores F.J. de la
Rubia, F. Sagues, y A. Hernández, asi como con K. Lindenberg
y G.P. Tsironis, de la Univ. de California.
Un recuerdo especial a J. Casademunt, con quien siempre
tuve la ocasión de clarificar ideas, y a J.I. Jiménez, quien
siempre me mostró su amistad y entusiasmo.
Quisiera agradecer finalmente a los compañeros del Dep.
de Estructura y Constituyentes de la Materia de la U.B., y del
Dep. de Fisica Aplicada de la U.P.C., y muy especialmente a C.
Auguet, la amistad y ayuda en todo momento.
INDICE
I. Introducción
1.1 Contexto I.l
1.2 Ruidos y Procesos 1.6
1.3 Caracterización de la Dinámica del Sistema . I.11
1.4 Tiempos de Paso en Sistemas Markovianos
Unidimensionales 1.14
1.5 Tiempos de Paso en Sistemas con
Ruido de Color 1.20
1.6 Simulación 1.27
1.7 Esquema del Trabajo 1.30
1.8 Conclusiones, Resultados Originales y
Perspectivas 1.42
Referencias 1.50
II. First Passage Time for a Bistable Potential Driven
by Colored Noise
II. 1 General Remarks II. 1
11.2 A Lower Bound for the Critical Noise of
the Fluctuating Potential Approximation . . . . 11.24
11.3 Highly Colored Noise 11.32
11.4 New Aspects of the Bistable Problem . . . . 11.41
III. First Passage Times for a Marginal State Driven by
Colored Noise
IV. Stochastic Dynamics of the Chlorite-Iodine Reaction
I. INTRODUCCIÓN
I.l
I.l CONTEXTO
El estudio de sistemas fuera del Equilibrio constituye
una de las ramas más interesantes de la Fisica Moderna. Sin
duda, ha sido en este tipo de sistemas donde se ha encontrado
la más rica fenomenología, y donde más interrelación tiene la
Física con otras áreas de la Ciencia.
Sin embargo, al contrario de lo que se encuentra en la
Física del Equilibrio, en estos problemas se carece de una
formulación general y unificada para su tratamiento. Más bien
se ha desarrollado en cada sistema sólo aspectos parciales,
adoptando en cada caso la metodología que parece más
apropiada. Básicamente, el origen de la carencia de tal
formulación radica en la gran complejidad de los sistemas
involucrados. La proyección de la evolución de todas las
variables sobre unas pocas variables relevantes suele conducir
a ecuaciones de evolución (que muchas veces sólo han podido
ser obtenidas de forma fenomenológica) no lineales, de difícil
tratamiento. Son estas ecuaciones las que describen el
diagrama de fases y bifurcaciones del sistema. Sólo soluciones
estacionarias en ciertas condiciones particulares de estas
ecuaciones corresponden a estados de equilibrio, y pueden ser
tratados por la teoría Termodinámica usual.
Además, la propia dinámica de los grados de libertad
olvidados induce fluctuaciones en el comportamiento de las
1.2
variables relevantes que no aparecen contempladas en sus
ecuaciones deterministas. Estas fluctuaciones son importantes
por el hecho de que van a hacer posible toda una variedad de
procesos nuevos como la evolución entre diversos atractores,
o la formación de estructuras disipativas.^'^ El tratamiento
de estos procesos requiere, pues, un punto de vista en el que
la evolución de los sistemas en el espacio de fases es
estocástica. Todo esto nos sitúa en el marco de los Procesos
Estocásticos, que constituye el contexto del presente trabajo.
Un sistema estocástico ya no evoluciona con una
trayectoria detejnninista en el espacio de parámetros, sino que
tendrá definida una cierta distribución de probabilidad en ese
mismo espacio. Existe una doble formulación en el estudio de
estos sistemas. Una posibilidad consiste en el tratamiento de
una ecuación maestra para la evolución de la probabilidad de
transición. La formulación que utilizaremos, posiblemente más
intuitiva, parte de ecuaciones diferenciales de tipo Langevin
para las variables del sistema, en las que se distingue la
acción de una fuerza determinista, que puede ser no lineal y
cuya forma da cuenta del tipo de proceso que se está llevando
a cabo, y un término estocástico o ruido, que modeliza las
fluctuaciones. Esta ecuación recibe el nombre de Ecuación
Diferencial Estocástica [SDE], y tiene la forma
1.3
x{t) = fUit)) +g{x{t)) $(t) (1)
Las funciones f(x) y ^(t) son las fuerzas determinista y
estocástica respectivamente. La función g(x) contiene el
acoplamiento entre las fluctuaciones y el sistema. La
terminologia usual califica al ruido de aditivo cuando g es
constante; en caso contrario el ruido se dice multiplicativo.
Para sistemas con varias variables y varias fuentes de ruido,
la ecuación anterior se debe entender como una ecuación
matricial.
En la ecuación (1) tanto ^(t) como x(t) son conjuntos de
variables aleatorias etiquetadas con el parámetro t, lo que
recibe el nombre de Proceso Estocástico. La virtud del
planteamiento de la SDE es que nos permite relacionar las
estadísticas de ^(t) (que, con toda generalidad, se supondrá
lo más sencilla posible) y de x(t) (que representa la dinámica
del sistema). Por tanto, las propiedades estadísticas del
ruido definen por completo el sistema a través de la SDE.
Imaginemos una colectividad de sistemas, cada uno de ellos
obedeciendo la ecuación (1) con una cierta realización del
ruido. La evolución de toda la colectividad nos dará la
evolución de su distribución de probabilidad.
La justificación de la SDE a partir de las ecuaciones
microscópicas del sistema ha sido realizada en algunos casos
1.4
particulares y bajo ciertas aproximaciones.^ Comunmente, las
fluctuaciones se introducen de forma más fenomenológica,
añadiendo simplemente el ruido a una ecuación determinista, y
comprobando a posteriori que el modelo describe correctamente
el sistema físico estudiado. La elección de la función g(x) y
de los parámetros del ruido depende del origen de las
fluctuaciones presentes en el sistema. Estas pueden estar
originadas por el gran número de grados de libertad ocultos
del sistema, o bien por la naturaleza cuántica del mismo, lo
que se conoce como ruido interno; su efecto es el
ensanchamiento de las distribuciones de probabilidad alrededor
de los estados de equilibrio, no modificando esencialmente el
comportamiento del sistema (en el caso de fluctuaciones no
homegéneas puede haber algún cambio en la naturaleza o en la
posición de los puntos de transición*'^). Su intensidad escala
con una potencia inversa del tamaño del sistema y, por tanto,
desaparece en el límite termodinámico. Estas fluctuaciones se
modelan mediante un ruido aditivo que además, debido a la
diferencia en las escalas de tiempo de las fluctuaciones
frente a los tiempos de respuesta del sistema, se toma con
tiempo de correlación cero (ruido blanco).
Además, puede existir una fuente adicional de
fluctuaciones cuando alguno de los parámetros de control del
sistema fluctúa, debido a la acción del entorno, lo cual se
conoce como ruido externo. En este caso el ruido puede ser
multiplicativo, su intensidad no tiene por qué ser pequeña, y
1.5
pueden existir correlaciones. Este tipo de ruido afecta
drásticamente al sistema, ya que puede cambiar todo su
diagrama de fases. En ciertos sistemas la presencia de
fluctuaciones estabiliza nuevos estados, proceso que presenta
muchas de las características de las transiciones de fase de
Equilibrio, y que se ha dado en llamar transiciones inducidas
por ruido. '''
Nosotros ignoraremos el problema de la justificación del
modelo representado por la ecuación ( 1 ) . En lugar de ello
supondremos conocida la SDE para un sistema concreto, y
trataremos de obtener información sobre el proceso dinámico
que el sistema, gobernado por (1), está llevando a cabo.
Ecuaciones similares a ( 1 ) pueden obtenerse también para
sistemas con dependencia espacial, pero el tratamiento de
tales sistemas se encuentra aún en sus inicios. En este
trabajo nos limitaremos a sistemas cero-dimensionales con una
sola variable, pero, como veremos, su estudio abarca todavía
una gran variedad de procesos, y los resultados que se
obtengan podrán ser aplicados a un gran número de sistemas
diferentes.
1.6
1.2 RUIDOS Y PROCESOS
La hipótesis más frecuente sobre el término estocástico
que aparece en la Ec. (1) es que sigue una distribución
noirmal, i.e. es gaussiano. En la mayoría de sistemas el ruido
modela la acción de un gran número de factores aleatorios cuya
sioma, en virtud del teorema de límite central, se aproxima a
la distribución gaussiana. No obstante, en ciertos modelos
concretos se ha usado otros tipos de ruidos como el ruido
blanco de Poisson, o el ruido dicotómico, que no trataremos
aquí.
En cuanto a las posibles correlaciones del ruido, se
suele suponer a éste descorrelacionado a tiempos distintos. Un
ruido de este tipo tiene un espectro constante de frecuencias,
y recibe el nombre de ruido blanco. Su función de correlación
se toma como
<^(t)^it')> = 2D bit-t') (2)
donde el parámetro D representa la intensidad del ruido.
Hay que mencionar aquí que el significado de la SDE es
ambiguo si el término estocástico es un ruido blanco, ya que
se puede dar un número infinito de prescripciones para
integrar la ecuación (1). De estas prescripciones, las únicas
de interés físico son las de Ito y Stratonovich. La
interpretación de Ito^ supone una completa independencia entre
1.7
los valores del proceso estocástico y los del ruido en el
mismo instante de tiempo. La interpretación de Stratonovich'
tiene el interés de que resulta ser el limite de un ruido
correlacionado con el tiempo de correlación tendiendo a cero,
hecho relacionado con que el cálculo con una SDE de
Stratonovich, a diferencia de una SDE de Ito, sigue las reglas
del cálculo normal. °' ^ En todo lo que sigue, seguiremos la
interpretación de Stratonovich de las SDE con ruido blanco.
El ruido blanco es el caso limite de una fuerza
estocástica que evoluciona muy rápidamente en el tiempo. Desde
el punto de vista fisico, esto significa que la escala de
tiempo de las fluctuaciones es muy pequeña en comparación con
los tiempos tipicos de respuesta del sistema. Esta es una muy
buena aproximación en el caso de fluctuaciones de origen
interno, y puede ser un buen punto de partida en el análisis
de sistemas sometidos a ruido externo.
Lo dicho anteriormente, junto con las interesantes
propiedades matemáticas del ruido blanco, han hecho que éste
sea el más ampliamente usado en la literatura. Un ruido blanco
no tiene memoria, por lo que los procesos gobernados por él
tienen la propiedad de si el estado presente del proceso es
conocido, entonces cualquier información adicional sobre su
historia pasada es irrelevante en la predicción de su
evolución futura. « Esta propiedad define al proceso como
markoviano. La suposición de ruido blanco permite, pues.
1.8
aplicar todo el potente arsenal matemático de la teoria de los
procesos de Markov, que es ampliamente conocida. En
particular, su distribución de probabilidad P(x,t) obedece una
ecuación de Pokker-Planck de la que es posible extraer
información exacta sobre su estado estacionario.^* En el caso
de sistemas de varias variables, para poder obtener esa misma
información son necesarias unas condiciones restrictivas
adicionales conocidas como balance detallado.^^
Sin embargo, el ruido blanco no puede ser más que una
aproximación, más o menos buena, de un ruido real. Las
fluctuaciones en un sistema tienen un tiempo de correlación
que no es estrictamente cero y que, en el caso de las de
origen externo, no tiene ya por qué ser pequeño. Entre los
sistemas físicos que han precisado una descripción con un
ruido correlacionado, podemos citar la resonancia en un campo
magnético fluctuante,^^ la intensidad de salida de un dye
laser"*'® y, en general, las situaciones experimentales en
las que es posible controlar la fuente de ruido.
Dedicaremos una buena parte de este trabajo a sistemas
sometidos al ruido de Ornstein-Uhlenbeck, que es un ruido
gaussiano con una función de correlación que decrece
exponencialmente de la forma
1.9
<$(t) $(t')> = — e * (3)
Los parámetros D y x son la intensidad y el tiempo de
correlación del ruido respectivamente. El limite x-O
corresponde al ruido blanco (2).
Un proceso llevado por un ruido correlacionado, llamado
ruido de color en oposición al ruido blanco, no es markoviano
y, en general, no es exactamente resoluble.^ La ecuación de
evolución para la probabilidad ya no es la conocida ecuación
de Fokker-Planck, sino un desarrollo en derivadas de orden
infinito. Es posible recuperar la markovicidad ampliando el
espacio de variables a {x, Ç}, (y, por tanto, disponiendo de
una ecuación de Fokker-Planck en dos variables para la
probabilidad P(x,^,t)), pero ese sistema de dos variables no
cvimple la condición de balance detallado.
En la última década se han publicado una serie de
resultados aproximados para el problema del ruido de color.
Una gran parte de ellos, que podriamos llamar aproximaciones
cuasi-markovianas, obtienen ecuaciones de Fokker-Planck
efectivas para la variable x a partir de desarrollos en D o en
X, de las cuales se puede obtener información por los métodos
usuales de los procesos de Markov. '• ° Este enfoque tiene
algunos problemas originados por el carácter especificamente
no markoviano de las condiciones de frontera en algunos
1.10
procesos; por eso otros autores han preferido realizar
desarrollos en x directamente sobre el cálculo en la ecuación
de Fokker-Planck de dos variables, en la que las condiciones
de frontera pueden ser tratadas correetamente. - '" Para el
caso de relajación de sistemas inestables, la Teoria
Cuasideterminista [QDT]" aprovecha la linealidad de los
primeros estadios de la relajación para obtener resultados
válidos para todo r y pequeña D. También se ha atacado el
limite T-*«),"'" en el que el ruido tiene un valor constante,
con el fin de obtener pistas sobre el comportamiento para x
finito. Por último, una formulación distinta del problema
basada en integrales de camino, "' ^ está empezando a dar
resultados en sistemas con ruido de cualquier tiempo de
correlación e intensidad pequeña. ®*'
1.11
1.3 CARACTERIZACIÓN DE lA DINÁMICA DEL SISTEMA
Los sistemas que han precisado una descripción en
términos de una SDE han sido aquellos en los que las
fluctuaciones juegan un papel fundamental en su
comportamiento. En ellos, la evolución de un cierto parámetro
(o conjunto de ellos), representado por la variable x, se
produce desde su valor inicial hasta un cierto valor final que
indica que el proceso se ha realizado.
Un conocimiento completo de la evolución del sistema (1)
supondria la obtención de toda la jerarquia de distribuciones
conjuntas de probabilidad P(x,t), P(x,t;x',t'), ... para todo
tiempo (sólo las dos primeras si el proceso es markoviano). Es
posible, sin embargo, obtener caracterizaciones útiles del
proceso dinámico representado por esÀ ecuación sin necesidad
de obtener la evolución de las distribuciones de probabilidad.
La caracterización más representativa desde el punto de vista
fisico es el valor de la escala de tiempo en el que la
evolución tiene lugar.
La caracterización de sistemas por medio de sus tiempos
característicos es, pues, sujeto de investigación tanto
teórica como experimental. Podemos citar investigaciones
acerca de la relajación crítica de estados de equilibrio
(critical slowing down),^° tiempos de formación de dominios
magnéticos, gotas u otras estructuras espaciales,^^ tiempo de
1.12
aparición de un orden macroscópico,^^ tiempos de paso en
sistemas físicos, químicos y biológicos," dinámica de
láseres *' ^ y de cristales líquidos.^^
Posiblemente el tiempo característico más conocido y más
ampliamente utilizado es el Tiempo Medio de Primer Paso
[MFPT]. Este tiempo se define como el promedio sobre muchas
realizaciones del tiempo en el que el sistema cruza por
primera vez una frontera previamente establecida. Los momentos
superiores del tiempo de primer paso dan, además, una idea del
grado de aleatoriedad presente en dicha evolución. Este tiempo
resulta ser de muy fácil medida en una simulación o en un
experimento, pero en general su cálculo exacto sólo es posible
en procesos markovianos.
^ Una definición alternativa de escala de tiempo es la del
Tiempo de Relajación. ' ^ Esta definición toma como auxiliar
una función de las coordenadas del sistema cuyo promedio
relaja hacia su valor estacionario, midiendo el tiempo en el
que se produce esta relajación. Frente al MFPT permite también
la caracterización de la dinámica de las fluctuaciones del
estado estacionario. Además, su formalismo carece de muchos de
los problemas matemáticos del MFPT, e incluye de forma natural
el tratamiento de cualquier tipo de condiciones iniciales.
Una tercera alternativa lo constituye el inverso del
valor propio más bajo del operador de evolución temporal del
1.13
sistema. Este tiempo es especialmente indicado para el cálculo
numérico por el método de fracciones continuas.
1.14
1.4 TIEMPOS DE PASO EN SISTEMAS MARKOVIANOS UNIDIMENSIONALES
Nuestra intención en esta sección es establecer el método
standard '•*° empleado en el cálculo de tiempos de paso,
restringiéndonos al caso unidimensional con ruido blanco. En
la sección siguiente revisaremos los métodos empleados en el
caso de sistemas no markovianos.
Consideraremos el proceso dinámico gobernado por la SDE
unidimensional (1)/ con ruido blanco. Es conocido que la
evolución de la probabilidad condicional P{x',t' \ x,t) viene
dada por la ecuación de Fokker-Planck.
•J-¡PW, t'|x, t) = LíxO P(x^ t'\x, t) ) (4)
donde L(x) es el operador de Fokker-Planck*^
L{x) = -J-{fix)-fDff(x)g'{x))\ D-^g^{x) (5) ax dx^
Esta formulación recibe el nombre de forward, ya que plantea
la evolución del estado final una vez fijado el estado
inicial, que aparece en la ecuación de forma paramétrica. La
solución estacionaria de la Ec. de Fokker-Planck es, caso de
que exista.
P^^{x') - limp(x/, t|x,0) = ^ . exp D} "^ g^ (y)
(6)
1.15
El objetivo al calcular el MFPT de este sistema es, como
ya hemos dicho, encontrar una descripción de la dinámica de
este sistema. De hecho, el conocimiento completo de la
distribución de tiempos de paso supone el conocimiento
completo de esa dinámica. Usualmente, se buscan los dos
primeros momentos: el primero (MFPT) da la escala de tiempos
del proceso, el segundo da una idea de la aleatoriedad del
mismo. Este último es necesario para completar la información
del MFPT, puesto que existe siempre una parte de la dinámica
dominada por las fuerzas deterministas.
El cálculo de los tiempos de paso requiere una
formulación backward del problema, en la que se fija el estado
final (o frontera asociada al tiempo de paso) y se necesita la
dependencia en la condición inicial. La ecuación backward es
la adjunta de (4)
- ^ P U ^ t'|x, ü) = -L*(.x)P(x',t'\x,t) (7)
Consideraremos que la partícula está en la posición x en
el instante inicial t=0, y nos preguntamos por el tiempo que
permanecerá en el intervalo (a,b), que se supone contiene a x.
En las posiciones límite a, b colocamos sendas barreras
absorbentes. De esta forma, si la partícula se encuentra en el
intervalo (a,b) en un instante dado, es seguro que todavía no
ha cruzado la frontera del problema.
1.16
Definamos G(x,t}=Prob(T>t) la probabilidad de que la
partícula todavía se encuentre dentro del intervalo (a,b) en
el instante t.
(X, t) = W p ( x ^ t|x,0) (8) J a
dGlx t) Como consecuencia, la cantidad ^5-^—- es la densidad de
de
probabilidad correspondiente a la distribución de tiempos de
primer paso. Deduciremos la ecuación que obedece la función
G(x,t), de la que será posible obtener, mediante cuadraturas,
el promedio de cualquier función del tiempo de primer paso. En
particular, los momentos de esa distribución vienen dados por
TAx) = -f"t"^G(x, t)dt = iif"t"-^GU, t)dt (9) Jo at Jo
Como el sistema es homogéneo en~el tiempo, se cumple que
p{x' ,t I x,0)=p{x' ,0 I x,-t), y la Ec. backward (7) se puede
escribir de la forma siguiente
-^pU',t|x,0) = L*U)p(x^t|x,0) (10)
con las condiciones de contorno dadas por la condición inicial
en X y por las barreras absorbentes en a y Jb
1.17
p{x',0\x,0) = Ô(x-xO
p{x',t\a,0) =p{x',t\b,0) =0
de forma que G(x,t) cumple la ecuación
-¿GU, t) = L*(x) G{x,t) dC
(11)
^, . jlx€(a,b) (12)
G{x,0) = \ ^ ^, ,.
G'<a, t) = G(i3, t) = 0
Multiplicando esta última ecuación por nt°" , e integrando
sobre la variable t, se obtiene la ecuación que cximplen los
momentos T^ix) (donde definimos TQ^I)*^
-i3r„_i(x) = LMx)r„(x) (13)
con la condición de contorno
r„(a) = T^m = 0 (14)
La varianza de la distribución de tiempos de paso
(AT)^=T2-T^ obedece una ecuación con la misma estructura.
Tomando la Ec. (13) para n=l y n=2, se obtiene
L*(x) (ÄT(x))2 = -2Dg2(x)(r'(x))2 (15)
Por tanto, la varianza y los momentos se pueden ir obteniendo
por integraciones sucesivas.
En el caso de que una de las fronteras corresponda a una
1.18
barrera reflectante, la condición de contorno es ligeramente
diferente. Para concretar, supongamos que la coordenada a es
una barrera reflectante. Entonces la condición de contorno en
a debe ser modificada a
-|-G(x, t) dx = O (16)
es decir,
2l(a) = O (17)
r„(jb) = o
Estas últimas condiciones de frontera son las que aparecen en
un gran número de casos de interés, y son las utilizadas en
los sistemas estudiados en este trabajo.
La integración de las ecuaciones (13) (n=l) y (15), con
las condiciones de contorno (17), da como resultado
^ ^ = Í n 2, T D ^ N Í '^2 ^-^^2^ <^^>
para el MFPT, y para su varianza
(Ar(x))2 = -L f ^ f""-:^-D' ¡ ^g'ix,)p,,ix,) ¡ ^ gHx,
dx¿
2' ^SB ^ • ^ '
(19)
X I dXjP^ÍXj) I dx^p^gix^) dXjP^ÍXj) c
a Ja
Hemos de señalar aquí que el problema del tiempo de
1.19
primer paso por una frontera se ha podido expresar como una
condición de contorno absorbente. Cualquier proceso continuo
debe tocar una frontera para poder cruzarla, lo que provoca
que la distribución de tiempos de primer paso venga dada por
una condición de contorno. Esto es debido a la naturaleza
continua del proceso. Sin embargo, la naturaleza concreta de
la condición de contorno es una consecuencia directa de que el
ruido sea blanco."
1.20
1.5 TIEMPOS DE PASO EN SISTEMAS CON RUIDO DE COLOR
El ruido de color gaussiano más sencillo es el proceso de
Orstein-Uhlenbeck/'' el cual se puede generar a partir de una
SDE con un ruido blanco auxiliar íi(t):*
$(t) = -JiÇ(t)+Ati(t) (20)
La función de correlación de un ruido de este tipo es
(3). Cuando $(t) actúa en la SDE (1), el sistema formado por
las dos variables {x,Ç} es markoviano, y su evolución, dada
por la pareja de ecuaciones (1), (20), obedece la ecuación de
Fokker-Planck
-^P{x'.V.t'\x,l,t) = L{x',^')P{x',e,t'\x,^,t)) (21)
con
L{x,^) = -^(f(x)+gr(x)0 + A 9 Ç D ^ J22)
Ya se ha mencionado anteriormente que este sistema no
cumple las condiciones de balance detallado, lo que impide que
se pueda obtener en general, por ejemplo, información exacta
sobre su estado estacionario. Tampoco se conoce ninguna
relación exacta entre la dinámica dada por (21), (22) y el
problema del MFPT.
Dado que la dificultad proviene de tratar con un sistema
1.21
en dos variables, una posible solución es encontrar la
ecuación dinámica que obedece la variable x, i.e. la ecuación
de evolución para P(x' ,t' \ x,t). Esta ecuación puede obtenerse
de muchas maneras, incluyendo la integración de la ecuación de
Fokker-Planck (21), (22) sobre la variable ruido. La expresión
resultante es, en general, no local, y su conexión con el MFPT
es obscura. En particular, éste ya no puede ser expresado como
un problema de condiciones de contorno.
La mayoría de las aproximaciones realizadas sobre este
sistema tratan de representar la evolución de P(x',t' I x,t)
mediante una ecuación de Fokker-Planck efectiva que tenga en
cuenta de forma aproximada los efectos de la correlación del
ruido. Para ello pueden usarse diversas técnicas, pero siempre
se toma como muy pequeño alguno de los parámetros del ruido.
D O T . La ventaja de esta formulación en que, disponiendo de
una Ec. de Fokker-Planck para una variable, es posible aplicar
las técnicas de la sección anterior para obtener el estado
estacionario y su conexión con el MFPT.
El método standard^' de atacar este problema parte de la
Ecuación de Liouville estocástica**, en la que se toma un
promedio sobre realizaciones, con el resultado
P{x',t'\x.t) = — '^f{x')P{x'.t'\x,t) dt' dx' (23)
- -^srUO<Ç(t)ô(Jf(t)-x)> ax'
1.22
donde la trayectoria X(t) es un funcional del ruido i(t) y
P{x',t'\x,t) = <ò(X(t)-x')>xM.x (24)
Es posible utilizar la gaussianidad del ruido mediante el
Teorema de Novikov/^ resultando la (todavía) exacta ecuación
de evolución
^P{x', t'\x, t) = --ß^fix') Pix', t'Ix, t) - -J-:g{x') - ^ dt' ' dx' ' dx'" dx'
(25)
^/;-^«^(4i^ b{X{t)-x')
Todo el problema se reduce a encontrar una expresión
aproximada tratable (en la que no aparezca explícitamente el
ruido) de la función respuesta, definida como la derivada
funcional -^^i£J_. De esta forma, integrando la Ec. (25) se
llega a una expresión formalmente idéntica a las Ees. (4),
(5), pero donde el operador de evolución tiene un coeficiente
de difusión local que depende de x
L(x) = -4-ifix)+D,{x)ff{x)g'(x)) + -^D,{x)gHx) (26) dx ^ ' dx^
De esta forma, siguiendo el mismo procedimiento que en caso de
ruido blanco, se llega a la expresión para el MFPT*
1,23
Tix) = f , af\o / í '^aí'.sUa) (27)
con
Paa^X) = „ / , , > exp * D^ (x) gr(x) í dy^^íyï-
D, (y) gr (y) (28)
Se han desarrollado diversos métodos para encontrar
expresiones de la difusión efectiva D^(x). Aproximando a
primer orden en x el desarrollo correspondiente a la Ec. (25)
se obtiene la llamada small x approximation, dada por
D^ix) =D(l-Hirg(x)(|l|L|') (29)
Otra expresión, válida a primer orden en D y conservando
los términos de todos los órdenes en T, es la serie
correspondiente a la llamada Best Fokker-Plank Equation,
representada simbólicamente como
D,{x) ^ D^^[l^xf{x)-áX^.^^ (30) ^ g(x) \ dxj f{x)
Uno de los inconvenientes de este tipo de aproximaciones
es la aparición de fronteras no naturales en el problema,
debido a la posible presencia de cambios de signo en la
difusión efectiva D,(x) y, por tanto, de zonas no físicas de
probabilidad negativa. Es posible evitar esto utilizando
resumaciones de términos de órdenes más altos en T. Las
1.24
aproximaciones que se obtienen mediante estos métodos
coinciden en el término lineal, y su dominio de validez en el
cálculo del MFPT se limita siempre a valores pequeños de x. En
este trabajo, utilizaremos estos resultados como una
aproximación de primer orden en r, con el fin de obtener de
forma consistente correcciones a primer orden en x en el MFPT.
La formulación mediante una ecuación de Fokker-Planck
efectiva supone implícitamente que las condiciones de contorno
son las mismas que las del mismo sistema con ruido blanco, lo
cual sólo es cierto bajo ciertas condiciones. Este es un punto
al que volveremos varias veces a lo largo de este trabajo.
Las condiciones de contorno pueden introducidas de forma
correcta en la Ec. de Fokker-Planck en dos variables (21),
aunque la conexión, incluso aproximada, con el MFPT puede
resultar problemática. Esto se ha podido llevar a cabo en
algunos casos particulares. ' ^ Una forma de hacerlo, diferente
de la explicada, consiste en formular el problema del MFPT
considerando el estado estacionario correspondiente al caso de
partículas inyectadas a un ritmo constante y que,
evolucionando de acuerdo con Ec. (21), son aniquiladas por la
barrera absorbente.*'' ^
Recientemente se han desarrollado unas aproximaciones
diferentes al problema del MFPT con ruido de color, basadas en
formulaciones de integrales de camino.""" En este formalismo.
1.25
la trayectoria se obtiene minimizando un cierto funcional de
la misma, llamado acción. La aplicación al paso entre los dos
pozos de un sistema biestable da, para D pequeña, un MFPT de
la forma
r= Jr(T)e <*>/ (31)
donde S(x) es el valor de la accción minima, y K(x) da cuenta
de las fluctuaciones alrededor de la trayectoria de acción
minima. Esta trayectoria se obtiene numéricamente. Por el
momento se han podido obtener, en el limite D-0, valores del
término exponencial de la Ec. (31) para el potencial de
Ginzburg-Landau,^'«^' y del MFPT para un sistema biestable
formado por partes lineales."
La Teoria QDT"'^° proporciona una aproximación
alternativa al MFPT correspondiente a la relajación de estados
inestables. Esta teoria sustituye la dinámica estocástica de
la Ec. (1) por una dinámica determinista con una condición
inicial aleatoria. Consideremos la SDE correspondiente a un
sistema inestable lineal
:t=ax+ Ç(ü) (32)
Esta ecuación gobierna los primeros estadios de la relajación
de los estados inestables, en los que el ruido desencadena el
proceso de relajación. La solución de la Ec. (31), con la
condición inicial x(0)=0, es
1.26
xit) = ii(t)e« (33)
donde
hit) = I dt'e'"='^{t'} (34) J o
Para tiempos t«a" , x, se puede reemplazar h(t) por h(»),
que es un número gaussiano de media cero y varianza
(h'M) = ^(,^^,, (35)
De esta forma, la dinámica lejos de el punto inestable es
determinista, quedando el efecto de las fluctuaciones en una
condición inicial. El Tiempo de Paso correspondiente a la
llegada a una distancia R del punto inicial viene dado, para
intensidades pequeñas de ruido, por
r= — I n 2a
-^(l+ax)! - A{Y+2ÍJ72) (36)
1.27
1.6 SIMULACIÓN
La simulación nvunérica de los sistemas estudiados es una
potente herramienta auxiliar a la hora de elaborar modelos y
comprobar la validez de las aproximaciones efectuadas. En el
caso de la integración de una SDE, el método de simulación es
diferente del de una ecuación diferencial ordinaria. Lo que se
hace es obtener trayectorias particulares a partir de
realizaciones diferentes del ruido, sobre las que se realizan
los promedios estadísticos correspondientes. Cada una de las
realizaciones corresponde a una secuencia distinta de números
aleatorios, generados con la estadística apropiada mediante
las técnicas usuales de los métodos de Monte Cario.
Los algoritmos empleados en la simulación de la SDE (1)
son stardard, y están descritos en la Ref. 19. Describiremos
a continuación las expresiones más importantes de la
simulación para ruido blanco y ruido de color.
Consideremos en primer lugar la SDE (1) con el ruido
blanco gaussiano de correlación (2). La trayectoria se calcula
mediante una discretización en el tiempo, con un step A.
Integrando (1) de t a t+A, se obtiene el valor de g(t+A) a
partir q(t):
1.28
t+A = x¿+f{x¡.)A+g{Xt.)Xj^{t)
(37) + gix,) g' ix,) xUt) +0(A^^^)
donde Xi(t) es un número gaussiano de media nula y varianza
{xlit)) = 2i?A (38)
En el caso de tener ruido de color de Ornstein-Uhlenbeck,
hay que integrar simultáneamente las dos ecuaciones (1)/ (20).
Un procedimiento similar al utilizado para ruido blanco da
como resultado para la evolución de la pareja de variables
x , = x^+f(x,)A+g{x^)^^à + ^g'{x^)g(x,)i\A''
+ -^f'(x,) f{x,) A2+-i.f/(x,) gr(Xt) Ç tA'
+ -|g/(x,) fix,) Ç ,A2-At-igr(x,) Ç .A
+T-igr(Xc)A2(t)+0(A5/2)
(39)
ít.A = Ç,-^$tA + Jfi(t)+0(A3/2) (40)
donde X2(t) es un número gaussiano de media nula y varianza
(z|(t)) = |DA3 (41)
Además, Xi(t) Y X2(t) no son independientes, sino que se cumple
1 . 2 9
que
(Zi ( t ) ^2 ( t ) > = DL' (42)
1.30
1.7 ESQUEMA DEL TRABAJO
El presente trabajo se centra en el problema de las
escalas de tiempo de ciertos tipos de procesos bastante
generales. En particular, utilizaremos el formalismo del MFPT
en los siguientes sistemas: paso a través de una barrera en un
potencial biestable, paso a través de una inestabilidad
marginal, y relajación de un sistema deteirminista bajo la
acción de un ruido multiplicativo.
Se ha dividido la exposición en tres partes principales,
redactadas en inglés, pues corresponden a trabajos de
investigación publicados en ese idioma. Cada una de las
secciones es autoconsistente, de forma que incluye las
conclusiones correspondientes y su bibliografia. A
continuación vamos a comentar los aspectos más relevantes de
los mismos.
1.7.a Cap. II: First Passage Time for a bistable
potential driven by colored noise.
El Capítulo II es el más extenso, y corresponde al
problema del MFPT de un sistema biestable sometido a ruido de
color.
El paso de sistemas a través de una barrera de potencial
1.31
llevados por fluctuaciones de origen externo ha sido objeto
estos últimos años de estudio por parte de numerosos grupos,
dando lugar a una serie de resultados parciales y a veces
contradictorios, mayormente para el caso x>0. El sistema en
cuestión obedece la SDE
:t = x-x^ + ^(t) (43)
El potencial asociado ^{x) =--jX^+—x* presenta dos mínimos en
x=l y x=-l y un máximo en x=0. Cualquier otro potencial
biestable llevaría a los mismos resultados, salvo
contribuciones no muy relevantes, debido a la universalidad
del proceso dinámico. La situación inicial corresponde al
ruido en su estado estacionario, y el sistema situado en el
pozo x=-l. El sistema, bajo la acción del ruido, acaba por
cruzar la barrera y alcanza el otro pozo.
Dos MFPT distintos se definen en este sistema, y son
calculados por los diferentes grupos: el correspondiente al
paso por la coordenada x=0, que denominamos Tcop/ Y ©1
correspondiente al paso por la coordenada x=l, denominado Tbot«
Los resultados existentes son cálculos asintóticos en alguno
de los límites D-0 o x-». Ambos límites se caracterizan por un
MFPT exponencialmente grande y, por tanto, fuera de las
posibilidades de una simulación analógica o digital.
Nuestro objetivo es clarificar el campo de los procesos
1.32
biestables, determinando los dominios de validez de las
diferentes teorías, y estableciendo la forma en la que debian
interpretarse las aproximaciones. Para ello se ha realizado un
exhaustivo conjunto de simulaciones del sistema de estudio, y
se ha llevado a cabo un análisis teórico de las situaciones no
explicadas satisfactoriamente por los resultados disponibles.
En la Sec. II.1,^^ se realiza una simulación digital del
sistema biestable bajo la acción de ruido de color, estudiando
la dependencia del MFPT en los parámetros del ruido. Para
ruido blanco, el resultado teórico de Kramers^^, resultado
asintótico para D pequeña producto de una aproximación
steepest descent, presenta grandes discrepancias con los
valores del MFPT procedentes de la simulación y del cálculo
numérico exacto para los valores accesibles de D. Resulta asi
claro el origen de parte de la confusión acerca de la
corrección de los distintos cálculos en el caso de x pequeña.
Siendo estos cálculos resultado del mismo tipo de aproximación
asintótica, la forma de poder comparar con las simulaciones
sin que la dependencia en T quede enmascarada por los errores
sistemáticos ocasionados por el valor finito de D, es fijarse
en la cantidad T(x)/T(x=0).
El siguiente problema es el relativo a las diferencias
entre los distintos MFPT definidos en este sistema. Siendo Ttop
y Tbot representativos de la escala de tiempos en la que se
produce el paso de uno a otro pozo, es fácil ver que éstos no
1.34
atracción del segundo pozo si T>0/ y por eso T p se aproxima
a Tbot a medida que aumenta la correlación del ruido.
Asi, las teorias que calculan T^^^ en la aproximación
cuasi-markoviana de una difusión efectiva para la variable x,
en realidad obtienen resultados que se corresponden con Tg p,
o con íTbot/ como se muestra en la comparación con la
simulación. Sólo el cálculo de Doering^^, realizado en el
espacio {x,^}, obtiene la dependencia en x' ^ observada en la
simulación. Por otro lado, respecto al resto de resultados,
todas las teorías concuerdan con la simulación para pequeños
valores de T, pero para valores más grandes, donde aparecen
las diferencias entre las distintas teorías, ninguna de ellas
concuerda especialmente mejor que las demás.
Esto nos lleva a considerar el caso del límite x-«». En
este límite, la teoría del potencial fluctuante de Tsironis y
Grigolini [TG]" predice la dependencia asintótica del MFPT
2 T como una exponencial en -——, dependencia no observada en los
rangos de parámetros accesibles mediante simulación o cálculo
numérico. Otros cálculos obtienen esta misma dependencia. El
análisis de TG está basado en el carácter constante del ruido
cuando x tiende a infinito, de forma que identifican el MFPT
con el tiempo necesario para que el ruido alcance el valor
crítico mínimo necesario para que se produzca la transición.
Para x finito, sin embargo, el ruido efectúa una relajación (o
1.35
pérdida de memoria de su condición inicial, si se prefiere,
dictada por su función de correlación) que dura un tiempo del
orden de x, que puede no ser suficiente para que el sistema
alcance el segundo pozo. Así pues, el sistema necesita
realmente un valor mínimo del ruido más grande que el predicho
por TG, dando lugar a un drástico aumento del MFPT. Un trabajo
previo,^^ recogido en la Sec. 11.2, establece una cota
inferior para el ruido crítico imponiendo la condición de que
el tiempo de transición determinista (con ruido constante) sea
menor que T. Aquí atacamos el cálculo de una corrección al
MFPT con T grande pero finito refinando el cálculo de TG. El
argumento utiliza el hecho de que, para x grande y D pequeña,
el ruido relaja de forma deteirminista siguiendo una ley
exponencial conocida. Un análisis lineal del sistema cuando
pasa por el punto más alto de la barrera, x=0, permite
calcular el diferente efecto del ruido (relajando
exponencialmente) sobre la transición del sistema según cuál
sea su valor inicial y su tiempo de correlación x. Esto
permite establecer una relación entre los valores críticos del
ruido para x-oo y x finito. A partir de ello obtenemos una ley
de escala que resulta ser el resultado más prometedor obtenido
para el MFPT de un sistema biestable con un ruido con tiempo
de correlación grande. Según esta ley, el MFPT es x veces una
función del parámetro de escala -l|i+—j .
Por último, la Sec. II. 1 revisa el problema de la
1.36
comparación de las escalas de tiempo del sistema biestable con
los resultados nximéricos del valor inverso del autovalor más
bajo de la Ec. de Fokker-Planck bidimensional del sistema (4).
Tal cálculo coincide en realidad con Ta,p o con sTbot/ Y sólo
para D pequeña, aunque en la literatura se le ha relacionado
con frecuencia con Ttop. Como comentario adicional podríamos
decir que Tep y Tboc son escalas de tiempo físicamente más
relevantes y relacionadas con el proceso de paso de uno a otro
dominio de atracción, mientras que la T p encierra información
más matemática que física sobre la especial condición de
frontera contenida en su definición.
Las secciones 11.2 ^ y II.3" están dedicadas a partes
del análisis efectuado sobre el caso del limite x grande. La
Sec. II.2 contiene la ya mencionada explicación del fallo de
la teoría de TG para dar valores del MFPT con x finito. La
Sec. II.3 apunta la posibilidad de que el resultado de una
dependencia exponencial con un factor 2/27, predicho por TG y
por el resto de teorías disponibles, sea incorrecto en un
factor 4/3, salvo quizás para valores de x extraordinariamente
grandes, inaccesibles por completo a cualquier experimento o
simulación. En efecto, la evidencia de los resultados
numéricos disponibles en la literatura, asi como una
extrapolación de la ley de escala obtenida y confirmada en la
Sec. II.1, indican que el coeficiente tiene un valor próximo
a 32/81. En esta sección se da una explicación de esta
modificación, basada en el análisis de las simulaciones
1.37
efectuadas por Mannella y Palleschi^^. Estos autores
comprobaron el aumento del valor crítico del ruido al
disminuir x predicho en Ref. 53, observando que los valores
del ruido cuando se produce la transición siguen una
distribución cuyo máximo se desplaza de la forma prevista y
cuya anchura aumenta al disminuir x, proponiendo una
modificación del resultado TG contemplando la existencia de
tal distribución. Nuestro análisis muestra que la anchura
finita de esta distribución, aún tendiendo a cero en el límite
T-oo, produce unos efectos exponencialmente grandes en el MFPT,
que se traducen en un cambio en el coeficiente de la
exponencial tal y como aparece en las simulaciones.
En la Sec. II.4" se hacen dos últimas consideraciones
sobre el problema del sistema biestable. La primera de ellas
hace referencia a la forma en la que Top se hace igual a Tot
cuando x se hace infinito. Partiendo de las leyes conocidas
para x pequeña, y suponiendo un decaimiento exponencial a 1
del cociente entre las dos cantidades, obtenemos una ley que
es confirmada por los datos de la simulación. La segunda de
las consideraciones es la existencia de una única escala
temporal, que caracterice la evolución del sistema a tiempos
largos, incluso para valores grandes de T. La condición de la
existencia de esa única escala temporal es que el autovalor
más bajo del operador de evolución (la ecuación de
Fokker-Planck bidimensional) esté aislado. Se ve que eso
ocurre si el cociente entre el MFPT y su desviación standard
1.38
es la unidad, condición que cumplen los resultados de la
simulación para todo x.
I.6.b First Passage Times for a marginal state driven by
colored noise
El Capitulo III" está dedicado al cálculo del MPPT en
sistemas que presentan inestabilidades de tipo no lineal,
llamados marginales, cuando el ruido que actúa es de color. La
SDE de estos sistemas tiene una forma típica
ji = ß + ax« + C(t) (44)
con n>l. Cuando ß=0, el punto x=0 es el punto marginal.
El cálculo concreto se ha realizado para un potencial
cúbico, i.e. n=2, potencial que ya ha sido analizado en el
caso de ruido blanco.^*'^' Aquí obtenemos el primer orden en
T del MFPT y de su varianza, correspondiente al proceso de
paso desde una coordenada inicial x=-<» hasta una final x=<».
En un modelo de este tipo el ruido realmente sólo actúa
en las proximidades del punto marginal, siendo toda la
evolución lejos de él resultado de la acción del potencial
determinista. Por ello, todos los sistemas que cerca del punto
marginal admitan un desarrollo similar a (44), responderán en
realidad a la misma física, encontrándose sus diferencias
1.39
contenidas en la parte determinista de su evolución (y por
tanto, esas diferencias serán fáciles de calcular). Como
ejemplo de sistema real con un punto marginal similar
encontramos el modelo de Bonifacio-Lugiato para la intensidad
de un láser. *' En este modelo, la coordenada x se corresponde
con la intensidad de luz emitida, y el encendido del láser se
efectúa cambiando el valor del parámetro de control ß. La
correspondencia es total entre los dos modelos, una vez
corregida la parte determinista de los resultados.
Es posible extender el resultado (a primer orden en x)
del MFPT del sistema marginal (ß=0) a valores grandes del
tiempo de correlación del ruido. Un cálculo dimensional nos
dice cómo depende de los parámetros del potencial y del ruido
la extensión de la zona alrededor del punto marginal donde la
dinámica está dominada por el ruido. Dentro de tal zona, el
movimiento del sistema es prácticamente una difusión libre.
Suponiendo inicialmente el sistema en x=0, es posible calcular
exactamente la evolución de la anchura de la distribución de
probabilidad P(x, t). Identificando el MFPT como proporcional
al tiempo de salida de la zona marginal, e identificando este
tiempo con el tiempo necesario para que la distribución de
probabilidad alcance una anchura del tamaño de esa zona, se
obtiene una ecuación que da el MFPT, y en donde los únicos
parámetros son To y Tj, los órdenes cero y primero del MFPT que
han sido calculados por los métodos conocidos. Un cálculo
similar es aplicado también al sistema inestable lineal (n=l.
1.40
ß=0), resultando equivalente a la QDT para D pequeña, pero con
buenos resultados para D grande.
1.6.C Stochastic Dynamics of the Chlorite-iodide
reaction.
En el Capitulo IV ^ se presenta el caso de un sistema
quimico en el que existe una fuerte irreproducibilidad
experimental en los tiempos de reacción. El mecanismo de
reacción se modeliza mediante una ecuación cinética para la
variación de la concentración de uno de los productos de
reacción, ecuación que, al contrario de los sistemas
estudiados en las secciones anteriores, da una evolución
determinista sin necesidad de la presencia de fluctuaciones.
El tiempo de reacción se corresponde en este formalismo con el
MFPT para que la variable que representa esa concentración
alcance un cierto valor prefijado." El elemento de
aleatoriedad es atribuido a inhomogeneidades locales
amplificadas por la no linearidad del mecanismo de reacción.
Estas inhomogeneidades producen que el valor efectivo de la
constante de reacción fluctúe, lo que se traduce en las
ecuaciones en la presencia de un ruido multiplicativo. Como
veremos, el hecho de que el ruido sea multiplicativo explica
la fuerte irreproducibilidad del proceso, representada por la
varianza de los tiempos de reacción, magnitud que se puede
comparar con los experimentos.
1.41
El modelo de tal reacción es el siguiente
^ = ;:,(a-x)(ß-4x)H.;c^^^^ + | ^ $ ( t ) (45)
donde $ es un ruido blanco de intensidad D. La magnitud
experimental que se correlaciona con D es el inverso del
stirring o ritmo al que se produce la mezcla de los
ingredientes. Con esta formulación se logra predecir los
valores medios y las varianzas de los tiempos de reacción.
1.42
1.7 CONCLUSIONES, RESULTADOS ORIGINALES Y PERSPECTIVAS
I.7.a Conclusiones
Entre las conclusiones de este trabajo, hay que
distinguir entre las más generales, referidas a la
problemática de los Tiempos de Paso, y una serie de
conclusiones especificamente relacionadas con cada uno de los
sistemas concretos que se han estudiado.
Entre las conclusiones de índole general, mencionaremos
en primer lugar que las técnicas del MFPT han mostrado ser
desde hace tiempo extraordinariamente útiles en la descripción
de la dinámica transitoria de sistemas sometidos a
fluctuaciones, y por ello han sido ampliamente utilizadas. No
obstante, existen serios problemas en la descripción, para
ciertos rangos de parámetros, del MFPT incluso en los sistemas
más sencillos.
Hemos visto que en cada tipo de inestabilidad las
fluctuaciones actúan de la misma forma y, por tanto,
encontramos unos conjuntos o clases de sistemas que presentan
la misma dinámica. Un proceso complicado puede ser analizado
en términos de cada una de sus partes, que responderá a leyes
específicas. Por ello es importante extraer la máxima
información posible de los casos más sencillos, ya que puede
servir para conocer mejor los procesos reales. En este trabajo
1.43
hemos estudiado un amplio espectro de procesos de una
variable, cubriendo los procesos más significativos con ruido
aditivo y resolviendo un problema experimental concreto en el
que aparece un ruido multiplicativo.
El problema correspondiente a sistemas sometidos a la
acción de ruido blanco o con tiempo de correlación pequeño se
considera resuelto, si bien aún puede quedar la tarea de
establecer en cada caso los modelos apropiados y relacionar
los resultados con las magnitudes experimentales.
En el caso de ruidos con grandes tiempos de correlación
la fundamentación teórica no se encuentra totalmente
desarrollada, y falta todavia el establecimiento de métodos
sistemáticos de cálculo. En este estado de cosas, las leyes
obtenidas mediante razonamientos físicos cobran un especial
valor, puesto que proporcionan resultados numéricos fuera del
rango de parámetros accesibles por las técnicas usuales, y dan
una interpretación de la física involucrada en el proceso
estudiado.
En cuanto a las conclusiones más específicas sobre cada
uno de los sistemas estudiados en este trabajo, nos remitimos
a las especificadas en cada una de las secciones del mismo. No
obstante, enumeraremos las más significativas.
Respecto al MFPT del proceso de paso en un sistema
1.44
biestable (Cap. II):
- Las fórmulas de Kramers para ruido blanco y sus
correcciones de Larson y Kostin son resultados asintóticos, y
no pueden ser usadas para decidir la validez de simulaciones
digitales o numéricas.
- Tj,ot y Ttop son magnitudes que contienen una información
física de naturaleza distinta. Las simulaciones indican una
aproximación exponencial entre ambos valores al aumentar x.
- La situación de pequeña x para Ttot es explicada
satisfactoriamente por las teorías disponibles. Sin embargo no
es posible concluir cuál de ellas da mejor la dependencia en
D que aparece en las simulaciones para x grande. Por otro
lado, las simulaciones de Top para x pequeña confirman la
contribución x^'^ encontrada por Doering et al.^^
- El caso T grande está explicado sólo cualitativamente
por las teorías; quedan todavía grandes diferencias
cuantitativas con los resultados de las simulaciones. La
teoría de Tsironis y Grigolini, ' corregida para tener en
cuenta el cambio con x de la distribución del ruido en la
transición, aparece como el modelo más correcto de la dinámica
en este régimen.
-La escala de tiempo asociada al autovalor dominante de
la ecuación de Fokker-Planck debe ser identificada con Ttot
para D pequeña. Ttot aparece como el tiempo físicamente más
relevante de este proceso.
Respecto al proceso de paso a través de una inestabilidad
1.45
marginal (Cap.Ill):
- Las predicciones a primer orden en x para el MFPT y la
variaza obtenidas con la aproximación cuasimarkoviana
describen correctamente los resultados de la simulación para
pequeños valores de x. La razón estriba en tener alejadas de
la inestabilidad tanto la posición inicial (que ha evitado
tener en cuenta el desacoplamiento inicial posición-ruido)
como las fronteras del problema y la posición final (que ha
permitido el cálculo en la variable x con una difusión
efectiva, sin tener que utilizar el sistema en dos variables).
- La dependencia de la dinámica en un único parámetro de
escala ha sido confirmada para todos los valores de T
simulados tanto para el sistema modelo como para otro sistema
con el mismo desarrollo en el punto marginal. Por tanto, la
idea de que el ruido sólo afecta en la zona marginal es
físicamente correcta.
- Es posible utilizar las ideas anteriores para obtener
una extensión del cálculo del MFPT a valores grandes del
tiempo de correlación. Además, la aplicación de un
razonamiento similar al caso de la relajación de un sistema
inestable lineal proporciona resultados válidos a intensidades
grandes del ruido.
c) Modelo de la reacción Clorito-Ioduro mediante una SDE
con ruido multiplicativo (Cap. IV).
- La aleatoriedad observada experimentaImente en los
tiempos de reacción de este sistema ha sido explicada mediante
1.46
una SDE con ruido multiplicativo. El modelo utilizado es
cerodimensional, y las inhomogeneidades espaciales han sido
modelizadas mediante fluctuaciones en la constante de
reacción.
Los valores de la intensidad del ruido D se
correlacionan con el inverso del stirring, lo que confirma el
origen de la aleatoriedad de la reacción en las
inhomogeneidades espaciales, así como la corrección del modelo
cinético empleado en el cálculo.
- El modelo da una dependencia correcta del MFPT y de su
varianza en la intensidad del ruido y en el parámetro de la
reacción ß'. Asi mismo, predice la presencia de un máximo de
la magnitud relativa AT/T en función de ß'.
- Las técnicas de MFPT en el marco del empleo de SDK's
aparecen como un método prometedor en el análisis teórico de
la irreproducibilidad de este tipo de sistemas.
I.7.b Resultados Originales
Hemos separado las distintas contribuciones originales de
este trabajo según los capítulos del mismo
i) MFPT en un Sistema Biestable (Cap. II): Sobre este
sistema, las contribuciones originales de este trabajo han
sido:
- Se ha realizado una exhaustiva serie de simulaciones
del sistema biestable, obteniendo resultados para Ttop y Tboe
1.47
para un gran rango de variación de los parámetros del ruido.
- Se ha analizado las teorías existentes para los MFPT
definidos en este sistema, comparándolas con los resultados de
las simulaciones y estableciendo el dominio de aplicabilidad
de cada una de ellas.
- Se ha contribuido al entendimiento de la dinámica para
X grande, obteniendo la causa de la discrepancia de la teoría
de TG con los resultados de la simulación para los valores
accesibles de x.
- Se ha modificado dicha teoría, corrigiéndola para dar
cuenta de la situación de x finita, obteniendo una ley de
escala para el MFPT válida en el régimen de x media-grande.
- Así mismo, se ha obtenido la evidencia de unos efectos
de X finita exponencialmente grandes en el MFPT, que son
explicados satisfactoriamente dentro del mismo marco teórico.
- Se ha obtenido una relación entre Ttot Y '^topí bajo la
hipótesis de una dependencia exponencial.
ii) MFPT de un sistema marginal.
- Se ha obtenido la primera contribución en x de los
primeros momentos del Tiempo de Primer Paso para el modelo
marginal (Ec. (2.3) del Cap. III) tanto para el caso ß=0
(marginal puro) como para ß O.
- Se ha aplicado estos resultados para la predicción del
comportamiento de un sistema distinto, correspondiente al
modelo de Bonifacio-Lugiato de Biestabilidad Optica.
- Se ha desarrollado la extensión de los resultados de
1.48
los MFPT de inestabilidades lineales y marginales a valores
grandes del tiempo de correlación. En el caso lineal, el
resultado incluye la aproximación QDT, pero no está limitado
a intensidades pequeñas del ruido.
- Se ha desarrollado la simulación numérica de los
sistemas estudiados, con el fin de confirmar las predicciones
teóricas.
iii) Dinámica estocástica de la reacción Clorito-Ioduro.
- Se ha establecido el modelo dinámico de la reacción
Clorito-Ioduro, mediante una SDE en la que el término
estocástico da cuenta de las inhomogeneidades espaciales.
- Se ha calculado a primer orden en D el MFPT y su
varianza correspondientes a ese modelo.
Se ha establecido la correspondencia entre el
experimento y el modelo, determinando la relación entre las
respectivas escalas de tiempo, y correlacionando la intensidad
del ruido con el inverso del stirring experimental.
Se ha utilizado los resultados analíticos y de
simulación del MFPT y de la varianza del modelo para comparar
con las magnitudes medidas experimentalmente, encontrando un
buen acuerdo. Se ha encontrado así mismo el comportamiento
cualitativo correcto de la magnitud relativa AT/T.
1.49
I.7.C Perspectivas
- Queda abierta la cuestión de la fundamentación del
cálculo del MFPT para cualquier tiempo de correlación del
ruido. En particular, seria interesante obtener, por métodos
más rigurosos, la información que, en ese régimen, se ha
obtenido por argumentos fisleos. Para el sistema biestable,
posiblemente el sistema que ha generado más controversia en
este campo, ha quedado abierta una via con la formulación del
MFPT en integrales de camino que, por el momento, sólo ha dado
una información parcial del comportamiento asintótico del MFPT
para D pequeña."""
- Sobre los sistemas marginales, queda por estudiar la
validez de las predicciones realizadas para valores grandes de
X en sistemas con potenciales marginales de grado más alto.
- En un nivel más general, la aplicación de estas
técnicas a otros sistemas, tanto de la Fisica como de la
Química o de la Biología, pueden proporcionar información
valiosa de la dinámica de los mismos.
- Dentro de este contexto, resulta inevitable plantearse
a largo plazo el problema de los Tiempos de Paso en sistemas
con dependencia espacial, para los que se tiene muy pocos
resultados analíticos. Este es un problema de extraordinario
interés, puesto que toca campos tan actuales como el
crecimiento de interfases, la descomposición espinodal, etc,
y significaría un gran progeso la obtención de resultados
correspondientes a las escalas de tiempos de este tipo de
procesos.
1.50
Referencias
1. P. Glansdorff, I. Prigogine, Thermodinamic Theory of Structure, Stability and Fluctuations. Wiley, New York 1971.
2. G. Nicolis, I. Prigogine, Self- Organization in Nonequilibrium Systems. From Dissipative Structure to Order Through Fluctuations. Wiley, New York 1977
3. R. Zwanzig, Phys. Rev. 124, 983 (1961).
4. R. Brout, Phase Transitions. Benjamin, New York 1965.
5. A.Z. Patashniskii, V.l. Pokrovskii, Fluctuation Theory of Phase Transitions, Int. Ser. in Natural Philosophy, Vol. 98. Pergamon, New York 1979.
6. H. Haken, Synergetics. An Introduction. Springer Ser. Synergetics, Vol. 1, Springer, Berlin 1977.
7. W. Horsthemke, R. Lefever, Noise-Induced Transitions. Springer Ser. Synergetics, Vol. 15, Springer, Berlin 1984.
8. K. Ito, Nagoya Math. J. 6, 35 (1950)
9. R.L. Stratonovich, SIAM J. Control 4, 362 (1966)
10. E. Wong y M. Zakai, Ann. Math. Stat. 36, 1560 (1965).
11. G. Blankenship y G.G. Papanicolau, SIAM J. Appl. Math. 34, 437 (1978)
12. R.L. Stratonovich, Topics in the Theory of Random Noise, Gordon and Breach (New York, 1963)
13. L. Arnold, Stochastic Differential Equations: Theory and Applications, Wiley, New York 1974.
14. H. Risken, The Fokker-Planck Equation, Springer Ser. Synergetics, Vol. 18, Springer-Verlag, Berlin, 1984.
15. R. Graham y H. Haken, Z. Phys. 243, 289 (1971); R. Graham y H. Haken, Z. Phys. 245, 141 (1971); R. Graham, en Stochastic Nonlinear Systems in Physics, Chemistry, and Biology, Springer Ser. Synergetics, Vol. 8. Springer (Berlin 1981).
16. R. Kubo, J. Math. Phys. 4, 174 (1963).
17. S.W. Dixit y P.S. Sahni, Phys. Rev. Lett. 50, 1273 (1983).
1.51
18. A. Hernández-Machado, M. San Miguel y S. Katz, Phys. Rev. A 31, 2362 (1985).
19. J.M. Sancho, M. San Miguel, S.L. Katz y J.D. Gunton, Phys. Rev. A 26, 1589 (1982).
20. K. Lindenberg y B.J. West, Physica A 119, 485 (1983). J.M. Sancho y F. Sagues, Physica A 132, 489 (1985). R.F. Fox, Phys. Rev. A 34, 4525 (1986). P. Hänggi, T.J. Mroczkowski, F. Moss y P.V.E. McClintock, Phys. Rev. A 32, 695 (1985). P. Grigolini, Phys. Lett. A 119, 157 (1986).
21. C.R. Doering, P.S. Hagan y C D . Levermore, Phys. Rev. Lett. 59, 2129 (1987)
22. M.M. Klosek-Dygas, B.J. Matkowsky y Z. Schuss, Phys. Rev. A 38, 2605 (1988)
23. F. De Pasquals y P. Tombesi, Phys. Lett. A 25, 7 (1979). F. De Pascuale, J.M. Sancho, M. San Miguel y P. Tartaglia, Phys. Rev. Lett. 56, 2473 (1986).
24. G. Tsironis y P. Grigolini, Phys. Rev. Lett. 61, 7 (1988). G. Tsironis y P. Grigolini, Phys. Rev. A 38, 3749 (1988)
25. P. Hänggi, P. Jung y F. Marchesoni, J. Stat. Phys 54, 1367 (1989).
26. P. Colet, H.S. Wio y M. San Miguel, Phys. Rev. A 39, 6094 (1989) . H. S. Wio, P. Colet, M. San Miguel, L. Pesquera y M. A. Rodríguez, Phys. Rev. A 40, 7312 (1989). M. San Miguel, P. Colet, H.S. Wio, L. Pesquera y M.A. Rodríguez, en Noise and Chaos in Nonlinear Dynamical Systems, Ed. F. Moss, Ccunbridge Univ. Press.
27. A.J. McKane, H.C. Luckock y A.J. Bray, Phys. Rev. A 41, 644 (1990) A.J. Bray, A.J. McKane y T.J. Nevman Phys. Rev. A 41, 657 (1990)
28. J.F. Luciani y A.D. Verga, Europhys. Lett. 4, 255 (1987). J.F. Luciani y A.D. Verga, J. Stat. Phys. 50, 567 (1988).
29. A.J. Bray y A.J. McKane, Phys. Rev. Lett 62, 493 (1989).
30. P.C. Hohemberg y B.I. Halperin, Rev. Mod. Phys 49, 435 (1977).
31. J.D. Gunton, M. San Miguel y P. Sahni, en Phase Transitions and Critical Phenomena Vol. 8, Eds. C. Domb y J. Lebowitz, Academic Press.
1.52
32. M. Suzuki, en Order and Fluctuations in Equilibrium and Noneguilibrium Statistical Mechanics, Eds. G. Nicolis, G. Gewel y J.W. Turner, Wiley (1980)
33. P. Hänggi, J. Stat. Phys 42, 105 (1986).
34. P. Lett y L. Mandel, J. Opt. Soc. of America B 2, 1615 (1985).
35. R. Roy, A.W. Yu y S. Zhu, Phys. Rev. Lett. 55, 2794 (1985).
36. S. Kay, S. Wakabayashi y M. Ymanasaki, Phys. Rev. A 33, 2612 (1986).
37. J. Casademunt, R. Mannella, P.V.E. McClintock, F.E. Moss y J.M. Sancho, Phys. Rev. A 35, 5183 (1987).
38. J. Casademunt, J.I. Jiménez-Aquino y J.M. Sancho, Phys. Rev. A 40, 5905 (1989). J. Casademunt, J.I. Jiménez-Aquino, J.M. Sancho, C.J. Lambert, R. Mannella, P. Martano, P.V.E. McClintock y N.G. Stocks, Phys. Rev. A 40, 5915 (1989).
39. R.L. Stratonovich, Thopics in the Theory of Random Noise Vol. 2, Gordon and Breach (New York, 1967)
40. C.W. Gardiner, Handbook of Stochastic Methods, Springer Ser. Synergetics, Vol. 13, Springer, Berlin 1985.
41. M.C. Wang y G.E. Uhlenbeck, Rev. Mod. Phys. 17, 323 (1945).
42. L. Pontryagin, A. Andronov y A. Vitt, Zh. Eksp. Theor. Fiz. 3, 165-80 (1933).
43. K. Lindenberg, B.J. West y J. Masoliver, en Noise in Nonlinear Dynamical Systems, Vol. 1, Ed. F. Moss y P.V.E. McClintock, Cambridge Univ. Press (Cambridge, 1989).
44. El proceso de Ornstein-Uhlenbeck es el único proceso estocástico markoviano y con una distribución gaussiana, según establece el Teorema de Doob: J.L. Doob, Ann. Math. 43, 351 (1942). Ver también la Sec. 4.3 de la Ref. 7
45. G.E. Uhlenbeck y L.S. Omstein, Phys. Rev. 36, 823 (1930).
46. R. Kubo, J. Math. Phys. 4, 174 (1963).
47. E.A.. Novikov, Zh. Eksp. Teor. Fiz. 47, 1919 (1964).
48. J. Masoliver, B.J. West y K. Lindenberg, Phys. Rev. A 35, 3086 (1987).
49. R. Landauer y J.A. Swanson, Phys. Rev. 121, 1668 (1961).
1.53
50. J.M. Sancho y M. San Miguel, en Noise in Nonlinear Dynamical Systems, Eds. Frank Moss y P.V.E. McClintock, Cambridge Univ. Press (Cambridge, 1989).
51. L. Ramírez-Piscina, J.M. Sancho, F.J. de la Rubia, K. Lindenberg y G.P. Tsironis, Phys. Rev. 40, 2120 (1989).
52. H.A. Kramers, Physica 7, 284 (1940)
53. F.J. de la Rubia, E. Peacock-López, G. P. Tsironis, K. Lindenberg, L. Ramírez-Piscina y J.M. Sancho, Phys. Rev. A 38, 3827 (1988)
54. K. Lindenberg, L. Ramírez-Piscina, J.M. Sancho y F.J. de la Rubia, Phys. Rev. A 40, 4157 (1989)
55. R. Mannella y V. Palleschi, Phys. Rev. A 39, 3751 (1989)
56. L. Ramírez de la Piscina, J.M. Sancho, K. Lindenberg y F.J. de la Rubia, Escape over a Potential Barrier driven by Colored noise, en Noise in Physical Systems, Ed. A. Ambrózy, Budapest (1990)
57. L. Ramirez-Piscina y J.M. Sancho. Enviado para su publicación.
58. P. Colet, M. San Miguel, J. Casademunt y J.M. Sancho, Phys. Rev. A 39, 149 (1989)
59. D. Sigeti, Dissertation, University of Texas at Austin (1988) D. Sigeti and W. Horsthemke, J. Stat. Phys 54, 1217 (1989)
60. L.A Lugiato, Progress in Optics XXI, ed. E. Wolf (North-Holland, Amsterdam, 1984). R. Bonifacio y L.A. Lugiato, Phys. Rev. A. 18, 1129 (1978).
^^' nA ^f?«f^' - Ramirez-Piscina y J.M. Sancho, J. Chem. Phys. 92, 4786 (1990).
62 F. Sagues y J.M. Sancho, J. Chem. Phys. 89, 3793 (1988)
II. FIRST PASSAGE TUCE FOR A BISTABLE POTENTIAL
DRIVEN BY COLORED NOISE
II. 1
II-l GENERAL REMARKS
1. Introduction
A number of (sometimes conflicting) views have recently dominated the literature on
bistable processes driven by external noise. Most of the conflicts arise in the context of the
effects of external noise that is colored, e.g. whose correlations decay exponentially with a
correlation time x > 0. Various theoretical approaches have been developed in the small-x^~^
and in the large-x^~^° limits, and some of the predictions emerging from these theories have
been tested against analog simulations, ^ numerical computations, ^ ' ^ and a few numerical
(digital) simulations. • • '*
In order to attain a better understanding of the relations among these various theories and
the accuracy of their predictions, we have carried out extensive numerical simulations of the
Langevin equations that serve as the model from which all these theories depart. By covering
extensive ranges of parameter values (in particular, of the correlation time x of the noise), we
are able to arrive at some definitive conclusions that should help to sort out some of the
present uncertainties in the field. It should be remarked that the main contribution of this
paper lies not in the accuracy of the computer simulations (which is comparable to that of
other recent simulations ^^) but in the insight and better understanding of the present theories
acquired through the data.
As our system we shall consider the generic and widely studied bistable system
q{t) = q{t)-qHt) + \l{t) (1.1)
where \i{t) is the noise driving the system, which we shall assume to be Gaussian throughout
this analysis. In the absence of the noise, the system has fixed points at ^ = ±1 (stable) and
at <7 = 0 (unstable). If }i(i) represents white noise, then its correlation function is
<\i.{t)\i{t')> = 2D?>{t-f) . (1.2)
If the noise is Gaussian colored, then
<|ui(í)l·i(í')> = — e " - ' ' " ^ . (1-3) X
The colored noise can itself be generated from a white noise process | \ , ( i ) via the dynamical
equation
A(i) = - - j x ( r ) + -Mw(0 . (1-4) X X
Herein we consider two quantities most frequently discussed in the literature: the mean
first passage time (MFPT) for the system starting from one well of the bistable potential, e.g.
I I . 2
at ^ = - 1 , to reach q = 0 (J¡op) o^ o ^^oss the barrier and reach the other potential well, e.g.
at ^ = 1 {That)- A third time of interest that we consider but that we have not simulated is
the MFPT to reach the separatrix between the wells (J^ep )•
Considerable discussion has recently centered on the appropriate (meaningful) endpoints
to use in MFPT calculations since the fixed points in the absence of the noise are instantane
ously shifted by the (colored) noise, and especially since q =Q is not the separatrix between
the two potential wells in the presence of (colored) noise. Thus, whereas it is generally
agreed upon that r¿^, does represent a transition time from one well to the other (even in the
face of shifting minima), T¡op is only an accurate measure of this transition when the noise is
white and D is small, and T^gp is only an accurate measure of r¿,ot when D is small. These
remarks notwithstanding (and we shall return to this issue later), we will use these two quanti
ties to assess the validity of various theories because they have been so prominent in the
literature. Quite aside from the physical content of these measures, they can of course still be
used to compare analytic theories with simulations.
For white noise the MFPT can be expressed exactly as a double integral ^'^^ that can
then be evaluated by numerical procedures. When a steepest descent approximation is applied
to these integrals, one obtains analytic estimates ("Kramers times" ^ ) for T^p and T^,:
V2 T!ip=^e'''^ (1.5)
and
Tl,=%<2e'''^ . (1.6)
These results, valid only in the "high-barrier" asymptotic limit D -> 0, reflect the fact that
upon reaching the top of the barrier half of the trajectories immediately go on to the new well
while the other half return to the original well. For finite D Larson and Kostin ^ have calcu
lated the first correction to these results. This correction reads .
r^^ = (1 + - | D ) r^ . (1.7)
There exist no exact analytic results (or even analytic results in the form of integral
expressions) when the noise driving the system is colored. A number of approximate theories
have been developed, all of them dealing with the limiting cases of either very short or very
long correlation time of the noise. The small-x theories arrive at expressions similar to (1.5)
and (1.6) with corrections that contain a x-dependence. The long-T theories arrive at
I I . 3
expressions that are quite different from the white noise results. In the first (small-x ) group
the following expressions have appeared in the literature:
^-4x T,,pix) = -^e'^ 2 ^ (19)
Tseoi'^) = • Sep
V2 ^ 1 - X
n
% (1 - 2T + x^)'^ ^
V2 ( l + 4 x + 4xy^ ( 1 _ 1-c + 1^:2 ) 2 8
( 1 + 3x + —x2 )
r,.p W = ; | [ 1 - A/ÍÇC-^)^* I Ï ] e""" . (1.11)
Equation (1.8) was derived by Hänggi, Marchesoni and Grigolini; ' Eq. (1.9) was obtained
by Masoliver, West and Lindenberg; ^ Eq. (1.10) is the MFPT to the separatrix derived by
Klosek, Matkowsky and Schuss; ^ Eq. (1.11) (with t^QA) =-1.460354...) is due to Doering,
Hagan and Levermore. ^
An approximation for r¿,^, valid for small D but for arbitrary correlation times x was
proposed by Luciani and Verga. ^ Their "inteipolation formula" (Eq. {66) of Reference 7),
applied to our system, is
, l + ^ x + l x -^„,(^:) = n ^ 5 ( ^ + 3 T ) ' • * e x p [ ^ ' ^ ^ ] . (1.12)
For very large x the following approximations have been published:
r(x)= [^+ {^.TzOxy^ e^] e'"^ , (1.13) V2 2
r(x) = [27KD (X + V2)f^ exp ( ^ + ^ ) •" (1-14)
Equation (1.13) was obtained by Tsironis and Grigolini ^ and is designed to bridge the x -> 0
and X -» «»results. Equation (1.14) is due to Hänggi, Jung and Marchesoni. ^
I I . 4
It should be noted that the small-x expressions (1.8) and (1.9) are to be inteqjreted not as
representing Tfop but rather T¡,g¡l2., These two quantities are only equal for white noise and in
the weak noise limit, where <? = 0 is actually the separatrix between the two wells and where
the trajectories reaching this value inimediately proceed to one well (half) or the other (the
other half). The theory of Doering et al. ^ incorporates finite-x subtleties that arise from the
fact that q = 0 is no longer the separatrix and results in the Vx contribution evident in (1.11).
It has been argued ^ (and agreed to by Doering et al. ^ ) that a more physical characterization
of the transition process is the time to reach the actual séparatrice (or the other well), and in
this latter calculation [cf. (1.10)] there appear no Vx contributions.
All the small-x theories with the exception of Eq. (1.11) thus predict a leading behavior
of the form
-^—7;:r = 1 + —x (1.15) TtoM 2
whereas Doering et al. ** predict the leading behavior
| : 2 £ | ^ = 1 - ' N / | C C / 2 ) V Ï + | X . (1.16) •ííop(O) X TT 2
thus exhibiting the Vx correction mentioned above.
The large-x theories [Eqs. (1.13) and (1.14)] and the interpolation formula (1.12) all have
the same leading exponential dependence IxlllD, which is exact in the limit x —> <». The
theories differ from one another in their predictions of the behavior at large but finite x.
2. Numerical Algorithms
The numerical integration of Eq. (1.1) with Gaussian noise \i{t) of correlation properties
(1.2) or (1.3) has been carried out following the procedure detailed in Reference 20. We have
simulated a number of trajectories (typically 500 or 1000) for each choice of parameter
values, each driven by a different realization of the noise.
For the case of white noise, the discrete version of Eq. (1.1) is
q{t+h)=q{t)+ [q{t)-q\t)+X{t)]h (2.1)
where X(t) is a random number chosen from a Gaussian distribution of mean zero and vari
ance -^IDlh . We have not retained terms of higher order in the integration step h because
their effects are negligible if h is chosen to be sufficientiy small. For each realization of the
sequence X(t) we compute the time that it takes the process qit) starting from <? = -1 to first
I I . 5
arrive at q = O and to first arrive at <? = 1 .
If the noise driving Eq. (1.1) is colored then we must discretize the coupled set (1.1) and
(1.4):
q(t+h) = q(.t)+ [q(t)-q\t) + [L(t)]h , (2.2)
\iit+h) = \i(t)+ [Xit)-iLit)]-^ , (2.3)
where once again we have neglected higher order contributions in h. Initially the value of q
is -1 and the process [i(t) has a stationary Gaussian distribution. Again, for every trajectory
we compute the time for the system to first reach the values q =0 and q = I.
In order to test the accuracy of our simulations we have in a few cases earned out a
much more accurate simulation for comparison. This latter procedure, requiring much more
computing time, uses a different random number generator, a smaller integration step, an
improved algorithm for the integration of the equations, ^ and a greater number of trajectories
(5000). The results from this more accurate simulation confirm the numbers that we report
below within our estimated errors.
A different algorithm for the numerical simulation of colored noise has been reported
recently by Fox et al. ^ This new algorithm uses an integral version of Eq. (1.4):
[x(t+h)=ii(t)e-^'^ + git) , (2.4)
where g (í) is a Gaussian number of zero mean and variance [D (l-exp(-Ä/x))/x]''^. Since Eq.
(2.4) is exact even for long step sizes, we could in principle save computing time. The actual
situation for a MFPT simulation, however, is not so optimistic, as is shown in Reference 23.
The boundary conditions that appear in a MFPT simulation cause a strong dependence of the
result on the step size. Therefore, the step has to be sufficiently small and there is no
difference between the two methods. This is clearly seen in Fig. 1, where the two algorithms
are tested in the MFPT simulation for the noise variable to reach a prefixed value. We see
that the smallness of the needed step size makes the difference between the two methods
irrelevant.
I I . 6
8n ^
Li_ ^
* D
D
_L m. isa. —S. _ S . S - 1 " ~ — ~~ ^Q* ~~ kxí" ^ ^ E-M- — — — —
0 (0 -5 10 - 4 10 -3 10-2 0 -1
Fig. 1 MFPT results for Eq. (1.4) versus the integration step h. The noise variable |i(r) starts from |i = 0 and reaches the boundary at i = 0.31. The parameters D = 0.1, T = 1 lead to the numerical result T = 2.026. Asterisks: algorithm of Fox et al.; 22 squares: algorithm of Eq. (2.3). 2° The CPU time is nearly the same for both points of each pair.
I I . 7
3. Results
3.1. White Noise
We begin by studying the process (1.1) driven by white noise. The purpose is to test the
theoretical approximations and the digital simulation in the limit in which it is possible to
obtain precise numerical results from exact quadratures. In particular, we want to test the reli
ability of our MFPT simulation and the domain of validity of Eqs. (1.5) and (1.6).
In Fig. 2 we show the relation Ti^tlTbot^ using as T oj both the exact numerical integral
and the simulation results. There are clearly imponant corrections to the Kramers time. In
the range Q.l < D < 0.2, i.e. for relatively small values of D, the errors in the Kramers time
exceed 25%. Kramers' time formula requires noise intensities smaller than 0.05 for the error
to be smaller than 10%. Unfortunately, the calculation time grows exponentially with
decreasing D for small £> in a MFPT simulation, and it is not practical to simulate noises of
intensities smaller than 0.07. The correction (1.7) of Larson and Kostin ^ improves the
theoretical prediction substantially for intensities smaller than 0.2.
The assumption T^ f/rj p = 2 is asymptotically valid in the limit D —> 0. In Fig. 3 we
see that the depanure from this assumption for intermediate D is quite significant. The value
of Ti,otlTiop is 2.15 for D = 0.1 and reaches 2.7 for D = 1 .
These remarks serve to stress the fact that Eqs. (1.5) and (1.6) fail to describe accurately
the propenies of the MFPT for finite D. The disagreements are substantial even for the smal
lest D that can be implemented reasonably in a digital simulation or, which is perhaps more
important, in analog experiments. ^
Finally, the simulation of the white noise case has been useful to test the MFPT algo
rithm. In Figs. 2 and 3 we see that the results of our simulation fit the exact theoretical curves
reasonably well.
3.2. Colored Noise: Small x
Since all the theories for small T [Eqs. (1.8)-(1.12)] converge to Eqs. (1.5), (1.6) in the
limit t -> 0, the failure of these latter equations for finite D described in the previous section
presents a new problem. If we were to compare directly the results of the small-x theories
with the ones obtained from simulations, the effects of the correlation time x, which we are
interested in, may be masked by errors introduced by small-Z) approximations. The way to
avoid this problem is to analyze the ratio r(x)/r(0) instead of r(x). In this way, the errors
arising from the steepest descent calculation are expected to be reduced.
I I . 8
1.4 n
i . z -
o 1.0
o j Q (^ 0 .8-
0.6-
0.4 0.0 0.2 0.4 0.6 0.8 1.0
D
Fig. 2 TfjotlTbot vs. £> for the white noise case. Squares: simulation; solid line: exact result;
dashed line: Larson and Kostin correction (1.7).
I I . 9
3.5 n
3.0 -
o Y-
2.5 H
o t -
2 . 0 -
1.5
D D
.— 1 T 1 1 1— 0.0 0.2 0 4 0.6 0.8 1.0
D
Fig. 3 T 1,^1 IT top vs. D for the white noise case. Squares: simulation; solid line: exact result.
1 1 . 1 0
The first point we wish to stress via the simulation results is the very different behavior
of Ttop (x) and 7 , , (t). The comparison of the two MFPTs is plotted in Fig. 4 for the three
intensities D considered. We see that T¡,otlTtop has a value near 2 for t -> 0, but this ratio
decreases very rapidly with x, reaching the value 1 for moderately colored noises. This depar
ture is of course related to the depanure of the separatrix from q = Q with increasing t and
reflects the fact that the actual separatrix has already been crossed when q =0 is, reached.
Any assumption of a simple proportionality between T^ot (x) and T¡op (x) is thus seen to fail for
colored noise even for small values of x.
The results of different theories are usually given by expressions for 7, ^ or T^^p such as
Eqs. (1.8)-(1.11) whose white noise limit is (1.4). For the correct interpretation of the results
for Tfgp one must consider two possibilities: a) The theory gives the correct behavior for T¡gp.
In that case the theory does not directly address the behavior of T^^t. b) The theory gives the
correct behavior for T^g,, i.e. one must interpret the result as T^ot - ^^top ' ^top then being a
function with no simple connection to the actual MFPT to reach ^ = 0. This explains the
existence of two different leading behaviors in x among the theories for small x.
The values of 7 , , obtained from our simulations show a slope for T^ , (x)/r¿^, (0) of 3/2
for very small values of x. This is the prediction of Eqs. (1.10) and (1.12) and also of (1.8)
and (1.9) if these latter two are interpreted as representing ^¿,o,/2 (the interpretation we adopt
henceforth). The results are seen in Fig. 5, where we have plotted Eq. (1.9) as representative
of the T¡,^i = 2T,^p theories. All the theories fit the simulation data quite well for small x.
For larger x the differences between the theories become apparent, but none of them seems to
fit the simulations much better than the others. We have also plotted Eqs. (1.10) (using
7"iep (x)/7yep (0) in this case) and (1.12) because these theories predict a £>-dependent slope for
T(x)/T(0). The variation of the slope is predicted by both equations, but the actual value is
underestimated by Eq. (1.12) and is overestimated by Eq. (1.10).
The plot of T¡Qp{x)IT¡gpiO) in Fig. 6 shows a distinctive small-x curvature that is
correctiy predicted by Eq. (1.11) and not by the other theories. The special boundary condi
tions that have to be imposed, and that only the theory of Doering et al. ^ considers, give the
new term proportional to Vt that leads to this curvature.
3.3. Colored Noise: Large %
The large correlation time expressions (1.13) and (1.14) predict a MFPT that grows
exponentially with 1x121 D in the limit x -> <». It is not possible to deal with very large
2.2-1
2.0
}
1.8 CL O
1.6-o
j a
1.4-
1.2
1.0
A O
Dû
0
1 1 . 1 1
2 ^
-ifv -Ò A 8— 4 5
T
Fig. 4 Simulation results for Ti^t^T,„p ^s. x. Squares: D =0.083; triangles: D =0.114;
rhombuses: D = 0.153.
11 .12
d.. \J
3 2.0-
o _Q
h
O
T
Fig. 5 r¿^,(x)/ré^,(0) vs. t. Squares: D =0.083; rhombuses: D =0.153; solid line: Eq.
(1.9); dashed line: Eq. (1.10); dotted line: Eq. (1.12).
11 .13
4
O 3 -Q L O
h-
CL O
T
a
A
H
o
Fig. 6 T¡^p(x)/T,op iO) vs. -c. Squares: D = 0.083; triangles: D =0.114; rhombuses:
D = 0.153; solid line: Eq. (1.11); dashed line: Eq. (1.9).
11 .14
values of X in a MFPT simulation because the calculation time grows as its own result, i.e.
exponentially. In the present simulation, with D near 0.1, the values of x used, though
perhaps not asymptotically large, give values of x/D larger than 40, which is sufficiently large
to allow comparison of the diverse large-x theories.
This comparison is shown in Fig. 7, where we plot r¿^, (x) on a logarithmic scale. The
plot of T,^p(x) is indistinguishable from that of r¿o,(x) for x larger than 1.5. It follows from
Fig. 7 that all the theories try to have the correct exponential behavior, but the precise values
predicted for the MFPT are clearly wrong (in some cases with deviations of orders of magni
tude).
These results seem to indicate that the discrepancies between the theories and the numer
ical results lie in the prefactors and not in the exponential dependence on x. ^^ In the follow
ing, instead of trying to calculate that prefactor, we use approximate arguments to obtain a
scaling law that fits the numerical results reasonably well and gives a possible dependence of
the MFPT on the noise parameters x and D.
For large values of the correlation time, the change in the noise is so slow that the
analysis of the system (1.1), (1.4) can be done from a semideterministic point of view. The
dashed line in Fig. 8 represents the separatrix ¡i^gp (q ) between the initial conditions that drive
the system to each well. The deterministic evolution (D = 0) of the two variables q, [L is
shown in the figure for two values of x.
If X is very large, the evolution of the noisy system from a given initial condition is very
similar to the detem:iinistic evolution, and therefore the MFPT to reach the second well is
related to the mean time taken by the system to reach the separatrix. In Fig. 8 a sample trajec
tory of the system is shown. Once the system has crossed this curve, it has a finite probability
(parameter-independent to leading order) of actually reaching the second well. Therefore, the
MFPT in which we are interested is likely to be proportional to the mean time to reach the
separatrix.. The dependence of the separatrix-crossing position on the parameters of the prob
lem should then give the dependence of the MFPT on these parameters.
This kind of reasoning is followed in References 8 and 9 to obtain Eqs. (1.13) and
(1.14), In the case of Eq. (1.14), the actual separatrix is replaced by the straight line
q = -1/Vf (vertical dotted line in Fig. 8). In the case of Eq. (1.13) the noise is considered as
constant, and the actual separatrix is replaced by a critical value [L^ = 2/3VJ (horizontal dotted
line in the same figure).
11 .15
}-
O
f -
T
FJg- 7 rf,^,(x) vs. T. Squares: D =0.083; rhombuses: D =0.153; solid lines: Eq. (1.12);
dashed lines: Eq. (1.14); dotted lines: Eq. (1.13).
1 1 . 1 6
Fig. 8 Trajectories for the two variables q,[L. Solid thick lines: deterministic trajectories (D = 0); solid thin line: stochastic trajectory (D = 0.5); dashed line: actual separatrix; dotted lines: q = ±1/V3 and \i = ±2/3^ used as effective séparatrices in the theories leading to Eqs. (1.14) and (1.13) respectively, (a) t = 5. (b) x = 15.
11 .17
The extension of the Tsironis-Grigolini (TG) calculation ^ to large but finite coixelation
les is discussed in Reference 10, where it is argued that a system with the "noise" equal to
; (constant) critical value yL¡. requires an infinite time to cross the inñection point
= -1/^; it is furthermore shown that the system must typically reach values of the noise
ich larger than ]i¡, to complete the transfer from one well to the other. This larger value
> jig of the noise must depend on x, and its lower bound |Xj is calculated under the condi-
n that the deterministic time to go to the other well be smaller than the correlation time T
the noise. This lower bound for the critical value of the noise gives a correction in the
ponent of order 1/x^ to the TG result.
We shall here obtain the (approximate) x-dependence of [i. We start firom the TG calcu-
ion. ^ In this model one must wait a time T to let the noise reach the critical value ^L^
5te that if [L were constant then ji^ would be the separatrix). This time is calculated by stan-
rd procedures: ^
P-c y
T(ii,) = ^ ¡ dy J ¿z exp [ - -¿-(z^ -y^)] . (3.1) 0 —«>
ter some manipulation, this equation yields
r(n,) = tVi( 1 + .r/[(^)V] ) e*'>[(^)V]
- 2 T J dy F(y) (3.2) 0
lere erf {x) is the error function and F{x) is the Dawson Integral. ^^ For large x, the
r'mptotic behavior of Eq. (3.2) is
r(n,) = : ^ ^ e^"- (3.3)
lich is the TG result. ^ In view of Eqs. (3.2) and (3.3), the MFPT in the TG model is x
les a function of x\i}lD.
Let us go one step further and neglect only the white stochastic driving force in (1.4) but
ain the dissipative time dependence of \L. The variable p. then experiences exponential
axation. Retaining this feature yields behavior closer to the true evolution of the two-
nensional system. With this deterministic but time-varying-|i. approximation, the slope of
1 1 . 1 8
the separatrix at <? = 0 is a simple function of T as a consequence of the exponential relaxa
tion of the "noise" variable: ^
d[lsep l.=o = - ( l + i ) dq ''='' " T
Therefore, near q = 0 the position of the separatrix is given by
(3.4)
\i-sep (9 ,X) = ( 1 + - ) \lsep (<?.«") • (3.5)
Although this relation is only valid close to <7 = 0, we assume the same dependence for the
entire separatrix.
These arguments can be reasonably retained even in the presence of the white noise in
(1.4) if t is sufficiently large that if at a given time the system is above the separatrix, it has
enough time to evolve towards the other well before the noise |i(i) departs appreciably from
its deterministic exponential relaxation. Then, generalizing the ideas of References 8 and 10,
we take for the MFPT calculation the approximate x-dependent critical value
H(t) = ( 1 + 1 ) l·i(oo) = ( 1 + 1 ) ^^ (3.6)
which is consistent with the lower bound found in Reference 10. As a consequence, the
dependence of the MFPT on the noise parameters is
^=/[ia4)] • (3.7)
This scaling law is tested in Fig. 9, where we have plotted the simulation points for x
above 0.9. For x smaller than this value the points deviate from the behavior predicted by Eq.
(3.7), as can be expected from the singularity in (3.6) at x = 0. In light of this figure, the
predicted scaling is convincingly confirmed. The result (3.7) calls for more theoretical work.
4. The Eigenvalues of the Fokker-Planck Equation
A method frequently used to estimate the MFPT without cairying out digital or analog
simulations is the numerical solution of the eigenvalue problem for the two-dimensional
Fokker-Planck equation corresponding to the system (1.1), (1.4) (e.g. by using a matrix
continued-fraction expansion). ^^'^^ The MFPT to reach the barrier is calculated as the
inverse of the first non-vanishing eigenvalue X^:
T = Àf . (4.1)
1 1 . 1 9
« 1
I -
1
Fig- 9 r(t)/x vs. (x/D)(l + I/TN2 f^ ^ ^ rhombuses: Z) = 0.153. ^ " °- - Squares: D = 0.083; triangles: Z) = 0.114;
1 1 . 2 0
i.00
fo
0.00 2.00
-Ü .UÖ
4.00 6.00 8.00 10.00 12.00
lnT,- lnX|
Fig. 10 InXf' and InT vs. T. Solid lines: numerical results from Reference 9. Symbols: simu
lation results for D =0.2 and D = 0.1. Squares: r^^,; triangles: F,^^; rhombuses:
1 1 . 2 1
However, the connection between the MFPT and the eigenvalue Xi in a system with
various attractors such as ours is only clear under certain conditions. ^ First, one must be in
the weak noise limit. ' Second, the probability of turning back to the first attractor (the first
well) without reaching the second one, once the system has crossed the boundary condition of
the MFPT, must be small. This second condition clearly does not hold for the boundary con
dition at <7 = 0 because the probability of turning back once the system reaches the top of the
barrier is not necessarily small (it is equal to 1/2 for white noise). However, this condition
holds for the boundary a.t q = 1 because the crossing of this boundary means that the second
well has been reached.
The eigenvalue ^.j is therefore in general related to the MFPT r ¿ ^ and not to T,^^.
This conclusion is tested in Fig. 10, where T¡^p and r¿,^, are compared with the numerical
eigenvalue results of Reference 12. It can be seen there that the inverse of the eigenvalue Xi
coincides for small D with half of the MFPT r¿o, and not with T/^p. Thus, the precise rela
tion (4.1) reads
Ttot = 2Xf 1 (4.2)
and one should bear in mind that even this relation is only valid for small D.
5. Conclusions
The main conclusions of this paper can be summarized as follows:
a) Kramers' formulas (1.5) and (1.6) and their correction (1.7) by Larson and Kostin are
asymptotic results. In the experimentally accessible range of variables further corrections to
these results become important. Hence these formulas cannot be used to conclude the validity
of numerical or digital simulations.
b) T¡^i and Tf^p are neither equivalent nor are they in general related in a simple univer
sal way; they contain different physical information. Therefore one of these quantities can
not in general be used to deduce the behavior of the other. T^oi is the more physically
relevant time and is rather insensitive to the precise location of the initial and final values so
long as they are both deep within their respective wells.
c) At present only the small-x case (t < 0.3) is explained satisfactorily by the theories.
All existing small-x theories for r¿^, and T^p yield an initial slope of 3/2, which is clearly
the behavior also observed in numerical simulations. The differences between (1.8), (1.10) (in
both of which the 3t/2 arises from the prefactor) and (1.9) (where it arises in the exponent)
are not apparent in the range x < 0.2. Therefore all the theories are equivalent from a
11 .22
practical point of view in this range. It is not possible to conclude which theory leads to the
most accurate D -dependence that becomes evident in the larger-t simulations (0.2 < x < 1).
d) Simulations of T¡gp for small % clearly confirm the Vx contribution found by Doering
etal. i n ( l . l l ) .
e) The large-t case is explained only qualitatively by current theories; there remain large
quantitative differences between the theories and the results of numerical simulations. For
very large values of x the fluctuating potential picture of Tsironis and Grigolini ^ yields the
correct asymptotic exponential dependence on IxlllD in the MFPT. Corrections to the
asymptotic exponent can be obtained by a simple extension of the fluctuating potential idea,
cf. Eqs. (3.6) and (3.7). Nevertheless there are serious quantitative disagreements with the
simulations that arise from prefactor contributions that have not been properly captured.
f) The dominant eigenvalue of the two-variables {q, \i) Fokker-Planck equation should
be identified with r^^, through Eq. (4.2) for small D. ^^
1 1 . 2 3
References
1. P. Hänggi, F. Marchesoni and P. Grigolini. Z. Phys. B 56, 333 (1984).
2. P. Hänggi, TJ. Mroczkowski, F. Moss and P.V.E. McClintock, Phys. Rev. A 32, 695
(1985).
3. J. Masoliver, B.J. West and K. Lindenberg, Phys. Rev. A 35, 3086 (1987).
4. CR. Doering, P.S. Hagan and CD. Levermore, Phys. Rev. Lett. 59, 2129 (1987).
5. R.F. Fox, Phys. Rev. A 37, 911 (1988).
6. M.M. KIosek-Dygas, B.J. Matkowsky and Z. Schuss, Phys. Rev. A 38, 2605 (1988).
7. J.F. Luciani and A.D. Verga, / . Stat. Phys. 50, 567 (1988).
8. G.P. Tsironis and P. Grigolini, Phys. Rev. Lett. 61, 9 (1988); G.P. Tsironis and P. Grigol
ini, Phys. Rev. A 38, 3749 (1988).
9. P. Hänggi, P. Jung and F. Marchesoni, to appear in / . Stat. Phys. (1989).
10. F.J. de la Rubia, E. Peacock-Lopez, G.P. Tsironis, K. Lindenberg, L. Ramirez-Piscina
and J.M. Sancho, Phys. Rev. A 38, 3827 (1988).
11. P. Jung and H. Risken, Z. Phys. B 61, 367 (1985).
12. R Jung and P. Hänggi, Phys. Rev. Lett. 61, 11 (1988).
13. R. ManneUa and V. Palleschi, Phys. Lett. A 129, 317 (1988).
14. R. Mannella and V. Palleschi, unpublished.
15. CW. Gardiner, Handbook of Stochastic Methods (Springer-Verlag, Berlin, 1983).
16. H.A. Kramers, Physica 7, 284 (1940).
17. R.S. Larson and M.D. Kostin, J. Chem. Phys. 69, 4821 (1978)...
18. P. Hänggi, P. Jung and P. Talkner, Phys. Rev. Lett. 60, 2804 (1988).
19. CR. Doering, R.L Bagley, P.S. Hagan and CD. Levermore, Phys. Rev. Lett. 60, 2805
(1988).
20 J.M. Sancho, M. San Miguel, S.L. Katz and J.D. Gunton, Phys. Rev. A 26, 1589 (1982).
21. W. Rumelin, SIAM J. Numer. Anal. 19, 604 (1982).
22. R.F. Fox, I.R. Gatland, R. Roy and G. Vemuri, Phys. Rev. A 38, 5938 (1988).
23. W. Strittmatter, unpubhshed (1988).
24. M. Abramowitz and I. A. Stegun, Handbook of Mathematical Functions (Dover, New
York, 1965).
25. P. Talkner, Z. Phys. B 68, 201 (1987).
11.24
II.2 A LOWER BOUND FOR THE CRITICAL NOISE OF THE
FLUCTUATING POTENTIAL APPROXIMATION
Recently Tsironis and Grigolini (TG) '-^ presented a new theory for the mean
first passage time from one metastable state to another of a bistable process driven by
colored noise. Their theory is expected to be valid when the correlation time x of the
noise is extremely long (x -> •»). TG specifically considered the system
X = ax - Ç,x^ + UO (1)
wherein the fluctuations ^(t) are Gaussian and exponentially correlated:
< Ut)W)> =—e- '-'''' . (2) X
Let us briefly restate the TG argument in a way convenient for our purposes.
One can associate with the process (1) an instantaneous "potential"
V{x)=-a^+ ^ ^ - ^ x . (3)
The number of extrema of this potential depends on the value of ^. If
'^ ' < ^c = (' cc /27ß) ^ then V{x) has three extrema, a maximum corresponding to
an unstable state and two minima corresponding to stable states. When 1 I = ^ç, two
of these extrema merge into a single marginally stable state. If 1 I > ^^ then there is
only a single extremum (a minimum). These three cases are illustrated in Fig. 1.
For large x (x -> oo) TG argue that passage from one metastable state to the
other occurs when the metastable state in which the process finds itself disappears.
Thus, if the process is in the left-hand well {x < 0) then the first passage to the
right-hand well (x > 0) occurs when ^(r) first reaches the value 4^. To calculate this
passage time, one notes that the fluctuations ^(r) constitute an Ornstein-Uhlenbeck
process whose evolution can be described by the Langevin equation
^ = - 7 ^ + 7 / ( 0 (4)
w h e r e / ( r ) is Gaussian delta-correlated noise:
< / ( 0 / ( O > = 2 D 6 ( / - 0 . (5)
The mean time for ^(r) to first reach ^^ is obtained using standard methods ^ and for
^cX/Z) >> 1 is found to be
1 1 . 2 5
X
>
c
\
D
I
\ 1
i. \
_» \ « \ » \
»
* % t *
•»
i 1 I I I" —I —r 1 1
\
\
V \ \ \
\ \
V ^ ^ > - ^ \
* . , - " • • • • W * " ^
T 1 1 1 r-
\ ^ - -
\
\
—r
- ' '
^*^
1 í " T — : •
f u 1 i _ 1
»
i ' "T 1 1 $ /_
» / * / » / ' * /
' / " $ 1 0 /
# / " » i
* /
/ -
/ •
- 2 L_L -2
J L i ' » « J L J - I 0
X
Figurel The "poieñtial" of Eq. (3) with a = ß = 1 for three values of I. Dashed
curve: % > ^^\ solid curve: ^ = ^^; dotted curve: ^ < ^c-
11 .26
_ (2K D z)!,^ T = " - exp
Sc 2D
(6)
TG subsequently proposed a bridging formula involving (6) and the t -^ 0 result to
represent the mean first passage time for all x :
T = exp D
K {IKDX)^
— — + -i—-—'— exp aV2 c
2D (7)
where VQ - a^/4ß. According to TG, Eq. (7) then is the mean first passage time for X to make a transition from one metastable state tothe other. The exponential prefac
i o tor exp(——) is not derived within the fluctuating potential argument but it has been
justified on other grounds in Reference 2. Our purpose here is to discuss the
coefficient of t in the second exponential factor in (7) and not this prefactor. In par
ticular, according to Eq. (7) a plot of In T vs. x should yield for large x essentially a
straight line of slope ^,^"^120 (deviations from a straight line predicted by the theory
are small but visible as x decreases).
Using a continued fraction method to calculate an eigenvalue closely related to T,
Risken et al. have shown that for large but finite x (x < 3) the slope of In T vs. x is
greater than l,c^l2D by a substantial D-dependent amount (approximately 20% for
D = 0.2). ^ Our own (unpublished) numerical simulations of Eq. (1) confirm this
result. ^ Herein we provide an explanation for this behavior in the context of the TG
model and we give a lower bound for the slope of In T vs. x.
Figure 2 shows a typical (single) trajectory oi x and ^ for two values of x, one
large but finite (x = 5) and one extremely large (x = 50). In each of these trajec
tories the transition from one metastable state to the other is clearly visible and takes
place when % reaches a value considerably greater than l,^.. In fact, the noise crosses
the value l¡c several times without effect on x.
The reason for this behavior can clearly be seen upon examination of the "poten
tial" curves in Fig. 1. When Ç = ^c ^^e potential near the marginally stable state is
extremely flat and it takes .he process a very long («> ) time T^ to "roll" down to the
1 1 . 2 7
•I I I I [ J I I I I I I I I I I I I I [ I I I I I ' I I
(a)
c : 0 X
- 2
T = 5
D = 0 I I 4
ws^OA'-sAwWv^"
;-^<^'A/^t^'U/^^^^% v
• I 1 I. I I I I 1 I I I I I I I I I I I 1 I • •
1400 1600 1800 2000 2200 2400 2600
t
-1 1 r r-
T = 5 0
D= 10
- , 1 , 1 1 1 r—1 r
• I .
230 240
(C)
250 260
1.0
0.5
M j i
0.0 h-
I I I I I I
T = 5
D = Ol 14
- 0 5 I I I I r I I I
I I I I 1 I 1 ' ' ' ' I I I I I I
(b)
mm • 1 1 • • • I • I • . I • ' ' ' ' • • • •
1400 1600 1800 2000 2200 2400 2600
t
230 240 250 260
Figure! Typical trajectories generated by Eqs. (1) and (4) with a = ß = 1. In Figs.
2a and 2b x = 5 and D = 0.114. In Figs. 2c and 2d x = 50 and D = 10.
1 1 . 2 8
minimum of the potential. In fact, during this long time the noise (which is only
correlated over a tirrîê x ) will change and the previously marginally stable state may
eventually become metastable again. We suggest that a successful transition requires
that the passage be complete before the noise changes its value, i.e. that
T < x (8)
For this condition to be satisfied, t, must exceed a t-dependent value i,^ > ^^ given
below, a value that increases with decreasing x.
To estimate the x-dependence of t,!^, we note that the (deterministic) time for the
process to go from a point ATJ to a point X2 for a fixed ^ {cf. Fig. 3) is given by
•'-Í dx
I (XX - ^X^ + Ç (9)
and it is this time that enters the inequality (8). For the upper limit we choose a
value representative of "arrival at the right-hand well", e.g. X2- 0. For the lower
limit we choose x^- - (a/3ß)'^, the position of the marginally stable state when
^ = ^c. Small changes in these choices do not materially affect our estimate of t,^ for
large t .
We thus propose the following formula for the mean first passage time when x is
large but finite:
T = exp 1± D
7t , {ITIDX)'^
aV2 = + \ .
exp ID (10)
where
and ^^ is found from the equality
0 dx
(11)
_¿V3 OX-ßx^+^O = t (12)
1 1 . 2 9
Figure 3 shows ^^ vs. x obtained from Eq. (12). Clearly, for the values of x con
sidered in most available simulations and numerical calculations ( x < 5) the noise
indeed has to be considerably larger than ^^ for passage from one metastable state to
another to occur. An analytic expression for this curve can be obtained from the
integral (12), which we have performed for large x:
^ , " = ^ , + - ^ - ^ + O(x-^Inx) (13)
where we have set a = ß = 1.
Let us consider the specific trajectories shown in Fig. 2 in light of these predic
tions. One should be aware that single trajectories may behave quite differently from
the behavior envisioned when one talks about average results. Thus, it could even
happen (although it does not in the trajectories shown here) that a transition occurs
when the instantaneous value of the noise is actually smaller than %^. It should also
be noted that even a very large value of ^ may not lead to a transition if that value is
not retained for a sufficiently long time: after all, the correlation time x is again only
an average. The trajectory for x = 50 shows a transition when ^ = 0.48, i.e. a value
above i,^. Note that in this particular trajectory an even larger value of ^ attained ear
lier did not lead to a transition because it was not retained for a sufficiently long time.
Our lower-bound estimate indicates that for such a large x = 50 the value of the noise
required for a successful transition is, on the average, greater than Çjp = 0.3855. The
X = 5 trajectory shown m Fig. 2 requires a ^ of 0.57 before the transition occurs. Our
lower bound indicates that the value of ^ for a successful transition must, on the aver
age, be greater than 0.4419, again consistent with this result. Numerical simulations '
yield T = 8575 for D = 0.114; this value is obtained from Eq. (10) with i,^ ='0.5024
(that the particular realization shown in Fig. 2 requires a larger value of t is of course
not inconsistent with this result).
In summary, we have provided an explanation for the deviations of numerical
simulations and eigenvalue calculations from the large-x results of Tsironis and Gri-
golini. We have provided a quantitative lower bound for the mean first passage time
when the correlation time of the noise is large but finite. We note that the TG theory
11 .30
20
15
h 10
O 0.35
T r
I t L
T T « 1 r
Ce = 0.3849
T r
I I I I l _ J 1 1 L
0.40 045 0.50
Cr
Figures Numerical solution of Eq. (12) (solid Une) and analytic large-T estimate as
given in Eq. (13) (+ ). The vertical line indicates the critical value ^p.
1 1 . 3 1
on which our analysis is based and our arguments to improve it are not related in any
way to existing effective Fokker-Pianck theories.
References
1. G. Tsironis and P. Grigolini, Phys. Rev. Lett. 61, 7 (1988).
2. G. Tsironis and P. Grigolini, to appear in Phys. Rev. A.
3. K. Lindenberg and V. Seshadri, J. Chem. Phys. 71, 4075 (1979).
4. J. F. Luciani and A. D. Verga, J. Stat. Phys. 50, 567 (1988).
5. P. Jung and P. Hänggi, Phys. Rev. Lett. 61, 11 (1988); P. Hänggi, P. Jung and F.
Marchesoni, to appear in J. Stat. Phys.
6. Th. Leiber, F. Marchesoni and H. Risken, Phys. Rev. Lett. 59, 1381 (1987); ibid.
60, 659 (1988); G. P. Tsironis, Phys. Rev. Lett., to be published; Th. Leiber, F.
Marchesoni and H. Risken, Phys. Rev. Lett., to be published.
7. L. Ramirez-Piscina, F. J. de la Rubia, E. Peacock-Lopez, G. P. Tsiornis, K. Lin
denberg and J. M. Sancho, unpublished
11.32
II.3 HIGHLY COLORED NOISE
A number of theoretical approaches have recently been used to obtain the mean first-passage time from one well to the other of a bistable system driven by highly colored noise. ^~^. The generic system of interest evolves according to the dynamical equation
X(t)=aX -bX^+f{t) (1)
and the noise f (t) is assumed to be zero-centered and Gaussian with exponential correlations
</(0/(0 > = -«-"-''"" . (2) X
D is the noise intensity and x its correlation time. The "potential"
V(X) = -^X'^--^X^ (3) 4 2
implicit in Eq. (1) has two minima separated by a barrier of height V^ = a'^IAb. The noise
fit) is said to be highly colored when xlD is large compared to the deterministic quantity " 0 •
ZVJD :s> 1 . (4)
A number of methods have been used to calculate the mean first passage time T from one well of the potential (3) to the other, ' Although these methods are all approximate and different from one another, there seems to be universal agreement as to the dominant features of the result in the "large-x" limit x —> «>. In this limit [cf. Eq. (4)] all the large-x theories lead to "
Furthermore, there also seems to be universal agreement that the asymptotic result is achieved /ery slowly and requires extremely large values of the exponent ^'^'^
The approximations that lead to Eq. (5) are typically not systematic expansions in any jarameter, consequentiy, there exists considerable disagreement and uncertainty as to the corrections to this result with decreasing x, both in the prefactor and in the exponent. It ihould be stressed that these differences notwithstanding, all the corrections consist of (small) idditions to the exponent SV¿t/27D (and less importandy and not of particular interest here, mall additions to the x'" prefactor). We have also recendy developed an argument that leads 0 such a correction. ^ Our argument is based on the approach of Tsironis and Grigolini, vho obtain (5) by assuming that a transition from one well to the other occurs when the noise •(/) reaches the critical value |i^ 3 (16V(/27)'· at which the "effective potential"
1 1 . 3 3
V,ff{XJ) = VQ()-Xf (6)
first ceases to be bistable. We note that this argument is valid only when x -> oo, whence f {t) is essentially constant and \i^ marks the separatrix between the two wells of V^ffQiJ)-With decreasing t one must consider the variation of / ( i ) with time, and/(i) must in general reach a value greater than p. . for a successful transition to occur. ^"^ We do not repeat the detailed argument here, ^ but simply state out result, which replaces Eq. (5) with
r = Ç î â i n exp ( ¿ Ö ) , ) . (7) \i.{x) ^ ^ ID ^
Equation (5) corresponds to the choice \i(X) = ¡i while we obtain
\i{x) = |i^ ( 1 + 1/x ) = {AlHi\ 1 + 1/x ) . (8)
In (8) and frequendy henceforth we have set a =b = 1, so diat V^ = 1/4.
In reference 6 we have plotted our simulation results ' for the mean first passage time in the form ln(r/x) vs. (t/D)(l + 1/x) . Our simulations were carried out for three different values of D in the range 5 < {xVJD )(1 + 1/x) < 20, and all our points fall close to the same line on this plot, thus confirming die functional dependence on |i(x)x/D predicted in the exponent of (7) (see Fig. 1).
Having confirmed the expected functional dependence in the exponent, our next question (and the central question of this communication) is to investigate the value of the slope %VJ21 = 2/27 predicted in Eqs. (5) and (7) and in all other large-x theories as well. To îxplore this question we sought the best fit of oiu- simulations for the parameters a and ß irbitrarily introduced as follows:
Equation (7) with (8) corresponds to the choice a = ß = 1. We find the best agreement setween simulations and (9) to occur for the choices a = 6.17 and ß = 1.29 = 4/3. In Fig. 1 »e have plotted our simulation results for ln(r/x) for three values of D as a function of !x/D)(l + l/x)2 (as we did in reference 6). The results fall on a straight line of slope iß/27 = 8/81, indicated as a solid line. On the same graph (arbitrarily starting at the same joint on the abscissa simply to highlight the different slopes) we show the dotted line whose ilope is 2/27, representing the large-x theoretical predictions.
Note that the difference in the slopes between the theoretical predictions and the numeri-;al simulations reported in Fig. 1 represents a change in die coefficient of the leading term in
1 1 . 3 4
(r/t>][¡^Vrf
Fig. 1 ln(r/x) vs. (t/D)(l + 1/t) for x > 0.9. The symbols denote numerical simulation results with D =0.083 (squares), D =0.114 (triangles) and D =0.153 (rhombuses). Solid line: (2ßx)/27D )(1 + l/tf with ß = 1.29 = 4/3. Dashed line: same function with ß = l .
1 1 . 3 5
the exponent of T, a coefficient about which no question has been raised heretofore. In view of this unexpected behavior, we returned to some of the existing (far from plendful) numerical data to be found in the literature and found confirmation of the behavior reported here. Fox * reports two large-x simtilations in the range 1 < x < 10 for D =0.1 and D = 0.2. These values correspond to xV^/D within the same range of values as we have considered. For D = 0.1 Fox obtains a slope of 1.0 from his simulations whereas the large-t theories would have predicted SVJ21D = 0.74. For D = 0.2 Fox's simulations give a slope of 0.5 instead of the predicted value 0.37. Note that the ratios 0.5/0.37 and 1.0/0.74 are indeed approximately 4/3. The numerical results of Jung and Hänggi °' ^ for the lowest eigenvalue X of the two-dimensional Fokker-Planck operator are restricted to the range xVJD ^ 2.5 and tiierefore may not be in the regime appropriate for our large-t analysis. Nevertheless we observe that in this case the slope of ln(X~VT) vs. (xV^D )(1 + 1/x) exceeds 8/27 by an amount not inconsistent with our value of ß.
We thus conclude that the existing numerical evidence points to a dependence of T on x which is exponentially larger than that pi^dicted by the large-t theories. It may of course be possible tiiat die predicted large-t are recovered (i.e. that ß in Eq. (9) -> 1) if xV^JD greatiy exceeds the values presendy accessible to numerical computation. On the other hand, we note that the exponent in Eq. (9) achieves values of 0(10) in die available results. The explanation of die observed results, we believe, can be found in the numerical studies of Mannella and Palleschi ^ and their analysis of the results. To describe their analysis, we first note that the large-t theories are all based on the notion that the process first reaches a particular curve in (xj) phase space in time T, and that die further passage of die process from that curve to the other well occurs deterministically in essentially zero time. The agreed-upon curve that must be reached is die (t-dependent) separatrix between the wells. Since die separatrix can not be specified analytically for large x, approximations are made; different dieories specify this curve in different ways. In spite of these differences, all the theories lead to the same exponential coefficient for T in die large-x limit.
The detailed analysis of individual trajectories by Mannella and Palleschi ^ reveals the problem with diis viewpoint: in reality diere is considerable dynamics in die region of die separatrix, as shown in Figs. 2 and 3. These figures show diat once a trajectory reaches die region in (;c/)-space from which die theories assume immediate passage to the other well, the actual trajectory spends a considerable time crossing and recrossing diis region before moving on. This "residence time" contributes exponentially to the mean first passage time.
1 1 . 3 6
-1.0 - 1 . 5
ig. 2 A number of trajectories in phase space for D = Q-B and T = /5^ .» Note the dynamics in the region of the separatrix. The first vertical bar indicates the distribution of values of / ( r ) in the vicinity of the separatrix. The second vertical bar is twice as long as the first and indicates that even in the process of crossing, the trajectories spread to encompass the full width of the distribution of/( i) .
11 .37
Fig. 3 Expanded view of Fig. 2 in the region of the separatrix. We have also indicated the distribution P (|i) on the figure.
1 1 . 3 8
To estimate the effect of the residence time of the process in the region of the separatrix we follow the reasoning of Mannella and Palleschi and write the mean first passage time f as
f = \d\iT{\i.)P{\i) . (10)
Here T{\¡.) is the mean first passage time for /(f) to first reach the value p. and is given by 6.12
T{\i)=x<K[\ + erf [(T/2D )''* i] ] e O /r ( ( /2£) )V ^ )
- 2 x f dy F(y)
[cf. Eq. (7)], where erf (x) is the error function and F{x) is the Dawson Integral. ^ The second expression follows from the first when a steepest descent analysis is carried out for large |j.^x/D. The long-x theories identify (11) with the transition time from one well to the other, each theory with a particular choice of |i. P{\i) in (10) is the probability density for a ::rossing to the other well to actually occur when/(r) reaches the interval (p.,{i + d^), and the bar in T indicates the average over this distribution. Manneila and Palleschi find the distribution P (p.) from their simulations. They observe that it is centered at a value that decreases towards ¡1 with increasing x, that it has a width that also decreases with increasing x, and iiat it falls off more rapidly than a Gaussian in the wings of the distribution. Their simula-ions do not reveal whether P (ji) evenmally (i.e. with increasing x) becomes a delta function it Hç or whether it retains a finite width. Only if the former occurs would T evenmally reach iie value (5) with the exponential slope 8/27.
No one has yet developed a theory that leads to an analytic prediction of the distribution {\L). We may nevertheless deduce its qualitative effects via phenomenological arguments,
"or this purpose we choose P{\i) to be a Gaussian centered at ni^and of widtii a. Since the tochasticity manifest in P(,\i.) must of course arise from the random nature of/(f) , the width T must be a function of the parameters of/(f). It thus seems reasonable to write a = cD/x vhere c is an unknown coefficient whose value we expect to be of 0(1). This admittedly ad IOC choice for the width is consistent with the numerical results of Mannella and Palleschi nd causes P (p.) to have the observed narrowing tendency as x increases. Thus we write
P (n) = (iTtcD nr^e- ^^ -^^f^'^^ (12)
3
1 1 . 3 9
(we require that c < 1>-otherwise (10) leads to unphysical results and the distribution (12) must be modified to have a sharper cutoff as observed in the simulations). The integral (10) with (11) and (12) can be evaluated approximately using a steepest descents procedure to yield for the mean first passage time
The effect of the residence time reflected in P (|i) is thus to increase the slope in the exponent from 8/27 to 8/27(1 - c). The choice c = 1/4 (which corresponds to P(\i) having half the width of the Gaussian distribution for/(r) itself) leads to a slope of 8/27 x 4/3 = 32/81, consistent with our numerical simulations.
In conclusion, we have argued that the finite residence time in the region of the separa-trix and the resultant distribution of first passage times leads to exponentially large effects in the mean first passage time for a bistable system driven by highly correlated noise. In all the large-x simulations carried out to date the exponential correction of the theoretical mean first passage time is approximately 4/3. Whether the existing large-t theories correctly predict results for values of x well beyond those presentiy accessible remains an open question.
1 1 . 4 0
References
1. J. F. Luciani and A. D. Verga, Europhys. Lett. 4, 255 (1987); J. Stat. Phys. 50, 567
(1988).
2. G. P. Tsironis and P. Grigolini, Phys. Rev. Lett 61, 7 (1988); Phys. Rev. A38, 3749
(1988).
3. P. Hänggi. P. Jung and F. Marchesoni, J. Stat. Phys. 54, 1367 (1989).
4. F. J. de la Rubia, E. Peacock-Lopez, G. P. Tsironis, K. Lindenberg, L. Ramirez-Piscina
and J. M. Sancho, Phys. Rev. A38, 3827 (1988).
5. R. ManneUa and V. Palleschi, Phys. Rev. A39, 3751 (1989).
6. L. Ramirez-iHscina, J. M. Sancho. F. J. de la Rubia, K. Lindenberg and G. P. Tsironis,
Phys. Rev. A (in press).
7. For a review see K. Lindenberg and B. J. West, in Reviews of Solid State Science (World
Scientific, Singapore, 1989), in press.
8. R. F. Fox, to appear in the proceedings of the conference on Noise and Chaos in Non
linear Dynamical Systems, Torino, Italy, 1989, eds. F. Moss, F. Lugiatto and P. V. E.
McClintock (Cambridge University Press, Cambridge, 1989).
9. J. M. Sancho, M. San Miguel, S. L. Katz and J. D. Gunton, Phys. Rev. A26, 1589
(1982).
10. P. Jung and P. Hänggi, Phys. Rev. Lett. 61, 11 (1988).
11. G. P. Tsironis, K. Lindenberg, E. Peacock-López and B. J. West, Phys. Rev. Lett, (com
ment on reference 10), in press.
12. C. W. Gardiner, Handbook of Stochastic Methods (Springer-Verlag, Berlin, 1983).
13. M. A. Abramowitz and L A. Stegun, Handbook of Mathematical Functions (Dover, New
York, 1965).
11.41
II.4 NEW ASPECTS OF THE BISTABLE SYSTEM
The problem of evaluating the Mean First Passage Time of a system with two wells under the influence of colored noise has received a great deal of attention in the past few years (see Ref. 1 for a review and references therein). A nimiber of different theories and techniques (some of them conflictive) have recently appeared in the literature. Most of the conflicts arise on the different interpretations of the numerical or analogical available data.
In order to attain a better imderstanding of the relations among these various theories and the accuracy of their predictions, we have carried out extensive numerical simulations of the Langevin equations that serve as the model from which all these theories depart [2,3]. By covering extensive ranges of parameter values (in particular the correlation time r of the noise), we were able to arrive at some definitive conclusions that should help to clarify some of the present uncertainties in the field.
As our system, we shall consider the generic and widely studied bistable model
m = (t) - gHt) + ß{t) (1)
where ß{t) is the noise driving the system, which we shall assume to be Gaussiem throughout this paper. In the absence of noise, the system has three fixed points, two stable at q = ±1 and one unstable at g = 0. The correlation function of the colored noise is taken as
< ß{t)ßit') > = £e- l ' - ' ' l / ' (2) r
where D is the intensity and r the correlation time. When the correlation time r is zero, the correlation function becomes a delta, which corresponds to the white noise case.
11 .42
The analysis of the digital simulation have established some points which gave a better understanding of the present theories and that have clarified the apparent conflicts between them. It is now clear [2] that Kramers's approximation for the white noise limit (r = O) should be taken with care due to the important errors introduced for finite intensity. In this sense the relevant quantity to compare the different predictions for the dependence on r (calculated following Kramers's approximation) is the quotient between the mean first passage times corresponding to r 7 0 and r = 0. This procedure compensates the systematic finite-D errors introduced in the steepest descent calculation. The importance of the boundaries has also been confirmed mainly when the final point is not in the well but at the top of the potential, asià the role of the separatrix is now well xmderstood [2]. The behavior of the MFPT for small values of r (up to 0.2) is explained correctly, but for intermediate r (from 0.2 to 1) it is imposible to conclude which theory leads to a better r-dependence due to the uncertainties of the digital simulation and the asymptotic character of the theoretical predictions.
For very large values of r (r » 1) the fluctuating potential picture of Tsironis and Grigolini [4] leads to a qualitatively correct asymptotic exponential dependence in 2T/27D in the MFPT, but a very recent analysis of this situation [3] shows that this exponential dependence should be modified by a factor near to 4/3.
In this communication we have explored two new aspects of this problem not dis-ci:issed in our previous works [2,3). The first one is the way in which Ttop (MFPT corresponding to the system starting from the well at q=-l and reaching the top at q=0) approaches Tbot (from q=-l to the other well at q=l) when r grows. For white noise and very small D, Kramers's theory predicts rbot=2rtop. For highly colored noise we have found in our digital simulations that Tbot becomes equal to Ttop. The qualitative explanation is clear. When r=0 the separatrix is placed at q=0, and when the particle is there it has the same probability to reach the other well than to turn back to the first well. However, when r is l^ger, the separatrbc moves neau- the starting point, and if the particle reaches q=0 (now in the attraction region of the second well), the probability of reaching first the second well is larger, and the mean time (Tbot) is closer to Ttop. In Fig. 1 we see that Tbot/Ttop as a function of r decays exponentially. To date there is only a partial explanation of this behavior. It is known that the dependence of these two quantities to order r is
rbot(r)=rbot(0)(l + | r ) (3)
rtop(r) = rtop(0)(l + «v/f + ^T) (4)
with a=1.16519..., [5]. To the same order in r, and assuming rbot(0)=2rtop(0) (which is asymptotically valid for small D) the ratio Tbot/Itop is
2bot(r) rtop(r)
= 2 - 2ay/T + 2aV (5)
11 .43
We have interpreted this result as the first terms of an exponential decay
^ ^ - 1 = exp(-2av^^ -t top i n
(6)
As we see in Fig. 1 the agreement is very good, mainly for very small values of D, as one can expect from the theoretical analysis.
2.0 -1
Fig.l. Tbot/Ttop vs r. Squares, D = 0.083; triangles, D = 0.114. Solid line:theoretical prediction, Eq.(6).
The second aspect we want to discuss in this work is the existence of a single time scale, characterizing the long-time evolution of the system, even for large values of T.
If the evolution equation for the probability density P characterizing the system is written as dP/dt = £.P where £ is an operator, then the temporal behavior of the system is determined by the spectrum of C. If the lowest eigenvalue of £ is isolated ( call it Ai ) then the characteristic time scale at long times is 1/Ai (if there is no isolated lowest eigenvalue then the evolution is not characterized by a single time scale). An example of an operator £ that leads to isolated eigenvalues is the Fokker-Planck operator.
If such an isolated lowest eigenvalue exists, then the probability density of the first passage time to reach the well at q = +1 (under weak noise conditions) may be written as [6,7]
p(í) = r¿;íexp(-í/rbo,) (7)
1 1 . 4 4
the mean first passage time is
Ti = IJ" tp{t)dt = not (8)
and is related to the lowest eigenvalue through [2]
îbot = 2Ar' (9)
The second moment (giving the variance of first passage times) is given by
T2 = J t^p{t)dt = 2Ti (10)
and therefore
In Fig.2 we depict the results of our numerical simulation. The agreement between the mmaerical data and the relation (11) is manifest, indicating for our system the existence of a well defined time scale, given by the first eigenvalue, even for large r
1.5
1.0
H-'
^
0.5 -
0.0
a ^ ^ ^ 0 ° ^
1 ^ 4
T
Fig.2. Simulation results for Arbot/3bot vs r. Squares, D 0.083; triangles, D = 0.114; rhombuses, D = 0.153.
1 1 . 4 5
REFERENCES
1. K. Lindenberg and B.J. West, Bistable systems driven by colored noise, in Reviews of Solid State Science ,World Scientific, Singapore, 1989, in press.
2. L. Ramirez Piscina, J.M. Sancho, F.J. de la Rubia, K. Lindenberg and G.P. Tsironis, First-passage time in a bistable potential with colored noise, Phys. Rev. A 40, 1989, in press.
3. K. Lindenberg, L. Ramirez-Piscina, J.M. Sancho and F.J. de la Rubia, New insight towards the first-passage time in a bistable potential with highly colored noise, submitted for publication.
4. G.P. Tsironis and P. Grigolini, Color-induced transition to a nonconventional diffusion reghne, Phys. Rev. Lett. Ê1> 7-10, 1988.
5. C.R. Doering, P.S. Hagan and C D . Levermore, Bistability driven by weakly colored gaussian noise: the Fokker-Plîmck boundary layer and mean first-passage times, Phys.Rev.Lett. 52, 2129-2132, 1987.
6. K.Lindenberg,K.E.Shuler,J.Freeman and T.J.Lie, First passage time and ex-tremum properties of Markov and independent processes, J.Stat.Phys. 12, 217-251, 1975.
7. P.Talkner, Mezm fiirst-passage time and the lifetime of a metastable state, Z.Phys. B. m, 201-207, 1987.
III. FIRST PASSAGE TIME FOR A MARGINAL STATE
DRIVEN BY COLORED NOISE
III.l
I. INTRODUCTION
The behavior of physical systems under the influence of
stochastic forces or noises has been a subject of study since long
time ago. Recently the study of dynamical aspects of this subject
has received special attention^. One of the studied dynamical
aspects is the influence of the noise in the relaxation process of
a system from an initial state to the final steady state. Different
quantities can be used to describe this dynamics. One can look at
the evolution of the probability density of the dynamical variable
of interest, or its statistical moments and correlations, or at the
stochastic trajectory itself.
The First Passage Time statistics associated to the
trajectory^ and the Non Linear Relaxation Time- for the moments have
been the most common tools used in the study of relaxation
dynamics. In this paper we will focus on the Mean First Passage
Time (MFPT) and its variance.
Although all relaxation processes can be studied by the use of
the MFPT technique, only few of them have a particular importance.
They are those processes in which the presence of the noise is
necessary to have a different dynamics than the pure deterministic
motion. We are referring to the relaxation processes from an
initial unstable state,*' or through a marginal state (saddle
point),''^^ or a barrier crossing between metastable states.^'" These
three types of processes need fluctuations to take place and the
dynamics would be very different if fluctuations were not present.
III.3
II. MODELS AND TECHNIQUES
A typical example of crossing through a saddle point
bifurcation appears in Optical Bistability. In this case the output
intensity q of the laser obeys the following dynamical equation^*
^ = y-g--^+$(t) = -(i>'(g)+$(t) (2.1) 1+g^
where y is the input intensity and Ç(t) is the noise. The potential
(t)(q) associated with this model has an inflection point at
"^m \ y ^1 if c>4. The process of switching-on corresponds
to changing the value of the control parameter y from zero to a
value above the threshold yn = «ïm + 2cqj,/( l+q ^ ). For this value, the
inflection point has a horizontal slope, and corresponds to a
marginal or saddle node state. The system starts in q = 0, pass
through the marginal point q,, owing to the presence of noise, and
reaches its stable state at qo = 2qj,/(qj, -l) .
There are two different regimes in this evolution. Outside the
marginal zone the dynamics is essentially deterministic, and the
noise plays a secondary role. However, near the marginal point the
potential is very flat, and then the dynamics is dominated by the
noise. It means that the almost entire action of the noise over the
system will take place there. Then, in order to study the influence
of the noise, we will only need few terms of the potential
expansion around this marginal point
III.4
g= -(t)/(g) +Ç(t) = ß+a(g-gJ" + 0{(g-gJ"*i)+C(t) (2.2)
which governs the dynamics in its vicinity. The point q=q„ is the
marginal point of the system when the control parameter ß is equal
to zero. For the model described by Eq. (2.1), ß=y-ym/ the
potential is a cubic power in the variable xsq-q ^ and therefore
n=2. Different systems will have the same expansion (2.2) and then
will be affected by the noise in the same way. The difference
between them can be evaluated from the analysis of their
deterministic equations, without considering the presence of noise,
as it is explained in Ref. 12. Thus we only need to use the
simplest model which is given by the potential
(|)(x) = - -ix^ - ßx , a>0 , (2.3)
Models defined by Eqs. (2.2) and (2.3) have already been
analyzed for $(t) being white noise.'"" Our aim here is to consider
a gaussian colored noise, the Ornstein-ühlenbeck noise, which has
a correlation function
<Ç(ü)$(t')> = -exp- l " l , (2.4) T T
where D is the intensity and x the correlation time of the noise.
Now the process x(t) is non-markovian and no precise theoretical
scheme to attack this problem exists. The best known approximation
to deal with this non-markovian problem starts from the deduction
of an effective Fokker-Planck equation for the probability density
III.5
P(x,t) valid up to order x and where transient terms are
neglected :''· " *
J-P(x,t) = -^<^'{x)P{x,t)+-^D{l-x(^"(x))P(x,t) (2.5) at ax 9x2
This is equivalent to consider the case of a gaussian white noise
but with a renormalization of the diffusion coefficient D, which
becomes a variable-dependent quantity. In this approximation, the
MFPT, <T>, for the system starting from XQ and reaching Xp, and its
variance Í!LT^=<T^>-<T>^ , are given, using general formulas of white
noise, °' ^ by
. . dx, ^ T'S — / ' 1 - = CWfe/.>-- - ^ ^'-'^
Jx, Dix^) P„{x^) J-' DiXz) Pgix^) J-" 3 * ^ J— 4 * 4
(2.7)
where P3(x) and D(x) are defined by
P,(x) = -^^exp-J'^dy-^^ / Dix) = D(l-xi\>"{x)) (2.8)
This quasi-markovian approximation make sense if the initial,
XQ, and final, Xp, values of x are far away from the marginal point,
and then the non-markovian transient effects are not important.
Note also that the system defined in (2.3) has no steady state, and
the function Ps(x) has in general no physical meaning. If it would
III.6
have a steady state (for instance, putting a reflecting barrier to
prevent particles to go out to infinity), Ps(x) would be the
stationary probability density in this approximation.
Two important quantities can be built with the parameters a
and D that will be useful to obtain some additional physical
information (we will turn to that point in Sec. III). The first one
is {D/a)^'^'^*^\ it has dimensions of the variable x and means the
size of the region near the marginal point in which the dynamics is
dominated by the noise. The other quantity is (a D"" )' '*" * '. It has
dimensions of time and is related to the MFPT (or to any other
temporal scale). In particular, for the system defined in Eq. (2.3)
one can calculate the MFPT from -<» to +» in the white noise case^^'"
To = (r(ß = 0,T = 0)) = r(l/3)2(3I?a2)-i/3 (2.9)
For ß>0, there exist another relevant time scale. It is the
deterministic time, Tjat, that the system spends to go from x=0 to
x=oo driven by the only action of the potential (t)(x). This time
scale is proportional to (aß°' )' '°, which is obtained from the
definition
Therefore Eq. (2.2) can be adimensionalized by the change
x' = (-1)"" (g-gj , t' = ia^D"-^)'^ t (2.11)
with the result
III.7
- 2 ^ = x'" + k+r\{t') (2.12)
dt'
where ii(t') is a colored noise of unit intensity and scaled
correlation time x', being T' and k
x = (a2D"- )" T ; Jc = (aD«)"^ß (2.13)
The parameter k is proportional to (To/Tjat)"''"' '- It gives
information on how far the system is from pure marginality by
comparing two different characteristics times. These two parameters
k and x', are the only relevant ones in this problem, and any
quantity should depend only on them through the changes given by
Eqs. (2.11).
III. MFPT FOR SMALL CORRELATION TIME OF THE NOISE
Now we apply Eqs. (2.5) and (2.6) to the system defined by Eq.
(2.3). Making an expansion in powers of x' we obtain the following
expression for the MFPT corresponding to the evolution from Xo=-a»
to x=»:
(a2i?)i/3<r> = ro + rj.x^+o(x/2) (3.1)
where
To = 1 t l ^ 2 j " c [ x ^ - l / 2 g x p _ / 1 ^ 3 + j ( . J ( 3 . 2 )
III.8
T, = Tí'-^^f'dxx^^^exp-l-^x^+kx] (3.3)
In a similar way, the standard deviation is, up to first order in
(a2D)i/3^T= Äro+^-A-T' + 0(x'2) (3.4) 2 A ig
where
( A TQ) 2 = 4 f*''dXj^ f'''<^2 C^^dKi ¡""^^A ® ^ ^ "("T (xl+xl-xl-xl) +k (X1+X2-X3-X4) ) J—«a J—ea J—90 J—ea \ 3 /
(3.5)
A = 2f*°'dx^f^^dX2f^'dXjf^''dx^ íexp-1-j {xl+xÍ-x¡-Xi) +k(Xj^+X2-X2-xJ^
X {{x^+xi-x^-xt) +2k{x^+xi-xi-x¡) -4 (X3+X4))
In Figs. 1, 2-a and 2-b these results are compared to the ones
obtained from numerical simulation methods^* of the system defined
by Eq. (2.3). The dependence on the parameter k. Fig. 1, is fairly
good, mainly in the small-r' regime, where Eqs. (3.1) and (3.4)
would become more appropriate.
In the pure marginal case (k=0) these integrals can be
evaluated
a?o = 3-^'^ [r(l/3)]2 (3.7)
Ti = 2n 3- ' (3.8)
III.9
100
A
V
- 1.5
Fig. 1.- <T> versus k. Symbols are simulation results of the system
defined by Eq. (1.3) with a=3 and D=l (circles: T=0.01; squares:
T=0.1; triangles: x=0.5; rombics: T=1). Solid lines: analytic
results from Eq. (2.1)-(2.3)
iii.lU
A
V
a CS O
30
20-
10
1
/ / y
1 y^ 1 Ä
1 /
1 / ^
- 'ß
1
1 • • - T -
10
1 i
1 - •
A X
A ^ ^
, ' '^ .„ -^^
-
1 2 3 1
10 15 20 25
30
i2 20
Û O
10-
A X A
O,
1 1
t
1 a
- / a
í 1
A
A
X ^
1
A
A
15
10
5-
(
°C ) \ 2 Z
1 1
-
' "O 5 10 15 20 25
T- = ( a ' D ) ' / ^ Fig. 2.- (a) Scaled MFPT vs x'. Dashed lines are the theoretical
results of Eq. (2.1), (2.7) and (2.8); Solid lines are the
numerical solution of Eq. (3.13). (b) Scaled Standard Deviation vs.
X'. Dashed lines are the theoretical results of Eq. (2.4), (2.9)
and (2.10). Symbols are simulation results of the system defined by
Eq. (1.1) with c=20 (+: D=0.01 and x: D=0.1) and the system defined
by Eq. (1.3) with a=3 and fl=0 (circles: 0=0.01; squares! D=0.1 and
triangles: D=l).
III.11
áTo = 3-5' [r(l/3)]2 (3.9)
A = 19.151... (3.10)
In this case, the dependence of T and AT on the correlation
time of the noise has been obtained from digital simulations of
both of the systems defined through Eqs. (2.1) and (2.3) (with y=yB
and ß=0 respectively, and for different intensities of the noise),
and the results can be seen in Figs. 2-a and 2-b. They confirm the
dependence of the dynamical quantities scaled by Eg. (2.3) on the
scaled correlation time x', being this dependence the same for
different physical systems. This is a clear manifestation of the
universal behavior near the marginal point. On the other hand, the
MFPT and its variance are correctly given by Eqs. (3.1), (3.4) with
(3.7)-(3.10) in the small T region for both of the systems
simulated. Moreover, a physical argument can be invoked to extend
these results to finite values of x, which is presented in the
following section.
IV. MFPT FOR LARGE CORRELATION TIME OF THE NOISE
Let's start first from the standard linear model for the decay
of a unstable system '*
x(t) = x(t) + at) (4.1)
where the variable x is placed at x=0 in t=0, and Ç(t) is an
III.12
Ornstein-Uhlenbeck noise in its steady state. For such a system,
the evolution of the second moment of x is calculated exactly for
all values of D and x
D D T <x2>t = e^^ + 2D e- - "' (4.2)
1+T 1-T 1-T2
The mean time T that the system takes to leave a region of
size R should be the time needed by the distribution of x to reach
a width proportional to R
<x2>t = a R2 (4.3)
The proportionality constant a is evaluated easily imposing
over Eqs. (4.2), (4.3) the result corresponding to T=0 (white
noise) and for the limit D<<R2 , which is satisfied choosing
a = 2e (4.4)
being y the Euler constant. In this way, the MFPT is given by the
equation
1 T 2R2
1+T 1-T l-T
In the limit D<<R2, Eq. (4.5) is satisfied by the known result from
III.13
the Quasideterministic Theory (QDT)*'^
1 R2 1 TQDT = In + Ci + In (l+x) (4.6)
2 2D D
with Ci=Y/2+ln2. In Fig. 3 both results are compared. They are
equivalent for weak noise, but Eq. (4.5) also describes the non-
weak noise situation.
For the marginal case it is no way to find a closed equation
for the evolution of <x^>. Instead, it is possible to relate this
problem to the evolution of a system with a constant potential,
that is to say free diffusion. Let us consider the system defined
by Eq. (2.2) with ß=0
X = ax" + $(t) (4.7)
where n>l. The dynamics outside of the marginal zone is essentially
deterministic, but the noise dominates in the mentioned region of
size L « {D/a)^'^^*^K Let's assume that the evolution inside this
region is free
X = Ç(t) |x| 5 L (4.8)
In this case, the width of the distribution is given by
<x2>t = 2D ( t - r ( 1 - e-'''') ) (4.9)
A similar argument that the one applied to the unstable system
holds here. The MFPT for Eq. (4.7) is assumed to be proportional to
the time t that <x^> takes to become L^ in the free system (4.8).
III.14
T
Fig. 3.- MFPT vs. x for the unstable system (3.1). with D=l.
Symbols are simulation results (Squares: R=20; circles: R=0.5).
Dashed line is the Eq. (3.5) (QDT theory). Solid lines are the
numerical solution of Eq. (3.5). The differences between both
results are indistinguishable for R=20.
III.15
It means that
r D -1 n+1 •^>^ « I I <x2>ç « I I (4.10)
L a J
o r , i n o t h e r w o r d s ,
t - T ( 1 - 0-'=' ) cc ( a2D°-^ ) ^ ^ « To . ( 4 . 1 1 )
Putting t=M.T, being \i the appropriate proportionality constant, the
equation for the MFPT reads
HT - T ( 1 - e-^'^'' ) = fi To (4.12)
The parameter \i is immediately identified with the inverse of the
linear term in an expansion of T in powers of r ( see Eq. (3.1).
Then Eq. (4.12) yields
T-To = T T I | 1 - exp - I (4.13) Ti r 1 - exp - I L T Ti -I
This expresión gives the passage time for the system (4.7),
provided the constants TQ, TI be known. These two quantities can be
in general calculated by the standard methods of Sec. III.
A problem arises in this argument if n is even, which
corresponds to an asyiranetric potential. In that case, a system that
exits from the marginal zone by its left side crossing x=-L, is
forced by the deterministic potential to turn back, and it really
III.16
does not exit until it reaches x=+L. This effect becomes important
when the correlation time of the noise goes to infinity. In this
limit, the noise is almost constant, and the system has to wait a
time of order of x to let the noise reach a positive value, which
is necessary to cross the marginal point x=0. This linear in x
contribution to the MFPT hides the time given by Eq. (4.13), which
is asymptotically proportional to x in this limit.
For n=2. To and Ti are given by Eqs. (3.7), (3.8). In Fig. 2(a)
the prediction of Eq. (4.13) is compared to the simulation results
of the both systems (2.1) and (2.3), presenting a perfect agreement
up to values of x' as large as 10. Above that value, a linear
dependence on x' is observed, as we have commented.
V. CONCLUSIONS
We have presented an approximate theoretical scheme to
calculate the dominant contributions of the colored noise on the
first moments of the passage time for a relaxation process through
a marginal point. This has been possible due to the fact that
markovian formulas can be used because boundary effects, which are
more sensitive to the nonmarkovicity, are not dominant in this
case. The simple idea of substituting the real process by free
diffusion in a finite interval is also profitable for large values
of X. The computer simulations have confirmed the suitability of
III.17
the approximations in a wide range of the parameters. Hence we
conclude the very simple approximations presented in this paper
have retained the essential physics of the dynamical process
through a saddle or marginal point. They could be profitable in the
study of a real systems like Optical Bistability in Lasers.^*
III.18
REFERENCES
^ F. Moss and P.V.E. McClintock, "Noise in Nonlinear Dynamical
Systems", Vols. I, II and III. (Cambridge University Press,
Cambridge, England, 1989)
^ R.L. Stratonovich, "Topics in the Theory of Random Noise" Vol.1
(Gordon and Breach, New York, 1963)
^ M. Suzuki, Intern. J. Magnetism, 1., 123 (19719; K. Binder, Phys.
Rev. B 8., 3423 (1973); J. Jimenez-Aquino, J. Casademunt, and
J.M. Sancho, Phys. Lett. A 133, 364 (1988)
* S. Zhu, A.W. Yu and R. Roy, Phys. Rev. A H , 4333 (1986)
^ M. James, F. Moss, P. Hänggi and C. Van den Broeck, Phys. Rev.
A li, 4690 (1988);
* J.M. Sancho and M. San Miguel, Phys. Rev. A u , 2722 (1989);
^ J.M. Sancho and M. San Miguel, in Vol.1 of Ref.1.
* J. Casademunt, J.I. Jimenez-Aquino, and J.M. Sancho, Phys. Rev.
A 10./ 5905 (1989)
' B. Caroli, C. Caroli, and B. Roulet, Physica 101 A, 581 (1980)
^° F.T.Arecchi, A.Politi and L.Ulivi, Nuovo Cimento 711,119(1982)
^ D. Sigeti and W. Horsthemke, J. Stat. Phys. ¿4/ 1217 (1989); D.
Sigeti, Dissertation, University of Texas at Austin (1988)
" P. Colet, M. San Miguel, J. Casademunt and J.M. Sancho, Phys.
Rev. A 19., 149 (1989)
" P. Hänggi, T.J. Mroczkowski, F. Moss, and P.V.E. McClintock,
Phys. Rev. A ¿2, 695 (1985); C. R. Doering, P.S. Hagan, and
C D . Levermore, Phys. Rev. Lett. .59., 2129 (1987); R. Fox,
Phys. Rev. A H , 911 (1988); M.M. Klosek-Dygas, B.J. Matkowsky,
III.19
and Z. Schuss, Phys. Rev. A 18., 2605 (1988); G.P. Tsironis and
P. Grigolini, Phys. Rev. Lett. ¿1., 7 (1988); J. F. Luciani and
A.D. Verga, J. Stat. Phys. ¿0., 567 (1988); L. Ramirez-Piscina,
J.M. Sancho, F.J. de la Rubia, K. Lindenberg and G.P. Tsironis,
Phys. Rev. A M # 2120 (1989)
" R. Bonifacio and L.A. Lugiato, Phys. Rev. A JJ., 1129 (1978); G.
Broggi, L.A. Lugiato and A. Colombo, Phys. Rev. A J2, 2803
(1985); W. Lange, in "Dynamics of Non-Linear Optical Systems",
Eds. L. Pesquera and F.J. Bermejo, World Scientific. Singapore
(1989)
" K. Lindenberg, B.J. West and J. Masoliver, in Vol. I of Ref. 1
* J.M. Sancho, M. San Miguel, S.L. Katz, and J.D. Gunton, Phys.
Rev. A 16., 1589(1982)
IV. STOCH2^TIC DYNAMICS OF THE CHLORITE-IODIDB REACTION
IV. 1
I. INTRODUCTION
Features of irreproducibility have been very recently
observed^'^ in kinetic experiments performed on several well-known
chemical reactions. In a previous and very preliminary paper^
devoted to this question, we proposed a theoretical scheme based
on the use of a Langevin equation aimed at modelling this random
chemical behavior. Fluctuations entered into the dynamics there
considered in a multiplicative way, and without scaling with the
inverse of the volume, as would be the case if they were to account
for some sort of thermal, dynamics independent, noise. Here we will
adopt the same theoretical framework, but we will formulate it in
relation with a particular reaction which has been much more
studied from a chemical kinetics point of view.
Although fluctuations, or more familiarly dispersion of
results, are always present in any experimental procedure, their
impact on the measurements is mitigated and kept under control if
one uses appropriately designed and carefully operated experimen
tal techniques. In contrast, two striking features of the
experimental observations on the chemical reactions here inves
tigated seem to us specially intriguing. First, the irreproduci
bility in the reaction times is far from being négligeable, with
standard deviations that may be as large as a 40% of the mean
values. Additionally, this randomness turns out to be largely
dependent on experimental conditions such as sample volvimes or
stirring rates. It is precisely this mixing sensitivity which
IV. 2
supports the belief^"^ that the observed stochasticity is caused by-
local inhomogeneities of the reaction volvune that are largely, and
somewhat surprisingly, amplified by highly nonlinear kinetics. As
a matter of fact this sort of behavior is by no means unique to
redox reactions as those referred here, since they were already
theoretically discussed by Nicolis and collaborators'" for thermally
explosive reactions or experimentally studied by Hofrichter and
coworkers for the polymerization of sickle cell hemoglobin.^
According to what we have just mentioned, we tend to think
that in these particular chemical reactions purely kinetic effects
may be strongly affected by transport phenomena mediated by
stirring. Therefore a proper dynamical description would probably
require the consideration of spatial degrees of freedom to account
for either microscopic or macroscopic transport of reactants or
intermediates of the reaction. Here, we cidopt a much more modest
approach, trying to model this sort of effect in a much more 'ad
hoc' way. More specifically we incorporate the effects that the
mixing may have on the kinetic constants by letting them fluctuate
around "mean field"--like averaged values. The intensities of such
fluctuations will be further inversely correlated with the stirring
rate. Proceeding in this way the set of deterministic rate laws
transform into a set of Langevin stochastic differential equations.
The statistics of the reaction time distribution is then analyzed
in terms of the standard theory of first passage time
distributions.
IV. 3
The particular chemical system here considered consists of the
autocatalytic reaction between chlorite and iodide ions in an
acidic medium. The experiments^ were performed in batch at
concentration ratios where it features a clock reaction behavior
displayed by the sudden appearance of brown I2 which is followed by
the rapid disappearance of the color.
The paper is organized as follows. The chemistry of the
reaction is reviewed in Section II. The stochastic model is
introduced in Section III. The results, either analytical or
obtained from computer simulations, are summarized and compared
with those of the experiments in Section IV, and finally a last
section is devoted to conclusions.
II. CHEMICAL FRAMEWORK
A. Kinetic model and rate constants
The chlorite-iodide reaction has been extensively studied from
a mechanistic point of view. Although these studies have generated
several controversies in the past,* there does not seem to be many
disputes over the stoichiometry of the major overall compound
reactions. These can be essentially summarized in two determining
steps^. An initial process producing iodine through the oxidation
of iodide by chlorite
CIO2" + 41' + 4H* > 2I2 + CI' + 2H2O (2.1)
IV. 4
is followed by the further oxidation of iodine to iodate with any
excess of chlorite
SClOz' + 2I2 + 2H2O > 5C1" + 4103' + 4H* (2.2)
Reaction (2.1) is autocatalytic in iodine with an experimental rate
law given by
d [ClOj"]
dt = ^la f" l tl"] [C102~] +
k
(2.3) [I2] tC102~]
lb ~ - ^ic CI2I t^lV^
Reaction (2.2) has been investigated by stopped-flow techniques.
The conclusion is that iodide inhibits this particular phase of the
chemical reaction so that it does not play a significant role until
practically all the iodide of the medium has disappeared through
process (2.1).^ In what follows we will essentially concentrate on
the initial reaction (2.1). In doing so, we follow the arguments
proposed by Nagypál and Epstein^ who suggested that one could
qualitatively understand the observed stochasticity of the
chlorite-iodide reaction as originated in local inhomogeneities of
the non-ideally mixed medium. These inhomogeneities would
correspond to very low iodide levels that might in turn trigger the
subsequent fast consumption of iodine through step (2.2). According
IV. 5
to this mechanistic interpretation of the behavior of the reaction,
it seems reasonable to limit our considerations here to the
analysis of the random effects occurring during the initial step
(2.1), when it is more likely they can significatively affect the
course of the reaction. In addition, reaction (2.1) deserves
special attention since, as clearly shown by the rate law (2.3),
the initial reaction between CIO2' and I", apart from being
autocatalytic in iodine, is inhibited by the reactant iodide.
Consequently, this step supposes a sort of chemical supercatalysis,
at least for not extremely low iodide concentrations.^ Actually,
the presence of chemical mechanisms with highly autocatalytic
pathways was already identified^ as a possible essential ingredient
when trying to qualitatively explain the observed stochastic
behavior of these chemical systems.
The last point we want to address in relation to the chemistry
of the chlorite-iodide reaction concerns the values of the rate
constant appearing in the kinetic equation (2.3). There is no
agreement in the literature on the experimental values of these
constants. They were first evaluated from experiments in the
1960's. More recent values found in the literature are those of
the Brandeis groupe*'*, or the set used by Boissonade and De Kepper'
in their theoretical study of the mixing effects on the bistability
of this reaction in CSTR. With respect to the kjc term it seems to
be generally accepted that it is of little significance compared
with the kib term.
IV.6
In our approach here we have thus adopted a simplified version
of the rate law (2.3) in which the k o contribution was neglected.
In addition the experiments of the Brandeis groups were conducted
in an acidic buffered medium so that a constant value [H*],
[H*]=9.3.lO' M for most of the experiments, can be included in the
rate constant kj resulting in an effective value k'l J k'ia=kia[H*].
The final kinetic equation we are then led to consider is
d [C10~"] [I^] [CIO,"] _ ^ = k' [I-] [ClOj-] + kj^j^—^ ^ - (2.4)
dt ^^ ^ " ° [I"]
The results that will be presented later on correspond to the set
of constants proposed in Ref. 6a: ki.i=l. lO M' s" kib=l • 10" s'\
although we have explicitly checked that similar conclusions to
those reported here would apply irrespectively of the particular
set of rate constants adopted.
B. Deterministic results
Let us denote by a and ß the respective initial concentrations
of CIO2' and I". The time dependent concentrations of the set of
chemical species appearing in (2.4) can then be simply expressed
in terms of a variable x(t) by using the stoichiometric relations
appropriate to reaction (2.1)
IV. 7
[ClOz'] = a - X
[I'] = ß - 4x (2.5)
[I2] = 2x
Using the rate law (2.4) we then obtain the deterministic evolution
equation for the single variable x(t):
dx X(a-x) = k', (a-x)(ß-4x) + k' , (2.6)
dt ^^ ^° (ß-4x)
where k'ib=2kib. Equation (2.6) is written in terms of four
parameters: the initial concentrations a and ß , and the two rate
constants k'ja and k'lf To simplify the following analysis it is
more convenient to transform the concentration and time variables
into dimensionless quantities according to
ß x = q , 0 < q < 1
4
e t =
(2.7)
4-k'i^a
The equation (2.6) now reduces to
dq q(l-ß'q) = (l-ß'q)(l-q) + k'/ß' = f(g) (2.8)
de (1-q)
written in terms of a reduced number of independent kinetic
parameters, ß' and k', defined as
IV. 8
ß' = 4a
k (2.9)
Ib k',^ 16a la
The experimental concentrations used by Nagypál and Epstein^
correspond to a fixed initial chlorite concentration, a=5.10"^M,
whereas the iodide concentrations range from a value ßoin=3 .333. lO' 'M
to ß,Bax=2.5.10' M. However a noticeable stochastic behavior was only-
found for values of ß smaller than ß x by nearly an order of
magnitude. Consequently, we will restrict the range of studied ß
values to ß<4a=2.lO'^M, or in other words to ß'<l. This means in
particular that the deterministic force f(q) is always positive and
drives the system from the initial condition q=0, in absence of
iodine, towards a somewhat artificial completion of reaction (2.1)
represented by q=l.
According to the considerations made in section II.A relative
to the chemistry of the C102"/I" reaction, the kinetic law (2.4)
essentially governs an initial stage of the overall reaction. We
can estimate the time scale corresponding to this initial phase of
the reaction by simply integrating Eq. (2.8). In addition we can
obtain in this way a well defined characteristic time in absence
of any s tochas ticity. This deterministic time will be of further
utility when comparing it with its stochastic counterpart, the mean
first passage time (MFPT), to be introduced in the next section.
IV. 9
From (2.8) and in the diinensionless time scale introduced in (2.7)
it will be
^ dq ej„^ = (2.10)
0 f(g) 'det
so that in the original time units Tdet=6det/4k'laOi-
From a comparison of this theoretical result with what would
be its experimental counterpart, TdatUxpf or e can estimate the
existing relation between the time scale associated with the
dynamics of our model equation (2.8) and the experimental time
scale. This is done here by assuming that the appropriate
experimental quantity to be compared with the deterministic value
0det is the measured reaction time in the limit of very high
stirring rates. In doing so, and without any other reference to
more elaborated arguments, we simply invoke the fact that both, the
deterministic limit in our theoretical scheme and the limit of very
rapid stirring, should be comparable since both are expected to
predict a negligable random behavior of the chemical process. This
time scale normalization will become indispensable whenever we want
to compare our results with the experimental ones. This is not
completely surprising in view of the inherent limitations of a
description based on the dynamical equation (2.8). First of all,
we must keep in mind that we are only considering a very initial
phase of the overall chemical reaction, whereas in the real
experiments the reaction times correspond to the subsequent disap
pearance of iodine formed during this first step of the process.
IV.10
Secondly, at very low iodide concentrations, i.e. for q — > 1, the
inverse dependence of the kit term on [I'] should be certainly
questioned.^ Finally, let us mention that in much more refined
studies of the reaction mechanism,** some discrepancies between the
observed and calculated time scales were also found, indicating
that probably some details of the chemical mechanism of this
reaction still remain to be completely clarified.
III. STOCHASTIC MODEL
In this section we essentially follow the ideas already
introduced in Ref. 3. There our position was that stirring effects
would probably be the main responsible for the observed randomness
in the behavior of these chemical systems. In other words, our idea
was that purely chemical effects and transport phenomena mediated
by stirring should no longer be considered as independent in
systems non ideally mixed, but rather stirring effects could
influence the set of the somewhat averaged rate constants
regulating the successive steps of the global chemical process.
This in turn led us to propose the use of a Langevin dynamics with
a multiplicative noise as an appropriate framework to model this
sort of chemical irreproducibility. Here we will adapt this
argument to the much more realistic kinetic law given by (2.4).
In absence of initial iodine concentration the kinetics
specified by (2.4) is initially dominated by the mass action-like
IV.11
contribution specified by the rate constant kia. However, the most
important nonlinearity of the model, and, as stated in section
II.A, the term that seems to be more directly related to the
observed peculiar behavior of the reaction, is the autocatalytic
contribution regulated by the rate constant kib- In this sense, we
will assume that a stochastic force is introduced in our
deterministic scheme (2.6) by letting k'lt fluctuate around a
prescribed mean value, according to
lb -> k'lb + n(t) (3.1)
Certainly the arguments we presented at the beginning of this
section, in order to explain the possible origins of noise sources
as the combined effect of both chemical and transport processes,
would apply irrespectively to either one of two rate constants in
(2.4). However, for the sake of simplicity of the model we
discriminate the kxa term as a noise source on the basis of the
higher nonlinearity associated with the k , supercatalytic
contribution to the initial kinetics of the chemical reaction. In
addition we just point out that preliminary calculations performed
on an earlier version of the model that incorporated noise terms
through kj predicted results that from a quantitative point of
view were far less significant that those that will be presented
in section IV based on the hypothesis (3.1).
IV.12
Introducing (3.1) into (2.6) the concentration variable x(t)
no longer evolves deterministically but rather in a stochastic way,
according to a Langevin equation given by
dx x(a-x) x(a-x) = k' (a-x)(ß-4x) + k' , + H(t) (3.2)
dt (ß-4x) (ß-4x)
ÄS was done in Ref. 3 we prescribe a Gaussian 5-time correlated
statistics for the noise term \x(t)
<l·i(t)l·L(t')> = 2D S(t-t') (3.3)
The dimensionless version of Eqs. (3.2) and (3.3) are
dq q(l-ß'q)
= f(q) + <i>(e) (3.4) de ß'(l-q)
and
D «{)(e)<t>(e')> = 2D' 5(9-9') ; D' = (3.5)
64k'la«'
Equation (3.4), written in terms of the multiplicative noise
ct)(9), is the central equation we will use in the remainder of this
paper. Let us express it in a much more generic way as
dq q(l-ß'q) = f(q) + g(q)«l)(9) ; g(q) = (3.6)
de ß'(l-q)
IV. 13
The analysis that follows is mainly devoted to the evaluation of
two basic dynamical quantities which to our understanding are the
most relevant ones when trying to compare the results predicted in
our model with those of the experiments. First of all, we calculate
the mean first passage time (MFPT), Ti (Sj in the dimensionless
version). This will be directly compared with the averaged reaction
time for the experiments with the chlorite-iodide reaction. In
addition, and in order to better represent the actual degree of
irreproducibility of the chemical process, we will evaluate the
second moment of the distribution of passage times, noted T2 (62 in
the dimensionless version). This will enable us to readily evaluate
the variance of this distribution, easily compared with its
experimental counterpart extracted from the reaction time records.
Obviously, the distribution of reaction times, and its
corresponding moments, are defined in relation to a particular
choice of the starting and exit points of the stochastic
trajectories evolving according to Eq. (3.6). In our treatment
here, the starting point will correspond to the initial condition
for the chemical kinetics, i.e. q=0, in absence of any initial
iodine concentration. On the other hand, the escape value will be
arbitrarily chosen here as q=l corresponding to the previously
identified condition for the completion of the initial kinetics
(2.1). We believe that this arbitrariness, actually hard to
circumvent, may be however properly compensated with the previously
introduced time scale normalization procedure.
IV. 14
The equations satisfied by the first two moments of the
distribution of passage times for stochastic trajectories starting
at an arbitrary point q are respectively'" (g'(q)sdg/dq)
d2 D ' g M q ) — öiiq) +
dq2
f(q)+D'g(q)g'(q) — 9 (q) = -1 dq
(3.7)
d2
D ' g M q ) — Qoi^) " dq2 ^
nd f(q)+D'g(q)g'(q)
dq e^(q) = -29,(q) (3.8)
According to our prescriptions, they will be solved for q=0
with boundary conditions ei(q=l)=92(q=l)=0. The last equation is
readily transformed using (3.7) to an equation for the variance
(A0)'(q) = 82(q)-ei2(q),
d2 D ' g M q ) — (A9)2(q) +
dq2
f(q)+D'g(q)g'(q)
2
dq (A9)Mq)
(3.9)
= -2D'g2(q) d9i(q)
dq
A particular solution for 9i(q) and (AS) (q) is obtained integrat
ing formally (3.7) and (3.9). When specialized to q=0 these
solutions read
9, = 8,(q=0) =
1
dq
0
1 + D'g2d/dq
f +D'gg' f + D'gg' (3.10)
IV.15
(Ae)^ s (á0)Mq=O)
1
dq
--Ir (3.11)
1 + D'g2d/dq
f +D'gg'
g2(dej^/dq)
f + D'gg'
An exact solution of equations (3.10) and (3.11) is out of our
reach. Consequently we have adopted the same strategy already
proposed in our previous paper^. It consists in converting (3.10)
and (3.11) into a series development in powers of the assumed small
parameter D'. In addition we determine Bi and (AQ)^ via computer
simulations^^ of the stochastic dynamics specified by (3.6).
Obviously, both the analytical and computer evaluated results have
to coincide in the limit of very small values of D'. The lowest
orders contributions to 9i and (A8)2 respectively read
«1 = dq
0 í('ï) D' dq ( g/f )2 + 0(D'2)
0 dg
= 0
and
det
(Ae)2 = 2D'
1 D' (3.12)
dq
0
+ 0(D'2)
+ 0(D'2) (3.13)
The integrals left in (3.12) and (3.13), and those corresponding
to higher orders in D', may be solved using standard numerical
integration routines.
IV. 16
IV. ANALYTICAL AND SIMULATION RESULTS
In this section results will be obtained corresponding to our
stochastic model of the kinetics of the chlorite-iodide reaction
and they will be further compared with those obtained by Nagypál
and Epstein.^ Essentially, three different parameters were tested
in those experiments: volume of the reaction mixture, stirring
rate, and initial iodide concentration. In this way several series
of approximately 50 repeated measurements were obtained by keeping
fixed two of the previous parameters and varying the remaining one.
In our formulation here we do not consider as completely
independent parameters those corresponding to the sample volume and
the stirring rate. Indeed, we believe that the intensity of the
stochastic forces, or in other words the degree of randomness,
should be actually related to some sort of mixing efficiency that
would eventually depend on both stirring rates and volume of the
reaction vessel. Thus, in all what follows we will essentially
concentrate in analyzing the results corresponding to measurements
performed with a fixed volume, V=9cm^, and initial chlorite
concentration, [ClO2"]=5.10'^M, whereas the stirring rate and the
initial iodide concentration are viewed as variable parameters.
IV.17
A. Dependence on stirring rates
The first set of presented results are those corresponding to
different stirring rates. Values of Ti and AT are obtained for
different values of D while keeping fixed the initial iodide
concentration to the experimental value [I ]=6.666.10"*M. The dimen-
sionless results obtained either analytically or via simulations
are summarized in Fig.l. Before going to a more explicit comparison
with the experiments, let us note that according to Fig.l, the
averages of the first passage times increase in going to smaller
values of the noise intensity, whereas their variances, contrarily,
decrease. Both behaviors are easily understood. The variances (AT)^
directly measure the degree of randomness, here introduced through
the noise terms of intensity D. On the other hand, the presence of
a multiplicative noise, results, as was mentioned in Ref. 3, in a
positive modification of the deterministic rate constant k'. This
in turn leads to negative contributions to the first passage times
with respect to their deterministic values.
The central question that yet remains to be solved consists
in relating our model parameter D with the experimental stirring
rate. To this end, and since we do not have available more
fundamental arguments, we can only aim at directly comparing our
theoretical results with those of the experiments. This procedure
is here carried out in terms of the relative quantity A6/9i instead
of using separately either one of the two computed moments 9i or
AG. In passing we note that by referring to this relative quantity,
we do not need to use any time scale normalization. In Fig. 2 we
IV. 18
0.05 1
0.04 -
0.03 -
0.02-
0.01-
0.00
D
0.00 0.05 0.10 0.15 0.20 0.25 D'
Fig. 1.: Theoretical results for 8i and â0 versus noise
intensity D' for a fixed initial concentration [ I']=6.666.10"*M
(ß'=0.03333). Solid lines correspond to the analytical approxi
mations given by (3.12) and (3.13). Simulation results of the
Langevin dynamics (3.4/5) are represented by circles for Sj and
squares for AB.
IV.19
ÛT/T,
Fig. 2.: Results for AT/Ti versus the noise intensity D' for
a fixed initial concentration [ I"]=6 .666 . 10"'M (ß'=0 . 03333). The
solid line correspond to analytical results. Circles stand for
simulation results. The crosses correspond to experimental data for
different stirring rates (rpm): a=1450, b=1100, c=850, d=750,
e=650, f=570 and g=500.
IV. 20
plot in a semilogarithmic scale both analytical and simulation
results for AQ/Si corresponding to different values of D'. The
experimental data for stirring rates comprised between 500 rpm and
1450 rpm, are also shown. By directly looking at this figure we can
estimate the actual values of D' corresponding to the set of
experimental stirring rates. Once this procedure has been
completed, individual values of Sj and A8 are easily evaluated. By
finally converting them into the experimental time scale through
the normalization factor Tdetl exp/Qdet/ w® can directly compare our
predictions with laboratory measurements as is done in Table I.
The results corresponding to the four first rows correspond to
simulation results whereas those corresponding to the last three
ones were obtained with the small D' expansion.
We notice that theoretical and experimental results compare
better in the limit of high stirring rates or equivalently low D'
values, but even in the opposite limit of considerably large values
of D', the discrepancies for either the averaged reaction times or
their standard deviations are at most of the order of a 20%. At
this point it is worth noting that the statistics provided by the
experimental measurements is rather poor obviously due to the
limited set of data available. With fifty exactly replicated
experiments the statistical errors in the averaged values of Tj or
AT may be as large as a 10%. On the contrary, these statistical
errors are minimized in our simulation procedure by performing our
statistics over sets of up to 10* stochastic trajectories. This
IV. 21
results in statistical errors with an upper bound of a 0.6% in Ti
and 1% in AT.
Finally we deduce from Fig.2 that, as expected, the intensity
of the noise terms in our model and the stirring rate are inversely
correlated. Speculative fits suggest an inverse power relation
D''% (stirring rate)"", although this can only be viewed, at this
point, as a mere conjecture that should be tested for other systems
and experimental conditions.
B. Dependence on iodide concentration
Once the estimation of the values of the noise intensity
corresponding to the different stirring rates has been completed,
the model does not have any other adjustable parameter. Therefore,
the consistency of our whole theoretical scheme may be further
checked by analyzing the results obtained for different initial
iodide concentrations at a fixed stirring rate. To compare with ex
perimental data we refer to series of measurements performed with
the stirring fixed at 850 rpm and initial iodide concentration
ranging from 3.333 10"*M to 2.5 lO' M. Experimental and analytical
results (D'=1.06 10" ) are summarized in Table II.
From these results we can immediately see that the theoreti
cal and experimental estimations of T and AT agree in predicting
larger values of both quantities when ß' increases. However in
order to better see the effect of the iodide concentration on the
randomness of the reaction, we refer again to the relative quantity
AT/Ti. Both the experimental and theoretical results predict the
IV.22
Table 1.- Theoretical and experimental values for Ti and AT
corresponding to a fixed initial iodide concentration
[I"]=6.666.10'*M (ß'=0.03333) for different stirring rates. Times
are expressed in seconds.
St.(rpm)
500 570 650 750 850 1100 1450
D'
3.1 .10'^ 5.70.10'^ 2.00.10"^ 1.11.10"^ 1.06.10"^ 2.77.10'^ 1.53.10"^
Ti(s)
103.7 154.2 154.7 167.0 157.1 169.3 159.6
AT(s)
65.3 64.6 45.2 35.3 34.5 17.6 13.1
Tllexp(S)
80.1 112.3 143.2 145.8 148.3 169.0 170.4
ATUxp(s)
50.4 46.9 39.2 30.3 30.1 17.5 13.1
Table 2.- Theoretical and experimental results for T and AT
corresponding to a fixed stirring rate of 850 rpm (D'=l. 06.10" ) for
different initial iodide concentrations.
[I"](M) ß' Ti(s) AT{s) TiU,p(s) T|e.p(s)
81.7 9.1 148.3 30.1 298.4 45.9 572.0 77.8
3.333.10"* 6.666.10"* 1.333.10"^ 3.333.10"^
0.01667 0.03333 0.06667 0.16667
97.9 167.1 279.5 533.5
26.7 34.5 43.1 55.8
IV. 23
A T / T ,
0.6
0.4
0.2H
0.0
10"
O
o
o
o o
o oO o o
1—I I I r ¡ I r I 1—rTTTTTT] 1—i i i i m| 1—TTTTTTTI 1—i i i i rt r-j
IC IO •3 10 -2 10 -^
ß' 1
Fig. 3.: Results for ÄT/Ti versus initial iodide concentration
ß' for a fixed stirring rate of 850 rpn- (D'=1.06.10'^). Circles
stand for theoretical results and diamonds correspond to
experimental date.
IV.24
appearance of a maximum at an intermediate value of ß', as it is
shown in Fig. 3. The position of such a maximum differs however by
nearly an order of magnitude in comparing our theoretical
predictions with the results of the experiments.
V. CONCLUSIONS
The experimental observed randomness of the chlorite-iodide
reaction has been analyzed in terms of a theoretical model based
on the use of a stochastic differential equation with multiplica
tive noise. Results for both the averaged reaction times and their
standard deviations are computed and analyzed in terms of two basic
experimental parameters: the stirring rate and the initial iodide
concentration. With respect to the influence of stirring, our
results predict, in accordance with experiments, larger reaction
times and smaller variances as the stirring rates increase. In
regard to the dependence on the initial iodide, a maximum of the
relative standard deviation at an intermediate value is found in
the experiments that is also predicted in our model. From a
quantitative point of view the comparison between theoretical and
experimental results would certainly improve if we could overcome
the present limitations either due to the reduced set of experi
mental data available or coming from the simplified version of the
chemical kinetics here used. In any case the use of Langevin
IV.25
equations appear to be a promising step further to analyze this
sort of random chemical behavior.
REFERENCES
1 I. Nagypál and I.R. Epstein, J. Phys. Chem. 10./ 6285 (1986).
2 I. Nagypál and I.R. Epstein, J. Chem. Phys. ££/ 6925 (1988).
3 F. Sagues and J.M. Sancho, J. Chem. Phys. £9., 3793 (1988).
4 G. Nicolis and F. Baras, J. Stat. Phys. M / 1071 (1987).
5 J. Hofrichter, J. Mol. Biol. JL89. 553 (1986).
6 a) I.R. Epstein and K. Kustin, J. Phys. Chem. 81,2275 (1985).
b) Gy. Rabai and M.T. Beck, J. Phys. Chem. M / 2204 (1986).
c) 0. Citri and J.R. Epstein, J. Phys. Chem. 9±, 6034 (1987).
7 As is discussed in Ref. 2 the rate law (3) should be slightly modified with respect to the [I"] dependence, since the kit term would indefinitely increase as [I"] decreases. The minimal modification commonly proposed in the literature consists in replacing 1/[I"] by l/([I"]+c), so that the I' inverse catalysis is only significant for iodide concentrations larger than c.
8 D.M. Weitz and I.R. Epstein, J. Phys. Chem. M / 5300 (1984).
9 J. Boissonade and P. de Kepper, J. Chem. Phys. H , 210 (1987).
10 N.G. Van Kampen, Stochastic Processes in Physics and Chemistry
(North Holland, Amsterdam, 1981); C.W. Gardiner, Handbook of
Stochastic Methods for Physics, Chemistry and the Natural
Sciences, Springer Series in Synergetics, vol.13 (Springer
Verlag, Berlin, 1983).
11 J.M. Sancho, M. San Miguel, S.L. Katz and J.D. Gunton, Phys.
Rev. A 16, 1589 (1982).
fessa UNiVEKSITA r DK IJARCKLONA
ïiibüoíivii de Física i Química