Showing 1–17 of 17 results for author: Frankowska, H

On the Viability and Invariance of Proper Sets under Continuity Inclusions in Wasserstein Spaces

Authors: Benoît Bonnet-Weill, Hélène Frankowska

Abstract: In this article, we derive conditions for the existence of solutions to state-constrained continuity inclusions in Wasserstein spaces whose right-hand sides may be discontinuous in time. These latter are based on a fine investigation of the infinitesimal behaviour of the underlying reachable sets, through which we show that up to a negligible set of times, every admissible velocity of a continuity… ▽ More In this article, we derive conditions for the existence of solutions to state-constrained continuity inclusions in Wasserstein spaces whose right-hand sides may be discontinuous in time. These latter are based on a fine investigation of the infinitesimal behaviour of the underlying reachable sets, through which we show that up to a negligible set of times, every admissible velocity of a continuity inclusion can be approximately realised as the metric derivative of a solution of the dynamics, and vice versa. Building on these results, we are able to establish necessary and sufficient geometric conditions for the viability and invariance of stationary and time-dependent constraint sets which involve a suitable notion of contingent cones in Wasserstein spaces, and presented in ascending order of generality. We then close the article by exhibiting two prototypical examples of constraints sets appearing in applications for which one can compute relevant subfamilies of contingent directions. △ Less

Submitted 4 July, 2024; v1 submitted 24 April, 2023; originally announced April 2023.

Comments: 44 pages

MSC Class: 28B20; 34G25; 46N20; 49Q22

Journal ref: SIAM Journal on Mathematical Analysis 56 (3), 2863-2914 (2024)

Carathéodory Theory and A Priori Estimates for Continuity Inclusions in the Space of Probability Measures

Authors: Benoît Bonnet-Weill, Hélène Frankowska

Abstract: In this article, we extend the foundations of the theory of differential inclusions in the space of compactly supported probability measures, introduced recently by the authors, to the setting of general Wasserstein spaces. In this context, we prove a novel existence result à la Peano for this class of dynamics under mere Carathéodory regularity assumptions. The latter is based on a natural, yet p… ▽ More In this article, we extend the foundations of the theory of differential inclusions in the space of compactly supported probability measures, introduced recently by the authors, to the setting of general Wasserstein spaces. In this context, we prove a novel existence result à la Peano for this class of dynamics under mere Carathéodory regularity assumptions. The latter is based on a natural, yet previously unexplored set-valued adaptation of the semi-discrete Euler scheme proposed by Filippov to study ordinary differential equations whose right-hand sides are measurable in the time variable. By leveraging some of the underlying methods along with new estimates for solutions of continuity equations, we also bring substantial improvements to the earlier versions of the Filippov estimates, compactness and relaxation properties of the solution sets of continuity inclusions, which are derived in the Cauchy-Lipschitz framework. △ Less

Submitted 5 November, 2024; v1 submitted 2 February, 2023; originally announced February 2023.

Comments: 40 pages

MSC Class: 28B20; 34A60; 34G20; 46N20; 49Q22

Journal ref: Nonlinear Analysis, Theory, Methods and Applications, 247:113595 (2024)

Viability and Exponentially Stable Trajectories for Differential Inclusions in Wasserstein Spaces

Authors: Benoît Bonnet, Hélène Frankowska

Abstract: In this article, we prove a general viability theorem for continuity inclusions in Wasserstein spaces, and provide an application thereof to the existence of exponentially stable trajectories obtained via the second method of Lyapunov. In this article, we prove a general viability theorem for continuity inclusions in Wasserstein spaces, and provide an application thereof to the existence of exponentially stable trajectories obtained via the second method of Lyapunov. △ Less

Submitted 5 June, 2023; v1 submitted 8 September, 2022; originally announced September 2022.

Semiconcavity and Sensitivity Analysis in Mean-Field Optimal Control and Applications

Authors: Benoît Bonnet, Hélène Frankowska

