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

learn more… | top users | synonyms

0
votes
0answers
38 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}$?
1
vote
1answer
29 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
40 views

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
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 ...
0
votes
1answer
40 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
31 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 ...
3
votes
0answers
57 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 ...
0
votes
2answers
26 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
12 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
67 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 ...
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
43 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 ...
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
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 ...
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
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
28 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 ...
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 ...
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 ...
1
vote
0answers
21 views

What is the status on questions related to Bhargava's factorial function? [migrated]

In Manjul Bhargava's The Factorial Function and Generalizations he motivates a new type of factorial $n!_S$ using by generalizing a few theorems like: For $k, l \in \mathbb{Z}$, we have $k! \times ...
1
vote
1answer
26 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 } ...
0
votes
1answer
87 views

A limit related to an alternating series [closed]

Show that the limit $$ \lim_{N\rightarrow\infty}\bigg(\sum_{k=1}^{2N-1}(-1)^{k+1}\frac{\sin\big(\frac{\pi}{2N}\big)}{\sin\big(\frac{k\pi}{2N}\big)}\bigg) = 2\ln2 $$ holds. Hint: I think the identity ...
2
votes
2answers
78 views

Challenging integral

I am trying to find a close form representation for the following integral: $$ A(x;a,b,c)= \int_{0}^{x}\frac{\sin\left(a k+b k^{2}\right)+\sin\left(c k-b k^{2}\right)}{k}dk $$ for $0<x \ll ...
-2
votes
0answers
66 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 ...
1
vote
2answers
79 views

Closed form of the integral $\int_0^1 \frac{x^n}{1+x}\, dx$

I am trying to evaluate the integral $$\int_0^1 \frac{x^n}{1+x}\, dx, \;\;\; n \in \mathbb{N}$$ in a closed form. I tried tackling it using Beta Form $\displaystyle \int_0^1 ...
0
votes
0answers
24 views

Taylor series of $(1-x)^b$ $_2F_1(a,b;c;x)$: when to stop?

Let $f(x)= (1-x)^b$ $_2F_1(a,b;c;x)$, where $0<x<1$ and $a=(K-1)d$, $b=K$, c=$Kd$ (with $a$, $b$ and $c$ are positive and $K>d$ ). I need to derive the Taylor series of the corresponding ...
0
votes
0answers
17 views

Proof of identity with Hermite polynomials

Let's have Hermite polynomial, $H_{n} = e^{\frac{x^{2}}{2}}\frac{d^{n}}{dx^{n}}e^{-\frac{x^{2}}{2}}$. How to prove the identity $$ \tag 1 \sum_{n = 0}^{\infty}H_{n}(x)H_{n}(y)\frac{t^{n}}{n!} = (1 - ...
0
votes
0answers
22 views

What can we say about variational energies?

Suppose that $U \subset \mathbb{R}^d$ is open and let $V_{ij}^{kl}(r)$ $(1 \leq i,j,k,l \leq d)$ be functions on $V$ to $\mathbb{R}$ which are as smooth as the coming problem may require. For the ...
1
vote
2answers
47 views

Integrals with the special functions $Ci(x)$ and $erf(x)$

I'm looking for the solutions of the following two integrals: $$I_1=\int\limits_0^\infty dx\, e^{-x^2}Ci(ax)$$ and $$I_2=\int\limits_0^\infty dx\, e^{-ax}erf(x)$$ with ...
0
votes
0answers
29 views

Solution to a particular Wave Equation

Consider the partial differential equation \begin{align} \frac{1}{c^{2}} \, \frac{ \partial^{2} U}{\partial t^{2}} &= \frac{\partial^{2} U}{\partial x^{2}} + x \, \frac{\partial U}{\partial x} + ...
0
votes
1answer
32 views

How to explain hypergeometric $2F_1[1+m,n,2+m,-2]$?

Question as title showed. What expression it represents? Many thanks.
0
votes
0answers
87 views

Compute $\int_{1}^{\infty} \frac{J^2_{n}(k)}{k^m} dk$

Question as the title showed,in which J means Bessel functions, n and m are positive integers. How to get the analytic result? Any comment is much appreciated. Many thanks in advance.How to simplify ...
1
vote
1answer
40 views

Asymptotic behavior of the zeros of the digamma function

The gamma function has just one extremum on each interval $(k,k+1)$, where $k$ is a negative integer. These extrema occur at the zeros of the derivative of the gamma function. Let $z_n$ denote the ...
0
votes
0answers
10 views

