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

Laurent series coefficient calculation by Cauchy’s residue theorem.

For homework, I've been asked to obtain the Laurent series expansions for the following function: $$f(z) = \frac{1}{z^2(1-z)}$$ The question says to use Laurent's Theorem (not geometric series), which has been given as $$\tag{1}f(z) =…
Morgan
  • 151
5
votes
2 answers

holomorphic functions uniformly convergent on any compact subset of an open set implies uniformly convergent on the whole open set.

In Stein's complex analysis, there is one theorem 5.3 of Chapter 2 which says that if holomorphic functions $f_n$ converges uniformly to $f$ on any compact subset of an open set $\Omega$, then so does $f'_n$. In his proof, he said "without loss of…
Alex
  • 2,583
5
votes
1 answer

Entire function - exponent?

Suppose that $f(z)$ is an entire function and $ |f(z)| \le e^x \ (z = x + iy) $ throughout the complex plane. What can be said about $ f(z) $?
user85663
5
votes
2 answers

Qualifying exam problem (complex analysis)

I found this problem in a Ph.D. Qualifing Exam: Let $f$ be an entire function. Suppose that $f(z)=f(z+1)$ and $|f(z)|\leq e^{|z|}$ for all $z\in\mathbb{C}$. Prove that $f$ is a constant function. I guess that we need to use the Louville's Theorem…
5
votes
1 answer

Holomorphic functions and mapping one set to another

I was preparing for my exam of complex analysis and i have few questions from previous one that sounded tricky to me. 1)   i) Is it possible for $f:\mathbb{C}\to\mathbb{C}$ to be differentiable only in one point?   ii) Analytic only in one…
5
votes
1 answer

Complex analysis on how to find the proper function satisfying the condition

$f$ and $g$ are both holomorphic in $\Bbb{C}$, and for every $z$ in $\Bbb{C}$, $$f(z)^2+g(z)^2=1$$ please help me prove there is a $h(z)$ which is holomorphic in $\Bbb{C}$, such that $f(z)=\cos(h(z)), g(z)=\sin(h(z))$. I try to suppose the…
Uoxp
  • 51
5
votes
2 answers

A generalization of Liouville's theorem

Let $A\subseteq \Bbb{C}$ be countable and closed. Let $f: \Bbb{C}\backslash A \longrightarrow \Bbb{C}$ be analytic and bounded. Is it true that $f$ must be constant ?
Drop
  • 446
5
votes
1 answer

$f$ analytic but not one-to-one in unit disk, then $\exists |z|=|w|,f(z)=f(w)$.

I need to prove that if $f$ is analytic but not one-to-one in the unit disk, then $\exists z,w\in D_1(0)$ such that $|z|=|w|$ and $f(z)=f(w)$. There is a hint that says to use Argument Principle but I don't know how to use that. Any help is…
NECing
  • 4,095
5
votes
1 answer

Are $\mathbb{C}\backslash[0,1]$ and $\mathbb{C}\backslash(\cup_{n\in\mathbb{N}_{>0}}\{t \cdot \exp(2 \pi i /n):t\in[0,1/n]\})$ biholomorphic?

Are $\mathbb{C}\backslash[0,1]$ and $\mathbb{C}\backslash \left(\bigcup\limits_{n\in\mathbb{N}_{>0}}\{t \cdot \exp(2 \pi i /n):t\in[0,1/n]\} \right)$ biholomorphic? A friend told me, they are biholomorphic, but he didn't know the map. Could you help…
Evarist
  • 223
5
votes
1 answer

Holomorphic function zeros on the circle

I'm learning to use some methods of complex analysis, solving some problems. Could you give me a hint to solve the following problem? $f$ is holomorphic in $D^2=\{z: |z|<1\}$ and continious in $\partial D^2\cup D^2$. Also, there is an open subset…
user74574
5
votes
2 answers

To show an analytic function is one-to-one on the unit disk

Let $\displaystyle f(z) = \sum_{n=0}^\infty a_nz^n$ be analytic in the unit disk $D_1(0)$ with $f(0) = 0$ and $f'(0) = 1$. Prove that if $\displaystyle \sum_{n=2}^\infty n|a_n| \le 1$, then $f$ is one-to-one in $D_1(0)$. I am able to show that $f$…
Soylent Green
  • 285
  • 1
  • 12
5
votes
1 answer

Show: $f'=0\Rightarrow f=\mbox{const}$

Let $G\subseteq\mathbb{C}$ be a domain and $f\colon G\to\mathbb{C}$ holomorphic. Show: $$ f'=0\mbox{ in }G\Rightarrow f\mbox{ is constant} $$ Cauchy-Riemann: $$ f'(z)=f_x(z)=u_x(x,y)+i v_x(x,y), z=x+iy=0\\ \Leftrightarrow u_x(x,y)=0~\wedge…
user34632
5
votes
1 answer

A problem about contour integral

I decide to use contour integral to calculate $I=\int_{-1}^{1}\frac{dx}{(x-2)\sqrt{1-x^{2}}}$ but there's a problem for my result. Following is my process. Denote $f(z)=\frac{1}{(z-2)\sqrt{1-z^{2}}}$, let [-1,1] be the cut and get two analytic…
jintok
  • 227
5
votes
2 answers

How to directly show $S=\sum_{k=1}^{m}e^{2\pi ik^2/m}=\sqrt{m}$

Let $S=\sum_{k=1}^{m}e^{2\pi ik^2/m}$,if $m$ is odd,how to directly calculate the absolute value of $S=\sqrt{m}$.Don't use Gauss sum since here it says "it's easily shown" My try is as follows: $$ \begin{align}S^2&=\left(\sum_{k=1}^{m}e^{2\pi…
math
  • 533
5
votes
1 answer

Confused by $\Re(z)$ and closed contours, why isn't it the integral 0?

Let the contour $\gamma$ be the triangle with vertices $\ 0, 1, 1+i $, taken anticlockwise. As this is a closed contour and I understand $$\oint_\gamma z\ dz = 0 $$ as it is analytic inside the contour (and everywhere else). However, how are you…
tgun926
  • 277