C. R. Acad. Sci. Paris, Ser.

I 347 (2009) 743746

Analyse complexe/Physique mathmatique

Entre analyse complexe et superanalyse

Pierre Bonneau, Anne Cumenge
quipe Emile-Picard, Institut de mathmatiques, Universit Paul-Sabatier, 31062 Toulouse cedex 9, France
Reu le 16 janvier 2009 ; accept le 17 avril 2009
Disponible sur Internet le 9 mai 2009
Prsent par Jean-Pierre Ramis

Rsum
Dans le cadre de la superanalyse, nous obtenons une thorie des fonctions voisine de lanalyse complexe ds lors que nous imposons aux superalgbres relles considres une condition (A) qui gnralise en dimension suprieure deux la relation 1 + i 2 = 0
de C. La condition (A) permet lobtention dune formule de reprsentation intgrale pour les fonctions superdiffrentiables. Nous
donnons entre autres un thorme de super-diffrentiabilit spare et un thorme de prolongement de type HartogsBochner pour
les fonctions superdiffrentiables. Pour citer cet article : P. Bonneau, A. Cumenge, C. R. Acad. Sci. Paris, Ser. I 347 (2009).
2009 Acadmie des sciences. Publi par Elsevier Masson SAS. Tous droits rservs.
Abstract
Midway between complex analysis and superanalysis. In the framework of superanalysis we get a functions theory close to
complex analysis, under a suitable condition (A) on the real superalgebras in consideration (this condition is a generalization of the
classical relation 1 + i 2 = 0 in C). Under the condition (A), we get an integral representation formula for the superdifferentiable
functions. We give a result of Hartogs type of separated superdifferentiability and a continuation theorem of HartogsBochner type
for the superdifferentiable functions. To cite this article: P. Bonneau, A. Cumenge, C. R. Acad. Sci. Paris, Ser. I 347 (2009).
2009 Acadmie des sciences. Publi par Elsevier Masson SAS. Tous droits rservs.

1. Introduction et notations
Conformment [2], nous noterons une superalgbre commutative (en abrg CSA), cest--dire un R-espace
vectoriel = 0 1 , somme directe de deux sous-espaces vectoriels 0 et 1 , et muni dune structure dalgbre
associative unitaire telle que 0 est une sous-algbre de , le produit de deux lments de 1 est dans 0 , le produit
dun lment de 0 par un lment de 1 est dans 1 , un lment de 0 commute avec tout lment de alors que
deux lments de 1 anti-commutent. Nous dfinissons le 1 -annihilateur comme tant 1 = { : 1 = 0}.
Toutes les CSA considres ici seront de dimensions finies. Nous noterons (e0 , e1 , . . . , ep ) une base de 0 (e0 est
llment unit de ), (1 , 2 , . . . , q ) = (ep+1 , ep+2 , . . . , ep+q ) une base de 1 , et dfinissons les coefficients de
p+q k
structure (dalgbre) de par ei ej = k=0 i,j
ek pour i, j = 0, 1, . . . , p + q.
n
m
On appelle superespace sur la CSA tout R-espace vectoriel Rn,m
= 0 1 o n, m N.
Adresses e-mail : pierre.bonneau@math.univ-toulouse.fr (P. Bonneau), anne.cumenge@math.univ-toulouse.fr (A. Cumenge).
1631-073X/$ see front matter 2009 Acadmie des sciences. Publi par Elsevier Masson SAS. Tous droits rservs.
doi:10.1016/j.crma.2009.04.019

744

P. Bonneau, A. Cumenge / C. R. Acad. Sci. Paris, Ser. I 347 (2009) 743746

Dfinition 1.1. Soit U un ouvert de Rn,m

; une application F de U dans est superdiffrentiable droite
F
(x) de , j = 1, . . . , n + m tels que, pour tout
(S-diffrentiable en abrg) en x U sil existe des lments x
j

n,m
n+m F
h R tel que x + h U , on ait F (x + h) = F (x) + j =1 xj (x)hj + o(h) avec limh0 o(h)
h = 0 o . est
une norme sur lespace Rn,m
.

Nous soulignons que

F
F
x1 (x), . . . , xn (x)

sont dfinis de faon unique tandis que

F
F
xn+1 (x), . . . , xn+m (x)

le sont seule-

ment modulo
1.
La condition de S-diffrentiabilit de F traduit que F est Frchet diffrentiable avec une diffrentielle dfinie par
des oprateurs de multiplication par des lments de .
Les deux hypothses suivantes (A0 ) et (A1 ) interviendront de manire naturelle dans la recherche dun noyau
reproduisant pour les fonctions S-diffrentiables :
p
(A0 ) il existe une base (e0 = 1, e1 , . . . , ep ) de 0 vrifiant k=0 ek2 = 0 ;
(A1 ) il existe une base (1 , . . . , q ) de 1 et une suite finie s1 = 1 < s2 < < sr < sr+1 = q + 1 telles que, pour tout
s 1 2
j = 1, . . . , q, il existe aj 0 vrifiant j = aj sk si sk  j < sk+1 , avec as1 = = asr = e0 et jk+1
=sk aj = 0
pour tout k = 1, 2, . . . , r.
On crit un lment x de n0 m
1 : x = (y, ) = (y1 , . . . , yn , 1 , . . . , m ), o yi =

