Doppelgangers

Algebra Level 4

Consider the function defined as p ( x ) = i = 1 n α i x β i p(x) = \sum_{i=1}^{n} \alpha_i x^{\beta_i} where, n n is a positive integer and α i , β i \alpha_i,\beta_i are real numbers.

Is it possible that a complex number z z and its complex conjugate z ˉ \bar{z} exists such that

0 = p ( z ) p ( z ˉ ) ? 0=p(z) \neq p(\bar{z}) ?

Yes, but only if some β i \beta_i are irrational No, not possible Yes

This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try refreshing the page, (b) enabling javascript if it is disabled on your browser and, finally, (c) loading the non-javascript version of this page . We're sorry about the hassle.

3 solutions

Let z = r e j θ z=re^{j\theta} . Then, z ˉ = r e j θ \bar{z}=re^{-j\theta} .

Thus, α i z β i \alpha_iz^{\beta_i} would be α i r β i e j β i θ \alpha_i r^{\beta_i} e^{j\beta_i\theta} . Similarly, α i z ˉ β i \alpha_i\bar{z}^{\beta_i} would be α i r β i e j β i θ \alpha_i r^{\beta_i} e^{-j\beta_i\theta} . Which is the complex conjugate of the former term.

Hence, p ( z ˉ ) p(\bar{z}) would be the complex conjugate of p ( z ) p(z) .

In other words, if p ( z ) = 0 p(z)=0 or even a real number, then p ( z ) = p ( z ˉ ) p(z)=p(\bar{z}) .

Therefore, no such case exists with 0 = p ( z ) p ( z ˉ ) 0=p(z)\neq p(\bar{z})

Thushar Mn
Dec 13, 2015

p(z)= 0,means 'z' is a solution of this polynomial... If 'z' is a solution to polynomial with real coefficients,then, "z conjugate" is also it's solution (it is a standard result)... :)

Note this isn't a polynomial as β \beta is not a natural number.

Manish Bhat - 5 years, 5 months ago

Thanks for putting in the effort to write up the solution. Unfortunately, it is incorrect because:

You made the assumption that we have a polynomial, namely that β \beta are non-negative integers. This need not be true.

Practice makes perfect!

Calvin Lin Staff - 4 years, 8 months ago
Mark Hennings
Sep 30, 2016

If the β i \beta_i are integers, such a z z cannot be found. If the β i \beta_i are not integers, then z z can be found, but we need to make a suitable definition of the functions z β z^\beta which does not using the principal branch. Cut the complex plane by removing the positive real axis, so that 0 < A r g ( z ) < 2 π 0 < \mathrm{Arg}(z) < 2\pi for all z z in the domain, and consider the function p ( w ) = w 1 2 + w 1 2 2 p(w) \; = \; w^{\frac12} + w^{-\frac12} - \sqrt{2} If we consider i = e 1 2 π i i=e^{\frac12\pi i} , then p ( i ) = 1 2 ( 1 + i ) + 1 2 ( 1 i ) 2 = 0 p(i) \; = \; \tfrac{1}{\sqrt{2}}(1+i) + \tfrac{1}{\sqrt{2}}(1-i) - \sqrt{2} = 0 but if we consider i = i = e 3 2 π i \overline{i}=-i=e^{\frac32\pi i} (this form is forced on us the but choice of domain!), so that ( i ) 1 2 = e 3 4 π i = 1 2 ( 1 + i ) (-i)^{\frac12} = e^{\frac34\pi i} = \tfrac{1}{\sqrt{2}}(-1+i) , we have p ( i ) = 1 2 ( 1 + i ) + 1 2 ( 1 i ) 2 = 2 2 p(-i) \;= \; \tfrac{1}{\sqrt{2}}(-1+i) + \tfrac{1}{\sqrt{2}}(-1-i) - \sqrt{2} \; = \; -2\sqrt{2} Since complex powers are multivalued, and the question does not specify the choice of domain to the principal branch, we can solve this problem for rational β i \beta_i .

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...