粘性解のソースを表示

[[数学]]の分野における'''粘性解'''（ねんせいかい、{{Lang-en-short|viscosity solution}}）とは、1980年代初頭に[[ピエール＝ルイ・リオン]]と[[マイケル・クランドール]]によって、古典的な[[偏微分方程式]]（PDE）の「解」の概念の一般化として導入されたものである。粘性解は、偏微分方程式の応用の場面において用いられる、自然な解の概念であることが知られている。例えば、一階の方程式として[[最適制御]]における[[ハミルトン-ヤコビ方程式]]や、[[微分ゲーム]]における[[アイザック方程式]]、あるいは前方発展問題における方程式<ref>I. Dolcetta and P. Lions, eds., (1995), ''Viscosity Solutions and Applications.'' Springer, ISBN 978-3-540-62910-8.</ref>や、二階の方程式として確率最適制御や確率微分ゲームに現れるものなどに対して、粘性解は用いられる。

古典的な概念では、領域 <math>x\in\Omega</math> について偏微分方程式
:<math> H(x,u,Du,D^2 u) = 0 </math>
が解を持つとは、<math>x</math>、<math>u</math>、<math>Du</math> および <math> D^2 u</math> が全ての点においてその方程式を満たすような、全領域で連続かつ微分可能な[[函数]] ''u''(''x'') が存在することを言う。

あるスカラー方程式が退化楕円型（次節で定義する）であるとき、'''粘性解'''と呼ばれるある種の[[弱解]]を定義することが出来る。粘性解の概念の下では、''u'' は必ずしも至る所で微分可能でなくても良い。<math>Du</math> あるいは <math> D^2 u</math> のいずれかは存在しないが ''u'' がある適切な意味において上の方程式を満たすような点が存在し得るのである。その定義はある種の特異性のみを許すものであるため、広い方程式のクラスに対して、一様極限の下での解の存在、一意性および安定性が保証されている。

