恰當支擬微分運算元

概念定義

恰當支擬微分運算元(properly supported pseudo differential operators)一種便於代數運算的擬微 分運算元，如果一個擬微分運算元A的核K，為恰當支 廣義函式，則稱A為恰當支擬微分運算元.例如，恆等 運算元1所對應的核是a(二一.v >，它的支集為對角線 二一y，這顯然是恰當子集.於是恆等運算元是恰當支擬微分運算元.同樣，所有具C一係數的線性偏微分算 子都是恰當支擬微分運算元.如果運算元A是恰當支擬 微分運算元，那么它是Co }}}}Co)的線性連續映 射，且可以擴張為C的(門)~C加(門)的線性連續映射.