Related papers: Computable classifications of continuous, transduc…

For a bounded domain equipped with a piecewise Lipschitz continuous Riemannian metric g, we consider harmonic map from $(\Omega, g)$ to a compact Riemannian manifold $(N,h)\subset\mathbb R^k$ without boundary. We generalize the notion of…

Let $X$ be a Banach space and let $(\xi_j)_{j\ge 1}$ be an i.i.d. sequence of symmetric random variables with finite moments of all orders. We prove that the following assertions are equivalent: (1). There exists a constant $K$ such that $$…

The class of Basic Feasible Functionals BFF is the second-order counterpart of the class of first-order functions computable in polynomial time. We present several implicit characterizations of BFF based on a typed programming language of…

We introduce and characterize, on the Banach lattice valued continuous function space, multiplication operators generating strongly continuous multiplication operator semigroups. Our characterization is the generalization of known results…

The piecewise-concave function may be used to approximate a wide range of other functions to arbitrary precision over a bounded set. In this short paper, this property is proven for three function classes: (a) the multivariate twice…

We study functions on topometric spaces which are both (metrically) Lipschitz and (topologically) continuous, using them in contexts where, in classical topology, ordinary continuous functions are used. We study the relations of such…

In this paper, some existence results for sign-changing critical points of locally Lipschitz functionals in real Banach space are obtained by the method combining the invariant sets of descending ow method with a quantitative deformation.…

In 1994, M. M. Popov [On integrability in F-spaces, Studia Math. no 3, 205-220] showed that the fundamental theorem of calculus fails, in general, for functions mapping from a compact interval of the real line into the lp-spaces for 0<p<1,…

We prove that for continuous Lorentz-Finsler spaces timelike completeness implies inextendibility. Furthermore, we prove that under suitable locally Lipschitz conditions on the Finsler fundamental function the continuous causal curves that…

We adapt the classical theory of local well-posedness of evolution problems to cases in which the nonlinearity can be accurately quantified by two different norms. For ordinary differential equations, we consider $\dot{x} = f(x,x)$ for a…

The convergence theory for the gradient sampling algorithm is extended to directionally Lipschitz functions. Although directionally Lipschitz functions are not necessarily locally Lipschitz, they are almost everywhere differentiable and…

In these notes, we present a general result concerning the Lipschitz regularity of a certain type of set-valued maps often found in constrained optimization and control problems. The class of multifunctions examined in this paper is…

By the sometimes so-called 'Main Theorem' of Recursive Analysis, every computable real function is necessarily continuous. We wonder whether and which kinds of HYPERcomputation allow for the effective evaluation of also discontinuous…

We prove that every vertically nearly separately continuous function defined on a product of a strong PP-space and a topological space and with values in a strongly $\sigma$-metrizable space with a special stratification, is a pointwise…

We show that capacity can be computed with locally Lipschitz functions in locally complete and separable metric spaces. Further, we show that if $(X,d,\mu)$ is a locally complete and separable metric measure space, then continuous functions…

We prove that a (globally) subanalytic p-adic function which is locally Lipschitz continuous with some constant C is piecewise (globally on each piece) Lipschitz continuous with possibly some other constant, where the pieces can be taken…

We prove that any correspondence (multi-function) mapping a metric space into a Banach space that satisfies a certain pointwise Lipschitz condition, always has a continuous selection that is pointwise Lipschitz on a dense set of its domain.…

Within Bishop-style constructive mathematics we study the classical McShane-Whitney theorem on the extendability of real-valued Lipschitz functions defined on a subset of a metric space. Using a formulation similar to the formulation of…

Let the metric space $\mathbb R^n \setminus \sim$ be the metric space of $n$-sized unordered tuples of real numbers. In the following, it will be shown that if a function $\varphi: \mathbb R^m \to \mathbb R^n \setminus \sim$ is continuous,…

Let E_n={x_i=1, x_i+x_j=x_k, x_i*x_j=x_k: i,j,k \in {1,...,n}}. We prove: (1) there is an algorithm that for every computable function f:N-->N returns a positive integer m(f), for which a second algorithm accepts on the input f and any…