A tricky integral

[FluxCapacitator]

How would one evaluate $$\int \sqrt{1+4\cos^2 2x}$$ ?

It's for an arc length problem, and my teacher says to just find an approximate answer using a graphing calculator, but I actually want to learn how to integrate something like this.

 

[Tom Mattson]

Unless there is some wacked out substitution you can do on that that I'm just not seeing, I don't think that your integrand has an antiderivative in terms of elementary functions. If you are really determined to do this without a graphing calculator and want to really impress your teacher, write a computer program that will approximate the integral to any desired accuracy using either the trapezoidal rule or Simpson's rule.

At least, that would impress me. :tongue2:

 

[HallsofIvy]

One of the things you should learn about integrals is that the great majority of "simple" functions cannot be integrated exactly!

 

[FluxCapacitator]

Thanks for confirming my suspicions that it wasn't integrable.

 

[Tom Mattson]

Thanks for confirming my suspicions that it wasn't integrable.

Hold the phone...It is integrable. It just doesn't have an elementary antiderivative.

The integrability of a function has nothing to do with whether or not you can find an antiderivative for that function. It has to do with whether or not the limit of the Riemann sum exists.

 

[saltydog]

How would one evaluate $$\int \sqrt{1+4\cos^2 2x}$$ ?

I actually want to learn how to integrate something like this.

Well I'm glad you said that Flux because this integral is expressible in terms of the complete elliptic integral of the second kind. Oh yea, that is:

$$\int \sqrt{1+4\cos^2 2x}=\frac{\sqrt{5}}{2}\text{EllipticE}[2x,4/5]$$

where:

$$\quote{EllipticE}(u,m)=\int_0^u \sqrt{1-mSin^2(\theta)}d\theta$$

That's what Mathematica says but I can't figure out how that is arrived at. You?

 

[Tom Mattson]

You?

I have to run right now, but you can do it with a substitution ($\theta=2x$) and using the trig identity $sin^2(\theta)=1-cos^2(\theta)$ in the definition of the elliptic integral that you posted. Those steps should enable you to make Flux Cap's integral look like Mathematica's.

 

[saltydog]

I have to run right now, but you can do it with a substitution ($\theta=2x$) and using the trig identity $sin^2(\theta)=1-cos^2(\theta)$ in the definition of the elliptic integral that you posted. Those steps should enable you to make Flux Cap's integral look like Mathematica's.

Well that's was easy. See Flux, I have trouble with this stuf too you know.

I tell you what though, the proof in the pudding is to actually calculate all this and verify that everthing lines up. I think there is some constraints on the limits of the Elliptical integral so maybe that formula is only valid for a range of x values. Don't know for sure. Really I think Flux ought to do that. Please post a complete report Ok?

 

[FluxCapacitator]

Quite frankly, I'm feeling waaaaaaaaay out of depth with this problem. I can understand that some mathematician found a solution to a similar problem as mine, but it was so complex that he just called it EllipticE. Oh wait, where's my political correctness, it could have been a female mathematician.

At this point I just thought that I could learn what the function EllipticE was, how to use it, and any limitations of it, then I could finally solve this integral without approximation.

Of course, it just got confusing when I started researching it.

I checked a few pages, and wikipedia.org had a relatively clear definition, but the defintion involved even more functions for which I had never heard of. I really hate to do this, but I'm considering temporarily tabling the search to find out how one uses an elliptic integral to solve this type of problem. I'm still a high school student(I post here because I'm taking a college level class), so I have plenty of time to figure out. However, I'm also a senior, so between work and college applications and the typical nuances of life, I'm pretty busy and don't have time to devote to this.

If anyone else is interested, however, and also has a pretty good calculus background, then I recommend wikipedia's site on it, since it had the most comprehensive list of information.

 

[saltydog]

Quite frankly, I'm feeling waaaaaaaaay out of depth with this problem. I can understand that some mathematician found a solution to a similar problem as mine, but it was so complex that he just called it EllipticE.

Hey Flux, I was kinda' funnin' about the report. Suppose we have this:

$$\int_a^b \sqrt{1+4Cos^2(2x)}dx$$

As per Tom, first let $\theta=2x$. This gives:

$$\frac{1}{2}\int_{2a}^{2b}\sqrt{1+4Cos^2(\theta)}d\theta$$

Letting:

$$Cos^2(\theta)=1-Sin^2(\theta)$$

$$\frac{1}{2}\int_{2a}^{2b}\sqrt{1+4(1-Sin^2(\theta))}d\theta$$

or:

$$\frac{1}{2}\int_{2a}^{2b}\sqrt{5-4Sin^2(\theta)}d\theta$$

Pulling the 5 out of the radical gives us:

$$\frac{\sqrt{5}}{2}\int_{2a}^{2b}\sqrt{1-\frac{4}{5}Sin^2(\theta)}d\theta$$

But by definition:

$$\int_0^u \sqrt{1-mSin^2(\theta)}d\theta=EllipticE[u,m]$$

we can write the definite integral as:

$$\begin{align*} \frac{\sqrt{5}}{2}\int_{2a}^{2b}\sqrt{1-\frac{4}{5}Sin^2(\theta)}d\theta &= \frac{\sqrt{5}}{2}\left( \int_{0}^{2b}\sqrt{1-\frac{4}{5}Sin^2(\theta)}d\theta-\int_{0}^{2a}\sqrt{1-\frac{4}{5}Sin^2(\theta)}d\theta \right) \\ &= \frac{\sqrt{5}}{2}\left(\text{EllipticE}[2b,4/5]-\text{EllipticE}[2a,4/5]\right) \end{align}$$

And so we can say:

$$\int \sqrt{1+4Cos^2(2x)}dx=\frac{\sqrt{5}}{2}\text{EllipticE}[2x,4/5]$$

And just cause I like some concrete evidence of all this I calculated:

$$\int_2^5 \sqrt{1+Cos^2(2x)}dx$$

both using EllipticE functions and numerically. Both return 5.01464.

 

[FluxCapacitator]

I understood that part just fine, but I couldn't find out what the heck the ellipticE function was. If you could just show me some function, I don't care how complicated it is, E(a,b), then I'd be happy and content. I just can't find that function for some reason.

 

[TOKAMAK]

Did you mean this?

$$E(\phi , k) = \int_{0}^{\phi} dt \sqrt{1 - k^{2} \sin^{2}{t}}$$

An elliptic integral of the second kind?

 

[amcavoy]

Where did these elliptic integrals come from? Do they have anything to do with elliptic curves?

 

[saltydog]

Where did these elliptic integrals come from? Do they have anything to do with elliptic curves?

Well, Mathematica uses EllipticE to denote the complete elliptic integral of the second kind. These functions are used in the solution of second-order non-linear ODEs. Not sure why they're called elliptic functions.

 

[Tom Mattson]

Where did these elliptic integrals come from? Do they have anything to do with elliptic curves?

Yes indeedy. The analysis of elliptical orbits is replete with elliptic integrals. In fact, I learned about elliptic integrals in physics before I learned about them in math.