AQUAL Gravity Theory¶

A nonrelativistic modified-gravity theory derived from an aquadratic gravitational action, yielding a nonlinear Poisson equation with Newtonian and deep-MOND limits.

Version: v1 · 2026-08-30 · History
Domain-specific #: 1300
Origin domain: theoretical physics
Subdomain: modified gravity
Aliases: AQUAL, Aquadratic Lagrangian theory

Core Idea¶

AQUAL—the aquadratic Lagrangian theory introduced by Jacob Bekenstein and Mordehai Milgrom—is a nonrelativistic modified-gravity formulation of MOND. It replaces the quadratic gravitational-field term in the Newtonian action with a nonlinear function of the dimensionless squared potential gradient. Varying the action with respect to the gravitational potential \(\Phi\) yields the modified Poisson equation^[1]

\[ \nabla\!\cdot\!\left[\mu\!\left(\frac{|\nabla\Phi|}{a_0}\right)\nabla\Phi\right] =4\pi G\rho, \]

with gravitational acceleration \(\mathbf g=-\nabla\Phi\), mass density \(\rho\), Newton's constant \(G\), and acceleration scale \(a_0\). The interpolation function is derived from the action function and is chosen so that \(\mu(x)\to1\) for \(x\gg1\), recovering the Newtonian Poisson equation, while \(\mu(x)\sim x\) for \(x\ll1\), producing the deep-MOND regime.^[2]^[3]

The distinctive contribution is not simply a phenomenological relation between Newtonian and observed acceleration. By embedding the modification in an action, AQUAL supplies field equations and the conservation structure associated with spacetime symmetries in its nonrelativistic setting. It also handles nonspherical systems through a nonlinear elliptic partial differential equation. In spherical, cylindrical, or planar symmetry under appropriate boundary conditions, integration can reduce the field equation to the familiar algebraic MOND relation. In general geometry a solenoidal or “curl” field prevents that algebraic shortcut.^[2]

AQUAL is deliberately bounded. It is not a generally covariant relativistic theory and does not by itself provide a complete cosmology or relativistic lensing account. Later theories such as TeVeS and other relativistic MOND frameworks address different obligations. The node captures the reusable action–nonlinear-field-equation–asymptotic-limit package, not endorsement of MOND over dark matter or a summary of all modified gravity.^[4]

Structural Signature¶

The nonrelativistic gravitational potential — a scalar field \(\Phi(\mathbf x)\) coupled to matter density.
The acceleration scale — a positive constant \(a_0\) separating Newtonian and low-acceleration regimes.
The aquadratic action term — a nonlinear function of \(|\nabla\Phi|^2/a_0^2\) replacing the quadratic Newtonian term.
The variational derivation — stationary action yields a nonlinear modified Poisson equation.
The interpolation function — \(\mu(|\nabla\Phi|/a_0)\), related to the derivative of the action function.
The two asymptotic constraints — \(\mu\to1\) at high acceleration and \(\mu\sim x\) at low acceleration.
The boundary-value problem — matter density and boundary conditions determine \(\Phi\); geometry matters because the equation is nonlinear.
The conservation rationale — action and symmetry restore a coherent field-theory basis absent from a bare algebraic force prescription.

Recognition test. A formulation is AQUAL only if it has the aquadratic scalar-potential action, the resulting divergence-form nonlinear Poisson equation, and the MOND/Newtonian limiting behavior. Any theory that merely modifies gravity at low acceleration, or any fit using an interpolation curve, is too broad.

What It Is Not¶

Not MOND as a whole. MOND is a paradigm with multiple nonrelativistic and relativistic formulations; AQUAL is one specific modified-Poisson theory.
Not the bare Milgrom algebraic law. The algebraic relation is recovered under special symmetry, not generally.
Not QUMOND. QUMOND uses a quasi-linear sequence of Poisson equations and a different action structure.
Not TeVeS or another relativistic completion. AQUAL is nonrelativistic and cannot carry all relativistic observables by itself.
Not Newtonian gravity with dark matter. It modifies the field equation sourced by the specified density rather than adding an unseen matter density within the same equation.
Not an empirical claim that all anomalies are explained. The abstraction is the theory structure; observational adequacy is a separate, revisable assessment.

Scope of Application¶

