# Special integrals

There are special integrals such as the logarithmic integral and exponential integrals. I want to know if there are primitives for such integrals. If not, why not?

-

3
Yes, there are primitives. No, they can't be expressed in terms of exponentials, logarithms, trig functions, etc. – Gerry Myerson Nov 17 '12 at 8:46
@Gerry Myerson , So how are they expressed then? – Badshah Nov 17 '12 at 8:50

1
@Badshah: as integrals. – Qiaochu Yuan Nov 17 '12 at 9:17

1
– sos440 Nov 17 '12 at 9:37

3
– Qiaochu Yuan Nov 17 '12 at 9:44
show 1 more comment

## 1 Answer

A simple starting point (as indicated by Qiaochu) is Liouville's theorem (or 'principle') based on differential algebra and was extended with the Risch algorithm.

This last link should clarify some of the ideas used :

1. the only new term appearing during an integration (i.e. that was not in the integrand) is a linear combination of logarithms (because logarithms alone may disappear during differentiation...)
2. exponentials $e^f$ had to be in the integrand first (since differentiation doesn't make them disappear) and will reappear as $h\,e^f$ (of course subtle points exist like considering $\sqrt{x}=e^{\ln(x)/2}\cdots$)
3. differentiation of an algebraic function $\theta$ (i.e. there is a polynomial $P(\theta)=0$) will give a rational function $\frac {d(\theta)}{e(\theta)}$ with $\,d$ and $e\,$ two polynomials.

These 3 ideas will provide logarithmic, exponential and algebraic extensions to the differential algebra (starting for example with the field of rational functions over $\mathbb{Q}$) that will give all the elementary functions.

Geddes, Czapor and Labahn's book "Algorithms for Computer Algebra" is very clear too.

Now let's use these ideas to study $\int\frac {e^x}x\,dz$.

From a more precise version of $2.$ a primitive must be of type $\ I(x)=h(x)e^x$ with $h(x)$ a rational function.
Let's suppose this and differentiate : $$(h'(x)+h(x))e^x=\frac {e^x}z$$ so that we need : $$h'(x)+h(x)=\frac 1x$$ We supposed $h$ rational so that it may be decomposed in simple elements but $h'(x)$ can't give $\frac 1x$ so that $\frac 1x$ must be part of $h(x)$. In this case $h'(x)$ will create a term $-\frac 1{x^2}$ that must be compensated by a $\frac 1{x^2}$ term in $h(x)$ that will generate a $-\frac 2{x^3}$ term ... This process clearly doesn't end !

The same method could be used for the sine integral : $\int \frac {\sin(x)}x\,dx\,$ simply by writing $\ \sin(x)=\frac{e^{ix}-e^{-ix}}{2i}$.
(this method is from Matthew P Wiener from an old post at sci.math : recommended reading too !)

Concerning the logarithmic integral we have $\ \operatorname{li}(x)=\operatorname{Ei}(\ln(x))\$ so that the non-elementary proof for the one should apply for the other as well.

-
{"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": 26, "mathjax_display_tex": 2, "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.936573326587677, "perplexity_flag": "middle"}