The theory of functions of one complex variable with an emphasis on the theory of complex analytic (or holomorphic) functions of one complex variable. Typical topics include: Cauchy's integral formula, singularities, poles, meromorphic functions, Laurent and Taylor series, maximum modulus principle, ...

learn more… | top users | synonyms (2)

243
votes
15answers
27k views

Why does $1+2+3+\cdots = -\frac{1}{12}$?

$\displaystyle\sum_{n=1}^\infty \frac{1}{n^s}$ only converges to $\zeta(s)$ if $\text{Re}(s) > 1$. Why should analytically continuing to $\zeta(-1)$ give the right answer?
115
votes
20answers
30k views

Solving the integral $\int_{0}^{\infty} \frac{\sin{x}}{x} \ dx = \frac{\pi}{2}$?

A famous exercise which one encounters while doing Complex Analysis (Residue theory) is to prove that the given integral: $$\int_{0}^{\infty} \frac{\sin{x}}{x} \, dx = \frac{\pi}{2}$$ Well, can ...
63
votes
11answers
41k views

How to prove Euler's formula: $e^{it}=\cos t +i\sin t$?

Could you provide a proof of Euler's formula: $e^{it}=\cos t +i\sin t$ ? thanks.
8
votes
3answers
1k 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)}$$ 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}^\infty ...
1
vote
2answers
3k views

Determine and classify all singular points

Determine and find residues for all singular points $z\in \mathbb{C}$ for (i) $\frac{1}{z\sin(2z)}$ (ii) $\frac{1}{1-e^{-z}}$ Note: I have worked out (i), but (ii) seems still not easy.
25
votes
6answers
7k views

entire 1-1 function

Can we prove that given an entire function $f$ that is also one to one then $f$ must be linear? Thanks for any help.
101
votes
25answers
38k views

What is a good complex analysis textbook?

I'm out of college, and trying to learn complex analysis on my own. I took out Ahlfors' text from the library, but I'm finding it difficult. Any textbook recommendations? I'm probably at an ...
77
votes
4answers
10k views

$\int_{-\infty}^{+\infty} e^{-x^2} dx$ with complex analysis

Inspired by this recently closed question, I'm curious whether there's a way to do the Gaussian integral using techniques in complex analysis such as contour integrals. I am aware of the calculation ...
8
votes
1answer
1k views

Property of Entire Functions

Suppose $f$ and $g$ are entire functions with $|f(z)|\leq|g(z)|$ for all $z$. How can we show that $f=cg$ for some complex constant $c$? Thanks for any help :)
14
votes
1answer
2k views

Zeta function zeros and analytic continuation

I'm learning about the zeta function and already discovered the intuitive proof of the Euler product and the Basel problem proof. I want to learn how to calculate the first zero of the Riemman Zeta ...
29
votes
1answer
985 views

Which sets are removable for holomorphic functions?

Let $\Omega$ be a domain in $\mathbb C$, and let $\mathscr X$ be some class of functions from $\Omega$ to $\mathbb C$. A set $E\subset \Omega$ is called removable for holomorphic functions of class $\...
7
votes
3answers
4k views

Proving $\sum\limits_{k=0}^{n}\cos(kx)=\frac{1}{2}+\frac{\sin(\frac{2n+1}{2}x)}{2\sin(x/2)}$

I am being asked to prove that $$\sum\limits_{k=0}^{n}\cos(kx)=\frac{1}{2}+\frac{\sin(\frac{2n+1}{2}x)}{2\sin(x/2)}$$ I have some progress made, but I am stuck and could use some help. What I did: ...
26
votes
9answers
41k views

“Where” exactly are complex numbers used “in the real world”?

I've always enjoyed solving problems in the complex numbers during my undergrad. However, I've always wondered where are they used and for what? In my domain (computer science) I've rarely seen it be ...
20
votes
5answers
3k 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 ...
15
votes
4answers
6k 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 ...
5
votes
2answers
2k views

About the limit of the coefficient ratio for a power series over complex numbers

