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

Analytic in $\mathbb{C}$ implies $\left|\frac{f'(x)}{f(x)}\right|$ is bounded in $\mathbb{R}$?

If $f(z)$ is an analytic function in the complex plane, $z=x+iy$, and $f(x)\neq 0$ for all $x\in \mathbb R$, does this imply that $\frac{f'(x)}{f(x)}$ is bounded on $\mathbb R$?i.e., $\big|\frac{f'(x)}{f(x)}\big|\leq C$, for some $C>0$.
Terra M
  • 61
5
votes
1 answer

Is there a geometric insight from this exercise?

I am solving some exercises in a book I'm reading and so far all the exercises contained some insight. But then I got to the following exercise: Let $z,a\in \mathbb C$. Show that $$ (1-|z|^2)(1-|a|^2) =|1-z\overline{a}|^2 - |z-a|^2$$ Then deduce…
Anna
  • 1,757
5
votes
2 answers

Why does a branch need to be defined in complex analysis?

$\newcommand{\arg}{\operatorname{arg}}$Say we have the principal branch, $\arg_\tau(z)$. This is defined so that $\arg_\tau(z) \in (-\pi,\pi]$. Why is it necessary to define the limits on the argument of $z$ at all? Thanks!
Bliebervik
  • 1,038
5
votes
2 answers

Writing a complex function $f(x,y)=f(x+iy)$ as function of complex variable $z$.

Is it true that to write a differentiable complex function $f(x,y)=f(x+iy)$ as a function of the complex variable $z$ one can replace real variable $x$ with $z$ and put $y=0$? If it is true (even under more conditions) then how can one prove it?
G.J.
  • 329
5
votes
2 answers

Find an analytic function that maps the angle $-\pi/4<\operatorname{arg}(z)<\pi/2$ onto the upper half plane so that $w(1-i)=2,w(i)=-1$, and $w(0)=0$

Find an analytic function that maps the angle $-\pi/4<\operatorname{arg}(z)<\pi/2$ onto the upper half plane so that $w(1-i)=2$, $w(i)=-1$ , and $w(0)=0$ I'm trying to use this formula $$\frac{w-w_1}{w-w_3 }\cdot\frac{w_2-w_3}{w_2-w_1…
5
votes
3 answers

Is $f(z)=z^n$ holomorphic?

Is $f(z)=z^n$ holomorphic? I have tested a number of other functions using the Cauchy Riemann equations $u_x=v_y$, $v_x=-u_y$. However in the case of $f(z)=z^n$ I cannot think of a way to find the functions $u(x,y)$ and $v(x,y)$ without using a…
Modulus
  • 579
5
votes
1 answer

Why is $z$ holomorphic but $\bar z$ not holomorphic

Can anyone show me how I can prove something as simple as $f(z) = z$ is holomorphic but $\bar z$ is not?
Olórin
  • 5,415
5
votes
1 answer

Find all holomorphic functions $f$ satisfying $f(1-f(z))=f(z)$?

Find all holomorphic functions $f$ (on $\mathbb{C}$) satisfying $f(1-f(z))=f(z)$? First, every constant function $f(z)=w$ is holomorphic and satsfies our condition. Now assume $f$ is not constant. So there is some $z_0$ such that $f'(z_0)\ne 0$.…
luka5z
  • 6,359
5
votes
1 answer

Injective holomorphic function is conformal (i.e. nonzero derivative)

STATEMENT: If $f:U\rightarrow V$, where $U,V$ are open subsets of $\mathbb{C}$, is holomorphic and injective, then $f'(z)\neq 0$ for all $z\in U$. Proof: We argue by contradiction, and suppose that $f'(z_0)=0$ for some $z_0\in U$.…
Enigma
  • 3,909
5
votes
2 answers

Flipping sign of $i$s

Why do we flip the signs of all $i$ s in a complex number when we want to take the conjugate of it? I mean, conjugating means making $x + iy$ into $x - iy$, but given a number of the form: $$\frac {x+iy}{x-iy}$$ or $$x+iy+e^{iz}$$ or any other form…
Sidd
  • 835
5
votes
1 answer

Cauchy Goursat, why triangles?

Cauchy Goursat: Let $f$ be analytic in a simply connected domain $D$.If $C$ is a simple closed contour that lies in $D$ , then $$\int_C f(z) dz = 0.$$ I've been reading a lot of proofs on this theorem and all of them treats the contour $C$ as a…
Lemon
  • 12,664
5
votes
1 answer

Understanding Integration in Complex analysis

In real analysis, we can understand integration as areas under the curve. In complex analysis, I saw many theorems (Cauchy's theorem, Goursat's theorem etc.) about complex integration, but I couldn't see its relation with "area". Q. What should one…
Groups
  • 10,238
5
votes
1 answer

Proving a complex function is constant

Let $u: \mathbb{R}^2 \to \mathbb{R}$ be a differentiable function. Prove that if the complex function $f(x + iy) = u(x,y) + iu(x,y)$ is analytic in $\mathbb{C}$ then it is a constant function. Answer: If $f$ is a analytic it satisfies the Cauchy…
Jim_CS
  • 5,331
5
votes
1 answer

How to calculate value of an analytic function in a closed disk.

I just have answer of this question which is 6, but I don't know how to arrive at this answer. Please anyone help me solve this. How does one calculate the value of this function?
renu
  • 97
5
votes
1 answer

Riemann Mapping Theorem's Consequence

It is well known that the Riemann mapping theorem asserts that for any open simply connected $G\subset \mathbb{C}$ and $z_{0}\in G$, there exists a unique bijective analytic function $f:G\to \mathbb{D}$, such that $f(z_{0})=0$ and…
george
  • 51