Formal solutions of nonlinear first order totally characteristic type PDE with irregular singularity
In this paper, we calculate the formal Gevrey index of the formal solution of a class of nonlinear first order totally characteristic type partial differential equations with irregular singularity in the space variable. We also prove that our index is the best possible one in a generic case.