This is my first question in mathSE, hope that it is suitable here! I'm currently self-studying complex analysis using the book by Stein & Shakarchi, and this is one of the exercises (p.67, Q14) ...
17
votes
3answers
1k 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 ...
20
votes
5answers
2k views

Evaluate: $\int_0^{\pi} \ln \left( \sin \theta \right) d\theta$

Evaluate: $ \displaystyle \int_0^{\pi} \ln \left( \sin \theta \right) d\theta$ using Gauss Mean Value theorem. Given hint: consider $f(z) = \ln ( 1 +z)$. EDIT:: I know how to evaluate it, but I am ...
7
votes
3answers
2k views

Prove if $|z| < 1$ and $ |w| < 1$, then $|1-zw^*| \neq 0$ and $| {{z-w} \over {1-zw^*}}| < 1$

Prove if $|z| < 1$ and $ |w| < 1$, then $|1-zw^*| \neq 0$ and $| {{z-w} \over {1-zw^*}}| < 1$Given that $|1-zw^*|^2 - |z-w|^2 = (1-|z|^2)(1-|w|^2)$I think the first part can be proven by ...
10
votes
5answers
6k views

Why: A holomorphic function with constant magnitude must be constant.

How can I prove the following assertion? Let f be a holomorphic function such that |f| is a constant. Then f is constant. Edit: The more elementary the proof, the better. I'm working my way ...
42
votes
10answers
4k views

What's the difference between $\mathbb{R}^2$ and the complex plane?

I haven't taken any complex analysis course yet, but now I have this question that relates to it. Let's have a look at a very simple example. Suppose $x,y$ and $z$ are the Cartesian coordinates and ...
21
votes
1answer
2k views

Showing that the roots of a polynomial with descending positive coefficients lie in the unit disc.

Let $P(z)=a_0+a_1z+\cdots+a_nz^n$ be a polynomial whose coefficients satisfy $$0<a_0<a_1<\cdots<a_n.$$ I want to show that the roots of $P$ live in unit disc. The obvious idea is to use ...
15
votes
2answers
1k views

Infinite products - reference needed!

I am looking for a small treatment of basic theorems about infinite products ; surprisingly enough they are nowhere to be found after googling a little. The reason for this is that I am beginning to ...
6
votes
5answers
485 views

Evaluate $\int_0^\infty \frac{(\log x)^2}{1+x^2} dx$ using complex analysis

How do I compute $$\int_0^\infty \frac{(\log x)^2}{1+x^2} dx$$ What I am doing is take $$f(z)=\frac{(\log z)^2}{1+z^2}$$ and calculating $\text{Res}(f,z=i) = \dfrac{d}{dz} \dfrac{(\log z)^...
7
votes
2answers
831 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)=...
2
votes
3answers
2k views

Difficulties performing Laurent Series expansions to determine Residues

The following problems are from Brown and Churchill's Complex Variables, 8ed. From §71 concerning Residues and Poles, problem #1d: Determine the residue at $z = 0$ of the function $$\frac{\cot(z)}{...
24
votes
4answers
824 views

Closed form for $\sum_{n=-\infty}^{\infty}\frac{1}{(n-a)^2+b^2}$.

What is the closed form for $\sum_{n=-\infty}^{\infty}\frac{1}{(n-a)^2+b^2}$? We can use Fourier series of $e^{-bx}$ ($|x|<\pi$) to evaluate $\sum_{n=-\infty}^{\infty}\frac{1}{n^2+b^2}$. But this ...
11
votes
2answers
2k views

Let $f(z)$ be entire function. Show that if $f(z)$ is real when $|z| = 1$, then $f(z)$ must be a constant function using Maximum Modulus theorem

Let $f(z)$ be entire function. Consider the functions $e^{if(z)}$ and $e^{−if(z)}$ and applying the Maximum Modulus Theorem, show that if $f(z)$ is real when $|z| = 1$, then $f(z)$ must be a constant ...
5
votes
2answers
664 views