p

j
j =0 yi ej

et k =

q

l
l=1 k l .

Dfinition 1.2. Loprateur de CauchyRiemann d  sur n0 m

1 est dfini par :
d  =

p
n 

i=1 j =1


j

dyi

yi

ej

yi0


+

m 
r sk+1

1
l=1 k=1 i=sk +1


dli

a
i
lsk
li

Dans le cas le plus simple, lorsque m = 0 et n = 1, nous avons cherch dfinir sur 0 un oprateur d  de type
CauchyRiemann dont le noyau concide, dans sa partie constitue de 0-formes, avec les fonctions S-diffrentiables.
Contrairement ce qui se passe en analyse complexe, nous navons pas, faute de conjugaison, de moyen canonique de
mais nous avons
choisir d  ; la dfinition que nous avons retenue ne correspond pas au choix effectu dans C pour ,
bien ker d  = ker dans ce cas.
Remarque. Si F est S-diffrentiable sur U ouvert alors d  F = 0 sur U avec quivalence si U n0 .
Dfinition 1.3. Soit U un ouvert de Rn,m
; une application F de U dans est quasiment S-diffrentiable (ou qSdiffrentiable) sur U si elle est Frchet-diffrentiable sur U et vrifie d  F = 0.
Exemples. (1) Si m = 0 et 0 = C, la superanalyse est lanalyse complexe ; f est S-diffrentiable si et seulement f
est C-analytique, donc trs rgulire.
(2) Si m = 0 et n = 1 avec 0 = Vect(e0 , e1 ) o e0 = 1 et e12 = e0 , la superanalyse est lanalyse hyperbolique ;
dans ce cas, il se peut quune fonction S-diffrentiable ne soit pas plus rgulire que C 1 au sens de Frchet.
(3) Soit A une algbre de Clifford relle de dimension 2k dont les gnrateurs e1 , . . . , ek vrifient ei ej +
ej ei = 2ij ; A peut scrire comme une superalgbre A = 0 1 avec 0 = Vect{eI ; |I | pair}, 1 =
Vect{eI ; |I | impair}, o e = 1, et si I = (i1 , . . . , i ), eI = ei1 . . . ei .
La condition (A0 ) est vrifie dans lexemple 1 et, lorsque k 2 modulo 4, dans lexemple 3. Elle ne lest pas dans le
second (ce serait dailleurs en contradiction avec la Proposition 3.1 du paragraphe suivant).
Dans toute la suite, nous supposerons satisfaites les deux hypothses (A0 ) et (A1 ).
2. Reprsentation intgrale de formes et fonctions
Thorme 2.1. Loprateur de CauchyRiemann d  dans Rn,m
admet une solution fondamentale donne par :

P. Bonneau, A. Cumenge / C. R. Acad. Sci. Paris, Ser. I 347 (2009) 743746

745

 n p
 j

c(n, m, p, q)  
j
p
q
=
(1)(p+1)(i1)+j yi e0 + yi0 ej dy10 dyi dyn d11 dm
n(p+1)+qm
x
i=1 j =1

sk+1 1
m
r
 


p
q
s

+
(1)n(p+1)+i1 i e + k a dy 0 dy d 1 d i d
l 0

(1)

l=1 k=1 i=sk +1

o c(n, m, p, q) = ((n(p + 1) + qm) Vol(B(0, 1)))1 .

Schma de preuve. Dans le cas o Rn,m
= 0 , nous navons pas de conjugaison comme dans C, et pas non plus
A(x)
lintgrit de 0 = C ; nous cherchons alors une solution fondamentale de loprateur d  de la forme (x) = x
p+1
o A(x) est une p-forme coefficients polynmes homognes de degr 1. Nous sommes alors conduits, de faon
naturelle, imposer la condition (A0 ) 0 afin dobtenir une solution fondamentale explicite de loprateur d  . Le
cas m
0 est seulement plus technique.
Si Rn,m
= 1 , nayant pas, dans 1 , dlment unit (ni de conjugaison comme dans le cas des quaternions)
nous sommes amens, pour dfinir un oprateur de CauchyRiemann contenant, dans son noyau, les fonctions Sdiffrentiables, particulariser certains lments et sommes conduits la condition (A1 ). Un calcul direct fournit
n,m
alors une solution fondamentale dans 1 , puis dans m
1 , et enfin dans R .
n,m
n,m
Soit D un ouvert de R born frontire lisse et : D D R dfinie par (x  , x) = x  x. Dfinissons
K(x  , x) = . Le noyau K vrifie, si lon pose d  = dx + dx : d  K(x  , x) = d  = d  = [0] = []
o [] dsigne le courant dintgration sur la diagonale.
Nous obtenons alors classiquement (cf. [1] par exemple) :
Corollaire 2.2. Si f est une forme (ou une fonction) continue sur D et de classe C 1 dans D, alors pour tout x D,
nous avons :









