|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Hypergeometric Functions
MeijerG[{{a1,...,an},{an+1,...,ap}},{{b1,...,bm},{bm+1,...,bq}},z]
Integration
Definite integration
Integrals including G functions with rational arguments
|
|
|
|
|
|
|
http://functions.wolfram.com/07.34.21.0095.01
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Integrate[(\[Tau]^(\[Alpha] - 1)/(\[Tau] + z)^\[Beta])
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]}},
(\[Omega] (\[Tau] + z)^l)/\[Tau]^k], {\[Tau], 0, Infinity}] ==
((Sqrt[2 Pi] k^(\[Alpha] - 1/2) l^(1/2 - \[Beta]) z^(\[Alpha] - \[Beta]))/
(l - k)^(\[Alpha] - \[Beta] + 1/2))
MeijerG[{{Subscript[a, 1], \[Ellipsis], Subscript[a, n]},
{Subscript[a, n + 1], \[Ellipsis], Subscript[a, p], \[Beta]/l,
\[Ellipsis], (\[Beta] + l - 1)/l}},
{{\[Alpha]/k, \[Ellipsis], (\[Alpha] + k - 1)/k,
(\[Beta] - \[Alpha])/(l - k), \[Ellipsis],
(\[Beta] - \[Alpha] + l - k - 1)/(l - k), Subscript[b, 1], \[Ellipsis],
Subscript[b, m]}, {Subscript[b, m + 1], \[Ellipsis], Subscript[b, q]}},
((\[Omega] l^l)/k^k) (z/(l - k))^(l - k)] /;
Element[k, Integers] && k > 0 && Element[l, Integers] && l > 0 && k < l &&
SuperStar[c] > 0 && Abs[Arg[\[Omega] z^(l - k)]] < Pi SuperStar[c] &&
(l - k) (1 - Max[Re[Subscript[a, 1]], \[Ellipsis], Re[Subscript[a, n]]]) +
Re[\[Beta] - \[Alpha]] > 0 &&
k - k Max[Re[Subscript[a, 1]], \[Ellipsis], Re[Subscript[a, n]]] +
Re[\[Alpha]] > 0
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Cell[BoxData[RowBox[List[RowBox[List[RowBox[List[SubsuperscriptBox["\[Integral]", "0", "\[Infinity]"], RowBox[List[FractionBox[SuperscriptBox["\[Tau]", RowBox[List["\[Alpha]", "-", "1"]]], SuperscriptBox[RowBox[List["(", RowBox[List["\[Tau]", "+", "z"]], ")"]], "\[Beta]"]], 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"]]], "}"]]]], "}"]], ",", FractionBox[RowBox[List["\[Omega]", SuperscriptBox[RowBox[List["(", RowBox[List["\[Tau]", "+", "z"]], ")"]], "l"]]], SuperscriptBox["\[Tau]", "k"]]]], "]"]], RowBox[List["\[DifferentialD]", "\[Tau]"]]]]]], "\[Equal]", RowBox[List[FractionBox[RowBox[List[SqrtBox[RowBox[List["2", "\[Pi]"]]], SuperscriptBox["k", RowBox[List["\[Alpha]", "-", FractionBox["1", "2"]]]], SuperscriptBox["l", RowBox[List[FractionBox["1", "2"], "-", "\[Beta]"]]], SuperscriptBox["z", RowBox[List["\[Alpha]", "-", "\[Beta]"]]]]], SuperscriptBox[RowBox[List["(", RowBox[List["l", "-", "k"]], ")"]], RowBox[List["\[Alpha]", "-", "\[Beta]", "+", FractionBox["1", "2"]]]]], " ", 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"], ",", FractionBox["\[Beta]", "l"], ",", "\[Ellipsis]", ",", FractionBox[RowBox[List["\[Beta]", "+", "l", "-", "1"]], "l"]]], "}"]]]], "}"]], ",", RowBox[List["{", RowBox[List[RowBox[List["{", RowBox[List[FractionBox["\[Alpha]", "k"], ",", "\[Ellipsis]", ",", FractionBox[RowBox[List["\[Alpha]", "+", "k", "-", "1"]], "k"], ",", FractionBox[RowBox[List["\[Beta]", "-", "\[Alpha]"]], RowBox[List["l", "-", "k"]]], ",", "\[Ellipsis]", ",", FractionBox[RowBox[List["\[Beta]", "-", "\[Alpha]", "+", "l", "-", "k", "-", "1"]], RowBox[List["l", "-", "k"]]], ",", SubscriptBox["b", "1"], ",", "\[Ellipsis]", ",", SubscriptBox["b", "m"]]], "}"]], ",", RowBox[List["{", RowBox[List[SubscriptBox["b", RowBox[List["m", "+", "1"]]], ",", "\[Ellipsis]", ",", SubscriptBox["b", "q"]]], "}"]]]], "}"]], ",", RowBox[List[FractionBox[RowBox[List["\[Omega]", " ", SuperscriptBox["l", "l"]]], SuperscriptBox["k", "k"]], SuperscriptBox[RowBox[List["(", FractionBox["z", RowBox[List["l", "-", "k"]]], ")"]], RowBox[List["l", "-", "k"]]]]]]], "]"]]]]]], "/;", RowBox[List[RowBox[List["k", "\[Element]", "Integers"]], "\[And]", RowBox[List["k", ">", "0"]], "\[And]", RowBox[List["l", "\[Element]", "Integers"]], "\[And]", RowBox[List["l", ">", "0"]], "\[And]", RowBox[List["k", "<", "l"]], "\[And]", RowBox[List[SuperscriptBox["c", "*"], ">", "0"]], "\[And]", RowBox[List[RowBox[List["Abs", "[", RowBox[List["Arg", "[", RowBox[List["\[Omega]", " ", SuperscriptBox["z", RowBox[List["l", "-", "k"]]]]], "]"]], "]"]], "<", RowBox[List["\[Pi]", " ", SuperscriptBox["c", "*"]]]]], "\[And]", RowBox[List[RowBox[List[RowBox[List[RowBox[List["(", RowBox[List["l", "-", "k"]], ")"]], RowBox[List["(", RowBox[List["1", "-", RowBox[List["Max", "[", RowBox[List[RowBox[List["Re", "[", SubscriptBox["a", "1"], "]"]], ",", "\[Ellipsis]", ",", RowBox[List["Re", "[", SubscriptBox["a", "n"], "]"]]]], "]"]]]], ")"]]]], "+", RowBox[List["Re", "[", RowBox[List["\[Beta]", "-", "\[Alpha]"]], "]"]]]], ">", "0"]], "\[And]", RowBox[List[RowBox[List["k", "-", RowBox[List["k", " ", RowBox[List["Max", "[", RowBox[List[RowBox[List["Re", "[", SubscriptBox["a", "1"], "]"]], ",", "\[Ellipsis]", ",", RowBox[List["Re", "[", SubscriptBox["a", "n"], "]"]]]], "]"]]]], "+", RowBox[List["Re", "[", "\[Alpha]", "]"]]]], ">", "0"]]]]]]]]
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
<math xmlns='http://www.w3.org/1998/Math/MathML' mathematica:form='TraditionalForm' xmlns:mathematica='http://www.wolfram.com/XML/'> <semantics> <mrow> <mrow> <mrow> <msubsup> <mo> ∫ </mo> <mn> 0 </mn> <mi> ∞ </mi> </msubsup> <mrow> <mfrac> <mrow> <msup> <mi> τ </mi> <mrow> <mi> α </mi> <mo> - </mo> <mn> 1 </mn> </mrow> </msup> <mtext> </mtext> </mrow> <msup> <mrow> <mo> ( </mo> <mrow> <mi> z </mi> <mo> + </mo> <mi> τ </mi> </mrow> <mo> ) </mo> </mrow> <mi> β </mi> </msup> </mfrac> <mo> ⁢ </mo> <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> <mfrac> <mrow> <mi> ω </mi> <mo> ⁢ </mo> <msup> <mrow> <mo> ( </mo> <mrow> <mi> z </mi> <mo> + </mo> <mi> τ </mi> </mrow> <mo> ) </mo> </mrow> <mi> l </mi> </msup> </mrow> <msup> <mi> τ </mi> <mi> k </mi> </msup> </mfrac> <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[FractionBox[RowBox[List["\[Omega]", " ", SuperscriptBox[RowBox[List["(", RowBox[List["z", "+", "\[Tau]"]], ")"]], "l"]]], SuperscriptBox["\[Tau]", "k"]], 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> <mo> ⅆ </mo> <mi> τ </mi> </mrow> </mrow> </mrow> <mo> ⩵ </mo> <mrow> <mfrac> <mrow> <msqrt> <mrow> <mn> 2 </mn> <mo> ⁢ </mo> <mi> π </mi> </mrow> </msqrt> <mo> ⁢ </mo> <msup> <mi> k </mi> <mrow> <mi> α </mi> <mo> - </mo> <mfrac> <mn> 1 </mn> <mn> 2 </mn> </mfrac> </mrow> </msup> <mo> ⁢ </mo> <msup> <mi> l </mi> <mrow> <mfrac> <mn> 1 </mn> <mn> 2 </mn> </mfrac> <mo> - </mo> <mi> β </mi> </mrow> </msup> <mo> ⁢ </mo> <msup> <mi> z </mi> <mrow> <mi> α </mi> <mo> - </mo> <mi> β </mi> </mrow> </msup> <mtext> </mtext> </mrow> <msup> <mrow> <mo> ( </mo> <mrow> <mi> l </mi> <mo> - </mo> <mi> k </mi> </mrow> <mo> ) </mo> </mrow> <mrow> <mi> α </mi> <mo> - </mo> <mi> β </mi> <mo> + </mo> <mfrac> <mn> 1 </mn> <mn> 2 </mn> </mfrac> </mrow> </msup> </mfrac> <mo> ⁢ </mo> <semantics> <mrow> <msubsup> <mi> G </mi> <mrow> <mrow> <mi> p </mi> <mo> + </mo> <mi> l </mi> </mrow> <mo> , </mo> <mrow> <mi> q </mi> <mo> + </mo> <mi> l </mi> </mrow> </mrow> <mrow> <mrow> <mi> m </mi> <mo> + </mo> <mi> l </mi> </mrow> <mo> , </mo> <mi> n </mi> </mrow> </msubsup> <mo> ⁡ </mo> <mrow> <mo> ( </mo> <mrow> <mrow> <mfrac> <mrow> <mi> ω </mi> <mo> ⁢ </mo> <msup> <mi> l </mi> <mi> l </mi> </msup> </mrow> <msup> <mi> k </mi> <mi> k </mi> </msup> </mfrac> <mo> ⁢ </mo> <msup> <mrow> <mo> ( </mo> <mfrac> <mi> z </mi> <mrow> <mi> l </mi> <mo> - </mo> <mi> k </mi> </mrow> </mfrac> <mo> ) </mo> </mrow> <mrow> <mi> l </mi> <mo> - </mo> <mi> k </mi> </mrow> </msup> </mrow> <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> <mo> , </mo> <mfrac> <mi> β </mi> <mi> l </mi> </mfrac> <mo> , </mo> <mo> … </mo> <mo> , </mo> <mfrac> <mrow> <mi> β </mi> <mo> + </mo> <mi> l </mi> <mo> - </mo> <mn> 1 </mn> </mrow> <mi> l </mi> </mfrac> </mrow> </mtd> </mtr> <mtr> <mtd> <mrow> <mfrac> <mi> α </mi> <mi> k </mi> </mfrac> <mo> , </mo> <mo> … </mo> <mo> , </mo> <mfrac> <mrow> <mi> α </mi> <mo> + </mo> <mi> k </mi> <mo> - </mo> <mn> 1 </mn> </mrow> <mi> k </mi> </mfrac> <mo> , </mo> <mfrac> <mrow> <mi> β </mi> <mo> - </mo> <mi> α </mi> </mrow> <mrow> <mi> l </mi> <mo> - </mo> <mi> k </mi> </mrow> </mfrac> <mo> , </mo> <mo> … </mo> <mo> , </mo> <mfrac> <mrow> <mi> β </mi> <mo> - </mo> <mi> α </mi> <mo> + </mo> <mi> l </mi> <mo> - </mo> <mi> k </mi> <mo> - </mo> <mn> 1 </mn> </mrow> <mrow> <mi> l </mi> <mo> - </mo> <mi> k </mi> </mrow> </mfrac> <mo> , </mo> <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[RowBox[List["p", "+", "l"]], ",", RowBox[List["q", "+", "l"]]]], RowBox[List[RowBox[List["m", "+", "l"]], ",", "n"]]], "\[InvisibleApplication]", RowBox[List["(", RowBox[List[TagBox[RowBox[List[FractionBox[RowBox[List["\[Omega]", " ", SuperscriptBox["l", "l"]]], SuperscriptBox["k", "k"]], SuperscriptBox[RowBox[List["(", FractionBox["z", RowBox[List["l", "-", "k"]]], ")"]], RowBox[List["l", "-", "k"]]]]], 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]], ",", TagBox[FractionBox["\[Beta]", "l"], MeijerG, Rule[Editable, True]], ",", TagBox["\[Ellipsis]", MeijerG, Rule[Editable, True]], ",", TagBox[FractionBox[RowBox[List["\[Beta]", "+", "l", "-", "1"]], "l"], MeijerG, Rule[Editable, True]]]]], List[RowBox[List[TagBox[FractionBox["\[Alpha]", "k"], MeijerG, Rule[Editable, True]], ",", TagBox["\[Ellipsis]", MeijerG, Rule[Editable, True]], ",", TagBox[FractionBox[RowBox[List["\[Alpha]", "+", "k", "-", "1"]], "k"], MeijerG, Rule[Editable, True]], ",", TagBox[FractionBox[RowBox[List["\[Beta]", "-", "\[Alpha]"]], RowBox[List["l", "-", "k"]]], MeijerG, Rule[Editable, True]], ",", TagBox["\[Ellipsis]", MeijerG, Rule[Editable, True]], ",", TagBox[FractionBox[RowBox[List["\[Beta]", "-", "\[Alpha]", "+", "l", "-", "k", "-", "1"]], RowBox[List["l", "-", "k"]]], MeijerG, Rule[Editable, True]], ",", 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, True]] </annotation> </semantics> </mrow> </mrow> <mo> /; </mo> <mrow> <mrow> <mi> k </mi> <mo> ∈ </mo> <msup> <mi> ℕ </mi> <mo> + </mo> </msup> </mrow> <mo> ∧ </mo> <mrow> <mi> l </mi> <mo> ∈ </mo> <msup> <mi> ℕ </mi> <mo> + </mo> </msup> </mrow> <mo> ∧ </mo> <mrow> <mi> k </mi> <mo> < </mo> <mi> l </mi> </mrow> <mo> ∧ </mo> <mrow> <msup> <mi> c </mi> <mo> * </mo> </msup> <mo> > </mo> <mn> 0 </mn> </mrow> <mo> ∧ </mo> <mrow> <mrow> <semantics> <mo> ❘ </mo> <annotation encoding='Mathematica'> "\[LeftBracketingBar]" </annotation> </semantics> <mrow> <mi> arg </mi> <mo> ⁡ </mo> <mo> ( </mo> <mrow> <mi> ω </mi> <mo> ⁢ </mo> <msup> <mi> z </mi> <mrow> <mi> l </mi> <mo> - </mo> <mi> k </mi> </mrow> </msup> </mrow> <mo> ) </mo> </mrow> <semantics> <mo> ❘ </mo> <annotation encoding='Mathematica'> "\[RightBracketingBar]" </annotation> </semantics> </mrow> <mo> < </mo> <mrow> <mi> π </mi> <mo> ⁢ </mo> <msup> <mi> c </mi> <mo> * </mo> </msup> </mrow> </mrow> <mo> ∧ </mo> <mrow> <mrow> <mrow> <mrow> <mo> ( </mo> <mrow> <mi> l </mi> <mo> - </mo> <mi> k </mi> </mrow> <mo> ) </mo> </mrow> <mo> ⁢ </mo> <mrow> <mo> ( </mo> <mrow> <mn> 1 </mn> <mo> - </mo> <mrow> <mi> max </mi> <mo> ⁡ </mo> <mo> ( </mo> <mrow> <mrow> <mi> Re </mi> <mo> ⁡ </mo> <mo> ( </mo> <msub> <mi> a </mi> <mn> 1 </mn> </msub> <mo> ) </mo> </mrow> <mo> , </mo> <mo> … </mo> <mo> , </mo> <mrow> <mi> Re </mi> <mo> ⁡ </mo> <mo> ( </mo> <msub> <mi> a </mi> <mi> n </mi> </msub> <mo> ) </mo> </mrow> </mrow> <mo> ) </mo> </mrow> </mrow> <mo> ) </mo> </mrow> </mrow> <mo> + </mo> <mrow> <mi> Re </mi> <mo> ⁡ </mo> <mo> ( </mo> <mrow> <mi> β </mi> <mo> - </mo> <mi> α </mi> </mrow> <mo> ) </mo> </mrow> </mrow> <mo> > </mo> <mn> 0 </mn> </mrow> <mo> ∧ </mo> <mrow> <mrow> <mi> k </mi> <mo> - </mo> <mrow> <mi> k </mi> <mo> ⁢ </mo> <mrow> <mi> max </mi> <mo> ⁡ </mo> <mo> ( </mo> <mrow> <mrow> <mi> Re </mi> <mo> ⁡ </mo> <mo> ( </mo> <msub> <mi> a </mi> <mn> 1 </mn> </msub> <mo> ) </mo> </mrow> <mo> , </mo> <mo> … </mo> <mo> , </mo> <mrow> <mi> Re </mi> <mo> ⁡ </mo> <mo> ( </mo> <msub> <mi> a </mi> <mi> n </mi> </msub> <mo> ) </mo> </mrow> </mrow> <mo> ) </mo> </mrow> </mrow> <mo> + </mo> <mrow> <mi> Re </mi> <mo> ⁡ </mo> <mo> ( </mo> <mi> α </mi> <mo> ) </mo> </mrow> </mrow> <mo> > </mo> <mn> 0 </mn> </mrow> </mrow> </mrow> <annotation-xml encoding='MathML-Content'> <mrow> <mrow> <mrow> <msubsup> <mo> ∫ </mo> <mn> 0 </mn> <mi> ∞ </mi> </msubsup> <mrow> <mfrac> <mrow> <msup> <mi> τ </mi> <mrow> <mi> α </mi> <mo> - </mo> <mn> 1 </mn> </mrow> </msup> <mtext> </mtext> </mrow> <msup> <mrow> <mo> ( </mo> <mrow> <mi> z </mi> <mo> + </mo> <mi> τ </mi> </mrow> <mo> ) </mo> </mrow> <mi> β </mi> </msup> </mfrac> <mo> ⁢ </mo> <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> <mfrac> <mrow> <mi> ω </mi> <mo> ⁢ </mo> <msup> <mrow> <mo> ( </mo> <mrow> <mi> z </mi> <mo> + </mo> <mi> τ </mi> </mrow> <mo> ) </mo> </mrow> <mi> l </mi> </msup> </mrow> <msup> <mi> τ </mi> <mi> k </mi> </msup> </mfrac> <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[FractionBox[RowBox[List["\[Omega]", " ", SuperscriptBox[RowBox[List["(", RowBox[List["z", "+", "\[Tau]"]], ")"]], "l"]]], SuperscriptBox["\[Tau]", "k"]], 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> <mo> ⅆ </mo> <mi> τ </mi> </mrow> </mrow> </mrow> <mo> ⩵ </mo> <mrow> <mfrac> <mrow> <msqrt> <mrow> <mn> 2 </mn> <mo> ⁢ </mo> <mi> π </mi> </mrow> </msqrt> <mo> ⁢ </mo> <msup> <mi> k </mi> <mrow> <mi> α </mi> <mo> - </mo> <mfrac> <mn> 1 </mn> <mn> 2 </mn> </mfrac> </mrow> </msup> <mo> ⁢ </mo> <msup> <mi> l </mi> <mrow> <mfrac> <mn> 1 </mn> <mn> 2 </mn> </mfrac> <mo> - </mo> <mi> β </mi> </mrow> </msup> <mo> ⁢ </mo> <msup> <mi> z </mi> <mrow> <mi> α </mi> <mo> - </mo> <mi> β </mi> </mrow> </msup> <mtext> </mtext> </mrow> <msup> <mrow> <mo> ( </mo> <mrow> <mi> l </mi> <mo> - </mo> <mi> k </mi> </mrow> <mo> ) </mo> </mrow> <mrow> <mi> α </mi> <mo> - </mo> <mi> β </mi> <mo> + </mo> <mfrac> <mn> 1 </mn> <mn> 2 </mn> </mfrac> </mrow> </msup> </mfrac> <mo> ⁢ </mo> <semantics> <mrow> <msubsup> <mi> G </mi> <mrow> <mrow> <mi> p </mi> <mo> + </mo> <mi> l </mi> </mrow> <mo> , </mo> <mrow> <mi> q </mi> <mo> + </mo> <mi> l </mi> </mrow> </mrow> <mrow> <mrow> <mi> m </mi> <mo> + </mo> <mi> l </mi> </mrow> <mo> , </mo> <mi> n </mi> </mrow> </msubsup> <mo> ⁡ </mo> <mrow> <mo> ( </mo> <mrow> <mrow> <mfrac> <mrow> <mi> ω </mi> <mo> ⁢ </mo> <msup> <mi> l </mi> <mi> l </mi> </msup> </mrow> <msup> <mi> k </mi> <mi> k </mi> </msup> </mfrac> <mo> ⁢ </mo> <msup> <mrow> <mo> ( </mo> <mfrac> <mi> z </mi> <mrow> <mi> l </mi> <mo> - </mo> <mi> k </mi> </mrow> </mfrac> <mo> ) </mo> </mrow> <mrow> <mi> l </mi> <mo> - </mo> <mi> k </mi> </mrow> </msup> </mrow> <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> <mo> , </mo> <mfrac> <mi> β </mi> <mi> l </mi> </mfrac> <mo> , </mo> <mo> … </mo> <mo> , </mo> <mfrac> <mrow> <mi> β </mi> <mo> + </mo> <mi> l </mi> <mo> - </mo> <mn> 1 </mn> </mrow> <mi> l </mi> </mfrac> </mrow> </mtd> </mtr> <mtr> <mtd> <mrow> <mfrac> <mi> α </mi> <mi> k </mi> </mfrac> <mo> , </mo> <mo> … </mo> <mo> , </mo> <mfrac> <mrow> <mi> α </mi> <mo> + </mo> <mi> k </mi> <mo> - </mo> <mn> 1 </mn> </mrow> <mi> k </mi> </mfrac> <mo> , </mo> <mfrac> <mrow> <mi> β </mi> <mo> - </mo> <mi> α </mi> </mrow> <mrow> <mi> l </mi> <mo> - </mo> <mi> k </mi> </mrow> </mfrac> <mo> , </mo> <mo> … </mo> <mo> , </mo> <mfrac> <mrow> <mi> β </mi> <mo> - </mo> <mi> α </mi> <mo> + </mo> <mi> l </mi> <mo> - </mo> <mi> k </mi> <mo> - </mo> <mn> 1 </mn> </mrow> <mrow> <mi> l </mi> <mo> - </mo> <mi> k </mi> </mrow> </mfrac> <mo> , </mo> <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[RowBox[List["p", "+", "l"]], ",", RowBox[List["q", "+", "l"]]]], RowBox[List[RowBox[List["m", "+", "l"]], ",", "n"]]], "\[InvisibleApplication]", RowBox[List["(", RowBox[List[TagBox[RowBox[List[FractionBox[RowBox[List["\[Omega]", " ", SuperscriptBox["l", "l"]]], SuperscriptBox["k", "k"]], SuperscriptBox[RowBox[List["(", FractionBox["z", RowBox[List["l", "-", "k"]]], ")"]], RowBox[List["l", "-", "k"]]]]], 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]], ",", TagBox[FractionBox["\[Beta]", "l"], MeijerG, Rule[Editable, True]], ",", TagBox["\[Ellipsis]", MeijerG, Rule[Editable, True]], ",", TagBox[FractionBox[RowBox[List["\[Beta]", "+", "l", "-", "1"]], "l"], MeijerG, Rule[Editable, True]]]]], List[RowBox[List[TagBox[FractionBox["\[Alpha]", "k"], MeijerG, Rule[Editable, True]], ",", TagBox["\[Ellipsis]", MeijerG, Rule[Editable, True]], ",", TagBox[FractionBox[RowBox[List["\[Alpha]", "+", "k", "-", "1"]], "k"], MeijerG, Rule[Editable, True]], ",", TagBox[FractionBox[RowBox[List["\[Beta]", "-", "\[Alpha]"]], RowBox[List["l", "-", "k"]]], MeijerG, Rule[Editable, True]], ",", TagBox["\[Ellipsis]", MeijerG, Rule[Editable, True]], ",", TagBox[FractionBox[RowBox[List["\[Beta]", "-", "\[Alpha]", "+", "l", "-", "k", "-", "1"]], RowBox[List["l", "-", "k"]]], MeijerG, Rule[Editable, True]], ",", 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, True]] </annotation> </semantics> </mrow> </mrow> <mo> /; </mo> <mrow> <mrow> <mi> k </mi> <mo> ∈ </mo> <msup> <mi> ℕ </mi> <mo> + </mo> </msup> </mrow> <mo> ∧ </mo> <mrow> <mi> l </mi> <mo> ∈ </mo> <msup> <mi> ℕ </mi> <mo> + </mo> </msup> </mrow> <mo> ∧ </mo> <mrow> <mi> k </mi> <mo> < </mo> <mi> l </mi> </mrow> <mo> ∧ </mo> <mrow> <msup> <mi> c </mi> <mo> * </mo> </msup> <mo> > </mo> <mn> 0 </mn> </mrow> <mo> ∧ </mo> <mrow> <mrow> <semantics> <mo> ❘ </mo> <annotation encoding='Mathematica'> "\[LeftBracketingBar]" </annotation> </semantics> <mrow> <mi> arg </mi> <mo> ⁡ </mo> <mo> ( </mo> <mrow> <mi> ω </mi> <mo> ⁢ </mo> <msup> <mi> z </mi> <mrow> <mi> l </mi> <mo> - </mo> <mi> k </mi> </mrow> </msup> </mrow> <mo> ) </mo> </mrow> <semantics> <mo> ❘ </mo> <annotation encoding='Mathematica'> "\[RightBracketingBar]" </annotation> </semantics> </mrow> <mo> < </mo> <mrow> <mi> π </mi> <mo> ⁢ </mo> <msup> <mi> c </mi> <mo> * </mo> </msup> </mrow> </mrow> <mo> ∧ </mo> <mrow> <mrow> <mrow> <mrow> <mo> ( </mo> <mrow> <mi> l </mi> <mo> - </mo> <mi> k </mi> </mrow> <mo> ) </mo> </mrow> <mo> ⁢ </mo> <mrow> <mo> ( </mo> <mrow> <mn> 1 </mn> <mo> - </mo> <mrow> <mi> max </mi> <mo> ⁡ </mo> <mo> ( </mo> <mrow> <mrow> <mi> Re </mi> <mo> ⁡ </mo> <mo> ( </mo> <msub> <mi> a </mi> <mn> 1 </mn> </msub> <mo> ) </mo> </mrow> <mo> , </mo> <mo> … </mo> <mo> , </mo> <mrow> <mi> Re </mi> <mo> ⁡ </mo> <mo> ( </mo> <msub> <mi> a </mi> <mi> n </mi> </msub> <mo> ) </mo> </mrow> </mrow> <mo> ) </mo> </mrow> </mrow> <mo> ) </mo> </mrow> </mrow> <mo> + </mo> <mrow> <mi> Re </mi> <mo> ⁡ </mo> <mo> ( </mo> <mrow> <mi> β </mi> <mo> - </mo> <mi> α </mi> </mrow> <mo> ) </mo> </mrow> </mrow> <mo> > </mo> <mn> 0 </mn> </mrow> <mo> ∧ </mo> <mrow> <mrow> <mi> k </mi> <mo> - </mo> <mrow> <mi> k </mi> <mo> ⁢ </mo> <mrow> <mi> max </mi> <mo> ⁡ </mo> <mo> ( </mo> <mrow> <mrow> <mi> Re </mi> <mo> ⁡ </mo> <mo> ( </mo> <msub> <mi> a </mi> <mn> 1 </mn> </msub> <mo> ) </mo> </mrow> <mo> , </mo> <mo> … </mo> <mo> , </mo> <mrow> <mi> Re </mi> <mo> ⁡ </mo> <mo> ( </mo> <msub> <mi> a </mi> <mi> n </mi> </msub> <mo> ) </mo> </mrow> </mrow> <mo> ) </mo> </mrow> </mrow> <mo> + </mo> <mrow> <mi> Re </mi> <mo> ⁡ </mo> <mo> ( </mo> <mi> α </mi> <mo> ) </mo> </mrow> </mrow> <mo> > </mo> <mn> 0 </mn> </mrow> </mrow> </mrow> </annotation-xml> </semantics> </math>
|
|
|
|
|
|
|
|
|
|
| |
|
|
|
|
| Cell[BoxData[RowBox[List[RowBox[List["HoldPattern", "[", RowBox[List[SubsuperscriptBox["\[Integral]", "0", "\[Infinity]"], RowBox[List[FractionBox[RowBox[List[SuperscriptBox["\[Tau]_", RowBox[List["\[Alpha]_", "-", "1"]]], " ", 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_"]]], "}"]]]], "}"]], ",", FractionBox[RowBox[List["\[Omega]_", " ", SuperscriptBox[RowBox[List["(", RowBox[List["\[Tau]_", "+", "z_"]], ")"]], "l_"]]], SuperscriptBox["\[Tau]_", "k"]]]], "]"]]]], SuperscriptBox[RowBox[List["(", RowBox[List["\[Tau]_", "+", "z_"]], ")"]], "\[Beta]_"]], RowBox[List["\[DifferentialD]", "\[Tau]_"]]]]]], "]"]], "\[RuleDelayed]", RowBox[List[FractionBox[RowBox[List[RowBox[List["(", RowBox[List[SqrtBox[RowBox[List["2", " ", "\[Pi]"]]], " ", SuperscriptBox["k", RowBox[List["\[Alpha]", "-", FractionBox["1", "2"]]]], " ", SuperscriptBox["l", RowBox[List[FractionBox["1", "2"], "-", "\[Beta]"]]], " ", SuperscriptBox["z", RowBox[List["\[Alpha]", "-", "\[Beta]"]]]]], ")"]], " ", RowBox[List["MeijerG", "[", RowBox[List[RowBox[List["{", RowBox[List[RowBox[List["{", RowBox[List[SubscriptBox["aa", "1"], ",", "\[Ellipsis]", ",", SubscriptBox["aa", "n"]]], "}"]], ",", RowBox[List["{", RowBox[List[SubscriptBox["a", RowBox[List["n", "+", "1"]]], ",", "\[Ellipsis]", ",", SubscriptBox["aa", "p"], ",", FractionBox["\[Beta]", "l"], ",", "\[Ellipsis]", ",", FractionBox[RowBox[List["\[Beta]", "+", "l", "-", "1"]], "l"]]], "}"]]]], "}"]], ",", RowBox[List["{", RowBox[List[RowBox[List["{", RowBox[List[FractionBox["\[Alpha]", "k"], ",", "\[Ellipsis]", ",", FractionBox[RowBox[List["\[Alpha]", "+", "k", "-", "1"]], "k"], ",", FractionBox[RowBox[List["\[Beta]", "-", "\[Alpha]"]], RowBox[List["l", "-", "k"]]], ",", "\[Ellipsis]", ",", FractionBox[RowBox[List["\[Beta]", "-", "\[Alpha]", "+", "l", "-", "k", "-", "1"]], RowBox[List["l", "-", "k"]]], ",", SubscriptBox["bb", "1"], ",", "\[Ellipsis]", ",", SubscriptBox["bb", "m"]]], "}"]], ",", RowBox[List["{", RowBox[List[SubscriptBox["b", RowBox[List["m", "+", "1"]]], ",", "\[Ellipsis]", ",", SubscriptBox["bb", "q"]]], "}"]]]], "}"]], ",", FractionBox[RowBox[List[RowBox[List["(", RowBox[List["\[Omega]", " ", SuperscriptBox["l", "l"]]], ")"]], " ", SuperscriptBox[RowBox[List["(", FractionBox["z", RowBox[List["l", "-", "k"]]], ")"]], RowBox[List["l", "-", "k"]]]]], SuperscriptBox["k", "k"]]]], "]"]]]], SuperscriptBox[RowBox[List["(", RowBox[List["l", "-", "k"]], ")"]], RowBox[List["\[Alpha]", "-", "\[Beta]", "+", FractionBox["1", "2"]]]]], "/;", RowBox[List[RowBox[List["k", "\[Element]", "Integers"]], "&&", RowBox[List["k", ">", "0"]], "&&", RowBox[List["l", "\[Element]", "Integers"]], "&&", RowBox[List["l", ">", "0"]], "&&", RowBox[List["k", "<", "l"]], "&&", RowBox[List[SuperscriptBox["c", "*"], ">", "0"]], "&&", RowBox[List[RowBox[List["Abs", "[", RowBox[List["Arg", "[", RowBox[List["\[Omega]", " ", SuperscriptBox["z", RowBox[List["l", "-", "k"]]]]], "]"]], "]"]], "<", RowBox[List["\[Pi]", " ", SuperscriptBox["c", "*"]]]]], "&&", RowBox[List[RowBox[List[RowBox[List[RowBox[List["(", RowBox[List["l", "-", "k"]], ")"]], " ", RowBox[List["(", RowBox[List["1", "-", RowBox[List["Max", "[", RowBox[List[RowBox[List["Re", "[", SubscriptBox["aa", "1"], "]"]], ",", "\[Ellipsis]", ",", RowBox[List["Re", "[", SubscriptBox["aa", "n"], "]"]]]], "]"]]]], ")"]]]], "+", RowBox[List["Re", "[", RowBox[List["\[Beta]", "-", "\[Alpha]"]], "]"]]]], ">", "0"]], "&&", RowBox[List[RowBox[List["k", "-", RowBox[List["k", " ", RowBox[List["Max", "[", RowBox[List[RowBox[List["Re", "[", SubscriptBox["aa", "1"], "]"]], ",", "\[Ellipsis]", ",", RowBox[List["Re", "[", SubscriptBox["aa", "n"], "]"]]]], "]"]]]], "+", RowBox[List["Re", "[", "\[Alpha]", "]"]]]], ">", "0"]]]]]]]]]] |
|
|
|
|
|
|
|
|
|
|
Date Added to functions.wolfram.com (modification date)
|
|
|
|
|
|
|
|
|
|
|
|
|
|
MeijerG[{{a1,...,an},{an+1,...,ap}},{{b1,...,bm},{bm+1,...,bq}},z,r] | |
|
|
|