泛函分析

许多经典的偏微分方程的研究都是首先考察弱解的存在性, 然后再证明在一定条件下满足的正则性. 反过来, 如果方程的解足够正则(光滑), 那么一定满足对应的弱形式. 在证明上述抽象问题解的存在性时, inf-sup 条件提供了一个强大的工具, 相比于强制性(coercivity), 它可以解决更加广泛的实际问题.