Abstract
J. Leray [7] proposed a sufficient condition ofr the solvability of the Cauchy problem on the initial hyperplane x$_{1}$=0 with Cauchy data which are holomorphic with respect to the variables parallel to some analytic subvariety S of the initial hyperplane. Limiting the problem to the case of operators with constant coefficients, A. Kaneko [2] proposed a new sharper sufficient condition. Later we generalized this condition and showed that it is necessary and sufficient for the solvability of the Cauchy problem for the hyperfunction Cauchy data and the distribution Cauchy data which contain variables parallel to S as holomorphic parameters in [5, 6]. In this paper, we extend the results in [6] to the case of operators with variable coefficients and show that it is sufficient for the solvability of the Cauchy problem for the hyperfunction Cauchy data. Our main theorem can be considered as an example of a deep theorem on micro-hyperbolic systems by Kashiwara-Schapira [4] and we give a direct proof based on an elementary sweeping out procedure developed in Kaneko [3].