UNIVERSITÉ DU QUÉBEC

MÉMOIRE PRÉSENTÉ À
L'UNIVERSITÉ DU QUÉBEC À TROIS-RIVIÈRES

COMME EXIGENCE PARTIELLE DE LA MAÎTRISE EN

MATHÉMATIQUES ET INFORMATIQUE APPLIQUÉES

PAR
ETIENNE MARTINEAU

BORNES DE LA DISTANCE À L'ENSEMBLE DE MANDELBROT

GÉNÉRALISÉ

DÉCEMBRE 2004

Reproduced with permission of the copyright owner. Further reproduction prohibited without permission.
 Université du Québec à Trois-Rivières

Service de la bibliothèque

Avertissement

L’auteur de ce mémoire ou de cette thèse a autorisé l’Université du Québec

à Trois-Rivières à diffuser, à des fins non lucratives, une copie de son
mémoire ou de sa thèse.

Cette diffusion n’entraîne pas une renonciation de la part de l’auteur à ses

droits de propriété intellectuelle, incluant le droit d’auteur, sur ce mémoire
ou cette thèse. Notamment, la reproduction ou la publication de la totalité
ou d’une partie importante de ce mémoire ou de cette thèse requiert son
autorisation.
 CE MÉMOIRE A ÉTÉ ÉVALUÉ
PAR UN JURY COMPOSÉ DE:

M. Dominic Rochon, directeur de mémoire

Département de mathématiques et d'informatique

M. Sébastien Tremblay, juré

Département de mathématiques et d'informatique

M. Michel Grundland, juré

Département de mathématiques et d'informatique

Reproduced with permission of the copyright owner. Further reproduction prohibited without permission.
 SOMMAIRE

Ce document présente des formules pour borner la distance aux ensembles de

Julia et de Mandelbrot généralisés pour les nombres bicomplexes. Ces formules
sont utilisées pour visualiser des coupes de ces ensembles dans l'espace tridimen-
sionnel à l'aide d'une méthode de ray-tracing. De plus, ce document présente une
méthode inédite d'exploration des coupes qui permet d'agrandir indéfiniment les
zones d'intérêt.

Grâce aux récents progrès en analyse bicomplexe, il est maintenant possible de

définir de façon analytique ces formules qui ont de multiples applications. En effet,
dans les pages qui suivent, elles seront utilisées dans une méthode de ray-tracing
dans l'exploration et l'ombrage des fractales.

Comme le lecteur pourra le constater, les images générées à l'aide de ces

résultats sont d'une très grande beauté. De plus, la complexité de ces fractales
justifie le développement d'une méthode d'exploration. Nous mettrons l'emphase
sur les images du Tétrabrot (Fig. 1) car sa structure fractale est très riche.

La théorie présentée ici est développée dans le contexte des nombres bicom-
plexes, mais peut être appliquée à d'autres types de nombres ou de fractales. Par
exemple: les quaternions, les nombres de Cayley et certaines fractales possédant
une fonction de potentiel.

Reproduced with permission of the copyright owner. Further reproduction prohibited without permission.
 ABSTRACT
In this document, we present sorne distance estimation formulas that can ap-
plied both to bicomplex Mandelbrot sets and as weIl as bicomplex Julia sets. These
formulas are used to ray trace slices of above mentioned sets in three dimensional
space. Moreover, we will also present a hitherto unpublished method to explore
and infinitely approach above mentioned 3D fractals.

With recent progress in bicomplex analysis, it is now possible to give rigorous

proof of the se formulas which have multiple uses. In the foIlowing pages they will
be used in a ray tracing method, in exploration and shading of fractals.

The reader will notice that the images generated with these results are incredi-
bly beautiful. Moreover, the complexity of these fractals justifies the creation of an
exploration method. We will put emphasis on the generalized Mandelbrot set for
bicomplex numbers in three dimensional space, and more specifically the Tétrabrot
(Fig. 1) because of it's rich fractal structure and symmetry.

The theory presented here was developed with bicomplex numbers but can also
be applied to other types of numbers or fractals, including Quaternions, Cayley
numbers and sorne fractals with potential function.

ii

Reproduced with permission of the copyright owner. Further reproduction prohibited without permission.
 AVANT-PROPOS

C'est en décembre 2002, durant mon dernier cours d'analyse complexe que
ma maîtrise a non-officiellement commencé. Mon professeur, Dominic Rochon,
présenta un aperçu de son domaine de recherche. C'est lorsqu'il montra les images
du Tétmbrot (Fig. 1) qu'il piqua ma curiosité; d'abord par la beauté des images
mais aussi par le temps nécessaire pour calculer chacune d'elles: 48 heures! Je lui ai
proposé mon aide pour optimiser le processus. Il m'a plutôt suggéré de développer
une toute nouvelle méthode dans le cadre d'une maîtrise.

Après de multiples embûches et incertitudes, découlent de cette aventure: le

mémoire que vous lisez présentement, un article qui paraîtra dans "l'International
Journal of Bifurcation and Chaos", une conférence dans les montagnes américaines,
un logiciel qui prend sans cesse de l'expansion, un DVD avec de la musique techno
et une multitudes d'images et de films.

Toutes ces réalisations n'auraient pu voir le jour sans l'aide de plusieurs per-
sonnes que je dois remercier. Merci à mon directeur, Dr. Dominic Rochon, pour
ses idées, sa rigueur et sa détermination. Merci à ma femme, Chantale, pour son
amour et son support tant moral que technique. Merci à toute ma famille et mes
amis pour les raisons d'usage. Merci à la société d'avoir fait ce que je suis, car en
réalité, nous ne décidons de rien.

iii

Reproduced with permission of the copyright owner. Further reproduction prohibited without permission.
 Table des matières

Table des matières iv

Liste des figures vii

Liste des symboles viii

1 Introduction 1

2 Revue de littérature 3
2.1 Les nombres bicomplexes . 3
2.2 Les bornes de distance . . 4
2.3 Visualisation de fractales tridimensionnelles 4

3 Les nombres bicomplexes 5

3.0.1 L'ensemble te 5
3.0.2 L'ensemble 11' 6
3.0.3 Propriétés de 'JI' 7
3.1 Autres représentations des nombres bicomplexes 8
3.1.1 L'unité hyperbolique . . . . . . 8
3.1.2 La représentation idempotente. 10
3.2 Les conjugués bicomplexes . . . . . . . 11

IV

Reproduced with permission of the copyright owner. Further reproduction prohibited without permission.
 3.3 Les différents modules de 'JI' ....... 14
3.3.1 Nombres bicomplexes inversibles. 17
3.4 Propriétés des modules 19
3.4.1 Module réel 19
3.4.2 h-module 22
3.4.3 b-module 25
3.4.4 j-module . 26
3.5 Résultats avancés 27
3.5.1 Exponentielle et logarithme bicomplexe . 28
3.5.2 Notions de différentiabilité bicomplexe 29

4 Bornes de la distance à l'ensemble de Mandelbrot 33

4.1 Potentiel et distance ................ 34
4.2 Borne supérieure aux ensembles de Julia remplis. 35
4.2.1 Lemme de Schwarz 35
4.2.2 Borne supérieure 39
4.3 Borne inférieure aux ensembles de Julia remplis 42
4.3.1 Théorème ~ de Koebe 42
4.3.2 Borne inférieure . . . . 49
4.4 Bornes à l'ensemble de Mandelbrot 51
4.5 Estimation des bornes aux ensembles de Julia remplis . 53
4.6 Estimation des bornes à l'ensemble de Mandelbrot . . . 55

5 Bornes de la distance à l'ensemble de Mandelbrot généralisé 56

5.1 Préliminaire . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
5.2 Bornes de distance aux ensembles de Julia remplis généralisés 61
5.3 Bornes de la distance à l'ensemble de Mandelbrot généralisé 65

Reproduced with permission of the copyright owner. Further reproduction prohibited without permission.
 6 Ray-Tracing pour les fractales bicomplexes 68
6.1 Introduction.. 68
6.2 Problématique. 69
6.3 Ray-Tracing pour les ensembles de Julia remplis bicomplexes 70
6.4 Ray-Tracing pour les coupes de M 2 dans }R3 72
6.5 Effets visuels 73
6.6 Optimisation 75
6.7 Exploration 76

7 Conclusion 78
7.1 Résumé 78
7.2 Conclusion. 79

Annexe A 80

AnnexeB 83

Bibliographie 86

vi

Reproduced with permission of the copyright owner. Further reproduction prohibited without permission.
 Liste des figures

1 Le Tétrabrot . . . . . . . 89
2 Le dessous du Tétrabrot 89
3 Le dessus du Tétrabrot vu en contre-plongée 89
4 Coupe de l'ensemble de Mandelbrot généralisé 89
5 Le dessus du Tétrabrot vu en plongée . . . . . 90
6 Profondément à l'intérieur d'une zone fractale 90
7 Coupe d'un ensemble de Julia remplis bicomplexe 90

vii

Reproduced with permission of the copyright owner. Further reproduction prohibited without permission.
 Liste des symboles

'li' L'ensemble des nombres bicomplexes

lOl L'ensemble des nombres hyperboliques
M L'ensemble de Mandelbrot
M 2 L'ensemble de Mandelbrot généralisé
/Cc L'ensemble de Julia rempli associé à c E te
/C2,c L'ensemble de Julia rempli généralisé associé à c E 'li'
T Le Tétrabrot
G Potentiel électrostatique
CPc Application de /Cc vers le disque unité
't/J Application de M vers le disque unité
el, e2 Représentation idempotente
h, i 2 Unité imaginaire
j Unité hyperbolique
Di Borne inférieure de la distance à /C2,c
Di Estimateur de Di
TH Classe des applications 1I'-holomorphes

viii

Reproduced with permission of the copyright owner. Further reproduction prohibited without permission.
 Chapitre 1

Introd uction

La dynamique complexe a été un domaine en pleine expansion durant les

dernières années. Ce n'est pas un hasard si la même situation soit arrivée simul-
tanément dans le domaine de l'informatique; la capacité de calcul des ordinateurs
a permis d'observer plusieurs phénomènes de dynamique qui seraient, en d'autres
circonstances, passés inaperçus. C'est grâce aux images de la dynamique complexe
générées par ordinateur que les fractales sont véritablement nées. La représentation
de l'ensemble de Mandelbrot et des ensembles de Julia a eu pour effet de popula-
riser les nombres et la dynamique complexes. En effet, il suffit d'une recherche sur
Internet pour constater que beaucoup de profanes ont conçu des logiciels pour ex-
plorer ces ensembles. En réalité, c'est la beauté des images qui a poussé la plupart
des gens, du profane au chercheur, à s'intéresser à cette branche des mathématiques.

C'est un peu le but recherché avec la visualisation des fractales bicomplexes. Ce

type de nombre gagne tranquillement en popularité et on le considère même comme
la généralisation naturelle des nombres complexes. Les fractales bicomplexes sont
des structures quadri-dimensionnelles d'une beauté incroyable. Par contre, à l'ins-

Reproduced with permission of the copyright owner. Further reproduction prohibited without permission.
 tar de leurs analogues complexes, ils sont difficiles à visualiser et encore plus à
explorer.

Ce document présente des formules pour borner la distance aux fractales bicom-
plexes qui seront utilisées pour générer des images à l'aide d'un algorithme spécial
de ray-tracing. Ces formules seront aussi utilisées dans une méthode d'exploration
inédite qui permet d'agrandir indéfiniment les parties intéressantes des fractales.
Ces nouveaux résultats seront présentés dans les chapitres 5 et 6.

Dans les pages qui suivent, le lecteur pourra s'initier aux nombres bicomplexes.
Il pourra également suivre la démarche rigoureuse qui mène au résultat principal:
les formules pour borner la distance aux fractales bicomplexes. La méthode analy-
tique sera utilisée pour ne laisser aucun doute sur la validité des résultats. Tous les
détails des preuves seront présentés et aucun aspect mathématique ne sera négligé.
Ce document peut être lu sans aucune autre référence par un étudiant gradué
en mathématiques et de plus, les résultats sont directement applicables dans une
implémentation logicielle.

Une introduction aux nombres bicomplexes débutera l'exposé pour faire com-
prendre les résultats élémentaires nécessaires à leur utilisation. Par la suite, le
développement rigoureux des formules de distance pour les nombres complexes
sera présenté. L'adaptation de ces formules aux cas bicomplexes sera développée
de façon analytique. Finalement, nous verrons comment utiliser ces résultats pour
générer et explorer les fractales bicomplexes à l'aide du ray-tracing. Tout au long de
ce document, nous assumerons que le lecteur est familier avec l'analyse complexe
et, pour la dernière partie, avec le ray-tracing.

Reproduced with permission of the copyright owner. Further reproduction prohibited without permission.
 Chapitre 2

Revue de littérature

Les résultats présentés dans ce mémoire seront publiés dans "l'International

Journal of Bifurcation and Chaos" [11]. Par contre, Cet article ne fournit aucun
préliminaire sur le sujet et s'adresse aux lecteurs familiers avec celui-ci.

2.1 Les nombres bicomplexes

La théorie des nombres bicomplexes est un domaine qui s'est développé tout
récemment. Les références sur le sujet sont rares mais il est tout de même pos-
sible de souligner des références majeures. En 1892, lorsqu'il cherchait de nouvelles
algèbres, Corrado Segre (1860-1924) publia un article [24] dans lequel il traite d'une
famille infinie d'algèbres qu'il nomme bicomplexe, tricomplexe ... n-complexe. Le
développement analytique de la théorie des nombres bicomplexes se trouve, entre
autre, dans [16], [17], [19] et [23].

Reproduced with permission of the copyright owner. Further reproduction prohibited without permission.
 2.2 Les bornes de distance
L'estimation de la distance se base sur un résultat majeur de Hubbard et
Douady [5]. Grâce à ce résultat, à l'analyse complexe et à la théorie des fonctions
univalentes [6], il est possible de borner la distance aux ensembles de Mandelbrot
et Julia connexes. L'estimation des bornes de la distance à ces ensembles est
abordée brièvement dans [13]. Par contre, aucune preuve rigoureuse n'est four-
nie. Une preuve plus complète est fournie dans [4], mais encore une fois, plusieurs
détails importants sont laissés de côté. Il existe aussi des bornes analogues pour
les ensembles de Julia quaternioniques dans [4] et [9].

2.3 Visualisation de fractales tridimensionnelles

La visualisation de fractales en trois dimensions fut d'abord abordée par Nor-
ton [12] qui donna un algorithme simple. Pour la première fois, il fut possible
d'observer le processus d'itération avec les quaternions. Dans [18], l'algorithme
d'échappement fut utilisé pour créer les premières images du Tétrabrot (Fig. 1):
la généralisation de l'ensemble de Mandelbrot pour les nombres bicomplexes. Par
contre, cette méthode est peu efficace car sa complexité est élevée.

Grâce au ray-tracing, les images sont générées de la même façon que l'oeil hu-
main les perçoit. La théorie de cette méthode est documentée dans plusieurs livres
de graphisme par ordinateur. Par contre, le ray-tracing se base sur la possibilité
d'établir le point d'intersection entre un rayon et une surface, ce qui est impossible
quand la surface est fractale. Ce problème est surmonté dans [4] et [9] pour la
visualisation de fractales quaternioniques.

Reproduced with permission of the copyright owner. Further reproduction prohibited without permission.
 Chapitre 3

Les nombres bicomplexes

Les nombres bicomplexes sont peu connus, c'est pourquoi nous en présentons
la base dans cette section. Le but, ici, est d'informer le lecteur de la mécanique de
ce type de nombre en présentant quelques résultats. Le matériel qui suit dépasse
ce qui est nécessaire pour pouvoir prouver les résultats majeurs de ce document.
Ceci est voulu, l'objectif est de fournir le plus d'information possible au lecteur sur
ce type de nombre.

3.0.1 L'ensemble C

Nous assumerons que le lecteur est familier avec la théorie des nombres réels
et complexes. En particulier, nous supposerons que le lecteur peut voir l'ensemble
des nombres complexes C, comme étant une algèbre engendrée par l'ensemble des
nombres réels IR, et l'élément non-réel i dont la propriété principale est: i 2 = -1.
Ce qui signifie en bref que:

te := {x + iylx,y E IR}.

Reproduced with permission of the copyright owner. Further reproduction prohibited without permission.
 De ce fait, nous pouvons considérer l'ensemble te comme une "duplication" des
nombres réels.

3.0.2 L'ensemble 'JI'

Nous allons maintenant répéter ce processus de duplication en utilisant l'en-

semble des nombres complexes. Définissons la partie imaginaire dans te par it ce
qui donne te(h) := {x + Yhlii = -1 et x,y ER}.

Définissons également une seconde partie imaginaire distincte, i 2 , possédant les

propriétés suivantes:

1,22 -- - l', VD! E R

Ce qui signifie que la multiplication entre h et b est commutative. Nous pouvons

étendre cette propriété à l'ensemble

et ajouter la distributivité et l'associativité à cette même multiplication par la règle

suivante:

Nous présentons formellement cette définition mais notons qu'elle est le résultat
de manipulations algébriques, tout comme les règles suivantes:

Reproduced with permission of the copyright owner. Further reproduction prohibited without permission.
 Nous appellerons les éléments de l'ensemble C 2 = 'Ir nombres bicomplexes pour
des raisons évidentes. Les zéros 0 "réels" et "complexes" sont définis comme étant
le "zéro bicomplexe" 0 + Oi 2 , tout comme les unités 1 "réelles" et "complexes" sont
"l'unité bicomplexe" 1 + Ob.

3.0.3 Propriétés de 'TI'

Il est facile de démontrer qu'à l'aide de ces opérations, 'Ir est un anneau com-
mutatif avec unité. En identifiant IR comme

nous constatons que IR est un sous-anneau de 'Ir. Une façon évidente d'inclure C
dans 'Ir est de l'identifier comme l'ensemble

qui fait de C un sous-anneau de 'Ir. Il est à noter qu'il existe une autre façon
d'inclure C en le définissant comme

Ces deux représentations, C(h) et C(i 2 ), sont isomorphiques à C mais sont diffé-
rentes à l'intérieur de 'Ir. Il existe d'autres sous-ensembles intéressants dans 'Ir qui
seront introduits plus tard.

