Lie导数（李导数）的张量形式定义
文本内容
对于矢量我们定义:
Δ_ε V_μ ≡ V^λ ε_λ;μ + V_μ;λ ε^λ
Δ_ε U^μ ≡ -U^λ ε^μ_;λ + U^μ_;λ ε^λ
对于二阶逆变和混合张量我们定义:
Δ_ε T^μν ≡ -T^λν ε^μ_;λ - T^μλ ε^ν_;λ + T^μν_;λ ε^λ
Δ_ε T^μ_ν ≡ -T^λ_ν ε^μ_;λ + T^μ_λ ε^λ_;ν + T^μ_ν;λ ε^λ
等等,按这种方式定义的 Δ_ε 叫做 Lie 导数,一般说来,无限小坐标变换
对于任何张量 T 的影响是,新张量等于在同一坐标点的老张量,加上 Lie
导数 Δ_ε T.
整体描述
这是一张展示微分几何与理论物理领域中Lie导数（李导数）定义的纯文字专业资料图，依次列出了协变矢量、逆变矢量、二阶逆变张量、二阶混合张量的Lie导数数学表达式，并对Lie导数的物理意义进行说明：无限小坐标变换下，新张量等于原坐标点的老张量加上其Lie导数。内容严谨专业，属于数学、物理专业的核心知识点，无谐音梗、双关等内容。
来源说明
该内容是微分几何、广义相对论领域的标准专业知识点，通常出自《微分几何入门与广义相对论》《引力论和宇宙论》等经典专业教材，或是高校物理、数学专业的课件内容，这类定义是学科内的通用标准定义，广泛流传于专业学习资料、学术论坛及高校教学场景中，图片大概率是专业教材的扫描页或课件截图。
![这是一张包含高等代数习题的图片，围绕罗尔定理展开，共有三个问题，同时包含各问题的解答：
1. **第一问**：要求运用罗尔定理证明拉格朗日中值定理结论
证明：构造辅助函数$F(x) = f(x) - \frac{f(b)-f(a)}{b-a}(x - a)$，$F(x)$在$[a,b]$连续，$(a,b)$可导，且$F(a)=f(a)$，$F(b)=f(a)$，满足罗尔定理条件，故存在$x₀∈(a,b)$使得$F'(x₀)=0$，而$F'(x)=f'(x)-\frac{f(b)-f(a)}{b-a}$，因此$f'(x₀)=\frac{f(b)-f(a)}{b-a}$，得证。
2. **第二问**：已知两个函数，在区间$(1,2)$内满足特定不等式，求参数$b$的取值范围
解答：$f(x)=x\ln x$在$(1,2)$上$f'(x)=\ln x+1>0$，单调递增。不等式等价于$|f'(x)|≥|g'(x)|$在$(1,2)$恒成立，$g'(x)=x-b$，即$\ln x+1≥|x-b|$，拆分为$x-(\ln x+1)≤b≤x+\ln x+1$。令$m(x)=x-\ln x-1$，在$(1,2)$单调递增，最大值为$1-\ln2$；令$n(x)=x+\ln x+1$，在$(1,2)$单调递增，最小值为$2$，故$b∈[1-\ln2,2]$。
3. **第三问**：证明关于$n$和$p$的不等式（$p>1,n≥2$）
证明：取$f(x)=\frac{1}{x^{p-1}}$，在$[n-1,n]$上用拉格朗日中值定理，存在$ξ∈(n-1,n)$，使得$\frac{1}{n^{p-1}}-\frac{1}{(n-1)^{p-1}}=-(p-1)\frac{1}{ξ^p}$，变形得$\frac{1}{(n-1)^{p-1}}-\frac{1}{n^{p-1}}=\frac{p-1}{ξ^p}$。因$ξ<n$，故$\frac{1}{ξ^p}>\frac{1}{n^p}$，代入得$\frac{1}{n^p}<\frac{1}{p-1}[\frac{1}{(n-1)^{p-1}}-\frac{1}{n^{p-1}}]$，得证。](https://gengtu.tos-accelerate.volces.com/memes/cf/65/85/c7/cf6585c7076369fae99a55f94674767c.png?x-tos-process=style/c)
