Skip to main content

Principal value









Principal value


From Wikipedia, the free encyclopedia

Jump to navigation
Jump to search







In complex analysis, the principal values of a multivalued function are the values along one chosen branch of that function, so that it is single-valued. The simplest case arises in taking the square root of a positive real number. For example, 4 has two square roots: 2 and –2; of these the positive root, 2, is considered the principal root and is denoted as 4.{displaystyle {sqrt {4}}.}{sqrt {4}}.




Contents






  • 1 Motivation


  • 2 General case


    • 2.1 Principal values of standard functions


      • 2.1.1 Logarithm function


      • 2.1.2 Square root


      • 2.1.3 Complex argument






  • 3 See also





Motivation[edit]


Consider the complex logarithm function log z. It is defined as the complex number w such that


ew=z{displaystyle e^{w}=z,!}e^{w}=z,!

Now, for example, say we wish to find log i. This means we want to solve


ew=i{displaystyle e^{w}=i,!}e^{w}=i,!

for w. Clearly iπ/2 is a solution. But is it the only solution?


Of course, there are other solutions, which is evidenced by considering the position of i in the complex plane and in particular its argument arg i. We can rotate counterclockwise π/2 radians from 1 to reach i initially, but if we rotate further another 2π we reach i again. So, we can conclude that i(π/2 + 2π) is also a solution for log i. It becomes clear that we can add any multiple of 2πi to our initial solution to obtain all values for log i.


But this has a consequence that may be surprising in comparison of real valued functions: log i does not have one definite value! For log z, we have


log⁡z=ln⁡|z|+i(arg z)=ln⁡|z|+i(Arg z+2πk){displaystyle log {z}=ln {|z|}+ileft(mathrm {arg} zright)=ln {|z|}+ileft(mathrm {Arg} z+2pi kright)}log {z}=ln {|z|}+ileft(mathrm {arg}  zright)=ln {|z|}+ileft(mathrm {Arg}  z+2pi kright)

for an integer k, where Arg z is the (principal) argument of z defined to lie in the interval (−π, π]{displaystyle (-pi , pi ]}(-pi , pi ]. Each value of k determines what is known as a branch (or sheet), a single-valued component of the multiple-valued log function.


The branch corresponding to k=0 is known as the principal branch, and along this branch, the values the function takes are known as the principal values.



General case[edit]


In general, if f(z) is multiple-valued, the principal branch of f is denoted


pv f(z){displaystyle mathrm {pv} f(z)}mathrm {pv}  f(z)

such that for z in the domain of f, pv f(z) is single-valued.



Principal values of standard functions[edit]


Complex valued elementary functions can be multiple valued over some domains. The principal value of some of these functions can be obtained by decomposing the function into simpler ones whereby the principal value of the simple functions are straightforward to obtain.



Logarithm function[edit]


We have examined the logarithm function above, i.e.,


log⁡z=ln⁡|z|+i(arg z).{displaystyle log {z}=ln {|z|}+ileft(mathrm {arg} zright).}log {z}=ln {|z|}+ileft(mathrm {arg}  zright).

Now, arg z is intrinsically multivalued. One often defines the argument of some complex number to be between -π (exclusive) and π (inclusive), so we take this to be the principal value of the argument, and we write the argument function on this branch Arg z (with the leading capital A). Using Arg z instead of arg z, we obtain the principal value of the logarithm, and we write


pv log⁡z=Log z=ln⁡|z|+i(Arg z).{displaystyle mathrm {pv} log {z}=mathrm {Log} z=ln {|z|}+ileft(mathrm {Arg} zright).}mathrm {pv}  log {z}=mathrm {Log}  z=ln {|z|}+ileft(mathrm {Arg}  zright).


Square root[edit]


For a complex number z=reϕi{displaystyle z=re^{phi i},}z=re^{phi i}, the principal value of the square root is:


pvz=reiϕ/2{displaystyle mathrm {pv} {sqrt {z}}={sqrt {r}},e^{iphi /2}}mathrm {pv} {sqrt {z}}={sqrt {r}},e^{iphi /2}

with argument ππ{displaystyle -pi <phi leq pi ,}-pi <phi leq pi ,



Complex argument[edit]




comparison of atan and atan2 functions


The principal value of complex number argument measured in radians can be defined as:



  • values in the range [0, 2π)

  • values in the range (-π, π].


To compute these values one can use functions :




  • atan2 with principal value in the range (-π, π]


  • atan with principal value in the range (-π/2, π/2]



See also[edit]



  • Principal branch

  • Branch point






Retrieved from "https://en.wikipedia.org/w/index.php?title=Principal_value&oldid=789119558"





Navigation menu

























(window.RLQ=window.RLQ||).push(function(){mw.config.set({"wgPageParseReport":{"limitreport":{"cputime":"0.084","walltime":"0.204","ppvisitednodes":{"value":173,"limit":1000000},"ppgeneratednodes":{"value":0,"limit":1500000},"postexpandincludesize":{"value":4383,"limit":2097152},"templateargumentsize":{"value":13,"limit":2097152},"expansiondepth":{"value":6,"limit":40},"expensivefunctioncount":{"value":1,"limit":500},"unstrip-depth":{"value":0,"limit":20},"unstrip-size":{"value":396,"limit":5000000},"entityaccesscount":{"value":0,"limit":400},"timingprofile":["100.00% 70.951 1 -total"," 59.84% 42.458 1 Template:Unreferenced"," 50.51% 35.838 1 Template:Ambox"," 40.03% 28.403 1 Template:For"]},"scribunto":{"limitreport-timeusage":{"value":"0.024","limit":"10.000"},"limitreport-memusage":{"value":880517,"limit":52428800}},"cachereport":{"origin":"mw1248","timestamp":"20181129122035","ttl":1900800,"transientcontent":false}}});});{"@context":"https://schema.org","@type":"Article","name":"Principal value","url":"https://en.wikipedia.org/wiki/Principal_value","sameAs":"http://www.wikidata.org/entity/Q6126499","mainEntity":"http://www.wikidata.org/entity/Q6126499","author":{"@type":"Organization","name":"Contributors to Wikimedia projects"},"publisher":{"@type":"Organization","name":"Wikimedia Foundation, Inc.","logo":{"@type":"ImageObject","url":"https://www.wikimedia.org/static/images/wmf-hor-googpub.png"}},"datePublished":"2003-12-19T19:23:41Z","dateModified":"2017-07-05T13:21:13Z"}(window.RLQ=window.RLQ||).push(function(){mw.config.set({"wgBackendResponseTime":107,"wgHostname":"mw1256"});});

Popular posts from this blog

Florida Star v. B. J. F.

Danny Elfman

Retrieve a Users Dashboard in Tumblr with R and TumblR. Oauth Issues