Related papers: Computable Jordan Decomposition of Linear Continuo…
In this paper, we define two relations one by orthogonality in vector lattices named as strong relation and the other by bounded linear functionals in normed spaces named as weak relation. It turns out that strong relation is an equivalence…
We prove that if a geodesic metric measure space satisfies a comparison condition for isoperimetric profile and if the observable variance is maximal, then the space is foliated by minimal geodesics, where the observable variance is defined…
It is well known that in the calculus of variations and in optimization there exist many formulations of the fundamental propositions on the attainment of the infima of sequentially weakly lower semicontinuous coercive functions on…
We study Brownian motion on Hermitian symmetric spaces of non-compact type in their bounded-domain realization. Using Jordan triple systems, we identify the spectral values after an appropriate change of variables as a Heckman-Opdam…
We point out that a proper use of the Hoeffding--ANOVA decomposition for symmetric statistics of finite urn sequences, previously introduced by the author, yields a decomposition of the space of square-integrable functionals of a…
This article introduces the notion of arithmetic Bohr radius for operator valued pluriharmonic functions on complete Reinhardt domains in $\mathbb{C}^n$. Using tools from local Banach space theory, we determine its asymptotic behavior in…
For 0<n<d integers and r>2, we prove that an n-dimensional Ahlfors-David regular measure M in R^d is uniformly n-rectifiable if and only if the r-variation for the Riesz transform with respect to M is a bounded operator in L^2(M). This…
A complex harmonic function of finite Dirichlet energy on a Jordan domain has boundary values in a certain conformally invariant sense, by a construction of H. Osborn. We call the set of such boundary values the Douglas-Osborn space. One…
In computable topology, a represented space is called computably discrete if its equality predicate is semidecidable. While any such space is classically isomorphic to an initial segment of the natural numbers, the computable-isomorphism…
In [22], it was proved that as long as the integrand has certain properties, the corresponding It\^o integral can be written as a (parameterized) Lebesgue integral (or a Bochner integral). In this paper, we show that such a question can be…
We give a version of the Riesz-Haviland theorem for truncated moments problems, characterizing the existence of the representing measures that are absolutely continuous with respect to the Lebesgue measure. The existence of such…
We give improved bounds for our theorem in [GW09], which shows that a system of linear forms on $\mathbb{F}_p^n$ with squares that are linearly independent has the expected number of solutions in any linearly uniform subset of…
We show that on separable Banach spaces admitting a separating polynomial, any uniformly continuous, bounded, real-valued function can be uniformly approximated by Lipschitz, analytic maps on bounded sets.
Represented spaces form the general setting for the study of computability derived from Turing machines. As such, they are the basic entities for endeavors such as computable analysis or computable measure theory. The theory of represented…
Every computable function has to be continuous. To develop computability theory of discontinuous functions, we study low levels of the arithmetical hierarchy of nonuniformly computable functions on Baire space. First, we classify…
Let ${T_1,...,T_l}$ be a collection of differential operators with constant coefficients on the torus $\mathbb{T}^n$. Consider the Banach space $X$ of functions $f$ on the torus for which all functions $T_j f$, $j=1,...,l$, are continuous.…
We study differentiability properties of functions defined in the euclidean space in terms of a conical square function which is analogue to the classical square function introduced by Stein and Zygmund in the sixties. Pointwise…
As a consequence of the Schwartz kernel Theorem, any linear continuous operator $\widehat{A}:$ $\mathcal{S}(\mathbb{R}^{n})\longrightarrow\mathcal{S}^{\prime}(\mathbb{R}^{n})$ can be written in Weyl form in a unique way, namely it is the…
The linear isometries between weighted Banach spaces of continuous functions are considered. Some of well known theorems on isometries between spaces of continuous functions are proved and stated, but all they are in an appropriate form. In…
We study the computational expressivity of proof systems with fixed point operators, within the 'proofs-as-programs' paradigm. We start with a calculus muLJ (due to Clairambault) that extends intuitionistic logic by least and greatest…