Teorema Noether i fundamentele modelrii

matematice
Rezumat. Modelele matematice ale sistemelor fizice se exprim ca ecuaii
difereniale ordinare sau cu derivate pariale care provin din legile de conservare.
Aceasta asigur corecta formulare a unui model matematic n sensul
completitudinii, minimalitii i noncontradiciei expresiei acestuia. Mai mult,
bazate pe limbajul matematic n modelele matematice cuvintele sunt rectificate.
Definite ntr-o manier minimal i necontradictorie modele matematice nu se
confrunt cu pericolul circularitii. Teorema Noether arat c legile de
conservare provin din simetrii aplicate Lagrangeanului sistemului fizic considerat.
Aceasta arat la baza Universului nostru predictibil se afl conceptul de simetrie.
Dac exist o lege de conservare, atunci Lagrangeanul trebuie s fie invariant la
anumite transformri punctuale infinitezimale, continue. Teorema Noether
constituie fundamentul modelrii matematice.

1. Modele lingvistice versus modele matematice

ntr-un fel sau altul, toi oamenii, ca fiine raionale, sunt familiari cu modele ale
lumii nconjurtoare, aa numitele modele mentale, pe care le utilizeaz n fiecare
moment al existenei lor. Deciziile pe care le lum nu sunt bazate pe lumea real, ci
pe imaginea mental pe care o avem asupra lumii, pe imaginea mental asupra
relaiilor dintre componentele lumii reale i pe influena aciunilor noastre asupra
ei. Modelele mentale constituie deci reprezentarea nelegerii noastre a unei
poriuni a creaiei pe care am contientizat-o. Deoarece suportul gndurilor noastre
este cuvntul, i aa cum foarte frumos o spune Miron Costin c limba noastr
este iscusit oglind a minii omeneti, modelele mentale sunt de fapt modele
lingvistice. Cu alte cuvinte, oamenii ntr-un fel sau altul reprezint nelegerea lor
asupra lumii, adic asupra poriunii de univers n care sunt interesai, sub forma
unei descrieri lingvistice, exprimat sub forma uni corp de aseriuni (teoreme) de
tipul: dac atunci .
Modelele mentale au anumite avantaje care le fac foarte utile. Un model
mental este flexibil n sensul c poate lua n consideraie un domeniu de informaii
mult mai mare dect cel numeric. Acesta se poate adapta rapid la noi situaii i se
poate modifica de ndat ce noi informaii au devenit disponibile. Modelele mentale
sunt filtre prin care noi interpretm experienele noastre, evalum planuri de
aciune i alegem diferite variante de aciune. ntr-un anumit sens, marile sisteme
filosofice, politice, doctrinele economice, teoriile fizice, literatura sunt modele
mentale.

NECULAI ANDREI COMPLEMENTE DE MODELARE I OPTIMIZARE

Dar, modelele mentale au n acelai timp anumite dezavantaje care las o

umbr de regret n utilizarea lor. n primul rnd acestea nu sunt uor de neles de
ctre alii. Interpretarea lor este foarte dependent de analist. Apoi, ipotezele pe
care acestea sunt construite, de obicei, sunt foarte dificil de examinat i poate chiar
de acceptat. Ambiguitile i contradiciile coninute n aceste modele pot rmne
nedetectate, neexplicate i chiar nerezolvate. Faptul c avem dificulti n
nelegerea modelelor mentale propuse de alii pare ceva foarte natural. Mai
surprinztor este faptul c noi (ca fiine raionale) nu suntem foarte buni n
construcia i nelegerea propriilor noastre modele mentale sau n utilizarea lor n
procesul de luare a deciziilor. Psihologii au artat c nu suntem capabili dect n a
considera un numr foarte mic de factori n luarea deciziilor. Cu alte cuvinte,
modelele mentale pe care le utilizm n procesul de luare a deciziilor sunt extrem
de simple. Deseori acestea sunt imperfecte, deoarece n mod frecvent persistm n
eroare n deducerea consecinelor din presupunerile pe care acestea se bazeaz i
adesea aceste modele exprim ceea ce ne-ar place nou s se ntmple i nu ce se
ntmpl n mod real. Cel mai mare defect al acestor modele este faptul c acestea
ca i construcii intelectuale nu satisfac criteriile de completitudine, minimalitate i
noncontradicie a aseriunilor care compun acest model. Este foarte posibil ca ntrun model lingvistic s omitem anumite teoreme foarte importante care schimb
complet semnificaia acestuia. Evident c se pot introduce anumite aseriuni care
contrazic alte aseriuni pe care le-am considerat n raionamentul nostru. Mai mult
dect att, n utilizarea acestor modele apare problema foarte spinoas a rectificrii
cuvintelor folosite n descrierea aseriunilor modelului. Problema corectitudinii
numelor este foarte veche. Epopeile homerice1 conin foarte multe informaii
asupra numelor zeilor sau a unor personaje care sunt definite conform atributelor i
caracteristicilor lor. Poeii, scriitorii i nelepii antici au relevat ntotdeauna
aceast preocupare de a scoate n eviden faptul c numele corespunde unei
anumite trsturi definitorii a lucrului sau personajului respectiv. n acest sens se
poate face o list foarte lung de interpretri ale numelor zeilor sau eroilor din
Grecia antic. Socrate ne informeaz c, n timpul lui, sofistul Prodicos inea
prelegeri despre aceste probleme. n acelai timp Protagoras a scris o lucrare despre
corectitudinea numelor, iar Platon a precizat-o n dialogul Kratylos. Dup cum este
cunoscut, Socrate susinea c lucrurile au fiecare esena lor i c aceasta se poate
preciza ntr-o definiie care-i coninut n numele lucrului respectiv. Pentru el
corectitudinea numelor nseamn c numele corect arat nsi natura lucrului.
n Kratylos el arat c numele sunt date de un onomatourgs (creatorul de nume),
o specie de creator care se ivete cel mai rar printre oameni. Cu alte cuvinte, nu
oricine este ndreptit s stabileasc numele unui lucru, ci numai cel care cunoate
1

ntreaga cultur i civilizaie european se bazeaz pe epopeile Homerice: Iliada i

