Physics Forums

## Why do some functions not have Anti derivatives??

as the title says why are some functions like ## √cotx##(root cotx) not integratable??

PhysOrg.com  science news on PhysOrg.com  >> Front-row seats to climate change>> Attacking MRSA with metals from antibacterial clays>> New formula invented for microscope viewing, substitutes for federally controlled drug

Quote by Hysteria X 					 				 				as the title says why are some functions like ## √cotx##(root cotx) not integratable??
Are you sure ? : http://www.wolframalpha.com/input/?i...8cot%28x%29%29
Can you give us a true example of what you call "not integrable" ?

Are you referring to functions such as sin(x^2) or log(log(x))?  They do have antiderivatives, it's just impossible to express them finitely in terms of elementary functions.

## Why do some functions not have Anti derivatives??

Hi Hysteria X !
The remark of Whovian is pertinent. If it is that what you mean, I suggest to have a look at a funny example, on page 2 of the paper "Sophomore's Dream Function" :
http://www.scribd.com/JJacquelin/documents

I believe the only functions that are impossible to integrate are ones with an infinite amount of discontinuities.

Such as the Dirichelt Function?  Yep, "most" functions (being most functions people regularly encounter) are integrable.  "Most" functions (in that we take a random number from f's codomain to be f(x), where x is an arbitrary number in f's domain, for all x in f's domain) are going to be non-integrable, however.

Yes, the Dirichelet function is a good example (considering the Riemann definition of integration).  Of course, there are an infinity of functions of the Dirichelet kind. But, we have also to take account of the kind of integration considered : The Dirichelet function is Lebesgue's integrable.

Blog Entries: 1
Recognitions:
Gold Member
Homework Help
Science Advisor

Quote by tahayassen 					 				 				I believe the only functions that are impossible to integrate are ones with an infinite amount of discontinuities.
If we are speaking of the Riemann integral, it can in fact handle infinitely many discontinuities, as long as the "infinity" is not too large. To be precise, a function is Riemann integrable if and only if it is bounded and its set of discontinuities has Lebesgue measure zero. All countably infinite sets have measure zero, and some uncountably infinite ones do, too, for example the Cantor set.

The Dirichlet function (i.e. the indicator function of the rational numbers) is discontinuous everywhere, so it fails the test.

On the other hand, the function (also, confusingly, sometimes called the Dirichlet function) defined by
f(x) = \begin{cases}0 & \textrm{ if }x \textrm{ is irrational} \\
1/q & \textrm{ if }x \textrm{ is rational and }x = p/q \textrm{ in lowest terms}\end{cases}
is continuous at every irrational x, and discontinuous at every rational x, so its set of discontinuities is countable. Therefore this function is Riemann integrable. (Its integral is zero.)

Recognitions:      Homework  Help     Science  Advisor  There are three different questions which are often confused:  1) when does a function have an antiderivative?  2) when does a function have a definite integral?   3) when does a function have an antiderivative which is of the same "type" as the original function?  We will restrict attention to bounded functions on finite intervals.  In general a function with a definite integral also has an indefinite integral, and that indefinite integral is an antiderivative, but there is no guarantee the antiderivative will be as simple or elementary as the original function.  E.g. the answer is yes to both questions 1 and 2, when f is continuous.  Question 3 is harder, and there are many familiar continuous functions f such that the antiderivative F given by the indefinite integral of f, is not at all familiar.  The point is that even when F(x) exists with F’(x) = f(x), the function F is usually more exotic than f was.  The basic example is that the indefinite integral of the rational function 1/(1+x), say on [0,1], is the exotic (non rational) function ln(1+x).  If we choose more complicated continuous functions, like e^(x^2), then the theorems above guarantee that the definite and indefinite integrals exist, and that the indefinite integral F(x) is an antiderivative of e^(x^2).  But there is no guarantee that F can be expressed in terms of the familiar exponential, trig, and polynomial functions, and indeed it cannot.  F is so exotic, it is an essentially “new” function, in the sense that we have not met with it in precalculus.  But since e^(x^2) has a power series, it is not hard to write F down also as a power series.  So the antiderivative certainly exists, but it is a function that most precalculus students have not run across.    The answers to 1) and 2) also depend on what definition of the integral we use, but essentially whenever the answer to 2) is yes, then so is the answer to 1).    Recall a “step function” on [a,b] is a function g such that for some subdivision a = a0 < a1 < a2 < ....< an-1 < an = b, the function g has a constant value ci on each open subinterval (ai-1,ai).  Everyone agrees that the integral of such a step function is c1(a1-a0) + a2(c2-c1) +....+cn(an-an-1).  I.e. the graph of a step function is the border of a finite collection of rectangles, and the integral is the sum of the signed areas of those rectangles.  In beginning calculus we usually define f to have a definite (Riemann) integral if for every positive number e>0, we can find two “step functions” g,h (for the same subdivision) such that g ≤ f ≤ h and the integral of the step function (h-g) is less than e.  This means we can fit rectangles above and below the graph of f such that the area between the rectangles is as small as you ask.  The usual theorem proved (or left to the appendix) says that if f is continuous on [a,b], then the Riemann integral of f exists on [a,b].  It follows that it also exists on every subinterval [a,x], for a < x < b.  If F(x) is the integral of f over [a,x], we call F the indefinite integral of f.   If f is continuous, then at every x in [a,b], F has a derivative at x and F’(x) = f(x).  Riemann proved that not only continuous functions f have integrals, but also all bounded functions f which are continuous “almost everywhere” or  “continuous a.e.” have (Riemann) integrals.  A function is continuous almost everywhere if, for every e>0, the set of discontinuities of f can be covered by a sequence of open intervals of total length < e.  So the answer to 2) is also yes for f which are continuous a.e. (f is always assumed  bounded).  If f is continuous a.e. then f has a definite integral and thus also an indefinite integral F(x), and we expect the indefinite integral to be an antiderivative of f.  This is true almost everywhere,  I.e. F is differentiable with F’(x) = f(x) at every x where f is continuous, i.e. almost everywhere. Of course there is still no guarantee that F is at all a familiar function, even though f is a familiar function.  One thing we can say is that the indefinite integral F is continuous, and even Lipschitz continuous, i.e. for some constant B we have |F(x)-F(y)| ≤ B|x-y| for all x,y in [a,b].    Now we broaden our definition of an antiderivative of f to be any Lipschitz function F which is differentiable a.e., and with derivative equal to f a.e.  Then anytime question 2) has answer yes in the sense of Riemann integration then also question 1) has answer yes in the new broader sense.  As to question 3), basically there is no hope of enhancing our precalculus course by teaching more and more types of more and more exotic functions so that we will know the antiderivatives of all known function.  No matter how many classes of specific functions we learn, there will always be antiderivatives of these functions which we have never seen before, and which cannot be expressed in terms of ones we have seen.  I.e. I am not an expert here, but it seems that although most elementary collections of specific functions are “closed” under differentiation, they tend not to be closed under antidifferentiation.  (Check out some articles on “integration in elementary terms” for more details.)  Now one can define the integral of a much larger (abstract) class of bounded functions so that questions 2) and also 1), have answer yes, by changing slightly the definition of the integral.  Instead of considering only functions f which can be approximated from above and below by step functions, as in Riemann’s integral, consider any bounded function f on [a,b] which is a pointwise limit a.e. of a bounded sequence of step functions.  We just remove the requirement that the step functions have to come at f from above and below, and we let them approach from any direction.  Then one can prove the limit of the integrals of these step functions always converges to the same limit, independent of the choice of the approximating sequence of step functions, and we can define that limit to be the (Lebesgue) integral of f. Then for a bounded function f on [a,b] which is the pointwise limit a.e. of a bounded sequence of step functions, f has both a definite integral, and indefinite integral F, and again F is a Lipschitz function which has a derivative a.e. and whose derivative equals f a.e. on [a,b].  Conversely, any Lipschitz function F at all on [a,b] is differentiable a.e. on [a,b], and if we define f(x) = F’(x) at such x, and set f(x) = 0 elsewhere, then f has a Lebesgue integral on [a,b] which equals F(b)-F(a).  I hope this is correct, as this subject is one of the hardest for me.  Considering the examples in the previous post, if f is the characteristic function of the rationals, with value 1 at each rational, and value zero at each non rational, then f is the pointwise limit of the constant sequence of identically zero step functions, except at the rationals, i.e. almost everywhere.  Hence the Lebesgue integral is zero.  Hence the indefinite integral is also zero, with derivative equal to f at every irrational, i.e. almost everywhere.  The same facts hold for the second, more interesting Dirichlet function, where either the Riemann or the Lebesgue integral gives the same result.

