Meijer G-function: Identities (formula 07.34.17.0013)

MeijerG

$Mathematica Notation$

Hypergeometric Functions

MeijerG[{{a₁,...,a_n},{a_n+1,...,a_p}},{{b₁,...,b_m},{b_m+1,...,b_q}},z]

Identities

Functional identities

General cases

http://functions.wolfram.com/07.34.17.0013.01

Input Form

MeijerG[{{Subscript[a, 1], \[Ellipsis], Subscript[a, n]}, {Subscript[a, n + 1], \[Ellipsis], Subscript[a, p]}}, {{Subscript[b, 1], \[Ellipsis], Subscript[b, m]}, {Subscript[b, m + 1], \[Ellipsis], Subscript[b, q]}}, z] == (k^\[Mu] MeijerG[{{Subscript[a, 1]/k, \[Ellipsis], (Subscript[a, 1] + k - 1)/k, \[Ellipsis], Subscript[a, n]/k, \[Ellipsis], (Subscript[a, n] + k - 1)/k}, {Subscript[a, n + 1]/k, \[Ellipsis], (Subscript[a, n + 1] + k - 1)/k, \[Ellipsis], Subscript[a, p]/k, \[Ellipsis], (Subscript[a, p] + k - 1)/k}}, {{Subscript[b, 1]/k, \[Ellipsis], (Subscript[b, 1] + k - 1)/k, \[Ellipsis], Subscript[b, m]/k, \[Ellipsis], (Subscript[b, m] + k - 1)/ k}, {Subscript[b, m + 1]/k, \[Ellipsis], (Subscript[b, m + 1] + k - 1)/k, \[Ellipsis], Subscript[b, q]/k, \[Ellipsis], (Subscript[b, q] + k - 1)/k}}, z^k/k^(k (q - p))])/ (2 Pi)^((k - 1) SuperStar[c]) /; SuperStar[c] == m + n - (p + q)/2 && \[Mu] == Sum[Subscript[b, k], {k, 1, q}] - Sum[Subscript[a, k], {k, 1, p}] + (p - q)/2 + 1 && Element[k, Integers] && k > 0

Standard Form

Cell[BoxData[RowBox[List[RowBox[List[RowBox[List["MeijerG", "[", RowBox[List[RowBox[List["{", RowBox[List[RowBox[List["{", RowBox[List[SubscriptBox["a", "1"], ",", "\[Ellipsis]", ",", SubscriptBox["a", "n"]]], "}"]], ",", RowBox[List["{", RowBox[List[SubscriptBox["a", RowBox[List["n", "+", "1"]]], ",", "\[Ellipsis]", ",", SubscriptBox["a", "p"]]], "}"]]]], "}"]], ",", RowBox[List["{", RowBox[List[RowBox[List["{", RowBox[List[SubscriptBox["b", "1"], ",", "\[Ellipsis]", ",", SubscriptBox["b", "m"]]], "}"]], ",", RowBox[List["{", RowBox[List[SubscriptBox["b", RowBox[List["m", "+", "1"]]], ",", "\[Ellipsis]", ",", SubscriptBox["b", "q"]]], "}"]]]], "}"]], ",", "z"]], "]"]], "\[Equal]", RowBox[List[SuperscriptBox[RowBox[List["(", RowBox[List["2", " ", "\[Pi]"]], ")"]], RowBox[List[RowBox[List["-", RowBox[List["(", RowBox[List["k", "-", "1"]], ")"]]]], SuperscriptBox["c", "*"]]]], " ", SuperscriptBox["k", "\[Mu]"], RowBox[List["MeijerG", "[", RowBox[List[RowBox[List["{", RowBox[List[RowBox[List["{", RowBox[List[FractionBox[SubscriptBox["a", "1"], "k"], ",", "\[Ellipsis]", ",", FractionBox[RowBox[List[SubscriptBox["a", "1"], "+", "k", "-", "1"]], "k"], ",", "\[Ellipsis]", ",", FractionBox[SubscriptBox["a", "n"], "k"], ",", "\[Ellipsis]", ",", FractionBox[RowBox[List[SubscriptBox["a", "n"], "+", "k", "-", "1"]], "k"]]], "}"]], ",", RowBox[List["{", RowBox[List[FractionBox[SubscriptBox["a", RowBox[List["n", "+", "1"]]], "k"], ",", "\[Ellipsis]", ",", FractionBox[RowBox[List[SubscriptBox["a", RowBox[List["n", "+", "1"]]], "+", "k", "-", "1"]], "k"], ",", "\[Ellipsis]", ",", FractionBox[SubscriptBox["a", "p"], "k"], ",", "\[Ellipsis]", ",", FractionBox[RowBox[List[SubscriptBox["a", "p"], "+", "k", "-", "1"]], "k"]]], "}"]]]], "}"]], ",", RowBox[List["{", RowBox[List[RowBox[List["{", RowBox[List[FractionBox[SubscriptBox["b", "1"], "k"], ",", "\[Ellipsis]", ",", FractionBox[RowBox[List[SubscriptBox["b", "1"], "+", "k", "-", "1"]], "k"], ",", "\[Ellipsis]", ",", FractionBox[SubscriptBox["b", "m"], "k"], ",", "\[Ellipsis]", ",", FractionBox[RowBox[List[SubscriptBox["b", "m"], "+", "k", "-", "1"]], "k"]]], "}"]], ",", RowBox[List["{", RowBox[List[FractionBox[SubscriptBox["b", RowBox[List["m", "+", "1"]]], "k"], ",", "\[Ellipsis]", ",", FractionBox[RowBox[List[SubscriptBox["b", RowBox[List["m", "+", "1"]]], "+", "k", "-", "1"]], "k"], ",", "\[Ellipsis]", ",", FractionBox[SubscriptBox["b", "q"], "k"], ",", "\[Ellipsis]", ",", FractionBox[RowBox[List[SubscriptBox["b", "q"], "+", "k", "-", "1"]], "k"]]], "}"]]]], "}"]], ",", FractionBox[SuperscriptBox["z", "k"], RowBox[List[SuperscriptBox["k", RowBox[List["k", RowBox[List["(", RowBox[List["q", "-", "p"]], ")"]]]]], " "]]]]], "]"]]]]]], "/;", RowBox[List[RowBox[List[SuperscriptBox["c", "*"], "\[Equal]", RowBox[List["m", "+", "n", "-", FractionBox[RowBox[List["p", "+", "q"]], "2"]]]]], "\[And]", RowBox[List["\[Mu]", "\[Equal]", RowBox[List[RowBox[List[UnderoverscriptBox["\[Sum]", RowBox[List["k", "=", "1"]], "q"], SubscriptBox["b", "k"]]], "-", RowBox[List[UnderoverscriptBox["\[Sum]", RowBox[List["k", "=", "1"]], "p"], SubscriptBox["a", "k"]]], "+", FractionBox[RowBox[List["p", "-", "q"]], "2"], "+", "1"]]]], "\[And]", RowBox[List["Element", "[", RowBox[List["k", ",", "Integers"]], "]"]], "\[And]", RowBox[List["k", ">", "0"]]]]]]]]

