English
Related papers

Related papers: Differentially Transcendental Functions

200 papers

In this paper, we show the existence of a transcendental function $f\in\mathbb{Z}\{z\}$ with coefficients that are almost all bounded such that $f$ and all its derivatives assume algebraic values at algebraic points. Furthermore, we…

Number Theory · Mathematics 2025-02-25 Ricardo Francisco , Diego Marques

We introduce and discuss a new class of (multivalued analytic) transcendental functions which still share with algebraic functions the property that the number of their isolated zeros can be explicitly counted. On the other hand, this class…

Classical Analysis and ODEs · Mathematics 2011-09-12 Gal Binyamini , Dmitry Novikov , Sergei Yakovenko

In this paper we present an abstraction-refinement approach to Satisfiability Modulo the theory of transcendental functions, such as exponentiation and trigonometric functions. The transcendental functions are represented as uninterpreted…

Logic in Computer Science · Computer Science 2018-01-29 Alessandro Cimatti , Alberto Griggio , Ahmed Irfan , Marco Roveri , Roberto Sebastiani

We offer an axiomatic definition of a differential algebra of generalized functions over an algebraically closed non-Archimedean field. This algebra is of {\em Colombeau type} in the sense that it contains a copy of the space of Schwartz…

Functional Analysis · Mathematics 2011-09-14 Todor D. Todorov

The article is devoted to approximate, global and along curves differentiability of functions over non-archimedean infinite fields with non-trivial valuations. Fields with zero and non-zero characteristics are considered. Spaces of…

Classical Analysis and ODEs · Mathematics 2010-03-16 S. V. Ludkovsky

We develop general criteria that ensure that any non-zero solution of a given second-order difference equation is differentially transcendental, which apply uniformly in particular cases of interest, such as shift difference equations,…

Number Theory · Mathematics 2021-01-22 Carlos E. Arreche , Thomas Dreyfus , Julien Roques

The so-called polynomial equations play an important role both in algebra and in the theory of functional equations. If the unknown functions in the equation are additive, relatively many results are known. However, even in this case, there…

Commutative Algebra · Mathematics 2024-03-04 Eszter Gselmann , Mehak Iqbal

We offer an axiomatic definition of a differential algebra of generalized functions over an algebraically closed non-Archimedean field. This algebra is of Colombeau type in the sense that it contains a copy of the space of Schwartz…

Functional Analysis · Mathematics 2015-03-18 Todor D. Todorov

In this note we extend the Differential Transfer Matrix Method (DTMM) for a second-order linear ordinary differential equation to the complex plane. This is achieved by separation of real and imaginary parts, and then forming a system of…

Mathematical Physics · Physics 2015-09-30 Sina Khorasani , Farhad Karimi

This paper is devoted to the proof Gauss' divergence theorem in the framework of "ultrafunctions". They are a new kind of generalized functions, which have been introduced recently [2] and developed in [4], [5] and [6]. Their peculiarity is…

Analysis of PDEs · Mathematics 2015-03-10 Vieri Benci , Lorenzo Luperi Baglini

This paper deals with a new kind of generalized functions, called "ultrafunctions" which have been introduced recently and developed in some previous works. Their peculiarity is that they are based on a Non-Archimedean field namely on a…

Analysis of PDEs · Mathematics 2014-05-19 Vieri Benci , Lorenzo Luperi Baglini

We give a partial answer to a question attributed to Chris Miller on algebraic values of certain transcendental functions of order less than one. We obtain C(logH)^n bounds for the number of algebraic points of height at most H on certain…

Number Theory · Mathematics 2019-07-25 Taboka Prince Chalebgwa

A function is differentially algebraic (or simply D-algebraic) if there is a polynomial relationship between some of its derivatives and the indeterminate variable. Many functions in the sciences, such as Mathieu functions, the Weierstrass…

Symbolic Computation · Computer Science 2023-07-11 Bertrand Teguia Tabuguia

It is a classical fact that the elliptic modular functions satisfies an algebraic differential equation of order 3, and none of lower order. We show how this generalizes to Siegel modular functions of arbitrary degree. The key idea is that…

Number Theory · Mathematics 2009-02-24 Daniel Bertrand , Wadim Zudilin

An effective method to obtain exact analytical solutions of equations describing the coherent dynamics of multilevel systems is presented. The method is based on the usage of orthogonal polynomials, integral transforms and their discrete…

Classical Analysis and ODEs · Mathematics 2007-05-23 V. A. Savva , V. I. Zelenkov , A. S. Mazurenko

This thesis is intended to provide an account of the theory and applications of Operational Methods that allow the "translation" of the theory of special functions and polynomials into a "different" mathematical language. The language we…

Classical Analysis and ODEs · Mathematics 2018-03-09 Silvia Licciardi

We develop techniques at the interface between differential algebra and model theory to study the following problems of exponential algebraicity: Does a given algebraic differential equation admits an exponentially algebraic solution, that…

Logic · Mathematics 2025-10-31 Rémi Jaoui , Jonathan Kirby

A form of the Laplace transform is reviewed as a paradigm for an entire class of fractional functional transforms. Various of its properties are discussed. Such transformations should be useful in application to differential/integral…

Data Analysis, Statistics and Probability · Physics 2018-04-30 R. A. Treumann , W. Baumjohann

In this paper, we introduce a method of converting implicit equations to the usual forms of functions locally without differentiability. For a system of implicit equations which are equipped with continuous functions, if there are unique…

Classical Analysis and ODEs · Mathematics 2022-07-12 Kyung Soo Rim

Given an algebraic difference equation of the form \[\sigma^n(y)=f\big(y, \sigma(y),\dots,\sigma^{n-1}(y)\big)\] where $f$ is a rational function over a field $k$ of characteristic zero on which $\sigma$ acts trivially, it is shown that if…

Logic · Mathematics 2025-10-21 Moshe Kamensky , Rahim Moosa