Théorie du contrôle

On Binary Optimal Control in $H^s(0,T)$, $s<1/2$

[Sur le Contrôle Optimal Binaire en $H^s(0,T)$, $s<1/2$]

Manns, Paul¹  ; Surowiec, Thomas M.²  

¹ TU Dortmund University, Germany
² Simula Research Laboratory, Oslo, Norway

Comptes Rendus. Mathématique, Tome 361 (2023) no. G9, pp. 1531-1540

Abstract (VO)

The function space $H^s(0,T)$, $s<1/2$, allows for functions with jump discontinuities and is thus attractive for treating optimal control problems with discrete-valued control functions. We show that while arbitrary chattering controls are impossible, there exist feasible controls in $H^s(0,T)$ that have countably jump discontinuities with jump height one in each of countably many pairwise disjoint intervals. However, under mild assumptions, we show that certain types of jump discontinuities cannot be optimal. The derivation of meaningful optimality conditions via a direct variational argument using simple feasible perturbations remains a major challenge; as illustrated by an example.

Résumé

L’espace fonctionnel $H^s(0,T)$, $s<1/2$, est compatible avec les discontinuités et est par conséquent un candidat de choix pour résoudre des problèmes de contrôle optimal avec des fonctions de contrôle à valeurs discrètes. Nous montrons que, bien que les contrôles fortement oscillants soient impossibles, il existe des contrôles admissibles dans $H^s(0,T)$ ayant un nombre fini de discontinuités avec un saut de 1 pour chacune des paires dénombrables d’intervalles disjoints. Cependant, sous des hypothèses raisonnables, nous montrons que certaines de ces discontinuités ne peuvent pas être optimaux. Établir des conditions d’optimalité pertinentes via un argument variationnel avec des perturbations admissibles simples constitue un défi majeur, ce que nous illustrons par un exemple.

Détail

Reçu le : 2022-09-14
Révisé le : 2022-12-19
Accepté le : 2023-04-19
Publié le : 2023-11-10

DOI : 10.5802/crmath.507

Licence : CC-BY 4.0

Droits d'auteur : Les auteurs conservent leurs droits