# Question about Complex limits of definite integrals

• I
• MAGNIBORO
In summary, the conversation discusses a formula for the gamma function and its applications for complex values of the variable a. The conversation also mentions the Cauchy's integral formula and residue theorem, which can be used to prove the formula for the gamma function.
MAGNIBORO
Hi, I see a formula of gamma function and i have a question.
(1) $$\Gamma (s) = \int_{0}^{\infty } e^{-x}\, x^{s-1} dx$$
(2) $$x=a\, n^{p} \rightarrow dx=ap\, n^{p-1}dn$$
(3) $$\frac{\Gamma (s)}{pa^{s}} = \int_{0}^{\infty } e^{-an^{p}}\, n^{ps-1} dn$$

i understand the formula but why works for complex values of a?
i mean the substitution in (2) is valid for ##a > 0## and ##p>0##
Because otherwise the upper limit would be ##\pm \infty \, i ## or ## \infty \ \pm \infty \, i ##
Depending on the value of a.

thanks

Let's define for all $-\frac{\pi}{2}<\theta<\frac{\pi}{2}$ a line
$$\gamma_{\theta} = \{\tau e^{i\theta}\;|\; \tau\in\mathbb{R},\;0\leq \tau\}$$
Do you know how to prove the formula
$$\int\limits_0^{\infty} e^{-x}x^{s-1}dx = \int\limits_{\gamma_{\theta}} e^{-z}z^{s-1}dz$$

jostpuur said:
Let's define for all $-\frac{\pi}{2}<\theta<\frac{\pi}{2}$ a line
$$\gamma_{\theta} = \{\tau e^{i\theta}\;|\; \tau\in\mathbb{R},\;0\leq \tau\}$$
Do you know how to prove the formula
$$\int\limits_0^{\infty} e^{-x}x^{s-1}dx = \int\limits_{\gamma_{\theta}} e^{-z}z^{s-1}dz$$
nope

By definition of an integral over a parameterized path the integral on right is the same as
$$\int\limits_{\gamma_{\theta}} e^{-z} z^{s-1} dz = \int\limits_0^{\infty} e^{-\tau e^{i\theta}} (\tau e^{i\theta})^{s-1} e^{i\theta} d\tau$$
which is roughly the same thing you were asking about. For this reason it would be better to speak about modifying the integration path than performing "a complex change of variables". There is some theorem that states how the change of variable works, but the theorem assumes that the change of variable happens with real parameters, so if you try to apply "a complex change of variables", you are not obeying the assumptions of the theorem.

Next question is that do you know what Cauchy's integral formula and residue theorem are? If not, you'll have to study complex analysis to learn about those. The formula I asked about can be proven with Cauchy's integral formula (or residue theorem).

jostpuur said:
By definition of an integral over a parameterized path the integral on right is the same as
$$\int\limits_{\gamma_{\theta}} e^{-z} z^{s-1} dz = \int\limits_0^{\infty} e^{-\tau e^{i\theta}} (\tau e^{i\theta})^{s-1} e^{i\theta} d\tau$$
which is roughly the same thing you were asking about. For this reason it would be better to speak about modifying the integration path than performing "a complex change of variables". There is some theorem that states how the change of variable works, but the theorem assumes that the change of variable happens with real parameters, so if you try to apply "a complex change of variables", you are not obeying the assumptions of the theorem.

Next question is that do you know what Cauchy's integral formula and residue theorem are? If not, you'll have to study complex analysis to learn about those. The formula I asked about can be proven with Cauchy's integral formula (or residue theorem).
I studied something on the subject But I do not quite understand it, I know that a complex integral Can be "separated" in the cauchy main value and on the path that follows the integral, so the trick Was to show that the path of the integral is 0, so the principal value and the complex integral are the same, the reason why the change of variable is right is because something like that?

No, this is not related to principal value stuff. By Cauchy's integral formula and residue theorem I meant these:

https://en.wikipedia.org/wiki/Cauchy's_integral_formula

https://en.wikipedia.org/wiki/Residue_theorem

I see that mentioning the Cauchy's integral formula was slightly confusing because there is no pole in sight in your problem, but anyway, of course Cauchy's integral formula is related in the sense that the residue theorem is based on it. In your problem we are going to apply the residue theorem in the special case that no poles are present, the value of the integral over a closed loop is going to be zero.

Was there a special name for a result that the value of a complex integral is zero, if there are no poles enclosed? I don't remember it anymore, if there was.

The formula
$$z\mapsto e^{-z}e^{(s-1)\log(z)}$$
defines a complex analytic function on the set $\mathbb{C}\setminus\;]-\infty,0]$ when we use the branch of logarithm that is continuous elsewhere but not on the line $]-\infty,0]$.

For simplicity, now we'll assume $0<\theta<\frac{\pi}{2}$. We'll define a loop that consist of three pieces by setting
$$\gamma^{\textrm{arc}}_{\theta,R} = \big\{Re^{i\varphi}\;\big|\; 0\leq \varphi\leq\theta\big\}$$
and
$$\gamma^{\textrm{line}}_{\theta,R} = \big\{\tau e^{i\theta}\;\big|\; 0\leq \tau\leq R\big\}$$

The residue theorem will imply that
$$\int\limits_{[0,R]\cup \gamma^{\textrm{arc}}_{\theta,R}\cup \gamma^{\textrm{line}}_{\theta,R}} e^{-z}z^{s-1}dz = 0$$
because there are no poles enclosed by this loop. The integral is the same as
$$\int\limits_0^R e^{-x}x^{s-1}dx + \int\limits_0^{\theta} e^{-Re^{i\varphi}}(Re^{i\varphi})^{s-1} iRe^{i\varphi} d\varphi - \int\limits_0^R e^{-\tau e^{i\theta}} (\tau e^{i\theta})^{s-1} e^{i\theta} d\tau$$

Then you'll have to figure out a way to prove that the integral over the arc part goes to zero in the limit $R\to\infty$.

MAGNIBORO
thanks , even if i don't understand completely I know that the integral on a closed curve without poles is 0 so I got an idea of the general concept =D

## 1. What is a complex limit?

A complex limit is the value that a function approaches as the independent variable approaches a given point in the complex plane.

## 2. How is a complex limit different from a real limit?

Unlike real limits, which only consider values on the real number line, complex limits consider values on the entire complex plane.

## 3. Can definite integrals have complex limits?

Yes, definite integrals can have complex limits. In fact, many real-world applications involve definite integrals with complex limits.

## 4. What is the relationship between complex limits and definite integrals?

The complex limit of a definite integral is the same as the limit of a function evaluated at a specific point. In other words, the complex limit of a definite integral is the same as the value of the function at the given point.

## 5. How can complex limits of definite integrals be evaluated?

Evaluating complex limits of definite integrals involves using techniques such as substitution, integration by parts, and other methods commonly used in calculus. It is important to consider the properties of complex numbers and their implications when evaluating complex limits of definite integrals.

Replies
16
Views
3K
Replies
5
Views
1K
Replies
3
Views
1K
Replies
1
Views
2K
Replies
2
Views
1K
Replies
1
Views
1K
Replies
8
Views
2K
Replies
4
Views
2K
Replies
6
Views
2K
Replies
8
Views
1K