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

Conformal map of doubly connected domain into annulus.

I have a homework question that I'm stuck on. It asks Let $\Omega$ be a bounded domain whose boundary consists of two disjoint continua $C_1$ and $C_2$. Let $u(z)$ be the harmonic function on $\Omega$ such that $u(z)=0$ on $C_1$ and u(z)=1 on…
7
votes
1 answer

General form of Rouche's Theorem

Let $\Omega$ be the interior of a compact set $K$ in the plane. Suppose $f$ and $g$ are continuous on $K$ and holomorphic in $\Omega$, and $|f(z)-g(z)|<|f(z)|$ for all $z\in K-\Omega$. Then $f$ and $g$ have the same number of zeros in $\Omega$. PS:…
Y. Fan
  • 105
7
votes
2 answers

Question regarding usage of residue theorem in a specific case

I'm looking over the solution of an exercise in a course I'm taking and there's something I simply don't understand. Let $f(z)=\pi\cot(\pi z)$ and $\varphi(z) = \frac{1}{z^2}$. $f$ has poles of order $1$ in the points $k\in\mathbb{Z}$ and $\varphi$…
Serpahimz
  • 3,781
7
votes
2 answers

Real integral by keyhole contour

Evaluate $$\int_0^\infty \frac{\log x \; dx}{x^{2} + 2x + 2}$$ by integrating a branch of $(\log z)^{2}/(z^{2} + 2z +2)$ along a keyhole contour. The thing I have trouble with is why I should be examining the square of the log - I guess it has…
7
votes
4 answers

I am trying to show $\int^\infty_0\frac{\sin(x)}{x}dx=\frac{\pi}{2}$

I am trying to show $\int^\infty_0\frac{\sin(x)}{x}dx=\frac{\pi}{2}$ It was an exercise from a book about complex analysis, so I've gone through the complex plane to do it! Consider a semi-circle where |z|=R and $0<\arg(z)<\pi$. consider another,…
Alec Teal
  • 5,515
  • 3
  • 36
  • 59
7
votes
2 answers

Prove that a holomorphic function with postive real part is constant

Suppose that $f$ is holomorphic on $\mathbb C$ and that $\Re(f(z))\ge 0$ for all $z$. Show that $f$ is constant. [Hint: consider $e^{−f(z)}$.] My thoughts: If $\Re(f(z))\ge 0 $ holds, then $e^{−f(z)}$ is a bounded holomorphic function (do I need…
7
votes
1 answer

Why are two directions enough for the Cauchy-Riemann equations to imply differentiability?

If the complex function $f(z)$ is complex differentiable $\Rightarrow$ the Cauchy Riemann equations hold. $($This is because if $f'(z)$ is the same no matter in what direction $\delta z\rightarrow 0$. Choosing the special case of $\delta…
Meow
  • 6,353
7
votes
1 answer

Analytic functions of absolute value 1 on the boundary of the unit disc

Is there a characterization of analytic functions $f$ on the unit disc such that $|f(z)|=1$ for $|z|=1$? If $f$ only has a zero $a\in D(0,1)$ of order $n$, then $f(z)=\phi_a(cz^n)$ for some constant $|c|=1$ where $\phi_a$ is the Möbius…
user13866
  • 195
7
votes
2 answers

Holomorphic in small disk with polynomial power

Let $f(z)$ be holomorphic in $|z|0$ is an integer. Show that there exists $r>0$ and $g(z)$ holomorphic in $|z|
PJ Miller
  • 8,193
7
votes
2 answers

Normal Families

Suppose $\mathcal{F}$ is a famliy of analytic functions of the unit disc. Suppose also that $( Re(f(z)) )^2 \ne ( Im(f(z)) ) $for all $|z|<1$ and all $f \in \mathcal{F}$. It follows from the Fundamental Normality test that $\mathcal{F}$ is a…
Mykie
  • 7,037
7
votes
1 answer

Behaviour of a holomorphic function near a pole

Apparently, the following statement is true: "Let $D\subseteq \mathbb{C}$ be open and connected and $f:D\setminus \{a\}\longrightarrow \mathbb{C}$ holomorphic with a pole of arbitrary order at $a\in D$. For any $\epsilon > 0$ with…
Frank
  • 73
7
votes
0 answers

One-dimensional projective group in linear transformation

A convenient way to express a linear transformation is by use of homogeneous coordinates. If we write $z=z_1/z_2$ and $w=w_1/w_2$ we find that $w=Sz$ if $$w_1=az_1+bz_2\text{ and } w_2=cz_1+dz_2$$ All linear transformations form a group. The…
Mika H.
  • 5,639
7
votes
2 answers

Harmonic function on an annulus

I have stumbled across the following fact in complex analysis and I was trying to prove it, but didn't get anywhere: Let $R=\{r<|z|
Anonymous999
  • 1,258
7
votes
2 answers

An integral using residue calculus

This integral is surprisingly difficult to evaluate, and I have looked in several references and none contain a single integral of this type. Any help would be greatly appreciated. Evaluate $\displaystyle \int_0^\infty \frac{\sin(z)}{1 + z^2}dz$.
syxiao
  • 1,508
7
votes
2 answers

Sequence of polynomials $g_n$ converging pontwise with $g(\mathbb{C})=\mathbb{Z}$.

Prove that there exists a sequence of polynomials $g_n(z)$ that converges for all $z\in \mathbb{C}$ to a limit function $g(z)$ with $g(\mathbb{C})=\mathbb{Z}$. This question was on my complex analysis prelim last August. I have given it a go at…
MSA2016
  • 534