TY - JOUR T1 - First Order System of Equations of Mixed Type and Second Order Equation of Mixed Type AU - Sun Hesheng JO - Journal of Partial Differential Equations VL - 2 SP - 155 EP - 163 PY - 1993 DA - 1993/06 SN - 6 DO - http://doi.org/ UR - https://global-sci.org/intro/article_detail/jpde/5707.html KW - System of mixed type KW - generalized Tricomi problem KW - auxiliary function KW - Fredholm's alternative properties AB - A system of first order equations of mixed type, which may be reduced to a general second order equation of mixed type, is considered. Uniqueness of solution to the generalized Tricomi problem is proved by the method of auxiliary function. Existence of H¹ strong solution is based on a characteristic problem and is proved by the Fredholm's alternative properties.