Questions on special functions, useful functions that frequently appear in pure and applied mathematics (usually not including "elementary" functions).

learn more… | top users | synonyms

5
votes
1answer
134 views

Infinite series of Hypergeometric function

Any ideas how to find a closed form for the sum given by: $$ \sum^\infty_{n=0} \frac{1}{n!} \frac{a^n b^{n+m}}{(m+n)^2 \Gamma(m+n)} {}_2F_2 \left(m+n,m+n;m+n+1,m+n+1;-b\right) $$ Given that both $a$ ...
2
votes
0answers
17 views

Barnes' double gamma function versus q-gamma function

According to wikipedia, the q-analog of the gamma function is closely related to a multiple gamma function defined by Barnes. Besides the fact that they are both generalizations of the Gamma function, ...
1
vote
1answer
24 views

Heaviside function & Integral Limits

When considering integration, how does one use the Heaviside function in order to alter the limits of integration. For example If i have $$ \int_a^b f(x) dx $$ But want to change this integral to be ...
1
vote
1answer
53 views

How to prove this problem about supermodularity function?

The problem is as follows, and I have solved the subproblem (a), but haven't solved (b) yet. And for (b) the method I think about is proof by contradiction, but I get stuck before I could solve this. ...
-1
votes
0answers
19 views

Eliminate the arbitrary Function of PDE

I need to solve this problem; Eliminate the arbitrary function $f$ from the equation: $f(x^2+y^2+z^2,z^2-2xy)=0$ I try this solution $u= x^2+y^2+z^2, \quad $ $\quad v=z^2-2xy, \quad$ so ...
1
vote
2answers
63 views

Eliminate the arbitrary funcion - PDE first order

I'm heading the book Elements Of Partial Differential Equations -Sneddon 1957. At chapter two exists this exercise "Eliminate the arbitrary function $f$ fron the equation $$ z= ...
0
votes
1answer
15 views

Difference Between Lyapunov and Strong Lyapunov Function.

Good Day everyone. I was assigned to show that given an autonomous system of Differential Equations and a function $V$, I need to show that $V$ is Lyapunov function. To show that $V$ is Lyapunov. I ...
2
votes
1answer
67 views

Name of function $(1+x)^n-1$

Is there any name for this formula $$(1+x)^n-1$$ When working with floating point numbers this can be calculated with much better precision for very small $|x|<1$ values using Taylor series ...
3
votes
2answers
37 views

Derivative of the Gamma function

How do you prove that $$ \Gamma'(1)=-\gamma, $$ where $\gamma$ is the Euler-Mascheroni constant?
1
vote
2answers
28 views

Integrals involving exponential functions and the gamma function [duplicate]

I'm having trouble evaluating this integral $$\int_0^\infty {e^{-ax^2}} \,dx $$ My guess is that it would evaluate into something like $$\int_0^\infty \frac 12e^{-s}s^{\frac 12} \ldots \,dx = \frac ...
15
votes
1answer
315 views

Convexity of $\theta(q)$

Define Jacobi's (fourth) theta function with argument zero and nome $q$: $$\theta(q) = 1+2\sum_{n=1}^\infty (-1)^n q^{n^2}$$ plot of the function via Wolfram|Alpha plot of the function via Sage I ...
0
votes
1answer
31 views

Best aproximation to an numerical solution using two aproximated functions

I want to find the best aproximation to a numerical solution. For that I want to use two aproximated functions (that I already know). If I plot them I see that one of them underestimates the original ...
1
vote
1answer
28 views

Formula for the Beta function for natural m, n

Using only the definition $$B(x, y) = \int_0^1 t^{x-1}(1-t)^{y-1}dt$$ for the Beta function $B(x, y)$, it's symmetry $B(x,y) = B(y,x)$ aswell as the fact that $(x + y)B(x + 1, y) = xB(x, y) ...
0
votes
1answer
18 views

Logarithmic algorithm performance

