The general Monge-Ampère equation in $n$ independent variables is a quasi-linear combination of all the possible minors of the $n\times n$ Hessian matrix
$$
\left\|\frac{\partial^2u}{\partial x^i\partial x^j}\right\|\, .
$$
For instance, with $n=2$, one has
$$
A+Bu\_{xx}+Cu\_{xt}+Du\_{tt}+E(u\_{xx}u\_{tt}-u\_{xt}^2)=0\, ,\quad\quad (^\*)
$$
where $A,B,C,D,E$ depend on $x,t,u,u\_x,u\_t$.


Let's stick with the case $n=2$.



> 
> DEFINITION: A second-order bidimensional PDE is of *Monge-Ampère type* iff it can be brought in the form $(^\*)$ by means of a contact transformation of the space $\{ x,t,u,u\_x,u\_t \}$.
> 
> 
> 


Now, my question.



> 
> QUESTION: Is there an example of a second-order bidimensional PDE, **which is a polynomial of degree not greater than 2 in the second-order derivatives**, and is NOT of Monge-Ampere type?
> 
> 
> 


What kind of answer do I expect? It would be really great if someone pointed out some "famous" equation (in the sense that it enjoys some popularity, possibly amongst physicists), like
$$
u\_t=u\_{xx}\, ,\quad\quad (^{\*\*})
$$
and provided me with a very simple argument showing that $(^{\*\*})$ cannot be brought in the form $(^{\*})$. (I simply don't believe that all the equations from my question are of Monge-Ampère type - yet this feeling may be wrong.)


**COMMENTS after R. Bryant answer**


To be more precise, my question is about hypersurfaces in second-order jets spaces or, in a fibre-wise perspective, about *hypersurfaces in the Lagrangian Grassmannian*. Of course, Monge-Ampère equations form an invariant class, as they correspond to **hyperplane sections**. So, I'm interested to know what lies beyond the class of hyperplane sections: intuitively, it should be the class of **"hyperquadric" sections**, and Bryant's "cylindrical" example
$$
u\_{xx}^2+u\_{tt}^2=1
$$
falls indeed in such a class. **Has this class been studied?** Is there any "famous" example (e.g., describing the geometry of some special surfaces, or modeling some physical phenomenon) of a "hyperquadric" section which is not a hyperplane section?



Are all bidimensional second-order PDE at most quadratic in the top derivatives of Monge-Ampère type?
Two points: 


First, the equation ${u\_{xx}}^2+{u\_{yy}}^2-1 =0$ is not of Monge-Ampère type.


Second, the class of Monge-Ampère equations is preserved under contact transformations on the $1$-jet space, so if an equation is of Monge-Ampère type up to contact transformation, then it *is* a Monge-Ampère equation already.


More precisely, one should distinguish between the particular *equation* and the *hypersurface* that it defines in the $2$-jet space. For example, the equation ${u\_{xx}}^3 -1 = 0$ is clearly not in Monge-Ampère form, but it defines the same locus in the $2$-jet space as $u\_{xx} - 1 = 0$, which is. Properly speaking, it is the *hypersurface* that is or is not of Monge-Ampère type, not the particular equation one uses to define it.


**Comments after the modification of the question:**


It is, perhaps, better to think of the class of Monge-Ampère equations as the smallest contact-invariant class that contains the quasi-linear second order scalar equations. That way, one can see that, since the Euler-Lagrange equations of first-order functionals are quasi-linear second-order equations, it is not surprising that many of the equations studied by physicists and mathematicians are of Monge-Ampère form. (One might wonder why they aren't all just second-order quasi-linear. That's a story involving the natural appearance of contact transformations and equivalence in PDE that is too long to go into here.) Thus, it's not that surprising that most of the scalar second-order equations one encounters in "physically motivated" problems belong to the Monge-Ampère class. 


This also happens frequently in differential geometry, since many (though by no means all) of the equations we study are variational and second order. 


An interesting class that is properly larger than Monge-Ampère equations that has been studied in basic differential geometry is the class of *Weingarten equations*, i.e., equations for a surface that impose a relation between the principal curvatures of the surface. 


Of course, some of these are of Monge-Ampère type, such as the so-called *linear Weingarten equations*, i.e., equations of the form $a + 2b H + c K = 0$ where $a$, $b$, and $c$ are constants and $H$ and $K$ are the mean and Gaussian curvature, respectively. 


However, the general relation $F(H,K)=0$ is a second order scalar equation that is not of Monge-Ampère type if the curve that it describes in the $HK$-plane is not linear. (The equation is elliptic (resp. hyperbolic) if the expression ${F\_H}^2+2HF\_HF\_K + K{F\_K}^2$ is positive (resp. negative) along the curve $F(H,K)=0$.) 


Such equations have been studied in the differential geometry literature by many people. For a study of these equations as PDE, one could consult the classic papers of Caffarelli, Nirenberg, and Spruck that appeared in the 1980s.


**Further comments on generalizing the Monge-Ampère class**


In a certain sense, what makes the Monge-Ampère class "natural" (besides the fact that it includes the class of Euler-Lagrange equations for first order functionals) is that it is invariant under contact transformations, which carry Monge-Ampère equations to (other) Monge-Ampère equations. By contrast, even in the case of $2$ independent variables, the class of all second order equations that are quadratic in the second derivatives is *not* invariant under contact transformations, so, in that sense, it is not really a natural class to study. There *are* other contact-invariant natural classes, but explaining what they are requires an excursion into conformal geometry.


