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

Composition of an analytic function with a continuous function that is analytic

If $f$ is a continuous function such that $g(z)=\sin{f(z)}$ is analytic, then is $f$ analytic? I know we can take $f(z)=\bar{z}$ then $f$ is continuous but $g$ is not analytic. Same holds if we take $f(x+iy)=x$. I tried letting $f(z)=u+iv$ then…
5
votes
1 answer

Fubini-Tonelli proof purely using complex analysis?

Let $F:[a,b]\times[c,d]\rightarrow \mathbb{R}$ be continuous. Show that:$$\int_{a}^{b}\left(\int_{c}^{d}F(x,y)dy\right)dx = \int_{c}^{d}\left(\int_{a}^{b}F(x,y)dx\right)dy$$ Lebesgue integral hasn't been introduced, and this is from a book…
VVV
  • 2,695
5
votes
1 answer

Completion of Complex Numbers

In some way, $\mathbb{C}$ completes $\mathbb{R}$, why is there nothing that completes $\mathbb{C}$? Is it just more so that we don't want anything more than $\mathbb{C}$, or is there a property of $\mathbb{C}$ that makes it complete, in some sense?…
user82004
5
votes
6 answers

Meaning of $f(z,\bar{z})$

What is the meaning of having $\bar{z}$ in your description of a function, i.e. $f(z,\bar{z})$? The conjugate is simply a function of the complex number, z, so I don't understand why you need to reference it as a second variable. It seems equivalent…
user82004
5
votes
0 answers

Proving a holomorphic function is constant on an open connected set under certain conditions.

Let $\Omega \subset \mathbb C$ be an open and connected set, such that $\overline{D_1} \subset \Omega$. Let $f:\Omega \to \mathbb C$ be a holomorphic function with $f(z) \in \mathbb R$ for all $z$ such that $|z|=1$. Show that $f$ is constant. I…
user156441
  • 3,877
  • 2
  • 23
  • 60
5
votes
1 answer

Curve integration with Cauchy

I want to compute the following : 1. $$\int_{\partial D_{2}(0)} \frac{e^{z}dz}{(z+1)(z-3)^{2}}dz,$$ 2. $$\int_{\partial D_{2}(-2i)}\frac{dz}{z^{2}+1} $$ 3. $$\int_{\partial D_{2}(0)} \frac{\sin z}{z+i} dz $$ 4.…
Tashi
  • 1,593
5
votes
2 answers

proof of the Cauchy integral formula

$ D=D_{r}(c), r > 0 .$ Show that if $f$ is continuous in $\overline{D}$ and holomorphic in $D$, then for all $z\in D$: $$f(z)=\frac{1}{2\pi i} \int_{\partial D}\frac{f(\zeta)}{\zeta - z} d\zeta$$ I don't understand this question because I don't…
Tashi
  • 1,593
5
votes
1 answer

When can we switch the limit and the integral?

$\Omega$ is a domain in the complex plane and $F(z,t)$ is a continuous function on $\Omega\times I$ where $I=[0,1]$ is the unit interval in $\mathbb{R}$. Suppose further that $F(z,t)$ is analytic in $z$ on $\Omega$ for each fixed $\in I$. Prove…
claire
  • 327
  • 1
  • 10
5
votes
2 answers

Let $f$ be a non-constant analytic function on $\mathbb{D}$ satisfying $|f(z^2)| ≤ |f(z)|$ for $|z| < 1.$

Let $f$ be a non-constant analytic function on $\mathbb{D}$ satisfying $|f(z^2)| ≤ |f(z)|$ for $|z| < 1.$ $(a)$ Show that $f(0) = 0.$ $(b)$ Show that $f(z)\neq 0$ for $0<|z|<1.$ $(c)$ Show that $f(z) = az^n,$ where $a ∈ \mathbb{C},n ∈ N.$ I know how…
5
votes
2 answers

Why in this case $f$ should be entire?

Let $f:\mathbb{C}\rightarrow\mathbb{C}$ be a function. Assume $f$ satisfies follows: $f$ is analytic at a point $z_0$. $\limsup\limits_{n\to\infty} \left|\frac{f^{(n)}(z_0)}{n!}\right|^{1/n}=0$. Why in this case $f$ should be analytic…
Number 9
  • 1,457
5
votes
1 answer

Ahlfors' extension of Riemann mapping function, proof clarification

In the Ahlfors' Complex Analysis chapter about the Riemann Mapping Theorem section 6.1.3, page 233, he states and proves this theorem: Theorem 3. Suppose that the boundary of a simply connected region $\Omega$ contains a line segment $\gamma$ as a…
bryanj
  • 3,938
5
votes
3 answers

Proving $-\frac{1}{2}(z+\frac{1}{z})$ maps upper half disk onto upper half plane

To prove $-\frac{1}{2}(z+\frac{1}{z})$ maps upper half disk onto upper half plane, I have been trying to find a formula for the inverse. To this end, I chose $\omega$ in the upper half plane. $$\omega = -\frac{1}{2}(z+\frac{1}{z})$$ $$0 = z^2+2…
Mark
  • 5,696
5
votes
0 answers

Converse to the Koebe Distortion?

Given a univalent function on the disk satisfying $f(0)=0$ and $f'(0)=1$, Koebe Distortion theorem says that \begin{equation} \frac{1-|z|}{1+|z|}\le \left|z\frac{f'(z)}{f(z)}\right|\le \frac{1+|z|}{1-|z|}. \end{equation} I'm wondering if there is…
Braindead
  • 4,999
5
votes
1 answer

Find all entire functions such that $|f(z)|\leq |\sin(z)|$ for all $z\in\mathbb C$.

Find all entire functions such that $|f(z)|\leq |\sin(z)|$ for all $z\in\mathbb C$. Half an hour ago I asked the same question for $|f(z)|\leq |z^2-1|$ here but this time I cannot say something like $$|f(z)|\leq M|z|^m$$ so I don't know how to…
Jolien
  • 1,645
5
votes
3 answers

Given four complex numbers $z_1, z_2, z_3$ and $z_4,$ show that they lie on a circle.

Given four complex numbers $z_1, z_2, z_3$, and $z_4,$ show that they lie on a circle if $$\arg\left(\frac{z_4-z_1}{z_4-z_2}\right)=\arg\left(\frac{z_3-z_1}{z_3-z_2}\right).$$ How can I interpret this equality? And how can I show this statement? I…
eChung00
  • 2,963
  • 8
  • 29
  • 42