Conformal factor between Euclidean metric and metric on Poincaré Ball of arbitrary radius

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
0
down vote

favorite












Usually, a Poincaré Ball is given as the set
$
mathbbD^n = x in mathbbR^n :
$



Let $g_E,x$ be the Euclidean Riemannian metric induced at $x in mathbbR^n$ -- in that case, $g_E,x = I_n$ for all $x$(i.e. it can be represented as the identity matrix), so that the inner product in Euclidean space is just the normal Euclidean inner product we are used to (i.e. if $T_xmathbbR^N$ is the tangent space of $mathbbR^n$ at $x$, and $u,v$ are vectors in that tangent space, then our inner-product is just $g_E,x(u,v) = u^TI_nv = u^Tv = langle u,v rangle$).



The metric used in the Poincaré ball, $g_mathbbD^n$ is conformal to the Euclidean metric because it preserves angles. In other words, for some $x in mathbbD^n$, and some $u,v in T_xmathbbD^n$, we have that



$$
g_mathbbD^n,x(u,v) = lambda_x^2g_E,x(u,v)
$$
And that $lambda_x$ is called the conformal factor; for the Poincaré ball metric, it is
$$
lambda_x = frac2^2
$$



In my understanding, this conformal factor shows that in the Poincaré ball looks locally like $mathbbR^n$ near the origin and has similar distances, but that near the border, the distances become really huge for even small deviations in where $x$ is located.



This works for the unit Poincaré disk. What I am looking for is the conformal factor for the Poincaré disk of some radius $r > 0$ where $r$ is not necessarily equal to 1.



This particular Poincaré disk can be represented as
$$
mathbbD_r^n = x
$$
and in this case,



$$
g_mathbbD_r^n,x(u,v) = (lambda_x^r)^2g_E,x(u,v)
$$



What is $lambda_x^r$? My guess would be
$$
lambda_x^r = frac2^2
$$



Is this correct? And even if it is, can anybody explain why? An explanation of this would go a long way toward helping me to understand the Poincaré disk a lot better.







