Namespaces
Variants
Actions

Difference between revisions of "Viscosity solutions"

From Encyclopedia of Mathematics
Jump to: navigation, search
m (MR/ZBL numbers added)
m (tex encoded by computer)
 
Line 1: Line 1:
A notion of solutions of fully non-linear second-order partial differential equations of the form <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096770/v0967701.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096770/v0967702.png" /> is a real-valued function defined on a set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096770/v0967703.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096770/v0967704.png" /> is continuous (<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096770/v0967705.png" /> is the space of real symmetric <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096770/v0967706.png" />-matrices). This notion is relevant when <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096770/v0967707.png" /> satisfies
+
<!--
 +
v0967701.png
 +
$#A+1 = 40 n = 0
 +
$#C+1 = 40 : ~/encyclopedia/old_files/data/V096/V.0906770 Viscosity solutions
 +
Automatically converted into TeX, above some diagnostics.
 +
Please remove this comment and the {{TEX|auto}} line below,
 +
if TeX found to be correct.
 +
-->
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096770/v0967708.png" /></td> <td valign="top" style="width:5%;text-align:right;">(a1)</td></tr></table>
+
{{TEX|auto}}
 +
{{TEX|done}}
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096770/v0967709.png" /></td> </tr></table>
+
A notion of solutions of fully non-linear second-order partial differential equations of the form  $  F( x, u( x), Du( x), D  ^ {2} u( x)) = 0 $,
 +
where  $  u $
 +
is a real-valued function defined on a set  $  \Omega \subset  \mathbf R  ^ {n} $
 +
and  $  F: \Omega \times \mathbf R  ^ {n} \times \mathbf R  ^ {n} \times {\mathcal S}  ^ {n} \rightarrow \mathbf R $
 +
is continuous ( $  {\mathcal S}  ^ {n} $
 +
is the space of real symmetric  $  ( n \times n ) $-
 +
matrices). This notion is relevant when  $  F $
 +
satisfies
  
with the usual ordering on symmetric matrices. The anti-monotonicity in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096770/v09677010.png" /> is a very weak ellipticity condition, which is satisfied, in particular, by equations of first order. Examples include classical Hamilton–Jacobi equations, Hamilton–Jacobi–Bellman equations from optimal control, Isaacs equations from differential games, possibly degenerate linear elliptic and parabolic equations, various equations of differential geometry (Monge–Ampère, minimal surfaces), etc.
+
$$ \tag{a1 }
 +
F( x, r, p, X)  \geq  F( x, s, p, Y)
 +
$$
  
An upper (respectively, lower) semi-continuous function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096770/v09677011.png" /> is a viscosity subsolution (respectively, viscosity supersolution of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096770/v09677012.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096770/v09677013.png" /> if for every <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096770/v09677014.png" /> and local maximum (respectively, minimum) point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096770/v09677015.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096770/v09677016.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096770/v09677017.png" /> one has <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096770/v09677018.png" /> (respectively, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096770/v09677019.png" />). A continuous function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096770/v09677020.png" /> is a viscosity solution of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096770/v09677021.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096770/v09677022.png" /> if it is both a viscosity subsolution and a viscosity supersolution of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096770/v09677023.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096770/v09677024.png" />. The inequalities defining viscosity sub- and supersolutions are a consequence of the structure condition (a1) and the necessary conditions for extremals if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096770/v09677025.png" /> is a classical solution of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096770/v09677026.png" /> or <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096770/v09677027.png" /> in an open set, a fact which shows a connection between the notion of viscosity solutions and the classical maximum principle for second-order elliptic equations.
+
$$
 +
\textrm{ whenever }  r \geq  s  \textrm{ and }  X \leq  Y ,
 +
$$
  
The importance of this notion lies in the fact that very general uniqueness and existence theorems are valid for viscosity solutions. A typical example is the existence and uniqueness of a unique bounded and uniformly continuous function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096770/v09677028.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096770/v09677029.png" />, which is a viscosity solution of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096770/v09677030.png" /> on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096770/v09677031.png" /> and satisfies <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096770/v09677032.png" /> for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096770/v09677033.png" /> whenever <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096770/v09677034.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096770/v09677035.png" /> is continuous in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096770/v09677036.png" /> and anti-monotone in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096770/v09677037.png" />, and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096770/v09677038.png" /> is bounded and uniformly continuous on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096770/v09677039.png" />. In fact, existence is essentially a consequence of the proof of uniqueness, which also establishes monotone and continuous dependence of the solution with respect to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096770/v09677040.png" /> and may be proved by an adaptation of the [[Perron method|Perron method]].
+
with the usual ordering on symmetric matrices. The anti-monotonicity in  $  X $
 +
