Mostra la font per a Singularitat BKL

[[Fitxer:BKLChaotic.gif|miniatura|Un cos esfèric sotmès a una dinàmica caòtica BKL (Mixmaster) propera a la singularitat segons les regles {{EquationNote|eq. 35}}. La simulació es va fer a [[Mathematica]] amb inicial <math>u = \sqrt{13}</math>{{Refn|group=note|Vegeu una animació simulada semblant, creada per David Garfinkle, a:<ref>{{Cite web
| last=Garfinkle
| first=David
| year=2007
| title=Of singularities and breadmaking
| website=[[Max Planck Institute for Gravitational Physics#Einstein Online|Einstein Online]]
| publisher=[[Max Planck Institute for Gravitational Physics]]
| series=Band 03
| at=03–1014
| access-date=2020-10-15
| url=https://www.einstein-online.info/en/spotlight/singularities_bkl/
| ref=none
}}</ref>}}]]
Una '''singularitat de Belinski–Khalatnikov–Lifshitz (BKL)''' és un model de l'[[cronologia del Big Bang|evolució dinàmica de l'univers]] prop de la [[singularitat gravitatòria]] inicial, descrita per una solució [[Anisotropia|anisòtropa]] i [[Teoria del caos|caòtica]] [[Solucions de les equacions de camp d'Einstein|de l'equació de la gravitació del camp d'Einstein]].  Segons aquest model, l'univers oscil·la caòticament al voltant d'una singularitat gravitatòria en la qual el temps i l'espai esdevenen iguals a zero o, de manera equivalent, la curvatura de l'espai-temps esdevé infinitament gran. Aquesta singularitat és físicament real en el sentit que és una propietat necessària de la solució, i apareixerà també en la [[Solucions exactes en relativitat general|solució exacta]] d'aquestes equacions. La singularitat no es crea artificialment per les suposicions i simplificacions fetes per altres solucions especials, com ara les solucions de [[Mètrica FLRW|Friedmann–Lemaître–Robertson–Walker]], quasi-isòtropes i [[mètrica de Kasner|de Kasner]].<ref name="Ref">{{Ref-publicació|article=Analysis of the generic singularity studies by Belinskii, Khalatnikov, and Lifschitz|url=https://www.sciencedirect.com/science/article/abs/pii/0370157379900978|publicació=Physics Reports|data=1979-12-01|issn=0370-1573|pàgines=371–402|volum=56|exemplar=7|doi=10.1016/0370-1573(79)90097-8|nom=John D.|cognom=Barrow|nom2=Frank J.|cognom2=Tipler}}</ref>

El model porta el nom dels seus autors [[Vladimir Belinski]], [[Isaak Kalàixnikov|Isaak Khalatnikov]] i [[Ievgueni Lífxits|Evgeny Lifshitz]], que aleshores treballaven a l'[[Institut Landau de Física Teòrica]].<ref>{{Ref-web|url=https://iopscience.iop.org/article/10.1088/0264-9381/33/12/125020/ampdf|títol=Timelike BKL singularities and chaos in AdS/CFT|consulta=22-01-2025|llengua=anglès}}</ref>

La imatge desenvolupada per BKL té diversos elements importants. Aquests són:

* Prop de la singularitat, l'evolució de la geometria en diferents punts espacials es desacobla de manera que les solucions de les [[Equació diferencial en derivades parcials|equacions diferencials parcials]] es poden aproximar mitjançant solucions d'[[Equació diferencial ordinària|equacions diferencials ordinàries]] respecte al temps per a factors d'escala espacial adequadament definits. Això s'anomena ''[[conjectura]] BKL''.<ref name="Ref"/>
* Per a la majoria dels tipus de matèria, l'efecte dels camps de matèria sobre la dinàmica de la geometria esdevé insignificant prop de la singularitat. O, en paraules de [[John Archibald Wheeler|John Wheeler]], "la matèria no importa" prop d'una singularitat. El treball original de BKL va suposar un efecte insignificant per a tota la matèria, però més tard van teoritzar que la "matèria rígida" (equació d'estat ''p'' = ε) equivalent a un camp escalar sense massa pot tenir un efecte modificador en la dinàmica propera a la singularitat.
* Les equacions diferencials ordinàries que descriuen els asimptòtics provenen d'una classe de solucions espacialment homogènies que constitueixen la [[Mixmaster universe|dinàmica Mixmaster]]: un model oscil·latori i caòtic complicat que presenta propietats similars a les discutides per BKL.

L'estudi de la dinàmica de l'univers als voltants de la singularitat cosmològica s'ha convertit en un camp de ràpid desenvolupament de la física teòrica i matemàtica moderna. La generalització del model BKL a la singularitat cosmològica en models cosmològics multidimensionals ([[Teoria Kaluza-Klein|tipus Kaluza–Klein]]) té un caràcter caòtic en els espai-temps la dimensionalitat dels quals no és superior a deu, mentre que en els espai-temps de dimensionalitats superiors un univers després de patir un nombre finit de les oscil·lacions entra en un règim de contractació monòton de tipus Kasner.<ref>{{Ref-web|títol=Of singularities and breadmaking « Einstein-Online|url=https://www.einstein-online.info/en/spotlight/singularities_bkl/|consulta=2025-01-22|llengua=en}}</ref>

El desenvolupament d'estudis cosmològics basats en [[teoria de les supercordes|models de supercadenes]] ha posat de manifest alguns aspectes nous de la dinàmica al voltant de la singularitat. {{Sfn|Damour|Henneaux|2000}} {{Sfn|Damour|Henneaux|Julia|Nicolai|2001}} {{Sfn|Damour|Henneaux|Nicolai|2003}} En aquests models, els mecanismes de canvi de les èpoques de Kasner no són provocats per les interaccions gravitatòries sinó per la influència d'altres camps presents. Es va demostrar que els models cosmològics basats en sis models principals de supercadenes més el model de [[Eleven-dimensional supergravity|supergravetat d'onze dimensions]] presenten la caòtica dinàmica BKL cap a la singularitat. Es va descobrir una connexió entre models cosmològics oscil·ladors semblants a BKL i una subclasse especial d'[[Àlgebra de Lie|àlgebres de Lie]] de dimensions infinites: les anomenades [[Kac–Moody algebra|àlgebres hiperbòliques de Kac-Moody]]. {{Sfn|Kac|1983|p=245}}

== Introducció ==
La base de [[Cosmologia|la cosmologia]] moderna són les [[Solucions de les equacions de camp d'Einstein|solucions especials de les equacions de camp d'Einstein]] trobades per [[Aleksandr Frídman|Alexander Friedmann]] el 1922-1924. S'assumeix que l'Univers és [[Espai homogeni|homogeni]] (l'espai té les mateixes propietats mètriques (mesures) en tots els punts) i [[Isotropia|isòtrop]] (l'espai té les mateixes mesures en totes direccions). Les solucions de Friedmann permeten dues geometries possibles per a l'espai: un model tancat amb un espai inclinat cap a l'exterior semblant a una bola ([[Curvatura|curvatura positiva]]) i un model obert amb un espai inclinat cap a dins semblant a una sella ([[Curvatura|curvatura negativa]]). En ambdós models, l'Univers no s'atura, sinó que s'expandeix (es fa més gran) o es contrau (es redueix, es fa més petit). Això va ser confirmat per [[Edwin Hubble]] que va establir el [[Llei de Hubble-Lemaître|desplaçament cap al vermell del Hubble]] de les galàxies en retrocés. El consens actual és que el [[Big-bang|model isotròpic]], en general, dóna una descripció adequada de l'estat actual de l'Univers; tanmateix, la isotropia de l'Univers actual per si mateixa no és una raó per esperar que sigui adequada per descriure les primeres etapes de [[cronologia del Big Bang|l'evolució de l'Univers]]. Al mateix temps, és obvi que en el món real [[homogeneïtat i heterogeneïtat|l'homogeneïtat]] és, en el millor dels casos, només una aproximació. Fins i tot si es pot parlar d'una distribució homogènia de la densitat de la matèria a distàncies que són grans en comparació amb l'espai intergalàctic, aquesta homogeneïtat s'esvaeix a escales més petites. D'altra banda, el supòsit d'homogeneïtat va molt lluny en un aspecte matemàtic: fa que la solució sigui altament [[Simetria|simètrica]] que pot impartir propietats específiques que desapareixen quan es considera un cas més general.

Una altra propietat important del model isotròpic és l'existència inevitable d'una [[Singularitat gravitatòria|singularitat temporal]] : el flux del temps no és continu, sinó que s'atura o s'inverteix quan el temps arriba a un valor molt gran o molt petit. Entre singularitats, el temps flueix en una direcció: lluny de la singularitat ([[fletxa del temps]]). En el model obert, hi ha una singularitat temporal, de manera que el temps és limitat en un extrem però il·limitat en l'altre, mentre que en el model tancat hi ha dues singularitats que limiten el temps en ambdós extrems (el [[Big-bang|Big Bang]] i [[Big Crunch|el Big Crunch]] ).

Les úniques propietats físicament interessants dels [[Espaitemps|espais temps]] (com les singularitats) són les que són [[Teoria de l'estabilitat|estables]], és a dir, aquelles propietats que encara es produeixen quan les dades inicials es veuen pertorbades lleugerament. És possible que una singularitat sigui estable i, tanmateix, no tingui interès físic: l'estabilitat és una condició necessària però no suficient per a la rellevància física. Per exemple, una singularitat podria ser estable només en un veïnat de conjunts de dades inicials corresponents a universos altament [[Anisotropia|anisòtrops]]. Com que l'univers real és ara aparentment gairebé isòtrop, aquesta singularitat no podria ocórrer al nostre univers. Una condició suficient perquè una singularitat estable sigui d'interès físic és el requisit que la singularitat sigui [[Generic property|genèrica]] (o general). A grans trets, una singularitat estable és genèrica si es produeix prop de tots els conjunts de condicions inicials i els camps no gravitatoris es restringeixen d'alguna manera especificada a camps "físicament realistes" de manera que les equacions d'Einstein, diverses equacions d'estat, etc. se suposa que aguanta els espai-temps evolucionats. Pot passar que una singularitat sigui estable sota petites variacions dels veritables [[Graus de llibertat (física)|graus de llibertat]] gravitacionals, i tanmateix no és genèrica perquè la singularitat depèn d'alguna manera del [[sistema de coordenades]], o més aviat de l'elecció de la [[hipersuperfície]] inicial a partir de la qual es troba l'espai-temps. està evolucionat.

Per a un sistema d'[[Sistema no lineal|equacions diferencials no lineals]], com les [[Equacions de camp d'Einstein|equacions d'Einstein]], una [[Equació diferencial lineal|solució general]] no està definida sense ambigüitats. En principi, hi pot haver múltiples [[Primitiva|integrals generals]], i cadascuna d'elles pot contenir només un [[subconjunt]] finit de totes [[condició inicial|les condicions inicials]] possibles. Cadascuna d'aquestes [[Integració|integrals]] pot contenir totes [[Funció|les funcions]] [[independència algebraica|independents]] requerides que, tanmateix, poden estar subjectes a algunes condicions (per exemple, algunes [[Desigualtat matemàtica|desigualtats]]). L'existència d'una solució general amb una singularitat, per tant, no exclou l'existència d'altres solucions generals addicionals que no continguin una singularitat. Per exemple, no hi ha cap motiu per dubtar de l'existència d'una solució general sense una singularitat que descrigui un cos aïllat amb una massa relativament petita.

És impossible trobar una integral general per a tot l'espai i per a tots els temps. Tanmateix, això no és necessari per resoldre el problema: n'hi ha prou amb estudiar la solució prop de la singularitat. Això també resoldria un altre aspecte del problema: les característiques de l'evolució [[Tensor mètric (relativitat general)|mètrica de l'espai-temps]] en la solució general quan arriba a la singularitat física, entesa com un punt on [[Densitat|la densitat de matèria]] i [[invariants de tensors|els invariants]] del [[tensor de curvatura de Riemann]] esdevenen infinits.

== Existència de la singularitat física del temps ==
Un dels principals problemes estudiats pel [[Lev Landau|grup Landau]] (al qual pertany BKL) va ser si [[Cosmologia física|els models cosmològics]] [[Relativitat general|relativistes]] contenen necessàriament una singularitat temporal o si la singularitat temporal és un artefacte dels supòsits utilitzats per simplificar aquests models. La independència de la singularitat en els supòsits de simetria significaria que les singularitats temporals no només existeixen en les solucions especials, sinó també en les generals de les equacions d'Einstein. És raonable suggerir que si hi ha una singularitat a la solució general, hi ha d'haver algunes indicacions que es basen només en les propietats més generals de les equacions d'Einstein, encara que aquestes indicacions per si soles podrien ser insuficients per caracteritzar la singularitat.

En aquell moment, l'única indicació coneguda de l'existència de singularitat física en la solució general estava relacionada amb la forma de les equacions d'Einstein escrites en un [[Synchronous frame|marc síncron]], és a dir, en un fotograma en el qual el temps propi ''x'' <sup>0</sup> = ''t'' està sincronitzat. a tot l'espai; en aquest marc l'element de distància espacial ''dl'' està separat de l'interval de temps ''dt''. L'equació d'Einstein <ref>{{Ref-web|títol=BKL Singularity -- from Eric Weisstein's World of Physics|url=https://scienceworld.wolfram.com/physics/BKLSingularity.html|consulta=2025-01-22|llengua=en|nom=Eric W.|cognom=Weisstein}}</ref>{{NumBlk|:|<math>R_0^{0}=T_0^{0}-\tfrac{1}{2}T</math>|{{EquationRef|eq. 1}}}}escrit en un marc síncron dóna un resultat en el qual el [[Determinant (matemàtiques)|determinant]] mètric ''g'' esdevé inevitablement zero en un temps finit, independentment de qualsevol hipòtesi sobre la distribució de la matèria.

== Solució homogènia generalitzada ==
En un espai que és alhora homogeni i isòtrop, la mètrica es determina completament, deixant lliure només el signe de la curvatura. Assumir només homogeneïtat de l'espai sense simetria addicional, com ara la isotropia, deixa considerablement més llibertat a l'hora d'escollir la mètrica. El següent es refereix a la part espacial de la mètrica en un instant determinat de temps ''t'' assumint un marc síncron de manera que ''t'' sigui el mateix temps sincronitzat per a tot l'espai.

=== Solució Kasner ===
[[Fitxer:Kasner-simple.gif|miniatura|Dinàmica de mètriques Kasner {{EquationNote|eq. 2}} en [[Sistema de coordenades esfèriques|coordenades esfèriques]] cap a la singularitat. El paràmetre de Lifshitz-Khalatnikov és ''u'' =2 (1/ ''u'' =0,5) i la coordenada ''r'' és 2 ''p'' <sub>α</sub> (1/ ''u'' )τ on τ és el temps logarítmic: τ = ln ''t''.<ref group="note">L'expressió per a ''r'' deriva del càlcul del logaritme dels coeficients de potència de la mètrica: ln [''t''<sup>2''p''<sub>α</sub>(1/''u'')</sup>] = 2''p''<sub>α</sub>(1/''u'') ln ''t''.</ref> La reducció al llarg dels eixos és lineal i anisòtrop (sense caoticitat).]]
L'enfocament BKL dels espais homogenis anisotròpics (a diferència dels isotròpics) comença amb una generalització d'una [[Equació diferencial ordinària|solució particular]] exacta derivada per Kasner {{Sfn|Kasner|1921}} per a un camp al buit, en el qual l'espai és homogeni i té una [[Distància euclidiana|mètrica euclidiana]] que depèn del temps segons el temps. a la [[mètrica de Kasner]]{{NumBlk|:|<math>dl^2=t^{2p_1}dx^2+t^{2p_2}dy^2+t^{2p_3}dz^2</math>|{{EquationRef|eq. 2}}}}( ''dl'' és l' [[Line element|element de línia]] ; ''dx'', ''dy'', ''dz'' són [[Differential (infinitesimal)|desplaçaments]] [[Mètodes infinitesimals|infinitesimals]] en les tres [[Dimensió|dimensions espacials]], i ''t'' és el període de temps transcorregut des d'algun moment inicial ''t'' <sub>0</sub> = 0). Aquí, ''p'' <sub>1</sub>, ''p'' <sub>2</sub>, ''p'' <sub>3</sub> són tres nombres qualssevol que compleixin les següents ''condicions de Kasner''{{NumBlk|:|<math>p_1+p_2+p_3=p_1^2+p_2^2+p_3^2=1.</math>|{{EquationRef|eq. 3}}}}

== Conclusions ==
BKL descriu singularitats en la solució cosmològica d'equacions d'Einstein que tenen un caràcter oscil·latori complicat. Encara que aquestes singularitats s'han estudiat principalment en models espacialment homogenis, hi ha raons convincents per suposar que les singularitats en la solució general de les equacions d'Einstein tenen les mateixes característiques; aquesta circumstància fa que el model BKL sigui important per a la cosmologia.

Una base d'aquesta afirmació és el fet que el mode oscil·latori en l'aproximació a la singularitat és causat per la pertorbació única que també provoca inestabilitat en la solució de Kasner generalitzada. Una confirmació de la generalitat del model és la construcció analítica per a temps llargs amb petites oscil·lacions. Tot i que aquest darrer comportament no és un element necessari de l'evolució mètrica propera a la singularitat, té totes les propietats qualitatives principals: oscil·lació mètrica en dues dimensions espacials i canvi monòton en la tercera dimensió amb una certa pertorbació d'aquest mode al final d'algun temps. interval. Tanmateix, les transicions entre les èpoques de Kasner en el cas general de la mètrica espacial no homogènia no han estat dilucidades en detall.

El problema relacionat amb les possibles limitacions a la geometria espacial causades per la singularitat es va deixar de banda per a un estudi posterior. No obstant això, és clar des del principi que el model BKL original és aplicable tant a l'espai finit com a l'infinit; això s'evidencia amb l'existència de models de singularitat oscil·latòria tant per a espais temps tancats com oberts.

El mode oscil·latori de l'aproximació a la singularitat dóna un nou aspecte al terme "finitud del temps". Entre qualsevol moment finit del temps mundial ''t'' i el moment ''t'' = 0 hi ha un nombre infinit d'oscil·lacions. En aquest sentit, el procés adquireix un caràcter infinit. En lloc del temps ''t'', una variable més adequada per a la seva descripció és ln ''t'' a la qual s'estén el procés <math>-\infty</math>.

== Notes ==
{{referències|group=note}}

== Referències ==
{{Referències}}

== Bibliografia ==
* {{cite journal |last1=Damour |first1=Thibault |last2=Henneaux |first2=Marc |author-link1=Thibault Damour |author-link2=Marc Henneaux |title=Chaos in superstring cosmology |journal=[[Physical Review Letters]] |year=2000 |volume=85 |issue=5 |pages=920–923 |doi=10.1103/PhysRevLett.85.920|pmid=10991439 |arxiv= hep-th/0003139|bibcode=2000PhRvL..85..920D|s2cid=10752273 }}
* {{cite journal |last1=Damour |first1=Thibault |last2=Henneaux |first2=Marc |last3=Julia |first3=Bernard |last4=Nicolai |first4=Hermann |author-link1=Thibault Damour |author-link2=Marc Henneaux |title=Hyperbolic Kac–Moody algebras and chaos in Kaluza-Klein models |journal=[[Physics Letters B]] |year=2001 |volume=509 |issue= 3–4|pages=323–330 |doi=10.1016/S0370-2693(01)00498-1 |arxiv=hep-th/0103094 |bibcode=2001PhLB..509..323D|s2cid=16964946 }}
* {{cite journal |last1=Damour |first1=Thibault |last2=Henneaux |first2=Marc |last3=Nicolai |first3=Hermann |author-link1=Thibault Damour |author-link2=Marc Henneaux |title=Cosmological billiards |journal=[[Classical and Quantum Gravity]] |year=2003 |volume=20 |issue= 9|page=R145–R200 |doi= 10.1088/0264-9381/20/9/201|citeseerx=10.1.1.262.7733 |s2cid=250877925 }}
* {{cite journal  |last1=Damour |first1=Thibault |last2=Henneaux |first2=Marc |last3=Rendall |first3=Alan D. |last4=Weaver |first4=Marsha |author1-link=Thibault Damour |author2-link=Marc Henneaux |title= Kasner-like behaviour for subcritical Einstein-matter systems|journal= Annales Henri Poincaré|volume= 3|issue=6|pages= 1049–1111|year=2002 | doi=10.1007/s000230200000|bibcode= 2002AnHP....3.1049D|arxiv= gr-qc/0202069|s2cid= 17092394}}
* {{cite book | last=Kac| first=Victor G. |author-link=Victor Kac | title=Infinite dimensional Lie algebras: an introduction | publisher=Birkhäuser | series=Progress in Mathematics | volume=44 |date=1983| location=Basel| doi=10.1007/978-1-4757-1382-4 | isbn=9780817631185}}
* {{cite journal  |last=Kasner|first=Edward |author-link=Edward Kasner |title= Geometrical Theorems on Einstein's Cosmological Equations|url=https://archive.org/details/sim_american-journal-of-mathematics_1921-10_43_4/page/n7|journal=[[American Journal of Mathematics]] |volume=43 |issue= 4|pages= 217–221|year=1921 | doi=10.2307/2370192 |bibcode=1921AmJM...43..217K|jstor=2370192 }}

[[Categoria:Relativitat general]]