丹凤千字科普：为什么根号-1是i（详细资料介绍）
目录
1. 琴生不等式的证明详解
2. MATLAB仿真中的注意事项
2.1 负数开根号：得到的解为复数解
2.2 微分方程解法：欧拉法相对于龙格库塔法的可靠性探讨
正文
琴生不等式的证明
琴生不等式（Jensen inequality）在凸函数领域中有着广泛的应用。其证明过程主要依赖于构造函数和函数的单调性。
为了证明琴生不等式，我们首先需要构造函数，并证明f(x)在x∈(0, +∞)是单调递减的。这一命题比原问题更具普遍性，因为原问题中的p，q是正整数，而这里x可以是任意正实数。原问题是新问题的特例。
由于ln f(x) ∝ f(x)，并且计算ln f(x)相对更容易，所以我们后续主要关注ln f(x)。
令g(x)为我们构造的函数，我们需要证明g(x)是单调递减的。这可以通过求导数的方法来实现。
利用ln函数的上凸性质（这也是另一个琴生不等式），我们可以进一步得到关于g(x)的不等式。由于分母乘积展开后比分子多出许多项，因此分式小于1，取对数后小于0，从而证明了我们的结论。
值得注意的是，向量的1-范数大于2-范数大于无穷范数，这是该定理的一个实例。
MATLAB仿真中的注意事项
在MATLAB仿真中，有两个重要的注意点：
1. 负数开根号得到的是复数解：在解方程时，我们通常希望得到实数解。在MATLAB中，对于负数开根号，默认进行的是复变函数运算，给出的解是复数形式。例如，-1的复数表示中，有三个根，MATLAB会给出第一个复数根。如果我们想得到实数根，可以先对绝对值开根号，然后乘以-1。对于任意实数x，MATLAB开根号的通用公式是sign(x)(abs(x))^(p/q)，其中sign是符号函数，abs是绝对值函数。
2. 微分方程解法中欧拉法的可靠性：微分方程的数值解法一般使用四阶龙格库塔算法，其优点在于精度高，但程序较为复杂。欧拉法的精度相对较低，但程序简单。在某些参数剧烈变化的控制算法中，龙格库塔法可能会产生与实际方案不符的错误结果。对于滑模控制等特定应用，必须使用欧拉法。这是因为滑模控制中包含符号函数，可能会产生跳变。龙格库塔法在计算过程中可能会因为计算误差导致错误的跳变。而欧拉法在每个步长内只计算一个导数值，不存在临时值的问题，因此更可靠。仿真时，可以将步长设置得足够小（例如小于0.0001）以提高欧拉法的精度。
本账号“星辰博士讲数学”专注于大学理工科教育科研和数学思维训练。如果本文对您有用，请关注作者，欢迎点赞、评论、转发和收藏。
