Skip to main content

All Questions

Filter by
Sorted by
Tagged with
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 ...
zoran  Vicovic's user avatar
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 \...
zoran  Vicovic's user avatar
-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
Ryo Ken's user avatar
  • 113
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 ...
Khadija Mbarki's user avatar
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}^{\...
qifeng618's user avatar
  • 1,091
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 ...
Synia's user avatar
  • 593
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) ...
yfful's user avatar
  • 25
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{...
gdvdv's user avatar
  • 11
-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 ...
Anixx's user avatar
  • 10.1k
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 ...
kris001's user avatar
  • 21
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 ...
Martin.s's user avatar
  • 224
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 ...
pie's user avatar
  • 541
3 votes
2 answers
645 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 ...
user512026's user avatar
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 ...
Fei Cao's user avatar
  • 730
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)^{\...
Hampus Nyberg's user avatar
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....
Joshua Stucky's user avatar
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{ ...
Mathlover's user avatar
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 $...
Ali's user avatar
  • 4,125
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$. ...
Caleb Briggs's user avatar
  • 1,730
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?$$
Ali's user avatar
  • 4,125
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\...
David's user avatar
  • 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)...
zoran  Vicovic's user avatar
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 ...
Manuel Eberl's user avatar
  • 1,241
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)....
Néstor González Gracia's user avatar
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}...
Eduardo's user avatar
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 (...
TPC's user avatar
  • 774
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} \...
NuKuYul's user avatar
  • 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$....
physicsphd's user avatar
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$?
TPC's user avatar
  • 774
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, \...
Lelouch's user avatar
  • 857
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 ...
Talmsmen's user avatar
  • 547
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}}}{\...
InchyChyn's user avatar
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$ ...
user avatar
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[\...
motherboard's user avatar
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 ...
Chris's user avatar
  • 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)|}}\...
arow257's user avatar
  • 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{...
seaver's user avatar
  • 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) :=...
zab's user avatar
  • 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,...
Gio67's user avatar
  • 411
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)])...
bambi's user avatar
  • 375
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 ...
bambi's user avatar
  • 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. ...
physicist3454's user avatar
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 ...
R Mary's user avatar
  • 979
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{\...
jonathan wolf's user avatar
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_{...
neverevernever's user avatar
0 votes
0 answers
43 views

integrating multivariable rational function over a product of disks

Suppose I have a rational function of $k$ complex variables: $$ R(x_1,...,x_k) = P(x_1,...,x_k)/Q(x_1,...,x_k) $$ where $P$ and $Q$ are polynomials. Now I'd like to compute the integral of this ...
user6013's user avatar
  • 169
2 votes
1 answer
359 views

Defining integrals by residue theorem

I have always been interested in alternative definitions of mathematical objects. I wonder if one can craft an useful definition of definite integral by using the Residue Theorem from complex analysis....
Penchez's user avatar
  • 341
0 votes
1 answer
262 views

Solving or bounding the real part of the integral $\int_0^{2 \pi i m} \frac{e^{-t}}{t-a} dt$

I would be interested in finding a closed form or, at least, bounding (in terms of $m$ as it becomes larger) the real part of the following itnegral: $$f(m,a):=\int_0^{2 \pi i m} \frac{e^{-t}}{t-a} ...
user3141592's user avatar
1 vote
1 answer
756 views

An integral involving the argument of the Gamma function and the Riemann Hypothesis

Evaluate $$I=\int_{0}^{\infty} \frac{t\arg \Gamma(\frac{1}{4}+\frac{it}{2})}{(\frac{1}{4}+t^2)^2}\mathrm{d}t$$ where $\Gamma(s)=\int_{0}^{\infty}e^{-x}x^{s-1}\mathrm{d}x.$ Note that $I$ converges ...
OneTwoOne's user avatar
  • 105
1 vote
0 answers
69 views

How to fix multi-valued function on contour?

I am sorry to ask such an embarrassingly simple question here. My question is about contour integral of the multivalude function. I want to calculate the Fourier transformation of a muti-valued ...
Craig Thone's user avatar