ミクシンスキーの演算子法

ミクシンスキーの演算子法（えんざんしほう、Mikusinski's operational calculus）は、ヤン・ミクシンスキーによる演算子法の数学的正当化の試みである。完全に形式的な記号操作でしかなかったヘヴィサイドの演算子法は、その後、ラプラス変換などを用いて部分的にその数学的正当性を保証されるようになったが、それには極限操作などの解析的な手法が必要となるため、形式的操作としての演算子法の簡便さは逆に失われることとなった。1951年に著されたミクシンスキーによる方法は、代数的な手法により、記号操作としての演算子法の特性を再び獲得することを可能にした。
畳み込み代数.
実数直線内の半開区間 [0,∞) 上で定義された複素数値連続函数全体の成すベクトル空間
がミクシンスキーの演算子法の基盤である。ここではミクシンスキーに従って、この空間の元としての函数を {"f"("x")} または "f" と書くことにし、"f" の "x" における値 "f"("x") とは区別して考える（変数を省略する記法を使った場合は、本項では一般に "x" を変数とするものと約束する）。この空間に積を
で定めると、単位元を持たない畳み込み代数が定まる。実際、この積は函数の畳み込みと呼ばれるもので、可換律・結合律を満たすが、単位元を持たない。もし単位元 δ が存在するならば、
を満たすはずだが、右辺は "x" = 0 のとき 0 となるから、"f"(0) ≠ 0 なる "f" についてはこれは成立しない。すなわち、畳み込み積の単位元は（もし存在するならば）デルタ函数として振る舞わなければならないが、そのような元は連続函数の成す空間には存在しない。
なお、Cは畳み込み積において可換環となるが、単位元ではない。
この代数の元は連続函数だが、積が畳み込みで定義されていることにより、積分作用素を含むと考えることができる。実際、定数函数 "l" = {1} は
を満たすから、この代数における左からの積を作用
と考えるときの、作用素 φ として "l" は積分演算子である。このときさらに、積分演算子 "l" の逆元として微分演算子を考えたいとしても、畳み込みに関する単位元が存在しないため、このままではうまくいかない。なお、ここでのｌは、x≧0で、１；x<0では０なので、不連続関数であり、ヘビサイド関数Ｙ（x）と書かれることもある。
演算子の体.
重要なことは、先ほどの非単位的かつ結合的な可換代数が畳み込み積に関する零因子を持たないこと（ティッチマーシュの定理）である。これにより、代数学において一般に商体と呼ばれる構成を行うことができる。
右辺で記号的に分数として "f"/"g" のように書いたものは、ここでの商体の構成に従った「畳み込み "∗" に関する商」となるべきものであって、他によくあるような、例えば値の商としてのもの（つまり、("f"/"g")("x") := "f"("x")/"g"("x") と定めるもの）とは異なるということに注意すべきである。
このようにして得られた体には、もともとの代数に属していた連続函数とともに、それ以外の、函数ですらないもの（しかし、台が下に有界なシュワルツ超函数としては解釈できる）がたくさん含まれることから、ミクシンスキーはこの体の元を "operator" と総称した（ミクシンスキー演算子）。特に、この演算子の体の元としての単位元 δ := "l"/"l" は、Y(x)の微分であって、関数ではなく、Diracのデルタ関数である。この関数は在来の微積分では理解できない。また、微分演算子であるべき、そして実際に微分演算子と呼ぶにふさわしい積分演算子の逆元 "s" = δ/"l" の存在がある。後者については、このような純代数的な方法によって論理的に保証される。
は埋め込みであり、[α] は演算子の体におけるスカラー倍を定める。特にスカラー [1]-倍は [1] ="l"/"l" = δ だから（スカラー倍は演算子の体における乗法として実現できて）演算子の体は C-可換多元体となる。紛れの恐れがなければ [α] を単に α と書く。
また、台が下に有界な局所可積分函数の空間 "L"(−∞,∞) を基にしても、その商体として同じ体 formula_10 が得られる。代数 formula_11 の元を負の部分では 0 となるものとして延長すれば、各函数は "L"(−∞,∞) に入る。
商体がもとの代数を含む（最小の）体となることで、演算子の体による畳み込み代数への作用を、商体における積を考えることによって定められるかを問題にすることができる。
特に、φ = "l""i" ∗ "s""j"（"i", "j" は自然数）に対する結果が確定するならば、微分積分学を展開するのにはさし当たって十分である。このような意味で、単位元 δ はディラックのデルタ函数を実現したものと理解される。
いくつかの基本的な関係式.
ヘヴィサイドの演算子法はラプラス変換を用いて部分的に正当化することができるが、
は演算子の極限の意味で常に存在するから、通常の意味でのラプラス変換をもつ "f" のラプラス変換によって正当化することのできる演算子法の関係式は、ミクシンスキーの方法によってもそのまま正当化できる。例えば、