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

learn more… | top users | synonyms

6
votes
1answer
55 views

A generalization of Bell numbers to arbitrary complex arguments

For $n\in\mathbb N$, the Bell number $B_n$ is a number of ways to partition the integer range $[1,\,n]$ into pairwise disjoint non-empty subsets. E.g. $B_3=5$ because ...
7
votes
2answers
170 views
2
votes
2answers
64 views

Polygamma function series: $\displaystyle\sum_{k=1}^{\infty }\left(\Psi^{(1)}(k)\right)^2$

Applying the Copson's inequality, I found: $$S=\displaystyle\sum_{k=1}^{\infty }\left(\Psi^{(1)}(k)\right)^2\lt\dfrac{2}{3}\pi^2$$ where $\Psi^{(1)}(k)$ is the polygamma function. Is it know any ...
1
vote
0answers
27 views

Integral/infinite sum related to Bessels which pop up in optical coherence theory

In propagating partially coherent optical fields, the following integral pops up: $I_1=\int_0^{2\pi} e^{i(a\cos[\theta]+b\cos^2[\theta])}d\theta$, where a and b are real numbers. If we consider ...
8
votes
1answer
81 views

Prove $_2F_1\!\left(\frac76,\frac12;\,\frac13;\,-\phi^2\right)=0$

Please help me to prove the identity $$_2F_1\!\left(\frac76,\frac12;\,\frac13;\,-\phi^2\right)=0,$$ where $\phi=\frac{1+\sqrt5}2$ is the golden ratio.
0
votes
1answer
20 views

Even function about a point over a restricted range

Why is $f(x)=(x-1)^2$sin$(n\pi x)$ even about $x=1$ for $0\leq x \leq2$? I understand that $(x-1)^2$ is even about $x=1$ and I can plot the graph for various values of $n$ on wolfram alpha, but how ...
10
votes
0answers
122 views
1
vote
2answers
43 views

Help with operator $f(x^q)=\frac{1}{q+1}x^q$.

This question is somewhat related to this. I am looking for an operator $f:\mathbb{R}[x]\to\mathbb{R}[x]$, that is, $f$ is an operator that maps polynomials in one variable to polynomials in one ...
-1
votes
0answers
15 views

Help for High-Order Gaussian Beams in Cylindrical Coordinates [closed]

how to show equation (2.11) in this picture.
12
votes
1answer
208 views
+100

Prove $_2F_1\left(\frac13,\frac13;\frac56;-27\right)\stackrel{\color{#808080}?}=\frac47$

I discovered the following conjecture numerically, but have not been able to prove it yet: $$_2F_1\left(\frac13,\frac13;\frac56;-27\right)\stackrel{\color{#808080}?}=\frac47.\tag1$$ The equality holds ...
1
vote
0answers
34 views

prove the Laguerre–Gaussian equation [closed]

How does one prove the Laguerre–Gaussian equation? $$ x\frac{d^2y}{dx^2}+\left(1-x\right)\frac{dy}{dx}+ny=0 $$
0
votes
0answers
44 views

Integral of Hypergeometric Function with polynomial and exponential

I was working on some mathematical derivations and faced this integral: $$I=\int_{0}^{\infty}x^{\alpha-1}e^{-\beta x}{_2F_1}{(a,b;c;1-hx)}\,\mathrm{d}x$$ how can I integrate it?
14
votes
1answer
239 views

Prove ${\large\int}_0^\infty\left({_2F_1}\left(\frac16,\frac12;\frac13;-x\right)\right)^{12}dx\stackrel{\color{#808080}?}=\frac{80663}{153090}$

I discovered the following conjectured identity numerically (it holds with at least $1000$ digits of precision). How can I prove it? ...
1
vote
0answers
43 views

Integrating $\int_0^1 dx\,\ln(x-a)/(x-b)$ paying attention to cuts.

I am trying to compute the following integral, for complex $a$ and $b$ $$\int ^1 _0 dx \frac{\ln(x-a)}{x-b}$$ by turning it into something in terms of dilogarithms. But for certain values of $a$ ...
2
votes
2answers
41 views

Sum of odd Bessel Functions

In an answer, I showed that: $$\sin(1)=2\sum_{k=0}^\infty(-1)^k J_{2k+1}(1)$$ Where $J_n(x)$ is the Bessel function of the first kind. Is there a more general result for the infinite sum of odd Bessel ...
19
votes
1answer
269 views

Prove ${\large\int}_0^\infty\frac{\ln x}{\sqrt{x}\ \sqrt{x+1}\ \sqrt{2x+1}}dx\stackrel?=\frac{\pi^{3/2}\,\ln2}{2^{3/2}\Gamma^2\left(\tfrac34\right)}$

I discovered the following conjecture by evaluating the integral numerically and then using some inverse symbolic calculation methods to find a possible closed form: $$\int_0^\infty\frac{\ln ...
1
vote
0answers
16 views

Basis representation for non-negative, compact support, reasonably smooth spectral function

I was wondering if anyone has ideas on representing a non-negative, compact support (from x=-1 to 1 on the real axis) spectral function as a superposition of basis elements. Ideally, the basis ...
3
votes
1answer
59 views

What does this paper mean by “$f(x)$ is practically a rational function”?

The paper "Infinite integrals involving Bessel functions by contour integration" by Qiong-Gui Lin gives a method to solve integrals of the form $\intop_{0}^{\infty}x^{v}f(x)J_{v}(qx)\, dx$. One of the ...
1
vote
2answers
41 views

Help with function $f_r(x^q)=q^rx^{q-1}$

Let $r,q$ be a positive integers. I am looking for a function $f_r(x^q)$ such that it is satisfied $$ f_r (x^q)=q^r x^{q-1}$$ (without explicit dependence on $q$ of course, and for $r>1$). I ...
0
votes
1answer
40 views

Pair of functions $F(x)$ (transcendental),$A(x)$ (algebraic) with expanded series of positive integer coefficient linked by derivative

$$F(x)=\sum_0^{\infty}b_k x^k,b_k\in \mathcal{N} \bigcup 0,\exists M \space b_k \leq M^k$$. $$A(x)=\sum_0^{\infty}a_k x^k,a_k\in \mathcal{N} \bigcup 0,\exists M \space a_k \leq L^k$$ where $F(x)$ is ...
6
votes
1answer
116 views

How do people on MSE find closed-form expressions for integrals, infinite products, etc?

I always wanted to ask this question since when I joined MSE, but because I was afraid of asking too many soft questions I never asked it. I've seen some pretty complicated integrals and infinite ...
4
votes
2answers
137 views

Convergence of ${\large\int}_{-\infty}^\infty J_0(x)\,J_0(x+a)\,dx$

Consider $$I(a)={\int}_{-\infty}^\infty J_0(x)\,J_0(x+a)\,dx,$$ where $J_0(z)$ is the Bessel Function of the $1^{st}$ kind and $a>0$. Does this integral converge for any values of $a$? If so, is ...
5
votes
1answer
58 views
+100

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
32 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
48 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
41 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
0answers
27 views

Intepolate from linear to step function

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
40 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
95 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
239 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
58 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
55 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
87 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
40 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
97 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
61 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
39 views

answer to polygamma function [duplicate]

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 help ...
0
votes
0answers
15 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
64 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 ...
1
vote
1answer
13 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
77 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
88 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
49 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
31 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
33 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
261 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
39 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$ ?