În matematică și fizică , derivatul funcțional este o generalizare a derivatului direcțional . In timp ce derivative direcționale diferă în direcția unui vector , diferă funcționale derivate în direcția unei funcții . Ambele pot fi văzute ca extensii ale obicei derivate .
Atunci când se analizează spații local convexe , derivatul funcțional este desemnat ca un derivat al gateaux . În special, în cazul în care este vorba de spații Banach se spune derivat din Fréchet . În fizica teoretică un al treilea tip de derivat (Euler), conceptual similar cu cel mai utilizat este derivata parțială .
În calculul variatiilor , funcționale sunt exprimate frecvent de l ' integrală a funcțiilor. De exemplu, dacă luăm în considerare o integrandul {\ displaystyle L} unui funcțional {\ displaystyle J} :
- {\ Displaystyle J [f] = \ int _ {a} ^ {b} L [\, x, f (x), f \, „(x) \,] \, dx}
cu {\ Displaystyle f \ „(x) = \ operatorname {d} \! F / \ operatorname {d} \! X} , Dacă variezi {\ displaystyle f} adăugând o altă funcție pentru a-l {\ Displaystyle \ delta f} arbitrar mici se extinde, iar integrantul {\ L displaystyle [\, x, f + \ delta f, f \ '+ \ delta f']} în puteri de {\ Displaystyle \ delta f} , Atunci modificarea valorii {\ displaystyle J} la primul ordin de dezvoltare în {\ Displaystyle \ delta f} poate fi exprimat ca:
- {\ Displaystyle \ delta J = \ int _ {a} ^ {b} {\ frac {\ delta J} {\ delta f (x)}} {\ delta f (x)} dx}
Coeficientul de {\ Displaystyle \ delta f (x)} , notat cu {\ Displaystyle \ delta J / \ delta f (x)} , Este derivatul funcțional al {\ displaystyle J} în comparație cu {\ displaystyle f} în sens {\ displaystyle x} . În acest caz, derivatul funcțional este lăsat în termenul " ecuațiile Euler-Lagrange :
- {\ Displaystyle {\ frac {\ delta J} {\ delta f (x)}} = {\ frac {\ L parțială} {\ f parțială}} - {\ frac {\ operatorname {d}} {\ operatorname { d} \! x}} {\ frac {\ L parțială} {\ f parțial „}}}
Definiție
Având în vedere o varietate {\ displaystyle M} , o functie {\ displaystyle \ rho} (care este de obicei continuu , neted , sau este necesar , care îndeplinește anumite condiții la limită) și funcțional {\ Displaystyle F \ colon M \ a \ mathbb {R}, \ mathbb {C}} definit pe {\ displaystyle M} , Derivatul funcțional al {\ Displaystyle F [\ rho]} este în general definită prin:
- {\ Displaystyle \ int {\ frac {\ delta F} {\ delta \ rho (x)}} \ \ phi (x) \ dx = \ lim _ {\ varepsilon \ la 0} {\ frac {F [\ rho + \ varepsilon \ phi] -F [\ rho]} {\ varepsilon}} = \ stânga [{\ frac {d} {d \ varepsilon}} F [\ rho + \ varepsilon \ phi] \ right] _ {\ varepsilon = 0}}
unde este {\ Displaystyle \ varepsilon \ phi} este variație spus {\ displaystyle \ rho} , Și {\ displaystyle \ phi} este o funcție arbitrară.
diferentiala funcțională
Pornind de la derivatul funcțional, diferențial funcțional este definită ca:
- {\ Displaystyle \ delta F = \ int {\ frac {\ delta F} {\ delta \ rho (x)}} \ \ delta \ rho (x) \ dx}
unde este {\ Displaystyle \ delta \ rho (x) = \ varepsilon \ phi (x)} este variația {\ displaystyle \ phi} . Este un obiect similar cu diferențial totală a unei funcții {\ Displaystyle F (\ rho _ {1}, \ rho _ {2}, \ rho _ {3}, \ puncte)} :
- {\ Displaystyle dF = \ sum _ {i = 1} ^ {n} {\ frac {\ F parțial} {\ parțial \ rho _ {i}}} \ d \ rho _ {i}}
unde este {\ Displaystyle \ rho _ {1}, \ rho _ {2}, \ rho _ {3}, \ dots} acestea sunt variabile independente.
Comparând ultimele două ecuații, observăm că derivatul funcțional{\ Displaystyle \ delta F / \ delta \ rho (x)} joacă un rol similar cu cel al derivatului parțial {\ Displaystyle \ parțială F / \ parțial \ rho _ {i}} , În cazul în care variabila de integrare {\ displaystyle x} poate fi văzută ca o versiune continuă a indicelui de însumare {\ displaystyle i} .
Derivați de gateaux și Fréchet
Definirea derivat funcțional poate fi prevăzut cu mai multă precizie ce caracterizează mai bine spațiul vectorial topologic caracteristicile utilizate. De exemplu, în cazul în care spațiul este un spațiu Banach derivatul funcțional este un derivat al Fréchet , în timp ce , în general , spații local convexe este menționată ca derivat al Gateaux (al cărui nume se datorează francez matematician René Gateaux ).
Lasa-i sa fie {\ displaystyle X} Și {\ displaystyle Y} două spații vectoriale topologice local convexe . Date {\ Displaystyle F: X \ Y} Și {\ F displaystyle, g \ în X} , Derivatul de Gateaux {\ Displaystyle DF [f; g]} este dată de faptul că operatorul astfel încât
- {\ Displaystyle DF [f; g] = \ lim _ {| h | \ rightarrow 0} {\ frac {F [f + hg] -F [f]} {| h |}}}
Simbolul {\ Displaystyle | g |} Acesta indică norma vectorului {\ displaystyle g} . Dacă există limita pentru fiecare {\ Displaystyle g \ în X} , Funcțional {\ displaystyle F} se spune diferentiabila conform Gateaux în {\ displaystyle f} .
Date {\ F displaystyle, g \ în X} , O funcțională {\ Displaystyle F: X \ Y} este diferențiabilă conform Fréchet în cazul în care există un operator liniar limitat {\ Displaystyle A_ {f}: X \ Y} astfel încât:
- {\ Displaystyle \ lim _ {| g | \ rightarrow 0} {\ frac {F [f + g] -F [f] -A_ {f} [g]} {| g |}} = 0 \ prototipurilor \ forall g \ în X}
Noțiunea de diferențiabilității de Fréchet este mai puternică decât cea a Gateaux: orice funcție diferențiabilă în funcție de Fréchet este, de asemenea, atât în funcție de Gateaux, dar nu și invers.
derivat Euler
În fizică, în cazul în care este adesea utilizat în integralele funcționale, utilizând o altă definiție a unui derivat, de multe ori raportate în termeni de distribuție cunoscute sub denumirea de delta Dirac {\ displaystyle \ delta (x)} :
- {\ Displaystyle {\ frac {\ delta F [\ phi (x)]} {\ delta \ phi (y)}} = \ lim _ {\ varepsilon \ la 0} {\ frac {F [\ phi (x) + \ varepsilon \ delta (xy)] - F [\ phi (x)]} {\ varepsilon}}}
Având în vedere o funcțională integrală:
- {\ Displaystyle F [\ phi (x)] = \ f int [\ phi (x)] {\ text {d}} x}
este posibil să se observe legătura dintre derivatul de Gateaux sau a Fréchet și derivatul Eulerian în această relație:
- {\ Displaystyle DF [f; g] = \ int \ stânga [{\ frac {\ parțial \ phi (f)} {\ f parțială}} \ right] _ {f = f (x)} {\ frac {g (x)} {| g |}} \ {\ text {d}} x = \ int {\ frac {\ delta f} {\ delta f (x)}} {\ frac {g (x)} { | g |}} \ {\ text {d}} x}
pentru a compara cu expresia pentru derivata funcțiilor definite pe {\ displaystyle \ mathbb {R} ^ {n}} :
- {\ Displaystyle {\ frac {\ f parțială ({\ vec {x}})} {\ parțial {\ hat {e}}}} = {\ frac {\ f parțială ({\ vec {x}})} {\ parțial {\ vec {x}}}} \ cdot {\ hat} {e} = \ sum _ {i = 1} ^ {n} {\ frac {\ f parțială ({\ vec {x}}) } {\ X_ parțial {i}}} {\ hat {e}} _ {i}}
În acești termeni, derivatul Euleriene este nucleul unui operator integral liniar , care, atunci când se aplică o funcție de testare norma unitate {\ Displaystyle g / | g |} , Dă în derivat funcțional {\ displaystyle f} lung {\ displaystyle g} . Derivatul Eulerian este analog cu gradientul în {\ displaystyle \ mathbb {R} ^ {n}} : Componentele acesteia din urmă, de fapt, sunt derivații direcționale de-a lungul direcției unui sistem de coordonate. Derivatul Eulerian este extras din derivatul Fréchet prin aplicarea distribuției delta Dirac operatorului liniar, care poate fi considerat ca fiind unul dintre elementele de bază ale spațiului căruia îi aparține {\ displaystyle f} (Chiar dacă în sine nu vă aparține).
Din definitiile este posibil să se deducă proprietățile obișnuite ale derivaților: linearitate , omogenitate , regula de lanț pentru compușii funcționali, și așa mai departe.
Proprietate
În ceea ce obișnuitul derivata unei funcții, funcționale derivate sunt îndeplinite de următoarele proprietăți, în cazul în care {\ Displaystyle F [\ rho]} Și {\ Displaystyle G [\ rho]} sunt funcționale:
- {\ Displaystyle {\ frac {\ delta (\ lambda F + \ mu G)} {\ delta \ rho (x)}} = \ lambda {\ frac {\ delta F} {\ delta \ rho (x)}} + \ mu {\ frac {\ delta G} {\ delta \ rho (x)}} \ prototipurilor \ lambda, \ mu \ în \ mathbb {R}, \ mathbb {C}}
- {\ Displaystyle {\ frac {\ delta (FG)} {\ delta \ rho (x)}} = {\ frac {\ delta F} {\ delta \ rho (x)}} G + F {\ frac {\ delta G} {\ delta \ rho (x)}}}
- {\ Displaystyle \ displaystyle {\ frac {\ delta F [f (\ rho)]} {\ delta \ rho (x)}} = {\ frac {\ delta F [f (\ rho)]} {\ delta f (\ rho (x))}} \ {\ frac {df (\ rho (x))} {d \ rho (x)}} \ prototipurilor {\ frac {\ delta f (f [\ rho])} { \ delta \ rho (x)}} = {\ frac {df (F [\ rho])} {dF [\ rho]}} \ {\ frac {\ delta F [\ rho]} {\ delta \ rho ( X)}}}
- cu {\ displaystyle f} o funcție diferențiabilă .
Exemple
Derivații funcționali dincolo de definiția lor matematice formale sunt în valoare pe scurt discuta. Derivații funcționali apar în mod regulat în probleme fizice pe care principii variaționale Obey, prin urmare, este util pentru a arăta modul în care derivații funcționali sunt realizate prin exemple relevante pentru fizica.
Având în vedere o funcțională de forma:
- {\ Displaystyle F [\ rho] = \ int f (\ mathbf {r}, \ rho, \ nabla \ rho \ nabla ^ {2} \ rho \ cdots) d ^ {3} r}
derivatul funcțional poate fi scrisă ca:
- {\ Displaystyle {\ frac {\ delta F [\ rho]} {\ delta \ rho}} = {\ frac {\ f parțială} {\ parțial \ rho}} - \ nabla \ cdot {\ frac {\ f parțială } {\ parțial (\ nabla \ rho)}} + \ nabla ^ {2} {\ frac {\ f parțială} {\ parțial (\ nabla ^ {2} \ rho)}} - \ cdots}
energie Coulomb
Luați în considerare energia Coulomb funcțională {\ Displaystyle J [\ rho]} :
- {\ Displaystyle J [\ rho] = \ int \ stânga ({\ frac {1} {2}} \ int {\ frac {\ rho (\ mathbf {r}) \ rho (\ mathbf {r} „)} {\ vert \ mathbf {r} - \ mathbf {r} '\ vert}} d ^ {3} r' \ dreapta) d ^ {3} r}
Energia {\ Displaystyle J [\ rho]} depinde numai de densitatea de încărcare {\ displaystyle \ rho} , Și nu depinde de gradientul său, Laplace , sau derivați de ordin superior. Prin urmare:
- {\ Displaystyle {\ frac {\ delta J [\ rho]} {\ delta \ rho}} = {\ frac {\ j parțială} {\ parțial \ rho}} = \ int {\ frac {\ rho (\ mathbf {r} ')} {\ vert \ mathbf {r} - \ mathbf {r}' \ vert}} d ^ {3} r „}
unde este:
- {\ Displaystyle j = {\ frac {1} {2}} \ int {\ frac {\ rho (\ mathbf {r}) \ rho (\ mathbf {r} „)} {\ vert \ mathbf {r} - \ mathbf {r} '\ vert}} d ^ {3} r'}
Al doilea derivat funcțional al energiei Coulomb funcțională este:
- {\ Displaystyle {\ frac {\ delta ^ {2} J [\ rho]} {\ delta \ rho ^ {2}}} = {\ frac {\ delta} {\ delta \ rho}} \ int {\ frac {\ rho (\ mathbf {r} ')} {\ vert \ mathbf {r} - \ mathbf {r}' \ vert}} d ^ {3} r „= {\ frac {\ parțial} {\ parțial \ rho}} {\ frac {\ rho (\ mathbf {r} ')} {\ vert \ mathbf {r} - \ mathbf {r}' \ vert}} = {\ frac {} {\ vert \ mathbf 1 { r} - \ mathbf {r} „\ vert}}}
Weizsacker energie cinetică
În 1935 von Weizsäcker a propus pentru a adăuga un gradient de corecție la funcționale asociate cu energia Thomas-Fermi cinetic, în scopul de a îmbunătăți descrierea nor de electroni molecular:
- {\ T displaystyle [\ rho] = \ int {\ frac {1} {8}} {\ frac {\ nabla \ rho (\ mathbf {r}) \ cdot \ nabla \ rho (\ mathbf {r})} {\ rho (\ mathbf {r})}} d ^ {3} r}
Funcționalul {\ T displaystyle [\ rho]} depinde de densitatea de încărcare și gradientul acesteia, prin urmare:
- {\ Displaystyle {\ frac {\ delta T [\ rho]} {\ delta \ rho}} = {\ frac {\ t parțial} {\ parțial \ rho}} - \ nabla \ cdot {\ frac {\ t parțial } {\ parțial (\ nabla \ rho)}} = - {\ frac {1} {8}} {\ frac {\ nabla \ rho (\ mathbf {r}) \ cdot \ nabla \ rho (\ mathbf {r })} {\ rho (\ mathbf {r}) ^ {2}}} - \ nabla \ cdot \ stânga ({\ frac {1} {4}} {\ frac {\ nabla \ rho (\ mathbf {r })} {\ rho (\ mathbf {r})}} \ dreapta)}
unde este:
- {\ Displaystyle t = {\ frac {1} {8}} {\ frac {\ nabla \ rho (\ mathbf {r}) \ cdot \ nabla \ rho (\ mathbf {r})} {\ rho (\ mathbf {r})}}}
În cele din urmă, observăm că orice funcție poate fi scrisă în termenii unui funcțional. De exemplu:
- {\ Displaystyle \ rho (\ mathbf {r}) = \ int \ rho (\ mathbf {r} ') \ delta (\ mathbf {r} - \ mathbf {r}') d ^ {3} r „}
Prin urmare:
- {\ Displaystyle {\ frac {\ delta \ rho (\ mathbf {r})} {\ delta \ rho}} = {\ frac {\ delta \ int \ rho (\ mathbf {r} „) \ delta (\ mathbf {r} - \ mathbf {r} ') d ^ {3} r'} {\ delta \ rho}} = {\ frac {\ parțial \ stânga [\ rho (\ mathbf {r} „) \ delta (\ mathbf {r} - \ mathbf {r} ') \ right]} {\ parțial \ rho}} = \ delta (\ mathbf {r} - \ mathbf {r}')}
Bibliografie
- (RO) Richard Courant și David Hilbert , Capitolul IV. Calculul variatiilor, în Metode fizicii matematice, vol. I, First Romeno, New York, New York, Interscience Publishers, Inc., 1953, pp. 164-274, ISBN 978-0-471-50447-4 , MR 0065391 , Zbl 0,001.00501 .
- (EN) RG Parr și W. Yang, Anexa A, în funcționalelor Theory densitate funcțională și Atomi Molecules , New York, Oxford University Press, 1989, pp. 246-254, ISBN 978-0-19-504279-5 .
Elemente conexe
linkuri externe
- (RO) Springer - Anexa A: funcționalele și funcțională derivate (PDF) [ Link Intrerupt ] pe download.springer.com.
- (RO) Béla A. Frigyik, Santosh Srivastava și Maya R. Gupta, Introducere în derivați funcționali (PDF), UWEE Tech Report, UWEETR-2,008-0,001, Seattle, WA, Departamentul de Inginerie Electrică de la Universitatea din Washington, ianuarie 2008 , p. 7. Accesat la data de 21 decembrie 2013 (depusă de „URL - ul original , 17 februarie 2017).
- (RO) IM Gelfand și SV Fomin , Calculul variatiilor , traduse și editate de Richard A. Silverman, revizuit Rumeno, Mineola, NY, Dover Publications, 2000 [1963], ISBN 978-0-486-41448-5 , MR 0160139 , Zbl 0,127.05402 .
- (RO) Mariano Giaquinta și Ștefan Hildebrandt, Calculul variatiilor 1. Lagrangiene Formalismul, Grundlehren der Wissenschaften stiinte matematice, vol. 310, 1, Berlin, Springer-Verlag , 1996, ISBN 3-540-50625-X , MR 1368401 , Zbl 0,853.49001 .
- (RO) Walter Greiner și Joachim Reinhardt, Secțiunea 2.3 - Derivați funcționali , în Domeniul cuantizare , Cu o prefață de DA Bromley, Berlin-Heidelberg-New York, Springer-Verlag, 1996, pp. 36 -38, ISBN 3-540-59179-6 , MR 1383589 , Zbl 0,844.00006 .