There is currently no text in this page. You can search for this page title in other pages, or search the related logs, but you do not have permission to create this page.
Category:Unproven
From specialfunctionswiki
Pages in category "Unproven"
The following 200 pages are in this category, out of 495 total.
(previous page) (next page)A
B
- B(x,y)=2^(1-x-y)integral (1+t)^(x-1)(1-t)^(y-1)+(1+t)^(y-1)(1-t)^(x-1) dt
- B(x,y)=integral (t^(x-1)+t^(y-1))(1+t)^(-x-y) dt
- B(x,y)B(x+y,z)=B(y,z)B(y+z,x)
- B(x,y)B(x+y,z)=B(z,x)B(x+z,y)
- B(x,y)B(x+y,z)B(x+y+z,u)=Gamma(x)Gamma(y)Gamma(z)Gamma(u)/Gamma(x+y+z+u)
- B(x,y+1)=(y/(x+y))B(x,y)
- B(x,y+1)=(y/x)B(x+1,y)
- Barnes G at positive integer
- Barnes G at z+1 in terms of Barnes G and gamma
- Bernoulli polynomial and Hurwitz zeta
- Bessel at -n-1/2 in terms of Bessel polynomial
- Bessel at n+1/2 in terms of Bessel polynomial
- Bessel J in terms of Bessel-Clifford
- Bessel polynomial in terms of Bessel functions
- Beta as improper integral
- Beta as product of gamma functions
- Beta in terms of gamma
- Binet's formula
- Binomial series
- Bohr-Mollerup theorem
- Bolzano function is continuous
- Bolzano function is nowhere differentiable
C
- C n^(lambda)'(x)=2lambda C (n+1)^(lambda+1)(x)
- C(a-(c-b)z)2F1-ac(1-z)2F1(a+1)+(c-a)(c-b)z2F1(c+1)=0
- Catalan's constant using Dirichlet beta
- Catalan's constant using Hurwitz zeta
- Catalan's identity
- Cellérier function is continuous
- Cellérier function is nowhere differentiable
- Champernowne constant is transcendental
- Closed form for partition function with sinh
- Closed formula for physicist's Hermite polynomials
- Complex conjugate of argument of error function
- Constant functions are elliptic functions
- Constant multiple rule for derivatives
- Contour integral representation of reciprocal gamma
- Copeland-Erdős is irrational
- Copeland-Erdős is normal
- Cosh is even
- Cosh of a sum
- Coth of a sum
D
- D/dz(z^(-nu)H (nu))=1/(sqrt(pi)2^(nu)Gamma(nu+3/2))-z^(-nu)H (nu+1)
- D/dz(z^(nu)H (nu))=z^(nu)H (nu-1)
- Darboux function is continuous
- Darboux function is nowhere differentiable
- Derivative is a linear operator
- Derivative of arccosh
- Derivative of arccoth
- Derivative of arccsc
- Derivative of arctanh
- Derivative of Bessel J with respect to its order
- Derivative of Bessel Y with respect to its order
- Derivative of Bessel-Clifford
- Derivative of cosine integral
- Derivative of erfi
- Derivative of inverse error function
- Derivative of Jacobi theta 1 at 0
- Derivative of Legendre chi 2
- Derivative of Li 2(-1/x)
- Derivative of Riemann zeta
- Derivative of sine integral
- Derivative of Struve H0
- Derivative of versine
- Derivative of zeta at -1
- Devil's staircase is continuous
- Devil's staircase is not absolutely continuous
- Difference of cosh and sinh
- Differential equation for Jacobi P
- Digamma at 1
- Digamma at 1/2
- Digamma at n+1
- Digamma at n+1/2
- Digamma at z+n
- Digamma functional equation
- Dirichlet beta in terms of Lerch transcendent
- Dirichlet function is nowhere continuous
- Doubling identity for cosh (1)
- Doubling identity for cosh (2)
- Doubling identity for cosh (3)
- Doubling identity for sinh (1)
- Doubling identity for sinh (2)
E
- E (0,1)(z)=1/(1-z) for abs(z) less than 1
- E is irrational
- E is limit of (1+1/n)^n
- E(1,1)(z)=exp(z)
- E(2,1)(-z^2)=cos(z)
- E(2,1)(z)=cosh(sqrt(z))
- E(m)=(pi/2)2F1(-1/2,1/2;1;m)
- Ei(x)=-Integral from -x to infinity of e^(-t)/t dt
- Erdős-Borwein Constant is irrational
- Euler E generating function
- Euler E n'(x)=nE n-1(x)
- Euler product for Riemann zeta
- Euler totient is multiplicative
- Exponential e in terms of basic hypergeometric phi
- Exponential integral Ei series
- E^(-x) less than 1-(x/2) for 0 less than x less than or equal to 1.5936
- E^(-x/(1-x)) is less than 1-x is less than e^(-x) for nonzero real x less than 1
- E^x greater than (1+x/y)^y greater than exp(xy/(x+y) for x greater than 0 and y greater than 0)
- E^x greater than 1+x^n/n! for n greater than 0 and nonzero real x greater than 0
- E^x is greater than 1+x for nonzero real x
- E^x is less than 1/(1-x) for nonzero real x less than 1
F
- F(-n)=(-1)^(n+1)F(n)
- F(2n)=F(n)L(n)
- F(2n)=F(n+1)^2-F(n-1)^2
- F(2n+1)=F(n+1)^2+F(n)^2
- F(n+1)F(n-1)-F(n)^2=(-1)^n
- F(n+m+1)=F(n+1)F(m+1)+F(n)F(m)
- Faber F1 is continuous
- Faber F1 is nowhere differentiable
- Faber F2 is continuous
- Faber F2 is nowhere differentiable
- Fibonacci zeta at 1 is irrational
- Fresnel C in terms of erf
- Fresnel C is odd
- Fresnel S in terms of erf
- Fresnel S is odd
- Functional equation for Riemann xi
- Functional equation for Riemann zeta
- Functional equation for Riemann zeta with cosine
G
- Gamma function written as infinite product
- Gamma'(z)/Gamma(z)=-gamma-1/z+Sum z/(k(z+k))
- Gamma(n+1)=n!
- Gamma(z) as integral of a power of log(1/t) for Re(z) greater than 0
- Gamma(z)Gamma(1-z)=pi/sin(pi z)
- Gelfond constant is transcendental
- Gelfond-Schneider constant is transcendental
- Generating function for Hermite (physicist) polynomials
- Generating function for Laguerre L
- Generating function for partition function
- Generating relation for Bateman F
H
- H (-(n+1/2))(z)=(-1)^n J (n+1/2)(z) for integer n geq 0
- H (1/2)(z)=sqrt(2/(pi z))(1-cos(z))
- H (3/2)(z)=sqrt(z/(2pi))(1+2/z^2)-sqrt(2/(pi z))(sin(z)+cos(z)/z)
- H (nu)(x) geq 0 for x gt 0 and nu geq 1/2
- Halving identity for cosh
- Halving identity for sinh
- Halving identity for tangent (1)
- Halving identity for tangent (2)
- Halving identity for tangent (3)
- Hankel H (1) in terms of csc and Bessel J
- Hankel H (2) in terms of csc and Bessel J
- Hermite (physicist) polynomial at negative argument
- Hurwitz zeta absolute convergence
- Hyperfactorial in terms of K-function
I
- Identity written as a sum of Möbius functions
- Integral (t-b)^(x-1)(a-t)^(y-1)dt=(a-b)^(x+y-1)B(x,y)
- Integral from a to a
- Integral of (1+bt^z)^(-y)t^x dt = (1/z)*b^(-(x+1)/z) B((x+1)/z,y-(x+1)/z)
- Integral of (1+t)^(2x-1)(1-t)^(2y-1)(1+t^2)^(-x-y)dt=2^(x+y-2)B(x,y)
- Integral of (t-b)^(x-1)(a-t)^(y-1)/(c-t)^(x+y) dt = (a-b)^(x+y-1)/((c-a)^x (c-b)^y) B(x,y)
- Integral of (t-b)^(x-1)(a-t)^(y-1)/(t-x)^(x+y) dt=(a-b)^(x+y-1)/((a-c)^x(b-c)^y) B(x,y)
- Integral of (z^n)log(z)dz=(z^(n+1)/(n+1))log(z)-z^(n+1)/(n+1)^2 for integer n neq -1
- Integral of Bessel J for nu=2n
- Integral of Bessel J for nu=2n+1
- Integral of Bessel J for nu=n+1
- Integral of Bessel J for Re(nu) greater than -1
- Integral of inverse erf from 0 to 1
- Integral of log of inverse erf from 0 to 1
- Integral of monomial times Bessel J
- Integral of t^(x-1)(1-t^z)^(y-1) dt=(1/z)B(x/z,y)
- Integral representation of polygamma 2
- Integral representation of polygamma for Re(z) greater than 0
- Integral representation of Struve function
- Integral representation of Struve function (2)
- Integral representation of Struve function (3)
- Integral t^(x-1)(1+bt)^(-x-y) dt = b^(-x) B(x,y)
- Integral t^(x-1)(1-t)^(y-1)(1+bt)^(-x-y)dt = (1+b)^(-x)B(x,y)
L
- L n'(0)=-n
- L n'(x)=-Sum L k(x)
- L n(0)=1
- L n(x)=(e^x/n!)d^n/dx^n(x^n e^(-x))
- L(-n)=(-1)^nL(n)
- L(n)=F(n+1)+F(n-1)
- L(n)^2-5F(n)^2=4(-1)^n
- L(n+1)L(n-1)-L(n)^2=5(-1)^(n+1)
- Laurent series for log((z+1)/(z-1)) for absolute value of z greater than 1
- Laurent series of the Riemann zeta function
- Legendre chi in terms of Lerch transcendent
- Legendre chi in terms of polylogarithm
- Lerch transcendent polylogarithm
- Li 2(1)=pi^2/6
- Li 2(z)+Li 2(1-z)=pi^2/6-log(z)log(1-z)
- Li 2(z)=-Li 2(1/z)-(1/2)(log z)^2 + i pi log(z) + pi^2/3
- Li2(z)=zPhi(z,2,1)
- Limit of (1/Gamma(c))*2F1(a,b;c;z) as c approaches -m
- Limit of log(x)/x^a=0
- Limit of q-exponential E sub 1/q for 0 less than q less than 1
- Limit of quotient of consecutive Fibonacci numbers