For basic questions about limits, derivatives, integrals, and applications, mainly of one-variable functions.

learn more… | top users | synonyms

107
votes
0answers
4k views

Identification of a curious function

During computation of some Shapley values (details below), I encountered the following function: $$ f\left(\sum_{k \geq 0} 2^{-p_k}\right) = \sum_{k \geq 0} \frac{1}{(p_k+1)\binom{p_k}{k}}, $$ where ...
32
votes
0answers
751 views

Generalization of Liouville's theorem

As proposed in this answer, I wonder if the answer to following question is known. Let $E = E_0$ be the set of elementary functions. For each $i > 0$, inductively define $E_i$ to be the closure ...
27
votes
0answers
386 views

Can we find this infinite root in term of elementary function?

Let $f(x)=\left(x+f(x+1)\right)^\frac{1}{x}$. What is the value of $f(2)$ ? More precisely, how to find the value of $$\sqrt{2+\sqrt[3]{3+\sqrt[4]{4+\cdots}}}~?$$ Thank you.
15
votes
0answers
215 views

Proof of $\zeta(2)=\frac{\pi^2}{6}$

While messing around with some integrals, I have found the following proof for $\zeta(2)=\frac{\pi^2}{6}$, but I'm not sure if it is valid: We take a look at the integral $I=\int_0^{\frac{\pi}{2}} ...
13
votes
0answers
441 views

About the integral $\int_{0}^{+\infty}\sin(x\,\log x)\,dx$

It is an interesting exercise to show that the function $f(x)=\sin(x\log x)$ is Riemann-integrable over $\mathbb{R}^+$ (as shown by robjohn in this related question, for instance). Even more ...
13
votes
0answers
239 views

$f\colon I\rightarrow G$ and Gromov $\delta$-hyperbolicity

Please recall that $\left|\int_0^1 f(t)\,dt -w\right|\leq \int_0^1|f(t)-w|\,dt$. In general, let $(X,d)$ be a metric space. Given a function $f:I\to X$ let $m_f\in X$ be such that $d(m_f,w)\leq ...
12
votes
0answers
170 views

Relations connecting values of the polylogarithm $\operatorname{Li}_n$ at rational points

The polylogarithm is defined by the series $$\operatorname{Li}_n(x)=\sum_{k=1}^\infty\frac{x^k}{k^n}.$$ There are relations connecting values of the polylogarithm at certain rational points in the ...
11
votes
0answers
195 views

Evaluating the double limit $\lim_{m \to \infty} \lim_{n \to \infty} \cos^{2m}(n! \pi x)$

I have to find out the following limit $$\lim_{m\to\infty}\lim_{n\to\infty}[\cos(n!πx)^{2m}]$$ for $x$ rational and irrational. for $x$ rational $x$ can be written as $\frac{p}{q}$ and as $n!$ will ...
11
votes
0answers
211 views

A closed form for $\sum_{k=1}^\infty \psi^{(1)} (k+a)\psi^{(1)} (k+b)$

The following result $$ \sum_{k=1}^\infty\left(\psi^{(1)} (k)\right)^2 = 3\zeta(3) $$ where $\psi^{(1)}$ is the polygamma function makes me think there is a nice sum for the series $$ ...
10
votes
0answers
416 views

Analytic form of: $ \int \frac{\bigl[\cos^{-1}(x)\sqrt{1-x^2}\bigr]^{-1}}{\ln\bigl( 1+\sin(2x\sqrt{1-x^2})/\pi\bigr)} dx $

Background: On my quest to solve difficult integrals, I chanced upon this site: http://www.durofy.com/5-most-beautiful-questions-from-integral-calculus/ Good problems for me, (novice), although I ...
10
votes
0answers
254 views

The closed form of $\sum_{n=0}^{\infty} \arcsin\bigl(\frac{1}{e^n}\bigr)$

In my study on some type of integrals I met the series below that I don't how to approach it. Of course, one of the obvious questions is: does it have a closed form? Before answering that, I need to ...
10
votes
0answers
411 views

Integral $\int_0^\infty \frac{\log^2 x \cos ax}{x^n-1}dx$

Hi I am trying to calculate $$ I:=\int\limits_0^\infty \frac{\log^2 x \cos (ax)}{x^n-1}\mathrm dx,\quad \Re(n)>1, \, a\in \mathbb{R}. $$ Note if we set $a=0$ we get a similar integral given by $$ ...
10
votes
0answers
437 views

The same bit of trivial algebra in two different places?