MathML Form

<math xmlns='http://www.w3.org/1998/Math/MathML' mathematica:form='TraditionalForm' xmlns:mathematica='http://www.wolfram.com/XML/'> <semantics> <mrow> <mrow> <semantics> <mrow> <msubsup> <mi> G </mi> <mrow> <mi> p </mi> <mo> , </mo> <mi> q </mi> </mrow> <mrow> <mi> m </mi> <mo> , </mo> <mi> n </mi> </mrow> </msubsup> <mo> ⁡ </mo> <mrow> <mo> ( </mo> <mrow> <mi> z </mi> <mo> ❘ </mo> <mtable> <mtr> <mtd> <mrow> <msub> <mi> a </mi> <mn> 1 </mn> </msub> <mo> , </mo> <mo> … </mo> <mo> , </mo> <msub> <mi> a </mi> <mi> n </mi> </msub> <mo> , </mo> <msub> <mi> a </mi> <mrow> <mi> n </mi> <mo> + </mo> <mn> 1 </mn> </mrow> </msub> <mo> , </mo> <mo> … </mo> <mo> , </mo> <msub> <mi> a </mi> <mi> p </mi> </msub> </mrow> </mtd> </mtr> <mtr> <mtd> <mrow> <msub> <mi> b </mi> <mn> 1 </mn> </msub> <mo> , </mo> <mo> … </mo> <mo> , </mo> <msub> <mi> b </mi> <mi> m </mi> </msub> <mo> , </mo> <msub> <mi> b </mi> <mrow> <mi> m </mi> <mo> + </mo> <mn> 1 </mn> </mrow> </msub> <mo> , </mo> <mo> … </mo> <mo> , </mo> <msub> <mi> b </mi> <mi> q </mi> </msub> </mrow> </mtd> </mtr> </mtable> </mrow> <mo> ) </mo> </mrow> </mrow> <annotation encoding='Mathematica'> TagBox[RowBox[List[SubsuperscriptBox[TagBox["G", MeijerG], RowBox[List["p", ",", "q"]], RowBox[List["m", ",", "n"]]], "\[InvisibleApplication]", RowBox[List["(", RowBox[List[TagBox["z", MeijerG, Rule[Editable, True]], "\[VerticalSeparator]", GridBox[List[List[RowBox[List[TagBox[SubscriptBox["a", "1"], MeijerG, Rule[Editable, True]], ",", TagBox["\[Ellipsis]", MeijerG, Rule[Editable, True]], ",", TagBox[SubscriptBox["a", "n"], MeijerG, Rule[Editable, True]], ",", TagBox[SubscriptBox["a", RowBox[List["n", "+", "1"]]], MeijerG, Rule[Editable, True]], ",", TagBox["\[Ellipsis]", MeijerG, Rule[Editable, True]], ",", TagBox[SubscriptBox["a", "p"], MeijerG, Rule[Editable, True]]]]], List[RowBox[List[TagBox[SubscriptBox["b", "1"], MeijerG, Rule[Editable, True]], ",", TagBox["\[Ellipsis]", MeijerG, Rule[Editable, True]], ",", TagBox[SubscriptBox["b", "m"], MeijerG, Rule[Editable, True]], ",", TagBox[SubscriptBox["b", RowBox[List["m", "+", "1"]]], MeijerG, Rule[Editable, True]], ",", TagBox["\[Ellipsis]", MeijerG, Rule[Editable, True]], ",", TagBox[SubscriptBox["b", "q"], MeijerG, Rule[Editable, True]]]]]]]]], ")"]]]], MeijerG, Rule[Editable, False]] </annotation> </semantics> <mo> ⩵ </mo> <mrow> <msup> <mrow> <mo> ( </mo> <mrow> <mn> 2 </mn> <mo> ⁢ </mo> <mi> π </mi> </mrow> <mo> ) </mo> </mrow> <mrow> <mrow> <mo> - </mo> <mrow> <mo> ( </mo> <mrow> <mi> k </mi> <mo> - </mo> <mn> 1 </mn> </mrow> <mo> ) </mo> </mrow> </mrow> <mo> ⁢ </mo> <msup> <mi> c </mi> <mo> * </mo> </msup> </mrow> </msup> <mo> ⁢ </mo> <msup> <mi> k </mi> <mi> μ </mi> </msup> <mo> ⁢ </mo> <semantics> <mrow> <msubsup> <mi> G </mi> <mrow> <mrow> <mi> k </mi> <mo> ⁢ </mo> <mi> p </mi> </mrow> <mo> , </mo> <mrow> <mi> k </mi> <mo> ⁢ </mo> <mi> q </mi> </mrow> </mrow> <mrow> <mrow> <mi> k </mi> <mo> ⁢ </mo> <mi> m </mi> </mrow> <mo> , </mo> <mrow> <mi> k </mi> <mo> ⁢ </mo> <mi> n </mi> </mrow> </mrow> </msubsup> <mo> ⁡ </mo> <mrow> <mo> ( </mo> <mrow> <mfrac> <msup> <mi> z </mi> <mi> k </mi> </msup> <msup> <mi> k </mi> <mrow> <mi> k </mi> <mo> ⁢ </mo> <mrow> <mo> ( </mo> <mrow> <mi> q </mi> <mo> - </mo> <mi> p </mi> </mrow> <mo> ) </mo> </mrow> </mrow> </msup> </mfrac> <mo> ❘ </mo> <mtable> <mtr> <mtd> <mrow> <mfrac> <msub> <mi> a </mi> <mn> 1 </mn> </msub> <mi> k </mi> </mfrac> <mo> , </mo> <mo> … </mo> <mo> , </mo> <mfrac> <mrow> <mi> k </mi> <mo> + </mo> <msub> <mi> a </mi> <mn> 1 </mn> </msub> <mo> - </mo> <mn> 1 </mn> </mrow> <mi> k </mi> </mfrac> <mo> , </mo> <mo> … </mo> <mo> , </mo> <mfrac> <msub> <mi> a </mi> <mi> n </mi> </msub> <mi> k </mi> </mfrac> <mo> , </mo> <mo> … </mo> <mo> , </mo> <mfrac> <mrow> <mi> k </mi> <mo> + </mo> <msub> <mi> a </mi> <mi> n </mi> </msub> <mo> - </mo> <mn> 1 </mn> </mrow> <mi> k </mi> </mfrac> <mo> , </mo> <mfrac> <msub> <mi> a </mi> <mrow> <mi> n </mi> <mo> + </mo> <mn> 1 </mn> </mrow> </msub> <mi> k </mi> </mfrac> <mo> , </mo> <mo> … </mo> <mo> , </mo> <mfrac> <mrow> <mi> k </mi> <mo> + </mo> <msub> <mi> a </mi> <mrow> <mi> n </mi> <mo> + </mo> <mn> 1 </mn> </mrow> </msub> <mo> - </mo> <mn> 1 </mn> </mrow> <mi> k </mi> </mfrac> <mo> , </mo> <mo> … </mo> <mo> , </mo> <mfrac> <msub> <mi> a </mi> <mi> p </mi> </msub> <mi> k </mi> </mfrac> <mo> , </mo> <mo> … </mo> <mo> , </mo> <mfrac> <mrow> <mi> k </mi> <mo> + </mo> <msub> <mi> a </mi> <mi> p </mi> </msub> <mo> - </mo> <mn> 1 </mn> </mrow> <mi> k </mi> </mfrac> </mrow> </mtd> </mtr> <mtr> <mtd> <mrow> <mfrac> <msub> <mi> b </mi> <mn> 1 </mn> </msub> <mi> k </mi> </mfrac> <mo> , </mo> <mo> … </mo> <mo> , </mo> <mfrac> <mrow> <mi> k </mi> <mo> + </mo> <msub> <mi> b </mi> <mn> 1 </mn> </msub> <mo> - </mo> <mn> 1 </mn> </mrow> <mi> k </mi> </mfrac> <mo> , </mo> <mo> … </mo> <mo> , </mo> <mfrac> <msub> <mi> b </mi> <mi> m </mi> </msub> <mi> k </mi> </mfrac> <mo> , </mo> <mo> … </mo> <mo> , </mo> <mfrac> <mrow> <mi> k </mi> <mo> + </mo> <msub> <mi> b </mi> <mi> m </mi> </msub> <mo> - </mo> <mn> 1 </mn> </mrow> <mi> k </mi> </mfrac> <mo> , </mo> <mfrac> <msub> <mi> b </mi> <mrow> <mi> m </mi> <mo> + </mo> <mn> 1 </mn> </mrow> </msub> <mi> k </mi> </mfrac> <mo> , </mo> <mo> … </mo> <mo> , </mo> <mfrac> <mrow> <mi> k </mi> <mo> + </mo> <msub> <mi> b </mi> <mrow> <mi> m </mi> <mo> + </mo> <mn> 1 </mn> </mrow> </msub> <mo> - </mo> <mn> 1 </mn> </mrow> <mi> k </mi> </mfrac> <mo> , </mo> <mo> … </mo> <mo> , </mo> <mfrac> <msub> <mi> b </mi> <mi> q </mi> </msub> <mi> k </mi> </mfrac> <mo> , </mo> <mo> … </mo> <mo> , </mo> <mfrac> <mrow> <mi> k </mi> <mo> + </mo> <msub> <mi> b </mi> <mi> q </mi> </msub> <mo> - </mo> <mn> 1 </mn> </mrow> <mi> k </mi> </mfrac> </mrow> </mtd> </mtr> </mtable> </mrow> <mo> ) </mo> </mrow> </mrow> <annotation encoding='Mathematica'> TagBox[RowBox[List[SubsuperscriptBox[TagBox["G", MeijerG], RowBox[List[RowBox[List["k", " ", "p"]], ",", RowBox[List["k", " ", "q"]]]], RowBox[List[RowBox[List["k", " ", "m"]], ",", RowBox[List["k", " ", "n"]]]]], "\[InvisibleApplication]", RowBox[List["(", RowBox[List[TagBox[FractionBox[SuperscriptBox["z", "k"], SuperscriptBox["k", RowBox[List["k", " ", RowBox[List["(", RowBox[List["q", "-", "p"]], ")"]]]]]], MeijerG, Rule[Editable, True]], "\[VerticalSeparator]", GridBox[List[List[RowBox[List[TagBox[FractionBox[SubscriptBox["a", "1"], "k"], MeijerG, Rule[Editable, True]], ",", TagBox["\[Ellipsis]", MeijerG, Rule[Editable, True]], ",", TagBox[FractionBox[RowBox[List["k", "+", SubscriptBox["a", "1"], "-", "1"]], "k"], MeijerG, Rule[Editable, True]], ",", TagBox["\[Ellipsis]", MeijerG, Rule[Editable, True]], ",", TagBox[FractionBox[SubscriptBox["a", "n"], "k"], MeijerG, Rule[Editable, True]], ",", TagBox["\[Ellipsis]", MeijerG, Rule[Editable, True]], ",", TagBox[FractionBox[RowBox[List["k", "+", SubscriptBox["a", "n"], "-", "1"]], "k"], MeijerG, Rule[Editable, True]], ",", TagBox[FractionBox[SubscriptBox["a", RowBox[List["n", "+", "1"]]], "k"], MeijerG, Rule[Editable, True]], ",", TagBox["\[Ellipsis]", MeijerG, Rule[Editable, True]], ",", TagBox[FractionBox[RowBox[List["k", "+", SubscriptBox["a", RowBox[List["n", "+", "1"]]], "-", "1"]], "k"], MeijerG, Rule[Editable, True]], ",", TagBox["\[Ellipsis]", MeijerG, Rule[Editable, True]], ",", TagBox[FractionBox[SubscriptBox["a", "p"], "k"], MeijerG, Rule[Editable, True]], ",", TagBox["\[Ellipsis]", MeijerG, Rule[Editable, True]], ",", TagBox[FractionBox[RowBox[List["k", "+", SubscriptBox["a", "p"], "-", "1"]], "k"], MeijerG, Rule[Editable, True]]]]], List[RowBox[List[TagBox[FractionBox[SubscriptBox["b", "1"], "k"], MeijerG, Rule[Editable, True]], ",", TagBox["\[Ellipsis]", MeijerG, Rule[Editable, True]], ",", TagBox[FractionBox[RowBox[List["k", "+", SubscriptBox["b", "1"], "-", "1"]], "k"], MeijerG, Rule[Editable, True]], ",", TagBox["\[Ellipsis]", MeijerG, Rule[Editable, True]], ",", TagBox[FractionBox[SubscriptBox["b", "m"], "k"], MeijerG, Rule[Editable, True]], ",", TagBox["\[Ellipsis]", MeijerG, Rule[Editable, True]], ",", TagBox[FractionBox[RowBox[List["k", "+", SubscriptBox["b", "m"], "-", "1"]], "k"], MeijerG, Rule[Editable, True]], ",", TagBox[FractionBox[SubscriptBox["b", RowBox[List["m", "+", "1"]]], "k"], MeijerG, Rule[Editable, True]], ",", TagBox["\[Ellipsis]", MeijerG, Rule[Editable, True]], ",", TagBox[FractionBox[RowBox[List["k", "+", SubscriptBox["b", RowBox[List["m", "+", "1"]]], "-", "1"]], "k"], MeijerG, Rule[Editable, True]], ",", TagBox["\[Ellipsis]", MeijerG, Rule[Editable, True]], ",", TagBox[FractionBox[SubscriptBox["b", "q"], "k"], MeijerG, Rule[Editable, True]], ",", TagBox["\[Ellipsis]", MeijerG, Rule[Editable, True]], ",", TagBox[FractionBox[RowBox[List["k", "+", SubscriptBox["b", "q"], "-", "1"]], "k"], MeijerG, Rule[Editable, True]]]]]]]]], ")"]]]], MeijerG, Rule[Editable, True]] </annotation> </semantics> </mrow> </mrow> <mo> /; </mo> <mrow> <mrow> <msup> <mi> c </mi> <mo> * </mo> </msup> <mo> ⩵ </mo> <mrow> <mi> m </mi> <mo> + </mo> <mi> n </mi> <mo> - </mo> <mfrac> <mrow> <mi> p </mi> <mo> + </mo> <mi> q </mi> </mrow> <mn> 2 </mn> </mfrac> </mrow> </mrow> <mo> ∧ </mo> <mrow> <mi> μ </mi> <mo> ⩵ </mo> <mrow> <mrow> <munderover> <mo> ∑ </mo> <mrow> <mi> k </mi> <mo> = </mo> <mn> 1 </mn> </mrow> <mi> q </mi> </munderover> <msub> <mi> b </mi> <mi> k </mi> </msub> </mrow> <mo> - </mo> <mrow> <munderover> <mo> ∑ </mo> <mrow> <mi> k </mi> <mo> = </mo> <mn> 1 </mn> </mrow> <mi> p </mi> </munderover> <msub> <mi> a </mi> <mi> k </mi> </msub> </mrow> <mo> + </mo> <mfrac> <mrow> <mi> p </mi> <mo> - </mo> <mi> q </mi> </mrow> <mn> 2 </mn> </mfrac> <mo> + </mo> <mn> 1 </mn> </mrow> </mrow> <mo> ∧ </mo> <mrow> <mi> k </mi> <mo> ∈ </mo> <msup> <mi> ℕ </mi> <mo> + </mo> </msup> </mrow> </mrow> </mrow> <annotation-xml encoding='MathML-Content'> <mrow> <mrow> <semantics> <mrow> <msubsup> <mi> G </mi> <mrow> <mi> p </mi> <mo> , </mo> <mi> q </mi> </mrow> <mrow> <mi> m </mi> <mo> , </mo> <mi> n </mi> </mrow> </msubsup> <mo> ⁡ </mo> <mrow> <mo> ( </mo> <mrow> <mi> z </mi> <mo> ❘ </mo> <mtable> <mtr> <mtd> <mrow> <msub> <mi> a </mi> <mn> 1 </mn> </msub> <mo> , </mo> <mo> … </mo> <mo> , </mo> <msub> <mi> a </mi> <mi> n </mi> </msub> <mo> , </mo> <msub> <mi> a </mi> <mrow> <mi> n </mi> <mo> + </mo> <mn> 1 </mn> </mrow> </msub> <mo> , </mo> <mo> … </mo> <mo> , </mo> <msub> <mi> a </mi> <mi> p </mi> </msub> </mrow> </mtd> </mtr> <mtr> <mtd> <mrow> <msub> <mi> b </mi> <mn> 1 </mn> </msub> <mo> , </mo> <mo> … </mo> <mo> , </mo> <msub> <mi> b </mi> <mi> m </mi> </msub> <mo> , </mo> <msub> <mi> b </mi> <mrow> <mi> m </mi> <mo> + </mo> <mn> 1 </mn> </mrow> </msub> <mo> , </mo> <mo> … </mo> <mo> , </mo> <msub> <mi> b </mi> <mi> q </mi> </msub> </mrow> </mtd> </mtr> </mtable> </mrow> <mo> ) </mo> </mrow> </mrow> <annotation encoding='Mathematica'> TagBox[RowBox[List[SubsuperscriptBox[TagBox["G", MeijerG], RowBox[List["p", ",", "q"]], RowBox[List["m", ",", "n"]]], "\[InvisibleApplication]", RowBox[List["(", RowBox[List[TagBox["z", MeijerG, Rule[Editable, True]], "\[VerticalSeparator]", GridBox[List[List[RowBox[List[TagBox[SubscriptBox["a", "1"], MeijerG, Rule[Editable, True]], ",", TagBox["\[Ellipsis]", MeijerG, Rule[Editable, True]], ",", TagBox[SubscriptBox["a", "n"], MeijerG, Rule[Editable, True]], ",", TagBox[SubscriptBox["a", RowBox[List["n", "+", "1"]]], MeijerG, Rule[Editable, True]], ",", TagBox["\[Ellipsis]", MeijerG, Rule[Editable, True]], ",", TagBox[SubscriptBox["a", "p"], MeijerG, Rule[Editable, True]]]]], List[RowBox[List[TagBox[SubscriptBox["b", "1"], MeijerG, Rule[Editable, True]], ",", TagBox["\[Ellipsis]", MeijerG, Rule[Editable, True]], ",", TagBox[SubscriptBox["b", "m"], MeijerG, Rule[Editable, True]], ",", TagBox[SubscriptBox["b", RowBox[List["m", "+", "1"]]], MeijerG, Rule[Editable, True]], ",", TagBox["\[Ellipsis]", MeijerG, Rule[Editable, True]], ",", TagBox[SubscriptBox["b", "q"], MeijerG, Rule[Editable, True]]]]]]]]], ")"]]]], MeijerG, Rule[Editable, False]] </annotation> </semantics> <mo> ⩵ </mo> <mrow> <msup> <mrow> <mo> ( </mo> <mrow> <mn> 2 </mn> <mo> ⁢ </mo> <mi> π </mi> </mrow> <mo> ) </mo> </mrow> <mrow> <mrow> <mo> - </mo> <mrow> <mo> ( </mo> <mrow> <mi> k </mi> <mo> - </mo> <mn> 1 </mn> </mrow> <mo> ) </mo> </mrow> </mrow> <mo> ⁢ </mo> <msup> <mi> c </mi> <mo> * </mo> </msup> </mrow> </msup> <mo> ⁢ </mo> <msup> <mi> k </mi> <mi> μ </mi> </msup> <mo> ⁢ </mo> <semantics> <mrow> <msubsup> <mi> G </mi> <mrow> <mrow> <mi> k </mi> <mo> ⁢ </mo> <mi> p </mi> </mrow> <mo> , </mo> <mrow> <mi> k </mi> <mo> ⁢ </mo> <mi> q </mi> </mrow> </mrow> <mrow> <mrow> <mi> k </mi> <mo> ⁢ </mo> <mi> m </mi> </mrow> <mo> , </mo> <mrow> <mi> k </mi> <mo> ⁢ </mo> <mi> n </mi> </mrow> </mrow> </msubsup> <mo> ⁡ </mo> <mrow> <mo> ( </mo> <mrow> <mfrac> <msup> <mi> z </mi> <mi> k </mi> </msup> <msup> <mi> k </mi> <mrow> <mi> k </mi> <mo> ⁢ </mo> <mrow> <mo> ( </mo> <mrow> <mi> q </mi> <mo> - </mo> <mi> p </mi> </mrow> <mo> ) </mo> </mrow> </mrow> </msup> </mfrac> <mo> ❘ </mo> <mtable> <mtr> <mtd> <mrow> <mfrac> <msub> <mi> a </mi> <mn> 1 </mn> </msub> <mi> k </mi> </mfrac> <mo> , </mo> <mo> … </mo> <mo> , </mo> <mfrac> <mrow> <mi> k </mi> <mo> + </mo> <msub> <mi> a </mi> <mn> 1 </mn> </msub> <mo> - </mo> <mn> 1 </mn> </mrow> <mi> k </mi> </mfrac> <mo> , </mo> <mo> … </mo> <mo> , </mo> <mfrac> <msub> <mi> a </mi> <mi> n </mi> </msub> <mi> k </mi> </mfrac> <mo> , </mo> <mo> … </mo> <mo> , </mo> <mfrac> <mrow> <mi> k </mi> <mo> + </mo> <msub> <mi> a </mi> <mi> n </mi> </msub> <mo> - </mo> <mn> 1 </mn> </mrow> <mi> k </mi> </mfrac> <mo> , </mo> <mfrac> <msub> <mi> a </mi> <mrow> <mi> n </mi> <mo> + </mo> <mn> 1 </mn> </mrow> </msub> <mi> k </mi> </mfrac> <mo> , </mo> <mo> … </mo> <mo> , </mo> <mfrac> <mrow> <mi> k </mi> <mo> + </mo> <msub> <mi> a </mi> <mrow> <mi> n </mi> <mo> + </mo> <mn> 1 </mn> </mrow> </msub> <mo> - </mo> <mn> 1 </mn> </mrow> <mi> k </mi> </mfrac> <mo> , </mo> <mo> … </mo> <mo> , </mo> <mfrac> <msub> <mi> a </mi> <mi> p </mi> </msub> <mi> k </mi> </mfrac> <mo> , </mo> <mo> … </mo> <mo> , </mo> <mfrac> <mrow> <mi> k </mi> <mo> + </mo> <msub> <mi> a </mi> <mi> p </mi> </msub> <mo> - </mo> <mn> 1 </mn> </mrow> <mi> k </mi> </mfrac> </mrow> </mtd> </mtr> <mtr> <mtd> <mrow> <mfrac> <msub> <mi> b </mi> <mn> 1 </mn> </msub> <mi> k </mi> </mfrac> <mo> , </mo> <mo> … </mo> <mo> , </mo> <mfrac> <mrow> <mi> k </mi> <mo> + </mo> <msub> <mi> b </mi> <mn> 1 </mn> </msub> <mo> - </mo> <mn> 1 </mn> </mrow> <mi> k </mi> </mfrac> <mo> , </mo> <mo> … </mo> <mo> , </mo> <mfrac> <msub> <mi> b </mi> <mi> m </mi> </msub> <mi> k </mi> </mfrac> <mo> , </mo> <mo> … </mo> <mo> , </mo> <mfrac> <mrow> <mi> k </mi> <mo> + </mo> <msub> <mi> b </mi> <mi> m </mi> </msub> <mo> - </mo> <mn> 1 </mn> </mrow> <mi> k </mi> </mfrac> <mo> , </mo> <mfrac> <msub> <mi> b </mi> <mrow> <mi> m </mi> <mo> + </mo> <mn> 1 </mn> </mrow> </msub> <mi> k </mi> </mfrac> <mo> , </mo> <mo> … </mo> <mo> , </mo> <mfrac> <mrow> <mi> k </mi> <mo> + </mo> <msub> <mi> b </mi> <mrow> <mi> m </mi> <mo> + </mo> <mn> 1 </mn> </mrow> </msub> <mo> - </mo> <mn> 1 </mn> </mrow> <mi> k </mi> </mfrac> <mo> , </mo> <mo> … </mo> <mo> , </mo> <mfrac> <msub> <mi> b </mi> <mi> q </mi> </msub> <mi> k </mi> </mfrac> <mo> , </mo> <mo> … </mo> <mo> , </mo> <mfrac> <mrow> <mi> k </mi> <mo> + </mo> <msub> <mi> b </mi> <mi> q </mi> </msub> <mo> - </mo> <mn> 1 </mn> </mrow> <mi> k </mi> </mfrac> </mrow> </mtd> </mtr> </mtable> </mrow> <mo> ) </mo> </mrow> </mrow> <annotation encoding='Mathematica'> TagBox[RowBox[List[SubsuperscriptBox[TagBox["G", MeijerG], RowBox[List[RowBox[List["k", " ", "p"]], ",", RowBox[List["k", " ", "q"]]]], RowBox[List[RowBox[List["k", " ", "m"]], ",", RowBox[List["k", " ", "n"]]]]], "\[InvisibleApplication]", RowBox[List["(", RowBox[List[TagBox[FractionBox[SuperscriptBox["z", "k"], SuperscriptBox["k", RowBox[List["k", " ", RowBox[List["(", RowBox[List["q", "-", "p"]], ")"]]]]]], MeijerG, Rule[Editable, True]], "\[VerticalSeparator]", GridBox[List[List[RowBox[List[TagBox[FractionBox[SubscriptBox["a", "1"], "k"], MeijerG, Rule[Editable, True]], ",", TagBox["\[Ellipsis]", MeijerG, Rule[Editable, True]], ",", TagBox[FractionBox[RowBox[List["k", "+", SubscriptBox["a", "1"], "-", "1"]], "k"], MeijerG, Rule[Editable, True]], ",", TagBox["\[Ellipsis]", MeijerG, Rule[Editable, True]], ",", TagBox[FractionBox[SubscriptBox["a", "n"], "k"], MeijerG, Rule[Editable, True]], ",", TagBox["\[Ellipsis]", MeijerG, Rule[Editable, True]], ",", TagBox[FractionBox[RowBox[List["k", "+", SubscriptBox["a", "n"], "-", "1"]], "k"], MeijerG, Rule[Editable, True]], ",", TagBox[FractionBox[SubscriptBox["a", RowBox[List["n", "+", "1"]]], "k"], MeijerG, Rule[Editable, True]], ",", TagBox["\[Ellipsis]", MeijerG, Rule[Editable, True]], ",", TagBox[FractionBox[RowBox[List["k", "+", SubscriptBox["a", RowBox[List["n", "+", "1"]]], "-", "1"]], "k"], MeijerG, Rule[Editable, True]], ",", TagBox["\[Ellipsis]", MeijerG, Rule[Editable, True]], ",", TagBox[FractionBox[SubscriptBox["a", "p"], "k"], MeijerG, Rule[Editable, True]], ",", TagBox["\[Ellipsis]", MeijerG, Rule[Editable, True]], ",", TagBox[FractionBox[RowBox[List["k", "+", SubscriptBox["a", "p"], "-", "1"]], "k"], MeijerG, Rule[Editable, True]]]]], List[RowBox[List[TagBox[FractionBox[SubscriptBox["b", "1"], "k"], MeijerG, Rule[Editable, True]], ",", TagBox["\[Ellipsis]", MeijerG, Rule[Editable, True]], ",", TagBox[FractionBox[RowBox[List["k", "+", SubscriptBox["b", "1"], "-", "1"]], "k"], MeijerG, Rule[Editable, True]], ",", TagBox["\[Ellipsis]", MeijerG, Rule[Editable, True]], ",", TagBox[FractionBox[SubscriptBox["b", "m"], "k"], MeijerG, Rule[Editable, True]], ",", TagBox["\[Ellipsis]", MeijerG, Rule[Editable, True]], ",", TagBox[FractionBox[RowBox[List["k", "+", SubscriptBox["b", "m"], "-", "1"]], "k"], MeijerG, Rule[Editable, True]], ",", TagBox[FractionBox[SubscriptBox["b", RowBox[List["m", "+", "1"]]], "k"], MeijerG, Rule[Editable, True]], ",", TagBox["\[Ellipsis]", MeijerG, Rule[Editable, True]], ",", TagBox[FractionBox[RowBox[List["k", "+", SubscriptBox["b", RowBox[List["m", "+", "1"]]], "-", "1"]], "k"], MeijerG, Rule[Editable, True]], ",", TagBox["\[Ellipsis]", MeijerG, Rule[Editable, True]], ",", TagBox[FractionBox[SubscriptBox["b", "q"], "k"], MeijerG, Rule[Editable, True]], ",", TagBox["\[Ellipsis]", MeijerG, Rule[Editable, True]], ",", TagBox[FractionBox[RowBox[List["k", "+", SubscriptBox["b", "q"], "-", "1"]], "k"], MeijerG, Rule[Editable, True]]]]]]]]], ")"]]]], MeijerG, Rule[Editable, True]] </annotation> </semantics> </mrow> </mrow> <mo> /; </mo> <mrow> <mrow> <msup> <mi> c </mi> <mo> * </mo> </msup> <mo> ⩵ </mo> <mrow> <mi> m </mi> <mo> + </mo> <mi> n </mi> <mo> - </mo> <mfrac> <mrow> <mi> p </mi> <mo> + </mo> <mi> q </mi> </mrow> <mn> 2 </mn> </mfrac> </mrow> </mrow> <mo> ∧ </mo> <mrow> <mi> μ </mi> <mo> ⩵ </mo> <mrow> <mrow> <munderover> <mo> ∑ </mo> <mrow> <mi> k </mi> <mo> = </mo> <mn> 1 </mn> </mrow> <mi> q </mi> </munderover> <msub> <mi> b </mi> <mi> k </mi> </msub> </mrow> <mo> - </mo> <mrow> <munderover> <mo> ∑ </mo> <mrow> <mi> k </mi> <mo> = </mo> <mn> 1 </mn> </mrow> <mi> p </mi> </munderover> <msub> <mi> a </mi> <mi> k </mi> </msub> </mrow> <mo> + </mo> <mfrac> <mrow> <mi> p </mi> <mo> - </mo> <mi> q </mi> </mrow> <mn> 2 </mn> </mfrac> <mo> + </mo> <mn> 1 </mn> </mrow> </mrow> <mo> ∧ </mo> <mrow> <mi> k </mi> <mo> ∈ </mo> <msup> <mi> ℕ </mi> <mo> + </mo> </msup> </mrow> </mrow> </mrow> </annotation-xml> </semantics> </math>

