Abstract:In this article we initiate the study of 1+ 2 dimensional wave maps on a curved spacetime in the low regularity setting. Our main result asserts that in this context the wave maps equation is locally well-posed at almost critical regularity.
As a key part of the proof of this result, we generalize the classical optimal bilinear L^2 estimates for the wave equation to variable coefficients, by means of wave packet decompositions and characteristic energy estimates. This allows us to iterate in a curved X^{s,b} space.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the local well - posedness problem of the (1 + 2) - dimensional wave map equation under low - regularity conditions in a spacetime background with curvature. Specifically, the authors hope to prove that under such conditions, the wave map equation can be locally well - defined with almost critical regularity. This involves generalizing the classical optimal bilinear \(L^2\) estimate of the wave map equation in the case of variable coefficients, and achieving this goal through wave packet decomposition and characteristic energy estimates. In addition, the authors also explore how to iteratively solve the problem in the curvature \(X^{s,b}\) space.
### Main contributions of the paper
1. **Proof of local well - posedness**: The main result of the paper is to prove that in the (1 + 2) - dimensional curvature spacetime background, the wave map equation is locally well - posed under almost critical regularity conditions. This means that there is a unique solution, and the dependence of the solution on the initial value is locally Lipschitz continuous.
2. **Generalization of bilinear \(L^2\) estimate**: In order to prove the main result, the authors generalize the classical optimal bilinear \(L^2\) estimate to the case of variable coefficients. This is achieved through wave packet decomposition and characteristic energy estimates.
3. **Wave packet analysis**: Wave packet analysis is introduced in the paper, which is a technique for approximating solutions of linear wave equations. The solution is represented by a superposition of square - summable wave packets. These wave packets have certain localizations in space and frequency and propagate along null hypersurfaces in spacetime.
4. **Characteristic energy estimate**: Characteristic energy estimate is another key technique in the paper. By integrating on certain null hypersurfaces, the authors are able to control the energy of the wave packets, thus obtaining the required estimates.
5. **Small - data results**: The paper also discusses in detail the well - posedness results in the case of small data and uses them as a basis for dealing with large - data problems. Through appropriate localization techniques, large - data problems can be reduced to small - data problems.
### Structure of the paper
- **Introduction**: Introduces the background and research motivation of the wave map equation.
- **Curvature \(X^{s,b}\) space**: Defines the curvature \(X^{s,b}\) space related to the wave operator.
- **Null frame**: Discusses the concept of the null frame and its application in the wave map equation.
- **Wave packet analysis**: Details the techniques and methods of wave packet analysis.
- **Localized characteristic energy estimate**: Gives the specific form and derivation process of the characteristic energy estimate.
- **Algebraic properties**: Proves the algebraic properties of the \(X^{s,b}\) space.
- **Product estimate**: Discusses the derivation and application of product estimates.
- **Moser estimate**: Proves the nonlinear Moser estimate.
### Conclusion
The paper successfully proves that in the (1 + 2) - dimensional curvature spacetime background, the wave map equation is locally well - posed under almost critical regularity conditions. This result not only promotes the development of wave map theory but also provides important tools and techniques for subsequent research.