SearcharxivSearch

arXiv subjects

Abderrahim Jourani

Publications and source records attributed to Abderrahim Jourani.

5 recordsLinked to original sources

Volterra Sweeping Processes with Multivalued Perturbations under Compactness Conditions

We study integro-differential sweeping processes of Volterra type in a separable Hilbert space, in which the velocity is governed by the normal cone to a prox-regular moving set and is driven by an outer set-valued perturbation together with a history-dependent integral term that endows the dynamics with memory. The perturbation is assumed measurable, with closed convex values, of linear growth, and upper semicontinuous from the strong to the weak topology. We study the existence of absolutely continuous solutions under either of two alternative compactness hypotheses: ball-compactness of the moving sets, or a measure-of-noncompactness condition on the perturbation. After a reduction of the constrained dynamics to an unconstrained differential inclusion and uniform a priori bounds on the state and its velocity, existence follows from a fixed-point theorem for set-valued maps with contractible values. The memory of the process makes this contractibility delicate, and we obtain it through a continuation argument that propagates the history of the dynamics. As applications, we solve a quasistatic frictionless viscoelastic contact problem with long memory and a spatially distributed bioeconomic fishery model with ecological memory, both featuring uncertain set-valued forcing and a moving constraint set that is not ball-compact.

math.OC

Controlled polyhedral sweeping processes: existence, stability, and optimality conditions

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.

math.OC

Geometric characterizations of the strict Hadamard differentiability of sets

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$.

math.FA

Metric regularity under Gâteaux differentiability with applications to optimization and stochastic optimal control problems

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.

math.OC

Maximal Solutions of Sparse Analysis Regularization

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.

math.OC