精读笔记

Problem Setting

论文研究的是无限时域 ergodic optimal control，但系统的 drift、running cost/Hamiltonian 可以依赖时间和完整历史路径，状态过程生活在带指数衰减记忆的路径空间 C_θ 上，并且底层域无界。真正的问题不是定义一个 path-dependent SDE，也不是写一个形式上的 BSDE，而是在没有时间齐次 Markov 结构时，如何定义和验证“长期平均最优成本”。

经典 ergodic control/ergodic BSDE 的核心对象是常数 λ：它既是 HJB ergodic equation 的 additive eigenvalue，也是长期平均成本，也是 discounted problem 的 vanishing discount 极限。但这个常数依赖一个隐含结构：系统足够稳定且时间齐次，使得长期统计行为由不变测度支配。一旦 b,H 显式依赖 t，甚至依赖历史路径，单个 invariant measure 与 stationary HJB 都不再是自然对象。

本文的关键矛盾是：长期平均控制仍然应该有某种“忘记初值”的性质，但它未必收敛到常数成本率。系统可能在时间上持续非平稳，导致最优成本率本身随时间振荡或漂移，只能通过某种平均抽取。因此，论文实际解决的是：在强耗散保证的非齐次路径依赖系统中，能否构造一个替代 λ 的对象，并让它同时承担 BSDE well-posedness、verification 和稳定性分析的角色。

Motivation

已有 ergodic BSDE 路线从 Fuhrman-Hu-Tessitore 开始，本质上建立在 time-homogeneous Markov diffusion + dissipativity 上。那里 EBSDE 的 λ 是常数，Y,Z 可以理解为 HJB 解及其梯度项的随机表示。这套框架一旦进入非齐次系统就卡住：没有 stationary semigroup，没有固定不变测度，没有 elliptic eigenvalue，甚至“长期平均值是否存在”为单个数也不清楚。

作者的核心观察是：在非齐次 Markov 过程理论中，不变测度被 evolution system of measures 替代；在 parabolic eigenvalue/Floquet bundle 文献里，长期增长率也不是简单从静态算子读出。对应到 BSDE，应该替换的不是 Y 或 Z，而是 λt 这条线性补偿项。也就是说，齐次 EBSDE 中的 −λ(T−t) 应该升级为 −(Λ(T)−Λ(t))。

缺口在于：之前的 delayed/path-dependent control 主要处理 finite horizon 或特殊 LQ 结构；非齐次平均成本文献多在 MDP/game 或 PDE 侧；BSDE 侧缺少一个既能覆盖路径依赖又能给出 verification 的 ergodic object。本文就是把这些线索合并：用路径 SDE 的耗散/演化测度保证 forward 稳定，用有限时域 BSDE 极限构造 Λ，再用 kernel averaging 解释长期值。

Core Idea

最核心的建模变化是：放弃“ergodic cost 必须是一个常数 λ”的先验，改为寻找一个确定性函数 Λ(t)，使得无限时域 BSDE 写成 Y_t−Λ(t)=Y_T−Λ(T)+∫_t^T H(s,X_s,Z_s)ds−∫_t^T Z_s dW_s。齐次情形只是 Λ(t)=λt 的特例；非齐次情形下，Λ 的斜率可以代表随时间变化的 instantaneous asymptotic cost rate，而真正的 ergodic value 由 Λ 的长时平均或 kernel 平均给出。

这个想法理论上成立的原因是，耗散性提供了对初始路径的指数遗忘，使 finite-horizon value function v^T(t,ξ) 在减去一个公共基准 v^T(0,0) 后不再随 horizon 爆炸，并且具备足够紧性。于是 T→∞ 的极限给出相对值函数 v 和补偿项 Λ。换句话说，Λ 是 finite-horizon dynamic programming value 的线性/非线性增长部分；Y 是去掉这个增长后的相对价值。

和 prior 的本质区别不在于“把状态扩到 path space”，这在 delayed SDE/functional SDE 文献里并不新；真正不同是把 ergodic constant 改造成 deterministic cocycle-like compensation，并承认不同 averaging kernel 可能得到不同 liminf/limsup ergodic values。这一点比传统 λ 框架更适合非周期非齐次系统。

Method

1. 路径空间与扩展耗散性：状态是无限 delay path process X_t∈C_θ。A1 的耗散条件不是装饰性假设，它负责两件事：初始路径指数遗忘，以及在 Girsanov 改变测度后仍有统一 moment bound。没有这一步，finite-horizon BSDE 的 Lipschitz estimate 无法 uniform in horizon，也就没有 ergodic 极限。

2. 有限时域 BSDE 作为近似问题：对每个终端 T 解 terminal condition 为 0 的 BSDE，得到 decoupling field v^T。这里 v^T 是真正的动态规划对象。因为 H 对 z Lipschitz，作者可以用 Girsanov 将两个 BSDE 解的差转成受 forward stability 控制的期望，从而得到 v^T 对初始路径的统一 Lipschitz。