The Villarceau circles are things whose existence is surprising. To find radii of Villarceau circles, I stupidly went through a bit of trigonometry and got a much simpler result than I expected, and ...
9
votes
0answers
135 views

Is the given binomial sum almost everywhere negative as $K\to\infty$?

The binomial sum is as follows: $$\mathcal {L}^K(\theta)= \sum_{i=\lceil{K/2}\rceil}^K \binom{K}{i}\theta^i\left((1-\theta)^{K-i}-\frac{1}{2}(1-\theta)^{-K}(1-2\theta)^{K-i}\right)$$ which can also ...
9
votes
0answers
188 views

Find the limit of $ \lim_{n\to\infty}\frac{n}{\ln{n}}\left(\frac{1}{p+1}-na_{n}^{p+1}\right) $

Problem:Let postive real sequence$\{a_{n}\}$ satisfy $\displaystyle\lim_{n\to\infty}a_{n}\left(\sum_{i=1}^{n}a_{i}^{p}\right)=1$,where $p>-1$,Find the limit. $$ ...
8
votes
0answers
124 views
+50

prove or disprove an inequality on bounds of derivatives for radial functions

Suppose $f$ is a radial function, i.e., $f(x)=f(|x|)$, and $f \in C^\infty(\bar{B})$, where $\bar{B}$ is the closure of the unit ball in $\mathbb{R}^n$. Prove or disprove the following. Given any ...
8
votes
0answers
100 views

Exercise about continuous functions

Consider a continuous function $f \, : \, [0,1] \, \longrightarrow \, [0,+\infty)$ such that $f(0)=f(1)=0$ and : $\forall x \in (0,1), \; f(x) > 0$. I would like to prove that there exist ...
8
votes
0answers
238 views

Approximation of the exponential

Let $c>1,k\in\mathbb{N}$. Let's consider two approximations of the exponential function : The first one is the most common one $f_k(x)=\left(1+\frac{x}{c^k}\right)^{c^k}$ and the second one is ...
8
votes
0answers
117 views

Integral Asymptotics for inhomogenous phase

I'm looking for asymptotics for an integral of the form: $$F(n):=\int_{1/2-i\infty}^{1/2+i\infty} e^{\phi(n,z)}dz$$ where $\phi(n,z)=(n-n^3)\log(1-z)+n^2\log(1+z)-n\log(z)$. One can solve for the ...
8
votes
0answers
146 views

Hard sum with harmonics numbers

Prove or disprove that $S=\displaystyle\sum_{n=1}^{\infty}\frac{{H_n^{2}}~{H_n^{(2)}}+3{H_n^{(4)}}}{n~2^n}=\frac{25}{16}\zeta(5)+\frac{7}{8}\zeta(2)\zeta(3)$.
8
votes
0answers
95 views

Question on the paper Donal F. Connon, “Some integrals involving the Stieltjes constants”

I'm reading Donal F. Connon, Some integrals involving the Stieltjes constants. It gives a definition of the generalized Stieltjes constants $\gamma_n(u)$ as coefficients in the Laurent series ...
8
votes
0answers
128 views

Closed-form of $\int_0^1 \left(\ln \Gamma(x)\right)^3\,dx$

From the amazing result by Raabe we know that $$LG_1=\int_0^1 \ln \Gamma(x)\,dx = \frac{1}{2}\ln(2\pi) = -\zeta'(0).$$ We also know that $$LG_2 = \int_0^1 \left(\ln \Gamma(x)\right)^2\,dx = ...
8
votes
0answers
120 views

A cotangent series related to the zeta function

