Showing 1–29 of 29 results for author: Bachir, M

Kantorovich duality for optimal transport on completely regular Hausdorff spaces

Authors: Mohammed Bachir

Abstract: We introduce a new intermediate optimization problem situated between Kantorovich's primal and dual formulations. This new problem extends Kantorovich's duality to separable Baire measures, which are strictly more general than tight (or Radon) measures in completely regular Hausdorff spaces. In the special case where the measures are Radon, our intermediate problem aligns with the classical Kantor… ▽ More We introduce a new intermediate optimization problem situated between Kantorovich's primal and dual formulations. This new problem extends Kantorovich's duality to separable Baire measures, which are strictly more general than tight (or Radon) measures in completely regular Hausdorff spaces. In the special case where the measures are Radon, our intermediate problem aligns with the classical Kantorovich's primal problem. Existence of solutions for all three formulations are also provided within this comprehensive framework. △ Less

Submitted 22 March, 2025; v1 submitted 5 March, 2025; originally announced March 2025.

MSC Class: 49Q22; 46N10; 49N15; 90C46; 28C05

Alternative theorem for sequences of functions and applications to optimisation

Authors: Mohammed Bachir, Rongzhen Lyu

Abstract: We present a new alternative theorems for sequences of functions. As applications, we extend recent results in the literature related to first-order necessary conditions for optimality problems. Our contributions involve extending well-known results, previously established for a finite number of inequality constraints to a countable number of inequality constraints. This extension is achieved usin… ▽ More We present a new alternative theorems for sequences of functions. As applications, we extend recent results in the literature related to first-order necessary conditions for optimality problems. Our contributions involve extending well-known results, previously established for a finite number of inequality constraints to a countable number of inequality constraints. This extension is achieved using the Dini differentiability concept which is more general than Fréchet or Gâteaux differentiability. We will illustrate our results by giving examples of optimisation problems with a finite or countable number of inequality constraints where the functions are not Gateaux-differentiable but only upper Dini-differentiable. △ Less

Submitted 7 December, 2024; originally announced December 2024.

Some new minimax theorems for generalized convexity

Authors: Mohammed Bachir

Abstract: The aim of this article is to establish new two-functions minimax inequalities extending classical results such as Simons' minimax theorem. Our results will be proved in a non-compact setting. We also prove, under general conditions, that the one-function minimax equality is in fact equivalent to the well known Simons inequality. Some applications will be given. The aim of this article is to establish new two-functions minimax inequalities extending classical results such as Simons' minimax theorem. Our results will be proved in a non-compact setting. We also prove, under general conditions, that the one-function minimax equality is in fact equivalent to the well known Simons inequality. Some applications will be given. △ Less

Submitted 15 November, 2024; v1 submitted 23 June, 2024; originally announced June 2024.

Multiplier rules for Dini-derivatives in a topological vector space

Authors: Mohammed Bachir, Rongzhen Lyu

Abstract: We provide new results of first-order necessary conditions of optimality problem in the form of John's theorem and in the form of Karush-Kuhn-Tucker's theorem. We establish our result in a topological vector space for problems with inequality constraints and in a Banach space for problems with equality and inequality constraints. Our contributions consist in the extension of the results known for… ▽ More We provide new results of first-order necessary conditions of optimality problem in the form of John's theorem and in the form of Karush-Kuhn-Tucker's theorem. We establish our result in a topological vector space for problems with inequality constraints and in a Banach space for problems with equality and inequality constraints. Our contributions consist in the extension of the results known for the Fréchet and Gateaux-differentiable functions as well as for the Clarke's subdifferential of Lipschitz functions, to the more general Dini-differentiable functions. As consequences, we extend the result of B.H. Pourciau in \cite[Theorem 6, p. 445]{Po} from the convexity to the {\it "Dini-pseudoconvexity"}. △ Less

Submitted 11 May, 2023; originally announced May 2023.

MSC Class: Primary 90C30; 49K99; Secondary 90C48

