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
10
votes
2 answers

Holomorphic function injective on annulus $\Rightarrow$ injective on unit disk?

Let $f(z)$ be analytic on the unit disc, and suppose that there is an annulus $U = \{z ∈ C \mid r < |z| < 1\}$ such that $f(z)$ restricted to the annulus $U$ is injective. Show that $f$ is injective on the unit disc. I tried to show that $g(z) =…
Tuyet Nhi
  • 243
10
votes
4 answers

Infinity plus Infinity

Let $a \in \mathbb{C}$. Ahlfors says we let $a + \infty = \infty$ and $a \cdot \infty = \infty$. But we cannot define $\infty + \infty$ without violating the laws of arithimetic (i.e. field axioms). I don't see why this is. Don't we have $\infty +…
richy
  • 133
10
votes
5 answers

Similar to Cauchy inegral formula

Let $f=u+iv$ be an analytic function in disk $\mathbb{D}$ and $0
9
votes
2 answers

Proof that $\frac{1}{2\pi i}\oint f'(z)/f(z) \, dz = n$

My text gives a much more complicated proof of this result, which makes me wonder if the argument I have in my head for this has something wrong with it. Does this work, or have I made a bad assumption somewhere along the line? Let $U \subseteq…
9
votes
1 answer

Finite Blaschke product and proper maps on the unit disc

I have to present tomorrow on an introductory section in several complex variables about proper maps, and they gloss over a fact that seems important to me, but I do not know how to prove it. Suppose $f: \Bbb D \to \Bbb D$ is an analytic proper…
Johnny Apple
  • 4,211
9
votes
1 answer

Infinite number of poles and residue theorem

I suppose a stupid question but I was wondering about it for a while: Can one apply the residue theorem to a function $f$ which is defined and holomorphic on $U-\{a_1,a_2,\dots\}$ where $U$ is simply connected open subset of the complex plane and…
9
votes
1 answer

Zeroes of a holomorphic function

Where can I find a proof/reference for the following fact? Let $f$ be a holomorphic function with a zero of order $n$ at $z = 0$. Then for sufficiently small $\epsilon > 0$, there exists $\delta > 0$ such that for all $a$ with $0 < |a| < \delta$,…
Joe
  • 91
9
votes
0 answers

Subadditivity for Analytic Capacity Disjoint Compacts separated by a Line

The following problem is asked in Greene and Krantz, Problem 9, page 382: Suppose that $C_1$ and $C_2$ are disjoint compact sets in $\mathbb{C}$ that can be separated by a line $l$ with $C_1 \cap l = C_2 \cap l = \emptyset$. Show that …
9
votes
2 answers

Laurent series, am I correct in this reasoning?

A problem in my book asks: In the Laurent series for $\displaystyle f(z) = \frac{1}{(z-4)}$ centered at $z=1$, what is the coefficient of $(z-1)^{-2}$? The book's solution gives $$\frac{1}{4-z} = \frac{1}{z-1-3} =…
9
votes
1 answer

What type of singularity $\sin(\frac{1}{\cos(\frac{1}{z})})$ has? (GATE 2009)

Determine the type of singularity at $z = 0$ of the following function and why? $$f(z) = \sin \left(\frac{1}{\cos (\frac{1}{z})}\right).$$ I have no idea. Thank you for your answer.
Supriyo
  • 6,119
  • 7
  • 32
  • 60
9
votes
2 answers

Invariance of cross ratio under Möbius transformation and another problem related to cross ratio.

Problem statement: Given $z_1,z_2,z_3,z_4$ different points of $\overline {\mathbb C}$, we define the cross ratio $(z_1,z_2,z_3,z_4)$ as $(z_1,z_2,z_3,z_4)=\dfrac{z_1-z_2}{z_1-z_4}\dfrac{z_3-z_4}{z_3-z_2}$. Note that $(z_1,z_2,z_3,z_4)$ is the image…
user100106
  • 3,493
9
votes
1 answer

A Better Proof for the converse of Cauchy's Theorem for Rectangles?

So the question asked to prove the following: "Prove that if f is a continuous complex valued function in the open subset G of the complex plane, and if the integral of $f(z)dz = 0$ over every rectangle R, with edges parallel to the coordinate…
I Love Cake
  • 1,243
9
votes
1 answer

What can the multiset of zeros of a meromorphic function look like?

Suppose I have a multiset $S$ of complex numbers. Under what conditions is there a meromorphic function $f$ whose zeros are precisely the elements of $S$, and have the same multiplicities? I know that $S$ must be a discrete set (unless it is the…
Tanner Swett
  • 10,624
9
votes
1 answer

Homework Problem: Complex Analysis Chain Rule

My classmates and I were given that we had to verify, \begin{eqnarray} \frac{\partial}{\partial z} (f \circ g) = (\frac{\partial f}{\partial z} \circ g)(\frac{\partial g}{\partial z}) + (\frac{\partial f}{\partial \bar{z}} \circ g)(\frac{\partial…
Bark
  • 93
9
votes
1 answer

Let $M_1,M_2,M_3,M_4$ be the suprema of $|f|$ on the edges of a square. Show that $|f(0)|\le \sqrt[4]{M_1M_2M_3M_4}$

Let $G$ denote the interior of the square with vertices $1,i,-1,-i$. Suppose $f$ is holomorphic on $G$ extends continuously to $\overline{G}$, and $M_1,M_2,M_3,M_4$ are the suprema of $|f|$ on the edges of $G$. Show that $$|f(0)|\le…
BigTree
  • 329