Existence, Uniqueness, Analyticity, and Borel Summability for Boussinesq Equations
Authors:
Heather Rosenblatt,
Saleh Tanveer
Abstract:
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…
▽ More
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.
△ Less
Submitted 15 October, 2013;
originally announced October 2013.
Existence, Uniqueness, Analyticity, and Borel Summability of Boussinesq and Magnetic Benard Equations
Authors:
Heather Rosenblatt,
Saleh Tanveer
Abstract:
Through Borel summation methods, we analyze two different variations of the Navier-Stokes equation --the Boussinesq equation and the magnetic Benard equation. This method has previously been applied to the Navier-Stokes equation. We prove that an equivalent system of integral equations in each case has a unique solution, which is exponentially bounded for p in R^{+}, p being the Laplace dual varia…
▽ More
Through Borel summation methods, we analyze two different variations of the Navier-Stokes equation --the Boussinesq equation and the magnetic Benard equation. This method has previously been applied to the Navier-Stokes equation. We prove that an equivalent system of integral equations in each case has a unique solution, which is exponentially bounded for p in R^{+}, p being the Laplace dual variable of 1/t. This implies the local existence of a classical solution in a complex t-region that includes a real positive time (t)-axis segment. In this formalism, global existence of PDE solutions becomes a problem of asymptotics in the dual variable. Further, it is shown that within the time interval of existence, for analytic initial data and forcing, the solution remains analytic and has the same analyticity strip width. Under these conditions, the solution is Borel summable, implying that the formal series in time is Gevrey-1 asymptotic for small t.
△ Less
Submitted 20 October, 2011;
originally announced October 2011.
