Призрачното уравнение срещу хаоса: Математици са намерили начин да укротят непредсказуемата реалност

Математиците описват почти всички процеси, които се променят във времето и пространството с помощта на уравнения в частични производни. Към тези процеси се отнасят движението на бурята, колебанията на борсовите цени, разпространението на инфекции. Подобни уравнения обединяват скоростта на изменение, координатите и физическите параметри на средата. Проблемът е, че в реалните проблеми такива формули бързо стават твърде сложни. Те могат да бъдат записани, но най-често е невъзможно да се получи точно решение в явен вид.

Ето защо на практика се използва заобиколен вариант. Вместо точен отговор се опитват да докажат, че решението се държи коректно, без прекъсвания и безкрайни скокове. Това свойство се нарича регулярност. По-просто казано, функцията трябва да се променя плавно и да не дава физически невъзможни стойности. Ако регулярността е установена, след това се включват приблизителни методи и числени схеми. Те позволяват доста точно да се възстанови картината на процеса. Но за много уравнения, които възникват в моделите на реални среди, дълго време не се успяваше да се потвърди такава „плавност”.

Особен интерес представлява класът на елиптичните частни уравнения. Те се използват в ситуации, в които дадена величина е разпределена в пространството, но не се променя с времето. Типични примери са температурата на замръзнал поток лава, налягането на флуида в пореста скала, разпределението на напрежението в структура и преносът на хранителни вещества в тъкан. Решението на такова уравнение определя стойността на дадена величина във всяка точка от областта наведнъж и зависи от много свързани параметри.

За да могат приблизителните методи да работят надеждно, трябва да се контролира скоростта на изменение на решението. За тази цел математиците разглеждат градиента – величина, която показва колко бързо се променя дадена функция при малко преместване в пространството. Ако градиентът достигне твърде големи стойности, моделът започва да дава нестабилни резултати. Директното му изчисляване обикновено е толкова трудно, колкото и самото решение.

През 30-те години на миналия век полският математик Юлиуш Шаудер се опитва да формулира условия, при които решенията на елиптичните уравнения са гарантирано правилни. Той доказа, че в много случаи е достатъчно да се изисква гладкост на коефициентите вътре в уравнението. Тези коефициенти определят локалните свойства на средата, като например скоростта на разпространение на топлината. Ако те не се променят твърде рязко от точка до точка, решението остава „плавно“.

По-късно е установено, че това е достатъчно за хомогенни материали, при които свойствата са ограничени от разумни граници. В такава среда топлопроводимостта или еластичността не могат внезапно да се различават десетократно в съседни точки. Тогава теорията на Шаудер работи надеждно.

Но повечето реални вещества са хетерогенни. Лавата съдържа разтопена маса, кристали и газови мехурчета. Скалите се състоят от различни включвания. Биологичната тъкан не е еднородна по структура. В такива случаи се използват неравномерно елиптични уравнения – модели, при които коефициентите могат да варират в широки граници в зависимост от областта. Това е моментът, в който класическата теория престава да дава гаранции. Според италианския математик Джузепе Миньоне практически всички проблеми от реалния свят попадат в тази трудна категория.

През 2000 година, разглеждайки работата на руския математик Василий Жиков, Миньоне забелязва важна подробност. Дори ако формалните условия на Шаудер са изпълнени, в нееднородна среда решението може да е неравномерно. Така че старите изисквания не са достатъчни. Заедно със свои колеги той предлага да се добави ново ограничение. Необходимо е да се контролира не само плавността на промените на коефициентите, но и степента на обща нееднородност на средата. Колкото по-голяма е вариацията на свойствата, толкова по-строго трябва да бъде ограничението. Това условие беше записано под формата на точно неравенство – численият праг на допустимата хетерогенност.

Беше доказано, че когато този праг е нарушен, гладкостта на решението не може да бъде гарантирана. Но обратното твърдение, че под прага регулярността винаги се запазва, дълго време остана хипотеза. Миньоне се опитвал да го докаже в продължение на много години и накрая оставил проблема настрана.

Почти две десетилетия по-късно аспирантката Кристиана де Филипис се връща към проблема. Въпреки скептицизма на колегите си, тя решава да доведе хипотезата до строго доказателство и се свързва с Миньоне. Работата е възобновена.

Ключовият ход беше да не се атакува директно първоначалното уравнение. Изследователите извеждат спомагателна връзка, свързана с оригиналната задача и съдържаща информация за градиента. Те я нарекоха „призрачно уравнение“. То играе ролята на междинен модел, чрез който е по-удобно да се получат оценки. С помощта на дълга верига от преобразувания и оценки те успели да реконструират поведението на градиента и да го разделят на части, за всяка от които определили твърди горни граници.

Задачата се оказала изключително чувствителна към точността на оценките. Най-малкият пропуск в една стъпка разрушавал цялата конструкция. През 2022 година се появи резултат за широк подклас уравнения, но не за всички. За да затворят останалите случаи, авторите трябваше да подсилят оценките и многократно да преструктурират доказателството. Накрая те показаха, че прагът, предложен от Миньоне наистина е точна граница. Под него решенията са задължително регулярни, а над него те могат да загубят „плавността“ си.

Работата завършва една линия на изследване, която се развива от почти 100 години. Сега математиците разполагат с инструмент за строг анализ на модели със силно нехомогенни свойства на средата. Вече се планира методите да бъдат прехвърлени към други видове частни производни уравнения, включително към проблеми, при които процесите се променят както във времето, така и в пространството. Това разширява възможностите за математическо описание на сложни природни и технически системи.