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

Sketch all points in the complex plane such that $\mathrm{Re}(1/z)<1$

I am given the task to sketch all the points in the complex plane satisfying $$ \mathrm{Re}(1/z)<1 $$ I am not very good at sketching, nor seeing how to draw this in the complex plane. I was thinking that since $$ \frac{1}{z} = \frac{|z|}{z|z|} =…
4
votes
2 answers

Show that $\overline{f(z)}$ is holomorhpic in $D(0;1)$ if and only if $f$ is constant.

Let $f$ be holomorphic in $D(0;1)$. Show that $\overline{f(z)}$ is holomorhpic in $D(0;1)$ if and only if $f$ is constant. It is clear to me that if $f$ is constant then $\overline{f(z)}$ is holomorphic since the Cauchy-Riemann equations will be…
MHW
  • 2,940
4
votes
1 answer

Show that $f$ vanishes identically.

Let $f$ be an entire function. Assume that $\mid f(1/n)\mid\le e^{-n}$ for all $n\in \mathbb{N}$. Show that $f$ vanishes identically.
4
votes
1 answer

Two families of holomorphic functions are normal.

I am trying to solve a problem and I can't prove two of its questions. The problem: Let $S:=\{f:\mathbb D\rightarrow \mathbb C: f\in H(\mathbb D),\ f\ 1-1,\ f(0)=0,\ f'(0)=1\}$, where $\mathbb D$ is the open unit disc and $H(\mathbb D)$ is the set…
Στέλιος
  • 1,742
  • 9
  • 18
4
votes
1 answer

maybe maximum modulus principle $ |f(z)| \leqslant 1 + |z|^{\frac{3} {2}} \forall z $

Let $f$ be an entire function such that : $$ |f(z)| \leqslant 1 + |z|^{\frac{3} {2}} \forall z $$ What we can conclude about $f$ . Sorry for asking this , but I want to see some examples of the contents of the chapter that I'm reading, this problem…
Daniel
  • 1,717
4
votes
1 answer

How to show that $f(z)=\sqrt{|xy|}$ satisfies the Cauchy Riemann equations but isn't differentiable at $z=0$?

How to show that $f(z)=\sqrt{|xy|}$ satisfies the Cauchy Riemann equations but isn't differentiable at $z=0$? My Attempt $$ f(z)=u+i v,u=\sqrt{|xy|},v=0 $$ $$ v_{x}=0,v_{y}=0,u_{x}=\frac{|y|}{2\sqrt{|x y|}},u_{y}=\frac{|x|}{2\sqrt{|x…
gbd
  • 1,963
4
votes
2 answers

Compute $\int_{\gamma}{Log(z)\over z}dz$ for $\gamma(t)=e^{it}$, $t\in[0,2\pi]$

Compute $\int_{\gamma}{Log(z)\over z}dz$ for $\gamma(t)=e^{it}$, $0\le t\le (2\pi)$. (Why is it that using "\le" code suddenly creates "2"?). Before you vote to close this question, know that its duplicate has a confirmed answer understood to the OP…
Meitar
  • 2,911
4
votes
2 answers

Property of a holomorphic function on an open ball

Let $B$ be the unit open disk in $\mathbb{C}$ and $f:B\rightarrow \mathbb{C}$ be a holomorphic function satisfying $|f'(z)-f'(0)|<|f'(0)|$ on $B$. Then, how do I prove that $f$ is injective? By the Rouché theorem, $f'$ is never zero on $B$. How do I…
Rubertos
  • 12,491
4
votes
2 answers

If composition of one function and the other holomorphic function is holomorphic, then the other should be holomorphic?

Actually, this is an exercise on Rudin's Real and Complex Analysis: Suppose $\Omega_1, \Omega_2$ are plane regions, $f$ and $g$ are nonconstant complex functions in $\Omega_1$, $\Omega_2$ resp. and $f(\Omega_1) \subset \Omega_2$, so that $h=g \circ…
4
votes
0 answers

Sato hyperfunction with non-isolated singluar support

For some reason, I need to justify use of the "function" $f(x) = 0$ if $x < 0$ and $f(x) = \infty$ if $x > 0$. Is there a theory which allows to use such a function? Specifically, I looked to Sato hyperfunctions. However, all examples of Sato…
4
votes
3 answers

Suppose that $p(z) = a_nz^n+\cdots+a_0$ and it has maximum modulus $1$ on the boundary of the unit disk.

Suppose that $p(z) = a_nz^n+\cdots+a_0$ and it has maximum modulus $1$ on the boundary of the unit disk, show that $|p(z)| \leqslant max\{1,|z|^{n}\}$. How to show that $|p(z)| \leqslant |z|^n$?
koch
  • 582
4
votes
2 answers

A question on complex analysis

Let $f,g:\mathbb C \to \mathbb C$ be two analytic functions such that $f(z)(g(z)+z^2)=0$ for all $z$ .Then prove that either $f(z)=0$ or $g(z)=-z^2$.
user6618
4
votes
1 answer

Rouché's Theorem Application

I'm trying to use Rouché's theorem to find the number of roots of the function $f(z)=z^5+3z^4+9z^3+10$ on $\vert z\vert<2$. I know that the answer is $3$, but I have been unsuccessful in proving it. I've tried nearly every combination of the…
4
votes
1 answer

$| \Gamma (iy) | = \sqrt{ \pi / \sinh (\pi y) } $ how to prove it?

My Lecturer put it as a corollary of the theorem $\Gamma (z) \Gamma (1-z) = \pi/ \sin (\pi z) $. So how do I prove $| \Gamma (iy) | = \sqrt{ \pi / y \sinh (\pi y) } $ how to prove it? from the above theorem? Could you give me some hints? Thanks.
le4m
  • 3,006
4
votes
1 answer

Upper bound for $|e^z|$

I want to find an upper bound for $|e^z|$ on the circle $\gamma(t)=2e^{it}.$ My thoughts are as follows: $$|e^z|=|e^{2(\cos t+i\sin t)}|=|e^{2\cos t}|\cdot|e^{2i\sin t}|\leq |e^2|\cdot|e^{2i}|=e^2$$ I'm not convinced that this is correct though. Is…