Odiseea, i pe Biblie. Altfel spus, in afara Bibliei, doar Iliada i Odiseea au avut o asemenea
influen n sensul definirii conceptelor fundamentale cu care operm i astzi. Ceea ce este
foarte important de notat este faptul c acestea la nceput au fost transmise pe cale oral.
Grecii au fost cei care au inventat un sistem de scriere simplu i eficient, prin asocierea unui
semn fiecrui sunet. Acest principiu a fcut posibil nvarea rapid a acestuia, ceea ce a
permis consemnarea ideilor. S ne reamintim c tot orientul era plin de scribi.

 TEOREMA NOETHER I FUNDAMENTELE MODELRII MATEMATICE

natura lucrului, deoarece numele sunt instrumente de cunoatere a esenei

permanente i invariabile a lucrurilor [Dumitriu, 1986, vezi i 1993, 195, 1997]. Ca
atare, problema aceasta a rectificrii cuvintelor limiteaz foarte mult utilitatea unui
model lingvistic ntr-un grup de oameni. n finalul acestei caracterizri a modelelor
lingvistice, pe lng defectele menionate trebuie s remarcm faptul c n procesul
de analiz (rezolvare) a acestora este foarte posibil s apar pericolul circularitii.
Aceast problem a circularitii sistemelor formale a fost precizat de Gdel, care
a artat c sperana de a exprima cunoaterea ntr-un mod formal este iluzorie i c
exist n sistemele logice formale principale (ca acela al lui Russel i acela al lui
Zermelo-Fraenkel dezvoltat de von Neumann) sau n sisteme nrudite, probleme
(aseriuni, teoreme) relativ simple care nu se pot rezolva n acel sistem. Cu alte
cuvinte, Gdel a artat c n sisteme logico-formale (lingvistice), utiliznd semnele
sistemului i regulile de inferen ale acestuia este posibil ca o expresie corect
formulat n sistem s fie nedecidabil. Astfel Gdel a relevat divorul care exist
ntre adevr i demonstrabil n cadrul sistemelor formale (modelelor lingvistice).
nelesul termenului de nedecidabil este c aseriunea respectiv din modelul
lingvistic considerat nu este nici demonstrabil i nici nedemonstrabil n sistemul
n care a fost formulat conform regulilor acelui sistem [Dumitriu, 1998, pg. 226].
Vedem deci c modelele lingvistice au limitri foarte serioase care ne plaseaz ntro stare de interogaie foarte profund n ceea ce privete utilizarea lor.
Eecul utilizrii n mod raional a modelelor lingvistice n luarea deciziilor
a fost foarte bine explicat de cercettorii comportrii grupurilor de oameni n
organizaii. Acetia au artat c deciziile nu sunt luate prin considerarea raional a
obiectivelor, opiunilor i a consecinelor, ci acestea sunt fcute n baza unor
prejudeci, utiliznd proceduri standard care se bazeaz pe tradiii, precum i pe o
foarte mic adaptare a concepiilor la noile condiii. Perspectivele lurii individuale
a deciziilor pot fi foarte parohiale n sensul c acestea pot fi puternic influenate de
contextul organizaional, relaiile cu autoritatea, presiuni externe sau interne,
perspective culturale, precum i o anumit motivaie personal. Ca atare, multe
decizii bazate pe modele mentale sunt total incorecte. Totui acestea au o anumit
importan care nu trebuie ignorat. Modelele mentale constituie o prim
reprezentare a poriunii creaiei n care suntem interesai ce constituie fundamentul
elaborrii modelelor matematice asociate acelei poriuni.
Prin model matematic nelegem o exprimare n simboluri matematice,
utiliznd concepte matematice, a relaiilor care se instituie ntre variabilele i
parametrii proprii unei poriuni a creaiei n care suntem interesai. De cele mai
multe ori n relaiile (deseori vectoriale) care descriu modelul matematic intervin
variabilele i derivatele lor, ceea ce exprim, pe de-o parte caracterul local al
modelului, precum i pe cel de predictibilitate, pe de alt parte. Modelele
matematice ofer o serie de avantaje fa de cele lingvistice. n primul rnd acestea
nu sufer de nici unul dintre defectele modelelor lingvistice pe care le-am discutat
mai sus. Acestea sunt explicite n sensul c ipotezele i presupunerile pe care se
bazeaz sunt publice i la ndemna oricrei critici. n al doilea rnd consecinele
(logice) care rezult din rezolvarea acestora sunt bine justificate matematic. n
final, acestea sunt mult mai comprehensive fiind capabile s gestioneze simultan o
multitudine apreciabil de factori.

NECULAI ANDREI COMPLEMENTE DE MODELARE I OPTIMIZARE

Dar, cea mai important caracteristic a modelelor matematice este c