Lagrange Multipliers in locally convex spaces

Authors: Mohammed Bachir, Joel Blot

Abstract: We give a general Lagrange multiplier rule for mathematical programming problems in a Hausdorff locally convex space. We consider infinitely many inequality and equality constraints. Our results gives in particular a generalisation of the result of J. Jahn in \cite{Ja}, replacing Fréchet-differentiability assumptions on the functions by the Gateaux-differentiability. Moreover, the closed convex co… ▽ More We give a general Lagrange multiplier rule for mathematical programming problems in a Hausdorff locally convex space. We consider infinitely many inequality and equality constraints. Our results gives in particular a generalisation of the result of J. Jahn in \cite{Ja}, replacing Fréchet-differentiability assumptions on the functions by the Gateaux-differentiability. Moreover, the closed convex cone with a nonempty interior in the constraints is replaced by a strictly general class of closed subsets introduced in the paper and called {\it ``admissible sets"}. Examples illustrating our results are given. △ Less

Submitted 19 February, 2024; v1 submitted 11 May, 2023; originally announced May 2023.

MSC Class: Primary 46N10; 49J50; Secondary 46G05

A strong Bishop-Phelps property and a new class of Banach spaces with the property $(A)$ of Lindenstrauss

Authors: Mohammed Bachir

Abstract: We give a class of bounded closed sets $C$ in a Banach space satisfying a generalized and stronger form of the Bishop-Phelps property studied by Bourgain in \cite{Bj} for dentable sets. A version of the {\it ``Bishop-Phelps-Bollobás"} theorem will be also given. The density and the residuality of bounded linear operators attaining their maximum on $C$ (known in the literature) will be replaced, fo… ▽ More We give a class of bounded closed sets $C$ in a Banach space satisfying a generalized and stronger form of the Bishop-Phelps property studied by Bourgain in \cite{Bj} for dentable sets. A version of the {\it ``Bishop-Phelps-Bollobás"} theorem will be also given. The density and the residuality of bounded linear operators attaining their maximum on $C$ (known in the literature) will be replaced, for this class of sets, by being the complement of a $σ$-porous set. The result of the paper is applicable for both linear operators and non-linear mappings. When we apply our result to subsets (from this class) whose closed convex hull is the closed unit ball, we obtain a new class of Banach spaces involving property $(A)$ introduced by Lindenstrauss. We also establish that this class of Banach spaces is stable under $\ell_1$-sum when the spaces have a same ``modulus". Applications to norm attaining bounded multilinear mappings and Lipschitz mappings will also be given. △ Less

Submitted 12 January, 2024; v1 submitted 25 April, 2023; originally announced April 2023.

Vector-valued numerical radius and $σ$-porosity

Authors: Mohammed Bachir

Abstract: It is well known that under certain conditions on a Banach space $X$, the set of bounded linear operators attaining their numerical radius is a dense subset. We prove in this paper that if $X$ is assumed to be uniformly convex and uniformly smooth then the set of bounded linear operators attaining their numerical radius is not only a dense subset but also the complement of a $σ$-porous subset. In… ▽ More It is well known that under certain conditions on a Banach space $X$, the set of bounded linear operators attaining their numerical radius is a dense subset. We prove in this paper that if $X$ is assumed to be uniformly convex and uniformly smooth then the set of bounded linear operators attaining their numerical radius is not only a dense subset but also the complement of a $σ$-porous subset. In fact, we generalize the notion of numerical radius to a large class $\mathcal{Z}$ of vector-valued operators defined from $X\times X^*$ into a Banach space $W$ and we prove that the set of all elements of $\mathcal{Z}$ strongly (up to a symmetry) attaining their {\it numerical radius} is the complement of a $σ$-porous subset of $\mathcal{Z}$ and moreover the {\it "numerical radius"} {\it Bishop-Phelps-Bollobás property} is also satisfied for this class. Our results extend (up to the assumption on $X$) some known results in several directions: $(1)$ the density is replaced by being the complement of a $σ$-porous subset, $(2)$ the operators attaining their {\it numerical radius} are replaced by operators strongly (up to a symmetry) attaining their {\it numerical radius} and $(3)$ the results are obtained in the vector-valued framework for general linear and non-linear vector-valued operators (including bilinear mappings and the classical space of bounded linear operators). △ Less

Submitted 25 February, 2023; v1 submitted 18 December, 2022; originally announced December 2022.

MSC Class: (Primary) 47A12 (Secondary) 46A32; 46E40

Nonlinear differential equations in abstract Banach subspace of $BC(\R)$

Authors: Mohammed Bachir, Haifa Ben Fredj

Abstract: We prove results of existence of a solution (resp. existence and uniqness of a solution) for nonlinear differential equations of type $x'(t) +G(x,t) x(t) = F(x,t),$ in an abstract Banach subspace $X$ of the space of bounded real-valued continuous functions, satisfying some general and natural property. In our work, the functions $F$ and $G$ jointly depend on the variables $(x,t)\in X\times \R$. Se… ▽ More We prove results of existence of a solution (resp. existence and uniqness of a solution) for nonlinear differential equations of type $x'(t) +G(x,t) x(t) = F(x,t),$ in an abstract Banach subspace $X$ of the space of bounded real-valued continuous functions, satisfying some general and natural property. In our work, the functions $F$ and $G$ jointly depend on the variables $(x,t)\in X\times \R$. Several examples will be given, in various function spaces, to illustrate our results. The vector-valued framework is also considered. △ Less

Submitted 14 November, 2021; originally announced November 2021.

MSC Class: 34G20; 34D23; 47H10

Non-linear operators and differentiability of Lipschitz functions

Authors: Mohammed Bachir, Sebastián Tapia-García

Abstract: In this work we provide a characterization of distinct type of (linear and non-linear) maps between Banach spaces in terms of the differentiability of certain class of Lipschitz functions. Our results are stated in an abstract bornological and non-linear framework. Restricted to the linear case, we can apply our results to compact, weakly-compact, limited and completely continuous linear operators… ▽ More In this work we provide a characterization of distinct type of (linear and non-linear) maps between Banach spaces in terms of the differentiability of certain class of Lipschitz functions. Our results are stated in an abstract bornological and non-linear framework. Restricted to the linear case, we can apply our results to compact, weakly-compact, limited and completely continuous linear operators. Moreover, our results yield a characterization of Gelfand-Phillips spaces and recover some known result of Schur spaces and reflexive spaces concerning the differentiability of real-valued Lipschitz functions. △ Less

Submitted 30 September, 2021; originally announced October 2021.

Norm attaining operators and variational principle

Authors: Mohammed Bachir

Abstract: We establish a linear variational principle extending the Deville-Godefroy-Zizler's one. We use this variational principle to prove that if $X$ is a Banach space having property $(α)$ of Schachermayer and $Y$ is any banach space, then the set of all norm strongly attaining linear operators from $X$ into $Y$ is a complement of a $σ$-porous set. Moreover, the results of the paper applies also to an… ▽ More We establish a linear variational principle extending the Deville-Godefroy-Zizler's one. We use this variational principle to prove that if $X$ is a Banach space having property $(α)$ of Schachermayer and $Y$ is any banach space, then the set of all norm strongly attaining linear operators from $X$ into $Y$ is a complement of a $σ$-porous set. Moreover, the results of the paper applies also to an abstract class of (linear and nonlinear) operator spaces. △ Less

Submitted 12 May, 2021; originally announced May 2021.

MSC Class: 46B20; 47L05; 47B48; 28A05

Asymmetric normed Baire space

Authors: Mohammed Bachir

Abstract: We prove that an asymmetric normed space is never a Baire space if the topology induced by the asymmetric norm is not equivalent to the topology of a norm. More precisely, we show that a biBanach asymmetric normed space is a Baire space if and only if it is isomorphic to its associated normed space. We prove that an asymmetric normed space is never a Baire space if the topology induced by the asymmetric norm is not equivalent to the topology of a norm. More precisely, we show that a biBanach asymmetric normed space is a Baire space if and only if it is isomorphic to its associated normed space. △ Less

Submitted 1 June, 2021; v1 submitted 11 May, 2021; originally announced May 2021.

Porosity in the space of H{ö}lder-functions

Authors: Mohammed Bachir

Abstract: Let (X, d) be a bounded metric space with a base point 0 X , (Y, $\bullet$) be a Banach space and Lip $α$ 0 (X, Y) be the space of all $α$-H{ö}lderfunctions that vanish at 0 X , equipped with its natural norm (0 < $α$ $\le$ 1). Let 0 < $α$ < $β$ $\le$ 1. We prove that Lip $β$ 0 (X, Y) is a $σ$-porous subset of Lip $α$ 0 (X, Y), if (and only if) inf{d(x, x ') : x, x ' $\in$ X; x = x ' } = 0 (i.e. d… ▽ More Let (X, d) be a bounded metric space with a base point 0 X , (Y, $\bullet$) be a Banach space and Lip $α$ 0 (X, Y) be the space of all $α$-H{ö}lderfunctions that vanish at 0 X , equipped with its natural norm (0 < $α$ $\le$ 1). Let 0 < $α$ < $β$ $\le$ 1. We prove that Lip $β$ 0 (X, Y) is a $σ$-porous subset of Lip $α$ 0 (X, Y), if (and only if) inf{d(x, x ') : x, x ' $\in$ X; x = x ' } = 0 (i.e. d is non-uniformly discrete). A more general result will be given. △ Less

Submitted 1 June, 2021; v1 submitted 11 May, 2021; originally announced May 2021.

Extending the Choquet theory: Trace convexity

Authors: Mohammed Bachir, Aris Daniilidis

Abstract: We introduce the notion of trace convexity for functions and respectively, for subsets of a compact topological space. This notion generalizes both classical convexity of vector spaces, as well as Choquet convexity for compact metric spaces. We provide new notions of trace-convexification for sets and functions as well as a general version of Krein-Milman theorem. We show that the class of upper s… ▽ More We introduce the notion of trace convexity for functions and respectively, for subsets of a compact topological space. This notion generalizes both classical convexity of vector spaces, as well as Choquet convexity for compact metric spaces. We provide new notions of trace-convexification for sets and functions as well as a general version of Krein-Milman theorem. We show that the class of upper semicontinuous convex-trace functions attaining their maximum at exactly one Choquet-boundary point is residual and we obtain several enhanced versions of the maximum principle which generalize both the classical Bauer's theorem as well as its abstract version in the Choquet theory. We illustrate our notions and results with concrete examples of three different types. △ Less

Submitted 6 April, 2020; originally announced April 2020.

Index of symmetry and topological classification of asymmetric normed spaces

Authors: M Bachir, G. Flores

Abstract: Let X, Y be asymmetric normed spaces and Lc(X, Y) the convex cone of all linear continuous operators from X to Y. It is known that in general, Lc(X, Y) is not a vector space. The aim of this note is to prove, using the Baire category theorem, that if Lc(X, Y) is a vector space for some asymmetric normed space Y , then X is isomorphic to its associated normed space (the converse is true for every a… ▽ More Let X, Y be asymmetric normed spaces and Lc(X, Y) the convex cone of all linear continuous operators from X to Y. It is known that in general, Lc(X, Y) is not a vector space. The aim of this note is to prove, using the Baire category theorem, that if Lc(X, Y) is a vector space for some asymmetric normed space Y , then X is isomorphic to its associated normed space (the converse is true for every asymmetric normed space Y and is easy to establish). For this, we introduce an index of symmetry of the space X denoted c(X) $\in$ [0, 1] and we give the link between the index c(X) and the fact that Lc(X, Y) is in turn an asymmetric normed space for every asymmetric normed space Y. Our study leads to a topological classification of asymmetric normed spaces. △ Less

Submitted 10 June, 2020; v1 submitted 24 February, 2020; originally announced February 2020.

Compact and Limited Operators

Authors: Mohammed Bachir, Gonzalo Flores, Sebastián Tapia-García

Abstract: Let $T:Y\to X$ be a bounded linear operator between two normed spaces. We characterize compactness of $T$ in terms of differentiability of the Lipschitz functions defined on $X$ with values in another normed space $Z$. Furthermore, using a similar technique we can also characterize finite rank operators in terms of differentiability of a wider class of functions but still with Lipschitz flavour. A… ▽ More Let $T:Y\to X$ be a bounded linear operator between two normed spaces. We characterize compactness of $T$ in terms of differentiability of the Lipschitz functions defined on $X$ with values in another normed space $Z$. Furthermore, using a similar technique we can also characterize finite rank operators in terms of differentiability of a wider class of functions but still with Lipschitz flavour. As an application we obtain a Banach-Stone-like theorem. On the other hand, we give an extension of a result of Bourgain and Diestel related to limited operators and cosingularity. △ Less

Submitted 16 October, 2019; originally announced October 2019.

Metrization of probabilistic metric spaces. Applications to fixed point theory and Arzela-Ascoli type theorem

Authors: Nazaret Bruno, Mohammed Bachir, Bruno Nazaret

Abstract: Schweizer, Sklar and Thorp proved in 1960 that a Menger space $(G,D,T)$ under a continuous $t$-norm $T$, induce a natural topology $τ$ wich is metrizable. We extend this result to any probabilistic metric space $(G,D,\star)$ provided that the triangle function $\star$ is continuous. We prove in this case, that the topological space $(G,τ)$ is uniformly homeomorphic to a (deterministic) metric… ▽ More Schweizer, Sklar and Thorp proved in 1960 that a Menger space $(G,D,T)$ under a continuous $t$-norm $T$, induce a natural topology $τ$ wich is metrizable. We extend this result to any probabilistic metric space $(G,D,\star)$ provided that the triangle function $\star$ is continuous. We prove in this case, that the topological space $(G,τ)$ is uniformly homeomorphic to a (deterministic) metric space $(G,σ_D)$ for some canonical metric $σ_D$ on $G$. As applications, we extend the fixed point theorem of Hicks to probabilistic metric spaces which are not necessarily Menger spaces and we prove a probabilistic Arzela-Ascoli type theorem. △ Less

Submitted 10 July, 2019; originally announced July 2019.

Comments: arXiv admin note: text overlap with arXiv:1904.12514

Probabilistic Arzela-Ascoli theorem

Authors: Mohammed Bachir, Nazaret Bruno

Abstract: We prove that, in the space of all probabilistic continuous functions from a probabilistic metric space G to the set $Δ$ + of all cumulative distribution functions vanishing at 0, the space of all 1-Lipschitz functions is compact if and only if the space G is compact. This gives a probabilistic Arzela-Ascoli type Theorem. We prove that, in the space of all probabilistic continuous functions from a probabilistic metric space G to the set $Δ$ + of all cumulative distribution functions vanishing at 0, the space of all 1-Lipschitz functions is compact if and only if the space G is compact. This gives a probabilistic Arzela-Ascoli type Theorem. △ Less

Submitted 29 April, 2019; originally announced April 2019.

Comments: arXiv admin note: text overlap with arXiv:1801.00581

Extension Of The Bauer's Maximum Principle For Compact Metrizable Sets

Authors: Mohammed Bachir

Abstract: Let X be a nonempty convex compact subset of some Haus-dorff locally convex topological vector space S. The well know Bauer's maximum principle stats that every convex upper semi-continuous function from X into R attains its maximum at some extremal point of X. We give some extensions of this result when X is assumed to be compact metrizable. We prove that the set of all convex upper semi-continuo… ▽ More Let X be a nonempty convex compact subset of some Haus-dorff locally convex topological vector space S. The well know Bauer's maximum principle stats that every convex upper semi-continuous function from X into R attains its maximum at some extremal point of X. We give some extensions of this result when X is assumed to be compact metrizable. We prove that the set of all convex upper semi-continuous functions attaining there maximum at exactly one extremal point of X is a G $δ$ dense subset of the space of all convex upper semi-continuous functions equipped with a metric compatible with the uniform convergence . △ Less

Submitted 18 December, 2018; originally announced December 2018.

GÂteaux-Differentiability of Convex Functions in Infinite Dimension

Authors: Mohammed Bachir, Adrien Fabre

Abstract: It is well known that in $R^n$ , G{â}teaux (hence Fr{é}chet) differ-entiability of a convex continuous function at some point is equivalent to the existence of the partial derivatives at this point. We prove that this result extends naturally to certain infinite dimensional vector spaces, in particular to Banach spaces having a Schauder basis. It is well known that in $R^n$ , G{â}teaux (hence Fr{é}chet) differ-entiability of a convex continuous function at some point is equivalent to the existence of the partial derivatives at this point. We prove that this result extends naturally to certain infinite dimensional vector spaces, in particular to Banach spaces having a Schauder basis. △ Less

Submitted 21 February, 2018; originally announced February 2018.

The space of probabilistic 1-lipschitz maps

Authors: Mohammed Bachir

Abstract: We introduce and study a natural notion of probabilistic 1-Lipschitz maps. We prove that the space of all probabilistic 1-Lipschitz maps defined on a probabilistic metric space G is also a probabilistic metric space. Moreover, when G is a group, then the space of all prob-abilistic 1-Lipschitz maps defined on G can be endowed with a monoid structure. Then, we caracterize the probabilistic invarian… ▽ More We introduce and study a natural notion of probabilistic 1-Lipschitz maps. We prove that the space of all probabilistic 1-Lipschitz maps defined on a probabilistic metric space G is also a probabilistic metric space. Moreover, when G is a group, then the space of all prob-abilistic 1-Lipschitz maps defined on G can be endowed with a monoid structure. Then, we caracterize the probabilistic invariant complete Menger groups by the space of all probabilistic 1-Lipschitz maps in the sprit of the classical Banach-Stone theorem. △ Less

Submitted 17 January, 2018; v1 submitted 2 January, 2018; originally announced January 2018.

Une réflexion à partir de la Nature de Spinoza : "La substance ou la Nature comme Treillis"

Authors: Mohammed Bachir, Mohammed Bachir En Hommage À Baruch

Abstract: We propose a simple mathematical model based on two axioms and the set theory to approach the problem developed by the philosopher B. Spinoza in "the Ethics". We then use the Knaster-Tarski Theorem to prove the existence and uniqueness of the Substance asserted by Spinoza. We propose a simple mathematical model based on two axioms and the set theory to approach the problem developed by the philosopher B. Spinoza in "the Ethics". We then use the Knaster-Tarski Theorem to prove the existence and uniqueness of the Substance asserted by Spinoza. △ Less

Submitted 12 March, 2018; v1 submitted 10 July, 2017; originally announced July 2017.

Comments: in French

A convex extension of lower semicontinuous functions defined on normal Hausdorff space

Authors: Mohammed Bachir

Abstract: We prove that, any problem of minimization of proper lower semicontinuous function defined on a normal Hausdorff space, is canonically equivalent to a problem of minimization of a proper weak * lower semicontinuous convex function defined on a weak * convex compact subset of some dual Banach space. We estalish the existence of an bijective operator between the two classes of functions which preser… ▽ More We prove that, any problem of minimization of proper lower semicontinuous function defined on a normal Hausdorff space, is canonically equivalent to a problem of minimization of a proper weak * lower semicontinuous convex function defined on a weak * convex compact subset of some dual Banach space. We estalish the existence of an bijective operator between the two classes of functions which preserves the problems of minimization. △ Less

Submitted 23 May, 2017; originally announced May 2017.

Discrete time pontryagin principles in banach spaces

Authors: Mohammed Bachir, Joël Blot

Abstract: The aim of this paper is to establish Pontryagin's principles in a dicrete-time infinite-horizon setting when the state variables and the control variables belong to infinite dimensional Banach spaces. In comparison with previous results on this question, we delete conditions of finiteness of codi-mension of subspaces. To realize this aim, the main idea is the introduction of new recursive assumpt… ▽ More The aim of this paper is to establish Pontryagin's principles in a dicrete-time infinite-horizon setting when the state variables and the control variables belong to infinite dimensional Banach spaces. In comparison with previous results on this question, we delete conditions of finiteness of codi-mension of subspaces. To realize this aim, the main idea is the introduction of new recursive assumptions and useful consequences of the Baire category theorem and of the Banach isomorphism theorem. △ Less

Submitted 18 May, 2017; originally announced May 2017.

On representations of isometric isomorphisms between some monoid of functions

Authors: Mohammed Bachir

Abstract: We prove that each isometric isomorphism, between the monoids of all nonegative 1-Lipschitz maps defined on invariant metric groups and equiped with the inf-convolution law, is given canonically from an isometric isomorphism between their groups of units. We prove that each isometric isomorphism, between the monoids of all nonegative 1-Lipschitz maps defined on invariant metric groups and equiped with the inf-convolution law, is given canonically from an isometric isomorphism between their groups of units. △ Less

Submitted 10 October, 2016; originally announced October 2016.

Infinite Dimensional Multipliers and Pontryagin Principles for Discrete-Time Problems

Authors: Mohammed Bachir, Joel Blot

Abstract: The aim of this paper is to provide improvments to Pontryagin principles in infinite-horizon discrete-time framework when the space of states and of space of controls are infinite-dimensional. We use the method of reduction to finite horizon and several functional-analytic lemmas to realize our aim. The aim of this paper is to provide improvments to Pontryagin principles in infinite-horizon discrete-time framework when the space of states and of space of controls are infinite-dimensional. We use the method of reduction to finite horizon and several functional-analytic lemmas to realize our aim. △ Less

Submitted 29 June, 2016; originally announced June 2016.

On the Krein-Milman-Ky Fan theorem for convex compact metrizable sets

Authors: Mohammed Bachir

Abstract: The Krein-Milman theorem (1940) states that every convex compact subset of a Hausdorfflocally convex topological space, is the closed convex hull of its extreme points. In 1963, Ky Fan extended the Krein-Milman theorem to the general framework of $Φ$-convexity. Under general conditions on the class of functions $Φ$, the Krein-Milman-Ky Fan theorem asserts then, that every compact $Φ$-convex subset… ▽ More The Krein-Milman theorem (1940) states that every convex compact subset of a Hausdorfflocally convex topological space, is the closed convex hull of its extreme points. In 1963, Ky Fan extended the Krein-Milman theorem to the general framework of $Φ$-convexity. Under general conditions on the class of functions $Φ$, the Krein-Milman-Ky Fan theorem asserts then, that every compact $Φ$-convex subset of a Hausdorff space, is the $Φ$-convex hull of its $Φ$-extremal points. We prove in this paper that, in the metrizable case the situation is rather better. Indeed, we can replace the set of $Φ$-extremal points by the smaller subset of $Φ$-exposed points. We establish under general conditions on the class of functions $Φ$, that every $Φ$-convex compact metrizable subset of a Hausdorff space, is the $Φ$-convex hull of its $Φ$-exposed points. As a consequence we obtain that each convex weak compact metrizable (resp. convex weak$^*$ compact metrizable) subset of a Banach space (resp. of a dual Banach space), is the closed convex hull of its exposed points (resp. the weak$^*$ closed convex hull of its weak$^*$ exposed points). This result fails in general for compact $Φ$-convex subsets that are not metrizable. △ Less

Submitted 10 July, 2016; v1 submitted 28 April, 2016; originally announced April 2016.

Limited operators and differentiability

Authors: Mohammed Bachir

Abstract: We characterize the limited operators by differentiability of convex continuous functions. Given Banach spaces $Y$ and $X$ and a linear continuous operator $T: Y \longrightarrow X$, we prove that $T$ is a limited operator if and only if, for every convex continuous function $f: X \longrightarrow \R$ and every point $y\in Y$, $f\circ T$ is Fréchet differentiable at $y\in Y$ whenever $f$ is Gâteau… ▽ More We characterize the limited operators by differentiability of convex continuous functions. Given Banach spaces $Y$ and $X$ and a linear continuous operator $T: Y \longrightarrow X$, we prove that $T$ is a limited operator if and only if, for every convex continuous function $f: X \longrightarrow \R$ and every point $y\in Y$, $f\circ T$ is Fréchet differentiable at $y\in Y$ whenever $f$ is Gâteaux differentiable at $T(y)\in X$. △ Less

Submitted 12 February, 2016; originally announced February 2016.

A usufel lemma for Lagrange multiplier rules in infinite dimension

Authors: Mohammed Bachir, Joël Blot

Abstract: We give some reasonable and usable conditions on a sequence of norm one in a dual banach space under which the sequence does not converges to the origin in the $w^*$-topology. These requirements help to ensure that the Lagrange multipliers are nontrivial, when we are interested for example on the infinite dimensional infinite-horizon Pontryagin Principles for discrete-time problems. We give some reasonable and usable conditions on a sequence of norm one in a dual banach space under which the sequence does not converges to the origin in the $w^*$-topology. These requirements help to ensure that the Lagrange multipliers are nontrivial, when we are interested for example on the infinite dimensional infinite-horizon Pontryagin Principles for discrete-time problems. △ Less

Submitted 7 July, 2015; originally announced July 2015.

Any law of group metric invariant is an inf-convolution

Authors: Mohammed Bachir

Abstract: In this article, we bring a new light on the concept of the inf-convolution operation $\oplus$ and provides additional informations to the work started in \cite{Ba1} and \cite{Ba2}. It is shown that any internal law of group metric invariant (even quasigroup) can be considered as an inf-convolution. Consequently, the operation of the inf-convolution of functions on a group metric invariant is in r… ▽ More In this article, we bring a new light on the concept of the inf-convolution operation $\oplus$ and provides additional informations to the work started in \cite{Ba1} and \cite{Ba2}. It is shown that any internal law of group metric invariant (even quasigroup) can be considered as an inf-convolution. Consequently, the operation of the inf-convolution of functions on a group metric invariant is in reality an extension of the internal law of $X$ to spaces of functions on $X$. We give an example of monoid $(S(X),\oplus)$ for the inf-convolution structure, (which is dense in the set of all $1$-Lipschitz bounded from bellow functions) for which, the map $\arg\min : (S(X),\oplus) \rightarrow (X,.)$ is a (single valued) monoid morphism. It is also proved that, given a group complete metric invariant $(X,d)$, the complete metric space $(\mathcal{K}(X),d_{\infty})$ of all Katetov maps from $X$ to $\R$ equiped with the inf-convolution has a natural monoid structure which provides the following fact: the group of all isometric automorphisms $Aut_{Iso}(\mathcal{K}(X))$ of the monoid $\mathcal{K}(X)$, is isomorphic to the group of all isometric automorphisms $Aut_{Iso}(X)$ of the group $X$. On the other hand, we prove that the subset $\mathcal{K}_C(X)$ of $\mathcal{K}(X)$ of convex functions on a Banach space $X$, can be endowed with a convex cone structure in which $X$ embeds isometrically as Banach space. △ Less

Submitted 2 July, 2015; originally announced July 2015.