ON SOME OPEN PROBLEMS IN BANACH SPACE THEORY [PDF]
The main line of investigation of the present work is the study of some aspects in the analysis of the structure of the unit ball of (infinite-dimensional) Banach spaces.
T. Russo
core +1 more source
Lessons for Interactive Theorem Proving Researchers from a Survey of Coq Users
The Coq Community Survey 2022 was an online public survey of users of the Coq proof assistant conducted during February 2022. Broadly, the survey asked about use of Coq features, user interfaces, libraries, plugins, and tools, views on renaming Coq and
Ana de Almeida Borges+8 more
semanticscholar +1 more source
Entropic Gromov-Wasserstein Distances: Stability, Algorithms, and Distributional Limits
The Gromov-Wasserstein (GW) distance quantifies discrepancy between metric measure spaces, but suffers from computational hardness. The entropic Gromov-Wasserstein (EGW) distance serves as a computationally efficient proxy for the GW distance.
Goldfeld, Ziv+2 more
core
Uniqueness, non-degeneracy, and exact multiplicity of positive solutions for superlinear elliptic problems [PDF]
In this paper, we focus our attention on the positive solutions to second-order nonlinear ordinary differential equations of the form $u''+q(t)g(u)=0$, where $q$ is a sign-changing weight and $g$ is a superlinear function.
Feltrin, Guglielmo+1 more
core +2 more sources
$\rho$-arbitrage and $\rho$-consistent pricing for star-shaped risk measures
This paper revisits mean-risk portfolio selection in a one-period financial market, where risk is quantified by a star-shaped risk measure $\rho$. We make three contributions.
Herdegen, Martin, Khan, Nazem
core
Continuous Operators from Spaces of Lipschitz Functions. [PDF]
Bargetz C, Kąkol J, Sobota D.
europepmc +1 more source
Existence and multiplicity results for double phase problems with variable exponents [PDF]
The double phase operator is a differential operator that finds applications in several fields, among the others elasticity theory, biophysics, quantum physics, chemical reactions.
AMOROSO, Eleonora
core
On the Krasnoselskii-type fixed point theorems for the sum of continuous and asymptotically nonexpansive mappings in Banach spaces [PDF]
Areerat Arunchai, Somyot Plubtieng
core +1 more source
Fixed-point theorems for the sum of two operators under ω-condensing [PDF]
Fuli Wang
core +1 more source
Essential norms of pointwise multipliers in the non-algebraic setting
Motivated by some recent results, but also referring to recognized classics, we compute the essential norm and the weak essential norm of multiplication operators acting between two distinct K{\" o}the spaces both defined over the same $\sigma$-finite ...
Kiwerski, Tomasz, Tomaszewski, Jakub
core