PDE中的先驗估計是什麼意思

這是個很聰明的想法，基於泛函先驗估計的證明可以原封不動地搬到就能得出所有解釋滿足所需的估計，且這個估計對N是一致的。然後我們用泛函分析中的一條定理：若序列在某個空間中有界，則在適當條件下，存在弱收斂的子每個都是某個方程的解，這些方程在適當意義下收斂於需的估計。你可以看到這就是有界序列必有收斂子列的定理，先驗估計的作用在於保證所論的序列確實有界，只不過這裡的收斂是弱收斂而已。