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
1 answer

Proof of the Extended Liouville's Theorem

I'm trying to prove the Extended Liouville's Theorem: Let $f$ be an entire function. Assume that for some $k \in \mathbb{N}$, and sufficiently large $|z|$, we have that $|f(z)| \leq A + B |z|^k$. Prove that $f$ is a polynomal of degree at most…
user82261
  • 1,237
6
votes
1 answer

Proving an analytic function $f$ is bounded on $|z|\le1/2$ independent of $f$ subject to certain conditions

Let $f:D(0,1) \to \mathbb C$ be analytic. Show that there is a constant $C$ independent of $f$ such that if $f(0)=1$ and $f(z) \notin (-\infty,0]$ for all $z \in D(0,1)$, then $|f(z)| \le C$ whenever $|z| \le 1/2$. I have (finally) figured out how…
user544680
6
votes
1 answer

What is the easiest way to see that there are no nonconstant holomorphic forms on the Riemann Sphere?

I've heard this result bandied about many times, and I know that it follows from e.g. the theory of divisors, but I'd like to see some simpler, straightforward ways of proving this fact.
Tony
  • 6,718
6
votes
1 answer

Entire function. Prove that $f(\bar{z})=\overline{f(z)}, \forall z\in C$

Let $f$ a entire function: $f(R)\subset R.\;$ Prove that $f(\bar{z})=\overline{f(z)}, \forall z\in C$
6
votes
2 answers

Why the number of points where $f$ ramifies is finite?

I know roughly that there is a theorem in complex analysis saying that if $f$ has degree $e_x>1$ at point $x$, which is $f(z)=(x-z)^{e_x}g(z)$, then $f^{-1}(y)$ has $e_x$ different preimages in a neighborhood of $y$. In a complex Riemann surface, we…
hxhxhx88
  • 5,257
6
votes
1 answer

Two basic complex analysis homework questions

I have some homework problems from Greene and Krantz' Function Theory of One Complex Variable. They come from Chapter 5. I definitely do not want answers, just light prodding in the right direction. Let $f_j: D(0, 1)\to\mathbb C$ be …
leif
  • 245
6
votes
2 answers

Branch cut question

I have a function $$f(z)=(z-1)^{3/5}(z+1)^{2/5}$$ and I have the branch of this function chosen such that $$-\pi<\arg(z\pm1)\leq\pi$$ How do I show that a branch cut is not required on the section $(-\infty,1)$ of the real axis? I have defined…
L.oiler
  • 179
6
votes
2 answers

$P(z)$ defines a polynomial

Suppose that $f$ is analytic in a simply connected domain $D$ containing distinct points $z_1, z_2 ,\ldots,z_n $ and that $\gamma$ is simple closed curve enclosing $z_1, z_2 ,\ldots,z_n $. Set $w(z)= \prod_{k=1}^n (z-z_k)$ . Prove that $$P(z)…
Deepak
  • 1,616
6
votes
1 answer

An entire function whose integral is bounded is identically zero

Suppose $f$ has a power series at $0$ that converges in all of $\mathbb{C}$ and $$\int_{\mathbb{C}} |f(x+iy)|dxdy$$ Converges. Prove $f$ is identically zero. I don’t know Liouville’s theorem or any integral formulas yet, so I’m a bit stuck on this…
meiji163
  • 3,959
6
votes
1 answer

Analyticity of a function depending on $z$ and $\bar{z}$

Say $z \in \mathbb{C}$ and $\bar{z}$ the complex conjugate (i.e. with $\bar{z} z = \left|z \right|^2$). Can a function of $z$ and $\bar{z}$ be analytical? Example: $f(z,\bar{z}) = Az^3 + B \bar{z} z$ I thought no, because the partial derivatives…
rubenvb
  • 599
6
votes
0 answers

Why the factor $e^{g(z)}$ in the Weierstrass factorization theorem?

The Weierstrass factorization theorem is usually stated as such (quote from Wikipedia): Let $f$ be an entire function, and let $\{a_n\}$ be the non-zero zeros of $f$ repeated according to multiplicity; suppose also that $f$ has a zero at $z = 0$ of…
Stefan
  • 6,360
6
votes
2 answers

Using Green's Theorem to compute area in the complex plane

I'm attempting to use Green's Theorem to express the area of a region in the complex plane in terms of a contour integral, but I'm a little confused as to how this works. I have a simple closed curve $\gamma$ with interior $D$, and I believe I'm…
Rick
  • 61
6
votes
1 answer

Limits of complex function in a strip

I'm solving the following problem. Let $\Omega = \lbrace z \in \mathbb{C} : -1< \operatorname{Im} z <1 \rbrace$ and $f$ be a holomorphic function from $\Omega$ to the unit disk satisfying its limit to $ \infty$ along real axis is 0. Then prove that…
6
votes
2 answers

Prove $\exp: \Bbb C \to \Bbb C^\times$ is surjective

We define the complex exponential function: $$\begin{array}{rcl} \exp:\Bbb C &\to& \Bbb C^\times \\ z &\mapsto& \exp(z)=\displaystyle{\sum_{n=0}^\infty \frac{z^n}{n!}.} \end{array}$$ I wan't to show that this map is surjective. My idea is to…
blat
  • 1,050
6
votes
1 answer

What can be said about the convergence on $|z|=1$?

I already found the radius of convergence of the power series $:$ $$\sum_{n=1}^{\infty} \frac {(-1)^n} {n} z^{n(n+1)}.$$ What happens at the boundary of disk of convergence? I found that the radius of convergence to be $1$ and hence the disk of…
user251057