L'ibrary

留数定理是积分计算中极其强大的工具，它不止是可以处理复变函数的积分，甚至对于部分实变函数的广义积分，或者是有理型函数，无穷级数等计算也可以发挥重要作用。 # 留数定理 :::private no-icon 定义 取邻域中心 z0∈Cz_0 \in \mathbb Cz0​∈C 和范围 R∈(0,+∞)R \in (0, +\infty)R∈(0,+∞) 设函数 fff 在 D(z0,R)∖{z0}D(z_0, R) \setminus \{z_0\}D(z0​,R)∖{z0​} 上正则，并在 z0z_0z0​ 处进行 Laurent...

数个复分析中的重要定理均可由 Cauchy 积分定理导出 # Morera 定理 在 Cauchy 积分定理的推导过程中，我们首先证明了在三角剖分的情况，即 在正则的区域内，任意闭三角形的积分为零 而这个结论的反方向 若区域内任意闭三角形的积分为零，则该区域内函数正则 作为著名的 Morera 定理，实际上也成立 定理 Morera 定理 令 D⊂CD \subset \mathbb CD⊂C 为开集，f:D→Cf:D \to \mathbb Cf:D→C 连续 若对于任意闭三角形 △⊂D\triangle \subset...

级数往往指代的是无穷级数 以下，考虑多维复数域 Cn\mathbb C^nCn，默认其完备 对于其中的元 z=(z1,z2,…,zn)∈Cnz = (z_1, z_2, \ldots, z_n) \in \mathbb C^nz=(z1​,z2​,…,zn​)∈Cn，定义其范数为 ∥z∥=∑k=1n∣zk∣2\|z\| = \sqrt{\sum_{k=1}^n |z_k|^2} ∥z∥=k=1∑n​∣zk​∣2​ 其中 ∣zk∣|z_k|∣zk​∣ 为复数 zkz_kzk​ 的模长 注意后续中 zkz_kzk​...

偏微分可能性确保了多元函数在特定方向上的变化性质，但是上升到高维角度，分量同时变化时可能会产生相互作用的叠加效果，使得原本在分量上偏微分可能的函数整体上并不具备良好的微分性质 为了确定多元函数作为整体的微分可能性，需要引入更强的 Frechet 微分 特别地，在有限维度下，Frechet 微分等价于全微分 以下作为区分，实数值函数记作 fff，向量值函数记作 FFF # Fréchet 微分 定义 设 U⊂RnU \subset \mathbb R^nU⊂Rn 为开集，F:U→RmF: U \to \mathbb R^mF:U→Rm 对于...

# 广义积分的定义 # 收敛性 # Gamma 函数 Γ(t)\Gamma(t)Γ(t) 对于实数 t>0t \gt 0t>0，定义 Γ(t)=∫0+∞xt−1e−x dx\Gamma(t) = \int_0^{+\infty} x^{t-1} e^{-x} \, dx Γ(t)=∫0+∞​xt−1e−xdx 称为 Gamma 函数，它是阶乘函数在实数域上的推广 Gamma 函数具有以下性质： 当 t=nt = nt=n 为自然数时，有 Γ(n)=(n−1)!\Gamma(n) =...