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

learn more… | top users | synonyms

19
votes
2answers
1k views

doubly periodic functions as tessellations (other than parallelograms)

I think of a snapshot of a single period of a doubly periodic function as one parallelogram-shaped tile in a tessellation, could a function have a period that repeats like honeycomb or some other not ...
7
votes
1answer
183 views

How to prove the q-series identity?

How could I prove that $$(-q;q^2)_\infty (q;q)_\infty = 1 + 2 \sum_{i=1}^\infty (-1)^i q^{2 i^2}?$$ If that is too difficult is there a way to show $$(-q;q^2)_\infty (q;q)_\infty \equiv 1 \pmod 2?$$ ...
5
votes
0answers
175 views

Bounding function involving Beta functions

Given $\frac{a}{x-1} \leq \frac{b}{y-1} \leq \frac{c}{z-1}$ with $a,b,c > 0$ and $x,y,z > 1$, I want to show that $$\frac{(\frac{a}{a+b})^{x-1}(\frac{b}{a+b})^{y-1}}{B(x,y)\cdot (x+y-1)} + ...
3
votes
1answer
421 views

How do I find the inverse Hankel transform of $k^2e^{-k^2}$?

I am trying to solve: $$f_l(r)=\int_0^{\infty}e^{-k^2}k^4j_l(kr)dk,$$ where $j_l$ is the spherical Bessel function of the first kind, for any integer l >= 0. Thanks in advance for any answers!
1
vote
1answer
71 views

Can one prove $\text{erf}\left(\frac{c}{t}\right) \ge \delta \, \min(1,\frac{c}{t})$?

Let $c>1/2$ be an arbitrary big fixed constant. Can one prove that for all $t\geq 1$: $$\text{erf}\left(\frac{c}{t}\right) \ge \delta \, \min\left(1,\frac{c}{t}\right)$$ for some small constant ...
9
votes
2answers
1k views

Proving and deriving a Gamma function

I'm having a hard time trying to prove this Gamma function and trying to derive the duplication formula: a.) Prove that $$\frac{\Gamma (p)\Gamma (p)}{\Gamma (2p)} = ...
14
votes
3answers
480 views

Can this integral $\int_0^{2\pi} \frac{d\theta}{(a^2 \cos^2 \theta +b^2\sin^2\theta)^{3/2}}$ be written in the form of a elliptic integral

I am trying to find the magnetic field due to an elliptic loop of wire. How to do integrals of the type $$\int_0^{2\pi} \frac{d\theta}{(a^2 \cos^2 \theta +b^2\sin^2\theta)^{3/2}}$$ Where a and b are ...
22
votes
1answer
605 views

Feeding real or even complex numbers to the integer partition function $p(n)$?

Like most people, when I first encountered $n!$ in grade school, I graphed it, then connected the dots with a smooth curve and reasoned that there must be some meaning to $\left(\frac43\right)!$ — ...
1
vote
0answers
155 views

Orthogonal polynomial interpolation of a function

I want to write down an arbitrary function $f$ as an (infinite) sum of orthogonal polynomials, e.g. for $f(x) = e^{\sin(x)}$, $f(x) = \sum{a_n T_n}$, where $a_n$ are the coefficients and $T_n$ are the ...
3
votes
0answers
218 views

How did Bessel functions come to be denoted by $J_n$?

The $n$th Bessel function of the first kind is usually denoted $J_n(x)$. Where did the use of the letter $J$ to indicate the Bessel function come from?
1
vote
2answers
509 views

Integral of the fractional part of $\frac1x$ multiplied by $x$ on interval $(a,b), a\ge 0$.

I'm interested in finding the value of the integral of $\left\{\frac{1}{x}\right\}\cdot x$ (the fractional part of $\dfrac{1}{x}$ multiplied by $x$) on the interval $(a,b), a\ge 0$ the integral of ...
11
votes
1answer
644 views

