Difusioz mugatutako agregazio

Difusioz mugatutako agregazioa edo DLA (ingeleseko siglengatik, Diffusion-limited aggregation) partikulen higidura browndarraren ondorioz egiturak sortzen dituen prozesu estokastikoa da. Mugimendu browndarraren ondorioz ausazko ibiltariak diren partikulak askatzen dira. Partikularen batek beste partikula ukituz gero itsatsita gelditzen da. Algoritmo hau Witten eta Sanderrek asmatu zuten 1981. urtean. Modu honetan oso egitura adartuak lortzen dira, eta bere konplexutasuna geometria fraktala eta multifraktalitatearen bidez aztertu daiteke. Naturak patroi asko sortzen ditu, eta hauetako asko DLA prozesuaren bidez modela daitezke. Bi dimentsiotako egituren kasuan mapeo konformeak eta aldagai konplexuaren teoria patroi berdinak lortzeko era alternatiboa eskaintzen dute. Errenormalizazio teoria eta sistema dinamikoak ere prozesu hau ikertzeko erabili izan dira.

Fraktalak 

Fraktal bat objektu auto-antzekoa edo eskala aldaketekiko aldaezina den objektua da. Auto-antzekotasuna objektu geometriko bat zatietan banatzeko gaitasuna bezala defini daiteke, zati bakoitza hasierako objektuaren txikitutako kopia izanik. Normalean objektu fraktal batek honako ezaugarriak ditu:
 Eskala oso txikietan ongi definitutako egitura dauka.
 Ohiko Euklidesen lengoai geometrikoarekin deskribatzeko oso irregularra da
 Bere Haussdorffen dimentsioa dimentsio topologikoa baino handiagoa da.
 Definizio sinple eta errekurtsiboa dauka.

Objektu bat oso konplexua denean zaila izan daiteke bere luzera, azalera edo bolumena neurtzea. Kasu hauetan luzera, azalera edo bolumenaren aldaketa neur daiteke eskala aldatzerakoan. Frogatu daiteke aldaketa honek potentzia lege bat jarraitzen duela: . Potentzia lege hau oso erabilgarria da fraktal baten dimentsioa neurtzeko.

Dimentsio fraktala modu ezberdinetan kalkula daiteke, dimentsio ezberdinak lortuz. Dimentsiorik erabilgarriena ziurrenik Mandelbrot edo kutxa-zenbaketa deritzona izango da. Dimentsio hau kalkulatzeko  tamainako sare bat marrazten da, eta zenbatzen da objektuak okupatzen dituen kutxa kopurua. Gero sarearen tamaina aldatzen da hainbat aldiz, eta  -ren kontra irudikatzen da. Honen malda dimentsio fraktala da.

Dimentsio fraktala definitzeko beste modua honakoa da: behar diren  bola kopuru minimoa  erradiokoak objektua estaltzeko  limitean:

Difusioz mugatutako agregazioa, DLA 

Witten eta Sanderren algoritmoa ausazko ibiltarien agregazioaren bidezko hazkuntza modelatuan oinarritzen da.  partikuletako kumulua kontsideratzen bada,  partikuletako kumulua osatzeko ausazko ibiltari bat sartzen da kumulutik oso urrun. Ausazko ibiltari honek infinitura alde egin dezake kumulua topatu gabe edo kumuluaren kontra jo. Algoritmo honetan partikula itsatsita gelditzen da kumulua ukitzen duen lehenengo puntuan,  partikuletako kumulua osatuz. Prozesu hau behin eta berriz burutzen da nahi den tamainako kumulua eratzeko.

Algoritmo honen bidez eraikitzen diren egiturak oso adartuak dira eta euren dimentsio fraktala kalkula daiteke. Dimentsio fraktalak partikula kopurua, , kumuluaren tamainarekin lotzen du,  batezbesteko erradiokoa: . Fraktalitatea agertzen da dimentsio fraktala topologikoa baino txikiagoa denean, eta normalean zenbaki zatikiarra izaten da.

Zortzi espazio dimentsioetan egindako simulazio numerikoek erakutsi dute, espazio dimentsio altuetarako, , kumuluaren dimentsio fraktala  dela. Bi dimentsiotan, ordea, DLAren fraktal izaera ahulagoa da. Adibidez, dimentsio hau aldatu egiten da sarearen egiturarekin. Azpitik sarerik gabe kumulua haziz gero,  lortzen da, eta prozesu bera sare karratu batekin eginda . Bi dimentsiotan ziurra den gauza bakarra DLAk  betetezen duela da. Gainera, badirudi DLAren dimentsio fraktalak simulazioaren geometriaren menpekotasuna duela.  emaitza hazi batetik hasita, eta hazkuntza erradialerako lortu den bitartean, azalera batekin hasita emaitza -ra gehiago hurbildu da. Hiru dimentsiotan  inguru kalkulatu da.

