Challenging Integrals in Calculus 1-2: Expand Your Problem-Solving Skills!

  • Context: Undergrad 
  • Thread starter Thread starter pakmingki
  • Start date Start date
  • Tags Tags
    Hard Integrals
Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
194 replies · 208K views
JohnDuck said:
Improper integrals such as:

[tex]\int_{a}^{\infty} f(x)dx[/tex]

are defined as such:

[tex]\lim_{b\rightarrow \infty} \int_{a}^{b} f(x)dx = \lim_{b\rightarrow \infty} F(b) - F(a)[/tex]

where F(x) is the antiderivative of f(x). If you don't understand how to take limits of functions at infinity, you should probably read up on limits again. Most calculus texts have a brief section on limits, and any introductory real analysis text certainly covers the topic thoroughly.
Sorry, I must have mis-worded myself. I meant that I don't understand how trigonometric functions can be evaluated as their inside approaches infinity. The function oscillates between 1 and -1, and never converges. I'm assuming that the Fundamental Theorem cannot be used here befause [tex]\lim_{x\rightarrow\infty} 2xcos(x^2)[/tex] (2xcos(x^2) is the anti-derivative of the starting function) cannot be evaluated, so it seems.
 
Physics news on Phys.org
DyslexicHobo said:
Sorry, I must have mis-worded myself. I meant that I don't understand how trigonometric functions can be evaluated as their inside approaches infinity. The function oscillates between 1 and -1, and never converges. I'm assuming that the Fundamental Theorem cannot be used here befause [tex]\lim_{x\rightarrow\infty} 2xcos(x^2)[/tex] (2xcos(x^2) is the anti-derivative of the starting function) cannot be evaluated, so it seems.

That's actually not the antiderivative of [itex]\sin{x^{2}}[/itex]. You're right in that, for example, [itex]\lim_{x\rightarrow \infty} \sin{x}[/itex] doesn't converge in the real numbers. This can be proven pretty easily. However, depending on the function inside of sine, it may converge. Consider [itex]\lim_{x\rightarrow \infty} \sin{\frac{1}{x}}[/itex]--it converges to 0.

Edit: My gut says that [itex]\sin{x^{2}}[/itex] has no elementary antiderivative, but I'm not sure how one might prove or disprove this.
 
Last edited:
Well by integrating the Taylor series of sin(x^2) term by term we get:

[tex]\sum_{n=1}^{\infty} (-1)^{n+1} \frac{x^{4n-1}}{(4n-1)(2n+1)!}[/tex]

which one could recognize as [tex]\sqrt{\frac{\pi}{2}}S\left(\sqrt{\frac{2}{\pi}}x\right)[/tex]

where [tex]S(u)=\int^u_0 \sin \left(\frac{1}{2} \pi x^2\right) dx[/tex].

As S(u) is not an elementary function, we have proved [itex]\sin x^2[/itex] has no elementary derivative.
 
Last edited:
Reply
  • Like
Likes   Reactions: Aritro Biswas
Gib Z said:
Well by integrating the Taylor series of sin(x^2) term by term we get:

[tex]\sum_{n=1}^{\infty} (-1)^{n+1} \frac{x^{4n-1}}{(4n-1)(2n+1)!}[/tex]

which one could recognize as [tex]\sqrt{\frac{\pi}{2}}S\left(\sqrt{\frac{2}{\pi}}x\right)[/tex]

where [tex]S(u)=\int^u_0 \sin \left(\frac{1}{2} \pi x^2\right) dx[/tex].

As S(u) is not an elementary function, we have proved [itex]\sin x^2[/itex] has no elementary anti-derivative.

Isn't that a sort of circular argument? If u assume S(u)=integral of sin(cx^2), where c=pi/2 does not have a closed form answer, aren't u also implicitly assuming that the integral of sin(x^2), the case where c=1, also does not have a closed form answer? I was under the impression that changing constants doesn't really affect integrability, only changing the variables that u are integrating with respect to would. I think that proving that something is not integratable would involve much more complicated arguments. This is just my opinion though. My attempt at saying something is not integrable would rely on the well known fact that e^-ix^2 has no closed form integral, and since the sum of the integral of isin(x^2) and cos(x^2) equals the integral of e^-ix^2, if a closed form integral did exist for sin(x^2), then one must also exist for cos(x^2) (since the cosine function is just a shifted sine function), which means a closed form integral exists for e^-ix^2, which is a contradiction.
 