Separable sigmoid-like function

Is there any squashing function that is multiplicatively separable? I'm looking for a sigmoid-like function f(x) that allows me to calculate f(ax)+f(ay) given "a" and f(x)+f(y).
0
votes
1answer
18 views

Plot my own function 'in two variables'

I have matlab function in two variables say $function_{something}(t)$ where $t$ is of size $2 \times k$, this is to allow to evaluate $k$ times in two values. So my output is then a $k \times 1$ ...
0
votes
0answers
10 views

Finding an analytic form of a function that satisfies asymptotic conditions

I have a family of functions that I obtain numerically. They depend on $x$ and parametrically also upon a certain parameter $L$. I would like to find an analytical form for this family of functions so ...
4
votes
0answers
77 views

$\int_0^1 \frac{\ln(1+x^a)}{1+x}\, dx$

I have recently met with this integral: $$\int_0^1 \frac{\ln(1+x^a)}{1+x}\, dx$$ I want to evaluate it in a closed form, if possible. 1st functional equation: $\displaystyle f(a)=\ln^2 2-f\left ( ...
0
votes
3answers
89 views

Various evaluations of the series $\sum_{n=0}^{\infty} \frac{(-1)^n}{(2n+1)^3}$

I recently ran into this series: $$\sum_{n=0}^{\infty} \frac{(-1)^n}{(2n+1)^3}$$ Of course this is just a special case of the Beta Dirichlet Function , for $s=3$. I had given the following ...
0
votes
1answer
11 views

generate large range function from smaller

i lies between 0 to 31, with equal probability (1/32). k is either 0 or 1.(equal probability 1/2) How can one generate i using only k?
1
vote
0answers
41 views

Solving Integral $\int_{0}^{x}K_{0}\left(\frac{2t^{\beta /2}}{\sigma ^{\beta }}\right)\;dt$

This question is a continuation of the question posted here. The problem here is to solve the integral with modified Bessel function of second kind, $K_0\left(u\right)$: $$F\left ( x \right ...
5
votes
0answers
252 views

What special role plays the function $\pi^{\frac x\pi}$ in analysis?

I have tried to redefine some special functions in the most "natural" way, that is the way which allows to simplify the relations the most. I would call these functions "parelementary". The ...
2
votes
0answers
28 views

q-Hermite polynomials

It is well known that the q-Hermite polynomials defined by $$H_n(\theta; q)= \sum\limits_{k=0}^n \frac{(q;q)_n}{(q;q)_k(q;q)_{n-k}}e^{i(n-2k)\theta}$$ are orthogonal in $\theta \in [0, \pi]$ with ...
0
votes
0answers
16 views

Polylogarithm and unclear statement

I am trying to solve this question which may not have an answer at all, but any clarification would be much appreciated. I also tried to explain what I have tried/thought about it below. Let ...
3
votes
3answers
101 views

Residue of $\Gamma^{2}$ and $\Gamma^{3}$

Based on wiki, the residues of $\Gamma$ at non positive integers are given by: $$\text{Res}\left ( \Gamma(z),z=-n \right )=\frac{(-1)^{n}}{n!}.$$ I have been trying to find residue for $\Gamma^{2}$ ...
2
votes
2answers
42 views

Dirichlet $L$ functions at $s=2$

Let $\chi$ be a Dirichlet character and let $L(\chi,s)$ denotes its Dirichlet $L$-function. What is the value of $L(2,\chi)$ ? Or simply, is $L(2,\chi)/\pi^2$ rational ? Many thanks for your answer ...
3
votes
0answers
46 views

About a sequence related with the complete elliptic integral of the second kind

When answering this related question I proved that if we define $B(\lambda)$ as: $$\begin{eqnarray*} ...
0
votes
1answer
32 views

Proving the transform of the Q-function

I have the Gaussian Q-function, given by: and I want to prove that it can be also expressed as: Can somebody help explaining how to obtain the second integral from the first?
1
vote
0answers
45 views

Relation between Nuttal Q-function and Gaussian Q-function

I am trying to express the famous Nuttal Q-function, given as: $$\mathcal Q_{m,n}(p,q)=\int_q^\infty t^me^{-0,5\left[p^2+t^2\right]}I_n(pt)\;dt$$ where $m$, $n$, $p$, and $q$ are constants and ...