Ortho-derivative: Theory & Applications

• Ortho-derivative is defined differently across fields, such as an integral operator using orthogonal-polynomial kernels in approximation theory, a norm derivative in Hilbert C*-modules, and a categorical functor in orthogonal calculus.
• It provides accurate derivative approximations with error bounds (e.g., O(h²) or O(h^(2m+2))) and filter interpretations that analyze frequency response via hypergeometric and Bessel functions.
• Its applications span mathematical analysis, operator theory, and algebraic topology, offering both theoretical insights and practical computational schemes.

Searching arXiv for recent and directly relevant papers on the term and its main technical usages. “Ortho-derivative” is used in several mathematically distinct senses. In approximation theory and fractional analysis, it denotes an integral construction in which an ordinary derivative is recovered from an orthogonal-polynomial kernel in a small-scale limit, with extensions to Weyl or Riemann–Liouville fractional differentiation, multidimensional domains, and filter-theoretic transfer functions (Diekema, 2014). In Hilbert $C^*$-module theory, the same label is used for the norm-derivative $\rho_\pm$, which generalizes the real part of an inner product and yields state-based characterizations of orthogonality (Wojcik et al., 2021). In algebraic topology, “orthogonal derivative” denotes Weiss’s derivative in orthogonal calculus, formulated as a right Quillen functor and classified by spectra with $O(n)$-action (Barnes et al., 2014).

1. Classical orthogonal derivative

The classical orthogonal derivative is built from a family $\{p_n\}$ of orthogonal polynomials. In one formulation, if $\{p_n\}$ is a family of monic orthogonal polynomials on $[-1,1]$ with weight $w(t)$,

$$\int_{-1}^1 p_n(t)\,p_m(t)\,w(t)\,dt = h_n\,\delta_{n,m},$$

and leading coefficient $k_n=p_n(t)/t^n$, then the $n$th-order orthogonal derivative of a sufficiently smooth $\rho_\pm$0 is

$\rho_\pm$1

For Legendre polynomials $\rho_\pm$2, with $\rho_\pm$3 and $\rho_\pm$4, this specializes to the familiar integral formula with $\rho_\pm$5 (Diekema, 2021).

A closely related general formulation uses a positive Borel measure $\rho_\pm$6 and real polynomials $\rho_\pm$7 satisfying

$\rho_\pm$8

Then, under mild growth conditions on $\rho_\pm$9, the approximate orthogonal derivative

$O(n)$0

converges absolutely and reproduces the ordinary derivative as $O(n)$1 (Diekema, 2014).

If the limit is not taken, the construction becomes a finite-scale differentiation formula. For the Legendre case,

$O(n)$2

satisfies

$O(n)$3

so the leading error is $O(n)$4 and depends on $O(n)$5. For $O(n)$6,

$O(n)$7

(Diekema, 2021). This makes clear that the orthogonal derivative is simultaneously a limit definition and a practical approximation scheme.

2. Fractional orthogonal derivative and filter interpretation

The fractional orthogonal derivative is obtained by inserting the orthogonal approximation of the ordinary $O(n)$8th derivative into the Weyl or Riemann–Liouville fractional derivative. For the Weyl case, with $O(n)$9,

$\{p_n\}$0

Replacing the ordinary derivative by its orthogonal approximation yields an approximate fractional orthogonal derivative, which can be written as a single-integral convolution

$\{p_n\}$1

with explicitly computable kernel once the orthogonal-polynomial system is specified (Diekema, 2014).

For Jacobi polynomials $\{p_n\}$2 with weight $\{p_n\}$3 on $\{p_n\}$4, the resulting kernel admits an explicit hypergeometric form. In the notation of the paper, with fractional order renamed $\{p_n\}$5,

$\{p_n\}$6

where $\{p_n\}$7 is expressed through $\{p_n\}$8 and elementary Jacobi-type factors. Continuity in $\{p_n\}$9 recovers the ordinary Jacobi orthogonal derivative for $\{p_n\}$0 (Diekema, 2014).

Viewed as a linear time-invariant filter, the continuous-time Jacobi-based operator has transfer function

$\{p_n\}$1

The confluent hypergeometric factor determines the deviation from the ideal fractional law $\{p_n\}$2. In the Jacobi case, $\{p_n\}$3 for large $\{p_n\}$4, hence $\{p_n\}$5 whenever $\{p_n\}$6. This supplies a built-in high-frequency roll-off absent from the ideal fractional differentiator (Diekema, 2014).

The discrete analogue uses Hahn polynomials $\{p_n\}$7 on $\{p_n\}$8. The corresponding transfer function is

$\{p_n\}$9

which can be reduced to a finite $[-1,1]$0-representation in $[-1,1]$1 (Diekema, 2014).

