目录标题
-
-
- [第一步: d x d y dxdy dxdy 和 d r d θ drd\theta drdθ 到底代表什么?](#第一步: d x d y dxdy dxdy 和 d r d θ drd\theta drdθ 到底代表什么?)
- [第二步:为什么不能直接写 d x d y = d r d θ dxdy = drd\theta dxdy=drdθ?](#第二步:为什么不能直接写 d x d y = d r d θ dxdy = drd\theta dxdy=drdθ?)
- [第三步:几何推导(为什么多出来一个 r r r?)](#第三步:几何推导(为什么多出来一个 r r r?))
- 总结:回到你第一张图的"高斯积分"
-
现在把直角坐标 ( x , y ) (x, y) (x,y) 换成极坐标 ( r , θ ) (r, \theta) (r,θ):
- x 2 + y 2 = r 2 x^2 + y^2 = r^2 x2+y2=r2
- d x d y = r d r d θ dx dy = r dr d\theta dxdy=rdrdθ
- r r r 从 0 0 0 到 + ∞ +\infty +∞
- θ \theta θ 从 0 0 0 到 2 π 2\pi 2π
第一步: d x d y dxdy dxdy 和 d r d θ drd\theta drdθ 到底代表什么?
- d x d y dxdy dxdy :在直角坐标系( x x x- y y y 平面)里,代表一个极其微小的矩形面积。它的宽是 d x dx dx,高是 d y dy dy。面积 = 长 × \times × 宽 = d x ⋅ d y dx \cdot dy dx⋅dy。
- d r d θ drd\theta drdθ :在极坐标系里,代表一个极其微小的扇形(或者叫弯曲的矩形)。
- d r dr dr:代表半径方向上的微小长度(径向宽度)。
- d θ d\theta dθ:代表角度方向上的微小弧度(角宽度)。
第二步:为什么不能直接写 d x d y = d r d θ dxdy = drd\theta dxdy=drdθ?
因为 d r dr dr 和 d θ d\theta dθ 的单位不一样!
- d r dr dr 是一个长度(比如米)。
- d θ d\theta dθ 是一个角度(弧度,没有单位,或者说是比例)。
- 如果你直接相乘,得到的是"米",而不是"平方米"。面积必须是长度的平方。
所以,我们需要一个"转换系数",把角度的变化转换成实际弧长的变化。
第三步:几何推导(为什么多出来一个 r r r?)
想象我们在极坐标系里,取一个极小的微元:
- 半径从 r r r 增加到 r + d r r + dr r+dr(增加了一个微小的厚度 d r dr dr)。
- 角度从 θ \theta θ 增加到 θ + d θ \theta + d\theta θ+dθ(转了一个微小的角度 d θ d\theta dθ)。
这个微小的图形,其实是一个扇环(像一个弯弯的矩形)。我们来看看它的长和宽:
- 宽(径向长度): 就是 d r dr dr。
- 长(弧长): 这段弧长对应的半径是 r r r,转过的角度是 d θ d\theta dθ。
- 根据弧长公式:弧长 = 半径 × \times × 角度。
- 所以,这个微元在角度方向上的实际长度是 r ⋅ d θ r \cdot d\theta r⋅dθ。
现在,我们把这个弯曲的"扇环"拉直,近似看作一个矩形:
- 面积 = 长 × \times × 宽
- 面积 = ( r ⋅ d θ ) × ( d r ) (r \cdot d\theta) \times (dr) (r⋅dθ)×(dr)
- 面积 = r ⋅ d r ⋅ d θ r \cdot dr \cdot d\theta r⋅dr⋅dθ
这就是那个多出来的 r r r 的来源!
它其实是"把角度转换成实际弧长"的桥梁。
总结:回到你第一张图的"高斯积分"
现在你再看这四行:
- x 2 + y 2 = r 2 x^2 + y^2 = r^2 x2+y2=r2 (距离公式,把直角坐标变成极坐标)
- d x d y = r d r d θ dxdy = rdrd\theta dxdy=rdrdθ (面积微元变换,多出来的 r r r 是关键)
- r r r 从 0 0 0 到 + ∞ +\infty +∞ (半径覆盖整个平面)
- θ \theta θ 从 0 0 0 到 2 π 2\pi 2π (角度转一整圈)
为什么要这么做?
因为原来的高斯积分里是 e − ( x 2 + y 2 ) d x d y e^{-(x^2+y^2)}dxdy e−(x2+y2)dxdy。
换成极坐标后, x 2 + y 2 x^2 + y^2 x2+y2 变成了 r 2 r^2 r2,积分变成了:
∫ 0 2 π ∫ 0 + ∞ e − r 2 ⋅ r d r d θ \int_{0}^{2\pi} \int_{0}^{+\infty} e^{-r^2} \cdot r dr d\theta ∫02π∫0+∞e−r2⋅rdrdθ
奇迹发生了: 原来没有 r r r 的时候, e − x 2 e^{-x^2} e−x2 没法直接积分。现在多了一个 r r r,变成了 e − r 2 ⋅ r e^{-r^2} \cdot r e−r2⋅r。
如果你对 r 2 r^2 r2 求导,会得到 2 r 2r 2r。所以这个 e − r 2 ⋅ r e^{-r^2} \cdot r e−r2⋅r 刚好可以完美地凑成换元积分(令 u = r 2 u = r^2 u=r2),从而轻松算出结果!
这就是为什么第二步(极坐标变换)是解决高斯积分的"神来之笔"。