We know we can reduce Symplectic monge ampere equations to Jacobi PDE system with some compatibility condition. I want to see when the vise versa is correct? and is there any theorem for it.


Here Jacobi PDE system is 


$a\_1+b\_1\frac{\partial h\_1}{\partial x\_1}-c\_1\frac{\partial h\_1}{\partial x\_2}-d\_1\frac{\partial h\_2}{\partial x\_2}+e\_1\frac{\partial h\_2}{\partial x\_1}+f\_1\left (\frac{\partial h\_1}{\partial x\_1}\frac{\partial h\_2}{\partial x\_2}-\frac{\partial h\_1}{\partial x\_2}\frac{\partial h\_2}{\partial x\_1} \right )=0$
$a\_2+b\_2\frac{\partial h\_1}{\partial x\_1}-c\_2\frac{\partial h\_1}{\partial x\_2}-d\_2\frac{\partial h\_2}{\partial x\_2}+e\_2\frac{\partial h\_2}{\partial x\_1}+f\_2\left (\frac{\partial h\_1}{\partial x\_1}\frac{\partial h\_2}{\partial x\_2}-\frac{\partial h\_1}{\partial x\_2}\frac{\partial h\_2}{\partial x\_1} \right )=0$



Under which conditions Jacobi PDE system can be represented to symplectic monge Ampere equation?
Thanks for the clarification; I wasn't familiar with this terminology. I assume that the coefficients $a\_i$, $b\_i$, $c\_i$, $d\_i$, $e\_i$, and $f\_i$ are specified functions of $x\_1,x\_2,h\_1,h\_2$. (Let me know if this is not correct.)


Geometrically, what you have is a pair of $2$-forms on a $4$-dimensional manifold, which you have specified in coordinates $(x\_1,x\_2,h\_1,h\_2)$ as
$$
\begin{align}
\Upsilon\_1 &= a\_1\ dx\_1\wedge dx\_2 + b\_1\ dh\_1\wedge dx\_2 + \cdots + e\_1\ dh\_2\wedge dx\_2 + f\_1\ dh\_1\wedge dh\_2\\\\
\Upsilon\_2 &= a\_2\ dx\_1\wedge dx\_2 + b\_2\ dh\_1\wedge dx\_2 + \cdots + e\_2\ dh\_2\wedge dx\_2 + f\_2\ dh\_1\wedge dh\_2\ ,\\\\
\end{align}
$$
and you are looking for surfaces that are Lagrangian with respect to both $2$-forms, as these correspond to (generalized) solutions to your PDE system. 


In order for this system to be 'symplectic', what you want is to find (or, better, determine whether there exist) combinations $\Omega = \lambda^1\ \Upsilon\_1 + \lambda^2\ \Upsilon\_2$ that satisfy $\Omega^2\not=0$ and $d\Omega =0$. Typically, this is 4 first order linear equations for the two unknown functions $\lambda^i$, so it's overdetermined, and there are 'curvature invariants' that determine when there are solutions and how many there are.


These are what are often called 'conservation laws' in some literature on this subject, and one place you could look (at least in the hyperbolic case; the elliptic case and parabolic cases are somewhat similar, though, at least in the formal setting) is in our paper with Phillip Griffiths and Lucas Hsu, *Hyperbolic exterior differential systems and their conservation laws, I & II*, which appeared in Selecta Mathematica (New Series) **1** (1995), pp. 21–112 and 265–323. (.dvi files of these papers are available at <http://fds.duke.edu/db/aas/math/faculty/bryant/publications.html>)


