The analysis in the polarized case, which we outlined above, illustrates the importance of being able to compute asymptotic expansions. Thus, in analyzing the general case it is natural to begin by trying to carry out a similar computation. As we observed in Section 5.2, there are two different ways to proceed. One is to derive expansions given the solution. The other is to prove the existence of solutions with specified asymptotics. In the present section, we are concerned with the latter perspective.
The natural starting point for the exposition is the formal expansions in the general T3-Gowdy case, which were derived in . In , Fuchsian methods were then used to prove their existence. With respect to our parametrization of the metric, the expansions take the form
This work is licensed under a Creative Commons License.