Nous dirons qu’un faisceau de groupes abéliens $ℱ$ sur un espace topologique $X$ est souple si, $\Omega$ étant un ouvert de $X$, $F_1$ et $F_2$ des fermés de $\Omega$, toute section de $ℱ$ sur $\Omega$ à support dans $F_1\cup F_2$ est somme de sections à support dans $F_1$ et $F_2$. Soit $M$ une variété analytique réelle, $S^{*}M$ son fibré cotangent en sphères, $C^f$ le faisceau sur $S^{*}M$ des microfonctions qui proviennent localement sur $S^{*}M$, de distributions. Nous montrons que le faisceau $C^f$ est souple. En particulier le faisceau ${𝒟}^{\text{'}}/𝒜$ sur $M$, quotient des distributions...

On considère un opérateur différentiel linéaire $P(\lambda ,D_x)$ sur ${\mathbf{R}}^n$ dont les coefficients sont constants par rapport au point $x$ de ${\mathbf{R}}^n$ mais sont des fonctions complexes $C^{\infty }$ du point $\lambda$ d’une variété $\Lambda$ qui est $C^{\infty }$. On suppose que ces coefficients ne s’annulent pas simultanément, pour aucune valeur de $\lambda \in \Lambda$. Alors (“Théorème des supports”) si $\nu (x,\lambda )$ est une distribution sur ${\mathbf{R}}^n\times \Lambda$ dont le support se projette sur ${\mathbf{R}}^n$ suivant un compact, si $C$ est un compact convexe de ${\mathbf{R}}^n$ et $F$ un fermé de $\Lambda$, $$\mathrm{support}P(\lambda ,D_x)\nu (x,\lambda )\subset C\times F\Rightarrow \mathrm{support}\nu (x,\lambda )\subset C\times F.$$ Ce résultat...

Soit $\Sigma$ une sous-variété de ${\mathbf{C}}^n$, de classe $C^{\infty }$ et totalement réelle. Si $w$ est une fonction continue strictement positive sur $\Sigma$, on désigne par $C_w\left(\Sigma \right)$ l’espace des fonctions $f$ continues sur $\Sigma$ telles que $w\left|f\right|$ tend vers zéro à l’infini. On munit cet espace de la norme $\parallel f\parallel ={sup}_{x\in \Sigma }w\left(x\right)\left|f\left(x\right)\right|$ et on suppose qu’il contient les polynômes. Sous des hypothèses de nature géométrique sur $\Sigma$, on donne des conditions suffisantes pour l’approximation des fonctions de $C_w\left(\Sigma \right)$ par des fonctions holomorphes au voisinage de $\Sigma$ ou par des polynômes. ...

On introduit une classe de domaines dans ${\mathbf{C}}_{\left(z\right)}^n={\mathbf{R}}_{\left(x\right)}^n\times {\mathbf{R}}_{\left(y\right)}^n$ appelés tuboïdes. Un tuboïde $D={\cup }_{x\in \Omega }(x,D_x)$ de profil $\Lambda ={\cup }_{x\in \Omega }(x,{\Lambda }_x)$ est un domaine de ${\mathbf{C}}_{\left(z\right)}^n$ dont chaque fibre $D_x$ (dans ${\mathbf{R}}_{\left(y\right)}^n)$ admet ${\Lambda }_x$ comme cône tangent à l’origine. On montre dans la première partie que l’enveloppe d’holomorphie d’un tuboïde $\widehat{D}$ de profil $\widehat{\Lambda }={\cup }_{x\in \Omega }(x,{\widehat{\Lambda }}_x)$ où ${\widehat{\Lambda }}_x$ est pour tout $x$ l’enveloppe convexe de ${\Lambda }_x$. dans la deuxième partie, l’on montre alors que tout tuboïde $D$ dont le profil $\Lambda$ a toutes ses fibres ${\Lambda }_x$ convexes contient un tuboïde $D^{\text{'}}$ de même profil qui est de plus un...

Soit $X$ un espace de Banach complexe, et notons $B\left(R\right)\subset X$ la boule de rayon $R$ centrée en $0$. On considère le problème d’approximation suivant: étant donnés $0\<r\<R$, $ϵ\>0$ et une fonction $f$ holomorphe dans $B\left(R\right)$, existe-t-il toujours une fonction $g$, holomorphe dans $X$, telle que $|f-g|\<ϵ$ sur $B\left(r\right)$? On démontre que c’est bien le cas si $X$ est l’espace $l^1$ des suites sommables.

Soient $\Omega$ un domaine borné de $R^n$ et $W_0^{1,2}\left(\Omega \right)$ l’adhérence de $𝒟\left(\Omega \right)$ dans l’espace $W^{1,2}\left(\Omega \right)$ des fonctions qui $\in L^2\left(\Omega \right)$ ainsi que leurs dérivées partielles premières. On démontre d’abord le principe du maximum suivant : une sous-solution locale dans $\Omega$, majorée p.p. au voisinage de $\partial \Omega$ par une fonction $\in W_0^{1,2}\left(\Omega \right)$ est $\le 0$ p.p. dans $\Omega$. Puis on vérifie que les solutions locales de $Lu=0$ 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...