acestea se scriu pe baza legilor de conservare. Esena unui model matematic este
dat de legile de conservare invocate n scrierea acestuia. O lege, sau o lege a
naturii, este o generalizare tiinific bazat pe observaii empirice repetate de-a
lungul anilor i care este acceptat de comunitatea tiinific. Scopul fundamental
al tiinei este descoperirea legilor. Trebuie s facem o distincie clar ntre legile
naturii i alte legi cum ar fi cele civice, morale, religioase etc. Legile naturii sunt
concluzii bazate pe experimente tiinifice controlate, care pot fi repetate de-a
lungul timpului. Formularea legilor a constituit o preocupare nc din timpurile
antice. Ilustrele figuri ale Babilonului, ale Egiptului antic, ale Greciei, inclusiv
Aristotel, au ncercat formularea legilor preciznd condiia i dorina fundamental
a omului de a face predicii, de a cunoate viitorul. Totui, cu foarte mici excepii,
ncercrile anticilor n formularea legilor au euat, datorit mai ales lipsei unor
definiii corecte, operarea cu observaii experimentale lipsite de acuratee, precum
i de prezena unor prejudeci de cele mai multe ori de natur religioas. De
obicei, legile exprim conservarea unei cantiti, precum i a simetriilor sau a
omogenitii spaiului i timpului. Este important de notat c aceste proprieti ale
legilor i mai ales exprimarea simetriilor ne face s spunem c legile naturii au o
anumit frumusee intelectual, o anumit estetic, care deseori se vede i n
expresia matematic a acestora, laconic, simpl.
Legile naturii sunt consecine ale diferitelor simetrii matematice. n acest
sens teorema lui Noether este reprezentativ aici deoarece aceasta, dup cum vom
vedea, leag legile de simetrii. De exemplu, conservarea energiei este o consecin
a simetriei temporale (nici un moment de timp nu este diferit de altul, nici un
moment de timp nu este privilegiat), n timp ce conservarea momentului este o
consecin direct a simetriei (omogenitii) spaiului (nici un loc n spaiu nu este
special sau diferit de altul). Simetria parial dintre timp i spaiu conduce la
transformrile Lorentziene, care la rndul loc conduc la teoria special a
relativitii. Simetria dintre masa inerial i cea gravitaional conduce la teoria
general a relativitii. n esen putem spune c legile naturii sunt expresii
matematice ale anumitor simetrii sau a omogeniti timpului, spaiului etc. Cu alte
cuvinte, sunt anumite cantiti (de exemplu originea coordonatelor pentru timp sau
spaiu) care nu depind de nimic. Cutarea legilor i ale obiectelor fundamentale ale
naturii este sinonim cu cutarea celui mai general grup de simetrii care se poate
aplica interaciunilor fundamentale. i aceasta este contribuia esenial a lui
Noether care a relevat tocmai acest mariaj dintre legi (legile de conservare) i
simetrii, sau mai profund dintre legi i dualitate.
Esena modelelor matematice const n faptul c prin reprezentarea
simbolic a fenomenelor care se desfoar n poriunea de creaie considerat este
posibil scufundarea acestei reprezentri n domenii matematice abstracte n care
funcioneaz raionamentele logice fr nici o influen a semnificaiei fizice a
variabilelor i parametrilor proprii acestei reprezentri. Totui, trebuie s remarcm
faptul c n practic apar o serie de probleme cu modelele matematice. Deseori
acestea sunt foarte puin documentate astfel nct examinarea ipotezelor lor este
dificil. Documentarea este cu att mai deficitar cu ct nelesul comun al

 TEOREMA NOETHER I FUNDAMENTELE MODELRII MATEMATICE

descrierii mentale este mai dispersat. Modelele matematice sufer n condiiile n

care apar relaii ntre factori greu de cuantificat, pentru care nu se dispune de date
numerice, sau care se afl n afara domeniului de expertiz a analistului. Mai mult
dect att, deseori acestea sunt foarte complicate aa nct utilizatorul i pierde
ncrederea n consistena sau corectitudinea relaiilor care caracterizeaz modelul
matematic respectiv. Cu toate acestea modelarea matematic n industrie, economie
sau societate reprezint una dintre cele mai importante activiti.
Exist o chestiune pe care trebuie s o menionm aici. Aceasta se refer la
importana scopului modelului. Un model trebuie s aib un scop foarte bine
definit i acesta este de a participa la nelegerea problemei pentru care a fost
construit. Un scop clar exprimat este cel mai important ingredient al studiului
problemei prin modelare. Fr ndoial, un model cu un scop clar poate fi incorect,
dificil de neles, de mari dimensiuni etc. Dar un scop clar exprimat permite
utilizatorilor s pun ntrebri care s evidenieze dac modelul este folositor sau
nu pentru rezolvarea problemei considerate. Orice model este o reprezentare a unui
grup de elemente aflate ntr-o interdependen funcional. Pentru a fi folositor un
model trebuie s se concentreze pe o anumit problem specific i trebuie mai
degrab s simplifice dect s ncerce s oglindeasc n detaliu ntreaga poriune a
creaiei considerat. Construcia unui model este arta de a ti ce s se elimine.
Scopul modelului acioneaz ca un bisturiu logic. Acesta furnizeaz criterii n
raport cu care anumite detalii devin nesemnificative, astfel nct numai trsturile
eseniale s fie coninute n model. Utilitatea unui model const tocmai n faptul c
acestea simplific realitatea, dar pstrnd esena acesteia, punnd-o ntr-o form pe
care o putem nelege.
Trecerea de la modelul lingvistic (mental) la modelul matematic este
efortul intelectual maxim pe care-l face un analist. Aceasta presupune o foarte bun
cunoatere a poriunii creaiei analizate, a relaiilor dintre diferitele elemente
proprii acestei creaii. Este vorba aici de apariia unui model intern n sensul
identificrii unei poriuni a analistului cu creaia considerat. O dat construit
modelul intern, exprimarea lui n simboluri matematice este o procedur de rutin.

2. Transformri punctuale infinitezimale

Pentru prezentarea rezultatului lui Noether i nelegerea importanei acestuia n
stabilirea conexiunii care exist ntre legile de conservare i simetrii este necesar s
prezentm conceptul de transformare punctual infinitezimal [Struckmeier i
Riedel, 2002]. Dup cum tim, o lege de conservare afirm c o anumit
proprietate msurabil a unei poriuni izolate a Naturii, un sistem fizic, nu se
schimb cnd sistemul evolueaz. Dar evoluia unui sistem se poate formaliza prin
transformri punctuale infinitezimale. Ca atare, de aceea suntem interesai n
transformri punctuale infinitezimale.
S considerm deci un sistem dinamic cu n grade de libertate i o
transformare punctual infinitezimal care transform punctele (q, t ) din spaiul
configuraiilor extins (coordonatele spaiale i timpul) n puncte infinit vecine
(q, t ). O astfel de transformare se poate defini n termenii unui parametru
infinitezimal sub forma urmtoare:

 NECULAI ANDREI COMPLEMENTE DE MODELARE I OPTIMIZARE

t = t + t,
t = (q, t ),
(1a)
qi = qi + qi , qi = i (q, t ).
(1b)
Observm c coordonatele generalizate qi i timpul t sunt transformate simultan.
Aceasta ne permite obinerea regulilor de transformare ale lui qi i qi (viteza i
acceleraia). ntr-adevr, cantitatea qi se calculeaz n baza faptului c qi este
chiar derivata coordonatei generalizate qi n raport cu timpul transformat t . Din
(1) obinem imediat:

qi =

dqi dqi + di qi + i
=
=
= qi + i qi + O( 2 ).
dt
dt + d
1 +

Deci

qi = (i (q, t ) (q, t )qi ) ,

(2)

(3)

Ceea ce arat c transformarea punctual infinitezimal (1) determin n mod unic

qi. Utiliznd aceeai tehnic putem obine regula de transformare a lui qi astfel:

qi =

dqi qi + i qi qi
=
= qi + i 2 qi qi + O( 2 ) .
dt
1 +

(4)

Cu aceasta obinem variaia

