Extended Allwright Formula Overview

• Extended Allwright Formula is a differential identity that characterizes how system solutions depend on initial parameters via higher-order derivatives.
• In the ODE context, it extends Allwright’s scalar result to multidimensional vector Riccati systems using Kronecker products and fractional linear representations.
• In black hole thermodynamics, a similar identity interprets mass variation in response to thermodynamic couplings, unifying bulk and boundary contributions.

Searching arXiv for papers on the Allwright formula and the phrase "extended Allwright formula" to ground the article in current literature. The available sources suggest that the expression Extended Allwright Formula has two closely related but non-identical uses. In the theory of ordinary differential equations, the established object is the generalized Allwright formula, a multidimensional analogue of Allwright’s scalar identity for the dependence of a flow on its initial data, developed by means of the Kronecker product and tied to vector Riccati equations (Andersen et al., 2010). In a separate and explicitly interpretive usage in extended black hole thermodynamics, an extended Allwright-type formula denotes a generalized first-law identity in which the mass varies with entropy, angular momentum, pressure, and higher-curvature couplings, with the corresponding conjugate quantities written as explicit bulk and boundary integrals (Xiao et al., 1 Dec 2025). The common theme is an exact differential identity that characterizes a distinguished class of systems through the structure of solution dependence on parameters.

1. Terminological scope

In the differential-equation literature represented here, the relevant primary notion is the generalized Allwright formula for the system

$$\frac{dx}{dt} = f(t,x),\qquad (t,x)\in I\times \mathbb{R}^n, \tag{39}$$

with $f$ continuous and $C^3$ in $x$, where $P(t,\tau,\xi)$ denotes the maximal solution through $(\tau,\xi)$ (Andersen et al., 2010). The formula is a matrix- and tensor-valued analogue of Allwright’s scalar third-order identity, written in terms of $D_{\xi}P$, $D_{\xi}^2P$, $D_{\xi}^3P$, and the higher derivatives of $f$.

In the black-hole thermodynamics literature represented here, the phrase extended Allwright formula is not presented as a standard title of a known result. The source states that “the paper does not mention ‘Allwright’ explicitly,” and interprets the phrase as a generalized thermodynamic identity expressing the differential of the mass $f$0 with respect to thermodynamic variables and couplings in extended black hole thermodynamics (Xiao et al., 1 Dec 2025). This makes the term interpretive rather than canonical in that context.

A plausible implication is that the phrase now serves as an umbrella label for two mathematically analogous constructions: one concerns the dependence of ODE flows on initial values, and the other concerns the dependence of black-hole mass on couplings and thermodynamic variables. In both cases, the defining content is an explicit identity for higher-order or extended variations.

2. Classical Allwright formula in the scalar case

The scalar starting point is the ordinary differential equation

$f$1

with flow map

$f$2

A prime on $f$3 denotes differentiation with respect to the initial value $f$4. The first derivative satisfies

$f$5

which is the solution of the scalar linear variational equation

$f$6

The second derivative with respect to $f$7 is

$f$8

Allwright’s formula itself is a third-order relation among $f$9, $C^3$0, and $C^3$1: $C^3$2

The same content can be expressed through the Schwarzian derivative

$C^3$3

for which

$C^3$4

This identity describes the dependence of the general solution $C^3$5 on the initial value $C^3$6 through the structure of the first three initial-value derivatives. In the scalar theory, the vanishing of the Schwarzian derivative is the decisive condition linking the flow to Riccati structure (Andersen et al., 2010).

3. Kronecker-product generalization to systems

For the system

$C^3$7

let $C^3$8 be the maximal solution through $C^3$9. Here $x$0 denotes differentiation with respect to the state variable $x$1, and derivatives with respect to $x$2 encode dependence on initial data.

If $x$3 is the fundamental matrix of the first variational system

$x$4

then

$x$5

Thus the Jacobian of the flow with respect to the initial value is exactly the fundamental matrix of the linearized system.

The second derivative of the flow is an $x$6 block matrix and satisfies

$x$7

The appearance of $x$8 reflects the fact that second derivatives of a vector-valued function act on pairs of directions, and the paper uses block matrices together with Kronecker products to represent this tensorial action.

For $x$9, the differential notation is

$P(t,\tau,\xi)$0

with $P(t,\tau,\xi)$1 and $P(t,\tau,\xi)$2. The generalized Allwright formula is then written as

$P(t,\tau,\xi)$3

The left-hand side is the matrix analogue of the scalar combination $P(t,\tau,\xi)$4. When $P(t,\tau,\xi)$5, Kronecker products reduce to ordinary products, all matrices commute, the second integral vanishes, and the generalized formula reduces to Allwright’s scalar formula. For $P(t,\tau,\xi)$6, the additional integral is generically nonzero and captures multidimensional effects absent in the scalar theory (Andersen et al., 2010).

4. Riccati structure and fractional linear dependence on initial values

In the scalar case, the Riccati equation is

$P(t,\tau,\xi)$7

The source states that $P(t,\tau,\xi)$8, equivalently the vanishing of the left-hand side of (4), holds if and only if the scalar ODE is a Riccati equation. The flow is then fractional linear in the initial value: $P(t,\tau,\xi)$9