3. normalization 与紧性极限：直接让 T→∞ 时 v^T 会携带长期累积成本而发散；减去 v^T(0,0) 后得到相对值 u^T。利用 C_θ 可分性、Arzelà-Ascoli 和对 t,ξ 的连续估计，抽子列得到 v。然后定义 Λ(t)=−v(t,0) 或等价规范化，Y_t=v(t,X_t)。这一步是整个构造的核心工程：它把 horizon growth 分离成 deterministic compensation。

4. Z 的收敛：Y 的极限还不够，需要 Z。作者通过 BSDE 差分的 Itô 能量估计，把 Z^{T_n} 的 Cauchy 性归约到 Y^{T_n} 的 L^2 收敛。这是标准但关键的 EBSDE compactness trick。

5. verification：在控制问题中 H(t,ξ,z)=inf_a{f(t,ξ,a)+a·z}。对 K_ρ(t)Y_t 做 integration by parts，并利用 Hamiltonian inequality/Girsanov，得到任意控制成本相对 ∫K_ρΛ′ 的下界；若控制近似实现 Hamiltonian minimizer，则达到上界。这里 Λ′ 的 kernel 平均自然成为最优长期成本。

6. 稳定性：扰动 b,H 或 b,f 后，forward 差由耗散 Gronwall 控制，BSDE/成本差由 kernel 加权误差控制。因此如果扰动在长期 kernel 平均意义下消失，ergodic values 不变。这给出一个有用的 asymptotic robustness 结论。

Key Insight / Why It Works

最重要的 insight 是：非齐次 ergodic control 的正确对象不是一个数，而是一个 deterministic additive functional Λ；长期平均值只是对 Λ 的 asymptotic extraction。这个判断非常关键，因为它避免了强行证明不存在的一般 λ，并且自然解释了为什么 uniform averaging、exponential averaging、一般 kernel averaging 可能给出不同 liminf/limsup。

方法有效的真正原因是耗散性带来的 memory erasure。路径依赖本身并不会破坏 BSDE compactness，只要 forward flow 对初值有指数收缩。所有关键估计都在利用这一点：v^T 的初值 Lipschitz、Y 的 linear growth、不同 drift 下的稳定性、verification 中初始条件无关性。换句话说，本文的泛化能力主要来自 strong stability assumption，而不是某个新的 BSDE comparison theorem。

最核心贡献是 Λ-framework + kernel ergodic values + path-dependent EBSDE well-posedness。相比之下，finite-horizon BSDE、Girsanov 线性化、Arzelà-Ascoli 子列、Itô 能量估计都是成熟技术的组合；它们是必要的，但不是概念创新。真正新增的信息是：在 time/path-dependent setting 下，把 λt 替换成 Λ(t) 后，整套 ergodic BSDE/control verification 仍然闭合。

需要注意，Λ 的唯一性只到 bounded perturbation；这不是技术瑕疵，而是模型本身的 gauge freedom。因为长期 kernel 平均对 bounded shift 不敏感，所以对 control value 足够。但如果想把 Λ 解释成 canonical instantaneous cost rate，文中并未在一般情形给出唯一规范化。

周期情形很说明问题：若系统 time-periodic，Λ 与 λt 只差有界项，因此所有 kernel ergodic values collapse 到同一个 λ。这说明本文框架确实包含经典/周期 ergodic cost，而不是另起炉灶。非周期情形则允许 Λ/T 的 liminf/limsup 不同；这不是 weakness，而是问题本身的真实结构。

哪些部分可能只是辅助：Tauberian/kernel 部分在数学上有价值，但更多是把 Λ 的 asymptotic behavior 翻译成不同 averaging criterion；它不是产生 well-posedness 的核心。Section 7 的 Markov uniqueness、finite delay representation 也更像 sanity check 与补充结构结果，说明在额外可测/混合条件下可以恢复更 canonical 的表示，但并未解决一般路径空间的唯一性。

Relation To Prior Work

最接近的谱系是 Fuhrman-Hu-Tessitore 的 ergodic BSDE for dissipative Markov diffusions。本文基本继承其技术路线：finite-horizon/discounted-like approximation、相对值函数、Girsanov 线性化、Z 的能量估计、verification。不同点是 prior 的补偿项是常数 λ，而本文改成 deterministic function Λ；这一步改变了问题的 ergodic object。

和 delayed/path-dependent control 文献相比，本文不是首次把 delay 放进 BSDE 或 HJB，而是首次在一般 Lipschitz Hamiltonian 下把 long-run average/ergodic BSDE 结构放进 time/path-dependent dynamics。Guatteri-Masiero 的 LQ ergodic delay control 依赖 Riccati 显式结构；本文更一般，但也依赖强耗散和 bounded/Lipschitz。

和非齐次 Markov/evolution system of measures 文献相比，本文把 evolution measure 的思想隐式转化为 BSDE 补偿项 Λ。一般部分并不直接用 evolution measures 来定义 Λ，而是通过 finite-horizon BSDE 极限构造；只有 finite delay/Markov 特殊情形才给出类似 ∫H dm_t 的 representation。

