Pochhammer symbol is the notation used for rising factorial and falling factorial: $(x)^n=x(x+1)\dots(x+n-1)$ and $(x)_n=x(x-1)\dots(x-n+1)$.

learn more… | top users | synonyms

1
vote
0answers
36 views

How to derive Such infinite sum representation for Hypergeometric function?

I was reading a paper $[1]$ in which authors claimed that we can simplify below Gauss function to finite series if $m $ and $v$ are positive integers. $$ _2F_{1}(v,m+v;m+1;x)=\psi\sum_{c=0}^{v-1} ...
0
votes
2answers
26 views

Mathematical expressions for binomial coefficient and Pochhammer’s Symbol with negative values

I have two questions regarding the binomial coefficient and Pochhammer’s Symbol when they contain negative value; In the following example $\sum\limits_{k=0}^{-n} \binom{-n}{k} \left(a\right)_{-n}$. ...
9
votes
2answers
124 views

Integral of binomial coefficients

Let the integral in question be given by \begin{align} f_{n}(x) = \int_{1}^{x} \binom{t-1}{n} \, dt. \end{align} The integral can also be seen in the form \begin{align} f_{n}(x) = \frac{1}{n!} \, ...
1
vote
1answer
32 views

Falling power of a sum in terms of falling powers of the terms

I am trying to come up with an expression for $(x+y)^{\underline{n}}$ in terms of $x^{\underline{r}}$ and $y^{\underline{r}}$. I tried for $n=2$ and $n=3$ and it looks like binomial expansion holds, ...
0
votes
2answers
28 views

How can I show that $\left(a-n-1\right)!/\left(a-1\right)!=\left(-a\right)!\left(-1\right)^n/\left(-a+n\right)!$?

Is it possible to show that \begin{align}\frac{\left(a-n-1\right)!}{\left(a-1\right)!}\stackrel{?}{=}\frac{\left(-a\right)!\left(-1\right)^n}{\left(-a+n\right)!}\tag{1},\end{align} or, more ...
1
vote
0answers
41 views

Q Pochammer Symbol Product Identities

Consider the expression $$G(x,a) = \frac{1}{((1-a)x;a)_{\infty}}$$ Based on: Infinite sum involving ascending powers It follows that in the limit as $a \rightarrow 1$ ...
1
vote
1answer
72 views

Infinite series with a rising factorial?

Is there a closed-form expression for the infinite series $\sum_{i=0}^\infty (-\pi)^i\alpha^{(i)}$ For known $\pi,\alpha\in [0,1)$ where $\alpha^{(i)}$ is the rising factorial or Pochhammer symbol ...
0
votes
1answer
28 views

Is $\frac{(\alpha)^n (\beta)^n} {(\delta)^n} > \frac{(\alpha+1)^n (\beta+1)^n} {(\delta+1)^n}$ for any $n$ ?(in this specific case)

Let $\alpha=(K-1)a$, $\beta=K$ and $\delta=Ka$, where $K>a\ge 1$ ($\delta>\alpha>\beta$). Can we claim that $\frac{(\alpha)^n (\beta)^n} {(\delta)^n} > \frac{(\alpha+1)^n (\beta+1)^n} ...
1
vote
0answers
26 views

is there anyone able to develop this series in order to get the following equality?

$\sum_{i=1}^\infty (1-\alpha)_{(i-1)}*\frac{\varepsilon^i}{i!}$ = $\frac{1-(1-\varepsilon)^{\alpha}}{\alpha}$ where $(1-\alpha)_{(i-1)}$ is the Pochammer symbol or rising\ascending factorial. Can ...
2
votes
3answers
128 views

Another question about ratios of Pochhammer symbols

My question is similar to this question. Can $$\frac{(11/6)_n (7/6)_n (3/2)_n}{(3)_n}$$ be expressed 'nicely' in terms of factorials just like $(1/6)_n (1/2)_n (5/6)_n$ in the aforementioned question? ...
2
votes
1answer
60 views

Strange claim by WA involving nth derivative

Playing a bit around with WA i found this Namely: $$\frac {d^n}{d^nx} \left(\frac x{f(x)}\right)^{n+1}=x\left(\frac 1{f(x)}\right)^{n+1}(2)_n$$ For $n\in\mathbb{N_0}$ and $n+1\ne x$ and $x \ne 0$ ...
0
votes
1answer
55 views

