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^+.$
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)$$.
1
vote
0answers
33 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 ...
5
votes
1answer
123 views

Prove that $\exists\,! \,\lambda \in (1/5,1/4)$ such that $\frac{1}{2\pi}\int_0^{2\pi}e^{\sin x}\,\mathrm{d}x=e^{\lambda}$

The following question came up in chat Prove that $\exists\,! \,\lambda \in (1/5,1/4)$ such that $\displaystyle\frac{1}{2\pi}\int_0^{2\pi}e^{\sin x}\,\mathrm{d}x=e^{\lambda}$ Now the integral ...
1
vote
1answer
48 views

$\int xtanx$ and the Clausen Function

I have been attempting to evaluate $\int x \tan x \;\mathrm{d} x$. My first instinct was integration by parts, which produces $-x \ln|\cos x|+\int \ln|\cos x| \;\mathrm{d} x$. I have read online ...
5
votes
1answer
310 views

Generalized Legendre differential equation

In an application I encountered the ODE $$ \left( x^2-1 \right) \frac {{\rm d}^{2}}{{\rm d} x^2} f ( x ) +x \left( \frac {\rm d}{{\rm d}x} f (x) \right) ( 8x^2-7 ) -4 (C+1) f( x ) =0. $$ which is ...
1
vote
1answer
56 views

Continuous non differentiable functions :)

I was searching for functions like Weierstrass (continuous but differentiable nowhere), but I haven't found any. If you could tell me some that would be great. Also, I would like to find some ...
10
votes
1answer
142 views

Integral $\int_0^\infty \frac{\cos x}{x}\left(\int_0^x \frac{\sin t}{t}dt\right)^2dx=-\frac{7}{6}\zeta_3$

Hi I am trying to prove this below. $$ I:=\int_0^\infty \frac{\cos x}{x}\left(\int_0^x \frac{\sin t}{t}dt\right)^2dx=-\frac{7}{6}\zeta_3 $$ where $$ \zeta_3=\sum_{n=1}^\infty \frac{1}{n^3}. $$ I am ...
1
vote
1answer
35 views

Characterization of nowhere differentiable functions

Let $N:=\{f\in C([0,1])\vert \text{ f is nowhere differentiable } \}$ and $A_n = \{f\in C([0,1]) \vert \exists x\in [0,1]s.t. \forall y\in[0,1]: |f(x)-f(y)|\leq n |x-y|\}$. Now I have already ...
5
votes
2answers
108 views

Integral $\int_0^1 \frac{x\log x+1-x}{x \log^2 x}\log(1+x)\, dx=\log\frac{4}{\pi}$

Hi I am trying to prove this $$ I:=\int_0^1 \frac{x\log x+1-x}{x \log^2 x}\log(1+x)\, dx=\log\frac{4}{\pi}. $$ Thanks. This is just a beautiful integral for many reasons. Logs are everywhere and an ...
1
vote
1answer
58 views

$\int_{-1}^{1} x^{k+i} P_n(x)dx$, $P_n$ Legendre polynomial.

I was wondering whether there is a way to say what $$\int_{-1}^{1} x^{k} P_n(x)dx$$ is, where $k,n$ are positive integers or zero and $P_n$ is the n-th Legendre polynomial? I am looking for an ...
6
votes
0answers
223 views

Integral $\int_0^1 dx \frac{\ln x \ln^2(1-x)\ln(1+x)}{x}$

Hi I am trying to calculate $$ I:=\int_0^1 dx \frac{\ln x \ln^2(1-x)\ln(1+x)}{x}$$ Note, the closed form is beautiful (yes Beautiful) and is given by $$ I=−\frac{3}{8}\zeta_2\zeta_3 ...
14
votes
1answer
563 views

Integral$=-\frac{4}{3}\log^3 2-\frac{\pi^2}{3}\log 2+\frac{5}{2}\zeta(3)$

