5
$\begingroup$

Many elementary functions, like $e^{-x^2}$ and $\frac{\sin(x)}{x}$ have antiderivatives that are are nonelementary; is this property generic? That is, does the set of all elementary functions whose antiderivatives are nonelementary form residual (or second category) subset (that is, the complement of a meager or first category subset) of the elementary functions (with some version of the compact-open topology on them, presumably: the elementary functions don't all share a common domain)?

On a related (but still very basic) note, what would be a catch-all term for the collection of all elementary and nonementary functions taken together as one set? "Functions of a real (or complex) variable"?

$\underline{\text{Edit 1}}$: I guess Liouville's Theorem is a partial answer, at least. It appears to yield that the elementary functions whose antiderivatives are elementary are emphatically a meager set, but if I could just get someone who is much more experienced at this game to confirm that for me in simple terms that will be easy for me to understand, I would be most appreciative.

$\underline{\text{Edit 2}}$: In response to an answer from Robert Israel below, I changed the question from asking if the elementary functions whose antiderivatives are nonelementary form an open, dense subset to asking if they form a residual set.

$\underline{\text{Aside}}$: Why isn't Liouville's Theorem part of a standard graduate curriculum for those who want to go on to teach calculus? In what standard (graduate or undergraduate) course would one typically encounter Liouville's Theorem? What book would be a reference for differential algebras and Liouville's Theorem?

$\endgroup$
5
  • $\begingroup$ One might note that the elementary functions are a vector space and the ones with elementary anti-derivatives are a strict subspace thereof. (And, if you're careful, a subspace with infinite codimension). In some (standard, but rather uninteresting) sense, this means that most functions don't have elementary antiderivative. $\endgroup$ Commented Jan 15, 2017 at 2:52
  • $\begingroup$ Thanks, @MiloBrandt ! ("Strict subspace" meaning "proper subspace", of course) $\endgroup$ Commented Jan 15, 2017 at 3:05
  • $\begingroup$ @MiloBrandt Thanks so much again for the reply! I really appreciate it! Unfortunately, the answer to this question math.stackexchange.com/questions/496436/… appears to imply that a subspace can be proper and of infinite codimension and dense (Take the union $W$ of all the spaces $X_n$ in the answer). So, being a proper subspace (even of infinite codimension) does not appear to necessarily imply meager. $\endgroup$ Commented Jan 16, 2017 at 1:19
  • $\begingroup$ Residual in what topology? Unless you have somehow a topology where the elementary functions are complete? Otherwise I would guess the space of elementary functions is of first category in itself... $\endgroup$
    – GEdgar
    Commented Jan 16, 2017 at 2:13
  • $\begingroup$ A topology on the differential algebra of functions of a real variable? en.wikipedia.org/wiki/… I'm not sure myself, which topology to use was a part of my question, I'm a little new at this game myself $\endgroup$ Commented Jan 16, 2017 at 4:37

1 Answer 1

3
$\begingroup$

Not open, no. Polynomials are dense in the compact-open topology on continuous functions on an interval (or a disk in the complex plane), and they always have elementary antiderivatives.

$\endgroup$
9
  • $\begingroup$ (Off-topic: Is this the Robert Israel [mathforum.org/kb/thread.jspa?threadID=2251729&tstart=0 among oher things]? Wow, thanks for the reply!) $\endgroup$ Commented Jan 15, 2017 at 3:21
  • $\begingroup$ Of course, Stone-Weierstrass en.wikipedia.org/wiki/Stone%E2%80%93Weierstrass_theorem applies; thanks so much $\endgroup$ Commented Jan 15, 2017 at 3:25
  • $\begingroup$ Yes, I am that Robert Israel. $\endgroup$ Commented Jan 15, 2017 at 7:26
  • $\begingroup$ (I apologize that this question is basic.) So, putting aside the notion of elementary/nonelementary and just looking at W, the set of polynomials, in V, $C^1(I)$/$C^n(I)$/$C^{\infty}(I)$, on the one hand, by Milo Brandt's comment, W is a proper subspace subspace of V (with infinite codimension, in fact), while on the other hand, by Robert Israel's comment, V is dense in W. (cont) $\endgroup$ Commented Jan 15, 2017 at 20:05
  • $\begingroup$ Intuitively, these two notions don't make sense together: if V were an inner product space, for instance, one could just take v in V with <v|p> = 0 for all p in W, take $k \in \mathbb{R}$ with $k>0$, and take B(v,k/2); that should contain no points of W - but W is dense in V! This idea should work for any inner product one could put on V which induces the compact-open topology on V - but, of course, it can't work for any of them (meaning no inner product on V can induce the compact-open topology on V?) since W is dense in V by Stone-Weierstrass. (cont) $\endgroup$ Commented Jan 15, 2017 at 20:05

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .