The MeijerGsols routine returns a basis of the space of solutions of a linear differential equation of Meijer G type.

The classical notation used to represent the MeijerG function relates to the notation used in Maple by

Note: See Prudnikov, Brychkov, and Marichev.

The MeijerG function satisfies the following qth-order linear differential equation

where $'\mathrm{D}'=\frac{d}{\mathrm{dx}}$ and $p$ is less than or equal to q.

For example, MeijerG( [[a[1]],[a[p]]], [[b[1]],[b[q]]], x ) satisfies:

PDEtools[declare](y(x), prime=x);

$y\left(x\right)\mathrm{will\; now\; be\; displayed\; as}y$

$\mathrm{derivatives\; with\; respect\; to}x\mathrm{of\; functions\; of\; one\; variable\; will\; now\; be\; displayed\; with\; \text{'}}$

DEtools[hyperode]( MeijerG( [[a[1]],[a[p]]], [[b[1]],[b[q]]], x ), y(x) ) = 0;

For information about making symbolic experiments with expressions that contain the MeijerG function of different arguments and the differential equation the expression satisfies, see dpolyform.

MeijerGsols accepts two calling sequences. The first argument of the first calling sequence is a linear differential equation in diff or $\mathrm{D}$ form, and the second argument is the function in the differential equation.

The first argument in the second calling sequence is the list of coefficients of a linear ode, and the second is the independent variable. This calling sequence can be convenient for programming with the MeijerGsols routine.

This function is part of the DEtools package, and so it can be used in the form MeijerGsols(..) only after executing the command with(DEtools). However, it can always be accessed through the long form of the command by using DEtools[MeijerGsols](..).

with(DEtools):

ode := diff(y(x),x,x) = (4-2*x^2)/(x^3-x)*diff(y(x),x)-7/(4*x^4-4*x^2)*y(x);

$\mathrm{ode}≔\mathrm{y\text{'}\text{'}}=\frac{\left(-2x^2+4\right)\mathrm{y\text{'}}}{x^3-x}-\frac{7y}{4x^4-4x^2}$

MeijerGsols(ode);

$\left[\mathrm{hypergeom}\left(\left[-\frac{7}{4}\,\frac{1}{4}\right]\,\left[\frac{1}{2}\right]\,\frac{1}{x^2}\right)\,\frac{\mathrm{hypergeom}\left(\left[-\frac{5}{4}\,\frac{3}{4}\right]\,\left[\frac{3}{2}\right]\,\frac{1}{x^2}\right)}{x}\right]$

dsolve(ode, [MeijerG]);

$y=\mathrm{c\_\_1}\mathrm{hypergeom}\left(\left[-\frac{7}{4}\,\frac{1}{4}\right]\,\left[\frac{1}{2}\right]\,\frac{1}{x^2}\right)+\frac{\mathrm{c\_\_2}\mathrm{hypergeom}\left(\left[-\frac{5}{4}\,\frac{3}{4}\right]\,\left[\frac{3}{2}\right]\,\frac{1}{x^2}\right)}{x}$

MeijerGsols([x^2-3,-x,x^2], x );

$\left[x\mathrm{BesselJ}\left(2\,x\right)\,x\mathrm{BesselY}\left(2\,x\right)\right]$

A := mult(x*DF-1/4,x*DF-1,x*DF-1/3,[DF,x])
     - x^b*mult(x*DF+2/3,x*DF-1/2,[DF,x]):

ode := diffop2de(A,y(x),[DF,x]);

$\mathrm{ode}≔\left(-\frac{1}{12}+\frac{x^b}{3}\right)y+\left(\frac{x}{12}-\frac{7x^{b}x}{6}\right)\mathrm{y\text{'}}+\left(\frac{17x^2}{12}-x^b{x}^2\right)\mathrm{y\text{'}\text{'}}+x^3\mathrm{y\text{'}\text{'}\text{'}}$

MeijerGsols(ode);

$\left[x\mathrm{hypergeom}\left(\left[\frac{5}{3b}\,\frac{1}{2b}\right]\,\left[\frac{3b+2}{3b}\,\frac{4b+3}{4b}\right]\,\frac{x^b}{b}\right)\,x^{\raisebox{1ex}{$1$}\!\left/ \!\raisebox{-1ex}{$4$}\right.}\mathrm{hypergeom}\left(\left[-\frac{1}{4b}\,\frac{11}{12b}\right]\,\left[\frac{4b-3}{4b}\,\frac{12b-1}{12b}\right]\,\frac{x^b}{b}\right)\,x^{\raisebox{1ex}{$1$}\!\left/ \!\raisebox{-1ex}{$3$}\right.}\mathrm{hypergeom}\left(\left[\frac{1}{b}\,-\frac{1}{6b}\right]\,\left[\frac{3b-2}{3b}\,\frac{12b+1}{12b}\right]\,\frac{x^b}{b}\right)\right]$

Prudnikov, A. P.; Brychkov, Yu; and Marichev, O. Integrals and Series. Gordon and Breach Science, 1990. Vol. 3: More Special Functions.