Hi I have been trying to prove this $$ I:=\int \limits_{0}^{1} \left[ \frac{1}{x(x-1)} \bigg(2\mathrm{Li}_2\bigg(\frac{1-\sqrt{1-x}}{2}\bigg)-\log\bigg(\frac{1+\sqrt{1-x}}{2}\bigg)^2 \bigg) ...
3
votes
1answer
90 views

$\frac{5\pi^3}{154}=\int_{\pi/6}^{\pi/2}\bigg[\Re\big(\text{Li}_2(4\sin^2\theta)\big) +\text{Li}_2\bigg(\frac{1}{4\sin^2\theta}\bigg) \bigg]d\theta$

I am trying to prove $$ \int_{\pi/6}^{\pi/2}\bigg[\Re\big(\text{Li}_2(4\sin^2\theta)\big) +\text{Li}_2\bigg(\frac{1}{4\sin^2\theta}\bigg) \bigg]d\theta=\frac{5\pi^3}{54}. $$ Clearly, this closed form ...
0
votes
1answer
27 views

Discontinuity of the indicator function

Consider the function $q(x,\theta)=1\{ x \in \{x \text{ s.t. } \theta+x_i>0 \text{ }\forall i \}\}$ where 1 is the indicator function taking value 1 if the condition inside $\{ \}$ is satisfied and ...
2
votes
0answers
171 views

The Monster PolyLog Integral $\int_0^\infty \frac{Li_n(-\sigma x)Li_m(-\omega x^2)}{x^3}dx$

I am trying to solve this integral $$ \int_{0}^{\infty} {{\rm Li}_{n}\left(-\sigma x\right){\rm Li}_m\left(-\omega x^{2}\right) \over x^{3}}\,{\rm d}x $$ which is from some high school training ...
6
votes
1answer
95 views

Integral $I=\int_0^\infty \frac{\ln(1+x) Li_2 (-x)}{x^{3/2}} dx$

Hello can you please help me solve this integral $$ \int_0^\infty \frac{\ln(1+x) Li_2 (-x)}{x^{3/2}} dx=-\frac{2\pi}{3}(\pi^2+24\ln 2). $$ I am trying to work through all logarithmic integrals. Note, ...
7
votes
2answers
128 views

Does this really converge to 1/e? (Massaging a sum)

Short version: can we prove that $$\sum_{k=0}^n (-1)^k \binom{n}{k}^2 \frac{k!}{n^{2k}} \to \frac1e$$ as $n \to \infty$? Long version: First, consider $$a_n = \sum_{k=0}^n \frac{(-1)^k}{k!}$$ It is ...
0
votes
2answers
90 views

positively homogeneous function

A function $f:X→\mathbb{R}$ is said to be positive homogeneous of degree $k\in\mathbb{R}$ if $f(tx)=t^kf(x)$ for every $x\in X$ and every $t\in\mathbb{R}_{++}$. For $X=\mathbb{R}_+$, the sample ...
18
votes
1answer
626 views

Integral $\int_{-\infty}^\infty J^3_0(x) e^{i\omega x}dx $

Hi I am trying to evaluate the integral $$ \mathcal{I}(\omega)=\int_{-\infty}^\infty J^3_0(x) e^{i\omega x}dx $$ analytically. We can also write $$ \mathcal{I}(\omega)=\mathcal{FT}\big(J^3_0(x)\big) ...
4
votes
2answers
162 views

Integral $ \int_0^1 \frac{\ln \ln (1/x)}{1+x^{2p}} dx$…Definite Integral

Calculate $$ I_1:=\int_0^1 \frac{\ln \ln (1/x)}{1+x^{2p}} dx, \ p \geq 1. $$ I am trying to solve this integral $I_1$. I know how to solve a related integral $I_2$ $$ I_2:=\int_0^1 \frac{\ln \ln ...
2
votes
0answers
40 views

How to estimate this special integral?

Let $\theta\in(0,\pi)$, and $$ {\rm I}\left(\lambda,\theta\right) = \int_{\theta}^{2\pi - \theta} \left[({1 \over \sin\left(t\right)}\frac{\partial}{\partial t})^{k}{\rm e}^{\left({\rm i}\lambda - ...
9
votes
2answers
155 views

Proving $\text{Li}_3\left(-\frac{1}{3}\right)-2 \text{Li}_3\left(\frac{1}{3}\right)= -\frac{\log^33}{6}+\frac{\pi^2}{6}\log 3-\frac{13\zeta(3)}{6}$?

Ramanujan gave the following identities for the Dilogarithm function: $$ \begin{align*} \operatorname{Li}_2\left(\frac{1}{3}\right)-\frac{1}{6}\operatorname{Li}_2\left(\frac{1}{9}\right) ...
2
votes
1answer
119 views

The identity $\int_0^\infty x^\alpha/(\exp(x)-1)dx=\zeta(\alpha+1)\Gamma(\alpha+1)$

I would like to prove that for every real $\alpha>1$ we have $$\int_0^\infty \frac{x^\alpha}{\exp(x) -1} \, dx=\zeta(\alpha+1)\Gamma(\alpha+1).$$ Proof: Let $0<a<b$; then we have $$\int_a^b ...
8
votes
1answer
124 views

Integral in $n-$dimensional euclidean space

I want to calculate this integral in $n$-dimensional euclidean space. $$I(x)=\int_{\mathbb{R}^n}\frac{d^n k}{(2\pi)^n}\frac{e^{i(k\cdot x)}}{k^2+a^2},$$ where $k^2=(k\cdot k)$, ...
1
vote
1answer
35 views

Evaluating the beta function

I'm trying to evaluate $B(\frac{7}{3},\frac{2}{3})$. I've considered all the relations in my notes and on the wiki but I always get an incalculable expression such as $\Gamma(\frac{1}{3})$. The answer ...
1
vote
1answer
64 views

Laurent expansion of digamma function around $x=0$

I want to check the validity for such a method Define the digamma function as $$\psi_0(x)=\frac{d}{dx}\left( \log \Gamma(x)\right)$$ $$\tag{1}\psi_0(x)=\frac{\Gamma'(x)}{\Gamma(x)}$$ It has the ...
3
votes
0answers
41 views

Choosing an appropriate complete orthogonal basis

I have a function $f(x)$ which I want to represent as the sum over some complete orthogonal basis $\phi_i$ such that: $$ f(x) = \sum_{i} c_i \phi_i(x) $$ Where the $\phi_i$ are orthogonal with ...
8
votes
0answers
81 views

Derivatives of the Struve functions $H_\nu(x)$, $L_\nu(x)$ and other related functions w.r.t. their index $\nu$

There are some known formulae for derivatives of the Bessel functions $J_\nu(x),\,$$Y_\nu(x),\,$$K_\nu(x),\,$$I_\nu(x)\,$with respect to their index $\nu$ for certain values of $\nu$, e.g. ...
0
votes
1answer
63 views

Generalization of integral using special function

Is it possible to find a closed formula for the following integrals for any $k\in \mathbb{N}^{*}$: $$ I=\int_{0}^{1} \left[\ln\left(\frac{p}{1-p}\right)\right]^{k}p^{2}dp ,\quad J=\int_{0}^{1} ...
5
votes
3answers
321 views

Can any continuous function be represented as an infinite polynomial?

Can any continuous function be represented as an infinite polynomial? Motivation: the antiderivative $ \int^\ e^{-x^2}dx\ $ can be expressed as an infinite polynomial(write Taylor series for ...
2
votes
1answer
50 views

decay rate of series involving the confluent hypergeometric function

I have a question concerning the series: $$c_n:= \sum_{k=0}^{\lfloor \frac{n}{2} \rfloor} \left(-a\right)^k \frac{1}{k!} \frac{b^{n-2k}}{\left(n-2k\right)!} ~ ~ ~ ~; ~ ~ ~ ~ a,b>0 ~ ~ ~ ; ~ ~ ...
1
vote
1answer
81 views

Looking for an analytical expression of this horror-integral

I have given a function $$a(m,n,\mu,\nu,p):=\frac{2p+1}{2}\frac{(p-m-\mu)!}{(p+m+\mu)!}\int_{-1}^1 P^m_n(x)P^\mu_{\nu}(x)P^{m+\mu}_p(x)dx.$$ (of course all parameters are appropriate integers, so that ...
1
vote
0answers
37 views

This limit of the hypergeometric function makes me stunning…

I am currently reading this paper Physics paper please have a look at the definition of (20) and then (36). In (36) they investigate the limit of the hypergeometric function ...
0
votes
2answers
81 views

Smooth step between $-1$ and $1$

I am currently interpolating the step between two functions from $-1$ and $1$ smoothly therefore I used $\tanh$. Since I am quite confident with the result, but interested in further ways to do this, ...
5
votes
1answer
87 views

Closed form of $\operatorname{Li}_2(\varphi)$ and $\operatorname{Li}_2(\varphi-1)$

I am trying to calculate the dilogarithm of the golden ratio and its conjugate $\Phi = \varphi-1$. Eg the solutions of the equation $u^2 - u = 1$. From Wikipdia one has the following ...
5
votes
1answer
124 views

Dilogarithm Inversionformula: $ \text{Li}_2(z) + \text{Li}_2(1/z) = -\zeta(2) - \log^2(-z)/2$

I have been chugging through some proofs regarding the dilogarithm, also known as Spencer's function. \begin{alignat}{2} & \operatorname{Li}_2(z) + \operatorname{Li}_2(-z) = \frac{1}{2} ...
5
votes
2answers
163 views

Proving Abel's identity for the Dilogarithm.

Abel's Identity for the dilogarithm is stated as follows Theorem (Abels Identity) Given that $x,y \,{\not\in}\,[1,\infty)$ then \begin{align*} \log(1-x) \log(1-y) = ...
1
vote
1answer
189 views

Express complex Bessel function in terms of functions taking real arguements

I want to use the Bessel function in C++. Since this one is not implemented there for complex arguments, I am looking for a way to express the bessel function(first and second kind) as: ...
2
votes
0answers
465 views

Integral with Legendre polynomials

What is $$\int_{\frac{\pi}{2}}^{\pi} P_l(\cos(\theta))P_{l'}(\cos(\theta)) \sin(\theta) d\theta$$ in general? Of course, $P_l$ is the l-th Legendre polynomial. Obvisiouly it is for even/even and ...
3
votes
2answers
60 views

Prove approximation given by the physicist Max Born

In an old book about optics, I have found a nice approximation, that for large l one has: $$P_l(\cos(\theta)) \sim \sqrt{\frac{2}{l \pi \sin(\theta)}} \sin \left((l+\frac{1}{2}) \theta + ...
2
votes
1answer
106 views

Integral of function with a pretty long name

I am looking for a compact result of this integral: $$\int_R^\infty k_n(x) \, dx,$$ where $k_n$ is the modified spherical Bessel function of the second kind (explanation to this function). ...
1
vote
0answers
215 views

Relation between the exponential function and the modified bessel function of second kind

I found the following sentence at the wikipedia page : Unlike the ordinary Bessel functions, which are oscillating as functions of a real argument, Iα and Kα(this is the mod. bessel function of the ...
1
vote
2answers
54 views

Series of product

Assuming that you have a series of a product $\sum_{l=0}^{\infty} f(l) g(l)$ and you know what $\sum_{l=0}^{\infty} f(l) $ is. Does this help, finding an approximate form for the whole series?
0
votes
1answer
100 views

Amazing integral with square of a series

I want to integrate the following amazing integral with Legendre Polynomials. If you need it for your solution, it might be good to know, that the series converges absolutely. I do not really have an ...
1
vote
0answers
90 views

Turn ugly series into a nice approximation

I am currently struggeling with a series(actually two). The problem is, that I can do nothing with them, since this expression is so ugly. I would love to hear about any kind of approximations that ...
2
votes
1answer
123 views

Verify solution: Is this gradient correct?

So I want to calculate minus the gradient of $$\Phi_1=\sum_{l=0}^{\infty}f(l)r^{l}P_l(\cos(\theta))$$ where $P_n$ is the $n$-th Legendre polynomial then we have $$-\nabla ...
1
vote
2answers
142 views

Tough integrals with Legendre polynomial

Does anybody here know how to integrate $\int_0^\pi P_n(\cos(x))\sin(x)\cos(x) dx$, $\int_0^\pi P_n(\cos(x))\sin^2(x) dx$, where $P_n$ is the n-th Legendre polynomial? They are actually extremely hard ...
3
votes
3answers
96 views

Tackle this series

I am looking for the exact value or a smart approximation(if you have a good idea) of the following series: $$\sum_{n=0}^\infty \frac{1}{2n+1} (P_{n+1}(0)-P_{n-1}(0))$$ where $P_n$ is the n-th ...
3
votes
2answers
112 views

Is this integral correct?

I used substitution and got that: $$\int_0^\pi \sin x \cdot P_n(\cos x ) \, dx=0$$ where $P_n$ is the $n$-th Legendre polynomial.