复数域内的微分解法
先考虑一个简单的微分形式y'=e^x*cos x ,
这种形式如果考虑分离变量法,需要采用两次局部积分法最后才能获得结果;但如果在复数域
内解答将会很简单,并且我们将验证采用数值解法的结果比较;
将上面形式变为复数域的形式有:
yy'=Re { e^x*e^ix}
Go
yy'=Re{e^{x(1+i)}}
GO
yy=Re {1/(1+i)*e^{x(1+i)}+C } (C为实数)
Go
yy=Re { (1-i)/2*e^{x(1+i)}+C }
Go
yy=Re { 1/2*e^x*(cos x+i*sin x) - 1/2*e^x*(i*cos x-*sin x) +C}
Go
yy=Re { 1/2*e^x*(cos x-sin x) + i/2*e^x*(sin x -cos x) +C}
回到实数领域内有:
y= 1/2*e^x*(cos x+sin x) +C
将y代入原微分方程可以获得解答;
现在假设初始条件y(0)=1,这个时候C为1/2
下面写程序来证明:
(setq c 0.5)
(defun pow (num count)
(if (or (> count 1) (eq count 1) )
(* num
(pow num
先考虑一个简单的微分形式y'=e^x*cos x ,
这种形式如果考虑分离变量法,需要采用两次局部积分法最后才能获得结果;但如果在复数域
内解答将会很简单,并且我们将验证采用数值解法的结果比较;
将上面形式变为复数域的形式有:
yy'=Re { e^x*e^ix}
Go
yy'=Re{e^{x(1+i)}}
GO
yy=Re {1/(1+i)*e^{x(1+i)}+C } (C为实数)
Go
yy=Re { (1-i)/2*e^{x(1+i)}+C }
Go
yy=Re { 1/2*e^x*(cos x+i*sin x) - 1/2*e^x*(i*cos x-*sin x) +C}
Go
yy=Re { 1/2*e^x*(cos x-sin x) + i/2*e^x*(sin x -cos x) +C}
回到实数领域内有:
y= 1/2*e^x*(cos x+sin x) +C
将y代入原微分方程可以获得解答;
现在假设初始条件y(0)=1,这个时候C为1/2
下面写程序来证明:
(setq c 0.5)
(defun pow (num count)
(if (or (> count 1) (eq count 1) )
(* num
(pow num