# Tagged Questions

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^+.$
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)$$.
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
0answers
223 views

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 ...
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 ...
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 ...
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, ...
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 ...
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 ...
1answer
626 views

0answers
40 views

1answer
119 views