Related papers: Astral Space: Convex Analysis at Infinity

We consider the problem of constructing a weakly-continuous mapping extending continuous mapping defined on a dense set of a topological space to the entire space. Theorem on necessary and sufficient conditions for the existence of such an…

This work investigates the properties of the proximity operator for quasar-convex functions and establishes the convergence of the proximal point algorithm to a global minimizer with a particular focus on its convergence rate. In…

We present a self-contained analysis of infinity from two mathematical perspectives: set theory and algebra. We begin with cardinal and ordinal numbers, examining deep questions such as the continuum hypothesis, along with foundational…

L$^\natural$ (natural)-convex functions encompass a large class of nonlinear functions over general integer domains and arise in a wide range of real-world applications. We explore the minimization of L$^\natural$-convex functions, of…

We propose that the effective dimensionality of the space we live in depends on the length scale we are probing. As the length scale increases, new dimensions open up. At short scales the space is lower dimensional; at the intermediate…

We propose a general method for optimization with semi-infinite constraints that involve a linear combination of functions, focusing on the case of the exponential function. Each function is lower and upper bounded on sub-intervals by…

In this paper, we discuss the basic properties of Alexandroff spaces. Several examples of Alexandroff spaces are given. We show how to construct new Alexandroff spaces from given ones. Finally, two invariants for compact Alexandroff spaces…

In this paper, we present a more complete version of the minimax theorem established in [7]. As a consequence, we get, for instance, the following result: Let $X$ be a compact, not singleton subset of a normed space $(E,\|\cdot\|)$ and let…

Convex sets appear in various mathematical theories, and are used to define notions such as convex functions and hulls. As an abstraction from the usual definition of convex sets in vector spaces, we formalize in Coq an intrinsic…

Given a monotone convex function on the space of essentially bounded random variables with the Lebesgue property (order continuity), we consider its extension preserving the Lebesgue property to as big solid vector space of random variables…

This paper provides a set of sensitivity analysis and activity identification results for a class of convex functions with a strong geometric structure, that we coined "mirror-stratifiable". These functions are such that there is a…

Suppose that $f$ belongs to a suitably defined complete metric space $ {{\cal C}}^{{\alpha}}$ of H\"older $ {\alpha}$-functions defined on $[0,1]$. We are interested in whether one can find large (in the sense of Hausdorff, or lower/upper…

In this paper we survey many results on the Dirichlet space of analytic functions. Our focus is more on the classical Dirichlet space on the disc and not the potential generalizations to other domains or several variables. Additionally, we…

It is known that, in finite dimensions, the support function of a compact convex set with non empty interior is differentiable excepting the origin if and only if the set is strictly convex. In this paper we realize a thorough study of the…

We investigate a relations of almost isometric embedding and almost isometry between metric spaces and prove that with respect to these relations: (1) There is a countable universal metric space. (2) There may exist fewer than continuum…

We describe all metric spaces that have sufficently many affine functions. As an application we obtain a metric characterization of linear-convex subsets of Banach spaces.

In this paper we consider the minimization of a novel class of fractional linear growth functionals involving the Riesz fractional gradient. These functionals lack the coercivity properties in the fractional Sobolev spaces needed to apply…

The proximal point algorithm, which is a well-known tool for finding minima of convex functions, is generalized from the classical Hilbert space framework into a nonlinear setting, namely, geodesic metric spaces of nonpositive curvature. We…

There exists a d-minimal expansion of the $\mathbb R$-vector space over $\mathbb R$ which defines every sequence. In this paper, we prove this assertion and the following more general assertion: Let $\mathcal R$ be either the ordered…

In 1984, Clunie and Sheil-Small proved that a sense-preserving harmonic function whose analytic part is convex, is univalent and close-to-convex. In this paper, certain cases are discussed under which the conclusion of this result can be…