[论文解读] Infinite Dimensional Control Problems with Positivity State Constraints: a Banach Lattice Approach
本文提出了一种巴拿赫格序框架，用于处理具有状态正性约束的无限维最优控制问题，借助无限维Perron-Frobenius定理，显式求解辅助问题的HJB方程，从而推导出原问题的最优轨迹——提供了一种超越传统L²框架的全新方法。
This paper is devoted to studying a family of deterministic optimal control problems in an infinite dimension. The difficult feature of such problems is the presence of positivity state constraints, which arise very often in economic applications (our main motivation). To deal with such constraints we set up the problem in a Banach space with a Riesz space structure (i.e., a Banach lattice) and not necessarily reflexive, like $\mathcal{C}^0$. In this setting, which seems to be new in this context, we are able, using a type of infinite-dimensional Perron-Frobenius Theorem, to find explicit solutions of the HJB equation associated to a suitable auxiliary problem and to use such results to get information about the optimal paths of the starting problem. This was not possible to perform in the previously used infinite-dimensional setting where the state space was an $\mathrm{L}^2$ space.
研究动机与目标
- 为解决经济应用中常见的无限维最优控制问题中的状态正性约束挑战。
- 开发一种基于非自反巴拿赫格序（如C⁰）而非L²空间的新数学框架。
- 建立状态空间结构与汉密尔顿-雅可比-贝尔曼（HJB）方程可解性之间的联系。
- 利用谱论工具显式求解辅助问题的HJB方程。
- 通过这些解推断原约束控制问题的最优控制路径。
提出的方法
- 在具有Riesz空间结构的巴拿赫格序空间中构建控制问题，以支持序理论分析。
- 应用无限维Perron-Frobenius定理分析HJB方程中线性算子的谱性质。
- 构造一个辅助最优控制问题，其HJB方程因格序结构而可显式求解。
- 利用辅助问题的解表征原问题的值函数与最优轨迹。
- 利用巴拿赫格序的序结构在整个求解过程中保持正性约束。
- 通过对偶性与比较原理，建立辅助问题解与原问题最优路径之间的联系。
实验结果
研究问题
- RQ1能否使用巴拿赫格序框架而非L²空间，有效处理无限维最优控制问题中的正性约束？
- RQ2无限维Perron-Frobenius定理如何应用于此类设定中HJB方程的求解？
- RQ3状态空间的何种结构性质使得在约束条件下HJB方程可显式求解？
- RQ4与标准L²表述相比，巴拿赫格序结构在多大程度上提升了控制问题的可解性？
- RQ5辅助问题的解如何为原约束控制问题的最优控制路径提供信息？
主要发现
- 使用巴拿赫格序结构使得辅助问题的HJB方程得以显式求解，这在以往基于L²的框架中无法实现。
- 无限维Perron-Frobenius定理为表征主特征函数及其相关解结构提供了关键分析工具。
- 通过序理论与比较论证，利用辅助问题的解推导出原问题的最优控制路径。
- 该框架成功处理了正性状态约束，且无需状态空间的自反性，从而将适用范围扩展至C⁰型空间。
- 该方法为在标准变分技术因缺乏光滑性或自反性而失效的场景中，构造性地识别最优轨迹提供了可行路径。
- 结果表明，状态空间的格序结构在实现此前难以企及的显式解方面起到了关键作用。
更好的研究，从现在开始
从论文设计到论文写作，大幅缩短您的研究时间。
无需绑定信用卡
本解读由 AI 生成，并经人工编辑审核。