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
0 answers

How can I transform the fuction $x=y$ under the complex function $f(z)=z^2+z$?

How can I transform the fuction $x=y$ under the complex function $f(z)=z^2+z$??? First I define the horizontals and verticals lines of the complex plane. Then if $z=x+iy$ the function $z^2+z=x^2-y^2+2ixy+x+iy$. There is a horizontal line $l_1$,…
4
votes
1 answer

square root of complex number in a resolvent operator

Let $ R_\lambda (x,y) = \frac{1}{2\sqrt{-\lambda}} e^{-\sqrt{-\lambda}|x-y|}$ . Now according to the book I am following if $\lambda > 0$ and we shift $\lambda \rightarrow \lambda + i\epsilon$, we get $ R_\lambda (x,y) = \frac{1}{2\sqrt{-\lambda}}…
4
votes
3 answers

An exercise in Conway about an analytic continuation of the square root

Let $D_0$ be the disc centered at $1$ of radius $1$. Let $f_0$ be the restriction of the principal branch of $\sqrt z$ to $D_0$. Let $\gamma(t)=e^{2\pi i t}$ and $\sigma(t)=e^{4\pi i t}$ for $0 \leq t \leq 1$. Find an analytic continuation $\{(f_t,…
user786
  • 1,152
4
votes
4 answers

Entire function with positive real part is constant (no Picard)

A problem asks to show that an entire function on $\mathbb{C}$ with positive real part must be a constant. I spoke to a professor, and asked why not just use the Picard theorem. He said that we should try to aim the solution at the level of the…
user88203
  • 537
4
votes
1 answer

Taking the anti-derivative of $z^{i}$

Question: What is the anti-derivative of $z^{i}$? Motivation: While doing some complex analysis problems, I got to one which required me to find the anti-derivative of $z^{i}$. In the solutions, it notes (without explanation) that the…
user2959
4
votes
2 answers

Schwarz's Lemma and functions with positive real part

Problem: Let $D = \{ z \in \mathbb C : |z| < 1 \}$. Suppose $f : D \to \mathbb C$ is a non-constant analytic function such that $\mathrm{Re} f(z) \geq 0$ for all $z \in D$. (a) Show that $\mathrm{Re} f(z) \neq 0$ for all $z \in D$. (b) Using a…
4
votes
2 answers

Another proof for Liouville's Theorem

I'm having trouble completing a homework question which will produce an alternative proof for Liouville's Theorem. The question reads Let $f$ be an entire function. Evaluate, for $|a|
4
votes
2 answers

$( \mathrm{Aut}(\mathbb{D}),\| \cdot \|_{\infty})$ is complete

I need to show $(\mathrm{Aut}(\mathbb{D}),\| \cdot \|_{\infty})$ is complete, where $\mathbb{D}$ is an open unit disk in the complex plane. I know $$f\in \mathrm{Aut}(\mathbb{D})\Rightarrow f(z)=e^{i\phi}{z-\alpha\over 1-\bar{\alpha}z},-\pi<\phi\le…
Myshkin
  • 35,974
  • 27
  • 154
  • 332
4
votes
1 answer

Find the integral of $\frac{f'(z)}{f(z)}$

Let a function $f$ be defined and holomorphic on some neighborhood of the disk $\lbrace |z|<1 \rbrace$. Suppose that $|f(z)| \neq 0$ for all $z$ with $|z| = R$. Prove that $$\int_{C_R(0)} \frac{f'(z)}{f(z)} dz= 2 \pi i\sum_{|a|
4
votes
1 answer

Separating out zero factor from holomorphic function

I encountered this line of argument. Suppose $z_k=k\pi$. We clearly have $\sin z_k=0$. Then we can write $\sin z=(z-z_k)(\cos(z_k)+g_k(z))$ where $g_k$ is holomorphic and $g_k(z_k)=0$. It seems the argument that's being used is like: Suppose we…
Mika H.
  • 5,639
4
votes
1 answer

Inequality with condition similar to Schwarz lemma

Suppose $f(z)$ is holomorphic and $|f(z)|\leq 1$ for $|z|\leq 1$. Show that $$\frac{|f'(z)|}{1-|f(z)|^2}\leq \frac{1}{1-|z|^2}.$$ If I also have the condition $f(0)=0$, I would be able to use the Schwarz lemma to conclude that $|f(z)|\leq|z|$ and…
Mika H.
  • 5,639
4
votes
2 answers

Integral of a disk automorphism

Let $|\alpha|<1$ and $\psi_{\alpha}(z)=(\alpha-z)/(1-\bar\alpha z)$. I want to prove that $$\frac 1 {\pi} \int\int_{\mathbb{D}}|{\psi_{\alpha}}^{'}|dxdy = \frac{1-|\alpha|^2}{|\alpha|^2}\log\frac{1}{1-|\alpha|^2}$$ I calculated…
Gobi
  • 7,458
4
votes
3 answers

$\frac{1}{z} \prod_{n=1}^{\infty} \frac{n^2}{n^2 - z^2} = \frac{1}{z} + 2z\sum_{n=1}^{\infty} \frac{(-1)^n}{z^2-n^2}$?

I am trying to show that $$\frac{1}{z} \prod_{n=1}^{\infty} \frac{n^2}{n^2 - z^2} = \frac{1}{z} + 2z\sum_{n=1}^{\infty} \frac{(-1)^n}{z^2-n^2}$$ This question stems from the underlying homework problem, which asks to show $$ \frac{\pi}{\sin(\pi…
tylerc0816
  • 4,123
4
votes
1 answer

An exercise in Conway about an integral

Here's the problem: Let $G$ be the punctured unit disk (i.e missing the point $0$). Let $f:G \mapsto \mathbb{C}$ be analytic. Suppose $\gamma$ is a closed curve in $G$ homologous to $0$ (that is the winding number of $\gamma$ about any point outside…
user786
  • 1,152
4
votes
1 answer

Dirichlet L-series associated to periodic sequence

Let $\{a_n\}$ be a sequence of complex numbers such that $a_n=a_m $ iff $ n\equiv m \mod q$ for some positive integer $q$. Define the Dirichlet L-series associated to $\{a_n\}$ by $$L(s)=\sum_{n=1}^{\infty} \frac{a_n}{n^s} \ \ \ \text{ for …
Gobi
  • 7,458