Monotoneity and homogeneity of Picard dimensions for signed radial densities (Q1365115)

Etant donné la fonction \(P\) localement hölderienne sur la boule-unité, pointée on 0, de \(\mathbb{R}^d\) \((d\geq 2)\) muni de la norme euclidienne, pour \(\alpha\in\;]0,1[\) on considère l'ensemble convexe, compact pour la topologie de la convergence simple, formé des solutions \(u\) de \(\Delta u=Pu\) qui sont de classe \({\mathcal C}^1\) pour \(0<|x|\leq\alpha\), \(>0\) pour \(0<|x|<\alpha\), nulles sur la sphère \(|x|=\alpha\) et telles que le flux de \(\nabla u\) à travers celle-ci a une valeur donnée \(\neq 0\). L'ensemble des points extrémaux de ce convexe a, pour \(\alpha\) assez petit, un cardinal indépendant de \(\alpha\), noté \(\dim P\), qui dans le cas où \(P\) est radiale, ne peut être que 0, 1 ou le cardinal du continu [\textit{M. Nakai}, J. Math. Soc. Japan 26, 483-507 (1974; Zbl 0281.30012) et Tôhoku Math. J., II. Ser. 28, 277-292 (1976; Zbl 0335.35036)]. On montre ici, pour \(P\) et \(Q\) radiales, que \(P\leq Q\Rightarrow\dim P\leq\dim Q\) et que \(\dim P\leq\dim(cP)\) \(\forall c\in\;]0,1[,\) ce qui n'était connu que pour \(P\) et \(Q\) radiales \(\geq 0\). En appendice, on généralise le premier résultat ci-dessus (permettant de définir \(\dim P\)) en remplaçant la boule pointée de \(\mathbb{R}^d\) par une variété riemannienne \(M\) connexe, orientable, dénombrable à l'infini, de dimension \(d\geq 2\), \(\Delta\) par l'opérateur de Laplace-Beltrami sur \(M\), enfin les ensembles \(\{x\in \mathbb{R}^d: 0<|x|<\alpha\}\) par les complémentaires des parties compactes de \(M\) à frontière régulière.