Concerns all aspects of integration, including the integral definition and computational methods. For questions solely about the properties of integrals, use in conjunction with (indefinite-integral), (definite-integral), (improper-integrals) or another tag(s) that typically describe(s) the types of ...

learn more… | top users | synonyms (3)

36
votes
0answers
1k views

The log gamma integral $\int_{0}^{z} \log \Gamma (x) \ \mathrm dx$

One way to evaluate $ \displaystyle\int_{0}^{z} \log \Gamma(x) \ \mathrm dx $ is in terms of the Barnes G-function. $$ \int_{0}^{z} \log \Gamma(x) \ \mathrm dx = \frac{z}{2} \log (2 \pi) + ...
17
votes
0answers
762 views

Is this $really$ a categorical approach to $integration$?

Here's an article by Reinhard Börger I found recently whose title and content, prima facie, seem quite exciting to me, given my misadventures lately (like this and this); it's called, "A Categorical ...
13
votes
0answers
436 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
247 views

Integrate this monster

Can you please help me? I've been trying for some time now to integrate this: $$\int_0^\infty g^{-(a+1)} \; \exp\left\{-\left(\frac{b}{g} + \frac{1}{2} \sum_{i=1}^{n} ...
12
votes
0answers
453 views

Integral involving Complete Elliptic Integral of the First Kind K(k)

I have run into an integral involving the complete elliptic integral, which can be put into the following form after changing integration variables to the modulus: ...
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 $$ ...
11
votes
0answers
330 views

Computing the volume of a region on the unit $n$-sphere

I would like to compute the surface volume of a region on the unit $n-1$-sphere: $$x_1^2 + \dots + x_i^2 + \dots + x_n^2 = 1,$$ bounded by an ellipsoid $$a_1x_1^2 + \dots + a_ix_i^2 + \dots + ...
10
votes
0answers
67 views

Area enclosed by an equipotential curve for an electric dipole on the plane

I am currently teaching Physics in an Italian junior high school. Today, while talking about the electric dipole generated by two equal charges in the plane, I was wondering about the following ...
10
votes
0answers
415 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
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
72 views

Is there a name for the class of functions which are infinitely integrable in elementary functions?

Is there a name for the class of functions which are infinitely integrable in elementary functions, that is whose consecutive integrals also elementary not depending on how much times we took the ...
10
votes
0answers
255 views

Is there a closed form for this sum?