Understanding relation between Product and Summation Notation

So I am given the following: $n = \sum_{i=1}^{k}m_{i}$ I am also given $x = \sum_{i=1}^{k}log(m_{i}) = log\prod_{i=1}^{k}m_{i}$ I was only given the first part, however I believe that is a ...
3
votes
1answer
82 views

Coefficients in Pochhammer Expansion

Can anyone tell me if there is a formula for finding the coefficient of $x^3$ in the expansion of $(3x+5)_{6}$, where $(a)_n$ denotes the Pochhammer symbol, i.e. $(a)_{n}=a\cdot(a+1)\cdots(a+n-1)$? ...
1
vote
3answers
200 views

An identity involving the Pochhammer symbol

I need help proving the following identity: $$\frac{(6n)!}{(3n)!} = 1728^n \left(\frac{1}{6}\right)_n \left(\frac{1}{2}\right)_n \left(\frac{5}{6}\right)_n.$$ Here, $$(a)_n = a(a + 1)(a + 2) \cdots (a ...
5
votes
1answer
196 views

Combinatorial Identity $ \sum_{k=1}^n (-1)^{k-1} \cdot q^{\frac{k(k-1)}{2}} \cdot \frac{\prod_{i=n-k+1}^n(1-q^i)}{\prod_{i=1}^k(1-q^i)} = 1 $

I have to validate the following identity which is defined: $$ \sum_{k=1}^n (-1)^{k-1} \cdot q^{\frac{k(k-1)}{2}} \cdot \frac{\prod_{i=n-k+1}^n(1-q^i)}{\prod_{i=1}^k(1-q^i)} = 1 $$ where ...
2
votes
2answers
226 views

Unimodality of q-binomial coefficients

The q-Pochhammer symbol $[n]_q!$ is defined as $$[n]_q! = \frac{(1-q^n)(1-q^{n-1})\cdots(1-q)}{(1-q)^n} = (1+q) (1+q+q^2) \cdots (1+q+\cdots+q^{n-1})$$ It can be easily shown that $[n]_q!$ (function ...
1
vote
1answer
285 views

Identity using q-Pochhammer symbols

Prove - $$∑_{n=0}^{∞} \frac{(a;q)_n}{(q;q)_n} q^{n\choose 2} q^n={(−q;q)_∞}{(aq;q^2)_∞}.$$ where $(a;q)$ are the q-Pochhammer symbols. I know that the RHS is the product of generating functions of ...
2
votes
2answers
114 views

Identity involving the rising factorial

I am reading a book about hypergeometric functions and in a proof of a transformation they use the supposedly obvious fact $$ \displaystyle\frac{(c-a-b)_{n-r}}{(n-r)!} = \frac{(c-a-b)_{n} ...
0
votes
1answer
51 views

The multinomial formula as three Pochhammer rising factorials

I need to describe: $${n \choose k,0,l,0,m}$$ as three rising factorials. How can I do this? As far as I know I can delete zero's, so it would be: $${n \choose k,l,m}=\frac{n!}{k!l!m!},$$ where ...
4
votes
0answers
140 views

Binomial-like sum involving falling factorials

We know that $\sum_{k=0}^n a^k \frac{n^{\underline k}}{k!} = (1+a)^n$. Is there a known (preferably closed) form for $\sum_{k=0}^n a^k n^{\underline k}$?
23
votes
4answers
729 views

Trying to prove that $\sum_{j=2}^\infty \prod_{k=1}^j \frac{2 k}{j+k-1} = \pi$

How could one prove that: $$\sum_{j=2}^\infty \prod_{k=1}^j \frac{2 k}{j+k-1} = \pi$$ This is about as far as I got: $$\prod_{k=1}^j \frac{2 k}{j+k-1} = \frac{2^j j!}{(j)_j} \implies$$ ...
1
vote
1answer
38 views

Definition domains of the pochhammer symbols?

What are the definition domains for $n$ and $x$ that gives $x^{(n)}$ (upper pochhammer symbol) and $(x)_n$ (lower pochhammer symbol) in $\mathbb{R}$ ?