Grigalius Taujanskas,Juan A. Valiente Kroon
Abstract:We study the relationship between asymptotic characteristic initial data at past null infinity and the regularity of solutions at future null infinity for the massless linear spin-s field equations on Minkowski space. By quantitatively controlling the solutions on a causal rectangle reaching the conformal boundary, we relate the (generically singular) behaviour of the solutions near past null infinity, future null infinity, and spatial infinity. Our analysis uses Friedrich's cylinder at spatial infinity together with a careful Grönwall-type estimate that does not degenerate at the intersection of null infinity and the cylinder (the so-called critical sets).
What problem does this paper attempt to address?
The problem that this paper attempts to solve is, in Minkowski space, starting from the asymptotic characteristic initial data of past null infinity (\( \mathcal{I}^- \)), to study the relationship between these data and the regularity of solutions on future null infinity (\( \mathcal{I}^+ \)). Specifically, the paper focuses on the behavior of the massless linear spin - \( s \) field equations in Minkowski space, especially how to correlate the (usually singular) behavior of these solutions near \( \mathcal{I}^- \), \( \mathcal{I}^+ \) and the spatial infinity point \( i_0 \) by quantitatively controlling the solutions on the causal rectangular region.
### Main research content
1. **Asymptotic characteristic initial value problem**:
- Study how to control the regularity of solutions on \( \mathcal{I}^+ \) starting from the asymptotic characteristic initial data on \( \mathcal{I}^- \).
- Pay special attention to the singular behavior of solutions near \( \mathcal{I}^- \), \( \mathcal{I}^+ \) and \( i_0 \).
2. **Estimation methods**:
- Use Friedrich's cylinder representation at spatial infinity and a carefully designed Grönwall - type estimate to ensure that the estimate does not degenerate at the critical sets of null infinity.
- By extending Friedrich's estimation method, generalize it to any non - zero spin \( s \) and construct new estimation methods.
### Main results
- Given the asymptotic characteristic initial data with regular asymptotic expansion on \( \mathcal{I}^- \), there exists a neighborhood containing parts of past and future null infinity, and within this neighborhood there is a unique solution.
- The regularity of the solution on \( \mathcal{I}^+ \) depends not only on the regularity of the data on \( \mathcal{I}^- \), but also on its multipole structure at the critical set \( \mathcal{I}^- \).
- Even if the regularity of the initial data is increased, it does not necessarily improve the behavior of the solution on \( \mathcal{I}^+ \).
### Proof strategy
1. **Geometric setup**:
- Use Friedrich's cylinder representation at spatial infinity (F - gauge) to divide the causal domain into two sub - domains: the lower sub - domain \( N_\epsilon \) and the upper sub - domain \( N_1 \).
2. **Upper sub - domain \( N_1 \)**:
- Look for solutions that can be written as a formal asymptotic expansion near \( \mathcal{I}^+ \) plus a remainder term.
- Utilize the fully characteristic property of \( \mathcal{I} \), the terms of the formal expansion can in principle be explicitly calculated, and the regularity of the expansion can be controlled by finely adjusting the multipole structure of the initial data.
- By extending Friedrich's estimation method, ensure the control of the remainder term over the entire \( \mathcal{I}^+ \).
3. **Lower sub - domain \( N_\epsilon \)**:
- Look for solutions that can be written as a formal asymptotic expansion near \( \mathcal{I}^- \) plus a remainder term.
- Due to geometric/structural characteristics, it is necessary to use the boundary defining function \( 1+\tau = 1 + t/r \) of \( \mathcal{I}^- \) for the expansion, assuming a regular Taylor expansion of the form \( 1+\tau \).
- Build estimates by adapting Friedrich's method to ensure the control of the remainder term.
4. **Combining the upper and lower sub - domains**