On the initial value problem for the wave equation in Friedmann–Robertson–Walker space–times
Why this work is in the frame
A frame that forgets how it found something cannot be audited. These are the routes that admitted this work.
Bibliographic record
Abstract
The propagator W ( t 0 , t 1 )( g , h ) for the wave equation in a given space–time takes initial data ( g ( x ), h ( x )) on a Cauchy surface {( t , x ) : t = t 0 } and evaluates the solution ( u ( t 1 , x ),∂ t u ( t 1 , x )) at other times t 1 . The Friedmann–Robertson–Walker space–times are defined for t 0 , t 1 >0, whereas for t 0 →0, there is a metric singularity. There is a spherical means representation for the general solution of the wave equation with the Friedmann–Robertson–Walker background metric in the three spatial dimensional cases of curvature K =0 and K =−1 given by S. Klainerman and P. Sarnak. We derive from the expression of their representation three results about the wave propagator for the Cauchy problem in these space–times. First, we give an elementary proof of the sharp rate of time decay of solutions with compactly supported data. Second, we observe that the sharp Huygens principle is not satisfied by solutions, unlike in the case of three-dimensional Minkowski space–time (the usual Huygens principle of finite propagation speed is satisfied, of course). Third, we show that for 0< t 0 < t the limit, <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="block" overflow="scroll"> <mml:munder> <mml:mo movablelimits="true">lim</mml:mo> <mml:mrow> <mml:msub> <mml:mi>t</mml:mi> <mml:mn>0</mml:mn> </mml:msub> <mml:mo stretchy="false">→</mml:mo> <mml:mn>0</mml:mn> <mml:mo>+</mml:mo> </mml:mrow> </mml:munder> <mml:mi>W</mml:mi> <mml:mo stretchy="false">(</mml:mo> <mml:msub> <mml:mi>t</mml:mi> <mml:mn>0</mml:mn> </mml:msub> <mml:mo>,</mml:mo> <mml:mi>t</mml:mi> <mml:mo stretchy="false">)</mml:mo> <mml:mo stretchy="false">(</mml:mo> <mml:mi>g</mml:mi> <mml:mo>,</mml:mo> <mml:mi>h</mml:mi> <mml:mo stretchy="false">)</mml:mo> <mml:mo>=</mml:mo> <mml:mi>W</mml:mi> <mml:mo stretchy="false">(</mml:mo> <mml:mn>0</mml:mn> <mml:mo>,</mml:mo> <mml:mi>t</mml:mi> <mml:mo stretchy="false">)</mml:mo> <mml:mo stretchy="false">(</mml:mo> <mml:mi>g</mml:mi> <mml:mo stretchy="false">)</mml:mo> </mml:math> exists, it is independent of h ( x ), and for all reasonable initial data g ( x ), it gives rise to a well-defined solution for all t >0 emanating from the space–time singularity at t =0. Under reflection t →− t , the Friedmann–Robertson–Walker metric gives a space–time metric for t <0 with a singular future at t =0, and the same solution formulae hold. We thus have constructed solutions u ( t , x ) of the wave equation in Friedmann–Robertson–Walker space–times which exist for all <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" overflow="scroll"> <mml:mo>−</mml:mo> <mml:mi mathvariant="normal">∞</mml:mi> <mml:mo><</mml:mo> <mml:mi>t</mml:mi> <mml:mo><</mml:mo> <mml:mn>0</mml:mn> </mml:math> and <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" overflow="scroll"> <mml:mn>0</mml:mn> <mml:mo><</mml:mo> <mml:mi>t</mml:mi> <mml:mo><</mml:mo> <mml:mo>+</mml:mo> <mml:mi mathvariant="normal">∞</mml:mi> </mml:math> , where in conformally regularized coordinates, these solutions are continuous through the singularity t =0 of space–time, taking on specified data u (0,⋅)= g (⋅) at the singular time.
Fetched live from OpenAlex and de-inverted. Abstracts are not stored in this database: the inverted indexes are 8.6 GB of the frame’s 9.3 GB of text, and the host has 13 GB free.
Full frame distilled prediction
Teacher imitationNot calibrated prevalence, not ground truth. Human validation pending. Learned from the 10,348 direct Codex labels and 10,348 direct Gemma labels. Candidate is the union of thresholded teacher heads; consensus is their intersection. These outputs are machine_predicted_unvalidated and are not human labels or direct frontier model labels.
Codex and Gemma teacher scores by category
| Category | Codex | Gemma |
|---|---|---|
| Metaresearch | 0.001 | 0.000 |
| Meta-epidemiology (narrow) | 0.000 | 0.000 |
| Meta-epidemiology (broad) | 0.000 | 0.000 |
| Bibliometrics | 0.000 | 0.000 |
| Science and technology studies | 0.000 | 0.000 |
| Scholarly communication | 0.000 | 0.000 |
| Open science | 0.000 | 0.000 |
| Research integrity | 0.000 | 0.000 |
| Insufficient payload (model declined to judge) | 0.000 | 0.000 |
Machine scores (provisional)
The two teacher heads of the student model, read on this work. A score orders the frame for review; it never asserts a category, and the validation status ships verbatim with every row.
Baseline scores from an immature model (maturity gate not passed, 7 training rounds). Scores rank; they never assert a category.
score_only:v0-immature-baseline · verbatim from the scoring run: score_only means the number may rank works, and no category label ships from it