madah12 said:
ok it guarantees that the anti derivative exists but does it guarantee that it exists as function that for every x we know some specific method to get a y if so then why can't we express it? if not then what does it mean that it exists.
We aren't guaranteed that we know any specific method to get a y. The FTC just guarantees that an antiderivative exists.
Existence means just that -- it exists, it's out there, but existence and construction are two different things. We're only guaranteed existence here but that doesn't tell us how to construct (i.e., how to find) an antiderivative.
For example, if we want to evaluate \int 2x\, dx the FTC tells us that an antiderivative exists, but doesn't tell us how to find it. However, we know how to find it because we know 2x is the derivative of x^2. So then the FTC tells us
\int 2x\, dx = x^2 + C
But note that the FTC didn't tell us *how* to get x^2, it only told us that there exists some function that is an antiderivative of 2x.
Likewise, the FTC says e^x \ln x has an antiderivative but it doesn't tell us *how* to find it. An antiderivative of e^x \ln x is some function whose derivative is e^x \ln x but such a function cannot be written down using our known elementary functions, as micromass pointed out earlier. Another example of a function whose antiderivative exists but can't be written down with elementary functions is e^{x^2}.
-----
Another example of an "existence theorem" is the fact that the equation ax^2 + bx + c = 0 has two distinct real solutions IF b^2 - 4ac > 0
This gives us specific conditions which guarantee the existence of two distinct real solutions, but it doesn't tell us HOW to find them.
A "construction theorem" (one that actually tells you how to find something) would be something like the quadratic formula.. If ax^2 + bx + c = 0 then x = \dfrac{-b \pm \sqrt{b^2 - 4ac}}{2a}