Why these particular numerical factors in the definition of Gaussian curvature? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-24T23:43:18Z http://mathoverflow.net/feeds/question/9466 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/9466/why-these-particular-numerical-factors-in-the-definition-of-gaussian-curvature Why these particular numerical factors in the definition of Gaussian curvature? alext87 2009-12-21T09:33:22Z 2009-12-22T12:48:25Z <p>Wikipedia tells me that:</p> <p>Gaussian curvature is the limiting difference between the circumference of a geodesic circle and a circle in the plane:</p> <p>$K = \lim_{r \rightarrow 0} (2 \pi r - \mbox{C}(r)) \cdot \frac{3}{\pi r^3}$</p> <p>Gaussian curvature is the limiting difference between the area of a geodesic circle and a circle in the plane:</p> <p>$K = \lim_{r \rightarrow 0} (\pi r^2 - \mbox{A}(r)) \cdot \frac{12}{\pi r^4}$</p> <p>Can anyone explain to me why we are dividing by the factors $\frac{3}{\pi r^3}$ and $\frac{12}{\pi r^4}$ respectively? I don't understand why we are dividing by these particular factors? </p> http://mathoverflow.net/questions/9466/why-these-particular-numerical-factors-in-the-definition-of-gaussian-curvature/9467#9467 Answer by Joel Fine for Why these particular numerical factors in the definition of Gaussian curvature? Joel Fine 2009-12-21T10:21:00Z 2009-12-22T12:48:25Z <p>First, I guess it should say "geodesic disc" rather than "circle". At least to me, a geodesic circle is a closed geodesic loop in your surface, whereas a geodesic disc of radius r is all the points distance r from a fixed point (at least for r smaller than the injectivity radius). Note the boundary of a geodesic disc is <i>not</i> a geodesic. </p> <p>As for the factors in those formulae, well, there's no absolute scale for Gaussian curvature. People have just agreed on the convention that the curvature of the unit sphere should be 1. (<b>EDIT:</b> As Greg Kuperberg points out in his answer, there are some good reasons for this convention. E.g., Gauss-Bonnet.) That then forces those factors to be what they are. It amounts to the statement that, for a small geodesic disc on the unit sphere of radius r , $$C(r) \sim 2\pi\left( r - \frac{1}{6} r^3\right),$$ and a similar formula for the area. There really is no deeper reason than that.</p> <p>So, to see if the factors are right (and you should never trust what you read on the internet!) I would suggest doing exactly those calculations for the unit sphere. I've checked the first formula involving the circumference and it looks good to me. If you have problems with the calculation, leave a comment and I'll write my version down for you, but I have a feeling it's best to do these things yourself.</p> http://mathoverflow.net/questions/9466/why-these-particular-numerical-factors-in-the-definition-of-gaussian-curvature/9500#9500 Answer by Greg Kuperberg for Why these particular numerical factors in the definition of Gaussian curvature? Greg Kuperberg 2009-12-21T19:14:54Z 2009-12-21T19:14:54Z <p>Joel is right that it is partly just a convention to scale Gaussian curvature so that the curvature of a unit sphere is $1$. However, there are three natural motivations for this scale besides matching 1 to 1 in the case of a sphere.</p> <p>First, Gauss defined his curvature as the product of the extrinsic curvatures of a surface in $\mathbb{R}^3$. So there is a coefficient of 1 in this natural formula.</p> <p>Second, the unit sphere has the property that the deviation from Euclid's parallel postulate has a factor of 1. In other words, the area $A$ of a triangle with angles $\alpha, \beta, \gamma$ is $\alpha + \beta + \gamma - \pi$. In general, if you have a very small triangle with area $A$ at a point of local curvature $K$, its angle deviation is $KA$ to first order. This factor of 1 leads to a factor of $2\pi$ in the Gauss-Bonnet theorem, that the integral of Gaussian curvature is $2\pi \chi$.</p> <p>Third, Gaussian curvature is the ratio of the Ricci curvature tensor to the metric, and it is also half of the scalar curvature.</p> <p>In comparing these formulas, the most reasonable scales for Gaussian curvature are the standard choice, the standard choice times 2 to match scalar curvature, and the standard choice divided by $2\pi$ to match the Gauss-Bonnet theorem. The volume and area formulas are some justification for a 1/3 or a 1/12 or similar, but these are taken to be less fundamental scales.</p> <p>(One irony of the discussion is that $\pi$ itself is half of the most important value in trigonometry.)</p> <p>Also the volume and surface area ratios are given <a href="http://en.wikipedia.org/wiki/Scalar%5Fcurvature" rel="nofollow">in Wikipedia</a> in $n$ dimensions. It is also worth looking at the <a href="http://en.wikipedia.org/wiki/Generalized%5FGauss%25E2%2580%2593Bonnet%5Ftheorem" rel="nofollow">generalized Gauss-Bonnet theorem</a> in $2n$ dimensions.</p>