If I have an algorithm that on $T$ iterations gets me within $O(\log(T)/T)$ accuracy, what is a (preferably concise, closed form) lower bound on $T$ that gets me within $\epsilon$ accuracy? In other ...
1
vote
1answer
24 views

Evaluate $-\gamma-W_{-1}\left(-\gamma e^{-\gamma}\right)=\frac{\pi}{4}$ in $\gamma$.

Evaluate $\gamma$ expressed, involving Lambert function, by $$-\gamma-W_{-1}\left(-\gamma e^{-\gamma}\right)=\frac{\pi}{4}$$ where $\gamma<1$. I doubt that it is possible to find a value for ...
0
votes
1answer
15 views

Logical comparison of two values with algebra

Suppose I have two real numbers A and B (A $\wedge$ B $\subset$ $\mathbb{R}$). I want to do some algebra over these number and get 1 if they are equal and get 0 if not. For example: In this ...
0
votes
1answer
57 views

Primitive of the function $(\sin x)/x$

I know that for some functions, for instance $f(x) = e^{-x^2}$, there does not exist a primitive. Does there is a primitive for the function $f(x) = \frac{\operatorname{sin}(x)}{x}$?
2
votes
1answer
32 views

An integral related to the derivative of Legendre polynomials

I want to calculate the integral $$ I=\int_{-1}^{1} \Big(\frac{\mathrm{d}P_{n+1}(t)}{\mathrm{d}t}\Big) \Big(\frac{\mathrm{d}P_{m+1}(t)}{\mathrm{d}t}\Big) \mathrm{d}t $$ where $P_n(t)$ is Legendre ...
0
votes
0answers
18 views

Generate a function that shuffles a number withing a given range which is reproducible

Lets say I have an array of numbers $1 2 3 4 5 6 7$. I want to shuffle these numbers in some order , $7 5 4 3 1 26$ . However , it should be revesrible. That is given the second array I must be able ...
25
votes
1answer
580 views

Weber-type integral

In connection with this answer, I came across the following integral: $$\int_{0}^{\infty} \frac{du}{u} \: \,e^{-t u^2} \frac{J_0(u) Y_0(r u)-J_0(r u) Y_0(u)}{J_0^2(u)+Y_0^2(u)}$$ where $r \gt 1$. I ...
1
vote
1answer
12 views

Integer functions $f_k(n)$ which return {0,1} depending on whether or not $k|n$

In computer programs and physics problems it is often nice to have mathematical functions that work when you want them to but sort of zero out when they don't apply. I'm thinking of how useful delta ...
2
votes
1answer
32 views

Asymptotic series of Confluent Hypergeometric function $U(a,1,z) $ as $z \to 0$

Consider the Confluent hypergeometric function $U(a,b,z)$, which is a solution of the Kummer's Equation : $$zw''+(b-z)w'-aw=0$$ it has the following integral representation when $- \pi/2 < \arg ...
0
votes
1answer
43 views

Evaluation of Spence's function.

Spence's function is defined as $${\rm Li}_2 (z)=- \int_0^z \frac{\ln(1-u)}{u} \, du $$ where $$z \in {\mathbb C} \setminus [1, \infty )$$ For $|z|<1 $ $${\rm Li}_2 (z)= \sum_1^ \infty \frac{ ...
2
votes
1answer
299 views

Solve equation with lower gamma function: $A \gamma(2;x/B)=x$ for $x$

I need to find an expression for $x$ given: $A \gamma(2;x/B)=x$ where $\gamma(a,x)=\int\limits_0^x t^{a-1} e^{-t} \mathrm{d}t$ is the lower incomplete gamma function. $A$ and $B$ are real, positive ...
3
votes
0answers
58 views

About the closed form for $\lim_{y\to +\infty}\left(-\frac{2}{\pi}\log(1+y)+\int_{0}^{y}\frac{|\cos x\,|}{1+x}\,dx\right)$

