Articulo de referencia

Parada óptima

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

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:

  1. Una secuencia de variables aleatoriasincógnita1,incógnita2,{\displaystyle X_{1},X_{2},\ldots }cuya distribución conjunta se supone conocida
  2. Una secuencia de funciones de 'recompensa'(yi)i1{\displaystyle (y_{i})_{i\geq 1}}que dependen de los valores observados de las variables aleatorias en 1:
    yi=yi(incógnita1,,incógnitai){\displaystyle y_{i}=y_{i}(x_{1},\ldots ,x_{i})}

Dados esos objetos, el problema es el siguiente:

  • Estás observando la secuencia de variables aleatorias, y en cada pasoi{\displaystyle i}, puedes optar por dejar de observar o continuar
  • Si dejas de observar en el pasoi{\displaystyle i}, recibirás una recompensayi{\displaystyle y_{i}}
  • 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 gananciaGRAMO=(GRAMOt)t0{\displaystyle G=(G_{t})_{t\geq 0}}definido en un espacio de probabilidad filtrado(Ω,F,(Ft)t0,PAG){\displaystyle (\Omega ,{\mathcal {F}},({\mathcal {F}}_{t})_{t\geq 0},\mathbb {P} )}y suponer queGRAMO{\displaystyle G}está adaptado a la filtración. El problema de parada óptima consiste en encontrar el tiempo de parada.τ{\displaystyle \tau ^{*}}que maximiza la ganancia esperada

VtT=miGRAMOτ=sorbertτTmiGRAMOτ{\displaystyle V_{t}^{T}=\mathbb {E} G_{\tau ^{*}}=\sup _{t\leq \tau \leq T}\mathbb {E} G_{\tau }}

dóndeVtT{\displaystyle V_{t}^{T}}Se denomina función de valor . AquíT{\displaystyle T}puede tomar valor{\displaystyle \infty }.

Una formulación más específica es la siguiente. Consideramos un proceso de Markov fuerte adaptado.incógnita=(incógnitat)t0{\displaystyle X=(X_{t})_{t\geq 0}}definido en un espacio de probabilidad filtrado(Ω,F,(Ft)t0,PAGincógnita){\displaystyle (\Omega ,{\mathcal {F}},({\mathcal {F}}_{t})_{t\geq 0},\mathbb {P} _{x})}dóndePAGincógnita{\displaystyle \mathbb {P} _{x}}denota la medida de probabilidad donde el proceso estocástico comienza enincógnita{\displaystyle x}. Dadas funciones continuasMETRO,L{\displaystyle M,L}, yK{\displaystyle K}, el problema de parada óptima es

V(incógnita)=sorber0τTmiincógnita(METRO(incógnitaτ)+0τL(incógnitat)dt+sorber0tτK(incógnitat)).{\displaystyle V(x)=\sup _{0\leq \tau \leq T}\mathbb {E} _{x}\left(M(X_{\tau })+\int _{0}^{\tau }L(X_{t})dt+\sup _{0\leq t\leq \tau }K(X_{t})\right).}

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ónT{\displaystyle T}es 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

DejarYt{\displaystyle Y_{t}}ser una difusión de Lévy enRk{\displaystyle \mathbb {R} ^{k}}dado por el SDE

dYt=b(Yt)dt+σ(Yt)dBt+Rkγ(Yt,z)norte¯(dt,dz),Y0=y{\displaystyle dY_{t}=b(Y_{t})dt+\sigma (Y_{t})dB_{t}+\int _{\mathbb {R} ^{k}}\gamma (Y_{t-},z){\bar {N}}(dt,dz),\quad Y_{0}=y}

dóndeB{\displaystyle B}es un metro{\displaystyle m}movimiento browniano -dimensional ,norte¯{\displaystyle {\bar {N}}}es unl{\displaystyle l}medida aleatoria de Poisson compensada de -dimensiones ,b:RkRk{\displaystyle b:\mathbb {R} ^{k}\to \mathbb {R} ^{k}},σ:RkRk×metro{\displaystyle \sigma :\mathbb {R} ^{k}\to \mathbb {R} ^{k\times m}} , yγ:Rk×RkRk×l{\displaystyle \gamma :\mathbb {R} ^{k}\times \mathbb {R} ^{k}\to \mathbb {R} ^{k\times l}} son funciones dadas tales que una solución única(Yt){\displaystyle (Y_{t})}existe. DejaSRk{\displaystyle {\mathcal {S}}\subset \mathbb {R} ^{k}}sea ​​un conjunto abierto (la región de solvencia) y

