如何用mathematica求微分方程常数的值

Question

DSolve[y'[x] + 2 y[x] == 0, y[x], x]

{{y[x] -> E^(-2 x) C[1]}}

如何使用初始条件y [0] == 1的Solve命令找到C [1]的值。

Answer 1

为什么不直接在DSolve函数中指定初始条件？你可以象征性地做到这一点，不需要数值：

In[]= DSolve[{y'[x] + 2 y[x] == 0, y[a1] == C1}, y[x], x]

Out[]= {{y[x] -> C1 E^(2 a1 - 2 x)}}

MMA官方文件：http://reference.wolfram.com/language/ref/DSolve.html