Averaging conjecture for non-vacuum LRS Bianchi III solutions

Let (H(t),x(t))(H(t),\mathbf x(t)) be the solution of the quasi-standard system with arbitrary non-vacuum initial data satisfying Ω>0\Omega>0, the Hamiltonian constraint, and H>0H>0. Let z(t)\mathbf z(t) solve the corresponding averaged equation

z˙=H(t)f1(z),\dot{\mathbf z}=H(t)\,\overline{\mathbf f}^{1}(\mathbf z),

where f1\overline{\mathbf f}^{1} is the averaged vector field. Let X(t)\mathbf X(t) and Z(t)\mathbf Z(t) be the two-vectors formed from the Σ+\Sigma_+ and Ω\Omega components of x(t)\mathbf x(t) and z(t)\mathbf z(t), respectively. Averaging conjecture. There exists tt_* such that

X(t)Z(t)=O(H(t))t>t.\mathbf X(t)-\mathbf Z(t)=\mathcal O\bigl(H(t)\bigr)\qquad\forall\,t>t_*.

This conjecture would provide the error estimate needed to justify the averaged description of the future behaviour, since the system has only quasi-standard rather than standard form. The source does not state a resolution.

Sources & referencesView supporting material

Primary source

David Fajman, Gernot Heißel and Maciej Maliborski, “On the oscillations and future asymptotics of locally rotationally symmetric Bianchi type III cosmologies with a massive scalar field”, arXiv:2001.00252 (2020).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.