Abstract: In this article, we investigate some of the fine properties of the value function associated to an optimal control problem in the Wasserstein space of probability measures. Building on new interpolation and linearisation formulas for non-local flows, we prove semiconcavity estimates for the value function, and establish several variants of the so-called sensitivity relations which provide connecti… ▽ More In this article, we investigate some of the fine properties of the value function associated to an optimal control problem in the Wasserstein space of probability measures. Building on new interpolation and linearisation formulas for non-local flows, we prove semiconcavity estimates for the value function, and establish several variants of the so-called sensitivity relations which provide connections between its superdifferential and the adjoint curves stemming from the maximum principle. We subsequently make use of these results to study the propagation of regularity for the value function along optimal trajectories, as well as to investigate sufficient optimality conditions and optimal feedbacks for mean-field optimal control problems. △ Less

Submitted 25 November, 2021; v1 submitted 5 August, 2021; originally announced August 2021.

Comments: 55 pages

MSC Class: 30L99; 49K27; 49K40; 49Q12; 49Q22; 58E25

Journal ref: Journal de Mathématiques Pures et Appliquéees, Published online (2021)

On the Properties of the Value Function Associated to a Mean-Field Optimal Control Problem of Bolza Type

Authors: Benoît Bonnet, Hélène Frankowska

Abstract: In this paper, we obtain several structural results for the value function associated to a mean-field optimal control problem of Bolza type in the space of measures. After establishing the sensitivity relations bridging between the costates of the maximum principle and metric superdifferentials of the value function, we investigate semiconcavity properties of this latter with respect to both varia… ▽ More In this paper, we obtain several structural results for the value function associated to a mean-field optimal control problem of Bolza type in the space of measures. After establishing the sensitivity relations bridging between the costates of the maximum principle and metric superdifferentials of the value function, we investigate semiconcavity properties of this latter with respect to both variables. We then characterise optimal trajectories using set-valued feedback mappings defined in terms of suitable directional derivatives of the value function. △ Less

Submitted 25 November, 2021; v1 submitted 29 July, 2021; originally announced July 2021.

Necessary Optimality Conditions for Optimal Control Problems in Wasserstein Spaces

Authors: Benoît Bonnet, Hélène Frankowska

Abstract: In this article, we derive first-order necessary optimality conditions for a constrained optimal control problem formulated in the Wasserstein space of probability measures. To this end, we introduce a new notion of localised metric subdifferential for compactly supported probability measures, and investigate the intrinsic linearised Cauchy problems associated to non-local continuity equations. In… ▽ More In this article, we derive first-order necessary optimality conditions for a constrained optimal control problem formulated in the Wasserstein space of probability measures. To this end, we introduce a new notion of localised metric subdifferential for compactly supported probability measures, and investigate the intrinsic linearised Cauchy problems associated to non-local continuity equations. In particular, we show that when the velocity perturbations belong to the tangent cone to the convexification of the set of admissible velocities, the solutions of these linearised problems are tangent to the solution set of the corresponding continuity inclusion. We then make use of these novel concepts to provide a synthetic and geometric proof of the celebrated Pontryagin Maximum Principle for an optimal control problem with inequality final-point constraints. In addition, we propose sufficient conditions ensuring the normality of the maximum principle. △ Less

Submitted 27 April, 2021; v1 submitted 26 January, 2021; originally announced January 2021.

Comments: 35 pages

MSC Class: 30L99; 34K09; 49J53; 49K21; 49Q22; 58E25

Mean-Field Optimal Control of Continuity Equations and Differential Inclusions

Authors: Benoît Bonnet, Hélène Frankowska

Abstract: In this article, we propose a new unifying framework for the investigation of multi-agent control problems in the mean-field setting. Our approach is based on a new definition of differential inclusions for continuity equations formulated in the Wasserstein spaces of optimal transport. The latter allows to extend several known results of the classical theory of differential inclusions, and to prov… ▽ More In this article, we propose a new unifying framework for the investigation of multi-agent control problems in the mean-field setting. Our approach is based on a new definition of differential inclusions for continuity equations formulated in the Wasserstein spaces of optimal transport. The latter allows to extend several known results of the classical theory of differential inclusions, and to prove an exact correspondence between solutions of differential inclusions and control systems. We show its appropriateness on an example of leader-follower evacuation problem. △ Less

Submitted 14 September, 2020; originally announced September 2020.

Differential Inclusions in Wasserstein Spaces: The Cauchy-Lipschitz Framework

