All Questions
Tagged with integral or integration
458 questions with no upvoted or accepted answers
42
votes
0
answers
2k
views
Are we better in computing integrals than mathematicians of 19th century?
When I started to learn mathematics, I was fascinating by legendary «Демидович»: problems in mathematical analysis. Fifteen years later, when I open chapters about integrals, I see a long list of ...
21
votes
0
answers
658
views
A multiple integral
Let us consider the multiple integral
$$I_{n}=\int_{-\infty }^{\infty }ds_{1}\int_{-\infty}^{s_{1}}ds_{2}\cdots
\int_{-\infty }^{s_{2n-1}}ds_{2n}\;\cos {(s_{1}^{2}-s_{2}^{2})}\;\cdots
\cos {(s_{2n-1}...
- 16.5k
18
votes
0
answers
571
views
Fundamental Theorem of Algebra via multiple integrals
Consider the product of complex linear monic polynomials times polynomials of degree less than $n$, that is $\big( (z-\lambda), p(z)\big)\mapsto (z-\lambda)p(z)$. If we represent a polynomial by its ...
- 60.5k
16
votes
0
answers
555
views
Reference request for Grothendieck's work on "Integration with values in a topological group"
Disclaimer. This question was already asked in Mathematics Stack Exchange (see the link here). I wanted the question to be migrated here but I was told by a moderator that a question that old is ...
user57432
14
votes
0
answers
573
views
Reference for a proof of the fiberwise Stokes theorem
The fiberwise Stokes theorem says that given a differential form on a smooth fiber bundle whose fibers have boundary,
the difference between the fiberwise integral of the differential and the ...
- 37.8k
14
votes
1
answer
2k
views
The perturbation of non-Hamiltonian algebraic vector fields
In this question, we are interested in the number of limit cycles which appears in the following perturbational system:
\begin{equation}\cases{
x'=y -x^{2}+\epsilon P(x,y) \\
y'=-x+\epsilon Q(x,y) }
\...
- 356
13
votes
0
answers
497
views
Is it possible that the following integral is $0$?
Given any integer $n\geqslant1$, let $E,F$ be two subsets of $\{\{i,j\}:1\leqslant i<j\leqslant n\}$ such that every two sets in $F$ are disjoint.
It is not difficult to see that
$$\int_{1<|z|&...
- 1,997
12
votes
1
answer
628
views
A function with unexpectedly simple Legendre transformation
Let $I(x) = \frac{1}{2\pi} \int_{-2}^2 \sqrt{4-y^2}\ln|x-y|dy$. Then $I(x)$ is a concave function and
\begin{equation}
I(x)=
\begin{cases}
\frac{1}{4}x^2-\frac{1}{2}, &\text{if } |x|\leq2 \\
\...
- 1,608
11
votes
0
answers
508
views
Symmetry of function defined by integral
(Originally posed in Math.SE in Jan 2013. Received no complete answers as of yet.)
Define a function $f(\alpha, \beta)$, $\alpha \in (-1,1)$, $\beta \in (-1,1)$ as
$$ f(\alpha, \beta) = \int_0^{\...
- 211
11
votes
0
answers
137
views
Assymptotics of a Selberg type integral
Does any one know some references/ ideas on how to study the assymptotics as $N$ goes to $\infty$ of the following Selberg type integral
$$\int _{\mathbb R^N} e^{-|x|^2}\ \prod_{1\le i<j\le N} \...
- 111
10
votes
0
answers
761
views
Reference request : Grothendieck's topological space valued integral
As I am learning the different kind of Banach space valued integrals (Pettis, Bochner), I know that Grothendieck made a "mémoire" in his youth about this topic, but I don't know if it is available ...
- 1,616
9
votes
0
answers
1k
views
How complicated can an elementary antiderivative get?
I asked this question on MSE here.
I recently learned that there are many very large numbers that have been defined, such as $\operatorname{TREE}(3)$ and many others that are too big to be written ...
- 541
9
votes
0
answers
223
views
On the conditions of convergence in the generalized Riemann-Lebesgue lemma
I am reposting the following question that I asked in the MSE site here.
As I mentioned there, The following generalizations of the Riemann-Lebesgue lemma are rather well known (Kahane, C. S., ...
- 271
8
votes
0
answers
296
views
Is there a real-analytic approach to evaluate a definite integral (with an elementary integrand) whose value involves Lambert $W$?
I have never seen a real-analytic approach to evaluate integrals of the form below
$$\int_a^b\text{elementary function}(x)\,dx=\text{constant non-trivially involving}\,W(\cdot)\tag1$$ The elementary ...
- 1,459
8
votes
0
answers
360
views
The many theories of integration
Diclaimer: In what follows, I will be loose in the usage of terminology since the very nature of the question is of a similar flavour.
In the mathematics literature, one can find a zoo of theories of ...
- 183
7
votes
0
answers
332
views
Integration à la Mirzakhani
Let $$
\gamma = \sum_i c_i \gamma_i
$$
be a multi-curve on a hyperbolic surface $S$. For any $f: \mathbb{R}^+ \to \mathbb{R}^+$ one can define $$
f_\gamma (X) = \sum_{\alpha \in \mathrm{Mod} . \gamma} ...
- 191
7
votes
0
answers
155
views
Henstock–Kurzweil integral for unbounded domain of $\mathbb{R}^n$
I am working through the textbook Analyse : fondements, techniques, évolution by Jean Mawhin (in French). It was published in 2002 and its main characteristic is to introduce integration to ...
- 71
7
votes
0
answers
295
views
Hilbert series for invariant ring
I would like to compute the Hilbert series of the ring of invariants of certain irreducible representations of some groups (namely $SO(5)$ to begin with).
To put it in some broader context, let $G$ ...
- 1,263
7
votes
0
answers
299
views
An integral for the tribonacci constant and the general case
When I asked for integrals involving the tribonacci constant $T$, user @nospoon gave the nice answer,
$$\int_0^{\infty} \eta( i \, x)\,\eta(i \,11 x) \,dx = \frac{ \ln T}{\sqrt{11}} $$
However, the ...
- 12.6k
7
votes
0
answers
317
views
An inequality which involves a sum of integrals
Please help me to prove
$$
\sum\limits_{j=2}^n \frac{1}{j^\alpha (j-1)^\alpha} \int\limits_{j-1}^j \frac{dx}{x^{1-\alpha}(n-x)^\alpha} \leq \int\limits_0^1 \frac{dx}{x^{1-\alpha}(n-x)^\alpha},\quad \...
- 71
7
votes
0
answers
708
views
Minkowski's Inequality for Integrals in Orlicz spaces
EDIT: I have changed the question to have less parameters, fitting it into the context of Orlicz spaces.
Suppose $f:[0,\infty)\to[0,\infty)$ is convex and increasing, $f^{-1}:[0,\infty)\to[0,\infty)$...
- 882
6
votes
0
answers
150
views
Can this Casimir-effect integral be reduced to a special function?
This integral plays a central role in a physics problem (Casimir effect)${}^\ast$
$$\Omega(\phi,L)=-\frac{1}{\pi}\operatorname{Re}\int_0^\infty \ln\bigl[1+\beta(\omega)^2 e^{i\phi-2\omega L}\bigr]\,d\...
- 188k
6
votes
0
answers
431
views
How to prove these identities for $\log(2)$ based on $_3F_2$ integrals?
In this MO post I have placed 4 Ramanujan-type hypergeometric series found using the LLL algorithm for fast computing of some logarithms. I could prove 3 of them by means of classical methods based on ...
- 2,836
6
votes
0
answers
131
views
Complex beta function $\int_{\mathbb{R}^2} (x^2+y^2)^{\alpha-1}((1-x)^2+y^2)^{\beta-1} \,dx\,dy$
I am interested in showing that the integral
\begin{align}
& \int_{\mathbb{C}} |z|^{2\alpha-2}|1-z|^{2\beta - 2} \,dA(z) \\[8pt]
= {} & \int_{\mathbb{R}^2} (x^2+y^2)^{\alpha-1}((1-x)^2+y^2)^{\...
- 177
6
votes
0
answers
357
views
Is there a uniform version of Lebesgue's differentiation theorem?
Let $\mu$ be a finite measure on $\mathbb R$ and $f,g : \mathbb R \to \mathbb R_{\geq 0}$ two measurable maps such that $\int_{x\in\mathbb R} f(x)\ \mu(dx) \leq 1$ and that $g(x) \leq 1$ for all $x$. ...
6
votes
0
answers
249
views
Double integral $\int \int (\log x) (\log y)/F(x,y) dx dy$: elegant way?
I need to evaluate (or, if that is not feasible, bound well) some integrals of the type
$$\mathop{\int \int}_{(x,y)\in U} \frac{\log x \log y}{F(x,y)} dx dy,$$
where $U = \{(x,y)\in [1,\infty)^2: F(x,...
- 20.2k
6
votes
0
answers
292
views
A kind of reflection formula for the logarithmic derivative of the zeta function
So I was messing around with Bernoulli numbers and values of $\zeta'$ at integers $-$ and suddenly I came about a non trivial identity which can be written in terms of the logarithmic derivative of ...
- 13.4k
6
votes
0
answers
256
views
What is the expected value of the volume of a tetrahedron inscribed in the unit sphere?
Four (non-coincident) points on the unit sphere determine a tetrahedron. What is the expected value of the volume of such a tetrahedron--the volume of the sphere itself being $\frac{4 \pi}{3} \approx ...
- 723
6
votes
0
answers
129
views
A reference for an integrability property?
In a recent paper of mine (Compensated integrability), I established a functional inequality which has nice consequences. For instance, it contains the isoperimetric inequality, and it gives a new ...
- 52.3k
6
votes
0
answers
1k
views
Evaluating $\iint_{\mathbb{R}\times \mathbb{R}^{+}}e^{-|w-c_{1}|^2-|u-c_{2}|^2}\frac{1}{w_{1}+iw_{2}-u_{1}-iu_{2}}dw_{1}dw_{2}du_{1}du_{2}$
For $c_{1},c_{2}\in \mathbb{H}:=\{Im(z)>0\}$ I want to compute the following integral or prove it doesn't exist:
$$\int_{\mathbb{R}\times \mathbb{R}^{+}}\int_{\mathbb{R}\times \mathbb{R}^{+}}e^{-|...
- 5,474
6
votes
0
answers
113
views
Area of generalized ellipse
An ellipse $E$ can be defined by two foci, $p,q\in\mathbb{R}^2$, and a length parameter $\ell$ as follows:
$$ E = \{x\in\mathbb{R}^2 : ||p-x||+||q-x||\le\ell
\}.$$
The area of $E$ is uniquely ...
- 6,541
6
votes
0
answers
216
views
Integral-like concepts
I am looking for interesting concepts (I guess you could say functionals from the function space $[a;b]\to\mathbb R$) that are like integrals in some respect.
The background is that I have proven a ...
- 1,241
6
votes
0
answers
2k
views
Interchange of integral and infimum
Can anyone please suggest how to justify widely used formula for interchange of integral and infimum:
$
\inf_{u(t)\in U}\int_{t_0}^{t_1}g(t,u(t))dt=\int_{t_0}^{t_1}\inf_{u\in U}g(t,u)dt,
$
where $ U\...
- 61
6
votes
0
answers
352
views
Integral identity related with cubic analogue of arithmetic-geometric mean
This is re-post from MSE as I did not get an answer there.
Let $a,b$ be positive real numbers and we define two sequences $\{a_{n}\},\{b_{n}\}$ as follows:
$$a_{0}=a,b_{0}=b,a_{n+1}=\frac{a_{n}+2b_{n}...
- 2,249
6
votes
0
answers
293
views
How to take this Grassmann integral?
I'm trying to reconstruct and understand what is explained in a paragraph of this paper. I am trying to check if the method they describe actually gives us the Laughlin state. The integral I'm facing ...
- 181
6
votes
0
answers
2k
views
Fourier transforms via Kurzweil-Henstock integral on locally compact commutative groups
Is it possible to define Fourier transforms on locally compact commutative groups using the Kurzweil-Henstock integral instead of the Lebesgue integral?
- 4,351
5
votes
0
answers
160
views
Hartman uniform distribution of means
Background: for a discrete abelian group $G$, a character of $G$ is a homomorphism $\chi:G\to \mathbf S^1$, $\mathbf S^1$ being the circle group $\{z\in \mathbb C:|z|=1\}$ with ordinary multiplication....
- 929
5
votes
0
answers
243
views
Is there a way to solve this integral on the sphere explicitly?
Let $k_{j}\in {\mathbb{Z}}^{+}$ and $\,a_{j}\in \,]0,1[$, be such that
$k_{j}\,a_{j}<1$, $j=1,\cdots,n$. Let $f:\mathbb{R}^{n}\rightarrow [0,\infty[$ be defined by the integral
$$f(y):=\int_{\...
- 852
5
votes
0
answers
497
views
Is $\int \operatorname{sn}^2u\,\mathrm du$ really irreducible?
Let $\operatorname{sn}$, $\operatorname{cn}$, $\operatorname{dn}$ be Jacobian elliptic functions (https://dlmf.nist.gov/22). According to Greenhill,
The integrals
$$\operatorname{sn}^2u,\operatorname{...
- 317
5
votes
0
answers
198
views
If $\lim_{t\to +\infty} \int_{0}^{\pi} f(x)\exp(e^{xt}) \, dx=0$ then $f=0$ a.e?
Question, Let $f \in L^1(\alpha, \beta)$ , $\beta>0$ and
$$
F(x)= \int_{\alpha}^{\beta} f(t)\exp(e^{xt}) \, dt
$$ such that $\displaystyle \lim_{x\to +\infty}F(x)=0$. Does this imply that $f$ is ...
- 1,503
5
votes
0
answers
652
views
Nature of function as $x\rightarrow\infty$
I'm studying the limits and applicability of Abel Plana summation for different test functions (class of functions). In doing so this just pops out and couldn't handle the said integral so asked here (...
- 790
5
votes
0
answers
160
views
Extending gauge integral to higher dimensions/spaces and analogue of Riemann rearrangement theorem for it
The gauge/Henstock-Kurzweil integral allows for the integration of a very large set of functions in $\Bbb R$, at the cost of many of the nice properties of Lebesgue integration, of which it is a ...
- 151
5
votes
0
answers
417
views
Length of the arc of a Fourier series
I'm working modeling the behavior of periodic variable stars and I have a question about reducing the expression of a parameter involved in this analysis.
Let $f(t)$ be a Fourier series define as:
$$f(...
5
votes
0
answers
273
views
More or less universal formula for regularization of divergent integrals?
Is there a simple formula that would produce the regularized value for the most common divergent integrals?
I know, there is a formula for Cesaro integration, but it is applicable only to Cesaro-...
- 10.1k
5
votes
0
answers
271
views
Riesz Representation Theorem for $L^2(\mathbb{R}) \oplus L^2(\mathbb{T})$?
The spaces $L^2(\mathbb{R})$ (square-integrable functions) and $L^2(\mathbb{T})$ (1-periodic square-integrable functions, considered over the real line $\mathbb{R}$) are two subspaces of the space of ...
- 2,306
5
votes
0
answers
266
views
Hadamard lemma without integration
Let $I$ be the ideal of smooth germs vanishing at zero. Let $I^{k+1}$ be the ideal generated by $(k+1)$-fold product of such germs. Write $F_k$ for the ideal of $k$-flat germs at zero.
By the product ...
- 10.5k
5
votes
0
answers
254
views
Is there a practical application of natural integral or differintegral?
The following formulas give natural differintegral (that is one with naturally fixed integration constant):
$$f^{(s)}(x)=\sum_{m=0}^{\infty} \binom {s}m \sum_{k=0}^m\binom mk(-1)^{m-k}f^{(k)}(x)$$
$$f^...
- 10.1k
5
votes
0
answers
202
views
Invariant measure on coset space and integrable functions
Let $G$ be a locally compact abelian group, and $H$ a closed subgroup. Let $C_c(G)$ be the space of continuous, compactly supported complex valued functions on $G$. General theory of Haar measure ...
- 6,180
5
votes
0
answers
114
views
Remainder term in an integral linked to the Riemann zeta function
Sorry if this is not research level, but the following problem occurs in my own research: it is trivial to show that for $k\ge2$ integral we have
$\zeta(k)=(1/(k-1)!)\int_0^\infty t^{k-1}/(e^t-1)\,dt$ ...
- 13.1k
5
votes
0
answers
506
views
integrating with respect to parameters in beta function
I would like to evaluate an integral:
$$\int_t^1\frac{1}{B(1+s\phi,1+\phi(1-s))}p^{s\phi}(1-p)^{\phi(1-s)}ds,$$
where $B(a,b)$ is a beta function and $p\in(0,1)$ and $\phi>0$ are some parameters. ...
- 151