Last edited:
Thats what a lot of non-elementary functions are :) Functions invented with the pure purpose of being the antiderivative of something that otherwise wouldn't have one. eg The Error function, of SI(x)
 
yip said:
Try [tex]\int{\frac{(1+x^{2})dx}{(1-x^{2})\sqrt{1+x^{4}}}}[/tex]
(forgot to put the integral sign in, it is now fixed)
is this a Calc 1 or 2 problem?
 
HallsofIvy said:
I would consider it Calc II.
i thought so, because i didn't have a prob like that in Calc 1 ... I'm dying to know though, lol :smile:
 
I much more interesting integral is,
[tex]\int_0^{\infty} \cos x^k dx = \cos \frac{\pi}{2k} \cdot \Gamma [(k+1)/k][/tex]
And,
[tex]\int_0^{\infty} \sin x^k dx = \sin \frac{\pi}{2k} \cdot \Gamma [(k+1)/k][/tex]

-Wolfgang
 
Last edited:
Gib Z said:
[tex]\int^{1}_0 \frac{\log_e (1+x)}{x} dx[/tex]. Quite an interesting one that someone gave to me. Nice Solution :)

[tex]I=\int^1_0 \frac{\log(1+x)}{x}\,dx = \int^1_0 \frac{1}{x}\sum_{i=1}^{\infty}\frac{x^i(-1)^{i+1}}{i}[/tex]

[tex]=\int_1^0 \left( 1 - \frac{x}{2} + \frac{x^2}{3} - \ldots \right)\,dx = 1 - \frac{1}{2^2} + \frac{1}{3^2} - \ldots[/tex]

Using

[tex]\sum_{n=1}^{\infty} \frac{1}{n^2}=\frac{\pi^2}{6}[/tex]

also gives:

[tex]\sum_{n=1}^{\infty} \frac{1}{(2n)^2}=\frac{\pi^2}{24}[/tex]
[tex]\sum_{n=0}^{\infty} \frac{1}{(2n+1)^2}=\frac{\pi^2}{8}[/tex]

finally the desired sum above converges absolutely so we can re-arrange and separate out the +ve and -ve terms giving:

[tex]I=\pi^2/8 - \pi^2/24 = \pi^2/12[/tex]
 
[tex]\sqrt tan(x)[/tex] can't be reduced to Rational functions or known functions
 
Reply
  • Like
Likes   Reactions: Govindkumar
Kummer said:
I much more interesting integral is,
[tex]\int_0^{\infty} \cos x^k dx = \cos \frac{\pi}{2k} \cdot \Gamma [(k+1)/k][/tex]
And,
[tex]\int_0^{\infty} \sin x^k dx = \sin \frac{\pi}{2k} \cdot \Gamma [(k+1)/k][/tex]

-Wolfgang

[tex]I=\int_0^\infty \exp\left( -i x^k \right)[/tex]

Substituting:

[tex]u=ix^k[/tex]
[tex]x\frac{du}{dx}=kix^k=ku[/tex]

[tex]I=\left( \int_0^\infty \exp(-u)u^{1/k-1} \right) \frac{(-i)^{1/k}}{k}[/tex]

[tex]=\frac{1}{k}\Gamma[\frac{1}{k}]\exp\left( \frac{-i\pi}{2k}\right) = \Gamma[(k+1)/k]\exp\left( \frac{-i\pi}{2k}\right)[/tex]

Comparing Real and Imag parts gives the desired relations.
 
Last edited:
Reply
  • Like
Likes   Reactions: Aritro Biswas
ansrivas, nice solutions :) Both are quite correct, of course.

And Klaus, I'm sure you will find that [itex]\int \sqrt{ \tan x}[/itex] is quite possible to do, and is expressible with trig, inverse trig and log functions. The solution can be seen on the integrator, http://integrals.wolfram.com/index.jsp.

If you wish to know how to derive the answer, its quite easy stuff, just takes a lot of time.

