Intereting Posts

Showing when a permutation matrix is diagonizable over $\mathbb R$ and over $\mathbb C$
Continuous probability distribution with no first moment but the characteristic function is differentiable
Generators of $H^1(T)$
Trace and the coefficients of the characteristic polynomial of a matrix
How to prove $2\sqrt{2+\sqrt{3}}=\sqrt{2}+\sqrt{6}$?
Weakly Harmonic Functions (Weak Solutions to Laplace's Equation $\Delta u=0$) and Logic of Test Function Techniques.
Convergence of Roots for an analytic function
What are mandatory conditions for a family of matrices to commute?
An annoying Pell-like equation related to a binary quadratic form problem
$k$ balls into $n$ bins — Number of occupied bins
Motivating Example for Algebraic Geometry/Scheme Theory
A characterisation of quadratic extensions contained in cyclic extensions of degree 4
$\sqrt{c+\sqrt{c+\sqrt{c+\cdots}}}$, or the limit of the sequence $x_{n+1} = \sqrt{c+x_n}$
Sharing a pepperoni pizza with your worst enemy
Why is $1 – \frac{1}{1 – \frac{1}{1 – \ldots}}$ not real?

It’s been quite a time since I had the complex analysis course. The thing is now I don’t know the answer to the following simple question:

Is it possible to find

$$ \int_0^1 x^n \, dx$$

- Proof of Hartogs's theorem
- The sum of the residues of a meromorphic differential form on a compact Riemann surface is zero
- What is so interesting about the zeroes of the Riemann $\zeta$ function?
- holomorphic functions and fixed points
- Inverse of the Joukowski map $\phi(z) = z + \frac{1}{z}$
- Contour Integration - my solution for real integral is complex?

using the methods of contour integration? I’ve refreshed my knowledge with wikipedia, but I’ve no idea how to make integrals with no obvious singularities. Though there is a singularity at $\infty$, but how to connect it with $[0,1]$?

- Where is the topology hiding in this theorem on entire functions?
- complex conjugates of holomorphic functions
- How is the simplified version (below) of the Bromwich inverse Laplace transform integral derived?
- Integral, definite integral
- The meaning of notation $\subset\subset$ in complex analysis
- Integral of $\log(\sin(x))$ using contour integrals
- Is the derivative of a modular function a modular function
- Change of variable (translation) in complex integral
- Non-existence of a bijective analytic function between annulus and punctured disk
- Is there a Möbius transformation that scales disks to the unit disk?

Let’s consider the contour from $0$ to $1$ ($z=x$) followed by a rotation of angle $\angle \frac{2\pi}n$ ($z=e^{i\phi}$) and then back to $0$ ($z= e^{i\frac {2\pi}n} x$) :

$$\int_0^1 x^n\,dx+\int_0^{\frac {2\pi}n} e^{ni\phi}ie^{i\phi}\,d\phi +\int_1^0 \left(e^{i\frac {2\pi}n}x\right)^n e^{i\frac {2\pi}n}\,dx=0$$

(the integral is $0$ of course for $n\ne -1$)

since $\displaystyle \int_0^{\frac {2\pi}n} e^{ni\phi}ie^{i\phi}\,d\phi=\left[\frac{e^{(n+1)i\phi}}{n+1}\right]^{\frac {2\pi}n}_{\phi=0}$ we get :

$$\left(1-e^{i\frac {2\pi}n}\right)\int_0^1 x^n\,dx=\frac {1-e^{i\frac {2\pi}n}}{n+1}$$

so that for $n\ne 1$ and $n\ne -1$ at least : $\ \displaystyle \int_0^1 x^n\,dx=\frac 1{n+1}$

For $n=1$ we may choose another maximal angle (for example $\pi$ or $\frac {\pi}2$).

Looking back at this there is some feeling of cheating since we replaced a power integral over $x^n$ by the nearly equivalent integral $\int e^{(n+1)i\phi}\,d\phi$ (at least the increment of $n$ was done!).

This is rather a teaser than a proper answer. Well formally it is an answer since it employs contour integration, but not quite in a way I was hoping to see it.

While I was asking about $x^n$, actually I was heading for polynomials in general. So let’s pick $P(x)$ to be a polynomial and consider

$$ \int_a^b P(x) \, dx$$

Following @Marvis ‘s idea antiderivative of $P$ is computed as

$$ \int P(x) \, dx = – \int_{C_r} x P\left( \frac{x}{z} \right) \frac{\log{(1-z)}}{z^2} \, dz $$

Then it’s just a fundamental theorem of calculus to find the initial integral. Note, that $x$ above is just a parameter, not the real part of $z$.

- Why is n mod 0 undefined?
- Show that if $ab$ has finite order $n$, then $ba$ also has order $n$. – Fraleigh p. 47 6.46.
- Homogeneous riemannian manifolds are complete. Trouble understanding proof.
- Real Analysis, Folland Problem 5.3.29 The Baire Category Theorem
- Are there nontrivial continuous maps between complex projective spaces?
- $f(f(x)f(y))+f(x+y)=f(xy)$
- Abel/Cesaro summable implies Borel summable?
- If $|\lbrace g \in G: \pi (g)=g^{-1} \rbrace|>\frac{3|G|}{4}$, then $G$ is an abelian group.
- $\mathbb Z^n/\langle (a,…,a) \rangle \cong \mathbb Z^{n-1} \oplus \mathbb Z/\langle a \rangle$
- nondimensionalization of predator-prey model
- Surface Element in Spherical Coordinates
- Contraction mapping in an incomplete metric space
- How to prove Cauchy-Schwarz integral inequality?
- Norm of the linear functional
- Deeper meaning of “canonical”?