În analiza matematică , o funcție armonică este o funcție diferențiată până la ordinea a doua {\ displaystyle f} care satisface ecuația Laplace : [1]
- {\ displaystyle \ nabla ^ {2} f (x) = 0, \ qquad \ forall x \ în U,}
adică ansamblul funcțiilor armonice constituie nucleul operatorului Laplace . În domeniul teoriei potențialului, funcțiile armonice sunt adesea numite funcții potențiale sau potențiale și sunt utilizate în fizică și inginerie , de exemplu, pentru a readuce studiul unui câmp vectorial în trei dimensiuni înapoi la cazul unui câmp scalar într-una dimensiune. În acest context, o funcție armonică scalară este numită potențial scalar , în timp ce o funcție armonică vectorială este numită potențial vector .
Funcțiile armonice au o importanță deosebită în analiza complexă , deoarece dacă o funcție armonică definită într-un anumit spațiu este transformată cu o hartă conformală într-un alt spațiu, atunci această transformare este armonică. Din acest motiv, orice funcție definită cu un potențial poate suferi o transformare conformală și rămâne legată de un potențial.
Definiție
O functie {\ displaystyle f \ colon U \ to \ mathbb {R}} definit pe un domeniu {\ displaystyle U \ subset \ mathbb {R} ^ {n}} se spune armonic dacă este elegant {\ displaystyle C ^ {2}} și satisface ecuația Laplace : [1]
- {\ displaystyle \ nabla ^ {2} f (x) = \ sum _ {i = 1} ^ {n} {\ frac {\ partial ^ {2} f (x)} {\ partial x_ {i} ^ { 2}}} = 0.}
Pentru liniaritatea operatorului Laplace , suma a două funcții armonice și produsul acestora de către un scalar dau o altă funcție armonică.
De exemplu, funcția {\ displaystyle f (x, y) = e ^ {kx} \ sin (ky)} , definit pe orice deschidere de {\ displaystyle \ mathbb {R} ^ {2}} , este armonic. Intr-adevar:
- {\ displaystyle {\ frac {\ partial f (x, y)} {\ partial x}} = ke ^ {kx} \ sin (ky) \ qquad {\ frac {\ partial ^ {2} f (x, y )} {\ partial x ^ {2}}} = k ^ {2} \ sin (ky) e ^ {kx},}
- {\ displaystyle {\ frac {\ partial f (x, y)} {\ partial y}} = ke ^ {kx} \ cos (ky) \ qquad {\ frac {\ partial ^ {2} f (x, y )} {\ partial y ^ {2}}} = - k ^ {2} \ sin (ky) e ^ {kx},}
iar suma derivatelor secundare parțiale este întotdeauna zero.
Proprietățile valorii medii
Fiecare funcție armonică satisface proprietatea valorii medii . Configurați un domeniu {\ displaystyle U} și fie{\ displaystyle f \ în C ^ {2} (U)} o funcție armonică. Indica {\ displaystyle \ omega _ {n}} volumul sferei unitare în {\ displaystyle \ mathbb {R} ^ {n}} . Apoi pentru fiecare sferă de rază închisă {\ displaystyle R} și centru {\ displaystyle y} , cuprins în {\ displaystyle U} , notat cu{\ displaystyle B = {\ overline {B_ {R} (y)}}} , se menține următoarea egalitate:
- {\ displaystyle f (y) = {\ frac {1} {n \ omega _ {n} R ^ {n-1}}} \ oint _ {\ partial B} f (x) dx.}
În plus, se aplică și:
- {\ displaystyle f (y) = {\ frac {1} {\ omega _ {n} R ^ {n}}} \ int _ {B} f (x) dx.}
Demonstrație
Repara-l {\ displaystyle \ rho \ in (0, R)} . Aplicarea teoremei divergenței câmpului vectorial {\ displaystyle \ nabla f} primesti:
- {\ displaystyle \ oint _ {\ partial B _ {\ rho}} {\ frac {\ partial f (x)} {\ partial \ nu}} ds = \ int _ {B _ {\ rho}} \ nabla f (x) dx = 0.}
Trecând pe lângă coordonatele carteziene {\ displaystyle (x, y)} la cele polare {\ displaystyle (r, \ omega),} cu:
- {\ displaystyle r = | xy |, \ qquad \ omega = {\ frac {xy} {r}},}
da ai {\ displaystyle f (x) = f (y + r \ omega)} și apare:
- {\ displaystyle \ oint _ {\ partial B _ {\ rho}} f (x) ds = \ oint _ {\ partial B _ {\ rho}} f (y + r \ omega) ds.}
Prin calcularea integralei derivatei normale a {\ displaystyle f} și redimensionarea cu privire la {\ displaystyle \ omega} primesti:
- {\ displaystyle \ oint _ {\ partial B _ {\ rho}} {\ frac {\ partial f (y + r \ omega)} {\ partial \ nu}} ds = \ rho ^ {n-1} \ int _ {| \ omega | = 1} {\ frac {\ partial f (y + r \ omega)} {\ partial r}} d \ omega,}
și este posibil să se schimbe derivate și integrale:
- {\ displaystyle \ rho ^ {n-1} \ int _ {| \ omega | = 1} {\ frac {\ partial f (y + r \ omega)} {\ partial r}} d \ omega = \ rho ^ {n-1} {\ frac {\ partial} {\ partial \ rho}} \ int _ {| \ omega | = 1} f (y + r \ omega) d \ omega.}
Având în vedere integralul de suprafață:
- {\ displaystyle \ rho ^ {n-1} {\ frac {\ partial} {\ partial \ rho}} \ int _ {| \ omega | = 1} f (y + r \ omega) d \ omega = \ rho ^ {n-1} {\ frac {\ partial} {\ partial \ rho}} (\ rho ^ {1-n} \ oint _ {\ partial B _ {\ rho}} u (x) ds),}
rezultă că pentru fiecare {\ displaystyle \ rho} avem:
- {\ displaystyle \ rho ^ {1-n} \ int _ {\ partial B _ {\ rho}} f (x) ds = R ^ {1-n} \ int _ {\ partial B_ {R}} f ( x) ds,}
și trecerea limitei pentru {\ displaystyle \ rho \ to 0} se obține prima egalitate. Al doilea se obține prin integrarea în ceea ce privește {\ displaystyle \ rho} .
Principiul maximului
Principiul maximului afirmă că maxime și minime stricte ale unei funcții armonice, dacă există, sunt asumate la graniță. Mai exact, ia în considerare {\ displaystyle f: U \ to \ mathbb {R}} o funcție armonică, unde {\ displaystyle U} este un domeniu deschis și conectat al {\ displaystyle \ mathbb {R} ^ {n}} . Să presupunem că există {\ displaystyle x_ {0}} în {\ displaystyle U} astfel încât {\ displaystyle f (x) \ leq f (x_ {0})} pentru fiecare {\ displaystyle x \ în U} . Atunci {\ displaystyle f} este constantă.
Dovada utilizează proprietatea valorii medii. Este {\ displaystyle M: = \ sup f} și ia în considerare întregul {\ displaystyle U_ {M}: = f ^ {- 1} (M)} . Prin ipoteză, este ne-gol; mai mult, pentru continuitatea {\ displaystyle f} , este închis (în topologia indusă ) ca o imagine contrară a unui set închis. Având în vedere funcția {\ displaystyle fM} , este negativ și armonic: alegeți o minge {\ displaystyle B_ {R} (x_ {0}) \ subset U} de rază {\ displaystyle R} și aplicați proprietatea cu valoare medie la {\ displaystyle fM} . Primesti:
- {\ displaystyle 0 = f (x_ {0}) - M = {\ frac {1} {\ omega _ {n} R ^ {n}}} \ int _ {B_ {R} (x_ {0})} (f (x) -M) \, dx.}
Deoarece integrandul este non-pozitiv, egalitatea este satisfăcută dacă și numai dacă {\ displaystyle f (x) = M} în minge{\ displaystyle B_ {R} (x_ {0}).} Prin urmare {\ displaystyle B_ {R} (x_ {0}) \ subseteq U_ {M}} Și {\ displaystyle U_ {M}} este deschis în {\ displaystyle U} in aceea {\ displaystyle U_ {M} \ subseteq \ bigcup _ {x_ {0} \ in U_ {M}} B_ {R} (x_ {0}) \ subseteq U_ {M}} (adică {\ displaystyle U_ {M} = \ bigcup _ {x_ {0} \ in U_ {M}} B_ {R} (x_ {0})} , uniunea seturilor deschise). {\ displaystyle U_ {M}} este deci simultan deschis și închis în {\ displaystyle U} , dar de atunci {\ displaystyle U} este conectat, {\ displaystyle U} Și {\ displaystyle \ varnothing} sunt singurele subseturi deschise și închise. Urmează {\ displaystyle U_ {M} = U} .
Armonitatea funcțiilor analitice complexe
În cazul funcțiilor unei variabile complexe , conceptul de funcție armonică intră ca o teoremă particulară satisfăcută de funcțiile analitice . De fapt, să fie:
- {\ displaystyle f (x + iy) = \ omega (z) = u (x, y) + iv (x, y)}
o funcție analitică. Atunci lasă-l să fie acolo {\ displaystyle u (x, y)} Este acolo {\ displaystyle v (x, y)} sunt funcții armonice ale celor două variabile {\ displaystyle x} Și {\ displaystyle y} :
- {\ displaystyle {\ begin {cases} {\ frac {\ partial ^ {2} u (x, y)} {\ partial x ^ {2}}} + {\ frac {\ partial ^ {2} u (x , y)} {\ partial y ^ {2}}} = 0 \\ {\ frac {\ partial ^ {2} v (x, y)} {\ partial x ^ {2}}} + {\ frac { \ partial ^ {2} v (x, y)} {\ partial y ^ {2}}} = 0. \ end {cases}}}
De fapt, este suficient să calculăm a doua derivată a ecuațiilor Cauchy-Riemann și să le comparăm, amintindu-ne că:
- {\ displaystyle u_ {x} = v_ {y}, \ qquad u_ {y} = - v_ {x},}
avem:
- {\ displaystyle {\ begin {cases} u_ {xx} = v_ {yx} \\ u_ {xy} = v_ {yy} \\ u_ {yx} = - v_ {xx} \\ u_ {yy} = - v_ {xy}. \ end {cases}}}
Adăugând primul și ultimul și al doilea și al treilea și folosind teorema lui Schwarz cu privire la inversibilitatea derivatelor parțiale:
- {\ displaystyle {\ begin {cases} u_ {xx} + u_ {yy} = 0 \\ v_ {xx} + v_ {yy} = 0. \ end {cases}}}
Astfel, trebuie să dați două funcții {\ displaystyle u} Și {\ displaystyle v} armoniile într-un loc deschis {\ displaystyle D} care satisfac atunci condițiile Cauchy-Riemann {\ displaystyle v} se numește armonica conjugată a {\ displaystyle u} , dar inversul nu este adevărat. O consecință a acestei teoreme este că o funcție este analitică într-un set deschis {\ displaystyle D} a planului complex dacă și numai dacă {\ displaystyle v} este armonica conjugată a {\ displaystyle u} . Aceasta înseamnă că o funcție analitică poate fi construită pornind de la atribuirea părții sale reale {\ displaystyle u (x, y)} și obținerea unei părți imaginare la o constantă.
Pentru un exemplu despre cum se calculează armonica conjugată a unei funcții {\ displaystyle u (x, y)} ia în considerare funcția {\ displaystyle u (x, y) = y ^ {3} -3x ^ {2} y} . Această funcție este armonică deoarece:
- {\ displaystyle u_ {xx} + u_ {yy} = - 6y + 6y = 0.}
Dorind să găsim armonica conjugată {\ displaystyle v (x, y)} , folosind condițiile Cauchy-Riemann {\ displaystyle u_ {x} = v_ {y}} avem:
- {\ displaystyle u_ {x} = - 6xy = v_ {y}.}
Poate fi integrat {\ displaystyle v_ {y}} păstrând variabila fixă {\ displaystyle x} (considerându-l ca o constantă):
- {\ displaystyle v (x, y) = \ int -6xy \, dy = -3xy ^ {2} + \ phi (x),}
unde este {\ displaystyle \ phi (x)} este o funcție arbitrară dependentă de {\ displaystyle x} . Pentru a utiliza condiția Cauchy-Riemann {\ displaystyle u_ {y} = - v_ {x}} derivă {\ displaystyle v (x, y)} obținută prin integrare cu privire la {\ displaystyle x} :
- {\ displaystyle v_ {x} = - 3y ^ {2} + \ phi ^ {'} (x),}
iar derivata este calculată {\ displaystyle u_ {y}} din funcția de pornire:
- {\ displaystyle u_ {y} = 3y ^ {2} -3x ^ {2}.}
Prin echivalarea valorii {\ displaystyle \ phi (x)} :
- {\ displaystyle 3y ^ {2} -3x ^ {2} = 3y ^ {2} - \ phi ^ {'} (x) \; \ rightarrow \; \ phi ^ {'} (x) = 3x ^ {2 },}
din care prin integrare:
- {\ displaystyle \ phi (x) = x ^ {3} + C,}
unde este {\ displaystyle C} este constanta integrării. Prin urmare, avem:
- {\ displaystyle v (x, y) = - 3xy ^ {2} + x ^ {3} + C,}
adică armonica conjugată a {\ displaystyle u (x, y)} dacă nu o constantă {\ displaystyle C} Astfel funcția:
- {\ displaystyle f (z) = u (x, y) + iv (x, y) = (y ^ {3} -3x ^ {2} y) + i (x ^ {3} -3xy ^ {2} + C)}
este o funcție analitică egală cu {\ displaystyle f (z) = i (z ^ {3} + C)} .
Notă
Bibliografie
- ( EN ) Lawrence C. Evans, Ecuații diferențiale parțiale , American Mathematical Society, 1998, ISBN 0-8218-0772-2 .
- (RO) WE Byerly Harmonic functions , John Wiley & Sons, New York, 1906.
Elemente conexe
linkuri externe