Finalement, en introduisant l'ensemble '][' - C 2 nous convertissons l'espace

complexe linéaire

en une algèbre complexe commutative.

Reproduced with permission of the copyright owner. Further reproduction prohibited without permission.
 3.1 Autres représentations des nombres bicom-
plexes

3.1.1 L'unité hyperbolique

Les nombres bicomplexes ont été introduits comme étant une paire de nombres
complexes standards avec une structure additive et une multiplication commu-
tative. Soit W = Zl + Z2i2, écrivons les nombres complexes Zl et Z2 comme Zl =
Wl +W2Ït, Z2 = W3+W4h, avec Wl,W2,W3,W4 réels; alors W = Wl +w2h +W3i2+W4hi2.

Posons

Ce nombre bicomplexe possède les propriétés suivantes qui découlent directement

de la définition:

En considérant que h et b portent le nom d'unités imaginaires, nous appellerons

j l'unité hyperbolique. En particulier, l'ensemble

sera nommé l'ensemble des nombres hyperboliques (aussi appelé nombres duplexes).
Grâce à cette nouvelle définition, l'ensemble 'lI' peut être vu comme:

Si W3 = W4 = 0, le nombre bicomplexe W = w1i o + w2h + 0i 2 + Oj est identifié

par le nombre complexe Wl + w2h et si W2 = W4 = 0 alors le nombre bicomplexe

Reproduced with permission of the copyright owner. Further reproduction prohibited without permission.
 W = w1io + oh + W3i2 + Oj est identifié par le nombre complexe Wl + W3i2. Le
nombre bicomplexe W = w1io + Oh + 0i2 + Oj est identifié par le nombre réel Wl et
sous cette notation, nous constatons que ]R est un sous-ensemble de 'lI'.

La table de Cayley pour l'ensemble 'lI' prend la forme:

1 Il io 1 h 1 i2 1 j 1

io io h h j
h h -io j -h
i2 i2 j -io -h
j j -h -h io
Le., io := 1 joue le rôle de l'identité, et

hi2 - i 2h =j,

id - jh = -i2,
i2j - ji2 = -h,
·2 -
Il ·2 .
1 == -10,
2

·2 - io·
J

Cette approche dote l'espace vectoriel quadri-dimensionnel ]R4 d'une base ca-
nonique
io == (l,O,O,O),il = (0,1,0,0),i 2 == (O,O,l,O),j == (0,0,0,1),
avec les opérations arithmétiques suivantes si 8 == 81 . 1 + 82h + 83i2 + 8J et
t == t 1 . 1 + t 2 h + t 3 i 2 + tJ alors

Reproduced with permission of the copyright owner. Further reproduction prohibited without permission.
 S· t .- (Slt l - S2 t 2 - S3 t 3 + S4 t 4)
+(Slt2 + S2 t l - S3 t 4 - S4 t 3)h

+(Slt3 - S2 t 4 + S3 t I - S4 t 2)i 2

+(Slt4 + S2 t 3 + S3 t 2 + s4 t dj.

Ce qui fait de 'H', comme mentionné plus tôt, un anneau commutatif avec unité et
diviseur de zéro.

3.1.2 La représentation idempotente

Soit les deux nombres bicomplexes suivants

qui possèdent les propriétés suivantes:

Ceci signifie que el et e2 sont idempotents (parfois nommé orthogonal idempotent

en raison de la dernière propriété). Ils nous permettent d'obtenir la décomposition
suivante de l'ensemble 'H': V(ZI + z2h) E 'H' où ZI,Z2 E C(h)

10

Reproduced with permission of the copyright owner. Further reproduction prohibited without permission.
 Les propriétés de el et e2 nous assurent que la décomposition est unique, par
conséquent, les deux applications

Pl : Zl + z2b f-+ (Zl - z2h),

P2 : Zl + Z2Î2 f-+ (Zl + z2h),

définissent une paire de projections mutuellement complémentaires

Plel + P2e2 = Id,

Id étant l'opérateur d'identité. Elles possèdent plusieurs propriétés remarquables.

En posant u,v ET,

P1(u + v) - PI(U) + Pl(V),

P2(u + v) - P2(U) + P2(v),
PI(U' v) - Pl (u) . Pl (v),

P2(U' v) - P2(u) . P2 ( v) .

Ces propriétés donnent l'opportunité de réduire certaines opérations à des

opérations de composantes à composantes que nous utiliserons à plusieurs reprises
dans ce qui suit.

3.2 Les conjugués bicomplexes

Le conjugué complexe joue un rôle très important en algèbre, dans les propriétés
géométriques de te et en analyse des fonctions complexes. Nous constatons qu'il

11

Reproduced with permission of the copyright owner. Further reproduction prohibited without permission.
 existe trois conjugués dans T, ce qui n'est pas surprenant. En fait, le conjugué com-
plexe est défini en totalité par son action sur la partie imaginaire. Alors, nous pou-
vons facilement concevoir qu'il en existe deux pour T, en plus d'un supplémentaire
pour leur intéraction. Nous allons maintenant considérer ces faits dans les détails.

Définition 3.2.1 (conjugué associé à il ou le conjugué) Nous le définirons

par la formule

pour tout Zl,Z2 E C(h) où Zl, Z2 sont les conjugués complexes des nombres com-
plexes Zl, Z2.

Proposition 3.2.2 (propriétés du conjugué associé à h) Le conjugué possè-

de les propriétés suivantes:

a) (s + t)h = sh + th, 'l/s,t E T.

b) (s - t)h = sh - th, 'l/s,t E T.
c) (wh)h = w, 'l/w ET.
d) (s· t)h = sh . th, 'l/s,t E T.

Définition 3.2.3 (conjugué associé à i 2 ; ou 2e conjugué) Nous le définirons

par la formule

Proposition 3.2.4 (propriétés du conjugué associé à b) Le conjugué possè-

de les propriétés suivantes:
a) (s + t)t2 = sh + tt2 Vs,t E T.
b) (s - t)t2 = sb - t b 'l/s,t E T.
c) (wh)h = w 'l/w E T.

12

Reproduced with permission of the copyright owner. Further reproduction prohibited without permission.
 V
s,tE T
,

D
éfin
it
ion 3
.2.5(
con
jugu
écomb
in ec
éou3 on
jugu
é) Pa
rlacompo
sit
iond
es
d
euxcon
juga
ison
spr
écéd
ent
es sl
,nou ed
éfin
iron
spa
rlafo
rmu
le

P
ropo
sit
ion3
.2.6(p
rop
rié
tésducon
jugu
écomb
iné
) Pou
rtou
ss,t
,etw E
T
:

a
)(s+t
)ta=s
t3+th V
s,tET
,

b
)(s-t
)ta=sb-th V
s,tET
,

) (w
b ta)
ta=w Vw ET
,

)(
d s
't)
t3=s
ts,
tts V
s,tET
,

Su
rle
sso
us-
ens
emb
lesC
(h)e
tC(h
)deT
,lat
roi
sièm
econ
jug
aisonag
itc
omm
e
l
acon
jug
aisonc
omp
lex
esu
rle
sco
pie
sdel
'en
semb
leC
;So
itW lEC
l =Z (it
),a
lor
s

wp - (Z
l +Oi2)
t3

- Z
l- O
i2
- Z
l;

d
efa
çons
imi
lai
re,s
oitW2 = x+y
i2 a
vecx
,yE ~ a
lor
s

Év
idemm
ent
,no
usabu
son
slég
èrem
entenno
tan
tav
ecl
emêm
e symbo
le"
-,
,
d
euxop
éra
tion
sst
ric
tem
entd
if
fér
ent
esq
uiag
iss
entso
itsu
rC(h
) so
itsu
rC(
i2)
,

13

Rep
roducedw
ithpe
rmiss
iono
fthecopy
righ
towne
r. Fu
rthe
rrep
roduc
tionp
roh
ibi
tedw
ithou
tpe
rmiss
ion
.
 N
ousc
roy
onsqu
ece
cin
epo
seau
cun
eco
nfu
sio
netnou
scon
tinu
eron
sdeno
terp
ar
zlacon
jug
aisondan
sn'impo
rtequ
elens
em b
leC
(k x+ky1x
) :={ ,yE IR}av
ec
k2=±1:SiZ EC(k)al
orsz:=x- ky
.N o
tonsque(x+y
j)t3= x+y
jVx,y EIR.

I
les
timpo
rtan
tdem
ent
ionn
erq
uem
êmes
ile
sen
sem
ble
sC(
id e
tC(b
)pa
-
r
ais
sen
tab
solum
entéqu
iva
len
tsàl
'
int
éri
eurd
eT,l
adé
fin
it
iond
escon
jug
aison
s
re
flè
tecer
taine
sa symé
tr
iesent
reeux
.En effe
t,ladé
fin
it
ion3.
2.1prendC(h
)
comm el
'en
s emb
lesou
s-j
acen
tetét
endlacon
jugai
soncomp
lex
esurl'
ensemb
leC2
r
epr
ésen
tép
arC
(h) xC
(h)
,san
saf
fec
terl
ast
ruc
tur
eadd
it
iveg
éné
réep
ari
2•C
e
typ
edecon
jug
aisone
stc
elu
icon
sid
éréd
ansl
ath
éor
ied
esfo
nct
ion
scl
ass
iqu
essu
r
C2 (dansc
ecas
,laconjug
aisones
tcompo s
ant
eparcomposan
te)
.En con
tra
ste
,
ladeuxi
èmecon
jug
aison(Zl
,Z2)E C21--+ (Z
l'-Z2
) eng
end
réepari,sera
i
2tplu
s
d
if
fi
ci
leàp
erc
evo
ird
el'
int
éri
eurd
el'
app
roch
ecl
ass
iqu
edeC2•

3
.3 L
esd
iff
éren
tsmodu
le e1r
sd
Pou
runnomb recom
ple
xe,lep
rodui
tavecs o
ncon jugu
édonn el
ecarr
éd ela
m
étr
iqu
e eu
clid
ienn
ed sIR2
an .M
ain
tenan
t, con
sidéron
sl erésu
lta
tana
loguepou
r
l
esnomb
resb
icom
ple
xes
.No
usa
von rw=Z
spou l+Z2
i2 o
ùZ,Z2 E C
l (h)
:

·wt2 - Z
w 2 2
l +Z2
' (
3.1
)

·wh - (
w IZI2-
l IZ2
12)+2R
e(z
lz2
)i2, (
3.2
)

·wt3 - (
w IZI2+IZ212
l )-2
Im(
zlz2
)j
. (
3.3
)

L
'ég
ali
té(
3.1 el
)jou er
ôled
el'
éga
li
téZ •z=x2
+y2 pourlesnomb
resc
omp
lex
es
a
vecl
afo
rm r+ ~ àv
ez ale
urc
omp
lex
equ
isub
sti
tuel
ano
rmeeu
clid
ienn
edu
p
lanc
omp
leeCo No
x ton
squ
elap
art
ier
éel
led
ans(
3.3
)es
tlano
rmeeu
clid
ienn
e

1
4

Rep
roducedw
ithpe
rmiss
iono
fthecopy
righ
towne
r. Fu
rthe
rrep
roduc
tionp
roh
ibi
tedw
ithou
tpe
rmiss
ion
.
 d
ansC2 ~ '
lI
'= C2 e
tlap
art
ier
éel
led
ans(
3.2
)fa
itr
éfé
ren
ceàl
ast
ruc
tur
e
hyp
erbo
liqu
e.D
epl
us,w
·wh E C
(h,w .wh E C
) ( tw .wb E D
i2) e .Ce
cin
ous
am
ènel
esd
éfi
nit
ion
ssu
iva
nte
s.

D
éfin
ition 3
.3.1 Enp
renan
tlenomb
reb
icomp
lex l+
ew = Z i2 a
Z2 vec
Z
l,Z2 E C
(h)
,alo
rs
a
)lenomb
rer
éel

s
erar
éfé
ren
cécomm
elem
odu
ler
éeld l+
ew= Z Z2
i2;

b
)lenomb
recomp
lex sC
edan (h
)

'z
Iwle= yr+~
Iw
lh:=
{Iwlh=y'i-(?
(
où(1
,(2E C
(h)
,se
rar
éfé
ren
cécomm
eleh-m
odu
le
.Dépendan
tdel
afa
çon
d
'exp
rim
e , Iw
rw lh=Iw
le (appelléleh-modu
lec
omp
lex
e)ouIw
lh=Iw
lh
(app
elél
l em
odu
le hyp
erbo
liqu
e).
c
)lenomb
recomp
lex sC
edan (
i2)

s
erar
éfé
ren
cécomm
el 2-m
ei odu
led l+
ew =Z Z2
i2'Enpa
rti
cul
ier
,

où'
/
'1,
'
/2E C
' (i2)
.

d
)lenomb
reh
ype
rbo
liqu
e

s
erar
éfé
ren
c el
écomm ej
-modu
led l+
ew = Z z2
i2'

15

Rep
roducedw
ithpe
rmiss
iono
fthecopy
righ
towne
r. Fu
rthe
rrep
roduc
tionp
roh
ibi
tedw
ithou
tpe
rmiss
ion
.
 Dans les formules ci-dessus, la racine d'un nombre complexe (dans C(h) ou
C(i2 )) est considérée comme l'une des deux valeurs possibles prise avec une partie
réelle non négative. En prenant a,f3 E IR, de deux valeurs

nous choisissons

y'a + {Jo1 := JO/ + y'2 0/' + {J' + 1° . sgn (13) J -0/ + y'20/' + (J'

où

sgn(f3) := {1 -1
si

si
13 ~ 0,
13 < o.
De plus, le j-module peut être justifié comme suit:

(Zl + z2b)tI - Zl - Z2i2

- (Zï + "Z2h)el + (Zï - "Z2h)e2

- (Zl - z2h)el + (Zl + z2h)e2,
donc,

et

où notre choix de racine carrée est:

JIZI - Z2Ït 12el + IZI + Z2Ït 12e2 .- JIZI - Z2Ït 12e l + JIZI + Z2Ït 12e2
- IZI - z2hlel + IZI + z2hle2'

16

Reproduced with permission of the copyright owner. Further reproduction prohibited without permission.
 A
lor
s, pou l+
rw = Z Z2
i2,nou
spouvon
scon
clu
requ
e:

Iw
l
il= Iw
lc - ·wh,
Vw

Iwl
i2 - Vw
·wh
,

Iwb - ·w
Vw t3

e
t
Iw
l=y
lRe
(w ) =VRe
'wh (
lwlJ
).

3
.3.1 Nomb
resb
icomp
lex
esinv
ers
ibl
es

I
lnou
sapp
ara
îtqu
elacond
it
ionpou
rqu
'unnomb
reb
icomp
lex
eso
itinv
ers
ibl
e
d
épend
edesonmodu
le comp
lex
eetnonp
asd
esonmodu
ler
éel
.Con
sid
éron
s(3
.1)
.
iIw
S lc=1 0alors
wb wb
W
· ~ = ~.
w =1
c
equ
isign
if
iequ
epou
runt
elw i
lex
ist
euninv
erew
s -1 exp
rim
épa
r
wh
-1
(
3.4
)
w = ~

A
ssumon
sma
int
enan ew =1 0m
t qu ai eIw
s qu lc= 0
;alo
rswb =1 0ma
is (3
.1)
ind
iqu
equ
e
w
·wb = 0
,

c
equ
isign
if
i ew n
equ epeu
têt
reinv
ers
ibl
epu
isqu
ece
laimp
liqu
era
i ewb =O
tqu .
No
ton
spa
r'1
[
'-1l
'en
semb
led
etou
sle
sél
émen
tsinv
ers
ibl
esd
ans'1[
,n
' ou
svenon
sde
p
rouv
erc
equ
isu
it
.

Th
éor
ème3
.3.2(Nomb
resb
icomp
lex
esinv
ers
ibl
es)

1
7

Rep
roducedw
ithpe
rmiss
iono
fthecopy
righ
towne
r. Fu
rthe
rrep
roduc
tionp
roh
ibi
tedw
ithou
tpe
rmiss
ion
.
 Un
e con
séqu
enc
eimm
édi
ated
ece
cie
st
:

Co
rol
lai
re3
.3.3 L
esnomb
resb
icomp
lex
esin
ver
sib
lespo
ssèd
entl
esp
rop
rié
téssu
i-
van
tes
:

a
) So
i ttE T
tse ,s ttson
ise tin
ver
sib
les
,al
orss
tes
tau
ssiin
ver
sib
lee
t(s
t)-1=
s
-lt
-1,

b
) So
itw E T
,we
stinve
rsib
les
iets
eul
emen
tsiwb e
stau
ssiin
ver
sib
le;d
epl
us
(wta
t1= (w1
-)b
.

L
'en
semb
leNC={Z
l+Z2
i2! ~ =O} ={Z
l+Z2
j! ~ =O} es
tapp
ell
é
l
'en
semb
led
esd
ivi
seu
rsd
ezé
rod
eT, oud
efa
çonéqu
iva
len
te
,lecôn
e-nu
l.N
ous
pouvon
sau
ssié
cri
re:

oùh±i
2son
tle
sdiv
iseu
rsd
ezé
rod
eba
se,(h+i
2)(h-h
)= O
. Enf
ait
,w E '
lI
'

app
art
ien
taucôn
e-nu
lsie
tseu
lem
ents
iaumo
in eg(
s und w
) ouP2(
w)e
stég
al
àz
éro
,Dep
lus
,siuE 'lI
'-1a
lor
s

Co
rol
lai
re3
.3.4 So
itw E'
l'\ {O
I }etw E C
(h) ouw EC
(i2)
,al
orsw E1
r-1,

End
'au
tre
smo
t, (C
s (h)UC
(b)
)\{O}C 1
r-1,

1
8

Rep
roducedw
ithpe
rmiss
iono
fthecopy
righ
towne
r. Fu
rthe
rrep
roduc
tionp
roh
ibi
tedw
ithou
tpe
rmiss
ion
.
 3.4 Propriétés des modules

3.4.1 Module réel

Nous savons que la fonction Il : 'lI' -4 1R est une norme sur l'espace réel1R4 ~ 'lI',
Le. 'Vs,t E 'lI' et a E 1R:

(1) Isl 2: 0,
(2) Isl = a Ç} s = 0,
(3) la· si = lalls/,
(4) Is + tl ~ Isl + Itl·
Puisque, l'espace 1R4 avec la norme euclidienne est connu comme étant un espace
complet, alors l'espace 1R-linéaire normé 'lI' est un espace complet. Plus précisément,
('lI', + , . ,1 1) est un espace de Banach.

Lemme 3.4.1 Soit s= SI + s2h + S3i2 + S4j E'lI' et t = t1 + t2h + t3i 2 + tJ E 'lI',
alors,
(3.5)

ou de façon équivalente,

19

Reproduced with permission of the copyright owner. Further reproduction prohibited without permission.
 P
reuv
e. N
ousa
von
squ
e

