Related papers: Computable classifications of continuous, transduc…
Motivated by results on generic-case complexity in group theory, we apply the ideas of effective Baire category and effective measure theory to study complexity classes of functions which are "fractionally computable" by a partial…
We study the class of compact convex subsets of a topological vector space which admits a strictly convex and lower semicontinuous function. We prove that such a compact set is embeddable in a strictly convex dual Banach space endowed with…
We study extension theorems for Lipschitz-type operators acting on metric spaces and with values on spaces of integrable functions. Pointwise domination is not a natural feature of such spaces, and so almost everywhere inequalities and…
We propose a unified approach to the study of isometries on algebras of vector-valued Lipschitz maps and those of continuously differentiable maps by means of the notion of admissible quadruples. We describe isometries on function spaces of…
We consider a nonlocal functional equation that is a generalization of the mathematical model used in behavioral sciences. The equation is built upon an operator that introduces a convex combination and a nonlinear mixing of the function…
We study the problem of estimating the average of a Lipschitz continuous function $f$ defined over a metric space, by querying $f$ at only a single point. More specifically, we explore the role of randomness in drawing this sample. Our goal…
We study the solutions of infinite dimensional linear inverse problems over Banach spaces. The regularizer is defined as the total variation of a linear mapping of the function to recover, while the data fitting term is a near arbitrary…
A remarkable theorem of R. C. James is the following: suppose that $X$ is a Banach space and $C \subseteq X$ is a norm bounded, closed and convex set such that every linear functional $x^* \in X^*$ attains its supremum on $C$; then $C$ is a…
We give a characterization of those functions whose all translates are complete in certain Orlicz space $L^{\Phi}(\mathbb{R})$. As a consequence, we identified those discrete sets $\Lambda \subseteq \mathbb{R}$ such that there exists a…
The linear continuity of a function defined on a vector space means that its restriction on every affine line is continuous. For functions defined on $\mathbb R^m$ this notion is near to the separate continuity for which it is required only…
We set up a descriptive set-theoretic framework to study Lipschitz-free spaces and use the reduction argument of Bossard to prove several results. We prove two universality results: if a separable Banach space is isomorphically universal…
In this note, we establish the Lipschitz continuity of finite-dimensional globally convex functions on all given balls and global Lipschitz continuity for eligible functions of that type. The Lipschitz constants in both situations draw…
In this paper we study the existence of continuous solutions and their constructions for a second order iterative functional equation, which involves iterate of the unknown function and a nonlinear term. Imposing Lipschitz conditions to…
The goal of this note is to prove that every real-valued Lipschitz function on a Banach space can be pointwise approximated on a given $\sigma$-compact set by smooth cylindrical functions whose asymptotic Lipschitz constants are controlled.…
Let $X, Y$ be complete metric spaces and $E, F$ be Banach spaces. A bijective linear operator from a space of $E$-valued functions on $X$ to a space of $F$-valued functions on $Y$ is said to be biseparating if $f$ and $g$ are disjoint if…
In the present paper it is shown that real function $g(x)=\int_{0}^{x}f(t)dt$ is a linear-space computable real function on interval $[0,1]$ if $f$ is a linear-space computable $C^2[0,1]$ real function on interval $[0,1]$, and this result…
Let $C({\mathbb R}^n)$ denote the set of real valued continuous functions defined on ${\mathbb R}^n$. We prove that for every $n\ge 2$ there are positive numbers $\lambda _1 , \ldots , \lambda _n$ and continuous functions $\phi_1 ,\ldots ,…
We axiomatize and generalize Markov's approach to the continuity problem for Type 1 computable functions, i.e. the problem of finding sufficient conditions on a computable topological space to obtain a theorem of the form "computable…
On a reflexive Banach space $X$, if an operator $T$ admits a functional calculus for the absolutely continuous functions on its spectrum $\sigma(T) \subseteq \mathbb{R}$, then this functional calculus can always be extended to include all…
We show that sweeping processes with possibly non-convex prox-regular constraints generate a strongly continuous input-output mapping in the space of absolutely continuous functions. Under additional smoothness assumptions on the constraint…