Related papers: Meissel's theorem in additive arithmetical semigro…
We unify in a large class of additive functions the results obtained in the first part of this work. The proof rests on series involving the Riemann zeta function and certain sums of primes which may have their own interest.
We derive a-priori error estimates for the finite-element approximation of a distributed optimal control problem governed by the steady one-dimensional Burgers equation with pointwise box constraints on the control. Here the approximation…
The aim of this article is to establish basic results in a conditional measure theory. The results are applied to prove that arbitrary kernels and conditional distributions are represented by measures in a conditional set theory. In…
We present a proof of Moessner's theorem by double induction, using only basic rules of arithmetic. No prerequisite knowledge is assumed. Familiarity with summation is advised.
We formulate an analogue of the Breuil-M\'ezard conjecture for the group of units of a central division algebra over a $p$-adic local field, and we prove that it follows from the conjecture for $\mathrm{GL}_n$. To do so we construct a…
This paper revisits the solution of the word problem for $\omega$-terms interpreted over finite aperiodic semigroups, obtained by J. McCammond. The original proof of correctness of McCammond's algorithm, based on normal forms for such…
In this paper we extend some set theoretic concepts of numerical semigroups for arbitrary sub-semigroups of natural numbers. Then we characterized gapsets which leads to a more efficient computational approach towards numerical semigroups…
A general study of symmetries in optimal control theory is given, starting from the presymplectic description of this kind of system. Then, Noether's theorem, as well as the corresponding reduction procedure (based on the application of the…
The paper offers versions of Hilbert's Irreducibility Theorem for the lifting of points in a cyclic subgroup of an algebraic group to a ramified cover. A version of Bertini Theorem in this context is also obtained.
We study frequent hypercyclicity in the context of strongly continuous semigroups of operators. More precisely, we give a criterion (sufficient condition) for a semigroup to be frequently hypercyclic, whose formulation depends on the Pettis…
This survey describes the method of approximation of operator semigroups, based on the Chernoff theorem. We outline recent results in this domain as well as clarify relations between constructed approximations, stochastic processes,…
Using Schmidt's Subspace Theorem, this paper improves and extends an existing transcendence result for sequences of algebraic numbers. The theorems thus produced correspond to a central theorem on the irrationality of sequences due to…
We prove new results on additive properties of finite sets $A$ with small multiplicative doubling $|AA|\leq M|A|$ in the category of real/complex sets as well as multiplicative subgroups in the prime residue field. The improvements are…
We prove an analogue of Beurling's theorem on the H-type groups of certain dimensions after establishing the Gutzmer's formula for the H-type groups. We also obtain some other versions of the theorem using the modified Radon transform.
In this work we prove analogues of Bessel inequality and Riesz-Fisher theorem in Hilbert spaces with respect to sequences. We apply our generalized Bessel inequality to the Hilbert spaces associated with the Normal, Beta, Gamma and certain…
In this paper, we introduce and discuss the concept of a mutual control problem. Our analysis relies on a vector fixed-point approach based on the fixed-point theorems of Perov, Schauder, Leray-Schauder, and Avramescu. Additionally, for a…
In this paper we present a new algorithm to calculate the set of Arf numerical semigroups with given conductor. Moreover, we extend the previous problem to the class of good semigroups, presenting procedures to compute the set of the Arf…
The semilinear beam equation with impulses, memory and delay is considered. We obtain the approximate controllability. This is done by employing a technique that avoids fixed point theorems and pulling back the control solution to a fixed…
We prove a determinantal formula for quantities related to the problem of enumeration of (semi-) meanders, namely the topologically inequivalent planar configurations of non-self-intersecting loops crossing a given (half-) line through a…
We introduce locally involutive semigroups and embed them into the category of ordered groupoids. This embedding restricts to a correspondence between quasi-involutive semigroups and ordered groupoids with mediator, extending the classical…