Superdifferential of the Takagi function

Javier G\'omez Gil; Juan Ferrera

arxiv: 1906.10192 · v1 · pith:XU2AF6YVnew · submitted 2019-06-24 · 🧮 math.CA

Superdifferential of the Takagi function

Juan Ferrera , Javier G\'omez Gil This is my paper

Pith reviewed 2026-05-25 16:31 UTC · model grok-4.3

classification 🧮 math.CA

keywords Takagi functionsuperdifferentialsubdifferentialnowhere differentiablecontinuous functionnonsmooth analysis

0 comments

The pith

The superdifferential of the Takagi function is characterized at every point.

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

The Takagi function is a continuous function that is nowhere differentiable. Its subdifferential is known to be empty except on a countable set of points where the subdifferential equals the entire real line. This paper characterizes the superdifferential of the same function. A reader would care because the result completes the picture of first-order nonsmooth behavior for this classical example. The characterization builds directly on the known subdifferential facts as its starting point.

Core claim

The paper characterizes the superdifferential of the Takagi function, extending the known fact that the subdifferential is empty except on a countable set where it equals all of R.

What carries the argument

The superdifferential, consisting of all real numbers that satisfy the upper supporting inequality for the function at a given point.

If this is right

The first-order nonsmooth analysis of the Takagi function becomes complete once both sub- and superdifferentials are known.
At points where the subdifferential is empty the superdifferential may supply the only supporting lines.
The characterization applies at every real number, including the countable set and its complement.
It supplies an explicit description rather than an existence statement.

Where Pith is reading between the lines

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

The same approach might apply to other nowhere-differentiable continuous functions built from similar iterated constructions.
Numerical checks at dyadic rationals and at points with ternary expansions could confirm the sets obtained.
The result could be used to study variational problems or approximation questions that involve the Takagi function.

Load-bearing premise

The Takagi function satisfies the stated subdifferential properties (empty except on a countable set where it equals R) that serve as the starting point for the superdifferential analysis.

What would settle it

A concrete point where the computed superdifferential set fails to match the claimed characterization would falsify the result.

read the original abstract

The Takagi function is a classical example of a continuous nowhere differentiable function. It has empty subdifferential except in a countable set where its subdifferential is $\mathbb{R}$. In this paper we characterize its superdifferential.

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

The paper characterizes the superdifferential of the Takagi function after taking its subdifferential properties as background.

read the letter

The one thing to know is that this paper characterizes the superdifferential of the Takagi function. It starts from the stated fact that the subdifferential is empty except on a countable set where it equals all of R, then works out the superdifferential from there. This is presented as the main step beyond prior subdifferential results on the same function. What is new is the explicit superdifferential description itself. The abstract flags it directly as the contribution, and it looks like a targeted extension rather than a broad new method. The paper does well in staying narrow and concrete. It applies standard nonsmooth analysis definitions to a single classical example without adding extra machinery or claims. The logic follows the usual rules for these objects, and the focus on the Takagi function keeps everything checkable. The soft spot is the starting assumption on the subdifferential. The stress-test note is right that this fact is taken as given without visible proof or citation in the abstract. If the full paper does not supply a reference or short derivation for it, that creates a minor completeness issue for readers who want the chain fully traced. It is not a load-bearing flaw if the property is already standard in the literature, but it is worth noting. This paper is for people already working on the Takagi function or on one-dimensional superdifferentials. A reader outside that area will not get much from it. It deserves a serious referee because the claim is specific, the definitions are standard, and the result can be verified directly once the background is accepted. I would send it to peer review.

Referee Report

1 major / 0 minor

Summary. The manuscript characterizes the superdifferential of the Takagi function, a continuous nowhere differentiable function. It takes as background that the subdifferential is empty except on a countable set where it equals all of R, and proceeds to describe the superdifferential.

Significance. If the characterization holds and is rigorously derived, it would supply a concrete description of a generalized derivative for this classical example, which could be of interest in nonsmooth analysis and the study of functions with pathological differentiability properties.

major comments (1)

The subdifferential property (empty except on a countable set where it equals R) is presented as a starting point without proof, citation, or derivation in the visible text. This assumption is load-bearing for the subsequent superdifferential analysis; if it does not hold exactly in that form, the claimed characterization cannot follow in the stated manner.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the report and the recommendation of major revision. We address the major comment below.

read point-by-point responses

Referee: The subdifferential property (empty except on a countable set where it equals R) is presented as a starting point without proof, citation, or derivation in the visible text. This assumption is load-bearing for the subsequent superdifferential analysis; if it does not hold exactly in that form, the claimed characterization cannot follow in the stated manner.

