Questions tagged [complex-analysis]
For questions mainly about theory of complex analytic/holomorphic functions of one complex variable. Use [tag:complex-numbers] instead for questions about complex numbers. Use [tag:several-complex-variables] instead for questions about holomorphic functions of more than one complex variables.
5,646
questions
457
votes
18
answers
65k
views
To sum $1+2+3+\cdots$ to $-\frac1{12}$
$$\sum_{n=1}^\infty\frac1{n^s}$$
only converges to $\zeta(s)$ if $\text{Re}(s)>1$.
Why should analytically continuing to $\zeta(-1)$ give the right answer?
274
votes
32
answers
134k
views
Evaluating the integral $\int_0^\infty \frac{\sin x} x \,\mathrm dx = \frac \pi 2$?
A famous exercise which one encounters while doing Complex Analysis (Residue theory) is to prove that the given integral:
$$\int\limits_0^\infty \frac{\sin x} x \,\mathrm dx = \frac \pi 2$$
Well, can ...
184
votes
17
answers
169k
views
How to prove Euler's formula: $e^{i\varphi}=\cos(\varphi) +i\sin(\varphi)$?
Could you provide a proof of Euler's formula: $e^{i\varphi}=\cos(\varphi) +i\sin(\varphi)$?
24
votes
2
answers
9k
views
Proving that a doubly-periodic entire function $f$ is constant.
Let $f: \Bbb C \to \Bbb C$ be an entire (analytic on the whole plane) function such that exists $\omega_1,\omega_2 \in \mathbb{S}^1$, linearly independent over $\Bbb R$ such that: $$f(z+\omega_1)=f(z)=...
123
votes
18
answers
53k
views
Nice proofs of $\zeta(4) = \frac{\pi^4}{90}$?
I know some nice ways to prove that $\zeta(2) = \sum_{n=1}^{\infty} \frac{1}{n^2} = \pi^2/6$. For example, see Robin Chapman's list or the answers to the question "Different methods to compute $\sum_{...
22
votes
4
answers
2k
views
Frullani 's theorem in a complex context.
It is possible to prove that $$\int_{0}^{\infty}\frac{e^{-ix}-e^{-x}}{x}dx=-i\frac{\pi}{2}$$ and in this case the Frullani's theorem does not hold since, if we consider the function $f(x)=e^{-x}$, we ...
17
votes
4
answers
4k
views
Show that $\left|\frac{\alpha - \beta}{1-\bar{\alpha}\beta}\right| < 1$ when $|\alpha|,|\beta| < 1$
This is the question I'm stumbling with:
When $|\alpha| < 1$ and $|\beta| < 1$, show that:
$$\left|\cfrac{\alpha - \beta}{1-\bar{\alpha}\beta}\right| < 1$$
The chapter that contains this ...
204
votes
28
answers
154k
views
What is a good complex analysis textbook, barring Ahlfors's?
I'm out of college, and trying to self-learn complex analysis. I'm finding Ahlfors' text difficult. Any recommendations? I'm probably at an intermediate sophistication level for an undergrad. (Bonus ...
50
votes
5
answers
44k
views
Entire function bounded by a polynomial is a polynomial
Suppose that an entire function $f(z)$ satisfies $\left|f(z)\right|\leq k\left|z\right|^n$ for sufficiently large $\left|z\right|$, where $n\in\mathbb{Z^+}$ and $k>0$ is constant. Show that $f$ is ...
49
votes
6
answers
8k
views
A sine integral $\int_0^{\infty} \left(\frac{\sin x }{x }\right)^n\,\mathrm{d}x$
The following question comes from Some integral with sine post
$$\int_0^{\infty} \left(\frac{\sin x }{x }\right)^n\,\mathrm{d}x$$
but now I'd be curious to know how to deal with it by methods of ...
34
votes
3
answers
31k
views
An entire function whose real part is bounded above must be constant.
Greets
This is exercise 15.d chapter 3 of Stein & Shakarchi's "Complex Analysis", they hint: "Use the maximum modulus principle", but I didn't see how to do the exercise with this hint rightaway, ...
39
votes
7
answers
12k
views
Evaluating $\int_0^{\infty}\frac{\ln(x^2+1)}{x^2+1}dx$
How would I go about evaluating this integral?
$$\int_0^{\infty}\frac{\ln(x^2+1)}{x^2+1}dx.$$
What I've tried so far: I tried a semicircular integral in the positive imaginary part of the complex ...
18
votes
5
answers
10k
views
Definite integral calculation with poles at $0$ and $\pm i\sqrt{3}$
$$\int_0^\infty \frac{\sin(2\pi x)}{x(x^2+3)} \, dx$$
I looked at $\frac{e^{2\pi i z}}{z^{3}+3z}$, also calculated the residues, but they don't get me the right answer. I used that $\int_{-\infty}^\...
50
votes
2
answers
4k
views
What is wrong with this fake proof $e^i = 1$?
$$e^{i} = e^{i2\pi/2\pi} = (e^{2\pi i})^{1/(2\pi)} = 1^{1/(2\pi )} = 1$$
Obviously, one of my algebraic manipulations is not valid.
23
votes
2
answers
2k
views
For which complex $a,\,b,\,c$ does $(a^b)^c=a^{bc}$ hold?
Wolfram Mathematica simplifies $(a^b)^c$ to $a^{bc}$ only for positive real $a, b$ and $c$. See W|A output.
I've previously been struggling to understand why does $\dfrac{\log(a^b)}{\log(a)}=b$ and $\...