-
Controlled polyhedral sweeping processes: existence, stability, and optimality conditions
Authors:
René Henrion,
Abderrahim Jourani,
Boris S. Mordukhovich
Abstract:
This paper is mainly devoted to the study of controlled sweeping processes with polyhedral moving sets in Hilbert spaces. Based on a detailed analysis of truncated Hausdorff distances between moving polyhedra, we derive new existence and uniqueness theorems for sweeping trajectories corresponding to various classes of control functions acting in moving sets. Then we establish quantitative stabilit…
▽ More
This paper is mainly devoted to the study of controlled sweeping processes with polyhedral moving sets in Hilbert spaces. Based on a detailed analysis of truncated Hausdorff distances between moving polyhedra, we derive new existence and uniqueness theorems for sweeping trajectories corresponding to various classes of control functions acting in moving sets. Then we establish quantitative stability results, which provide efficient estimates on the sweeping trajectory dependence on controls and initial values. Our final topic, accomplished in finite-dimensional state spaces, is deriving new necessary optimality and suboptimality conditions for sweeping control systems with endpoint constrains by using constructive discrete approximations.
△ Less
Submitted 3 December, 2021;
originally announced December 2021.
-
Geometric characterizations of the strict Hadamard differentiability of sets
Authors:
Abderrahim Jourani,
Moustapha Sène
Abstract:
Let $S$ be a closed subset of a Banach space $X$. Assuming that $S$ is epi-Lipschitzian at $\bar{x}$ in the boundary $ \bd S$ of $S$, we show that $S$ is strictly Hadamard differentiable at $\bar{x}$ IFF the Clarke tangent cone $T(S, \bar{x})$ to $S$ at $\bar{x}$ contains a closed hyperplane IFF the Clarke tangent cone $T(\bd S, \bar{x})$ to $\bd S$ at $\bar{x}$ is a closed hyperplane. Moreover wh…
▽ More
Let $S$ be a closed subset of a Banach space $X$. Assuming that $S$ is epi-Lipschitzian at $\bar{x}$ in the boundary $ \bd S$ of $S$, we show that $S$ is strictly Hadamard differentiable at $\bar{x}$ IFF the Clarke tangent cone $T(S, \bar{x})$ to $S$ at $\bar{x}$ contains a closed hyperplane IFF the Clarke tangent cone $T(\bd S, \bar{x})$ to $\bd S$ at $\bar{x}$ is a closed hyperplane. Moreover when $X$ is of finite dimension, $Y$ is a Banach space and $g: X \mapsto Y$ is a locally Lipschitz mapping around $\bar{x}$, we show that $g$ is strictly Hadamard differentiable at $\bar{x}$ IFF $T(\mathrm{graph}\,g, (\bar{x}, g(\bar{x})))$ is isomorphic to $X$ IFF the set-valued mapping $x\rightrightarrows K(\gh g, (x, g(x)))$ is continuous at $\bar{x}$ and $K(\gh g, (\bar{x}, g(\bar{x})))$ is isomorphic to $X$, where $K(A, a)$ denotes the contingent cone to a set $A$ at $a \in A$.
△ Less
Submitted 27 November, 2021;
originally announced November 2021.
-
Metric regularity under Gâteaux differentiability with applications to optimization and stochastic optimal control problems
Authors:
Abderrahim Jourani,
Francisco J. Silva
Abstract:
The main objective of this work is to study the existence of Lagrange multipliers for infinite dimensional problems under Gâteux differentiability assumptions on the data. Our investigation follows two main steps: the proof of the existence of Lagrange multipliers under a calmness assumption on the constraints and the study of sufficient conditions, which only use the Gâteaux derivative of the fun…
▽ More
The main objective of this work is to study the existence of Lagrange multipliers for infinite dimensional problems under Gâteux differentiability assumptions on the data. Our investigation follows two main steps: the proof of the existence of Lagrange multipliers under a calmness assumption on the constraints and the study of sufficient conditions, which only use the Gâteaux derivative of the function defining the constraint, that ensure this assumption.
△ Less
Submitted 27 October, 2018;
originally announced October 2018.
-
Maximal Solutions of Sparse Analysis Regularization
Authors:
Abdessamad Barbara,
Abderrahim Jourani,
Samuel Vaiter
Abstract:
This paper deals with the non-uniqueness of the solutions of an analysis-Lasso regularization. Most of previous works in this area is concerned with the case where the solution set is a singleton, or to derive guarantees to enforce uniqueness. Our main contribution consists in providing a geometrical interpretation of a solution with a maximal D-support, namely the fact that such a solution lives…
▽ More
This paper deals with the non-uniqueness of the solutions of an analysis-Lasso regularization. Most of previous works in this area is concerned with the case where the solution set is a singleton, or to derive guarantees to enforce uniqueness. Our main contribution consists in providing a geometrical interpretation of a solution with a maximal D-support, namely the fact that such a solution lives in the relative interior of the solution set. With this result in hand, we also provide a way to exhibit a maximal solution using a primal-dual interior point algorithm.
△ Less
Submitted 1 March, 2017;
originally announced March 2017.