Sur quelques problèmes d'unicité et de prolongement relatifs aux fonctions approchables par des sommes d'exponentielles

Kahane, Jean-Pierre. "Sur quelques problèmes d'unicité et de prolongement relatifs aux fonctions approchables par des sommes d'exponentielles." Annales de l'institut Fourier 5 (1954): 39-130. <http://eudml.org/doc/73720>.

@article{Kahane1954,
abstract = {$\Lambda $ étant une suite de nombres complexes $\lambda _j$$(0&lt; \vert \lambda _1\vert \le \vert \lambda _2\vert \ldots )$, on désigne par $\{\cal E\}_I(\Lambda )$ (resp. $\{\cal E\}_K(\Lambda ))$ l’ensemble des fonctions $f(x)$ (resp. $f(z)$) définies sur un segment $I$ (resp. sur un compact $K$ du plan complexe) et uniformément approchables sur $I$ (resp. sur $K$) par des combinaisons linéaires $\sum ^N_1a_\{j,N\}e^\{i\lambda _jx\}\Big (\{\rm resp.\}\, \sum ^N_4a_\{j,N\}e^\{i\lambda _jz\}\Big )$. On désigne par $\{\cal E\}(\Lambda )$ l’ensemble des fonctions continues) sur la droite dont les restrictions à tout segment $I$ appartiennent à $\{\cal E\}_I(\Lambda )$, par $\{\cal E\}_\Omega (P)$ l’ensemble des fonctions (holomorphes) sur un ouvert $\Omega $ du plan complexe dont les restrictions à tout compact $K\subset \Omega $ appartiennent à $\{\cal E\}_K(\Lambda )$.Le chapitre I débute par un exposé rapide des principales propriétés de $\{\cal E\}(\Lambda )$, à partir des “transformées de Fourier-Carleman” des fonctions moyenne-périodiques de L. Schwartz. Il est ensuite consacré aux problèmes de l’unicité d’une fonction de $\{\cal E\}(\Lambda )$ définie par ses valeurs sur un segment (1), ou par ses valeurs approchées au voisinage d’un point (2), ou par les valeurs de ses dérivées successives en un point (3), et du prolongement d’une fonction de $\{\cal E\}_I(\Lambda )$ en une fonction de $\{\cal E\}(\Lambda )$ (4). Chacun de ces problèmes est justiciable de différentes méthodes, qui fournissent des résultats faisant intervenir diverses fonctions, ou quantités, attachées à $\Lambda $. Ainsi, dans la solution du problème (1) intervient la densité minimum de $\Lambda $, tandis que dans les solutions données au problème (4) interviennent la densité maximum et la “densité de répartition”. Les solutions aux problèmes (2) et (3) font intervenir la rareté, ou la lacunarité de $\Lambda $, soit dans le plan, soit sur la droite réelle, soit sur une demi-droite. À titre d’exemple, voici un résultat obtenu : pour que les relations $f\in \{\cal E\}(\Lambda )$, $f^\{(n)\}(0)=0$, $\{\rm max\}\,\vert f^\{(n)\}(x)\vert &lt; \{\cal M\}_n$$(n=0,1,\ldots )$ entraînent $f\equiv 0$, il suffit que $\lim _\{n\rightarrow \infty \}\{\{\bf M\}_n\over \vert \lambda _1\ldots \lambda _\{n+1\}\vert \}=0$ ; si $\Lambda $ est assez rare, cette condition est nécessaire.Au début du chapitre II sont examinés quelques problèmes généraux concernant $\{\cal E\}_\Omega (\Lambda )$ ; par exemple, la recherche des conditions nécessaires et de conditions suffisantes pour que $\{\cal E\}_\Omega (\Lambda )$ contienne toutes les fonctions holomorphes dans $\Omega $. L’essentiel du chapitre traite du problème de prolongement suivant : $\Omega $ et $\Lambda $ étant donnés, trouver un ouvert $G\supset \Omega $ tel que toute fonction de $\{\cal E\}_\Omega (\Lambda )$ soit prolongeable en une fonction de $\{\cal E\}_G(\Lambda )$ ; un principe de prolongement très simple permet, en résolvant ce problème, d’obtenir très rapidement des indications sur les singularités des séries de Dirichlet, des fonctions presque-périodiques, des fonctions moyenne-périodiques analytiques. Les résultats font en général intervenir soit la densité maximum, soit la densité moyenne supérieure de $\Lambda $. Exemple : si $\Lambda $ est symétrique réelle, et a pour densité maximum $D$, si $\Omega $ est connexe et contient un segment $[a-i\pi D,\; a+i\pi D]$, toute fonction de $\{\cal E\}_\Omega (\Lambda )$ est prolongeable dans une bande verticale $B$ en une fonction presque périodique) de $\{\cal E\}_B(\Lambda )$, chaque segment de longueur $2\pi D$ porté par la frontière de $B$ contenant au moins un point singulier.Les problèmes examinés au chapitre III sont, a priori, très différents des précédents. D’une part sont étudiées les questions de la théorie des fonctions d’une variable complexe auxquelles mènent les méthodes employées au chapitre I : extension d’un théorème de Mandelbrojt. Mac Lane sur les fonctions holomorphes dans une bande ; relation entre la croissance du module et la répartition des zéros et des pôles d’une fonction holomorphe dans un demi-plan. D’autre part, les techniques introduites sont appliquées à quelques problèmes d’approximation et d’unicité dans le champ réel (problèmes généralisés des moments, de l’approximation polynomiale, de la quasi-analyticité) ; les résultats, difficiles à exprimer sont proches de ceux obtenus par M. Mandelbrojt à l’aide de son inégalité fondamentale. Ce chapitre se termine avec la définition de nouvelles classes quasi-analytiques, en réponse à un problème qui généralise le problème (3) du chapitre I.},
author = {Kahane, Jean-Pierre},
journal = {Annales de l'institut Fourier},
keywords = {functional analysis},
language = {fre},
pages = {39-130},
publisher = {Association des Annales de l'Institut Fourier},
title = {Sur quelques problèmes d'unicité et de prolongement relatifs aux fonctions approchables par des sommes d'exponentielles},
url = {http://eudml.org/doc/73720},
volume = {5},
year = {1954},
}

TY - JOUR
AU - Kahane, Jean-Pierre
TI - Sur quelques problèmes d'unicité et de prolongement relatifs aux fonctions approchables par des sommes d'exponentielles
JO - Annales de l'institut Fourier
PY - 1954
PB - Association des Annales de l'Institut Fourier
VL - 5
SP - 39
EP - 130
AB - $\Lambda $ étant une suite de nombres complexes $\lambda _j$$(0&lt; \vert \lambda _1\vert \le \vert \lambda _2\vert \ldots )$, on désigne par ${\cal E}_I(\Lambda )$ (resp. ${\cal E}_K(\Lambda ))$ l’ensemble des fonctions $f(x)$ (resp. $f(z)$) définies sur un segment $I$ (resp. sur un compact $K$ du plan complexe) et uniformément approchables sur $I$ (resp. sur $K$) par des combinaisons linéaires $\sum ^N_1a_{j,N}e^{i\lambda _jx}\Big ({\rm resp.}\, \sum ^N_4a_{j,N}e^{i\lambda _jz}\Big )$. On désigne par ${\cal E}(\Lambda )$ l’ensemble des fonctions continues) sur la droite dont les restrictions à tout segment $I$ appartiennent à ${\cal E}_I(\Lambda )$, par ${\cal E}_\Omega (P)$ l’ensemble des fonctions (holomorphes) sur un ouvert $\Omega $ du plan complexe dont les restrictions à tout compact $K\subset \Omega $ appartiennent à ${\cal E}_K(\Lambda )$.Le chapitre I débute par un exposé rapide des principales propriétés de ${\cal E}(\Lambda )$, à partir des “transformées de Fourier-Carleman” des fonctions moyenne-périodiques de L. Schwartz. Il est ensuite consacré aux problèmes de l’unicité d’une fonction de ${\cal E}(\Lambda )$ définie par ses valeurs sur un segment (1), ou par ses valeurs approchées au voisinage d’un point (2), ou par les valeurs de ses dérivées successives en un point (3), et du prolongement d’une fonction de ${\cal E}_I(\Lambda )$ en une fonction de ${\cal E}(\Lambda )$ (4). Chacun de ces problèmes est justiciable de différentes méthodes, qui fournissent des résultats faisant intervenir diverses fonctions, ou quantités, attachées à $\Lambda $. Ainsi, dans la solution du problème (1) intervient la densité minimum de $\Lambda $, tandis que dans les solutions données au problème (4) interviennent la densité maximum et la “densité de répartition”. Les solutions aux problèmes (2) et (3) font intervenir la rareté, ou la lacunarité de $\Lambda $, soit dans le plan, soit sur la droite réelle, soit sur une demi-droite. À titre d’exemple, voici un résultat obtenu : pour que les relations $f\in {\cal E}(\Lambda )$, $f^{(n)}(0)=0$, ${\rm max}\,\vert f^{(n)}(x)\vert &lt; {\cal M}_n$$(n=0,1,\ldots )$ entraînent $f\equiv 0$, il suffit que $\lim _{n\rightarrow \infty }{{\bf M}_n\over \vert \lambda _1\ldots \lambda _{n+1}\vert }=0$ ; si $\Lambda $ est assez rare, cette condition est nécessaire.Au début du chapitre II sont examinés quelques problèmes généraux concernant ${\cal E}_\Omega (\Lambda )$ ; par exemple, la recherche des conditions nécessaires et de conditions suffisantes pour que ${\cal E}_\Omega (\Lambda )$ contienne toutes les fonctions holomorphes dans $\Omega $. L’essentiel du chapitre traite du problème de prolongement suivant : $\Omega $ et $\Lambda $ étant donnés, trouver un ouvert $G\supset \Omega $ tel que toute fonction de ${\cal E}_\Omega (\Lambda )$ soit prolongeable en une fonction de ${\cal E}_G(\Lambda )$ ; un principe de prolongement très simple permet, en résolvant ce problème, d’obtenir très rapidement des indications sur les singularités des séries de Dirichlet, des fonctions presque-périodiques, des fonctions moyenne-périodiques analytiques. Les résultats font en général intervenir soit la densité maximum, soit la densité moyenne supérieure de $\Lambda $. Exemple : si $\Lambda $ est symétrique réelle, et a pour densité maximum $D$, si $\Omega $ est connexe et contient un segment $[a-i\pi D,\; a+i\pi D]$, toute fonction de ${\cal E}_\Omega (\Lambda )$ est prolongeable dans une bande verticale $B$ en une fonction presque périodique) de ${\cal E}_B(\Lambda )$, chaque segment de longueur $2\pi D$ porté par la frontière de $B$ contenant au moins un point singulier.Les problèmes examinés au chapitre III sont, a priori, très différents des précédents. D’une part sont étudiées les questions de la théorie des fonctions d’une variable complexe auxquelles mènent les méthodes employées au chapitre I : extension d’un théorème de Mandelbrojt. Mac Lane sur les fonctions holomorphes dans une bande ; relation entre la croissance du module et la répartition des zéros et des pôles d’une fonction holomorphe dans un demi-plan. D’autre part, les techniques introduites sont appliquées à quelques problèmes d’approximation et d’unicité dans le champ réel (problèmes généralisés des moments, de l’approximation polynomiale, de la quasi-analyticité) ; les résultats, difficiles à exprimer sont proches de ceux obtenus par M. Mandelbrojt à l’aide de son inégalité fondamentale. Ce chapitre se termine avec la définition de nouvelles classes quasi-analytiques, en réponse à un problème qui généralise le problème (3) du chapitre I.
LA - fre
KW - functional analysis
UR - http://eudml.org/doc/73720
ER -