Soient un domaine borné de et l’adhérence de dans l’espace des fonctions qui ainsi que leurs dérivées partielles premières. On démontre d’abord le principe du maximum suivant : une sous-solution locale dans , majorée p.p. au voisinage de par une fonction est p.p. dans .
Puis on vérifie que les solutions locales de forment un système de fonctions harmoniques satisfaisant aux axiomes de M. Brelot, ce qui permet de parler du problème de Dirichlet dans un ouvert quelconque. On utilise alors le principe du maximum ci-dessus pour montrer que, si la donnée est la trace sur d’une fonction continue sur et , alors la solution du problème de Dirichlet dans est la solution de dans telle que .
@article{AIF_1964__14_2_493_0, author = {Herv\'e, Rose-Marie}, title = {Un principe du maximum pour les sous-solutions locales d'une \'equation uniform\'ement elliptique de la forme $Lu=-\sum \_i{\partial \over \partial x\_i}(\sum \_j a\_{ij}{\partial u\over \partial x\_j})=0$}, journal = {Annales de l'Institut Fourier}, volume = {14}, year = {1964}, pages = {493-507}, doi = {10.5802/aif.185}, mrnumber = {30 \#5040}, zbl = {0129.07202}, language = {fr}, url = {http://dml.mathdoc.fr/item/AIF_1964__14_2_493_0} }
Hervé, Rose-Marie. Un principe du maximum pour les sous-solutions locales d’une équation uniformément elliptique de la forme $Lu=-\sum _i{\partial \over \partial x_i}(\sum _j a_{ij}{\partial u\over \partial x_j})=0$. Annales de l'Institut Fourier, Tome 14 (1964) pp. 493-507. doi : 10.5802/aif.185. http://gdmltest.u-ga.fr/item/AIF_1964__14_2_493_0/
[1] Lectures on potential theory, Tata Institute of fundamental research, 1960. | MR 22 #9749 | Zbl 0098.06903
,[2] Sulla differentiabilità e l'analiticità delle extremali degli integrali multipli regolari, Mem. Accad. Sci. Torino, 1957. | Zbl 0084.31901
,[3] Recherches axiomatiques sur la théorie des fonctions surharmoniques et du potentiel, Ann. Inst. Fourier, Grenoble, 1962. | Numdam | MR 25 #3186 | Zbl 0101.08103
,[4] Regular points for elliptic equations with discontinuous cfficients, Ann. Sc. Norm. Sup. Pisa, 1963. | Numdam | Zbl 0116.30302
, et .[5] I problemi al contorno per le equazioni differenziali di tipo ellittico, Ann. Sc. Norm. Sup. Pisa, 1958. | Numdam | MR 23 #A1140 | Zbl 0082.09601
et ,[6] Second order elliptic equations in several variables and Holder continuity, Math. Zeit, 1959. | MR 22 #11200 | Zbl 0094.07802
,[7] A new proof of de Giorgi's theorem concerning the regularity problem for elliptic differential equations, Comm. Pure Appl. Math., 1960. | MR 30 #332 | Zbl 0111.09301
,[8] On Harnack's theorem for elliptic differential equations, Comm. Pure Appl. Math., 1961. | MR 28 #2356 | Zbl 0111.09302
,[9] Continuity of the solutions of parabolic and elliptic equations, Amer. J. Math., 1958. | MR 20 #6592 | Zbl 0096.06902
,[10] Séminaire sur les équations aux dérivées partielles, 1954-1955, Secrétariat math., 11, rue P. Curie, Paris.
,[11] Problemi al contorno ellittici, con dati discontinui, dotati di soluzioni holderiane, Ann. di Matem., 1960. | Zbl 0204.42001
,