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

learn more… | top users | synonyms

1
vote
1answer
29 views

Closed-form expression for $\int_{0}^{1}e^{-ax(1 - bx )}x^{\alpha-1}(1-x)^{\beta - 1}dx$?

As per the title, I am looking for a closed-form expression for the integral $$\frac{1}{B(\alpha,\beta)}\int_{0}^{1}e^{-ax(1 - bx )}x^{\alpha-1}(1-x)^{\beta - 1}dx$$ where $a,\alpha,\beta>0$ and ...
1
vote
1answer
22 views

Laplace transform involving the gamma function.

Does anyone know how to evaluate the following integral $$ \int_{0}^{\infty} \frac{e^{-qs}\alpha^{s}}{\Gamma(s)\Gamma(s)}\text{d}s $$ where $q,\,\alpha > 0$? I've done some digging in usual ...
0
votes
0answers
22 views

Integrating Associated Legendre Polynomials

As part of a derivation for the question I asked here in Physics stackexchange, I am trying to calculate the following integral, but I am not sure how to proceed: ...
0
votes
0answers
31 views

Handling complex arguments of elliptic integrals in Maple

I want to solve the integral \begin{equation} I(y)=\int_0^y\sqrt{\dfrac{x(1+ax)}{(1+ax)^2-b^2}}\,\mathrm{d}x,\qquad a<0,\; b\in(0,1),\; y>0,\; (1+ax)^2-b^2>0, \end{equation} using Maple 18. ...
2
votes
2answers
34 views

Why are there four independent solutions of Mathieu equation instead of two?

Consider Mathieu equation: $$\frac{d^2}{d\xi^2}R(\xi)+(a-2q\cos(2\xi))R(\xi)=0.$$ It's a second order ODE, so it should have two linearly independent solutions. One of the choices is to denote one ...
1
vote
0answers
42 views

A possible dilogarithm identity?

I'm curious to find out if the sum can be expressed in some known constants. What do you think about that? Is it feasible? Have you met it before? $$2 ...
3
votes
1answer
60 views

Is the solution of functional equation $x^x=y^y$ when $0\lt x\lt y$ uncountable?

I want to prove that, the set: $S=\{(x,y)\in \mathbb R^2\,\,|\,\,0\lt x\lt y \,\,,\,\,\,\,x^x=y^y \}$ $\,\,$ is uncountable. My idea is the following: Consider the function ...
0
votes
2answers
38 views

Writing $f(x)$ in terms of the heaviside function

I have $f(x,t) = 0$ when $t \le 0$ and $f(x,t) = \sin(-x + t)$ when $t > 0$. I have been told this can be written more concisely in terms of the heavisdie function $u(t - a)$ as $f(x,t) = \sin(-x ...
0
votes
1answer
21 views

Why it is necessary for copula functions to be grounded?

I know what the properties "grounded" and "2-increasing" means in copula functions definition but actually I can't understand the reason behind these two! I mean why it is necessary for copulas to be ...
2
votes
1answer
22 views

Is this function defined in terms of elliptic $\mathrm{K}$ integrals even?

Let $R,z > 0$ be positive real constants, and consider the function $f: \mathbb{R} \to \mathbb{R}$ defined by $$ f(v) = \frac{1}{\sqrt{(R+v)^2+z^2}}\ \mathrm{K}\!\left( \frac{4 R v}{(R+v)^2+z^2} ...
1
vote
0answers
23 views

Proof for the Rodrigues formula for Neumann's Spherical functions.

I've been trying to prove the Rodrigues formula for Neumann's Spherical functions. The Neumann's Spherical functions are: $$N_n(x))=-(-x)^n\left[\frac{1}{x}\frac{d}{dx}\right]^n\frac{\cos{(x)}}{x}$$ ...
5
votes
2answers
212 views

Solution of a Lambert W function

The question was : (find x) $6x=e^{2x}$ I knew Lambert W function and hence: $\Rightarrow 1=\dfrac{6x}{e^{2x}}$ $\Rightarrow \dfrac{1}{6}=xe^{-2x}$ $\Rightarrow \dfrac{-1}{3}=-2xe^{-2x}$ ...
0
votes
0answers
13 views

$K$ which is of second category in itself.let $H = K \cap ( - K)$. Why $H$ is non empty interior

Let $X$ be topological vector space.Let $K$ be closed, convex, dense subset of $X$ and $K$ which is of second category in itself. Put $H = K \cap ( - K)$. Why does $H$ is nonempty interior?
1
vote
2answers
61 views

A special modular function: $ j $-invariant.

It is known that j invariant $$j(\tau)= 1728 \frac{g_2^3(\tau)}{\Delta(\tau)} $$ $\tau \in \mathbb{H}$ attains every complex value , Can someone guide me its proof.?? where $L(\tau ) = \{\tau m ...
1
vote
1answer
39 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
votes
0answers
24 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 ...
2
votes
0answers
25 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, ...
0
votes
1answer
16 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
73 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 ...
1
vote
1answer
63 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. ...
3
votes
2answers
43 views

Derivative of the Gamma function

How do you prove that $$ \Gamma'(1)=-\gamma, $$ where $\gamma$ is the Euler-Mascheroni constant?
1
vote
2answers
33 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 ...
0
votes
1answer
34 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) ...
2
votes
2answers
53 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
16 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 ...
1
vote
1answer
60 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}$?
0
votes
1answer
20 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 ...
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 ...
1
vote
2answers
68 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
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
2answers
47 views

How to evaluate the length of the perimeter of a low eccentricity ellipse?

Given that $ e= \frac{a^2-b^2}{b^2} $ , and $L$ is the length of the perimeter, which equals $4aE(e, \pi/2)$, find the length of the perimeter up to $e^2$ in terms of $a$ and $b$. How does one begin ...
0
votes
1answer
45 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
35 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
62 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
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
14 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
72 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
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 ...
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
34 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
36 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 ...
0
votes
0answers
14 views

transformation involving elliptic integrals

I have two expressions which I know are equivalent but I just can't see how to go from one to another. I'm sure it involves properties of elliptic integrals however I am not very familiar with the ...
1
vote
1answer
25 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
1answer
30 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 } ...