Authors: We agree that the subdifferential property is stated in the manuscript without an accompanying citation or derivation. This is a known result for the Takagi function, but the referee is correct that it requires explicit support in the text. In the revised version we will insert a reference to the literature in which this property is established, thereby documenting the background assumption on which the superdifferential characterization rests. revision: yes

Circularity Check

0 steps flagged

No circularity; superdifferential characterization builds on stated background properties

full rationale

The abstract presents the subdifferential properties of the Takagi function (empty except on a countable set where it equals R) as a known fact about this classical function and states that the paper characterizes the superdifferential. No equations, self-citations, fitted parameters, or ansatzes are visible that would reduce the claimed result to its inputs by construction. The derivation chain is therefore self-contained against external benchmarks for the Takagi function, with the central claim having independent content.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review supplies no explicit free parameters, axioms, or invented entities; the ledger is therefore empty.

pith-pipeline@v0.9.0 · 5541 in / 937 out tokens · 19575 ms · 2026-05-25T16:31:41.869250+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

7 extracted references · 7 canonical work pages

[1]

Alaart and K

P.C. Alaart and K. Kawamura, The Takagi function: a survey, Real Anal. Ex- change 37 (2012), 1–54

work page 2012
[2]

J. Ferrera. An introduction to nonsmooth analysis . Elsevier/Academic Press, Amsterdam, 2014

work page 2014
[3]

G´ ora and R

P. G´ ora and R. J. Stern. Subdiﬀerential analysis of the Van der Waerden func- tion. J. Convex Anal. , 18(3): 699–705, 2011

work page 2011
[4]

Kahane, Sur l’example done´ e par M

J.P. Kahane, Sur l’example done´ e par M. de Rham d’une fonction co ntinue sans deriv´ ee.Enseignement Math. 5 (1959) 53–57

work page 1959
[5]

Lagarias, The Takagi function and its properties, RIMS Kˆ okyˆ uroku Besatsu B34 (2012), 153–189

J.C. Lagarias, The Takagi function and its properties, RIMS Kˆ okyˆ uroku Besatsu B34 (2012), 153–189

work page 2012
[6]

R. T. Rockafellar and R. J.-B. Wets. Variational analysis , volume 317 of Grundlehren der Mathematischen Wissenschaften [Fundamen tal Principles of Mathematical Sciences]. Springer-Verlag, Berlin, 1998

work page 1998
[7]

T. Takagi. A simple example of continuous function without derivat ive. Proc. Phy. Math. Soc. Japan , 1: 176–177, 1903. IMI, Departamento de An ´alisis Matem´atico y Matem ´atica Aplicada, F acultad Ciencias Matem´aticas, Universidad Complutense, 28040, Madrid, Spain E-mail address : ferrera@mat.ucm.es Departamento de An ´alisis Matem ´atico y Matem ´atic...

work page 1903

[1] [1]

Alaart and K

P.C. Alaart and K. Kawamura, The Takagi function: a survey, Real Anal. Ex- change 37 (2012), 1–54

work page 2012

[2] [2]

J. Ferrera. An introduction to nonsmooth analysis . Elsevier/Academic Press, Amsterdam, 2014

work page 2014

[3] [3]

G´ ora and R

P. G´ ora and R. J. Stern. Subdiﬀerential analysis of the Van der Waerden func- tion. J. Convex Anal. , 18(3): 699–705, 2011

work page 2011

[4] [4]

Kahane, Sur l’example done´ e par M

J.P. Kahane, Sur l’example done´ e par M. de Rham d’une fonction co ntinue sans deriv´ ee.Enseignement Math. 5 (1959) 53–57

work page 1959

[5] [5]

Lagarias, The Takagi function and its properties, RIMS Kˆ okyˆ uroku Besatsu B34 (2012), 153–189

J.C. Lagarias, The Takagi function and its properties, RIMS Kˆ okyˆ uroku Besatsu B34 (2012), 153–189

work page 2012

[6] [6]

R. T. Rockafellar and R. J.-B. Wets. Variational analysis , volume 317 of Grundlehren der Mathematischen Wissenschaften [Fundamen tal Principles of Mathematical Sciences]. Springer-Verlag, Berlin, 1998

work page 1998

[7] [7]

T. Takagi. A simple example of continuous function without derivat ive. Proc. Phy. Math. Soc. Japan , 1: 176–177, 1903. IMI, Departamento de An ´alisis Matem´atico y Matem ´atica Aplicada, F acultad Ciencias Matem´aticas, Universidad Complutense, 28040, Madrid, Spain E-mail address : ferrera@mat.ucm.es Departamento de An ´alisis Matem ´atico y Matem ´atic...

work page 1903