AQUAL supplies a field equation for galactic and other low-acceleration gravitational systems, including geometries where the original algebraic MOND prescription is insufficient. It is used analytically for symmetric systems and numerically for general mass distributions. Its nonlinear character produces effects such as dependence on the surrounding field and makes superposition unavailable in its Newtonian form.

The theory is applicable in its nonrelativistic weak-field domain. High-acceleration boundary conditions recover Newtonian behavior when the chosen interpolation function has the required limit. Claims about gravitational waves, relativistic cosmology, strong-field compact objects, or light propagation require a relativistic framework and should not be attributed to AQUAL alone.

Clarity¶

“Aquadratic” means that the field part of the Lagrangian is not restricted to the Newtonian quadratic dependence on \(\nabla\Phi\). It does not mean the entire action lacks quadratic terms or that every nonlinear Poisson theory is AQUAL. The relationship between the action function and \(\mu\) depends on convention, so the field equation and asymptotic conditions are the safest invariant presentation.

Signs also vary with potential and action conventions. The displayed equation adopts the common convention \(\mathbf g=-\nabla\Phi\) and positive \(4\pi G\rho\) on the right of the Poisson equation. Changing an overall sign in the action presentation does not change the identity when the resulting field equation is consistent.

Manages Complexity¶

The action organizes what would otherwise be an ad hoc local acceleration rule. A single functional determines the nonlinear field equation, boundary-value problem, and conserved quantities tied to symmetries. This makes it possible to analyze nonspherical mass distributions coherently instead of applying a pointwise algebraic replacement that need not derive from a potential.

The compression comes at computational cost. Nonlinearity destroys ordinary superposition, so solutions for separate masses cannot simply be added. Numerical solvers must handle the coefficient \(\mu\) as a function of the unknown gradient. The abstraction makes these obligations visible rather than hiding them behind a fitted acceleration curve.

Abstract Reasoning¶

AQUAL reasoning proceeds from functional to Euler–Lagrange field equation to boundary-conditioned solution to acceleration. The asymptotic analysis then checks correspondence: in regions where \(|\nabla\Phi|/a_0\) is large, the coefficient tends to one and ordinary Poisson gravity emerges; in the deep-MOND limit, the coefficient becomes proportional to the gradient magnitude and the PDE changes scaling.

Symmetry determines when the vector relation between MOND and Newtonian fields becomes algebraic. Under sufficient symmetry, divergence equations plus boundary conditions force aligned fields. Without symmetry, equal divergences do not imply equal vector fields; a divergence-free contribution can remain. That is why using the algebraic MOND formula pointwise in an arbitrary galaxy is not an exact solution of AQUAL.

Knowledge Transfer¶

AQUAL transfers the variational toolkit from classical field theory into modified gravity. Once an action is specified, one can derive the field equation rather than posit it separately, inspect symmetry consequences, and construct energy or momentum balances within the theory's domain. The same general transfer underlies many nonlinear elliptic field theories.

The Newtonian correspondence limit also transfers tested high-acceleration reasoning while isolating where new behavior begins. This transfer is conditional: \(\mu\to1\) must occur sufficiently rapidly and the boundary-value problem must be solved. The existence of a formal limit does not guarantee that every nonspherical observable equals its Newtonian counterpart at finite acceleration.

Examples¶

High-acceleration region. If \(|\nabla\Phi|\gg a_0\), then \(\mu\approx1\) and the equation approaches \(\nabla^2\Phi=4\pi G\rho\).
Deep-MOND exterior of an isolated spherical mass. With \(\mu(x)\approx x\), spherical flux conservation gives an acceleration scaling approximately as \(g\sim\sqrt{GMa_0}/r\), producing an asymptotically constant circular speed.
Nonspherical source. The full nonlinear PDE must be solved; the simple algebraic relation between \(g\) and \(g_N\) can fail because of the curl-field contribution.
External-field setting. Because the equation is nonlinear, a subsystem's internal solution can depend on a nearly uniform external field even when Newtonian internal dynamics would separate more simply.

Structural Tensions¶

