Probleme Fundamentale

Rezumat. Lucrarea prezint problemele matematice formulate de David Hilbert la Congresul Internaional de Matematic de la Paris din 1900 mpreun cu cteva detalii. n continuare se prezint lista lui Landau i apoi a lui Smale. Se arat c dup 100 de ani, n lista lui Smale se regsesc multe din problemele formulate de Hilbert. Ceea ce caracterizeaz lista lui Smale este faptul c toate problemele formulate de acesta sunt legate de teoria computabilitii, care stabilete ceea ce putem calcula, cum i cu ce efort. Aceasta precizeaz rolul informaticii ca un capitol special al matematicii care are ca obiect fundamental de studiu algoritmizarea conceptelor matematice, studiul convergenei i a complexitii computaionale, prelungirea analizei conceptelor matematice din punctul de vedere al puterii lor computaionale.

Fiecare domeniu de activitate are la baz o metafor1 fondatoare i este caracterizat de o serie de probleme care pot fi considerate drept probleme fundamentale. n general, prin problem () nelegem ceva ce avem mereu n fa, i cu care suntem confruntai. ntotdeauna o problem ne plaseaz ntr-o stare pe care o putem numi problematic. Adic acea stare de tensiune intelectual prin care suntem chemai s depim situaia cu care trebuie s facem fa. Este vorba deci de o instabilitate sau derut cognitiv care cere unui organism (viu sau artificial care ntotdeauna este matematic) efectuarea unui efort de modificare a strii curente n sensul depirii strii problematice create de o situaie, de cele mai multe ori nedorit, dat. Altfel spus, n esena ei, o problem este o ntrebare fie de natur raional, speculativ sau teoretic, fie de natur practic, netrivial, adic greu de rezolvat, care n urma soluionrii ne conduce la rspunsuri cu valoare adugat, nu direct intuibile. Problemele provin din dou surse principale. Prima o constituie perturbaiile cu care mediul nconjurtor acioneaz asupra noastr. A doua este dat de procesul cognitiv veritabil n care ne plasm pentru a ne ameliora nelegerea funcionrii creaiei. Problemele fundamentale ale unui domeniu rezult direct din obiectul domeniului, ca urmare a unei nelegeri profunde a fenomenelor proprii domeniului respectiv. Ceea ce d maturitate unui domeniu este gradul lui de formalizare. n acest context putem spune c matematica este un univers de discurs translatat n
Metaphora, care vine din limba greac i nseamn deplasare, este o figur de stil prin care se realizeaz trecerea de la semnificaia obinuit, cunoscut, a unui cuvnt sau a unei expresii, la o alt semnificaie pe care cuvntul sau expresia respectiv o primete n scopul obinerii unei comparaii. Metafora realizeaz un transfer brusc ntre doi termeni prin care alturi de primul neles, comun, apar o multitudine de alte sensuri sugerate. Evident acestea sunt contientizate n funcie de subtilitatea i cultura cititorului.
1

NECULAI ANDREI COMPLEMENTE DE MODELARE I OPTIMIZARE

limbaj simbolic. Matematica este limbajul natural al tiinei, fundamentul ncercrii oamenilor de a nelege lumea nconjurtoare. n acest context cred c nelegerea se construiete pe straturi de abstractizare. Cele mai stabile straturi sunt cele care se afl cel mai aproape de faptele observabile. Cele mai instabile sunt cele de la grania cunoaterii. Pentru unele domenii de activitate definirea problemelor fundamentale este o sarcin foarte grea. n definirea problemelor fundamentale, pe lng obiectul de activitate al domeniului trebuie avute n vedere o serie de alte aspecte legate de gradul de cultur, tradiii, formalizarea domeniului, experiena trit a naturii etc. De exemplu, la ntrebarea care este problema fundamental a omului?, cred c rspunsul ar fi problema salvrii sau a eliberrii - ataraxia. Au fost oameni care au rezolvat aceast problem ? Cred c sfinii i adevraii oameni de tiin au atins cu adevrat aceast stare. Atingerea strii de ataraxie , de senintate, este o mare provocare i constituie una dintre marile cutri ale spiritelor cultivate. Pentru aceste spirite nu exist nimic mai important dect sophia, adic ceea ce se poate traduce prin nelepciune. Pitagora se pare c a fost primul care a ntrebuinat acest termen cnd spune sophos nu este dect zeul, pe cnd omul nu poate fi altceva dect un philosophos, adic un iubitor de nelepciune. Aadar, atingerea strii de sophos sau de zeu, aa dup cum ne recomand i Socrate n discuia lui cu atenienii, nseamn realizarea strii de perfeciune, a unei stri divine n acord cu o vorb a lui Heraclit, anume locul zeului este n om. Dezvoltarea tiinei i a tehnologiei, pe de-o parte i a matematicii cu toate ramurile ei, pe de alt parte, au determinat apariia i consolidarea unui numr foarte mare de domenii care au obiecte de activitate foarte bine definite i individualizate, i care utilizeaz concepte i instrumente matematice avansate bine particularizate. Este foarte greu de a se prezenta toate domeniile de activitate mpreun cu problemele lor fundamentale. Totui, n cele ce urmeaz vom ncerca s prezentm o list a ctorva domenii i problemele lor fundamentale. Lista este discutabil i cu aceast ocazie invitm cititorul s mediteze asupra acestei chestiuni n sensul dezvoltrii i completrii ei.
Aerodinamica: Determinarea micrii fluidelor, i n general a gazelor, precum i aceea a micrii corpurilor ntr-un mediu gazos. Alchimie: Transmutaia elementelor ctre aur. Algebra: Rezolvarea ecuaiilor polinomiale cu coeficieni numere complexe. Algebra numeric liniar: Rezolvarea sistemelor algebrice liniare; Calculul valorilor proprii; Descompunerea valorilor singulare; Cele mai mici ptrate. Analiza numeric: Studiul algoritmilor pentru rezolvarea problemelor matematice continue (cu variabile reale sau complexe). Antropologie: Originea, evoluia i variabilitatea biologic a omului; Influena condiiilor naturale i social-culturale asupra omului. Aritmetica: Descompunerea numerelor naturale ca un produs de numere prime. Astrologie: Determinarea viitorului pe baza poziiei i micrii atrilor, a constelaiilor sau a unor fenomene cereti. Astronomie: Originea, natura i micarea astrelor, a sistemelor de atri, a galaxiilor i a

 PROBLEME FUNDAMENTALE

universului. Existena lumilor extraterestre. Biologie: Rspunsul la ntrebarea: ce este viaa ? Cosmologie: Alctuirea, originea, evoluia i scopul universului. Economie: Alocarea resurselor. Estetic: Originea, natura i valoarea frumosului ca existen n sine sau ca manifestare. Filosofie: Rspunsul la ntrebarea: ti to on ce este fiina ? Fundamentele matematicii: Care este natura noiunilor considerate n matematic, n ce msur acestea au fost construite de oameni, n ce msur ele au fost impuse din exterior i de unde le cunoatem proprietile. Care este natura demonstraiilor matematice i care sunt criteriile care ne permit s deosebim demonstraiile adevrate de cele false. Geologie: Originea, natura i structura Pmntului mpreun cu transformrile suferite n timp. Identificarea sistemelor: Cele mai mici ptrate parial; Separarea semnalelor prin utilizarea tehnicilor de identificare; Identificarea sistemelor slab excitate; Identificarea sistemelor n bucl nchis; Identificarea sistemelor neliniare; Identificarea sistemelor din msurtori afectate de zgomot. Informatic: Coborrea n computaional a conceptelor matematice. Logic: Aflarea i explicarea adevrului, realizat n toate obiectele gndirii. Logica matematic: Care este mecanismul logico-matematic al deduciei i ce l justific. Determinarea unui procedeu care s permit ntotdeauna s recunoatem dac o propoziie este adevrat sau fals ntr-o teorie. Macroeconomie: nelegerea modalitilor de interaciune a celor trei categorii de piee: piaa bunurilor i serviciilor, piaa monetar i piaa muncii, precum i determinarea produciei i a gradului de ocupare a forei de munc. Alocarea resurselor ntre agregatele economice. Rezolvarea omajului i a inflaiei. Microeconomie: Ce bunuri i ce servicii se produc i n ce cantiti; cum se produc bunurile; cum se distribuie aceste bunuri, cum se stabilesc preurile bunurilor i serviciilor. Mecanic: Stabilirea unor relaii ntre forele care acioneaz asupra unui sistem de corpuri materiale i micarea mecanic realizat de aceste corpuri. Sau altfel spus, studiul micrii i echilibrului corpurilor materiale, precum i studiul forelor care solicit aceste corpuri. Meteorologie: Predicia strii i a schimbrii atmosferei pe perioade mari de timp. Teoria ecuaiilor difereniale: Studiul grupurilor cu un parametru de difeomorfisme ale unei varieti, a cmpurilor de vectori definite pe varietate i a legturilor dintre aceste cmpuri. Teoria catastrofelor: Studiul i clasificarea fenomenelor caracterizate de o schimbare brusc a comportrii lor ca urmare a unor mici schimbri n valoarea i structura parametrilor asociai acestor fenomene. Teoria macroscopic a cmpului electromagnetic: Determinarea cmpului electromagnetic n diverse medii i ipoteze. Rezolvarea ecuaiilor Maxwell-Hertz. Teoria sistemelor: Studiul matematic al structurilor dinamice complexe. Teoria sistemelor liniare: Calculul matricelor compensatoarelor; Alocarea polilor; Rejecia exact a perturbaiilor; Decuplare; Invarierea ieirii; Sinteza exact. Topologie: Identificarea acelor proprieti ale unor structuri matematice care sunt invariante la deformri continue. Procesarea limbajului natural: Stabilirea i recunoaterea identitii cuvntului i a

