Abstract:We show that if a Laurent series $f\in\mathbb{C}((t))$ satisfies a particular kind of linear iterative equation, then $f$ is either a rational function or it is differentially transcendental over $\mathbb{C}(t)$. This condition is more precisely stated as follows: We consider $R,b\in \mathbb{C}(t)$ with $R(0)=0$, such that $f(R(t))=f(t)+b(t)$. If either $R'(0)=0$ or $R'(0)$ is a root of unity, then either $f$ is a rational function, or $f$ does not satisfy a polynomial differential equation. More generally a solution of a functional equation of the form $f(R(t))=a(t)f(t)+b(t)$ will be either differentially trascendental or the solution of an inhomogeneous linear differential equation of order $1$ with rational coefficients. We illustrate how to apply these results to deduce the differential transcendence of combinatorial generating functions by considering three examples: the ordinary generating function for a family of complete trees; the Green function for excursions on the Sierpinski graph; and a series related to the enumeration of permutations avoiding the consecutive pattern 1423. The proof strategy is inspired by the Galois theory of functional equations and relies on the property of the dynamics of $R$.

A General Class of Iterative Equations on the Unit Circle

Strictly Decreasing Solutions of a Class of Iterative Equations Onthe Unit Circle

A class of fully nonlinear equations arising from conformal geometry

An equation in nonlinear combination of iterates

On Series-Like Iterative Equation with a General Boundary Restriction

On a Generalized Class of Nonlinear Equations Defined by Elliptic Symbols

The Regularity for A Class of Singular Differential Equations

Generalized convolution-type singular integral equations

Existence and Iterative Approximations of Solutions for Certain Functional Equation and Inequality

Locally Expansive Solutions for a Class of Iterative Equations

Monotone Iterative Technique for a Kind of Nonlinear Fourth-Order Integro-Differential Equations and Its Application

Positive Solutions for Nth-Order Nonlinear Impulsive Singular Integro-Differential Equations on Infinite Intervals in Banach Spaces

A Unique Positive Solution for Nth-Order Nonlinear Impulsive Singular Integro-Differential Equations on Unbounded Domains in Banach Spaces

Smooth solutions of a class of iterative functional equations

Positive Solutions of an Infinite Boundary Value Problem for Nth-Order Nonlinear Impulsive Singular Integro-Differential Equations in Banach Spaces

On nonlinear iterated function systems with overlaps

Existence of Solutions and Convergence of Iterative Algorithms for a System of Generalized Nonlinear Mixed Quasi-Variational Inclusions.

Unit Equations on Quaternions

ITERATIVE METHODS FOR A FINITE FAMILY OF MONOTONE OPERATORS AND A NONEXPANSIVE MAPPING

Application of Simulation Function and Measure of Noncompactness for Solvability of Nonlinear Functional Integral Equations and Introduction to an Iteration Algorithm to Find Solution

Inhomogeneous order 1 iterative functional equations with applications to combinatorics