Related papers: On one class of functions with complicated local s…
It is well known that a Lipschitz function on the real line does not have to be operator Lipschitz. We show that the situation changes dramatically if we pass to H\"older classes. Namely, we prove that if $f$ belongs to the H\"older class…
We extend Schwarz' list of irreducible algebraic Gauss functions to the four classes of Appell-Lauricella functions in several variables and the 14 complete Horn functions in two variables. This gives an example of a family of functions…
The essential variables in a finite function $f$ are defined as variables which occur in $f$ and weigh with the values of that function. The number of essential variables is an important measure of complexity for discrete functions. When…
We prove that a function in several variables is in the local Zygmund class $\mathcal Z^{m,1}$ if and only if its composite with every smooth curve is of class $\mathcal Z^{m,1}$. This complements the well-known analogous result for local…
The article examines isotropic Nikolskii and Besov spaces with norms defined using $L_p$-averaged modulus of continuity of functions of appropriate order, instead of modulus of continuity of known order for fixed-order partial derivative…
In this paper we study the asymptotic behaviour via Gamma-convergence of some integral functionals which model some multi-dimensional structures and depend explicitly on the linearized strain tensor. The functionals are defined in…
The present article is devoted to functions from a certain subclass of non-differentiable functions. The arguments and values of considered functions represented by the s-adic representation or the nega-s-adic representation of real…
Let \ $\lambda \in \mathbb{Q}^{*+}$ \ and consider a multivalued formal function of the type $$ \phi(s) : = \sum_{j=0}^k \ c_j(s).s^{\lambda + m_j}.(Log\, s)^j $$ where \ $c_j \in \C[[s]], m_j \in \mathbb{N}$ \ for \ $j \in [0,k-1]$. The…
Let $\ell_1,\ell_2,\dots$ be a countable collection of lines in ${\mathbb R}^d$. For any $t \in [0,1]$ we construct a compact set $\Gamma\subset{\mathbb R}^d$ with Hausdorff dimension $d-1+t$ which projects injectively into each $\ell_i$,…
We investigate a class of nominal algebraic Henkin-style models for the simply typed lambda-calculus in which variables map to names in the denotation and lambda-abstraction maps to a (non-functional) name-abstraction operation. The…
Neural networks systematically fail at compositional generalization -- producing correct outputs for novel combinations of known parts. We show that this failure is architectural: compositional generalization is equivalent to functoriality…
In this article we study Cantor sets defined by monotone sequences, in the sense of Besicovitch and Taylor. We classify these Cantor sets in terms of their h-Hausdorff and h-Packing measures, for the family of dimension functions h, and…
On a compact connected group $G$, consider the infinitesimal generator $-L$ of a central symmetric Gaussian convolution semigroup $(\mu_t)_{t>0}$. We establish several regularity results of the solution to the Poisson equation $LU=F$, both…
We apply upper and lower compensated convex transforms, which are `tight' one-sided approximations of a given function, to the extraction of fine geometric singularities from semiconvex/semiconcave functions and DC-functions in…
A theory of matrix-valued functions from the matricial Smirnov class ${\goth N}_n^+({\Bbb D})$ is systematically developed. In particular, the maximum principle of V.I.Smirnov, inner-outer factorization, the Smirnov-Beurling…
This text gives a rough, but linear summary covering some key definitions, notations, and propositions from Lambda Calculus: Its Syntax and Semantics, the classical monograph by Barendregt. First, we define a theory of untyped extensional…
We investigate several possibilities of obtaining a {\L}ojasiewicz inequality for definable multifunctions and give some examples of applications thereof. In particular, we prove that the Hausdorff distance and its extension to closed sets…
In this article, we study the properties of a class of functional spaces which arise from the investigation of nonlinear differential equations. We establish some integral inequalities then by applying these inequalities, we prove some…
This paper presents a noncommutative theory of symmetric functions, based on the notion of quasi-determinant. We begin with a formal theory, corresponding to the case of symmetric functions in an infinite number of independent variables.…
We study transcendental singularities of a Schr\"oder map arising from a rational function $f$, using results from complex dynamics and Nevanlinna theory. These maps are transcendental meromorphic functions of finite order in the complex…