Existence and Uniqueness of Solutions to the Stochastic Bellman Equation with Unbounded Shock
Pith reviewed 2026-05-24 20:21 UTC · model grok-4.3
The pith
A generalized fixed point theorem establishes existence and uniqueness for the stochastic Bellman equation under unbounded and correlated shocks.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We obtain new results of the existence and uniqueness of solutions to the Bellman equation through a general fixed point theorem that generalizes known results for Banach contractions and local contractions. We study an endogenous growth model as well as the Lucas asset pricing model in an exchange economy, significantly expanding their range of applicability.
What carries the argument
The general fixed point theorem that extends Banach and local contractions to the space of functions satisfying the paper's continuity and measurability conditions on unbounded shocks.
If this is right
- The endogenous growth model admits a unique solution to its Bellman equation when shocks are unbounded and correlated, provided the stated conditions hold.
- The Lucas asset pricing model in an exchange economy has a unique solution under the same relaxed shock assumptions.
- Dynamic programming arguments can now be applied directly to a larger class of problems without first bounding the shocks.
- The framework supplies a single set of sufficient conditions that covers both the growth and asset-pricing applications.
Where Pith is reading between the lines
- The same fixed-point argument may apply to other recursive problems whose state variables are driven by unbounded Markov processes once the contraction metric is verified.
- Numerical value-function iteration could be justified for these models without artificial truncation of the shock support.
- The result separates the contraction property from boundedness, which may allow direct comparison with existing local-contraction theorems in the literature.
Load-bearing premise
The utility functions and shock processes must satisfy the continuity, measurability, and appropriate contraction properties in a suitable metric space so that the generalized fixed point theorem applies.
What would settle it
An explicit example of a utility function and shock process obeying the paper's stated technical conditions for which the Bellman equation either fails to have a solution or has multiple solutions.
read the original abstract
In this paper we develop a general framework to analyze stochastic dynamic problems with unbounded utility functions and correlated and unbounded shocks. We obtain new results of the existence and uniqueness of solutions to the Bellman equation through a general fixed point theorem that generalizes known results for Banach contractions and local contractions. We study an endogenous growth model as well as the Lucas asset pricing model in an exchange economy, significantly expanding their range of applicability.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript develops a general framework for stochastic dynamic programming problems featuring unbounded utility functions and correlated unbounded shocks. It proves existence and uniqueness of solutions to the Bellman equation by means of a new general fixed-point theorem that extends the Banach contraction mapping theorem and local contraction results. The framework is then applied to an endogenous growth model and to the Lucas asset pricing model in an exchange economy.
Significance. If the generalized fixed-point theorem is rigorously established and its hypotheses are verifiable in the applications, the result would meaningfully enlarge the set of models to which dynamic programming methods apply without artificial boundedness restrictions on shocks or returns. The explicit construction of a theorem that nests standard contraction arguments is a potential strength.
major comments (3)
- [§3, Theorem 1] §3, Theorem 1 and its proof: the claim that the new theorem generalizes both global Banach contractions and local contractions is not accompanied by an explicit reduction argument showing that the standard Banach theorem is recovered when the local radius is taken to be infinite; without this verification the generalization statement remains formal.
- [§5.2] §5.2 (Lucas asset pricing application): the verification that the pricing kernel and dividend process satisfy the required continuity, measurability, and contraction condition (Definition 2) in the chosen metric space is only indicated at a high level; a concrete calculation of the contraction modulus for the unbounded shock case is needed to confirm that the theorem applies rather than being assumed.
- [§4] §4 (endogenous growth model): the paper asserts that the production function and shock distribution meet the technical conditions of the fixed-point theorem, yet no explicit check is provided that the operator remains a contraction when the state space is unbounded; this step is load-bearing for the claimed extension of applicability.
minor comments (2)
- [§2] Notation for the metric d_β introduced in §2 is used before its definition; a forward reference or earlier definition would improve readability.
- [Abstract] The abstract states that the results 'significantly expand' applicability but does not cite the specific prior theorems (e.g., Stokey-Lucas or other contraction results) whose hypotheses are relaxed.
Simulated Author's Rebuttal
We thank the referee for the careful and constructive report. The comments identify places where the generalization claim and the application verifications would benefit from more explicit detail. We address each point below and will revise the manuscript to incorporate the requested clarifications.
read point-by-point responses
-
Referee: [§3, Theorem 1] §3, Theorem 1 and its proof: the claim that the new theorem generalizes both global Banach contractions and local contractions is not accompanied by an explicit reduction argument showing that the standard Banach theorem is recovered when the local radius is taken to be infinite; without this verification the generalization statement remains formal.
Authors: We agree that an explicit reduction argument is missing. In the revised manuscript we will add a short corollary or remark immediately after Theorem 1 that sets the local radius to infinity, shows that the local contraction condition becomes the standard global contraction condition, and recovers the Banach fixed-point theorem with the same modulus. This will make the nesting rigorous rather than formal. revision: yes
-
Referee: [§5.2] §5.2 (Lucas asset pricing application): the verification that the pricing kernel and dividend process satisfy the required continuity, measurability, and contraction condition (Definition 2) in the chosen metric space is only indicated at a high level; a concrete calculation of the contraction modulus for the unbounded shock case is needed to confirm that the theorem applies rather than being assumed.
Authors: The observation is correct; the verification in §5.2 is only sketched. We will insert an explicit calculation in the revised version that computes the relevant distances under the chosen metric, verifies continuity and measurability of the pricing kernel and dividend process, and derives a concrete upper bound on the contraction modulus that is strictly less than one for the unbounded-shock specification. revision: yes
-
Referee: [§4] §4 (endogenous growth model): the paper asserts that the production function and shock distribution meet the technical conditions of the fixed-point theorem, yet no explicit check is provided that the operator remains a contraction when the state space is unbounded; this step is load-bearing for the claimed extension of applicability.
Authors: We accept that an explicit verification is required. The revised manuscript will contain a dedicated paragraph in §4 that checks each hypothesis of the fixed-point theorem for the chosen production function and shock distribution, including a direct argument that the Bellman operator is a contraction on the unbounded state space under the metric of Definition 2. revision: yes
Circularity Check
No significant circularity; derivation rests on independent fixed-point theorem
full rationale
The paper introduces a general fixed-point theorem that extends Banach and local contraction results, then applies it to establish existence and uniqueness for the stochastic Bellman equation under the stated technical conditions on utilities and shocks. No step reduces a prediction or uniqueness claim to a fitted parameter, self-citation chain, or definitional renaming; the central result is obtained by verifying the theorem's hypotheses on the model primitives. The approach is self-contained against external benchmarks and does not invoke load-bearing self-citations for its core argument.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption The state space and shock processes admit a metric under which the Bellman operator satisfies the generalized contraction property.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.