A recurrent practical point in this literature is that filter behavior is diagnosed in the frequency domain rather than from the time-domain impulse response. For an ideal derivative of integer order $[-1,1]$2, $[-1,1]$3, so a log–log plot is a straight line of slope $[-1,1]$4; for a fractional derivative, the low-frequency slope is $[-1,1]$5. The paper emphasizes that for fractional differentiating filters the informative representation is the log–log plot of $[-1,1]$6, which reveals pass-band slope, transition, and high-frequency roll-off (Diekema, 2014).

3. Adjustable-precision extensions

A limitation of the classical finite-$[-1,1]$7 orthogonal derivative is that its leading truncation error is $[-1,1]$8. Two extensions described by Diekema and Koornwinder increase the algebraic order of accuracy to $[-1,1]$9, with an integer parameter $w(t)$0 chosen by the user (Diekema, 2021).

In Liptaj’s construction, the Legendre kernel is replaced by

$w(t)$1

with $w(t)$2 and the coefficients chosen so that terms up to order $w(t)$3 vanish in the expansion of $w(t)$4. The resulting approximation satisfies

$w(t)$5

and the first neglected term involves $w(t)$6. For $w(t)$7, the kernel simplifies to

$w(t)$8

yielding a first-derivative scheme accurate to $w(t)$9 (Diekema, 2021).

A second extension starts directly from the orthogonal-derivative framework and approximates the $$\int_{-1}^1 p_n(t)\,p_m(t)\,w(t)\,dt = h_n\,\delta_{n,m},$$0th derivative by a Legendre sum,

$$\int_{-1}^1 p_n(t)\,p_m(t)\,w(t)\,dt = h_n\,\delta_{n,m},$$1

Here each $$\int_{-1}^1 p_n(t)\,p_m(t)\,w(t)\,dt = h_n\,\delta_{n,m},$$2 is an ordinary Legendre polynomial and $$\int_{-1}^1 p_n(t)\,p_m(t)\,w(t)\,dt = h_n\,\delta_{n,m},$$3. The paper notes explicitly that when $$\int_{-1}^1 p_n(t)\,p_m(t)\,w(t)\,dt = h_n\,\delta_{n,m},$$4 this $$\int_{-1}^1 p_n(t)\,p_m(t)\,w(t)\,dt = h_n\,\delta_{n,m},$$5 is no longer an orthogonal polynomial (Diekema, 2021).

In the frequency domain, the associated transfer function is

$$\int_{-1}^1 p_n(t)\,p_m(t)\,w(t)\,dt = h_n\,\delta_{n,m},$$6

where $$\int_{-1}^1 p_n(t)\,p_m(t)\,w(t)\,dt = h_n\,\delta_{n,m},$$7 is the spherical Bessel function. The reported plots of $$\int_{-1}^1 p_n(t)\,p_m(t)\,w(t)\,dt = h_n\,\delta_{n,m},$$8 show low-pass behavior with successive zeros at higher frequencies, and increasing $$\int_{-1}^1 p_n(t)\,p_m(t)\,w(t)\,dt = h_n\,\delta_{n,m},$$9 pushes the passband to larger $k_n=p_n(t)/t^n$0 (Diekema, 2021).

These extensions clarify a common misconception. The label “orthogonal derivative” does not imply that every higher-accuracy extension remains orthogonal in the polynomial-theoretic sense. A precise statement from the literature is that the new kernel is not orthogonal for order greater than one, or, in the Legendre-sum formulation, that it is no longer an orthogonal polynomial when $k_n=p_n(t)/t^n$1 (Diekema, 2021).

4. Two-dimensional orthogonal and fractional constructions

The one-dimensional construction extends to mixed partial derivatives in two variables by integrating against a two-variable polynomial $k_n=p_n(t)/t^n$2. For a positive measure $k_n=p_n(t)/t^n$3, the mixed partial $k_n=p_n(t)/t^n$4 is represented by

$k_n=p_n(t)/t^n$5

For product measures on a square region, the construction factorizes. In particular, with Jacobi measures on $k_n=p_n(t)/t^n$6, one obtains a product of one-variable Jacobi kernels for $k_n=p_n(t)/t^n$7 (Diekema, 2020).

On the standard triangle

$k_n=p_n(t)/t^n$8

the relevant polynomial system is biorthogonal rather than product-orthogonal. With normalized Jacobi-type weight

$k_n=p_n(t)/t^n$9

one uses the Rodrigues-type basis

$n$0

These functions also admit an Appell $n$1 representation and satisfy explicit biorthogonality relations against the monic basis $n$2 (Diekema, 2020).

The two-dimensional fractional orthogonal derivative combines these constructions with Weyl-type fractional integrals in two variables. For $n$3,

$n$4

and the partial fractional derivative of order $n$5 is defined using ordinary partial derivatives exactly as in the one-variable Weyl–Riemann–Liouville theory. Replacing the ordinary mixed derivative by its orthogonal approximation produces a kernel representation $n$6 whose inner kernel is obtained by integrating $n$7 against fractional powers of $n$8 and $n$9 (Diekema, 2020).

