All Questions
Tagged with cv.complex-variables integration
98 questions
1
vote
0
answers
144
views
integral over the unit sphere of $\Bbb C^n$
Please, is there a way to calculate this integral
$$\int_{S_{2n-1}} \frac{e^{a \langle z, \zeta \rangle}}{|z - \zeta|^{\beta}} \, d\sigma(\zeta)$$
where $ z $ is a fixed point in the complex unit ball ...
- 501
0
votes
1
answer
342
views
Integrate Faddeeva function
I came across this integration in my studies.
$\int_{-\infty}^{\infty}|F((w_\textbf{_} - \hat{w_\textbf{_}})\tau) |^2 . d\tau$
It uses the Faddeeva function which is $F(z) = e^{-z^2}erfc(-iz)$. I ...
- 1,126
0
votes
2
answers
682
views
On integral relating logarithm of absolute value of Zeta function
Sorry for such a direct question:
Consider the following integral:
$$I(t)=\int_{1/2}^{1} {\log|\zeta(a+it)|}da.$$
How to find the nature of $I(t)$ as $t\rightarrow\infty$?
CommunityBot
- 1
1
vote
1
answer
189
views
How to evaluate the following integral?
How to (analytically) calculate the following integral,
$$I = \int_{S_{2n-1}} \left( \langle z, \zeta \rangle \right)^a e^{ b \langle z, \zeta \rangle} \, d\sigma(\zeta),$$
where $\langle z, \zeta \...
- 33
-2
votes
0
answers
113
views
How to calculate this integral [migrated]
Is there a formula of this integral
$$\int_{S_{2n-1}} \frac{e^{i a \langle z, \zeta \rangle}}{|z - \zeta|^{2\lambda}} \, d\sigma(\zeta)$$
and how to calculate it.
Thank you in advance
- 3,808
2
votes
1
answer
315
views
Where to find or how to establish a general formula for the improper integral $\int_{0}^{\infty}\frac{\sin t}{t}(\ln t)^k\operatorname{d\!} t$?
When I tried to establish the Maclaurin power series expansion of the reciprocal $\frac{1}{\Gamma(z)}$ of the Euler gamma function $\Gamma(z)$, I came across the improper integral $$
I_k=\int_{0}^{\...
- 1,091
4
votes
1
answer
214
views
Explicit expression for a function in number theory
In their paper "Moyenne de certains fonctions arithmétiques sur les entiers friables", Tenenbaum and Wu proved that for the case of the function $\beta$ which is the indicator function of ...
- 14.6k
4
votes
1
answer
257
views
Asymptotics of an entire function with real zeroes on the real line
Define $ F(x) := A x^m e^{B x} \prod_{k \geqslant 1} (1 - x/\alpha_k)e^{x/\alpha_k} $ where we suppose that $ \alpha_k \in \mathbb{R} $. This function is defined on the whole complex plane and is ...
- 91.8k
0
votes
1
answer
127
views
Characterizing the integral as a function of $n$
Let $\alpha \in [0,3], \beta \geq 1, \lambda \geq 1$ and fix $n \in \mathbb{N}$. Consider the function $f(x;\alpha, \beta, \lambda) = x^{\alpha}\exp(-\lambda x^\beta)$. Let $I(n; \alpha,\beta,\lambda) ...
- 128k
1
vote
0
answers
80
views
An integral containing modified Bessel functions
During my studies I am facing the following problem. Let $I_\nu(x)$ be the modified Bessel function for $\nu\in(0,1/2]$.
I want to compute the following integral (it is are resolvent)
$$
R(z) = \frac{...
- 63.9k
-2
votes
2
answers
321
views
Is there a term for a countour integral that disregards direction?
Is there a name for integration of the form $\oint_\gamma f(z) |dz|$?
In other words, the integral that only takes into account the length of the contour and the values of the function but not the ...
- 91.8k
1
vote
0
answers
338
views
Recognizing when a $2\pi$-periodic function is a shifted sine
Consider a real analytic function $f(x)$ with a period of $2\pi.$ Let $t\in \operatorname{Range}(f(x))$, $$I(t)=\int_{0}^{2\pi}\log |t-f(x)|dx.$$ Prove that $I(t)$ is equal to a constant if and only ...
- 12.9k
6
votes
1
answer
406
views
Conjectured closed form of $\int_0^1 \frac{\text{Li}_2\left(\frac{x}{4}\right)}{4-x}\,\log\left(\frac{1+\sqrt{1-x}}{1-\sqrt{1-x}}\right)\,dx$
After reading some meta posts, I've decided to post this question on MathOverflow since I didn't receive any comments or answers on MSE
Certainly, I apologize for any oversight. Here's a more refined ...
- 105k
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
3
votes
2
answers
644
views
Upper bound for complex integral
I am interested in obtaining a good upper bound for the absolute value of the following integral
$$
\left| \int_{0}^{\pi/3} e^{-itn} \left( 1-e^{it} \right)^{k} dt \right|,
$$
when $n>k>0$ are ...
- 1,440
5
votes
4
answers
950
views
Limit of an integral vs limit of the integrand
I have a simple Fourier transform problem, originating from mathematical physics (system of linear PDEs), which reduces to taking the integral
$$
I(\alpha)\equiv\int_{-\infty}^\infty e^{ikr} \cfrac{\...
4
votes
1
answer
205
views
Show that $\frac{1}{2 \pi i} \oint_{\mathbb{S}^1} \frac{1-\hat{f}(\xi)}{1-\xi}\cdot \frac{\mathrm{d} \xi}{\xi^{n+1}} \to 0$ as $n \to \infty$
Let $f = (f_0,f_1,\ldots,f_n,\ldots) \in \mathcal{P}(\mathbb N)$ be a probability distribution on $\mathbb N$ and denote by $$\hat{f}(z) = \sum_{n\geq 0} z^n f_n$$ for its probability generating ...
- 128k
6
votes
0
answers
130
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)^{\...
2
votes
0
answers
90
views
Computing a complex integral with many poles
For an integer $k\geq 1$, let $f:\mathbb{C}^k\to\mathbb{C}$ be such that $f$ is analytic in the region $\text{Re}(u_i) > -1$ (say) for each $1\leq i \leq k$, and decays rapidly on vertical lines (i....
- 1,990
0
votes
0
answers
77
views
Completeness of a normed space
We consider the set $\mathcal{PC}([-r,0],X)$
$$\mathcal{PC}([-r,0],X):=\{\varphi:[-r, 0] \rightarrow X: \varphi \text{ is continuous everywhere except
for a finite number
of points } t_* \text{ ...
- 39
6
votes
1
answer
408
views
On an asymptotic integral decay
Let $f\in C^{\infty}([-1,0])$ be real-valued and suppose that
$$ \left| \int_{-1}^{0} f(t)\,e^{\lambda t} \,{\rm d} t \right| \leq e^{-\sqrt{\lambda}},$$
for all $\lambda > 0$. Does it follow that $...
7
votes
1
answer
336
views
If $f(x) = \sum_{n=0}^\infty a_n x^n$, then $\int_{-\infty}^\infty f(x^2) dx = \pi i a_{-\frac{1}{2}}$
I've noticed a curious relationship between the coefficient $a_n$ for a power series and the integral of the real line. For instance, take $f(x) = e^{-x} = \sum_{n=0}^\infty \frac{(-1)^n}{n!} x^n$. ...
- 840
1
vote
1
answer
210
views
On a property of complex exponentials
Does there exist a simple smooth closed curve $\gamma:S^1\to \mathbb C$ such that
$$ \int_{0}^{2\pi} e^{\gamma(e^{it})} \, |\gamma'(e^{it} )|\,dt =0?$$
- 91.8k
2
votes
0
answers
94
views
Computing $\int_0^{2\pi}\frac{e^{ikt}}{|e^{it}-e^{it_0}|^m}~\text{d}t$, where $k\in\mathbb{Z}$, $t_0\in\mathbb{C}$, and $m=1,3,5,\dots$
I am working on a project on accurate numerical quadrature where I need to compute the following integral in order to find my quadrature weights,
$$
\int_{0}^{2\pi}\frac{{\rm e}^{{\rm i}kt}}{\,\left\...
- 21
0
votes
0
answers
120
views
How to prove an equality involving Laguerre polynomials
Assume $\mu<0$. Let $L^\alpha_n(x)$ be Laguerre polynomials of type $n$ and $f\in L^2(\Bbb C)$.
How to prove that $$\sum^\infty_{k=0}\int_{\Bbb C} f(z)\frac{1}{2(2k+1)-\mu}L^0_k(\lvert z\rvert^2)...
- 501
6
votes
4
answers
628
views
Generalizing contour integration to quaternions and bicomplex numbers
I am interested in the possibility of generalizing the notion of contour integration to the quaternions or bicomplex numbers. I am aware that the Frobenius theorem prevents the construction of a true ...
- 6,357
-1
votes
1
answer
406
views
Topological properties of complex valued Riemann sum limit curve and a particular integral inequality
I am studying under what conditions the following integral inequality would hold ($a$ real, $a>0$):
$$ \int_{-\infty} ^{\infty} \frac{f(ix)}{a\pm ix}dx\ = 0 \ \ \ \ \Rightarrow \ \ \ \int_{-\...
CommunityBot
- 1
4
votes
2
answers
426
views
On the search for an explicit form of a particular integral
Let $f$ be integrable over the interval $(0, 1)$, and
$$I_n = \int_0^{1} x^n f(x) \, \mathrm{d}x.$$
Suppose $f(x) = f(1-x)$; we can then show that
$$I_n = \sum_{k=0}^{n} \binom{n}{k} (-1)^k \, I_{k}...
35
votes
5
answers
3k
views
Looking for some interesting complex integration contours
I am currently working on some tools to make contour integration in a proof assistant less painful and I'm looking for interesting examples of contours in the complex plane used in the literature. I ...
- 6,357
2
votes
1
answer
180
views
As-closed-as-possible formula for an integral and/or sum
I need to find the solution of this integral:
$$\int^\pi_{-\pi}{d\varphi\,{}\frac{\Gamma(n,2\pi\varphi)}{(1+ia\varphi)^n}},\tag{1}\label{1}$$
where $a\in(0,1)$ and $n$ is a positive integer (not zero)....
- 188k
5
votes
0
answers
650
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 (...
- 774
0
votes
0
answers
103
views
Computing $\int^{4b}_0 {e^{-tx}\biggl(\frac{\sqrt{4bx-x^2}}{(2b-2c)^2+4cx}\biggr) dx}$
I am a PhD student working on complex analysis. After integrating over a keyhole contour to obtain the inverse of a particular Laplace transform, I ended up with the following integral:
$$\frac{1}{\pi}...
- 12.9k
2
votes
1
answer
215
views
A 2 dimensional integral in polar coordinate [closed]
Recently I got stuck on a 2 dimensional integral in polar coordinate,
the expression is the following:
$I(x)=\lim_{\xi\rightarrow0^+}\int_0^\infty dr\int_{-\pi/2}^{\pi/2}dt\frac{2\xi ^{2-2 x}r^{2x+1} \...
- 71
1
vote
1
answer
124
views
Integral of $I = \int_{a}^{\infty}dx \frac{x^s}{(1+x)^{n}}$ [closed]
I have been trying to evaluate the following integral:
$$I = \int_{a}^{\infty}dx \frac{x^s}{(1+x)^{n}}$$
If $a=0$, then this is the Mellin transform of $\frac{1}{(1+x)^n}$. However, suppose $a \neq 0$....
- 2,306
7
votes
1
answer
1k
views
The sinc function strikes again [duplicate]
Recall $\text{sinc}(x)=\frac{\sin x}x$. It's a familiar exercise that $\int_0^{\infty}\text{sinc}(x)\,dx=\frac{\pi}2$.
But, at present, I wish to ask about the following claim on a "sinc-ing" ...
- 5,624
10
votes
1
answer
803
views
A natural residue formula
A residue formula
I have strong evindence to believe that the following identity holds:
$$
\frac{n!}{2\pi i}\oint_{|z-1|=\epsilon} \frac{z^{a-1} \mathrm{d}z}{(z^d-1)^{n+1}} = d^{-n-1}\prod_{j=1}^{n}\...
- 105k
3
votes
0
answers
646
views
On properties on a certain functional
Consider the following function:
$$F(z) = \omega(z)\sin^2\left(\frac{c\Gamma(z)}{z}\right)$$
Here, $\omega(z)$ is a weight we have to construct and $c$ is a constant.
The following three conditions ...
- 375
0
votes
0
answers
83
views
The loss of double periodicity (ellipticity)
Consider a meromorphic function $f(\mathfrak{a}_1, \mathfrak{a}_2)$, such that
$$
\begin{align}
f(\mathfrak{a}_1, \mathfrak{a}_2) = f (\mathfrak{a}_1 + 1, \mathfrak{a}_2) = f(\mathfrak{a}_1 + \tau, \...
- 857
3
votes
0
answers
65
views
How to find or approximate (e.g. using method of steepest descent ) integral?
Can you give any advice on how to find or approximate the following integral
$$
F(t,y) = \int_{0}^{y}\frac{i e^{-\frac{3 t^2 \left(x^2+1\right)}{2 \left(9 x^2+1\right)}-i \frac{4 t^2 x}{9 x^2+1}}}{\...
- 31
1
vote
0
answers
161
views
Justify $\int_0^\infty e^{-ax^2}\ \mathrm{d}x$ for complex $a$ and zero real part [closed]
(Reposted from math stack exchange)
I have searched and failed to find a rigorous proof showing that
$$\int_{0}^\infty e^{-ax^2}\ \mathrm{d}x = \frac{\sqrt{\pi}}{2\sqrt{a}}$$
is true for $\Re(a)=0$ ...
CommunityBot
- 1
4
votes
0
answers
73
views
Saddle point approximation for multiple contour integrals
General Question: Is there a reference where the saddle point approximation is applied to multiple contour integrals?
In particular, say we have the integral
$$ I_N = \frac{1}{(2\pi i)^N} \oint \left[\...
- 3,574
1
vote
0
answers
59
views
Extension to all dimensions of complex line integral
Let $\Gamma$ be a smooth curve in $\mathbb{C}^d$. Since $\mathbb{C}^d$ can be seen as $\mathbb{R}^{2d}$, one can define the line integral of functions $f:\Gamma\to \mathbb{C}$ using for instance ...
- 311
4
votes
1
answer
103
views
Deriving integral in Gaiotto-Tommasiello theory
I was looking at a paper by Takao Suyama on GT theory, and I couldn't figure out how he derived his formula (3.59):
$$\frac{1}{\pi}\int_a^bdx\frac{1}{z-x}\frac{\sqrt{(z-a)(z-b)}}{\sqrt{|(x-a)(x-b)|}}\...
- 161
0
votes
0
answers
266
views
Bounding the absolute value of a complex integral
I'm working on some problems involving Fourier transforms and convolution problems and there is one problem I cannot solve. In my situation we have a complex valued function $f(ix)$, with $x\in\mathbb{...
- 129
0
votes
0
answers
47
views
Oscillatory integral independent of a parameter
Let $h: \mathbb{R} \mapsto \mathbb{C}$ be a positive definite function, continuous at the origin. (In fact, $h$ is the Fourier transform of a finite measure). Define the oscillatory integral
$$Q(t) :=...
- 222
12
votes
1
answer
894
views
Newman's proof of the prime number theorem
I am teaching a graduate course in Complex Analysis and I am covering Newman's proof of the prime number theorem. I have been using the simplified version in the papers of
Zagier and Korevaar. However,...
- 28.2k
1
vote
0
answers
196
views
Asymptotic of a functional as $x\rightarrow \infty$
Consider the following functional :
$$
I(x,s) =\int_0^\infty\mathrm dy \frac{F(x + \mathrm iy, s) − F(x −\mathrm iy, s)}{\mathrm e^{2πy}-1},
$$
where $ F(z, s) = \dfrac{\sinh(\sin^2[π\Gamma(z)/(2z)])...
- 375
4
votes
3
answers
598
views
Meaning of divergent integrals
In quantum field theory, one usually encounters divergent integral when one calculates loop functions, such as the integral $\int_{0}^{\infty}dkk^{3}\frac{1}{(k^{2}-m^{2})^{2}}$ which is divergent. ...
- 10.3k
3
votes
2
answers
304
views
The integrals of things looking like $e^{(\frac{a}{z}+\frac{b}{z-c})}$ on closed contours
I have recently encountered a truely terrible integral which I need to compute. I am not sure it's doable but before throwing the whole project in the bin I thought I would ask here. At the moment, a ...
- 188k
3
votes
1
answer
223
views
Ratio of Selberg integral
I'm considering a ratio of incomplete Selberg integral:
$$f_n(a,b)=\frac{\int_{\Delta_a}\prod_{i=1}^nx_i^{\alpha-\frac{n+1}{2}}\prod_{i=1}^n(1-x_i)^{-1/2}\prod_{i<j}|x_i-x_j|}{\int_{\Delta_b}\prod_{...
- 109k