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

Parabolic Branch Cut

The following is problem 19 from page 87 of Saff and Snider's "Fundamentals of Complex Analysis for Mathematics, Science, and Engineering," How would you construct a branch of $\log z$ that is analytic in the domain D consisting of all points in…
Andrew
  • 686
  • 5
  • 13
6
votes
1 answer

sum of holomorphic functions

Does anyone know how prove the following? Suppose that $f,g$ are holomorphic functions on a non-empty open connected set $\Omega \subset \mathbb{C}$ and that $|f|^2+ |g|^2$ is constant on $\Omega$. Show that $f$ and $g$ are constant on $\Omega$.
123
  • 61
6
votes
1 answer

Stolz region - stuck with the proof

Given two points $z_1,z_2$ such that $ \lvert z_i\rvert<1$, show that for every point $z\ne 1$ in the closed triangle with vertices $z_1,z_2,1$ following holds: $$ \frac{\lvert 1-z\rvert}{1-\lvert z\rvert}\le K,$$ where $K$ is a constant that…
Daniel
  • 1,717
6
votes
4 answers

why can't we define a branch of $\log f(z)$ in the whole complex plane?

My question is really simple. The only problem to define a branch of $\log f(z)$ in the whole complex plane is because we can have $f(z)=0$ for some $z\in \mathbb C$? In fact I think I don't understand well what's the problem to define $\log f(z)$…
user42912
  • 23,582
6
votes
2 answers

How do I show that $f(z) \equiv \sum_{n \in \mathbb{Z}} \frac{1}{(z-n)^2}$ is a meromorphic function?

Let $$f(z)=\sum_{n=-\infty}^\infty \frac{1}{(z-n)^2}.$$ Show $f$ is meromorphic on $\mathbb{C}$ with double poles at each integer. I think I got it to be meromorphic. I fixed an integer $m$ and considered the series $$\sum_{n=m+1}^\infty…
john
  • 1,191
  • 6
  • 10
6
votes
2 answers

How to compute the infinite tower of the complex number $i$, that is$ ^{\infty}i$

Let $x = i^{i^{i^{i^{.^{.^{.{^ \infty}}}}}}}$. This is the solution of the equation $i^x - x = 0 $ . I used Euler's identity to find a solution. But I haven't yet found the real and imaginary parts of the solution. Are there more solutions? If so…
Chulumba
  • 1,021
6
votes
1 answer

Is $\sqrt{z}$ an analytic function?

I know hat $\sqrt{z}$ is a multivalued function with a branch point at $z=0$, but it can be expanded (I think) as a Taylor series that will converge, meaning is should in theory be called analytic. Is it common practice to call such a function…
6
votes
2 answers

Show there in no non constant analytic functions in disk unit s.t $f(z)=f(2z)$

I'm trying to solve the following Show that there is no non constant analytic function in the unit disc such that $f(z)=f(2z)$. My try: let $f$ be an analytic function in the unit disk such that $f(z)=f(2z)$. Now, we can write $\displaystyle…
Galc127
  • 4,451
6
votes
2 answers

How to prove $f(z) = \sum_{n=-\infty}^{\infty}e^{2\pi inz}e^{-\pi n^2}$ has a unique zero inside a unit square in the 1st quadrant.

There are three parts of the question, the first two which I proved. $a.$ Proving $f(z)$ is entire analytic. $b.$ $f(z+1) = f(z)$ and $f(z+i) = e^{\pi}e^{-2\pi iz}f(z)$ $c.$ Inside the unit square in the 1st quadrant, prove that $f(z)$ has a unique…
user286838
6
votes
4 answers

How do I show that if $f$ is entire and $\{\lvert f(z)\rvert < M\}$ is connected for all $M$, then $f$ is a power function?

Let $f$ be a non constant entire function satisfying the following conditions : $f(0)=0$ for every positive real $M$, the set $\{z: \left|f(z)\right|
user312648
6
votes
0 answers

Prove this fact about holomorphic functions.

Suppose $f \colon \mathbb{D} → \mathbb{C}$ is holomorphic. Then I want to show that the diameter $$d=\sup _{z, w∈\mathbb{D}} |f (z) − f (w)|$$ of the image of $f$ satisfies $2|f′(0)| ≤ d$ and that equality holds precisely when $f$ is linear, this…
user162343
  • 3,245
6
votes
3 answers

Cauchy's Residue Theorem on a Singularity Outside a Contour

I recently ran into the following exercise: Evaluate $$\oint_\Gamma\frac{\cos z}{(z-\pi)^2}dz,$$where $\Gamma$ is a complete circuit of the circle $|z|=1$. Clearly, the singularity lies outside the…
wjmolina
  • 6,218
  • 5
  • 45
  • 96
6
votes
3 answers

The complex version of the chain rule

I want to prove the following equality: \begin{eqnarray} \frac{\partial}{\partial z} (g \circ f) = (\frac{\partial g}{\partial z} \frac{\partial f}{\partial z}) + (\frac{\partial g}{\partial \bar{z}} \frac{\partial \bar{f}}{\partial…
user162343
  • 3,245
6
votes
1 answer

Show $f_n = f \circ f \circ \dots \circ f \longrightarrow 0$ uniformly on compact sets

I am seeking help on a complex analysis qualifying exam problem. Let $D$ be a bounded open connected subset of $\mathbf{C}$ containing $0$ and let $f \colon D \to D$ be an analytic function satisfying $f(0) = 0$ and $\left| f^\prime \right|(0) <…
Doug
  • 2,797
6
votes
1 answer

stein and shakarchi complex analysis exercise 3.15 (b)

I can't solve this exercise from the book, can anyone give me a hint? Show that if $f$ is holomorphic in the unit disc, is bounded, and converges uniformly to zero in the sector $\theta < \arg z < \varphi$ as $|z| \to 1$, then $f = 0$. (Use the…
Sego
  • 61