能否利用对称性计算双射积分？含实例验证与推广需求

嘿，这个问题涉及到双射函数积分的对称性、反函数积分关系，还有反常积分的特性，我来一步步拆解：

1. 利用对称性计算双射的积分：当然可以！ #

对于连续严格单调的双射函数（即可逆且连续的函数），它们和自身反函数之间存在直观的几何对称性——函数曲线与反函数曲线关于直线y=x对称。对应的核心积分关系是：
假设f: [a,b] → [c,d]是连续严格单调的双射（c=f(a), d=f(b)），其反函数为f⁻¹: [c,d] → [a,b]，则有：

∫ₐᵇ f(x) dx + ∫ᶜᵈ f⁻¹(y) dy = b·d - a·c

这个等式的几何意义很清晰：函数曲线与x轴围成的面积，加上反函数曲线与y轴围成的面积，刚好等于矩形[a,b]×[c,d]的面积，这就是对称性在双射积分中的直接应用。

2. 变量代换证明∫₀² eˣ dx = ∫₁^l ln(x) dx并确定l #

我们通过反函数变量代换+积分公式来推导并确定l：

• 先计算左侧积分：∫₀² eˣ dx = e² - e⁰ = e² - 1
• 右侧的ln(x)是eˣ的反函数，结合反函数积分公式推导：
  对于f(x)=eˣ，a=0, b=2，c=f(0)=1, d=f(2)=e²，代入公式：

  ∫₀² eˣ dx = b·f(b) - a·f(a) - ∫_{f(a)}^{f(b)} f⁻¹(y) dy
  

  即：

  e² - 1 = 2·e² - 0·1 - ∫₁^{e²} ln(y) dy
  

  现在我们要让∫₀² eˣ dx = ∫₁^l ln(x) dx，将左侧积分值代入右侧的反函数积分结果：

  e² - 1 = ∫₁^l ln(x) dx
  

  计算右侧定积分：∫₁^l ln(x) dx = [x·lnx - x]₁^l = l·lnl - l + 1
  令其等于e² - 1，得到方程：

  l·lnl - l + 1 = e² - 1
  

  整理为l(lnl - 1) = e² - 2，这个方程的解就是我们要找的l（可通过数值方法求得近似值）。核心思路是通过反函数变量代换将原积分与反函数积分建立联系，再通过等式关系确定积分上限。

3. 推广至任意双射 #

对于任意连续严格单调的双射函数f: [a,b] → [c,d]（c=f(a), d=f(b)），通用思路如下：

• 利用反函数变量代换：令y=f(x)，则x=f⁻¹(y)，dx=(f⁻¹)'(y)dy，因此∫ₐᵇ f(x) dx = ∫_{f(a)}^{f(b)} y · (f⁻¹)'(y) dy；
• 结合分部积分法，可推导出通用反函数积分公式：∫ₐᵇ f(x) dx = b·f(b) - a·f(a) - ∫_{f(a)}^{f(b)} f⁻¹(y) dy；
• 若要让∫ₐᵇ f(x) dx = ∫_{f(a)}^l f⁻¹(y) dy，只需将左侧积分值代入，解关于l的方程即可——本质是利用双射的可逆性，通过变量代换将原积分转化为反函数积分，再通过等式确定积分上限。

4. 关于∫₀¹ 1/x dx的特性 #

1/x在ℝ⁺上是双射（反函数就是自身），但它在x=0处无界，因此∫₀¹ 1/x dx是反常积分，其核心特性包括：

• 发散性：计算反常积分的极限形式：

  ∫₀¹ 1/x dx = lim_{ε→0⁺} ∫_{ε}^1 1/x dx = lim_{ε→0⁺} (ln1 - lnε) = lim_{ε→0⁺} (-lnε) = +∞
  

  该积分没有有限值，是发散的；
• 自反函数的特殊对称性：由于1/x的反函数是自身，代入反函数积分公式得：

  ∫ₐᵇ 1/x dx + ∫_{1/b}^{1/a} 1/y dy = b·(1/b) - a·(1/a) = 0
  

  即∫ₐᵇ 1/x dx = -∫_{1/b}^{1/a} 1/y dy，但当a→0⁺时，1/a→+∞，因此∫₀¹ 1/x dx与∫₁^+∞ 1/x dx均发散；
• 几何意义：曲线y=1/x在(0,1]上与x轴围成的区域，随着x趋近于0，区域高度无限增大，面积无界，导致积分发散。

内容的提问来源于stack exchange，提问作者Marine Galantin