Authors: Benoît Bonnet, Hélène Frankowska

Abstract: In this article, we propose a general framework for the study of differential inclusions in the Wasserstein space of probability measures. Based on earlier geometric insights on the structure of continuity equations, we define solutions of differential inclusions as absolutely continuous curves whose driving velocity fields are measurable selections of multifunction taking their values in the spac… ▽ More In this article, we propose a general framework for the study of differential inclusions in the Wasserstein space of probability measures. Based on earlier geometric insights on the structure of continuity equations, we define solutions of differential inclusions as absolutely continuous curves whose driving velocity fields are measurable selections of multifunction taking their values in the space of vector fields. In this general setting, we prove three of the founding results of the theory of differential inclusions: Filippov's theorem, the Relaxation theorem, and the compactness of the solution sets. These contributions -- which are based on novel estimates on solutions of continuity equations -- are then applied to derive a new existence result for fully non-linear mean-field optimal control problems with closed-loop controls. △ Less

Submitted 26 July, 2020; v1 submitted 17 July, 2020; originally announced July 2020.

MSC Class: 28B20; 34A60; 34G20; 49J21; 49J45

First and Second Order Necessary Optimality Conditions for Controlled Stochastic Evolution Equations with Control and State Constraints

Authors: Hélène Frankowska, Qi Lü

Abstract: The purpose of this paper is to establish first and second order necessary optimality conditions for optimal control problems of stochastic evolution equations with control and state constraints. The control acts both in the drift and diffusion terms and the control region is a nonempty closed subset of a separable Hilbert space. We employ some classical set-valued analysis tools and theories of t… ▽ More The purpose of this paper is to establish first and second order necessary optimality conditions for optimal control problems of stochastic evolution equations with control and state constraints. The control acts both in the drift and diffusion terms and the control region is a nonempty closed subset of a separable Hilbert space. We employ some classical set-valued analysis tools and theories of the transposition solution of vector-valued backward stochastic evolution equations and the relaxed-transposition solution of operator-valued backward stochastic evolution equations to derive these optimality conditions. The correction part of the second order adjoint equation, which does not appear in the first order optimality condition, plays a fundamental role in the second order optimality condition. △ Less

Submitted 19 January, 2019; originally announced January 2019.

MSC Class: 93E20; 60H15

Necessary Conditions for Stochastic Optimal Control Problems in Infinite Dimensions

Authors: Hélène Frankowska, Xu Zhang

Abstract: The purpose of this paper is to establish the first and second order necessary conditions for stochastic optimal controls in infinite dimensions. The control system is governed by a stochastic evolution equation, in which both drift and diffusion terms may contain the control variable and the set of controls is allowed to be nonconvex. Only one adjoint equation is introduced to derive the first or… ▽ More The purpose of this paper is to establish the first and second order necessary conditions for stochastic optimal controls in infinite dimensions. The control system is governed by a stochastic evolution equation, in which both drift and diffusion terms may contain the control variable and the set of controls is allowed to be nonconvex. Only one adjoint equation is introduced to derive the first order optimality necessary condition either by means of the classical variational analysis approach or under some assumption which is quite natural in the deterministic setting to guarantee the existence of optimal controls. More importantly, in order to avoid the essential difficulty with the well-posedness of higher order adjoint equations, using again the classical variational analysis approach, only the first and the second order adjoint equations are needed to formulate the second order necessary optimality condition, in which the solutions to the second order adjoint equation are understood in the sense of relaxed transposition. △ Less

Submitted 26 December, 2018; originally announced December 2018.

Comments: 20 pages

Value Functions and Optimality Conditions for Nonconvex Variational Problems with an Infinite Horizon in Banach Spaces

Authors: Hélène Frankowska, Nobusumi Sagara

Abstract: We investigate the value function of an infinite horizon variational problem in the infinite-dimensional setting. Firstly, we provide an upper estimate of its Dini--Hadamard subdifferential in terms of the Clarke subdifferential of the Lipschitz continuous integrand and the Clarke normal cone to the graph of the set-valued mapping describing dynamics. Secondly, we derive a necessary condition for… ▽ More We investigate the value function of an infinite horizon variational problem in the infinite-dimensional setting. Firstly, we provide an upper estimate of its Dini--Hadamard subdifferential in terms of the Clarke subdifferential of the Lipschitz continuous integrand and the Clarke normal cone to the graph of the set-valued mapping describing dynamics. Secondly, we derive a necessary condition for optimality in the form of an adjoint inclusion that grasps a connection between the Euler--Lagrange condition and the maximum principle. △ Less

