Results 1 to 8 of 8

Math Help - Mobius-induced inequality on the unit disk.

  1. #1
    Newbie
    Joined
    Sep 2009
    Posts
    11

    Mobius-induced inequality on the unit disk.

    I need to prove that, for r ∈ (0, 1) and z in the unit disk:

    |(z - r) / (1 - rz)| ≤ |z| + r

    Even the smallest hint will be greatly appreciated! Thanks guys.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Senior Member MacstersUndead's Avatar
    Joined
    Jan 2009
    Posts
    291
    Thanks
    32
    Quote Originally Posted by subfallen View Post
    I need to prove that, for r ∈ (0, 1) and z in the unit disk:

    |(z - r) / (1 - rz)| ≤ |z| + r

    Even the smallest hint will be greatly appreciated! Thanks guys.
    Use the Triangle Inequality.

    | (z - r) / (1 - rz) | = | z / (1 - rz) - r / (1 - rz) | ≤ | z / (1 - rz)| + |(-r)/(1-rz)| ...
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Newbie
    Joined
    Sep 2009
    Posts
    11
    Hi MacstersUndead,

    I've tried that for hours on end, but can never make it work. For if Re(z) > 0 then |1 - rz| < 1, and |z / (1 - rz)| > |z|.

    (|z| + r) seems to be an extremely tight bound on the LHS; every time I try to use a basic inequality, it blows up in my face. :/
    Follow Math Help Forum on Facebook and Google+

  4. #4
    Newbie
    Joined
    Sep 2009
    Posts
    11
    I can't even prove the inequality when it's restricted to a, b ∈ (0, 1):
    |(a - b)/(1 - ab)| ≤ a + b
    It seems there must be a way to turn the LHS into the form:
    |X(a + b)|
    where |X| ≤ 1. Otherwise I just can't imagine how it can be done. :/
    Follow Math Help Forum on Facebook and Google+

  5. #5
    Senior Member MacstersUndead's Avatar
    Joined
    Jan 2009
    Posts
    291
    Thanks
    32
    hmm... so either the Triangle Inequality is not the right approximation for this problem or it is the case that the LHS is greater than or equal to RHS.
    Follow Math Help Forum on Facebook and Google+

  6. #6
    Newbie
    Joined
    Sep 2009
    Posts
    11
    Suppose we use the notation ϕr(z) = (z-r) / (1-rz). Then it is a fact from complex analysis that:
    arctanh|ϕr(z)| ≤ arctanh|z| + arctanh|r|
    (This holds because Mobius transformations are isometries of the disk under the Poincaré metric.) Do you have any idea how to go from that inequality to the one desired in my original post?
    r(z)| ≤ |z| + r
    Follow Math Help Forum on Facebook and Google+

  7. #7
    Senior Member MacstersUndead's Avatar
    Joined
    Jan 2009
    Posts
    291
    Thanks
    32
    I'm sorry, in that aspect I cannot help you. I'm not at a high level of mathematics yet; I'm in Analysis I.

    However, this looks a lot like...
    what do we know about inverse hyperbolic tan?
    is it a function such that f(a+b) = f(a) + f(b)?

    In that case tanh-1|z| + tanh-1r = tanh-1(|z| + r)

    so then
    tanh-1|ϕr(z)| ≤ tanh-1(|z| + r)

    so it follows that
    |ϕr(z)| ≤ |z| + r
    Follow Math Help Forum on Facebook and Google+

  8. #8
    Newbie
    Joined
    Sep 2009
    Posts
    11
    Well, if we can show that:
    [1] a ≤ b implies tanh(a) ≤ tanh(b)
    [2] tanh(a + b) ≤ tanh(a) + tanh(b)
    for a, b ∈ (0, 1) then we can just take tanh of both sides of the inequality
    arctanh|ϕr(z)| ≤ arctanh|z| + arctanh|r|
    and we'll be done. Clearly #1 holds (a graph here: Hyperbolic Tangent -- from Wolfram MathWorld). But I'm not sure about #2. Hmm...maybe I'll try to talk to a teacher. Meh. This problem is breaking my will to live.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Analytic Function in the Unit Disk
    Posted in the Differential Geometry Forum
    Replies: 1
    Last Post: November 8th 2011, 06:36 AM
  2. [SOLVED] Area of a holomorphic function's range on the unit disk
    Posted in the Differential Geometry Forum
    Replies: 4
    Last Post: March 14th 2011, 11:45 AM
  3. fixed points of sin in the complex unit disk
    Posted in the Differential Geometry Forum
    Replies: 3
    Last Post: January 24th 2011, 10:22 AM
  4. Connected Unit Disk
    Posted in the Math Challenge Problems Forum
    Replies: 9
    Last Post: April 29th 2010, 08:16 PM
  5. conformal map, unit disk
    Posted in the Differential Geometry Forum
    Replies: 1
    Last Post: March 6th 2010, 02:33 PM

Search Tags


/mathhelpforum @mathhelpforum