arxiv: 2604.14244 · v1 · submitted 2026-04-15 · 🧮 math.GM

Recognition: unknown

Higher regularity of solutions of an iterative functional equation

Liang Feng , Xiao Tang

Authors on Pith no claims yet

Pith reviewed 2026-05-10 12:29 UTC · model grok-4.3

classification 🧮 math.GM

keywords iterative functional equationshigher-order regularityC^n solutionsfiber contractionFaà di Bruno formulabounded derivativessecond-order equations

0 comments

The pith

Bounded C^n solutions exist for second-order iterative functional equations with iterates of the unknown function.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper proves existence of solutions that are n times continuously differentiable with all derivatives up to order n remaining bounded. It does so by constructing an operator from the equation and showing that this operator is a fiber contraction on a suitable complete metric space of functions. The proof then invokes Faà di Bruno's formula to track how derivatives behave under the iteration and to confirm they stay bounded. A reader would care because many recursive or delay-type relations in analysis and applied modeling require smooth solutions to support further differentiation or numerical work. If the result holds, it raises the known regularity from lower classes to arbitrary finite order under the same structural hypotheses.

Core claim

Under hypotheses that make the associated operator a fiber contraction, the second-order iterative functional equation admits bounded C^n solutions whose derivatives of orders 1 through n are also bounded; the existence follows from the Fiber Contraction Theorem while the derivative bounds are obtained by repeated application of Faà di Bruno's formula to the composition appearing in the equation.

What carries the argument

Fiber Contraction Theorem applied to an operator that encodes the iterative functional equation, together with Faà di Bruno's formula controlling the higher derivatives of the iterates.

If this is right

The solutions can be obtained as limits of iterates of the contraction operator starting from any bounded initial function.
Uniqueness holds inside the complete metric space of bounded functions whose derivatives up to order n are also bounded.
The same contraction argument yields existence of C^n solutions for the associated first-order or zeroth-order versions of the equation.
Higher-order Taylor expansions of the solution become available for local approximation or stability studies.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The method could be tested on concrete examples such as iterative equations arising from population models with delayed recruitment to check whether the predicted smoothness appears numerically.
If the contraction rate can be made explicit, one obtains quantitative bounds on how large the derivatives can grow with n, useful for truncation error estimates.
The approach may extend to equations on unbounded domains once suitable weighted spaces replace the uniform boundedness requirement.

Load-bearing premise

The nonlinear term and the iterates satisfy the specific conditions that turn the operator into a fiber contraction and keep the derivatives produced by Faà di Bruno's formula bounded.

What would settle it

A concrete nonlinear term and set of iterates satisfying the paper's hypotheses for which either no bounded solution exists or some derivative of order k less than or equal to n becomes unbounded.

read the original abstract

