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

From MaRDI portal
Revision as of 02:48, 5 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
scientific article
Language Label Description Also known as
English
On the Dirichlet problem for first order partial differential equations. A Baire category approach
scientific article

    Statements

    On the Dirichlet problem for first order partial differential equations. A Baire category approach (English)
    0 references
    0 references
    0 references
    13 September 1999
    0 references
    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.
    0 references
    first-order PDE
    0 references
    Dirichlet problem
    0 references
    existence of generalized solutions
    0 references
    Choquet function
    0 references
    Baire category theorem
    0 references

    Identifiers