Voir la source de André Unterberger

{{À déjargoniser|section=non|date=décembre 2022}}
{{À wikifier|date=novembre 2022}}
{{infobox}}
'''André Unterberger''', né le {{date de naissance|27|novembre|1940}} à [[Bourg-en-Bresse]], est un [[mathématicien]] [[France|français]]. Son épouse Julianne et son fils Jérémie sont également mathématiciens.

== Biographie ==
André Unterberger obtient son Doctorat d'État à Paris en 1971, sous la direction de [[Laurent Schwartz (mathématicien)|Laurent Schwartz]]<ref>{{MathGenealogy|75970}}</ref>.
Il est professeur à Purdue University ([[West Lafayette]], IN, USA), ({{nobr|2 ans}}), puis à Poitiers ({{nobr|1 an}}), Dijon ({{nobr|1 an}}), et [[Université d'Aarhus|Aarhus]] ([[Danemark]]) (1974-75), avant d'être nommé à Reims en 1975.

== Prix obtenus ==
André Unterberger a obtenu le [[prix Ferran Sunyer i Balaguer]] en 2002 pour le livre ''Automorphic Pseudodifferential Analysis and Higher-level Weyl Calculi''.

== Motivation générale ==
{{Section trop longue|date=décembre 2022}}

Depuis Newton, l'évolution (physique) d'un corps matériel est représentée par l'évolution (mathématique) d'un point dans l'espace <math> \R^3</math> (celui de la géométrie ordinaire).

Avec les théories physiques du XXme siècle, cet espace <math>\R^3</math>   a dû être remplacé par des espaces beaucoup plus abstraits; certains d'entre eux se nomment espaces  [[espace de Hilbert]]

*  ''Création de la théorie des [[Opérateur_pseudo-différentiel|opérateurs pseudo-différentiels]].'' Il s'agit d'un outil fondamental [[en analyse]] mathématique, abondamment utilisé en [[physique mathématique]]. André Unterberger a contribué à leur création en même temps que [[Joseph Kohn|Joseph J. Kohn]], [[Louis Nirenberg]] et [[Lars Hörmander]]. Ce rôle dans l'origine de la théorie est attesté dans deux textes: un exposé J.J. Kohn<ref>[https://www.ams.org/notices/199610/nirenberg.pdf Notices of the AMS 1996]</ref> sur les travaux de L. Nirenberg, et un hommage à L. Hörmander<ref>[https://www.ams.org/notices/201508/rnoti-p890.pdf Notices of the AMS vol 62 n8]</ref>.

* ''Calcul de Weyl''. Dans les années 1930, Weyl avait inventé une méthode ([[Mécanique quantique dans l'espace des phases|quantification]]) pour faire correspondre à certaines fonctions <math> a </math> sur <math>\R^{2n}</math> un opérateur <math> Op(a)</math> sur <math>L^2(\R^n)</math>. La définition suivante est donnée à la fois dans l'article l'exposé<ref>A. Unterberger, Encore des classes de symboles. Séminaire Goulaouic-Schwartz (1977/1978), Exp. No. 6, École Polytech., Palaiseau, 1978.</ref>, et dans le livre de N. Lerner<ref name="ler">N. Lerner, Metrics on the phase space and non-selfadjoint pseudo-differential operators. Pseudo-Differential Operators. Theory and Applications, 3. Birkhäuser Verlag, Basel, 2010.</ref>. <center> <math> ( Op (a) f) (t) = ( 2 \pi)^{-n} \int _{\R^{2n}} a \left ( \frac { t+ y} {2} , \xi \right ) f(y) e^{ i \xi \cdot (t-y)} dy d\xi . </math> </center> La définition de l'opérateur <math> Op (a) </math> ressemble à l'ancienne définition des opérateurs pseudo-différentiels, mais présente certaines supériorités, mises en évidence dans un chapitre<ref> A. Unterberger, Les opérateurs métadifférentiels, Complex analysis, microlocal calculus and relativistic quantum theory (Proc. Internat. Colloq., Centre Phys., Les Houches, 1979), {{p.|205-241}}, Lecture Notes in Phys., 126, Springer.</ref> d'un Lecture Notes in Physics. Une autre définition équivalente repose sur la notion de fonction de Wigner, qui est définie dans le livre<ref name="ler" />. On associe à toute paire de fonctions <math>(f , g)</math> dans <math>L^2 (\R^n)</math> une fonction, dite ''fonction de Wigner'', définie par <center><math> W (f , g) (x , \xi) = \pi^{-n} \int _{\R^n} f(x + t) \overline {g(x-t)} e^{-2i t .\xi} dt =  \pi^{-n} \int _{\R^n} f( 2x-t) \overline {g(t)} e^{2i \xi \cdot ( t-x)} dt . </math> </center> On voit que l'opérateur <math>Op (a)</math> correspondant à la fonction <math>a</math> vérifie l'égalité <center><math> \int _{\R^n} (Op(a) f)(x) \overline {g(x)} dx = \int _{\R^{2n} } a(x , \xi) W (f , g) (x , \xi) dx d\xi . </math></center>  Pour éfinir de manière équivalente la fonction de Wigner, on définit, pour tout <math> X = (x , \xi)\in \R^{2n} </math>, un opérateur de symétrie <math>S_X </math> par <center><math> (S_{x, \xi} F (t) = F( 2x -t) e^{2i \xi \cdot ( t-x)} .  </math> </center>. La fonction de Wigner est alors définie, pour tout <math> X = (x , \xi)\in \R^{2n} </math>, par  <center><math> W(f , g) (X) = < \Sigma_X f , g>.  </math> </center>

* ''Extensions du calcul de Weyl: principes généraux''. L'idée générale est de définir, pour tout <math> X </math> sans un certain certain ensemble <math> \Omega </math> appelé espace de phase, un opérateur <math> S_X</math> dans un certain espace de Hilbert <math> {\cal H} </math>. On définit ensuite la fonction de Wigner <math> W(f , g) (X)</math> de deux éléments de <math> {\cal H} </math> comme ci-dessus. Cela permet ensuite d"associer, à toute fonction <math> a </math> dans l'espace de phase, un opérateur <math> Op(a)</math> dans l'espace de Hilbert, ce qui généralise le calcul de Weyl. Mais la définition de <math> \Sigma_X</math> ne peut être arbitraire. On se donne aussi un groupe <math> G</math>, et d'une part une représentation de <math> G</math> dans <math> {\cal H} </math>, d'autre part une action du groupe <math> G</math> dans l'espace de phase <math> \Omega </math>. Il faut que l'égalité suivante (COV) soit vérifiée pour tous <math>X\in \Omega</math> et <math>g\in G</math> <center><math> \pi (g) S_X  \pi (g)^{-1} = S _{gX}. </math></center> Le calcul de Weyl ainsi défini possède alors d'intéressantes propriétés. Dans le cas du calcul de Weyl usuel, cette égalité est vérifiée si <math>G</math> est le [[groupe de Heisenberg]], c'est-à-dire à l'espace <math> \R^{2n+1}</math> muni de la loi de composition <center> <math> (a , b , \theta ) (a' , b' , \theta ') = ( a+a' , b+ b', \theta + \theta '+ \frac {1} {2} ( b \cdot a' - a \cdot b') ) . </math> </center>, si <math> \Omega = \R^{2n}</math>, si <math> {\cal H}= L^2(\R^n)</math>, et si on choisit une représentation <math> \pi</math> de <math>  G </math> dans <math> {\cal H}</math> et une action de groupe de <math>G </math> dans <math> \R^{2n} </math> convenables. <br> André Unterberger a introduit plusieurs généralisations du calcul de Weyl, dans lesquels le groupe, l'espace de phase et l'espace de Hilbert sont modifiés. Nous allons en présenter deux: l'une où le groupe <math> G </math> est le groupe affine, l'autre où c'est le groupe de Poincaré.

== Applications en  théorie du signal ==
Les outils techniques créés portent les noms de fonction de Wigner affine et de calcul de Fuchs. Pour généraliser le calcul de Weyl, l'une des premières idées d'André Unterberger a été dans<ref name="smf" /> de remplacer le groupe de Heisenberg par le [[groupe affine]]. On appelle ainsi l'ensemble <math>\R_+ \times \R</math> muni de la loi de composition <center><math> (a, b) (a' , b') = ( a a' , b' + b a' ) . </math></center> Maintenant, l'espace de Hilbert est celui des fonctions (mesurables) sur <math>\R_+</math> telles que <center> <math> \Vert f \Vert _{\cal H}^2 = \int _0^{\infty} | f(\omega)|^2 \frac { d \omega} {\omega} < \infty . </math> </center> - L'espace de phase est <math>\Omega = \R_+ \times  \R</math>. <br> - On a une représentation unitaire <math>\pi</math> de <math>G</math> dans <math>{\cal H}</math> définie, pour tout <math> (a , b) \in G </math>, par <center><math> \Big ( \pi (a , b) F \Big ) (x) = e^{  i \frac {b x} {a}} F \left ( \frac {x} {a} \right ) . </math></center> - On a une action du groupe <math> G </math> dans <math>\Omega</math> définie par <center><math>(a , b) \cdot ( \omega , t) = \left ( a \omega ,  t  + b \omega\right ). </math></center> - On définit un opérateur de symétrie <math> S_{\omega , t}</math> pour tout <math> (\omega , t)</math> dans l'espace de phase par <center> <math> (  S_{\omega , t}  f) (\gamma ) = f  \left ( \frac {\omega ^2} {\gamma } \right ) e^{it ( \frac   {\gamma} {\omega } -  \frac   {\omega} {\gamma } )} . </math> </center> On montre que l'égalité (COV-1) est vérifiée. On définit la fonction de Wigner affine de <math> f </math> et <math> g </math> dans <math> {\cal H} </math> comme ci-dessus, c'est-à-dire, explicitement, par: <center><math>W(f , g) (\omega , t ) = (2\pi)^{-1} \int_0^{\infty} f  \left ( \frac {\omega ^2} {\gamma } \right ) e^{it ( \frac   {\gamma} {\omega } -  \frac   {\omega} {\gamma } )} \ \overline{  g (\gamma) }  \frac {d \gamma } {\gamma} .  </math> </center>  C'est, à de petits détails près, la fonction introduite par André Unterberger dans<ref name="smf">André  Unterberger, The calculus of pseudodifferential operators of Fuchs type. Comm. Partial Differential Equations 9 (1984), no. 12, 1179-1236. </ref> (égalité (2.1)) sous le nom de ''fonction de Wigner passive du calcul de Fuchs''. La propriété de covariance a permis à André Unterberger de construire, dans ce même article, un calcul pseudodifférentiel généralisé qu'il appelle ''calcul de Fuchs''. Dans l'égalité (2.2) du même article, il introduit aussi une ''fonction de Wigner active du calcul de Fuchs'', définie par <center><math>W^{\sharp}(f , g) (\omega , t) = (2\pi)^{-1} \int_0^{\infty} f(\gamma \omega) \ \overline{ f ( \omega / \gamma)} e^{it (\gamma - \gamma ^{-1}) } (1 + \gamma ^{-2} ) d \gamma . </math><br> - Dans le travail récent<ref name="ber">E. Berge, S. M. Berge, F. Luef, ''The affine Wigner distribution''. Appl. Comput. Harmon. Anal. 56, 150-175 (2022)</ref> d'intéressantes propriétés de la fonction de Wigner affine (active) sont prouvées. <br> - Si on appelle ''signal'' toute fonction <math>f</math> sur <math> \R</math>, les spécialistes utilisent depuis 1955 la fonction de Wigner usuelle <math> W(f , f) ( \omega , t)</math>, (appliquée surtout à <math> g= f</math>), qu'ils jugent utile pour traiter le signal <math>f</math>. C'est donc une fonction du temps <math>t</math> et de la fréquence <math>\omega</math>. Il se trouve que, pour les fréquences, le groupe multiplicatif est plus utile que le groupe additif. Un ''intervalle'' en musique est en fait le rapport de deux fréquences. Ce fait a conduit les spécialistes de théorie du signal, en particulier J. et P. Bertrand dans<ref>J. Bertrand, P. Bertrand, A class of affine Wigner functions with extended covariance properties. J. Math. Phys. 33 (1992), no. 7, 2515-2527.</ref> et [[Patrick Flandrin]] dans<ref>[http://perso.ens-lyon.fr/patrick.flandrin/TS1999.pdf document de P. Flandrin]</ref>, à substituer la fonction <math> W^{\sharp}(f , f) ( \omega , t) </math> à la fonction de Wigner usuelle. On doit alors considérer que <math>f</math> n'est pas la fonction de <math>t</math>, mais sa transformée de Fourier, fonction de la fréquence. </center>

== Applications en  relativité ==
Les outils techniques créés portent les noms de  Calcul de Klein Gordon et de fonction de Wigner relativiste. Ici, nous avons <math>n</math> variables d'espace, une variable de temps, et un paramètre <math>c>0</math> qui est la [[vitesse de la lumière]]. On a une forme bilinéaire <math> Q</math> définie sur <math>\R^{n+1}</math> par <center> <math> Q(x , y) = x_0 y_0 - \sum _{j=1}^n x_j y_j . </math> </center> André Unterberger a développé dans ce contexte un calcul de Weyl généralisé, dit ''de Klein Gordon'', dans<ref name="pqr">A. Unterberger, ''Quantification relativiste''. (French)  Mém. Soc. Math. France (N.S.) No. 44-45 (1991) </ref>. <br> - Le groupe <math>G</math> est le [[Groupe_de_Poincaré_(transformations)|groupe de Poincaré]] <math>{\cal P}</math>. Pour le définir, on commence par définir le groupe de Lorentz <math>{\cal L}</math>, qui est l'ensemble des applications linéaires <math>M</math> dans <math>\R^{n+1}</math> telles que, pour tous <math>x</math> et <math>y</math> dans <math>\R^{n+1}</math>: <center><math> Q( Mx , My)= Q(x , y). </math></center> Le groupe de Poincaré <math>{\cal P}</math> est l'ensemble des <math>(M, a)</math> dans <math>{\cal L} \times \R^{n+1}</math> muni de la loi de composition:<center><math> (M, a) (M' , a') = ( M M', a + M\cdot a'). </math><br> - Pour définir ''l'espace de Hilbert'', on note <math>{\cal M}</math> l'hyperboloïde (des quadri-vitesses si <math>n= 3</math>))</center><center><math>{\cal M} = \Big  \{ {\bf v}= (v_0 , \overrightarrow v) \in \R^{n+1},\ \ \ \ \ \  Q  ( {\bf v} ,  {\bf v}) = c^2, \ \ \ \ \ \ v_0 >0\Big \} . </math></center>On peut définir l'intégrale d'une fonction <math>F </math> sur <math> {\cal M} </math>. Pour tout <math>v\in \R^n</math>, soit <math> \gamma (v) = ( \sqrt { c^2 + |v|^2 } , v)</math> le point correspondant de l'hyperboloïde. On définit l'intégrale d'une fonction <math>F </math> sur <math> {\cal M} </math> par <center> <math> \int_{{\cal M} } F( \omega ) d \mu (\omega ) = \int _{\R^n} F( \gamma (x)) \frac {dx} { \sqrt { c^2 + |x|^2 } } .  </math> </center> On note <math>{\cal H}</math> l'espace des fonctions <math>F</math> de <math>{\cal M}</math> dans <math>\C</math> telles que <center><math> \Vert F \Vert _{ \cal H}^2 = \int _{\cal M} |F(\omega) |^2  d \mu (\omega ) < \infty . </math><br> - L'espace de phase est <math> \Omega = {\cal M} \times \R^{n+1}</math> <br> - Nous utilisons une représentation naturelle <math>\pi</math> du groupe de Poincaré <math> {\cal P}</math> dans <math> {\cal H}</math> définie par </center> <center><math> \Big ( \pi (M, a) F \Big ) ( {\bf v})  = F ( M^{-1} \cdot {\bf v} ) \ e^{ i c^{-2} Q(a , {\bf v} ) } . </math> </center> pour tout <math>{\bf v} \in {\cal M} </math>. C'est une représentation unitaire. En effet, pour tout <math> x\in \R^n </math> et pour tout <math> M \in {\cal L} </math>, posons <math> \gamma (x) = (x_0 , x)</math> et <math> M \gamma (x) = (\psi_0 (x), \psi (x))</math>, ce qui définit une application <math> \psi </math> de <math> \R^n </math> dans <math> \R^n </math>. On montre que le jacobien de cette application <math> \psi </math> vérifie <center> <math> | {\rm det } \psi'(x) | = \frac {\psi_0 (x) } {x_0 } .  </math> </center> Autrement dit, pour tout <math> M\in {\cal L} </math><center> <math> \int _{\cal M} F(\omega ) d \mu (\omega) = \int _{\cal M}  F(M \omega ) d \mu (\omega) . </math> </center>  On dit que <math> \mu</math> est une ''mesure sur <math>{\cal M}</math> invariante par l'action de <math>{\cal L}</math>''. On en déduit que la représentation définie ci-dessus est unitaire. Voir aussi<ref> W.K. Tung, ''Group Theory ub Physics'', (1985) World Scientific. </ref><br> - L'action du groupe de Poincaré sur l'espace de phase <math>\Omega</math> est définie, pour tout <math> (k, y) \in {\cal M} \times \R^{n+1}</math>, par <center><math> (M, a) \cdot (k, y) = (M\cdot k, a + M\cdot y ) . </math><br> - Définissons maintenant la ''symétrie'' <math> S_X</math> pour tout <math> X\in \Omega</math>. <br> Nous allons d'abord définir, pour tout <math> {\bf k} \in  {\cal M} </math>, une symétrie <math> \Sigma _ {\bf k} </math> par rapport à <math> {\bf k}</math>, qui sera une application de <math> {\cal M}</math> dans lui-même. Cette symétrie est simplement la restriction à <math> {\cal M} </math> de la symétrie (pour la forme <math>Q</math> de la symétrie par rapport à la droite engendrée par <math> {\bf k}</math>. On a donc:</center><center> <math> \Sigma _{{\bf k}  }  {\bf v} = 2 c^{-2} Q(  {\bf v} , {\bf k} ) {\bf k}  -  {\bf v} . </math> </center>  Ensuite on définit, pour tout <math> X = (k, y)\in \Omega</math>, l'opérateur de symétrie <math> S_X</math> dans <math> {\cal H} </math> par <center> <math> ( S_{(k, y)} F) (\omega) = F ( \Sigma _k \omega )e^{ ic^{-2} Q (y ,  \omega) - i c^{-2} Q( y, \Sigma _k \omega) }  . </math> </center> C'est la définition de<ref name="pqr" /> (voir (2.15) page 25, avec la définition de J en (1.3) page 21). <br> - La fonction de Wigner relativiste <math> W^{rel}</math> de deux fonctions <math>F</math> et <math>G</math> dans <math>{\cal H}</math> est définie, selon les principes généraux, pour tout <math> X\in \Omega </math>, par (WIG):<center> <math>  W^{rel} (F, G) (X, c) = < S_X F , G > .  </math> </center> Autrement dit, <center> <math> W^{rel} (F, G) (( {\bf k}, y), c)  = \int _{\cal M}  F ( \Sigma _{\bf k } (\omega) \overline { G(\omega)} e^{ \frac {i} {c^2} ( Q(y, \omega ) - Q ( y,  \Sigma _{\bf k } (\omega) ) ) } d\mu (\omega ) .  </math> </center>  L'égalité de covariance (COV-2) est vérifiée d'après les principes généraux. Cette fonction de Wigner est introduite par A. Unterberger dans<ref name="pqr" /> (proposition 4.5). Elle a aussi été introduite, quelques années plus tard, par<ref name="abc">O.I. Zavialov, A.M. Malokostov, ''Wigner function for free relativistic particles '', Theoret. and Math. Phys, 119, (1999) 448-453 </ref> <br> - ''Limite non relativiste.'' Nous allons étudier le comportement de cette fonction de Wigner relativiste quand <math> c</math> tend vers l'infini. Notons <math> p </math> la projection qui associe, à tout <math> x = (x_0, x_1 , \cdots x_n)</math>, le vecteur <math> p(x) = (x_1 , \cdots x_n ) </math>. Pour toutes fonctions <math>f </math> et <math> g </math> sur <math> \R^n </math>, soient <math> f_c</math> et <math> g_c </math> les fonctions sur l'hyperboloïde définies par <math> f_c (\omega ) = f( p(\omega) /c ) </math> et de même pour <math> g</math>. Les égalités ci-dessus montrent que, si <math> f </math> et <math> g </math> sont dans <math> {\cal S}(\R^n)</math>: <center> <math> \lim _{c \rightarrow \infty} c^{ 1 -n } W^{rel} ( f_c , g_c) ( (\gamma (c x) , (0, c \xi) ), c) = \int _{\R^n} f( 2x-t) \overline { g(t) } e^{ 2 i \xi ( t-x) }  dt . </math> </center> Quand la vitesse de la lumière tend vers l'infini, on retrouve la fonction de Wigner usuelle. <br> - À partir de ces notions de symétrie et de fonction de Wigner, André Unterberger a construit un calcul pseudo-différentiel relativiste, dit de Klein Gordon. Dans<ref>A. Unterberger, Analyse harmonique et analyse pseudo-différentielle du cône de lumière. Astérisque No. 156 (1987), (1988)</ref>, André Unterberger a développé un calcul plus général, qui contient à la fois ceux de Fuchs et de Klein Gordon.

== Fonctions automorphes ==
Calcul de Weyl et {{Lien|trad=Automorphic function|fr=Automorphic function|texte=fonctions automorphes}} et [[Forme modulaire|formes modulaires]]''. À partir de 1995, André Unterberger s'est orienté vers ce domaine. On trouvera ci-dessous la liste des livres qu'il lui a consacrés. Ces travaux semblent très prometteurs. On note l'excellente critique de {{Lien|fr=Alexander Dynin|trad=Alexander Dynin|texte=Alexander Dynin}} sur le livre 9. On peut espérer que ces travaux contribueront peut-être à une preuve de l'[[Hypothèse de Riemann]].

#''{{Lang|en|texte=Pseudodifferential methods in number theory}}'', Birkhauser Boston Inc (2018), {{Lang|en|texte=Pseudo-Differential Operators. Theory and Applications. 13}} (Auteurs : A.Unterberger) 
# {{en}} A. Unterberger, ''Pseudodifferential operators with automorphic symbols'', Pseudo-Differential Operators. Theory and Applications. 11, 2015
# {{en}} A. Unterberger, ''Pseudodifferential analysis, automorphic distributions in the plane and modular forms'', Pseudo-Differential Operators. Theory and Applications. 8, 2011
# {{en}} A. Unterberger, ''Alternative pseudodifferential analysis. With an application to modular forms'', Lecture Notes in Mathematics. 1935, 2008
# {{en}} A. Unterberger, ''Quantization and arithmetic'', Pseudo-Differential Operators. Theory and Applications. 1, 2008
# {{en}} A.Unterberger, ''The fourfold way in real analysis. An alternative to the metaplectic representation'', Progress in Mathematics. 250, 2006
#{{en}} A. Unterberger, ''Automorphic pseudodifferential analysis and higher level Weyl calculi'', Progress in Mathematics. 209, 2003
# {{en}} A. Unterberger, ''Quantization and non-holomorphic modular forms'', Lecture Notes in Mathematics. 1742, 2000
#{{en}} A. Unterberger, H. Upmeier, ''Pseudodifferential analysis on symmetric cones'', Studies in Advanced Mathematics, 1996. On voit l'excellente [https://www.ams.org/journals/bull/1996-33-03/S0273-0979-96-00667-2/S0273-0979-96-00667-2.pdf critique] de {{Lien|fr=Alexander Dynin|trad=Alexander Dynin|texte=Alexander Dynin}}. "(This book) is an introduction to the impressive research program akin to the Weyl philosophy which A. Unterberger (with the help of J. Unterberger and H. Upmeier) has been vigorously developing since the early 1980’s."
#{{en}} A. Unterberger, ''Pseudo-differential operators and applications: an introduction'', Lecture Notes Series. 46, 1976

== Notes et références ==
<references/>

== Liens externes ==
{{Liens}}
* {{autorité|BNF=cb14444341m|ISNI=0000000116692329|VIAF=0000000116692329|SUDOC=066933927|LCCN=nr90010392}}

{{Portail|mathématiques|France|éducation}}

{{CLEDETRI:Unterberger}}
[[Catégorie:Naissance en novembre 1940]]
[[Catégorie:Naissance à Bourg-en-Bresse]]
[[Catégorie:Mathématicien français du XXe siècle]]
[[Catégorie:Mathématicien français du XXIe siècle]]
[[Catégorie:Lauréat du prix Ferran Sunyer i Balaguer]]