Phenomenological simplicity versus field consistency: the algebraic MOND law is easy to apply, while AQUAL supplies action-based consistency at the cost of a nonlinear PDE. Diagnostic: was the field obtained from the boundary-value equation or merely from the algebraic shortcut?
Newtonian correspondence versus nonlinear residue: \(\mu\to1\) restores the field equation asymptotically, but geometry can govern finite-regime deviations. Diagnostic: is the argument truly in the asymptotic high-acceleration regime?
Symmetry reduction versus general geometry: special symmetries give algebraic formulas; generic sources require boundary-value computation. Diagnostic: which symmetry eliminates the otherwise possible divergence-free field contribution?
Nonrelativistic coherence versus relativistic incompleteness: action principles and conservation are gained without a full relativistic theory. Diagnostic: does the claim require lensing, cosmology, or relativistic propagation beyond AQUAL's scope?
Theory identity versus empirical adjudication: clearly specifying AQUAL does not settle whether nature selects it. Diagnostic: is a definitional consequence being kept separate from an observational model-comparison claim?
Autonomy vs. reduction: least action and limiting correspondence expose the structural skeleton, while the aquadratic action, MOND interpolation function, nonlinear Poisson equation, and acceleration scale remain autonomous. Diagnostic: after deleting those gravity-specific roles, is the remaining case still recognizably AQUAL rather than a generic variational field theory?

Structural–Framed Character¶

The theory is framed by a scalar gravitational potential, a particular nonlinear action dependence, an acceleration scale, and two correspondence limits. A generic nonlinear elliptic equation lacks this gravitational interpretation. A generic modified-gravity proposal lacks the variational and asymptotic commitments. The conjunction is what makes AQUAL recognizable across analytic and computational uses.

Structural Core vs. Domain Accent¶

At prime level, AQUAL instantiates stationary action, nonlinear response, and correspondence between regimes. Its indispensable physics accent consists of gravitational potential, matter density, \(G\), \(a_0\), the MOND interpolation function, and nonrelativistic boundary conditions. Removing those roles yields only an abstract variational PDE, so the concept remains domain-specific.

prime:principle_of_least_action supplies the immediate parent structure: the gravitational field equation is obtained by varying an action.
prime:correspondence_principle appears in the requirement that the high-acceleration limit recover Newtonian gravity.
prime:nonlinearity is instantiated by the gradient-dependent coefficient and failure of ordinary superposition where that surface is available.
prime:symmetry explains when the PDE reduces to an algebraic field relation.

Relationships to Other Abstractions¶

Current abstraction AQUAL Gravity Theory Domain-specific

Parents (1) — more general patterns this builds on

AQUAL Gravity Theory presupposes Principle of Least Action Prime

AQUAL strictly presupposes the principle by deriving its field equation through variation of an action.

Hierarchy path (1) — routes to 1 parentless root

AQUAL Gravity Theory → Principle of Least Action

Neighborhood in Abstraction Space¶

AQUAL Gravity Theory sits in a sparse region of the domain-specific corpus (96^th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Unclustered & Miscellaneous (1565 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-09-08

Not to Be Confused With¶

The crucial distinction is between AQUAL and MOND. MOND names the wider modified-dynamics paradigm; AQUAL is the Bekenstein–Milgrom nonlinear-Poisson action formulation. QUMOND is a later quasi-linear formulation with different computational equations. TeVeS is relativistic and adds tensor, vector, and scalar fields. The principle of least action is a genuine parent but not exact coverage: it does not specify the aquadratic gravitational functional, acceleration scale, or MOND limits.

References¶

[1] Jacob Bekenstein and Mordehai Milgrom. “Does the Missing Mass Problem Signal the Breakdown of Newtonian Gravity?” The Astrophysical Journal 286 (1984): 7–14. https://doi.org/10.1086/162570 registry ↩

[2] Benoît Famaey and Stacy S. McGaugh. “Modified Newtonian Dynamics (MOND): Observational Phenomenology and Relativistic Extensions.” Living Reviews in Relativity 15, 10 (2012). https://doi.org/10.12942/lrr-2012-10 registry ↩a ↩b

[3] Mordehai Milgrom. “The MOND Paradigm of Modified Dynamics.” Scholarpedia 9(6):31410 (2014; updated). https://www.scholarpedia.org/article/The_MOND_paradigm_of_modified_dynamics registry ↩

[4] Robert H. Sanders and Stacy S. McGaugh. “Modified Newtonian Dynamics as an Alternative to Dark Matter.” Annual Review of Astronomy and Astrophysics 40 (2002): 263–317. https://doi.org/10.1146/annurev.astro.40.060401.093923 registry ↩