level 3
盖菜是我盖菜
楼主
我在Mathematica中使用以下代码求取Δt的取值范围，但运行代码无法得到结果，想请教一下该如何修改我的代码。
表达式中主要包含两个不等式，其中0<=t<=0.08，求解Δt的取值范围：
不等式一：1/2 (14758 E^(-267929 t/1000) - 14758 E^(-186617 t/1000) -
14758 E^(-((267929 (t + Δt))/1000)) +
14758 E^(-((186617 (t + Δt))/
1000))) Δt <= 1/2000 ;
不等式二：0<=t<=0.08 ;
我的Mathematica代码如下：
Reduce[ForAll[t, Element[t, {t, 0, 2/25}]],
1/2 (14758 E^(-267929 t/1000) - 14758 E^(-186617 t/1000) -
14758 E^(-((267929 (t + \[EmptyUpTriangle]t))/1000)) +
14758 E^(-((186617 (t + \[EmptyUpTriangle]t))/
1000))) \[EmptyUpTriangle]t <=
1/2000, \[EmptyUpTriangle]t, Reals]
2023年04月03日 02点04分
1
表达式中主要包含两个不等式，其中0<=t<=0.08，求解Δt的取值范围：
不等式一：1/2 (14758 E^(-267929 t/1000) - 14758 E^(-186617 t/1000) -
14758 E^(-((267929 (t + Δt))/1000)) +
14758 E^(-((186617 (t + Δt))/
1000))) Δt <= 1/2000 ;
不等式二：0<=t<=0.08 ;
我的Mathematica代码如下：
Reduce[ForAll[t, Element[t, {t, 0, 2/25}]],
1/2 (14758 E^(-267929 t/1000) - 14758 E^(-186617 t/1000) -
14758 E^(-((267929 (t + \[EmptyUpTriangle]t))/1000)) +
14758 E^(-((186617 (t + \[EmptyUpTriangle]t))/
1000))) \[EmptyUpTriangle]t <=
1/2000, \[EmptyUpTriangle]t, Reals]