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

Show that analytic function $f$ cannot be conformal when $f'(z) = 0$

I am reading over Rudin's discussion of conformal mappings in "Real and Complex Analysis." Rudin states that "no analytic function preserves angles at any point where its derivative is zero. We omit the easy proof of this." So I am trying to fill in…
JZS
  • 4,844
7
votes
1 answer

A result similar to Schwarz lemma

Suppose $f$ is a holomorphic map on the unit disc. Let $d$ be the diameter of the image of $f$. If $ 2|f'(0)|=d $, please show that $f$ is a linear function. I think maybe I can prove it by using Schwarz lemma, but I failed.
lee
  • 2,800
7
votes
4 answers

When does a Möbius transformation map $\Im(z)>0$ to itself?

Show Möbius transformation which maps $\Im(z)>0$ to itself iff $$ f(z)= \frac{az+b}{cz+d}\,,\,\,ad-bc>0$$ and $a,b,c,d$ are real.
sarah
  • 1,281
7
votes
1 answer

Find All Entire Functions that Satisfy Some Condition

I am working on a problem stating that Find all entire functions $f$ that satisfy: $|zf(z)-\sin z|\leq 1+|z|^{4/3}$ for all $z\in\mathbb{C}$. I am stuck in this problem but I had some attempts: (1): Since we are dealing with an entire function,…
7
votes
2 answers

Branch cut for $\log (-z)$

I'm trying to understand the location of the branch cut for 2 particular branches of $\log (-z)$. Supposedly if we restrict $\arg (-z)$ to $0 \le \arg(-z) < 2 \pi $, we need to omit the half-line $(-\infty,0]$. And if we restrict $\arg(-z)$ to …
7
votes
2 answers

Find a branch for $(4+z^2)^{1/2}$ such that it is analytic in the complex plane slit along the imaginary axis from $-2i$ to $2i$

Find a branch for the multiple-valued function $(4+z^2)^{1/2}$ such that it is analytic in the complex plane slit along the imaginary axis from $-2i$ to $2i$ Also, isn't this function already analytic on the slit from $-2i$ to $2i$ without being…
DJ_
  • 1,400
7
votes
1 answer

complex proof not sure

There's this problem in my homework, I did it, but somehow it just doesn't seem right. I wonder where the problem is... Please help me :) Show that $\int_\gamma z^n dz=0$ for any closed smooth $\gamma$ and any integer $n\neq -1$. [If $n$ is…
hello.world
  • 127
  • 4
7
votes
1 answer

Linear Transformations mapping four points

Problem: Show that any four distinct points can be carried by a linear transformation to positions $1, -1, k, -k$, where the value of $k$ depends on the points. How many solutions are there, and how are they related? Attempt at a solution: So I know…
sualia
  • 71
7
votes
1 answer

Can a holomorphic function satisfy $f(1/n)=1/(n+1)$?

Does there exist a function $f$ which is holomorphic on $B_0(2)$ (open disc of radius 2 in the complex plane) such that $f(1/n)=1/(n+1) \forall n \in \mathbb{N}$? At the moment I'm thinking not but a proof is seeming elusive. Any hints would be…
user61496
  • 483
7
votes
0 answers

Is there any geometric explanation of Koebe's $1/4$ theorem?

Koebe's $1/4$ theorem claims that if $f:\mathbb{D}\to \mathbb{C}$ is an injective holomorphic function defined on a unit disk such that $f(0) =0$ and $f'(0)= 1$, then the image $f(\mathbb{D})$ of $\mathbb{D}$ contains an open disk of radius $1/4$…
Seewoo Lee
  • 15,137
  • 2
  • 19
  • 49
7
votes
1 answer

Complex Analysis, Entire functions

Prove if $f$ and $g$ are entire and $e^f+e^g=1$, then $f$ and $g$ are constant. I believe the simplest way would be to use Louiville's theorem by using Pick's theorem but I am not sure on how to go about this.
Miguel
  • 83
7
votes
1 answer

The converse to Schwarz Pick lemma?

The Schwarz-Pick lemma states that if $D$ denotes the unit disk in the complex plane, and $f: D\rightarrow D$ is a holomorphic function, then it is a contraction with respect to the Poincare metric (which we shall denote as $\rho$) on the disk. A…
7
votes
1 answer

Maximum Modulus Principle Intuition

I understand that the Maximum Modulus Principle works, but I'm a little baffled as to why. To be more precise, the picture I have in my head is something like this: for a compact set $K \subset \mathbb{C}$, since $|f|$ (for $f$ holomorphic) can only…
Anthony
  • 783
7
votes
2 answers

Residue of high order pole

I'm trying to compute the residue $\displaystyle\operatorname{Res}\left(\frac{1}{(z^2+1)^7},i\right)$. I know that there is the formula: $$\operatorname{Res}(f,z_0)=\frac{1}{(m-1)!}\lim_{z\rightarrow z_0 }[(z-z_0)^mf(z)]^{(m-1)}$$ for a pole with…
bp7070
  • 275
7
votes
1 answer

Dirichlet Problem on an annulus.

Having found the solution for the Dirichlet problem in the region $A=\{x+iy: 0\leq y\leq 1\}$ such that $u(x,0)=0$ and $u(x,1)=1$ to be $u(x,y)=y$, I am asked to find, using conformal maps, the solution in $B=\{z:r_1\leq|z| \leq r_2 \}$ such that…
Moritzplatz
  • 1,521
  • 14
  • 28