当指定所有初始和边界条件时,为什么 Maple 在 PDE 的解中生成未知常数

Why Maple generates unknown constant in the solution of PDE when all initial and boundary conditions are specified

不明白为什么Maple 2017.3,生成解决方案 这个波 PDE 的未知常数称为 _C6。 由于给定了所有边界条件和初始条件。

其实在另一个账号上解错了, 当 n=2 时,它除以零。但我的问题是 这个常量的存在。

这是波 PDE u_tt = 4* u_xx 的解。细绳。和 两端固定。初始位置是 u(x,0)= sin(x)^2 和零初始速度即 u_t(x,0) = 0

枫树:

restart;
pde:=diff(u(x,t),t)= 4*diff(u(x,t),x);
bc:=u(0,t)=0,u(Pi,t)=0;
ic:=u(x,0)=sin(x)^2,D[2](u)(x,0)=0;
sol:=pdsolve([pde,bc,ic],u(x,t));

windows 上的 Maple 2017.3 给出

解决方案中不应有 _C 个常量。作为参考,这是 Mathematica 解决方案

ClearAll[u,t,x,n];
pde=D[u[x,t],{t,2}]==4D[u[x,t],{x,2}];
ic={Derivative[0,1][u][x,0]==0,u[x,0]==Sin[x]^2}
bc={u[0,t]==0,u[Pi,t]==0};
sol=DSolve[{pde,bc,ic},u[x,t],{x,t}];
sol=sol/.K[1]->n  (*n looks better than K[1] for index*)

注意解中没有常量(但 Mathematica 解有 n=2 的问题与 Maple 的问题相同。除以零。所以它的解法也是错误的。

但是我这里的问题不是关于n=2问题,而是关于Maple生成的常量_C6,为什么它在那里?

Maple 2017.3 windows.

更新

只是为了确认最新的物理包(感谢答案)确实解决了这个问题

如果我下载并安装了 Physics,DEs,MathFuncs Library 的 Maple 2017 的最新版本,那么我将使用 64 位的 Maple 2017.2 获得以下内容 Linux。

restart;

Physics:-Version();
  "/usr/local/maple/maple2017.2/lib/Physics2017.mla", 2018, March 9, 23:54 hours

pde:=diff(u(x,t),t)= 4*diff(u(x,t),x):
bc:=u(0,t)=0,u(Pi,t)=0:
ic:=u(x,0)=sin(x)^2,D[2](u)(x,0)=0:

sol:=pdsolve([pde,bc,ic],u(x,t)):

lprint(sol);
   u(x, t) = Sum(4*((-1)^n-1)*sin(x*n)*cos(2*t*n)/(Pi*n*(n^2-4)), n = 1 .. infinity)