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

Essential singularity

This is an exercise from Gamelin. If $f(z)$ is a complex function with a not removable singularity in $ z_{0} \ $, then $e^{f(z)} \ $ has an essential singularity in $z_{0} $. Any hint?
WLOG
  • 11,436
6
votes
2 answers

Proving $\prod_k \sin \pi k / n = n / 2^{n-1}$

I am stuck trying to prove $$\prod_{k=1}^{n-1} \sin {\pi k \over n} = {n \over 2^{n-1}}$$ and I'd appreciate help. What I have done so far: $z^n - 1 = \prod_{k=1}^n (z - \xi^k)$ where $\xi = e^{2 \pi i k\over n}$. Dividing both sides by $z-1$ we…
Anna
  • 1,757
6
votes
1 answer

What is the number of zeroes of $z^4+4z^3+6z^2-4z+3$ inside $|z-1|<1$?

I've been practicing some problems on Rouche's theorem, but this one has given me trouble. How can I find how many zeroes of $z^4+4z^3+6z^2-4z+3$ inside $|z-1|<1$? The given polynomial looks similar to $(z-1)^4=z^4-4z^3+6z^2-4z+1$, so I let $g(z)$…
Hana Bailey
  • 1,699
6
votes
2 answers

Every power series expansion for an entire function converges everywhere

I would like to show that every power series expansion for an entire function converges everywhere.
Anand
  • 71
6
votes
3 answers

Bolzano-Weierstrass theorem (complex case)

I'm trying to prove Bolzano-Weierstrass Theorem to the complex case, i.e., if $(z_n)$ a complex sequence is bounded, then there is a subsequence of $z_n$ which converges. I'm trying to use the real case of the Bolzano-Weierstrass theorem to prove…
user42912
  • 23,582
6
votes
3 answers

Can a non-constant analytic function have infinitely many zeros on a closed disk?

I think not, however my proof is quite sketchy so far $...$ My attempt: Suppose an analytic function f has infinitely many zeros on some closed disk $D$. Then there exists a sequence of zeros in $D$ with a limit point in $D$. Thus by the identity…
Will
  • 157
6
votes
3 answers

the generalized Liouville theorem

The Liouville theorem state: Let $f$ be an entire function for which there exists a positive number M such that $|f(z)|\leq M$ for all z in $\mathbb{C}$, the $f$ must be a constant. more general form of this theorem is : Let $f$ be an entire…
6
votes
1 answer

Order of the entire function: $\prod\limits_{n=1}^{\infty} \left(1-\frac{z}{n^k}\right)$

Please how to find order of $$ f_k(z) = \prod\limits_{n=1}^{\infty} \left(1-\frac{z}{n^k}\right) .$$ Let $M(r) = \max \{|f_k(z)|:|z| = r\}.$ Then order of $f_k(z)$ is defined as : $$\lambda = \limsup_{r\to \infty} \frac{\log \log M(r)}{\log r}.$$ …
Yuri
  • 61
6
votes
1 answer

Equality in the Schwarz-Pick theorem implies function is a linear fractional?

Part of the Schwarz-Pick Theorem states that for an analytic automorphism of the unit disk, then $$ \frac{|f'(z)|}{1-|f(z)|^2}\leq\frac{1}{1-|z|^2}. $$ In the Wikipedia article of the Schwarz-Pick theorem, it is mentioned that if equality holds,…
Nastassja
  • 1,515
6
votes
1 answer

Applying representation $f(z)=w_0+\zeta(z)^n$ to $\cos z$ (from Ahlfors' Complex Analysis).

I'm working on an exercise which asks to apply the representation $f(z)=w_0+\zeta(z)^n$ to $\cos z$ with $z_0=0$, and determine $\zeta(z)$ explicitly. (This is from Ahlfors, page 133, ex. 3 by the way). Now $\cos(0)=1$, so $w_0=1$. Also, $\cos z-1$…
Dedede
  • 3,061
6
votes
2 answers

There aren't non-holomorphic polynomials, right?

Full disclosure: I'm taking my first complex analysis course as a graduate student and the title of my question looks like a dumb question to me. In any case, there's a problem in my book that deals with a sequence of "holomorphic polynomials"…
eeeeeeeeee
  • 2,251
6
votes
3 answers

Complex Analysis: Show that $Arg(z)$ is discontinuous at each point on the nonpositive real axis.

That's the question. I'm not entirely how to prove, per se, that $Arg(z)$ is discontinuous at every point on the nonpositive real axis. By definition, $- \pi < Arg(z) \leq \pi$, so I'm not sure what there is to show?
Lerbi
  • 303
  • 2
  • 9
6
votes
2 answers

Singularities of $ {1}/{\cos(\frac{1}{z})}$

I would like to determine the singularities of $f$, given by $$f(z) = \frac{1}{\cos(\frac{1}{z})}.$$ It is clear to me that $z = 0$ and $z = \frac{2}{(1+2k)\pi}$ for $k\in\mathbb Z$ are singularities. However, I don't know how to handle by $$…
user55268
6
votes
0 answers

Prove there is no branch of arg $z$ on $0 < z < 1$.

If $G$ is an open connected subset of $\mathbb{C}$ that does not contain the origin, we call a continuous function $\alpha$ satisfying $\alpha(z) = \text{arg} z$ for all $z \in G$ a branch of arg $z$. Prove there is no branch of arg z (and…
mlg4080
  • 1,805
6
votes
1 answer

Showing an open connected subset of $\mathbb{R}^n$ is path-connected

In the above proof the following equivalence is used at the last step: A space $M$ is connected if and only if the only open and closed subsets of $M$ are $\emptyset$ and $M$ (ie. there are no proper open and closed subsets). However I do not…
suarko
  • 274