τS=inf{t>0:YtS}{\displaystyle \tau _{\mathcal {S}}=\inf\{t>0:Y_{t}\notin {\mathcal {S}}\}}

sea ​​el momento de la quiebra. El problema de parada óptima es:

V(y)=sorberττSJτ(y)=sorberττSmiy[METRO(Yτ)+0τL(Yt)dt].{\displaystyle V(y)=\sup _{\tau \leq \tau _{\mathcal {S}}}J^{\tau }(y)=\sup _{\tau \leq \tau _{\mathcal {S}}}\mathbb {E} _{y}\left[M(Y_{\tau })+\int _{0}^{\tau }L(Y_{t})dt\right].}

Resulta que, bajo ciertas condiciones de regularidad, [ 5 ] se cumple el siguiente teorema de verificación:

Si una funciónϕ:S¯R{\displaystyle \phi :{\bar {\mathcal {S}}}\to \mathbb {R} } satisface

  • ϕdo(S¯)do1(S)do2(SD){\displaystyle \phi \in C({\bar {\mathcal {S}}})\cap C^{1}({\mathcal {S}})\cap C^{2}({\mathcal {S}}\setminus \partial D)}donde se encuentra la región de continuaciónD={yS:ϕ(y)>METRO(y)}{\displaystyle D=\{y\in {\mathcal {S}}:\phi (y)>M(y)\}},
  • ϕMETRO{\displaystyle \phi \geq M}enS{\displaystyle {\mathcal {S}}}, y
  • Aϕ+L0{\displaystyle {\mathcal {A}}\phi +L\leq 0}enSD{\displaystyle {\mathcal {S}}\setminus \partial D}, dóndeA{\displaystyle {\mathcal {A}}}es el generador infinitesimal de(Yt){\displaystyle (Y_{t})}

entoncesϕ(y)V(y){\displaystyle \phi (y)\geq V(y)}a pesar deyS¯{\displaystyle y\in {\bar {\mathcal {S}}}}. Además, si

  • Aϕ+L=0{\displaystyle {\mathcal {A}}\phi +L=0}enD{\displaystyle D}

Entoncesϕ(y)=V(y){\displaystyle \phi (y)=V(y)}a pesar deyS¯{\displaystyle y\in {\bar {\mathcal {S}}}}yτ=inf{t>0:YtD}{\displaystyle \tau ^{*}=\inf\{t>0:Y_{t}\notin D\}}es un tiempo de parada óptimo.

Estas condiciones también pueden escribirse de una forma más compacta (la desigualdad integro-variacional ):

  • máximo{Aϕ+L,METROϕ}=0{\displaystyle \max \left\{{\mathcal {A}}\phi +L,M-\phi \right\}=0}enSD.{\displaystyle {\mathcal {S}}\setminus \partial D.}

Ejemplos

lanzamiento de moneda

(Ejemplo dondemi(yi){\displaystyle \mathbb {E} (y_{i})}converge)

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

Berna(12),{\displaystyle {\text{Bern}}\left({\frac {1}{2}}\right),}

y si

yi=1ik=1iincógnitak{\displaystyle y_{i}={\frac {1}{i}}\sum _{k=1}^{i}X_{k}}

luego las secuencias(incógnitai)i1{\displaystyle (X_{i})_{i\geq 1}}, y(yi)i1{\displaystyle (y_{i})_{i\geq 1}}son los objetos asociados con este problema.

Venta de casa

(Ejemplo dondemi(yi){\displaystyle \mathbb {E} (y_{i})}no necesariamente converge)

Tienes una casa y deseas venderla. Cada día se te ofreceincógnitanorte{\displaystyle X_{n}}por su casa y pagark{\displaystyle k}para seguir anunciándolo. Si vendes tu casa el díanorte{\displaystyle n}, ganarásynorte{\displaystyle y_{n}}, dóndeynorte=(incógnitanortenortek){\ Displaystyle y_ {n} = (X_ {n} -nk)}.

Desea maximizar sus ganancias eligiendo una regla de parada.

En este ejemplo, la secuencia (incógnitai{\displaystyle X_{i}}) es la secuencia de ofertas para tu casa, y la secuencia de funciones de recompensa es cuánto ganarás. [ 6 ]

Problema de secretaria

