軟化子

数学において、軟化子（なんかし、）あるいは恒等作用素への近似（approximation to the identity）として知られるものは、例えば超函数の理論において、畳み込みを介して、滑らかではない超函数に対する滑らかな函数列を作るために用いられる、特別な性質を備えたある滑らかな函数のことを言う。直感的に、変則的な函数が与えられた際、軟化子との畳み込みを取ることで、その函数は「軟化」される。すなわち、その函数の尖った部分は滑らかなものとなるが、依然として元の滑らかではない超函数に似た性質を保つものが得られる。発見者のの名に因んで、フリードリヒの軟化子（Friedrichs mollifier）とも呼ばれる。
歴史的背景.
軟化子は、偏微分方程式の近代理論の下で、ある分水嶺について考えられた論文 において、により導入された。その名前の由来には、ある興味深い逸話がある。ピーター・ラックスは論評 において次のような由来を語っている。当時のフリードリヒの同僚の一人に、数学者 ドナルド・アレクサンダー・フランダーズ がいた。フリードリヒは英語の用法について同僚に相談することが多く、彼の使用した「滑らかにする作用素」の名付け方についてフランダーズにアドバイスを求めた。ところでフランダーズは清教徒であり、その信仰心の高さを知る友人からは、モル・フランダーズに因んで Moll と言うニックネームで呼ばれていた。フランダーズはそのニックネームと、動詞 "mollify" の語呂合わせである mollifier（軟化子）を、その新しい数学の概念の呼び名とした。これは「滑らかにする」という特徴を比喩的に意味するものでもあった。
セルゲイ・ソボレフは、それ以前の1938年のエポックメイキングな彼の論文（ソボレフの埋め込み定理の証明が含まれている）において、軟化子を使用していた。 では、そのようなソボレフの業績について次のように謝辞が述べられていた：-"These mollifiers were introduced by Sobolev and the author..."".
ここで軟化子の概念には、わずかな誤解が含まれていることに注意する必要がある。
フリードリヒは、今日「軟化子」と呼ばれている函数の一つを積分核に持つ積分作用素のことを「軟化子」と定義していた。しかし、線型積分作用素の性質はその核によって完全に決定されるため、広く使用されるにつれて軟化子という名前はその核の呼び名として受け継がれることとなった。
定義.
近代の（超函数に基づく）定義.
 formula_1 は ℝ"n", "n" ≥ 1 上の滑らかな函数で、次の三つの性質を満たすものとする：
ここに formula_4 はディラックのデルタ函数であり、その極限はシュワルツ超函数の空間において解釈されるものとする。このとき、formula_1 は軟化子と呼ばれる。この函数 formula_1 は、さらに次の性質を満たす場合も考えられている：
フリードリヒの定義に関する注釈.
注釈 1 超函数の理論が未だ広く知られていなかった頃は、上述の性質 は次のような内容で代えられていた：適切なヒルベルト空間またはバナッハ空間に属する与えられた函数と、"formula_9" との畳み込みが、"ε" → 0 のときにその与えられた函数に収束する これが正確なの業績である。この結果はまた、軟化子がと関連している理由を明らかにするものでもある。
注釈 2 前節でも簡潔に指摘されていたように、軟化子という語はもともとは次の畳み込み作用素に対する呼び名であった：
ここで formula_11 であり、"formula_1" は上述の三条件と、正値性あるいは対称性のいずれか、あるいは両方を満たす滑らかな函数である。
具体例.
ℝ"n" 上の一変数函数 "formula_1"formula_14 で、次のように定義されるものを考える。
formula_15
この函数は無限回微分可能であるが解析的ではなく、 において消失する導函数を持つことは容易に分かる。この函数を全空間での積分で割ることで、積分が 1 となる函数 "formula_1" が得られるが、これを上述のような軟化子として使用することが出来る：また "formula_1"formula_14 は正かつ対称な軟化子を定義することも容易に分かる。
性質.
軟化子のすべての性質は、畳み込みの下での挙動と関連している：以下にそれらの性質を列挙する。証明は超函数に関する多くの著書に見られる。
滑らかさ.
任意の超函数 formula_19 に対し、実数 formula_20 を添え字とする畳み込みの族
を考える。ここで formula_22 は畳み込みを表す。これは滑らかな函数の族である。
恒等作用素の近似.
任意の超函数 formula_19 に対し、実数 formula_20 を添え字とする次の畳み込みの族は、formula_19 に収束する。
畳み込みの台.
任意の超函数 formula_19 に対し、
が成り立つ。ここで formula_29 は超函数の意味での台を表し、formula_30 はを表す。
応用.
軟化子の基本的な応用として、滑らかな函数に対して有効な性質が、滑らかでないものに対しても有効となることを証明する、というものが挙げられる。
超函数の積.
いくつかの超函数の理論において、軟化子は超函数の積を定義するために用いられる。正確に言うと、二つの超函数 formula_31 および formula_19 が与えられたとき、滑らかな函数と超函数の積の極限
は（存在するならば）、それらの超函数の積を定義する。これは超函数の様々な理論に現れる。
"弱=強"の定理.
非公式的であるが、軟化子は微分作用素の二つの異なる種類の拡張に対する等号を証明するために用いられる。すなわち、強拡張と弱拡張である。論文 ではこの概念が上手く説明されている。しかし、その真の意味を表すためには膨大な量の技術的な詳細が必要となるため、この短い節では公式的な説明は省く。
滑らかなカットオフ函数.
単位球 formula_34 の指示函数と、（formula_35 として で定義される）滑らかな函数 "formula_36" との畳み込みによって、函数
が得られる。これは formula_38 上で formula_39 と等しく、台は formula_40 に含まれる滑らかな函数である。これは formula_41 ≤ formula_42 および formula_43 ≤ formula_42 であれば formula_45 ≤ formula_39 であることから容易に分かる。したがって、formula_41 ≤ formula_42 に対し、
が成り立つ。この構成法が、ある与えられたコンパクト集合の近傍において 1 に等しく、その集合からの距離が与えられた formula_50 よりも大きいすべての点において 0 に等しいような滑らかな函数を得るために一般化する方法は、容易に分かる。そのような函数は（滑らかな）カットオフ函数と呼ばれる。それらの函数は、乗算によって、与えられた超函数の特異性を消すために用いられる。それらは与えられた集合の上でのみ超函数の値を不変に保つものであるため、その函数の台を修正するものである。カットオフ函数はまた、単位元の滑らかな分割を与える基本的なものである。