En matemáticas , la teoría de la parada óptima [ 1 ] [ 2 ] o parada temprana [ 3 ] se ocupa del problema de elegir el momento adecuado para realizar una acción determinada, con el fin de maximizar la recompensa esperada o minimizar el coste esperado. Los problemas de parada óptima se encuentran en áreas como la estadística , la economía y las finanzas matemáticas (relacionados con la valoración de opciones americanas ). Un ejemplo clave de un problema de parada óptima es el problema de la secretaria . Los problemas de parada óptima suelen expresarse mediante una ecuación de Bellman y, por lo tanto, se resuelven a menudo mediante programación dinámica .
Definición
caso de tiempo discreto
Los problemas de reglas de parada están asociados a dos objetos:
- Una secuencia de variables aleatoriascuya distribución conjunta se supone conocida
- Una secuencia de funciones de 'recompensa'que dependen de los valores observados de las variables aleatorias en 1:
Dados esos objetos, el problema es el siguiente:
- Estás observando la secuencia de variables aleatorias, y en cada paso, puedes optar por dejar de observar o continuar
- Si dejas de observar en el paso, recibirás una recompensa
- Quieres elegir una regla de parada para maximizar tu recompensa esperada (o, equivalentemente, minimizar tu pérdida esperada).
caso de tiempo continuo
Consideremos un proceso de gananciadefinido en un espacio de probabilidad filtradoy suponer queestá adaptado a la filtración. El problema de parada óptima consiste en encontrar el tiempo de parada.que maximiza la ganancia esperada
dóndeSe denomina función de valor . Aquípuede tomar valor.
Una formulación más específica es la siguiente. Consideramos un proceso de Markov fuerte adaptado.definido en un espacio de probabilidad filtradodóndedenota la medida de probabilidad donde el proceso estocástico comienza en. Dadas funciones continuas, y, el problema de parada óptima es
A veces se la denomina formulación MLS (que significa Mayer, Lagrange y supremo, respectivamente). [ 4 ]
Métodos de solución
Generalmente existen dos enfoques para resolver problemas de parada óptima. [ 4 ] Cuando el proceso subyacente (o el proceso de ganancia) se describe mediante sus distribuciones incondicionales de dimensión finita , la técnica de solución apropiada es el enfoque de martingala, llamado así porque utiliza la teoría de martingala , cuyo concepto más importante es la envolvente de Snell . En el caso de tiempo discreto, si el horizonte de planificaciónes finito, el problema también se puede resolver fácilmente mediante programación dinámica .
Cuando el proceso subyacente está determinado por una familia de funciones de transición (condicionales) que dan lugar a una familia de probabilidades de transición de Markov, a menudo se pueden utilizar las potentes herramientas analíticas que proporciona la teoría de los procesos de Markov , y este enfoque se conoce como el método de Markov. La solución se obtiene generalmente resolviendo los problemas de frontera libre asociados ( problemas de Stefan ).
Resultado de difusión por salto
Dejarser una difusión de Lévy endado por el SDE
dóndees un movimiento browniano -dimensional ,es unmedida aleatoria de Poisson compensada de -dimensiones ,, :\mathbb {R} ^{k}\to \mathbb {R} ^{k\times m}} , y :\mathbb {R} ^{k}\times \mathbb {R} ^{k}\to \mathbb {R} ^{k\times l}} son funciones dadas tales que una solución únicaexiste. Dejasea un conjunto abierto (la región de solvencia) y
sea el momento de la quiebra. El problema de parada óptima es:
Resulta que, bajo ciertas condiciones de regularidad, [ 5 ] se cumple el siguiente teorema de verificación:
Si una función :{\bar {\mathcal {S}}}\to \mathbb {R} } satisface
- donde se encuentra la región de continuación,
- en, y
- en, dóndees el generador infinitesimal de
entoncesa pesar de. Además, si
- en
Entoncesa pesar deyes un tiempo de parada óptimo.
Estas condiciones también pueden escribirse de una forma más compacta (la desigualdad integro-variacional ):
- en
Ejemplos
lanzamiento de moneda
(Ejemplo dondeconverge)
Tienes una moneda justa y la lanzas repetidamente. Cada vez, antes de lanzarla, puedes optar por dejar de lanzarla y recibir un pago (en dólares, por ejemplo) equivalente al número promedio de caras observadas.
Desea maximizar la cantidad que recibe al elegir una regla de parada. Si X i (para i ≥ 1) forma una secuencia de variables aleatorias independientes e idénticamente distribuidas con distribución de Bernoulli
y si
luego las secuencias, yson los objetos asociados con este problema.
Venta de casa
(Ejemplo dondeno necesariamente converge)
Tienes una casa y deseas venderla. Cada día se te ofrecepor su casa y pagarpara seguir anunciándolo. Si vendes tu casa el día, ganarás, dónde.
Desea maximizar sus ganancias eligiendo una regla de parada.
En este ejemplo, la secuencia () es la secuencia de ofertas para tu casa, y la secuencia de funciones de recompensa es cuánto ganarás. [ 6 ]
Problema de secretaria

