- #1

- 70

- 0

## Main Question or Discussion Point

Is it actually impossible to integrate certain functions such as [tex]sin(x^2)[/tex] or have we just not found a method yet?

- Thread starter deltabourne
- Start date

- #1

- 70

- 0

Is it actually impossible to integrate certain functions such as [tex]sin(x^2)[/tex] or have we just not found a method yet?

- #2

chroot

Staff Emeritus

Science Advisor

Gold Member

- 10,226

- 34

[tex]\int \sin(x^2)\,dx[/tex]

can be represented in terms of a Fresnel integral. The Fresnel integral is not an elementary function, and not all of its properties are understood yet. Every integral is representable using SOME yet-to-be-determined function, though. If you want to integrate some random function [itex]f(x)[/itex], for example, you could simply say that

[tex]\int f(x)\,dx = F(x) + c[/tex]

where [itex]F(x)[/itex] is not yet known, or not yet well-understood. It almost feels like avoiding the question, but it's still a correct statement.

- Warren

- #3

- 65

- 0

You could integrate it via. Taylor, and it gives you a pretty good approximation.deltabourne said:Is it actually impossible to integrate certain functions such as [tex]sin(x^2)[/tex] or have we just not found a method yet?

- #4

HallsofIvy

Science Advisor

Homework Helper

- 41,794

- 924

- #5

mathwonk

Science Advisor

Homework Helper

- 10,780

- 951

Thus since we know sin(x^2) is continuous, then the FTC says it has an antiderivative. But now comes the question of finding a nice formula for that antiderivative function. And that is not possible, because this function does not happen to be that closely related to any of our basic functions.

Nonetheless there are other things we can do to study this function even without a simple formula for it. We can approximate it, using Simpson's rule to approximate the area, or we can write a taylor series for it, stop at a certain point in the series, and

then just antidifferentiate that approximating polynomial, as suggested above.

The whole confusion here is in the meaning of the word "function". I.e. does the word mean a nice simple formula involving only familiar trig, exponential, and polynomial expressions, or is it any rule that can be described in words at all?

The familiar functions are called "elementary functions", and the more general kind are just called functions. The difficulty is that my students tend to think all functions are elementary. So it is common for my students on a test to state the fundamental theorem of calc, saying that every continuous function has its area function as an antiderivative, but still believe that some continuous functions like sin(x^2) have no antiderivative.

I will admit that I am not expert here, as I do not actually know how to prove that sin(x^2) is one of the functions with no elementary antiderivative, but I have noticed that almost no moderately complicated composition of different functions ever has one (except powers of elementary functions seem ok, but even sec^3 is pretty challenging, or even sec the first time you see it. also sin(arccos(x)) has an antiderivative). The theory of which functions have elementary antiderivatives is called differential algebra and I have a book on it but have never read it.

- #6

- 59

- 0

If by "integrate" you mean finding its anti derivative as a combinations of the functions we already know, then nope.deltabourne said:

- #7

- 467

- 1

Now consider a function [tex]f(x)[/tex]. If this function is continuous, then there exists a curve that models the area under the original curve for all values of x. (It is eay to see why this "area-producing" curve must exist.) But again, what chance is there that this area-producing curve can be modelled exactly by a mathematical function?

So how can we model the anti-derivative curve? Well, we can add an infinite number of curves such that the sum models the anti-derivative curve. One way to do this is to make the "sub-curves" polynomial terms, which means we are applying a polynomial expansion (such as a Taylor series).

- #8

- 538

- 2

- #9

Ethereal

- #10

shmoe

Science Advisor

Homework Helper

- 1,992

- 1

Dr.Brain, as I understand what you've written, it's not correct. A function does not have to be differentiable for it's integral to exist. Continuous is enough (more than enough actually). You can integrate functions with peaks. Try integrating |x|.

- #11

mathwonk

Science Advisor

Homework Helper

- 10,780

- 951

- #12

- 1

- 0

To integrate sin(x^2) - try Mathematica - It gives the following -

Assume P = Sqrt(PI/2)

Then integral of sin(x^2) in the usual sense of a sum of a series comes out to P*FresnelS[x/P]

Now if you don't like the Fresnel functions - then one could say sin(x^2) can not be integrated. But then - someone may not like the Sine function itself...

Keeping formal integrability aside - the question about whether sin(x^2) can be integrated or not is really not a valid question in a true sense because it can be expanded in a series it can be integrated and its up to someone to give a name to it (Like Fresnel functions are in the above example) - and perhaps a more natural meaning to the resulting expression. Imagine that Log could not be defined in terms of exponents and was a fairly obscure function (Like Fresnel which only Optics people seem to care about ) ...Someone would have said 1/x can not be integrated..

- #13

- 174

- 0

What are Fresnel integrals?

- #14

- #15

- 159

- 0

Use the numerical approximation

- #16

HallsofIvy

Science Advisor

Homework Helper

- 41,794

- 924

True, but whether you like them or not, the "elementary functions" everyone has been talking about are pretty well (if arbitrarily) defined. Sine is an "elementery" function, the Fresnel functions (and the Bessel functions, the Erf function, Lambert's W function, etc.) are not!guarav89 said:Now if you don't like the Fresnel functions - then one could say sin(x^2) can not be integrated. But then - someone may not like the Sine function itself...

As long as no two points have the same y value, 100% because that the definition of "mathematical function". Again, it may not be a function anyone has ever defined before!JohnDubya said:Take a sheet of paper, draw an x-y grid, and then draw an arbitrary curve. The curve obviously exists because you can see it, but what chance is there that the curve can be modeled exactly by a mathematical function?

- Replies
- 5

- Views
- 5K

- Last Post

- Replies
- 13

- Views
- 869

- Replies
- 16

- Views
- 2K

- Replies
- 2

- Views
- 698

- Last Post

- Replies
- 3

- Views
- 672

- Last Post

- Replies
- 2

- Views
- 1K

- Replies
- 2

- Views
- 1K

- Replies
- 1

- Views
- 949