2_stabiliteTrousNoir
π Space π Science and technology
Satellites, black holes, exoplanets: when science extends beyond our planet

Are black holes stable ?

with Arthur Touati, PhD Student in Mathematics at École Polytechnique (IP Paris)
On June 1st, 2022 |
4min reading time
Arthur Touati 1
Arthur Touati
PhD Student in Mathematics at École Polytechnique (IP Paris)
Key takeaways
  • Black holes began as purely mathematical ideas, unexpected by-products of Albert Einstein's 1915 theory of general relativity.
  • If the density of a body exceeds a certain threshold, it will distort the space around it and become a black hole. For example, for the Earth to be a black hole, it would have to fit inside a pistachio.
  • Recently, two mathematicians have shown that these surprising objects are stable, a first step towards understanding the final state conjecture..
  • It is hoped that new technologies will soon allow us to observe the birth or at least the youth of a black hole in order to better understand them.

Ein­stein thought that black holes didn’t exist, but (indi­rect) obser­va­tions in the 2010s pro­ved him wrong : black holes are real. Here we take a look at a cen­tu­ry of black holes, from Schwarz­schild’s first cal­cu­la­tions to the recent research fin­dings from Szef­tel and Klainerman.

Cosmic gluttons

His­to­ri­cal­ly, black holes were ini­tial­ly mathe­ma­ti­cal objects, unex­pec­ted by-pro­ducts of the theo­ry of gene­ral rela­ti­vi­ty. This theo­ry, publi­shed in 1915 by Albert Ein­stein, revo­lu­tio­ni­sed our concep­tion of gra­vi­ta­tion and space. As such, space and time form a conti­nuum that has its own geo­me­try. In par­ti­cu­lar, space-time can bend under mat­ter, like a sheet sup­por­ting a hea­vy object. To des­cribe this cur­va­ture, Ein­stein for­mu­la­ted an equa­tion that today bears his name :

Just a few months after this publi­ca­tion, the Ger­man phy­si­cist Karl Schwarz­schild, then ser­ving on the Rus­sian front in the Great War, dis­co­ve­red a par­ti­cu­lar solu­tion to Einstein’s equa­tions. Cal­led the Schwarz­schild metric, it des­cribes space-time in the vici­ni­ty of a sphe­ri­cal­ly sym­me­tric body, such as a star or a pla­net. If the den­si­ty of the body exceeds a cer­tain thre­shold, it is a black hole. The den­si­ty of such an object is sim­ply insane : to turn the Earth into a black hole, you would have to fit it into a pis­ta­chio ! Black holes are so dense that nothing can escape them : once they pass their boun­da­ry, or event hori­zon, any object will remain trap­ped fore­ver. This also applies to light ! Black holes the­re­fore do not emit any light, hence their name.

How do we observe them ?

Pro­blem : all our astro­no­mi­cal obser­va­tions are based on the stu­dy of light coming from the cos­mos, col­lec­ted by teles­copes or sim­ply our eyes. To observe black holes, you the­re­fore have to be cunning !

One solu­tion is to detect gra­vi­ta­tio­nal waves rather than light waves. Ano­ther spec­ta­cu­lar pre­dic­tion of gene­ral rela­ti­vi­ty, gra­vi­ta­tio­nal waves are the trace of cata­clys­mic phe­no­me­na such as the fusion of two black holes in space-time. They pro­pa­gate at the speed of light and we can detect their motion thanks to the giant LIGO-VIRGO col­la­bo­ra­tion inter­fe­ro­me­ters. These kilo­metre-scale detec­tors allo­wed for the first indi­rect obser­va­tion of black holes in 2015.

The first pho­to­graph of a black hole was taken in 2019. Here, it was not the black hole itself that was obser­ved but the disc of glo­wing mat­ter rea­dy to be devou­red orbi­ting the giant star.

Uncertain birth

Long before indi­rect obser­va­tion could even be envi­sa­ged, mathe­ma­tics was the best tool for tack­ling the mys­te­ries sur­roun­ding black holes. An impor­tant ques­tion was : how do black holes form ? What mecha­nism can pos­si­bly allow for such monsters ?

To ans­wer this, the physicist/mathematician Roger Pen­rose put for­ward a sin­gu­la­ri­ty for­ma­tion theo­rem in the 1960s1. This states that the cau­sal­ly catas­tro­phic sin­gu­la­ri­ty at the centre of black holes neces­sa­ri­ly forms if spa­ce­time local­ly satis­fies very strong cur­va­ture condi­tions. Such condi­tions can be met during the gra­vi­ta­tio­nal col­lapse of a star at the end of its life, when it has used up all its fuel. This work ear­ned Pen­rose the 2019 Nobel Prize in Phy­sics, and led to the unders­tan­ding that the death of a star can give rise to the birth of a black hole.