Recognitions:      Homework  Help     Science  Advisor  after all is said and done, i realize you may be primarily interested in question 3) above.  Hence I refer you to this article:  http://www.claymath.org/programs/out...s05/Conrad.pdf

Since you can always keep on taking the anti-derivative of an anti-derivative and so on and since functions continuously become more exotic, does that mean that there is an infinite number of new functions that we have yet to discover? If we keep taking the anti-derivative, will we ever loop back to something simple?

Recognitions:      Homework  Help     Science  Advisor  I don't think so.   But it a little confusing to me, since we can get a hold on the situation by using abstract properties of functions rather than trying to write down specific examples.  I.e. abstractly, antiderivatives are more special, and hence less exotic in some sense than the functions we integrate to get them.  I.e. in some sense a piecewise linear function, which is the antiderivative of a step function, is more exotic because it is not piecewise constant, but less exotic because it is continuous.  In general an antiderivative is Lipschitz continuous, in particular continuous, whereas integrable functions do not need to be continuous anywhere.  So antiderivatives have better properties than integrable functions.  But as far a specific functIONS GOES, it seems to me that taking antiderivatives is generally a way to get new functions from old.  But I am not an expert on question 3).  It's 1 and 2 that I have been thinking about.

Recognitions:
Science Advisor

Quote by tahayassen 					 				 				If we keep taking the anti-derivative, will we ever loop back to something simple?
Sometimes, yes. Maybe you haven't learned about derivatives of exponential and trig functions yet!

Recognitions:      Homework  Help     Science  Advisor  as i read conrad's paper, the existing theory only shows that many functions which are elementary in the usual sense of precalculus, do not have elementary antiderivatives.  So my assumption that the situation continues as you add more new functions is entirely speculative.

Thread Tools

|                                                                        |                               |         |
|------------------------------------------------------------------------|-------------------------------|---------|
| Similar Threads for: Why do some functions not have Anti derivatives?? |                               |         |
| Thread                                                                 | Forum                         | Replies |
|                                                                        | Calculus & Beyond Homework    | 3       |
|                                                                        | Calculus & Beyond Homework    | 2       |
|                                                                        | Calculus                      | 2       |
|                                                                        | Calculus & Beyond Homework    | 1       |
|                                                                        | Introductory Physics Homework | 4       |
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 2, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9253213405609131, "perplexity_flag": "head"}