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

Bound for Analytic Function on Unit Disk

The following is an old qualifying exam problem that I can't seem to piece together: Suppose we have an analytic function $f$ on the unit disk $\mathbb{D}$ s.t. $|f| \leq 1$. Show $$ \frac{|f(0)|-|z|}{1-|f(0)||z|} \leq |f(z)| \leq…
5
votes
1 answer

Change of Variable (conformal map)

Suppose $f$ is an analytic function defined on the unit disk, $D$. I want to evaluate $\int_{D} f(\omega) dA(\omega)$ using a change of variable. Suppose $\phi$ is a conformal map of the $D$ onto itself. Does $\int_{D} f(\omega) dA(\omega) =…
Mykie
  • 7,037
5
votes
1 answer

The Lipschitz property of exponential function on a disk in the complex plane

Show by the definition of the power series of $e^z $ that for $r>0$: $$|z|,|w|\leq r \implies |e^z-e^w|\leq e^r|z-w|$$ Use the formula $$z^{n+1}-w^{n+1}=(z-w)\sum_{j=0}^{n} z^jw^{n-j}$$ What I have so far: $$|e^z-e^w|=|\sum_{n=0}^{\infty}…
Roos Jansen
  • 1,163
5
votes
2 answers

Let $f(z)$ be a one-to-one entire function, Show that $f(z)=az+b$.

Let $f(z)$ be a one-to-one entire function, Show that $f(z)=az+b$. My try : Because $f$ is entire it has a taylor series around zero (in particular). $f(z)=\sum^{\infty}_{k=0} a_kz^k$ Proof by contradiction : let $m \geq 2$ Suppose $a_m \neq 0 $ and…
the8thone
  • 4,111
5
votes
2 answers

Conformal map from disk with a slit to the upper half plane

Find a conformal map from the set $\{|z|<1, \Re{z} > 0\}\backslash [0,1/2]$ to the upper half plane. The main problem I am encountering is that the boundary of the given domain is comprised of two segments which intersect at right angles. So I am…
Sourav D
  • 1,274
5
votes
1 answer

Residue Theorem with winding number

Let $\gamma$ be a closed path in a domain $D$ such that $W(\gamma,\zeta)=0$ (winding number) for all $\zeta\notin D$. Suppose that $f$ is analytic on $D$ except at isolated singularities $z_1,...z_m\in D\backslash \text{Im}(\gamma)$. Then,…
5
votes
1 answer

Convergence of the taylor series of a branch of logarithm.

Consider the branch of log defined on $\mathbb{C}$ with the negative real axis and origin removed. I was told that its Taylor series about the point $z_0 = -2 + i$ converges in a radius $\sqrt5$, which means the Taylor series actually converges for…
Jean Valjean
  • 1,657
  • 12
  • 25
5
votes
2 answers

Finding a primitive explicitly

Let $A=\{z\in\mathbb{C}~:~|z|>4\}$. Let $f(z)=\frac{z}{(z-1)(z-2)(z-3)}$ and $g(z)=\frac{z^2}{(z-1)(z-2)(z-3)}$. I have been asked whether or not $f$ and $g$ have global primitives in $A$ and if so to find them. After decomposing into partial…
RHP
  • 2,553
5
votes
1 answer

Image of koebe map

Let $f(z)=\frac {z}{(1-z)^2}$ how can I find the image of unit disk under this transformation? Also is it possible to find an explicit expression for the inverse of this transformation?
Aadil
  • 53
  • 4
5
votes
1 answer

If the product of two holomorphic functions is identically zero, then one of the functions is zero

I have to answer the following question: If $f$ and $g$ are holomorphic on some domain $\Omega$ and $f(z)g(z)=0$ for every $z\in \Omega$, then $f(z)=0$ or $g(z)=0$ for every $z\in\Omega$. Is this correct: Let's assume that $f$ is not identically…
Roos Jansen
  • 1,163
5
votes
1 answer

Help Calculating a Residue, and Evaluating a Real Integral using Complex Analysis

The integral in question is $$\int_{-\infty}^{\infty} \frac{\cos(\alpha x)}{(x^2 + b^2)^2}\,dx, $$ with $\alpha , b \geq 0$. I was thinking of evaluating the integral around a semicircle with radius $R$ (taking $R$ to $\infty$), and a line segment…
I Love Cake
  • 1,243
5
votes
1 answer

Holomorphic function with a fixed point

Let $f$ be holomorphic on $\overline{N(0,1)}$. Suppose $|f(z)| \leq 1$ for every $|z| = 1$. Without using fixed point theorem, show that there exists $z \in \overline{N(0,1)}$ such that $f(z) = z$. My attempt: Using Rouché's Theorem, I managed to…
user60736
5
votes
2 answers

Zero of the derivative of ameromorphic function

Let $f:\mathbb{C} \rightarrow \hat{\mathbb{C}}$ a meromorphic function with an essential singularity at infinity. Does $f'(z)$ have a zero? No, considering $z\mapsto e^z$. But if I assume that $f$ is surjective, is it true? and can i say something…
Ana
  • 155
5
votes
2 answers

Why does this integral vanish? $\int_C \frac{e^{az}}{1+e^z}dz$

I'm looking for an argument that would prove that the integral $$I=\int_C \frac{e^{az}}{1+e^z}dz$$ vanishes for $R \to \infty$, where $C$ is the horizontal line segment from $(1+i)R$ to $(-1+i)R$, and $a \in (0,1)$. Here $R$ goes to infinity…
Spine Feast
  • 4,770
5
votes
1 answer

Prove that $f$ is constant

Let $f:\mathbb{C}\rightarrow \mathbb{C}$ be an entire function. if there exists $\delta> 0$ and $w\in \mathbb{C}$ such that $$\left | f(z)-w \right | \geq \delta \qquad \forall z\in\mathbb C $$ Prove that $f$ is constant.