Fungrim entry: 5babc2

G'(z) = G(z) \left(\left(z - 1\right) \psi\!\left(z\right) - z + \frac{\log\!\left(2 \pi\right) + 1}{2}\right)

Assumptions:

z \in \mathbb{C} \;\mathbin{\operatorname{and}}\; z \notin \{0, -1, \ldots\}

TeX:

G'(z) = G(z) \left(\left(z - 1\right) \psi\!\left(z\right) - z + \frac{\log\!\left(2 \pi\right) + 1}{2}\right)

z \in \mathbb{C} \;\mathbin{\operatorname{and}}\; z \notin \{0, -1, \ldots\}

Definitions:

Fungrim symbol	Notation	Short description
`ComplexDerivative`	$\frac{d}{d z}\, f\!\left(z\right)$	Complex derivative
`BarnesG`	$G(z)$	Barnes G-function
`DigammaFunction`	$\psi\!\left(z\right)$	Digamma function
`Log`	$\log(z)$	Natural logarithm
`Pi`	$\pi$	The constant pi (3.14...)
`CC`	$\mathbb{C}$	Complex numbers
`ZZLessEqual`	$\mathbb{Z}_{\le n}$	Integers less than or equal to n

Source code for this entry:

Entry(ID("5babc2"),
    Formula(Equal(ComplexDerivative(BarnesG(z), For(z, z)), Mul(BarnesG(z), Add(Sub(Mul(Sub(z, 1), DigammaFunction(z)), z), Div(Add(Log(Mul(2, Pi)), 1), 2))))),
    Variables(z),
    Assumptions(And(Element(z, CC), NotElement(z, ZZLessEqual(0)))))

Topics using this entry

Barnes G-function