pith. sign in

arxiv: 2407.11565 · v5 · submitted 2024-07-16 · 🧮 math.CA

Quantitative estimates for singularity for conjugate equations driven by linear fractional transformations

Kazuki Okamura This is my paper

Pith reviewed 2026-05-23 22:56 UTC · model grok-4.3

classification 🧮 math.CA
keywords conjugate equationssingularitylinear fractional transformationsde Rham equationsfunctional equationsquantitative estimatesunit intervalsingular functions
0
0 comments X

The pith

Sufficient conditions on two families of maps ensure that solutions to conjugate equations are singular, with quantitative estimates.

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

The paper examines conjugate functional equations on the unit interval driven by two families of maps that satisfy a compatibility condition, a framework that includes de Rham's equations. It supplies sufficient conditions under which the solution must be singular when one family consists of non-affine maps and the other consists of linear fractional transformations. These conditions are paired with explicit quantitative estimates that measure aspects of the singularity. A sympathetic reader would care because the result separates these solutions from absolutely continuous ones and supplies concrete bounds rather than mere existence statements.

Core claim

We give sufficient conditions for singularity of the solution with quantitative estimates in the case where the equation is driven by a family of non-affine maps and a family of linear fractional transformations.

What carries the argument

The conjugate equation defined by two compatible families of finite maps on the unit interval, with one family non-affine and the other consisting of linear fractional transformations.

If this is right

  • The solution function is singular rather than absolutely continuous.
  • Quantitative estimates provide explicit bounds on the singularity.
  • The result applies to de Rham's functional equations whenever the driving maps satisfy the sufficient conditions.
  • The singularity holds specifically in the mixed case of non-affine maps paired with linear fractional transformations.

Where Pith is reading between the lines

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

  • The quantitative estimates could be checked numerically on concrete linear fractional transformations such as those fixing the unit interval.
  • Singularity in this setting may connect to the Hausdorff dimension of the graph of the solution function.
  • Similar sufficient conditions might be derivable for other classes of transformations that preserve the compatibility requirement.

Load-bearing premise

The two families of maps on the unit interval satisfy a compatibility condition that makes the conjugate equation well-defined.

What would settle it

An explicit pair of map families meeting the compatibility condition and the stated sufficient conditions, yet yielding an absolutely continuous solution, would falsify the claim.

read the original abstract

We consider the conjugate equation driven by two families of finite maps on the unit interval satisfying a compatibility condition. This framework contains de Rham's functional equations. We give sufficient conditions for singularity of the solution with quantitative estimates in the case where the equation is driven by a family of non-affine maps and a family of linear fractional transformations.

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.

Referee Report

0 major / 1 minor

