TheoremBase

Continuous Mean-Field Trajectory Pairs are Generalized Mean-Field Trajectory Pairs

Statement

Let (β0,β1)(\beta_0,\beta_1) be an affine-controlled transition-rate family on ll states with control set A⊆Rm\mathcal{A}\subseteq\mathbb{R}^m, let β\beta be its transition-rate family, let (L,G)(L,G) be population cost data on ll states with control dimension mm, and let T>0T>0 be a real number.

Let (S,A)(S,A) be a mean-field trajectory pair for β\beta with horizon TT, in particular At∈AA_t\in\mathcal{A} for every t∈[0,T]t\in[0,T].

Then (S,A)(S,A) is a generalized mean-field trajectory pair for (β0,β1)(\beta_0,\beta_1) with horizon TT, and its generalized mean-field cost under (L,G)(L,G) equals its mean-field cost under (L,G)(L,G).

Proofs

Log in to submit a proof.

Loading...

Citations

Loading…

Dependencies

Loading…

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Log in to comment.

Loading…