Is there a way to verify the following Fourier transform property: F[f(x) exp(i b x)](k) = F[f(x)](k − b)? This is what I tried:
 

Download First_Shifting_Theorem.mw

Is there a way to specify options or something to change the definition of fourier and invfourier to have a 1/sqrt(2Pi) factor instead? I don't want to manually multiply the result by 1/sqrt(2Pi) every time in case I forget to do it and it leads to a mistake in the future.

Why is pdsolve's 'generalsolution' option giving the particular solution u(x, y) = 0 instead of the general solution u(x, y) = A sin(x) sin(2 y) + B sin(2 x) sin(y) for the attached problem?

Problem.mw

Is there a way to convert a Fourier series (from the OrthogonalExpansions package) automatically into the sum of odd/even terms if the even/odd terms are 0 respectively?

Download FourierSeries.mw

Is there a way to get the generalized Fourier series with respect to an arbitrary orthogonal system (instead of just sin, cos, exp, etc.) using the OrthogonalExpansions package or any other way in Maple?