Lepage Test: Dual Perspectives
- Lepage test refers to two distinct criteria: one for verifying local variationality in geometric ODE systems via Lepage forms and another for combining rank-based location-scale tests in nonparametric statistics.
- In the geometric context, the test employs Lepage forms and Helmholtz conditions to determine if a system of differential equations originates from a Lagrangian, ensuring variational consistency.
- In statistics, the test consolidates location and scale components to detect differences between samples, with recent weak-null modifications enhancing its robustness and accuracy.
Searching arXiv for papers on “Lepage test” and closely related “Lepage equivalents” to ground the article in published work. tool call: arxiv_search tool call: arxiv_search {"4query4 test\"4 OR abs:\4"Lepage test\"4 OR ti:\4"Lepage equivalents\"","max_results":4all:\4query4,"sort_by":"relevance"} In current technical usage, the term Lepage test refers to two unrelated constructions. In the geometric calculus of variations, it denotes a criterion formulated through Lepage forms that detects whether a system of differential equations is variational, or whether a Lagrangian is null. In nonparametric statistics, it denotes a two-sample location-scale test obtained by combining a location component and a scale component. The two usages share a name but arise in different mathematical domains (&&&4query4&&&, &&&4all:\4&&&).
4all:\4. Distinct technical meanings
The current literature attaches the label Lepage test to several criteria built around different objects: source forms for ordinary differential equations, Lepage equivalents of Lagrangians on jet bundles, and combined rank statistics for two-sample inference. The following summary isolates the main settings.
| Usage | Setting | Criterion |
|---|---|---|
| Variational ODEs | Source form PRESERVED_PLACEHOLDER_4query4^ on PRESERVED_PLACEHOLDER_4all:\4^ | PRESERVED_PLACEHOLDER_4 OR abs:\4^ is locally variational iff the associated Lepage PRESERVED_PLACEHOLDER_4 OR ti:\4-form is closed |
| Field-theoretic variational calculus | Lagrangian on jet bundles | A suitably constructed Lepage equivalent has a closure property equivalent to vanishing Euler–Lagrange expressions |
| Nonparametric statistics | Two independent samples | A combined location-scale statistic is asymptotically under the null hypothesis |
This terminological split is important because the geometric and statistical tests are conceptually unrelated. In the geometric literature, Krupková, Urban–Volná, Rossi, Saunders, and Voicu–Garoiu–Vasian study closure and exactness properties of Lepage forms and Lepage equivalents (&&&4query4&&&, &&&4 OR ti:\4&&&, Voicu et al., 2021). In statistics, Fligner–Policello, Fong–Huang, and the recent weak-null modifications concern rank-based inference for simultaneous location and scale changes (&&&4all:\4&&&).
4 OR abs:\4. The geometric Lepage test for second-order ordinary differential equations
For second-order autonomous ODEs on a smooth manifold , one works with the product fibration
with and . A general second-order ODE system is encoded by a source form
PRESERVED_PLACEHOLDER_4all:\4query4^
where the PRESERVED_PLACEHOLDER_4all:\4all:\4^ are the basic contact PRESERVED_PLACEHOLDER_4all:\4 OR abs:\4-forms. The system is locally variational if locally there exists a Lagrangian PRESERVED_PLACEHOLDER_4all:\4 OR ti:\4^ whose Euler–Lagrange expressions
PRESERVED_PLACEHOLDER_4all:\44^
reproduce PRESERVED_PLACEHOLDER_4all:\45 (&&&4query4&&&).
Krupková’s construction associates to PRESERVED_PLACEHOLDER_4all:\46 a Lepage PRESERVED_PLACEHOLDER_4all:\47-form PRESERVED_PLACEHOLDER_4all:\48 on PRESERVED_PLACEHOLDER_4all:\49. In coordinates, Urban–Volná give the explicit formula
PRESERVED_PLACEHOLDER_4 OR abs:\4query4^
The Lepage test is the equivalence
PRESERVED_PLACEHOLDER_4 OR abs:\4all:\4^
In coordinates, this is exactly the classical Helmholtz conditions:
PRESERVED_PLACEHOLDER_4 OR abs:\4 OR abs:\4^
PRESERVED_PLACEHOLDER_4 OR abs:\4 OR ti:\4^
PRESERVED_PLACEHOLDER_4 OR abs:\44^
An equivalent formulation is that local variationality forces each PRESERVED_PLACEHOLDER_4 OR abs:\45 to be affine in PRESERVED_PLACEHOLDER_4 OR abs:\46,
PRESERVED_PLACEHOLDER_4 OR abs:\47
with symmetry and differential conditions on PRESERVED_PLACEHOLDER_4 OR abs:\48 and PRESERVED_PLACEHOLDER_4 OR abs:\49 reproducing PRESERVED_PLACEHOLDER_4 OR ti:\4query4. In this form, the test is an inverse-problem criterion: it decides whether a given second-order system arises as Euler–Lagrange equations.
4 OR ti:\4. Exactness, global variationality, and homogeneous systems
Closedness of the Lepage PRESERVED_PLACEHOLDER_4 OR ti:\4all:\4-form gives only local variationality. Global variationality is stronger: one asks for a globally defined horizontal PRESERVED_PLACEHOLDER_4 OR ti:\4 OR abs:\4-form PRESERVED_PLACEHOLDER_4 OR ti:\4 OR ti:\4^ such that PRESERVED_PLACEHOLDER_4 OR ti:\44. In the Lepage-equivalent formalism,
PRESERVED_PLACEHOLDER_4 OR ti:\45
where PRESERVED_PLACEHOLDER_4 OR ti:\46 is the Cartan form of PRESERVED_PLACEHOLDER_4 OR ti:\47. Hence the existence of a global Lagrangian is equivalent to solvability of the global exactness equation
PRESERVED_PLACEHOLDER_4 OR ti:\48
on PRESERVED_PLACEHOLDER_4 OR ti:\49; the horizontal part 4query4^ then yields a global 4all:\4^ (&&&4query4&&&).
Urban–Volná analyze this problem by decomposing
4 OR abs:\4^
where 4 OR ti:\4^ and 4 are closed 5-forms on 6. They construct a homotopy operator on 7 showing that 8 is always exact, and reduce global exactness of 9 to exactness of a certain closed 4query4-form 4all:\4^ on 4 OR abs:\4. Two consequences are singled out. First, if the leading pure-4 OR ti:\4^ component 4 vanishes, then 5, so 6 is globally exact and 7 is globally variational. Second, in general, solvability of 8 is governed by 9; if 4query4^ one may solve it topologically, but no universal constructive formula is known for arbitrary 4all:\4.
A particularly important case is homogeneity. Rossi and Urban–Volná show that every locally variational second-order ODE with 4 OR abs:\4^ homogeneous of degree 4 OR ti:\4^ or 4 is automatically globally variational. Writing
5
with 6 and 7 homogeneous of degree 8 and 9 respectively, one constructs two global 4query4-forms 4all:\4^ and 4 OR abs:\4^ on 4 OR ti:\4^ and sets
4
Its differential reproduces 5, hence 6 on all of 7.
The standard examples are geodesic equations. For a Riemannian metric 8, the energy Lagrangian
9
is homogeneous of degree 4query4^ in 4all:\4, and its Euler–Lagrange equations are homogeneous of degree 4 OR abs:\4^ in 4 OR ti:\4. For Finsler geometry, if 4 is positive-homogeneous of degree 5, then the energy 6 is degree-7 homogeneous and yields the spray equations
8
which are homogeneous of degree 9 in 4query4. In both cases the homogeneity hypothesis removes the topological obstruction, and one recovers globally defined Lagrangians.
4. Field-theoretic Lepage equivalents and closure tests for null Lagrangians
In higher-order field theory, a Lagrangian is a horizontal 4all:\4-form
4 OR abs:\4^
on a jet bundle 4 OR ti:\4^ of a fibered manifold 4, with 5. A Lepage equivalent 6 is an 7-form whose horizontal part is 8 and whose first contact component of 9 is the Euler–Lagrange source form. In the formulation of Vitolo–Palese–Rossi, the operational Lepage test for an arbitrary PRESERVED_PLACEHOLDER_4all:\4query4query4-form PRESERVED_PLACEHOLDER_4all:\4query4all:\4^ is: compute its horizontal part PRESERVED_PLACEHOLDER_4all:\4query4 OR abs:\4, compute PRESERVED_PLACEHOLDER_4all:\4query4 OR ti:\4, and check whether the PRESERVED_PLACEHOLDER_4all:\4query44-contact component vanishes,
PRESERVED_PLACEHOLDER_4all:\4query45
Then PRESERVED_PLACEHOLDER_4all:\4query46 is a Lepage equivalent of PRESERVED_PLACEHOLDER_4all:\4query47 if and only if PRESERVED_PLACEHOLDER_4all:\4query48 and PRESERVED_PLACEHOLDER_4all:\4query49. Equivalently,
PRESERVED_PLACEHOLDER_4all:\4all:\4query4^
with PRESERVED_PLACEHOLDER_4all:\4all:\4all:\4^ the Euler–Lagrange form and no higher contact terms (Palese et al., 2020).
Saunders reformulates the closure property in the variational bicomplex. Given a homotopy operator PRESERVED_PLACEHOLDER_4all:\4all:\4 OR abs:\4^ for the horizontal differential PRESERVED_PLACEHOLDER_4all:\4all:\4 OR ti:\4, one defines the fundamental Lepage form
PRESERVED_PLACEHOLDER_4all:\4all:\44^
This is again a Lepage equivalent, and it satisfies the closure criterion
PRESERVED_PLACEHOLDER_4all:\4all:\45
so the vanishing of its horizontal differential is exactly equivalent to PRESERVED_PLACEHOLDER_4all:\4all:\46 being a null Lagrangian. Saunders also gives a global version PRESERVED_PLACEHOLDER_4all:\4all:\47 by choosing a symmetric linear connection PRESERVED_PLACEHOLDER_4all:\4all:\48 on the manifold of independent variables and using Anderson’s global homotopy operator PRESERVED_PLACEHOLDER_4all:\4all:\49 (&&&4 OR ti:\4&&&).
Voicu, Garoiu, and Vasian prove an analogous closure property for general Lagrangians of any order using a canonical construction. Starting from the Vainberg–Tonti Lagrangian PRESERVED_PLACEHOLDER_4all:\4 OR abs:\4query4^ with the same Euler–Lagrange form as PRESERVED_PLACEHOLDER_4all:\4 OR abs:\4all:\4, and a local decomposition PRESERVED_PLACEHOLDER_4all:\4 OR abs:\4 OR abs:\4, they define a Lepage equivalent
PRESERVED_PLACEHOLDER_4all:\4 OR abs:\4 OR ti:\4^
and show
PRESERVED_PLACEHOLDER_4all:\4 OR abs:\44^
For reducible second-order Lagrangians PRESERVED_PLACEHOLDER_4all:\4 OR abs:\45, they obtain the reduced first-order form
PRESERVED_PLACEHOLDER_4all:\4 OR abs:\46
again with
PRESERVED_PLACEHOLDER_4all:\4 OR abs:\47
Although the construction is local in general, the paper states that in many cases of physical interest it becomes global, notably for vector or tensor bundles and Lagrangians of order at most PRESERVED_PLACEHOLDER_4all:\4 OR abs:\48, including the Einstein–Hilbert Lagrangian, Lovelock generalizations, and Horndeski-type theories (Voicu et al., 2021).
A common source of confusion is that the ODE and field-theoretic versions do not test the same property. For ODE source forms, the test detects local variationality; for field-theoretic Lagrangians, the recent closure-property constructions detect nullity or vanishing Euler–Lagrange expressions.
5. The classical Lepage test in nonparametric statistics
In statistics, the classical Lepage test addresses the two-sample independent location-scale problem. Let
PRESERVED_PLACEHOLDER_4all:\4 OR abs:\49
be independent samples. The strong null hypothesis is
PRESERVED_PLACEHOLDER_4all:\4 OR ti:\4query4^
equivalently no location shift PRESERVED_PLACEHOLDER_4all:\4 OR ti:\4all:\4^ and no scale change PRESERVED_PLACEHOLDER_4all:\4 OR ti:\4 OR abs:\4. The alternatives include location-only,
PRESERVED_PLACEHOLDER_4all:\4 OR ti:\4 OR ti:\4^
scale-only,
PRESERVED_PLACEHOLDER_4all:\4 OR ti:\44^
and the full location-scale alternative
PRESERVED_PLACEHOLDER_4all:\4 OR ti:\45
with PRESERVED_PLACEHOLDER_4all:\4 OR ti:\46 or PRESERVED_PLACEHOLDER_4all:\4 OR ti:\47 (&&&4all:\4&&&).
The location component is the Wilcoxon–Mann–Whitney statistic
PRESERVED_PLACEHOLDER_4all:\4 OR ti:\48
Under PRESERVED_PLACEHOLDER_4all:\4 OR ti:\49,
PRESERVED_PLACEHOLDER_4all:\44query4^
The scale component is the Ansari–Bradley statistic PRESERVED_PLACEHOLDER_4all:\44all:\4: order the pooled sample PRESERVED_PLACEHOLDER_4all:\44 OR abs:\4, assign symmetric ranks PRESERVED_PLACEHOLDER_4all:\44 OR ti:\4, and sum the assigned ranks over the PRESERVED_PLACEHOLDER_4all:\444^ observations. Under PRESERVED_PLACEHOLDER_4all:\445,
PRESERVED_PLACEHOLDER_4all:\446
and
PRESERVED_PLACEHOLDER_4all:\447
PRESERVED_PLACEHOLDER_4all:\448
Lepage’s combined statistic is
PRESERVED_PLACEHOLDER_4all:\449
Under PRESERVED_PLACEHOLDER_4all:\4max_results4query4, both standardized components are asymptotically PRESERVED_PLACEHOLDER_4all:\4max_results4all:\4^ and independent, hence
PRESERVED_PLACEHOLDER_4all:\4max_results4 OR abs:\4^
The main limitation of the classical construction lies in the assumptions required by its components. The Wilcoxon–Mann–Whitney test assumes equal population variances under the null of no location shift, and the Ansari–Bradley test requires equal population medians for its null distribution to be distribution-free. These assumptions motivate the recent weak-null modifications.
6. Weak-null modifications and recent extensions
The recent weak-null framework modifies both components of the classical Lepage test. For location, Fligner and Policello proposed
PRESERVED_PLACEHOLDER_4all:\4max_results4 OR ti:\4^
where PRESERVED_PLACEHOLDER_4all:\454 is a data-based consistent estimator under the weak null PRESERVED_PLACEHOLDER_4all:\455. Fong and Huang identified a small bias in PRESERVED_PLACEHOLDER_4all:\456 and proposed
PRESERVED_PLACEHOLDER_4all:\457
with PRESERVED_PLACEHOLDER_4all:\458 exactly equal to PRESERVED_PLACEHOLDER_4all:\459 under PRESERVED_PLACEHOLDER_4all:\4sort_by4query4^ even when PRESERVED_PLACEHOLDER_4all:\4sort_by4all:\4. For scale, a new estimator of the Ansari–Bradley variance is introduced:
PRESERVED_PLACEHOLDER_4all:\4sort_by4 OR abs:\4^
leading to
PRESERVED_PLACEHOLDER_4all:\4sort_by4 OR ti:\4^
These replacements yield five modified Lepage-type statistics under the weak null (&&&4all:\4&&&).
| Variant | Location term | Scale term |
|---|---|---|
| PRESERVED_PLACEHOLDER_4all:\464 | PRESERVED_PLACEHOLDER_4all:\465 | PRESERVED_PLACEHOLDER_4all:\466 |
| PRESERVED_PLACEHOLDER_4all:\467 | PRESERVED_PLACEHOLDER_4all:\468 | PRESERVED_PLACEHOLDER_4all:\469 |
| PRESERVED_PLACEHOLDER_4all:\4relevance4query4^ | PRESERVED_PLACEHOLDER_4all:\4relevance4all:\4^ | PRESERVED_PLACEHOLDER_4all:\4relevance4 OR abs:\4^ |
| PRESERVED_PLACEHOLDER_4all:\4relevance4 OR ti:\4^ | PRESERVED_PLACEHOLDER_4all:\474 | PRESERVED_PLACEHOLDER_4all:\475 |
| PRESERVED_PLACEHOLDER_4all:\476 | PRESERVED_PLACEHOLDER_4all:\477 | PRESERVED_PLACEHOLDER_4all:\478 |
Under the weak null hypothesis, each standardized component is asymptotically PRESERVED_PLACEHOLDER_4all:\479 and uncorrelated, so each PRESERVED_PLACEHOLDER_4all:\484query4^ is asymptotically PRESERVED_PLACEHOLDER_4all:\484all:\4 For small samples, the paper recommends Monte Carlo or permutation of group labels; critical values for PRESERVED_PLACEHOLDER_4all:\484 OR abs:\4^ were tabulated for sample sizes as small as PRESERVED_PLACEHOLDER_4all:\484 OR ti:\4.
The simulation study examines five distributions—Exponential, PRESERVED_PLACEHOLDER_4all:\484, Gamma, Beta, and Uniform—in two sample-size regimes, PRESERVED_PLACEHOLDER_4all:\485 and PRESERVED_PLACEHOLDER_4all:\486. All modified tests maintain near nominal PRESERVED_PLACEHOLDER_4all:\487 type I error in small samples. In large samples, PRESERVED_PLACEHOLDER_4all:\488 tends to be slightly conservative; PRESERVED_PLACEHOLDER_4all:\489 are slightly liberal; and PRESERVED_PLACEHOLDER_4all:\494query4^ is very close. Across non-Normal, skewed, or heavy-tailed cases, the modified tests except PRESERVED_PLACEHOLDER_4all:\494all:\4^ uniformly outperform PRESERVED_PLACEHOLDER_4all:\494 OR abs:\4. For example, for ExponentialPRESERVED_PLACEHOLDER_4all:\494 OR ti:\4^ versus ExpPRESERVED_PLACEHOLDER_4all:\494 with PRESERVED_PLACEHOLDER_4all:\495, the reported powers are approximately PRESERVED_PLACEHOLDER_4all:\496 for PRESERVED_PLACEHOLDER_4all:\497, PRESERVED_PLACEHOLDER_4all:\498 for PRESERVED_PLACEHOLDER_4all:\499, PRESERVED_PLACEHOLDER_4 OR abs:\4query4query4^ for PRESERVED_PLACEHOLDER_4 OR abs:\4query4all:\4, PRESERVED_PLACEHOLDER_4 OR abs:\4query4 OR abs:\4^ for PRESERVED_PLACEHOLDER_4 OR abs:\4query4 OR ti:\4, and PRESERVED_PLACEHOLDER_4 OR abs:\4query44^ for PRESERVED_PLACEHOLDER_4 OR abs:\4query45; at PRESERVED_PLACEHOLDER_4 OR abs:\4query46, the corresponding powers are about PRESERVED_PLACEHOLDER_4 OR abs:\4query47, PRESERVED_PLACEHOLDER_4 OR abs:\4query48, PRESERVED_PLACEHOLDER_4 OR abs:\4query49, PRESERVED_PLACEHOLDER_4 OR abs:\4all:\4query4, and PRESERVED_PLACEHOLDER_4 OR abs:\4all:\4all:\4.
The biomedical illustration uses newborn platelet counts from infants of mothers treated with prednisone PRESERVED_PLACEHOLDER_4 OR abs:\4all:\4 OR abs:\4^ versus untreated controls PRESERVED_PLACEHOLDER_4 OR abs:\4all:\4 OR ti:\4. Visual inspection suggests both higher median and higher variability in the treated group. The one-tailed right PRESERVED_PLACEHOLDER_4 OR abs:\4all:\44-values at PRESERVED_PLACEHOLDER_4 OR abs:\4all:\45 are reported as PRESERVED_PLACEHOLDER_4 OR abs:\4all:\46 for PRESERVED_PLACEHOLDER_4 OR abs:\4all:\47, less than PRESERVED_PLACEHOLDER_4 OR abs:\4all:\48 for PRESERVED_PLACEHOLDER_4 OR abs:\4all:\49, less than PRESERVED_PLACEHOLDER_4 OR abs:\4 OR abs:\4query4^ for PRESERVED_PLACEHOLDER_4 OR abs:\4 OR abs:\4all:\4, PRESERVED_PLACEHOLDER_4 OR abs:\4 OR abs:\4 OR abs:\4^ for PRESERVED_PLACEHOLDER_4 OR abs:\4 OR abs:\4 OR ti:\4, and less than PRESERVED_PLACEHOLDER_4 OR abs:\4 OR abs:\44^ for PRESERVED_PLACEHOLDER_4 OR abs:\4 OR abs:\45 and PRESERVED_PLACEHOLDER_4 OR abs:\4 OR abs:\46. The paper’s practical recommendation is to prefer PRESERVED_PLACEHOLDER_4 OR abs:\4 OR abs:\47 for general two-sample location-scale problems where variances or medians may differ, and to use permutation or Monte Carlo critical values for very small samples.
The statistical literature therefore uses the Lepage name for a combined rank procedure whose modern form is no longer tied to the strong null PRESERVED_PLACEHOLDER_4 OR abs:\4 OR abs:\48. By contrast, the geometric literature uses the name for closure or exactness criteria in the inverse problem of the calculus of variations. The coexistence of these meanings is now a stable feature of the literature rather than a notational anomaly.