qi = (i 2 qi qi ) .

(5)

Acum, dat o funcie analitic arbitrar u (q, t ) , adic o funcie care local se poate
exprima ca o serie convergent de puteri, atunci variaia u = u (q, t ) u (q, t )
indus de transformarea punctual infinitezimal este dat de:

u =

n
u
u
t +
qi = Uu (q, t ),
t
i =1 qi

(6)

unde operatorul U reprezint generatorul transformrii punctuale infinitezimale din

(1):
n

(7)
.
+ i ( q , t )
t i =1
qi
n cazul unei funcii analitice arbitrare v(q, q, t ), care depinde de q, q i timpul
t , variaia acesteia v = v(q, q, t ) v(q, q, t ) este dat de:

U = ( q, t )

v =

n
v

v
v
t +
qi +
qi = U v(q, q, t ),
t
qi
i =1 qi

(8)

unde U este extensia generatorului (7) la acest caz, adic:

U = U + i

,
qi

i = i qi .

(9)

 TEOREMA NOETHER I FUNDAMENTELE MODELRII MATEMATICE

Utiliznd aceeai tehnic ca mai sus, pentru completare, n general, pentru o funcie
analitic arbitrar w(q, q, q, t ) variaia ei w = w(q, q, q, t ) w(q, q, q, t ) se
poate calcula ca:
w = U w(q, q, q, t ),
(10)
unde U este extensia generatorului (7):
n

U = U + i
i =1

, i = i 2 qi qi = i qi .
qi
dt

(11)

3. Teorema Noether
Teorema Noether este un rezultat central n
nelegerea fenomenelor fizice din diverse
domenii de activitate i a naturii matematicii
utilizat n descrierea acestor fenomene fizice,
care exprim o coresponden biunivoc dintre
legile de conservare i simetrii. Aceast
coresponden are loc pentru toate legile fizicii
care se bazeaz pe principiul celei mai mici
aciunii, cunoscut de asemenea ca principiul
lui Hamilton sau al staionaritii aciunii.
Acesta este un principiu variaional, care cnd
este aplicat aciunii asociate unui sistem
mecanic
ne
conduce
la
formulrile
Lagrangiene sau Hamiltoniene ale ecuaiilor
clasice de micare din mecanic. n esen,
aciunea este un scalar, cu unitatea de msur
Emmy Noether (1882-1935)
energie timp.
Principiul lui Hamilton zice c evoluia q (t ) a unui sistem definit de n
coordonate generalizate q = (q1 , , qn ) ntre dou stri specificate q1 = q (t1 ) i

q2 = q(t2 ) , de la dou momente de timp t1 i t2 date, este astfel nct realizeaz

minimul aciunii
t2

S (q(t )) = L(q, q, t )dt ,

t1

(12)

unde L(q, q, t ) este funcia Lagrange asociat sistemului. Cu alte cuvinte,

principiul lui Hamilton afirm c evoluia q (t ) a unui sistem fizic este soluia
ecuaiei funcionale:

dS
= 0.
dq(t )

(13)

De obicei legile fizicii se exprim ca ecuaii difereniale (ordinare sau cu

derivate pariale) care specific modul n care variabilele se modific n timp la
schimbri infinitezimale ale timpului precum i ale altor variabile. O ecuaie

NECULAI ANDREI COMPLEMENTE DE MODELARE I OPTIMIZARE

diferenial furnizeaz un mijloc de a determina valoarea unei variabile fizice la

orice moment de timp cunoscndu-se punctul iniial i eventual derivata acestei
variabile n punctul iniial. Observm caracterul local ale acestei abordri bazat pe
ecuaii difereniale. Utilizarea aciunii conduce la aceleai rezultate ca ecuaiile
difereniale, dar n acest caz aciunea cere specificarea strii variabilelor sistemului
n dou puncte, punctul iniial i punctul final. Valorile variabilelor sistemului n
toate punctele intermediare ntre punctul iniial i cel final se pot determina prin
minimizarea aciunii. Echivalena dintre aceste dou moduri de abordare este
coninut n principiul lui Hamilton, care afirm c ecuaiile difereniale de micare
pentru orice sistem fizic se pot reformula ca ecuaii integrale. Acesta se aplic nu
numai mecanicii clasice (Newtoniene) ci i cmpurilor clasice: electromagnetic i
gravitaional. Observm caracterul global al abordrii bazate pe minimizarea
aciunii.
Teorema Noether leag cantitile conservate ale unui sistem cu n grade
de libertate cu Lagrangeanul L(q, q, t ) de transformrile punctuale infinitezimale
(1) care las aciunea Ldt invariant. Deci, dintre toate transformrile punctuale
infinitezimale definite de (1) le vom considera pe acelea care las aciunea Ldt a
unui Lagrangean dat invariant, adic
L(q, q, t )dt = L(q, q, t )dt .
(14)
Observm c transformarea punctual infinitezimal (1) considerat este foarte
general, dnd posibilitatea ca funcia Lagrange s se modifice. Dac ecuaiile de
micare ale sistemului provin direct din variaia aciunii integrale, conform
principiului lui Hamilton

Ldt = 0,
atunci condiia de invarian (14) face ca transformarea punctual infinitezimal (1)
s transforme aciunea integral (12) ntr-o alt reprezentare a aceleiai aciuni
integrale. Cu alte cuvinte, sistemul fizic considerat nu este schimbat ntr-unul
diferit, ci doar Lagrangeanul sistemului este infinitezimal modificat (n virtutea
transformrii (1)) pentru a izola simetriile sale.
Introducnd funcia de etalonare f (q, t ) , atunci relaia funcional
dintre L i L se poate exprima sub forma:

L(q, q, t ) = L + L +

= L(q, q, t )

df
+ O( 2 )
dt

(15)

Vedem c din (3) transformarea q q este unic determinat de transformrile

q q i t t din (1). Deci pentru ca relaia (15) s fie valabil n general este
necesar i suficient ca f (q, t ) s depind numai de q i t. Cu acestea introducnd
(15) n condiia de invarian a aciunii dat de (14) i eliminnd termenii de ordin
superior n obinem:

L(q, q, t )dt = L(q, q, t )dt +

df (q, t )
dt .
dt

(16)

Dar legtura dintre L(q, q, t ) i L(q, q, t ) este dat de operatorul U din (9),
adic

 TEOREMA NOETHER I FUNDAMENTELE MODELRII MATEMATICE

