Théorie des distributions à valeurs vectorielles. I

Schwartz, Laurent

doi:10.5802/aif.68

Schwartz, Laurent

Annales de l'Institut Fourier, Tome 7 (1957), pp. 1-141

Résumé

Ce travail a pour but l’extension aux distributions à valeurs vectorielles des principales propriétés des distributions scalaires (Théorie des distributions, Paris, Hermann, 1950–51, et nouvelle édition du tome I, 1957).

Soit $E$ un espace vectoriel topologique localement convexe séparé quasi-complet. L’espace $𝒟^{'} (E)$ des distributions sur $R^{n}$ à valeurs dans $E$ est par définition l’espace $ℒ (𝒟; E)$ des applications linéaires continues de $𝒟$ dans $E$ , $𝒟$ étant l’espace des fonctions numériques indéfiniment dérivables à support compact sur $R^{n}$ . On peut remplacer $𝒟^{'}$ par d’autres espaces : $ℰ^{'}$ , $𝒮^{'}$ , etc...

Le chapitre I étudie toutes les opérations ne faisant intervenir qu’une distribution vectorielle et une ou plusieurs distributions scalaires.

Le paragraphe 1 définit un espace $L ε M$ associé à deux espaces vectoriels topologiques localement convexes séparés arbitraires ; alors $𝒟^{'} (E)$ n’est autre que $𝒟^{'} ε E$ . Si $ℋ$ est un sous-espace de $𝒟^{'}$ , muni d’une topologie plus fine que la topologie induite, on définit alors le sous-espace. $ℋ (E)$ de $𝒟 (E)$ comme étant $ℋ ε E$ . Si $\vec{T} \in ℒ (𝒟; E)$ , sa transformée $^{t} \vec{T}$ est une application linéaire continue de $E_{c}^{'}$ dans $𝒟^{'}$ ( $E_{c}^{'}$ est le dual de $E$ , muni de la topologie de la convergence compacte). $^{t} \vec{T} (\overset{\leftarrow}{e^{'}})$ se notera aussi $〈 \vec{T}, \overset{\leftarrow}{e^{'}} 〉$ , pour $e^{'} \in E^{'}$ . Alors on dira qu’une distribution $\vec{T} \in 𝒟^{'} (E)$ appartient scalairement à $ℋ$ appartient à $ℋ (E)$ ; les espaces de distribution $𝒟, 𝒟^{'}, ℰ, ℰ^{'}, 𝒮, 𝒮^{'}$ , ont la propriété $ε$ .

Soient $ℋ, ℋ^{'}$ , deux espaces de distributions en dualité (par exemple $𝒮, 𝒮^{'}$ ). Alors si $S \in ℋ$ , $T \in ℋ^{'}$ , on peut définir un produit scalaire $S \cdot T$ , nombre complexe. Si maintenant $\vec{S} \in ℋ (E)$ , $T \in ℋ^{'}$ , on peut définir $\vec{S} \cdot T \in E$ , et cette extension du produit scalaire a les propriétés d’hypocontinuité qu’on attend.

