ミクシンスキーの演算子法 （えんざんしほう、Mikusinski's operational calculus）は、ヤン・ミクシンスキー による演算子法 の数学的正当化の試みである。完全に形式的な記号操作でしかなかったヘヴィサイド の演算子法は、その後、ラプラス変換 などを用いて部分的にその数学的正当性を保証されるようになったが、それには極限操作などの解析的な手法が必要となるため、形式的操作としての演算子法の簡便さは逆に失われることとなった。1951年に著されたミクシンスキーによる方法は、代数的な手法により、記号操作としての演算子法の特性を再び獲得することを可能にした。
実 数直線 内の半開区間 [0,∞) 上で定義された複素数 値連続函数 全体の成すベクトル空間
C
=
C
(
[
0
,
∞
)
;
C
)
;
{\displaystyle {\mathcal {C}}=C([0,\infty );\mathbb {C} );}
f
+
g
:=
{
f
(
x
)
+
g
(
x
)
}
,
α
f
:=
{
α
f
(
x
)
}
,
(
f
,
g
∈
C
,
α
∈
C
)
{\displaystyle {\begin{aligned}f+g&:=\{f(x)+g(x)\},\\\alpha f&:=\left\{\alpha f(x)\right\},\end{aligned}}\quad (f,g\in {\mathcal {C}},\alpha \in \mathbb {C} )}
がミクシンスキーの演算子法の基盤である。ここではミクシンスキーに従って、この空間の元としての函数を {f (x )} または f と書くことにし、f の x における値 f (x ) とは区別して考える（変数を省略する記法を使った場合は、本項では一般に x を変数とするものと約束する）。この空間に積を
f
g
:=
{
f
(
x
)
∗
g
(
x
)
}
=
{
∫
0
x
f
(
x
−
ξ
)
g
(
ξ
)
d
ξ
}
{\displaystyle fg:=\{f(x)*g(x)\}=\left\{\int _{0}^{x}f(x-\xi )g(\xi )d\xi \right\}}
で定めると、単位元を持たない畳み込み代数が定まる。実際、この積は函数の畳み込み と呼ばれるもので、可換律 ・結合律 を満たすが、単位元を持たない。もし単位元 δ が存在するならば、
f
=
f
δ
=
{
∫
0
x
f
(
x
−
ξ
)
δ
(
ξ
)
d
ξ
}
{\displaystyle f=f\delta =\left\{\int _{0}^{x}f(x-\xi )\delta (\xi )d\xi \right\}}
を満たすはずだが、右辺は x = 0 のとき 0 となるから、f (0) ≠ 0 なる f についてはこれは成立しない。すなわち、畳み込み積の単位元は（もし存在するならば）デルタ函数 として振る舞わなければならないが、そのような元は連続函数の成す空間には存在しない。
なお、Cは畳み込み積において可換環となるが、単位元ではない。
この代数の元は連続函数だが、積が畳み込みで定義されていることにより、積分作用素を含むと考えることができる。実際、定数函数 l = {1} は
l
f
=
{
∫
0
x
f
(
ξ
)
d
ξ
}
{\displaystyle lf=\left\{\int _{0}^{x}f(\xi )d\xi \right\}}
を満たすから、この代数における左からの積を作用
C
↷
C
:
C
×
C
→
C
;
(
φ
,
f
)
↦
φ
f
{\displaystyle {\mathcal {C}}\curvearrowright {\mathcal {C}}\colon {\mathcal {C}}\times {\mathcal {C}}\to {\mathcal {C}};\;(\varphi ,f)\mapsto \varphi f}
と考えるときの、作用素 φ として l は積分演算子である。このときさらに、積分演算子 l の逆元として微分演算子を考えたいとしても、畳み込みに関する単位元が存在しないため、このままではうまくいかない。なお、ここでのｌは、x≧0で、１；x<0では０なので、不連続関数であり、ヘビサイド関数Ｙ（x）と書かれることもある。
重要なことは、先ほどの非単位的かつ結合的な可換代数が畳み込み積に関する零因子を持たないこと（ティッチマーシュの定理 ）である[ 1] 商体 と呼ばれる構成を行うことができる。
L
=
F
r
a
c
(
C
)
=
{
f
g
=
f
/
g
∣
f
,
g
∈
C
}
.
{\displaystyle {\mathcal {L}}=\mathrm {Frac} ({\mathcal {C}})=\left\{{\frac {f}{g}}=f/g\mid f,g\in {\mathcal {C}}\right\}.}
右辺で記号的に分数として f /g のように書いたものは、ここでの商体の構成に従った「畳み込み "∗" に関する商」となるべきものであって、他によくあるような、例えば値の商としてのもの（つまり、(f /g )(x ) := f (x )/g (x ) と定めるもの）とは異なるということに注意すべきである。
このようにして得られた体 には、もともとの代数に属していた連続函数とともに、それ以外の、函数ですらないもの（しかし、台が下に有界なシュワルツ超函数 としては解釈できる）がたくさん含まれることから、ミクシンスキーはこの体の元を operator と総称した（ミクシンスキー演算子 ）。特に、この演算子の体の元としての単位元 δ := l /l は、Y(x)の微分であって、関数ではなく、Diracのデルタ関数である。この関数は在来の微積分では理解できない。また、微分演算子であるべき、そして実際に微分演算子と呼ぶにふさわしい積分演算子の逆元 s = δ/l の存在がある。後者については、このような純代数的な方法によって論理的に保証される。
C
∋
α
→
[
α
]
:=
s
{
α
}
=
{
α
}
/
l
∈
L
{\displaystyle \mathbb {C} \ni \alpha \to [\alpha ]:=s\{\alpha \}=\{\alpha \}/l\in {\mathcal {L}}}
は埋め込みであり、[α] は演算子の体におけるスカラー倍を定める。特にスカラー [1]-倍は [1] =l /l = δ だから（スカラー倍は演算子の体における乗法として実現できて）演算子の体は C -可換多元体となる。紛れの恐れがなければ [α] を単に α と書く。
C
⊂
C
⊂
L
.
{\displaystyle \mathbb {C} \subset {\mathcal {C}}\subset {\mathcal {L}}.}
また、台が下に有界な局所可積分函数の空間 L 1 (−∞,∞) を基にしても、その商体として同じ体
L
{\displaystyle {\mathcal {L}}}
C
{\displaystyle {\mathcal {C}}}
L 1 (−∞,∞) に入る。
商体がもとの代数を含む（最小の）体となることで、演算子の体による畳み込み代数への作用を、商体における積を考えることによって定められるかを問題にすることができる。
L
↷
C
:
L
×
C
→
C
(
⊂
L
)
;
(
φ
,
f
)
↦
φ
f
.
{\displaystyle {\mathcal {L}}\curvearrowright {\mathcal {C}}\colon {\mathcal {L}}\times {\mathcal {C}}\to {\mathcal {C}}(\subset {\mathcal {L}});\;(\varphi ,f)\mapsto \varphi f.}
特に、φ = l i s j i , j は自然数）に対する結果が確定するならば、微分積分学を展開するのにはさし当たって十分である。このような意味で、単位元 δ はディラックのデルタ函数 を実現したものと理解される。
ヘヴィサイドの演算子法はラプラス変換 を用いて部分的に正当化することができるが、
lim
β
→
∞
∫
0
β
e
−
λ
s
f
(
λ
)
d
λ
(
f
∈
C
)
{\displaystyle \lim _{\beta \to \infty }\int _{0}^{\beta }e^{-\lambda s}f(\lambda )d\lambda \quad (f\in {\mathcal {C}})}
は演算子の極限の意味で常に存在するから、通常の意味でのラプラス変換をもつ f のラプラス変換によって正当化することのできる演算子法の関係式は、ミクシンスキーの方法によってもそのまま正当化できる。例えば、
積分演算子 l
l
f
=
{
∫
0
x
f
(
ξ
)
d
ξ
}
.
{\displaystyle lf=\left\{\int _{0}^{x}f(\xi )d\xi \right\}.}
l
n
=
{
x
n
−
1
(
n
−
1
)
!
}
.
{\displaystyle l^{n}=\left\{{\frac {x^{n-1}}{(n-1)!}}\right\}.}
微分演算子 s
可微分な f に対して
s
f
=
f
′
+
[
f
(
0
)
]
.
{\displaystyle sf=f'+[f(0)].}
s
n
f
=
f
(
n
)
+
[
f
(
n
−
1
)
(
0
)
]
+
[
s
f
(
n
−
2
)
(
0
)
]
+
⋯
+
[
s
n
−
1
f
(
0
)
]
.
{\displaystyle s^{n}f=f^{(n)}+[f^{(n-1)}(0)]+[sf^{(n-2)}(0)]+\cdots +[s^{n-1}f(0)].}
s
{
e
α
x
}
=
[
α
]
{
e
α
x
}
+
[
1
]
,
(
α
∈
C
)
.
{\displaystyle s\left\{e^{\alpha x}\right\}=[\alpha ]\left\{e^{\alpha x}\right\}+[1],(\alpha \in \mathbb {C} ).}
s
{
x
n
}
=
[
n
]
{
x
n
−
1
}
.
{\displaystyle s\left\{x^{n}\right\}=[n]\left\{x^{n-1}\right\}.}
1
(
s
−
[
α
]
)
n
=
{
x
n
−
1
e
α
x
(
n
−
1
)
!
}
.
{\displaystyle {\frac {1}{(s-[\alpha ])^{n}}}=\left\{{\frac {x^{n-1}e^{\alpha x}}{(n-1)!}}\right\}.}
Mikunsinski, Jan (1984), Operational calculaus , International series of monographs in pure and applied mathematics, Volume I (2nd ed.), Oxford: Pergamon Press, ISBN 978-0-08-025071-7 Mikunsinski, Jan (1987), Operational calculaus , International series of monographs in pure and applied mathematics, Volume II (2nd ed.), Oxford: Pergamon Press, ISBN 978-1-48-312903-7 吉田耕作 『演算子法 一つの超函数論』東京大学出版会〈UP応用数学選書 5〉、1982年2月。ISBN 978-4-13-064065-7 。 Yosida, Kosaku (1984), Operational Calculus: A Theory of Hyperfunctions , Applied Mathematical Sciences, Vol. 55, Springer, ISBN 978-0-387-96047-0 Yosida, Kosaku (1996), Functional Analysis , Classics in Mathematics (6th ed.), Springer, ISBN 978-3-540-58654-8
![{\displaystyle \mathbb {C} \ni \alpha \to [\alpha ]:=s\{\alpha \}=\{\alpha \}/l\in {\mathcal {L}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ed3377e3c5720009412b7bfbe6da96d6607f5f29)
![{\displaystyle sf=f'+[f(0)].}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6921b13fdf3a7252dee3f00b0d7571edd39c0542)
![{\displaystyle s^{n}f=f^{(n)}+[f^{(n-1)}(0)]+[sf^{(n-2)}(0)]+\cdots +[s^{n-1}f(0)].}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2ac8244e307d6a5ccac22af592d85c091e8efb69)
![{\displaystyle s\left\{e^{\alpha x}\right\}=[\alpha ]\left\{e^{\alpha x}\right\}+[1],(\alpha \in \mathbb {C} ).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/449f72b516b7f2f4e273c21623e103b3a12e6ce6)
![{\displaystyle s\left\{x^{n}\right\}=[n]\left\{x^{n-1}\right\}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/74743c74b80a605bf724ae3d9c3fd05aa5f53895)
![{\displaystyle {\frac {1}{(s-[\alpha ])^{n}}}=\left\{{\frac {x^{n-1}e^{\alpha x}}{(n-1)!}}\right\}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d47c228d0c91b21c8fd11d628deec374f681d33d)
