En la presentación a la que enlaza el OP, la "compacidad" no se asume, sino que se deriva como resultado de propiedades más primitivas que se asumen, una de las cuales es la "doble diferenciabilidad" de las funciones implicadas.
La presentación trata del modelo de crecimiento determinista básico variable en tiempo discreto. La función de producción per cápita en cada período es $g(k_t)$ para la que se supone que es continua y diferenciable $g'>0,\;\; g''<0$ . La ley del movimiento del capital es entonces
$$k_{t+1} = g(k_t) + (1-\delta)k_t -c_t$$
con $0<\delta<1$ siendo la tasa de depreciación. La secuencia comienza en algún valor inicial arbitrario y finito.
La presentación quiere mostrar la existencia y la unicidad de la solución. Para ello, en la página 6 demuestra primero que el "conjunto de elección" está acotado -es decir, que el conjunto entre el que los agentes económicos pueden elegir los niveles óptimos de consumo y capital es no todo el $\mathbb R_+$ .
Esto se demuestra considerando el máximo secuencia de niveles de capital, independientemente de las consideraciones de optimización de la utilidad. Si la secuencia máxima está acotada, significa que la secuencia óptima sólo puede elegirse entre un conjunto acotado de valores.
La secuencia máxima de capital se obtiene si fijamos el consumo en cero: lo que ocurre cuando no consumimos nada y utilizamos todo nuestro stock de capital y toda la nueva producción como capital solamente. Tenemos entonces la secuencia
$$k^{max}_{t+1} = g(k^{max}_{t}) + (1-\delta)k^{max}_{t}$$
Ahora que el consumo se fija en cero, la secuencia de capital se rige por una ecuación de diferencia de primer orden no lineal. Una condición suficiente (aunque no necesaria) para que la secuencia máxima esté acotada es que esta ecuación en diferencia sea asintóticamente estable a nivel global, es decir, si partiendo de cualquier punto inicial convergemos a un punto fijo (no es necesario porque podríamos tener también oscilaciones acotadas y obtener una secuencia acotada).
El punto fijo de la secuencia de capitales máximos satisface
$$k^{max}_*: k^{max}_{t+1}=k^{max}_{t} \implies g(k^{max}_*) = \delta k^{max}_* $$
Según la teoría estándar, la estabilidad global del punto fijo se obtendrá si la derivada de la ecuación en diferencia, evaluada en el punto fijo, es menor que la unidad en valor absoluto,
$$\left |\frac {\partial k^{max}_{t+1}(k^{max}_*)}{\partial k^{max}_{t}}\right| = g'(k^{max}_*)+1-\delta <1 \implies g'(k^{max}_*) < \delta$$
En el punto fijo, se cumple que
$$\frac {g(k^{max}_*)}{k^{max}_*} = \delta $$
Para la estabilidad del punto fijo queremos
$$g'(k^{max}_*) < \delta$$
Así que la estabilidad del punto fijo requiere
$$g'(k^{max}_*)<\frac {g(k^{max}_*)}{k^{max}_*}$$
o que "el producto marginal será menor que el producto medio". Bajo el supuesto de que $g''<0$ en todas partes, esto también será válido para el punto fijo. Por lo tanto, obtenemos la estabilidad del punto fijo, y por lo tanto también la convergencia y la acotación de la secuencia del capital máximo. Esto nos dice por qué asumimos la diferenciabilidad de 2º orden: al tener la 2ª derivada y hacer suposiciones sobre ella, podemos determinar fácilmente si los puntos de equilibrio son únicos y cosas por el estilo. Nótese también que la diferenciabilidad de cualquier grado implica continuidad.
Si la secuencia de capital máxima está acotada, también lo estará cualquier otra secuencia de capital y, por tanto, el conjunto de elección del capital está acotado. Si lo es para el capital, también lo es para el consumo. Entonces, la ecuación completa del capital expresada como una desigualdad
$$k_{t+1} \leq g(k_t) + (1-\delta)k_t -c_t$$
define un conjunto (un conjunto unidimensional, un intervalo en la recta real) que está a) acotado por debajo en cero (por la suposición de que el capital no puede ser negativo b) acotado por encima como se ha demostrado c) puede alcanzar sus puntos límite. Por tanto, es cerrado y acotado y, por lo tanto compacto .
Además, suponemos que no hay "agujeros" en él, que no hay valores "prohibidos" en este conjunto. Esto hace que el conjunto sea convexo.
Dadas estas propiedades (incluida la continuidad de la función de producción), por los teoremas estándar se asegura que existe un máximo, es decir, una solución, y que ésta es única, que es lo que la presentación quería demostrar en este punto.
0 votos
Hola: No conozco las otras, pero dos veces diferenciable implica que, si la hessiana de la función es psd, entonces la función es convexa. La convexidad de una función implica que la optimización de la función conducirá a un máximo ( mínimo ) global, lo cual es útil a la hora de optimizarla. Además, si una función es convexa, los algoritmos para optimizarla son más sencillos.
0 votos
Acabo de leerlo de nuevo y lo que he dicho está relacionado con la concavidad de la función de proucción porque una función es convexa si y sólo si el negativo de la misma es cóncavo. Así que, si tienes una función cóncava, puedes multiplicar por -1 para hacerla convexa.
0 votos
De nada: Me interesaría conocer las razones de la compacidad ( creo que tiene que ver con la implicación de la acotación de la función pero puede que necesites otras condiciones también) y la elasticidad constante de la sustitución así que, si consigues alguna respuesta para esas fuera de este hilo y puedes postearla aquí, se agradece.
0 votos
Sin duda, los publicaré aquí.
0 votos
Ste post pide una introducción compacta a casi toda la teoría matemática subyacente de la micro y macroeconomía básica, y su lógica (para el lado del proveedor). Y luego, el "qué pasa si se relajan" nos manda a explorar el Espacio... esto es demasiado amplio para ser contestado, por favor intenta acotarlo considerablemente. Tu segundo post sobre las cosas de Euler era mucho más adecuado que este, así que puedes hacerlo.
0 votos
@Alecos Papadopoulos - Gracias por la sugerencia. He reformulado completamente la pregunta. Espero que ahora esté claro.
0 votos
(+1) por el esfuerzo. Ahora, aclaraciones: La "compacidad" suele ser una propiedad de un conjunto. ¿De qué conjunto estamos hablando aquí?
0 votos
Lo que he aprendido de la lectura La compacidad significa que la subsecuencia de una serie es convergente. Y aquí las series tienen fecha de consumo.
0 votos
Es una forma confusa de hablar de compacidad. Y la serie de consumo no es en general convergente, vive en los números reales por lo que podemos formar una secuencia que no sea convergente (además, recuerda que "no convergencia" no significa necesariamente "ir al infinito", también puede significar un comportamiento cíclico). La secuencia óptima de consumo puede ser convergente, pero eso es otro tema. ¿Puedes proporcionar un enlace o una referencia donde aparezcan estas afirmaciones?
0 votos
google.co.in/url?sa=t&source=web&rct=j&url=http://
0 votos
Estoy estudiando el modelo a partir de varios textos, pero el enlace anterior proporciona un buen resumen del modelo y especifica el uso de la suposición de compacidad, pero al igual que los libros no proporciona una explicación para llevar esto a la imagen.