爱华网点上方超级数学建模可加关注
传播数学干货，学会理性的方式去思考问题
Plateau's problem（普拉托问题）
这个问题看上去非常简单，就是问在边界固定的情况下，什么样子的曲面面积最小。这在物理上是一个很显然的问题。根据普拉托定律，你拿个铁丝弯成边界，然后吹肥皂泡就好了。但是这个在数学上来说，是一门学科，几何测度论（Geometric measure theory）的核心问题。
为什么说这个问题难呢？我们考虑一个简单的情形，即在三维空间中边界为圆弧的曲面。这个问题答案很显然，就是圆盘。但是从数学角度而言，这个不简单。
通常的想法就是，我们可以把曲面视为一个从二维圆盘到三维空间的映射，然后利用变分法去考虑这个问题。但是这个方法有着很多毛病，其中最大的问题就是缺乏紧性。我们不妨试着跟着这个思路走一下，看看会出怎样的问题。
1. 遍历所有可能的曲面，然后取一个面积趋近于最小（infimum）的序列；
2. 找出一个收敛子序列；
3. 证明极限就是我们想要的曲面，即最小曲面。
在这三步计划中，第二步就会出现很大的问题。比如：
【我是一个有理想的曲面，我的目标是要成为极小曲面】
【嗯，我的面积缩小了。感觉好棒！】
【我的面积又缩小了。可是为什么我感觉怪怪的呢……】
【啊……肯定有……有什么不对……啊……怎么回事……我的面积明明缩小了啊……为什么……我感觉好奇怪啊……不行啊……为什么会变得这么奇怪呢……啊……】
【图片来源：Geometric Measure Theory: A Beginner's Guide 作者：Frank Morgan】
【请绅士们严肃看待这些图片，不要想歪了！也不要“我好兴奋啊”！】
换句话说，即使是曲面的面积在趋近于，你所取得序列也可能长得非常奇怪，有很多很多的触手（马猴烧酒的好朋友），甚至于这些触手可以触及空间中所有的有理点。换句话说，你最后得到的东西的闭包是整个
看看，物理中多么显然的东西，在数学中就是这么的让人纠结。存在性就已经够难了，更别说正则性（即最小曲面是否光滑等等）……这个问题直到20世纪中期才有解决方法。具体方法涉及专业知识较多，我自己也不是很熟悉，就不细说了。
其实这种问题很多。比如在给定条件（比如边值）下的拉普拉斯方程
的解的问题。这个问题在物理上也是几乎显然的，因为电势就是解。但是在数学上这个问题并不简单，一般而言需要Sobolev空间等知识进行解决。