share|cite|improve this question
























    up vote
    0
    down vote

    favorite












    Usually, a Poincaré Ball is given as the set
    $
    mathbbD^n = x in mathbbR^n :
    $



    Let $g_E,x$ be the Euclidean Riemannian metric induced at $x in mathbbR^n$ -- in that case, $g_E,x = I_n$ for all $x$(i.e. it can be represented as the identity matrix), so that the inner product in Euclidean space is just the normal Euclidean inner product we are used to (i.e. if $T_xmathbbR^N$ is the tangent space of $mathbbR^n$ at $x$, and $u,v$ are vectors in that tangent space, then our inner-product is just $g_E,x(u,v) = u^TI_nv = u^Tv = langle u,v rangle$).



    The metric used in the Poincaré ball, $g_mathbbD^n$ is conformal to the Euclidean metric because it preserves angles. In other words, for some $x in mathbbD^n$, and some $u,v in T_xmathbbD^n$, we have that



    $$
    g_mathbbD^n,x(u,v) = lambda_x^2g_E,x(u,v)
    $$
    And that $lambda_x$ is called the conformal factor; for the Poincaré ball metric, it is
    $$
    lambda_x = frac2^2
    $$



    In my understanding, this conformal factor shows that in the Poincaré ball looks locally like $mathbbR^n$ near the origin and has similar distances, but that near the border, the distances become really huge for even small deviations in where $x$ is located.



    This works for the unit Poincaré disk. What I am looking for is the conformal factor for the Poincaré disk of some radius $r > 0$ where $r$ is not necessarily equal to 1.



    This particular Poincaré disk can be represented as
    $$
    mathbbD_r^n = x
    $$
    and in this case,



    $$
    g_mathbbD_r^n,x(u,v) = (lambda_x^r)^2g_E,x(u,v)
    $$



    What is $lambda_x^r$? My guess would be
    $$
    lambda_x^r = frac2^2
    $$



    Is this correct? And even if it is, can anybody explain why? An explanation of this would go a long way toward helping me to understand the Poincaré disk a lot better.







    share|cite|improve this question






















      up vote
      0
      down vote

      favorite









      up vote
      0
      down vote

      favorite











      Usually, a Poincaré Ball is given as the set
      $
      mathbbD^n = x in mathbbR^n :
      $



      Let $g_E,x$ be the Euclidean Riemannian metric induced at $x in mathbbR^n$ -- in that case, $g_E,x = I_n$ for all $x$(i.e. it can be represented as the identity matrix), so that the inner product in Euclidean space is just the normal Euclidean inner product we are used to (i.e. if $T_xmathbbR^N$ is the tangent space of $mathbbR^n$ at $x$, and $u,v$ are vectors in that tangent space, then our inner-product is just $g_E,x(u,v) = u^TI_nv = u^Tv = langle u,v rangle$).



      The metric used in the Poincaré ball, $g_mathbbD^n$ is conformal to the Euclidean metric because it preserves angles. In other words, for some $x in mathbbD^n$, and some $u,v in T_xmathbbD^n$, we have that



      $$
      g_mathbbD^n,x(u,v) = lambda_x^2g_E,x(u,v)
      $$
      And that $lambda_x$ is called the conformal factor; for the Poincaré ball metric, it is
      $$
      lambda_x = frac2^2
      $$



      In my understanding, this conformal factor shows that in the Poincaré ball looks locally like $mathbbR^n$ near the origin and has similar distances, but that near the border, the distances become really huge for even small deviations in where $x$ is located.



      This works for the unit Poincaré disk. What I am looking for is the conformal factor for the Poincaré disk of some radius $r > 0$ where $r$ is not necessarily equal to 1.



      This particular Poincaré disk can be represented as
      $$
      mathbbD_r^n = x
      $$
      and in this case,



      $$
      g_mathbbD_r^n,x(u,v) = (lambda_x^r)^2g_E,x(u,v)
      $$



      What is $lambda_x^r$? My guess would be
      $$
      lambda_x^r = frac2^2
      $$



      Is this correct? And even if it is, can anybody explain why? An explanation of this would go a long way toward helping me to understand the Poincaré disk a lot better.







      share|cite|improve this question












      Usually, a Poincaré Ball is given as the set
      $
      mathbbD^n = x in mathbbR^n :
      $



      Let $g_E,x$ be the Euclidean Riemannian metric induced at $x in mathbbR^n$ -- in that case, $g_E,x = I_n$ for all $x$(i.e. it can be represented as the identity matrix), so that the inner product in Euclidean space is just the normal Euclidean inner product we are used to (i.e. if $T_xmathbbR^N$ is the tangent space of $mathbbR^n$ at $x$, and $u,v$ are vectors in that tangent space, then our inner-product is just $g_E,x(u,v) = u^TI_nv = u^Tv = langle u,v rangle$).



      The metric used in the Poincaré ball, $g_mathbbD^n$ is conformal to the Euclidean metric because it preserves angles. In other words, for some $x in mathbbD^n$, and some $u,v in T_xmathbbD^n$, we have that



      $$
      g_mathbbD^n,x(u,v) = lambda_x^2g_E,x(u,v)
      $$
      And that $lambda_x$ is called the conformal factor; for the Poincaré ball metric, it is
      $$
      lambda_x = frac2^2
      $$



      In my understanding, this conformal factor shows that in the Poincaré ball looks locally like $mathbbR^n$ near the origin and has similar distances, but that near the border, the distances become really huge for even small deviations in where $x$ is located.



      This works for the unit Poincaré disk. What I am looking for is the conformal factor for the Poincaré disk of some radius $r > 0$ where $r$ is not necessarily equal to 1.



      This particular Poincaré disk can be represented as
      $$
      mathbbD_r^n = x
      $$
      and in this case,



      $$
      g_mathbbD_r^n,x(u,v) = (lambda_x^r)^2g_E,x(u,v)
      $$



      What is $lambda_x^r$? My guess would be
      $$
      lambda_x^r = frac2^2
      $$



      Is this correct? And even if it is, can anybody explain why? An explanation of this would go a long way toward helping me to understand the Poincaré disk a lot better.









      share|cite|improve this question











      share|cite|improve this question




      share|cite|improve this question










      asked Aug 14 at 3:33









      Marko

      257




      257




















          1 Answer
          1






          active

          oldest

          votes

















          up vote
          1
          down vote



          accepted










          An open ball of radius $r$ corresponds to $$lVert xrVert<r$$ or equivalently (for $r>0$) $$fraclVert xrVert^2r^2<1$$ not $$r,lVert xrVert^2<1$$ as you wrote it. In other words, wherever you use $lVert xrVert$ in the unit ball setup, you'd use $lVert xrVert/r$ in the arbitrary radius setup. Thus you'd have $$lambda_x^r=frac21-fraclVert xrVert^2r^2=frac2r^2r^2-lVert xrVert^2;.$$



          Note that as long as you still multiply this by $g_E,x$, you still get lengths which are scaled by a factor of $r$ compared to the unit ball. Which in turn means that the curvature of your hyperbolic plane will have a Gaussian curvature not of $-1$ but of $-frac1r^2$. If you want to have the standard $-1$ curvature, better use $$lambda_x^r=frac2rr^2-lVert xrVert^2$$ to correct for the scale inside $g_E,x$. But in that case you essentially have a unit ball model drawn at a larger scale, and the radius you used to draw it has no impact any more on the geometry within the model. Which might be desirable but might also make this consideration boring.






          share|cite|improve this answer




















          • Aha I see. But I could also cast it as $|x| < frac1r$ for $r > 0$ -- This is probably unnecessarily convoluted but, believe it or not, this is exactly how I was approaching the problem in my head. Thanks for the answer -- I need some time to grok it first, see if I have any more comments and then I will mark it as accepted if I have no more questions and it seems correct to me! :)
            – Marko
            Aug 17 at 2:33






          • 1




            @Marko: On a certain level, all variable names are just conventions, and you are free to change them however you like. On the other hand, certain symbols carry certain connotations, and $r$ is usually seen as the radius. If you want a symbol for the inverse radius, $k$ or $kappa$ tend to crop up, particularly when discussing curvatures. So I'd suggest you use on of these to avoid confusion.
            – MvG
            Aug 17 at 10:13










          Your Answer




          StackExchange.ifUsing("editor", function ()
          return StackExchange.using("mathjaxEditing", function ()
          StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix)
          StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
          );
          );
          , "mathjax-editing");

          StackExchange.ready(function()
          var channelOptions =
          tags: "".split(" "),
          id: "69"
          ;
          initTagRenderer("".split(" "), "".split(" "), channelOptions);

          StackExchange.using("externalEditor", function()
          // Have to fire editor after snippets, if snippets enabled
          if (StackExchange.settings.snippets.snippetsEnabled)
          StackExchange.using("snippets", function()
          createEditor();
          );

          else
          createEditor();

          );

          function createEditor()
          StackExchange.prepareEditor(
          heartbeatType: 'answer',
          convertImagesToLinks: true,
          noModals: false,
          showLowRepImageUploadWarning: true,
          reputationToPostImages: 10,
          bindNavPrevention: true,
          postfix: "",
          noCode: true, onDemand: true,
          discardSelector: ".discard-answer"
          ,immediatelyShowMarkdownHelp:true
          );



          );








           

          draft saved


          draft discarded


















          StackExchange.ready(
          function ()
          StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2882024%2fconformal-factor-between-euclidean-metric-and-metric-on-poincar%25c3%25a9-ball-of-arbitra%23new-answer', 'question_page');

          );

          Post as a guest






























          1 Answer
          1






          active

          oldest

          votes








          1 Answer
          1






          active

          oldest

          votes









          active

          oldest

          votes






          active

          oldest

          votes








          up vote
          1
          down vote



          accepted










          An open ball of radius $r$ corresponds to $$lVert xrVert<r$$ or equivalently (for $r>0$) $$fraclVert xrVert^2r^2<1$$ not $$r,lVert xrVert^2<1$$ as you wrote it. In other words, wherever you use $lVert xrVert$ in the unit ball setup, you'd use $lVert xrVert/r$ in the arbitrary radius setup. Thus you'd have $$lambda_x^r=frac21-fraclVert xrVert^2r^2=frac2r^2r^2-lVert xrVert^2;.$$



          Note that as long as you still multiply this by $g_E,x$, you still get lengths which are scaled by a factor of $r$ compared to the unit ball. Which in turn means that the curvature of your hyperbolic plane will have a Gaussian curvature not of $-1$ but of $-frac1r^2$. If you want to have the standard $-1$ curvature, better use $$lambda_x^r=frac2rr^2-lVert xrVert^2$$ to correct for the scale inside $g_E,x$. But in that case you essentially have a unit ball model drawn at a larger scale, and the radius you used to draw it has no impact any more on the geometry within the model. Which might be desirable but might also make this consideration boring.






          share|cite|improve this answer




















          • Aha I see. But I could also cast it as $|x| < frac1r$ for $r > 0$ -- This is probably unnecessarily convoluted but, believe it or not, this is exactly how I was approaching the problem in my head. Thanks for the answer -- I need some time to grok it first, see if I have any more comments and then I will mark it as accepted if I have no more questions and it seems correct to me! :)
            – Marko
            Aug 17 at 2:33






          • 1




            @Marko: On a certain level, all variable names are just conventions, and you are free to change them however you like. On the other hand, certain symbols carry certain connotations, and $r$ is usually seen as the radius. If you want a symbol for the inverse radius, $k$ or $kappa$ tend to crop up, particularly when discussing curvatures. So I'd suggest you use on of these to avoid confusion.
            – MvG
            Aug 17 at 10:13














          up vote
          1
          down vote



          accepted










          An open ball of radius $r$ corresponds to $$lVert xrVert<r$$ or equivalently (for $r>0$) $$fraclVert xrVert^2r^2<1$$ not $$r,lVert xrVert^2<1$$ as you wrote it. In other words, wherever you use $lVert xrVert$ in the unit ball setup, you'd use $lVert xrVert/r$ in the arbitrary radius setup. Thus you'd have $$lambda_x^r=frac21-fraclVert xrVert^2r^2=frac2r^2r^2-lVert xrVert^2;.$$



          Note that as long as you still multiply this by $g_E,x$, you still get lengths which are scaled by a factor of $r$ compared to the unit ball. Which in turn means that the curvature of your hyperbolic plane will have a Gaussian curvature not of $-1$ but of $-frac1r^2$. If you want to have the standard $-1$ curvature, better use $$lambda_x^r=frac2rr^2-lVert xrVert^2$$ to correct for the scale inside $g_E,x$. But in that case you essentially have a unit ball model drawn at a larger scale, and the radius you used to draw it has no impact any more on the geometry within the model. Which might be desirable but might also make this consideration boring.






          share|cite|improve this answer




















          • Aha I see. But I could also cast it as $|x| < frac1r$ for $r > 0$ -- This is probably unnecessarily convoluted but, believe it or not, this is exactly how I was approaching the problem in my head. Thanks for the answer -- I need some time to grok it first, see if I have any more comments and then I will mark it as accepted if I have no more questions and it seems correct to me! :)
            – Marko
            Aug 17 at 2:33






          • 1




            @Marko: On a certain level, all variable names are just conventions, and you are free to change them however you like. On the other hand, certain symbols carry certain connotations, and $r$ is usually seen as the radius. If you want a symbol for the inverse radius, $k$ or $kappa$ tend to crop up, particularly when discussing curvatures. So I'd suggest you use on of these to avoid confusion.
            – MvG
            Aug 17 at 10:13












          up vote
          1
          down vote



          accepted







          up vote
          1
          down vote



          accepted






          An open ball of radius $r$ corresponds to $$lVert xrVert<r$$ or equivalently (for $r>0$) $$fraclVert xrVert^2r^2<1$$ not $$r,lVert xrVert^2<1$$ as you wrote it. In other words, wherever you use $lVert xrVert$ in the unit ball setup, you'd use $lVert xrVert/r$ in the arbitrary radius setup. Thus you'd have $$lambda_x^r=frac21-fraclVert xrVert^2r^2=frac2r^2r^2-lVert xrVert^2;.$$



          Note that as long as you still multiply this by $g_E,x$, you still get lengths which are scaled by a factor of $r$ compared to the unit ball. Which in turn means that the curvature of your hyperbolic plane will have a Gaussian curvature not of $-1$ but of $-frac1r^2$. If you want to have the standard $-1$ curvature, better use $$lambda_x^r=frac2rr^2-lVert xrVert^2$$ to correct for the scale inside $g_E,x$. But in that case you essentially have a unit ball model drawn at a larger scale, and the radius you used to draw it has no impact any more on the geometry within the model. Which might be desirable but might also make this consideration boring.






          share|cite|improve this answer












          An open ball of radius $r$ corresponds to $$lVert xrVert<r$$ or equivalently (for $r>0$) $$fraclVert xrVert^2r^2<1$$ not $$r,lVert xrVert^2<1$$ as you wrote it. In other words, wherever you use $lVert xrVert$ in the unit ball setup, you'd use $lVert xrVert/r$ in the arbitrary radius setup. Thus you'd have $$lambda_x^r=frac21-fraclVert xrVert^2r^2=frac2r^2r^2-lVert xrVert^2;.$$



          Note that as long as you still multiply this by $g_E,x$, you still get lengths which are scaled by a factor of $r$ compared to the unit ball. Which in turn means that the curvature of your hyperbolic plane will have a Gaussian curvature not of $-1$ but of $-frac1r^2$. If you want to have the standard $-1$ curvature, better use $$lambda_x^r=frac2rr^2-lVert xrVert^2$$ to correct for the scale inside $g_E,x$. But in that case you essentially have a unit ball model drawn at a larger scale, and the radius you used to draw it has no impact any more on the geometry within the model. Which might be desirable but might also make this consideration boring.







          share|cite|improve this answer












          share|cite|improve this answer



          share|cite|improve this answer










          answered Aug 15 at 9:40









          MvG

          29.7k44597




          29.7k44597











          • Aha I see. But I could also cast it as $|x| < frac1r$ for $r > 0$ -- This is probably unnecessarily convoluted but, believe it or not, this is exactly how I was approaching the problem in my head. Thanks for the answer -- I need some time to grok it first, see if I have any more comments and then I will mark it as accepted if I have no more questions and it seems correct to me! :)
            – Marko
            Aug 17 at 2:33






          • 1




            @Marko: On a certain level, all variable names are just conventions, and you are free to change them however you like. On the other hand, certain symbols carry certain connotations, and $r$ is usually seen as the radius. If you want a symbol for the inverse radius, $k$ or $kappa$ tend to crop up, particularly when discussing curvatures. So I'd suggest you use on of these to avoid confusion.
            – MvG
            Aug 17 at 10:13
















          • Aha I see. But I could also cast it as $|x| < frac1r$ for $r > 0$ -- This is probably unnecessarily convoluted but, believe it or not, this is exactly how I was approaching the problem in my head. Thanks for the answer -- I need some time to grok it first, see if I have any more comments and then I will mark it as accepted if I have no more questions and it seems correct to me! :)
            – Marko
            Aug 17 at 2:33






          • 1




            @Marko: On a certain level, all variable names are just conventions, and you are free to change them however you like. On the other hand, certain symbols carry certain connotations, and $r$ is usually seen as the radius. If you want a symbol for the inverse radius, $k$ or $kappa$ tend to crop up, particularly when discussing curvatures. So I'd suggest you use on of these to avoid confusion.
            – MvG
            Aug 17 at 10:13















          Aha I see. But I could also cast it as $|x| < frac1r$ for $r > 0$ -- This is probably unnecessarily convoluted but, believe it or not, this is exactly how I was approaching the problem in my head. Thanks for the answer -- I need some time to grok it first, see if I have any more comments and then I will mark it as accepted if I have no more questions and it seems correct to me! :)
          – Marko
          Aug 17 at 2:33




          Aha I see. But I could also cast it as $|x| < frac1r$ for $r > 0$ -- This is probably unnecessarily convoluted but, believe it or not, this is exactly how I was approaching the problem in my head. Thanks for the answer -- I need some time to grok it first, see if I have any more comments and then I will mark it as accepted if I have no more questions and it seems correct to me! :)
          – Marko
          Aug 17 at 2:33




          1




          1




          @Marko: On a certain level, all variable names are just conventions, and you are free to change them however you like. On the other hand, certain symbols carry certain connotations, and $r$ is usually seen as the radius. If you want a symbol for the inverse radius, $k$ or $kappa$ tend to crop up, particularly when discussing curvatures. So I'd suggest you use on of these to avoid confusion.
          – MvG
          Aug 17 at 10:13




          @Marko: On a certain level, all variable names are just conventions, and you are free to change them however you like. On the other hand, certain symbols carry certain connotations, and $r$ is usually seen as the radius. If you want a symbol for the inverse radius, $k$ or $kappa$ tend to crop up, particularly when discussing curvatures. So I'd suggest you use on of these to avoid confusion.
          – MvG
          Aug 17 at 10:13












           

          draft saved


          draft discarded


























           


          draft saved


          draft discarded














          StackExchange.ready(
          function ()
          StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2882024%2fconformal-factor-between-euclidean-metric-and-metric-on-poincar%25c3%25a9-ball-of-arbitra%23new-answer', 'question_page');

          );

          Post as a guest













































































          這個網誌中的熱門文章

          tkz-euclide: tkzDrawCircle[R] not working

          How to combine Bézier curves to a surface?

          1st Magritte Awards