Super Order Differentiable Functions

• Super order differentiable functions are a family of refined smoothness classes that extend beyond integer-order differentiability using decay functions, Grassmann calculus, or fractional derivatives.
• In approximation theory, these classes are defined via (ψ,β)-derivatives with Fourier coefficients decaying faster than any power but slower than geometric rates, yielding exact order estimates for trigonometric approximations.
• The concept also spans super Fermat theories and fractional analysis, linking supercommutative algebra smoothness with non-integer regularity to bridge gaps between polynomial and exponential decay.

Searching arXiv for the cited papers and closely related terminology. “Super order differentiable functions” is not a single standardized notion across mathematics; rather, it denotes several technically distinct constructions. In approximation theory, it refers to classes of $2\pi$-periodic functions whose $(\psi,\beta)$-derivatives belong to unit balls of $L_p$, with $\psi(k)$ tending to zero faster than any power function but slower than geometric progression; these classes yield exact order estimates for best orthogonal trigonometric approximation (Stepanyuk, 2018). In the differential-algebraic setting of supergeometry, closely related language concerns supercommutative algebras on which infinitely differentiable functions can be evaluated via a super Fermat theory, with differentiability encoded by divided-difference axioms and jet factorization (Carchedi et al., 2012). A further, explicitly synthetic formulation appears in the theory of non-integer differentiability, where “super-order differentiable of order $\alpha>0$” means membership in fractional differentiability spaces such as $C_{RL}^{\alpha}$, $C_{C}^{\alpha}$, or equivalently $C^{n,\alpha-n}$ for non-integer $\alpha$ (Carvalho-Neto et al., 28 Mar 2025). These usages are connected by a common theme: differentiability is indexed by a scale finer than classical integer-order smoothness.

1. Approximation-theoretic definition of super-order differentiable classes

In the approximation-theoretic literature, the basic object is the class $C_{\beta,p}^{\psi}$ of $(\psi,\beta)$0-periodic functions whose $(\psi,\beta)$1-derivative belongs to the unit ball of $(\psi,\beta)$2 (Stepanyuk, 2018). Here $(\psi,\beta)$3, $(\psi,\beta)$4, is a convex (down-ward) continuous function on $(\psi,\beta)$5 with $(\psi,\beta)$6 as $(\psi,\beta)$7, and $(\psi,\beta)$8 is its restriction to $(\psi,\beta)$9. The auxiliary quantities are

$L_p$0

The class-defining condition is $L_p$1, meaning that there is $L_p$2 such that for all $L_p$3,

$L_p$4

and $L_p$5 remains bounded. This is equivalent to the pair of asymptotic conditions: $L_p$6 faster than $L_p$7 for every $L_p$8, and $L_p$9 as $\psi(k)$0, i.e. slower than any geometric progression (Stepanyuk, 2018).

If $\psi(k)$1 is a $\psi(k)$2-periodic function with Fourier coefficients

$\psi(k)$3

its $\psi(k)$4-derivative $\psi(k)$5 is defined by requiring that the formal series

$\psi(k)$6

converges in $\psi(k)$7 to some function $\psi(k)$8, in which case $\psi(k)$9 (Stepanyuk, 2018). With

$\alpha>0$0

the super-order differentiable class is

$\alpha>0$1

A closely related earlier notation is $\alpha>0$2, together with $\alpha>0$3, defined for $\alpha>0$4-periodic functions whose $\alpha>0$5-derivatives lie in $\alpha>0$6 or $\alpha>0$7, respectively (Serdyuk et al., 2013). In that setting, the requirement that $\alpha>0$8 tends to zero faster than any power is expressed as

$\alpha>0$9

and the corresponding subclass is denoted $C_{RL}^{\alpha}$0 (Serdyuk et al., 2013). This suggests that the approximation-theoretic meaning of “super-order” is a smoothness scale strictly beyond Sobolev-type power decay but still below analytic geometric decay.

2. Exact order estimates for orthogonal trigonometric approximation

The principal quantitative objects are the best orthogonal trigonometric approximations in the uniform and $C_{RL}^{\alpha}$1-metrics,

$C_{RL}^{\alpha}$2

$C_{RL}^{\alpha}$3

For $C_{RL}^{\alpha}$4 and $C_{RL}^{\alpha}$5, Stepanyuk–Serdyuk establish the following exact order estimates (Stepanyuk, 2018).

For $C_{RL}^{\alpha}$6, with $C_{RL}^{\alpha}$7 defined by $C_{RL}^{\alpha}$8,

$C_{RL}^{\alpha}$9

For $C_{C}^{\alpha}$0 in the uniform norm,

$C_{C}^{\alpha}$1

For $C_{C}^{\alpha}$2 and $C_{C}^{\alpha}$3 in the $C_{C}^{\alpha}$4-norm,

$C_{C}^{\alpha}$5

