# Rare integration techniques/substitutions

1. Mar 23, 2013

### pierce15

Does anyone know of any integration tecniques that aren't covered in calculus 1/2? For example, today I learned the Weierstrass Substitution. Are there other useful techniques?

2. Mar 24, 2013

### pwsnafu

The integral
$\int_{\pi/4}^{\pi/2} \log \log \tan x \, dx = \frac{\pi}{2} \log \left( \frac{\sqrt{2\pi}\, \Gamma(3/4)}{\Gamma(1/4)} \right)$
requires knowledge of analytic number theory, specifically L-functions. The paper by Ilan Vardi Integrals, an Introduction to Analytic Number Theory has the proof.

This technique was given the systematic analysis in Luis A. Medina and Victor H. Moll's paper A class of logarithmic integrals (DOI 10.1007/s11139-008-9148-7), where the authors study integrals of type $\int_0^1 Q(x) \log \log 1/x \, dx$ for some rational function Q(x).

Another technique that doesn't get much coverage is the "method of brackets" by Gonzalez and Moss. I only have the arxiv paper: arXiv:0812.3356v1.

3. Mar 24, 2013

### Vorde

Differentiation under the integral sign is something I've seen mentioned as useful several times, though I confess to not knowing it.

4. Mar 24, 2013

### Mandelbroth

Complex analysis is beautiful.

The integral $\displaystyle \int_{0}^{\infty}\frac{1}{x^4+1} \ dx$ can be solved by partial fraction decomposition, as you might know from this thread. Or, we can use something called Cauchy's Residue Theorem. A lot of definite integrals become a lot easier if we do them indirectly with contour integrals in the complex plane.

5. Mar 25, 2013

### pierce15

How would you do that integral with complex analysis?

6. Mar 26, 2013

### h6ss

To solve the integral with complex analysis, one would have to use a line integral in the complex plane and use the Residue Theorem, as Mandelbroth mentioned.

$\displaystyle \int_{0}^{\infty}\frac{1}{x^4+1} \ dx$

We could start by associating with the given real integral a related contour integral, of the form $\displaystyle \int_{\Gamma}f(z) \ dz$.

We observe that $2\displaystyle \int_{0}^{R}\frac{1}{x^4+1} \ dx = \displaystyle \int_{-R}^{R}\frac{1}{x^4+1} \ dx$.

So, we consider $\displaystyle \int_{\Gamma}\frac{1}{z^4+1} \ dz$, where $\Gamma = [-R,R] \cup \Gamma(R)$, with $\Gamma(R)=R \ e^{it} \mid t \in [0,\pi]$ is a semicircular contour. Since we have $f(z)=\frac{1}{z^4+1}$, we can then use the Residue Theorem to evaluate the contour integral.

Last edited: Mar 26, 2013
{"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, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "math_score": 0.9931178092956543, "perplexity": 821.0254455307678}, "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": "plain"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "warc_path": "s3://commoncrawl/crawl-data/CC-MAIN-2018-13/segments/1521257645177.12/warc/CC-MAIN-20180317135816-20180317155816-00002.warc.gz"}