查看“︁曲率”︁的源代码

{{微積分學}}
在数学中，'''{{zy|曲|qū|ㄑㄩ}}率'''（{{lang-en|curvature}}）即“弯曲度”<ref>{{Cite web |url=https://www.termonline.cn/search?k=curvature |title=存档副本 |access-date=2023-02-19 |archive-date=2023-02-19 |archive-url=https://web.archive.org/web/20230219035811/https://www.termonline.cn/search?k=curvature |dead-url=no }}</ref>，是描述[[几何体]]弯曲程度的量；直观地说，曲率是[[曲线]]偏离[[直线]]的[[量 (数学)|量]]（程度），或是[[曲面]]偏离[[平面 (数学)|平面]]的量（程度）。

在不同的[[几何学]]领域中，曲率的具体定义不完全相同。曲率可分为'''外在曲率'''和'''内蕴曲率'''，二者有重要的区别。前者的定义需要把几何体嵌入到[[欧几里得空间|欧氏空间]]中，后者则是直接定义在[[黎曼流形]]上。

曲线的曲率通常是[[标量 (数学)|标量]]，但也可以定义[[曲率向量]]。对于更复杂的对象{{notetag|例如曲面，或者一般的n维空间}}，曲率要用更复杂的[[线性代数]]来描述，例如一般的[[黎曼曲率張量|黎曼曲率张量]]。{{notetag|本文主要介绍外在曲率的数学框架，包括平面曲线的曲率与欧氏空间中曲面的曲率。}}

== 平面曲线的曲率 ==
[[File:Osculating circle.svg|thumb|300px|right|曲线 C 在 P 点的密切圆和曲率半径]]

曲率有多种等价的定义

* 圆上每一点处的弯曲程度都相同，半径越小弯曲得越厉害，所以可以用半径的倒数来定量描述圆的弯曲程度。直线可以看作半径无限大的圆，所以直线的曲率为0。对于任意形状的曲线，每一点处的弯曲程度一般是不同的。对曲线<math>C</math>上任一点<math>P</math>，在其附近再找<math>C</math>上的两个点<math>P_1,P_2</math>，这三点总能确定一个圆（三点共线时确定一条直线，但可以把直线看作半径无限大的广义的圆）。当<math>P_1,P_2</math>无限接近于点<math>P</math>时，相应的圆也有一个极限，这个极限圆就是在点<math>P</math>处最接近曲线<math>C</math>的圆，称为密切圆。密切圆的曲率就是曲线<math>C</math>在点<math>P</math>处的曲率。
* [[奧古斯丁·路易·柯西|柯西]]这样定义密切圆和曲率：对曲线<math>C</math>上任一点<math>P</math>，在其附近再找<math>C</math>上的两个点<math>P_1,P_2</math>，分别过<math>P_1,P_2</math>作出曲线<math>C</math>的法线，两条法线会有一个交点。当<math>P_1,P_2</math>无限接近于点<math>P</math>时，相应的交点有一个极限，以这个极限点为圆心，过点<math>P</math>作圆，就是曲线<math>C</math>在点<math>P</math>处的密切圆，密切圆的半径的倒数就是曲率。
* 当曲线上一点沿着曲线以单位速率运动时，过这一点处的切线的方向在转动。曲线弯曲程度越高，切线旋转得越快。设曲线<math>C</math>的参数方程为<math>\boldsymbol{r}=\boldsymbol{r}(s)</math>，其中s是弧长参数。则<math>\boldsymbol{\alpha}(s)=\dot{\boldsymbol{r}}(s)</math>是单位切向量。设切向量<math>\boldsymbol{\alpha}(s)</math>与<math>\boldsymbol{\alpha}(s+\Delta s)</math>的夹角为<math>\Delta \theta</math>，则曲率<math>\kappa=|\dot{\boldsymbol{\alpha}}(s)|=\lim_{\Delta s\to 0}{\left|\frac{\Delta\theta}{\Delta s}\right|}.</math>

=== 局部表达式 ===

对于一个以参数化形式给出的平面曲线
由此可知，反函数的曲率与原函数相同（具有对称性）。<math>c(t) = (x(t),y(t))\,</math>，其曲率为  

:<math>\kappa= \frac{|x'(t)y''(t)-x''(t)y'(t)|}{(x'^2(t)+y'^2(t))^{3/2}}.</math>

=== 函数图像的曲率 ===
若曲線 <math> y = f(x)\,</math>，其曲率為

:<math>\kappa= \frac{|f''(x)|}{(1+f'^2(x))^{3/2}}.</math>

对于极坐标方程给出的曲线 <math>r=r(\theta)</math>，其曲率为

:<math>\kappa(\theta)=\frac{|r^2+2r'^2-rr''|}{(r^2+r'^2)^{3/2}}.</math>

=== 隐式方程曲线 ===
对于隐式给出的平面曲线 <math>F(x,y)=0\,</math>，其曲率为

:<math>\kappa = \frac{1}{(F_x^2+F_y^2)^{3/2}}\begin{vmatrix} F_{xx} & F_{xy} & F_x \\ F_{yx} & F_{yy} & F_y \\ F_x & F_y & 0\end{vmatrix}=\frac{-F_y^2F_{xx}+2F_xF_yF_{xy}-F_x^2F_{yy}}{(F_x^2+F_y^2)^{3/2}}.</math>

最后的公式也给出了在欧几里得空间中的[[超曲面]]的[[平均曲率]]（可以差一个[[常数]]）。

=== 範例 ===
考虑抛物线 <math>x^2=2py</math>。代入公式直接计算

:<math>\kappa(x)=\frac{p^2}{(p^2+x^2)^{3/2}}.</math>

在原点处取得最大曲率，相应的曲率半径就等于[[准焦距]] <math>p</math>。

频率比为 <math>3:2</math> 的[[利萨茹曲线|利萨如曲线]] <math>\gamma(t)=(\cos{3t},\sin{2t})</math>，其曲率为

:<math>k(t)=\frac{6\cos{t}(8\cos^4{t}-10\cos^2{t}+5)}{(232\cos^4{t}-97\cos^2{t}+13-144\cos^6{t})^{3/2}}.</math>

== 空间曲线的曲率 ==

=== 局部表达式 ===
对于一个以参数化形式给出的空间曲线<math>\boldsymbol{r}(t)=(x(t),y(t),z(t))\,</math>其曲率为

:<math>\kappa=\frac{|\boldsymbol{r}'\times\boldsymbol{r}''|}{|\boldsymbol{r}'|^3}=\frac{\sqrt{(z''y'-y''z')^2+(x''z'-z''x')^2+(y''x'-x''y')^2}}{(x'^2+y'^2+z'^2)^{3/2}}</math>

<math>\kappa=\frac{\sqrt{\det{(\boldsymbol{r}',\boldsymbol{r}'')^T(\boldsymbol{r}',\boldsymbol{r}'')}}}{|\boldsymbol{r}'|^3}=\frac{\sqrt{|\boldsymbol{r}'|^2|\boldsymbol{r}''|^2-(\boldsymbol{r}'\cdot\boldsymbol{r}'')^2}}{|\boldsymbol{r}'|^3}</math>

=== 用弧长和弦长计算曲率 ===
给定曲线<math>C</math>上的两点<math>P,Q</math><math>P,Q</math>两点之间的弧长为<math>s</math>，弦长为<math>d</math>。则曲线<math>C</math>在点<math>P</math>处的曲率

<math>\kappa=\lim_{Q\to P}{\sqrt{\frac{24(s-d)}{s^3}}}</math>

分子中的<math>s^3</math>也可以替换为<math>d^3</math>。这个公式对任意维空间中的曲线都成立。

== 曲面上曲线的曲率 ==
当曲线位于三维空间中的二维曲面上时，可以定义[[法曲率]]、[[测地曲率]]和[[测地挠率]]。设曲面上的曲线在某一点处的切向量为<math>\boldsymbol{\tau}</math>，曲面在这一点处的法向量为<math>\boldsymbol{n}</math>。则曲线的法曲率就是曲线在<math>\boldsymbol{\tau}</math>和<math>\boldsymbol{n}</math>张成的平面上的投影曲线的曲率；测地曲率就是曲线在曲面的切平面上的投影的曲率。

== 三维空间中的曲面曲率 ==

对于嵌入在[[欧几里得空间]]<math>\textbf{R}^3</math>中的二维曲面，有两种曲率存在：'''[[高斯曲率]]'''和'''[[平均曲率]]'''。为计算在曲面给定点的曲率，考虑曲面和由在该点的[[法向量]]和某一[[切向量]]所确定的平面的交集。这个交集是一个平面曲线，所以有一个曲率；如果选择其它切向量，这个曲率会改变，并且有两个极值-最大和最小曲率，称为'''[[主曲率]]'''<math>k_1</math>和<math>k_2</math>，极值方向称为'''主方向'''。这里我们采用在曲线向和曲面选定法向的相同方向绕转的时候把曲率置为[[正数]]，否则为负的约定。

=== 高斯曲率 ===
曲线没有内蕴的曲率，只有外在的曲率（即只有把曲线嵌入到具体的空间中才能定义曲率）。相比之下，曲面可以有不依赖于嵌入的内蕴曲率。高斯曲率，以[[高斯]]命名，等于主曲率的乘积<math>k_1k_2</math>''。''它的量纲为长度<sup>-2</sup>，对于[[球面]]、[[椭球]]、双叶双曲面的一叶、[[抛物面|椭圆抛物面]]为正，对于[[偽球面|伪球面]]、 单叶[[双曲面]]、[[抛物面|双曲抛物面]]为负，对[[平面 (数学)|平面]]、[[圆柱面]]为0。它决定了曲面是局部[[凸]]（正的时候）还是局部鞍形（负的时候）。

上面给出的高斯曲率的定义是外在的，因为它用了曲面在<math>\textbf{R}^3</math>中的嵌入，法向量，外部平面等等。但是高斯曲率实际上是曲面的内在属性，也就是它不依赖于曲面的特定[[嵌入]]；直观的讲，这意味着活在曲面上的蚂蚁可以确定高斯曲率。例如，生活在球面上的蚂蚁能够测量三角形的内角和，发现它大于180度，表明这个曲面是正曲率的。而生活在圆柱面上的蚂蚁则不会发现对[[欧几里得几何|欧氏几何]]的任何背离。

形式地说，高斯曲率只依赖于曲面的[[黎曼度量]]。这就是[[高斯]]著名的[[絕妙定理]]，在他研究地理测绘和地图制作时发现。

高斯曲率在一点<math>P</math>的内在定义的一种：想象把一只蚂蚁绑在一条长为<math>
r</math>的短线一端，线的另一端绑在<math>P</math>。这只蚂蚁在线拉直的时候绕''<math>P</math>''点跑并测量绕''<math>P</math>''点的一圈的周长<math>C(r)</math>。如果曲面是平的，则有<math>
C(r) = 2 \pi r</math>。在弯曲的曲面上，<math>C(r)</math>的公式不同，''<math>P</math>''点的高斯曲率<math>K</math>可以这样计算：

:<math>
K = \lim_{r \to 0^+}{(2\pi r  - C(r)) \cdot \frac{3}{\pi r^3}}.</math>

高斯曲率在整个曲面上的[[积分]]和曲面的[[欧拉示性数]]有密切关联；参见[[高斯-博内定理]]。

=== 平均曲率 ===
'''[[平均曲率]]'''等于主曲率的算术平均数<math>\frac{k_1 + k_2}{2}</math>。量纲为长度<sup>-1</sup>。平均曲率和曲面面积的第一变分密切相关。特别的，像肥皂膜这样的[[极小曲面]]平均曲率为0，而[[肥皂泡]]平均曲率为常数。不像高斯曲率，平均曲率依赖于嵌入，例如，[[圆柱]]和平面是局部[[等距]]的，但是平面的平均曲率为0，而圆柱的非零。

=== 第二基本形式 ===
曲面的外在曲率与内在曲率可以在第二基本形式中结合起来。用符号来表示

<math>
\mathrm{II}(\boldsymbol{x},\boldsymbol{x})=\boldsymbol{n}\cdot\nabla_\boldsymbol{x} \boldsymbol{x}</math>

其中<math>
\boldsymbol{n}</math>是曲面的单位法向量。对单位切向量<math>
\boldsymbol{x}</math>，第二基本形式分别在主方向<math>
\boldsymbol{u}_1,\boldsymbol{u}_2</math>处取得最大值<math>
k_1</math>与最小值<math>
k_2</math>。因此第二基本形式也可表示为

<math>
\mathrm{II}=k_1(\boldsymbol{x}\cdot\boldsymbol{u}_1)^2+k_2(\boldsymbol{x}\cdot\boldsymbol{u}_2)^2</math>

=== 形状算子 ===
形状算子是与曲率相关的一个概念，是切空间到自身的线性算子。主曲率是形状算子的特征值，事实上形状算子与第二基本形式关于切平面的一对正交基的矩阵表示相同。于是高斯曲率等于形状算子的行列式，而平均曲率等于形状算子的迹的一半。

== 空间的曲率 ==
{{see also|宇宙的形状}}
上文提到曲线没有内蕴曲率，而曲面则可以。更一般地，三维以上的空间都可以有内蕴曲率。曲率的内蕴定义与[[非欧几里得几何|非欧几何]]紧密相关，许多数学家与科学家怀疑实际的物理空间可能也是弯曲的。在描述[[引力]]和[[物理宇宙学|宇宙学]]的[[廣義相對論|广义相对论]]中，这个想法推广为“时空的弯曲”；在相对论中时空是[[伪黎曼流形]]。

尽管任意弯曲的空间的描述是很复杂的，局部[[各向同性]]和[[齐性空间|齐性]]的空间可以只用高斯曲率来描述，就像曲面那样；从数学上来说这些是很强的条件，但从物理上来说是合理的假设{{notetag|所有点和所有方向都不可区辨}}。正曲率对应曲率半径的倒数平方，例如球面或[[超球面]]。双曲几何是负曲率的弯曲空间的例子。零曲率的空间或时空称为'''平坦'''的。例如，欧氏空间是平坦的空间，而[[閔考斯基時空|闵可夫斯基空间]]是平坦的时空。可以给[[环面]]和圆柱面赋予平坦的度量，但它们的拓扑是不同的。

==注释==
{{notefoot}}

== 另见 ==

* [[曲率形式]] 包含对于有[[联络]]的[[向量丛]]和[[主丛]]的曲率的正确描述。
* [[黎曼流形曲率]] 有高斯曲率在高维[[黎曼流形]]上的推广。
* [[曲率向量]]和[[测地曲率]] 黎曼曲面上的曲线的曲率的描述。
* [[高斯-博内定理]]有曲率的基本应用
*[[高斯映射]]有高斯曲率的更多几何属性。
*曲面上一点处的[[平均曲率]]
*[[最小曲线半径]]
*[[曲率半径]]
*超曲面的[[第二基本形式]]
*[[曲线的挠率]]

{{曲率}}
{{几何术语}}
{{Authority control}}
[[Category:黎曼几何]]
[[Category:多变量微积分]]
[[Category:曲率|*]]