L(q, q, t ) = L(q, q, t ) + U L(q, q, t ).

(17)
Deoarece dt = (1 + )dt , atunci neglijnd termenii de ordin superior n ,
rezult c

df (q, t )
(18)
= U L(q, q, t ) + L(q, q, t ) .
dt
Acum innd seama de expresia operatorului U din (9), precum i de generatorul
infinitezimal al transformrii punctuale (1) dat de (7) din (18) obinem urmtoarea
expresiei a derivatei funciei de etalonare:

L n L
L
df (q, t )
(19)
= L +
+ i
+ (i qi )
.
t i =1 qi
qi
dt
Observm imediat c derivata funciei f (q, t ) depinde de funciile (q, t ) i
i (q, t ) , precum i de derivatele acestora. n esen (19) reprezint o condiie
asupra acestor funcii, care dup cum vedem nu au fost nc specificate.
Interpretarea condiiei (19) este c dintre toate transformrile punctuale
infinitezimale (1) numai cele a cror funcii de definiie i i satisfac (19)
menin invariant aciunea Ldt.
Importana condiiei (19) rezult imediat din faptul c aceasta se poate
rescrie ca o sum dintre o derivat total i ecuaiile de micare Euler-Lagrange:
n
d
L
f (q, t ) L + ( qi i )

qi
dt
i =1
n
L d L
+ ( qi i )

= 0.
i =1
qi dt qi

(20)

Dar de-a lungul traiectoriei sistemului ecuaiile Euler-Lagrange

L d L

= 0, i = 1, , n,
qi dt qi

(21)

sunt satisfcute. Deci din (20) rezult c integrala n timp I a termenului care
rmne:
n

I = ( qi i )
i =1

L
L + f ( q, t )
qi

(22)

constituie o cantitate conservat, adic o constant a micrii sistemului cu

Lagrangeanul L(q, q, t ).
n abordarea constructivist pe care am utilizat-o n aceast prezentare zicem c:
invariantul dat de (22) mpreun cu ecuaia diferenial (19) pentru funcia
f (q, t ) reprezint teorema Noether.
Menionm c date condiiile iniiale (q (t0 ), q (t0 )) ale strii sistemului de
la momentul de timp t0 , atunci starea sistemului (q(t ), q(t )) este unic determinat
de ecuaiile de micare Euler-Lagrange (21), care la rndul lor provin din principiul

10

NECULAI ANDREI COMPLEMENTE DE MODELARE I OPTIMIZARE

lui Hamilton Ldt = 0. Acum, considernd variaia Ldt = 0 a sistemului

infinitezimal transformat scris n coordonatele originale ale sistemului pe lng
ecuaiile de micare (21) obinem cantitatea I din (22) care se conserv la
transformrile infinitezimale (1). Observm c ecuaia diferenial (19) pentru
funcia f (q, t ) depinde de q (t ), adic de soluiile ecuaiilor de micare (21).
Ecuaia (20) arat c invariantul Noether (22) este cuplat cu ecuaiile de
micare Euler-Lagrange (21), acestea constituind o pereche intrinsec a sistemului
cu Lagrangeanul L(q, q, t ).

4. Legi de conservare
Teorema Noether este un rezultat major n modelarea matematic a fenomenelor
fizice, care arat echivalena care exist ntre legile de conservare asociate unui
sistem care respect principiul celei mai mici aciuni i simetriile Lagrangeanului.
O lege de conservare afirm c o anumit proprietate msurabil a unui sistem fizic
izolat nu se modific cnd acesta evolueaz n timp. ntotdeauna cnd scriem un
model matematic al unui proces fizic dintr-o anumit poriune bine individualizat
a creaiei cutm legile de conservare care se pot asocia fenomenului respectiv.
Legile de conservare pot fi exacte n sensul c pn acum nu se cunosc
experimente care s le ncalce. Legile de conservare exacte sunt: conservarea
energiei, conservarea momentului liniar, conservarea momentului unghiular,
conservarea sarcinii electrice adevrate, conservarea probabilitii etc. Pe de alt
parte sunt legi de conservare aproximative. Aceste sunt adevrate numai n situaii
particulare, cum ar fi de exemplu la viteze mici, pentru intervale de timp foarte
mici, sau pentru interaciuni slabe etc. Legile de conservare aproximative sunt:
conservarea masei (aplicabil numai la viteze mici), conservarea paritii,
conservarea numrului baryonic, conservarea numrului lepton etc.
Conservarea energiei
Acest concept zice c ntr-un sistem fizic izolat energia total rmne constant,
dei aceasta poate lua diferite forme. De exemplu, frecarea transform energia
cinetic n energie termic. Altfel spus, legea de conservare a energiei afirm c
energia nu poate fi creat sau distrus, ci doar se poate transforma dintr-o form n
alta. Din punct de vedere matematic, legea de conservare a energiei este o
consecin a simetriei n raport cu timpul, adic conservarea energiei rezult din
faptul constatat empiric c legile fizicii nu se schimb la translatarea timpului. Din
punct de vedere filosofic, aceasta nsemn c nimic nu depinde de timp per se, cu
alte cuvinte nu exist un moment de timp privilegiat.
Cel care a exprimat conversia energiei poteniale n energie cinetic i invers a
celei cinetice n energie potenial a fost Galilei [1638]. Totui acesta nu a reuit o
exprimare clar a acestui proces. Leibniz a fost primul care a dat o formulare
matematic clar a energiei cinetice asociate unei micri. El a observat c n
sistemele mecanice formate din mai multe mase mi , fiecare dintre acestea cu

 TEOREMA NOETHER I FUNDAMENTELE MODELRII MATEMATICE

vitezele vi , cantitatea

m v

2
i i

11

este conservat n condiiile n care masele nu

interacioneaz. Leibniz a numit aceast cantitate vis viva sau living force a unui
sistem. n limbajul actual vis viva este energie, termen introdus de Thomas Young
n 1807. Recalibrarea energiei ca 12 mi vi2 este rezultatul efortului lui Coriolis i

Poncelet i se nelege ca determinarea valorii exacte a energiei cinetice. Un