Principal value of the singular integral $\int_0^\pi \frac{\cos nt}{\cos t - \cos A} dt$

For a constant $0<A<\pi$, and natural $n$ I want to find the principal value of the integral: $$\int_0^\pi \frac{\cos nt}{\cos t - \cos A} dt$$ First of all, I'm not certain what function in ...
2
votes
3answers
347 views

How do I compute $\int_{-\infty}^\infty e^{-\frac{x^2}{2t}} e^{-ikx} \, \mathrm dx$ for $t \in \mathbb{R}_{>0}$ and $k \in \mathbb{R}$?

Let $t \in \mathbb{R}_{>0}$ and $k \in \mathbb{R}$. I want to find $$\int_{-\infty}^\infty e^{-\frac{x^2}{2t}} e^{-ikx} \, \mathrm dx.$$ A hint told me to first determine $\int_{-\infty}^\infty e^{-...
0
votes
1answer
226 views

For what values $\alpha$ for complex z $\ln(z^{\alpha}) = \alpha \ln(z)$?

For example, when $\alpha = 2$, $\ln(z^{2}) \neq 2\ln(z)$, because argument z is determined up to constant $2 \pi k$. So $$ \ln(z^{2}) = \ln(z) + \ln(z) = \ln(z_{k_{1}}) + \ln(z_{k_{2}}) \neq 2\ln(z_{...
32
votes
6answers
2k views

A closed form for the sum $\sum_{n=1}^{\infty}\left(\frac{H_n}{n}\right)^2$

How can I find a closed form for the following sum? $$\sum_{n=1}^{\infty}\left(\frac{H_n}{n}\right)^2$$ ($H_n=\sum_{k=1}^n\frac{1}{k}$).
15
votes
2answers
6k views

Proof that 1-1 analytic functions have nonzero derivative

I recently saw a lecturer prove the following theorem (assuming the result that every analytic function is locally 1-1 whenever its derivative is nonzero): Let $\Omega \subset \mathbb{C}$ be open, and ...
14
votes
5answers
7k views

How do I rigorously show $f(z)$ is analytic if and only if $\overline{f(\bar{z})}$ is?

I'm doing a bit of self study, but I'm uncomfortable with a certain idea. I want to show that $f(z)$ is analytic if and only if $\overline{f(\bar{z})}$ is analytic, and by analytic I mean ...
6
votes
2answers
3k views

Computing $\int_{-\infty}^{\infty} \frac{\cos x}{x^{2} + a^{2}}dx$ using residue calculus

I need to find $\displaystyle\int_{-\infty}^{\infty} \frac{\cos x}{x^{2} + a^{2}}\ dx$ where $a > 0$. To do this, I set $f(z) = \displaystyle\frac{\cos z}{z^{2} + a^{2}}$ and integrate along the ...
18
votes
2answers
1k views

If $f,g$ are both analytic and $f(z) = g(z)$ for uncountably many $z$, is it true that $f = g$?

If two analytical functions of $\mathbb{C}$ f and g are equal on an infinite number of input values, than they are equal. I can't seem to find a counterexample, but I haven't seen this anywhere ...
14
votes
2answers
2k views

if $f$ is entire and $|f(z)| \leq 1+|z|^{1/2}$, why must $f$ be constant?

How can we prove that if $f:\mathbb{C}\rightarrow\mathbb{C}$ is holomorphic (analytic) and $|f(z)| \leq 1+|z|^{1/2} \forall z$, then $f$ is constant? Liouville's theorem springs to mind, but I can't ...
6
votes
5answers
533 views

If $z_n \to z$ then $(1+z_n/n)^n \to e^z$

We are dealing with $z \in \mathbb{C}$. I know that $$ \left(1+ \frac{z}{n} \right)^n \to e^{z} $$ as $n \to \infty$. So intuitively if $z_n \to z$ then we should have $$ \left(1+ \frac{z_n}{n} \right)...
5
votes
4answers
474 views

A question in Complex Analysis $\int_0^{2\pi}\log(1-2r\cos x +r^2)\,dx$

My problem is to integrate this expression: $$\int_0^{2\pi}\log(1-2r\cos x +r^2)dx.$$ where $r$ is any constant in $[0,1]$. I know the answer is zero. Can you explain you idea to me or just prove ...
4
votes
3answers
611 views

showing a function defined from an integral is entire

Let $f$ be a continuous complex-valued function on the unit interval. For any complex number $z$, define $F(z)=\int _0 ^1 f(t) e^{zt} dt$. How do I show that $F$ is entire?
2
votes
4answers
157 views

Values for $(1+i)^{2/3}$

This question might seem easier than I'm making it seem. But how many values are there for $(1+i)^{2/3}$? Do I let $z=(1+i)^{2/3}$ so that $z^3=2i$? I'm asked to write each in polar coordinates and in ...
7
votes
4answers
928 views

How to show that the modulus of $\frac{z-w}{1-\bar{z}w}$ is always $1$?

Let's suppose that $|z|<1$ and $|w|=1$. Show that the modulus of $\displaystyle \frac{z-w}{1-\bar{z}w}$ is always $1$. Some hint.
4
votes
2answers
161 views

Entire function with vanishing derivatives?

Let $f:\mathbb{C}\rightarrow\mathbb{C}$ be an entire function. And assume that at each point, one of it's derivatives vanishes. What can you say about $f$? A hint suggests that $f$ must be a ...
3
votes
5answers
696 views

Does $i^i$ and $i^{1\over e}$ have more than one root in $[0, 2 \pi]$

How to find all roots if power contains imaginary or irrational power of complex number? How do I find all roots of the following complex numbers? $$(1 + i)^i, (1 + i)^e, (1 + i)^{ i\over e}$$ EDIT:: ...
173
votes
4answers
14k views

The Integral that Stumped Feynman?

In "Surely You're Joking, Mr. Feynman!," Nobel-prize winning Physicist Richard Feynman said that he challenged his colleagues to give him an integral that they could evaluate with only complex methods ...
28
votes
6answers
2k views

Characterizing nonconstant entire functions with modulus 1 on the unit circle

Is there a characterization of the nonconstant entire functions $f$ that satisfy $|f(z)|=1$ for all $|z|=1$? Clearly, $f(z)=z^n$ works for all $n$. Also, it's not difficult to show that if $f$ is ...
15
votes
3answers
467 views

Infinite Series $\sum_{n=0}^\infty\frac{(-1)^n}{(2n+1)^{2m+1}}=\frac{(-1)^m E_{2m}\pi^{2m+1}}{4^{m+1}(2m)!}$

I'm looking for a way to prove $$\sum_{n=0}^\infty\frac{(-1)^n}{(2n+1)^{2m+1}}=\frac{(-1)^m E_{2m}\pi^{2m+1}}{4^{m+1}(2m)!}$$ Since $$\sum_{n=0}^\infty\frac{(-1)^n}{(2n+1)^{2m+1}}=\frac{1}{4^{2m+1}}\...
10
votes
3answers
2k views

Integral evaluation $\int_{-\infty}^{\infty}\frac{\cos (ax)}{\pi (1+x^2)}dx$ [duplicate]

Possible Duplicate: Calculating the integral $\int_{0}^{\infty} \frac{\cos x}{1+x^2}\mathrm{d}x$ without using complex analysis I need help to evaluate the integral of $$\int_{-\infty}^{\...
10
votes
1answer
3k views

Show that $\int_0^ \infty \frac{1}{1+x^n} dx= \frac{ \pi /n}{\sin(\pi /n)}$ , where $n$ is a positive integer.

Using residues, try the contour below with $R \rightarrow \infty$ and $$\lim_{R \rightarrow \infty } \int_0^R \frac{1}{1+r^n} dr \rightarrow \int_0^\infty \frac{1}{1+x^n} dx$$ I've ...
29
votes
1answer
1k 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.