After letting tan x = u², u convert it to [tex]2\int \frac{u^2}{1+u^4} du[/tex]. Complete the square at the bottom to get (u²+1)²-2u² = [tex](u^2-u\sqrt{2}+1)(u^2+u\sqrt{2}+1)[/tex]. Your integral becomes [tex]\int \frac{u^2}{(u^2-u\sqrt{2}+1)(u^2+u\sqrt{2}+1)} du[/tex].

By partial fractions, [tex]\frac{u^2}{(u^2-u\sqrt{2}+1)(u^2+u\sqrt{2}+1)} = \frac{Au+B}{u^2+u\sqrt{2}+1} + \frac{Cu+D}{u^2-u\sqrt{2}+1}[/tex]. Compare coefficients on both sides to get A=[tex]-\frac{1}{2\sqrt{2}}[/tex], C=[tex]\frac{1}{2\sqrt{2}}[/tex] and B=D=0.

After that, manipulate the integral by factorization, completing the square and expressing the result in terms of ln and [tex]\tan^{-1}[/tex], finally u get the answer [tex]\frac{\sqrt{2}}{8} ln \frac{u^2-u\sqrt{2}+1}{u^2+u\sqrt{2}+1} + \frac{\sqrt{2}}{4} \tan^{-1} (u\sqrt{2}-1) - \tan^{-1} (u\sqrt{2}+1) + C[/tex]. The last step is to convert u back to original variable x using the relation u² = tan x and u get your answer in terms of x.
 
Last edited:
Reply
  • Like
Likes   Reactions: Ladino Lagrange and CollinsArg
Gib z cleared this up,but I'll add

Klaus_Hoffmann said:
[tex]\sqrt tan(x)[/tex] can't be reduced to Rational functions or known functions

sqrt tan(x) is a know function aqt least I know of it.
If you mean the antiderivative or primative there of I will let you know that indefinite integrals of Sqrt tan(x), 1/sqrt tan(x), and curt tan(x) are well known. They are at the level of a first course in calculus except for such courses avoiding messy algebra.

We did it here
https://www.physicsforums.com/showthread.php?p=771121#post771121
where
lurflurf said:
[tex]\int \sqrt{\tan(x)}dx=\int\frac{\sec^2(x)}{1+\tan^2(x)}\sqrt{\tan(x)}dx=\int\frac{2\tan(x)}{1+\tan^2(x)}d\sqrt{\tan(x)}[/tex]
so it hinges on the always fun
[tex]\int\frac{x^2}{1+x^4}dx[/tex]
 
Another interesting integral I remember from one of Feynman popular book is

[tex]\int_0^\pi \log\left( 1-2\alpha \cos x + \alpha^2 \right) dx[/tex]

However, I can't recall it at all now. I remember it was the same trick as that used to find the definite integral of the sinc function (differentiate a definite integral with some parameter and form a simpler differential equation).

Any ideas?
 
