Existence, Uniqueness, Analyticity, and Borel Summability for Boussinesq Equations
Through Borel summation methods, we analyze the Boussinesq equations for coupled fluid velocity and temperature fields. We prove that an equivalent system of integral equations in the Borel variable p dual to 1/t has a unique solution in a class of exponentially bounded functions, implying the existence of a classical solution to the Boussinesq equations in a complex t-region that includes a real positive time axis segment. For analytic initial data and forcing, it is shown that the solution is Borel summable, implying that that formal series in powers of t is Gevrey-1 asymptotic, and within the time interval of existence, the solution remains analytic with the same analyticity strip width as the initial data and forcing. We also determine conditions on the integral equation solution that improve the estimate for existence time.