- Un conjunto de exploración demasiado pequeño selecciona un candidato subóptimo antes de que se vea el mejor (*).
- Un conjunto ideal identifica lo mejor.
- Si un conjunto demasiado grande incluye al mejor candidato, se selecciona al último.
(Ejemplo dondees una secuencia finita)
Estás observando una secuencia de objetos que se pueden clasificar del mejor al peor. Quieres elegir una regla de parada que maximice tus posibilidades de seleccionar el mejor objeto.
Aquí, si( n es un número grande) son los rangos de los objetos, yes la probabilidad de que elijas el mejor objeto si dejas de rechazar intencionalmente objetos en el paso i, entoncesyEstas son las secuencias asociadas a este problema. Este problema fue resuelto a principios de la década de 1960 por varias personas. Una solución elegante al problema de la secretaria y varias modificaciones de este problema la proporciona el algoritmo de probabilidades de parada óptima (algoritmo de Bruss).
Teoría de la búsqueda
Los economistas han estudiado diversos problemas de parada óptima similares al "problema de la secretaria", y suelen denominar a este tipo de análisis "teoría de la búsqueda". Esta teoría se ha centrado especialmente en la búsqueda de un trabajador por un empleo bien remunerado o en la búsqueda de un consumidor por un bien de bajo precio.
Problema de aparcamiento
Un ejemplo particular de aplicación de la teoría de la búsqueda es la tarea de selección óptima de plaza de aparcamiento por parte de un conductor que se dirige a la ópera (teatro, compras, etc.). Al acercarse a su destino, el conductor circula por la calle donde hay plazas de aparcamiento; normalmente, solo algunas plazas están libres. El destino es claramente visible, por lo que la distancia se calcula fácilmente. La tarea del conductor consiste en elegir una plaza de aparcamiento libre lo más cerca posible del destino sin dar la vuelta, de manera que la distancia desde este lugar hasta el destino sea la más corta. [ 7 ]
Negociación de opciones
En la negociación de opciones en los mercados financieros , el titular de una opción americana puede ejercer el derecho a comprar (o vender) el activo subyacente a un precio predeterminado en cualquier momento antes o en la fecha de vencimiento. Por lo tanto, la valoración de las opciones americanas es esencialmente un problema de parada óptima. Consideremos una configuración clásica de Black-Scholes y dejemos de lado el problema de la parada.sea la tasa de interés libre de riesgo yyla tasa de dividendos y la volatilidad de la acción. El precio de la acciónsigue el movimiento browniano geométrico
bajo la medida neutral al riesgo .
Cuando la opción es perpetua, el problema de parada óptima es
donde la función de pago espara una opción de compra ypara una opción de venta. La desigualdad variacional es
a pesar de dóndees el límite del ejercicio. Se sabe que la solución es [ 8 ].
- (Llamada perpetua)dóndey
- (Puesto perpetuo)dóndey
Por otro lado, cuando la fecha de vencimiento es finita, el problema se asocia con un problema de frontera libre bidimensional sin solución analítica conocida. Sin embargo, se pueden utilizar diversos métodos numéricos. Consulte el modelo Black-Scholes#Opciones americanas para conocer varios métodos de valoración, así como Fugit para un cálculo discreto, basado en árboles , del momento óptimo para ejercer la opción.
Véase también
Referencias
Citas
- ↑ Chow, YS; Robbins, H. ; Siegmund, D. (1971). Grandes expectativas: La teoría de la parada óptima . Boston: Houghton Mifflin .
- ↑ Ferguson, Thomas S. (2007). Parada óptima y aplicaciones . UCLA.
- ↑ Hill, Theodore P. (2009). "Saber cuándo parar". American Scientist . 97 (2): 126– 133. doi : 10.1511/2009.77.126 . ISSN 1545-2786 . S2CID 124798270 .
- (Para la traducción al francés, véase el artículo de portada del número de julio de Pour la Science (2009).)
- 1 2 Peskir, Goran; Shiryaev, Albert (2006). Optimal Stopping and Free-Boundary Problems . Lectures in Mathematics. ETH Zürich. doi : 10.1007/978-3-7643-7390-0 . ISBN 978-3-7643-2419-3.
- ↑ Øksendal, B .; Sulem, A. (2007). Control estocástico aplicado de difusiones de salto . doi : 10.1007/978-3-540-69826-5 . ISBN 978-3-540-69825-8. S2CID 123531718 .
- ↑ Ferguson, Thomas S. ; Klass, Michael J. (2010). "Búsqueda de vivienda sin segundos momentos". Análisis secuencial . 29 (3): 236– 244. doi : 10.1080/07474946.2010.487423 . ISSN 0747-4946 .
- ↑ MacQueen, J.; Miller Jr., RG (1960). "Políticas de persistencia óptimas". Operations Research . 8 (3): 362– 380. doi : 10.1287/opre.8.3.362 . ISSN 0030-364X .
- ↑ Karatzas, Ioannis; Shreve, Steven E. (1998). Métodos de finanzas matemáticas . Modelado estocástico y probabilidad aplicada. Vol. 39. doi : 10.1007/b98840 . ISBN 978-0-387-94839-3.
Fuentes
- Thomas S. Ferguson , " ¿Quién resolvió el problema de la secretaria? " , Statistical Science , vol. 4, 282-296, (1989)
- F. Thomas Bruss . "Suma las probabilidades y detente." Anales de Probabilidad , Vol. 28, 1384–1391, (2000)
- F. Thomas Bruss. «El arte de tomar la decisión correcta: Por qué quienes toman decisiones quieren conocer el algoritmo de probabilidades». Boletín informativo de la Sociedad Matemática Europea , número 62, 14-20, (2006)
- Rogerson, R.; Shimer, R.; Wright, R. (2005). "Modelos de teoría de la búsqueda del mercado laboral: una revisión" (PDF) . Journal of Economic Literature . 43 (4): 959– 88. doi : 10.1257/002205105775362014 . JSTOR 4129380 .
- finanzas matemáticas
- Métodos secuenciales
- Programación dinámica