Let
[tex]I=\int_{0}^{\pi}log(1-2\alpha cosx+\alpha^{2})dx[/tex]
[tex]\frac{dI}{d\alpha}=\int_{0}^{\pi}\frac{-2cosx+2\alpha}{1-2\alpha cosx+\alpha^{2}}[/tex]
[tex]=\frac{1}{\alpha}\int_{0}^{\pi}(1-\frac{1-\alpha^{2}}{1-2\alpha cosx+\alpha^{2}})[/tex]
[tex]=\frac{\pi}{\alpha}-\frac{1}{\alpha}\int_{0}^{\pi}\frac{1-\alpha^{2}}{1+\alpha^{2}-2\alpha\frac{1-tan^{2}\frac{x}{2}}{1+tan^{2}\frac{x}{2}}}[/tex]
[tex]=\frac{\pi}{\alpha}-\frac{2}{\alpha}\int_{0}^{\pi}\frac{1}{2}\frac{\frac{1+\alpha}{1-\alpha}sec^{2}\frac{x}{2}}{1+\frac{(1+\alpha)^{2}}{(1-\alpha)^{2}}tan^{2}\frac{x}{2}}[/tex]
[tex]=\frac{\pi}{\alpha}-\frac{2}{\alpha}[tan^{-1}[(\frac{1+\alpha}{1-\alpha})tan\frac{x}{2}]]_{0}^{\pi}[/tex]
[tex]=\frac{\pi}{2}[/tex]when [tex]-1<\alpha<1[/tex], [tex]-\frac{\pi}{2}[/tex]when [tex]\alpha<-1, \alpha>1[/tex]
When [tex]-1<\alpha<1, \frac{dI}{d\alpha}=0[/tex] so I=k, where k is a constant
Letting [tex]\alpha=0, I=0, so I=0 (-1<\alpha<1)[/tex]
When [tex]\alpha<-1, \alpha>1, \frac{dI}{d\alpha}=\frac{2\pi}{\alpha}, I=2\pi log(\alpha)+C[/tex] where C is a constant. To determine the constant, a value greater than 1 or less than 1 must be substituted, but this is rather messy, so let [tex]\alpha=\frac{1}{\beta}[/tex] where [tex]-1<\beta<1[/tex]
[tex]I=\int_{0}^{\pi}log(1-\frac{2}{\beta} cosx+\frac{1}{\beta^{2}})<br /> =\int_{0}^{\pi}log(1-2\beta cosx+\beta^{2})+log(\frac{1}{\beta^{2}})dx[/tex]
Since we already evaluated the integral when the parameter was between -1 and 1, and found the constant to be 0, likewise, the constant must also be 0 in the above case

When [tex]\alpha=1, I=\int_{0}^{\pi}log(2-2cosx)dx=\int_{0}^{\pi}log(4sin^{2}\frac{x}{2})dx[/tex]
[tex]=\pi log4+4\int_{0}^{\frac{\pi}{2}}sinydy,[/tex]where[tex]y=\frac{x}{2}[/tex]
[tex]\int_{0}^{\frac{\pi}{2}}sinydy=\int_{0}^{\frac{\pi}{2}}cosydy[/tex]
[tex]2\int_{0}^{\frac{\pi}{2}}sinydy=\int_{0}^{\frac{\pi}{2}}log(\frac{sin2y}{2})=\int_{0}^{\frac{\pi}{2}}log(\frac{sin2y})-log2[/tex]
Since [tex]\int_{0}^{\frac{\pi}{2}}log(sin2y)dy=\frac{1}{2}\int_{0}^{\frac{\pi}{2}}log(sinz)dz[/tex]
[tex]=2\int_{0}^{\frac{\pi}{2}}log(sinz)dz, I=\pi log4-4\frac{\pi}{2}log2=0[/tex]
It can be seen that the exact same working applies when [tex]\alpha=-1[/tex]so finally
[tex]I=2\pi log(\alpha^{2})[/tex] when [tex](\alpha<-1, \alpha>1)[/tex] and 0 when [tex](-1\le\alpha\le1)[/tex]
 
Last edited:
Thanks yip. I was stumped on that one for some time.
 
For [itex]|u| < 1[/itex],

[tex]\log (1-2u \cos x + u^2) = -2 \sum_{n=1}^{\infty} \frac{u^n}{n} \cos nx[/tex]

Therefore:

[tex]\int^{\pi}_0 \log (1-2u \cos x + u^2)= 2\pi \log |u| \\ \mbox{if} |u| > 1, \\ \mbox{ 0 otherwise}[/tex]
 
Hii,

I found that this topic about calculus is really interesting..
I suggest that we could continue this topic, of course with some new problems. Besides, anyone who could do the integration should put the solution, except the one who purpose the question itself. So, we can improve our skill together. How ?? I hope that everyone have the same thought. Hehe.
Thanks.
 
yip said:
For that integral, i think u have to use the partial fraction theorem that involves derivatives, as there is trigonometric terms in the primitive of that function. Here is how I did the second integral, since u asked, the trick is to apply euler's theorem:

