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

learn more… | top users | synonyms

99
votes
0answers
3k 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
727 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 ...
18
votes
0answers
298 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.
13
votes
0answers
235 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
319 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 ...
12
votes
0answers
167 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 ...
10
votes
0answers
379 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
179 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 ...
10
votes
0answers
205 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
235 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
388 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
199 views

Algorithm for obtaining the surface of a mirror

My colleague and I have been trying to implement an algorithm described in the paper "Recovering local shape of a mirror surface from reflection of a regular grid", primary author of which being ...
10
votes
0answers
370 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
187 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. $$ ...
9
votes
0answers
92 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. ...
8
votes
0answers
128 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 ...
8
votes
0answers
236 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
115 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
142 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
89 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
115 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
181 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
101 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
143 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
149 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
112 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 = ...
7
votes
0answers
364 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
198 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
130 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
244 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
324 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
135 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
74 views

If all convex combinations of $p(x)$ and $q(x)$ have real roots, then $p,q$ have a common interlacing poly

I heard this result in a talk the other day: Suppose $p$ and $q$ are polynomials. Suppose $p$ is a polynomial of degree $n$ and $q$ a polynomial of degree $n-1$. Call $q$ and interlacer of $p$ if the ...
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
37 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
96 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
100 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
123 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
100 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
119 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
108 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
77 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
112 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
76 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
109 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
153 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} ...
6
votes
0answers
114 views

Evaluating sums and integrals using Taylor's Theorem

Taylor's theorem states that $$f(x)-\sum_{k=0}^n\frac{f^{(k)}(a)}{k!}(x-a)^k = \int_a^x \frac{f^{(n+1)} (t)}{n!} (x - t)^n \, dt $$ We can use this to evaluate integrals. For example, consider ...
6
votes
0answers
130 views

Wicked domain of integration in a triple integral

I am dealing with a domain of integration of the form: $\left(\frac{x-y}{x+y}\right)^2+\left(\frac{y-z}{y+z}\right)^2+\left(\frac{x-z}{x+z}\right)^2\leq k$ The region looks like this (for $k=0.2$): ...
6
votes
0answers
77 views

Symbolic manipulation inside integral

I'm an undergrad who has just completed the standard calculus sequence (1, 2, and multivariable). I've done well in the courses, however, things like the following, which is a derivation of kinetic ...