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.

Complex analysis is a branch of mathematical analysis that investigates functions of one or several complex variables. Typical topics include Cauchy's integral formula, singularities, poles, holomorphic and meromorphic functions, Laurent and Taylor series, maximum modulus principle, isolated zeros principle, etc.

Independent variable and dependent variable of complex functions are both complex numbers, and may be separated into real (denoted by $\Re$) and imaginary parts (denoted by $\Im$) : $z = x +iy$ and $w = f(z) =u(x,y)+iv(x,y)$ where $x, y \in \mathbb{R}$, $u(x,y)$ and $v(x,y)$ being real-valued functions.

A fundamental result of complex analysis is the Cauchy-Riemann equations, which give the conditions for a function to have a complex derivative, which is a complex generalization of the (real) derivative. If the complex derivative is defined at each point in an open connected subset of $\mathbb C$, the function is called analytic, or holomorphic. If the complex derivative is defined at each point in $\mathbb C$, the function is called entire.

51771 questions
6
votes
3 answers

Möbius transformations and concentric circles

Given a Möbius transformation that maps one pair of concentric circles to another pair of concentric circles, why is the ratio of the radii preserved through the map? I thought about how Möbius transformations are compositions of rotations,…
user1736
  • 8,573
6
votes
1 answer

Find all complex numbers satisfying the equation.

Find all complex numbers satisfying $\cos(z) = i$.
Basak
  • 61
6
votes
1 answer

find all the entire functions that satisfy $|f(z)| \le C^{Im(z)}$

Find all the entire functions that satisfy : $$|f(z)| \le C^{Im(z)}$$ for a positive $C$ My solution: I said that if $f(z)$ is entire, then also $e^{-if}$ is entire, and also: $h(z)=\frac{f}{e^{-if}}$ is entire. ($|e^{-if}|>0$) then:…
6
votes
1 answer

maximum modulus principle with a discontinuity on the boundary

Prove the following extension of the Maximum modulus principle. Let $f$ be holomorphic and bounded on $ |z|<1$ and continuous on $ |z|\le 1$ except maybe at $z=1$. If $ |f(e^{i\theta}| \le A $ $ \forall$ $ \theta$ such that $ 0<\theta <2\pi$, then…
Joseph
  • 223
6
votes
1 answer

Locus of $0<\arg(\frac{z+i}{z-i})<\pi/4$

I am studying Complex Analysis on my own and am having a bit of difficulty with finding the locus of $0<\arg(\frac{z+i}{z-i})<\pi/4$ rigorously. We can see geometrically (using Inscribed Angle Property) that the locus is the part of the plane…
orrn
  • 63
6
votes
2 answers

How to prove $a_0 + a_1 \cos \theta + a_2 \cos 2\theta + \cdots + a_n \cos n \theta$ has $2n$ different zeros, $\theta \in (0,2\pi)$.

$0 < a_0 < a_1 < \cdots < a_n$. Prove that $a_0 + a_1 \cos \theta + a_2 \cos 2\theta + \cdots + a_n \cos n \theta$ has $2n$ different zeros, $\theta \in (0,2\pi)$. [Hint: First prove that $P_n(z)=a_o+a_1z+a_2z^2+\cdots+a_nz^n$ has $n$ zeros in unit…
xixumei
  • 687
6
votes
1 answer

Evaluate $\int_0^\infty \frac{\ln^2(z)}{1+z^2}$dz by contour integration

Background: This is part b of problem 12.4.3 from Arfken, Weber, Harris Math Methods for Physicists to show that $\int_0^\infty \frac{\ln^2(z)}{1+z^2}$dz$=4(1-\frac{1}{3^3}+\frac{1}{5^3}-\frac{1}{7^3}+\dots)$. Part b of the question asks to show…
6
votes
2 answers

For holomorphic $f$, $f(\frac{z}{2})= \frac{1}{2}f(z) \Longrightarrow f(z) = z$

Let $f$ be a holomorphic function on the open unitary disk $\mathbb{D}$ and continuous on $\mathbb{\overline{D}}$. If $f(\frac{z}{2})= \frac{1}{2}f(z)$ for all $z\in \mathbb{\overline{D}}$ and $f(1)=1$, then $f(z)=z$ for all $z\in…
Sak
  • 3,866
6
votes
1 answer

Residues of Gamma Function at Poles

I am struggling to understand the result that the analytic continuation of the Gamma function, $\Gamma(z)$ has poles at $C \setminus \{0,-1,-2,.....\}$ and residues of $(-1)^k/k!$ at pole $k$. How may this be extended through the functional…
Callie12
  • 581
6
votes
2 answers

Prove that $\sin\frac{\pi}n·\sin\frac{2\pi}n···\sin\frac{(n-1)\pi}n=\frac{n}{2^{n-1}}$

How to prove that $$ \sin\dfrac{\pi}n·\sin\dfrac{2\pi}n···\sin\dfrac{(n-1)\pi}n=\dfrac{n}{2^{n-1}} $$ using the roots of $(z+1)^n-1=0$? My rough idea is to solve $(z+1)^n-1=0$ and use De Moivre's Theorem to find the product of roots to prove the…
Max
  • 63
6
votes
3 answers

Is there a map from a segment to a triangle?

Is there a conformal map from a sector in the circle with 60 degrees angle to a equilateral triange that maps the points 0, 1 and $exp (\frac{\pi i}{3})$ to the vertices of a triangle?
Olga
  • 331
6
votes
1 answer

A simple example related to Schwarz' lemma

Let $f$ be a holomorphic function on $B(0,R)$, where $R>0$. Assume that there exists an $M>0$ such that $\forall z\in B(0,R): |f(z)| \le M$ and a natural number $n$ such that $$ 0 = f(0)=f'(0) = ... = f^{(n)}(0).$$ $1)$ Prove that $\forall z\in…
Daniel
  • 1,717
6
votes
0 answers

Show that this function is entire

Possible Duplicate: Which sets are removable for holomorphic functions? Prove analyticity by Morera’s theorem Let $f$ be a continuous complex-valued function on $\mathbb{C}$ such that it is analytic everywhere outside $[-a,a] \subset \mathbb{R}$.…
Char
  • 61
6
votes
1 answer

How do you determine the angle of a branch cut in a composition of functions?

Given $\int\log{\frac{a^2+z^2}{z^2}}e^{ivz}$dz The integral along the branch cut from 0 to a and back: $$\int_0^a\log(\lvert\frac{a^2+z^2}{z^2}\rvert)+i\pi$$ $$\int_a^0\log(\lvert\frac{a^2+z^2}{z^2}\rvert)-i\pi$$ How were the angle's $\pm\pi$…
6
votes
1 answer

Prove Morera's Theorem in circles cases.

Suppose that f is continuous on C, and $$ \oint_C f(z)dz=0 $$ for every circle $C\in \mathbb C$. Prove f is holomorphic in C. How to deal with this cirlce case?
Gatsby
  • 469