DSGEモデルは現代マクロ経済学の中核であるが、合理的期待形成の経済理論と数値解法の計算実務との形式的な結びつきは十分に明確化されていない。本稿はこの操作的ギャップに対処するため、DSGEモデルを不動点選択装置として厳密に定義する公理的枠組み—$(S, T, \Pi)$三つ組—を確立する。経済的定式化と計算的選択規則を明示的に接続することで、本アプローチは経済動学における厳密な方法論の発展という伝統に直接対応する。標準的なBlanchard-Kahn決定条件が、モデル自体の存在定理ではなく、特定の選択演算子$\Pi_{BK}$の性質であることを示す。線形QZ分解と非線形OccBinアルゴリズムが同一の選択操作の数学的に整合的な実装であることを示し、解法の統一理論を提供する。最後に、不確定性下の均衡選択を明確な政策選択として形式化し、標準的な安定性条件が不十分な場合に代替的な選択演算子をどのように厳密に展開できるかを定義する。
ステータス: プレプリント(Journal of Economic Dynamics and Controlに投稿中)
コード・データ: Julia実装は DsgeSelectionFramework.jl で公開、Zenodoに永久アーカイブ済み。