和 parabolic principal eigenvalue/Floquet bundle 文献的关系也比较自然：周期系统中 principal Floquet exponent 对应常数 λ；非周期系统中只能讨论 generalized growth rates。本文在 stochastic control/BSDE 侧给出了类似结构。

看似新的部分中，路径空间 C_θ、扩展 dissipativity、evolution system of measures 多来自 functional SDE 文献；BSDE compactness 多来自 ergodic BSDE 文献；kernel Tauberian 也不是新数学。实质创新是这些组件的重新组织：用 Λ 作为桥，把非齐次路径依赖系统、BSDE well-posedness 和多种长期平均准则统一起来。

Dataset / Evaluation

这是一篇理论概率/控制论文，没有数据集、实验或 benchmark。evaluation 的对应物是定理覆盖范围与特殊情形检验。

从 claim 支撑看，主定理确实覆盖了一个非平凡类：无界域、无限 delay path space、time-dependent drift/Hamiltonian、一般 kernel averaging、控制 verification、稳定性。周期情形退回单一 λ，Markov 非齐次情形给出 uniqueness，finite delay 情形给出 evolution-measure representation，这些都对框架正确性形成交叉验证。

但这些“评估”并不说明框架在弱稳定、退化噪声、非 Lipschitz Hamiltonian 或真实复杂 delayed control 中有多大适用性。文中没有 numerical examples 展示 Λ 在非周期系统中的实际形态，也没有展示不同 kernel ergodic values 在控制问题中如何产生显著差异。Example 主要是说明可能性，不是应用验证。

Limitation

1. 强耗散性是核心前提，也是主要上限。整个构造依赖 forward flow 指数忘记初值；如果系统只有 Harris recurrence、弱 Lyapunov drift、局部耗散或多稳态结构，当前方法大概率不直接工作。

2. Hamiltonian 假设偏保守。H 对 z Lipschitz、H(t,ξ,0) bounded，控制集 compact，running cost bounded。这排除了不少 ergodic control 中重要的 unbounded cost、quadratic/superquadratic Hamiltonian、risk-sensitive control 等情形。已有 Markov EBSDE 对更一般 H 有扩展，但本文没有把这些复杂性和路径/非齐次同时处理。

3. Λ 的 canonical 性不足。Theorem 3.3 只给出 Λ up to bounded difference；ergodic values 不受影响，但如果要理解 instantaneous cost rate Λ′ 或与 evolution measures 建立唯一关系，一般情形并不充分。文中在 finite delay/Markov 特殊情形补了一些表示，但一般 path-dependent case 没有闭合。

4. Z 的表示和唯一性在一般路径空间中是明显缺口。作者自己指出 Markov 情形中构造 ζ 依赖 R^d 的 σ-compactness，不能推广到无限维 Banach 路径空间。这意味着一般路径依赖 EBSDE 的解虽然存在，但 decoupling/feedback 控制的结构性理解有限。

5. infinite delay 与 mixing representation 存在根本张力。Remark 7.10 指出 total variation mixing 在 C_θ 无限记忆空间中不可能成立，因为远古边界信息的指数加权极限仍可被某些函数读出。这说明若想要 canonical Λ=∫H dm_t 表示，必须换距离、加强 ζ regularity，或限制状态空间；否则问题不是技术没做完，而是结构上不成立。

6. verification 给出的最优控制依赖 measurable selection 和近似 Hamiltonian minimizer。对于实际 feedback synthesis，尤其在路径依赖情形下，Z 没有良好 Markov representation 时，控制 α_t 可能不是一个可操作的 path-feedback law。也就是说，论文主要解决 value characterization，而不是可计算控制器构造。

7. 非周期非齐次情形下，λ∗/λ∗ 可能不同。本文接受这一点并用 kernel 框架描述，但这也意味着“ergodic optimal control”失去单一数值目标。不同 kernel 对应不同长期准则，最优性定义依赖 averaging choice；虽然 Theorem 3.8 给出某类控制对所有 K optimal，但这种 universal optimality 依赖 Hamiltonian pointwise minimization，实际存在性/结构仍有限。

Takeaway

• 1. 对非齐次 ergodic control，不应执着于寻找常数 λ；更自然的对象是 additive compensation Λ(t)，ergodic value 是它的长期平均投影。
• 2. 路径依赖本身不是主要障碍，真正需要的是 forward dynamics 的指数遗忘。
• 只要能获得 uniform-in-horizon 的 decoupling field regularity，ergodic BSDE compactness 仍然可用。
• 3. kernel averaging 是一个值得迁移的视角：当长期平均不收敛时，不同 averaging scheme 不是技术噪声，而是在读取 Λ 的不同渐近信息。

一句话总结

这篇论文把经典 Markov 齐次 ergodic BSDE 中的常数 λ 升级为非齐次路径依赖系统的确定性补偿函数 Λ，从而给出一套强耗散条件下可验证、稳定但仍非完全 canonical 的长期平均控制框架。