Borel summability for a formal solution of ∂/∂t u(t,x) = (∂/∂x)² u(t,x) + t(t∂/∂t)³ u(t,x)
In this paper we study the Borel summability of a certain divergent formal power series solution for an initial value problem. We show the Borel summability under the condition that an initial value function ϕ(x) is an entire function of exponential order at most 2.