In my research work, I recently have come across the following system of three linear first order pde's whose characteristic polynomial has one real and two complex conjugate zeros. 


$3u\_{1,1}+u\_{3,1}+2u\_{2,2}=0,$


$u\_{1,2}+2u\_{2,1}+3u\_{3,2}=0,$


$\cos \phi\ (u\_{1,2}-u\_{2,1})-\sin \phi\ (u\_{1,1}+u\_{2,2})-fu\_2+gu\_3+h=0$


Here, $f$, $g$, $h$, $\phi$ are real valued functions of the independent variables $x\_1$ and $x\_2$. $(u\_1\ u\_2\ u\_3 )$ is the vector containing the three dependent variables. $(\cdot)\_{,i}$ denotes partial derivative with respect to $x\_i$. Roots of the characteristic polynomial of this system can be found out to be $i$, $−i$ and $3\ \cot \phi$. Therefore it does not fall into any of the classifications viz. elliptic, parabolic, hyperbolic. Could someone kindly direct me to any research that has been done on the analytic solution of such a pde?



Classification of a certain System of Linear First Order PDEs whose characteristic polynomial has one real and two complex conjugate zeros
Your system of PDE's appears to be of real principal type, as defined by Hormander. Hormander studied the singularities of distributional solutions to such a PDE and how they propagate. This in turn leads to an a regularity theorem for a compactly supported distributional solution on a bounded open domain. Since the adjoint of a PDO of real principal type is also of real principal type, the regularity theorem in turn implies a local existence theorem. If you google "hormander propagation of singularities" you should be able to find references. Books that discuss this include ones written in the 80's or earlier by Hormander, Treves, Chazarain-Piriou, and Michael Taylor. 


Beyond that, as far as I know, very little is known about such PDE's. You might be able to find a way to use ad hoc techniques adapted to the specific PDE to do better than these rather general results. 


ADDED: The determinant of the first order term of the PDO defines a function on the cotangent bundle of $R^2$, which is a symplectic manifold. The zero set of this function is called the characteristic variety. The function also defines a Hamiltonian vector field $H$ on the cotangent bundle. Any integral curve of the Hamiltonian vector field that lies in the characteristic variety is called a null bicharacterstic. Hormander defines an operator to be of real principal type relative to a domain $\Omega$, if there are no null bicharacteristics trapped over the domain.


It is easy to see that given a point where the function defined above has nonvanishing gradient at any point in the characteristic variety over that point is of real principal type with respect to any sufficiently small open neighborhood of that point. Your PDO appears to me to satisfy this.


Hormander's propagation of singularities theorem says that the wavefront set (which lies in the cotangent bundle and is a refinement of the singular set of a distribution) of a solution lies in the characteristic variety and is invariant under the flow of the Hamiltonian vector field.


So this indicates what you could try to do: Find the Hamiltonian vector field associated with your system of PDE's and study its flow. This would act as a guide to figuring out what the "right" domain for solving your PDE is. You would then try to prove an a priori regularity theorem, maybe through energy integral estimates, directly from your PDE, rather than using the full machinery of microlocal analysis and Fourier integral operators. Actually, you should probably also study the full matrix symbol of the PDE. I'm less familiar with the details of what to do here. You might want to consult early work of Nils Dencker on systems of real principal type.


