Is the Integral of (x-2)^3 from 0 to 4 Undefined?

  • Context: MHB 
  • Thread starter Thread starter Petrus
  • Start date Start date
  • Tags Tags
    Existence Integral
Click For Summary

Discussion Overview

The discussion revolves around the integral $$\int_0^4 \frac{dx}{(x-2)^3}$$ and whether it is defined given the singularity at x=2. Participants explore the implications of this singularity on the existence of the integral, considering various mathematical approaches and interpretations.

Discussion Character

  • Debate/contested
  • Mathematical reasoning

Main Points Raised

  • Some participants argue that the integral does not exist due to the singularity at x=2, suggesting that the integral diverges.
  • Others propose a substitution method, transforming the integral into $$I= \int_{-2}^{2} \frac{d u}{u^{3}}$$ and discussing the implications of this transformation.
  • A participant mentions that both parts of the transformed integral diverge, leading to the conclusion that the original integral diverges as well.
  • Some participants suggest that the integral could be evaluated using limits, leading to a potential conclusion of 0, but express uncertainty about the validity of this approach.
  • There is a discussion about the conditions under which an integral is considered convergent or divergent, particularly in the presence of discontinuities.
  • References to the Hilbert Transform and its implications for the integral are made, with some participants arguing that the integral can be treated as convergent under certain conditions.
  • Concerns are raised about the appropriateness of treating divergent integrals as cancelling out to yield a finite result.

Areas of Agreement / Disagreement

Participants do not reach a consensus on whether the integral is defined or not. Multiple competing views remain regarding the treatment of the singularity and the evaluation of the integral.

Contextual Notes

Participants express various assumptions about the behavior of the integral near the singularity and the implications of different mathematical techniques. The discussion highlights the complexity of defining integrals in the presence of singularities and the potential for divergent behavior.

Petrus
Messages
702
Reaction score
0
Hello MHB,

Integrate $$\int_0^4 \frac{dx}{(x-2)^3}$$
We are suposed to integrate when x goes from zero to 4 but when x is 2 the integration does not exist so the integrate does not exist as well?

Regards,
$$|\pi\rangle$$
 
Physics news on Phys.org
Re: integrate

Petrus said:
Hello MHB,

Integrate $$\int_0^4 \frac{dx}{(x-2)^3}$$
We are suposed to integrate when x goes from zero to 4 but when x is 2 the integration does not exist so the integrate does not exist as well?

Regards,
$$|\pi\rangle$$

A very interesting question!... for semplicity sake we set $x-2=u$ and the integral becomes $\displaystyle I= \int_{-2}^{2} \frac{d u}{u^{3}}$. Now, because the function has a singularity in u=0, we write...

$\displaystyle I= \int_{-2}^{2} \frac{d u}{u^{3}} = \int_{-2}^{0} \frac{d u}{u^{3}} + \int_{0}^{2} \frac{d u}{u^{3}}$ (1)

Very well!... now we are in front of a crossroads...

a) each integral in (1) diverges, so that the whole integral diverges...

b) the (1) can be written as...

$\displaystyle I = \lim_{\varepsilon \rightarrow 0} (\int_{-2}^{-\varepsilon} \frac{d u}{u^{3}} + \int_{\varepsilon}^{2} \frac{d u}{u^{3}}) = 0$ (2)

How to choose between a) and b)?... another interesting question!...

Kind regards

$\chi$ $\sigma$
 
Re: integrate

Suppose $f$ is continuous on an interval $I$ , then we can conclude that $f $is integrable that means $$\int_I f(x)dx $$ exists or finite . Now , suppose that $ f $ is not continuous on $I$ , unfortunately we can not conclude the integral does not exist.
 
Re: integrate

chisigma said:
A very interesting question!... for semplicity sake we set $x-2=u$ and the integral becomes $\displaystyle I= \int_{-2}^{2} \frac{d u}{u^{3}}$. Now, because the function has a singularity in u=0, we write...

