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

learn more… | top users | synonyms

7
votes
1answer
102 views

Derivative of a generalized hypergeometric function

Let $$f(a)={_2F_3}\left(\begin{array}c1,\ 1\\\tfrac32,\ 1-a,\ 2+a\end{array}\middle|-\pi^2\right).$$ How to find $f'(0)$ in a closed form?
2
votes
2answers
50 views

Evaluation of Indefinite Integral resulting in Hypergeometric Function

I am attempting to derive the result: $$ \int \left(1+x^n\right)^{-1/m}dx= x\,_2F_1\left(\frac 1m,\frac 1n;1+\frac 1n;-x^n\right)$$ First, I start off with the binomial expansion of the integrand to ...
3
votes
1answer
73 views

Does $\int { y\cosh \left(\beta y^2\right)}J_0\left(\gamma y^2 \right) dy$ have a closed form

I am trying to solve the following indefinite integral $$F_Y(y) = \int {y\cosh \left(\beta y^2\right)}J_0\left(\gamma y^2 \right) dy$$ Where $J_0$ is the Bessel function of the first kind. I tried ...
2
votes
1answer
50 views

Proof or source for this Hurwitz Zeta function identity?

I need a proof or source for this identity: $ \zeta '\left(z,\frac{q}{2}\right)-2^z \zeta '(z,q)+\zeta '\left(z,\frac{q+1}{2}\right)=\zeta(z,q)2^{z}\ln 2$ Here the derivative means the derivative by ...
0
votes
2answers
115 views

Intepolate from linear to step function, and one application for shading colors

I'm running after a particular function $f_\sigma : [−1,+1] \rightarrow [-1,+1]$ that could take three different forms depending on the value of its parameter $\sigma$. Could anyone help me ...
0
votes
0answers
41 views

Definite integral with doable improper case

