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

Show that $ \sum_{z\in\mathbb{P}^{1}\left(\mathbb{C}\right)}\text{ord}_{z}\left(f\right)=0$

$ \mathbb{P}^{1}\left(\mathbb{C}\right) :=\mathbb{C}\cup{\infty} $ (There are some different definitions, the one that I know is the stereographic projection and defining the image of the north pole under the projection as $\infty $ in $ \mathbb{C}…
4
votes
0 answers

Number of zeroes of $f'$ given number of zeroes of $f$.

Suppose that $f$ is a non-constant, smooth, complex valued function on $\mathbb{C}$ with $\Gamma=\{z\in \mathbb{C}: \lvert f(z)\rvert=7\}$ a smooth, closed, simple curve. Let $G$ be the enclosed domain and suppose that $f$ is analytic on $G$. It is…
MSA2016
  • 534
4
votes
1 answer

Show that the given function has one zero inside the unit disk

Let $f$ be an analytic function on $\{z:|z|\leq 1\}$ such that $\operatorname{Re}(\overline{z}f(z))>0$ for $|z| =1$. Then $f$ has one simple zero on the unit disk. My attempt: I tried to show this using argument principle i.e. Claim :…
4
votes
1 answer

Evaluating $\int_0^{2 \pi} \frac {\cos 2 \theta}{1 -2a \cos \theta +a^2}$

In order to evaluate $\int_0^{2 \pi} \frac {\cos 2 \theta}{1 -2a \cos \theta +a^2}$ we can define $$ f(z) := \frac 1 z \cdot \frac { (z^2+z^{-2})/2}{1-2a( \frac {z+z^{-1}} 2) +a^2} $$ I have $0 < a <1$ which gives singular points in $0$ and $a$…
user42761
4
votes
2 answers

Sokhotski–Plemelj theorem for the real line

The Sokhotski–Plemelj theorem for the real line is stated at https://en.wikipedia.org/wiki/Sokhotski–Plemelj_theorem: Sokhotski–Plemelj theorem. Let $f$ be a complex-valued function that is defined and continuous on the real line, and let $a$, $b$,…
4
votes
4 answers

If $\{a,b,c\}\subset\mathbb C$ such that $a^2+b^2+c^2=ab +bc +ca$ prove that they lie on the vertices of an equilateral triangle in the complex plane

Exercise 1.11 (from Friendly Approach to Complex Analysis). If $a$, $b$, $c$ are real numbers such that $a^2+b^2+c^2=ab+bc+ca$, then they must be equal. Indeed, doubling both sides and rearranging gives $(a-b)^2+(b-c)^2+(c-a)^2=0$, and since each…
deostroll
  • 267
4
votes
1 answer

Dodgy Reciprocal Issues in Complex Integration?

In studying early for qualification exams, I came across the following problem (UMass Amherst Graduate Qualifying Exams / Fall 2010 Complex Analysis Exam (see #10)): Let $D$ denote the open set $D:=\{z:|z|>1\}$ and $\bar D:=\{z:|z|\geq1\}$ its …
4
votes
2 answers

Assuming that a holomorphic function is not constant zero

I'm currently learning some stuff about Hardy-Spaces and there is this one part right at the beginning of a proof that i can't get my head around. Let $f\in\mathcal{H}^p\setminus\{0\}$, while $\mathcal{H}^p$ is the Hardy-Space of class $p$. Which…
ZenDen
  • 60
4
votes
4 answers

Rearranging Cauchy Riemann equations

I've used the Cauchy-Riemann equations to find the analytic function: $$y^2−x^2−2y+2+i(2x(1−y))$$ But I'm having a slight rearranging problem and need to write it in terms of $z$, where $z=x+iy$. Any suggestions would be much appreciated
Dooodle
  • 61
4
votes
1 answer

Show that the series of derivatives of an entire function converges

I was asked to show that if $f(z)$ is holomorphic at a neighbourhood of $a$, and $\sum_{n\geq0}f^{(n)}(a)$ converges, then $f$ is entire and $\sum_{n\geq0}f^{(n)}(z)$ converges for all z in the complex plane.It is easy to prove that $f$ is entire…
4
votes
1 answer

Given $x,y\in\mathbb{C}^n$ s.t. $f(x,y)=\sup_{\theta,\phi}\{\|e^{i\theta}x-e^{i\phi}y\|^2,\theta,\phi\in\mathbb{R}\}$

Given$$x,y\in\mathbb{C}^n,\quad f(x,y)=\sup_{\theta,\phi}\{\|e^{i\theta}x-e^{i\phi}y\|^2,\theta,\phi\in\mathbb{R}\}$$ Then which is/are the following are true? $1.\ f(x,y)\le \|x\|^2+\|y\|^2-2Re|\langle x,y\rangle|$ $2.\ f(x,y)\le…
Myshkin
  • 35,974
  • 27
  • 154
  • 332
4
votes
0 answers

Generalization of Schwarz's Lemma

I am reading Lectures on Riemann Surfaces by Otto Forster. He says: (p.110) The following lemma may be viewed as a generalization of Schwarz's lemma. Let $D,D'$ be a pair of open subsets of $\mathbb{C}$, where $D$ is a relatively compact subset of…
4
votes
0 answers

Show that $e^z = z + \lambda$ has exactly $m + n$ solution in a horizontal strip.

Suppose $\lambda \in \mathbb{C}$, show that for sufficient large $m$ and $n$, then the equation $e^z = z + \lambda$ has exactly $m + n$ solutions in the horizontal strip $\{- 2 \pi im < \operatorname{Im} z < 2 \pi i n\}$. I tried to compute the…
Andy
  • 517
4
votes
4 answers

Prove that $\overline{e^{ix}}=e^{-ix}$

I am trying to construct properly the imaginary exponential as an extension of the real exponential. For this, I need to show that $\overline{e^{ix}}=e^{-ix}$. I know that there is a very simple proof using an infinite sum of powers. But I am…
4
votes
2 answers

Does the Weierstrass M-test show analyticity?

I'm trying to show (textbook exercise) that the riemann-zeta function is analytic. The solution is here: Why does the proof say that the zeta series converges to an analytic function? Doesn't the M-test merely show uniform convergence? The zeta…
ryang
  • 38,879
  • 14
  • 81
  • 179