== 定義 ==
粘性解の定義を表す方法には、いくつかの同値なものが存在する。例えばフレミングとソナーの本や、Users Guide における semi-jets を使った定義<ref>
Wendell H. Fleming, H. M . Soner., eds., (2006), ''Controlled Markov Processes and Viscosity Solutions.'' Springer, ISBN 978-0-387-26045-7.</ref> の II.4 節や、<ref name="CIL">{{Citation | last1=Crandall | first1=Michael G. | last2=Ishii | first2=Hitoshi | last3=Lions | first3=Pierre-Louis | title=User's guide to viscosity solutions of second order partial differential equations | doi=10.1090/S0273-0979-1992-00266-5 | year=1992 | journal=American Mathematical Society. Bulletin. New Series | issn=0002-9904 | volume=27 | issue=1 | pages=1–67}}</ref>を参照されたい。

ある領域 <math> \Omega </math> における方程式 <math> H(x,u,Du,D^2 u) = 0 </math> が'''退化楕円型'''（degenerate elliptic）であるとは、<math>Y-X</math> が[[行列の定値性|正定値行列]]であるような二つの任意の対称行列 <math>X</math> と <math>Y</math>、および任意の <math>x \in \Omega</math>、<math>u</math> と <math>p \in \mathbb{R}^n</math> に対して、不等式 <math> H(x,u,p,X) \geq H(x,u,p,Y) </math> が成立することを言う。例えば、<math> -\Delta u = 0 </math> は退化楕円型である。また任意の一階の方程式は、退化楕円型である。

<math>\Omega</math> における[[半連続|上半連続]]な函数 <math>u</math> が、ある退化楕円型方程式の「粘性の意味」での'''劣解'''（subsolution）であるとは、任意の点 <math>x_0 \in \Omega</math> と、任意の <math>C^2</math> 函数 <math>\phi</math> で <math>\phi(x_0) = u(x_0)</math> および <math>x_0</math> の[[近傍]]で <math>\phi \geq u</math> を満たすようなものに対して、<math> H(x_0,\phi(x_0),D\phi(x_0),D^2 \phi(x_0)) \leq 0 </math> が成立することを言う。

<math>\Omega</math> における[[半連続|下半連続]]な函数 <math>u</math> が、ある退化楕円型方程式の「粘性の意味」での'''優解'''（supersolution）であるとは、任意の点 <math>x_0 \in \Omega</math> と、任意の <math>C^2</math> 函数 <math>\phi</math> で <math>\phi(x_0) = u(x_0)</math> および <math>x_0</math> の[[近傍]]で <math>\phi \leq u</math> を満たすようなものに対して、<math> H(x_0,\phi(x_0),D\phi(x_0),D^2 \phi(x_0)) \geq 0 </math> が成立することを言う。

[[連続函数]] ''u'' は、粘性の意味で優解かつ劣解であるとき、その偏微分方程式の'''粘性解'''と言われる。

== 基本性質 ==
粘性解の三つの基本性質は、「存在」、「一意性」および「安定性」である。

* 解の「一意性」が成立するためには、方程式に他の構造的な仮定が課される必要がある。しかし、退化楕円型方程式のとても広いクラスに対して、一意性は示される<ref name="CIL"/>。それは「比較原理」の直接的な帰結である。比較原理が成立する簡単な例として、次が挙げられる：
# <math>u+H(x,\nabla u) = 0</math> かつ ''H'' は ''x'' について[[一様連続]]。
# （一様楕円型の場合）<math>H(D^2 u, Du, u) = 0</math> が成立し、したがって <math>H</math> はすべての変数に関してリプシッツ。また、すべての <math>r \leq s </math> および <math>X \geq Y</math> に対して、<math>H(Y,p,s) \geq H(X,p,r) + \lambda ||X-Y||</math> が成り立つようなある <math>\lambda>0</math> が存在する。
* 解の「存在」は、比較原理が成り立ち、かつ境界条件がある方法で強いられる（[[ディリクレ境界条件]]の場合には[[障壁函数]]を通して）すべての場合において、保証される。一階の方程式に対しては、粘性消滅法<ref name="CL">{{Citation | last1=Crandall | first1=Michael G. | last2=Lions | first2=Pierre-Louis | title=Viscosity solutions of Hamilton-Jacobi equations | doi=10.2307/1999343 | year=1983 | journal=[[:en:Transactions of the American Mathematical Society|Transactions of the American Mathematical Society]] | issn=0002-9947 | volume=277 | issue=1 | pages=1–42}}</ref>によって解の存在は示され、その他ほとんどの方程式に対しては、ペロンの方法によって示される<ref name="I1">{{Citation | last1=Ishii | first1=Hitoshi | title=Perron's method for Hamilton-Jacobi equations | doi=10.1215/S0012-7094-87-05521-9 | year=1987 | journal=[[:en:Duke Mathematical Journal|Duke Mathematical Journal]] | issn=0012-7094 | volume=55 | issue=2 | pages=369–384}}</ref><ref name="I2">{{Citation | last1=Ishii | first1=Hitoshi | title=On uniqueness and existence of viscosity solutions of fully nonlinear second-order elliptic PDEs | doi=10.1002/cpa.3160420103 | year=1989 | journal=[[:en:Communications on Pure and Applied Mathematics|Communications on Pure and Applied Mathematics]] | issn=0010-3640 | volume=42 | issue=1 | pages=15–45}}</ref>。
* <math>L^\infty</math> における解の「安定性」は次のように従う：解（あるいは劣解または優解）の列の局所[[一様収束|一様極限]]は、解（あるいは劣解または優解）である。

== 歴史 ==
「粘性解」の語が初めて用いられたのは、1983年の[[マイケル・クランドール]]と[[ピエール＝ルイ・リオン]]によるハミルトン＝ヤコビ方程式に関する研究においてである<ref name="CL"/>。その名は、解の存在を証明する際に、粘性消滅法を用いることに由来する。解の定義は実際にはより早く、1980年に{{仮リンク|ローレンス・エヴァンス|en|Lawrence C. Evans}}によって与えられた<ref name="E">{{Citation | last1=Evans | first1=Lawrence C. | title=On solving certain nonlinear partial differential equations by accretive operator methods | doi=10.1007/BF02762047 | year=1980 | journal=Israel Journal of Mathematics | issn=0021-2172 | volume=36 | issue=3 | pages=225–247}}</ref>。その後、ハミルトン＝ヤコビ方程式に対する粘性解の定義と性質は、クランドール、エヴァンスおよびリオンの1984年の共同研究によって精錬された<ref name="CEL">{{Citation | last1=Crandall | first1=Michael G. | last2=Evans | first2=Lawrence C. | last3=Lions | first3=Pierre-Louis | title=Some properties of viscosity solutions of Hamilton-Jacobi equations | doi=10.2307/1999247 | year=1984 | journal=[[:en:Transactions of the American Mathematical Society|Transactions of the American Mathematical Society]] | issn=0002-9947 | volume=282 | issue=2 | pages=487–502}}</ref>。

二階の楕円型方程式に粘性解が一意に存在するかどうかは、非常に特別な場合を除いて、よく知られていなかったため、数年の間、粘性解の研究は一階の方程式に集中して行われた。そのブレイクスルーとなる結果は、1988 年にロバート・ジェンセンによって、ほとんど至る所で二階導関数が存在するような解の正則化近似を用いて比較原理を証明するために導出された方法によるものである<ref name="J">{{Citation | last1=Jensen | first1=Robert | title=The maximum principle for viscosity solutions of fully nonlinear second order partial differential equations | doi=10.1007/BF00281780 | year=1988 | journal=Archive for Rational Mechanics and Analysis | issn=0003-9527 | volume=101 | issue=1 | pages=1–27}}</ref>（近年の証明では、sup-埋め込みと[[アレクサンドロフの定理]]が用いられる）。

その後、粘性解の概念は、退化楕円型PDEの解析においてますます主流なものとなっていった。粘性解の安定性の性質に基づき、バーレルとソウガニディスは、有限差分スキームのとても簡単かつ一般的な証明を得た<ref name="BS">{{Citation | last1=Barles | first1=G. | last2=Souganidis | first2=P. E. | title=Convergence of approximation schemes for fully nonlinear second order equations | year=1991 | journal=Asymptotic Analysis | issn=0921-7134 | volume=4 | issue=3 | pages=271–283}}</ref>。粘性解のさらなる正則性については、特に{{仮リンク|ルイス・カフェレリ|en|Luis Caffarelli}}の一様楕円型の場合の研究において、調べられた<ref name="CC">{{Citation | last1=Caffarelli | first1=Luis A. | last2=Cabré | first2=Xavier | title=Fully nonlinear elliptic equations | publisher=[[American Mathematical Society]] | location=Providence, R.I. | series=American Mathematical Society Colloquium Publications | isbn=978-0-8218-0437-7 | year=1995 | volume=43}}</ref>。粘性解は楕円型方程式の研究における中心的な概念となった。そのことは、近年の Users guide <ref name="CIL"/> に800以上の引用文献が存在し、それが MathScinet による2003年から2008年の6年間にわたって最も多く引用された数学の論文となっている事実からも確かめられる。

近年の手法では、解の存在を示す上ではペロンの方法が最もよく用いられている<ref name="CIL"/>。人口粘性の和は古典解の存在を保証しないために、一般的に二階の方程式に対しては、粘性消滅法は現実的ではない。さらに、「粘性解」の定義自体には、どのような種類の「粘性」も現れないため、「粘性解」という名前はその解の概念を表現する上で適切なものではないのではないかと、示唆されている。しかし、その名は歴史的背景から依然として用いられている。その他に示唆された名前には、発見者に敬意を表した「クランドール＝リオン解」や、安定性の性質に由来して「<math>L^\infty</math>-弱解」、またはその最も特徴的な性質から「比較解（comparison solution）」などがあった。

== 脚注 ==
{{reflist}}

{{DEFAULTSORT:ねんせいかい}}
[[Category:微分方程式]]
[[Category:数理ファイナンス]]
[[Category:数学に関する記事]]