Submitted 10 February, 2020; v1 submitted 1 January, 2018; originally announced January 2018.

MSC Class: Primary: 34A60; 49J50; 49J52; Secondary: 49J53; 49K15; 90C39

First and second order necessary conditions for stochastic optimal controls

Authors: Hélène Frankowska, Haisen Zhang, Xu Zhang

Abstract: The main purpose of this paper is to establish the first and second order necessary optimality conditions for stochastic optimal controls using the classical variational analysis approach. The control system is governed by a stochastic differential equation, in which both drift and diffusion terms may contain the control variable and the set of controls is allowed to be nonconvex. Only one adjoint… ▽ More The main purpose of this paper is to establish the first and second order necessary optimality conditions for stochastic optimal controls using the classical variational analysis approach. The control system is governed by a stochastic differential equation, in which both drift and diffusion terms may contain the control variable and the set of controls is allowed to be nonconvex. Only one adjoint equation is introduced to derive the first order necessary condition; while only two adjoint equations are needed to state the second order necessary conditions for stochastic optimal controls. △ Less

Submitted 7 November, 2016; v1 submitted 27 March, 2016; originally announced March 2016.

Comments: 43

Second-order sensitivity relations and regularity of the value function for Mayer's problem in optimal control

Authors: Piermarco Cannarsa, Hélène Frankowska, Teresa Scarinci

Abstract: This paper investigates the value function, $V$, of a Mayer optimal control problem with the state equation given by a differential inclusion. First, we obtain an invariance property for the proximal and Fréchet subdifferentials of $V$ along optimal trajectories. Then, we extend the analysis to the sub/superjets of $V$, obtaining new sensitivity relations of second order. By applying sensitivity a… ▽ More This paper investigates the value function, $V$, of a Mayer optimal control problem with the state equation given by a differential inclusion. First, we obtain an invariance property for the proximal and Fréchet subdifferentials of $V$ along optimal trajectories. Then, we extend the analysis to the sub/superjets of $V$, obtaining new sensitivity relations of second order. By applying sensitivity analysis to exclude the presence of conjugate points, we deduce that the value function is twice differentiable along any optimal trajectory starting at a point at which $V$ is proximally subdifferentiable. We also provide sufficient conditions for the local $C^2$ regularity of $V$ on tubular neighborhoods of optimal trajectories. △ Less

Submitted 22 August, 2014; originally announced August 2014.

MSC Class: 34A60; 49J53

Sensitivity relations for the Mayer problem with differential inclusions

Authors: Piermarco Cannarsa, Helene Frankowska, Teresa Scarinci

Abstract: In optimal control,sensitivity relations are usually understood as inclusions that identify the pair formed by the dual arc and the Hamiltonian, evaluated along the associated minimizing trajectory, as a suitable generalized gradient of the value function. In this paper, sensitivity relations are obtained for the Mayer problem associated with the differential inclusion $\dot x\in F(x)$ and applied… ▽ More In optimal control,sensitivity relations are usually understood as inclusions that identify the pair formed by the dual arc and the Hamiltonian, evaluated along the associated minimizing trajectory, as a suitable generalized gradient of the value function. In this paper, sensitivity relations are obtained for the Mayer problem associated with the differential inclusion $\dot x\in F(x)$ and applied to derive optimality conditions. Our first application concerns the maximum principle and consists in showing that a dual arc can be constructed for every element of the superdifferential of the final cost. As our second application, with every nonzero limiting gradient of the value function at some point $(t,x)$ we associate a family of optimal trajectories at $(t,x)$ with the property that families corresponding to distinct limiting gradients have empty intersection. △ Less

Submitted 18 February, 2014; originally announced February 2014.

MSC Class: 34A60; 49J53