Garrantzia du aipatzeak prozesu estokastiko bat dela, ausazko ibiltariaren izaera probabilistikoarengatik. Emandako partikula kopuru zehatz baterako, , hainbat kumulu ezberdin eraiki daitezke, bakoitza bere agertzeko probabilitatearekin. Horregatik, dimentsio fraktala bezalako neurketak taldeen batezbestekoak eginez kalkulatu beharko lirateke, kumulu guztiek ez dutelako  bera. Adibidez, kumulu posible bat kate zuzen luzea da,  duena, baina honen probabilitatea oso txikia izango da.

Hele-Shaw fluxua 

Hele-Shaw fluxua gelaxka txiki batean edo ingurune porotsu batean fluido baten abiadura presio gradientearen proportzionala da:

non  ingurune porotsuaren iragazkortasuna eta  fluidoaren biskositatea den. Fluido konprimaezina dela kontsideratzen bada goiko ekuazioak Laplacen ekuaziora eramaten du: . Biskositate askoz txikiago duen bigarren fluido bat sartuz gero Hele-Shaw fluxua lortzen da. Horren biskositate txikia izanda, bere presioa konstantetzat har daiteke. Orduan, fluido likatsuaren fluxua Laplacen ekuazioaren bidez kalkulatuko da, presio konstante bat muga baldintza bezala izanda, eta abiadurak goiko ekuazioa jarraituko du. Abiadura honek interfasearen abiadura ere adieraziko du.

DLAren kasuan ausazko ibiltariaren probabilitate dentsitateak Laplacen ekuazioa beteko du, eta azaleraren probabilitate konstantea muga baldintza izango da. Kasu honetan, hazkuntza probabilitatea azaleran probabilitate dentsitatearen gradientearen menpe egongo da.

Hele-Shaw eta DLAren fluxuen arteko ezberdintasun nabariena lehenengoak izaera deterministikoa duela da, DLA estokastikoa den bitartean. Agregazio koloidalean partikulak zabaltzen dira, eta Hele-Shaw fluxuan presioa da. Bi kasuetan interfasearen hazkuntza nahikoa motela da Laplacen ekuazioa erabiltzeko difusio ekuazioaren ordez.
Honek pentsarazten du Laplacen eredu hau erabilgarria izan daitekeela garraio difusiboak kontrolatutako egituraren hazkuntzak eraikitako patroiak azaltzeko. DLA edo honen aldaerak elektrodeposizioa edo haustura dielektrikoa bezalako prozesuak modelatzeko erabili izan da.

Hastings-Levitov metodoa 

