Theory of Bessel potentials. IV. Potentials on subcartesian spaces with singularities of polyhedral type

Aronszajn, Nachman; Szeptycki, Pawel

Annales de l'Institut Fourier, Tome 25 (1975) no. 3-4, pp. 27-69.

Dans les articles précédents sur les potentiels besseliens l’article présent était annoncé comme traitant des variétés avec singularités. Cette dernière notion est mieux définie dans le cadre plus général des espaces sous-cartésiens. Dans un tel espace $X$ nous définissons les potentiels locaux d’ordre réduit $\alpha :u\in P_{\mathrm{loc}}^{\langle \alpha \rangle }\left(X\right)$, si pour toute carte $(U,\varphi ,{\mathbf{R}}^n)$ de la structure de $X,u\circ {\gamma }^{-1}$ peut être étendue de $\varphi \left(U\right)$ à ${\mathbf{R}}^n$ entier comme potentiel dans $P_{\mathrm{loc}}^{\alpha +(n/2)}({\mathbf{R}}^n)$. Cette définition n’est pas intrinsèque. On obtient une caractérisation intrinsèque de $P_{\mathrm{loc}}^{\langle \alpha \rangle }\left(X\right)$ quand $X$ est à singularités de type polyhédral, c’est-à-dire quand pour un atlas de $X$ l’image de chaque carte est un ensemble polyhédral (l’union d’un nombre fini des polyhèdres géométriques qui peuvent être de dimensions différentes). Cette caractérisation est donnée par des conditions de compatibilité entre les restrictions de la fonction donnée sur $X$ à certaines variétés composant $X$. Pour définir ces conditions complètement on introduit et étudie la notion restriction abstraite d’une fonction $u\in P^{\langle -k/2\rangle }({\mathbf{R}}^n)=P^{(n-k)/2}({\mathbf{R}}^n)$ à ${\mathbf{R}}^k$, $k<n$.

In the previous parts of the series on Bessel potentials the present part was announced as dealing with manifolds with singularities. The last notion is best defined in the more general framework of subcartesian spaces. In a subcartesian space $X$ we define the local potentials of reduced order $\alpha :u\in P_{\mathrm{loc}}^{\langle \alpha \rangle }\left(X\right)$, if for any chart $(U,\varphi ,{\mathbf{R}}^n)$ of the structure of $X,u\circ {\gamma }^{-1}$ can be extended from $\varphi \left(U\right)$ to the whole of ${\mathbf{R}}^n$ as potential in $P_{\mathrm{loc}}^{\alpha +(n/2)}({\mathbf{R}}^n)$. This definition is not intrinsic. We obtain an intrinsic characterization of $P_{\mathrm{loc}}^{\langle \alpha \rangle }\left(X\right)$ when $X$ is with singularities of polyhedral type, i.e. form some atlas of $X$ the image of each chart is a polyhedral set (finite union of geometric polyhedra, possibly of different dimensions). This characterization is given in terms of compatibility conditions between the restrictions of the given function $u$ on $X$ to certain manifolds composing $X$. In order to define a complete set of compatibility conditions we introduce and investigate the notion of abstract restriction of a function $u\in P^{\langle -k/2\rangle }({\mathbf{R}}^n)=P^{(n-k)/2}({\mathbf{R}}^n)$ to ${\mathbf{R}}^k$, $k<n$.

[1] N. Aronszajn and K. T. Smith, Theory of Bessel Potentials I, Ann. Inst. Fourier, 11 (1961), 385-475. | Numdam | MR | Zbl

[2] R. D. Adams, N. Aronszajn and K. T. Smith, Theory of Bessel Potentials II, Ann. Inst. Fourier, 17, 2 (1967), 1-135. | Numdam | MR | Zbl

[3] R. D. Adams, N. Aronszajn and M. S. Hanna, Theory of Bessel Potentials III, Potentials on regular manifolds, Ann. Inst. Fourier, 19, 2 (1969), 279-338. | Numdam | MR | Zbl

[4] N. Aronszajn, Some integral inequalities, Proceedings of the Symposium on Inequalities at Colorado Springs, 1967. | Zbl

[5] N. Aronszajn and G. H. Hardy, Properties of a class of double integrals, Ann. of Math., 46 (1945), 220-241, Errata, ibid. 47 (1946), 166. | MR | Zbl

[6] N. Aronszajn and P. Szeptycki, Subcartesian spaces, in preparation. | Zbl

[7] N. Aronszajn, R. D. Brown and R. S. Butcher, Construction of the solution of boundary value problems for the biharmonic operator in a rectangle, Ann. Inst. Fourier, 23, 3 (1973), 49-89. | Numdam | MR | Zbl

[8] Hardy-Littlewood-Polya, Inequalities, Cambridge, 1959.

[9] P. Szeptycki, On restrictions of functions in the spaces Pα,p and Bα,p, Proceedings AMS, 16, 3 (1965), 341-347. | MR | Zbl

[10] P. Szeptycki, Extensions by mollifiers in Besov spaces, to appear in Studia Mathematica. | Zbl

[11] Ch. D. Marshall, DeRham Cohomology of Subcartesian Structures, Technical Report 24 (new series), University of Kansas, 1971.

[12] K. Spallek, Differenzierbare Räume, Math. Ann., 180 (1969), 269-296. | MR | Zbl

[13] K. Spallek, Glattung differenzierbarer Räume, Math. Ann., 186 (1970), 233-248. | MR | Zbl

[14] J. L. Lions and E. Magenes, Non-homogenous boundary value problems and applications, Springer-Verlag, 1972.

[15] P. Grisvard, Equations différentielles abstraites, Ann. Ec. Norm. Sup., Paris (4), 2 (1969). | Numdam | MR | Zbl