霍普夫邊界點引理（Hopf boundary-point lemma）
/ HOPF /
最大值原理告訴你，調和函數的最大值住在邊界上。霍普夫引理問一個更細的問題：當你走向那個邊界最大值時，函數的行為如何？答案是它在抵達尖峰時必須嚴格遞增——它不能漸漸變平、以零斜率抵達。函數在它最熱的那個邊界點是「靠著」邊界的，帶有一個真正為負的向內法向導數。
精確地說：設 u 為次調和（或滿足均勻橢圓方程），區域在某邊界點 P 滿足內球條件（區域內有一個球在 P 處與邊界相切），u 在 P 達到嚴格最大值 M，且內部 u < M。則在 P 的向外法向導數嚴格為正：u 沿著指向區域「外」方向的斜率被夾離零，而不只是非負。等價地說，向內法向導數嚴格為負。證明把一個小的比較函數（在相切球內的環形區域上，用類似 e^(-alpha r^2) 減一個常數構造）墊在 u 底下；這個障壁在 P 有已知的嚴格正向外斜率，而 u 在它之上、且兩者在 P 相等，於是 u 下降的陡度至少要一樣。
為什麼要在乎單一點的導數？因為它正是諾伊曼與羅賓唯一性、以及對稱性所缺的那一塊。若諾伊曼問題的兩個解不同，它們的差會在內部或邊界達到極值；強最大值原理處理內部極值，霍普夫引理則靠強迫該處出現非零法向導數來處理邊界極值——與指定的零（或相匹配的）諾伊曼資料矛盾。這個引理也是發動移動平面法的引擎，那裡你需要反射邊界上的嚴格單調性才能讓平面動起來。
在一個圓盤上，最大值在單一邊界點達到的調和函數，不可能以平坦的形狀逼近那一點：它在尖峰處指向外的徑向導數嚴格為正。你無需算出解，就能排除最熱邊界點處出現水平切線的可能。
在邊界最大值處，函數是以嚴格非零的向內斜率抵達的。
它需要內球條件（區域在 P 處要夠光滑，能塞進一個相切的球）；在向內的尖角處結論可能失效。引理給的是法向導數的嚴格正性，而非僅僅非負——正是這份嚴格性在驅動唯一性與對稱性的論證。