While generalizing the previous result, I conjectured that the series expansion of \begin{align*} \int_{0}^{\frac{\pi}{2}} \arctan \left( \frac{2x \sin\theta}{1-x^{2}} \right) \arctan \left( \frac{2y ...
9
votes
0answers
92 views

The Laplace transform of $\frac{\ln(1+at)}{1+t}$

By expressing the square of the exponential integral as a double integral and then making a change of variables, one can show $$ \int_{0}^{\infty} e^{-2zt} \ \frac{\ln(1+2t)}{1+t} \, dt = \frac{e^{2z} ...
9
votes
0answers
437 views

Finding a proper solution of a given functional

It's my first post here, but I worked very hard to find solution and I failed. Hereinafter, I skip physical background and directly proceed to my mathematical problem. No matter how, you know the ...
9
votes
0answers
670 views

How to compute this integral of Bessel functions?

I have $\alpha_\max$ a real number between $0$ and $\frac\pi2$. Furthermore $\zeta$ and $\xi$ are positive real numbers. Now I would like compute the integral $$\int_0^{\alpha_\max} \mathrm{e}^{i ...
9
votes
0answers
691 views

Cauchy-Formula for Repeated Lebesgue-Integration

Recently, I came across the following statements. They were annotated as consequences of Fubini's Theorem but neither proof nor reference were given. Let $f:[a,b]\times [a,b]\to\mathbb{R}$ be ...
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
156 views

Closed form of a difficult definite integral

I'm looking for a closed-form expression for the value of this integral: $$I=\int_0^\pi \frac{\sin(x)}{\sqrt{x^3+x+1}} dx$$ The graph of the integrand looks like this: $\hskip 2.4 in$ Numerically, ...
8
votes
0answers
203 views

Is each “elementary + finite functions” function “elementary + finite functions”-integrable?

It is known that there exists elementary functions which are not elementary integrable, i. e. there exists no elementary anti derivative. Example: $f(x) = e^{-x^2}$. Let $A$ be the set of elementary ...
8
votes
0answers
182 views

Closed-form expression for an iterated integral

Does the following iterated integral have a simple closed-form expression in terms of $z$? $$ I = \int_0^\infty \int_0^\infty \sqrt{\frac{1 + x^2 y^2 + x^2 z^2 + y^2 z^2}{(x^2 + y^2 + z^2 + x^2 y^2 ...
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
44 views

Decay of amplitude integral

Consider the function $$ f(\vec{x}) = \int_{\Bbb R^3} {\frac{ e^{-i\,\vec{x}\cdot\vec{k}}}{\sqrt{\vec{k}^2 + m^2}}} d^3 k $$ from Zee's Quantum Field Theory in a Nutshell. He argues like this: ...
7
votes
0answers
68 views

Largest rectangle bounded under a function

Let $f$ be a positive monotonically increasing real function in $[0,1]$. Let $F$ be the area under the curve of $f$ ($F=\int_0^1{f(x)dx}$) For every $x\in[0,1]$, let $G(x)=f(x)*(1-x)$ = the area of a ...
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
89 views

closed form for $I=\int_{0}^{\infty}\frac{x^n}{x^2+u^2}\tanh(x) dx$

solve $$I=\int_{0}^{\infty}\frac{x^n}{x^2+u^2}\tanh(x) dx:0<n<2$$ I tried for $n=1$ : $$I(v)=\int_{0}^{\infty}\frac{x}{x^2+u^2}\tanh(vx) dx$$ ...
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
244 views

Open problems in Federer's Geometric Measure Theory

I wanted to know if the problems mentionned in this book are solved. More specifically, at some places, the author says that he doesn't know the answer, for example :"I do not know whether this ...
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
98 views

Relations between definite integrals not having a known closed form

Are there any known cases, when there are two (or more) definite integrals, none of them having any known closed-form expression on its own, but there is still a non-trivial$^\dagger$ elementary ...
7
votes
0answers
329 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
314 views

Is this question solvable? $2$ non-linear equations and the proof that the solution is unique (with asymmetric bounty option)

As mentioned in the title I want to show the uniqueness of the solution to $2$ non-linear equations. However, it seems that I can not solve this question with my current mathematical knowledge. More ...
7
votes
0answers
93 views

Compute $\int_{0}^{+\infty} e^{-y}y^a\mathrm{d} y$

Does the following integral have a finite value? How to compute it? $$\int_{0}^{+\infty} e^{-x^k}\mathrm{d} x$$ where $k$ is given and $0<k<1$. By substituting $x^k=y$ we may obtain an ...
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
104 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
89 views

Why are the fundamental theorems of calculus usually associated to the Riemann Integral?

I am writing a "textbook" on Analysis, and I've reached the time I must talk about integrals. I prefer to approach directly the Lebesgue Integral theory. This question is not about the status of this ...
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
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
45 views

Discrete analogue of Green's theorem

Following formula concerning finite differences is in a way a discrete analogue of the fundamental theorem of calculus: $$\sum_{n=a}^b \Delta f(n) = f(b+1) - f(a) $$ We can think about the Green's ...
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
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} ...
6
votes
0answers
120 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
133 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
158 views

Second derivative of Hypergeometric function

I'm looking for the following second derivative $$ \kappa_2 := \left . \frac{d^2}{d\lambda^2} \ln \left({_2F_1}\!\left(\tfrac{1}{2},\,- \lambda;\,1;\,\alpha\right)\right) \right \vert_{\lambda = ...
6
votes
0answers
62 views

Integration of bundle-valued differential forms

The literature, at least textbooks, seems to be very scarce on the topic of integrating bundle-valued differential forms. So I wonder where can I read on the topic? I want to see usual theorems, like ...
6
votes
0answers
185 views

Connection between integral expression and the factorial of infinity

Does the fact that $$\int_{-\infty}^{\infty}\exp\left(-\frac{1}{2}x^2\right)\mathrm{d}x=\sqrt{2\pi}$$ Have something to do with the fact that the regularized factorial of infinity is also ...
6
votes
0answers
149 views

An incorrect answer for an integral

As the authors pointed out in this paper (p. 2), the following evaluation which was in Gradshteyn and Ryzhik (sixth edition) is incorrect (and has been removed). $$ ...
6
votes
0answers
87 views

Is $\sigma$-finiteness really a necessary condition for this problem?

Question: Let $(X, \mathcal A, \mu)$ be a measure space and suppose $\mu$ is $\sigma$-finite. Suppose $f$ is integrable. Prove that given any $\varepsilon$, there exists a $\delta >0$ such that ...
6
votes
0answers
171 views

The elementary methods to compute $\int_0^\pi\frac{e^{ix}}{x-\alpha e^{ix}}\,dx\quad;\quad\text{for}\, \alpha>0$

How to compute the following integral using elementary methods (high school methods). \begin{equation}\int_0^\pi\frac{e^{ix}}{x-\alpha e^{ix}}\,dx\qquad;\qquad\text{for}\, ...