Regularity of Time-Periodic Solutions to Autonomous Semilinear Hyperbolic PDEs

This paper concerns autonomous boundary value problems for 1D semilinear hyperbolic PDEs. For time-periodic classical solutions, which satisfy a certain non-resonance condition, we show the following: If the PDEs are continuous with respect to the space variable $x$ and $C^\infty$-smooth with respect to the unknown function $u$, then the solution is $C^\infty$-smooth with respect to the time variable $t$, and if the PDEs are $C^\infty$-smooth with respect to $x$ and $u$, then the solution is $C^\infty$-smooth with respect to $t$ and $x$. The same is true for appropriate weak solutions. Moreover, we show examples of time-periodic functions, which do not satisfy the non-resonance condition, such that they are weak, but not classical solutions, and such that they are classical solutions, but not $C^\infty$-smooth, neither with respect to $t$ nor with respect to $x$, even if the PDEs are $C^\infty$-smooth with respect to $x$ and $u$. For the proofs we use Fredholm solvability properties of linear time-periodic hyperbolic PDEs and a result of E. N. Dancer about regularity of solutions to abstract equivariant equations.

💡 Research Summary

This paper establishes a comprehensive regularity theory for time-periodic solutions to autonomous semilinear hyperbolic partial differential equations (PDEs) in one spatial dimension. The authors investigate two primary classes of problems: first-order 2x2 systems with reflection boundary conditions and second-order equations with mixed Dirichlet-Neumann conditions.

The central finding is that the smoothness of a time-periodic solution is guaranteed under a specific non-resonance condition. For a given solution u, this condition takes the form of an integral inequality (e.g., (1.3), (1.4) for first-order systems or (1.7), (1.8) for second-order equations) involving the derivatives of the nonlinearity f evaluated along the solution’s characteristics. The main theorems (Theorem 1.1 and 1.2) state that if such a non-resonance condition holds, then:

1. Temporal Regularity: If the PDE is continuous in the spatial variable x and C^∞-smooth with respect to the unknown function u, then any classical (or an appropriately defined weak) time-periodic solution is C^∞-smooth with respect to the time variable t. All partial time derivatives exist and are continuous.
2. Spatio-Temporal Regularity: If the coefficients a and the nonlinearity f are C^∞-smooth with respect to both x and u, then the solution u is C^∞-smooth in both t and x.

The proofs leverage a sophisticated blend of PDE analysis and abstract functional analytic methods. A key step is reformulating the problem using a weak solution framework based on the closure of the linear differential operator. The non-resonance condition is shown to ensure that the linearization of the PDE around the solution u is a Fredholm operator of index zero between suitable function spaces (Lemma 2.4). This is proven by converting the linearized problem into a Volterra-Fredholm integral equation via integration along characteristics.

The autonomous nature of the problem implies an equivariance structure with respect to time shifts. The authors then apply an abstract regularity result by E. N. Dancer (presented as Corollary 4.2 in the appendix) tailored to equivariant equations with Fredholm linearizations. This abstract theorem directly yields the high-order regularity of the solution from the smoothness of the nonlinearity f.

Crucially, the paper demonstrates that the non-resonance condition is essential and not merely technical. It provides explicit counterexamples (e.g., in Remark 2.3) where, if the condition is violated, one can construct:

• Weak solutions that are not classical solutions.
• Classical solutions that are not C^∞-smooth in either time or space, even when the PDE coefficients and nonlinearity are C^∞-smooth. These examples highlight how resonance phenomena, dictated by the interplay of boundary conditions, propagation speeds, and the solution itself, can fundamentally limit solution regularity.

The authors note a significant limitation: their results are intrinsically tied to one spatial dimension. This is because the required Fredholm and spectral properties for the linearized operators generally hold only in 1D, where hyperbolic operators generate Riesz bases and satisfy the spectral mapping property in continuous function spaces. Extending this theory to higher dimensions poses substantial challenges.

In summary, this work provides a rigorous and complete characterization of regularity for time-periodic solutions to autonomous 1D semilinear hyperbolic PDEs, linking it decisively to a verifiable non-resonance condition and offering powerful tools for analyzing solutions obtained from bifurcation or continuation methods.