On peut de même étendre le produit multiplicatif, et définir par exemple $α \vec{T} \in 𝒮^{'} (E)$ pour $α \in 𝒪_{M}$ , $\vec{T} \in 𝒮^{'} (E)$ , et le produit de convolution et définir par exemple $S * \vec{T} \in 𝒮^{'} (E)$ pour $S \in 𝒪_{c}^{'}$ , $\vec{T} \in 𝒮^{'} (E)$ . L’image Fourier d’une distribution tempérée $\vec{T} \in 𝒮^{'} (E)$ se définit par $ℱ \vec{T} (γ) = \vec{T} (ℱ ϕ)$ pour toute $ϕ \in 𝒮$ , ou par $〈 ℱ \vec{T}, \overset{\leftarrow}{e^{'}} 〉 = ℱ 〈 \vec{T}, \overset{\leftarrow}{e^{'}} 〉$ pour tout $\overset{\leftarrow}{e^{'}} \in E^{'}$ ; la transformation de Fourier ainsi étendue échange multiplication et convolution.

Le chapitre I étudie longuement le cas où $E$ est lui-même un espace de distributions (théorie des noyaux). Si ${ℋ = 𝒟}_{L^{1}}^{'}$ , $E$ quelconque $\vec{T} \in 𝒟_{L^{1}}^{'} (E)$ est dite sommable sur $R^{n}$ ; si $ℋ = (𝒟_{L^{1}}^{'})_{x}$ et $E = 𝒟_{y}^{'}$ , $T \in (D_{L^{1}}^{'})_{x} (𝒟_{y}^{'})$ est dite partiellement sommable en $x$ . Diverses applications aux opérations définies antérieurement sont étudiées.

Le chapitre II étudie les opérations faisant intervenir 2 distributions à valeurs vectorielles. D’abord on étudie diverses topologiques sur un produit tensoriel $L \otimes M$ ; on note ces topologies par $L \otimes_{λ} M$ , où $λ$ est l’une des 5 lettres $t, γ, β, π, ε$ . Soient alors $L, M, U, V$ , 4 espaces vectoriels quasi-complets.

Pour $ξ \in L {\overset{\cap}{\otimes}}_{λ} U$ , $η \in M {\overset{\cap}{\otimes}}_{t} V$ , on peut définir “un produit croisé” $Γ_{μ, λ} (ξ, η) \in (L {\overset{\cap}{\otimes}}_{μ} M) {\overset{\cap}{\otimes}}_{ε} (U {\overset{\cap}{\otimes}}_{λ} V)$ , dont on étudie systématiquement les propriétés.

Plus généralement si $ϕ, χ, ψ, ω$ , sont 4 des 5 lettres précédentes, on peut, dans certaines conditions, définir, pour $ξ \in L {\overset{\cap}{\otimes}}_{ϕ} U$ , $η \in M {\overset{\cap}{\otimes}}_{χ} V$ , un produit croisé appartenant à $(L {\overset{\cap}{\otimes}}_{ψ} M) {\overset{\cap}{\otimes}}_{ε} (U \otimes_{ω} V)$ .

Ce produit croisé peut être appliqué aux différentes produits de 2 distributions à valeurs vectorielles.

Soient $E$ , $F$ , $G$ , 3 espaces de Banach, et soit $B$ une application bilinéaire continue de $E \times F$ dans $G$ . Soient d’autre part $ℋ, 𝒦, ℒ$ , 3 espaces de distributions, et soit $U$ une application bilinéaire hypocontinue $(S \cdot T \to S \cup T$ de $ℋ \times 𝒦$ dans $ℒ$ (par exemple le produit scalaire $S \cdot T$ si $𝒦 = ℋ^{'}$ , $ℒ =$ corps des scalaires ; le produit multiplicatif si $ℋ = 𝒮^{'}$ , $𝒦 = O_{M}$ , $ℒ = 𝒮^{'}$ ; le produit de convolution si $ℋ = 𝒮^{'}$ , $𝒦 = O_{c}^{'}$ , $ℒ = 𝒮^{'}$ . Alors, si l’espace $ℋ$ est nucléaire, et si l’on a en outre quelques autres propriétés peu restrictives, on peut définir un produit croisé $\vec{S} \cup_{B} \vec{T} \in ℒ (G)$ , pour $\vec{𝒮} \in ℋ (E)$ , $\vec{T} \in 𝒦 (F)$ ; ce produit a les propriétés d’hypocontinuité qu’on peut normalement en attendre.

MR Zbl

DOI : 10.5802/aif.68

@article{AIF_1957__7__1_0,
     author = {Schwartz, Laurent},
     title = {Th\'eorie des distributions \`a valeurs vectorielles. {I}},
     journal = {Annales de l'Institut Fourier},
     pages = {1--141},
     year = {1957},
     publisher = {Institut Fourier},
     address = {Grenoble},
     volume = {7},
     doi = {10.5802/aif.68},
     mrnumber = {21 #6534},
     zbl = {0089.09601},
     language = {fr},
     url = {https://www.numdam.org/articles/10.5802/aif.68/}
}

TY  - JOUR
AU  - Schwartz, Laurent
TI  - Théorie des distributions à valeurs vectorielles. I
JO  - Annales de l'Institut Fourier
PY  - 1957
SP  - 1
EP  - 141
VL  - 7
PB  - Institut Fourier
PP  - Grenoble
UR  - https://www.numdam.org/articles/10.5802/aif.68/
DO  - 10.5802/aif.68
LA  - fr
ID  - AIF_1957__7__1_0
ER  -

%0 Journal Article
%A Schwartz, Laurent
%T Théorie des distributions à valeurs vectorielles. I
%J Annales de l'Institut Fourier
%D 1957
%P 1-141
%V 7
%I Institut Fourier
%C Grenoble
%U https://www.numdam.org/articles/10.5802/aif.68/
%R 10.5802/aif.68
%G fr
%F AIF_1957__7__1_0

Schwartz, Laurent. Théorie des distributions à valeurs vectorielles. I. Annales de l'Institut Fourier, Tome 7 (1957), pp. 1-141. doi: 10.5802/aif.68

Bibliographie
Cité par

[1] Bourbaki. Espaces vectoriels topologiques. Chapitres I et II, Paris, Hermann, 1953. | Zbl

[2] Bourbaki. Espaces vectoriels topologiques. Chapitres III, IV, V, Paris Hermann, 1955. | Zbl

[3] Bourbaki. Topologie générale. Chapitre X, Paris, Hermann, 1949. | Zbl

[4] Bourbaki. "Sur certains espaces vectoriels topologiques". Annales de l'Institut Fourier, tome II, 1950, p. 5-16. | Numdam | Zbl | MR | EuDML

[5] Bourbaki. Topologie générale. Chapitres I et II, Paris, Hermann, 1951.

[6] Bourbaki. Intégration. Chapitres I, II, III, IV, Paris, Hermann, 1952. | Zbl

[1] Bruhat. Sur les représentations induites des groupes de Lie, Paris, Gauthiers-Villars, 1956. | Zbl | MR | Numdam

[1] Dieudonné-Schwartz. "La dualité dans les espaces (F) et (LF)". Annales de l'Institut Fourier, tome I, 1949, p. 61-101. | Numdam | Zbl | EuDML

[1] Garnir. "Sur la transformation de Laplace des distributions". Comptes Rendus de l'Académie des Sciences de Paris, tome 234, 1952, p. 583-585. | Zbl | MR

[1] Grothendieck. " Sur la complétion du dual d'un espace localement convexe ". Comptes Rendus de l'Académie des Sciences de Paris, tome 230, 1950, p. 605-606. | Zbl | MR

[2] Grothendieck. " Sur les espaces (F) et (DF) ". Summa Brasiliensis Mathematicae, volume 3, 1954, p. 57-123. | Zbl | MR

[3] Grothendieck. " Résumé des résultats essentiels dans la théorie des produits tensoriels topologiques et des espaces nucléaires ". Annales de l'Institut Fourier, tome IV, 1952, p. 73-112. | Zbl | MR | Numdam

[4] Grothendieck. " Produits tensoriels topologiques et espaces nucléaires ". Préliminaires et chapitre I, Mémoirs of the American Mathematical Society, n° 16, 1955. | Zbl | MR

[5] Grothendieck. " Produits tensoriels topologiques et espaces nucléaires ", Chapitre II, Memoirs of the American Mathematical Society, n° 16, 1955. | Zbl | MR

[6] Grothendieck. " Critères de compacité dans les espaces fonctionnels généraux ". American Journal of Mathematics, volume LXXIV, 1952, p. 168-186. | Zbl | MR

[1] Koethe. " Uber die Vollständigkeit einer Klasse lokalkonvexer Raume ". Mathematische Zeitschrift, volume 52, 1950, p. 627-630. | Zbl

[1] Lions. " Problèmes aux limites en théorie des distributions ". Acta Mathematica, tome 94, 1955, p. 13-153. | Zbl | MR

[1] De Rham. " Variétés différentiables. Formes, courants, formes harmoniques ". Paris, Hermann, 1955. | Zbl | MR

[1] Schwartz. " Espaces de fonctions différentiables à valeurs vectorielles ". Journal d'Analyse Mathématique, Jérusalem, volume IV, 1954-1955, p. 88-148. | Zbl

[2] Schwartz. " Produits tensoriels topologiques et espaces nucléaires ". Séminaire, Institut Henri-Poincaré, 1953-1954.

[3] Schwartz. " Transformation de Laplace des distributions ". Communications du Séminaire Mathématique de l'Université de Lund, tome supplémentaire dédié à Marcel Riesz (1952), p. 196-206. | Zbl | MR

[4] Schwartz. " Théorie des Distributions ", tome I, Paris, Hermann, 1957. | Zbl

[5] Schwartz. " Théorie des Distributions ", tome II, Paris, Hermann, 1951. | Zbl

[6] Schwartz. " Théorie des noyaux ". Proceedings of the International Congress of Mathematicians, 1950, volume I, p. 220-230. | Zbl

Cité par Sources :