Rule Form

Cell[BoxData[RowBox[List[RowBox[List["HoldPattern", "[", RowBox[List["MeijerG", "[", RowBox[List[RowBox[List["{", RowBox[List[RowBox[List["{", RowBox[List[SubscriptBox["a_", "1"], ",", "\[Ellipsis]_", ",", SubscriptBox["a_", "n_"]]], "}"]], ",", RowBox[List["{", RowBox[List[SubscriptBox["a_", RowBox[List["n_", "+", "1"]]], ",", "\[Ellipsis]_", ",", SubscriptBox["a_", "p_"]]], "}"]]]], "}"]], ",", RowBox[List["{", RowBox[List[RowBox[List["{", RowBox[List[SubscriptBox["b_", "1"], ",", "\[Ellipsis]_", ",", SubscriptBox["b_", "m_"]]], "}"]], ",", RowBox[List["{", RowBox[List[SubscriptBox["b_", RowBox[List["m_", "+", "1"]]], ",", "\[Ellipsis]_", ",", SubscriptBox["b_", "q_"]]], "}"]]]], "}"]], ",", "z_"]], "]"]], "]"]], "\[RuleDelayed]", RowBox[List[RowBox[List[SuperscriptBox[RowBox[List["(", RowBox[List["2", " ", "\[Pi]"]], ")"]], RowBox[List[RowBox[List["-", RowBox[List["(", RowBox[List["k", "-", "1"]], ")"]]]], " ", SuperscriptBox["c", "*"]]]], " ", SuperscriptBox["k", "\[Mu]"], " ", RowBox[List["MeijerG", "[", RowBox[List[RowBox[List["{", RowBox[List[RowBox[List["{", RowBox[List[FractionBox[SubscriptBox["aa", "1"], "k"], ",", "\[Ellipsis]", ",", FractionBox[RowBox[List[SubscriptBox["aa", "1"], "+", "k", "-", "1"]], "k"], ",", "\[Ellipsis]", ",", FractionBox[SubscriptBox["aa", "n"], "k"], ",", "\[Ellipsis]", ",", FractionBox[RowBox[List[SubscriptBox["aa", "n"], "+", "k", "-", "1"]], "k"]]], "}"]], ",", RowBox[List["{", RowBox[List[FractionBox[SubscriptBox["a", RowBox[List["n", "+", "1"]]], "k"], ",", "\[Ellipsis]", ",", FractionBox[RowBox[List[SubscriptBox["a", RowBox[List["n", "+", "1"]]], "+", "k", "-", "1"]], "k"], ",", "\[Ellipsis]", ",", FractionBox[SubscriptBox["aa", "p"], "k"], ",", "\[Ellipsis]", ",", FractionBox[RowBox[List[SubscriptBox["aa", "p"], "+", "k", "-", "1"]], "k"]]], "}"]]]], "}"]], ",", RowBox[List["{", RowBox[List[RowBox[List["{", RowBox[List[FractionBox[SubscriptBox["bb", "1"], "k"], ",", "\[Ellipsis]", ",", FractionBox[RowBox[List[SubscriptBox["bb", "1"], "+", "k", "-", "1"]], "k"], ",", "\[Ellipsis]", ",", FractionBox[SubscriptBox["bb", "m"], "k"], ",", "\[Ellipsis]", ",", FractionBox[RowBox[List[SubscriptBox["bb", "m"], "+", "k", "-", "1"]], "k"]]], "}"]], ",", RowBox[List["{", RowBox[List[FractionBox[SubscriptBox["b", RowBox[List["m", "+", "1"]]], "k"], ",", "\[Ellipsis]", ",", FractionBox[RowBox[List[SubscriptBox["b", RowBox[List["m", "+", "1"]]], "+", "k", "-", "1"]], "k"], ",", "\[Ellipsis]", ",", FractionBox[SubscriptBox["bb", "q"], "k"], ",", "\[Ellipsis]", ",", FractionBox[RowBox[List[SubscriptBox["bb", "q"], "+", "k", "-", "1"]], "k"]]], "}"]]]], "}"]], ",", FractionBox[SuperscriptBox["z", "k"], SuperscriptBox["k", RowBox[List["k", " ", RowBox[List["(", RowBox[List["q", "-", "p"]], ")"]]]]]]]], "]"]]]], "/;", RowBox[List[RowBox[List[SuperscriptBox["c", "*"], "\[Equal]", RowBox[List["m", "+", "n", "-", FractionBox[RowBox[List["p", "+", "q"]], "2"]]]]], "&&", RowBox[List["\[Mu]", "\[Equal]", RowBox[List[RowBox[List[UnderoverscriptBox["\[Sum]", RowBox[List["k", "=", "1"]], "q"], SubscriptBox["b", "k"]]], "-", RowBox[List[UnderoverscriptBox["\[Sum]", RowBox[List["k", "=", "1"]], "p"], SubscriptBox["a", "k"]]], "+", FractionBox[RowBox[List["p", "-", "q"]], "2"], "+", "1"]]]], "&&", RowBox[List["k", "\[Element]", "Integers"]], "&&", RowBox[List["k", ">", "0"]]]]]]]]]]

Date Added to functions.wolfram.com (modification date)

2001-10-29

MeijerG[{{a₁,...,a_n},{a_n+1,...,a_p}},{{b₁,...,b_m},{b_m+1,...,b_q}},z,r]