-
Convex regularization and subdifferential calculus
Authors:
Rafael Correa,
Abderrahim Hantoute,
Marco A. López
Abstract:
This paper deals with the regularization of the sum of functions defined on a locally convex spaces through their closed-convex hulls in the bidual space. Different conditions guaranteeing that the closed-convex hull of the sum is the sum of the corresponding closed-convex hulls are provided. These conditions are expressed in terms of some epsilon-subdifferential calculus rules for the sum. The ca…
▽ More
This paper deals with the regularization of the sum of functions defined on a locally convex spaces through their closed-convex hulls in the bidual space. Different conditions guaranteeing that the closed-convex hull of the sum is the sum of the corresponding closed-convex hulls are provided. These conditions are expressed in terms of some epsilon-subdifferential calculus rules for the sum. The case of convex functions is also studied, and exact calculus rules are given under additional continuity/qualifications conditions. As an illustration, a variant of the proof of the classical Rockafellar theorem on convex integration is proposed.
△ Less
Submitted 9 October, 2024; v1 submitted 2 October, 2024;
originally announced October 2024.
-
Optimality conditions and subdifferential calculus for infinite sums of functions
Authors:
Abderrahim Hantoute,
Alexander Y. Kruger,
Marco A. Lopez
Abstract:
In the paper, we extend the widely used in optimization theory decoupling techniques to infinite collections of functions. Extended concepts of uniform lower semicontinuity and firm uniform lower semicontinuity as well as the new concepts of weak uniform lower semicontinuity and robust infimum are discussed. We study the uniform and robust minimum, and provide conditions under which these minimali…
▽ More
In the paper, we extend the widely used in optimization theory decoupling techniques to infinite collections of functions. Extended concepts of uniform lower semicontinuity and firm uniform lower semicontinuity as well as the new concepts of weak uniform lower semicontinuity and robust infimum are discussed. We study the uniform and robust minimum, and provide conditions under which these minimality concepts reduce to the conventional one. The main theorem gives fuzzy subdifferential necessary conditions (multiplier rules) for a quasiuniform local minimum of the sum of an infinite collection of functions without the traditional Lipschitz continuity assumptions. We consider a general infinite convex optimization problem, and develop a methodology for closing the duality gap and guaranteeing strong duality. In this setting, application of the fuzzy multiplier and sum rules for infinite sums produces general optimality conditions/multiplier rules.
△ Less
Submitted 31 August, 2024;
originally announced September 2024.
-
A non-convex relaxed version of minimax theorems
Authors:
M. I. A. Ghitri,
A. Hantoute
Abstract:
Given a subset $A\times B$ of a locally convex space $X\times Y$ (with $A$ compact) and a function $f:A\times B\rightarrow\overline{\mathbb{R}}$ such that $f(\cdot,y),$ $y\in B,$ are concave and upper semicontinuous, the minimax inequality $\max_{x\in A} \inf_{y\in B} f(x,y) \geq \inf_{y\in B} \sup_{x\in A_{0}} f(x,y)$ is shown to hold provided that $A_{0}$ be the set of $x\in A$ such that…
▽ More
Given a subset $A\times B$ of a locally convex space $X\times Y$ (with $A$ compact) and a function $f:A\times B\rightarrow\overline{\mathbb{R}}$ such that $f(\cdot,y),$ $y\in B,$ are concave and upper semicontinuous, the minimax inequality $\max_{x\in A} \inf_{y\in B} f(x,y) \geq \inf_{y\in B} \sup_{x\in A_{0}} f(x,y)$ is shown to hold provided that $A_{0}$ be the set of $x\in A$ such that $f(x,\cdot)$ is proper, convex and lower semi-contiuous. Moreover, if in addition $A\times B\subset f^{-1}(\mathbb{R})$, then we can take as $A_{0}$ the set of $x\in A$ such that $f(x,\cdot)$ is convex. The relation to Moreau's biconjugate representation theorem is discussed, and some applications to\ convex duality are provided.
Key words. Minimax theorem, Moreau theorem, conjugate function, convex optimization.
△ Less
Submitted 17 August, 2023;
originally announced August 2023.
-
Alternative representations of the normal cone to the domain of supremum functions and subdifferential calculus
Authors:
R. Correa,
A. Hantoute,
M. A. López
Abstract:
The first part of the paper provides new characterizations of the normal cone to the effective domain of the supremum of an arbitrary family of convex functions. These results are applied in the second part to give new formulas for the subdifferential of the supremum function, which use both the active and nonactive functions at the reference point. Only the data functions are involved in these ch…
▽ More
The first part of the paper provides new characterizations of the normal cone to the effective domain of the supremum of an arbitrary family of convex functions. These results are applied in the second part to give new formulas for the subdifferential of the supremum function, which use both the active and nonactive functions at the reference point. Only the data functions are involved in these characterizations, the active ones from one side, together with the nonactive functions multiplied by some appropriate parameters. In contrast with previous works in the literature, the main feature of our subdifferential characterization is that the normal cone to the effective domain of the supremum (or to finite-dimensional sections of this domain) does not appear. A new type of optimality conditions for convex optimization is established at the end of the paper.
△ Less
Submitted 9 December, 2020;
originally announced December 2020.
-
Subdifferential of the supremum function: Moving back and forth between continuous and non-continuous settings
Authors:
Rafael Correa,
Abderrahim Hantoute,
Marco Antonio L��pez
Abstract:
In this paper we develop general formulas for the subdifferential of the pointwise supremum of convex functions, which cover and unify both the compact continuous and the non-compact non-continuous settings. From the non-continuous to the continuous setting, we proceed by a compactification-based approach which leads us to problems having compact index sets and upper semi-continuously indexed mapp…
▽ More
In this paper we develop general formulas for the subdifferential of the pointwise supremum of convex functions, which cover and unify both the compact continuous and the non-compact non-continuous settings. From the non-continuous to the continuous setting, we proceed by a compactification-based approach which leads us to problems having compact index sets and upper semi-continuously indexed mappings, giving rise to new characterizations of the subdifferential of the supremum by means of upper semicontinuous regularized functions and an enlarged compact index set. In the opposite sense, we rewrite the subdifferential of these new regularized functions by using the original data, also leading us to new results on the subdifferential of the supremum. We give two applications in the last section, the first one concerning the nonconvex Fenchel duality, and the second one establishing Fritz-John and KKT conditions in convex semi-infinite programming.
△ Less
Submitted 2 April, 2020;
originally announced April 2020.
-
Coerciveness condition for quasi-equilibrium problems
Authors:
John Cotrina,
Abderrahim Hantoute,
Anton Svensson
Abstract:
A quasi-equilibrium problem is an equilibrium problem where the constraint set does depend on the reference point. It generalizes important problems such as quasi-variational inequalities and generalized Nash equilibrium problems. We study the existence of equilibria on unbounded sets under a coerciveness condition adapted from one specific for quasi-variational inequalities recently proposed by A…
▽ More
A quasi-equilibrium problem is an equilibrium problem where the constraint set does depend on the reference point. It generalizes important problems such as quasi-variational inequalities and generalized Nash equilibrium problems. We study the existence of equilibria on unbounded sets under a coerciveness condition adapted from one specific for quasi-variational inequalities recently proposed by Aussel and Sultana. We discuss the relation of our results with others that are present in the literature.
△ Less
Submitted 2 June, 2019; v1 submitted 25 January, 2019;
originally announced January 2019.
-
Characterizations of the subdifferential of convex integral functions under qualification conditions
Authors:
Rafael Correa,
Abderrahim Hantoute,
Pedro Pérez-Aros
Abstract:
This work provides formulae for the $ε$-subdifferential of integral functions in the framework of complete $σ$-finite measure spaces and locally convex spaces. In this work we present here new formulae for this $ε$-subdifferential under the presence of continuity-type qualification conditions relying on the data involved in the integrand. the integral function $I_f$ are also presented.
This work provides formulae for the $ε$-subdifferential of integral functions in the framework of complete $σ$-finite measure spaces and locally convex spaces. In this work we present here new formulae for this $ε$-subdifferential under the presence of continuity-type qualification conditions relying on the data involved in the integrand. the integral function $I_f$ are also presented.
△ Less
Submitted 5 September, 2019; v1 submitted 27 April, 2018;
originally announced April 2018.
-
Qualification conditions-free characterizations of the $\varepsilon$-subdifferential of convex integral functions
Authors:
Rafael Correa,
Abderrahim Hantoute,
Pedro Pérez-Aros
Abstract:
We provide formulae for the $\varepsilon$-subdifferential of the integral function $ I_f(x):=\int_T f(t,x) dμ(t), $ where the integrand $f:T\times X \to [-\infty,+\infty]$ is measurable in $(t,x)$ and convex in $x$. The state variable lies in a locally convex space, possibly non-separable, while $T$ is given a structure of a nonnegative complete $σ$-finite measure space $(T,\mathcal{A},μ)$. The re…
▽ More
We provide formulae for the $\varepsilon$-subdifferential of the integral function $ I_f(x):=\int_T f(t,x) d��(t), $ where the integrand $f:T\times X \to [-\infty,+\infty]$ is measurable in $(t,x)$ and convex in $x$. The state variable lies in a locally convex space, possibly non-separable, while $T$ is given a structure of a nonnegative complete $σ$-finite measure space $(T,\mathcal{A},μ)$. The resulting characterizations are given in terms of the $ε$-subdifferential of the data functions involved in the integrand, $f$, without requiring any qualification conditions. We also derive new formulas when some usual continuity-type conditions are in force. These results are new even for the finite sum of convex functions and for the finite-dimensional setting.
△ Less
Submitted 5 September, 2019; v1 submitted 2 April, 2018;
originally announced April 2018.
-
Sequential and exact formulae for the subdifferential of nonconvex integral functionals
Authors:
Rafael Correa,
Abderrahim Hantoute,
Pedro Pérez-Aros
Abstract:
This work concerns the study of the subdifferential of the integral functional
$$
E_f(x)=\int_{T} f(t,x)dμ(t),
$$ where $f$ is a (not necessarily convex) normal integrand, $({T},\mathcal{A},μ)$ is a $σ$-finite measure space, while the decision variables vary in a separable Asplund space.
First, using techniques of variational analysis we establish sequential approximate formulae for the Fr…
▽ More
This work concerns the study of the subdifferential of the integral functional
$$
E_f(x)=\int_{T} f(t,x)dμ(t),
$$ where $f$ is a (not necessarily convex) normal integrand, $({T},\mathcal{A},μ)$ is a $σ$-finite measure space, while the decision variables vary in a separable Asplund space.
First, using techniques of variational analysis we establish sequential approximate formulae for the Fréchet subdifferential of $E_f$. Secondly, we introduce a Lipschitz-like condition, which allows us to give an upper-estimation for the limiting subdifferential of $E_{f}$ even when this functional is non-Lipschitz.
△ Less
Submitted 16 February, 2019; v1 submitted 14 March, 2018;
originally announced March 2018.
-
Lyapunov stability of differential inclusions with Lipschitz Cusco perturbations of maximal monotone operators
Authors:
Samir Adly,
Abderrahim Hantoute,
Bas Tran Nguyen
Abstract:
We give criteria for weak and strong invariant closed sets for differential inclusions given in $\mathbb{R}^{n}$ and governed by Lipschitz Cusco perturbations of maximal monotone operators. Correspondingly, we provide different characterizations for the\ associated strong Lyapunov functions. The resulting conditions only depend on the data of the system.
We give criteria for weak and strong invariant closed sets for differential inclusions given in $\mathbb{R}^{n}$ and governed by Lipschitz Cusco perturbations of maximal monotone operators. Correspondingly, we provide different characterizations for the\ associated strong Lyapunov functions. The resulting conditions only depend on the data of the system.
△ Less
Submitted 19 January, 2018;
originally announced January 2018.
-
A general representation of delta-normal sets to sublevels of convex functions
Authors:
Abderrahim Hantoute,
Anton Svensson
Abstract:
The (delta-) normal cone to an arbitrary intersection of sublevel sets of proper, lower semicontinuous, and convex functions is characterized, using either epsilon-subdifferentials at the nominal point or exact subdifferentials at nearby points. Our tools include (epsilon-) calculus rules for sup/max functions. The framework of this work is that of a locally convex space, however, formulas using e…
▽ More
The (delta-) normal cone to an arbitrary intersection of sublevel sets of proper, lower semicontinuous, and convex functions is characterized, using either epsilon-subdifferentials at the nominal point or exact subdifferentials at nearby points. Our tools include (epsilon-) calculus rules for sup/max functions. The framework of this work is that of a locally convex space, however, formulas using exact subdifferentials require some restriction either on the space (e.g. Banach), or on the function (e.g. epi-pointed).
△ Less
Submitted 27 October, 2017;
originally announced October 2017.
-
Valadier-like formulas for the supremum function I
Authors:
R. Correa,
A. Hantoute,
M. A. López
Abstract:
We generalize and improve the original characterization given by Valadier [18, Theorem 1] of the subdifferential of the pointwise supremum of convex functions, involving the subdifferentials of the data functions at nearby points. We remove the continuity assumption made in that work and obtain a general formula for such a subdiferential. In particular, when the supremum is continuous at some poin…
▽ More
We generalize and improve the original characterization given by Valadier [18, Theorem 1] of the subdifferential of the pointwise supremum of convex functions, involving the subdifferentials of the data functions at nearby points. We remove the continuity assumption made in that work and obtain a general formula for such a subdiferential. In particular, when the supremum is continuous at some point of its domain, but not necessarily at the reference point, we get a simpler version which gives rise to the Valadier formula. Our starting result is the characterization given in [11, Theorem 4], which uses the epsilon-subdifferential at the reference point.
△ Less
Submitted 12 July, 2017;
originally announced July 2017.
-
Valadier-like formulas for the supremum function II: The compactly indexed case
Authors:
R. Correa,
A. Hantoute,
M. A. López
Abstract:
We generalize and improve the original characterization given by Valadier [20, Theorem 1] of the subdifferential of the pointwise supremum of convex functions, involving the subdifferentials of the data functions at nearby points. We remove the continuity assumption made in that work and obtain a general formula for such a subdifferential. In particular, when the supremum is continuous at some poi…
▽ More
We generalize and improve the original characterization given by Valadier [20, Theorem 1] of the subdifferential of the pointwise supremum of convex functions, involving the subdifferentials of the data functions at nearby points. We remove the continuity assumption made in that work and obtain a general formula for such a subdifferential. In particular, when the supremum is continuous at some point of its domain, but not necessarily at the reference point, we get a simpler version which gives rise to Valadier formula. Our starting result is the characterization given in [10, Theorem 4], which uses the epsilon-subdiferential at the reference point.
△ Less
Submitted 12 July, 2017;
originally announced July 2017.
-
Subdifferential characterization of probability functions under Gaussian distribution
Authors:
Abderrahim Hantoute,
René Henrion,
Pedro Pérez-Aros
Abstract:
Probability functions figure prominently in optimization problems of engineering. They may be nonsmooth even if all input data are smooth.This fact motivates the consideration of subdifferentials for such typically just continuous functions. The aim of this paper is to provide subdifferential formulae in the case of Gaussian distributions for possibly infinite-dimensional decision variables and no…
▽ More
Probability functions figure prominently in optimization problems of engineering. They may be nonsmooth even if all input data are smooth.This fact motivates the consideration of subdifferentials for such typically just continuous functions. The aim of this paper is to provide subdifferential formulae in the case of Gaussian distributions for possibly infinite-dimensional decision variables and nonsmooth (locally Lipschitzian) input data. These formulae are based on the spheric-radial decomposition of Gaussian random vectors on the one hand and on a cone of directions of moderate growth on the other. By successively adding additional hypotheses, conditions are satisfied under which the probability function is locally Lipschitzian or even differentiable.
△ Less
Submitted 21 July, 2017; v1 submitted 29 May, 2017;
originally announced May 2017.
-
Equivalence between Differential Inclusions Involving Prox-regular sets and maximal monotone operators
Authors:
Samir Adly,
Abderrahim Hantoute,
Bat Trang Nguyen
Abstract:
In this paper, we study the existence and the stability in the sense of Lyapunov of solutions for\ differential inclusions governed by the normal cone to a prox-regular set and subject to a Lipschitzian perturbation. We prove that such, apparently, more general nonsmooth dynamics can be indeed remodelled into the classical theory of differential inclusions involving maximal monotone operators. Thi…
▽ More
In this paper, we study the existence and the stability in the sense of Lyapunov of solutions for\ differential inclusions governed by the normal cone to a prox-regular set and subject to a Lipschitzian perturbation. We prove that such, apparently, more general nonsmooth dynamics can be indeed remodelled into the classical theory of differential inclusions involving maximal monotone operators. This result is new in the literature and permits us to make use of the rich and abundant achievements in this class of monotone operators to derive the desired existence result and stability analysis, as well as the continuity and differentiability properties of the solutions. This going back and forth between these two models of differential inclusions is made possible thanks to a viability result for maximal monotone operators. As an application, we study a Luenberger-like observer, which is shown to converge exponentially to the actual state when the initial value of the state's estimation remains in a neighborhood of the initial value of the original system.
△ Less
Submitted 22 January, 2018; v1 submitted 17 April, 2017;
originally announced April 2017.
-
Local nonsmooth Lyapunov pairs for first-order evolution differential inclusions
Authors:
Samir Adly,
Abderrahim Hantoute,
Michel Thera
Abstract:
The general theory of Lyapunov's stability of first-order differential inclusions in Hilbert spaces has been studied by the authors in a previous work. This new contribution focuses on the natural case when the maximally monotone operator governing the given inclusion has a domain with nonempty interior. This setting permits to have nonincreasing Lyapunov functions on the whole trajectory of the s…
▽ More
The general theory of Lyapunov's stability of first-order differential inclusions in Hilbert spaces has been studied by the authors in a previous work. This new contribution focuses on the natural case when the maximally monotone operator governing the given inclusion has a domain with nonempty interior. This setting permits to have nonincreasing Lyapunov functions on the whole trajectory of the solution to the given differential inclusion. It also allows some more explicit criteria for Lyapunov's pairs. Some consequences to the viability of closed sets are given, as well as some useful cases relying on the continuity or/and convexity of the involved functions. Our analysis makes use of standard tools from convex and variational analysis.
△ Less
Submitted 16 May, 2013;
originally announced May 2013.
-
Characterization of Lipschitz continuous DC functions
Authors:
A. Hantoute,
J. E. Martínez-Legaz
Abstract:
We give a necessary and sufficient condition for a difference of convex (DC, for short) functions, defined on a locally convex space, to be Lipschitz continuous. Our criterion relies on the intersections of the "epsilon-subdifferentials of the involved functions.
We give a necessary and sufficient condition for a difference of convex (DC, for short) functions, defined on a locally convex space, to be Lipschitz continuous. Our criterion relies on the intersections of the "epsilon-subdifferentials of the involved functions.
△ Less
Submitted 9 January, 2012;
originally announced January 2012.