Message Boards Message Boards

Checking whether identity is new or already known?

GROUPS:

Is there a way provided by Mathematica feature or by one of the Wolfram apps, (such as WolframAlpha, etc.) of checking whether identity is new or already known?

Answer
2 months ago

This question in pretty vague. What is your definition of "identity"?

POSTED BY: Moderation Team
Answer
2 months ago

Let me give an example. Recently I derived the following:

Sqrt[Pi] = (2^(5+3 j) (Gamma[5+2 j] Gamma[8+3 j] HypergeometricPFQ[{1,5/2+j,3+j},{3+(3 j)/2,7/2+(3 j)/2},-1]+2 Gamma[7+2 j] Gamma[6+3 j] HypergeometricPFQ[{1,7/2+j,4+j},{4+(3 j)/2,9/2+(3 j)/2},-1]))/(Gamma[5+2 j] Gamma[6+3 j] Gamma[8+3 j] (HypergeometricPFQRegularized[{1,5/2+j,3+j},{3+(3 j)/2,7/2+(3 j)/2},-1]+(15+11 j+2 j^2) HypergeometricPFQRegularized[{1,7/2+j,4+j},{4+(3 j)/2,(3 (3+j))/2},-1])) (*)

Since above (*) holds for an arbitrary integer "j" (as confirmed in both Mathematica and Maple), I call it identity... I would like to find out whether (*) is well known and/or represents some kind of corollary or does it represnt the new previously unknown independent result?

Is there some functionality (and/or feature) available in Mathematica or in app (such as WolframAlpha} to give me the answer on my above stated question?

Alexander R. Povolotsky

NB Above identity (*) is the subcase of more general, based on four parameters {j,k,l,m}, derived by me identity, which is true for arbitrary j,k,l,m.

Sqrt[Pi] = (1/(2^j)*((k Gamma[5 + 2 j] Gamma[1 + l] HypergeometricPFQ[{1, 5/2 + j, 3 + j}, {3 + j + l/2,7/2 + j + l/2}, -1])/Gamma[6 + 2 j + l] + ((k + m) Gamma[7 + 2 j] Gamma[1 + l] HypergeometricPFQ[{1, 7/2 + j, 4 + j}, {4 + j + l/2,9/2 + j + l/2}, -1])/Gamma[8 + 2 j + l]))/(2^(-5 - 3 j -l) Gamma[5 + 2 j] Gamma[1 + l] (k HypergeometricPFQRegularized[{1, 5/2 + j,3 + j}, {3 + j + l/2, 7/2 + j + l/2}, -1] +1/2 (3 + j) (5 + 2 j) (k + m) HypergeometricPFQRegularized[{1,7/2 + j, 4 + j}, {4 + j + l/2, 9/2 + j + l/2}, -1])) (**)

Answer
2 months ago

Welcome to Wolfram Community! Please make sure you know the rules and how to format your code properly, which you can find here: https://wolfr.am/READ-1ST If you do not format code, it may become corrupted and useless to other members. Please EDIT your posts and make sure code blocks start on a new paragraph and look framed and colored like this.

int = Integrate[1/(x^3 - 1), x];
Map[Framed, int, Infinity]

enter image description here

POSTED BY: Moderation Team
Answer
2 months ago

Group Abstract Group Abstract