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

Singularity of $1/(1-z)$ at $z=1$

My book claims that $1/(1-z)$ has an essential singularity at $z=1$ by writing out the Laurent series and showing that there are infinitly many terms. Why isn't this just a pole of order 1? We can write this as $-1/(z-1)$, then the numerator is a…
8
votes
2 answers

A problem about generalization of Bezout equation to entire functions

Let $f_1,f_2,\ldots, f_n$ be $n$ entire functions, and they don't have any common zero as a whole (not in pairs), then can we assert that there exist $n$ entire functions $g_1,g_2,\ldots,g_n$,such that $F=f_1g_1+f_2g_2+\cdots+f_ng_n$ is zero…
cheng
  • 197
8
votes
2 answers

Continuous Extension of a Bounded Holomorphic Function on the unit disk?

Let $f$ be a bounded holomorphic function on the upper-half plane. Is it true that such a map always admits an (unique) extension to real line, so that $f$ is continuous on the closure of the upper half plane? I feel like the answer to this…
Braindead
  • 4,999
8
votes
4 answers

Book on Complex Analysis, geometrical approach...

I have already taken a course on Complex Variable. The course focused mainly on the analytical approach of the subject (power series, etc). Now, I want to study a more geometric view of the subject, specially regarding the work of the functions on…
Jarana
  • 705
8
votes
2 answers

Pole of order $\ge 2 \; \Rightarrow \;$ not injective

Let $D \subseteq \mathbb{C}$ be open and $f : D \rightarrow \mathbb{C}$ meromorphic with a pole of order $\ge 2$ in $a \in D$. Then $f$ is not injective. Is there an easy proof to this? This is not homework; it comes from user8268's answer in…
user108717
  • 83
  • 4
8
votes
2 answers

$f$ is entire and maps a rectangle to a rectangle, then $f$ is linear

The problem is in the subject line, I have it for homework. $f$ is a complex valued function. For completeness: Prove that if $f$ is an entire function and for some rectangle $R$, the image $f(R)$ is also a rectangle, then $f$ is linear. The…
8
votes
5 answers

Find all entire functions that satisfy $f(2z) = (1-2z)f(z)$

This is for homework, and I could use a little help. The question asks Find all entire functions that satisfy $f(2z) = (1-2z)f(z)$. Here is what I have done so far. Since $f$ is entire, I wrote $$ f(z) = \sum_{n=0}^{\infty} a_n z^n = a_0 + a_1z…
tylerc0816
  • 4,123
8
votes
2 answers

Is conjugate of holomorphic function holomorphic?

If $f(z)$ is holomorphic, does it follow that $g(z)=\overline{f(z)}$ is holomorphic? I'm looking at $$\lim_{z\rightarrow a}\dfrac{g(z)-g(a)}{z-a} = \lim_{z\rightarrow a}\dfrac{\overline{f(z)-f(a)}}{z-a}$$ Can we pull the limit out to get…
Paul S.
  • 3,345
  • 4
  • 32
  • 60
8
votes
5 answers

How to show that this series does not converge uniformly on the open unit disc?

Given the series $\sum_{k=0}^\infty z^k $, it is easy to see that it converges locally, but how do I go about showing that it does not also converge uniformly on the open unit disc? I know that for it to converge uniformly on the open disc that…
I Love Cake
  • 1,243
8
votes
2 answers

Determine all the values of $1^{\sqrt{2}}$

I can't seem to understand how to solve this. I mean, if we weren't dealing with complex numbers, then I suppose it is clearly 1, but I don't know how to approach this. Apparently the answer is $\cos(2\sqrt{2} k \pi) + i\sin (2 \sqrt{2} k \pi)$, but…
David
  • 1,094
8
votes
2 answers

The conformal map $f(z)=\frac{1}{2}\left(z+\frac{1}{z}\right)$

I want to show that $f(z)=\frac{1}{2}\left(z+\frac{1}{z}\right)$ is a conformal map from the set of $z$ such that $0<|z|<1$ onto $\mathbb{C} \setminus [-1,1]$. I find that $f'(z)=\frac{(z+1)(z-1)}{2z^2}$ so this means that $f$ is conformal except…
user786
  • 1,152
8
votes
2 answers

Convergence of $\{nz^n\}_1^{\infty}.$

Discuss completely the convergence and uniform convergence of the sequence $\{nz^n\}_1^{\infty}.$ If $|z|\geq 1$, then $|nz^n|=n|z|^n\geq n$ diverges, so the sequence $nz^n$ also diverges. If $|z|<1$, it should converge to $0$. So for any…
PJ Miller
  • 8,193
8
votes
5 answers

Rational function with absolute value $1$ on unit circle

What is the general form of a rational function which has absolute value $1$ on the circle $|z|=1$? In particular, how are the zeros and poles related to each other? So, write $R(z)=\dfrac{P(z)}{Q(z)}$, where $P,Q$ are polynomials in $z$. The…
PJ Miller
  • 8,193
8
votes
0 answers

Set of derivatives of a normal family of analytic functions is itself a normal family.

I'm working on a problem that is easily solvable if I can prove the statement in the title. Here's what I've done so far: Given $\mathscr{F}$ a normal family of analytic functions, let $\mathscr{F}'=\{f':f\in \mathscr{F}\}$. Let $\{f_n'\}$ be a…
Connor
  • 735
  • 5
  • 15
8
votes
2 answers

Sequence of analytic functions on $U \subset \mathbb{C} $ tending locally uniformly to $ f $ implies $ f $ analytic on $U$

I want to prove that if $ f_n $ are analytic functions on a domain $ U \subset \mathbb{C} $ and $ f_n $ tends locally uniformly to $ f $ on $U$, then $f$ is analytic on $U$. My thoughts: I'd like to show that $ f $ is necessarily continuous on $ U…