Is there a way to evaluate one or both of the following integrals: $$ \int_{a_1}^{a_2} e^{ib_1(x+b_2 \sqrt{1+x^2})}dx \quad \text{and}\quad \int_{a_1}^{a_2}\frac{x}{\sqrt{1+x^2}} e^{ib_1(x+b_2 ...
1
vote
1answer
121 views

Trying to solve $\int{-2\exp{\left(z\cos^2 \theta \frac{\left(a^2 - 1\right)}{2a^2}\right)}}d\theta$

I am trying to solve this integral which has come up as part of some other work, but it is proving to be much harder than I had originally thought. For $0 < |a| \le 1$ being some constant, I am ...
8
votes
2answers
327 views

Difficult infinite integral involving a Gaussian, Bessel function and complex singularities

I've come across the following integral in my work on flux noise in SQUIDs. $$\intop_{0}^{\infty}dk\, e^{-ak^{2}}J_{0}\left(bk\right)\frac{k^{3}}{c^{2}+k^{4}} $$ Where $a$,$b$,$c$ are all positive. ...
0
votes
1answer
63 views

$\lim_{s\to 0^+}\int_0^\infty a(t) e^{-st} dt $

$$\int_0^\infty a(t) e^{-st} dt = f(s)$$ What is the meaning of the limit of this integral as $s\to 0^+.$
1
vote
0answers
69 views

Analytical evaluation of integral

I would like to evaluate the following integral analytically, but Mathematica does not give me an answer: $$ \int_0^1 dr \ e^{(1-2r)x^2} \left[p(r,x) Y_0\left(2x^2\sqrt{r-r^2}\right)+q(r,x) ...
2
votes
1answer
16 views

lower bound of modified Besselfunction

i'm looking for an lower bound for the modified Bessel function of the first kind $I_\nu(x)$ of a +ive real argument. There should be one of the form $$ce^{x^\alpha} \le I_\nu(x)$$.
0
votes
0answers
24 views

Keep a Function Positive via Mod

I have a function $F$ and I want it to remain positive--i.e., $$- F=F,\quad F=F $$ Would sticking a $\mod 2$ in front of $F$ do this? That is, because $$-1\mod 2=1\mod 2=1 $$ Then let ...
4
votes
3answers
95 views

Proving $\int_0^1 \frac{\mathrm{d}x}{1-\lfloor \log_2(1-x)\rfloor} = 2 \log 2 - 1$.

By testing in maple I found that $$ \int_0^1 \frac{\mathrm{d}x}{1-\lfloor \log_2(1-x)\rfloor} = 2 \log 2 - 1 $$ Does there exists a proof for this? I tried rewriting it as an series but no luck ...
0
votes
1answer
60 views

Sigmoid function in neural network

I am studying a doctoral thesis on control-theory and have trouble understanding the notions and the notation introduced there. I am doing this out of interest on the subject, so I haven't had a ...
6
votes
3answers
112 views

A closed form expression for $\int_0^{\infty} (t^2+t^4)^n e^{-t^2-t^4}\,dt$

I was doing some computations for research purposes, which led me to this integral: $$I(n) = \int_0^{\infty} (t^2+t^4)^n e^{-t^2-t^4}\,dt.$$ This is very suggestively written so as to employ a ...
4
votes
2answers
73 views

2D Integral of Bessel Function and Gaussians

I've run into the following integral, and I'm not sure how to evaluate it. $$F(k)=\int ...
0
votes
0answers
18 views

Evaluation of polygamma function?

I have an expression related to polygamma function. I just need to know whether it is greater than zero or less than zero. In the experssion a>b (both integers) and c is positive real any link ...
1
vote
1answer
65 views

Function Approximation

I need to solve the following equation $$-\frac{\partial S(x,y,t)}{\partial t}=ax^2+bx\frac{\partial S(x,y,t)}{\partial x}+c\Big[\frac{\partial S(x,y,t)}{\partial ...
2
votes
1answer
23 views

Kronecker delta function notation

Can someone please help me, what does $\delta_{i-j-1}$ stand for? I have a matrix with elements $z_{ij}=\delta_{i-j-1}$ where $\delta_k$ is the Kronecker delta function (that's how it's written in the ...
2
votes
1answer
83 views

What is the inverse function of $\int{ \frac{1}{{\sqrt{x+1}}{x^n}} dx}$?

I am trying to solve $$ \frac{dy}{dt} = \alpha ((y+1)^2 - \gamma)^n \hspace{2cm} y(0)=0 $$ Here $y$ is a real-valued, monotonically increasing, positive definite function of $t$ in the interval ...
1
vote
2answers
110 views

Lyapunov function for non-autonomous non-linear differential equations

I have read some lecture notes about Lyapunov’s Second Method for autonomous system. Now, I want to deal with the stability of a non-autonomous system. Suppose there is a non-autonomous non-linear ...
2
votes
1answer
53 views

How many answers can be created using the elementary arithmetic operators?

If I gave you an amount of $n$ numbers, how many anwswer will you be able to create using the elementary arithmetic operators ($+, -, \times, /$)? These are the rules: All numbers ...
1
vote
0answers
34 views

Is there a name for this property of a real function?

Let $M=\sup_{x \in [0,1]^n} f(x)$ where $f:[0,1]^n \rightarrow \mathbb{R}$ is differentiable twice, and write $x=(x_1, \dots, x_n)$. Let $M_{x_i=0}=\sup_{x \in [0,1]^n:x_i=0} f(x)$ and ...
2
votes
2answers
56 views

Lambert Function as a solution

The solution to the equation $$Xe^X=K$$ is given by $$X=W(K)$$ where $W$ is the Lambert function. Is it possible to adapt this such that we can find a solution for $$\frac{1-e^X}{X}=K?$$
0
votes
0answers
34 views

Prove an inequality involving $Si(x)$ and $Si(2x)$

How Is it possible to prove the following inequality? $$xSi(2x)-2Si(x)*\sin(x)\lt x^2$$ for $x\in\mathbb{R}$ Thanks
5
votes
2answers
267 views

Curious gamma identity

I found the following curious identity for the gamma function on Wikipedia for which I'd like to know some references (proof, history, etc). The identity is as follows: $$\Gamma(t) = x^t ...
0
votes
1answer
43 views

closed form expression for an infinite sum

Is there any closed form expression for the infinite sum $\sum_{n≥0}q^{n^2}u^n$ where both q and n are variables and $n \in N∪0$ ?
0
votes
0answers
56 views

closed form expression for an infinite series

Is there any closed form expression for the infinite sum $∑_{n≥0}q^{n(n+1)/2}(1+q)(1+q^2)...(1+q^n)u^n$ where both q and n are variables and $n \in N∪0$?
0
votes
0answers
24 views

Conjecture about the harmonic number

I would like to know if is it possible to prove or disprove the following conjecture: Given the following limit: $$L(x,N)=\lim_{N\to\infty}\left(H^{(-x)}_N-NH_N\right)$$ we have: $L(x,N)\lt+\infty$ ...
0
votes
2answers
25 views

Can b=0 in the confluent hypergeometric function U(a,b,z)?

I am confused about the possible values of b in the confluent hypergeometric function of the second kind U(a,b,z). Specifically can b=0? I know that the U function can be expressed as $$U(a,b,z)=\pi ...
1
vote
0answers
50 views

Rogers-Ramanujan Continued Fraction

How to calculate Rogers-Ramanujan Continued Fraction $R(e^{-2\pi{\sqrt{5}}})$ ?
4
votes
1answer
34 views

Calculate integral with $\Gamma$ and $B$

The integration is like: $$\int_{a}^{b}\left(\frac{b-x}{x-a}\right)^{p}dx$$ with $0<p<1$ Answer is $(b-a)p \frac{\pi}{\sin p\pi}$ Apparently, we can reversely construct $$\Gamma(1-p) ...
0
votes
0answers
29 views

Constant Coefficient Legendre Equation via Change of Variables?

In the introduction to this old book by Craig on ode's it is said that The theory of linear differential equations may almost be said to find its origin in Fuchs's two memoirs published in 1866 ...
2
votes
2answers
134 views

Compute the indefinite integral $I=\int y^{-a}(1−y)^{b-1} dy$ or $I=\int_{d}^1 y^{-a}(1−y)^{b-1} dy$

I need to calculate the indefinite integral $I=\int y^{-a}(1−y)^{b-1} dy$, where $a$, $b$ are REAL NUMBERS and $b>0$. (my goal is to determine the definite integral $I=\int_{d}^1 y^{-a}(1−y)^{b-1} ...
2
votes
7answers
726 views

What are the most important functions every mathematician should know? [closed]

I am an undergrad in math and was wondering, what are for you the most important functions every mathematician should know? At the moment I think ...
0
votes
1answer
24 views

Partial fraction that contain special function

How to apply partial fraction to the following equation: $$ \frac{e^{\frac{(2c+5x)}{3x}} \mathop{E_{n}}\nolimits\!\left(x\right)}{(a+x)(b+x)} $$
5
votes
1answer
140 views

Prove that $\exists\,! \,\lambda \in (1/5,1/4)$ such that $\frac{1}{2\pi}\int_0^{2\pi}e^{\sin x}\,\mathrm{d}x=e^{\lambda}$

The following question came up in chat Prove that $\exists\,! \,\lambda \in (1/5,1/4)$ such that $\displaystyle\frac{1}{2\pi}\int_0^{2\pi}e^{\sin x}\,\mathrm{d}x=e^{\lambda}$ Now the integral ...
1
vote
1answer
52 views

$\int xtanx$ and the Clausen Function

I have been attempting to evaluate $\int x \tan x \;\mathrm{d} x$. My first instinct was integration by parts, which produces $-x \ln|\cos x|+\int \ln|\cos x| \;\mathrm{d} x$. I have read online ...
2
votes
1answer
26 views

Prove convexity of log modified bessel function

I need to prove that the modified bessel function of the second kind is log convex in the square of the argument. Specifically I'm interested in showing, $\log \mathcal{K}_0(\sqrt{x})$ (zero order) is ...
0
votes
0answers
71 views

Solving integral that contain upper incomplete gamma function, exponential, and powers

I have this integration formula; $ f=\int\limits_{0}^{\infty}\frac{e^{-b~z}}{\sqrt{z}} \Big(\frac{\beta}{\beta+z}\Big)\Big(\frac{\beta+z}{z}\Big)^L ...
2
votes
0answers
48 views

Ramanujan Class Invariant $G_{125}$ and $ G_{5}$

How to calculate the Ramanujan Class Invariant $G_{125}$ and $G_{5}$?
0
votes
0answers
16 views

closed form of integral of special function? $\int_{0}^{1} e^{a\, q^{1/k}\, {}_1 F_{2}(1,1/k,1 + 1/k;q)} d q$

Take the following integral, defined by hypergeometric functions: $$\int_{0}^{1} e^{a\, q^{1/k}\, {}_1 F_{2}(1,1/k,1 + 1/k;q)}d q$$ (there is a similar formulation Lerch). I think the series ...
1
vote
2answers
61 views

$f(x)=\log x\Leftrightarrow f^{-1}(x)=e^x$. Why $e=2.73\cdots$?

$$f(x)=\log x\Leftrightarrow f^{-1}(x)=e^x.$$ Ok, $\log x$ is defined as the function $f(\cdot)$ such that: $f'(x)=\dfrac{1}{x}$. How to get, from this, the inverse of it $f^{-1}(x)$? And why ...
1
vote
1answer
36 views

How to update the probabilities so that it still sum up to $1$?

At time $t$, I have a probability vector $\mathbf{\pi}^{t}=\left({\pi}_{1}^{t}, \cdots, {\pi}_{n}^{t} \right)$. I would like to construct a function $f(\cdot)$ and update the vector ...
1
vote
0answers
101 views

What is the sum of Psi/Digamma-function of consecutive arguments? Is there a closed form?

In a consideration of summation of a series $$ s = a_0 + a_1 + a_2 + \cdots \tag 1$$ with $$\lim_{k \to \infty} a_k=0$$ but slowly decreasing, the coefficients $a_k$ are somehow related to $1/k^2$ ...
0
votes
0answers
43 views

What is the sigmoid *squashing* function?

I've just read the following The basic unit ("neuron" i) performs the following computation to update its state $y_i$: it computes a weighted sum $v_i$ of its inputs $x:j$ which is passed ...
5
votes
2answers
92 views

Hyberbolic and Circular (Trig) Functions: Why no parabolic? [duplicate]

There are circular (trig) functions which determine all the points on a unit circle: and which relate to the area swept out by an angle subtended on the circle. -- These functions can of course be ...
4
votes
3answers
69 views

How to show that $\int \limits_{-\infty}^{\infty} (t^2+1)^{-s} dt = \pi^{1/2} \frac{ \Gamma(s-1/2)}{\Gamma(s)}$

I want to compute the integral $$ \int \limits_{-\infty}^{\infty} (t^2+1)^{-s} dt $$ for $s \in \mathbb{C}$ such that the integral converges ($\mathrm{Re}(s) > 1/2$ I think) in terms of the Gamma ...
37
votes
4answers
2k views

Why can't we define more elementary functions?

$\newcommand{\lax}{\operatorname{lax}}$ Liouville's theorem is well known and it asserts that: The antiderivatives of certain elementary functions cannot themselves be expressed as elementary ...
5
votes
1answer
141 views

Alternating second power Euler sum $\sum_{k\geq 1} \frac{(H'_k)^2}{k^2}$

Question: Evaluate $$\sum_{k\geq 1} \frac{(H'_k)^2}{k^2}$$ Where we define the alternating harmonic number $$H'_k=\sum_{n=1}^k\frac{(-1)^n}{n}$$ I remember seeing a closed form involving a ...