Recently, when facing a baby Rudin's exercise, I proved that: $$ \int_{0}^{y}\frac{|\cos x\,|}{1+x}\,dx = \frac{2}{\pi}\log(1+y)+O(1) $$ holds by integration by parts. Now I wonder if ...
4
votes
3answers
96 views

Proving positivity of the exponential function

Question. Without using the semigroup property ($\mathrm{e}^{x}\mathrm{e}^{y}=\mathrm{e}^{x+y}$), how can we show that $\mathrm{e}^{x}>0$ for all $x\in\mathbb{R}$ only by using the series ...
0
votes
2answers
27 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 ...
0
votes
1answer
13 views

Function that returns an odd number if (n-k)<0 [closed]

I need to find a function f(n, k) which returns an odd number if (n-k) <0 and an even number if (n-k) >= 0.
1
vote
1answer
14 views

Set of points at which a function coincides with its convexification is compact?

Let $f:[0,1]\rightarrow\ \mathbb{\bar{R}}$, and let $\tilde{f}$ be the convexification of $f.$ (i.e., $\tilde{f}$ is the pointwise supremum of all affine functions that lie everywhere below $f$.) Let ...
5
votes
1answer
68 views

Evaluation of the series $ \sum_{k=0}^{\infty}\frac{k}{2^{k+1}\left ( k+1 \right )^2}$.

The following series: $$\sum_{k=0}^{\infty}\frac{k}{2^{k+1}\left ( k+1 \right )^2}$$ came up as an intermediate step of calculating an integral. The answer according to Wolfram is $\displaystyle ...
0
votes
1answer
11 views

A low-discrepancy or quasirandom series which would guarantee all value sequences

I am trying to find a type of quasi-random sequence which would guarantee that it could produce all possible sequences of values within the possible value range, while still producing random-seeming ...
3
votes
1answer
372 views

Incomplete Fermi-Dirac integrals and polylogs

The complete Fermi-Dirac integrals $$ F_s(x) = \frac{1}{\Gamma(s+1)} \int\limits_{0}^{\infty} \frac{t^s}{e^{t-x}+1} \: dt $$ are related to the polylogarithms, see http://dlmf.nist.gov/25.12#iii $$ ...
4
votes
2answers
112 views

How to find a closed form for the derivatives of $F(x)=\frac1x\int_0^x\frac{1-\cos t}{t^2}\,dt,$ $F(0)=\frac12$?

I have been given the function $$F(x)=\frac1x\int_0^x\frac{1-\cos t}{t^2}\,{\rm d}t$$ for $x\ne 0,$ $F(0)=\frac12,$ and charged with finding a Taylor polynomial for $F(x)$ differing from $F$ by no ...
7
votes
1answer
833 views

Median of the F-distribution

Is the median of the F-distribution with m and n degrees of freedom decreasing in n, for any m? From experiments it looks like it might be, but I have been unable to prove it.
2
votes
1answer
104 views

Limit involving incomplete gamma function

Let $\Gamma(a,x) = \int_x^\infty t^{a-1} e^{-t} dt$ be the incomplete gamma function. What is the limit $$ \lim_{p \to \infty} \frac{1}{\sqrt{p}} \Big[\Gamma(p+\tfrac12,x)\Big]^{\frac{1}{2p}} $$ as a ...
16
votes
1answer
357 views

Non-trivial values of error function $\operatorname{erf}(x)$?

The so called error function $\operatorname{erf}(x)$ is defined as $$\operatorname{erf}(x)=\frac{2}{\sqrt{\pi}}\int_0^x e^{-t^2}dt,$$ and it is well known that $\operatorname{erf}(\infty)=1$. Are ...
2
votes
0answers
21 views

I would like to find a generalization of the plane wave expansion to Hankel functions.

The plane wave expansion is \begin{equation} e^{i\vec{k}\cdot \vec{x}}=\sum_{\ell=0}^{\infty}i^\ell(2\ell+1)j_{\ell}(kx)P_{\ell}(\cos(\theta)) \end{equation} where $j_\ell$ is the spherical Bessel ...
1
vote
1answer
45 views

