Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Given n points on the unit circle

  1. Jul 23, 2005 #1
    Let a0, . . . , an be points on the unit circle. Show that there is some other point p on the unit circle such that the product of the distances from p to ai for i=0,...,n at least 1. (Hint: Maximum Modulus Principle)

    Maximum Modulus Principle: Let f be a nonconstant holomorphic function in the open connected subset G of C. Then absolute value of f does not attain a local maximum.

    Man, I'm so stuck on this problem. I can't seem to figure out how the maximum modulus principle relates to the problem. Besides, the problem is asking me to find the lower bound for the product whereas the the maximum modulus principle states that there is no upper bound. I'm so confused.

    Anything would help from you geniuses out there: A hint or advice.

  2. jcsd
  3. Jul 23, 2005 #2

    matt grime

    User Avatar
    Science Advisor
    Homework Helper

    That is one statement of the maximum modulus principle, which can be restated in terms of closed sets. in this case it could be taken to mean that any holomorphic function on a closed disc attains it maximum absolute value on the boundary.

    What is the distance from p to the a_i? it is |p-a_i|, so we are looking at the product of these things so we want to consider the


    when x is inside (or on) the unit circle, now the maximum modulus principle tells us that |f(x)| is attained on the boundary, all we need do now is show that at some point in the interior |f(x)|=1 and we are done. obviously there is only one distinguished point in the interior of the disc....
  4. Jul 24, 2005 #3
    Interesting. Thanks for the insight, Matt.

    But just because a nonconstant holomorphic function doesn't attain a local maximum on an open disc, doesn't imply that it does on a closed disc. At least, I can't make that immediate connection.
  5. Jul 24, 2005 #4

    matt grime

    User Avatar
    Science Advisor
    Homework Helper

    the maximum modulus principle simply states that on a closed bound set such as the disc that the maximum occurs on the boudnary exactyl because there are no local maxima on the interior:

    a holomorphic function is continuous, thus |f(x)| is continuousand hence on any compact set (closed and bounded) |f| is bounded and attains its bounds, it cannot happen on the interior by the maximum modulus principle so it happens on the boundary.

    i am not claiming a local maximum (ie a turning point) on the boundary (it may not even be defined outside the boundary) but a global maxmium on the closed set.
    Last edited: Jul 24, 2005
  6. Jul 24, 2005 #5
    What about this though: Consider the holomorphic function f(x) = -(X-2)(X-3) which achieves a global maximum somewhere between 2 and 3. Now define this function on the interval [2,3]. |f(x)| doesn't achieve its maximum on the boundary.

    Once again, thanks for your insights, Matt. They've been very help thus far.
  7. Jul 24, 2005 #6

    matt grime

    User Avatar
    Science Advisor
    Homework Helper

    Does it? I don't think it does, since we are talking about functions defined on the complex plane. And anyway, we are talking about the abs value anyway.

    but we aren't talking about f as a function on a subset of C with the boundary taken there, are we? Remember we are talking about discs in the complex plane and their boundaries.
  8. Jul 25, 2005 #7
    Oh, I see. They have to be discs. Cause [2,3] is still a subset of C.
  9. Jul 25, 2005 #8

    matt grime

    User Avatar
    Science Advisor
    Homework Helper

    They don't have to be discs, but i was sticking to them since they are easiest to decribe. THis result remains true under more general circumstances since the maximum moduls principle apples to any open connected subset of C, so as long as we are dealing with the closure of an open connected subset of C the maxmimum cannot occur on the open subset but on its boundary.
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?

Similar Discussions: Given n points on the unit circle
  1. Given lim x_m=n . . . (Replies: 4)

  2. The Unit Circle (Replies: 12)