moment foarte important n nelegerea i dezvoltarea legii de conservare a energiei
a fost dat de demonstrarea echivalentului mecanic al caloriei. n termeni moderni,
acest echivalent mecanic al caloriei a fost formulat de Julius Robert von Mayer.
Acesta, ntr-un voiaj n Indii, a observat c sngele pacienilor si era mult mai rou
deoarece acetia consumau mult mai puin oxigen, i deci mai puin energie,
pentru a-i menine constant temperatura corpului ntr-un climat mult mai cald.
Mayer a descoperit c lucrul mecanic i cldura erau dou forme de energie, mai
trziu chiar calculnd relaiile cantitative dintre acestea. n 1843 James Prescott
Joule experimental a descoperit echivalentul mecanic al caloriei observnd c
energia potenial pierdut prin cderea unui corp este egal cu energia termic
(cldura) ctigat de un volum de ap obinut prin frecare.
Mai trziu, Helmholtz [1847], bazndu-se pe lucrrile lui Joule, Sadi Carnot i
mile Clapeyron, a postulat o legtur ntre mecanic, cldur, lumin, electricitate
i magnetism, tratndu-le pe toate ca manifestri ale conceptului de energie.
Lucrarea sa ber die Erhaltung der Kraft (Asupra conservrii forei) prezint
aceast teorie i constituie nceputul abordrii moderne a conservrii energiei.
ntr-adevr, presupunnd c Lagrangeanul nu depinde n mod explicit de timp,
atunci derivata total a acestuia este:

dL n L dqi L dqi
=
+
.
dt i =1 qi dt qi dt

(23)

Utiliznd ecuaiile micrii Euler-Lagrange (21) obinem:

dL n d L L dqi
qi
= 0.
+
dt i =1 dt qi qi dt

(24)

Dar, (24) se poate imediat scrie ca:

n
L
d
L qi
= 0,
qi
dt
i =1

(25)

ceea ce arat c expresia de sub derivat este o constant. Ca o ilustrare s

considerm un sistem mecanic format din trei mase date m1 , m2 i m3 legate prin
intermediul a dou arcuri cu constantele de elasticitate k12 i respectiv k13 .
Funcia Lagrange a acestui sistem este dat de diferena dintre energia cinetic T
i energia potenial U , adic

L( x1 , x2 , x3 , x1 , x2 , x3 ) = T U

12

NECULAI ANDREI COMPLEMENTE DE MODELARE I OPTIMIZARE

k
1
1
1
k

m1 x12 + m2 x22 + m3 x32 12 ( x2 x1 ) 2 + 23 ( x3 x2 ) 2 .

2
2
2
2
2

Dar,

L
= m1 x12 + m2 x22 + m3 x32 = 2T .

x
i =1
i
Ca atare, deoarece L = T U , din (25) rezult c cantitatea care se conserv la
3

simetria temporal este

L 2T = T U 2T = (T + U ),

energia total a sistemului mecanic considerat.

Conservarea momentului liniar
n mecanica clasic momentul liniar este produsul dintre mas i viteza unui corp,
p = mv, unde p este momentul liniar, m masa corpului i v viteza acestuia.
Pentru un sistem de n corpuri, fiecare dintre acestea cu masa mi i viteza vi
momentul este egal cu suma vectorial a momentelor celor n corpuri:
n

p = mi vi .

(26)

i =1

Vedem imediat c fora este rata de schimbare a momentului, adic

F=

dp
.
dt

Pentru cazul n care masa este constant i viteza corpului este mult mai mic dect
viteza luminii, atunci rezult c F = ma, care este legea a doua a lui Newton.
n esena momentul ne arat ct de greu este s oprim un obiect caracterizat de o
anumit mas i o anumit vitez.
Pentru sisteme nchise, adic sisteme neafectate de fore externe i a crui
fore interne nu sunt disipative, momentul liniar este o cantitate conservat (este
constant). O consecin direct a acestei legi de conservare a momentului liniar este
c n absena altor fore centrul de mas a oricrui sistem de corpuri ntotdeauna se
va deplasa cu aceeai vitez.
Conservarea momentului liniar este o consecin matematic a
omogenitii spaiului, adic a simetriei la deplasare. Din punct de vedere filosofic,
conservarea momentului liniar ne arat c nimic nu depinde de poziia n spaiu
per se, cu alte cuvinte n spaiu nu sunt poziii privilegiate. Conservarea
momentului liniar rezult din faptul constatat empiric c legile fizicii nu se schimb
la translatarea spaiului.
n mecanica relativist, pentru a fi conservat momentul liniar se definete
ca p = m0 v, unde m0 este masa invariant a corpului, = 1/ 1 v 2 / c 2 este
factorul Lorentz, v este viteza relativ dintre corp i observator i c este viteza
luminii. La viteze mici comparate cu viteza luminii v / c 0 , ceea ce arat c
momentul relativistic devine momentul liniar clasic (Newtonian). Pentru obiecte

 TEOREMA NOETHER I FUNDAMENTELE MODELRII MATEMATICE

13

fr mas cum sunt fotonii, momentul este p = / = E / c, unde

este
constanta lui Planck, este lungimea de und a fotonului i E este energia
fotonului.
Conservarea momentului unghiular
Momentul unghiular al unui corp care se rotete n jurul unui punct fix este o
msur a continuitii micrii rotative a corpului n absena cuplurilor care s
acioneze asupra lui. n particular, dac un corp se rotete n jurul unei axe, atunci
momentul unghiular n raport cu un punct de pe ax este dependent de masa
corpului, viteza acestuia i distana acestuia la fa de axa de rotaie. Momentul
unghiular al unui sistem rmne constant n absena cuplurilor care s acioneze
asupra lui. Cuplu este rata cu care momentul unghiular este transferat n i n afara
sistemului. Dac un corp se rotete n jurul unui punct, atunci rezistena la
modificarea micrii sale rotaionale este dat de momentul de inerie.
Momentul unghiular L al unui corp fa de origine este definit ca:
L = r p, unde r este poziia corpului exprimat fa de origine, p este
momentul liniar, iar este produsul vectorial. Dac avem un sistem de corpuri,
atunci momentul unghiular fa de origine al acestui sistem de corpuri se calculeaz
ca suma (sau integrarea) tuturor momentelor unghiulare ale corpurilor care fac
parte din sistem.
Conservarea momentului unghiular este o consecin matematic a
simetriei la reorientare fa de axele sistemului de referin. Din punct de vedere
filosofic, conservarea momentului liniar ne arat c n spaiu nu sunt axe
privilegiate.
S considerm un sistem cu coordonatele q1 , q2 , , qn . Lagrangeanul L
asociat acestui sistem este o funcie care depinde de cele n coordonate i de
derivatele lor n timp. Micarea sistemului este dat de ecuaiile Euler-Lagrange
(21), cte una pentru fiecare coordonat. Difereniala total a Lagrangeanului este:

dL =
i =1

nL
dqi .
qi

(27)

nmulind fiecare dintre cele n ecuaii Euler-Lagrange cu dqi corespunztor i

adunndu-le obinem:

d n L
dqi = dL.
(28)

dt i =1 qi

Deci, pentru orice combinaie de difereniale dqi astfel nct dL = 0 , suma din
membrul stng din (28) este o constant, adic o cantitate conservat. Desigur n
(28), ceea ce conteaz aici sunt proporiile ntre difereniale i nu valoarea absolut
a acestora. Dac considerm s un parametru care parametrizeaz curba qi ( s ) din
spaiul coordonatelor, atunci putem mpri (28) prin ds pentru a obine:

14

NECULAI ANDREI COMPLEMENTE DE MODELARE I OPTIMIZARE

d n L dqi dL
.

=
dt i =1 qi ds ds

(29)

Pentru a ilustra conservarea momentului liniar i unghiular s considerm un

sistem compus din N corpuri fiecare de mas mi i poziii xi , yi , zi , pentru

i = 1, , N , a crui energie potenial depinde numai de distana dintre perechile

de corpuri. Evident c Lagrangeanul este constant de-a lungul oricrei curbe din
spaiul configuraiilor (strilor) de forma xi ( s ) = k x s, yi ( s ) = k y s, zi ( s ) = k z s,
pentru orice constante k x , k y i k z . Teorema Noether zice c:
n

i =1

i =1

i =1

k x mi xi + k y mi yi + k z mi zi =K ,

(30)

unde K este o constant. Deoarece constantele k x , k y , k z sunt arbitrare, rezult c

fiecare dintre cele trei sume din (30) este o constant, ceea ce nseamn c
momentul liniar este conservat n fiecare dintre cele trei direcii ale sistemului de
coordonate, i ca atare n orice direcie.
Acum, pentru acelai set de corpuri putem considera invariana
Lagrangeanului la o rotaie fix, adic la o reorientare a sistemului n jurul originii.
Pentru fiecare corp de mas m cu coordonatele x, y, z o rotaie fixat n jurul axei

z , n orice punct, las constant cantitatea x 2 + y 2 . Deci xdx + ydy = 0. Astfel

diferenialele pentru aceast ax de simetrie se pot reprezenta ca: dxi = dsyi ,
dyi = dsxi i dzi = 0. Din teorema Noether rezult c cantitatea
n

m (x y x y )
i =1

(31)

este o constant. Aceast expresie este conservarea momentului unghiular n jurul

axei z. Similar se poate arta simetria la reorientare faa de axa x sau y implic
conservarea momentului unghiular faa de aceste axe.
Conservarea sarcinii electrice
Sarcina electric este o proprietate fundamental conservat a anumitor particule
subatomice care determin interaciunile lor electromagnetice. Materia ncrcat cu
sarcini electrice este influenat i produce cmpuri electromagnetice. Interaciunea
dintre sarcinile mobile i un cmp electromagnetic produce fore electromagnetice,
care sunt una dintre cele patru fore fundamentale n natur.
Sarcina electric este o caracteristic a anumitor particule subatomice i se exprim
ca un multiplu de aa-numita sarcin electric elementar e. Prin convenie
electronii au sarcina electric -1, protonii au sarcina electric +1, iar quarcii au
sarcini electrice fracionare egale cu -1/3 sau +2/3. Antiparticulele echivalente
acestor elemente au sarcini electrice opuse. Sarcina electric a unui corp
macroscopic este suma sarcinilor electrice ale particulelor constituente. Deseori,
sarcina electric a unui corp este zero, deoarece n mod natural numrul de

 TEOREMA NOETHER I FUNDAMENTELE MODELRII MATEMATICE

15

electroni din fiecare atom este egal cu numrul de protoni. Situaiile n care sarcina
electric a unui corp este nenul este cunoscut ca electricitate static. Chiar dac
ntr-un corp sarcina electric este zero aceasta poate fi neuniform distribuit
(datorit unor cmpuri electrice externe, sau a unor ocuri). n acest caz zicem c
materialul este polarizat. Natura discret a sarcinii electrice a fost propus de
Michael Faraday n urma experimentelor sale referitoare la electroliz i a fost
demonstrat de Robert Millikan n experimentul su pictura de ulei.
Sarcina electric este un invariant relativist. Aceasta nseamn c orice particul
care are o sarcin q , indiferent de viteza cu care se mic, ntotdeauna aceasta are
sarcina q. Sarcina electric a unui sistem izolat rmne constant indiferent de
schimbrile prin care trece sistemul. Conservarea sarcinii rezult din ecuaia de
continuitate i se exprim sub forma: viteza de scdere n timp a sarcinii electrice
(adevrate) din interiorul unei suprafee nchise S este egal cu intensitatea
curentului de conducie iS care prsete suprafaa S:

iS =

dqV
,
dt

sau

JdA = dt

dV ,

(32)

unde J este densitatea curentului electric de conducie.

Considernd c variaia n timp a sarcinii electrice din volumul V este produs de
variaia local n timp a densitii de volum a sarcinii, pe de o parte, i de micarea
corpurilor, pe de alt parte, atunci forma integral dezvoltat a legii este:

( J + v ) dA = t dV ,
V

(33)

v este viteza de deplasare a mediului. Aceast form a legii arat c sarcina

electric dintr-un domeniu limitat de o suprafa oarecare S scade att datorat
curentului de conducie, ct i datorit curentului de convecie care prsesc S .
Pentru domenii de continuitate i netezime, forma local a legii se obine aplicnd
teorema Gauss-Ostrogradski primului membru din (33), obinndu-se:

V
= divJ + div ( vV ).
t

(34)

