The Boussinesq system in 3-dimensional bounded rough domains: Well-posedness in critical spaces and long-time behavior

We study the three-dimensional Boussinesq system in bounded rough domains, including bounded Lipschitz and C^1, domains, within a critical functional framework. We establish existence and uniqueness results that are global in time for small initial data and local in time for arbitrary initial data. Well-posedness in critical Lᵖ-based spaces is obtained in domains with H\"older continuous boundaries, relying on L²-maximal regularity in time. We also prove well-posedness in critical Besov spaces with third index equal to 1, using L¹-maximal regularity. In this Besov setting, the analysis applies to arbitrary bounded Lipschitz domains. In any case, we show that the fluid velocity stabilizes exponentially for large times and that the temperature converges to the initialaveraged temperature of the fluid. The linear theory -fitting the adapted product estimates and vice versa- is properly established prior to the nonlinear analysis. With this fully prepared linear framework in hand, the nonlinear estimates that follow are then handled in the critical framework with a simplified treatment -especially in the case where the velocity belongs to L² (W^1, 3) and the temperature to L² (L^3/2) - when compared with previously known similar results in smooth domains. This approach relies on a robust linear theory and sharp product estimates based on operator-theoretic methods and Besov space techniques, even in the case of the Lᵖ-theory. Finally, as part of the analysis, we establish several new results for the underlying linear operators, including refined characterizations for the domains of fractional powers of the Neumann Laplacian and of the Stokes operator in bounded Lipschitz domains.