Abstract:The moment-sum-of-squares hierarchy provides a powerful framework for solving non-convex optimal control problems by constructing a sequence of convex semidefinite relaxations. However, when extending these methods to nonlinear partial differential equations (PDEs), a fundamental challenge is the potential existence of a relaxation gap, where the solution to the linear measure formulation using occupation measures fails to correspond to a classical physical solution of the original PDE. In this paper, we prove the absence of a relaxation gap for scalar semilinear parabolic PDEs of the reaction-diffusion type. We do so by showing that each solution to the linear measure equation gives rise to an energy measure-valued (emv) solution in the space of Young measures satisfying suitable energy identities. We then prove that any such emv solution concentrates on the solution to the nonlinear PDE, provided the latter exists and is unique. To the best of our knowledge, this is the first concentration result of this kind for measure-valued solutions of reaction-diffusion PDEs.
| Subjects: | Optimization and Control (math.OC) |
| Cite as: | arXiv:2605.23678 [math.OC] |
| (or arXiv:2605.23678v1 [math.OC] for this version) | |
| https://doi.org/10.48550/arXiv.2605.23678 arXiv-issued DOI via DataCite (pending registration) |
From: Didier Henrion [view email] [via CCSD proxy]
[v1]
Fri, 22 May 2026 14:26:31 UTC (28 KB)
此内容由惯性聚合(RSS阅读器)自动聚合整理，仅供阅读参考。 原文来自 — 版权归原作者所有。