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

Showing that the map $f(z) = \frac{1}{z} $ maps circles into circles or lines

Let $f: \mathbb{C} \setminus \{0 \} \to \mathbb{C} \setminus \{0\} $. We want to show that $f(z) = \frac{1}{z}$ maps circles into circles and lines. My professor gave the following hint: The general equation for lines and circles is $$ \alpha(x^2 +…
user195835
11
votes
2 answers

What is the difference between a singularity and a pole?

From what I could find, a singularity is a point at which an equation, surface, etc., blows up or becomes degenerate. And a pole of a function is an isolated singular point a of single-valued character of an analytic function $f(z)$ of the complex…
HappyFeet
  • 706
11
votes
2 answers

For an analytic function $f(z)$, $|f(z)^2-1|<1$ implies $\Re f(z)>0$ or $\Re f(z)<0$?

Doing a bit of self study, and I'm unsure about a problem. It says, Suppose $f(z)$ (a complex valued function) is analytic and satisfies the condition $|f(z)^2-1|<1$ in a region $\Omega$. Show that either $\Re f(z)>0$ or $\Re f(z)<0$ throughout…
Dedede
  • 3,061
10
votes
2 answers

How far can we take "If $f$ is holomorphic in $D\setminus C$, $f$ is holomorphic in $D$."?

It is a theorem of Riemann that if a function $f:D\to\Bbb C$ is holomorphic in all but finitely many points where it is continuous, then in fact $\mathcal O(D)\ni f$. An exercise in Remmert's introductory text asks to prove this is true if $f$ is…
Pedro
  • 122,002
10
votes
2 answers

Maximum of sum of finite modulus of analytic function.

Let $f_1,f_2,\ldots,f_n $ be analytic complex functions in domain $D$. and $f = \sum_{k=1}^n|f_k|$ is not constant. Can I show the maximum of $f$ only appears on boundary of $D\,$?
Leitingok
  • 2,790
10
votes
1 answer

Showing that $|f(z)| \leq \prod \limits_{k=1}^n \left|\frac{z-z_k}{1-\overline{z_k}z} \right|$

I need some help with this problem: Let $f\colon D \to D$ analytic and $f(z_1)=0, f(z_2)=0, \ldots, f(z_n)=0$ where $z_1, z_2, \ldots, z_n \in D= \{z:|z|<1\}$. I want to show that $$|f(z)| \leq \prod_{k=1}^n \left| \frac{z-z_k}{1-\overline{z_k}\,…
bond
  • 187
10
votes
3 answers

Is entire function constant when $ |f(z)|\le \log|z|,\ |z|>1$.

Let $ f : \mathbb{C} \to \mathbb{C} ,$ entire and $|f(z)|\le \log|z|,\ |z|>1. $ Show that $f$ is constant. What first comes to mind is Louville's theorem, but log 's problems with analyticity confuse me.
10
votes
4 answers

Finding the Laurent series of $f(z)=1/((z-1)(z-2))$

Let $$f(z)=\frac{1}{(z-1)(z-2)}$$ and let $$R_1=\Bigl\{z\Bigm| 1<|z|<2\Bigr\}\quad\text{ and }\quad R_2=\Bigl\{z\Bigm| |z|>2\Bigr\}.$$ How do you find the Laurent series convergent on $R_1$? Also how do you do it for $R_2$? I'm having serious…
Freeman
  • 5,399
10
votes
2 answers

The existence of analytical branch of the logarithm of a holomorphic function

$\Omega$ is a convex open set in $\mathbb {C}^n$ and $f$ is an analytical function Edit: without zero point on $\Omega$, then can we define an analytical branch of $\ln {f}$ on $\Omega$ ?
Summer
  • 6,893
10
votes
2 answers

Define a Principal Branch in Complex Analysis

The actual problem is to define a principal branch for $a^z=e^{zlog(a)}$ and to give a general formula. From what I understand about principal branches, it is already in that form? I'm missing something key about that. But I also am having a hard…
Micky
  • 301
10
votes
2 answers

Isolated zeros on closure of a domain

Let $f$ be an analytic function on the open unit disk domain $D$. Suppose also that $f$ is bounded. Since $f$ is bounded I believe that $f$ can be continuously extended to the closed unit disk. I know that the zeros of $f$ in the open disk $D$ are…
Mykie
  • 7,037
10
votes
2 answers

Why is Riemann integration used in complex analysis and not Lebesgue integration?

In the development of complex analysis you use Riemann integration and not Lebesgue integration to define line integrals. My questions are: Are the theories developed the same? (i.e. does it not matter which integral you use in the development?…
UserB1234
  • 2,198
10
votes
3 answers

Integrating $\int_0^\infty \frac{1-\cos x }{x^2}dx$ via contour integral.

In Stein's Complex Analysis notes, the following exampleis given. They then proceed to calculate the integral over the small semicircle. My question is, why is it necessary to dodge the origin? Afterall, the singularity at $z=0$ is removable?
Spine Feast
  • 4,770
10
votes
3 answers

Calculating residue of pole of order $2$

Is there a good way to compute the residue of $f(z)=\dfrac{1+z}{1-\sin z}$ at $z=\pi/2$, which is a pole of order $2$? Using the residue calculation formula…
Mika H.
  • 5,639
10
votes
3 answers

Conformal map from the punctured unit disc onto the unit disc?

I remember seeing this statement, I don't remember where (maybe in Lang's Complex). Is this true or do I have a faulty memory. It was always somewhere in the back of my mind but I never believed it. Is it true that there is a conformal map from the…
user786
  • 1,152