Explicit harmonic and wave maps into variable-curvature surfaces

Technical Summary: Explicit Harmonic and Wave Maps into Variable-Curvature Surfaces

Problem Statement
The construction of explicit solutions for harmonic and wave maps is a well-developed qualitative theory but remains a largely open problem for explicit formulas, particularly outside highly symmetric or constant-curvature settings. In variable-curvature geometries, the classical integrability structures and symmetry reductions that facilitate explicit integration in constant-curvature targets (such as spheres or hyperbolic planes) typically break down. Consequently, explicit constructions for targets with genuinely variable curvature—such as ellipsoids, hyperboloids, and Schwarzschild exteriors—are scarce and difficult to access.

Methodology
The authors develop a reduction framework for pseudo-Riemannian surfaces that extends explicit constructions to a geometrically significant class of variable-curvature targets. The methodology relies on the following components:

1. Geometric Setup: The domain $(M, g)$ is a pseudo-Riemannian surface with an isothermal metric $g = e^f(x,y)(dx^2 - \epsilon^2 dy^2)$, where $\epsilon \in \{1, i\}$ distinguishes between Lorentzian ($\epsilon=1$) and Riemannian ($\epsilon=i$) signatures. The target $(N, h)$ is a surface with a metric of the form $h = A(R)dR^2 - \delta^2 B(R)dS^2$, where $A$ and $B$ are smooth positive functions and $\delta \in \{1, i\}$. This class encompasses a wide range of variable-curvature geometries, including surfaces of revolution and relativistic models.
2. First Integrals: The authors utilize first integrals of the Euler–Lagrange system. For a harmonic map $u=(R,S)$, there exist functions $F(v)$ and $G(w)$ such that $A(R)R_v^2 - \delta^2 B(R)S_v^2 = F(v)$ and $A(R)R_w^2 - \delta^2 B(R)S_w^2 = G(w)$.
3. Travelling-Wave Ansatz: To achieve a solvable reduction, the authors employ a specific travelling-wave ansatz where the map profile evolves along the characteristic combination $t = ay - bx$. Specifically, the map is defined as:
   • $R(x, y) = R(t)$
   • $S(x, y) = ax + by + H(t)$
     This ansatz is not merely an ad hoc computational device but corresponds to a one-parameter reduction where the second target component retains an affine dependence on the original coordinates.
4. Reduction to ODEs: By substituting the ansatz into the first integrals (assuming constant first integrals $F$ and $G$), the coupled Euler–Lagrange partial differential equations reduce to a system of first-order ordinary differential equations (ODEs). The system decouples such that $H'(t)$ is determined algebraically in terms of $R(t)$, and $R(t)$ satisfies a separable first-order ODE.

Key Contributions and Results
The paper's primary result is Theorem 4, which provides a reduction principle for harmonic and wave maps into the specified class of pseudo-Riemannian surfaces. Under the introduced symmetry ansatz, the system reduces to a solvable first-order equation for the radial component $R(t)$, while the angular component $S$ is recovered by quadrature.

The authors demonstrate the efficacy of this framework through four explicit constructions in genuinely variable-curvature settings:

1. Harmonic Maps into Ellipsoids: The authors construct explicit harmonic maps from a Riemannian surface into a non-round ellipsoid in $\mathbb{R}^3$. This addresses a gap where standard symmetry-based methods fail due to the lack of transitive isometry groups on ellipsoids.
2. Lorentzian Wave Maps into Hyperboloids: Explicit wave maps are constructed from a Lorentzian surface into an elliptic hyperboloid of one sheet, illustrating the method's applicability to indefinite metrics.
3. Wave Maps into Schwarzschild Exterior: The framework yields explicit wave maps into the two-dimensional Lorentzian reduction of the Schwarzschild spacetime ($R > 2M$). This example connects the geometric reduction to backgrounds of direct relevance in mathematical physics.
4. Mixed-Signature Example: A construction is provided where the domain and target have different signatures ($\delta \neq \epsilon$), confirming the reduction mechanism's independence from the relative signatures of the manifolds.

Significance and Claims
The paper claims to fill a specific gap in the literature by providing the first explicit harmonic and wave maps into variable-curvature pseudo-Riemannian surfaces of this type. The significance of the work lies in:

• Uniformity: The method treats elliptic (harmonic) and hyperbolic (wave) regimes uniformly within a single framework.
• Accessibility: It produces closed-form solutions for targets where explicit constructions were previously substantially less accessible, moving beyond the reliance on constant-curvature models or symmetric spaces.
• Geometric Adaptation: The travelling-wave ansatz is presented as a geometrically natural reduction that preserves nontrivial coupling between target variables while rendering the system tractable.

The authors note that while the conformal invariance exploited is specific to two dimensions, the core mechanism of replacing a PDE system with an algebraic constraint and a separable ODE suggests potential adaptability to higher dimensions, which they identify as a direction for future work. The paper explicitly distinguishes itself from previous contributions by the authors, which focused on constant-curvature diffeomorphisms via the Beltrami equation; the current work addresses non-diffeomorphic maps into variable-curvature geometries using first integrals and symmetry reduction.