The multidimensional analogue is the vector Riccati system

$(\tau,\xi)$0

where $(\tau,\xi)$1, $(\tau,\xi)$2, and $(\tau,\xi)$3. For $(\tau,\xi)$4, this reduces to the scalar Riccati equation.

The central characterization is Theorem 5.1: system (39) is a vector Riccati equation if and only if

$(\tau,\xi)$5

for all $(\tau,\xi)$6, $(\tau,\xi)$7, and $(\tau,\xi)$8. The proof proceeds by showing that the vanishing of this Schwarzian-type expression implies a strong proportionality constraint

$(\tau,\xi)$9

then forces

$D_{\xi}P$0

so that Taylor’s formula yields

$D_{\xi}P$1

and a further structural result gives

$D_{\xi}P$2

The fractional-linear characterization is equally exact. A fractional linear vector function is defined by

$D_{\xi}P$3

with $D_{\xi}P$4, $D_{\xi}P$5, $D_{\xi}P$6, and $D_{\xi}P$7. For the vector Riccati system, the general solution in the initial value has the form

$D_{\xi}P$8

and Theorem 6.1 states that system (39) is a vector Riccati equation if and only if its general solution has this fractional linear vector form (Andersen et al., 2010).

This extends the scalar equivalence

$D_{\xi}P$9

to systems by replacing the scalar Schwarzian with a Kronecker-product expression built from $D_{\xi}^2P$0, $D_{\xi}^2P$1, and $D_{\xi}^2P$2.

5. Extended thermodynamic identity in black hole physics

A distinct, explicitly interpretive use of the phrase appears in extended black hole thermodynamics. The source frames the theory by promoting the cosmological constant and other couplings in the gravitational action to thermodynamic variables, with Lagrangian

$D_{\xi}^2P$3

and extended first law

$D_{\xi}^2P$4

The paper’s main result is a universal formula for the thermodynamic volumes $D_{\xi}^2P$5 conjugate to couplings $D_{\xi}^2P$6. In the extended Iyer–Wald formalism, one obtains

$D_{\xi}^2P$7

so that

$D_{\xi}^2P$8

The two pieces are

$D_{\xi}^2P$9

and

$D_{\xi}^3P$0

The first term encodes the direct dependence of the action on the coupling $D_{\xi}^3P$1, while the second encodes the response of the dynamical fields to changing $D_{\xi}^3P$2. The source states that this resolves the conceptual problem that, unlike $D_{\xi}^3P$3, $D_{\xi}^3P$4, $D_{\xi}^3P$5, $D_{\xi}^3P$6, and $D_{\xi}^3P$7, the thermodynamic volume had previously lacked an independent first-principles definition.

Within that paper, the expression extended Allwright formula is introduced only as an interpretation: $D_{\xi}^3P$8 Equivalently,

$D_{\xi}^3P$9

This suggests an analogy rather than a direct identity with the ODE-theoretic generalized Allwright formula. In the ODE setting, the distinguished differential relation characterizes vector Riccati systems through dependence on initial values. In the thermodynamic setting, the distinguished relation characterizes how the mass responds to variations of pressure and higher-curvature couplings through explicit bulk and boundary contributions (Xiao et al., 1 Dec 2025).

6. Examples, implications, and limitations

The multidimensional Allwright theory has several explicit consequences. It yields a characterization of those systems whose nonlinear term has the special form

$f$0

and it shows that vector Riccati flows are fractional linear vector functions obtained from an $f$1-dimensional linear system

$f$2

with fundamental matrix

$f$3

The resulting projective quotient gives

$f$4

The source further notes connections with projective geometry and perspective transformations, indicating geometric interpretations of vector Riccati flows as projective maps on $f$5 (Andersen et al., 2010).

In extended black hole thermodynamics, the universal volume formula is illustrated in two explicit cases. For four-dimensional Kerr–AdS in Einstein gravity, the paper finds

$f$6

When $f$7,

$f$8

For rotating BTZ in three-dimensional new massive gravity, the source gives

$f$9

and

$f$00

These examples are used to show that $f$01 is not simply the naive geometric volume; the formula captures coupling-dependent corrections through both bulk and boundary terms (Xiao et al., 1 Dec 2025).

Several limitations are stated explicitly in the thermodynamic setting. The derivation is framed for asymptotically AdS spacetimes and uses either background subtraction or holographic renormalization. It assumes stationarity and relies on Killing vectors. Different regularization choices can shift the decomposition between bulk and boundary pieces, and the treatment omits $f$02 terms for simplicity, noting that they vanish numerically for Killing vectors and can be absorbed into redefinitions of charges. In the ODE setting, by contrast, the main novelty is algebraic rather than asymptotic: higher derivatives become block matrices, Kronecker products are essential, and noncommutativity produces terms with no scalar analogue.

Taken together, the two bodies of work show that an “extended” Allwright-type formula is best understood as a higher-level exact identity governing parameter dependence. In one case the parameters are initial values of a nonlinear flow; in the other they are thermodynamic variables and couplings. The first is a rigorous generalization of Allwright’s original scalar relation, while the second is an interpretive extension of the same structural idea to covariant black hole thermodynamics.