For the square with product Jacobi weights, the fractional kernel factorizes into products of one-variable $\rho_\pm$00-kernels. For the triangle, the kernel becomes piecewise-defined on five regions of the $\rho_\pm$01-plane, and each piece is expressed by an elementary prefactor times one of the Appell or Horn functions $\rho_\pm$02, $\rho_\pm$03, $\rho_\pm$04, or Olsson’s $\rho_\pm$05 (Diekema, 2020).

The paper records several structural properties: linearity, a semigroup relation

$\rho_\pm$06

under suitable decay conditions, and recovery of ordinary mixed partials when the fractional orders approach integers. A plausible implication is that these multidimensional operators are naturally aligned with spectral and approximation frameworks on non-rectangular domains, particularly where explicit special-function kernels are available (Diekema, 2020).

5. Ortho-derivative as norm derivative in Hilbert $\rho_\pm$07-modules

In Banach-space and Hilbert $\rho_\pm$08-module literature, “ortho-derivative” denotes the norm-derivative in the direction of a second vector. For a complex normed space $\rho_\pm$09 and $\rho_\pm$10,

$\rho_\pm$11

and similarly

$\rho_\pm$12

These one-sided limits exist by convexity and satisfy

$\rho_\pm$13

When the norm comes from an inner product, $\rho_\pm$14, so $\rho_\pm$15 generalize the real part of the inner product (Wojcik et al., 2021).

Let $\rho_\pm$16 be a Hilbert $\rho_\pm$17-module over a $\rho_\pm$18-algebra $\rho_\pm$19, with $\rho_\pm$20-valued inner product $\rho_\pm$21, and let

$\rho_\pm$22

The key theorem gives the exact state-space formula

$\rho_\pm$23

and likewise

$\rho_\pm$24

This formula drives the subsequent orthogonality characterizations (Wojcik et al., 2021).

For Birkhoff–James orthogonality, $\rho_\pm$25 means $\rho_\pm$26 for all $\rho_\pm$27. The norm-derivative criterion is

$\rho_\pm$28

and in the Hilbert $\rho_\pm$29-module setting this becomes the state characterization

$\rho_\pm$30

The same framework yields corresponding formulations for strong Birkhoff–James orthogonality $\rho_\pm$31 and $\rho_\pm$32-orthogonality $\rho_\pm$33 (Wojcik et al., 2021).

The operator-theoretic application given in the paper concerns a generalized Daugavet-type equation in $\rho_\pm$34. Taking $\rho_\pm$35 and $\rho_\pm$36,

$\rho_\pm$37

which recovers

$\rho_\pm$38

In finite dimensions, with $\rho_\pm$39, the state description reduces to vector-state criteria such as

$\rho_\pm$40

This usage of “ortho-derivative” is therefore conceptually unrelated to orthogonal-polynomial differentiation, despite the similarity of terminology (Wojcik et al., 2021).

6. Orthogonal derivative in Weiss orthogonal calculus

A third usage arises in homotopy theory. In Weiss’s orthogonal calculus, the orthogonal derivative is a functorial construction on enriched functors $\rho_\pm$41, where $\rho_\pm$42 is the Top-enriched category of finite-dimensional real inner-product spaces and linear isometric embeddings. The $\rho_\pm$43th orthogonal derivative is defined by

$\rho_\pm$44

viewed as an object of the intermediate category $\rho_\pm$45, where $\rho_\pm$46 carries the coordinate-permutation action (Barnes et al., 2014).

Precomposition with the diagonal functor $\rho_\pm$47, $\rho_\pm$48, gives $\rho_\pm$49 the structure of a right adjoint. Its left adjoint sends an $\rho_\pm$50-equivariant $\rho_\pm$51-diagram $\rho_\pm$52 to the coend

$\rho_\pm$53

With the $\rho_\pm$54-homogeneous model structure on $\rho_\pm$55 and the stable model structure on $\rho_\pm$56, this adjunction is Quillen (Barnes et al., 2014).

The classification theorem states that there are Quillen equivalences

$\rho_\pm$57

the category of orthogonal or symmetric spectra with $\rho_\pm$58-action. On homotopy categories,

$\rho_\pm$59

and for an $\rho_\pm$60-homogeneous functor $\rho_\pm$61,

$\rho_\pm$62

The paper emphasizes that this organization is directly analogous to the model-categorical treatment of Goodwillie’s derivative (Barnes et al., 2014).

This topological usage shares only the word “orthogonal” with the analytic and $\rho_\pm$63-module usages. The derivative here is neither an integral operator nor a norm directional derivative; it is a categorical construction encoding the $\rho_\pm$64-homogeneous layer of a functor. The coexistence of these meanings explains why “ortho-derivative” is best treated as a context-dependent term rather than a single universally standardized object.