橢圓算子(elliptic operator)
拉普拉斯方程說某量恰好等於其鄰居的平均——完美平衡,沒有偏好的方向。橢圓算子是其自然推廣:它仍描述平衡,但介質如今可以是不均勻且依賴方向的。熱在一塊木頭中順著紋理流動可能比橫越紋理容易;橢圓算子捕捉這種各向異性,同時保有拉普拉斯算子那種剛性、平滑化、平衡的特質。
n 個變數中的一般二階算子為 L u = - sum over i,j a_ij(x) u_(x_i x_j) + sum over i b_i(x) u_(x_i) + c(x) u。其主部——最高階的那一塊——是作用在二階導數上的矩陣 a_ij(x)。若在某點 x 該矩陣 a_ij(x) 在此正定,則算子在 x 處為橢圓型:對每個非零方向向量 xi,sum over i,j a_ij(x) xi_i xi_j 嚴格為正。等價地說,符號 sum a_ij xi_i xi_j 對非零 xi 永不為零,故沒有實的特徵方向。拉普拉斯算子本身的 a_ij 就是單位矩陣,是最簡單的正定情形。其定義特徵是幾何的:符號的等位面是橢球,名稱正是由此而來。
橢圓性是平衡方程一切良好性質的代數印記:解由其在整個邊界上的值決定(而非由某一切片上的初始資料決定),解在係數平滑之處皆平滑,且最大值原理成立。它與雙曲型算子(如波動算子)位於光譜的相反兩端——後者沿特徵線以有限速度傳播訊號。橢圓算子沒有可供傳播的特徵線——資訊處處同時被感受到。
在一張膠合板上,沿紋理方向(x)的導熱率是橫向(y)的兩倍,穩態溫度滿足 - (2 u_xx + u_yy) = 0。主部矩陣為 diag(2, 1),正定,故算子為橢圓型;其符號 2 xi_1^2 + xi_2^2 對每個非零 (xi_1, xi_2) 皆為正,證實沒有特徵方向。
各向異性拉長了橢圓,但不破壞橢圓性——符號在每個方向都保持為正。
橢圓性只是對主部(最高階部分)的條件;低階項 b_i 與 c 從不影響它。但那些低階項對可解性確實重要——較大的正 c 有幫助,而過於負的 c 會讓算子撞上某個特徵值並失去唯一性。