The complex logarithm formula for a non-zero complex number z=x+iyz equals x plus i y π§=π₯+ππ¦ is given by:log(z)=ln|z|+iarg(z)=lnx2+y2+i(ΞΈ+2Οn)log z equals l n the absolute value of z end-absolute-value plus i arg z equals l n the square root of x squared plus y squared end-root plus i open paren theta plus 2 pi n close paren
log(π§)=ln|π§|+πarg(π§)=lnπ₯2+π¦2β+π(π+2ππ)
where:
-
ln|z|l n the absolute value of z end-absolute-value
ln|π§|
is the standard real-valued natural logarithm of the modulus (or magnitude) of zz
π§
.
-
arg(z)arg z
arg(π§)
is the multi-valued argument (or angle) of zz
π§
.
-
ΞΈtheta
π
is the principal value of the argument, typically restricted to the interval βΟ<ΞΈβ€Οnegative pi is less than theta is less than or equal to pi
βπ<πβ€π
.
-
nn
π
is any integer (n=0,Β±1,Β±2,β¦n equals 0 comma plus or minus 1 comma plus or minus 2 comma β¦
π=0,Β±1,Β±2,β¦
).
This multi-valued nature of the complex logarithm is a direct consequence of the periodic nature of the complex exponential function.
Why the logarithm is multi-valued
To understand why the complex logarithm has infinite possible values, consider the inverse relationship between the logarithm and the exponential function. For a complex number w=u+ivw equals u plus i v
π€=π’+ππ£
to be a logarithm of a non-zero complex number z=x+iyz equals x plus i y
π§=π₯+ππ¦
, it must satisfy ew=ze to the w-th power equals z
ππ€=π§
.
Using the properties of the complex exponential, we can write:ew=eu+iv=eueiv=eu(cosv+isinv)e to the w-th power equals e raised to the u plus i v power equals e to the u-th power e raised to the i v power equals e to the u-th power open paren cosine v plus i sine v close paren
ππ€=ππ’+ππ£=ππ’πππ£=ππ’(cosπ£+πsinπ£)
We also know that the complex number zz
π§
can be written in polar form as z=|z|(cosΞΈ+isinΞΈ)z equals the absolute value of z end-absolute-value open paren cosine theta plus i sine theta close paren
π§=|π§|(cosπ+πsinπ)
, where |z|=x2+y2the absolute value of z end-absolute-value equals the square root of x squared plus y squared end-root
|π§|=π₯2+π¦2β
and ΞΈ=arg(z)theta equals arg z
π=arg(π§)
.
By equating the two expressions for zz
π§
, we get:eu(cosv+isinv)=|z|(cosΞΈ+isinΞΈ)e to the u-th power open paren cosine v plus i sine v close paren equals the absolute value of z end-absolute-value open paren cosine theta plus i sine theta close paren
ππ’(cosπ£+πsinπ£)=|π§|(cosπ+πsinπ)
This implies that the magnitudes must be equal, and the arguments must be equivalent up to an integer multiple of 2Ο2 pi
2π
:eu=|z|βΉu=ln|z|e to the u-th power equals the absolute value of z end-absolute-value βΉ u equals l n the absolute value of z end-absolute-value
ππ’=|π§|βΉπ’=ln|π§|
v=ΞΈ+2Οnfor any integer nv equals theta plus 2 pi n space for any integer n
π£=π+2ππforanyintegerπ
This gives the multi-valued formula for the complex logarithm, w=u+ivw equals u plus i v
π€=π’+ππ£
:log(z)=ln|z|+i(ΞΈ+2Οn)log z equals l n the absolute value of z end-absolute-value plus i open paren theta plus 2 pi n close paren
log(π§)=ln|π§|+π(π+2ππ)
The principal value of the logarithm
To deal with the multi-valued nature of the complex logarithm, a single value is often selected, called the principal value, denoted by Log(z)cap L o g space open paren z close paren
Log(π§)
. This is achieved by restricting the argument to a specific interval. The standard choice for the principal value is to restrict the argument Arg(z)cap A r g space open paren z close paren
Arg(π§)
to the range (βΟ,Ο]open paren negative pi comma pi close bracket
(βπ,π]
.
The formula for the principal value of the complex logarithm is:Log(z)=ln|z|+iArg(z)where βΟ<Arg(z)β€Οcap L o g space open paren z close paren equals l n the absolute value of z end-absolute-value plus i space cap A r g space open paren z close paren space where minus pi is less than space cap A r g space open paren z close paren is less than or equal to pi
Log(π§)=ln|π§|+πArg(π§)whereβπ<Arg(π§)β€π
For example, for z=iz equals i
π§=π
, the polar form is i=1β eiΟ/2i equals 1 center dot e raised to the i pi / 2 power
π=1β πππ/2
. The modulus is |i|=1the absolute value of i end-absolute-value equals 1
|π|=1
and the principal argument is Arg(i)=Ο/2cap A r g space open paren i close paren equals pi / 2
Arg(π)=π/2
. Thus:Log(i)=ln(1)+i(Ο/2)=iΟ2cap L o g space open paren i close paren equals l n 1 plus i open paren pi / 2 close paren equals i the fraction with numerator pi and denominator 2 end-fraction
Log(π)=ln(1)+π(π/2)=ππ2
The set of all possible values for log(i)log i
log(π)
is i(Ο/2+2Οn)i open paren pi / 2 plus 2 pi n close paren
π(π/2+2ππ)
for integer nn
π
.
Branch cuts and branch points
The complex logarithm function is not continuous on the entire complex plane. For instance, the principal logarithm Log(z)cap L o g space open paren z close paren
Log(π§)
is discontinuous along the negative real axis. This is because as a point approaches the negative real axis from above, its argument approaches Οpi
π
. As it approaches from below, its argument approaches βΟnegative pi
βπ
. This abrupt jump of 2Ο2 pi
2π
in the imaginary part causes a discontinuity.
This line of discontinuity is called a branch cut. The point at the origin, z=0z equals 0
π§=0
, is called a branch point because any closed path around the origin will cause the value of the logarithm to change by a multiple of 2Οi2 pi i
2ππ
. Different branches of the logarithm can be defined by choosing different intervals for the argument, leading to different branch cuts.
Properties of the complex logarithm
The complex logarithm shares many properties with its real counterpart, but care must be taken due to its multi-valued nature.
-
Inverse Relationship: The fundamental property elog(z)=ze raised to the log z power equals z
πlog(π§)=π§
holds true for any branch of the logarithm. However, log(ez)=z+2Οinlog open paren e to the z-th power close paren equals z plus 2 pi i n
log(ππ§)=π§+2πππ
for some integer nn
π
, not necessarily just zz
π§
.
-
Multiplication: The rule log(z1z2)=log(z1)+log(z2)log open paren z sub 1 z sub 2 close paren equals log open paren z sub 1 close paren plus log open paren z sub 2 close paren
log(π§1π§2)=log(π§1)+log(π§2)
holds only up to an integer multiple of 2Οi2 pi i
2ππ
. This means that the principal value identity Log(z1z2)=Log(z1)+Log(z2)cap L o g space open paren z sub 1 z sub 2 close paren equals space cap L o g space open paren z sub 1 close paren plus space cap L o g space open paren z sub 2 close paren
Log(π§1π§2)=Log(π§1)+Log(π§2)
is not always true. For example, let z1=-1z sub 1 equals negative 1
π§1=β1
and z2=-1z sub 2 equals negative 1
π§2=β1
.
-
Log(z1)=Log(-1)=ln(1)+iΟ=iΟcap L o g space open paren z sub 1 close paren equals space cap L o g space open paren negative 1 close paren equals l n 1 plus i pi equals i pi
Log(π§1)=Log(β1)=ln(1)+ππ=ππ
.
-
Log(z2)=Log(-1)=ln(1)+iΟ=iΟcap L o g space open paren z sub 2 close paren equals space cap L o g space open paren negative 1 close paren equals l n 1 plus i pi equals i pi
Log(π§2)=Log(β1)=ln(1)+ππ=ππ
.
-
Log(z1z2)=Log(1)=ln(1)+i(0)=0cap L o g space open paren z sub 1 z sub 2 close paren equals space cap L o g space open paren 1 close paren equals l n 1 plus i open paren 0 close paren equals 0
Log(π§1π§2)=Log(1)=ln(1)+π(0)=0
.
-
Here, Log(-1)+Log(-1)=iΟ+iΟ=2iΟcap L o g space open paren negative 1 close paren plus space cap L o g space open paren negative 1 close paren equals i pi plus i pi equals 2 i pi
Log(β1)+Log(β1)=ππ+ππ=2ππ
, which is not equal to Log(1)=0cap L o g space open paren 1 close paren equals 0
Log(1)=0
. The difference is 2Οi2 pi i
2ππ
.
-
-
Division: Similarly, log(z1/z2)=log(z1)βlog(z2)log open paren z sub 1 / z sub 2 close paren equals log open paren z sub 1 close paren minus log open paren z sub 2 close paren
log(π§1/π§2)=log(π§1)βlog(π§2)
also holds up to an integer multiple of 2Οi2 pi i
2ππ
.
-
Logarithm of a Complex Power: For zβ 0z is not equal to 0
π§β 0
and aβCa is an element of the complex numbers
πββ
, the complex power zaz to the a-th power
π§π
is defined as ealog(z)e raised to the a log z power
ππlog(π§)
. Because of the multi-valued nature of log(z)log z
log(π§)
, zaz to the a-th power
π§π
can also be multi-valued.
Applications
The complex logarithm is an essential concept in complex analysis with numerous applications:
-
Complex Exponentiation: It is used to define complex powers, such as aba to the b-th power
ππ
where both aa
π
and bb
π
are complex numbers.
-
Solving Equations: It allows for the solution of equations involving complex exponentials.
-
Mapping: The principal logarithm function Log(z)cap L o g space open paren z close paren
Log(π§)
maps the punctured complex plane (excluding the origin) to a horizontal strip in the complex plane. It's a conformal map, preserving angles between intersecting curves.
-
Inverse Laplace Transform: It is an essential tool in computing inverse Laplace transforms in certain contexts.
-
Inverse Trigonometric and Hyperbolic Functions: These functions can be expressed in terms of complex logarithms. For example:
-
arcsin(z)=βiLog(iz+1βz2)arc sine z equals negative i space cap L o g space open paren i z plus the square root of 1 minus z squared end-root close paren
arcsin(π§)=βπLog(ππ§+1βπ§2β)
-
arctan(z)=12iLog(1+iz1βiz)arc tangent z equals 1 over 2 i end-fraction space cap L o g space open paren the fraction with numerator 1 plus i z and denominator 1 minus i z end-fraction close paren
arctan(π§)=12πLog(1+ππ§1βππ§)
-
In conclusion, the complex logarithm is a generalization of the real logarithm that is a multi-valued function. Its formula, log(z)=ln|z|+iarg(z)log z equals l n the absolute value of z end-absolute-value plus i arg z
log(π§)=ln|π§|+πarg(π§)
, reveals its fundamental connection to the polar form of a complex number. To make it a single-valued function, a "branch" is selected by restricting the argument, leading to branch cuts and branch points. Understanding this function is vital for deeper work in complex analysis and related fields.