Autonomous Integral Functionals with Discontinuous Nonconvex Integrands: Lipschitz Regularity of Minimizers, DuBois-Reymond Necessary Conditions, and Hamilton-Jacobi Equations

Authors: Gianni Dal Maso, Helene Frankowska

Abstract: This paper is devoted to the autonomous Lagrange problem of the calculus of variations with a discontinuous Lagrangian. We prove that every minimizer is Lipschitz continuous if the Lagrangian is coercive and locally bounded. The main difference with respect to the previous works in the literature is that we do not assume that the Lagrangian is convex in the velocity. We also show that, under som… ▽ More This paper is devoted to the autonomous Lagrange problem of the calculus of variations with a discontinuous Lagrangian. We prove that every minimizer is Lipschitz continuous if the Lagrangian is coercive and locally bounded. The main difference with respect to the previous works in the literature is that we do not assume that the Lagrangian is convex in the velocity. We also show that, under some additional assumptions, the DuBois-Reymond necessary condition still holds in the discontinuous case. Finally, we apply these results to deduce that the value function of the Bolza problem is locally Lipschitz and satisfies (in a generalized sense) a Hamilton-Jacobi equation. △ Less

Submitted 25 July, 2002; originally announced July 2002.

Comments: 29 pages

Report number: Preprint SISSA 55/2002/M MSC Class: 49N60; 49K05; 49L25

Uniqueness of solutions to Hamilton-Jacobi equations arising in the Calculus of Variations

Authors: G. Dal Maso, H. Frankowska

Abstract: We prove the uniqueness of the viscosity solution to the Hamilton-Jacobi equation associated with a Bolza problem of the Calculus of Variations, assuming that the Lagrangian is autonomous, continuous, superlinear, and satisfies the usual convexity hypothesis. Under the same assumptions we prove also the uniqueness, in a class of lower semicontinuous functions, of a slightly different notion of s… ▽ More We prove the uniqueness of the viscosity solution to the Hamilton-Jacobi equation associated with a Bolza problem of the Calculus of Variations, assuming that the Lagrangian is autonomous, continuous, superlinear, and satisfies the usual convexity hypothesis. Under the same assumptions we prove also the uniqueness, in a class of lower semicontinuous functions, of a slightly different notion of solution, where classical derivatives are replaced only by subdifferentials. These results follow from a new comparison theorem for lower semicontinuous viscosity supersolutions of the Hamilton-Jacobi equation, that is proved in the general case of lower semicontinuous Lagrangians. △ Less

Submitted 2 June, 2000; originally announced June 2000.

Comments: 14 pages

Report number: SISSA 57/2000/M MSC Class: 49L20; 49L25

Value Functions for Bolza Problems with Discontinuous Lagrangians and Hamilton-Jacobi Inequalities

Authors: G. Dal Maso, H. Frankowska

Abstract: We investigate the value function of the Bolza problem of the Calculus of Variations $$ V (t,x)=\inf \{\int_{0}^{t} L (y(s),y'(s))ds + φ(y(t)) : y \in W^{1,1} (0,t; R^n) ; y(0)=x \}, $$ with a lower semicontinuous Lagrangian $L$ and a final cost $φ$, and show that it is locally Lipschitz for $t>0$ whenever $L$ is locally bounded. It also satisfies Hamilton-Jacobi inequalities in a generalized… ▽ More We investigate the value function of the Bolza problem of the Calculus of Variations $$ V (t,x)=\inf \{\int_{0}^{t} L (y(s),y'(s))ds + φ(y(t)) : y \in W^{1,1} (0,t; R^n) ; y(0)=x \}, $$ with a lower semicontinuous Lagrangian $L$ and a final cost $φ$, and show that it is locally Lipschitz for $t>0$ whenever $L$ is locally bounded. It also satisfies Hamilton-Jacobi inequalities in a generalized sense. When the Lagrangian is continuous, then the value function is the unique lower semicontinuous solution to the corresponding Hamilton-Jacobi equation, while for discontinuous Lagrangian we characterize the value function by using the so called contingent inequalities. △ Less

Submitted 2 June, 2000; originally announced June 2000.

Comments: 33 pages. Control, Optimization and Calculus of Variations, to appear

Report number: SISSA 56/2000/M MSC Class: 49L20; 49L25