We prove existence of solutions to boundary value problems and obstacle problems for degenerate-elliptic, linear, second-order partial differential operators with partial Dirichlet boundary conditions using new a version of the Perron method. The elliptic operators considered have a degeneracy along a portion of the domain boundary which is similar to the degeneracy of a model linear operator identified by Daskalopoulos and Hamilton (1998) in their study of the porous medium equation or the degeneracy of the Heston operator (1993) in mathematical finance. Existence of a solution to the Dirichlet problem on a half-ball, where the operator becomes degenerate on the flat boundary and a Dirichlet condition is only imposed on the spherical boundary, provides the key additional ingredient required for our Perron method. Surprisingly, proving existence of a solution to this Dirichlet problem with "mixed" boundary conditions on a half-ball is a harder problem than one might expect. Due to the difficulty in developing a global Schauder estimate and due to compatibility conditions arising where the "degenerate" and "non-degenerate boundaries" touch, one cannot directly apply the continuity or approximate solution methods. However, in dimension two, there is a holomorphic map from the half-disk to the infinite strip in the complex plane and one can extend this definition to higher dimensions to give a diffeomorphism from the half-ball to the infinite "slab". The solution to the Dirichlet problem on the half-ball can thus be converted to a Dirichlet problem on the slab, albeit for an operator which now has exponentially growing coefficients. The required Schauder regularity theory and existence of a solution to the Dirichlet problem on the slab can nevertheless be obtained using previous work of the author and Camelia Pop in arXiv:1210.6727. Our Perron method relies on weak and strong maximum principles for degenerate-elliptic operators, suitable concepts of continuous subsolutions and supersolutions for boundary value and obstacle problems for degenerate-elliptic operators, and maximum and comparison principle estimates developed by the author in arXiv:1204.6613.
Speaker: Paul Feehan, Department of Mathematics, Rutgers University