$$\sin x = x\prod_{n=1}^\infty \left[1-\frac{x^2}{n^2\pi^2}\right]$$ If you apply $\log$ to both sides and derivate: $$\cot x = \frac{1}{x} - \sum_{n=1}^\infty \left[\frac{2x}{n^2\pi^2} ...
8
votes
0answers
130 views

Other methods for Laplacian equations

Assume $$A^{2}=(x^{2}+y^{2})\cos^{2}\psi+z^{2}\cot^{2}\psi$$ which $A$ is constant. How we can show $\psi(x,y,z)$ satisfies the Laplacian equation $\psi_{xx}+\psi_{yy}+\psi_{zz}=0$ ...
8
votes
0answers
185 views

An integration to first order

I am having some trouble evaluating an integral -- involving taking an approximation. It would be great if someone could help me. I wish to evaluate $$\int_0^\pi {\cos\theta\cos \left[\omega ...
7
votes
0answers
109 views

An Additional Rule for Calculus

Background The rules for differentiating elementary functions (arithmetic, exponential, trigonometric, etc.) together with the chain rule for differentiating compositions of functions are often ...
7
votes
0answers
150 views

Evaluating $\int_0^{\infty} \log(\sin^2(x))\left(1-x\operatorname{arccot}(x)\right) \ dx$

One of the ways to compute the integral $$\int_0^{\infty} \log(\sin^2(x))\left(1-x\operatorname{arccot}(x)\right) \ ...
7
votes
0answers
162 views

Closed form of $\sum_{n=1}^{\infty} \left(\frac{H_n}{n}\right)^4$

Find the closed form of $$\sum_{n=1}^{\infty} \left(\frac{H_n}{n}\right)^4$$ I know the closed form for smaller powers like $2, 3$ exists, but I'm not sure if there is a closed form for this ...
7
votes
0answers
368 views

Integration of product of functions(Special form)

Sir, I have been doing a proof related to one research topic. But after a long effort, I got ended up in a messy integration equation. Could you give me some suggestions to solve this equations? (Any ...
7
votes
0answers
206 views

How to evaluate the integral $e^{-(c\ln(\frac{1}{x}))^s} dx$?

Can anyone help me evaluate $$\int_{\alpha}^1 \exp{\left\{-\left(c\ln\left(\frac{1}{x}\right)\right)^s\right\}} dx$$, Where $0 \leq \alpha \leq 1$ and $s \in \mathbb{R}$. I tried changing ...
7
votes
0answers
131 views

Another way of expressing $\sum_{k=0}^{n} (-1)^k\frac{H_{k+1}}{n-k+1}$

In this post Another way of expressing $\sum_{k=0}^{n} \frac{H_{k+1}}{n-k+1}$ I asked for a solution of the non-alternating series. How about the alternating series? Can we find a nice way of ...
7
votes
0answers
287 views

${\mathfrak{I}} \int_{0}^{\pi/2} \frac{x^2}{x^2+\log ^2(-2\cos x)} \:\mathrm{d}x$ and $\int_{0}^{\pi/2} \frac{\log \cos x}{x^2}\:\mathrm{d}x$

I have found the following new result connecting two rational log-cosine integrals. Proposition. \begin{align} \displaystyle & {\mathfrak{I}} \int_{0}^{\pi/2} \frac{x^2}{x^2+\log ^2(-2\cos ...
7
votes
0answers
330 views

Egorov's theorem for this Lebesgue integral

I want to prove Egorov's theorem using this Lebesgue integral defined by the upper integral $$\int^*f:=\left\{\int h ; h \ge f \text{ and h upper-continuous }\right\}$$ $$\int_*f:=\left\{\int h ; h ...
7
votes
0answers
137 views

How to solve this integral equation?

Solve this integral equation: $$ {{\rm e}^{{\rm i}k\,\sqrt{\vphantom{\Large A}\,r^{2} + z^{2}\,}\,} \over \sqrt{\vphantom{\large A}r^{2} + z^{2}\,}} = \int_0^{\infty}{\rm K}_{0}\left(\lambda r\right) ...
7
votes
0answers
150 views

Evaluting $ \int_0^{\infty}\frac{v}{\sqrt{v + c}}e^{-\frac{y^2}{2(v + c)} - \frac{(u-v)^2}{u^2v}}dv$

While working on mixture (variance) of normal distribution and keep running into these two integrals $$ \int_0^{\infty}\dfrac{v}{\sqrt{v + c}}e^{-\dfrac{y^2}{2(v + c)} - \dfrac{(u-v)^2}{u^2v}}dv,$$ ...
6
votes
0answers
105 views

How to evaluate the integral $\int_0^\infty \frac{x^{a-1}}{1+bx^a} e^{-x} dx$

How to evaluate this integral? \begin{equation} \int_0^\infty \frac{x^{a-1}}{1+bx^a} e^{-x} dx \end{equation} I think it will use a gamma function or a exponential integral. I really need an ...
6
votes
0answers
71 views

What is the strongest possible statement of the idea that “the tangent line is the best linear approximation”?

For instance, I've just checked that that if you take the best linear approximation (in the $L^2$ sense) to a sufficiently nice function $f$ on the interval $[-\varepsilon, \varepsilon]$, and then let ...
6
votes
0answers
46 views

Is “imposing” one function onto another ever used in mathematics?

First of all, let me define what I mean by "imposing." Basically, I mean graphing some function with respect to some other function, rather than with respect to the x-axis. To be more specific, for ...
6
votes
0answers
107 views

Find the closed form of $\int_0^{\large \frac{\pi}{2}}\frac{x^{2n}\cdot\log{{\sin{x}}}}{\sin^{2n}{x}}dx, \space n\ge 1$

I was thinking of the generalization of the problem here, that is $$\int_0^{\large \frac{\pi}{2}}\frac{x^{2n}\cdot\log{{\sin{x}}}}{\sin^{2n}{x}}dx, \space n\ge 1$$ Maybe you recommend me some tools? ...
6
votes
0answers
101 views

Closed-form of $\int_0^{\pi/2} \arctan(x)\cot(x)\,dx$

I'm looking for a closed-form of the following integral problem. $$I = \int_0^{\pi/2} \arctan(x)\cot(x)\,dx.$$ The numerical approximation of $I$ is $$I \approx ...
6
votes
0answers
137 views

Problem with differentiation under integral sign

Original problem: I have a problem in which i need to evaluate the integral: $$ \int_1^\infty \dfrac{\sqrt{r^2-1}e^{-\alpha r}}{r} dr\, $$ I have tried to evaluate it taking the $\alpha$ derivative, ...
6
votes
0answers
105 views

Can we interchange the Integral and Summation when a limit is $\infty$?

I was trying to Evaluate the Integral: $$\Large{I=\int_1^{\infty} \frac{\ln x}{x^2+1} dx}$$ $$\color{#66f}{{\frac{1}{x^2+1} = \frac{1}{x^2\left(1+\frac{1}{x^2}\right)}=\frac{1}{x^2}\cdot ...
6
votes
0answers
133 views

What is the difference between tensor calculus and exterior derivative type concepts?

I am trying to clarify terms in order to help me figure out what I'd like to study. I understand that $p$-forms and $p$-vectors are used with things like wedge products, exterior algebras, and a ...
6
votes
0answers
111 views

Why are numeric methods the only technique available to solving $\ln(x) = \sin(x)$? Is this $x$ transcendental?

I just read this question about finding the solution to the equation $\ln(x) = \sin(x)$. All the answers focus on using a numerical method to approximate the solution. This is interesting in its own ...
6
votes
0answers
78 views

Can these two indefinite integrals be evaluated in closed form?

I'm wondering whether any of these two indefinite integrals $$\int \frac{1}{\sqrt{1+\alpha \sinh(x)^{-4/3}}}dx$$ $$\int \frac{\sinh(x)^{-4/3}}{\sqrt{1+\alpha\sinh(x)^{-4/3}}}dx$$ can be evaluated in ...
6
votes
0answers
119 views

A difficult contest question from the former Soviet union

Let $(a_n)$ be a positive sequence such that $\varlimsup\limits_{n\to\infty} a_n^{\frac1n}=1$ and $\varliminf\limits_{n\to\infty} a_n^{\frac1n}<1$. Prove there exists a subsequence $(a_{n_i})$ ...
6
votes
0answers
110 views

Closed-forms of real parts of special value dilogarithm identities from inverse tangent integral function

The inverse tangent integral is defined as $$\operatorname{Ti}_2(x)=\Im\operatorname{Li}_2\left(ix\right)$$ Because this we have some special value identitiy. Let $c_1 = \operatorname{Li}_2(i)$, ...
6
votes
0answers
82 views

Find the limit (as x approaches 1) of : $|x^2+x-2|/(x^2-1)$

Substitution $1$ in the equation gives us $0/0$ (indeterminate form), and so we must find the limit some other way. By breaking $|x^2+x-2|$ up into $|(x-1)(x+2)|$ and noting that $|x-1| = -(x-1)$ ...
6
votes
0answers
116 views

Fourier transform of squared exponential integral $\operatorname{Ei}^2(-|x|)$

Let $\operatorname{Ei}(x)$ denote the exponential integral: $$\operatorname{Ei}(x)=-\int_{-x}^\infty\frac{e^{-t}}tdt.$$ Now consider the function $\operatorname{Ei}(-|x|)$. ...
6
votes
0answers
158 views

Closed-form of integrals containing double exponentials

Are there closed forms for the following integrals? $$\begin{align} I_1(w) & = \int_{-\infty}^{\infty} \frac{\exp(-we^y)}{y^2+\pi^2} dy, \\ I_2(w) & = \int_{-\infty}^{\infty} ...