軟化子

数学において、軟化子（なんかし、）あるいは恒等作用素への近似（approximation to the identity）として知られるものは、例えば超函数の理論において、畳み込みを介して、滑らかではない超函数に対する滑らかな函数列を作るために用いられる、特別な性質を備えたある滑らかな函数のことを言う。直感的に、変則的な函数が与えられた際、軟化子との畳み込みを取ることで、その函数は「軟化」される。すなわち、その函数の尖った部分は滑らかなものとなるが、依然として元の滑らかではない超函数に似た性質を保つものが得られるこれは与えられた超函数の空間の位相に関する議論である。。発見者のの名に因んで、フリードリヒの軟化子（Friedrichs mollifier）とも呼ばれる を参照。。

 歴史的背景 

軟化子は、偏微分方程式の近代理論の下で、ある分水嶺について考えられた論文  において、により導入された 内の論文  に対するピーター・ラックスの論評を参照。。その名前の由来には、ある興味深い逸話がある。ピーター・ラックスは論評  において次のような由来を語っている。当時のフリードリヒの同僚の一人に、数学者 ドナルド・アレクサンダー・フランダーズ がいた。フリードリヒは英語の用法について同僚に相談することが多く、彼の使用した「滑らかにする作用素」の名付け方についてフランダーズにアドバイスを求めた。ところでフランダーズは清教徒であり、その信仰心の高さを知る友人からは、モル・フランダーズに因んで Moll と言うニックネームで呼ばれていた。フランダーズはそのニックネームと、動詞 "mollify" の語呂合わせである mollifier（軟化子）を、その新しい数学の概念の呼び名とした。これは「滑らかにする」という特徴を比喩的に意味するものでもあったラックス  では正確には次のように書かれている：-"On English usage Friedrichs liked to consult his friend and colleague, Donald Flanders, a descendant of puritans and a puritan himself, with the highest standard of his own conduct, noncensorious towards others. In recognition of his moral qualities he was called Moll by his friends. When asked by Friedrichs what to name the smoothing operator, Flander remarked that thei could be named mollifier after himself; Friedrichs was delighted, as on other occasions, to carry this joke into print." 。

セルゲイ・ソボレフは、それ以前の1938年のエポックメイキングな彼の論文（ソボレフの埋め込み定理の証明が含まれている）において、軟化子を使用していたを参照。。 では、そのようなソボレフの業績について次のように謝辞が述べられていた：-"These mollifiers were introduced by Sobolev and the author...".

ここで軟化子の概念には、わずかな誤解が含まれていることに注意する必要がある。
フリードリヒは、今日「軟化子」と呼ばれている函数の一つを積分核に持つ積分作用素のことを「軟化子」と定義していた。しかし、線型積分作用素の性質はその核によって完全に決定されるため、広く使用されるにつれて軟化子という名前はその核の呼び名として受け継がれることとなった。

 定義 

 近代の（超函数に基づく）定義 
  は ℝn, n ≥ 1 上の滑らかな函数で、次の三つの性質を満たすものとする：

 コンパクトな台を持つ隆起函数のように。。   

ここに  はディラックのデルタ函数であり、その極限はシュワルツ超函数の空間において解釈されるものとする。このとき、 は軟化子と呼ばれる。この函数  は、さらに次の性質を満たす場合も考えられているを参照。：

 すべての x ∈ ℝn に対して  を満たす場合は、正軟化子 (positive mollifier) と呼ばれる。
 ある無限回微分可能な函数 μ: ℝ+ → ℝ に対して  を満たす場合は、対称軟化子 (symmetric mollifier) と呼ばれる。

 フリードリヒの定義に関する注釈 

注釈 1 超函数の理論が未だ広く知られていなかった頃論文  が出版されたのは、ローラン・シュヴァルツが自身の業績を広める数年前であった。は、上述の性質  は次のような内容で代えられていた：適切なヒルベルト空間またはバナッハ空間に属する与えられた函数と、 との畳み込みが、ε → 0  のときにその与えられた函数に収束する収束に関する位相は、明らかに、考えられているヒルベルト空間あるいはバナッハ空間である。 これが正確なの業績である の性質 PI, PII, PIII およびそれらの帰結としての PIII0 を参照されたい。。この結果はまた、軟化子がと関連している理由を明らかにするものでもあるこれに関して  では次のように述べられている：-"The main tool for the proof is a certain class of smoothing operators approximating unity, the "mollifiers".。