Is.
tl
2-I
sl2.I
t
l2 - (S
ll+S4
t t4-S2
t2-S
3t?+(
3 Sl
t2+S2
t1-S3
t4-S
4t3
?
+ (S
l3+S
t 3t t4-S4t
l-S2 2)2+(
Sl
t4+S2
t3+S3 d2
t2+s4t
(
(si+ ~ +~ +~ + ~ +~ + ~

- 4
t1
t2(
Sl4-S28
S 3)+4
t2t
3(82S lS
3-S 4
)
-4
(8184-S283)(
tlt
4- t
2t3)
.

Th
éor
ème3
.4.2 So
itS= 81+
82Î
t+S3 JE '
i2+S I tt
re =i
t+t2
h+t3i
2+t4jE 'Ir
,
a
lor
s

2)
Is.
tl=Is
i.I
t
lsie
tseu
lem
ents
iun
ede
sma
tr
ice
s SI S2)o
u(t1t
( S3 84 t3t
4

e
std
égé
nér
ée.

S
I S2 1t
t 2
Is.
tl > Is
i.I
t
lsie
tseu
lem
ents
isg
n =s
gn
S3 S4 t
3 t
4

S
I S2 t
1 t
2
I
s l < Is
't l.I
t
lsie
tse
ulem
ents
isg
n =-
sgn
s3 S4 t
3 t
4

P
reuv
e,L
apr
euv
ees
tun
eco
nsé
que
nced
ire
ctedul
emm
e3.
4.1
.0

V
oic
iqu
elq
uesc
ons
équ
enc
es:
Co
rol
lai
re3
.4.3 So
itw E'
I tzEC
re (h) ouC
(i2)
,al
or ,w
sIz l = Iz
l
lwl
.

Th
éor
ème3
.4.4 So
its
,tE '
Ira
losI
r s.
tl:s;Y2
lsl
lt
l.

20

Rep
roducedw
ithpe
rmiss
iono
fthecopy
righ
towne
r. Fu
rthe
rrep
roduc
tionp
roh
ibi
tedw
ithou
tpe
rmiss
ion
.
 Preuve. Soit s = Zl + Z2i2 E 'JI' et t = Z3 + Z4i2 E 'JI', alors

IZ2(Z3 + z4b)hl - IZ211(Z3 + Z4 i2)i21

- IZ211(Z3 + Z4 i 2)hl
- IZ211(z3 + Z4 i 2)lli21
- IZ211(Z3 + Z4 i 2)1·

Par l'inégalité du triangle, nous avons

18' tl = I(ZI + Z2 i2) . (Z3 + Z4 i2)1 < IZlllz3 + Z4 i21 + IZ211(z3 + Z4 i2) 1
< (IZli + IZ21)lz3 + Z4 i21·

Maintenant, d'après les observations suivantes:

nous notons que la constante y'2 est la meilleure possible dans le théorème 3.4.4.
De plus, si nous combinons le dernier théorème avec le fait que ('JI', + , . ,1 l) est
un espace de Banach, nous obtenons que ('JI"+",I 1) est une algèbre de Banach réelle.

21

Reproduced with permission of the copyright owner. Further reproduction prohibited without permission.
 F
ina
lem
ent
,no
usc
onc
luo
nsc
ett
ese
ctiona
vecunr
ésu
lta
tan
alogu
eàc
elu
ide
Py
thago
re:
Th
éor
ème3
.4.5 So
i l+z
tZ 2hE'IL
,al
ors

o
udefa
çoné
q'u
iva
len
te

P
reuv
e.S
oi l =X
tZ l+Y tZ2 =X
lhe 2+Y
2Ït
,al
orsZ
I-Z2h=(X
l+Y2
)+(Y
I-X2
)il
e
tZl+Z
2Ït= (X )+(Y
l-Y2 I+x2
)h.D
epl
us,

IZ
I-Z2
Ï
2 I+Z2h1
t1+IZ
2 - (X
l+Y2
)2+(Y
I-X2
)2

+ (Xl-Y2)2+(Y I+X2
)2

- 2(xi+yi+ ~ + ~
- 2lz112+IZ212
( )

212
- 21z1+z2i .

3
.4.2 h-modu
le

P
ropo
sit
ion3
.4.6 So
itwE '
IL,a
losIw
r lc= 0s
iets
eul
emen
tsiwE O2,

P
reuv
e. I
lsu
ff
itd
ecomp
are
rle
sde
uxd
éfi
nit
ion
s,c
el
ledumodu
lec
omp
lex
eet
eO2,v
d oirl
ase
ction3
.3
.1
.0

Co
rol
lai
re3
.4.7 So
itwE 'IL
,al
orsI
Iwlc
l=0s
iets
eul
emen
tsiw E O2,

22

Rep
roducedw
ithpe
rmiss
iono
fthecopy
righ
towne
r. Fu
rthe
rrep
roduc
tionp
roh
ibi
tedw
ithou
tpe
rmiss
ion
.
 P
reuv
e. N
ouss
avo
nsq
ueIw
le=0Ç:} ~ r+~ =0
=z ,al
or,I
s lw
le
l=0Ç:}
~ ='
zr+~ =O. De p
lu,I
s z
r+~ =0Ç:} Zl+z2hEO2
.Do
nc,I
Iw l
le=0s
i
e
tseu
lem
ents
iw E O2.0

P
ropo
sit
ion3
.4.8 So
it8E'IrettE'IralorsIs.~ = ~ .~
P
reuv
e.S
oit8=Z
l+z2i2e
tt=Z3+z4
i2
'Donc
,

18.~ - I(ZI+Z2i 2).(Z3+ ~

-1 (ZlZ3- Z2Z4)+(ZlZ4+ ~

(ZlZ3- Z2Z4)2+(ZlZ4+Z 2Z3

)2

- (Z
lZ3
)2-+
-(Z2Z4)2 +(ZlZ4)2+(Z2Z3)2
- I(Z
I+ ~ .
I(Z3+ ~

- ~ ~

o
Co
rol
lai
re3
.4.9 So
it8E'IrettE'Ir
.alo
rs118
'tlc
l= I
Is
le
l·
l
lt
le
l.
P
reuv
e. D
'ap
rèsl
apropo
si
tion3
.4
.8nou
sav
on eI
squ ls.~ = ~ .~ =
~ ~ D
onc
,

I
ls
,tl2- I
le is l2'11tle12
le
-(iisie
l'Iltlel)2
.
o
P
ropo
sit
ion3
.4.10 So
itw E'
Ir-
l,a
losI
r Iw
le
ll
-=I
Iw1
-Ie
l.
P
reuv
e.S
oitw=Z
l+z2
i2invers
ibl
e,a
lor
s ~ =~ 1 Z
l+Z2
D
eplu
s,

-1 Z
l • Z
2
W = -12 .
[z
r+~ [z
r+~
23

Rep
roducedw
ithpe
rmiss
iono
fthecopy
righ
towne
r. Fu
rthe
rrep
roduc
tionp
roh
ibi
tedw
ithou
tpe
rmiss
ion
.
 D
onc
,

I
lw-
I
lcl- 1
-
lfo,iil
-
~
- I
!wl
;
ll
·
o

N
ous pouvon
sexp
rim
erl
afo
rmu
l rI
epou lw
lc
l.
P
ropo
sit
ion3
.4.11 So
itw=W
l +w2h+w3h+w
,J ET
,alo
rs

I
lwlc
l= ~ - ~ + ~ - ~ +4
(WIW2+W3W4
)2
.

P
reuv
e.S
oitw=W
l +w2h+W3
i2 j =Z
+W4 l+z2
i2ET
,al
ors

Iw
lc= Jzr+~ a+,8h
:= v

./
a a2+,
+V 82
. .
/-a
+v
I
l
a
- V 2 + sgn(,8)V 2 .
.
2+,82

C
equ
iimp
liqu
eqeI
u lw
lc
l= J
va2+
,82 ={
/a2+,
[Link]
s ob
tenon
sler
ésu
lta
t
f
ina
lav
ecl
efa
itsu
ivan
t:

M
ent
ionnon
squ
el'
app
lic
ationI
l
'Ic
lnepossèdepaslapropr
iét
éfond
amen
tal
e:

Pou
rcon
sta
terc
efa
it
,ilsu
ff
itd
epr
end
r (h+i
es:=z tt:=z
2) e (h-i
2) a
vec
zE C
(h) \{
a}pou
rle
que ttson
l8 e tdan
sO2 m
ais 8+t= 2
zhe
sti
nve
rs
ibl
e.
D
ansc
ecsIs
a lc=Islc=0ma
is 18+t
ic=1= a.
24

Rep
roducedw
ithpe
rmiss
iono
fthecopy
righ
towne
r. Fu
rthe
rrep
roduc
tionp
roh
ibi
tedw
ithou
tpe
rmiss
ion
.
 3
.4.3 h
-modu
le

P
ropo
sit
ion3
.4.12 So
itsETe
ttET
,al
ors18.~ = ~ .~

18
'tl
r2- I
(ZI+z2h
).(Z3+Z
4i2
)l
r2
- I
(ZlZ3-Z2Z4)+(ZIZ4+ ~

- [
(Z 2Z4
lZ3- Z ) +(ZlZ4+Z2Z3)i2][(ZlZ3- Z2Z4)+(ZIZ4+Z2Z3)
i2
l
- (Z 2Z4
lZ3- Z )(Z 2Z4
lZ3- Z ) +(ZlZ3- Z2Z4)(ZlZ4+z2z3)i2
+
(ZlZ4 +Z2Z3)(ZIZ3- Z2Z4)i2- (ZIZ4+Z2Z3)(ZIZ4+Z2Z3)
- [Z
IZI+Z 2+Z
IZ2i 2- Z2Z2l[Z3Z3+Z3Z4i2+Z3Z4i2- Z4Z4l
IZ2i
- [
(Zl+z2h
)(l+z
Z 2b
)][
(Z3+Z
4i2
)(Z3+Z
4i2
)l
- I
(ZI+Z2i
2)
lr (Z3+Z4i
2.I 2)
lr
2
- 8
1 t
1r2'I
lr
2·

P
ropo
sit
ion3
.4.13 So
itw ET
,al
orsIwh2=0s
iets
eul
emen
tsiw EO2•

P
reuv
e.S
oitw =Z
I+Z2
i2
.Del
adé
fin
it
iondumodu
led
an 2:Iw
si l
i2EC
(i2
).C
e
qu
iimp
liqu
equ i2=0~
eIw
l ~ =W •wh =O. A
lor
s i2=0s
, Iw
l iets
eul
emen
t
s
i
:

l+Z2i
(Z 2)
(Zl+Z2i
2) I+Z2i
h - (Z 2)
(Zl+Z2i
2)
- [
(ZI-z2h
)el+(Z
I+z
2h)
e2l
'
[(Z
I-z2h
)el+(Z
l+z2h
)e2
]

l-Z2i
- (Z l)
(ZI-z2h
)el+(Z
l+z2h
)(I+z
Z 2h
)e2

- o.
25

Rep
roducedw
ithpe
rmiss
iono
fthecopy
righ
towne
r. Fu
rthe
rrep
roduc
tionp
roh
ibi
tedw
ithou
tpe
rmiss
ion
.
 Donc, Iwli2 = 0 si et seulement si (Zl-Z2h)(Zl -Z2Ït) = 0 et (Zl +z2h)(Zl +z2h) =
0, Le. w E Ne = {Zl + z2i2 1 zi + zi = O}. 0

Finalement, nous obtenons la connection suivante entre le h -module et le i 2 -

module.

Proposition 3.4.14 Soit w E 'lI', alors Ilwhll = IIwli21.

Preuve. Cette preuve peut être établie par un calcul direct en utilisant la définition
de la section 3.4.1. 0

3.4.4 j-module

Proposition 3.4.15 Soit Wl E C(ir) et W2 E C(i 2 ), alors

Preuve. Cette preuve découle directement de la définition de la section 3.3. 0

Proposition 3.4.16 Soit w E 'lI', alors IwIJ =0 si et seulement si w = O.

Preuve. Soit w = Zl + z2h, alors Iwb E CO). Ce qui implique que Iwlj = 0 si et
seulement si:

J(ZI + Z2 i 2)(Zl + Z2 i 2)h - IZI - z2hlel + IZI + z2hle2

- o.
Donc, Iwlj = 0 si et seulement si IZI - z2h 1 = 0 et IZI + z2h 1 = 0, Le. Zl - z2h = 0
et Zl + z2h = O. 0

Le théorème suivant montre que le module réel du j-module est la distance

euclidienne dans C 2 ::: 'lI' = C 2 .

26

Reproduced with permission of the copyright owner. Further reproduction prohibited without permission.
 Théorème 3.4.17 Soit w E 'lI', alors

Preuve. D'après le théorème 3.4.5,

IIWljl - 1(lzl - z2hlel + IZl + z2hle2)1

_ (I(lz1 - z2hl)1 2; l(lz1 + z,hl) l') 1/'

_ (lZ1 - .,i I'; h + z2hl') 1/2

1

- Iwl·

De plus, nous savons déjà que Iwl = VRe(w. wh) = VRe(lwlJ). Donc, Ilwbl =
Iwl = VRe(lwlJ). 0

Proposition 3.4.18 Soit s E'lI' et tE 'lI', alors Is, tlj = Isljltlj.

Preuve. Soit s = Zl + Z2i2 E'lI' et t = Z3 + z4i2 E 'lI', alors

Is . tb - I[(ZI - z2h)el + (Zl + z2h)e2] . [(Z3 - z4h)el + (Z3 + z4h)e2ll

- I(ZI - z2h)(Z3 - z4h)l e l + I(Zl + z2h)(Z3 + z4h)l e 2
- I(Zl - z2h)l· I(Z3 - z4h)l e l + I(Zl + z2h)l· I(Z3 + z4h)l e 2
- [Iz! - z2hlel + IZl + z2hle2]' [l Z3 - z4hlel + IZ 3 + z4hle2]
- Isljltb·

3.5 Résultats avancés

Nous présentons ici, sans démonstration, les résultats avancés nécessaires à la

preuve des formules pour borner la distance.

27

Reproduced with permission of the copyright owner. Further reproduction prohibited without permission.
 3.5.1 Exponentielle et logarithme bicomplexe

Soit W = Zl + Z2i2 E 11'. Définissons

Définition 3.5.1 (Exponentielle) La fonction

se nomme l'exponentielle d'une variable bicomplexe et est notée exp, i.e., exp w :=

Il est évident que la fonction exponentielle bicomplexe est une extension de son
analogue complexe puisque

et

Voici quelques propriétés importantes de cette fonction.

Proposition 3.5.2 Soit w = Zl + z2i2 E 11'. Alors

Proposition 3.5.3 Soit w E 11'. Alors eW est toujours inversible et (ewt 1 = e- W

•

Dans 11', le logarithme bicomplexe ln( Zl + z2i2) est défini comme l'inverse de la
fonction exponentielle bicomplexe eZl+Z2i2 := e [COS(Z2) + i 2 sin(z2)]' Le théorème
Zl

28

Reproduced with permission of the copyright owner. Further reproduction prohibited without permission.
 suivant (voir [16]) montre, avec l'aide de la représentation idempotente dans 1I', que
In(zl + zZi 2 ) possède une représentation en terme de logarithme complexe.

Théorème 3.5.4 Si Zl + zZi2 est non-inversible, c'est-à-dire que si Zl - z2h =1- 0

et Zl + zzh =1- 0 alors In(zl + Z2i2) est défini et

3.5.2 Notions de différentiabilité bicomplexe

Il est aussi possible de définir la notion de différentiabilité d'une fonction à un
point de 'lI' [17]:

Définition 3.5.5 Soit U un ensemble ouvert de 1I' et Wo EU. Alors, f : U ç;

1I' ~ 'lI' sera nommé 'lI' -différentiable à Wo avec la dérivée égale à f' (wo) E 'lI' si

lim f(w) - f(wo) = f'(wo).

W-+wo
(w-wo inv.)
W-Wo

Nous pouvons affirmer que la fonction f est 'lI'-holomorphe sur un ensemble

ouvert U si et seulement si f est 'lI'-différentiable à tous les points de U.

Comme nous l'avons vu, un nombre bicomplexe peut être considéré comme un
élément de CZ, alors une fonction f(Zl + Z2i2) = h(Zl,ZZ) + fZ(Zl,Zz)i 2 de 1I' peut
être définie comme une application f(Zl,ZZ) = (h(ZI,ZZ),!2(Zl,Z2)) de C 2 . Nous
avons la caractérisation de ce type d'application:

Théorème 3.5.6 Soit U un ensemble ouvert et f : U ç 'lI' ~ 'lI' telle que f E

01(U). Aussi, soit f(Zl + zzi z ) = fl(Zl,Z2) + fz(Zl,Z2)i z . Alors f est 'Ir-holomorphe
sur U si et seulement si:

fI et f2 sont holomorphes dans Zl et Z2

29

Reproduced with permission of the copyright owner. Further reproduction prohibited without permission.
 e
t
,

D
eplu
s,f
i= ~ +~ e
tf'
(w)e
stin
ver
sib
les
iets
eul
em ts
en id
et.
J, )=F O
(w .

C
eth
éor
èmep
eutê
treob
tenua
vecl
esr
ésu
lta
tsd
ans[16
]et[17
].D
eplu
s,p
ar
l
eth
éor
èmed
eHa
rtog
s [25
],i
les
tpo
ssi
bled
emon
tre
rqe"
u fE C1
(U)
" peu
t
ê
trer
eti
réd
eshypo
thè
ses
.Ile
sta
lor
sna
tur
eld
edé
fin
irl
acl
ass
eco
rre
spond
ant
e
d
'app
lic
ation
spou
r([
;2:

D
éfin
ition 3
.5.7 Lac
las
sed
esapp
lica
t s'
ion I
f-ho
lomo
rph
essu
rl'
ens
emb
leou
ver
t
U ç(
[;2e
std
éfin
ied
elafa
çonsu
ivan
te:

C
'etl
s ac
las
sed
esapp
lica
tion
sho
lomo
rph
esd
e([
;2qu
isa
tis
fon
tau
xéqua
tion
sde
Cau
chy
-Ri
emann g
éné
ral
isé
es.

N
ousr
ema
rquon efE TH
squ (U) su
r([
;2s
iets
eul
emen
tsife
st'
If
-di
ffé
ren
ti
abl
e
su
rU.M
ain
ten
ant
,comm
eco
nsé
que
nced
elar
epr
ésen
tat
ionid
empo
ten
te,nou
s
pouvon
sdé
fin
irl
eprodu
itc
art
ési
enb
icom
ple
xe:

D
éfin
ition 3
.5.8 Nou
s app
ell
e sX ç'
ron Ifl
'en
semb
le'
If
-ca
rté
siend
éte
rmin
épa
r
X
letX2s
iX = X l+Z2
l Xe X2:={Z i2 E'
I l+z
f:Z 2b= W
lel+W2
e2,
(Wl
,W2
)E
X
l X X2}
.

D
éfin
ition 3
.5.9 So
itA =A tB =B
l xeA2 e I Xe B2•A
lor
s,

30

Rep
roducedw
ithpe
rmiss
iono
fthecopy
righ
towne
r. Fu
rthe
rrep
roduc
tionp
roh
ibi
tedw
ithou
tpe
rmiss
ion
.
 Dans [16] il est montré que si Xl et X 2 sont de domaine C(h) alors Xl Xe X 2 est
aussi de domaine 'lI'. Alors, une façon de construire des "disques" (de centre 0) dans
'lI' est de prendre le produit 'lI'-cartésien de disques (de centre 0) dans C(h). Donc,
nous définissons le "disque" de rayons rI et r2 de 'lI' comme suit [16]: D(O; rl,r2) :=
BI(O,rl) Xe B I (0,r2) = {Zl + Z2i2 : Zl + Z2i2 = Wlel + W2e2,lwII < rl,l w21 < r2}
où Bn(O,ri) est la boule ouverte de cn ~ cn(h) de rayon ri pour i = 1,2. De plus,
dans le cas où r = rI = r2, nous notons D(O; rl,r2) = D(O,r) et nous appelons cet
ensemble le 'lI'-disque de rayon r. Il est possible de prouver que D(O,r) est, en fait,
la boule de Lie [1] de rayon r dans C2.

La notion d'holomorphicité peut être aussi vue à l'aide de la représentation

idempotente de la section 3.1.2. Il est maintenant possible d'énoncer le théorème
suivant [16]:

Théorème 3.5.10 Si fei : Xl --+ C(h) et fe2 : X 2 --+ C(h) sont des fonctions
holomorphes de C(h) sur le domaine Xl et X 2 respectivement, alors la fonction
f : Xl Xe X2 --+ 'lI' définie comme

est 'lI'-holomorphe sur le domaine Xl Xe X 2 et

Théorème 3.5.11 Soit X un domaine dans 'lI' et soit f : X --+ 'lI' une fonction
'lI' -holomorphe sur X. Alors il existe des fonctions holomorphes fel : Xl --+ C(h)

31

Reproduced with permission of the copyright owner. Further reproduction prohibited without permission.
 et fe2 : X 2 ~ C(Ït) avec Xl = Pl (X) et X 2 = P2(X), telle que:

f(ZI + Z2 i 2) = fel (Zl - z2h)el + fe2(zl + z2h)e2 \j Zl + Z2i2 E X.

Nous notons ici que Xl et X 2 seront aussi de domaine C(h).

32

Reproduced with permission of the copyright owner. Further reproduction prohibited without permission.
 Chap
itr
e4

Bo
rne
sdelad
istan
ceàl
'en
semb
le
d
eMand
elb
rot

D
ansc
ech
api
tre
,nou
sdév
elopp
eron
sle
sfo
rmu
lespou
rle
sbo
rne
sded
ist
anc
eet
l
eurapp
rox
ima
tionpou
rle
sen
semb
lesd
eMand
elb
rote
tJu
lia
.Le
sdeuxd
éfin
it
ion
s
su
ivan
tesp
réc
isen
tce
sen
semb
les
.

D
éfin
ition 4
.0.1 (En
semb
led
eMand
elb
rotM
) Pourtou
tcEC
, nou
sas
so-
c
ion
sl'app
lica
tionf
e()= Z2+c
z .Sil
'i
téra
tiond
efe
(z)app
liqu
éeà0n
econ
verg
e
p
asv
ersl
'in
fin
ialo
rscE M
,i.e
.

M ={
cE C: ~ -
f
t00 lorsquen~ oo}
.

C
et en
semb
le,app
elél
'en
semb
led
eMand
elb
rot
, e
stf
erm
éetconn
exe[3
].

D
éfin
ition 4
.0.2(En
semb
led
eJu
liar
emp
li!Cc
) So
itl
'app
lica
t e:C ~
ionf
C
, fe
(z)= Z2 +c
, cEC
.Sil
'i
téra
tiond
efe
(z)app
liqu
éeàzE C n
econ
verg
epa
s
v
ersl
'in
fin
ialo
rszE !C
c,i
.e
.

!Cc= {
zE C: ~ -
f
t00 lorsquen~ oo}
.

3
3

Rep
roducedw
ithpe
rmiss
iono
fthecopy
righ
towne
r. Fu
rthe
rrep
roduc
tionp
roh
ibi
tedw
ithou
tpe
rmiss
ion
.
 Cet ensemble est appelé l'ensemble de Julia rempli associé à c, il est fermé et soit
connexe, soit une poussière de Cantor [3].

Dans les sections qui suivent, nous fournissons la démarche analytique pour prouver
rigoureusement les formules. Notons que lorsque nous référerons aux ensembles de
Julia, il sera question uniquement des ensembles remplis et connexes.

4.1 Potentiel et distance

Les formules qui bornent la distance utilisent le potentiel des ensembles. Dé-
finissons le potentiel de nos ensembles comme étant 0 et celui de l'infini comme
étant très élevé. Le potentiel croîtra graduellement, au fur et à mesure que nous
nous éloignerons de l'ensemble. Le même stratagème peut être utilisé avec le disque
unité.

Alors, grâce aux travaux de Hubbard et Douady qui affirment que nous pou-
vons trouver des applications CPc ou 'IjJ de nos ensembles au disque unité, nous nous
servirons du potentiel pour appliquer les résultats de distance du disque unité vers
nos ensembles.

Par une propriété mathématique remarquable, le potentiel peut être calculé à

l'aide de l'algorithme d'échappement. Cet algorithme consiste à calculer le nombre
d'itérations nécessaires pour que la norme du point dépasse une certaine taille. Il
peut aussi servir à représenter les ensembles de Mandelbrot et Julia. Dans notre
cas, il sera utilisé pour calculer les estimations des bornes.

34

Reproduced with permission of the copyright owner. Further reproduction prohibited without permission.
 4
.2 Bo
rne sup
éri
eur
eauxen
semb
lesd
eJu
lia
r
emp
lis

G
râc
e auxr
ésu
lta
tsenan
aly
secomp
lex
e,i
les
tpo
ssib
led
'él
abo
rerun
efo
rmu
le
qu
ibo
rnesup
éri
eur
emen
tlad
ist
anc
eauxen
semb
lesd
eJu
lia
.Lad
éma
rch
equ
isu
it
s
erv
iraàd
émon
tre
rlel
emm
edeS
chw
arz
,pi
lie
rdec
ett
efo
rmu
le
.

4
.2.1 L
emm
edeS
chwa
rz

L
emm
e4.2
.1(
Iden
tit
édePa
rseva
l) So
itfun
efon
ctiondon
tlad
écompo
si-
t
ionens
éri
ede Ta
ylo
res
tlasu
ivan
te:

Lan(z-zo)n,
00

f
(z)=
n=O

dan
sN(
zo,R z:I
)= { z-zol<R}
.Si0<r<R
,al
ors

P
reuv
e. Pu
isqu
e

~ ~[
" (
t
,+ a
,
,(Zo r
l
l
e- z
o
J
)n
) ~ +rellJ- Zo)m)dO
c
arl
econ
jugu
ées
tcon
tinue
tpa
rlafo
rmu
led
eDe Mo
ivr
e,

D
eplu
s,g
râeàl
c 'id
ent
itésu
ivan
te:

e
ki9= c
os(
kO)-i
sin
(kO
)= c
o -
s( )+i
kO sin
(-kO
)= e
-ki9

35

Rep
roducedw
ithpe
rmiss
iono
fthecopy
righ
towne
r. Fu
rthe
rrep
roduc
tionp
roh
ibi
tedw
ithou
tpe
rmiss
ion
.
 nous obtenons

et en multipliant de terme à terme

L
00

= la n l2r2n (voir annexe A)

n=O
car pour n =1= m

Lemme 4.2.2 Soit f une fonction dont la décomposition en série de Taylor est la
suivante:
00

n=O

dans N(zo,R) = {z : Iz - zol < R}. Si 0 < r < R. Si M(r) est le maximum de Ifl
sur le cercle Iz - zol = r, alors

L
00

la n l2 r 2n :s; M 2 (r).
n=O

Preuve. Puisque

36

Reproduced with permission of the copyright owner. Further reproduction prohibited without permission.
 p
arl
'id
ent
itéd
ePa
rsev
al
,
L
:lanl2r2n::;M2(r)
00

n=O
o
L
emm
e4.2
.3(Th
éor
èmedumodu
le max ) A
imum ssumon
squ
efe
sta
nal
y-
t
iqu
esu
runo
uve
rtc
onn
exeS d
ansC
,ets
upp
oso
nsqu
efn
'es
tpa
sco
nst
ant
[Link]
it
T= z:Iz-zo
{ l= r}C N(zo
,R) cSS
iIf
(z)
1::
;M su
rT a
lor
s

I
f(
z)1<M

pou
rto
usl
esp
oin
tsd
ansl
'in
tér
ieu
rgé
omé
tr
iqu
edeT
.

P
reuv
e. Suppo
son
squ
'i
lex
is
teunpo
intZo d
ansl
'in
tér
ieu
rgéom
étr
iqu
edeT t
el
qu
e
f
(zo
)~ M
.

On r
ema
rqu
equ
elad
écompo
si
t efens
iond éri
edeT
aylo
rau
tou
rdeZo
,év
alu
éeà
Zo e
st
L
:
00

f(
zo)= a n
(zo-z
o)n=ao
-
n=O
A
ins
i,p
arl
elemm
epr
écéd
ent
00

' " 2
lalr2n:
;[m
: axIf
(z)1]2 ::;[J
(ZO
)]2= ~
~ n zE
l'
n=O
c
equ
iimp
liqu
equ
ele
sco
eff
ic
ien
tsan= 0pou
rn= 1
,2
,..
.Al
ors
, pu
isqu
eSe
st
c
onn
ex,f
e e
z)e
stun
econ
stan
tesu
rS,c
equ
ies
tun
econ
trad
ict .0
ion

L
emm
e4.2
.4(d
eSchwa
rz) So
itfa
nal
yt
iqu
esu
rN(O
,I z:I
)= { zi<1}
.Su
p-
p
oso
nsq
uef
(O)= 0e
tqu
eIf
(z)
!:::;1su
rN(O
,I
).S
iI!<1
z ,al
orsI
J'
(O)
!:::;1e
t
I
f(
z)1:::;I
zl
·

3
7

Rep
roducedw
ithpe
rmiss
iono
fthecopy
righ
towne
r. Fu
rthe
rrep
roduc
tionp
roh
ibi
tedw
ithou
tpe
rmiss
ion
.
 P
reuv
e. Pou tZo
rtou ,te eIzo
lqu l<1
,nou
spouvon
sdé
fin
irund
isq
ueI
zi<1
- E
,

pou
runc
ert
ain0<E<1
,te
lqeIzo
u les
tàl
'in
tér
ieu
rdud
isq
ue,So
itg
(z
)= ~
e
tpu
isqu
e

'
f(O
)-
-llmf
' (z
)-f
(O)-
-l'
lm-f(
z
-)-
-l'
lmg(
)
z -
- 9(
0),
z->o z-0 z-+o Z z-+O
g
(O)=1
'(
0)c
ar0e
stunpo
ints
ingu
lie
rapp
aren
t rI
,Pou z
l=1- E nousavons
Ig
(z
)1= I
f(
z)1<~ = _1_
Iz
i -Iz l l - E'
e
tpa
rleth
éor
èmedumodu
lem
aximum, Ig
(zo)1< ~ De p
lus
,

imI
l g
( )1~ l
zo im_1_=1 .
€
->O e-+O1- E
A
ins
i, Ig
(zo
)1~ 1pou tZo
rtou l<1
, Izo .C'
est
-à-d
ir,I
e f
(zo
)1~ Izo
l
,Don
c,I
f(
z)1~
I
zl rI
,pou z
i<1
,etI
f
'(O
)1= Ig
(0)1~ 1
.0

L
emm
e4 .5 S
.2 oi
tfa
nal
yt
iqu
esu
rN(a
,r
)= {
z:I l <r
z-a }av
ecr> 0
,
S
upp
oso
nsqu
ef )= a
(a e
tqu
ef(
z)~ 1s
urN
(a,
r),S
iIz
-al<r
,al
orsI
f
'(a
)1~ ~
e
tIf
(z
)1~ I
z;al,

P
reuv
e. Pou tZot
rtou elq
ueI
zo l<r
-a ,nou
spouvon
sdé
fin
irund
i eI
squ z
-al<
r-E, pou
runc
ert
aina<E <r
,te
lqeI
u zo-a
les
tàl
'in
tér
ieu
rdud
isq
ue,S
oit
g
(z)= ~~ e
tpu
isqu
e

f
' )=l
(a imf(z
)-f
(a)=limf (
z)=limg (
z)=g
(a)
,
z-+a Z-a z-+aZ-a z-+a
g
(a)=f
'(a
)crae
a stunpo
ints
ingu
lie
rapp
aren
t rI
,Pou l=r-E nou
z-a sav
ons
Ig
(z
)1= If(
z)1~ 1 =_1_
Iz-al Iz-al r-E
'

e
tpa
rleth
éor
èmedumodu
lem
ax ,I
imum g
( )1< ~
zo D
eplu
s,

imI
l g( )1~ l
zo im_1_= !
,
é
-+O e-+Or-E r
A
ins
i, Ig
(zo
)1~ ~ pou
rtou , Izo-a
tZo l <r
,C'
est
-à-d
ir,I
e f
(zo
)1~ I
zo;al, Don
c,
I
f(
z)1~ Iz
;al
,p rI
ou l<r
z-a ,et11
'
(a)1= Ig
(a)1~ ~ 0

3
8

Rep
roducedw
ithpe
rmiss
iono
fthecopy
righ
towne
r. Fu
rthe
rrep
roduc
tionp
roh
ibi
tedw
ithou
tpe
rmiss
ion
.
 4
.2.2 Bo
rne sup
éri
eur
e

G
râc
e aul
emm
edeS
chw
arz
, nou
spouvon
sdé
cou
lerl
afo
rmu
led
elabo
rne
sup
éri
eur
edan
slep
lanc
omp
lex
e.C
ett
efo
rmu
les
erau
ti
li
séepou
rdév
elopp
erl
a
bo
rnesup
éri
eur
ebi
com
ple
xed
ansl
ech
api
tresu
ivan
t.

Th
éor
ème4
.2.6(Bo
rnesup
éri
eur
e)La d
is
tan
ced
'unpo
in , zE C
tz \Kc
,à
K
ces
tst
ric
tem
entin
fér
ieu
reà ~~ ~ o
ùG(
z)e
stl
epo
ten
tie
laupo
intz
.C'
est
-
à
-di
re
d
(K ) 2s inh
[G (
z)]
z, c < IG'
(z)1
P
reuv
e. So
it<Pc, un
eapp
lic
ationb
iho
lomo
rph
e

o z:Iz
ùD = { l<1}(vo
ir[2
],[5]e
t[13
]pou
rl'
exi
sten
ced
'un
ete
lleapp
lic
ation
).
So
it

e
t

N
ousd
éfi
nis
son
sun
efo
nct
ionF
(w)= ~ ~ oùwo = W
(J
.lo
)[Link] E C
\Kc
.C'
est
un
etr
ans
form
ationhomog
raph
iqu
ecrl
a -wowo=1= O
.Démon
tron eF
squ '
(w)>O
o .
Enu
ti
lis
antl
adé
fin
it
iond
elad
éri
véen
ousa
von
s

l (w+h
imF (w
)-F )= l
im 1 _ 1
~ h h
-tO1- WoWo -hwo 1- w
owo
'

C
epend
ant
,del
adé
fin
it e<p
iond (z
), comm
[Link] r
[Link]
,nou
sob
tenon
sqeIW
u (J
. )1<
lo
.A
1 i
nsi
, pu
isqu
e

39

Rep
roducedw
ithpe
rmiss
iono
fthecopy
righ
towne
r. Fu
rthe
rrep
roduc
tionp
roh
ibi
tedw
ithou
tpe
rmiss
ion
.
 alors
1
--->0.
1- WoWo
Maintenant, démontrons que l'image F 0 W sur un disque D(p,o,r) C C\Kc
est incluse dans le disque D(O,l) où r > O. Afin de prouver ceci, nous devons
d'abord montrer que F(w) est une transformation homographique du disque unité
qui déplace Wo à O. Soit w = x + yi et Wo = a + bi. Si Iwl < 1, montrons que
IF(w)1 < 1.
IF(w)1 < 1 ~ IF(w)12 < 1
Iw - wol 2 < 1
~
11- wwol 2
~ (x 2 + y2) + (a 2 + b2) - 2ax - 2by < 1 + (x 2 + y2)(a 2 + b2) - 2ax - 2by

~ (x
2 + y2) + (a 2 + b2) < 1 + (x 2 + y2)(a2 + b2)
~ (x 2 + y2) + (a 2 + b2) _ (x 2 + y2)(a 2 + b2) < 1

~ (x 2 + y2)(1 _ a2 - b2) + (a 2 + b2) <1

~ (x 2 + y2)(1 _ a2 - b2) < (1 _ a2 _ b2)

~ (x 2 + y2) < 1 ~ Iwl 2 < 1 ~ Iwl < 1

qui est notre hypothèse de départ. Si Iwl = 1, montrons que IF(w)1 = 1. Puisque
si Iwl = 1, alors ~ = w et nous avons
IF(w)1 = Iw - wol = Iwlll- wwol = 1.
11- wwol 11- wwol
Il reste à montrer que l'image de D(p,o,r) par W(p,) = f/JtJt) est incluse dans le
disque D(O,l). Par définition,

mais
1 -
h(z) = - : C\D -+ D
z
40

Reproduced with permission of the copyright owner. Further reproduction prohibited without permission.
 don
c
W
:C\D~ D
.

A
ins
i,c eD
omm (
p,o
,r
)CC
\Kc onob
tien eW
tqu (D
(p,
o,r
)) CD
(O,
l)
. Nou
s pou
-
von
sma
int
enan
tdémon
tre
rlaf
orm
ulepou
rlabo
rnesup
éri
eur
[Link]
itrol
adi
stan
ce
d
eP,o àl
'en
semb
led
eJu
liaK
c. Pou
rtou
tp,t
elq
ue Ip
,-Pl <r
,o o,nou
sav
ons
IF
(W(
p,
))1<1e
tF(W
(p
'o
))=O
.Ai
nsi
,pa
rlel
emm
e4.
2.5
,

1[F
(W(P
,o
))
l'1=IF
'
(W(
p'o
))W
'
(p'
o)1<~
ro
C
'es
t-à
-di
re,
1 1
- wowo
ro< IF
'
(W(P
,o
))W
'
(P,
o)1= IW
'
(P,o)1'
tW
e '
(P,
o) = ~ ~~~ =1- 0c
arc
/>c(P
,o) EC
\De
tC/>C e
stb
iho
lomo
rph
ecequ
iimp
liqu
e
° rC
e ~ =1- su
qu \K
c. Pu
isqu
e

onob
tien
t

D
epl
us,

a
lor
s
e
-G(
l )2s
to inh
(G(P
,o
)J 2s
inh
[G(
p,o
)J
r< =
IG
'(P,o)1 IG
'(P,o)1
~~
o e
-G(
lto
)

D
onc
, pou
rtou
tpo
intz
,zE C ,lad
\Kc is
tan
c ezàl
ed 'en
semb
led
eJu
liaK
ces
t
s
tr
ict
emen
tin
fér
ieu
reà2sinh[G(lto)). 0
. IG
'(
lto
)1

41

Rep
roducedw
ithpe
rmiss
iono
fthecopy
righ
towne
r. Fu
rthe
rrep
roduc
tionp
roh
ibi
tedw
ithou
tpe
rmiss
ion
.
 4.3 Borne inférieure aux ensembles de Julia
remplis

Avec l'aide de la théorie des fonctions univalentes, nous allons démontrer la

formule pour borner inférieurement la distance. Les étapes suivantes viendront à
prouver le théorème i de Koebe. Ce résultat est majeur pour la borne inférieure
et les applications qui en découlent.

4.3.1 Théorème % de Koebe

Définition 4.3.1 (Univalente) Une fonct'ton f est dite univalente sur un en-
semble DcC si elle est injective sur D, i. e. f (Zl) = f (Z2) implique que Zl = Z2
'ïlZ 1 ,Z2 E D.

Définition 4.3.2 (classe S) On dit qu'une fonction analytique f est de classe S

si et seulement si f est univalente dans D = {z : Izi < 1} et si f est telle que sa
décomposition en série de Taylor autour de 0 possède la forme suivante:

L anzn.
00

f(z) = z+
n=2

Définition 4.3.3 (classe 'E) On dit qu'une fonction analytique f est de classe 'E
si et seulement si f est univalente dans DO = {z : 1z 1 > 1} et si f est telle que sa
décomposition en série de Laurent autour de 0 possède la forme suivante:

L b_nz- n.
00

f(z) = z+
n=O

Lemme 4.3.4 Si f E S et west dans le complément de f(D), alors la fonction

h(z) _ f(z)
- 1 - w-1f(z)

est dans S.

42

Reproduced with permission of the copyright owner. Further reproduction prohibited without permission.
 P
reuv
e. Pu
i ef
squ (
z)=1= w pou
rzE D
,alo
rsh
(z)e
stan
aly
tiqu
[Link]
son
squ
e
l =1=
Z Z2 e eh
tqu (Z
I)= h
(Z2
)
'alo
rs

f
(ZI) f
(Z2)
-
-f
1- w l (Z
I) 1- w
-fl (Z
2)'
~ f
(ZI
)-w
-lf
(Z2
)f(
zd= f
(Z2
)-w
-1f
(zd
f(Z2
)'

~ f
(Z)=f
l (Z2
)
'

l= Z
~ Z 2, pu
isqu
e ES
, f
c
'es
tun
econ
trad
ict
ion
.Ain
sih
(z)e
stin
jec
tiv
[Link]
sid
éron
sma
int
enan
tlat
ran
s-
fo
rma
tiond
eMüb
ius su
ivan
te

u
M (u
)= ~

iu=0
S ,
o
M
(O) =1_w
-10 =0
,

a
losh
r )=0ca
(O rf )=O
(O . Pu
i efES
squ ,alo
rsf
'
(O)=1e
tdon
cpa
rlar
ègl
ede
d
ériv
ationench
aîn
e:

h
'
(O)=(M0 f
)
' )=M
(O '(
f(O
))
f'
(O) =l
.

Don
c,l
adé
compo
sit
ionens
éri
edeT
aylo
rdeh
(z)e
std
elaf
orm
esu
ivan
te:
00

h
(z)= z+L anZn
n=2
th
e (
z)ES
.0

L
emm
e4.3
.5 S
ifE S
,al
orslafon
ction

1
g
(z)= ~

e
s sL
tdan :
.

4
3

Rep
roducedw
ithpe
rmiss
iono
fthecopy
righ
towne
r. Fu
rthe
rrep
roduc
tionp
roh
ibi
tedw
ithou
tpe
rmiss
ion
.
 P
reuv
e. Pu
i ezE DO
squ ,al
orsf
(Z-
l)=1= 0e
tg(
z)e
stan
aly
tiqu
ed sDO
an .Si
g
(Zl
)= g
(Z2
),
1 1
fC
\)= ~
~ f
(! )=
f(!)
Z
l Z2

c
arfE Se
tdo
ncg
(z)e
sti
nje
ct
ive
.Enu
ti
lis
antl
adé
fin
it
iond
e ~

1 ~ -a
3
z)=l+~
g( +~ +...= z-a2+ Z2 +...
z z z

oncon
sta
teq
ueg
(z)E E
.D

L
emm
e4 .6 S
.3 ifE S
}al
orslafon
ction

h
(z)= y
if(Z
2)

e
std
ansS o
ùler
adi
cale
stlaso
lut
ionp
osi
ti
vedur
adi
cald
elas
éri
efo
rme
lled
e
f
(Z2
).
N
.[Link]
itp
(z)=1+a2
z2+a4
z4+.
.
.+a2nz2n+.
.
.,a
lor
sler
adi
cald
elas
éri
e
f
orm
el
led
ep(z
)ex
is
tetou
jou
rse
tsaso
lut
ionp
osi
ti
vee
std
elaf
orm
esu
ivan
te:

i
.e
.q(Z
)2= p
(z)
.Dep
lus
,ile
stp
oss
ib
led
emon
tre
rqu
eq(
z)e
sth
olom
orp
hed
ans
D
.

P
reuv
e. Ené
criv
ant

44

Rep
roducedw
ithpe
rmiss
iono
fthecopy
righ
towne
r. Fu
rthe
rrep
roduc
tionp
roh
ibi
tedw
ithou
tpe
rmiss
ion
.
 On observe que h est analytique et impair, Le. h( -z) = -h(z). Si h(Zl) = h(Z2)'

Nous avons donc deux cas: Zl = Z2 ou Zl= -Z2. En regardant le second cas de plus
près, si Zl = -Z2, alors h(Zl) = h(Z2) = -h(Zl)' Donc h(Zl) = 0 ce qui implique
que Zl = 0 (car f =f 0 sur D\ {O}) et ainsi, dans les deux cas, Zl = Z2' Ce qui
prouve que h(z) est injective et donc que hE S. 0

Lemme 4.3.7 (Open mapping theorem) Soit f E H(r) où r est un ouvert

connexe et f une fonction non-constante sur r, alors F(r) est aussi un ouvert
connexe du plan complexe.

Preuve. Voir [22] p.214.D

Lemme 4.3.8 Supposons que

1) X c V C R k est ouvert, T : V -+ R k est continue;
2) X est mesurable au sens de Lebesque, T est injective et différentiable sur Xi
3) m(T(V - X)) = Oi
alors en posant Y = T(X),

pour chaque f : Rk -+ [0,00].

Preuve. Voir [22] p.154.D

45

Reproduced with permission of the copyright owner. Further reproduction prohibited without permission.
 Th
éor
ème4
.3.9(A
reaTh
eor
em)S
iFE H
(D\
{O}
),
1
n(L
00

F
(z)=-+ la
nlz zE D
\{O
}).
z n=O

a
lor
s
00

Ln
lan
l2:
::;1
.
n=
l

P
reuv
e.L
ech
oixd
eaon
'ap
asd
'impo
rtan
cec
ari
ln
'in
terv
ien
tpa
sdan
sl'
équ
ation
f
ina
le
.As
sum
onsq
ueao = O
.Dep
lus
,nil
'hypo
thè
sed
edép
artn
ilac
onc
lus
ion
neson
taff
ect
éess
inou
sr emp
la sF
çon (
z)p rÀF
a (À z)(IÀ
I= 1
).N
ousa
ssum e
ron
s
don
cq uealestr
éela
vecÀ2= ~ l o
rsq
ueal=1= O
. Po
son r={
sU z:1z1 <r}
,
C z:Iz
r ={ l= r}
,V z:r<Iz
r ={ i<1} r0<r<1
,pou .Al
orsF
(Ur)e
stun
v
ois
ina
g e00(p
ed arl
elemm
e4.
3. rl
7su \F
);l
ese
nsem
blsF
e (Ur)
,F tF
(Cr)e (V
r)
son
tdi
sjo
int
scrF
a (
z)E ~ É
cri
von
s
1
F
(z)= - +a
lZ+w
(z) (
4.1
)
z
F= u+iv
,et
(
4.2
)

rz= r
Pou ele,n
ousob
tenon
s

u=A
cos
(O)+R
e(w
)etv=-B
sin
(O)+Im
(w)
.

D
epl
us,
2
u ~ =1 2
cos
(O)R(
) (R
e(w
))2_2
sin
(O)
I()(
Im(W
))2
A2+B
2 + A ew + A B mw+ B .

P
ar(
4.2
),wp
oss
èdeunz
érod
'ord
re2o
up sàl
lu 'or
igin
[Link]
ren
ant(
4.3
.1)en
con
sid
éra
tionnou
scon
sta
ton
squ
'
ilex
is
teun7 >0t
elq
uepou trsu
rtou ff
isamm
ent
p
eti
t,
2 2
U
A2 +V
B2 <1+7
'(
'
3(
, Z= r
e10
)
.

46

Rep
roducedw
ithpe
rmiss
iono
fthecopy
righ
towne
r. Fu
rthe
rrep
roduc
tionp
roh
ibi
tedw
ithou
tpe
rmiss
ion
.
 C
ecis
ign
if
ieq
ueF
(Cr
)es
tl'
int
éri
eurd
el'
ell
ipeE
s r don
tle
ssem
i-a
xesson
t

oùl
'a
ires
erabo
rned
é el
aman
ièr
esu
iva
nte
:

Du f
ai
tqeF
u (Cr)e
stàl
'
int
éri
eu eEnnou
rd sav
onsq
ue ~ cF
(Ur)
.Dep
lus
,
pu
i eF
squ (
v;.
)etàl
s '
int
éri
eu eE
rd r ,nou
sob
tenon
squ
el'
air
edeF
(l
I;
.)n
'es
t
p
asp
lusg
rand
equ
e(4
.3.L
) e
s équ
ation
sdeC
auchy
-Ri
emann mon
tren
tqu
ele
J
acob
iend
el'
app
lic
ation(
x,)-+(u
y ,v)e
stIF
'12
.Lel
emm
e4.
3.8n
ousdonn
ele
r
ésu
lta
tsu
ivan
t:

127r
=
1
1
td
t 1- r2
e-i9+
2 Lnantn-1e(n-1)i912dO
00

n=
l

11 f
r 0

=271' (
t-3+ n2IanI2
t2n
-1)d
t
r n=
l
00

n=l
End
ivi
san
tpa
r71' e
tensou
str
ayan
tr-d
2
ech
aqu
ecô
tén
ousob
tenon
squ
e:

Lnlanl2(1-r2n)::;1+Tr
N

n=
l
pou
runrs
uff
isamm
entp
eti
tetpou
rtou
ten
tie
rpo
si
ti
fN.L
ors
que r-+0e
t
N -+00n
ousob
tenon
slac
onc
lus
io.0
n

L
emm
e4.3 ig
.10 S (
z)E L
;,a
lor
s

47

Rep
roducedw
ithpe
rmiss
iono
fthecopy
righ
towne
r. Fu
rthe
rrep
roduc
tionp
roh
ibi
tedw
ithou
tpe
rmiss
ion
.
 P
reuv
e.P
arl
elemm
e4.
3.9
,pou
runm ~ 1

Lnlb_ l2::;1
00

m
lb 2:
_m l :
; n
n=
l

don
c

e
tenp
art
icu
lie
r

o
L
emm
e4.3
.11(Th
éor
èmed
eBi
ebe
rba
ch ifE S
)S ,al
orsla21:
:
;2.

P
reuv
e.P
arl
elemm
e4.
3.6

h
(z)= Jf
(Z2
)E S
.

A
ins
i, enu
ti
lis
antl
elemm
e4.
3.5
,nou
sob
tenon
squ
e

e
std
ans~ F
ina
lem
ent
,enu
ti
lis
antl
elemm
e4.
3.1
0,nou
strouvon
squ
e ~ ::;1
e
tdon
c

o
L
emm
e4.3
.12(Th
éor
èmeid
eKo
eb) S
e oitfE S
.Al
orsf
(D)c
ont
ien
tle
d
isq
u l<i
eIw ·
P
reuv
e. So
itw E C
\f(D
). Pa
rlel
emm
e4.
3.4
,lafon
ction

h
(z)_ f
(z)
-1f
- 1- w (z)

4
8

Rep
roducedw
ithpe
rmiss
iono
fthecopy
righ
towne
r. Fu
rthe
rrep
roduc
tionp
roh
ibi
tedw
ithou
tpe
rmiss
ion
.
 e
std
ansS
.Las
éri
edeT
aylo
rdehà0e
st

h
(z z+a2
)= ( z2+.
.
.)(1+!...+.
.
.)
w

P
arl
elemm
e4.
3.1
1,

m
ais la21:
:;2
,al
ors
1
Iw
l2
:4'
Au
trem
entd
it
,lo
r eIw
squ l<~ ce
laimp
liqu
eqew E f
u (D)
.Ai
nsi
, ~ cf
(D)
.
D
eplu
s iF:
,s D -+Cp
eutê
treno
rma
li
séev
ersf
(z)av
ecF
(O tIF
) = ae '
(O)
I= b,
a
lor
s ~ cF
(D)
.0

4
.3.2 Bo
rne in
fér
ieu
re

A
vecl
'a
ideduth
éor
ème~ d
eKo
eben
ouspouvon
sma
int
enan
tdémon
tre
rla
f
orm
uled
elabo
rnei
nfé
rie
ure
.Ce
ttef
orm
ules
erau
ti
li
séepou
rdév
elopp
erl
abo
rne
in
fér
ieu
reb
icom
ple
xe.C
ett
e bo
rnee
stl
eré
sul
tatp
rin
cip
alp
erm
ett
antl
avi
sua
li
-
s
ationd
esf
rac
tal
esàl
'a
idedur
ay-
tra
cing
.

Théorème4.3
.13(Bo rn
ein férieu re)L
adi
sta
nced
'unpo
intzE C
\Kc àK
c
t .t t '. ,s inh
[G (z
) ]
estsncemen sup
eneu
rea2eG(z)IG
'(z)
l'

P
reuv
e.S
oitcp
, uneapp
lic
ationb
iho
lomo
rph
e

oùD = {
zl
ll<1
z }.So
itr
(z)= ~ a
lor
s

r0 c
p:C
\Kc-+D
\{O
}.

49

Rep
roducedw
ithpe
rmiss
iono
fthecopy
righ
towne
r. Fu
rthe
rrep
roduc
tionp
roh
ibi
tedw
ithou
tpe
rmiss
ion
.
 1
d
:=r
(4)c
(co
))= 4>c ) ED
(co \{O
}.
So
itmd
(z)l
atr
ans
form
ationd
eMü
biu
sdé
fin
ied
elam
ani
ère su
ivan
te:

z
-d
md
(z)= .
1-dz
G
râe àmd
c (z)
, nou
spouvon
str
ans
form
erund
isqu
eun
itéa
rbi
tra
ire
,cen
tréen
z
éro
,enund
isqu
eun
itéc
ent
réenz
ér ùde
oo std
épl
acée
n0e
t0en-d(
voi
rla
p
reuv
eduth
éor
ème4
.2.6
).D
éfi
nis
son
s wc
omm
e

Mon
tron
squ
ewe
stun
iva
len
tesu
rled
isq
ueun
ité
.Pu
isqu
e

md 0 r0 4>c :C \{-
\Kc ~ D d
l
nou
sav
onsqu
e
w:D ~ C\Kc,carIdl<1et ~~ 1 1= 1

e
tw app
l e0àco
iqu ,i.
e.
w
(O) = Co.

P
rouvon
s

1'
(0)
1·=
R= ~ 1
w. )1.
~ (co
Pu
isqu
e
(
A
.)
md 0 r0 'Pc Z
(
)
= ~ -1d =1- d4>c(z),
1
-d<
/
!c(z) 4>c
(z)-d
e
t
m '
r0 4> )()
z = ~ -d )- ~ -d4>c
(z)
)
( 0 ~ ~ ~

c C (4
)c(z)_d
)2
~ -d4>
c()+Id
z l2- 1+d4>c(z))
-
(4
)c(z
)-d )2

50

Rep
roducedw
ithpe
rmiss
iono
fthecopy
righ
towne
r. Fu
rthe
rrep
roduc
tionp
roh
ibi
tedw
ithou
tpe
rmiss
ion
.
 _ ~ -1)
(cPc
(z
)-d
)2
Enév
alu
antàCo nou
sob
tenon
squ
e:

~ -1) ~ -1) ~
- - 2
(cPc
(co
)-d
)2 (â-d)2 ld
l- 1.
D
onc enpo
s tz=
an fJï,
)1=I )1= 1 =
2
d(W
(Z) d((m
d0 r0cP
c)-
l(Z
) - ld1 ~ 1
I d
z dz ~ ~

F
ina
lem
ent
,enu
ti
lis
antl
elemm
e4.
3.1
2,

,~
D(Co cw
(D)= C
\Kc
.

A
ins
i,l
adi
stan
c eCo àK
ed ces
t

R s inh
[G(z
)]
d
(co
,K)>'
c 4= 2eG
(z
)IG
'
(z)1

p
arl
apr
euv
eduth
éor
ème4
.2
.6
.0

4
.4 Bo
rns àl
e 'en
semb
led
eMand
elb
rot
M
ain
ten
antq
uenou
spo
ssédon
sle
sbo
rne
sdel
adi
stan
ceauxe
nsem
ble
sde
Ju
lia
,ile
stp
oss
ibl
ed'u
ti
lis
erc
eré
sul
tatpou
rtrouv
erl
esbo
rne
sded
ist
anc
eà
l
'en
semb
led
eMand
elb
rot
.

Th
éor
ème4
.4.1 I
lex
is
teun
eapp
lica
tionb
iho
lomo e't/Jt
rph ell
equ
e

P
reuv
e.S
oitf
c()=Z2+c
z etf
o()=Z2 e
z tso
itcP,u
neapp
lic
ationb
iho
lomo
rph
e

51

Rep
roducedw
ithpe
rmiss
iono
fthecopy
righ
towne
r. Fu
rthe
rrep
roduc
tionp
roh
ibi
tedw
ithou
tpe
rmiss
ion
.
 A
. Dou tJ
ady e .H
. Hubb
ard on
trem
arqu ecPe p
équ eutê
trec
hoi
sid
eso
rtequ
e

cPe0 fe0 cP;;1 =fo(

enp
art
icu
lircP
e e )=(0
(oo ).

C
ett
erem
arqu
es'
app
liqu
epou
rz= ce
tenpo
s t'
an l
/J
(c):=cPe
(c)nou
sob
tenon
s

'l/J:
C\M-+C
\D.

V
oir [5
]et[15
]pou
rle
sdé
tai
lscon
cern
antc
esu
je.0
t

Co
rol
lai
re4
.4.2 L
adi
sta
nced
'unpo
intz
,zE C
\M, àMe
sts
tri
ctem
entin
fé-
r
ieu
reà ~~~ ~ ùG
o (
z)e
stl
epo
ten
tie
laupo
intz
.C'
est
-à-d
ire

2
sinh
[G(
z)]
d
(z,M
) < IG
'
(z)1 .

P
reuv
e.I
lsu
ff
itd
'ut
il
ise
rl'
app
lic
ationb
iho
lomo
rph
eduth
éor
ème4
.4
.1
,

'
l
/J:C
\M-+C
\D

d
ansl
eth
éor
ème4
.2
.6pou
rav
oirl
afo
rmu
l.0
e

Co
rol
lai
re4
.4.3 L
adi
sta
nced
'unpo
intz
,zE C
\M, àMe
sts
tri
ctem
ents
upé
-
, ,
as
i
2n
e h G(z
()
)1 o
u,G
()
zestl
epot
ent
' la
upo'
t
m .C
z 'e
st-
a'
-d
'
~ G(z
)IG
' z ~ ~

sinhG(z
)
d
(z )>2eG(z)IG
,M '(z
)l
'

P
reuv
e.I
lsu
ff
itd
'ut
il
ise
rl'
app
lic
ationb
iho
lomo
rph
eduth
éor
ème4
.4
.1
,

'
l
/J:C
\M-+C
\D

d
ansl
eth
éor
ème4
.3.13pou
rav
oirl
afo
rmu
le
.0

5
2

Rep
roducedw
ithpe
rmiss
iono
fthecopy
righ
towne
r. Fu
rthe
rrep
roduc
tionp
roh
ibi
tedw
ithou
tpe
rmiss
ion
.
 4
.5 E
stima
tiond
esbo
rne
sauxen
semb
lesd
eJu
lia
r
emp
lis
Nou
sav
onsd
éjàl
esf
orm
ule
spou
rbo
rne
rlad
ist
anc
eauxen
semb
lesd
eJu
lia
,
m
aisl
'app
lic
ationcP, n
éce
ssa
ireàl
eurc
alcu
l,n
'es
tpa
stou
jou
rsd
ispon
ibl
e.I
lfau
t
don
ces
tim
erc
esbo
rne
s.L
esth
éor
ème
ssu
ivan
tsfou
rni
ssen
tl'
alt
ern
ativ
ené
ces
sai
re
pou
rce
sca
lcu
ls
.

Th
éor
ème4
.5.1(Po
ten
tie
lél
ect
ros
tat
iqu eK
eG d c
)Lepo
ten
tie
lél
ect
ros
ta-
t eG d
iqu 'unpo
in ,zE C
tz \Kcp
eutê
treapp
rox
imép
ar:

o
ù~ e
stl
'i
téra
t ef
iond c
(z)= Z2+c
.

P
reuv
e. So
itf
c()=Z2+c
z etf
o()=Z2 e
z tso
itcP, un
eapp
lic
ationb
iho
lomo
rph
e

comm
emen
tionn
éd sl
an eth
éor
ème4
.4
.,cPc p
1 eutê
trec
hoi
sid
eso
rtequ
e

Pu
isqu
e

a
lor
s

N
ous con
sta
ton
squ rC
esu \D
,lepo
ten
tilG
e (
z) :=lnI<f>c(z)1 doub
leàch
aqu
e
i
tér
ation
,ceq
uiimp
liqu
equ
e:

G
(z)
=G
(Jc
(z)= =
) ~
2 .
.
. 2n
'

5
3

Rep
roducedw
ithpe
rmiss
iono
fthecopy
righ
towne
r. Fu
rthe
rrep
roduc
tionp
roh
ibi
tedw
ithou
tpe
rmiss
ion
.
 D
eplu
s andn-
,qu -+00
,

c
ar ~ ~ ~ lo
r ene
squ stg
rand (
voi
r[2
])
.En u
ti
lis
ant ~ -
U
--1(Z))2+cetparlefa
: itqu
e

(1+U 1+lnI
l+U6
1
=lnIU
-:-(
z))2 6'
-I
(z
)))1
2 =lnIU
-:1
-(z
))2 ' I(z))21
2
n 2
n-1 2
n

a
lor
s

o
Th
éor
ème4
.5.2 Lafo
rmu
led
edi
stan
ced
'unpo
in ,zE C
tz \Kc

sinh
[G(
z)] d(K ) 2sinh
[G(z)
]
(
4.4
)
eG(
2 z
)IG
'
(z)1< z
, c < IG'(
z)1 '

oùG
(z)e
stl
epo
ten
tie
laupo
intz
,peu
têt
ree
stim
éed
elaman
ièr
e su
ivan
te:

IZnl d
(K ) 21z
nl1
nIZn
l (
4.5
)
1 < z,c < 1 1
~ ~ ~

P
reuv
e. Po sZn= ~
son a
vecZo :=ze
t ~ :=:
z~ P
arl
eth
éor
ème
4
.5.1
,

rng
pou rand
,alo
rs

IG
'
(z)
1 ~ ~ ~ (vo
irann
exeB
)
e
t
G
() lnI
:
,;n
l 1
e z~ e2 = IZn
l2
l'
ï
.

5
4

Rep
roducedw
ithpe
rmiss
iono
fthecopy
righ
towne
r. Fu
rthe
rrep
roduc
tionp
roh
ibi
tedw
ithou
tpe
rmiss
ion
.
 No
ton
s qu
esinh
(z)~ zqu
andze
stp
rèsd tG
e0e (
z) ~ 0lo
r eze
squ stp
roch
ede
K
c (vo
ir[2
]ch
api
tre9
.10
).A
ins
i,

2
sinh
[G(z)
] IG
(z)
1
1G
'
(z1 ~ IG
) '
(z)1

~ ~ ~ ~ ~
~ ~ = ~
e
t
s
inh
[G(
z)] IG
(z)
1 llnIZn
IZn l
2eG(
z)IG
'
(zI~ 21G
) '
(zIeG(z) ~
) ~ ~
rng
pou r .0
and

4
.6 E
stima
tion d
esbo
rne
sàl
'en
semb
led
e
Mand
elb
rot
I
ln'
exi
step
asen
cor
ed'
est
ima
tionpou
rle
sbo
rne
sded
ist
aneàl
c 'en
semb
led
e
M
and
elb
rot
. L
eprob
lèm
eét
antqu
'i
les
ten
cor
eimpo
ssib
led
'app
rox
ime
rlaf
onc
-
t
iond
epo
ten
tie
ldec
eten
semb
lecomm
eef
fec
tuéc
i-d
essu
s.P
arcon
tre
,te
lqu
e
m
ent
ionn
éd s[
an 13
],l
'es
tim
ationd
esbo
rne
sded
ist
anc
ede
sen
semb
lesd
eJu
lia
donn
ed'
exc
ell
ent
sré
sul
tat
spou
rl'
ens
emb
led
eMand
elb
rot
.

D
ansl
ech
api
tre6
, nou
sexp
liqu
eron
scomm
entv
alid
erc
ett
eaf
firm
ationd
e
f
açonemp
ir
iqu
e.D
eplu
s,l
ele
ct rpou
eu rras
econv
ain
cre
,encomp
aran
tle
sim
age
s
g
éné
rée
s(F
ig.1
,2e
t3)a
vecc
el
lesd
ans[
18]
,quele
sré
sul
tat
sson
tcon
clu
ant
s.

55

Rep
roducedw
ithpe
rmiss
iono
fthecopy
righ
towne
r. Fu
rthe
rrep
roduc
tionp
roh
ibi
tedw
ithou
tpe
rmiss
ion
.
 Chapitre 5

Bornes de la distance à l'ensemble

de Mandelbrot généralisé

Les théorèmes qui suivent sont totalement inédits. Ils fournissent des formules
pour borner la distance aux ensembles de Julia et Mandelbrot généralisés. Grâce à
l'analyse bicomplexe, il est possible d'adapter les formules de distance complexes
au cas bicomplexe. Avant de débuter, nous allons définir les ensembles suivants
(voir [20]):

Définition 5.0.1 (Ensemble de Mandelbrot généralisé M 2) Pour tout c E

11', nous associons l'appl'ication Pc(w) = w 2 + c. Si l'itération de Pc(w) appliquée à
o ne converge pas vers l'infini alors c E M2' i.e.

M 2 = {c E 11' : p;n(o) f+ 00 lorsque 11, - t oo}.

Cet ensemble est appelé l'ensemble de Mandelbrot généralisé.

Définition 5.0.2 (Ensemble de Julia remplis généralisé J(2,c) Soit l'applica-

tion Pc: 11' -t 11', Pc(w) = w2 + c, cE 11'. Si l'itération de Pc(w) appliquée à w E 11'

56

Reproduced with permission of the copyright owner. Further reproduction prohibited without permission.
 ne converge pas vers l'infini alors w E lC 2 ,c, i. e.

lC2 ,c = {w E '11': p:n(w) f+ 00 lorsque n -t oo}.

Cet ensemble est appelé l'ensemble de Julia rempli généralisé associé à c, il est
fermé et connexe, ou une poussière de Cantor, ou non-connexe mais pas totale-
ment non-connexe.

Définition 5.0.3 (Le Tétrabrot T) Pour tout cET de la forme a+bit +ci2 +Oj,
nous associons l'application Pc(w) = w 2 + c. Si l'itération de Pc(w) appliquée à 0
ne converge pas vers l'infini alors w ET, i. e.

T = {a + bit + ci 2 + dj ET: d = 0 et Pcon(O) f+ 00 lorsque n -t oo}.

Cet ensemble est appelé le Tétrabrot.

Notons que lorsque nous ferons référence aux ensembles de Julia généralisés (Fig.
7), il sera question uniquement des ensembles remplis et connexes.

5.1 Préliminaire
Afin de démontrer la version bicomplexe des distances présentées dans le chapi-
tre précédent, nous devrons définir une propriété de la distance d'un point w E '11'
comme une fonction de deux distances dans le plan complexe (avec it).

Lemme 5.1.1 Soit d(w,lC 2 ,c) = inf{lw - al : a E lC 2 ,c} défini comme la distance
"bicomplexe" de w = Zl + z2i2 ET à l'ensemble de Julia lC 2 ,c où c = Cl + c2i2 ET.
Alors,

(5.1)

57

Reproduced with permission of the copyright owner. Further reproduction prohibited without permission.
 P
reuv
e. So
i l+a2
ta= a i2E!C2
,c
'Encon
sid
éran
tlef
ai e!C2
tqu ,c= !
cc1
-c2
Î1Xe
q+
!C c2h (vo
ir[
18]
),nou sa
savon l-a
2Ït E !Cq-C2
Ï ta
te l+a
2Ït E !Cq+
c2h
'Pa
r
con
séqu
ent
,

Iw-a
l - I
(ZI-z2
Ït)
el+(Z
l+z2
Ït
)e2-(
al-a2
Ït)
el-(
al+a
2Ït
)e2
1
- I
( I-Z
(Z 2Ït
)-(
al-a2
Ït)
)el+(
(Zl+Z
2Ït
)-(
al+a
2Ït
))e
21
_ (
'(z
,-z
,Ï
t)-(
a,-a
,Ït
)!
'+2
!(' +z
(Z ,i
,)-(
a,+a
'i
,))
!,)'
l
'
> [
[d ,-z
(Z ,
i,
,}
;;
o,_
"l
,)
]'~ [d
(z,+z
,i
,,Ko
,+"h
)l
']
'l'

e
stun
ebo
rnein
fér
ieu
repou
rl'
ens
emb
le{
lw-a
l:aE !C2
,c
}'Ma
int
enan
t, suppo
son
s
qu
e

So
it

d
'=( V
' )_ [
[d(Z
I-Z2
Ït
,!C
q 2il
-C )]2+[d
(ZI+Z2
Ït
'
!CC1+C2h
)]2
]1/2 0
E• W
,
/\
..2
,c 2 >.

I
les
tév
iden
tqu
'i
lex
ist
eunen
tie
rpo
sit
ifna
sse
zgr
andt
elqu
e

[
[d '-z
(Z ,i
',
};;o
,- )+~ ~ [d
"h (z,+z
,i
,,}
;;"+
"h)+~

[d
(ZI-Z2
Ït
,!CC1
-C2h
)]2+[d
(ZI+Z2
Ït
'
!CC1+C2h
)]2
]1/2
<[ 2 +E
.

P
arcon
tre
,d'
apr
èsl
adé
fin
it
iond
el'
inf
imum
,ilex
ist
edeuxnomb
rescomp
lex
es
a
l-a
2ÏtE!Cq-
c2 ta
he l+a
2ÏtE!CC
l+C2il t
elsqu
e

e
t

d
(Zl+Z2
Ït
'
!CC
l+C2h
)::
;I I+Z
(Z 2Ït
)-(
al+a
2h1<d
) (ZI+Z2
Ït
' )+~
!Cq+C2h
n
5
8

Rep
roducedw
ithpe
rmiss
iono
fthecopy
righ
towne
r. Fu
rthe
rrep
roduc
tionp
roh
ibi
tedw
ithou
tpe
rmiss
ion
.
 Don
c,

Iw_a
l< [
[d l-z
(Z ,i"K
"_,
,,.
.)+~ ;[d(Zl+z,i"K"+,,,,)+~
[d
(Zl-z2h
,
lCC
l-C2h
)J2+[d
(Zl+Z2h
,
lCC
l+C
2h)
J2j
l
/2
< [ 2 +E
- d
(w,
lC2,
c)

e
stun
econ
trad
ict
ion
.0

M
ain
ten
ant
,af
ind
'ob
ten
irl
esbo
rne
sbi
com
ple
xesd
edi
stan
ce,i
les
tné
ces
sai
re
d
edé
fin
irc
equ
enou
sapp
ell
eron
slepo
ten
tie
lbi
com
ple
xed
'unpo
intw E 11
'
.Te
l
qu
'énon
céd
ans[4Je
t[13
],l
epo
ten
tie
lél
ect
ros
tat
iqu
eàunpo
intZ E C\ lCbe
st
d
éfi
nic
omm
e
G
(Z) :=lnIcPb
(Z) E IR
1

oùcPb :
C\ lC
b--
tC\ B
l(O
,l
)es
tbiho
lomo
rph
e.

D
éfin
ition 5
.1.2 So
it

d
euxp
ote
nti
elsé
lec
tro
sta
tiq
ue ùcPbi :C
so (h) \lCbi -
-C
(h
t ) \B
l(O
,l
)es
tbi
-
h
olom
orp
hep
ouri=1
,.L
2 ep
ote
nti
elb
icom
ple
xed
'unpo
in l +z
tw =Z 2hE
(C
(h)\lCb1)x
e(C
(h)\lCb2),e
std
éf
inic
omm
e:

e
t

5
9

Rep
roducedw
ithpe
rmiss
iono
fthecopy
righ
towne
r. Fu
rthe
rrep
roduc
tionp
roh
ibi
tedw
ithou
tpe
rmiss
ion
.
 Il est possible d'exprimer ce potentiel électrostatique bicomplexe de façon si-
milaire à celui d'une variable complexe.

Théorème 5.1.3 Soit G : 1r \e lC2•c ----t lIJ) un potentiel bicomplexe et c = (Cl -

c2Ït)el + (Cl + c2Ït)e2' Alors,

G(w) = ln IcPc(w)lj 'iw E 1r

où cPc : 1r \e lC 2•c ----t 1r \e D(O,l) est biholomorphe en terme de deux variables

complexes.

Preuve. D'après la définition 5.1.2, le potentiel bicomplexe G(w) peut être ex-
primé comme G I (ZI-z2Ït)el +G 2(ZI +z2Ït)e2 où G I (ZI-Z2Ït) = lnlcPCl-C2 i l(ZI-
z2Ït)1 et G2 (ZI +Z2Ït) = lnlcPCl+C2h(ZI +z2h)1 avec cPq-c2h: C(il) \lCCI-C2h ----t

C(it) \ BI(O,l) et cPcl+czh : C(it) \ lCCl+C2h ----t C(h) \ BI(O,l) qui sont deux
fonctions biholomorphes d'une variable complexe. Soit

G(w) - GI(ZI - z2Ït)el + G2(ZI + z2Ît)e2

- (ln l<Pq-C2il (Zl - z2Ît)l)eI + (ln IcPCl+C2h (Zl + z2Ît)I)e2

- ln[lcPcl-c2h(ZI - Z2Ît) leI + IcPCl+C2il(ZI + z2Ît)l e 2]

- ln IcPq-C2h (Zl - z2Ît)el + cPq +c2h (Zl + z2Ît)e2lj

où

De plus, d'après le théorème 3.5.10, cPc et cP;;l sont deux applications 1r-holomor-
phes où D(O,l) := BI(O,l) Xe BI(O,l) et lC2 •c = lCCI-C2h Xe lCq +czh (voir [18]). En
particulier, <Pc est biholomorphe en terme de deux variables complexes. 0

60

Reproduced with permission of the copyright owner. Further reproduction prohibited without permission.
 5
.2 Bo
rne
sded
istan
ce auxen
semb
lesd
e Ju
lia
r
emp
lisg
éné
ral
isé
s
Nou
s pouvon
sma
int
enan
tci
terl
eré
sul
tatm
ajeu
rdec
edo
cum
ent
.

Th
éor
ème5
.2.1(Bo
rne
sded
istan
c 2,
eàlC c
)So
i l+
tWo = Z z2
i 'e
2 E 'J
I tCl +
c2
i2E M 2•A
lor
s, lad
is
tan
ced
(wo
,
lC2 ,c
)en
treWo àl
'ex
tér
ieu
rdelC2,ce 2,
tlC cl
ui-
m
êmes
ati
fai
t:
(1
)SiWo E 'JI'\
eJC2,c,

s
inh[G
(wo
)] 1 d( lC ) 12s
inh
[G(wo
)]1 (5
.2
)
1
2eG
(wo)G
'(wo
) < W
o, 2
,c < G
'(wo
)
o
ùG(w
o)e
stl
epo
ten
ti
elb
icom
ple
xea
upo
intwo
.Dep
lus
,ce
sbo
rne
speu
ven
têt
re
a
ppr
oxim
éesp
ar

[Link]
l
j <d( JC2,c) ln1W nI
l
wnln n
,u wo
, <12
-
W, j (
5.3
)
21wl
j ~
2
w n

o
ùWn:=p
;n(w
o)e
t ~ := [
p;n
(w)
] d!
lw=w
o\inE N
.
(2
)SiWo E (<C
(h)\lCC
I )x
-C2h e(
lCC
l+C2
i
l)
'

(
5.4
)

(5
.5
)

(5
.6)

6
1

Rep
roducedw
ithpe
rmiss
iono
fthecopy
righ
towne
r. Fu
rthe
rrep
roduc
tionp
roh
ibi
tedw
ithou
tpe
rmiss
ion
.
 s
inh
[G2(
zl+Z
2Ït
)] d
( lC ) J2s
inh[G l+Z
2(Z 2Ï
t)
]
(
5.7
)
~ +z2h)!< wo ,c <
, 2 ~ +z2h)!
e
tce
sbo
rne
spe
uve
ntê
trea
ppr
oxim
éesp
ar

(
5.8
)

J2
!Zln+Z2nÏt!! .1
d(
wolC2,c)< !
, ( , .')
'!lnZ
l,n+Z2
,n11 (
5.9
)
+Z2,n1l n
Z
l,n

o
u,Zl
,n+Z2
.
,n1
1
._po
n(l+Z21
-c Z
.
' )
1 e Z,n+Z2
t(l .
,n1
)
"
l .
_
-
d[ ()
pon ]
!=ZI+Z21
z c Z Z
d
.
1'

P
reuv
e. So
itWo E'
l'\lC
I 2,'A
c lo
rs, Wo E'
lI
'\[
lCC
I-C2hXelCC
I+c2i
lle
tnou
sob
tenon
s
t
roi
spo
ssib
il
ité
s:

(1
)SiZ
l -Z
2Ït EC
(Ït
)\lCC
l-C2he
tZl+Z
2Ït EC
(h)\lCC
l+C2h
'D'
apr
èsl
elemm
e
5
.1.1
,nou
spouvon
sexp
rim
erl
adi
stan
ceb
icomp
lex
eenfon
ctiond
edeuxd
ist
anc
es
d
ansl
epl
ancomp
lex
ecomm
esu
it
:

M
ain
ten
ant
, enu
ti
lis
antl
esin
éga
li
tés(4
.4)duth
éor
ème4
.5.2
,nou
sob
tenon
sle
s
e
stim
ation
ssu
ivan
tes
:

6
2

Rep
roducedw
ithpe
rmiss
iono
fthecopy
righ
towne
r. Fu
rthe
rrep
roduc
tionp
roh
ibi
tedw
ithou
tpe
rmiss
ion
.
 A
lor
s,

d
(WO
,J
(2
,) <
c
2
sinh
(1 G
[G
i
(Z
l
l
(Z
l
-Z2
i
-Z2h
l)
) )2+(12
]1
2
sinh
[G2
~
(Zl+Z2h
)]1
)2 1
/2
1
[
2sinh
[G I- Z2i
I(Z l
)] 2sin
h[G2(zl+z2h ] 1
)
- 1 G'1( '
I - Z211
Z ) e
l + G
' (
2Z '
I +Z211) e2
_ 1
2Sinh
[Gl(ZI-z2h )]l+2
e sinh[G2 I+Z
(Z 2 h
)]e
21
G
i(Z I- z2h)l+ ~
e +z2h)e2
_ 1
2si
nh[G(w o
)]1
G'
(wo)1
e
t

(12eG1s(izn1h[Z2Gl1(lzlG-iZ(2Zhl)-]Z2h)1)2+
1
(1 sinh[G2(zl+~Z211+)]z2h)1)21
2 2eG2(Zl
1
/2
d
(wo
, )> [
lC2,c

sinh[Gl(zl-z2h)
] s
inh
[G (
2zl+z2h
)] 1
- 1
2eG1(z
l-z2h)G
i(Z
I-Z2h)el+ ~ +z2h )e2
_ 1 s
i nh[Gl(I- z
Z 2h
)]l+s
e i
nh[G(
2zl+z2h)
]e2 1
2eG1(Z
l-Z2h)Gi
(z
l-z2h )l+
e ~ +z2h)e2
_ 1sinh
[G (wo)
]1
2eG(wo)G'
(wo)1.

D
epl
us,d
'ap
rèsl
esi
nég
al
it
és(
4.5
)duth
éor
ème4
.5
.2
,no
usob
tenon
sle
sap
-
p
rox
ima
tion
ssu
iva
nte
s:

63

Rep
roducedw
ithpe
rmiss
iono
fthecopy
righ
towne
r. Fu
rthe
rrep
roduc
tionp
roh
ibi
tedw
ithou
tpe
rmiss
ion
.
 e
t

(Z
I,
n-z2
,n1
l)In
(lz
l,n
-Z2
,n1
ll + (
z
2
l,n+
z2,n
il
lln
(lz
l,n
+ ,n1
z2 ll
2
]1/2
d(
Wo ,
l'v2
,
V
')
c>
[2
1Z,
1n ~ (
zl,n
-Z2
.nl
1)' 2 ~ (Z
I, Z
n+2.
nll
)'

_ (Z
I.n
-Z2
,nh
)In
(lzl
.nZ
-2
,nh
l e
l+ (Z
I Z
,n+2,n
Îl)I
n(zl
l , Z
n+2,nh
l e21
2
1z1
.n-Z2
.nh
l;
t(Z
I,n
-Z2
.ni
l)
' 2
Iz1
.n+Z2
.nhl
;t(Z
I.n+Z2
,nh
)'
(
(Zl
,nZ
-[Link]
)In
(lzl
,n-
z2,nhD
el+
((Z
l.n+Z
2,nh lzl
)InC , Z
n+2,nhl
)e2 1
- l
2
(lz
l.n-
z 2
.nh
lel
+IZ
l,n+Z2
,ni
lle2
)2l
I"(
(ZI
,n-Z2
,nh
)'e
l+(Z
I.n
-Z2
,ni
l)
'e2
)

~ ~ - !
[p:
ln-C2h
(Z)
llz=Z
I-Z2he
l

+ ~ ~~ (
z)l
lz=Z
l+z2he2

\
InE N (
voi
rth
éor
ème3
.5
.10
).

(2
)SiZ
l- Z2
Ït EC
(h) \lCCI-C2h e
tZl +Z2
Ït E lCC1+
C2i
l'D
ansc
eca
s,d
(Zl+

z2
Ît,
lCc
l+C2h
) =O. Parconséquen
t,dul
emm
e5.
1.1nou
spouvon
sexp
rim
erl
adi
s-
t
anc
ebi
com
ple
xec
omm
eun
edi
stan
ced
ansl
epl
anc
omp
lex
edel
afa
çonsu
ivan
te:

En u
ti
lis
antl
esin
éga
li
tés(
4.4
)et(
4.5
),duth
éor
ème4
.5
.2
, nou
s ob
tenon
sle
r
ésu
lta
t.

(2
).D

6
4

Rep
roducedw
ithpe
rmiss
iono
fthecopy
righ
towne
r. Fu
rthe
rrep
roduc
tionp
roh
ibi
tedw
ithou
tpe
rmiss
ion
.
 5.3 Bornes de la distance à l'ensemble de
Mandelbrot généralisé
Comme nous l'avons démontré dans la section 4.4, les formules (4.4) du théorè-
me 4.5.2 fonctionnent aussi pour l'ensemble de Mandelbrot en utilisant le potentiel
respectif à cet ensemble. Par conséquent, d'après le fait que M 2 = Ml Xe Ml (voir
[18]) où Ml := {b E C(i1 ) : Pbn(o) -rt 00 lorsque n ~ oo} il est simple d'obtenir
la formule d'estimation de la distance pour M 2•

Théorème 5.3.1 (Borne de la distance à M 2) Soit Wo = Zl +z2i2 E 1I'. Alors,

la distance d(wo,M 2 ) entre Wo à l'extérieur de M 2 et M 2 lui-même satisfait:

sinh[G( wo)] 1 d( M) 12 sinh[G(Wo)] 1

(5.10)
1
2eG (w o)G'(wo) < wo, 2 < G'(wo)
où G (wo) est le potentiel bicomplexe au point Wo construit à l'aide de deux poten-
tiels, GI et G 2 , de l'ensemble de Mandelbrot.

(2) Si Wo E (C(h) \ Ml) xe Ml,

(5.11)

(3) Si Wo E Ml Xe (C(h) \ Ml)'

(5.12)

65

Reproduced with permission of the copyright owner. Further reproduction prohibited without permission.
 P
reuv
e. C
ett
epr
euv
ees
tsim
ila
ireàl
apr
euv
eduth
éor
ème5
.2
.1
.Pa
rcon
tre
,
d
ansc
eca
s,l
epo
ten
tie
lbi
comp
lex
eut
il
isel
epo
ten
tie
lél
ect
ros
tat
iqu
ede
spo
int
s
es
s i
tu tàl
an 'ex
tér
ieu
rdel
'en
semb
led
eMand
elb
rot(
voi
r[4
]et[
13]
).

D
eplu
s,i
les
tbi
enconnu(
voi
r[1
3])qu
e,d
efa
çonexp
érim
ent
ale
,le
sfo
r-
mu
les(
4.5
)duth
éor
ème4
.5
.2donn
entd
etr
èsbon
sré
sul
tat
spou
rl'
ens
emb
led
e
M
and
elb
rot
.Pa
rcon
séqu
ent
,enu
ti
lis
antl
ate
chn
iqu
eduth
éor
ème5
.2
.1
,nou
spou
-
von
sob
ten
irl
esfo
rmu
lessu
ivan
tes(d
'app
rox
ima
tionexp
érim
ent
al rM 2):
spou
e

(1
)SiWo E'
l'\
I eM2
'le
sbo
rne
sdel
adi
stan
cep
euv
entê
treapp
rox
imé
esp
ar

(
5.1
3)

oùW n:=~~ e
t ~ := ~ ~ '
ï
/nE N
\{O
}.

)S
(2 iWo E(C
(h)\M
I)X
eMI
'le
sbo
rne
sdel
adi
stan
cep
euv
entê
treapp
rox
imé
es
p
ar
(
5.1
4)

(
5.1
5)

(3
)SiWo EM
lxe(C
(i1)\M,l
I) e
sbo
rne
sdel
adi
stan
cep
euv
entê
treapp
rox
imé
es
p
ar
(
5.1
6)

6
6

Rep
roducedw
ithpe
rmiss
iono
fthecopy
righ
towne
r. Fu
rthe
rrep
roduc
tionp
roh
ibi
tedw
ithou
tpe
rmiss
ion
.
 (5.17)

67

Reproduced with permission of the copyright owner. Further reproduction prohibited without permission.
 Chapitre 6

Ray-Tracing pour les fractales

bicomplexes

6.1 Introduction
Le ray-tracing est une méthode simple dont le fonctionnement est similaire à
celui de l'oeil humain. Elle fut popularisée durant les dernières années par les fa-
natiques du réalisme des images de synthèse. La capacité de calcul des ordinateurs
d'aujourd'hui et les logiciels gratuits comme POV-RAY ont aussi aidé à répandre
l'usage de la technique.

Pour les fractales en trois dimensions, le ray-tracing apporte une solution élé-
gante à plusieurs problèmes. En effet, l'algorithme d'échappement utilisé dans [18]
nécessite beaucoup de temps de calcul. Le ray-tracing est rapide, offre des images
réalistes et permet d'explorer facilement les fractales.

Le principe du ray-tracing est de simuler la réalité des phénomènes optiques:

68

Reproduced with permission of the copyright owner. Further reproduction prohibited without permission.
 ombrage, réflexion, réfraction et perspective. La technique consiste à suivre chaque
rayon lumineux de la scène qui arrive dans l'oeil de l'observateur en passant par
un pixel de l'écran. Le suivi des rayons se fait à partir de l'oeil de l'observateur,
en partant du principe que le sens d'un rayon lumineux n'a pas d'importance. Les
rayons issus de l'oeil rencontrent, en général, un objet de la scène. Il reste donc à
déterminer la lumière reçue au point d'intersection.

6.2 Problématique
Nous voulons utiliser le ray-tracing pour générer des images de nos fractales,
mais un problème évident nous empêche d'utiliser cette méthode sans modification.
Par définition, nous ne pouvons déterminer l'emplacement exact d'un point faisant
partie de la frontière d'un de nos ensembles. Alors, il est impossible de trouver
l'intersection entre un rayon et la bordure fractale.

Dans notre cas, pour les ensembles de Mandelbrot et Julia remplis généralisés,
il est tout de même possible de savoir si un point est à l'intérieur ou à l'extérieur
de l'ensemble. Avec ce fait, il serait possible de vérifier, à certains intervalles sur
le rayon, si nous avons atteint l'ensemble. Par contre, des parties de la structure
fractale peuvent se trouver à l'intérieur d'un intervalle et donc, le rayon traverserait
l'ensemble. Si nous diminuons la taille des intervalles, il n'est pas garanti que ce
problème sera réglé et de plus, le temps de calcul augmenterait énormément.

La formule de distance vient solutionner ce problème. En connaissant à tout

moment la borne inférieure de la distance, il est impossible qu'un rayon traverse
la fractale. Nous allons donc montrer comment utiliser les résultats du chapitre
précédent dans un logiciel de ray-tracing pour générer des images des fractales

69

Reproduced with permission of the copyright owner. Further reproduction prohibited without permission.
 bicomplexes. Nous ne présenterons pas le fonctionnement du ray-tracing car c'est
un sujet simple et très documenté (voir [8]).

6.3 Ray-Tracing pour les ensembles de Julia rem-

plis bicomplexes
Dans cette section, nous décrirons comment utiliser le ray-tracing pour les en-
sembles de Julia remplis généralisés dans JR4. Les considérations supplémentaires
pour obtenir les résultats dans JR3, ainsi que celles pour l'ensemble de Mandelbrot
bicomplexe, sont fournies dans la section suivante.

Il est décrit dans [4] et [9] comment utiliser des estimations des bornes de
distance en conjonction avec le ray-tracing pour produire des images de fractales
déterministiques. Nous présentons, ici, sensiblement la même méthode, mais d'une
façon qui est mathématiquement plus rigoureuse.

Soit

La borne inférieure de la distance, notée Dl, garantit que pour tout vecteur quadri-
dimentionnel w E C 2 \K2 ,c, la boule BIR.4(w,DI(Z)) ne croisera pas l'ensemble de
Julia K 2 ,c' Puisque nous avons seulement la borne inférieure de la distance, le
volume maximal de la boule qui ne croise pas K 2 ,c peut être supérieur. C'est pour-
quoi, lorsque nous suivons le rayon, nous avançons de la longueur Dl et de façon
successive, nous réévaluons Dl pour progresser vers la fractale.

70

Reproduced with permission of the copyright owner. Further reproduction prohibited without permission.
 Soit 'Ü un vecteur unitaire dans }R4 et /.L un point dans C2\K2,c. Définissons

_ }._
{z/.L,v,n .-
- -- ,...II.
Z /.L,V,O
(6.1)
{ Z/.L,v,n = Z/.L,v,n-l + DI(Z/.L,V,n-l)'Ü
Par définition, aucun point dans K 2,c ne peut être membre de cette séquence. Si
nous posons /.L comme l'oeil de projection et que nous utilisons v comme l'orienta-
tion du rayon, alors

(6.2)

est notre algorithme de ray-tracing. En termes simples, nous émettons un rayon

de l'oeil vers l'objet. De façon itérative, nous faisons de petits bonds sur le rayon
de longueur égale à la valeur de Dl aux points où les bonds atterrissent. Deux
événements peuvent survenir, le rayon peut passer à côté de la fractale ou il peut
converger vers elle Le.
L Dl (Z/.L,v,n) =
00

00 (6.3)
n=O
ou
00

(6.4)
n=O

Dans une procédure informatisée, nous utilisons l'approximation Dl car nous

ne possédons pas la fonction cp, de la formule de potentiel, nécessaire pour calculer
Dl' De plus, lorsque nous lançons un rayon, nous devons discerner si nous sommes
dans le cas (6.3) ou (6.4). Nous allons définir E qui servira de critère d'arrêt pour
notre rayon. Si IZ/.L,v,nl < E, nous considérerons avoir atteint la fractale et que nous
sommes dans le cas (6.4). Évidemment, plus E est petit, plus l'image de la fractale
tracée sera près de la réalité. Si IZ/.L,v,n - /.LI devient suffisamment grand et que nous

71

Reproduced with permission of the copyright owner. Further reproduction prohibited without permission.
 ne sommes pas dans le cas (6.4) nous assumons que la condition 6.3 est satisfaite.
Une façon plus efficace de traiter èe cas est discutée dans la section 6.6.

Cette méthode nous permet de suivre les rayons dans JR4 et de discerner si nous
approchons ou non de l'ensemble de Julia. En spécifiant un € suffisamment petit,
il sera possible de s'approcher très près de la structure fractale à l'aide des rayons ..

6.4 Ray-Tracing pour les coupes de M 2 dans JR3

A l'aide des résultats de la section précédente, nous allons maintenant voir com-
ment visualiser les coupes des ensembles de Mandelbrot et Julia remplis généralisés
dans JR3.

Pour M2' nous ne possédons pas l'équivalent de Dl pour Dl, mais des résultats
expérimentaux dans [13] ont démontré que la formule de distance estimée pour
les ensembles de Julia donne d'excellents résultats pour l'ensemble de Mandelbrot.
Par contre, nous devons être prudents. À chaque intervalle sur le rayon, nous de-
vons vérifier si nous sommes dans l'ensemble pour nous assurer que la formule ne
donne pas une distance erronée. Cette vérification peut être exécutée à l'aide de
l'algorithme d'échappement standard. À partir de ce fait, nous utilisons Dl des
ensembles de Julia pour le ray-tracing de M 2 .

Pour générer les images des coupes des ensembles de Julia et M2' comme le
Tétrabrot, nous utiliserons

72

Reproduced with permission of the copyright owner. Further reproduction prohibited without permission.
 Évidemment,

Puisque nous calculons la distance dans JR4, le rayon peut arrêter près de M2'
mais loin de la coupe désirée. Pour avoir la certitude que nous générons une
. représentation fidèle de l'objet, il est nécessaire de prendre de petits €.

Par exemple, traçons un point du Tétrabrot. Soit Pt E T. Soit

le premier terme de Z/1;,v,n qui descend en dessous de E. Finalement, soit

le point de M 2 le plus près de Z/1;,v,n< i.e.

En considérant

si € -t 0 alors !d2 ! -t 0 et !Pe - Pt! -t 0, en assumant que Z/1;,v,n converge vers

Pt. Ainsi noUs sommes certains que nous générons bien l'image du Tétrabrot. Avec
ce fait, nous pouvons utiliser le ray-tracing vu dans la section précédente pour les
coupes de M 2 et des ensembles de Julia remplis sans aucune modification.

6.5 Effets visuels

Maintenant que nous pouvons créer des images de nos fractales, nous devons
ajouter des effets visuels afin de percevoir les détails de la structure. En effet, par

73

Reproduced with permission of the copyright owner. Further reproduction prohibited without permission.
 l'ajout de lumière et d'ombre, il est possible de voir la texture des objets. De plus,
en appliquant différentes couleurs aux points, nous pouvons obtenir beaucoup d'in-
formation sur l'ensemble tracé.

Pour l'application d'effets lumineux, les logiciels calculent la quantité de lumière

reçue par le vecteur normal. Puisqu'il est impossible de trouver un vecteur normal
à un point, nous allons le remplacer par une approximation du gradient. Cette
méthode est présentée dans [4] et elle utilise les formules de distance. Notons
qu'il existe d'autres façons d'approximer le gradient. Celle présentée ici donne les
meilleurs résultats visuels pour le temps de calcul nécessaire. Si nous définissons le
point tracé par W = (x,y,z) et le vecteur normal par N = (Nx,Ny,Nz ) alors nous
pouvons définir l'approximation du gradient comme suit:

Nx = ÎJI(x + ÎJI(w),y,z) - ÎJl(x - ÎJI(w),y,z)

N y = ÎJI(x,y + ÎJI(w),z) - ÎJI(x,y - ÎJl(w),z)
N z = ÎJl(x,y,z + ÎJI(w)) - ÎJl(x,y,z - ÎJl(w)).

Grâce à N, il est possible de calculer l'apport en lumière au point.

Pour ajouter de l'ombre, ou autrement dit, savoir si une source de lumière éclaire
le point tracé, nous devons lancer un rayon du point jusqu'à la source lumineuse.
Pour ce faire nous utilisons la même méthode de ray-tracing présentée dans la
section précédente. Si notre source de lumière est au point L et le point tracé est
w alors dans les équations (6.1)

JJ, - w

v- L-w
IL-wl'
Aussi, il est nécessaire de prendre un epsilon inférieur à celui utilisé pour tracer

74

Reproduced with permission of the copyright owner. Further reproduction prohibited without permission.
 l
epo
int
.Ene
ffe
t
,lad
is
tan
ced
elaf
rac
taeàf
l tes
tdé
jàin
fér
ieu
reàep
si
lonL
e.
D1
(f
t) <€. Don
c, enpo
san
tl'
eps
ilonc
omm
eét
ant€= ~ pou
ref
fec
tue
rler
ay-
t
rac
ingdupo
intàl
alum
ièr
e,c
eprob
lèm
ees
tré
glé
.

D
epl
us,pou
rle
scoup
e eM2
sd ' nou
spouvon
sat
tribu
erd
if
fér
ent
escou
leu
rsen
u
ti
lis
antl
acl
ass
if
ica
tionduth
éor
èmed
eFa
tou
-Ju
liag
éné
ral
iséd
émon
tréd
ans[20
].
S
ile
spo
int
str
acé
sW = W
lel +W2e2 possèden
tun
ecompo
san
teàl
'in
tér
ieu
rde
sonen
semb
ler
esp
ect
ifd
ansl
esnomb
resc
omp
lex
es,W
l ouW2
, i
lss
eron
tco
lor
ésd
e
f
aço
ndi
ffé
ren
te
.Ce
ttem
éthod
en'
estp
asa
rt
ist
iqu
ema
is fou
rni
tdel
'in
form
ation
s
péc
if
iqu
esu
rlepo
intt
rac
é.Enp
art
icu
lie
r,pou
rleT
étr
abr
ot
,dan
slec
asd
espo
int
s
non
-conn
exe
sma
isp
asto
tal
emen
tno
n-c
onn
exe
s,nou
spouvon
sob
serv
erd
epe
ti
ts
e
nsem
ble
sdeM
and
elb
rott
atou
éssu
rlasu
rfa
c eT (
ed voi
rFig1
,4e
t6)
.

6
.6 Op
tim
isa
tion
I
lnou
ses
tpo
ssib
led
'op
tim
ise
rlep
roc
essu
sder
ay-
tra
cingenu
ti
lis
antl
es
p
rop
rié
tésm
ath
éma
tiqu
esd
el'
ens
emb
leg
éné
ré
.Dan
slec
asd
ese
nsem
ble
sde
M
and
elb
rote
tJu
liar
emp
li
sgé
nér
al
isé
s, nou
ssa
von
squ
'
ilsson
tcon
tenu
sdan
s
un
ebo
ulef
erm
ée.N
ousa
llo
nsnou
sse
rvi
rdec
efa
itpou
rrédu
irel
etemp
sdec
alc
ul
d
esim
age
s.

I
les
tdémon
tréd
ans[18
]et[20
]que

e
t

75

Rep
roducedw
ithpe
rmiss
iono
fthecopy
righ
towne
r. Fu
rthe
rrep
roduc
tionp
roh
ibi
tedw
ithou
tpe
rmiss
ion
.
 De plus, puisque nous considérons seulement les ensembles de Julia remplis géné-
ralisés connexes, cE M 2 alors Ici < 2. Donc, tous nos ensembles sont contenus
dans une boule fermée BJR4 (0,2) et les coupes dans JR3 sont contenues dans la boule
fermée BJR3 (0,2).

Si un rayon ne croise pas la sphère âBJR3 (0,2), nous n'avons pas besoin de tracer
le point associé. Si un rayon sort de la sphère, alors nous savons qu'il est impossible
de croiser la fractale et nous sommes dans le cas (6.3). Grâce à cette propriété il
est possible de réduire grandement le temps nécessaire pour produire les images
des ensembles.

6.7 Exploration
Toutes les notions vues précédemment sont suffisantes pour générer des images
des ensembles de Mandelbrot et de Julia remplis généralisés. Par contre, il faut à
chaque fois se positionner dans l'espace pour obtenir des images différentes. Nous
présentons ici une méthode d'exploration similaire à celle pour les fractales com-
plexes. Cette procédure permet de sélectionner une partie de la fractale dans l'es-
pace et d'avancer vers celle-ci pour obtenir plus de détails sur la région d'intérêt.
Nous présentons seulement l'idée principale sans entrer dans les détails. Cette
méthode fut testée avec grand succès dans un prototype, mais beaucoup de re-
cherche sont encore nécessaires pour l'optimiser.

Tout d'abord, une première image de la fractale doit être générée en gardant en
mémoire la longueur du plus court rayon tracé. L'image apparaîtra sur un écran
noté S défini par quatre points coplanaires dans l'espace. Ce sont les coins de
l'écran. Nous divisons S en pixels, en fonction de la résolution désirée pour notre

76

Reproduced with permission of the copyright owner. Further reproduction prohibited without permission.
 image. La position de l'oeil Il sera fonction de la position et de la taille de S. De
cette façon, lorsque nous déplacerons S, Il suivra.

Pour agrandir la zone d'intérêt, nous suivrons quelques étapes. Premièrement,

nous devons recentrer la zone en effectuant une rotation avec Il comme centre.
Cette rotation s'explique, par analogie, comme étant la rotation de la tête du lec-
teur pour observer un des objets qui l'entourent.

Deuxièmement, nous redimensionnons S à la taille de la région d'intérêt. Cette

étape changera potentiellement la position de Il. Elle est nécessaire pour entrer
dans les cavités extérieures de la fractale sans que l'écran S déborde à l'intérieur
de celle-ci.

Finalement, nous avançons S vers la fractale en utilisant une fraction de la

longueur du rayon le plus court. En s'approchant de la fractale, il est nécessaire
de diminuer la taille du f pour garder un niveau de détail élevé. De cette façon, il
est théoriquement possible d'avancer indéfiniment vers la fractale et de découvrir
de nouvelles structures. En pratique, des erreurs numériques apparaissent lorsque
l'exploration devient trop profonde.

77

Reproduced with permission of the copyright owner. Further reproduction prohibited without permission.
 Chapitre 7

Conclusion

7.1 Résumé
Dans la première section, une présentation des nombres bicomplexes a permis
d'introduire le lecteur à l'algèbre de base de ce type de nombre. De plus, quelques
résultats plus avancés en analyse furent fournis afin de permettre de développer la
formule d'estimation de la distance bicomplexe.

La seconde section propose la première preuve rigoureuse et complète des bornes

de la distance pour les fractales complexes. Ces formules sont la base des résultats
pour les bornes de la distance pour les fractales dans les quaternions et dans les
bicomplexes.

Par la suite, le résultat principal de ce document fut démontré: des formules

pour borner la distance aux fractales bicomplexes. Ce résultat inédit est le pilier
de la méthode pour générer, à l'aide du ray-tracing, des images des ensembles de
Mandelbrot et Julia remplis généralisés présentés dans la dernière section.

78

Reproduced with permission of the copyright owner. Further reproduction prohibited without permission.
 Finalement, la borne inférieure de la distance fut appliquée à un algorithme
spécial de ray-tracing pour générer les ensembles de Mandelbrot et Julia remplis
généralisés. De plus, une façon d'explorer et d'agrandir les fractales en trois dimen-
sions fut présentée.

7.2 Conclusion
Ce document a présenté de façon rigoureuse les nombres bicomplexes et les
bornes de la distance, tant pour les nombres complexes que pour les nombres bi-
complexes. L'objectif fut de ne laisser aucun doute sur la validité des résultats,
mais de familiariser le lecteur aux nombres bicomplexes.

À l'aide du ray-tracing, il est facile de constater la beauté et la complexité des

fractales bicomplexes. Il est souhaité que les images tirées de ces résultats sauront
intéresser les profanes et les chercheurs sur l'algèbre, l'analyse et la dynamique
complexe.

Ce travail n'était qu'un des trop peu nombreux ouvrages traitant de la dy-
namique bicomplexe, beaucoup de sujets restent encore à explorer. D'ailleurs, les
formules données dans les pages précédentes se simplifieraient grandement si l'exis-
tence de l'application cp était démontrée pour les bicomplexes. Aussi, la méthode
d'exploration pourrait être étudiée dans les détails pour fournir une version plus
optimale. Finalement, la majeure partie des résultats présentés dans ce mémoire
pourraient, dans certains cas, se récupérer pour être utilisés avec d'autres types de
nombres.

79

Reproduced with permission of the copyright owner. Further reproduction prohibited without permission.
 Annexe A

Théorème A.1 Soit f(z) et g(z) dont la décomposition en série de Taylor est la
suivante (les rayons de convergence sont R):
00 00

f(z) = Lan(z - zo)n et g(z) = L bm(z - zo)m.

n=O m=O
Par définition, elles convergent uniformément et absolument dans {z E C : Iz-
zol ~ r où r < R}. Montrons que

Preuve. Premièrement, montrons que f(z)g(z) peut être vue comme une seule
sommation h(z). Puisque f(z) et g(z) convergent absolument
00 00

L an(z - zo)n et L bm(z - zo)m

n=O m=O
convergent aussi absolument. Par le théorème 9 (p.85) dans [10], nous pouvons
considérer

h(z) = f(z)g(z) = (t, a.(z - zo)') (f; bm(z - zo)m)

80

Reproduced with permission of the copyright owner. Further reproduction prohibited without permission.
 L anbm(z - zo)n+m L
00

= = CI(Z - ZO)I.
n,m /=0

Deuxièmement, montrons que h(z) converge uniformément sur C(zo,r). Du fait que

alors, il suffit de montrer que

n,m
converge, sur C(zo,r), afin d'utiliser le critère de Weierstrass [7] et prouver que la
convergence est uniforme. Or,

n,m n,m

converge par la première partie de la démonstration. Finalement, soit la somme

partielle suivante:
k

hk(z) = L c/(z - zol

1=0

En appliquant le changement de variable suivant z = Zo + re iB , () E [0,271"] alors

z'(()) = ire iB = i(z - zo) et

En utilisant la limite du côté gauche, nous obtenons:

81

Reproduced with permission of the copyright owner. Further reproduction prohibited without permission.
 Du côté droit, selon le théorème 7 (p.21O) dans [10], puisque la convergence est
uniforme sur C(zo,r), nous pouvons interchanger la limite et l'intégrale, donc

lim ;
l-HXJ 1
1 ~ CI(Z -
C( zo,r ) L..J
1=0
zo)l-ldz =;
1
1
C( zo,r )
lim
1-+00
t
1=0
CI(Z - ZO)I-ldz

82

Reproduced with permission of the copyright owner. Further reproduction prohibited without permission.
 Ann
exeB

Th
éor
èmeB
.l So
itf:
U C C ---+C ho
lomo
rph
esu
rl'ou
ver
tU.A
lor
s

1
j
'(z
)1= I
lf
(z)
I
'I,Vz EU

où I
f(z
)1: tf
JR2---+JR e (z
)= u
(x,
y)+i
v(x
,y)
.

P
reuv
e.S
oit

A
lor
s,
8
1f(
z)1 8JU
(X,
y)2+V
(X,y
)2
-
d
x d
x
( )2
1[ ( )2
]-![8U
(X,y
)2 8V
(X,y
)2]
= 2ux
,y +vx
,y d
x + d
x

= ~ [2U
(X,y
) ~ +2v
(x
,) ~
y

= I
f(z
)1
- ()
1[
uxy8
, u
(
d
x,
y) (,
x +vxy)8V
(
d
X
x
,y
)]

e
t
8
If
(z)1= I
f()1-1[
() 8u
(x,
y) ( )
8V(X
,y
)]
dy z ux
,y dy +vx
,y dy .
Pu
i ef
squ (z
)es
tan
aly
tiqu
e,p
arl
eséqu
ation
sdeC
auchy
-Ri
emann
:

8
If
(z)1= 1
/(z)1
-1[ )
8v(
x,y
) ( )
8U(X
,y
)]
y dx +vx
_(
dy ux
, ,y dx .

8
3

Rep
roducedw
ithpe
rmiss
iono
fthecopy
righ
towne
r. Fu
rthe
rrep
roduc
tionp
roh
ibi
tedw
ithou
tpe
rmiss
ion
.
 Don
c

11
/(z
l
ll~ [
' I
/(ZW
' [u(x,Y1' ~ +v(x,Y1' ~~ +

+u(
x
,
2
y) dx
(
âv(x
,y)2 ( )2(âu
)
+vx
,y
(x
dx
,y
))211!

=I
f(z
)I1
-[U
(x,
y)2
I
f(z
) 2+V
,1 (x,
y)2
I
f(z
)
'12
]2
1

= I
f(z
)'
lI
f(z
)1= I
f()'1
I
f(z
)1 z.
o
Co
rol
lai
reB
.2 So
itG
(z) = lnIcPc
(z)
!
,nou
spou
von
scon
sid
ére
rce
tteapp
lica
tion
comm
eétan
tdeIR?---+IR
.Donc pa
rleth
éor
èmeB
.l
,

G'
1(z1= 1 ~ (
) z
)1·
cPc(z
)
P
reuv
e.P
uis
que

G
(z) = lnIcPc(z)1= lnJRe
(cPc
(z)2+Im
) (cPc
(z)
)2

e
t

a
lor
s

p
arl
eth
éor
èmeB.
1.0

Co
rol
lai
reB
.3 So
itG
(z)
, lepo
ten
tie
laupo
intz
.Cepo
ten
tie
lpeu
têt
reapp
rox
imé
pa
r

84

Rep
roducedw
ithpe
rmiss
iono
fthecopy
righ
towne
r. Fu
rthe
rrep
roduc
tionp
roh
ibi
tedw
ithou
tpe
rmiss
ion
.
 P
reuv
e. Po sz
son n= ~ av
ecZo :=ze
t~ ~ P
arl
adé
fin
it
ion
dupo
ten
tie
l4.5
.1,

p
arl
eth
éor
èmeB.
1.0

8
5

Rep
roducedw
ithpe
rmiss
iono
fthecopy
righ
towne
r. Fu
rthe
rrep
roduc
tionp
roh
ibi
tedw
ithou
tpe
rmiss
ion
.
 Bibliographie

[IJ V. Avanissian, (1985), Cellule d'harmonicité et prolongement analytique com-

plexe, Paris, Hermann.

[2J A. F. Beardon, (1991), Iteration of rational functions, New York, Springer-

Verlag.
[3] L. Carleson and T. W. Gamelin, (1993), Complex Dynamics, New York,
Springer-Verlag.
[4J Y. Dang, L. H. Kaufman and D. Sandin, (2002), Hypercomplex Iteration Dis-
tance Estimation and Higher Dimentional Fractals, Singapore, World Scienti-
fic Publishing Co. Pte. Ltd.
[5] A. Douady and J. H. Hubbard, (1982), Itération des polynômes quadratiques
complexes, C.R. Acad. Sc. Paris, 294, 123-126 .
[6J P. L. Duren, (1983), Univalent Functions, New York, Ed. Springer-Verlag.
[7J F. J. Flanigan, (1983), Complex Variables: Harmonie and Analytic Punctions,
New York, Dover.
[8] A. Glassner, (1989), An Introduction to ray tracing, London, Academie Press.
[9J J. C. Hart, D. J. Sandin and L. H. Kauffman, (1989), Ray Tracing Determi-
nistic 3-D Fractals, Computer Graphies, 23, 289-296.
[lOJ K. Knopp, (1956), Infinite sequences and series, New York, Dover publication.

86

Reproduced with permission of the copyright owner. Further reproduction prohibited without permission.
 [11] É. Martineau, D. Rochon, (à paraître), On a Bicomplex Distance Estimation
for the Tetrabrot, International Journal of Bifurcation and Chaos.
[12] A. Norton, (1982), Generation and Display of Geometrie Fractals in 3-D, Com-
puter Graphics, 16, 61-67.

[13] H.-O Peitgen and S. Dietmar, (1988), The science of fractal images, New York,
Springer-Verlag.
[14] H.-O. Peitgen, H. Jürgens and D. Saupe, (1992), Chaos and Fractals New
Frontiers of Science, New York, Springer-Verlag, 793-794.

[15] H.-O. Peitgen and P.H. Richter, (1986), The Beauty of Fractals Images of
Complex Dynamical Systems, Berlin Heidelberg, Springer-Verlag, 56-57.

[16] G. B. Priee, (1991), An Introduction to Multicomplex Spaces and Functions,

New York, Marcel Dekker Inc.
[17] D. Rochon, (1997), Sur une généralisation des nombres complexes: les
tétranombres, M. Sc. Université de MontréaL

[18] D. Rochon, (2000), A Generalized Mandelbrot Set For Bicomplex Numbers,

Fractals, 8(4), 355-368.
[19] D. Rochon, (2001), A Bloch Constant for Hyperholomorphic Functions, Com-
plex Variables, 44, 85-101.

[20] D. Rochon, (2003), On a Generalized Fatou-Julia Theorem, Fractals, 11(3),

213-219.
[21] D. Rochon, M. Shapiro, (à paraître), On algebraic properties ofbicomplex and
hyperbolic numbers , Anal. Univ. Oradea.
[22] W. Rudin, (1976) Princip les of Mathematical Analysis 3d ed., 32-46, New
York, McGraw-Hill.
[23] J. Ryan, (1982), Complexified Clifford Analysis, Complex Variables, 1, 119-
149.

87

Reproduced with permission of the copyright owner. Further reproduction prohibited without permission.
 [24] C. Segre, (1892), Le Rappresentazioni Reali delle Forme Complesse a Gli Enti
Iperalgebrici, Math. Ann., 40, 413-467.
[25] B. V. Shabat, (1992), Introduction to Complex Analysis part II: Functions of
Several Variables, American Mathematical Society.

[26] M. R. Spiegel, (1973), Variables Complexes, New York, McGraw-Hill.

88

Reproduced with permission of the copyright owner. Further reproduction prohibited without permission.
 Fig. 1 Fig. 2

Fig. 3 Fig. 4

89
Fig. 5 Fig. 6

Fig. 7
90