In this paper, we investigate the existence of $C^n$, $n\in \mathbb{N}^+$, solutions for a class of second-order iterative functional equations involving iterates of the unknown function and a nonlinear term. Applying the Fiber Contraction Theorem and Fa\`a di Bruno's Formula, we establish the existence of bounded $C^n$ solutions with bounded derivatives of order from $1$ to $n$.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This paper proves existence of bounded C^n solutions for a subclass of second-order iterative functional equations by treating an operator as a fiber contraction and controlling derivatives via Faà di Bruno.

read the letter

The main takeaway is that the authors establish bounded C^n solutions, with derivatives up to order n also bounded, for iterative equations that mix iterates of the unknown function with a nonlinear term. They do this in a Banach space of C^n functions by verifying a fiber contraction in the C^0 metric and then applying Faà di Bruno's formula inductively to bound the higher derivatives of the composed terms. That is a legitimate way to lift regularity once the contraction setup is in place, and the stress-test note finds no internal inconsistency in the approach. The result is new for the described subclass, even if it stays inside the standard toolkit of functional equations. The soft spot is that the abstract leaves the precise hypotheses on the nonlinear term and the iterates unspecified, so it is not yet clear how restrictive the conditions are or how many concrete equations this covers beyond prior work. If the full paper supplies explicit, checkable assumptions that make the operator contract and keep the derivative bounds finite, the argument is solid. This is narrow technical work aimed at specialists already working on iterative equations and regularity via contractions. A reader in that niche might pick up a useful detail or two on how to handle the derivative estimates, but it will not shift broader questions in the area. I would send it to peer review because the method is coherent and the claim is a genuine extension rather than a routine restatement.

Referee Report

1 major / 0 minor

Summary. The manuscript investigates the existence of C^n (n positive integer) solutions to a class of second-order iterative functional equations involving iterates of the unknown function and a nonlinear term. It applies the Fiber Contraction Theorem in a suitable Banach space of C^n functions equipped with sup-norms on derivatives up to order n, together with Faà di Bruno's formula to control the derivatives of composed iterates, and concludes the existence of bounded C^n solutions whose derivatives of orders 1 through n are also bounded.

Significance. If the hypotheses on the nonlinear term and the iterates are stated explicitly and the contraction and derivative bounds are verified, the result would extend regularity theory for iterative functional equations by providing a systematic way to obtain C^n solutions via fiber contractions. The choice of the Fiber Contraction Theorem (which contracts only in the C^0 metric while preserving higher-norm bounds) and Faà di Bruno's formula for the chain-rule expansion is technically appropriate and constitutes a strength of the approach.

major comments (1)

[Abstract] Abstract and §1 (or the statement of the main theorem): the abstract invokes the Fiber Contraction Theorem and Faà di Bruno's Formula but supplies no verification that the operator maps the chosen Banach space into itself, satisfies the fiber-contraction condition, or that the derivative bounds produced by Faà di Bruno remain finite under the stated hypotheses on the nonlinear term. Without these explicit checks the central existence claim cannot be assessed.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript and the constructive suggestion regarding the presentation of the main result. We address the major comment below and will revise the manuscript to improve clarity.

read point-by-point responses

Referee: [Abstract] Abstract and §1 (or the statement of the main theorem): the abstract invokes the Fiber Contraction Theorem and Faà di Bruno's Formula but supplies no verification that the operator maps the chosen Banach space into itself, satisfies the fiber-contraction condition, or that the derivative bounds produced by Faà di Bruno remain finite under the stated hypotheses on the nonlinear term. Without these explicit checks the central existence claim cannot be assessed.

Authors: We agree that the abstract and the statement of the main theorem would benefit from explicit indications of these verifications to make the result more immediately assessable. In the revised version, we will expand the abstract to state that the operator is shown to map the Banach space of C^n functions (equipped with the sup-norms on derivatives up to order n) into itself, that the fiber-contraction condition holds with respect to the C^0 metric under the given hypotheses on the nonlinear term, and that Faà di Bruno's formula produces finite bounds on the higher derivatives. In §1, immediately following the statement of the main theorem, we will insert a brief remark directing the reader to the sections containing the detailed verifications (the mapping and contraction properties in the section applying the Fiber Contraction Theorem, and the derivative bounds via Faà di Bruno's formula in the subsequent section). These additions will be purely expository and will not alter the existing proofs. revision: yes

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper claims existence of bounded C^n solutions to a second-order iterative functional equation by applying the Fiber Contraction Theorem in a suitable Banach space of C^n functions and invoking Faà di Bruno's formula to bound derivatives of composed iterates. These are external, standard theorems whose hypotheses are chosen to make the operator a contraction and to close the derivative estimates by induction. No equations reduce a claimed prediction or result to a fitted parameter or self-definition by construction, no load-bearing uniqueness theorem is imported from the authors' prior work, and the derivation does not rename a known empirical pattern. The central claim therefore remains independent of its own inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The abstract invokes two named theorems whose standard hypotheses are treated as background; no free parameters, ad-hoc axioms, or invented entities are visible.

axioms (2)

domain assumption Fiber Contraction Theorem applies to the operator defined by the iterative equation
Invoked to obtain existence of a fixed point in the space of bounded functions.
standard math Faà di Bruno's formula yields bounded derivatives when the solution is C^n
Used to control higher derivatives of the iterates.

pith-pipeline@v0.9.0 · 5345 in / 1270 out tokens · 35501 ms · 2026-05-10T12:29:04.275749+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

19 extracted references

[1]

Balcerowski: On the functional equation x + f (y + f (x)) = y + f (x + f (x))

M. Balcerowski: On the functional equation x + f (y + f (x)) = y + f (x + f (x)). Aequat. Math. 75, no. 3, 297–303 (2008)

2008
[2]

Baron, W

K. Baron, W. Jarczyk: Recent results on functional equations in a single variable. Aequat. Math. 61, 1–48 (2001)

2001
[3]

Brillouët-Belluot: Problem 15, Proceedings of 38th ISFE (2000 Hungary), Aequat

N. Brillouët-Belluot: Problem 15, Proceedings of 38th ISFE (2000 Hungary), Aequat. Math . 61, 304 (2001)

2000
[4]

Brillouët-Belluot, W

N. Brillouët-Belluot, W. Zhang: On a class of iterative–difference equations. J. Differ. Equ. Appl. 16(11), 1237–1255 (2010)

2010
[5]

Draga, J

S. Draga, J. Morawiec: Reducing the polynomial-like iterative equation order and a generalized Zoltán Boros’ problem. Aequat. Math. 90, 935–950 (2016)

2016
[6]

Faà di Bruno, Sullo sviluppo delle funzioni, Annali di Sci

F. Faà di Bruno, Sullo sviluppo delle funzioni, Annali di Sci. Mat. Fis . 6 , 479–480 (1855)
[7]

Jarczyk, W

J. Jarczyk, W. Jarczyk: On a problem of N. Brillouët-Belluot. Aequat. Math . 72, 198–200 (2006)

2006
[8]

Kuczma, B

M. Kuczma, B. Choczewski, R. Ger: Iterative Functional Equations . Cambridge University Press, Cambridge (1990)

1990
[9]

L. Liu, W. Jarczyk, L. Li, W. Zhang: Iterative roots of piecewise monotonic functions of nonmonotonicity height not less than 2. Nonlinear Anal. 75, 286–303 (2012)

2012
[10]

L. Liu, W. Zhang: Non-monotonic iterative roots extended from characteristic intervals. J. Math. Anal. Appl . 378, 359–373 (2011)

2011
[11]

Matkowski, W

J. Matkowski, W. Zhang: Method of characteristic for functional equations in polynomial form. Acta Math. Sinica New Ser . 13(3), 421–432 (1997)

1997
[12]

Mukherjea, J.S

A. Mukherjea, J.S. Ratti: On a functional equation involving iterates of a bijection on the unit interval. Nonlinear Anal. 7, 899–908 (1983)

1983
[13]

Sablik: Remark 4, Report of meeting

M. Sablik: Remark 4, Report of meeting. In: 10th International Conference on Functional Equations and Inequalities (B¸edlewo, 2005). Annales Universitatis Paedagogicae Cracoviensis Studia Mathematica , vol. 5, p. 158 (2006)

2005
[14]

W. Shi, X. Tang: Smooth solutions of a class of iterative functional equations, Aequat. Math. 98, 941–951 (2024)

2024
[15]

X. Tang, W. Zhang: Continuous solutions of a second order iterative equation. Publ. Math. Debr. 93, 303–321 (2018)

2018
[16]

Vanderbauwhede: Centre manifolds, normal forms and elementary bifurcations

A. Vanderbauwhede: Centre manifolds, normal forms and elementary bifurcations. In: U. Kirchgraber and H.-O. Walther (eds.), Dynamics Reported pp. 89–169, Dynamics Reported vol 2, Vieweg+Teubner Verlag, Wiesbaden (1989). HIGHER REGULARITY OF SOLUTIONS OF AN ITERATIVE FUNCTIONAL EQUATION 11

1989
[17]

D. Yang, W. Zhang: Characteristic solutions of polynomial-like iterative equations. Aequat. Math. 67, 80–105 (2004)

2004
[18]

Y. Zeng, W. Zhang: Continuous solutions of an iterative–difference equation and Brillouët– Belluot’s problem. Publ. Math. Debr . 78(3–4), 613–624 (2011)

2011
[19]

Zhang, K

W. Zhang, K. Nikodem, B. Xu: Convex solutions of polynomial-like iterative equations. J. Math. Anal. Appl . 315, 29–40 (2006). (Liang Feng) School of Mathematical Sciences, Chongqing Normal University, Chongqing 401331, China Email address : fengliang199710@163.com (Xiao Tang) School of Mathematical Sciences, Chongqing Normal University, Chongqing 401331,...

2006