smooth linear partial differential equation without solution

Cauchy-Kowalewski theorem says that real analytic partial differential equations with real analytic initial data always have solutions. On the other hand Hans Lewy showed in 1957 that this is not true if the equation is only smooth. The example is obvious once we have the following theorem.

Theorem (Lewy).

Let $x\mathrm{,}y\mathrm{,}z$ be independent real variables. Let $f$ be a $C^{\mathrm{1}}$ real function. Suppose that there exists a $C^{\mathrm{1}}$ solution $u$ to the following equation

$$\left[-\frac{\partial }{\partial x}-i\frac{\partial }{\partial y}+2i(x+iy)\frac{\partial }{\partial z}\right]u=f^{\prime }(z),$$

in some neighbourhood of a point $\mathrm{(}\mathrm{0}\mathrm{,}\mathrm{0}\mathrm{,}{z}_{\mathrm{0}}\mathrm{)}\mathrm{.}$ Then $f$ is real analytic at $z_{\mathrm{0}}\mathrm{.}$

Hence we need only pick $f$ which is smooth and not real analytic at $z_0$ and we have an example. For example, let $z_0=0$ and $f(x)={\int }_0^x{e}^{-1/t}𝑑t.$

Title	smooth linear partial differential equation without solution
Canonical name	SmoothLinearPartialDifferentialEquationWithoutSolution
Date of creation	2013-03-22 17:39:38
Last modified on	2013-03-22 17:39:38
Owner	jirka (4157)
Last modified by	jirka (4157)
Numerical id	5
Author	jirka (4157)
Entry type	Example
Classification	msc 35A10
Classification	msc 35A05