Product with $\Gamma$ function

Evaluate the product: $$\Gamma \left ( \frac{1}{n} \right )\Gamma \left ( \frac{2}{n} \right )\cdots \Gamma \left ( \frac{n-1}{n} \right )$$ A path to a solution: $$\begin{aligned}\Gamma\left ...
4
votes
2answers
66 views

How are Fox-H functions useful in math?

The Fox H-function, as far as I know, is the most general families of functions - encompassing an even larger family of functions than the already very general Meijer G-function. While I've known ...
0
votes
0answers
20 views

Upper bound for the ratio of Bessel functions

I am looking for an upper bound for the ratio of Bessel I functions $\dfrac{|I_\nu'(z)|}{|I_\nu(z)|}$ where $\nu$ is complex and $z$ is a positive real number. Do you know any results about it? Thank ...
1
vote
1answer
24 views

How do I know if a fractional linear transformation exists?

I have a feeling I'm missing another obvious point about FLTs. How do I know if a specific fractional linear transformation exists? I think I can find specific transformations by using the ...
1
vote
0answers
32 views

Question about the function ξ(s)

We define When Π(s) is the gamma function and ζ(s) is the zeta function. I can prove that ξ(s) has order one. Let be ρ the zeros of ξ(s) (the non- trivial zeros of ζ(s)). Why ∑1/|ρ| diverges? And ...
99
votes
0answers
3k views

Identification of a curious function

During computation of some Shapley values (details below), I encountered the following function: $$ f\left(\sum_{k \geq 0} 2^{-p_k}\right) = \sum_{k \geq 0} \frac{1}{(p_k+1)\binom{p_k}{k}}, $$ where ...
1
vote
1answer
352 views

2-increasing functions

I'm trying to learn about copulas. Two definitions I've come across are the H-volume of a rectangle, which is defined as $V_H=H(x_2,y_2)-H(x_2,y_1)-H(x_1,y_2)+H(x_1,y_1)$. The function H, whose ...
1
vote
1answer
29 views

Quasiconvex functions

Let $\lambda$ be any real number and $f:[0,1]\times[0,1]\rightarrow\mathbb{R}$ given by $$ f(x,y) = \begin{cases} \lambda &\mbox{if } \quad0<x<1, y=1, \\ 1+\lambda y & \mbox{if } ...
21
votes
3answers
450 views

An integral $\int_0^\infty P_s(x-1)\,e^{-x}\,dx$ involving Legendre functions

Let $P_s(x)$ denote the Legendre functions of the $1^{st}$ kind, i.e. the Legendre polynomial generalized to an arbitrary (not necessarily integer) order $s$. It can be expressed using the ...
0
votes
1answer
25 views

Polygamma reflection formula

How does one prove the polygamma reflection formula: $$\psi^{(n)}(1-z)+(-1)^{n+1}\psi^{(n)}(z)=(-1)^n \pi \frac{d^n}{d z^n} \cot \pi z $$ Do we have to invoke the power of contour integration and ...
1
vote
1answer
32 views

How to remodel sigmoid function so as to move stretch/enlarge it?

I have a question similar to this. I want the sigmoid to have asymptotes to $+1$ and $0$ in specific points $\frac{1}{A}$ and $-\frac{1}{A}$, as in the Figure (where $\frac{1}{A}=2$ and ...
-2
votes
0answers
67 views

Do we have this type of integral expression of Bessel function of the first kind?

Let $z=\lambda+i\mu$ with $\mu>0$. Then for any $r>0$, $k=1,2,3, \cdots$. Do we have the following identity $$ \int_{r}^{\infty}{\frac{t}{\sqrt{t^2-r^2}}(\frac{1}{t}\frac{d}{dt})^k ...
0
votes
0answers
22 views

Proving a property of Fractional Linear Transformations

I'm having some trouble showing that FLTs send circles and lines to circles or lines. I know that they are compositions of linear maps and inversions. Showing that the linear maps send circles to ...