Algebraic approach to non-integrability of Bajer-Moffatt's steady Stokes flow

Non-integrability of the streamline system of equations for a steady Stokes flow, which Bajer and Moffatt introduced by the name of stretch-twist-fold flow, is discussed by an algebraic method without assuming its closeness to an integrable system. In the author's previous paper, the non-existence of a real meromorphic first integral of the streamline system was proved on the basis of Ziglin's theory and the differential Galois theory, where a parameter was assumed not to belong to a set of exceptional values. In this paper, this assumption is proved to be removable by making further use of some results from the differential Galois theory. The road to this result is explained in the form of a recipe in order to make clear how the differential Galois theory is applied.