Time-Periodic Solutions for Hyperbolic-Parabolic Systems

Time-periodic weak solutions for a coupled hyperbolic-parabolic system are obtained. A linear heat and wave equation are considered on two respective $d$-dimensional spatial domains that share a common $(d-1)$-dimensional interface $Γ$. The system is only partially damped, leading to an indeterminate case for existing theory (Galdi et al., 2014). We construct periodic solutions by obtaining novel a priori estimates for the coupled system, reconstructing the total energy via the interface $Γ$. As a byproduct, geometric constraints manifest on the wave domain which are reminiscent of classical boundary control conditions for wave stabilizability. We note a ``loss" of regularity between the forcing and solution which is greater than that associated with the heat-wave Cauchy problem. However, we consider a broader class of spatial domains and mitigate this regularity loss by trading time and space differentiations, a feature unique to the periodic setting. This seems to be the first constructive result addressing existence and uniqueness of periodic solutions in the heat-wave context, where no dissipation is present in the wave interior. Our results speak to the open problem of the (non-)emergence of resonance in complex systems, and are readily generalizable to related systems and certain nonlinear cases.

💡 Research Summary

The paper addresses the long‑standing open problem of existence and uniqueness of time‑periodic solutions for a linearly coupled hyperbolic‑parabolic system in which a heat equation and a wave equation are posed on two adjacent d‑dimensional domains sharing a (d‑1)‑dimensional interface Γ. The wave component is undamped, while the heat component provides only partial dissipation, placing the problem in the “indeterminate” regime of existing theory (e.g., Galdi et al., 2014). The authors consider the simplest operators L = A = −Δ, impose homogeneous Dirichlet conditions on the outer boundaries, and enforce at Γ the transmission conditions w_t = u and ∂_n w = ∂_n u, which are motivated by fluid‑structure interaction models.

A central difficulty is that, unlike purely parabolic problems, the wave part lacks any intrinsic energy decay, so the standard energy inequality E(t)+∫_0^t D(τ)dτ ≲ E(0)+‖F‖^2 does not provide a priori control because the initial energy E(0) is unknown in a periodic setting. The authors overcome this by exploiting the interface: the equality w_t = u on Γ allows the wave’s kinetic energy to be “observed’’ through the heat variable. By integrating over one period and using the periodicity condition E(T)=E(0), they obtain an estimate of the total dissipation solely in terms of the forcing data. This is precisely the observability concept from control theory, now applied to a coupled PDE system.

Because the coupling transmits only a limited amount of regularity from the heat to the wave equation, a loss of one spatial derivative occurs compared to the standard heat‑wave Cauchy problem. The authors mitigate this loss by requiring the forcing functions f and g to belong to higher‑order periodic Sobolev spaces H^k♯(0,T;X). In this “time‑space trade‑off’’ they differentiate the equations k times in time, which compensates for the missing spatial regularity and yields a priori bounds for the solution in the finite‑energy class L^2(0,T;H^1)∩H^1♯(0,T;L^2).

A further remarkable contribution is the identification of geometric constraints on the wave domain. By invoking the Geometric Control Condition (GCC) on the interface Γ, the authors guarantee that every ray of geometric optics reaches Γ within a uniform time, ensuring that the wave energy can be observed and thus controlled through the heat component. If GCC fails, resonant frequencies may persist, leading to non‑existence of periodic solutions—a phenomenon the paper discusses through explicit examples.

Uniqueness is proved by a Holmgren‑type argument combined with the observability estimate. For zero forcing, any weak periodic solution must satisfy the homogeneous wave and heat equations together with the transmission conditions. After a standard time‑mollification, the authors use the interface identity to show that the total energy is constant and, because the dissipation term vanishes, the only possible solution is the trivial one. By linearity, this yields uniqueness for arbitrary forcing.

The paper also sketches extensions: more general second‑order elliptic operators, variable coefficients, and certain nonlinear perturbations can be handled with the same framework, provided the interface observability persists.

In summary, the authors deliver the first constructive proof that a partially damped hyperbolic‑parabolic system admits a unique T‑periodic weak solution for any T‑periodic forcing belonging to suitable Sobolev spaces. The key ideas are (i) reconstruction of the total energy through the interface, (ii) a novel a priori estimate that trades time regularity for spatial regularity, and (iii) geometric control conditions that prevent resonance. These results open new avenues for the analysis of periodic responses in coupled physical systems such as fluid‑structure interaction, thermo‑elasticity, and other multiphysics models where dissipation is localized.