(2)
f (x) = f (x )K(x , x) d f (x )K(x , x) + dx f (x  )K(x  , x).
D

Dans la formule (2) le dernier terme est nul si f est une fonction, les deux derniers le sont si f est une fonction
qS-diffrentiable.
Il dcoule de la reprsentation intgrale obtenue pour les fonctions S-diffrentiables des proprits voisines de
celles des fonctions holomorphes, proprits que nous prcisons dans les deux derniers paragraphes.
3. Proprits danalyticit des fonctions S-diffrentiables
Proposition 3.1. Si f : D n0 m
1 est qS-diffrentiable sur D, alors elle est harmonique sur D, donc
R-analytique sur D.
Notations. Si 1  j  m et j =

q

i
1 j i

: Z(j ) :=

q

i
i=1 ai j

et k (j ) :=

sk+1 1
i=sk

ji i , k = 1, . . . , r.
p

Une fonction qS-diffrentiable f est analytique relle en les variables (y10 , . . . , y1 , . . . , , yn0 , . . . , yn , 11 , . . . , 1 ,
q
. . . , m1 , . . . , m ), mais possde en fait une proprit danalyticit bien plus forte :
Proposition 3.2. Soit f : D n0 m
1 une fonction qS-diffrentiable sur D. Pour tout (b, ) = (b1 , . . . , bn , 1 ,
. . . , m ) D, il existe R > 0 et des scalaires AI,J o I et J = (J1 , . . . , Jr ) sont des multi-indices dans Nn et Nmr
respectivement, tels que pour yj bj  < R, j = 1, . . . , n ; j j  < R, j = 1, . . . , m


J

J
f (y, ) =
AI,J (y b)I Z1 ( ) 1 Zr ( ) r
I,J1 ,...,Jr

avec absolue convergence de la srie.

746

P. Bonneau, A. Cumenge / C. R. Acad. Sci. Paris, Ser. I 347 (2009) 743746

Nous avons not (y b)I = (y1 b1 )i1 (yn bn )in si I = (i1 , . . . , in ) Nn , Zk ( ) = (Z(k (1
k
k
1 )), . . . , Z(k (m m ))) et Zk ( )Jk = Z(k (1 1 )) j1 . . . Z(k (m m )) jm si Jk = (j1k , . . . , jmk ) Nm .
4. Deux thormes de type Hartogs
Une fonction f sparment holomorphe par rapport chaque variable zj de Cn , j = 1, . . . , n, sur un domaine
de Cn est holomorphe sur sans autre hypothse de rgularit globale sur f mais ce thorme de Hartogs nest plus
valable pour les fonctions R-analytiques.
Lorsque les coefficients ijk vrifient une condition (P) de positivit, nous obtenons un rsultat de type Hartogs de
S-diffrentiabilit spare.
p+q
Dfinition 4.1. Une CSA 0 vrifie la condition de positivit (P) si, pour tous X, Y Rp+q+1 , on a ( 0 (Xj )2 )


p+q
p 
j 2
j 2
j =0,...,p+q (
m Ym mk )  0.
m=0 Ym mk ) 2
k=0 ( j Xj
k=0,...,p

Thorme 4.2. On suppose que la CSA vrifie la proprit (P) et toujours la condition (A0 ). Alors une fonction
f dfinie sur un domaine D de 0n valeurs dans sparment S-diffrentiable en les variables y1 , . . . , yn est de
classe C 1 au sens de Frchet sur D et par suite est S-diffrentiable en tout point y = (y1 , . . . , yn ) de D.
Remarque. Nous utilisons la sous-harmonicit de log ||f ||, qui dcoule de la condition (P), pour en dduire la continuit de la fonction f . Or cette proprit de continuit ne dpend pas de la norme choisie, ni de la mtrique retenue
pour dfinir le laplacien. Nous pouvons
suivante : il
p ainsi remplacer la condition (P) par la condition suffisante (P)
p+q
existe une base (ek ) de 0 vrifiant k=0 (ek )2 = 0, et une base (e ) de telles que, pour tout X = =0 X e et

 
Y de , X2 k, (ek Y, e )2 2 k ( ek Y , e X )2  0.
Thorme 4.3. Sous les conditions (A0 ) et (A1 ), si est le bord connexe dun domaine born de 0n 1m
(avec n + m > 1) et f une fonction qS-diffrentiable au voisinage de , alors f se prolonge en une fonction qSdiffrentiable sur .
Rfrences
[1] R. Harvey, J. Polking, Fundamental solutions in complex analysis, Parts 1 and 2, Duke Math. J. 46 (1978) 253340.
[2] A. Khrennikov, Superanalysis, Kluwer Academic Publishers, Dordrecht, 1999.