NECULAI ANDREI COMPLEMENTE DE MODELARE I OPTIMIZARE utilizrii lui n context.

1. Probleme Matematice. Lista lui Hilbert

La al doilea Congres Internaional de Matematic de la Paris, care a avut loc n 8 august 1900, David Hilbert a prezentat conferina invitat: Probleme matematice2. n aceast conferin Hilbert a articulat 23 de probleme matematice majore care au stimulat gndirea matematic conducnd la apariia i dezvoltarea unor domenii matematice noi. Probabil c aceasta a fost cea mai influent conferin susinut de un matematician pentru matematicieni. Totui, n esena lor acestea nu sunt numai probleme matematice ci probleme de filosofia matematicii i chiar veritabile probleme filosofice. Unele dintre aceste probleme au fost rezolvate, altele continu s fie mari provocri.

David Hilbert (1862-1943)

Problemele lui Hilbert se pot structura n patru clase mari. Prima conine ase probleme care se refer, n principal, la analiza numerelor reale utiliznd teoria mulimilor a lui Cantor i un apel la axiomatizarea aritmeticii i de aici a fizicii. A doua clas include tot ase probleme asupra teoriei numerelor algebrice, culminnd cu generalizarea teoremei lui Kronecker. Cea de-a treia clas, tot cu ase probleme, se adreseaz la diferite aspecte ale unor probleme din algebr i geometrie. Ultima clas conine cinci probleme din analiz, incluznd analiticitatea soluiilor unor probleme i extinderea calculului variaional. n lista de mai jos prezentm aceste probleme (vezi i [Bistriceanu i Stnil, 1996]).
1. Dac

A R este o mulime infinit, atunci s se arate c exist fie o bijecie A N , fie o bijecie A R.

2.

Cu alte cuvinte, problema const n: exist un cardinal strict intermediar ntre cardinalele mulimilor N i R ? Aceasta este cunoscut ca problema continuului. n 1963 Paul Cohen a artat c rezultatul nu se poate obine din sistemul de axiome Zermelo-Fraenkel al teoriei mulimilor. Cu alte cuvinte, exist o matematic care accept ipoteza continuului i o alta care nu o accept, ambele fiind viabile, problema continuului fiind nchis. [K. Gdel. The consistency of the axiom of choice and of the generalized continuum hypothesis. Princeton University Press, Princeton, 1940.] Necontradicia aritmeticii n Z. Altfel spus, se poate demonstra c axiomele logicii sunt consistente? Mai precis, din axiomele lui Peano este posibil s se deduc logic