Here $C_{C}^{\alpha}$6 means equality of order: each side is bounded above and below by the other up to absolute constants independent of $C_{C}^{\alpha}$7 (Stepanyuk, 2018). The earlier paper on best approximations and Fourier sums gives parallel two-sided estimates for $C_{C}^{\alpha}$8 and for the Fourier partial-sum error $C_{C}^{\alpha}$9, including explicit constants under hypotheses such as

$C^{n,\alpha-n}$0

and concludes that

$C^{n,\alpha-n}$1

for the corresponding classes (Serdyuk et al., 2013).

These formulas make the smoothness scale operational. The factor $C^{n,\alpha-n}$2 records the principal decay of Fourier coefficients, while the correction $C^{n,\alpha-n}$3 measures how rapidly the half-level inverse $C^{n,\alpha-n}$4 separates from $C^{n,\alpha-n}$5. In this sense, the geometry of $C^{n,\alpha-n}$6 near infinity determines the approximation order.

3. The intermediate smoothness regime and canonical examples

A central example is

$C^{n,\alpha-n}$7

For this sequence,

$C^{n,\alpha-n}$8

and $C^{n,\alpha-n}$9 for every $\alpha$0, so $\alpha$1 (Stepanyuk, 2018). Moreover,

$\alpha$2

hence

$\alpha$3

Substituting this into the approximation theorems yields the rates

$\alpha$4

$\alpha$5

$\alpha$6

(Stepanyuk, 2018). The earlier analysis gives the same specialization, expressed as

$\alpha$7

and therefore

$\alpha$8

(Serdyuk et al., 2013).

The significance of this example is stated explicitly: these classes interpolate between classical Sobolev-type classes with power-decay $\alpha$9 and analytic or Gevrey classes with geometric decay $C_{\beta,p}^{\psi}$0 (Stepanyuk, 2018). The condition $C_{\beta,p}^{\psi}$1 guarantees decay of Fourier coefficients faster than any power, yet too slow to be analytic; accordingly, the resulting approximation orders fill the gap between polynomial and exponential convergence (Stepanyuk, 2018). A plausible implication is that this scale is particularly natural for stretched-exponential regularity.

4. Relation to Fourier sums and kernel methods

The approximation-theoretic results are not limited to abstract best approximation. For $C_{\beta,p}^{\psi}$2 with $C_{\beta,p}^{\psi}$3, the deviation of the Fourier partial sum admits the integral representation

$C_{\beta,p}^{\psi}$4

where

$C_{\beta,p}^{\psi}$5

(Serdyuk et al., 2013). Upper bounds then follow via Young or Hölder inequalities from estimates on $C_{\beta,p}^{\psi}$6, together with a decomposition of the integral into regions $C_{\beta,p}^{\psi}$7 and $C_{\beta,p}^{\psi}$8, where

$C_{\beta,p}^{\psi}$9

(Serdyuk et al., 2013). On the small-$(\psi,\beta)$00 region, Abel summation and Dirichlet-kernel estimates are used; on the complementary region, tail-sum bounds and integral estimates for $(\psi,\beta)$01 provide the same order factor $(\psi,\beta)$02 (Serdyuk et al., 2013).

Lower bounds are obtained by constructing an extremal function

$(\psi,\beta)$03

with carefully chosen signs $(\psi,\beta)$04, and then using orthogonality against trigonometric polynomials of degree $(\psi,\beta)$05 to prove

$(\psi,\beta)$06

(Serdyuk et al., 2013). This identifies not only the approximation rate but also the mechanism by which the frequency window $(\psi,\beta)$07 governs the asymptotics.

The same source states that these techniques extend to more general linear methods, including Cesàro and de la Vallée-Poussin means, via their kernels (Serdyuk et al., 2013). Since that statement appears as an application rather than a theorem in the extracted data, it is best read as a methodological indication rather than as a fully quantified general result.

5. Super-order differentiability in super Fermat theories

In a different domain, the phrase connects to supergeometry through theories of supercommutative algebras for which infinitely differentiable functions can be evaluated on elements. Carchedi and Roytenberg call such a theory a super Fermat theory (Carchedi et al., 2012). Formally, $(\psi,\beta)$08 is a 2-sorted Lawvere theory with objects $(\psi,\beta)$09, $(\psi,\beta)$10, whose hom-sets

$(\psi,\beta)$11

are interpreted as generalized functions of $(\psi,\beta)$12 even and $(\psi,\beta)$13 odd variables (Carchedi et al., 2012).

A super Fermat theory satisfies four structural conditions. First, for each object $(\psi,\beta)$14, the category of $(\psi,\beta)$15-algebras is equivalent to the usual category of supercommutative $(\psi,\beta)$16-algebras $(\psi,\beta)$17 with

$(\psi,\beta)$18

Second, there is a canonical embedding

$(\psi,\beta)$19

whose image is denoted by smooth expressions in even variables $(\psi,\beta)$20 and odd variables $(\psi,\beta)$21. Third, for any $(\psi,\beta)$22-algebra $(\psi,\beta)$23 and $(\psi,\beta)$24, there is an evaluation map