Conservarea sarcinii electrice vine din ecuaia de continuitate care este o form
local (tare) a legilor de conservare, deci o consecin a teoremei Noether.
Orice ecuaie de continuitate se exprim ca o ecuaie diferenial care
descrie conservarea prin transport a anumitor cantiti. Deoarece, dup cum am
vzut, energie, momentul liniar, momentul unghiular, masa, precum i alte cantiti
sunt conservate, rezult c mare parte din fenomenele naturii se pot descrie prin
intermediul ecuaiei de continuitate. n general, orice ecuaie de continuitate are o
form diferenial exprimat n termenii operatorului divergen, precum i o form
integral exprimat n termenii unui flux. Trecerea de la o expresie la alta se face
prin intermediul teoremei divergenei (teorema Gauss-Ostrogradsky), care este un
caz special al teoremei lui Stokes, o generalizare important a teoremei
fundamentale a calcului diferenial i integral.

16

NECULAI ANDREI COMPLEMENTE DE MODELARE I OPTIMIZARE

Conservarea masei
Legea de conservare a masei (a materiei) sau nc legea Lomonosov-Lavoisier zice
c masa substanei unui sistem nchis rmne constant indiferent de procesele
fizice sau chimice care au loc n interiorul sistemului. O formulare echivalent a
acestui principiu este c materia nu poate fi nici creat nici distrus, ci doar se
poate transforma dintr-o form n alta. O consecin a acestui principiu este c
pentru orice proces chimic ntr-un sistem nchis masa reactanilor este egal cu
masa tuturor produselor obinute n urma procesului chimic respectiv. De
asemenea aceast lege ne arat c toat materia universului fizic observat are
aceeai vrst. Acest concept se aplic n foarte multe domenii ca: mecanic,
chimie, dinamica fluidelor etc. Totui, n relativitatea special n general masa nu
este conservat. Deci legea conservrii masei sau a substanei este o lege
aproximativ n sensul c se aplic numai proceselor non-relativiste. ntr-adevr,
pentru materie care nu este nici creat i nici distrus timpul nu are nici o
semnificaie. Cu alte cuvinte conservarea masei nu se aplic proceselor relativiste.
Principiul c masa unui sistem de particule este egal cu suma maselor lor,
chiar dac este adevrat n fizica clasic, nu mai este adevrat n relativitatea
special. Formula de echivalena mas - energie implic faptul c sistemele
mrginite au o masa mai mic dect suma maselor prilor lor. Diferena, numit
defect de mas, este o msur a energiei de legtur care ine prile unite n
sistem. Cu ct defectul de mas este mai mare cu att energia de legtur este mai
mare. Cnd materia este convertit n energie conform relaiei E = mc 2 , atunci
legea conservrii masei nu se aplic. Dac un atom emite un foton care are masa
zero, atunci masa atomului se reduce cu cantitatea E / c 2 , unde E este energia
fotonului. Cu alte cuvinte, masa unui sistem nchis (izolat) se poate reduce prin
emisia fotonilor, chiar dac acetia rmn n interiorul sistemului.
Legea conservrii masei a fost intuit de Lomonosov n urma
experienelor. Cel care a formulat-o ntr-o manier clar i distinct a fost Lavoisier
n 1789, deseori recunoscut ca printele chimiei moderne.

5. Concluzii
Teorema Noether reprezint instrumentul fundamental pentru stabilirea legilor de
conservare pe care se bazeaz toate modelele matematice ale fenomenelor fizice
care satisfac principiul minimei aciuni, adic care au un Lagrangean. Fundamentul
modelelor matematice este dat de legile de conservare. Acestea asigur
completitudinea i minimalitatea acestora, fiind protejate la pericolul circularitii
n care cuvintele sunt rectificate.
Bibliografie
Andrei, N., Teorie versus empirism n analiza algoritmilor de optimizare. Editura Tehnic,
Bucureti, 2004.
Andrei, N., Eseu asupra fundamentelor informaticii. Editura Yes, Bucureti, 2006.
Andrei, N., Principii i legi modele matematice bazate pe prima metamorfoz a tiinei.
Complemente de Modelare Matematic i Optimizare. Raport Tehnic, ICI, Iulie,
2008.

 TEOREMA NOETHER I FUNDAMENTELE MODELRII MATEMATICE

17

Byers, N., E.Noethers discovery of the deep connection between symmetries and
conservation laws. Israel Mathematical Conference Proceedings. Vol. 12, 1999
presented at the Symposium on The Heritage of Emmy Noether in Algebra,
Geometry and Physics, Bar Ilan University, Tel Aviv, Israel, December 2-3, 1996.
Dumitriu, A., (1986) Eseuri. tiin i Cunoatere. Altheia. Cartea ntlnirilor Admirabile.
Editura Eminescu, Bucureti, 1986.
Dumitriu, A., (1993) Istoria Logicii. Volumul I. Ediia a III-a revzut i adugit. Editura
Tehnic, Bucureti, 1993.
Dumitriu, A., (1995) Istoria Logicii. Volumul II. Ediia a III-a revzut i adugit. Editura
Tehnic, Bucureti, 1995.
Dumitriu, A., (1997) Istoria Logicii. Volumul III. Ediia a III-a revzut i adugit. Editura
Tehnic, Bucureti, 1997.
Dumitriu, A., (1998) Istoria Logicii. Volumul IV. Ediia a III-a revzut i adugit. Editura
Tehnic, Bucureti, 1998.
Heisenberg, W., Partea i ntregul. Discuii n jurul fizicii atomice. Editura Humanitas,
Bucureti, 2008. [Traducere din limba german de Maria ieica, postfa de Mircea
Flonta]
Lanczos, C.V., The variational principles of mechanics. Toronto University Press, 1970.
Noether, E., Invariante Varlationsprobleme. Nach. D. Knighche Gesellschaft der
Wissenschaften zu Gttingen, Math-phys. Klasse, 1918, 235-257.
Penrose, R., The Road to Reality: A complete guide to the laws of the Universe. Vintage
Books, 2004.
Plcineanu, I.I., Mecanica Vectorial i Analitic. Ediia a II-a. Editura Tehnic, Bucureti,
1958.
Preda, M., Cristea, P., Analiza i sinteza circuitelor electrice. Editura Tehnic, Bucureti,
1968.
Struckmeier, J., Riedel, C., Noethers theorem and Lie symmetries for time-dependent
Hamilton-Lagrange systems. Physical Review, Statistical Nonlinear Matter and Soft
Matter Physics, E (66) 2002, 066605.
Iunie 23, 2008

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