Related papers: Short note on Smithson's paper concerning Arzel\`a…

This paper collects results and open problems concerning several classes of functions that generalize uniform continuity in various ways, including those metric spaces (generalizing Atsuji spaces) where all continuous functions have the…

We first prove a version of Tietze-Urysohn's theorem for proper functions taking values in non-negative real numbers defined on $\sigma$-compact locally compact Hausdorff spaces. As its application, we prove an extension theorem of proper…

We establish a simple and powerful lemma that provides a criterion for sequences in metric spaces to be Cauchy. Using the lemma, it is then easily verified that the Picard iterates $\{T^nx\}$, where $T$ is a contraction or asymptotic…

First, we define some concepts similar to the local compactoidity or the c-compactness, and study relationships between these concepts and the original ones. As a result, we find a characterization of the local compactoidity when its…

A fundamental result by L. Solomon in algebraic combinatorics and representation theory states that Mackey formulas for products of characters of a symmetric group, or equivalently the computation of tensor products of representations…

This article is a generalization of a result in Quillen's note ``Module theory over non-unital rings'' giving a one-to-one correspondence between bilocalization of abelian categories of modules and idempotent ideals of the base ring.…

A new uniform asymptotic expansion for the incomplete gamma function $\Gamma(a,z)$ valid for large values of $z$ was given by the author in {\it J. Comput. Appl. Math.} {\bf 148} (2002) 323--339. This expansion contains a complementary…

The goal of this paper is to show a (derived) $p$-adic Simpson correspondence for (locally) unipotent coefficients on smooth rigid-analytic varieties. Our results depend on a deformation to $\mathbf{B}_\mathtt{dr}^+/\xi^2$, and not on a…

A lemma of Micchelli's, concerning radial polynomials and weighted sums of point evaluations, is shown to hold for arbitrary linear functionals, as is Schaback's more recent extension of this lemma and Schaback's result concerning…

We introduce a new formulation of the so-called topological recursion, that is defined globally on a compact Riemann surface. We prove that it is equivalent to the generalized recursion for spectral curves with arbitrary ramification. Using…

Let Phi : M --> g^* be a proper moment map associated to an action of a compact connected Lie group, G, on a connected symplectic manifold, (M,\omega). A collective function is a pullback via \Phi of a smooth function on g^*. In this paper…

Taylor expansions of analytic functions are considered with respect to several points, allowing confluence of any of them. Cauchy-type formulas are given for coefficients and remainders in the expansions, and the regions of convergence are…

We prove a fixed point theorem for closed-graphed, decomposable-valued correspondences whose domain and range is a decomposable set of functions from an atomless measure space to a topological space. One consequence is an improvement of the…

We propose a functional integral representation for Archimedean L-factors given by products of Gamma-functions. The corresponding functional integral arises in the description of type A equivariant topological linear sigma model on a disk.…

In a number of papers, Y. Sternfeld investigated the problems of representation of continuous and bounded functions by linear superpositions. In particular, he proved that if such representation holds for continuous functions, then it holds…

A result of Chernoff gives sufficient condition for an $L^2$-function on $\R^n$ to be quasi-analytic. This is a generalization of the classical Denjoy-Carleman theorem on $\R$ and of the subsequent work on $\R^n$ by Bochner and Taylor. In…

Building on the first two authors' previous results, we prove a general criterion for convergence of (possibly singular) Bergman measures towards equilibrium measures on complex manifolds. The criterion may be formulated in terms of growth…

For a complete Riemannian manifold $M$ with an (1,1)-elliptic Codazzi self-adjoint tensor field $A$ on it, we use the divergence type operator ${L_A}(u): = div(A\nabla u)$ and an extension of the Ricci tensor to extend some major comparison…

Some fixed point results are given for a class of functional contractions over partial metric spaces. These extend some contributions in the area due to Ilic et al [Math. Comput. Modelling, 55 (2012), 801-809].

We investigate partial functions and computability theory from within a constructive, univalent type theory. The focus is on placing computability into a larger mathematical context, rather than on a complete development of computability…