$(\psi,\beta)$25

Fourth, the theory satisfies a super-Fermat divided-difference property in each even slot and a linearity property in each odd slot, encoded by unique elements $(\psi,\beta)$26 and $(\psi,\beta)$27 such that

$(\psi,\beta)$28

$(\psi,\beta)$29

(Carchedi et al., 2012).

Within this framework, a morphism of superspaces or of $(\psi,\beta)$30 superalgebras,

$(\psi,\beta)$31

is said to be $(\psi,\beta)$32-times super-differentiable if, in local coordinates, all mixed partial super-derivatives up to total order $(\psi,\beta)$33 exist and are continuous (Carchedi et al., 2012). Equivalently, using the $(\psi,\beta)$34-th jet algebra

$(\psi,\beta)$35

the pullback $(\psi,\beta)$36 is $(\psi,\beta)$37-super-differentiable if it factors through the $(\psi,\beta)$38-jet prolongation

$(\psi,\beta)$39

(Carchedi et al., 2012). In this setting, “super-order” refers not to approximation order but to the calculus generated by even and odd directions in superalgebraic smoothness.

6. Fractional order as a synthetic notion of super-order differentiability

A third usage makes the term explicit: a function

$(\psi,\beta)$40

is said to be “super-order differentiable of order $(\psi,\beta)$41” if it belongs to certain spaces of continuously fractional differentiable functions (Carvalho-Neto et al., 28 Mar 2025). Let $(\psi,\beta)$42. The Riemann–Liouville and Caputo spaces are defined by

$(\psi,\beta)$43

$(\psi,\beta)$44

If $(\psi,\beta)$45, both spaces coincide with the usual $(\psi,\beta)$46 (Carvalho-Neto et al., 28 Mar 2025).

The same source states a synthetic equivalence for non-integer $(\psi,\beta)$47: “super-order differentiable of order $(\psi,\beta)$48” means either that $(\psi,\beta)$49 exists and is continuous, or that $(\psi,\beta)$50 exists and is continuous, or that

$(\psi,\beta)$51

and $(\psi,\beta)$52 is Hölder continuous of order $(\psi,\beta)$53, i.e.

$(\psi,\beta)$54

(Carvalho-Neto et al., 28 Mar 2025).

For the regime $(\psi,\beta)$55, the identification is especially sharp: $(\psi,\beta)$56 isomorphically (Carvalho-Neto et al., 28 Mar 2025). The paper also provides examples of functions that are fractional-smooth but not classically integer-smooth: $(\psi,\beta)$57 on $(\psi,\beta)$58 belongs to $(\psi,\beta)$59 but not to $(\psi,\beta)$60; the Weierstrass-type function

$(\psi,\beta)$61

lies in $(\psi,\beta)$62 and hence in $(\psi,\beta)$63, while having no classical derivative anywhere (Carvalho-Neto et al., 28 Mar 2025).

This usage differs from the approximation-theoretic one in formalism, but both organize smoothness by a scale intermediate between classical categories. A plausible implication is that the phrase “super-order” functions as a label for smoothness beyond integer-order classes rather than as a universally fixed technical term.

7. Conceptual scope, distinctions, and common misconceptions

The approximation-theoretic, supergeometric, and fractional-differentiability usages should not be conflated. In approximation theory, a super-order differentiable class is specified by a decay function $(\psi,\beta)$64 and a $(\psi,\beta)$65-derivative, and its defining feature is that $(\psi,\beta)$66 decreases faster than any power function but slower than geometric progression (Stepanyuk, 2018). In supergeometry, differentiability is encoded by operations labeled by smooth functions and Grassmann variables, together with divided-difference axioms and jet factorization (Carchedi et al., 2012). In fractional analysis, “super-order differentiable of order $(\psi,\beta)$67” is identified with continuity of a fractional derivative or, equivalently for non-integer $(\psi,\beta)$68, Hölder regularity of the appropriate order (Carvalho-Neto et al., 28 Mar 2025).

A common misconception is to read “super-order” as meaning analytic or ultra-analytic smoothness. The approximation-theoretic papers explicitly exclude the geometric regime: $(\psi,\beta)$69 means decay is slower than any geometric progression, even though it is faster than any power (Stepanyuk, 2018). Another possible misunderstanding is to equate “super-order” with arbitrary higher integer differentiability. In the fractional framework, the point is precisely that non-integer order regularity can be characterized independently of classical $(\psi,\beta)$70 smoothness; for example, $(\psi,\beta)$71 but $(\psi,\beta)$72 when $(\psi,\beta)$73 (Carvalho-Neto et al., 28 Mar 2025).

Taken together, these strands show that “super order differentiable functions” is best understood as a family of context-dependent notions indexed by refined smoothness data: by the decay law $(\psi,\beta)$74 in periodic approximation theory, by even-odd differential calculus in super Fermat theories, or by the order $(\psi,\beta)$75 of fractional differentiation. The shared mathematical content is the systematic refinement of the classical hierarchy of differentiability.