arXiv subjects

Abderrahim Jourani

Publications and source records attributed to Abderrahim Jourani.

6 recordsLinked to original sources

arXiv2026

A Filippov theorem for Volterra sweeping processes with one-sided Lipschitz perturbation

We prove a Filippov-type stability theorem for integro-differential sweeping processes of Volterra type with an outer multivalued perturbation, in a separable Hilbert space, under the assumptions that the moving sets are uniformly prox-regular and Lipschitz continuous with respect to the Hausdorff distance and that the perturbation is one-sided Lipschitz. Given an absolutely continuous solution of the system perturbed both in the state argument of the multivalued term and by an outer integrable term, we show the existence of a solution of the original Volterra sweeping process and estimate the distance between the two trajectories explicitly in terms of the data of the problem. The estimate becomes sharper when only the outer perturbation is present, and it recovers the Lipschitz dependence on the initial condition of Filippov's classical theorem. The proof combines a reduction of the constrained dynamics to an unconstrained differential inclusion, measurable selection arguments, and an enhanced version of Grönwall's inequality established in this work. As an application, we obtain the Lipschitz dependence of the attainable set on the initial set with respect to the Hausdorff distance, together with a one-sided estimate quantifying the effect of the perturbations. We also work out a spatially distributed fishery model with ecological memory whose harvesting rule, triggered by the aggregate biomass, is one-sided Lipschitz but is not Lipschitz continuous with respect to the Hausdorff distance, so that the classical framework does not apply. For this model, our estimates produce a stability constant governed only by the biological data.

math.OC↗

arXiv2026

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↗

arXiv2021

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↗

arXiv2021

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↗

arXiv2018

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↗

arXiv2017

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↗