A conjecture becomes a theorem

Tech­ni­cal pro­gress in modern astro­no­my allows us to observe stars that are fur­ther and fur­ther away, and thus probe their past. We can the­re­fore hope to observe the birth, or at least the young lives, of black holes. But ano­ther impor­tant ques­tion eludes our teles­copes : the future of black holes. In par­ti­cu­lar, are they stable ?

In phy­sics, we pre­fer stable objects to uns­table ones. Ima­gine a ball on top of a hill : if you push it slight­ly, it will roll down the hill ! The top of the hill is the­re­fore an uns­table posi­tion and it is sen­si­tive to small per­tur­ba­tions. In contrast, the bot­tom of a hill can be thought of as being a stable posi­tion. The James Webb Space Teles­cope (JWST) will per­fect­ly illus­trate these concepts : its des­ti­na­tion is the Lagrange point L2, which is stable to angu­lar per­tur­ba­tions, but uns­table to radial ones…

JWST in outer space. 

We for­mu­late the sta­bi­li­ty of black holes as fol­lows : what hap­pens to a Schwarz­schild solu­tion repre­sen­ting a black hole if we slight­ly dis­turb it ? Does it return to equi­li­brium like the ball at the bot­tom of a hill ? Yes, accor­ding to two new long articles23 by mathe­ma­ti­cians Jéré­mie Szef­tel and Ser­giu Klai­ner­man. The result of ten years of research, their demons­tra­tion is based on a detai­led unders­tan­ding of the geo­me­try of black holes, as well as on the deve­lop­ment of nume­rous tech­niques for ana­ly­sing par­tial dif­fe­ren­tial equations.

The final state of our universe

Szef­tel and Klai­ner­man’s reso­lu­tion of the sta­bi­li­ty conjec­ture for black holes is a major mathe­ma­ti­cal achie­ve­ment, but their work is by no means the end of the sto­ry – quite the contra­ry. Their ulti­mate goal is known as the final state conjec­ture. In simple terms, this states that in the extre­me­ly dis­tant future, the uni­verse will consist only of black holes moving away from each other. In this sce­na­rio, if two black holes are too close, they will merge, libe­ra­ting gra­vi­ta­tio­nal waves.

Mathe­ma­ti­cal­ly pro­ving this conjec­ture requires sol­ving many inter­me­diate ques­tions, inclu­ding the black hole sta­bi­li­ty conjec­ture. Indeed, if all the contents of our uni­verse even­tual­ly converge to black holes, the black holes must “converge to them­selves”, that is, they become stable ! Ano­ther ‘sub­con­jec­ture’ is that of cos­mic cen­sor­ship, intro­du­ced by Pen­rose in 1969, which pre­dicts that sin­gu­la­ri­ties such as those found at the centre of black holes can­not be ‘naked’, that is, exist without an event hori­zon around them that pro­tects the uni­verse from their para­doxi­cal nature. The final state conjec­ture and most of its ‘sub­con­jec­tures’ are cur­rent­ly com­ple­te­ly out of reach. They will no doubt keep mathe­ma­ti­cians busy for decades, if not hun­dreds of years to come.

To find out more

Voyage au Coeur de l’Espace-Temps, Sté­phane d’Ascoli et Arthur Toua­ti (2021), First Edi­tions 

1Roger Pen­rose. Tech­niques of dif­fe­ren­tial topo­lo­gy in rela­ti­vi­ty. Confe­rence Board of the Mathe­ma­ti­cal Sciences Regio­nal Confe­rence Series in Applied Mathe­ma­tics, No. 7. Socie­ty for Indus­trial and Applied Mathe­ma­tics, Phi­la­del­phia, Pa., 1972
2Ser­giu Klai­ner­man and Jéré­mie Szef­tel. Glo­bal non­li­near sta­bi­li­ty of Schwarz­schild spa­ce­time under pola­ri­zed per­tur­ba­tions, volume 210 of Annals of Mathe­ma­tics Stu­dies. Prin­ce­ton Uni­ver­si­ty Press, Prin­ce­ton, NJ, 2020
3Ser­giu Klai­ner­man and Jéré­mie Szef­tel. Kerr sta­bi­li­ty for small angu­lar momen­tum. 2021

Support accurate information rooted in the scientific method.

Donate