Tres casos del problema de la secretaria donde la altura del icono indica el grado de deseabilidad:
  1. Un conjunto de exploración demasiado pequeño selecciona un candidato subóptimo antes de que se vea el mejor (*).
  2. Un conjunto ideal identifica lo mejor.
  3. Si un conjunto demasiado grande incluye al mejor candidato, se selecciona al último.

(Ejemplo donde(incógnitai){\displaystyle (X_{i})}es 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í, siR1,,Rnorte{\displaystyle R_{1},\ldots ,R_{n}}( n es un número grande) son los rangos de los objetos, yyi{\displaystyle y_{i}}es la probabilidad de que elijas el mejor objeto si dejas de rechazar intencionalmente objetos en el paso i, entonces(Ri){\displaystyle (R_{i})}y(yi){\displaystyle (y_{i})}Estas 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.r{\displaystyle r}sea ​​la tasa de interés libre de riesgo yδ{\displaystyle \delta }yσ{\displaystyle \sigma }la tasa de dividendos y la volatilidad de la acción. El precio de la acciónS{\displaystyle S}sigue el movimiento browniano geométrico

St=S0exp{(rδσ22)t+σBt}{\displaystyle S_{t}=S_{0}\exp \left\{\left(r-\delta -{\frac {\sigma ^{2}}{2}}\right)t+\sigma B_{t}\right\}}

bajo la medida neutral al riesgo .

Cuando la opción es perpetua, el problema de parada óptima es

V(incógnita)=sorberτmiincógnita[mirτgramo(Sτ)]{\displaystyle V(x)=\sup _{\tau }\mathbb {E} _{x}\left[e^{-r\tau }g(S_{\tau })\right]}

donde la función de pago esgramo(incógnita)=(incógnitaK)+{\displaystyle g(x)=(xK)^{+}}para una opción de compra ygramo(incógnita)=(Kincógnita)+{\displaystyle g(x)=(K-x)^{+}}para una opción de venta. La desigualdad variacional es

máximo{12σ2incógnita2V(incógnita)+(rδ)incógnitaV(incógnita)rV(incógnita),gramo(incógnita)V(incógnita)}=0{\displaystyle \max \left\{{\frac {1}{2}}\sigma ^{2}x^{2}V''(x)+(r-\delta )xV'(x)-rV(x),g(x)-V(x)\right\}=0}

a pesar deincógnita(0,){b}{\displaystyle x\in (0,\infty )\setminus \{b\}} dóndeb{\displaystyle b}es el límite del ejercicio. Se sabe que la solución es [ 8 ].

  • (Llamada perpetua)V(incógnita)={(bK)(incógnita/b)γincógnita(0,b)incógnitaKincógnita[b,){\displaystyle V(x)={\begin{cases}(b-K)(x/b)^{\gamma }&x\in (0,b)\\x-K&x\in [b,\infty )\end{cases}}}dóndeγ=(ν2+2rν)/σ{\displaystyle \gamma =({\sqrt {\nu ^{2}+2r}}-\nu )/\sigma }yν=(rδ)/σσ/2,b=γK/(γ1).{\displaystyle \nu =(r-\delta )/\sigma -\sigma /2,\quad b=\gamma K/(\gamma -1).}
  • (Puesto perpetuo)V(incógnita)={Kincógnitaincógnita(0,do](Kdo)(incógnita/do)γ~incógnita(do,){\displaystyle V(x)={\begin{cases}K-x&x\in (0,c]\\(K-c)(x/c)^{\tilde {\gamma }}&x\in (c,\infty )\end{cases}}}dóndeγ~=(ν2+2r+ν)/σ{\displaystyle {\tilde {\gamma }}=-({\sqrt {\nu ^{2}+2r}}+\nu )/\sigma }yν=(rδ)/σσ/2,do=γ~K/(γ~1).{\displaystyle \nu =(r-\delta )/\sigma -\sigma /2,\quad c={\tilde {\gamma }}K/({\tilde {\gamma }}-1).}

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

  1. Chow, YS; Robbins, H. ; Siegmund, D. (1971). Grandes expectativas: La teoría de la parada óptima . Boston: Houghton Mifflin .
  2. Ferguson, Thomas S. (2007). Parada óptima y aplicaciones . UCLA.
  3. 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).)
  4. 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.
  5. Ø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 . 
  6. 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 . 
  7. 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 . 
  8. 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 .