定義
ユークリッド空間上の作用素
P をユークリッド空間 Rd 上の次数 k の線型微分作用素とすると、P は微分作用素 D を変数とする多項式であり、多重指数の記法を用いれば
と書くことができる。P の全表象(total symbol)とは、不定元 ξ に関する多項式
を言う。また最高次表象 (leading symbol) あるいは主表象 (principal symbol) は、全表象 p(x, ξ) の最高次成分
を言う。主表象は、ちょうど座標変換に対してテンソルとして振る舞う部分にあたることから、後述の議論において重要な役割を担うものである。
P の表象は、フーリエ変換との関連においても、以下のように自然に現れるものである。ƒ をシュワルツ関数とする。このとき、その逆フーリエ変換は
と表される。これは、P がフーリエ乗算作用素(英語版)であることを示している。ξ に関して高々多項式的増大度であるという条件を満足する、より一般の函数 p(x,ξ) のクラスのもとで、この積分はよく振る舞い、擬微分作用素を包括する。
ベクトル束
E と F を閉多様体 X 上のベクトル束とし、
を k-階の微分作用素とすると、X の局所座標(英語版)において、
と書くことができる。ここで、各多重指数 α に対し Pα(x): E → F は束準同型(英語版)で、指数 α たちに関して対称である。
P の k 次の係数(最高次係数)は、X の余接束の k-次対称冪と E とのテンソル積から F への対称テンソル
として作用する。この対称テンソルは、P の主表象(あるいは単に表象)と呼ばれる。
座標系 xi は、座標微分 dxi によって余接束の局所自明化を行うことができて、ファイバー座標 ξi が決まる。E および F の標構基底をそれぞれ eμ および fν として、微分作用素 P を成分に分解すれば、E の各切断 u 上で
と書くことができる。ここで Pνμ は
で定義されるスカラー微分作用素である。この自明化に伴い、主表象は
と書き表わせる。X のある不動点 x に関する余接空間において、表象 は、 に値を取る 内の次数 k の同次多項式を定義する。
微分作用素 は、もしその表象が可逆であるなら、楕円型作用素である。ここで、表象が可逆であるとは、ゼロでない各 に対して束写像 が可逆であることを意味する。コンパクト多様体上では、楕円理論より、P はフレドホルム作用素となる。すなわち、P の核と余核は、有限次元である。
関連項目