$\displaystyle I= \int_{-2}^{2} \frac{d u}{u^{3}} = \int_{-2}^{0} \frac{d u}{u^{3}} + \int_{0}^{2} \frac{d u}{u^{3}}$ (1)

Very well!... now we are in front of a crossroads...

a) each integral in (1) diverges, so that the whole integral diverges...

b) the (1) can be written as...

$\displaystyle I = \lim_{\varepsilon \rightarrow 0} (\int_{-2}^{-\varepsilon} \frac{d u}{u^{3}} + \int_{\varepsilon}^{2} \frac{d u}{u^{3}}) = 0$ (2)

How to choose between a) and b)?... another interesting question!...

Kind regards

$\chi$ $\sigma$
This was my thinking
integrate means that we calculate area, and if we 'imagine' the graph we se at x=2 the negative way will go to -infinity and positive way will go to positive infinity and I also made that substitute as you made and end with answer 0. Then I don't know what to choose and why?

Regards,
$$|\pi\rangle$$
 
Re: integrate

chisigma said:
Very well!... now we are in front of a crossroads...

There is no crossroads. If $f:[a,b]\to\mathbb{R}$ is continuos except at $c\in (a,b)$ with infinite discontinuity then, by definition $\int_a^bf$ is convergent if and only if $\int_a^cf$ and $\int_c^bf$ are both convergent. If $\int_a^bf$ is convergent, we define $$\int_a^bf=\int_a^cf+\int_a^cf$$
 
Re: integrate

chisigma said:
A very interesting question!... for semplicity sake we set $x-2=u$ and the integral becomes $\displaystyle I= \int_{-2}^{2} \frac{d u}{u^{3}}$. Now, because the function has a singularity in u=0, we write...

$\displaystyle I= \int_{-2}^{2} \frac{d u}{u^{3}} = \int_{-2}^{0} \frac{d u}{u^{3}} + \int_{0}^{2} \frac{d u}{u^{3}}$ (1)

Very well!... now we are in front of a crossroads...

a) each integral in (1) diverges, so that the whole integral diverges...

b) the (1) can be written as...

$\displaystyle I = \lim_{\varepsilon \rightarrow 0} (\int_{-2}^{-\varepsilon} \frac{d u}{u^{3}} + \int_{\varepsilon}^{2} \frac{d u}{u^{3}}) = 0$ (2)

How to choose between a) and b)?... another interesting question!...
The problem with b) is that the same $\varepsilon$ is used for both limits. It would be better to write $\displaystyle I = \lim_{\varepsilon \rightarrow 0} \int_{-2}^{-\varepsilon} \frac{d u}{u^{3}} + \lim_{\delta \rightarrow 0} \int_{\delta}^{2} \frac{d u}{u^{3}}$. Both those integrals diverge, one to $-\infty$ and the other to $+\infty$, but it is not appropriate to think of the difference as cancelling out to $0$. So we are led back to conclusion a).
 
Re: existence of Integral

The choice of alternative a) is quite 'obvious' but there are several cases of 'implicit choice' of the alernative b). In almost all the Fourier Transform tables is written that...

$\displaystyle \mathcal{F} \{\frac{1}{\pi\ t}\} =\begin{cases}-i &\text{if}\ \omega>0\\ 0 &\text{if}\ \omega=0\\ i &\text{if}\ \omega<0 \end{cases}$ (1)

The (1) is the basis of the so called 'Hilbert Transform', a powerful algorithm that I have used several times in pratical applications. If we write explicity the integral we find...

$\displaystyle \mathcal{F} \{\frac{1}{\pi\ t}\} = \int_{- \infty}^{+ \infty} \frac{e^{- i\ \omega\ t}}{\pi\ t}\ dt = \int_{- \infty}^{+ \infty} \frac{\cos \omega\ t}{\pi\ t}\ dt - i\ \int_{- \infty}^{+ \infty} \frac{\sin \omega\ t}{\pi\ t}\ dt$ (2)