注釈 2 前節でも簡潔に指摘されていたように、軟化子という語はもともとは次の畳み込み作用素に対する呼び名であった の paragraph 2, "Integral operators" を参照。：

ここで  であり、 は上述の三条件と、正値性あるいは対称性のいずれか、あるいは両方を満たす滑らかな函数である。

 具体例 

ℝn 上の一変数函数  で、次のように定義されるものを考える。

この函数は無限回微分可能であるが解析的ではなく、 において消失する導函数を持つことは容易に分かる。この函数を全空間での積分で割ることで、積分が 1 となる函数  が得られるが、これを上述のような軟化子として使用することが出来る：また  は正かつ対称な軟化子を定義することも容易に分かる の lemma 1.2.3. を参照されたい：陰的な形状で定義される例として、 ∈ ℝ+ に対する  をはじめに定義し、 ∈ ℝn に対する  を考慮するというものがある。。


 性質 

軟化子のすべての性質は、畳み込みの下での挙動と関連している：以下にそれらの性質を列挙する。証明は超函数に関する多くの著書に見られる例えば  を参照。。

 滑らかさ 

任意の超函数  に対し、実数  を添え字とする畳み込みの族

を考える。ここで  は畳み込みを表す。これは滑らかな函数の族である。

 恒等作用素の近似 

任意の超函数  に対し、実数  を添え字とする次の畳み込みの族は、 に収束する。

 畳み込みの台 

任意の超函数  に対し、

が成り立つ。ここで  は超函数の意味での台を表し、 はを表す。

 応用 

軟化子の基本的な応用として、滑らかな函数に対して有効な性質が、滑らかでないものに対しても有効となることを証明する、というものが挙げられる。

 超函数の積 

いくつかの超函数の理論において、軟化子は超函数の積を定義するために用いられる。正確に言うと、二つの超函数  および  が与えられたとき、滑らかな函数と超函数の積の極限

は（存在するならば）、それらの超函数の積を定義する。これは超函数の様々な理論に現れる。

 "弱=強"の定理 

非公式的であるが、軟化子は微分作用素の二つの異なる種類の拡張に対する等号を証明するために用いられる。すなわち、強拡張と弱拡張である。論文  ではこの概念が上手く説明されている。しかし、その真の意味を表すためには膨大な量の技術的な詳細が必要となるため、この短い節では公式的な説明は省く。

 滑らかなカットオフ函数 

単位球  の指示函数と、（ として  で定義される）滑らかな函数  との畳み込みによって、函数

が得られる。これは  上で  と等しく、台は  に含まれる滑らかな函数である。これは  ≤  および  ≤  であれば  ≤  であることから容易に分かる。したがって、 ≤  に対し、

が成り立つ。この構成法が、ある与えられたコンパクト集合の近傍において 1 に等しく、その集合からの距離が与えられた  よりも大きいすべての点において 0 に等しいような滑らかな函数を得るために一般化する方法は、容易に分かるこの事実の証明は、 の Theorem 1.4.1. に見られる。。そのような函数は（滑らかな）カットオフ函数と呼ばれる。それらの函数は、乗算によって、与えられた超函数の特異性を消すために用いられる。それらは与えられた集合の上でのみ超函数の値を不変に保つものであるため、その函数の台を修正するものである。カットオフ函数はまた、単位元の滑らかな分割を与える基本的なものである。

 関連項目 

 隆起函数
 畳み込み

 シュワルツ超函数

 超函数
 セルゲイ・ソボレフ

 注釈 

 参考文献 
. The first paper where mollifiers were introduced.
. 軟化子を用いて楕円型方程式の解の微分可能性を調べた論文。
. フリードリヒの業績からの抜粋、伝記、および David Isaacson, Fritz John, 加藤敏夫, Peter Lax, Louis Nirenberg, Wolfgag Wasow, Harold Weitzner の論評で構成されている。
.
.
. セルゲイ・ソボレフによって、軟化子と非常に良く似ているが名付けられはしなかった積分作用素を導入、使用することで、ソボレフの埋め込み定理が証明された論文。

Category:関数解析学
Category:滑らかな関数
Category:数学に関する記事