Related papers: Three term rational function progressions in finit…
We define a novel, extensional, three-valued semantics for higher-order logic programs with negation. The new semantics is based on interpreting the types of the source language as three-valued Fitting-monotonic functions at all levels of…
In this article, $q$-regular sequences in the sense of Allouche and Shallit are analysed asymptotically. It is shown that the summatory function of a regular sequence can asymptotically be decomposed as a finite sum of periodic fluctuations…
Recently, rational functions of degree three that permute the projective line $\Bbb P^1(\Bbb F_q)$ over a finite field $ \Bbb F_q$ were determined by Ferraguti and Micheli. In the present paper, using a different method, we determine all…
Bessel and modified Bessel functions of imaginary order $i\nu$ ($\nu >0$) are studied. Asymptotic expansions are derived as $\nu \to \infty$ that are uniformly valid in unbounded complex domains, with error bounds provided. Coupled with…
We demonstrate $k+1$-term arithmetic progressions in certain subsets of the real line whose "higher-order Fourier dimension" is sufficiently close to 1. This Fourier dimension, introduced in previous work, is a higher-order (in the sense of…
This paper introduces a robust class of functions from finite words to integers that we call Z-polyregular functions. We show that it admits natural characterizations in terms of logics, Z-rational expressions, Z-rational series and…
Let $q$ be a positive integral power of some prime $p$ and $\mathbb{F}_{q^m}$ be a finite field with $q^m$ elements for some $m \in \mathbb{N}$. Here we establish a sufficient condition for the existence of a non-zero element $\epsilon \in…
The numerical evaluation of an individual Bessel or Hankel function of large order and large argument is a notoriously problematic issue in physics. Recurrence relations are inefficient when an individual function of high order and argument…
Asymptotic expansions are derived for associated Legendre functions of degree $\nu$ and order $\mu$, where one or the other of the parameters is large. The expansions are uniformly valid for unbounded real and complex values of the argument…
We consider the Faddeev-Green function in the three-dimensional space and in a slab, and we construct formal asymptotic expansions for the large complex parameter appearing in this function. The basic idea of the construction is to express…
We study how the field of definition of a rational function changes under iteration. We provide a complete classification of polynomials with the property that the field of definition of one of their iterates drops in degree (over a given…
In this article we study the asymptotic behaviour of the correlation functions over polynomial ring $\mathbb{F}_q[x]$. Let $\mathcal{M}_{n, q}$ and $\mathcal{P}_{n, q}$ be the set of all monic polynomials and monic irreducible polynomials…
We derive asymptotic freedom of gluons in terms of the renormalized $SU(3)$ Yang-Mills Hamiltonian in the Fock space. Namely, we use the renormalization group procedure for effective particles (RGPEP) to calculate the three-gluon…
The notion of symmetry in polynomial rings with several indeterminates is generalized to polynomial rings over finite fields. Families of extensions of the projective line over a finite field of constants possessing this property are…
We consider an asymptotically stable multidimensional random walk $S(n)=(S_1(n),\ldots, S_d(n) )$. Let $\tau_x:=\min\{n>0: x_{1}+S_1(n)\le 0\}$ be the first time the random walk $S(n)$ leaves the upper half-space. We obtain the asymptotics…
This article is focused on the asymptotic expansions, as time tends to infinity, of solutions of a system of ordinary differential equations with non-smooth nonlinear terms. The forcing function decays to zero in a very complicated but…
The classical Ritt's Theorems state several properties of univariate polynomial decomposition. In this paper we present new counterexamples to Ritt's first theorem, which states the equality of length of decomposition chains of a…
We study the number of representations of an integer n=F(x_1,...,x_s) by a homogeneous form in sufficiently many variables. This is a classical problem in number theory to which the circle method has been succesfully applied to give an…
The main purpose of this paper is to give characterization theorems on derivations as well as on linear functions. Among others the following problem will be investigated: Let $n\in\mathbb{Z}$, $f, g\colon\mathbb{R}\to\mathbb{R}$ be…
The main purpose of this work is to characterize derivations through functional equations. This work consists of five chapters. In the first one, we summarize the most important notions and results from the theory of functional equations.…