Re: Simplification of complex expression



In article <1124894530.885572.182520@xxxxxxxxxxxxxxxxxxxxxxxxxxxx>,
akhmel@xxxxxxxxxxx writes:
>Suppose we have an expression,
>
>Sqrt[1-z1/z2]/Sqrt[z2-z1], where z1 and z2 are complex variables. Does
>there exist a formula for simplification of this expression? The result
>should be 1/Sqrt[z2] with plus or minus. So does there exist a formula
>to define this sign?
>..

To make sense of the question, one has to assume
that one of the two branches is favored above the
other, which I'll do for now defining that Sqrt[] is
the principal value such that the |arg(Sqrt[..])|<=pi/2.
To simplify matters write
Sqrt[1-z1/z2]*Sqrt[z2]=Sqrt[z2-z1]
by simple multiplication, up to the negative sign in question.
If the sum of the two arguments of the factors on the
left hand side is larger than pi/2 or less than -pi/2,
this would "push" the product into the wrong branch
and need an extra minus sign. This would mean
|arg(Sqrt[1-z1/z2])+arg(Sqrt[z2])|>=pi/2
The argument of the PV is half of the original one of
within the Sqrt[],
|arg(1-z1/z2)/2+arg(z2)/2|>=pi/2
|arg(1-z1/z2)+arg(z2)|>=pi
now the sum of the arguments is the argument of the product,
opposite way of using the first step,
|arg((1-z1/z2)*z2)|>=pi
|arg(z2-z1)|>=pi
so the additional sign is never there for this special
combination with this definition of the Sqrt[].
.



Relevant Pages

  • Re: Simplification of complex expression
    ... >>there exist a formula for simplification of this expression? ... which I'll do for now defining that Sqrt[] is ... > now the sum of the arguments is the argument of the product, ...
    (sci.math)
  • Re: Simplifying
    ... And arbitrarily large expressions can be multiplied, ... in simplification you are preferring a sum of basic ... Save other multiples for the end, ...
    (sci.math)
  • Re: Simplify infinite series with Sines???
    ... galathaea wrote: ... if you are looking at finite or infinite products ... Depending, of course, on your definition of "simplification." ... into a sum of 512 terms. ...
    (sci.math)
  • Re: Q - binomial theorem and complex numbers
    ... I knew that (I understand the binomial theorem and De Moivre's :-)), ... n/2 is a neat expression for the sum of x from 1 to n? ... is there a simplification of the summation I gave (or some ... There's the simple linear algorithm ^n = ...
    (sci.math)
  • Re: Simplify formula for iterative programming
    ... The question is then how this sum of distances varies as is ... constant spacing between the points) allows some ... simplification -- which I gather is not the case here. ...
    (comp.programming)

Loading