Una ecuación diferencial estocástica ( EDS ) es una ecuación diferencial en la que uno o más de los términos es un proceso estocástico , [1] lo que da como resultado una solución que también es un proceso estocástico. Las EDS tienen muchas aplicaciones en las matemáticas puras y se utilizan para modelar varios comportamientos de modelos estocásticos como precios de acciones , [2] modelos de crecimiento aleatorio [3] o sistemas físicos que están sujetos a fluctuaciones térmicas .
Las ecuaciones diferenciales simples tienen una diferencial aleatoria que, en el caso más básico, es un ruido blanco aleatorio calculado como la derivada de un movimiento browniano o, más generalmente, una semimartingala . Sin embargo, son posibles otros tipos de comportamiento aleatorio, como los procesos de salto como los procesos de Lévy [4] o las semimartingalas con saltos. Las ecuaciones diferenciales aleatorias son conjugadas a las ecuaciones diferenciales estocásticas. Las ecuaciones diferenciales estocásticas también se pueden extender a las variedades diferenciales . [5] [6] [7] [8]
Las ecuaciones diferenciales estocásticas se originaron en la teoría del movimiento browniano , en el trabajo de Albert Einstein y Marian Smoluchowski en 1905, aunque Louis Bachelier fue la primera persona a la que se le atribuye el modelado del movimiento browniano en 1900, dando un ejemplo muy temprano de una ecuación diferencial estocástica ahora conocida como modelo de Bachelier . Algunos de estos primeros ejemplos fueron ecuaciones diferenciales estocásticas lineales, también llamadas ecuaciones de Langevin en honor al físico francés Langevin , que describen el movimiento de un oscilador armónico sujeto a una fuerza aleatoria. La teoría matemática de las ecuaciones diferenciales estocásticas se desarrolló en la década de 1940 a través del trabajo innovador del matemático japonés Kiyosi Itô , quien introdujo el concepto de integral estocástica e inició el estudio de ecuaciones diferenciales estocásticas no lineales. Otro enfoque fue propuesto más tarde por el físico ruso Stratonovich , lo que condujo a un cálculo similar al cálculo ordinario.
La forma más común de SDE en la literatura es una ecuación diferencial ordinaria con el lado derecho perturbado por un término dependiente de una variable de ruido blanco . En la mayoría de los casos, las SDE se entienden como límite de tiempo continuo de las ecuaciones de diferencia estocástica correspondientes . Esta comprensión de las SDE es ambigua y debe complementarse con una definición matemática adecuada de la integral correspondiente. [1] [3] Dicha definición matemática fue propuesta por primera vez por Kiyosi Itô en la década de 1940, lo que llevó a lo que hoy se conoce como el cálculo de Itô . Otra construcción fue propuesta más tarde por el físico ruso Stratonovich , lo que llevó a lo que se conoce como la integral de Stratonovich . La integral de Itô y la integral de Stratonovich son objetos relacionados, pero diferentes, y la elección entre ellos depende de la aplicación considerada. El cálculo de Itô se basa en el concepto de no anticipatividad o causalidad, que es natural en aplicaciones donde la variable es el tiempo. El cálculo de Stratonovich, por otro lado, tiene reglas que se asemejan al cálculo ordinario y tiene propiedades geométricas intrínsecas que lo hacen más natural cuando se trata de problemas geométricos tales como el movimiento aleatorio en variedades , aunque es posible y en algunos casos preferible modelar el movimiento aleatorio en variedades a través de SDE de Itô, [6] por ejemplo cuando se intenta aproximar óptimamente SDE en subvariedades. [9]
Una visión alternativa de las ecuaciones diferenciales simples es el flujo estocástico de difeomorfismos. Esta interpretación es inequívoca y corresponde a la versión de Stratonovich del límite temporal continuo de las ecuaciones diferenciales estocásticas. Asociada a las ecuaciones diferenciales simples está la ecuación de Smoluchowski o la ecuación de Fokker-Planck , una ecuación que describe la evolución temporal de las funciones de distribución de probabilidad . La generalización de la evolución de Fokker-Planck a la evolución temporal de las formas diferenciales la proporciona el concepto de operador de evolución estocástica .
En la ciencia física, existe una ambigüedad en el uso del término "SDE de Langevin" . Si bien las SDE de Langevin pueden ser de una forma más general , este término generalmente se refiere a una clase estrecha de SDE con campos de vectores de flujo de gradiente. Esta clase de SDE es particularmente popular porque es un punto de partida del procedimiento de cuantificación estocástica de Parisi-Sourlas, [10] que conduce a un modelo supersimétrico N = 2 estrechamente relacionado con la mecánica cuántica supersimétrica . Sin embargo, desde el punto de vista físico, esta clase de SDE no es muy interesante porque nunca exhibe una ruptura espontánea de la supersimetría topológica, es decir, las SDE de Langevin (sobreamortiguadas) nunca son caóticas .
Se descubrió que el movimiento browniano o proceso de Wiener es excepcionalmente complejo matemáticamente. El proceso de Wiener es casi seguro que no es diferenciable en ninguna parte; [1] [3] por lo tanto, requiere sus propias reglas de cálculo. Hay dos versiones dominantes del cálculo estocástico, el cálculo estocástico de Itô y el cálculo estocástico de Stratonovich . Cada uno de los dos tiene ventajas y desventajas, y los recién llegados a menudo se confunden sobre si uno es más apropiado que el otro en una situación dada. Existen pautas (por ejemplo, Øksendal, 2003) [3] y, convenientemente, uno puede convertir fácilmente una SDE de Itô en una SDE de Stratonovich equivalente y viceversa. [1] [3] Aún así, uno debe tener cuidado con qué cálculo usar cuando se escribe inicialmente la SDE.
Los métodos numéricos para resolver ecuaciones diferenciales estocásticas [11] incluyen el método de Euler-Maruyama , el método de Milstein , el método de Runge-Kutta (SDE) , el método de Rosenbrock [12] y métodos basados en diferentes representaciones de integrales estocásticas iteradas. [13] [14]
En física, las ecuaciones diferenciales simples tienen una amplia aplicabilidad, que abarca desde la dinámica molecular hasta la neurodinámica y la dinámica de los objetos astrofísicos. Más específicamente, las ecuaciones diferenciales simples describen todos los sistemas dinámicos en los que los efectos cuánticos no son importantes o pueden tenerse en cuenta como perturbaciones. Las ecuaciones diferenciales simples pueden considerarse como una generalización de la teoría de sistemas dinámicos a los modelos con ruido. Se trata de una generalización importante porque los sistemas reales no pueden aislarse por completo de sus entornos y, por esta razón, siempre experimentan influencias estocásticas externas.
Existen técnicas estándar para transformar ecuaciones de orden superior en varias ecuaciones de primer orden acopladas mediante la introducción de nuevas incógnitas. Por lo tanto, la siguiente es la clase más general de ecuaciones diferenciales parciales:
donde es la posición en el sistema en su espacio de fase (o estado) , , asumiendo que es una variedad diferenciable, es un campo vectorial de flujo que representa la ley determinista de evolución, y es un conjunto de campos vectoriales que definen el acoplamiento del sistema al ruido blanco gaussiano, . Si es un espacio lineal y son constantes, se dice que el sistema está sujeto a ruido aditivo, de lo contrario se dice que está sujeto a ruido multiplicativo. Este término es algo engañoso ya que ha llegado a significar el caso general aunque parece implicar el caso limitado en el que .
Para una configuración fija de ruido, la SDE tiene una solución única diferenciable con respecto a la condición inicial. [15] La no trivialidad del caso estocástico aparece cuando uno intenta promediar varios objetos de interés sobre configuraciones de ruido. En este sentido, una SDE no es una entidad definida de manera única cuando el ruido es multiplicativo y cuando la SDE se entiende como un límite de tiempo continuo de una ecuación de diferencia estocástica . En este caso, la SDE debe complementarse con lo que se conoce como "interpretaciones de SDE", como Itô o una interpretación de SDE de Stratonovich. Sin embargo, cuando la SDE se ve como un flujo estocástico de difeomorfismos de tiempo continuo, es un objeto matemático definido de manera única que corresponde al enfoque de Stratonovich para un límite de tiempo continuo de una ecuación de diferencia estocástica.
En física, el principal método de solución es hallar la función de distribución de probabilidad en función del tiempo utilizando la ecuación equivalente de Fokker-Planck (FPE). La ecuación de Fokker-Planck es una ecuación diferencial parcial determinista . Indica cómo evoluciona la función de distribución de probabilidad en el tiempo de forma similar a cómo la ecuación de Schrödinger da la evolución temporal de la función de onda cuántica o la ecuación de difusión da la evolución temporal de la concentración química. Alternativamente, se pueden obtener soluciones numéricas mediante simulación de Monte Carlo . Otras técnicas incluyen la integración de trayectorias que se basa en la analogía entre la física estadística y la mecánica cuántica (por ejemplo, la ecuación de Fokker-Planck se puede transformar en la ecuación de Schrödinger reescalando algunas variables) o escribiendo ecuaciones diferenciales ordinarias para los momentos estadísticos de la función de distribución de probabilidad. [ cita requerida ]
La notación utilizada en la teoría de la probabilidad (y en muchas aplicaciones de la teoría de la probabilidad, por ejemplo, en el procesamiento de señales con el problema del filtrado y en las finanzas matemáticas ) es ligeramente diferente. También es la notación utilizada en publicaciones sobre métodos numéricos para resolver ecuaciones diferenciales estocásticas. Esta notación hace más explícita la naturaleza exótica de la función aleatoria del tiempo en la formulación física. En términos matemáticos estrictos, no puede elegirse como una función ordinaria, sino solo como una función generalizada . La formulación matemática trata esta complicación con menos ambigüedad que la formulación física.
Una ecuación típica es de la forma
donde denota un proceso de Wiener (movimiento browniano estándar). Esta ecuación debe interpretarse como una forma informal de expresar la ecuación integral correspondiente.
La ecuación anterior caracteriza el comportamiento del proceso estocástico de tiempo continuo X t como la suma de una integral de Lebesgue ordinaria y una integral de Itô . Una interpretación heurística (pero muy útil) de la ecuación diferencial estocástica es que en un pequeño intervalo de tiempo de longitud δ el proceso estocástico X t cambia su valor en una cantidad que se distribuye normalmente con expectativa μ ( X t , t ) δ y varianza σ ( X t , t ) 2 δ y es independiente del comportamiento pasado del proceso. Esto es así porque los incrementos de un proceso de Wiener son independientes y se distribuyen normalmente. La función μ se conoce como coeficiente de deriva, mientras que σ se llama coeficiente de difusión. El proceso estocástico X t se llama proceso de difusión y satisface la propiedad de Markov . [1]
La interpretación formal de una SDE se da en términos de lo que constituye una solución a la SDE. Hay dos definiciones principales de una solución a una SDE, una solución fuerte y una solución débil [1] Ambas requieren la existencia de un proceso X t que resuelva la versión de ecuación integral de la SDE. La diferencia entre las dos radica en el espacio de probabilidad subyacente ( ). Una solución débil consiste en un espacio de probabilidad y un proceso que satisface la ecuación integral, mientras que una solución fuerte es un proceso que satisface la ecuación y se define en un espacio de probabilidad dado. El teorema de Yamada-Watanabe establece una conexión entre los dos.
Un ejemplo importante es la ecuación del movimiento browniano geométrico.
que es la ecuación para la dinámica del precio de una acción en el modelo de fijación de precios de opciones de Black-Scholes [2] de las matemáticas financieras.
Generalizando el movimiento browniano geométrico, también es posible definir SDE que admitan soluciones fuertes y cuya distribución sea una combinación convexa de densidades provenientes de diferentes movimientos brownianos geométricos o modelos de Black Scholes, obteniendo una única SDE cuyas soluciones se distribuyen como una dinámica de mezcla de distribuciones lognormales de diferentes modelos de Black Scholes. [2] [16] [17] [18] Esto conduce a modelos que pueden lidiar con la sonrisa de la volatilidad en las matemáticas financieras.
La ecuación diferencial simple se denomina movimiento browniano aritmético [3]
Fue utilizado por Louis Bachelier como el primer modelo para precios de acciones en 1900, conocido hoy como modelo Bachelier .
También existen ecuaciones diferenciales estocásticas más generales en las que los coeficientes μ y σ dependen no solo del valor actual del proceso X t , sino también de valores anteriores del proceso y posiblemente también de valores actuales o anteriores de otros procesos. En ese caso, el proceso de solución, X , no es un proceso de Markov, y se denomina proceso de Itô y no proceso de difusión. Cuando los coeficientes dependen solo de valores actuales y pasados de X , la ecuación definitoria se denomina ecuación diferencial de retardo estocástico.
Una generalización de las ecuaciones diferenciales estocásticas con la integral de Fisk-Stratonovich a las semimartingalas con saltos son las ecuaciones diferenciales simples de tipo Marcus . La integral de Marcus es una extensión del cálculo estocástico de McShane. [19]
Una aplicación innovadora en finanzas estocásticas se deriva del uso de la ecuación del proceso Ornstein-Uhlenbeck
que es la ecuación para la dinámica de la rentabilidad del precio de una acción bajo la hipótesis de que las rentabilidades presentan una distribución Log-normal . Bajo esta hipótesis, las metodologías desarrolladas por Marcello Minenna determinan intervalos de predicción capaces de identificar rentabilidades anormales que podrían ocultar fenómenos de abuso de mercado . [20] [21]
De manera más general, se puede extender la teoría del cálculo estocástico a variedades diferenciales y para este propósito se utiliza la integral de Fisk-Stratonovich. Considérese una variedad , un espacio vectorial de dimensión finita , un espacio de probabilidad filtrado con que satisface las condiciones habituales y sea la compactificación de un punto y sea -medible. Una ecuación diferencial estocástica en
es un par , tal que
Para cada uno el mapa es lineal y para cada .
Una solución para la SDE con condición inicial es un proceso continuo -adaptado- valorado hasta el tiempo de vida , st para cada función de prueba el proceso es una semimartingala de valor real y para cada tiempo de detención con la ecuación
se cumple -casi con seguridad, donde es el diferencial en . Es una solución máxima si el tiempo de vida es máximo, es decir,
-casi con seguridad. Se deduce del hecho de que para cada función de prueba es una semimartingala, es decir, una semimartingala en . Dada una solución máxima podemos extender el tiempo de sobre por completo y después de una continuación de sobre obtenemos
hasta procesos indistinguibles. [22] Aunque las SDE de Stratonovich son la elección natural para las SDE en variedades, dado que satisfacen la regla de la cadena y que sus coeficientes de deriva y difusión se comportan como campos vectoriales bajo cambios de coordenadas, hay casos en los que es preferible el cálculo de Ito en variedades. Una teoría del cálculo de Ito en variedades fue desarrollada por primera vez por Laurent Schwartz a través del concepto de morfismo de Schwartz, [6] véase también la interpretación de 2 jets relacionada de las SDE de Ito en variedades basada en el fibrado jet. [8] Esta interpretación es útil cuando se intenta aproximar de manera óptima la solución de una SDE dada en un espacio grande con las soluciones de una SDE dada en una subvariedad de ese espacio, [9] en que una proyección basada en Stratonovich no resulta ser óptima. Esto se ha aplicado al problema de filtrado , lo que lleva a filtros de proyección óptimos. [9]
Por lo general, la solución de una ecuación diferencial simple requiere un planteamiento probabilístico, ya que la integral implícita en la solución es una integral estocástica. Si fuera posible tratar la ecuación diferencial camino por camino, no sería necesario definir una integral estocástica y se podría desarrollar una teoría independientemente de la teoría de la probabilidad. Esto apunta a considerar la ecuación diferencial simple.
como una única ecuación diferencial determinista para cada , donde es el espacio muestral en el espacio de probabilidad dado ( ). Sin embargo, no es posible una interpretación directa de la SDE por trayectorias, ya que las trayectorias del movimiento browniano tienen una variación ilimitada y no son diferenciables en ninguna parte con probabilidad uno, de modo que no hay una forma ingenua de dar significado a términos como , lo que excluye también una definición ingenua por trayectorias de la integral estocástica como una integral contra cada simple . Sin embargo, motivado por el resultado de Wong-Zakai [23] para límites de soluciones de SDE con ruido regular y usando la teoría de trayectorias rugosas , mientras se agrega una definición elegida de integrales iteradas del movimiento browniano, es posible definir una integral rugosa determinista para cada simple que coincida, por ejemplo, con la integral de Ito con probabilidad uno para una elección particular de la integral browniana iterada. [23] Otras definiciones de la integral iterada conducen a equivalentes deterministas por trayectorias de diferentes integrales estocásticas, como la integral de Stratonovich. Esto se ha utilizado, por ejemplo, en matemáticas financieras para fijar el precio de opciones sin probabilidad. [24]
Al igual que con las ecuaciones diferenciales ordinarias y parciales deterministas, es importante saber si una determinada ecuación diferencial simple tiene una solución y si es única o no. El siguiente es un teorema de existencia y unicidad típico para ecuaciones diferenciales simples simples de Itô que toman valores en el espacio euclidiano n - dimensional R n y están impulsadas por un movimiento browniano m -dimensional B ; la prueba se puede encontrar en Øksendal (2003, §5.2). [3]
Sea T > 0, y sea
sean funciones mensurables para las cuales existen constantes C y D tales que
para todo t ∈ [0, T ] y todo x e y ∈ R n , donde
Sea Z una variable aleatoria que es independiente del σ -álgebra generada por B s , s ≥ 0, y con segundo momento finito :
Entonces el problema de la ecuación diferencial estocástica/valor inicial
tiene una solución t -continua casi seguramente única ( t , ω ) ↦ X t ( ω ) tal que X está adaptada a la filtración F t Z generada por Z y B s , s ≤ t , y
La ecuación diferencial estocástica anterior es solo un caso especial de una forma más general.
dónde
De manera más general, también se pueden observar ecuaciones diferenciales estocásticas en variedades .
Si la solución de esta ecuación explota depende de la elección de . Supongamos que satisface alguna condición local de Lipschitz, es decir, para y algún conjunto compacto y alguna constante la condición
donde es la norma euclidiana. Esta condición garantiza la existencia y unicidad de una denominada solución máxima .
Supongamos que es continua y satisface la condición local de Lipschitz anterior y sea alguna condición inicial, lo que significa que es una función medible con respecto al σ-álgebra inicial. Sea un tiempo de parada predecible con casi seguridad. Una semimartingala con valor se denomina solución máxima de
con tiempo de vida si
También es un llamado tiempo de explosión .
Las SDE explícitamente solucionables incluyen: [11]
dónde
para una función diferenciable dada es equivalente a la EDE de Stratonovich
que tiene una solución general
dónde
para una función diferenciable dada es equivalente a la EDE de Stratonovich
que es reducible a
donde donde se define como antes. Su solución general es
En la teoría supersimétrica de las ecuaciones diferenciales simples, la dinámica estocástica se define a través del operador de evolución estocástica que actúa sobre las formas diferenciales en el espacio de fases del modelo. En esta formulación exacta de la dinámica estocástica, todas las ecuaciones diferenciales simples poseen supersimetría topológica que representa la preservación de la continuidad del espacio de fases mediante el flujo continuo del tiempo. La ruptura espontánea de esta supersimetría es la esencia matemática del fenómeno dinámico ubicuo conocido en todas las disciplinas como caos , turbulencia , criticidad autoorganizada , etc. y el teorema de Goldstone explica el comportamiento dinámico de largo alcance asociado, es decir, el efecto mariposa , 1/f y ruidos crepitantes , y estadísticas sin escala de terremotos, neuroavalanchas, erupciones solares, etc.