Now if we observe (2) it is evident that the real part of the F.T. is an integral that, on the basis of alternative a) is divergent but in fact, according to alternative b), converges to 0...

Kind regards

$\chi$ $\sigma$
 
Re: existence of Integral

What you write comes down to the question of the convergence of:

$$\int_{- \infty}^{+ \infty} \frac{\cos \omega\ t}{\pi\ t}\ dt$$
 
Last edited by a moderator:
Re: existence of Integral

zzephod said:
What you write comes down to the question of the convergence of:

$$\int_{- \infty}^{+ \infty} \frac{\cos \omega\ t}{\pi\ t}\ dt$$

Exactly!... The real part of $\mathcal{F}\ \{\frac{1}{\pi\ t}\}$ is...

$\displaystyle R = \int_{- \infty}^{+ \infty} \frac{\cos \omega t}{\pi\ t}\ dt$ (1)

... and, for the validity of the Hilbert Transform algorithm, it is 'requested' to be 0. Of course that's true only if we compute (1) as...

$\displaystyle R = \lim_{\varepsilon \rightarrow 0} (\int_{- \infty}^{- \varepsilon} \frac{\cos \omega t}{\pi\ t}\ dt + \int_{+ \varepsilon}^{+ \infty} \frac{\cos \omega t}{\pi\ t}\ dt) = 0$ (2)

I used the H.T. algorithm in several TC designs and one of them is protected by patent, so that I would be very 'unhappy' if the theoretical basis of the H.T. would 'founder' (Wasntme)...

Kind regards

$\chi$ $\sigma$
 
  • #10
Re: existence of Integral

chisigma said:
Exactly!... The real part of $\mathcal{F}\ \{\frac{1}{\pi\ t}\}$ is...

$\displaystyle R = \int_{- \infty}^{+ \infty} \frac{\cos \omega t}{\pi\ t}\ dt$ (1)

... and, for the validity of the Hilbert Transform algorithm, it is 'requested' to be 0. Of course that's true only if we compute (1) as...

$\displaystyle R = \lim_{\varepsilon \rightarrow 0} (\int_{- \infty}^{- \varepsilon} \frac{\cos \omega t}{\pi\ t}\ dt + \int_{+ \varepsilon}^{+ \infty} \frac{\cos \omega t}{\pi\ t}\ dt) = 0$ (2)

I used the H.T. algorithm in several TC designs and one of them is protected by patent, so that I would be very 'unhappy' if the theoretical basis of the H.T. would 'founder' (Wasntme)...

Kind regards

$\chi$ $\sigma$

I thought I had deleted that!

Singular FTs are defined rather differently and we only pretend (for the benefit of engineers and physicists) that the Fourier integral defines their transform.

.
 
  • #11
Re: existence of Integral

zzephod said:
Singular FTs are defined rather differently and we only pretend (for the benefit of engineers and physicists) that the Fourier integral defines their transform...

A suggestion I give to the people speacking in terms of 'benefit for engineers and physicists' is to read the introduction of...

Hilbert transform - Wikipedia, the free encyclopedia

In mathematics and in signal processing, the Hilbert transform is a linear operator which takes a function u(t) and produces a function H{u(t)} with the same domain. The Hilbert transform is named after David Hilbert who first introduced the operator in order to solve a special case of the Riemann-Hilbert for holomorphic functions... David Hilbert... certainly not a second level mathematician!(Wasntme)... Kind regards $\chi$ $\sigma$
 
  • #12
Re: integrate

By definition that's the Cauchy principal value of the integral. If an integral converges, it shouldn't matter how you take the limit.
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 27 ·
Replies
27
Views
2K
  • · Replies 20 ·
Replies
20
Views
4K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 4 ·
Replies
4
Views
4K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 12 ·
Replies
12
Views
3K