Lewy定理是数学领域尤其是偏微分方程理论中的一个重要定理，由汉斯·莱维（Hans Lewy）在1957年提出。Lewy定理主要涉及了在复分析和偏微分方程领域中，某些偏微分方程是否有解的问题。Lewy定理表明，如果一个复函数满足一定的解析条件，那么它所对应的偏微分方程在某一区域内可能无解。
根据文件内容，吴小庆提出了对Lewy定理的批判，认为其结论并不成立。具体而言，吴小庆的研究证明了在某些条件下，Lewy定理中所述的偏微分方程在实心邻域内无解，即便其中的函数关于变量解析。同时，吴小庆也指出了Hans Lewy在证明过程中所犯的一个错误，即利用函数的解析性去推断另一个函数的解析性。
吴小庆的文章首先回顾了Hans Lewy的原始论文以及Lewy定理的基本内容。Lewy方程被定义为一个线性偏微分方程，形式为Lu=+i−ixiy+2∂/∂x∂u/∂y∂u/∂t=ft(x,y,t)。在这个方程中，L是一个微分算子，u是一个复变量的函数。根据Lewy的定理，如果存在一个关于三个变量x、y、t的复值连续函数u，并且在原点的一个邻域内满足上述方程，那么该函数关于t在原点附近应该是解析的。
吴小庆的文章通过构造特定的反例来证明Lewy定理的结论是错误的。文章中提到，即使函数ft在某个区间内解析，偏微分方程Lu=ft在实心邻域Ω中也可能无解。而如果仅在一个去心邻域内，方程可能有解。吴小庆用具体函数例子和变换来构造反例，并运用Green公式和积分变换等复分析和偏微分方程的工具对问题进行深入分析，得出结论。
文件还提及了1957年H.Lewy用反例试图说明即使具有C∞（即无限可微）系数的方程也并非总是有解，甚至可能没有广义解。这是对偏微分方程解的存在性理论提出的一个挑战。吴小庆的研究进一步强化了这一点，并指出了原始证明中潜在的逻辑漏洞。
在吴小庆的论文中，还提到了Lewy定理中的一个重要概念：解析性。解析性是指函数在其定义域内的某点附近的泰勒展开式是该函数本身的特性。若一个函数是解析的，那么它在该点附近可以展开为幂级数，且该级数收敛到函数本身的值。
总结来说，吴小庆的研究揭示了Lewy定理中关于偏微分方程解的存在性的一个重要缺陷，并通过构造反例和运用复分析技巧，对Lewy定理的一些关键假设进行了挑战和修正。这在数学界，特别是偏微分方程的研究领域中，是一个重要的进展，指出了理论推导中必须考虑的更细致的条件，以及对已有结论的重新审视。吴小庆的工作不仅对于纯数学的研究有重要意义，也可能对于应用数学中涉及偏微分方程的领域产生影响，例如物理学中的一些模型可能需要重新审视。
