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

Strengthened version of the Casorati-Weierstrass Theorem

Suppose the $f$ has an essential singularity at $z=a$.Prove that if $c\in \mathbb{C}$,and $\varepsilon >0$ are given,then for each $\delta >0$ there is a number $b$,$|c-b|<\varepsilon$,such the $f(z)=b$ has infinitely many solution in…
Ben
  • 3,608
  • 1
  • 20
  • 33
14
votes
3 answers

Is the complex exponential function injective, surjective and/or bijective - and why?

I was just reading about the e-function in the complex plane and was trying to understand the differences between the real and the complex case. Part of the problem is that the mapping of a 2-D plane to another 2-D plane is hard to visualize. My…
vonjd
  • 8,810
14
votes
6 answers

Proof of Cauchy Riemann Equations in Polar Coordinates

How would one go about showing the polar version of the Cauchy Riemann Equations are sufficient to get differentiability of a complex valued function which has continuous partial derivatives? I haven't found any proof of this online. One of my…
Mike
  • 479
14
votes
3 answers

An entire function is identically zero?

I'm preparing for a PhD prelim in Complex Analysis, and I encountered this question from an old PhD prelim: Suppose $f(z)$ is an entire function such that $|f(z)| \leq \log(1+|z|) \forall z$. Show that $f \equiv 0$. Well, for $z=0$, $|f(0)| \leq…
Libertron
  • 4,415
14
votes
3 answers

$f$ has an essential singularity in $z_0$. What about $1/f$?

Let $\Omega$ be a non-empty, open subset of $\mathbb C$. Consider an holomorphic function $f:\Omega \setminus \{z_0\} \to \mathbb C$ and suppose we know $z_0$ is an essential singularity of $f$. I am wondering what we can say about the function…
Romeo
  • 6,087
14
votes
3 answers

Calculating a real integral using complex integration

$$\int^\infty_0 \frac{dx}{x^6 + 1}$$ Does someone know how to calculate this integral using complex integrals? I don't know how to deal with the $x^6$ in the denominator.
Jim_CS
  • 5,331
14
votes
2 answers

Limit point of poles is essential singularity? Am I speaking nonsense?

The following is exercise 15 in section V.1 of Conway's Functions of One Complex Variable ("Classification of Singularities"). I'm currently studying for a complex analysis qualifying exam and this has appeared in the past. Let $f$ be analytic in…
John Adamski
  • 2,202
14
votes
2 answers

Creating surjective holomorphic map from unit disc to $\mathbb{C}$?

I'm trying to formulate a surjective holomorphic map from the unit disc ($\mathbb{D}$) to $\mathbb{C}$. I know that there exists $f: \mathbb{D} \rightarrow \mathbb{H}$, which is a biholomorphism from the unit disc to the upper half plane. I know…
r123454321
  • 2,069
13
votes
2 answers

Prove that $f$ is a polynomial if one of the coefficients in its Taylor expansion is 0

Suppose $f$ is an analytic function defined everywhere in $\mathbb{C}$ and such that for each $z_0 \in \mathbb{C}$ at least one coefficient in the expansion $$f(z) = \sum_{n = 0}^{\infty}c_n(z-z_0)^n$$ is equal to $0$. Prove that $f$ is a…
r123454321
  • 2,069
13
votes
2 answers

Why do we categorize all other (iso.) singularities as "essential"?

When dealing with isolated singularities, we classify each of these points as removable, pole (of order $k$), or essential. It easy to see that all isolated singularities must be of one of these three categories by construction: We define any…
Dustin Tran
  • 1,743
13
votes
3 answers

Prove the open mapping theorem by using maximum modulus principle

The open mapping theorem says a non constant analytic function maps open sets to open sets. The maximum modulus principle says if $f$ a non constant analytic function on an open connected set $D\subset\mathbb{C}$, then $|f|$ does not attain a local…
Frank Lu
  • 7,010
13
votes
1 answer

holomorphic functions and fixed points

I'm studying for a complex analysis exam, and I'm stuck on this problem from an old exam: Let $g$ be a holomorphic function on $|z|1$, with $|g(z)|\leq 1$ for all $|z|\leq 1$. (a) Show that for all $t\in C$ with $|t|<1$, the equation…
13
votes
3 answers

$f(z)$ and $\overline{f(\overline{z})}$ simultaneously holomorphic

Prove that the functions $f(z)$ and $\overline{f(\overline{z})}$ are simultaneously holomorphic. I take this to mean that $f(z)$ is holomorphic if and only if $\overline{f(\overline{z})}$ is holomorphic. Let $g(z)=\overline{f(\overline{z})}$. Note…
PJ Miller
  • 8,193
13
votes
2 answers

Show that this entire function is polynomial.

Let $f$ be an entire function such that $ |f(z)| \to \infty$ as $|z| \to \infty$. Prove that $f$ is a polynomial.
user61496
  • 483
13
votes
1 answer

Polynomial bounded real part of an entire function

Let $f(z)$ be an entire function whose real part is bounded by a polynomial in $|z|$. Does it follow that $f(z)$ is a polynomial? Or, without loss of generality and more suggestively $$(f(z)=\sum_{k=0}^\infty a_k z^k \quad \land \quad…