Hermite's solution of the general quintic in terms of theta functions

Can someone point me at or produce a translation or modern exposition of Hermite's solution of the general quintic in terms of theta functions? (the "before" and "after" steps are on the mathworld ...
5
votes
3answers
1k views

Continuous function with local maxima everywhere but no global maxima

Can there be such a function: $f \colon \mathbb R \to \mathbb R$ is continuous and non-constant. It has a local maxima everywhere, i.e., for all $x \in \mathbb R$ there is some $\delta_x>0$ such ...
6
votes
1answer
318 views

What's the sum of this power series?

What's the sum of this power series? $$f_k(x)=1-\frac{x^2}{k}+\frac{x^4}{k(k+1)\cdot2!}-\frac{x^6}{k(k+1)(k+2)\cdot3!}+\ldots$$ I'm just helping someone, I'm not good at math! :\
4
votes
2answers
332 views

Determination of inverse laplace transform using primitive functions

In How can you prove that a function has no closed form integral?, the accepted answer points to http://www.sci.ccny.cuny.edu/~ksda/PostedPapers/liouv06.pdf where one can find a corollary by Liouville ...
16
votes
5answers
1k views

Proving the identity $\sum_{n=-\infty}^\infty e^{-\pi n^2x}=x^{-1/2}\sum_{n=-\infty}^\infty e^{-\pi n^2/x}.$

Can you help prove the functional equation: $$\sum_{n=-\infty}^\infty e^{-\pi n^2x}=x^{-1/2}\sum_{n=-\infty}^\infty e^{-\pi n^2/x}.$$ Specifically, I am looking for a solution using complex ...
7
votes
2answers
2k views

Integral involving Modified Bessel Function of the First Kind

Why is this true? $$ \int_0^\infty e^{-\frac{1}{2}(b^2+x^2)} I_0(bx) x \,dx = 1 $$ Note that $I_0(x)$ is a modified bessel function of the first kind. The difficulty for me lies in a) translating ...
7
votes
1answer
322 views

Is there a gamma-like function for the q-factorial?

I'm looking at quantum calculus and just trying to understand what is going with this subject. Looking at the q-factorial made me wonder if this function could take all real or even complex numbers in ...
0
votes
2answers
445 views

Proving a Laguerre polynomial integral

After a fair bit of effort, I managed to prove that $$\int_0^\infty t^\alpha \exp(-t) L_n^{\alpha+1}(t)\mathrm dt=\Gamma(\alpha+1)$$ where $L_n^\alpha (t)$ is a generalized Laguerre polynomial, with ...
6
votes
1answer
1k views

How to decompose displaced Hermite-Gauss function into higher order HGs?

The Hermite-Gauss functions appear commonly in physics. These functions are formed from the product of a Hermite polynomial and a Gaussian: $$ u_n(x) = \left(\frac{2}{\pi w_0^2}\right)^{1/4} ...
3
votes
2answers
439 views

expression for the sum involving digamma function

I got this answer from WolframAlpha. Does anyone know how even to approach it to obtain the solution using digamma function. Please don't solve it, just show me in the right direction! $$ ...
4
votes
1answer
206 views

Closed form for some integrals related to the complementary error function

While studying the use of the trapezoidal rule for numerically evaluating the complementary error function $\mathrm{erfc}(z)$, the following integrals showed up when I was trying to derive expressions ...
3
votes
3answers
2k views

How to solve $n$ for $n^n = 2^c$?

How to solve $n$ for $n^n = 2^c$? What's the numerical method? I don't get this. For $c=1000$, $n$ should be approximately $140$, right?
10
votes
3answers
727 views

How does Lambert's W behave near ∞?

How does $W$ behave near $+\infty$ compared to $\log$? In particular, I'm interested in the asymptotic expansion of $$\frac{W(x)}{\ln(x)}$$ near $\infty$ (but along the positive real line, if that ...
10
votes
2answers
530 views

