Related papers: Differentiability Properties of Log-Analytic Funct…
Let $k$ be a finite field, and $L$ be a $q$-linearized polynomial defined over $k$ of $q$-degree $r$ ($L=\sum^r_{i=0}a_iZ^{q^i}$, with $a_i\in k$). This paper provides an algorithm to compute a characteristic polynomial of $L$ over a large…
Well-founded fixed points have been used in several areas of knowledge representation and reasoning and to give semantics to logic programs involving negation. They are an important ingredient of approximation fixed point theory. We study…
We present new algorithms to compute fundamental properties of a Boolean function given in truth-table form. Specifically, we give an O(N^2.322 log N) algorithm for block sensitivity, an O(N^1.585 log N) algorithm for `tree decomposition,'…
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…
It is a classical result in complex analysis that the class of functions that arise as the Cauchy transform of probability measures may be characterized entirely in terms of their analytic and asymptotic properties. Such transforms are a…
A remarkable theorem of Joris states that a function $f$ is $C^\infty$ if two relatively prime powers of $f$ are $C^\infty$. Recently, Thilliez showed that an analogous theorem holds in Denjoy--Carleman classes of Roumieu type. We prove…
We prove a nonlocal, nonlinear commutator estimate concerning the transfer of derivatives onto testfunctions. For the fractional $p$-Laplace operator it implies that solutions to certain degenerate nonlocal equations are higher…
This paper considers various integrals where the integrand includes the log gamma function (or its derivative, the digamma function) multiplied by a trigonometric or hyperbolic function. Some apparently new integrals and series are…
We prove the finiteness of log pluricanonical representations for projective log canonical pairs with semi-ample log canonical divisor. As a corollary, we obtain that the log canonical divisor of a projective semi log canonical pair is…
We investigate superdifferentiability of functions defined on regions of the real octonion (Cayley) algebra and obtain a noncommutative version of the Cauchy-Riemann conditions. Then we study the noncommutative analog of the Cauchy integral…
In this paper, some sufficient conditions for the differentiability of the $n$-variable real-valued function are obtained, which are given based on the differentiability of the $n-1$-variable real-valued function and are weaker than…
In this paper we present another proof of the analytic version of the Hahn-Banach theorem in terms of convex functionals.
The paper is a contribution both to the theoretical foundations and to the actual construction of efficient automatizable proof procedures for non-classical logics. We focus here on the case of finite-valued logics, and exhibit: (i) a…
We state some inequalities for m-divisible and infinite divisible characteristic functions. Basing on them we propose a statistical test for a distribution to be infinitely divisible. Keywords: infinite divisible distributions; statistical…
Let $U$ be a bounded open subset of the complex plane and let $A_{\alpha}(U)$ denote the set of functions analytic on $U$ that also belong to the little Lipschitz class with Lipschitz exponent $\alpha$. It is shown that if $A_{\alpha}(U)$…
We consider classes $ \mathcal{A}_M(S) $ of functions holomorphic in an open plane sector $ S $ and belonging to a strongly non-quasianalytic class on the closure of $ S $. In $ \mathcal{A}_M(S) $, we construct functions which are flat at…
Some integral properties of Jack polynomials, hypergeometric functions and invariant polynomials are studied for real normed division algebras.
The SOM algorithm is very astonishing. On the one hand, it is very simple to write down and to simulate, its practical properties are clear and easy to observe. But, on the other hand, its theoretical properties still remain without proof…
In this note it is shown that two key results on transcendental singularities for meromorphic functions of finite lower order have refinements which hold under the weaker hypothesis that the logarithmic derivative has finite lower order.
In this paper we show that the equivalences between certain properties of closed subanalytic sets proved by E. Bierstone and P. Milman in \cite{[BM-1]} hold for closed sets definable in quasianalytic o-minimal structures. In particular we…