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

How to prove Schwarz reflection principle?

Suppose that $f$ is non-vanishing and continuous on a closed unit disk that is holomorphic in the interior $D$. Show that if $\lvert f(z) \rvert = 1$ whenever $\lvert z \rvert = 1$ then $f$ is constant. I'm not sure where to start with this one or…
Mett
  • 99
6
votes
2 answers

Proposition 3.10 from Conway's book

Definition: If $z_1\in \mathbb{C}_{\infty}$ then $(z_1,z_2,z_3,z_4)$ (the cross ratio of $z_1,z_2,z_3$ and $z_4$) is the image of $z_1$ under the unique Mobius transformation which takes $z_2$ to $1$, $z_3$ to $0$ and $z_4$ to…
RFZ
  • 16,814
6
votes
1 answer

Help with second integral in a Cauchy's integral formula problem.

I have been trying to do this problem for a while: Use Cauchy's integral formula to evaluate $$\int_{-\infty}^\infty \frac{t\operatorname{sin}(\pi t)}{t^2+4}dt.$$ I have factored it into $$\int_{-\infty}^\infty \frac{t\operatorname{sin}(\pi…
6
votes
2 answers

Smooth path definition

I keep getting confused with the definition of a smooth path. Here is a definition from William T. Shaw's Complex Analysis with Mathematica: A path $\phi$ is a continuous mapping from a segment of the real axis into the complex numbers; i.e.…
David
  • 2,262
6
votes
2 answers

Does Cauchy's theorem's hold if we only assume boundedness?

Let $f$ be a function $\mathbb C \to \mathbb C$. I am not assuming $f$ is analytic on $\mathbb C$, so Cauchy-Goursat does not apply. Suppose $\gamma$ is a simple closed contour, and suppose that the region $D = {\rm int}(\gamma) \cup \gamma$ can be…
fdzsfhaS
  • 1,105
  • 10
  • 29
6
votes
3 answers

Proof that analytic functions defined in an annulus have a Laurent representation

I'm trying to follow Ahlfors's proof that any analytic function defined in an annulus $R_1 < |z-a| < R_2$ will have a Laurent representation. To do this, he defines two functions: $$f_1(z) = \frac{1}{2\pi i} \int_{|\zeta-a|=r} \frac{f(\zeta)…
user1736
  • 8,573
6
votes
1 answer

If $\operatorname{Re}f^\prime > 0$ on a convex domain, then $f$ is one-to-one.

Let $f(z)$ be analytic on a convex region $D \subset \mathbb{C}$. If $\mathrm{Re}f'(z)>0,\forall z\in D$, then show that $f(z)$ is a one-to-one function, that is, if $z_1\ne z_2,$ then $f(z_1)\ne f(z_2)$.
ziang chen
  • 7,771
6
votes
2 answers

Find conformal mapping from sector to unit disc

Find a conformal mapping between the sector $\{z\in\mathbb{C} : -\pi/4<\arg(z) <\pi/4\}$ and the open unit disc $D$. I know that it should be a Möbius transformation, but other than that I am very stuck, any help would be much appreciated.
user61496
  • 483
6
votes
1 answer

How to find the Casorati-Weierstrass' Theorem ? Can we find the phenomenon from a classical function: $\exp\left(\frac{1}{z}\right)$?

The first time when I see Casorati-Weierstrass' Theorem in Complex Analysis,I was shocked: Casorati-Weierstrass' Theorem suppose $f$ is holomorphic in the punctured disc $D_r(z_0)-\{z_0\}$ and has an essential singularity at $z_0$. Then,the…
Laura
  • 4,689
6
votes
1 answer

Holomorphic function that decays faster than any exponential in a half plane?

I'm getting some trouble with the following question. I will use the common notation $z=x+iy$. It is well-known that $f(z)=e^{-z}$ tends to zero when $x$ tends to $+\infty$, since $\vert f(z) \vert =e^{-x}$. Of course, the same happens for the…
DCao
  • 653
6
votes
3 answers

Is $f(z)=\exp (-\frac{1}{z^4})$ holomorphic?

Let $f(z)=\exp (-\frac{1}{z^4})$ for $z\neq 0$ and $f(0)=0$. Is it obvious that $$\lim_{z\to z_{0}}\frac{f(z)-f(0)}{z-0}=\lim_{z\to z_{0}}\frac{\exp (-\frac{1}{z^4})}{z}=0$$ And if this limit is indeed equal to $0$; can we conclude that $f$…
czachur
  • 381
6
votes
2 answers

Identifying and sketching $\operatorname{Re}(z^3)=1$

Identify and sketch the locus of $\operatorname{Re}(z^3)=1$. I tried solving the exercise like this \begin{align*} z &= x+iy \\ z^3 &= (x+iy)^3 = x^3-3xy^2+i3x^2 y-iy^3 \\ \operatorname{Re}(z^3) &= x^3-3xy^2=1 \end{align*} But I can't…
s.dokaj
  • 83
6
votes
2 answers

Is this complex function differentiable at 0?

I'm moving my first steps in Complex Analysis. I can't tell whether the function $$f(x+iy) = 2|xy|+i(y^2-x^2)$$ is differentiable at $0$ or not. I tried using the limit of the difference quotient: $$\lim_{z\to 0}\frac{2|xy|+i(y^2-x^2)}{x+iy}$$ The…
Kiuhnm
  • 746
6
votes
3 answers

Does absolute and uniform convergence imply normal convergence?

Let $f_n$ be a sequence of holomorphic functions defined on some compact set $K$ in $\mathbb C$ (i.e. each function in the sequence is holomorphic on some nbd of $K$). If $\sum f_n$ converges uniformly and absolutely on $K$ then can we say it…
Mayuresh L
  • 1,830
6
votes
2 answers

How to know if some series doesn't converge to a rational function

I was looking into a previous exam from 2011 of a course I am taking of Complex Analysis, and they ask Which of the following series converge to a rational function in some domain? $$\sum_{k=0}^\infty…