Mathematical Problems. Lecture delivered before the International Congress of Mathematicians at Paris n 1900, by Professor David Hilbert, 32 pages. [http://babbage.clarku.edu/ djoyce/hilbert/problems.html#final]

 PROBLEME FUNDAMENTALE

3.

4. 5.

6.

7.

att o afirmaie ct i negaia ei? n 1931 Gdel (1906-1978) a artat imposibilitatea demonstrrii noncontradiciei aritmeticii prin metode finitiste. Este sau nu adevrat principiul echipartiiei pentru tetraedre? Problema este dac dou tetraedre cu baze echivalente, n sensul c acestea au aceeai arie, i nlimi congruente pot sau nu s fie echipartiionate sau completate prin poliedre congruente. n 1902 Dehn a artat c exist asemenea tetraedre care nu pot fi echipartiionate. Kagon a obinut acelai rezultat n 1903. [V. G. Boltianskii. Hilbert's Third Problem. Winston, Halsted Press, Washington, New York, 1978.] [C. H. Sah. Hilbert's Third Problem: Scissors Congruence. Pitman, London 1979.] Studiul geometriilor neeuclidiene i al geodezicelor. S se gseasc geometrii a cror axiome s fie apropiate de cele ale geometriei euclidiene. Problema a condus la studiul spaiilor Finsler i a conexiunilor pe fibrai. Studiul grupurilor topologice i al grupurilor Lie. ntrebarea era dac grupurile continue sunt automat difereniabile. Problema a condus la degajarea noiunilor de varietate topologic i varietate difereniabil. [Montgomery and Zippin. Topological Transformation Groups. Wiley, New York, 1955.] [Kaplansky. Lie Algebras and Locally Compact Groups. Chicago Univ. Press, Chicago, 1971.] Studiul axiomatic al fizicii. Se poate axiomatiza fizica? Axiomatiznd geometria, n 1899, Hilbert a recomandat extinderea acestei idei i pentru alte domenii ale matematicii i tiinei. n acest sens s-a reuit axiomatizarea teoriei probabilitilor (Kolmogorov, 1933), a mecanicii (Einstein-Minkowski), a termodinamicii (Caratheodory-Bejan), a teoriei macroscopice a cmpului electromagnetic (MaxwellHertz), a mecanicii cuantice (von Neumann). Totui, n 1931, Gdel a artat insuficiena axiomatizrii, demonstrnd faptul c n cadrul unui sistem axiomatizat ntotdeauna exist propoziii nedecidabile. Altfel spus, matematica i deci cu att mai mult Natura, nu se pot reprezenta prin intermediul unui numr (restrns) de axiome i legile logice ale lui Aristotel. [Leo Corry, Hilbert and the Axiomatization of Physics (1894-1905) n Archive for History of Exact Sciences, 51 (1997).] Iraionalitatea i transcendena anumitor numere. Fie un numr algebric diferit de zero i diferit de unu, i

un numr iraional. Atunci numrul

este

8.

transcendent? n 1934 Ghelfond (1906-1968) a artat c este transcendent pentru cazul special n care este un numr algebric. Problema este deschis pentru cazul general n care este iraional. Hermite (1822-1901) a artat transcendena lui e , iar Lindemann (1852-1939) a artat transcendena lui . Problema a condus la teoria analitic a numerelor, la studiul fraciilor continue etc. [N.I.Feldman. Hilbert's seventh problem, Moscow State University 1982, 312pp. MR 85b:11001.] S se demonstreze ipoteza lui Riemann conform creia funcia

( s)= 1 +

funcia zeta a lui Riemann, are toate zerourile din semiplanul drept Re( s ) > 0 situate pe dreapta vertical Re( s ) = 1 / 2. Utiliznd o abordare experimental,

1 1 + + 2s 3s

NECULAI ANDREI COMPLEMENTE DE MODELARE I OPTIMIZARE aceast ipotez a fost confirmat prin calculul primelor ctorva milioane de zerouri. Bompieri a artat c ipoteza are loc cu probabilitatea 1, n raport cu un anumit cmp de evenimente. Problema este important, rezolvarea ei permind soluionarea altor probleme ca aceea a lui Goldbach. Demonstraia celei mai generale legi a reciprocitii a lui Gauss. Un ntreg n se numete rest ptratic modulo p ( p 3, p numr prim) dac n nu este divizibil cu p i exist un ntreg m astfel nct m n este divizibil cu p . n acest context se noteaz: n 1, daca n este rest patratic modulo p, = altfel. p 1, Legea reciprocitii stabilit de Gauss afirm c: pentru orice dou numere prime impare p i q , este adevrat egalitatea:
2

9.

10.

11. 12.

13.

q p = (1) 2 2 . p q Determinarea rezolvabilitii ecuaiilor diofantice. Problema const n a elabora un algoritm care s determine soluiile ntregi ale unei ecuaii de forma f ( x1 ,..., x n ) = 0 , unde f (.) este un polinom cu coeficieni ntregi. Matiyasevici, matematician american de origin rus, a rezolvat problema dnd un rspuns negativ n 1970. [S. Chowla. The Riemann Hypothesis and Hilbert's Tenth Problem. Gordon and Breach, New York, 1965.] [Yu. V. Matiyasevich. Hilbert's Tenth Problem. MIT Press, Cambridge, Massachusetts,1993, vezi: http://logic.pdmi.ras.ru/~yumat/H10Pbook.] Studiul formelor ptratice cu coeficieni numere algebrice. Rezolvarea unei ecuaii ptratice cu coeficieni numere algebrice, cu un numr arbitrar de variabile din corpul numerelor fracionare sau numere ntregi. Generalizarea teoremei lui Kronecker. (Extensia abelian maximal a corpului Q este generat de toate rdcinile unitii.) [R.-P. Holzapfel. The Ball and Some Hilbert Problems. Springer-Verlag, New York, 1995.] Imposibilitatea rezolvrii ecuaiei generale de gradul 7 prin sume i compuneri de funcii de cte dou variabile. Problema a fost rezolvat n 1957 de Kolmogorov i

p 1 q 1

Arnold. Acetia au artat c dac f : K R , unde K R , este o funcie

m n

continu pe paralelipipedul K , atunci exist un numr de n(2n + 1) funcii continue

hp ,q de cte o singur variabil (1 p n,1 q 2n + 1), precum i o g : R R m , astfel nct:

f ( x1 , , xn ) =
2 n +1 q =1

funcie continu

g h
p =1

p ,q

(xp ) ,

pentru orice ( x1 , , xn ) K . 14.

Demonstrarea finitudinii anumitor k algebre. Problema const n a arta dac subinelul, inelului polinoamelor cu coeficieni ntr-un corp comutativ, al polinoamelor invariante la un grup de automorfisme este finit generat. Nagata a dat

 PROBLEME FUNDAMENTALE

15. 16.

17. 18.

19. 20. 21. 22. 23.

un rspuns negativ la aceast problem n 1958. [Masayoshi Nagata. Lectures on the fourteenth problem of Hilbert. Tata Institute of Fundamental Research, Bombay, 1965.] Fundamentarea riguroas a calculului enumerativ al lui Schubert. Problema este n legtur direct cu studiul varietilor algebrice i cu schemele lui Grothendieck. Studiul topologic al curbelor i suprafeelor algebrice. Aceast problem a condus la elaborarea topologiei varietilor algebrice reale, teoria Morse, studiul singularitilor etc. [Yu. Ilyashenko, and S. Yakovenko, (Editors) Concerning the Hilbert 16th problem. American Mathematical Society, Providence, R.I., 1995.] [B.L.J. Braaksma, G.K. Immink, and M. van der Put, (Editors) The Stokes Phenomenon and Hilbert's 16th Problem. World Scientific, London, 1996.] Exprimarea unor forme raionale cu coeficieni reali, cu valori pozitive, ca sum de ptrate de funcii raionale. Problema a fost rezolvat de E. Artin n 1927. Acoperirea spaiului cu poliedre congruente. Studiul grupurilor cristalografice. Orice structur cristalin, proprie unei substane n faz solid, are anumite regulariti care se pot exprima sub forma unui grup cristalografic (grupul de micri ale spaiului care invariaz structura cristalului). n 1891 Fedorov i Schnfliess au demonstrat c n plan exist 17 grupuri cristalografice distincte, iar n spaiu 230. Problema a condus la introducerea pseudocristalelor de ctre Penrose i la fractali de ctre Mandelbrot. Analiticitatea soluiilor unor probleme variaionale. Analiticitatea soluiilor unor ecuaii cu derivate pariale. Existena unor ecuaii difereniale cu grup de monodromie dat. S se demonstreze c ntotdeauna exist un sistem Fuchsian cu singulariti i un grup de monodromie date. Uniformizarea relaiilor analitice cu ajutorul funciilor automorfe. Extinderi ale metodelor calculului variaional.

Problemele lui Hilbert au avut un impact deosebit n comunitatea tiinific conducnd la apariia i dezvoltarea unor domenii noi n matematic cu puternice implicaii aplicative. Astfel au aprut i s-au consolidat domeniile: teoria categoriilor i functorilor, algebra omologic, teoria fascicolelor, analiza pe varieti i geometria spaiilor analitice, analiza nonstandard, teoria catastrofelor i bifurcaii, teoria sistemelor dinamice, control optimal, transformata Fourier rapid, teoria unificat a cmpului, teoria informaiei, tomografia computerizat, fractali i haos, procese stocastice, teoria fiabilitii etc. Toate acestea se constituie ca instrumente matematice de mare finee analitic pentru modelarea matematic a creaiei.

2. Probleme Matematice. Lista lui Landau

n 1912, la Congresul de Matematic de la Cambridge, Landau a propus 4 probleme, cunoscute ca problemele lui Landau:
1. Conjectura lui Goldbach. ntr-o scrisoare din 7 iunie 1742 expediat lui Euler, Goldbach formuleaz conjectura: orice numr mai mare dect 2 este suma a trei numere prime. Euler a reformulat conjectura sub forma toate numere ntregi pozitive

8
2.

NECULAI ANDREI COMPLEMENTE DE MODELARE I OPTIMIZARE pare, mai mari dect 4, se pot exprima ca suma a dou numere prime. Conjectura numerelor prime gemene. Numerele prime gemene sunt perechi de numere prime de forma ( p, p + 2) . De exemplu: (3,5), (5,7), (11,13),... Se conjectureaz c sunt o infinitate de perechi de numere prime gemene. 2 2 Conjectura c exist un numr prim p astfel nct n < p < ( n + 1) , pentru orice

3. 4.

n.

Conjectura c exist o infinitate de numere prime

p de forma p = n 2 + 1.

Mai trziu, n 1945, la Congresul de la Amsterdam, John von Neumann a prezentat o conferin similar: Probleme nerezolvate de matematic cu un impact mai mic asupra comunitii tiinifice dect conferina lui Hilbert.

3. Probleme Matematice. Lista lui Smale

La o sut de ani dup Hilbert, Steve Smale, rspunznd unui mesaj al lui Arnold, trimis din partea Asociaiei Internaionale a Matematicienilor, a propus o list de 18 probleme, considerate problemele secolului al XXI-lea [Smale, 1998, 2000]. Lista lui Smale este n spiritul celei elaborate de Hilbert i de fapt include cteva din problemele lui Hilbert. Aceasta nu conine probleme din toate domeniile matematicii. Mai mult, unele probleme nici nu au o formulare matematic precis. avnd un caracter descriptiv mai mult filosofic dect matematic. Referitor la aceste probleme, ceea ce este foarte important de menionat este faptul c din cele 18 probleme, aproape toate implic fie teoria computabilitii (a calculului), fie teoria siste-

Stephen Smale (1930)

melor dinamice, fie ambele. Aceasta arat importana acordat calculului, adic importana acordat coborrii n computaional a conceptelor matematice. n cele ce urmeaz s prezentm pe scurt problemele din lista lui Smale.
1.

Ipoteza lui Riemann. Toate zerourile netriviale ale funciei Zeta:

( s) =

a lui Riemann, se afl pe linia critic = 1 / 2. Aceasta este chiar problema numrul 8 din lista lui Hilbert. Ipoteza lui Riemann a constituit subiectul a foarte multe lucrri care accentuau att aspectele teoretice ct i pe cele computaionale. Este iteresant de notat c chiar Riemann pe lng intuiia cu care a formulat aceast ipotez n 1859, a fcut calcule numerice foarte detaliate privind determinarea cu acuratee a rdcinilor funciei

1 s, n =1 n

Re( s) > 1,

 PROBLEME FUNDAMENTALE

( s) . n prezent se cunosc foarte multe ncercri de a testa computaional aceast

ipotez. De exemplu, Brent et al (1982) au artat c ipoteza este adevrat pentru primele 2000000001 zerouri + it n domeniul 0 < t < 81702130,19. n 1914 Hardy a artat c se pot determina un numr infinit de valori pentru s pentru care ( s ) = 0 i Re( s ) = 1 / 2. Totui, nu se cunoate dac toate zerourile netriviale s ale funciei ( s ) satisfac Re( s ) = 1 / 2. Importana ipotezei lui Riemann const n nelegerea distribuiei numerelor prime [Stoilov, 1954]. Conjectura lui Poincar. Presupunem c o varietate compact, conex din spaiul 3-dimensional are proprietatea c orice cerc de pe aceasta se poate deforma continuu la un punct. Atunci, este aceast varietate homeomorf cu o sfer din spaiul 3dimensional ? Altfel spus, conjectura lui Poincar zice c sfera este singurul spaiu posibil tri-dimensional mrginit care nu conine guri. Conjectura a fost propus de Poincar n 1904 i apoi a fost generalizat la varieti compacte n dimensionale. n sfera este spaiul

2.

{ x R n+1 :

x = 1},

O varietate compact n dimensional se poate reprezenta ca o suprafa nchis, mrginit n dimensional (difereniabil i nesingular) din spaiul Euclidian. Conjectura lui Poincar zice c o varietate compact n dimensional M cu proprietatea c orice aplicaie f : S
n

= i=1 x i2 .
n

M , k < n se poate deforma la un punct,

3.

trebuie s fie homeomorf cu S . Henri Poincar a studiat aceste probleme n lucrrile lui asupra topologiei. n 1900 a anunat o demonstraie pentru cazul general n dimensional, dar n 1904 a gsit un contra exemplu. ntr-o alt lucrare a dat o demonstraie pentru cazul n = 3. n 1960 Steve Smale a dat un rspuns afirmativ pentru cazul n > 4, iar n 1982 Mike Freedman a demonstrat conjectura pentru n = 4. n 2002 Grigori Perelman a demonstrat conjectura pentru n = 3. Conjectura lui Poincar a influenat foarte mult matematicile din secolul XX, instituind varietile ca un obiect de studiu n matematic, incluznd varieti algebrice, varieti Riemann etc. precum i la nelegerea topologiei pe varieti. Are lor egalitatea: P = NP ? Adic, problemele polinomiale sunt echivalente cu cele nedeterminist polinomiale ? Aceasta este o problem fundamental a informaticii i se refer la studiul complexitii algoritmilor. De fapt aceasta reprezint o chestiune din tiina calculatoarelor pus matematicii. La fel ca i conjectura lui Poincar care a introdus varietile ca obiect de studiu n sine, la fel aceast problem introduce studiul algoritmilor ca domeniu de studiu separat. O problem este polinomial (cu timp polinomial) dac numrul de pai necesari rezolvrii ei este mrginit de un polinom. O problem este nedeterminist polinomial (cu timp nedeterminist polinomial) dac o soluie ei este verficabil ntr-un timp polinomial pe o main Turing nedeterminist. (O main Turing nedeterminist este o main Turing paralel, care poate executa n paralel mai multe drumuri computaionale, cu restricia c mainile Turing nu pot comunica ntre ele.) O Pproblem (a crui timp de rezolvare este mrginit de un polinom) este ntotdeauna NP. Dac se cunoate c o problem aparine clasei NP i se cunoate cumva o soluie a ei (de exemplu se ghicete), atunci demonstrarea corectitudinii acestei soluii se poate ntotdeauna reduce la o verificare n timp polinomial, adic

10

NECULAI ANDREI COMPLEMENTE DE MODELARE I OPTIMIZARE verificarea este o P-problem. Se zice c o problem este NP-grea dac un algoritm pentru rezolvarea ei poate fi translatat n unul pentru rezolvarea oricrei alte NPprobleme. Este mult mai uor s se arate c o problem este NP dect s se arate c este NP-grea. O problem care este att NP ct i NP-grea se numete problem NPcomplet. Smale afirm c P NP ntr-o versiune care implic corpul numerelor reale. Problema considerat de Smale este cunoscut ca Hilbert Nullstellensatz Problem HNP peste corpul numerelor complexe. ntr-adevr, fie f1 , , f k polinoame cu coeficieni numere complexe n n variabile. Problema este de a decide dac acestea au o rdcin comun. Determinarea zerourilor ntregi ale unui polinom de o variabil. Fie f Z [t ] un polinom de o variabil cu coeficieni ntregi. Fie u0 = t , u1 = 1,

4.

uk = f i definim un program pentru polinomul f Z [t ] , de o variabil cu coeficieni ntregi, ca obiectul (1, t , u1 ,..., uk ), unde pentru toi m, um = ui u j , i, j < m i este +, sau . Fie ( f ) minimul dup k pe mulimea
programelor astfel definite. Cu acestea problema se poate formula sub forma: numrul zerourilor ntregi distincte ale lui f este mrginit polinomial de ( f ) ? Altfel spus Z ( f ) a ( f ) pentru toi f Z [t ] ?, unde Z ( f ) este numrul
c

5.

zerourilor ntregi distincte ale lui f i a i c sunt constante universale. Un rspuns afirmativ la aceast problem implic netratabilitatea problemei Nullstellensatz ca o problem de decizie peste C i deci P NP peste C [Shub i Smale, 1995]. Marginile curbelor Diofantice. Se poate decide dac o ecuaie diofantin f ( x, y ) = 0 , unde

f ( x, y ) =

a x
d

y 2 , = ( 1 , 2 ) i = 1 + 2 , i > 0 ,
c

i = 1,2, are o soluie ntreag ( x, y ) , n timpul 2 s , unde s este mrimea lui f , defint ca s ( f ) =

max(log a ,1), iar c este o constant universal ?

Problema este foarte delicat, fiind o versiune a unei bine cunoscute probleme din teoria numerelor. Soluia celei de-a 10 probleme a lui Hilbert, dat de Matiyasevich, arat nedecidabilitatea acestei probleme dac numrul de variabile nu este limitat. Rmne totui de demonstrat dac se poate decide c exist un numr raional de soluii pentru o ecuaie Diofantic. Ceea ce este relevant aici este noiunea de clas NP din teoria complexitii. O problem din clasa NP este privit ca una rezolvabil ntr-un timp exponenial. 6.

Finitudinea numrului de puncte de echilibru relativ n mecanica cereasc.

n problema

n corpurilor din mecanica cereasc, pentru orice alegere a maselor m1 , , mn , numere reale pozitive, exist un numr finit de puncte de echilibru relativ ? Pentru cazul n = 3 , problema a fost rezolvat afirmativ de Lagrange i Euler. Pentru cazul n = 4 , finitudinea nu este cunoscut. Mai exact, problema celor n corpuri este studiul dinamicii a n puncte materiale n de mase m i > 0 i poziii x i R care satisfac legile de micare ale lui Newton:

 PROBLEME FUNDAMENTALE

11

mj xj =
i j 2

mi m j ( x i x j ) rij3

, 1 j n

where rij este distana dintre x i i x j . O micare de echilibru relativ este o soluie a ecuaiilor de mai sus n R de forma x i ( t ) = R(t ) x i ( 0) , unde R ( t ) este o rotaie uniform cu viteza unghiular v 0 n jurul unui punct c R . O astfel de soluie este posibil dac i numai dac poziiile iniiale x i ( 0) satisfac ecuaiile algebrice
2

, 1 j n rij3 2 unde = v < 0. Centrul de rotaie c este centrul de mas a sistemului. O

i j

( x j c) =

mi ( x i x j )

soluie a acestor ecuaii se numete configuraie de echilibru relativ sau nc echilibru relativ. Fiecare echilibru relativ genereaz o familie de micri periodice eliptice. Echilibrul relativ pentru problema cu trei corpuri este bine cunoscut. Pn la o simetrie problema are exact cinci echilibre relative. Dou dintre acestea sunt triunghiurile echilaterale ale lui Lagrange. Celelalte, sunt trei configuraii coliniare descoperite de Euler. Pentru problema cu patru corpuri situaia este deja foarte complex pentru a avea o clasificare complet a echilibrelor relative. Hampton i Moeckel [2004] au artat c dac masele sunt pozitive, atunci pentru problema cu patru corpuri exist numai un numr finit de clase de echivalen de echilibru relativ. Mai precis, ei arat c problema cu patru corpuri admite cel puin 32 i cel mult 8472 de clase de echivalen de echilibru relativ, dintre care 12 dintre acestea sunt coliniare. Demonstraia se bazeaz pe integrarea simbolic a ecuaiilor de micare. Este interesant de notat c demonstraia finitudinii pentru aceast problem se reduce la a arta c un sistem de ecuaii polinomiale are un numr finit de soluii, astfel nct r ij 0 pentru toi i j. 7.

Distribuia punctelor pe o 2-sfer. Fie

unde x = x1 , , x N ,
2 3

1 V N ( x ) = log x x 1 i < j N j i x i sunt puncte distincte de pe sfera 2-dimensional

S R , i x i x j este distana n R 3 . Dac notm cu V N = min xV N ( x ),

atunci se pot gsi punctele

{ x1 , , xN }, astfel nct:

8.

unde c este o constant universal ? Aceast problem vine din teoria complexitii i este motivat de problema gsirii unui polinom iniial bun pentru algoritmul homotopiei de realizare a Teoremei Fundamentale a Algebrei. Introducerea dinamicii n teoriile economice. Includerea ajustrii preurilor n modelarea matematic a teoriei generale a echilibrului. Exist o teorie static a

V N ( x ) V N c log( N ),

12

NECULAI ANDREI COMPLEMENTE DE MODELARE I OPTIMIZARE preurilor de echilibru formulat de Walras i dezvoltat de Pareto, Arrow i Debreu. Pentru cazul simplu al unei piee, preurile de echilibru se stabilesc din ecuaia care definete egalitatea cererii i a ofertei. n acest caz dinamica economiei se gsete foarte simplu. Pentru mai multe piee, situaia este mult mai complex. Aceasta este de fapt problema central a economiei, problema echilibrului. O ilustrare a unui model (static) economic simplu este cel dat de Arrow-Debrew, n care se consider determinarea echilibrului unei economii cu doi ageni economici: productori i consumatori [Paltsev, 2004]. Consumatorii dispun de fora de munc L i de capitalul K . Consumatorul i obine venitul su din vnzarea forei sale de munc. El achiziioneaz bunuri i servicii care au o anumit utilitate pentru el. Presupunem, pentru simplitate, c n economia de care vorbim sunt numai dou bunuri: X i Y . Pe de alt parte, productorii utilizeaz fora de munc a consumatorilor pentru a produce bunuri i servicii. Ambele sectoare de producie X i Y sunt caracterizate de anumite tehnologii de producie F i respectiv G. Problema const n a determina preurile i cantitile care maximizeaz profitul productorului i utilitatea consumatorului. Aceast problem se exprim sub forma unei probleme generale de optimizare:

maxW ( X , Y )

p x X + p y Y = wL + rK , X = F ( K x , L x ), Y = G ( K y , L y ), L = Lx + L y , K = Kx + Ky, unde W este o funcie de utilitate; p x i p y sunt preurile bunurilor X i Y ; r este preul capitalului K ; w este preul forei de munc L; K x i L x sunt capitalul i fora de munc utilizate n sectorul care produce bunul X ; K y i L y sunt capitalul i fora de munc utilizate n sectorul care produce bunul Y . Deci,
problema echilibrului economic se poate rezolva prin optimizarea modelului ArrowDebreu de mai sus. Totui, sunt anumite cazuri cum ar fi prezena mai multor bunuri, a taxelor i impozitelor, a anumitor distorsiuni, n care nu este posibil s rezolvm problema echilibrului pieei ca problema de optimizare de mai sus. n 1985 Mathiesen a artat c modelul de echilibru economic Arrow-Debreu se poate reformula ca o problem mixt de complementaritate (MCP) n care apar trei inegaliti fundamentale: condiia de profit zero, condiia de transparen a pieii i condiia de balansare a veniturilor. Situaia prezentat pare foarte simpl, dar cnd se ncearc punerea ei n practic apar probleme deosebit de complicate chiar i n acest caz al echilibrului static. Introducerea dinamicii n echilibrul economic se bazeaz pe diferite abordri (vezi [Ginsburgh i Keyzer, 1997]), dar una dintre cele mai utilizate este modelul Ramsey (vezi n acest volum lucrarea: Model de cretere economic Ramsey). Modelele dinamice au caracteristica de a efectua predicii n viitor. Dar, un asemenea model ne poate spune ce se ntmpl n viitor numai dac n economia respectiv nu sunt ocuri, ruputuri sau schimbri structurale majore. n plus, trebuie s se fac anumite presupuneri privind rata de cretere economic pe o perioad de timp, rata de cretere a populaiei, inflaia, omajul, deprecierea monedei etc. Toate aceste presupuneri ne deprteaz foarte mult de realitate. Totui, att agenii economici ct i factorii politici trebuie s-i bazeze deciziile lor pe calcule matematice. Deci, modelele

referitor la:

 PROBLEME FUNDAMENTALE

13

dinamice de echilibru sunt instrumente foarte importante n evaluarea politicii economice. Trebuie s contientizm c un model static bun este mult mai folositor dect un model dinamic prost, iar modele dinamice bune sunt foarte rare, dac nu chiar inexistente ! 9.

Problema programrii liniare. Exist, n corpul numerelor reale, un algoritm polinomial n timp, care s decid fezabilitatea unui sistem de inegaliti liniare Ax b ?
Sistemul

Ax b admite la intrare o m n matrice A i un vector b R m i n problema const n a afla dac exist un x R care s verifice inegalitile liniare
ale sistemului. De fapt, aceasta este versiunea ca problem de decizie a problemei de n optimizare: date A, b ca mai sus i c R s se decid dac

max c T x, referitor la Ax b exist i dac da s se calculeze un astfel de x.

Faimosul algoritm simplex, precizat pentru prima dat ntr-o form voalat de Poussin (1866-1962) i Kantorovich (1912-1986) i algebrizat de Dantzig (19142005), furnizeaz o soluie la ambele probleme (definite peste corpul numerelor reale). n 1972 Klee i Minty au construit o problem simpl de programare liniar (prin deformarea unui cub) pentru care algoritmul simplex are o comportare exponenial. Borgwardt, Haimovich i Smale au artat c n medie algoritmul simplex este polinomial n timp. Utiliznd modelul computaional dat de maina Turing i inspirndu-se din lucrrile lui Yudin i Nemirovsky, Leonid Khachiyan (1952-2005) n 1979 a gsit un algoritm polinomial (algoritmul elipsoidului) pentru problema programrii liniare. Algoritmul 4 elipsoidului furniza o soluie cu o margine de complexitate mrginit de O( n L ) operaii, unde L este lungimea n bii a datelor de intrare. Implementri deosebit de ngrijite i experimente computaionale foarte minuioase au artat c algoritmul elipsoidului nu are o valoare intrinsec n sensul rezolvrii rapide a problemei. Aceasta a schimbat opinia general conform creia dac avem un algoritm polinomial atunci putem rezolva problema. Pentru a avea o eficien computaional, gradul polinomului de complexitate trebuie s fie mic, de exemplu 2 sau maxim 3. n 1984, Karmarkar a elaborat o metod de punct interior care rezolv problema de programare liniar n O( nL) iteraii, fiecare dintre acestea necesitnd rezolvarea unui sistem liniar n R . Complexitatea fiecrei iteraii este de O( n ) operaii, dar utiliznd tehnici de reinversare, aceast margine a fost redus de Karmarkar la O( n 2.5 ) operaii, aa nct complexitatea total a algoritmului de punct interior este de O( n L ) operaii. Nu numai c aceast margine este mai mic dect cea dat de Khachiyan, dar acesta s-a dovedit a avea performane excelente pentru rezolvarea problemelor de mari dimensiuni. n 1988 Renegar a descris un algoritm de punct interior cu o margine de complexitate de O( n L ) iteraii, cu o complexitate total identic cu cea a lui Karmarkar. Pentru numere raionale algoritmul elipsoidului este polinomial n timp (n funcie de mrimea intrrii n modelul pe bii). Ca algoritm peste corpul real, adic ntr-o aritmetic exact, algoritmul elipsoidului, n general, nu este finit. Aceeai observaie este valabil i pentru algoritmii de punct interior.
3. 5

14

NECULAI ANDREI COMPLEMENTE DE MODELARE I OPTIMIZARE Facem distincia clar: algoritmul simplex este un algoritm finit peste corpul real i cel raional, att n modelul unei aritmetici exacte ct i n modelul pe bii. Algoritmii de punct interior sunt finii numai peste corpul raional n modelul pe bii i nu peste corpul numerelor reale.

10.

Lema nchiderii. Fie f : M M un difeomorfism al unei varieti compacte netede M i x un punct non-mictor al lui f . Este posibil ca f mpreun cu derivatele de ordin r , pentru fiecare r , s fie arbitrar de bine aproximat de un difeomorfism g : M M astfel nct x este un punct periodic al lui g ?
Fie

X un spaiu metric i f : X X o surjecie continu. Atunci, un element x X este un punct mictor (rtcitor) (wandering point) (punct haotic) dac exist o vecintate U a lui x i un ntreg N astfel nct pentru toi n N , f n (U ) U = . Dac x nu este mictor (non-wandering point), atunci l numim non-mictor. Altfel spus, x este non-mictor dac pentru orice vecintate U a lui x exist n 1 astfel nct f n (U ) U . Punctul x este un punct m periodic, de perioad m pentru g , dac g ( x ) = x.
Importana lemei nchiderii zace n faptul c un rspuns pozitiv ar conduce la o nelegere profund n dinamica sistemelor legat de teoria genericitii, stabilitate i bifurcaii. Primul rezultat important n aceast direcie a fost dat de Peixoto [1962].

11.

Dinamicile 1-dimensionale sunt n general hiperbolice ? Este posibil ca un polinom T definit peste corpul numerelor complexe s fie aproximat de unul de acelai grad cu proprietatea c de-a lungul iteraiilor orice punct critic tinde la un deversor periodic.
Problema este nerezolvat chiar pentru polinoame de gradul 2. n aceast problem T este o aplicaie polinomial T : C C ( C este corpul numerelor complexe) care este considerat ca un sistem dinamic discret. Dac z C , atunci orbita sa z = z 0 , z1 , z 2 , se definete ca z j = T ( z j 1 ) , iar j se poate interpreta ca variabila timp (discret). Un punct fix w al lui T ( T ( w ) = w ) este un deversor dac derivata T ( w ) a lui T n w are valoarea absolut mai mic dect 1. Un
p

deversor periodic al lui T de perioad p este un deversor al lui T . Un punct critic al lui T este un punct n care derivata lui T se anuleaz. Un punct fix x al unui difeomorfism T : M M este hiperbolic dac derivata DT ( x ) a lui T n x nu are nici o valoare proprie cu valoarea absolut egal cu 1. Dac x este un punct periodic de perioad p , atunci x este hiperbolic dac el este un punct fix hiperbolic al lui T . Noiunea de hiperbolic se extinde n mod natural la mulimea a punctelor haotice (vezi problema 10). Cu acestea un sistem dinamic T Diff ( M ) este numit hiperbolic dac punctele periodice sunt dense n i este hiperbolic. Dinamicele hiperbolice se identific cu o noiune foarte tare de stabilitate a sistemelor dinamice numit stabilitate structural. Problema se poate reformula sub forma echivalent: o aplicaie polinomial T : C C se poate aproxima cu una hiperbolic ? Teoria sistemelor dinamice 1p

 PROBLEME FUNDAMENTALE

15

dimensionale complexe a nceput cu lucrrile lui Cayley din secolul 19 continund cu cele ale lui Fatou i Julia de la nceputul secolului trecut. Problema rmne deschis ca una fundamental n dinamicile 1-dimensionale. 12.

Centrele difeomorfismelor. Este posibil ca un difeomorfism definit pe o varietate compact M n ea nsi s fie C r aproximat ( r 1 ) prin T : M M care comut numai cu iteraiile lui ?
k

Centralizatorul lui T n grupul difeomorfismelor este {T : k Z }. Pentru cazul dim M = 1 problema este rezolvat. Problema este interesant deoarece furnizeaz o inelegere a ceea ce se ntmpl dincolo de hiperbolicitate, unde problemele sunt departe de a fi clarificate. 13.

Problema a 16-a a lui Hilbert. Considerm ecuaia diferenial din R 2 :

dy = Q ( x, y ) dt unde P i Q sunt polinoame. Exist o margine K a numrului finit de cicluri limit de forma K d q , unde d este maximul gradelor lui P i Q , iar q este o constant universal ?
Aceasta este o versiune modern a prii a doua a problemei a 16-a a lui Hilbert. Dei sunt ncercri notabile n ceea ce privete rezolvarea acestei probleme, lucrrile recente trebuie s fie reanalizate pentru a se ajunge la o concluzie definitiv. 14.

dx = P ( x, y ), dt

Structura soluiei ecuaiilor Lorenz este aceea a unui singur atractor ? Altfel formulat, dinamica ecuaiilor difereniale ordinare Lorenz este aceea a atractorului Lorenz al lui Williams, Guckenheimer i Yorke ?
n 1936 Edward Lorentz (1917-2008) a introdus urmtorul sistem de ecuaii difereniale:

ca modelul matematic, foarte simplist, al dinamicii atmosferei. este cunoscut ca numrul Prandtl, este numrul Rayleigh. Studiind acest sistem, Lorenz a descoperit dependena soluiilor acestuia de condiiile iniiale - o proprietate foarte important a nepredictibilitii n reprezentrile matematice ale Naturii. Simulri numerice intensive ntr-o vecintate (deschis) a valorilor parametrilor: = 10, = 8 / 3 i = 28 impuse de Lorenz au artat c aproape toate punctele din spaiul fazelor tind la un singur atractor - atractorul Lorenz. n general un atractor este o mulime n spaiul variabilelor la care un sistem dinamic tinde dup o perioad de timp destul de lung. Geometric, un atractor poate fi un punct, o curb, o varietate sau chiar o mulime mai complicat cu structur de fractal. n figura de mai jos se arat varietatea i atractorul Lorenz obinute de Mike Henderson, n cadrul proiectului MULTIFARIO: Computing invariant manifolds - COIN-OR. [Henderson, M., Invariant Manifolds in the Lorenz System, http://www.coin-or.org /multifario /Lorenz.html]. Varietatea Lorenz este mulimea punctelor din spaiu care tind la origine, care este un punct de stagnare sau, n realitate, locul unde aerul (atmosfera) este n repaos. Originea ntotdeauna este un punct fix. Aceast micare, descris de varietate, este complicat, dar mult mai uor de a se studia dect atractorul, care

x1 = x1 + x 2 , x 2 = x1 x 2 x1 x 3 , x 3 = x 3 + x1 x 2 ,

16

NECULAI ANDREI COMPLEMENTE DE MODELARE I OPTIMIZARE reprezint o micare foarte complicat.

n figurile de mai jos se arat o proiecie a atractorului Lorenz, cu aceleai valori ale parametrilor care pun n vedere structura acestuia pentru diferite momente de timp. Dei atractorul apare ca un aranjament a dou discuri, totui structura lui este mult mai complex. O asemenea structur cu un nivel infinit de detalii se numete fractal. Haosul are dou caracteristici eseniale. Prima este dependena senzitiv de parametri. Fractalii sunt a doua caracteristic esenial a haosului.

Un atractor este o mulime de stri, invariante la dinamica sistemului, ctre care strile vecine dintr-un bazin de atracie tind asimptotic n cursul evoluiei sistemului. Un atractor se definete ca cea mai mic mulime cu aceast proprietate care nu se poate descompune n doi sau mai muli atractori cu bazine de atracie distincte. Sistemele dinamice au mai muli atractori, fiecare cu propriul lui bazin de atracie. Atractorul Lorenz este un atractor care apare n sistemul de ecuaii simplificate care descriu curgerea n dou dimensiuni a unui fluid. Din ntmplare, n 1960, Lorenz a descoperit comportarea haotic a acestui sistem de ecuaii difereniale. n 2002, W. Tucker [2002] (Cornell University) a rezolvat n mod afirmativ aceast problem. Problema este foarte important deoarece stabilete fundamentele pentru aplicaiile sistemelor dinamice haotice. Pn n prezent n ecuaiile fizicii matematice, din fizic i inginerie, haosul apare numai ntr-un sens foarte restrns. Pe de alt parte, o

 PROBLEME FUNDAMENTALE

17

situaie paradoxal apare n acumularea erorilor de rotunjire. n studiul computaional al ecuaiilor difereniale haotice erorile de rotunjire cresc exponenial prin chiar proprietatea fundamental a haosului. O alt problem legat de aceasta este urmtoarea: se poate decide dac un sistem dat este haotic ? Exist un algoritm care admind la intrare coeficienii unui sistem dinamic poate stabili dac sistemul este sau nu haotic ? 15.

Ecuaiile Navier-Stokes. Au ecuaiile Navier-Stokes, dintr-un domeniu R 3 , o soluie unic neted pentru orice t ?
Probabil aceasta este cea mai celebr problem din teoria ecuaiilor difereniale. Ecuaiile Navier-Stokes se pot scrie sub forma:

unde funciile de clas C u: R+ R i p: R sunt necunoscutele problemei care trebuie determinate s satisfac aceste ecuaii, n care u este specificat la momentul t = 0 i pe frontiera a domeniului . Aici,
3

u + ( u. )u u + grad p = 0, t

div u = 0,

R+ = [0, ), u. = i=1 u i
3

xi

este o constant pozitiv. Problema a

fost intensiv studiat i s-a dat un rspuns pozitiv att n spaiul cu 2 dimensiuni, ct i n cel cu 3, dar pentru t n intervale [ 0, T ] mici. Importana problemei rezid n faptul c soluia ei furnizeaz o nelegere a problemelor de turbulen i combustie, a atractorilor haotici n aceste fenomene fizice. 16.

Conjectura Jacobianului. Presupunem c f : C n C n este o aplicaie polinomial cu proprietatea c derivata ei n orice punct este nesingular. Atunci este f injectiv ?
n

Cn este spaiul complex n dimensional i f ( z ) = ( f1 ( z ), , f n ( z )), unde fiecare f i este un polinom n n variabile. n n Derivata lui f n z , Df ( z ): C C este o matrice de derivate pariale, iar condiia de nesingularitate este det Df ( z ) 0. Dac f este injectiv, atunci ea
acest caz este surjectiv i are o invers care este o aplicaie polinomial. Demonstrarea suficienei este o problem deschis nc din 1939.

17.

Rezolvarea ecuaiilor polinomiale. Este posibil ca utiliznd un algoritm uniform, s determinm cu aproximaie un zero pentru un sistem de n ecuaii polinomiale n n necunoscute ntr-un timp polinomial ?
Altfel spus, problema ncearc s fac o distincie clar ntre tratabil i netratabil, n domeniul rezolvrii sistemelor de ecuaii algebrice polinomiale. Cteva precizri sunt necesare. Considerm f : C n C n , f ( z ) = ( f1 ( z ), , f n ( z )), unde

z C n i fiecare f i este un polinom n n variabile de grad d i . n aceast

problem, motivat de rezultatele lui Abel i Galois, prin soluie aproximativ nelegem o soluie determinat prin algoritmul Newton. Timpul de calcul este msurat prin numrul de operaii aritmetice i comparaii n corpul numerelor reale. Problema este de a gsi un algoritm uniform, adic independent de gradul

18

NECULAI ANDREI COMPLEMENTE DE MODELARE I OPTIMIZARE polinoamelor f i , care s furnizeze o soluie ntr-un timp mediu de calcul mrginit de un polinom definit de mrimea intrrii, adic de numrul de coeficieni ai funciei f . Problema determinrii zerourilor unui polinom sau a unui sistem de ecuaii polinomiale este foarte veche i constituie problema central n foarte multe domenii. Aici suntem interesai de a vedea dac, n condiiile specificate, problema se poate rezolva eficient i sistematic pe calculatoare. Care sunt limitele inteligenei, umane sau artificiale ? Acest proiect cere dezvoltarea unui model matematic al inteligenei, care s ia n consideraie diferitele tipuri de inteligen. Definirea inteligenei artificiale nu este simpl i nu exist o convergen de opinii n acest sens. Se poate spune c inteligena artificial este tiina i ingineria de a face mainile inteligente, n special programele de calcul. Altfel spus, inteligena artificial este acea parte computaional a abilitii (unei maini) de a realiza anumite scopuri. Dificultatea aici const n lipsa unei caracterizri (matematice) a procedurilor computaionale pe care le putem numi inteligente. O parte important a unei activiti inteligente este rezolvarea problemelor. Pe lng aceasta exist i problema complexitii calculelor, o alt fa a inteligenei (artificiale sau umane). Un alt aspect care trebuie introdus n modelul inteligenei este acela al nvrii etc.

18.

Cteva comentarii sunt necesare. La cererea lui Arnold, Steve Smale, unul dintre cei mai respectabili matematicieni ai timpului nostru, laureat al premiului Fields pe anul 1966, prezint o list foarte personal de probleme matematice pentru secolul al XXI-lea. La o privire de ansamblu, problemele lui Smale se pot clasifica n dou mari clase. Prima conine probleme formalizate matematic, precis definite. A doua clas include probleme mai puin formalizate sau cu un caracter foarte descriptiv. Problema 18 este remarcabil n aceast clas. O analiz atent a problemelor formalizate ne arat c majoritatea dintre ele se refer la determinarea soluiilor unor obiecte matematice din punctul de vedere al calculului numeric al acestora. Aceasta este deosebirea fundamental dintre abordarea lui Hilbert cnd acesta i-a construit lista sa la nceputul secolului al XX-lea i abordarea lui Smale cnd a articulat cele 18 probleme ale sale la sfritul secolului al XX-lea. Pe timpul lui Hilbert interesul era mai mult ctre existena soluiilor, altfel spus se punea accentul pe dezvoltrile teoretice care puteau conduce la rezolvarea problemelor (n sens afirmativ sau negativ), fa de Smale care insist asupra computabilitii soluiilor. Hilbert tria sub primatul matematicii. Diferena de abordare este enorm i arat noua poziie a oamenilor de tiin, determinat de informatic definit ca activitate de mare intelectualism n ceea ce privete coborrea n computaional a conceptelor matematice, de rentoarcere la primatul existenei. ntr-un sens foarte general, Smale se ncadreaz n atitudinea lui Leibniz, ambii fiind interesai n modul cel mai profund cu putin de calcul. Multe din problemele lui Smale sunt foarte vechi. De exemplu problema 4 de determinare a zerourilor ntregi a unui polinom, sau problem 5 privind Marginile curbelor Diofantice, problema 9 a programrii liniare, problema 17 a rezolvrii ecuaiilor polinomiale sunt probleme care au preocupat comunitatea tiinific de foarte mult timp. Totui, noutatea n cazul acestor probleme o

 PROBLEME FUNDAMENTALE

19

constituie impunerea cerinei de determinare a soluiei cu ajutorul unui algoritm polinomial. Aceasta ridic problema organizrii i studiul complexitii algoritmilor - o problem fundamental a informaticii. Alte probleme cum ar fi problema 10 lema nchiderii, problema 11 privind dinamicile 1-dimensionale sau 12 privitor la centrele difeomorfismelor se refer la aproximarea soluiilor tot din punct de vedere computaional. La fel i problemele 1 privind ipoteza lui Riemann, 14 structura soluiilor ecuaiilor Lorenz i 15 ecuaiile Navier-Stokes implic utilizarea unei matematici computaionale care se sper s furnizeze unele nelegeri ale fundamentelor reprezentrii n simboluri matematice a creaiei. Observm c toate aceste probleme sunt legate de teoria computabilitii, care stabilete ceea ce putem calcula, cum i cu ce efort. Teoria clasic a calculabilitii, aa cum a fost stabilit de Alan Turing (1912-1954) a furnizat rezultate excepionale n stabilirea fundamentelor i a cadrului teoretic a tiinei calculatoarelor. Totui, dependena acesteia de 0 i 1 fundamental este neadecvat stabilirii unei baze pentru calculele tiinifice, n care cei mai muli algoritmi - bazai pe ideile lui Newton, Euler, Gauss i alii - sunt algoritmi care lucreaz cu numere reale. n 1989 Shub, Smale i Blum au introdus o teorie a calculabilitii i a complexitii peste inele sau cmpuri arbitrare R. Dac

R = Z 2 = {0,1}, atunci noua teorie se reduce la teoria clasic a tiinei calculatoarelor. Dac R este cmpul numerelor reale, atunci algoritmul Newton paradigma algoritmilor de analiz numeric - se ncadreaz n noul model de calcul. Clasele de complexitate P , NP i problema fundamental P = NP ? (problema 3 din lista lui Smale) pot fi reformulate n mod natural peste inelul arbitrar R. Rspunsul la problema fundamental P = NP ? depinde de complexitatea deciziei admisibilitii sistemelor de polinoame definite peste R (problema 17 din lista lui Smale). Cnd R = Z 2 atunci aceasta devine problema clasic a satisfiabilitii a lui Cook-Karp-Levin (problema SAT). Cnd R este corpul numerelor complexe, rspunsul depinde de complexitatea problemei a 10-a din lista lui Hilbert (Nullstellensatz Problem).
Clay Mathematics Institute3, Cambridge, Massachusetts, USA, a formulat (selectat) un numr de 7 probleme considerate problemele mileniului. Cteva dintre acestea sunt luate din lista lui Hilbert. Consiliul tiinific al acestui institut a selectat aceste probleme lund n consideraie faptul important c acestea au rezistat de-a lungul anilor. Pentru fiecare dintre acestea Institutul a alocat un premiu n valoare de un milion de dolari. Dintre aceste 7 probleme, conjectura lui Poincar a fost rezolvat de Grigori Perelman, n 2002.
1. Conjectura lui Birch i Swinnerton-Dyer. Aceasta este a 10-a problem din lista lui Hilbert pentru care Matiasevici a dat un rspuns negativ. Totui n anumite cazuri

4. Problemele Mileniului. Clay Mathematics Institute

Clay Mathematics Institute, http://www.claymath.org/index.html

20

NECULAI ANDREI COMPLEMENTE DE MODELARE I OPTIMIZARE speciale se pot spune mai multe despre aceast problem. Cnd soluiile sunt puncte de pe o varietate abelian, atunci conjectura Birch i Swinnerton-Dyer afirm c mrimea grupului punctelor raionale este legat de comportarea funciei ( s ) a lui Riemann lng punctul s = 1. n particular, conjectura afirm c dac (1) = 0, atunci exist un numr infinit de soluii raionale, i invers dac (1) 0, atunci exist numai un numr finit de astfel de soluii.

2. 3.

Conjectura lui Hodge. Pe o varietate algebric proiectiv nesingular definit pe C , orice clas Hodge este o combinaie liniar raional de clase de cicluri algebrice. Rezolvarea ecuaiilor Navier-Stokes. Ecuaiile Navier-Stokes descriu curgerea n fluidelor n R unde n = 2 sau 3. Problema const n a decide dac sau nu aceste ecuaii au soluii netede, fizic realizabile n R sau R / Z .
3 3 3

4.

P versus NP. Una dinte cele mai provocatoare probleme din tiina calculatoarelor este de a determina dac P=NP. P este clasa problemelor de decizie rezolvabile de un algoritm ntr-un numr de iteraii care este mrginit superior de un polinom n lungimea intrrii asociate problemei. NP este clasa problemelor de decizie care admit un algoritm polinomial nedeterminist, adic un algoritm care verific corectitudinea unei soluii a problemei n timp polinomial. Problema este foarte important, fiind una dintre problemele secolului al XXI-lea, deoarece se plaseaz la fundamentul informaticii. Esena informaticii este coborrea n computaional a conceptelor matematice, coborre care const n algoritmizarea acestor concepte, punerea lor n oper. Ca atare, construcia algoritmilor polinomiali este esenial pentru rezolvarea problemelor formalizate. Conjectura lui Poincar. n 1904 Henri Poincar a formulat urmtoarea problem. 3 Considerm o varietate compact n R fr frontier (nemrginit). Este posibil ca grupul fundamental al acestei varieti s fie trivial, chiar dac varietatea nu este 3 homeomorf cu sfera din R ? Altfel spus, o varietate simplu conex din spaiul cu n + 1 dimensiuni este homeomorf cu o sfer n dimensional ? Ideea este urmtoarea. Dac avem o anumit suprafa simplu conex, adic fr guri, atunci aceasta se poate deforma continuu pn cnd va lua suprafaa unei sfere. Notm c din punct de vedere topologic un elipsoid mrginit este o sfer, iar suprafaa unei sfere tridimensionale este bidimensional. Acest enun matematic, conjecturat de Poincar n 1904, nu i-a gsit demonstraia pn n 2002. Pentru cazul n = 4 demonstraia a fost precizat de Freedman [1982]. Mai mult, pentru cazul mai general n > 4 demonstraia a fost dat de Zeeman [1962] Stallings [1960] i Smale [1960]. Totui pentru cazul n = 3 nu se cunotea o demonstraie. Pentru acest caz William Thurston (Princeton) i Richard Hamilton (Cornell) au precizat cteva demonstraii asupra acestei conjecturi i a generalizrii ei, cunoscut ca conjectura geometrizrii, fr a epuiza subiectul. Problema era c pe msur ce suprafaa simplu conex se deformeaz n mod continuu, n timp este foarte posibil ca s apar anumite singulariti, astfel nct nu orice punct al suprafeei ajunge pe suprafaa sferei (sfera n sens larg topologic). n 2002 Perelman (Sankt Petersburg) nchide aceast problem prin precizarea unei proceduri prin care singularitile pot fi fcute s dispar. n esen Perelman indic o chirurgie prin care mrimile care sunt utilizate n definirea deformrii sunt netezite. Perelman nu a dat o demonstraie complet a conjecturii, ci a schiat un schelet de demonstraie pe 39 de pagini [2002], completat n [2003a, 2003b]. Demonstraia complet a fost realizat de

5.

 PROBLEME FUNDAMENTALE

21

Huai-Dong Cao i Xi-Ping Zhu [2006]. Pentru rezultatul su, lui Perelman i s-a oferit medalia Fields pe care a refuzat-o. Mai mult, acesta a refuzat i premiul de un milion de dolari al Clay Mathematics Institute. 6. Ipoteza lui Riemann. Aceasta este a 8-a problem din lista lui Hilbert. Distribuia numerelor prime n mulimea numerelor naturale este foarte neregulat, dar Riemann a observat c frecvena numerelor prime este intim legat de comportarea funciei ( s) , numit funcia Zeta a lui Riemann. Ipoteza lui Riemann este c toate soluiile netriviale ale ecuaiei ( s ) = 0 au partea real egal cu 1/2. Matematicianul italian Bombieri a artat c, n raport cu un anumit cmp de probabilitate, ipoteza lui Riemann are loc cu probabilitatea 1. Teoria cuantic a lui Yang-Mills. Yang i Mills au introdus un cadru remarcabil pentru a descrie particulele elementare utiliznd structuri care apar n geometrie. Teoria lor constituie fundamentul multor dezvoltri teoretice din fizica particulelor elementare i prediciile acestei teorii au fost testate cu succes. Problema este de a fundamenta matematic aceast teorie.

7.

Bibliografie
Arrow, K.J. and Debreu, G., (1954) Existence of an equilibrium for a competitive economy. Econometrica, 22, 265-290, 1954. Bistriceanu, E.Gh. i Stnil, O., (1996) Matematic i Realitate (... Probleme deschise/nchise, haos, tomografie, undine). Editura MATRIXROM, Bucureti, 1996. Blum, L., Cucker, F., Shub, M. and S. Smale (1997) Complexity and real computation. Springer Verlag, 1997. Brent, R.P., van de Lune, J., te Riele, H.J.J. and Winter, D.T., (1982) On the zeros of the Riemann Zeta Function in the critical strip II. Math. Copmput., 39, 681-688, 1982. Deshouillers, J.M., te Riele, H.J. and Saouter, Y., (1998) New experimental results concerning the Goldbach conjecture. In "Proc. 3rd Int. Symp. on Algorithmic Number Theory," Lecture Notes in Computer Science volume 1423, pp. 204--215, 1998. Freedman, M.H., (1982) The topology of four-differentiable manifolds, J. Diff. Geom., 17 (1982), pp.357-453. Ginsburgh, V. and Keyzer, M., (1997) The structure of applied general equilibrium models. The MIT Press, 1997. Granville, A., te Riele, H.J.J. and van de Lune, J., (1989) Checking the Goldbach conjecture on a vector computer in Number theory and its applications. R. A. Mollin editor, Kluwer, Dordrect, pp. 423--433, 1989. David Hilbert (1900) Mathematische Probleme. Nachr. Ges. Wiss., Gttingen, 253-297, 1900. Hampton, M. and Moeckel, R., (2004) Finiteness of relative equilibria of the four-body problem. Technical report, December 17, 2004. Huai-Dong Cao, and Xi-Ping Zhu, (2006) A complete proof of the Poincar and geometrization conjectures application of the Hamilton-Perelman theory of the Ricci flow, Asian J. Math., 10 (2006), pp.165-492. Karmarkar, N., (1984) A new polynomial time algorithm for linear programming.Combinatorica, 4, 373-395, 1984. Mathiesen, L., (1985) Computation of economic equilibrium by a sequence of linear complementarity problems. Mathematical Programming Study, 23, 144-162, 1985.

22

NECULAI ANDREI COMPLEMENTE DE MODELARE I OPTIMIZARE

Paltsev, S., (2004) Moving from static to dynamic general equilibrium economic models (Notes for a beginner in MPSGE). MIT Technical Note No.4, June 2004. Peixoto, M., (1962) Structural stability on two-dimensional manifolds. Topology, 1, 101120, 1962. Perelman, G., (2002) The entropy formula for the Ricci flow and its geometric applications. arXiv, pages 1-39, November 2002. Perelman, G., (2003a) Finite extinction time for the solutions to the Ricci flow on certain three-manifolds. arXiv, pages 1-7, July 2003. Perelman, G., (2003b) Ricci flow surgery on three-manifolds. arXiv, pages 1-22, March 2003. Renegar, J., (1988) A polynomial-time algorithm based on Newtons method for linear programming. Mathematical Programming, vol.40, pp.59-93, 1988. Shub, M. and Smale S., (1995) On the intractability of Hilberts Nullstellensatz and on algebraic version of P=NP. Duke Math. J. 81, 47-54, 1995. Smale, S., (1960) The generalized Poincar conjecture in higher dimensions. Bull. Amer. Math. Soc., 66 (1960), pp.373-375. Smale, S., (1996) Chaos: Finding a Horseshoe on the Beaches of Rio. Smales web page. Smale, S., (1998) Mathematical problems for the next century. Math. Intelligencer, 20, nr.2, pp.7-15, 1998. Smale, S., (2000) Mathematical problems for the next century. in Mathematics: Frontier and Perspectives 2000 (Eds. V.I. Arnold, M. Atiyah, P. Lax, B. Mazur), Providence, AMS, 2000. Stallings J., (1960) Polyhedral homotopy sheres, Bull. Amer. Math. Soc., 66 (1960), pp.485-488. Stoilov, S., (1954) Teoria funciilor de o variabil complex. vol.1. Noiuni i principii fundamentale. Editura Academiei RPR, Bucureti, 1954. Tucker, W., (2002) A rigorous ODE solver and Smales 14th problem. Foundations of Computational Mathematics, vol.2, p.53-117, 2002. Turing, A.M., (1936) On computable numbers, with an application to the Entscheidungsproblem. Proc. London Math. Soc., 42, 230-265, 1936. Turing, A.M., (1948) Rounding-of errors in matrix processes. Quart. J. Mech. Appl. Math., 1, 287-308, 1948. Zeeman, E.C., (1962) The Poincar conjecture for n 5. in Topology of 3-manifolds and related topics, Prentice Hall, 1962, pp.198-204.
Iulie 10, 2008

Neculai Andrei
Research Institute for Informatics, Center for Advanced Modeling and Optimization, 8-10, Averescu Avenue, Bucharest 1, Romania.