De la Wikipedia, enciclopedia liberă.
Grafic de logaritm complex. Înălțimea descrie partea imaginară a logaritmului, în timp ce unghiul este determinat de culoare.
Logaritmul complex este o extensie a funcției logaritmului la câmpul numărului complex .
Pentru numerele reale avem următoarea relație:
- {\ displaystyle y = \ ln (x) \ Leftrightarrow x = e ^ {y} {\ text {con}} x \ in \ mathbb {R} ^ {+}, y \ in \ mathbb {R}.}
Această relație poate fi utilizată pentru a extinde logaritmul la câmpul complex:
- {\ displaystyle w = \ ln (z) \ Leftrightarrow z = e ^ {w} {\ text {con}} w, z \ in \ mathbb {C},}
cu singura condiție {\ displaystyle z \ neq 0} . Această ultimă relație permite obținerea unei expresii explicite pentru {\ displaystyle \ ln (z)} . Scris {\ displaystyle z} în formă exponențială
- {\ displaystyle z = \ rho e ^ {i \ theta},}
rezultă că
- {\ displaystyle \ rho e ^ {i \ theta} = z = e ^ {w} = e ^ {u + iv} = e ^ {u} \ cdot e ^ {iv},}
unde este {\ displaystyle u} Și {\ displaystyle v} ele reprezintă, respectiv, partea reală și imaginară a necunoscutului {\ displaystyle \ ln (z)} . Din lanțul anterior de egalități urmează următoarele relații care determină {\ displaystyle u} Și {\ displaystyle v} :
- {\ displaystyle | z | = \ rho = e ^ {u} \ Longrightarrow u = \ ln | z |}
- {\ displaystyle e ^ {i \ theta} = e ^ {iv} \ Longrightarrow v = \ arg (z)}
Apoi puteți scrie
- {\ displaystyle \ ln (z) = \ ln | z | + i \ arg (z).}
Observăm că logaritmul complex presupune valori infinite având în vedere că {\ displaystyle \ arg (z)} conține toate numerele de tip {\ displaystyle \ theta + 2k \ pi} , cu {\ displaystyle k \ in \ mathbb {Z}.} Din acest motiv nu este într-adevăr o funcție, ci așa-numita funcție polidrom .
Curiozități despre logaritmul complex
Reamintind identitatea lui Euler : {\ displaystyle e ^ {i \ pi} = - 1} , este ușor să obțineți o definiție curioasă, dar fascinantă {\ displaystyle \ pi} : aplicarea logaritmului avem de fapt:
- {\ displaystyle \ ln (e ^ {i \ pi}) = \ ln (-1)}
- {\ displaystyle i \ pi = \ ln (-1)}
- {\ displaystyle \ pi = {\ frac {\ ln (-1)} {i}}}
- {\ displaystyle \ pi = -i \ ln (-1).}
Numărul transcendent {\ displaystyle \ pi} este astfel descris în termeni de cantități complexe și logaritmi aparent imposibili. Pentru a explica singura imposibilitate aparentă a acestui lucru, putem aplica invers definiția logaritmului complex principal a {\ displaystyle -1} :
- {\ displaystyle \ ln (-1) = \ ln \ vert -1 \ vert + i \! {\ text {arg}} (- 1) = \ ln 1 + i \ pi = 0 + i \ pi = i \ pi}
și se obține din nou
- {\ displaystyle {\ frac {\ ln (-1)} {i}} = \ pi.}
Logaritmul principal
Pentru a considera logaritmul complex ca o funcție, este necesar să se definească valoarea sa principală :
- {\ displaystyle {\ text {Ln}} (z) = \ ln | z | + i \ arg (z) {\ mbox {con}} - \ pi <\ arg (z) <\ pi.}
Logaritmul principal este analitic despre orice {\ displaystyle \ mathbb {C}} excluzând originea (unde logaritmul nu este definit) și semiaxa reală negativă (unde argumentul are un salt de discontinuitate egal cu {\ displaystyle 2 \ pi} ).
Elemente conexe