Todos los conceptos se utilizan en Economía. Definiciones (no declaradas de una manera completamente rigurosa):
Martingala : Un proceso estocástico $\{X_t\}$ se llama "martingala" si y solo si se cumple que
$$E(X_{t+1} \mid X_t,X_{t-1},...) = X_t \tag{1}$$
Existen extensiones como "sub-martingala", "super-martingala" pero la definición básica es la anterior
Caminata aleatoria : Un proceso estocástico $\{X_t\}$ se llama "caminata aleatoria" si y solo si
$$X_{t+1} = X_t + u_{t+1}, \;\;\;u_t \sim \text{Ruido Blanco} \tag{2}$$
y puede buscar la definición de "Ruido Blanco".
Aquí también hay ramificaciones ("caminata aleatoria con deriva" etc).
Comentario: se sigue que una caminata aleatoria es (un ejemplo de) una martingala, pero una martingala no implica una caminata aleatoria, siendo esta última un concepto mucho más amplio.
Expectativas racionales : Originalmente, la Hipótesis de Expectativas Racionales afirmaba que la expectativa agregada sobre algún valor desconocido (generalmente futuro) de una variable aleatoria agregada (ver también esta publicación sobre el tema), es igual a la expectativa condicionada (en el sentido matemático riguroso) de esta variable "dado toda la información relevante en el momento de formar la expectativa
$$X^e_{t+k|t} = E(X_{t+k}\mid I_t) \tag{3}$$
Comentario: note que el conjunto de condicionamiento en el caso de una martingala contiene solo valores pasados del proceso. El conjunto de condicionamiento en el caso de la HER contiene "todo lo que está disponible y se considera relevante".
En un modelo de agente representativo, estamos obligados, por consistencia metodológica interna, a aplicar la Hipótesis de Expectativas Racionales a nivel individual (algo que ha suscitado todo tipo de objeciones válidas en cuanto a la disponibilidad de información y las limitaciones de procesamiento de la información de un individuo).
¿Entonces las previsiones de un individuo siguen una martingala? Examinémoslo solo para previsiones a un paso adelante: nuestro proceso estocástico es
$$\{X^e_{t+1|t},\,X^e_{t+2|t+1},...\} = \{E(X_{t+1}\mid I_t),\,E(X_{t+2}\mid I_{t+1}),...\} \tag{4}$$
Para que se cumpla la propiedad de martingala, debe sostenerse que
$$E[X^e_{t+1|t} \mid X^e_{t|t-1}, X^e_{t-1|t-2},...] = ?\; X^e_{t|t-1} \tag{5}$$ (Nombraré al final qué expectativas describe la ecuación $(5)$)
$$E[X^e_{t+1|t} \mid X^e_{t|t-1}, X^e_{t-1|t-2},...] = E[E(X_{t+1}\mid I_t) \mid \{E(X_{t}\mid I_{t-1}), E(X_{t-1}\mid I_{t-2}),...\}]$$
Como ya se ha comentado, el conjunto de condicionamiento exterior es más pequeño que el conjunto de condicionamiento interior. Mediante la Ley de las Expectativas Iteradas (la propiedad de Torre) de la Expectativa Condicional, obtenemos entonces
$$E[E(X_{t+1}\mid I_t) \mid \{E(X_{t}\mid I_{t-1}), E(X_{t-1}\mid I_{t-2}),...\}] = E[X_{t+1} \mid \{E(X_{t}\mid I_{t-1}), E(X_{t-1}\mid I_{t-2}),...\}] \tag{6}$$
El lado derecho de $(6)$ no necesariamente es igual al lado derecho de $(5)$, por lo que no podemos decir que el proceso estocástico de previsiones a un paso adelante bajo la Hipótesis de Expectativas Racionales es una martingala.
La ecuación $(5)$ describe la siguiente situación: estando en el período $t-1$ formamos la expectativa $X^e_{t|t-1}$, y "lo mejor que podemos decir" (mejor en el sentido del error cuadrático medio) sobre nuestra expectativa subsecuente $X^e_{t+1|t}$ es que será igual a $X^e_{t|t-1}$. Esto a veces se llama "expectativas estáticas", pero cuidado porque el término tiene dos significados totalmente diferentes en la literatura: para algunos autores, la ecuación $(5)$ representa expectativas "estáticas" en el sentido de que la expectativa en sí misma permanece (o se espera que permanezca) invariable en valor. Pero a menudo encontrarás autores que escriben el término "expectativas estáticas" y significan algo totalmente diferente, a saber, $E(X_{t+1}\mid I_t) = X_t$ ("lo que es, será"). A su vez, parece tener la propiedad de martingala, pero en el mejor de los casos es un concepto extendido de ella (porque el conjunto de condicionamiento es más grande), y en cualquier caso es una propiedad similar a una martingala en lo que respecta al proceso real $\{X_t\}$, y no al proceso de previsiones $\{X^e_{t+1|t}\}$.
0 votos
¿Es la pregunta si el pronóstico racional de un paseo aleatorio es una martingala? ¿O si todo pronóstico racional tiene que ser un paseo aleatorio?
0 votos
Más como el primero. El segundo está algo implícito en la segunda parte de mis preguntas, pero puedes tratarlo como algo separado.
1 votos
Para agregar a 1) Todas las cadenas de Markov son martingalas (aunque también hay martingalas no markovianas), ya que los paseos aleatorios son un caso especial de cadenas de Markov, entonces sí, como piensas, son martingalas. Pero no sé acerca de 2.
0 votos
No creo que estés definiendo correctamente Martingale. "Esto es un Martingale, porque mis expectativas de mañana, es decir n+1 dependen solo de hoy." Un Martingale (de tiempo discreto) está definido por dos propiedades: (1) $E[|Z_n|) < \infty$ y (2) $E[Z_{n+1} | Z_0, \dots, Z_n] = Z_n. Lo que parece que estás refiriéndote, como @Sunhwa sugiere, es la propiedad de Markov. Pero ten en cuenta que No todos los Martingales son Markov.