| Co-Investigator(Kenkyū-buntansha) |
NII Shunsaku Saitama Univ. Mathematics Research Associate, 理学部, 助手 (50282421)
FUKUI Toshizumi Saitama Univ. Mathematics Associate Professor, 理学部, 助教授 (90218892)
SAKURAI Tsutomu Saitama Univ. Mathematics Associate Professor, 理学部, 助教授 (40187084)
TSUJIOKA Kunio Saitama Univ. Mathematics Professor, 理学部, 教授 (30012412)
ISHII Hitoshi Tokyo Metropolitan Univ. Mathematics Professor, 大学院・理学研究科, 教授 (70102887)
|
|---|
| Research Abstract |
(1) We obtain the uniqueness and representation formula for lower semicontinuous (lsc for short) viscosity solutions of Hamilton-Jacobi (HJ for short) equations with degenerate coefficients.
This is a "lsc" version of a result of Ishii and Ramaswamy.
(2) We show the uniqueness of viscosity solutions of pursuit-evasion games of the state constraint (SC for short) problem and the convergence of time-discrete approximations to the value function. These results generalize those of Alziary.
(3) We show the uniqueness of lsc viscosity solutions for the minimum time problem. To show the equivalence between the Dirichlet type boundary condition and the SC type one, we prove in general that a function is a lsc viscosity solution of the associated PDE if and only if it satisfies the Dynamic Programming Principle. This extends the corresponding result by P.-L. Lions for continuous viscosity solutions.
(4) We construct ε-optimal feedback controls for the SC problem. To construct them, we use the information from the associated HJ equation. Furthermore, we need the inf-convolution approximations, the monotone formula for super-differentials and the convergence of value functions for SC problems of smaller domains.
(5) We obtain (a) the comparison principle and (b) interior Holder continuity of viscosity solutions of fully nonlinear, second-order, uniformly elliptic PDEs which involve superlinear growth terms for the gradient. The result (a) extends that of Caffarelli, Crandall, Kocan and Swiech while the result (b) generalizes that of Caffarelli.
To show (b), we need a generalized Alexandroff-Bakelman-Pucci maximum principle, a precise construction of classical supersolutions of the associated extremal PDEs, and a modified cube decomposition lemma.
|