[tex]e^{-ix^{2}}=cosx^{2}-isinx^{2}[/tex]
[tex]\int_{0}^{\infty}e^{-ix^{2}}dx=\int_{0}^{\infty}cosx^{2}dx-i\int_{0}^{\infty}sinx^{2}dx[/tex]
It is known that [tex]\int_{0}^{\infty}e^{-x^{2}}dx=\frac{\sqrt{\pi}}{2}[/tex]
[tex]\int_{0}^{\infty}e^{-ix^{2}}dx=\frac{\sqrt{\pi}}{2\sqrt{i}}[/tex]
[tex]\frac{1}{\sqrt{i}}=\frac{1-i}{\sqrt{2}}[/tex]
[tex]\int_{0}^{\infty}e^{-ix^{2}}dx=\frac{1}{2}\sqrt{\frac{\pi}{2}}(1-i)[/tex]
[tex]\int_{0}^{\infty}sinx^{2}dx=I\int_{0}^{\infty}e^{-ix^{2}}dx=\frac{1}{2}\sqrt{\frac{\pi}{2}}[/tex]

This is oversimplifying the proof. The usual trick where gaussian integral is calculated as a square root of the two dimensional gaussian integral, gives the equation
[tex] \int\limits_{-\infty}^{\infty} e^{-(A+iB)x^2}dx = \sqrt{\frac{\pi}{A+iB}}[/tex]
in which A and B are real, only when [itex]A > 0[/itex]. (The square root is the one that is continuous on set [itex]\{z\in\mathbb{C}\;|\; \textrm{Re}(z)>0\}[/itex], and that agrees with the positive square root on real axis.) If [itex]A=0[/itex], then the substitution [itex]r=\infty[/itex] does not converge in the two dimensional integral, and thus the result is not trivially the same.

However, the Leibniz's rule of alternating series can be used to show that integrals
[tex] \int\limits_{0}^{\infty}\cos(x^2)dx[/tex]
and
[tex] \int\limits_{0}^{\infty}\sin(x^2)dx[/tex]
converge towards something, and thus the integral
[tex] \int\limits_{-\infty}^{\infty} e^{ix^2}dx[/tex]
also exists. If we know that the integral is a continuous function of the coefficient in the exponent, then this is all done, but I never bothered actually try to figure out how the continuity could be proven. If it can be done nicely, feel free to mention how.
 
Last edited:
jostpuur said:
However, the Leibniz's rule of alternating series can be used to show that integrals
[tex] \int\limits_{0}^{\infty}\cos(x^2)dx[/tex]
and
[tex] \int\limits_{0}^{\infty}\sin(x^2)dx[/tex]
converge towards something, and thus the integral
[tex] \int\limits_{-\infty}^{\infty} e^{ix^2}dx[/tex]
also exists. If we know that the integral is a continuous function of the coefficient in the exponent, then this is all done, but I never bothered actually try to figure out how the continuity could be proven. If it can be done nicely, feel free to mention how.

In fact it is known what they converge http://www.artofproblemsolving.com/Forum/viewtopic.php?t=158083"
 
Last edited by a moderator:
The approach that starts with Gaussian integrals leads to the question about limit of the expression
[tex] \int\limits_{-\infty}^{\infty} e^{-Ax^2}dx[/tex]
when A approaches some value on the line [itex]\{z\in\mathbb{C}\;|\; \textrm{Re}(z)=0\}[/itex] from right.

I admit, I hadn't seen the gamma function approach earlier, and it seems to avoid this problem.
 
Or actually I'm not so sure about this all yet. The derivation that uses gamma functions seems to assume right in the beginning that integral
[tex] \int_{0}^{\infty} e^{ix^k} dx[/tex]
converges. It would be nice to show it some Leibniz's test, for convergence, before continuing with variable changes, that are used for solution of the value of the integral.
 
jostpuur said:
Or actually I'm not so sure about this all yet. The derivation that uses gamma functions seems to assume right in the beginning that integral
[tex] \int_{0}^{\infty} e^{ix^k} dx[/tex]
converges. It would be nice to show it some Leibniz's test, for convergence, before continuing with variable changes, that are used for solution of the value of the integral.

I believe convergence exists when k>1.
 
JohnDuck said:
I'm stumped but intrigued.
Isn't it just 0?
 
[tex]\Gamma(z)=\underset{0}{\overset{\infty}{\int}}\gamma^{z-1}e^{-\gamma}d\gamma[/tex]

Make like a snob and use the gamma-function.
 
[tex]\int {sinxcosx \over sin^4x+cos^4x}dx[/tex]