Concentration of measure-valued solutions for semilinear parabolic equations

Fuente: arXiv
Saved in:
Bibliographic Details
Main Authors: Lebarbé, Charlie, Flayac, Émilien, Fournié, Michel, Henrion, Didier, Korda, Milan
Format: Preprint
Published: 2026
Subjects:
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866911709099196416
author Lebarbé, Charlie
Flayac, Émilien
Fournié, Michel
Henrion, Didier
Korda, Milan
author_facet Lebarbé, Charlie
Flayac, Émilien
Fournié, Michel
Henrion, Didier
Korda, Milan
contents 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.
format Preprint
id arxiv_https___arxiv_org_abs_2605_23678
institution arXiv
publishDate 2026
record_format arxiv
spellingShingle Concentration of measure-valued solutions for semilinear parabolic equations
Lebarbé, Charlie
Flayac, Émilien
Fournié, Michel
Henrion, Didier
Korda, Milan
Optimization and Control
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.
title Concentration of measure-valued solutions for semilinear parabolic equations
topic Optimization and Control
url https://arxiv.org/abs/2605.23678