如何使用枫木求解方程归一化系数

Question

我想要求解决方案的归一化系数 f（x）。

Mathematica 中的实现方法如下：

f[x] := Sin[(n Pi x)/(2 a)];
norm = FullSimplify[1/Integrate[Abs[f[x]]^2, {x, 0, a}], n \[Element] Integers]

最终结果如下： 2/a

我想在 Maple 中实现相同的功能，并尝试了以下内容：

assume(n::posint);
psi := x -> sin(1/2*n*pi*x/a);
c := 1/int(abs(psi(x))^2, x = 0 .. a);
simplify(solve(c = 1, a));

是否有一个很好的方法来处理它枫？

Answer 1

restart;

kernelopts(version);

   Maple 2022.0, X86 64 LINUX, Mar 8 2022, Build ID 1599809

assume(n::posint);
f := abs(sin(1/2*n*Pi*x/a))^2:

simplify(combine(1/int(convert(f,Heaviside,x),
                       x=0..a)));

        2
        -
        a

simplify(combine(1/int(f,x=0..a)))
   assuming a::real;

        2
        -
        a