Local Gauss-Bonnet for a rectangle
$begingroup$
I'm trying to satisfy the local Gauss-Bonnet equation for the surface $R$ bounded by $u=A,u=B,v=a,v=b$ in the hyperbolic plane. However I am stuck.
I know that the equation of local Gauss-Bonnet is $int_{partial R} kappa_gds +int int _R KdA + sum epsilon_j = 2pi$ where $epsilon$ re presents the interior angles.
Now I know my shape is a square and in the hyperbolic plane hence $dA=sqrt{EG-F}= frac{1}{v^2}$ and $K=-1$.
So $int int _R KdA = -int_a^bint_A^Bfrac{1}{v^2}dudv = (B-A)(frac{1}{b}-frac{1}{a})$.
And $kappa_g$ for the lines $v=a,v=b$ is $1$ and $-1$ respectively by direction. Therefore we would have that $int_{partial R} kappa_gds = int_A^Bds-int_A^Bds =0$.
However then $sum epsilon_j= 4frac{pi}{2}=2pi$. However this doesnt satisfy local Gauss-Bonnet since $int_{partial R} kappa_gds +int int _R KdA + sum epsilon_j = (B-A)(frac{1}{b}-frac{1}{a}) +2pi$ so I'm not sure where went wrong.
geometry differential-geometry hyperbolic-geometry
$endgroup$
add a comment |
$begingroup$
I'm trying to satisfy the local Gauss-Bonnet equation for the surface $R$ bounded by $u=A,u=B,v=a,v=b$ in the hyperbolic plane. However I am stuck.
I know that the equation of local Gauss-Bonnet is $int_{partial R} kappa_gds +int int _R KdA + sum epsilon_j = 2pi$ where $epsilon$ re presents the interior angles.
Now I know my shape is a square and in the hyperbolic plane hence $dA=sqrt{EG-F}= frac{1}{v^2}$ and $K=-1$.
So $int int _R KdA = -int_a^bint_A^Bfrac{1}{v^2}dudv = (B-A)(frac{1}{b}-frac{1}{a})$.
And $kappa_g$ for the lines $v=a,v=b$ is $1$ and $-1$ respectively by direction. Therefore we would have that $int_{partial R} kappa_gds = int_A^Bds-int_A^Bds =0$.
However then $sum epsilon_j= 4frac{pi}{2}=2pi$. However this doesnt satisfy local Gauss-Bonnet since $int_{partial R} kappa_gds +int int _R KdA + sum epsilon_j = (B-A)(frac{1}{b}-frac{1}{a}) +2pi$ so I'm not sure where went wrong.
geometry differential-geometry hyperbolic-geometry
$endgroup$
$begingroup$
Hmm, this question looks familiar. You have $ds$ wrong when you're doing the $int kappa_g,ds$ computations.
$endgroup$
– Ted Shifrin
Nov 29 '18 at 0:25
add a comment |
$begingroup$
I'm trying to satisfy the local Gauss-Bonnet equation for the surface $R$ bounded by $u=A,u=B,v=a,v=b$ in the hyperbolic plane. However I am stuck.
I know that the equation of local Gauss-Bonnet is $int_{partial R} kappa_gds +int int _R KdA + sum epsilon_j = 2pi$ where $epsilon$ re presents the interior angles.
Now I know my shape is a square and in the hyperbolic plane hence $dA=sqrt{EG-F}= frac{1}{v^2}$ and $K=-1$.
So $int int _R KdA = -int_a^bint_A^Bfrac{1}{v^2}dudv = (B-A)(frac{1}{b}-frac{1}{a})$.
And $kappa_g$ for the lines $v=a,v=b$ is $1$ and $-1$ respectively by direction. Therefore we would have that $int_{partial R} kappa_gds = int_A^Bds-int_A^Bds =0$.
However then $sum epsilon_j= 4frac{pi}{2}=2pi$. However this doesnt satisfy local Gauss-Bonnet since $int_{partial R} kappa_gds +int int _R KdA + sum epsilon_j = (B-A)(frac{1}{b}-frac{1}{a}) +2pi$ so I'm not sure where went wrong.
geometry differential-geometry hyperbolic-geometry
$endgroup$
I'm trying to satisfy the local Gauss-Bonnet equation for the surface $R$ bounded by $u=A,u=B,v=a,v=b$ in the hyperbolic plane. However I am stuck.
I know that the equation of local Gauss-Bonnet is $int_{partial R} kappa_gds +int int _R KdA + sum epsilon_j = 2pi$ where $epsilon$ re presents the interior angles.
Now I know my shape is a square and in the hyperbolic plane hence $dA=sqrt{EG-F}= frac{1}{v^2}$ and $K=-1$.
So $int int _R KdA = -int_a^bint_A^Bfrac{1}{v^2}dudv = (B-A)(frac{1}{b}-frac{1}{a})$.
And $kappa_g$ for the lines $v=a,v=b$ is $1$ and $-1$ respectively by direction. Therefore we would have that $int_{partial R} kappa_gds = int_A^Bds-int_A^Bds =0$.
However then $sum epsilon_j= 4frac{pi}{2}=2pi$. However this doesnt satisfy local Gauss-Bonnet since $int_{partial R} kappa_gds +int int _R KdA + sum epsilon_j = (B-A)(frac{1}{b}-frac{1}{a}) +2pi$ so I'm not sure where went wrong.
geometry differential-geometry hyperbolic-geometry
geometry differential-geometry hyperbolic-geometry
asked Nov 28 '18 at 18:20
SashaSasha
537
537
$begingroup$
Hmm, this question looks familiar. You have $ds$ wrong when you're doing the $int kappa_g,ds$ computations.
$endgroup$
– Ted Shifrin
Nov 29 '18 at 0:25
add a comment |
$begingroup$
Hmm, this question looks familiar. You have $ds$ wrong when you're doing the $int kappa_g,ds$ computations.
$endgroup$
– Ted Shifrin
Nov 29 '18 at 0:25
$begingroup$
Hmm, this question looks familiar. You have $ds$ wrong when you're doing the $int kappa_g,ds$ computations.
$endgroup$
– Ted Shifrin
Nov 29 '18 at 0:25
$begingroup$
Hmm, this question looks familiar. You have $ds$ wrong when you're doing the $int kappa_g,ds$ computations.
$endgroup$
– Ted Shifrin
Nov 29 '18 at 0:25
add a comment |
0
active
oldest
votes
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',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3017499%2flocal-gauss-bonnet-for-a-rectangle%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
0
active
oldest
votes
0
active
oldest
votes
active
oldest
votes
active
oldest
votes
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3017499%2flocal-gauss-bonnet-for-a-rectangle%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
$begingroup$
Hmm, this question looks familiar. You have $ds$ wrong when you're doing the $int kappa_g,ds$ computations.
$endgroup$
– Ted Shifrin
Nov 29 '18 at 0:25