DLAren sorrera prozesua ausazko ibiltariaren sarreran bidez [Laplacen ekuazioa kumulu agregatutik kanpo ebaztearen berdina da, muga baldintza egokiak aukeratuz gero.
Bi dimentsiotan funtzio analitikoek automatikoki Laplacen ekuazioa edozein puntu ez singularrerako betetzen dutenez, mapeo konformearen teoriak formak eraikitzeko beste mekanismo bat eskaintzen du. Horrela DLA bat bi dimentsiotan haz daiteke mapeo konforme baten iterazio estokastikoak behin eta berriz aplikatuta.
Mapeo konformea D modu sinplean konektaturiko eskualdean dagoen plano konplexuko  funtzioa bezala definitzen da, non bere deribatua,  ez den inoiz zero egiten D-n. Ondorioz, bat bat mapeo bat eskaintzen du D barrutik sinpleki konektaturiko beste eskualde batera, R, eskualde baten mugak bestearen mugetan mapeatuz. Riemannek frogatu zuen eskualde finituentzat mapeoa bakarra zela. Funtzio inbertsoa ere bakarra da, .

formako mapa baten bidez  erradioko tontorrak eratzen dira  posizioan zuzen baten gainean aplikatzen den bakoitzean.

Tontor hauek ausaz aplikatzen direnean, eta denek tamaina bera dutenean DLA bat lortzen da Hastings eta Levitoven metodoaren bidez.
Metodo hau arestian azaldutakoaren analogoa da. Ausazko ibiltari bat puntu batean aurkitzeko probabilitatea difusio prozesu baten bidez definitua izango da. Beraz, hurbilketa kuasigeldikorrean, partikula bat aurkitzeko probabilitate dentsitateak Laplacen ekuazioa beteko du:

honako baldintzekin:

Lehenengo baldintzak eskatzen du probabilitatea nulua izatea kumuluaren mugan. Hau horrela da partikula itsatsita gelditzen delako kumuluko partikularen bat ukitzean. Bigarren baldintzak esan nahi du  norabidearen independentea izan behar duela infinituan. kumuluaren hazkunde probabilitatea  puntuan honakoa da:

non   puntua bere barne duen mugako elementua den.
Riemannen mapeo teoriak dioenez, existitzen da unitate zirkuluaren kanpoaldea kumuluaren kanpoaldera mapeatzen duen mapeo conforme|mapeo konformea.  funtzioak unitate zirkulua mapeatzen du  puntuan  tamaina linealeko tontorra duen zirkulura:

 

0 eta 1 artean dagoen  parametroak tontorraren forma zehazten du.  handiagoa denean tontorra luzeago egiten da mugarekiko norabide normalean, eta lerro baten segmentua da -erako.  denean tontorra zirkulu erdi bat da.  tontorretako kumulua mapeo hainbat aldiz aplikatuz lor daiteke.

Dimentsio fraktala mapeo konforme|mapeo konformearen Laurenten serie bat bezala ere kalkula daiteke, seriearen lehenengo koefiziente,  eta DLA kumuluaren tamainaren arteko eskala erlazioaren bidez. Lehenengo koefizientea kumuluaren erradioaren proportzionala denez, dimentsio fraktala zuzenean neur daiteke erradioa eta tontor kopuruaren arteko erlazioa erabiliz: . Tontor kopurua kumuluaren tamainaren berdina da.
Dimentsio fraktala lortzeko beste modu bat korrelazio dentsitatearen funtzioaren azterketatik abiatzea da:

non   posizioko dentsitatea den, eta batezbestekoa kumuluko puntu guztientzako hartzen den. Kumulu isotropikoentzat korrelazio dentsitatea  distantziaren menpekoa da soilik. Fraktal auto-antzekoentzat,  betetzen da, non esponenteari kodimentsionalitatea deritzon, eta  -ri dagokion,  txertatutako dimentsioa izanik.

Multifraktalitatea 

DLA kumuluek multifraktalitatea ere aurkezten dute, hau da, fraktalitate mota ezberdinak dituzte DLAren eskualde ezberdinetan. Partikula kumulu batean, partikula berri bat, -a, aurretik dagoen baten batera elkartzeko probabilitatea ongi definituta dago, , i kumulu partikula bakoitzaren indizea izanda. Probabilitate hau nahiko banatuta dago: oso altua da kumuluaren ertzetan, partikulak iristeko probabilitatea handia den zonaldeetan, eta oso txikia da kumuluaren barruan, fiordoen hondoetan, nora ausazko ibiltariek beste partikularik ukitu gabe iristeko probabilitatea oso txikia den. Ondorioz, oso interesgarria da  probabilitate banaketa honen momentuek nola eskalatzen duten aztertzea. Partikula banaketa multifraktala bada eskala funtzio bat defini daiteke:

non ekuazio honen bidez definitutako -k -ren asintotikoki independentea izan behar duen. Esponente ez tribial baten existentziak multifraktalitatea behartzen du. Modu honetan, hazkuntza probabilitate tarte bakoitzari, , dimentsio fraktal ezberdin bat elkar dakioke. kumuluak, berriz, dimentsio fraktal bakarra izango du, eta tarte guztien dimentsiorik altuena izango da.
Problema deterministikoentzat esponente hau balio negatiboetarako ere existitzen da. Kasu honetan  txikiek menperatzen dute banaketa. Kasu estokastikoetan grabitate kuantikoko teknikak erabiliz frogatu da orekako fraktalentzat  negatiboak egon daitezkeela, multzoen batura egiten den moduaren arabera. Orekatik kanpoko fraktalen kasuan, ordea, ez da lortu.
Eskala legea idazteko beste modua kumuluaren luzeraren menpe jartzea da:

Kontuan izanda dimentsio fraktalak honakoa betetzen duela: . Suposatzen bada  bakoitzarentzat  bat definitzen dela, non  den,  partikularen erradioa izanik, orduan
 tartean  duten partikula kopuruak, ,  kantitatea defini dezake hurrengo moduan:

Frogatu da  -ren independentea dela multifraktalentzat.  kantitatea  -ren Legendreren transformazio baten bidez lor daiteke:

 

 eta  -ren balio baterako baldintza tangentea betetzen dute:

Definizioz  modu intrintsekoan positiboa da,  delako. Efektu estokastikoa sartzeko erlazio hauek moldatu behar dira. Aukera bat  momentuen batezbestekoa bezala definitzea da, batezbesteko epela deritzona:

 dimentsio epelak lirateke. Modu berean  erradioaren funtzioan defini daiteke:

Prozedura honen abantaila bat -ren interpretazio erraza da.  esponenteari dagokion  probabilitatea duten partikula kopuruaren esperotako balioa   bada, batezbesteko epelaren ekuazioaren Legendreren transformatu bat eginez  lortzen da, non -k Legendreren transformazioaren ekuazioak eta baldintza tangentea betetzen duen. Ondorioz,  bidez sortu daiteke.
Zenbaki baten esperotako balioak edozein balio ez negatibo har dezakeenez,  negatiboa izan daiteke. Normalean, -ren balio negatiboak  hazkuntza probabilitatearen maizen agertzen den baliotik (eta  maximora dagokiona) urrun dauden -entzat ikusten dira.

-ren balio negatiboak eragiten dituzten -ren balioak ikusteko behintzat  kumuluez osatutako multzoaren batezbestekoa egin behar da. Hau zaila izango da tamaina handitzean, baina -ren balio absolutu txikientzat -ren balio negatiboak kalkula daitezke. Garrantzitsua da aipatzea balio hauek multzo estokastikoaren gaineko batura modu zehatz batean egiterakoan agertzen direla.

Eskala legeak DLArentzat 

Multifraktalitatea bereziki interesgarria da kasu honetan ezaugarri multifraktalak dimentsio fraktalaren probabilitateekin lotzen dituzten eskala legeak daudelako:

 Nikolai Makarov: bi dimentsiotako edozein kurbak honakoa betetzen du: .
 Kumuluaren hazkundea: partikula bat muturrean itsastean emango da, eta  luzerakoa izango da:

Suposatzen bada   edo -ren funtzioa dela integratu daiteke eskala erlazioa topatzeko.
 Suposatzen bada  maximoa dela, probabilitate banaketaren portaeratik dimentsio fraktalarekin konexio bat lor daiteke:

 Erlazio elektrostatikoa: azalera baten kapazitantzia () aldaketa geometriaren
aldaketa txikiak egiterakoan deskribatzen duen ekuazio batetik lortzen da. Partikulen agregazioa azaleraren aldaketa txikiak bezala interpreta daiteke, eta DLAra aplikatu: .
Bi dimentsiotan honetara eramaten du:

Beste teknikak

Errenormalizazioa 
DLAren auto-antzekotasuna errenormalizazio teoria erabiliz aztertu daiteke, eta emaitzak lortu dira.

Adartutako hazkundearen eredua 
Problema aztertzeko beste ikuspuntu bat adarkadurek aldi berean elkar estaltzen dutela kontsideratzea da. Eskala aldatzerakoan adarkadura batzuk desagertzen dira, beste batzuk agertzen diren bitartean. Adarkaduren txapelketa hau sistema dinamiko bat bezala azter daiteke. Modu honetan multifraktal|multifraktalitateari buruzko informazioa ere lor daiteke.

Ikus, gainera 
 Fraktal

Kanpo estekak 
  DLA fraktal baten hazkuntza erakusten duen orrialdea, baldintzak aldatzeko aukerekin.
  Sistema dinamikoen azalpena scholarpedian
  DLAren azalpenak

Erreferentziak 
 Diffusion Limited Aggregation: Model for Pattern Formation. Thomas C. Halsey. Physics Today, November 2000.
 Multifractal Dimensions for Branched Growth. Thomas C. Halsey , Katsuya Honda, and Bertrand Duplantier. Submitted to Journal of Statistical Physics: 12/28/95
 Scaling and Multiscaling Behavior of the Perimeter of Dffusion−Limited Aggregation (DLA) Generated by the Hastings−Levitov Method. F. Mohammadi, A. A. Saberi ,and S. Rouhani. May 6, 2009
 Chaos and Fractals, New Frontiers of Science, second edition. Peitgen, Jurgens, Saupe. Springer
 Fractal growth phenomena. Tamás Viczek, World Scientific Publishing Co, 1989, Singapore.

Prozesu estokastikoak
Arte informatikoa