外尔引理 外尔引理 是由德国数学家赫尔曼外尔证明的一个结果它提供了拉普拉斯方程的一个极弱形式