**7**

votes

**4**answers

455 views

### Trig functions based on convex curves

Pardon my naivety, but I wonder if
much use has been found for
trigonometric functions
defined in terms of a centrally symmetric convex curve $K$ replacing
the circle $C$.
For example, here is the ...

**4**

votes

**1**answer

597 views

### q-Pochhammer Symbol Identity

Is this identity or an equivalent one already referenced in the litterature? In particular, is it even true?
${\frac{\left ( -1 ; e^{-4\pi} \right) ^2_{\infty}}{\left ( e^{-2\pi} ; e^{-2\pi} \right) ...

**4**

votes

**3**answers

505 views

### Monotonicity of a combination of Bessel functions

Prove that the following function is decreasing (as a function of a) for a > 0 when 0 < r < 1:
$${K_2(ar)I_2(a)-I_2(ar)K_2(a)\over I_2(a)}I_2(ar).$$
The problem arose in the analysis of a model ...

**1**

vote

**1**answer

216 views

### A uniqueness proposition involving Erf, the error function

This is a generalization of a previous MO question, "Reducing system of equations involving Erf, Error Function".
Consider the system of equations:
$$1/2 + {\rm Erf}(x) - \alpha {\rm ...

**0**

votes

**1**answer

386 views

### Sum over Hypergeometric function 2F1 (generating function)

Dear mathematicians,
in my current research project I came accross this very bothersome sum over a rather simple hypergeometric function, or formulated differently: a sum over squared binomial ...

**4**

votes

**2**answers

594 views

### Reducing system of equations involving Erf, Error Function

I have a system of equations:
$$1/2 + {\rm Erf}(x) - {\rm Erf}(\frac{x+y}{2})=0$$
$$-1/2 + {\rm Erf}(y) - {\rm Erf}(\frac{x+y}{2})=0,$$
Where $x \le y$ and ${\rm Erf}$ is the Error Function.
By ...

**6**

votes

**2**answers

835 views

### Is there a known formula for fractional derivative of cot x?

I wonder if there any established formula for fractional derivative of a function $\pi \cot (\pi x)$.
I derived the following expression:
$(\pi \cot (\pi ...

**2**

votes

**1**answer

230 views

### Infinite Series of 2F1

I will be grateful for any ideas to solve the series
$$\sum^\infty_{k=0}\frac{x^k z^k}{k!} \frac{\Gamma(1+a+2k)}{\Gamma(2+k)}{}_2F_1(1,1+a+2k;2+k;z)$$
$a$ is a nonegative integer, $z$ and $x$ are ...

**2**

votes

**0**answers

731 views

### Proof that derivative of Hurwitz Zeta by the first argument is not expressable in terms of Hurwitz Zeta

The set of elementary functions is defined so that it to be closed against operation of differentiation. It is also evidently close against discrete differentiation.
In the discrete calculus there is ...

**7**

votes

**2**answers

1k views

### Duality of eta product identities: a new idea?

Looking at the collection of Eta Function Product Identities by Michael Somos, it seems like generally those identities come in pairs:
let's call two eta product identities $\sum\limits_{i=1}^r ...

**2**

votes

**2**answers

294 views

### Elliptic function with constant real part on the unit square diagonals?

Consider the following even meromorphic doubly periodic function with poles at the gaussian integer lattice.
$H(z) = \prod_{n \in \mathbb{Z}} {1 \over{ 1 - {1 ...

**9**

votes

**0**answers

307 views

### Linear eta product identities - how many are there?

For the Dedekind eta function, defined as usual by $\eta(q) = q^{\frac1{24}} \prod\limits_{n=1}^{\infty} (1-q^{n}) $, let for brevity $e_k:=\eta(q^k)$. With this notation, a blog entry of Michael ...

**0**

votes

**1**answer

230 views

### derivative of a special function in integral form

What is the derivative of $Q_m\left(\frac{\alpha}{x^a},\frac{\beta}{x^b}\right)$ with respect to $x$, i.e,
$$\frac{\partial}{\partial x}Q_m\left(\frac{\alpha}{x^a},\frac{\beta}{x^b}\right),
\quad
...

**3**

votes

**0**answers

268 views

### About a Christoffel-Darboux-type sum

Hi!
I've been using the Christoffel-Darboux identity for the Hermite polynomials,
$$\sum_{k=0}^n\frac{H_k(x)H_k(y)}{2^k k!}=\frac{1}{2^n n!}\frac{H_{n+1}(x)H_n(y)-H_n(x)H_{n+1}(y)}{x-y},$$
for some ...

**3**

votes

**1**answer

249 views

### The relationship between Stirling number of the second kind and the polylogarithm

It is shown here on Mathworld's page on Stirling number of the second kind that
$$
\sum_{k=1}^n S(n,k) (k-1)! z^k = (-1)^n \text{Li}_{1-n}(1+\frac{1}{z})
$$
where $S(n,k)$ is Stirling number of the ...

**0**

votes

**0**answers

179 views

### Convert 2F1 to polynomial

Is there any transformation to convert each of the following versions of ${}_2F_1$ to a polynomial?
The first one is
$${}_2F_1\left(\frac{1-a}{2}, -\frac{a}{2}; b;\frac{4z}{(1+z)^2} \right), \quad ...

**5**

votes

**1**answer

448 views

### Contour Integral with Gamma functions and 2F1

Given the following contour integral
$$\frac{1}{2\pi j}\int^{c+j\infty}_{c-j\infty} \frac{\Gamma(-1+a+s)\Gamma(b+s)}{\Gamma(3+a-s)}\cos(-1+a+s)\,
{}_2F_1\Big(-1-a+s,-1+a+s;\frac{1}{2};z\Big) y^s\: ...

**2**

votes

**1**answer

435 views

### Quadratic Transformation of the Hypergeometric Function 2F1

The function ${}_2F_1\Big(\frac{a-b}{2},\frac{a+b-1}{2};c;y\Big)$ can be transformed (as reported by A. Erdélyi) by the following formula
${}_2F_1\Big(\frac{a-b}{2},\frac{a+b-1}{2};c;y\Big)=
...

**1**

vote

**1**answer

178 views

### About one series. Are there some related special functions?

Hello,
I have the following series:
$$
\sum_{n=2}^\infty \frac{t^n}{\Gamma(a n)} = ?,\qquad t\ge 0,
$$
where the parameter $a\in (0,1]$, $\Gamma$ is the Gamma function. When $a=1$, the above sum ...

**4**

votes

**1**answer

852 views

### minimal polynomials of trig functions of ($k \pi/p$) and divisibility of coefficients by p

Take an odd prime $p$ and put $x_0:=\sum\limits_{j=0}^{p-1}\left(a_{j}\sqrt{p}\cos\dfrac{j\pi}p+b_{j}\sin\dfrac{j\pi}p +c_{j}\tan\dfrac{j\pi}p\right)$, where the $a_{ij}$ are integers. If $f$ denotes ...

**2**

votes

**0**answers

655 views

### Cubic polynomials with “nice” roots, which can be expressed by trig functions of rational angles

Consider the cubic polynomial $x^3-ax+b$ for $a,b\in\mathbb N$.
It has three real roots which, by Cardano's formula, can of course be written in closed form using thirds of angles or cube roots of ...

**9**

votes

**2**answers

822 views

### Which trigonometric identities involve trigonometric functions?

Another question that's getting no answers on stackexchange:
Once upon a time, when Wikipedia was only three-and-a-half years old and most people didn't know what it was, the article titled ...

**5**

votes

**2**answers

848 views

### a dilogarithm identity: known or new?

I was playing around with dilogarithms and numerically found the following dilogarithm identity:
$$\text{Li}_2\left(\frac{2 m}{m^2+m-\sqrt{((m-3) m+1)
\left(m^2+m+1\right)}-1}\right)$$
...

**1**

vote

**0**answers

258 views

### Finite sum of modified bessel function of the second type

I have a sum of the form
$\sum^n_{i=0} \frac{{t}^{i} z^{i}}{i!}K_{a+i}(z), \quad\quad z\in\mathbb{R},z>0$
where $K$ is the modified Bessel function of the second type and $a$ is an integer, ...

**3**

votes

**2**answers

625 views

### Inverse Hankel Transform

I was reading through Akhiezer's book Lectures on Integral Transforms and in chapter nine, he states that the Hankel transform is unitary for $\nu > -1$, so that for a suitable function, $f$,
...

**2**

votes

**1**answer

232 views

### is this bound on a kummer function known?

Is it already known that ${}_1F_1(a;b;x) \leq \Gamma(b)(1+|x|)^{-a}$ when $a$ is an integer, $a <0,$ and $b>0?$ If it is, what is a reference?
my proof:
Since the Kummer function can be ...

**0**

votes

**1**answer

306 views

### Upper bounds on generalized Laguerre polynomials

I evaluated an integral and obtained an expression with a Laguerre polynomial. I'd like something more explicit and useable.
Are there any known simple (e.g. exponential) upper bounds on the ...

**3**

votes

**1**answer

499 views

### Generalized trigonometric functions $Cos(n) v$ and $Sin(n) v$.

I just discovered a paper from 1948, Eine Verallgemeinerung der Kreis-und Hyperbelfunktionen by R. Grammel which introduces functions he calls Cos(n) and Sin(n), representing a parameterization of the ...

**0**

votes

**1**answer

526 views

### infinite series with Hypergeometric functions

Can we get a closed form for the series
$\sum^\infty_{k=0} \frac{ t^k}{k!} \Gamma(k+a)\Gamma(k+\frac{1}{2}){}_2F_1(k+a,k+\frac{1}{2};n+1,x)$
any hints or clues are welcomed.

**5**

votes

**1**answer

972 views

### Two-variable generating functions for Laguerre polynomials

Where can I find generating functions for orthogonal polynomials in two variables?
Lebedev's book (Special Functions and their Applications, Dover, 1972) gives a closed form for
$$
\sum_{n=0}^\infty ...

**5**

votes

**2**answers

1k views

### How to do integrals involving two Bessel functions and another function?

I often encounter the integrals in the following form:
$\int_0^\infty{\rm Bessel}(ax)\cdot{\rm Bessel}(bx)\cdot f(cx)dx$,
where Bessel can be $J$, $N$, $H^{(1)}$, $H^{(2)}$, $I$, or $K$; and $f(x)$ ...

**2**

votes

**0**answers

725 views

### Bessel functions in wave propagation and scattering

Is there a way to scale Bessel J(n,.) (Bessel of first kind) and Bessel H(n,.) (Bessel of third kind or Hankel)? I am having computer problems with higher orders (higher vlaues of n) and small ...

**4**

votes

**3**answers

548 views

### Asymptotic bounds for a confluent hypergeometric function $F_{1}[;1;x]$

I know that for infinite series and $|z|<1$ there exists a confluent hypergeometric expression
$
\sum_{k=0}^{\infty} \frac{z^k}{k!k!} = F_{1}[;1;z]
$
This is not very helpful though, and I 'd ...

**0**

votes

**3**answers

707 views

### How to isolate $f(x)$ in $f(x+a)=f(x)+a\times g(x)$?

$a \in \mathbb{R}$
$f:\mathbb{R} \rightarrow \mathbb{R}$
$g:\mathbb{R} \rightarrow \mathbb{R}$
For generic functions $f$ and $g$, how isolate $f(x)$ in the equation below?
$f(x+a)=f(x)+a\times ...

**15**

votes

**2**answers

2k views

### Sum of trigonometric functions

Do somebody know the closed form of the following sum (m is an integer)
$$f(\beta)=\sum _{k=1}^{2m+1} \sin^{2 m+1}\left[\frac{-\beta+k \pi
}{1+2 m}\right]$$
If instead of $n=1+2m$ we put $n=2m$, ...

**1**

vote

**0**answers

391 views

### An infinte series involving the Modified Bessel Function of the second kind

The following series has had me held up for the past one week:
$$
\sum_{n=0}^\infty\frac{(2m)_n m^n}{(2m+1/2)_n n!}A^{3n/2} t^n K_{2m+n-1/2}(2\sqrt{A}t)~~~~ A>0, ~t>0, ~m\geq1/2
$$
where ...

**0**

votes

**0**answers

423 views

### modified bessel fucntion of the third kind

Hi I'm doing a computation where the modified bessel function of the third kind is the main source of computational strain, we are using a 10,000 dimension's for our distribution, is there any easier ...

**1**

vote

**1**answer

422 views

### Legendre Polynomial Identity

I have encountered the following sum involving Legendre polynomials, which I hope to reduce to something involving a $\delta$-function:
$$
\frac{d^2}{dx^2} \sum_{\ell=0}^{\infty} \frac{2 \ell + 1}{2 ...

**5**

votes

**2**answers

656 views

### On a polynomial related to the Legendre function of the second kind

The Legendre function of the second kind, $Q_n(z)$, along with the usual Legendre polynomial $P_n(z)$, are the two linearly independent solutions of the Legendre differential equation.
$Q_n(z)$ can ...

**2**

votes

**3**answers

470 views

### Differential equation with some constraints

I posted this to stackexchange, and after some hours got a comment that was so pessimistic about finding some neat orderly solution, that I'm posting it here too. (In case anyone cares, this is ...

**0**

votes

**0**answers

249 views

### High dimensional beta integral (question following the previous post)

Hello,
This post is a question following the previous post. In one dimensional case, we have
$$
\int_0^x |y|^{1-\alpha} |x-y|^{1-\beta} d y = \frac{\Gamma(\alpha)\Gamma(\beta)}{\Gamma(\alpha+\beta)} ...

**1**

vote

**2**answers

437 views

### High dimensional beta integral (a typo in Stein's book “singular integrals”)

Hello,
When I read Stein's book of Singular Integrals, at p. 118, there is an obvious mistake:
$$
\int_{R^n} |x-y|^{-n+\alpha} ...

**11**

votes

**1**answer

2k views

### Geometric meaning of a trigonometric identity

It follows from the law of cosines that if $a,b,c$ are the lengths of the sides of a triangle with respective opposite angles $\alpha,\beta,\gamma$, then
$$
a^2+b^2+c^2 = 2ab\cos\gamma + 2ac\cos\beta ...

**1**

vote

**3**answers

446 views

### Pairing function monotonic respect to product of arguments [closed]

Has anyone ever created a "pairing function" (possibly non-injective)
with the property to be nondecreasing wrt to product of arguments, integers n>=2, m>=2. (We can also assume that n and m are ...

**1**

vote

**1**answer

1k views

### looking for monotonically increasing functions with range in [0,1] [closed]

Ideally, the function f(x) would tend toward zero as x tends towards negative infinity, and f(x) would tend towards 1 as x tends towards infinity, all the while being monotonically increasing.
for ...

**7**

votes

**2**answers

357 views

### Asymptotics of the $q$-harmonic series as $q\to1$

The following (very simply looking!) problem occurs in regularization
of the harmonic series
which can be formally thought of as the limit as $q\to1$, $|q|<1$, of
$$
...

**0**

votes

**0**answers

217 views

### Non-standard addition theorem for Legendre function of the first kind

There is known link text addition theorem for the Legendre functions of the first kind $P_{\nu}^m(x)$, which establishes the connection between $P_{\nu}^m(x)P_{\nu}^{m}(y)$ and $P_{\nu}(F(x,y))$ for ...

**3**

votes

**0**answers

449 views

### Mathematica package for obtaining hypergeometric function

In my current research in electromagnetics I am encountering integrals of the form $$ \int_0^\infty dt J_0( r t) \frac{\exp(-h \sqrt{t^2 - a^2})}{\sqrt{t^2 - b^2}} t . $$ $a$ and $b$ are complex ...

**2**

votes

**1**answer

258 views

### antiderivative involving modified bessel function

This little integral has been holding me up for weeks. Has anyone come across a similar integral in their work.
$\int {\frac{d x}{c-I_0(x)}} $

**1**

vote

**1**answer

186 views

### Can you control the amplitudes of a finite collection of sine curves just by controlling the amplitude of their superposition?

Dear all,
I would like to know whether the following claim is true. In particular, if it is true, then I would like to know if there is some textbook that contains the statement and maybe even the ...