Summary. The manuscript considers conjugate equations driven by two families of finite maps on the unit interval that satisfy a compatibility condition (encompassing de Rham's functional equations). It supplies sufficient conditions for singularity of the solution together with quantitative estimates in the special case where one family consists of non-affine maps and the other consists of linear fractional transformations.

Significance. If the stated sufficient conditions and quantitative estimates are correctly established, the work would furnish explicit criteria and bounds for singularity in a framework that properly contains de Rham's equations, thereby extending the quantitative theory of singular continuous functions generated by iterated function systems with linear fractional components.

minor comments (1)
  1. [Abstract] The abstract asserts the existence of sufficient conditions and quantitative estimates but does not indicate the form of the estimates (e.g., Hölder exponents, Hausdorff dimension bounds) or the precise compatibility condition; the full text should make these explicit in the statement of the main theorem.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their summary of the manuscript and for recognizing its potential significance in extending quantitative results on singular functions beyond de Rham's equations. The recommendation is listed as uncertain, yet the major comments section contains no specific points or concerns. We therefore have no revisions to propose.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper states a compatibility condition on two families of maps that defines the conjugate equation framework (containing de Rham equations) and then derives sufficient conditions plus quantitative estimates for singularity when one family is non-affine and the other consists of linear fractional transformations. No step reduces by the paper's own equations to a fitted parameter renamed as prediction, a self-definition, or a load-bearing self-citation chain; the central result is an existence claim for such conditions and estimates, obtained directly from the given setup without circular reduction.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Only abstract available; no explicit free parameters, invented entities, or non-standard axioms are mentioned. The compatibility condition is treated as a domain assumption required for the framework.

axioms (1)
  • domain assumption Two families of finite maps on the unit interval satisfy a compatibility condition
    Required for the conjugate equation to be well-posed and to contain de Rham's equations (abstract).

pith-pipeline@v0.9.0 · 5563 in / 1235 out tokens · 21785 ms · 2026-05-23T22:56:38.156069+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

32 extracted references · 32 canonical work pages

  1. [1]

    Weighted sums of certain dependent rando m variables

    Kazuoki Azuma. Weighted sums of certain dependent rando m variables. Tˆ ohoku Math. J. (2) , 19:357–367, 1967

    work page 1967

  2. [2]

    Pointwise regularity of param- eterized affine zipper fractal curves

    Bal´ azs B´ ar´ any, Gergely Kiss, and Istv´ an Kolossv´ ary. Pointwise regularity of param- eterized affine zipper fractal curves. Nonlinearity, 31(5):1705–1733, 2018

    work page 2018

  3. [3]

    Multifractal formalism for the gene ralized de Rham function

    Mourad Ben Slimane. Multifractal formalism for the gene ralized de Rham function. Curr. Dev. Theory Appl. Wavelets , 2(1):45–88, 2008

    work page 2008

  4. [4]

    Berg and M

    L. Berg and M. Kr¨ uppel. De Rham’s singular function and r elated functions. Z. Anal. Anwendungen, 19(1):227–237, 2000

    work page 2000

  5. [5]

    Felix E. Browder. On the convergence of successive appro ximations for nonlinear functional equations. Nederl. Akad. Wet., Proc., Ser. A , 71:27–35, 1968. 22

    work page 1968

  6. [6]

    Compatibility conditi ons for systems of iterative functional equations with non-trivial contact sets

    Jorge Buescu and Cristina Serpa. Compatibility conditi ons for systems of iterative functional equations with non-trivial contact sets. Results Math., 76(2):Paper No. 68, 19, 2021

    work page 2021

  7. [7]

    Sur une courbe plane

    Georges de Rham. Sur une courbe plane. J. Math. Pures Appl. (9) , 35:25–42, 1956

    work page 1956

  8. [8]

    Sur quelques courbes d´ efinies par des ´ e quations fonctionnelles

    Georges de Rham. Sur quelques courbes d´ efinies par des ´ e quations fonctionnelles. Univ. Politec. Torino, Rend. Sem. Mat. 16, 101-112., 1957

    work page 1957

  9. [9]

    Iterated function system and R uelle operator

    Aihua Fan and Ka-Sing Lau. Iterated function system and R uelle operator. J. Math. Anal. Appl. , 231(2):319–344, 1999

    work page 1999

  10. [10]

    Functional equations and nowhere d ifferentiable functions

    Roland Girgensohn. Functional equations and nowhere d ifferentiable functions. Ae- quationes Math. , 46(3):243–256, 1993

    work page 1993

  11. [11]

    Regular and irregular solutions of a system of functional equations

    Roland Girgensohn, Hans-Heinrich Kairies, and Weinia n Zhang. Regular and irregular solutions of a system of functional equations. Aequationes Math., 72(1-2):27–40, 2006

    work page 2006

  12. [12]

    On the functional equation 1 /p · {f (x/p) + · · ·+ f ((x + p − 1)/p)} = λf (µx)

    Masayoshi Hata. On the functional equation 1 /p · {f (x/p) + · · ·+ f ((x + p − 1)/p)} = λf (µx). J. Math. Kyoto Univ. , 25:357–364, 1985

    work page 1985

  13. [13]

    On the structure of self-similar sets

    Masayoshi Hata. On the structure of self-similar sets. Japan J. Appl. Math. , 2:381– 414, 1985

    work page 1985

  14. [14]

    Jachymski

    Jacek R. Jachymski. Equivalence of some contractivity properties over metrical struc- tures. Proc. Am. Math. Soc. , 125(8):2327–2335, 1997

    work page 1997

  15. [15]

    Fourier transforms of Gibbs measures for the Gauss map

    Thomas Jordan and Tuomas Sahlsten. Fourier transforms of Gibbs measures for the Gauss map. Math. Ann. , 364(3-4):983–1023, 2016

    work page 2016

  16. [16]

    Functional equations for pecu liar functions

    Hans-Heinrich Kairies. Functional equations for pecu liar functions. Aequationes Math., 53(3):207–241, 1997

    work page 1997

  17. [17]

    On the classification of self-similar se ts determined by two contrac- tions on the plane

    Kiko Kawamura. On the classification of self-similar se ts determined by two contrac- tions on the plane. J. Math. Kyoto Univ. , 42(2):255–286, 2002

    work page 2002

  18. [18]

    On the set of points where Lebesgue’s sin gular function has the derivative zero

    Kiko Kawamura. On the set of points where Lebesgue’s sin gular function has the derivative zero. Proc. Japan Acad., Ser. A , 87(9):162–166, 2011

    work page 2011

  19. [19]

    Stratmann

    Marc Kesseb¨ ohmer and Bernd O. Stratmann. Fractal anal ysis for sets of non-differentiability of Minkowski’s question mark functi on. J. Number Theory , 128(9):2663–2686, 2008

    work page 2008

  20. [20]

    Weakly contractive iterated function systems and beyond: a manual

    Krzysztof Le´ sniak, Nina Snigireva, and Filip Strobin . Weakly contractive iterated function systems and beyond: a manual. J. Difference Equ. Appl. , 26(8):1114–1173, 2020

    work page 2020

  21. [21]

    Minkowski’s question mark measure

    Giorgio Mantica. Minkowski’s question mark measure. J. Approx. Theory , 222:74– 109, 2017

    work page 2017

  22. [22]

    Regularity of Minkow ski’s question mark mea- sure, its inverse and a class of IFS invariant measures

    Giorgio Mantica and Vilmos Totik. Regularity of Minkow ski’s question mark mea- sure, its inverse and a class of IFS invariant measures. J. Lond. Math. Soc., II. Ser. , 99(3):707–732, 2019

    work page 2019

  23. [23]

    Minkowski

    H. Minkowski. On geometry of numbers. In Proceedings of the third international congress of mathematicians (ICM 1904), Heidelberg, German y, August 8–13, 1904 . Leipzig: B. G. Teubner, 1905

    work page 1904

  24. [24]

    On a problem of Jan usz Matkowski and Jacek Weso/suppress lowski.Aequationes Math., 92(4):601–615, 2018

    Janusz Morawiec and Thomas Z¨ urcher. On a problem of Jan usz Matkowski and Jacek Weso/suppress lowski.Aequationes Math., 92(4):601–615, 2018

    work page 2018

  25. [25]

    On a problem of Jan usz Matkowski and Jacek Weso/suppress lowski

    Janusz Morawiec and Thomas Z¨ urcher. On a problem of Jan usz Matkowski and Jacek Weso/suppress lowski. II.Aequationes Math., 93(1):91–108, 2019

    work page 2019

  26. [26]

    Some results for conjugate equations

    Kazuki Okamura. Some results for conjugate equations. Aequationes Math. , 93(6):1051–1084, 2019

    work page 2019

  27. [27]

    Hausdorff dimensions for graph-direct ed measures driven by infinite rooted trees

    Kazuki Okamura. Hausdorff dimensions for graph-direct ed measures driven by infinite rooted trees. Real Anal. Exchange , 45(1):29–71, 2020

    work page 2020

  28. [28]

    Non-uniqueness and ex otic solutions of conjugacy equations

    Cristina Serpa and Jorge Buescu. Non-uniqueness and ex otic solutions of conjugacy equations. J. Difference Equ. Appl. , 21(12):1147–1162, 2015

    work page 2015

  29. [29]

    Piecewise expanding m aps and conjugacy equations

    Cristina Serpa and Jorge Buescu. Piecewise expanding m aps and conjugacy equations. In Nonlinear maps and their applications. Selected contribut ions from the NOMA 2013 international workshop, Zaragoza, Spain, September 3– 4, 2013 , pages 193–202. Cham: Springer, 2015

    work page 2013

  30. [30]

    Constructive solutio ns for systems of iterative func- tional equations

    Cristina Serpa and Jorge Buescu. Constructive solutio ns for systems of iterative func- tional equations. Constr. Approx. , 45(2):273–299, 2017. 23

    work page 2017

  31. [31]

    Probability with martingales

    David Williams. Probability with martingales . Cambridge etc.: Cambridge University Press, 1991

    work page 1991

  32. [32]

    On conjugacy of some systems of funct ions

    Marek Cezary Zdun. On conjugacy of some systems of funct ions. Aequationes Math., 61(3):239–254, 2001. Department of Mathematics, F aculty of Science, Shizuoka Un iversity Email address : okamura.kazuki@shizuoka.ac.jp

    work page 2001