Related papers: Differentiability of the Minkowski question mark f…
An axiomatics for indistinguishability of elementary particles in terms of hidden variables is presented in a manner which depart from the standard approaches usually given to hidden variables. Quantum distribution functions are also…
We formalise the undecidability of solvability of Diophantine equations, i.e. polynomial equations over natural numbers, in Coq's constructive type theory. To do so, we give the first full mechanisation of the…
We estabilish some connections among the Makar-Limanov invariant, the Derksen invariant, and the existence of flexible points on an affine variety.
The Minkowski function is a crucial tool used in the study of balanced domains and, more generally, quasi-balanced domains in several complex variables. If a quasi-balanced domain is bounded and pseudoconvex then it is well-known that its…
A result is proved concerning meromorphic functions of finite order in the plane such that all but finitely many zeros of the second derivative are zeros of the first derivative.
The central purpose of this article is to establish new inverse and implicit function theorems for differentiable maps with isolated critical points. One of the key ingredients is a discovery of the fact that differentiable maps with…
We develop a theory of separable ring extensions and separable functors for nonunital rings in the setting of firm modules. We prove nonunital analogues of classical results on functorial separability and semisimplicity, and apply these…
In this paper we study differentiability properties of the map $T\mapsto\phi(T)$, where $\phi$ is a given function in the disk-algebra and $T$ ranges over the set of contractions on Hilbert space. We obtain sharp conditions (in terms of…
In this work, approximations for real two variables function $f$ which has continuous partial $(n-1)$-derivatives $(n \ge 1)$ and has the $n$--th partial derivative of bounded bivariation or absolutely continuous are established. Explicit…
A mixed type dual to a nondifferentiable variational problem involving higher order derivative is formulated and duality results are proved under generalized invexity conditions. Special cases are generated from our results.
We provide a necessary and sufficient condition for the solvability of a rank one differential (resp. $q$-difference) equation over the Amice's ring. We also extend to that ring a Birkoff decomposition result, originally due to Motzkin.
Some new characterizations of nonnegative Hamiltonian operator matrices are given. Several necessary and sufficient conditions for an unbounded nonnegative Hamiltonian operators to be invertible are obtained; so that the main results in the…
We find best constants in several dilation invariant integral inequalities involving derivatives of functions. Some of these inequalities are new and some were known without best constants. The contents: 1. Estimate for a quadratic form of…
We present an extension theorem for a separately holomorphic function which is polynomial/rational in some variables.
Our paper is devoted to several problems from the field of modified divisors: namely exponential and infinitary divisors. We study the behaviour of modified divisors, sum-of-divisors and totient functions. Main results concern with the…
In the first part of this paper we establish, in terms of so called k-tangential sets, a kind of optimal estimate for the size and structure of the set of non-differentiability of Lipshitz functions with one-sided directional derivatives.…
We apply the topology of convergence on compact sets to define unpredictable functions [5, 6]. The topology is metrizable and easy for applications with integral operators. To demonstrate the effectiveness of the approach, the existence and…
In this thesis, we will look at some known and some previously uninvestigated notions of effective undecidability. We try to discover how far we can stretch effective undecidability in the hope to get a more tractable solution to Post's…
We characterize a class of Markovian dynamics using the concept of divisible dynamical map. Moreover we provide a family of criteria which can distinguish Markovian and non-Markovian dynamics. These Markovianity criteria are based on a…
In this paper we shall study the inverse problem relative to dynamics of the w function which is a special arithmetic function and shall get some results.