In the mathematical study of partial differential equations, Lewy's example is a celebrated example, due to Hans Lewy, of a linear partial differential equation with no solutions. It shows that the analog of the Cauchy–Kovalevskaya theorem does not hold in the smooth category.

The original example is not explicit, since it employs the Hahn–Banach theorem, but there since have been various explicit examples of the same nature found by Howard Jacobowitz.[1]

The Malgrange–Ehrenpreis theorem states (roughly) that linear partial differential equations with constant coefficients always have at least one solution; Lewy's example shows that this result cannot be extended to linear partial differential equations with polynomial coefficients.

The example

edit

The statement is as follows

On  , there exists a smooth (i.e.,  ) complex-valued function   such that the differential equation
 
admits no solution on any open set. Note that if   is analytic then the Cauchy–Kovalevskaya theorem implies there exists a solution.

Lewy constructs this   using the following result:

On  , suppose that   is a function satisfying, in a neighborhood of the origin,
 
for some C1 function φ. Then φ must be real-analytic in a (possibly smaller) neighborhood of the origin.

This may be construed as a non-existence theorem by taking φ to be merely a smooth function. Lewy's example takes this latter equation and in a sense translates its non-solvability to every point of  . The method of proof uses a Baire category argument, so in a certain precise sense almost all equations of this form are unsolvable.

Mizohata (1962) later found that the even simpler equation

 

depending on 2 real variables x and y sometimes has no solutions. This is almost the simplest possible partial differential operator with non-constant coefficients.

Significance for CR manifolds

edit

A CR manifold comes equipped with a chain complex of differential operators, formally similar to the Dolbeault complex on a complex manifold, called the  -complex. The Dolbeault complex admits a version of the Poincaré lemma. In the language of sheaves, this means that the Dolbeault complex is exact. The Lewy example, however, shows that the  -complex is almost never exact.

Notes

edit
  1. ^ Jacobowitz, Howard (1988), Cardoso, Fernando; de Figueiredo, Djairo G.; Iório, Rafael; Lopes, Orlando (eds.), "Systems of homogeneous partial differential equations with few solutions", Partial Differential Equations, vol. 1324, Berlin, Heidelberg: Springer Berlin Heidelberg, pp. 127–136, doi:10.1007/bfb0100788, ISBN 978-3-540-50111-4

References

edit