On the Dirichlet problem for first order partial differential equations. A Baire category approach (Q1288181): Difference between revisions

Extending to more general equations the results of [\textit{B. Dacorogna} and \textit{P. Marcellini}, C. R. Acad. Sci., Paris, Sér. I 322, No. 3, 237-240 (1996; Zbl 0846.35028)], the authors use a Baire category approach in [\textit{A. Cellina}, Atti Accad. Naz. Lincei, Rend. Sc. Fis. Mat. Nat. (8) 69 (1980), 1-6 (1981); \textit{F. S. De Blasi} and \textit{G. Pianigiani}, J. Math. Anal. Appl. 157, No. 2, 469-494 (1991; Zbl 0728.34013)] to prove in Theorems 4.1 and 4.2 the existence of a generalized (Lipschitzean) solution \(u(.)\in C(\overline \Omega)\cap W^{1,\infty}(\Omega)\) of the Dirichlet problem: \[ H(x,u(x),\nabla u(x))=0 \text{ a.e. on }\Omega, \quad u(x)=\phi (x) \;\forall x\in \partial \Omega.\tag{1} \] The general idea is to replace problem (1) by the partial differential inclusion: \[ \nabla u(x)\in \text{Ext }F(x,u(x)) \text{ a.e. on }\Omega,\;u(.)| \partial \Omega =\phi (.), \;F(x,u):=\overline {\text{co}}\{z\in\mathbb{R}^n; \;H(x,u,z)\leq 0 \},\tag{2} \] whose set\(, {\mathcal M}_0\), of solutions is proved to be a residual subset of the the closure, \({\mathcal M}\), of solutions of the problem: \[ \nabla u(x)\in \text{Int } F(x,u(x)) \text{ a.e. on }\Omega, \quad u(.)| \partial \Omega =\phi (.),\tag{3} \] where \(\text{Ext }A\) denotes the set of extreme points of the convex subset \(A\subset\mathbb{R}^n\), \(\text{Int } A\) denotes the interior and \(\overline {\text{co}} B\) denotes the closed convex hull of \(B\subset\mathbb{R}^n\). The main results are proved under the following hypotheses: \(\Omega \subset\mathbb{R}^n\) is open and either bounded or unbounded but \(\overline \Omega \neq\mathbb{R}^n\), \(\phi (.)\in C(\overline \Omega)\cap W^{1,\infty}(\Omega)\), \(H(.,.,.)\) is an ``admissible Hamiltonian'' in the sense that the multifunction \(F(.,.)\) in (1) has compact (and convex) values, is bounded and Hausdorff continuous and problem (3) is assumed to have at least a solution.