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

What does "vanish identically" mean?

This is from Stein's Complex Analysis: Suppose that $f$ is holomorphic in a connected open set $\Omega$, has a zero at a point $z_0 \in \Omega$, and does not vanish identicallly in $\Omega$. Then, there exists a neighborhood $U\in\Omega$ of $z_0$,…
user34183
  • 531
5
votes
2 answers

Schwarz Lemma Extension

Let $f: \Omega \rightarrow \Omega$ be holomorphic where $\Omega \subset \mathbb{C}$ is a bounded region containing 0. If $f(0)=0$ and $f'(0)=1$, does $f(z)=z$? This is true if $\Omega$ is a disk centered at 0 but does it hold if $D$ is only…
Mykie
  • 7,037
5
votes
1 answer

Show that for this holomorphic function $ f$, $|f(z)| \le 4|$ if $|z|=2$

Let $f$ be a holomorphic function on some open neighbourhood $U$ of the ring $ D = \{ z: 1 \le |z| \le 3 \} $ such that $ |f(z)| \le 1 $ for $ |z| = 1 $ and $ |f(z)| \le 9 $ for $ |z| = 3 $. Prove that $ |f(z)| \le 4 $ for $ |z| = 2 $. This looks…
5
votes
2 answers

Suppose $f$ is entire and $|f(z)| \leq A + B |z|^{3/2}$. Show that $f$ is a linear polynomial.

Suppose $f$ is entire and $|f(z)| \leq A + B |z|^{3/2}$. Show that $f$ is a linear polynomial. My attempt: Since $f$ is entire, we know that it has a Taylor series expansion on the circle $|z| = R$, that is $f(z) = \sum_{n = 0}^\infty a_n z^n$. By…
mathscrazy
  • 1,837
5
votes
1 answer

If $|f(z)|\lt a|q(z)|$ for some $a\gt 0$, then $f=bq$ for some $b\in \mathbb C$

If $q\colon\mathbb{C}\to\mathbb{C}$ is a polynomial, $f\colon\mathbb{C}\to\mathbb{C}$ is analytic on all of $\mathbb{C}$, and if there exists $a\gt 0$ such that $|f(z)| \lt a|q(z)|$ for every $z\in \mathbb{C}$, then $f = bq$ for some $b\in…
lively
  • 150
5
votes
4 answers

Equality of modulus at the boundary of a bounded domain

Let $G$ be a bounded domain, $f$ and $g$ holomorphic and continuous functions on whole $\overline{G}$ and let $|f(z)|=|g(z)|$ for all $z\in \partial G$. What can we say about $f$ and $g$? Define: $h(z) = \frac{f(z)}{g(z)}$, if g has zero-points,…
bakabakabaka
  • 1,002
5
votes
5 answers

Is it true that $f(z)=u(z,0)+iv(z,0)$ for complex $z$ and why?

As in the title, i came across this equivalence $$f(z)=f(x+iy)=u(x,y)+iv(x,y)=u(z,0)+iv(z,0)$$ while reading my notes on complex analysis, and tried to see why is it true, but i couldn't figure it out. Maybe it could be true only in the case that f…
Mano Plizzi
  • 810
  • 5
  • 21
5
votes
1 answer

If $|f(z)|=1$ , $f$ is holomorphic then $f$ is constant

Let $G\subset \mathbb{C}$ be a region, $f$ a holomorphic function. Then it does hold that: If $f(G) \subset \mathbb{R} \Rightarrow f$ is constant If $|f(z)|=1$ for all $z \in G$, then $f$ is constant. Proof of 1: $f$ is holomorphic, so it…
bakabakabaka
  • 1,002
5
votes
3 answers

Why the integral of $\frac{1}{z}$ over a closed curve is not $0$.

Consider the path $\gamma: [0,2\pi]\rightarrow \mathbb{C}$ given by $\gamma(t) = e^{it}$. Let $f(z) = \frac{1}{z}, z\neq 0$. I worked out the integral $$\int_\gamma f = \int_{0}^{2\pi} f(\gamma(t))\gamma'(t) dt = 2\pi i$$ However, $f$ is continuous…
fosho
  • 6,334
5
votes
1 answer

Principle branch of $\sqrt{1-z}$

I am asked to find the principle branch of the complex function $$f(z) = \sqrt{1-z}$$ I know that the principle branch of $z^{1/2}$ is given by $\exp(\frac{1}{2} \log(z))$ where $$\log(z) = \log(|z|)+i\arg(z)$$ is the principle branch of the…
fosho
  • 6,334
5
votes
5 answers

Geometric proof that $\left|\frac{i-z}{i+z}\right|<1$ for $z\in \mathbb{H}$

I just read a proof in a complex analysis book that says there exists a biholomorphic (conformal) map between $\mathbb{H}$ and $\mathbb{D}$ and I don't understand one step in the proof, namely the norm of the map (in the title) is less than $1$,…
Squirtle
  • 6,698
5
votes
1 answer

$|f|\leq |g|$ on $\mathbb{C}$, then $f=cg$.

Let $f$ and $ g$ be entire functions with $|f(z)|\leq |g(z)|$ for all $z\in \mathbb{C}$. Is it true that $f=cg$ for some $c\in \mathbb{C}$? My attempt: If $g=0$, we are done. Suppose then that $g$ is not identically zero. Let $h=f/g$. Fix an…
5
votes
2 answers

Is $f(z)=\frac{1}{z}$ an entire function?

Of course $f(z)=\frac{1}{z}$ is not an entire function since following limit doesn't exists. $$\lim_{z \to 0} \frac{\frac{1}{z} - 0}{z-0} =\lim_{z \to 0} \frac{1}{z^2}=\infty$$ However, if I take $\mathbb{C} \cup\{\infty\}$, as a domain and range of…
MrTanorus
  • 637
5
votes
1 answer

A Pick Lemma like problem

Let $f$ be analytic on the unit disc $D$ and bounded in modulus by $M$ there. I want to show that $|f'(z)|\le \frac{M}{1-|z|}$ for all $z\in D$. I want to use Schwarz's lemma here after some suitable FLTs, as in the proof of Pick's lemma, but I…
Thelonius
  • 937
5
votes
2 answers

Continuous complex function (2 variables)

Let $f$ be analytic on the open set $G\subset \mathbb{C}$. What's the best way of showing that the function $\phi:G \times G \to \mathbb{C}$ defined by $\phi(z,w)=[f(z)-f(w)]/(z-w)$ for $z \neq w$ and $\phi(z,z)=f'(z)$ is continuous? This is obvious…
user1971