Phase Differential Theory
Phase Differential
A Framework for Reality
Visits …
← All papers

PTG II

PTG II: The Phase-Raychaudhuri Equation and Finite-Parameter Focusing

Graham Fincham, Daniel Hilton

Original research seriesPublic manuscript availableJournal-review status not confirmed.

Earlier research paper

Earlier research paper

This paper remains available as part of the development of Phase Differential Theory. The R00–R13 foundational suite provides the current formulation of the theory. Read this paper in its original model and publication context.

Current foundationsResearch history

Current foundational treatment

Historical backgroundPrincipal topic: Internal spatial carriers and orientation.

Focusing in a transport congruence relates to carrier geometry (R07) and gravitational dynamics (R10).

A topic connection does not mean that every claim in this paper is retained or that a current paper reproduces its proof.

Current context

A present-day website summary. It is not part of the original manuscript.

PTG II derives PDT's version of the Raychaudhuri equation, the workhorse identity that controls how bundles of trajectories spread or focus. We do it without a metric. With only a torsion-free connection, the deformation tensor, and a non-negative focusing functional, we obtain an inequality of the same shape as the classical one. For twist-free congruences with negative initial expansion, focusing happens in finite parameter: the expansion blows up to minus ∞\infty in a bounded interval. This finite-parameter focusing is the analytical engine behind every incompleteness theorem in the rest of the series.

Original abstract

Preserved from the original manuscript.

We derive a Raychaudhuri-type evolution equation for the expansion of transport congruences in the metric-free framework of Phase Transport Geometry. The derivation requires only a torsion-free affine connection, the deformation tensor of a transport generator, and a non-negative focusing functional. No metric, curvature tensor, or dynamical field equations are assumed. Under a twist-free condition, the resulting inequality yields finite-parameter focusing for initially converging congruences. These results form the analytical foundation for the incompleteness theorems developed in Phase Transport Geometry III.

Claims stated in the original paper

  1. 01
    Twist-free transport congruences with negative initial expansion focus in finite affine parameter, bounded by -3/θ0\theta_{0}.
  2. 02
    The Phase-Raychaudhuri inequality holds with no metric input; only the transport cone, the connection, and a non-negative focusing functional are required.
  3. 03
    Twist alone cannot prevent focusing once the shear and focusing functional are accounted for.

Full paper

Introduction

Building on the kinematic structures introduced in PTG I, we derive an evolution equation for the expansion of a transport congruence using only affine differentiation and the transport cone structure. The resulting inequality is analogous in form to the classical Raychaudhuri equation but is obtained without any metric or curvature assumptions.
The main results are: an evolution identity for the deformation tensor; a Raychaudhuri-type inequality for the expansion; and a finite-parameter focusing theorem for twist-free congruences under a non-defocusing condition.

Preliminaries

We recall the minimal data from PTG I: transport generators lal^{a} in LpL_{p}, the deformation tensor BabB_{ab} = gradblagrad_{b} l_{a}, the projected deformation tensor Bab~\tilde{B_{ab}} on the transverse bundle, and the optical scalars (expansion θ\theta, shear σab\sigma_{ab}, twist ωab\omega_{ab}). Transport differentiation along lal^{a} is d/dlambda = lagradal^{a} grad_{a}.

The focusing functional

A focusing functional F(lal^{a}) is smooth on the interior of each cone LpL_{p}, homogeneous of degree two, non-negative, and absorbs curvature-type terms in the evolution identity. Its existence is assumed here and justified structurally in PTG VIII.

Evolution of the deformation tensor

Affine commutator identity

For any vector field lal^{a}, the standard torsion-free identity gives gradagrad_{a} (lbgradblcl^{b} grad_{b} l_{c}) = lbgradbl^{b} grad_{b} (gradalcgrad_{a} l_{c}) + (gradalbgrad_{a} l^{b})(gradblcgrad_{b} l_{c}) - RcabdlalbR_{cab}^{d} l^{a} l^{b}.

Evolution of B_ab

Applying the commutator and contracting yields dBabdB_{ab}/dlambda = gradbgrad_{b}(lcgradclal^{c} grad_{c} l_{a}) - BacBbcB_{ac} B_{b}^{c} + RcabdlcldR_{cabd} l^{c} l^{d}.

The Phase-Raychaudhuri equation

Projecting the evolution identity onto the transverse bundle and contracting with habh^{ab} gives the main analytical result.

Phase-Raychaudhuri equation

The expansion satisfies dtheta/dlambda = -(1/3) <<\θ\theta^{2}>> - <<\sigma_{ab} \σ\sigma^{ab}>> - <<\omega_{ab} \ω\omega^{ab}>> - F(lal^{a}).

Non-defocusing inequality

If F(lal^{a}) ≥\geq 0, then dtheta/dlambda ≤\leq -(1/3) <<\θ\theta^{2}>> - <<\sigma_{ab} \σ\sigma^{ab}>> - <<\omega_{ab} \ω\omega^{ab}>>.

Finite-parameter focusing

A transport generator is twist-free if ωab\omega_{ab} = 0.

Focusing inequality

If lal^{a} is twist-free and F(lal^{a}) ≥\geq 0, then dtheta/dlambda ≤\leq -(1/3) <<\θ\theta^{2}>>.

Finite-parameter focusing theorem

If lal^{a} is twist-free with F(lal^{a}) ≥\geq 0 and initial expansion θ0\theta_{0} < 0, then there exists 0 < λ⋆≤\lambda_{\star} \leq -3/θ0\theta_{0} such that θ(λ)→\theta(\lambda) \to -∞\infty as λ→λ⋆\lambda \to \lambda_{\star}. Proof by comparison with the explicit solution of dpsi/dlambda = -(1/3) <<\ψ\psi^{2}>>.

Discussion

We have derived a Raychaudhuri-type inequality and established finite-parameter focusing for twist-free transport congruences. These results require only affine differentiation and the transport cone structure, and form the analytical foundation for the incompleteness theorems in PTG III.

Suggested citation

Graham Fincham, Daniel Hilton. “PTG II: The Phase-Raychaudhuri Equation and Finite-Parameter Focusing.” Phase Differential Theory research programme. https://www.phasedifferentialtheory.com/papers/ptg-ii

@misc{pdt_ptg_ii,
  title = {PTG II: The Phase-Raychaudhuri Equation and Finite-Parameter Focusing},
  author = {Graham Fincham and Daniel Hilton},
  url = {https://www.phasedifferentialtheory.com/papers/ptg-ii}
}

No DOI recorded. No repository record verified. Journal-review status not confirmed.