How to show $\sum_{n=-\infty}^\infty J_n J_{n+m} = \delta(m)$?

The following is an identity concerning the Bessel functions of the first kind $J_n(x)$ for integers $n$ and $m$: $$\sum_{n=-\infty}^\infty J_n(x) J_{n+m}(x) = \delta(m)$$ where $\delta(x)$ is the ...
3
votes
1answer
678 views

Approximation for Lambert W function near zero

I am looking for a good approximation for the $W_0$ branch of the Lambert $W$ function. I am looking for values $0 < x < e$ only, so I expect something simpler than the general Taylor expansion. ...
8
votes
1answer
505 views

The uniqueness of the Gamma Function

It is a theorem that any function $f$ defined for positive real numbers satisfying $f(1)=1$ $f(x+1)=x\cdot f(x)$ $f$ is log convex is identically equal to the gamma function. (Condition 2 means ...
8
votes
1answer
593 views

Monotonic behavior of a function

I have the following problem related to a statistics question: Prove that the function defined for $x\ge 1, y\ge 1$, ...
7
votes
1answer
422 views

On the Bessel function $J_n(z)$ for high $z$, with respect to $n$

Plotting the Bessel functions of the first kind $J_n(z)$ versus $n$ for some fixed $z\gg1$, it appears that there is a sharp cutoff just before $n=z$. Three questions: What is a reference ...
12
votes
1answer
388 views

Behaviour of the series $\exp_p(x)=\sum_{k=0}^{\infty}\frac{x^k}{(k!)^p}$ depending on $p\approx 2$?

Note:This is more a math-recreational question Consider the series $\exp_p(x)=\sum_{k=0}^{\infty}\frac{x^k}{(k!)^p}$ which is some systematic modification of the exponential function. It's ...
4
votes
1answer
115 views

Validity of a q-series theorem

Define the $q$-analog $(a;q)_n = \prod_{k=0}^n \left(1 - aq^k\right)$. I want to prove the identity $\frac{(q^2;q^2)_\infty}{(q;q)_\infty}=\frac{1}{(q;q^2)_\infty}$. I viewed the LHS this way: ...
0
votes
2answers
1k views

Find intersection of linear and logarithmic lines

I have equations for two lines, one of which is linear and the other is logarithmic, ie: $$y = m_1 x + c_1$$ $$y = m_2 \cdot \ln(x) + c_2$$ ..and I need to find out where (if at all) these lines ...
6
votes
1answer
317 views

Elliptic functions and Weierstrass $\wp$-function

Question that seems pretty easy, but I can't formalize it: Let $L \subset C$ be a lattice, and $f(z)$ be an elliptic function for $L$, that is a meromorphic function so that $f(z+w) = f(z)$ for all ...
10
votes
3answers
461 views

Erroneous numerical approximations of $\zeta\left(\frac{1}{2}\right)$?

By definition of the Riemann Zeta Function, $$\zeta\left(\frac{1}{2}\right) = \sum_{n=1}^\infty \frac{1}{\sqrt{n}}.$$ Since $\forall n \geq 1 : \frac{1}{\sqrt{n}} \geq \frac{1}{n}$, we have that for ...
3
votes
0answers
197 views

Solid angle spanned by disc/rewriting expression with elliptic integrals

The solid angle spanned by a disc of unit radius, as observed from a point $(r,z)$ at a distance $z>0$ above a point in the disc plane with at distance $r>0$ to the center, can be expressed as ...
5
votes
1answer
364 views

Where are this kind of series used, $\vartheta_{4}(0,e^{\alpha \cdot z})$?

In my recent explorations I stumbled upon the following series $$ \vartheta_{4}(0,e^{\alpha \cdot z})=1+2\sum_{k=1}^{\infty} (-1)^{k}\cdot e^{\alpha \cdot z\cdot k^{2}} ; \alpha \in \mathbb{R}, z ...
2
votes
0answers
50 views

Deriving functions for empiracal distributions -very applied mathatics

First I am a new user of this site. Second my math background is very limited, although I do have a lot of experience in applied statistics. Component or piece part failures on high value parts($1000 ...
5
votes
1answer
598 views

what does the “L” in “L-function” stand for?

I haven't been able to find a reference that tells what word (if a word) the L is short for.
7
votes
2answers
360 views

What is Eulerian?

I encountered an interesting function which is called "Eulerian" by the Wolfram's MathWorld: $$\phi(q)=\prod_{k=1}^{\infty} (1-q^{k})$$ It is interesting because it seems that roots of any ...
9
votes
6answers
7k views

Algorithm to compute Gamma function

The question is simple. I would like to implement the Gamma function in my calculator written in C; however, I have not been able to find an easy way to programmatically compute an approximation to ...
7
votes
1answer
2k views

Is there an Inverse Gamma $\Gamma^{-1} (z) $ function?

Since $\Gamma$ is not one to one over the complex domain, Is it possible to define some principal values ( analogues to Principal Roots for the Root function ) so we can have a $\Gamma^{-1} (z)$ ...
20
votes
3answers
816 views

Why isn't the gamma function defined so that $\Gamma(n) = n! $?

As a physics student, I have occasionally run across the gamma function $$\Gamma(n) \equiv \int_0^{\infty}t^{n-1}e^{-t} \textrm{d}t = (n-1)!$$ when we want to generalize the concept of a factorial. ...
5
votes
3answers
2k views

Integral Representations of Hermite Polynomial?

One of my former students asked me how to go from one presentation of the Hermite Polynomial to another. And I'm embarassed to say, I've been trying and failing miserably. (I'm guessing this is a ...
3
votes
0answers
366 views

How can I integrate a Bessel function divided by a “shifted” value?

Sorry to ask yet another "how do I do this integral" question! But I've really been having a hard time with this one. $$\int_0^\infty \frac{J_0(x)}{|C^2 - x^2|}\mathrm{d}x$$ I've been through a lot ...
8
votes
3answers
10k views

How do you integrate a Bessel function? I don't want to memorize answers or use a computer, is this possible?

I am attempting to integrate a Bessel function of the first kind multiplied by a linear term: $\int xJ_n(x)\mathrm dx$ The textbooks I have open in front of me are not useful (Boas, Arfken, various ...
3
votes
2answers
369 views

Periodicity of EllipticPi

We are trying to implement transformations to evaluate the incomplete integral of the third kind $\Pi(n;\phi|m)$ for arbitrary inputs, and I can't find any references for how to calculate this ...
26
votes
4answers
3k views

When is an elliptic integral expressible in terms of elementary functions?

After seeing this recent question asking how to calculate the following integral $$ \int \frac{1 + x^2}{(1 - x^2) \sqrt{1 + x^4}} \, dx $$ and some of the comments that suggested that it was an ...
2
votes
1answer
517 views

Is Riemann Zeta Function symmetrical about the real axis?

From wikipedia, http://en.wikipedia.org/wiki/Riemann_zeta_function "Furthermore, the fact that $\zeta(s) = \zeta(s^*)^*$ for all complex s ≠ 1 ($s^*$ indicating complex conjugation) implies that the ...
8
votes
1answer
650 views

Stirling-type formula for the logarithmic derivative of the Gamma function

How may one go about proving $\displaystyle\frac{\Gamma'(s)}{\Gamma(s)}=O(\log|s|)$, (away from the poles) directly? By a direct proof, I mean not to go through the usual Stirling formula with ...
9
votes
5answers
783 views

A gamma function inequality

I would like to prove $$\frac{\Gamma(n+\frac{1}{2})}{\Gamma(n+1)} \le \frac{1}{\sqrt{n}}$$ for all natural $n \ge 1$. The inequality does seem to be true numerically, but the proof eludes me.