is a very weak ellipticity condition, which is satisfied, in particular, by equations of first order. Examples include classical Hamilton–Jacobi equations, Hamilton–Jacobi–Bellman equations from optimal control, Isaacs equations from differential games, possibly degenerate linear elliptic and parabolic equations, various equations of differential geometry (Monge–Ampère, minimal surfaces), etc.
 +
 
 +
An upper (respectively, lower) semi-continuous function  $  u:  \Omega \rightarrow \mathbf R $
 +
is a viscosity subsolution (respectively, viscosity supersolution of  $  F = 0 $
 +
in  $  \Omega $
 +
if for every  $  \phi \in C  ^ {2} ( \mathbf R  ^ {n} ) $
 +
and local maximum (respectively, minimum) point  $  z $
 +
of  $  u - \phi $
 +
in  $  \Omega $
 +
one has  $  F( z, u( z), D \phi ( z), D  ^ {2} \phi ( z)) \leq  0 $(
 +
respectively,  $  F( z, u( z), D \phi ( z), D  ^ {2} \phi ( z)) \geq  0 $).
 +
A continuous function  $  u:  \Omega \rightarrow \mathbf R $
 +
is a viscosity solution of  $  F = 0 $
 +
in  $  \Omega $
 +
if it is both a viscosity subsolution and a viscosity supersolution of  $  F = 0 $
 +
in  $  \Omega $.
 +
The inequalities defining viscosity sub- and supersolutions are a consequence of the structure condition (a1) and the necessary conditions for extremals if  $  u $
 +
is a classical solution of  $  F \leq  0 $
 +
or  $  F \geq  0 $
 +
in an open set, a fact which shows a connection between the notion of viscosity solutions and the classical maximum principle for second-order elliptic equations.
 +
 
 +
The importance of this notion lies in the fact that very general uniqueness and existence theorems are valid for viscosity solutions. A typical example is the existence and uniqueness of a unique bounded and uniformly continuous function $  u( x) $,
 +
$  x = ( t, y) \in [ 0, T] \times \mathbf R  ^ {m} $,  
 +
which is a viscosity solution of $  u _ {t} + G( D _ {y} u , D _ {y}  ^ {2} u ) = 0 $
 +
on $  ( 0, T ] \times \mathbf R  ^ {m} $
 +
and satisfies $  u ( 0, y) = \psi ( y) $
 +
for $  y \in \mathbf R  ^ {m} $
 +
whenever  $  T > 0 $,
 +
$  G( q, Z) $
 +
is continuous in $  ( q, Z) \in \mathbf R  ^ {m} \times {\mathcal S}  ^ {m} $
 +
and anti-monotone in $  Z $,  
 +
and $  \psi $
 +
is bounded and uniformly continuous on $  \mathbf R  ^ {m} $.  
 +
In fact, existence is essentially a consequence of the proof of uniqueness, which also establishes monotone and continuous dependence of the solution with respect to $  \psi $
 +
and may be proved by an adaptation of the [[Perron method|Perron method]].
  
 
In addition to many existence, uniqueness and comparison results, the theory of viscosity solutions now includes a treatment of other basic problems, such as the correct formulation of various boundary conditions, including the classical Dirichlet, Neumann and oblique derivative conditions; the convergence of numerical approximations; the study of regularity and other qualitative properties of solutions; the analysis of many asymptotic problems, including large deviations and homogenization problems; extensions to discontinuous data; weak passages to the limit; and extensions to certain integro-differential operators.
 
In addition to many existence, uniqueness and comparison results, the theory of viscosity solutions now includes a treatment of other basic problems, such as the correct formulation of various boundary conditions, including the classical Dirichlet, Neumann and oblique derivative conditions; the convergence of numerical approximations; the study of regularity and other qualitative properties of solutions; the analysis of many asymptotic problems, including large deviations and homogenization problems; extensions to discontinuous data; weak passages to the limit; and extensions to certain integro-differential operators.

Latest revision as of 08:28, 6 June 2020


A notion of solutions of fully non-linear second-order partial differential equations of the form $ F( x, u( x), Du( x), D ^ {2} u( x)) = 0 $, where $ u $ is a real-valued function defined on a set $ \Omega \subset \mathbf R ^ {n} $ and $ F: \Omega \times \mathbf R ^ {n} \times \mathbf R ^ {n} \times {\mathcal S} ^ {n} \rightarrow \mathbf R $ is continuous ( $ {\mathcal S} ^ {n} $ is the space of real symmetric $ ( n \times n ) $- matrices). This notion is relevant when $ F $ satisfies

$$ \tag{a1 } F( x, r, p, X) \geq F( x, s, p, Y) $$

$$ \textrm{ whenever } r \geq s \textrm{ and } X \leq Y , $$

with the usual ordering on symmetric matrices. The anti-monotonicity in $ X $ is a very weak ellipticity condition, which is satisfied, in particular, by equations of first order. Examples include classical Hamilton–Jacobi equations, Hamilton–Jacobi–Bellman equations from optimal control, Isaacs equations from differential games, possibly degenerate linear elliptic and parabolic equations, various equations of differential geometry (Monge–Ampère, minimal surfaces), etc.

An upper (respectively, lower) semi-continuous function $ u: \Omega \rightarrow \mathbf R $ is a viscosity subsolution (respectively, viscosity supersolution of $ F = 0 $ in $ \Omega $ if for every $ \phi \in C ^ {2} ( \mathbf R ^ {n} ) $ and local maximum (respectively, minimum) point $ z $ of $ u - \phi $ in $ \Omega $ one has $ F( z, u( z), D \phi ( z), D ^ {2} \phi ( z)) \leq 0 $( respectively, $ F( z, u( z), D \phi ( z), D ^ {2} \phi ( z)) \geq 0 $). A continuous function $ u: \Omega \rightarrow \mathbf R $ is a viscosity solution of $ F = 0 $ in $ \Omega $ if it is both a viscosity subsolution and a viscosity supersolution of $ F = 0 $ in $ \Omega $. The inequalities defining viscosity sub- and supersolutions are a consequence of the structure condition (a1) and the necessary conditions for extremals if $ u $ is a classical solution of $ F \leq 0 $ or $ F \geq 0 $ in an open set, a fact which shows a connection between the notion of viscosity solutions and the classical maximum principle for second-order elliptic equations.

The importance of this notion lies in the fact that very general uniqueness and existence theorems are valid for viscosity solutions. A typical example is the existence and uniqueness of a unique bounded and uniformly continuous function $ u( x) $, $ x = ( t, y) \in [ 0, T] \times \mathbf R ^ {m} $, which is a viscosity solution of $ u _ {t} + G( D _ {y} u , D _ {y} ^ {2} u ) = 0 $ on $ ( 0, T ] \times \mathbf R ^ {m} $ and satisfies $ u ( 0, y) = \psi ( y) $ for $ y \in \mathbf R ^ {m} $ whenever $ T > 0 $, $ G( q, Z) $ is continuous in $ ( q, Z) \in \mathbf R ^ {m} \times {\mathcal S} ^ {m} $ and anti-monotone in $ Z $, and $ \psi $ is bounded and uniformly continuous on $ \mathbf R ^ {m} $. In fact, existence is essentially a consequence of the proof of uniqueness, which also establishes monotone and continuous dependence of the solution with respect to $ \psi $ and may be proved by an adaptation of the Perron method.

In addition to many existence, uniqueness and comparison results, the theory of viscosity solutions now includes a treatment of other basic problems, such as the correct formulation of various boundary conditions, including the classical Dirichlet, Neumann and oblique derivative conditions; the convergence of numerical approximations; the study of regularity and other qualitative properties of solutions; the analysis of many asymptotic problems, including large deviations and homogenization problems; extensions to discontinuous data; weak passages to the limit; and extensions to certain integro-differential operators.

Primary application of viscosity solutions is in the theory of optimal control and differential games for deterministic and stochastic evolutions. In particular, the uniquely defined viscosity solutions of the associated Hamilton–Jacobi–Bellman and Isaacs equations are the corresponding value functions, and this fact provides a complete mathematical justification of dynamic programming arguments.

Extensions of the theory include the study of problems in infinite-dimensional spaces for both first- and second-order equations, one of the goals being to provide a theoretical foundation for dynamic programming approaches to optimal control by partial differential equations.

The references provide some basic information about the theory and contain many references to the various topics described above.

References

[a1] G. Barles, B. Perthame, "Exit time problems in optimal control and the vanishing viscosity method" SIAM J. Control Optim. , 26 (1988) pp. 1133–1148 MR957658
[a2] G. Barles, B. Perthame, "Discontinuous solutions of deterministic optimal stopping time problems" Modèl. Math. et Anal. Num. , 21 (1987) pp. 557–579 MR0921827 Zbl 0629.49017
[a3] M.G. Crandall, "Semidifferentials, quadratic forms and fully nonlinear elliptic equations of second order" Ann. Inst. H. Poincaré Anal. Non. Lin. , 6 (1989) pp. 419–435 MR1035337 Zbl 0734.35033
[a4] M.G. Crandall, L.C. Evans, P.L. Lions, "Some properties of viscosity solutions of Hamilton–Jacobi equations" Trans. Amer. Math. Soc. , 282 (1984) pp. 487–502 MR0732102 Zbl 0543.35011
[a5a] M.G. Crandall, P.L. Lions, "Hamilton–Jacobi equations in infinite dimensions. Part I. Uniqueness of viscosity solutions" J. Funct. Anal. , 62 (1985) pp. 379–396 MR0794776
[a5b] M.G. Crandall, P.L. Lions, "Hamilton–Jacobi equations in infinite dimensions. Part II. Existence of viscosity solutions" J. Funct. Anal. , 65 (1986) pp. 368–405 MR0852660 MR0826434
[a5c] M.G. Crandall, P.L. Lions, "Hamilton–Jacobi equations in infinite dimensions. Part III" J. Funct. Anal. , 68 (1986) pp. 214–247 MR0852660 MR0826434
[a5d] M.G. Crandall, P.L. Lions, "Hamilton–Jacobi equations in infinite dimensions. Part IV. Hamiltonians with unbounded linear terms" J. Funct. Anal. , 90 (1990) pp. 237–283 MR1052335
[a6] L.C. Evans, P.E. Souganidis, "A PDE approach to geometric optics for certain reaction diffusion equations" Ind. U. Math. J. , 38 (1989) pp. 141–172
[a7] H. Ishii, "Perron's method for Hamilton–Jacobi equations" Duke Math. J. , 55 (1987) pp. 369–384
[a8] H. Ishii, P.L. Lions, "Viscosity solutions of fully nonlinear second-order elliptic partial differential equations" J. Diff. Equations , 83 (1990) pp. 28–78 MR1031377 Zbl 0708.35031
[a9a] P.L. Lions, "Viscosity solutions of fully nonlinear second-order equations and optimal stochastic control in infinite dimensions. Part I: The case of bounded stochastic evolutions" Acta Math. , 161 (1988) pp. 243–278 MR0971797
[a9b] P.L. Lions, "Viscosity solutions of fully nonlinear second-order equations and optimal stochastic control in infinite dimensions. Part II: Optimal control of Zakai's equation" , Proc. Internat. Conf. Infinite Dimensional Stochastic Differential Equations (Trento) , Lect. notes in math. , 1390 , Springer (1989) MR1019600 MR1013931
[a9c] P.L. Lions, "Viscosity solutions of fully nonlinear second-order equations and optimal stochastic control in infinite dimensions. Part III. Uniqueness of viscosity solutions of general second order equations" J. Funct. Anal. , 86 (1989) pp. 1–18 MR1019600 MR1013931
[a10] R. Jensen, "The maximum principle for viscosity solutions of fully nonlinear second order partial differential equations" Arch. Rat. Mech. Anal. , 101 (1988) pp. 1–27 MR0920674 Zbl 0708.35019
How to Cite This Entry:
Viscosity solutions. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Viscosity_solutions&oldid=49153
This article was adapted from an original article by P.L. LionsM.G. Crandall (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article