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
19
votes
4 answers

Holomorphic vs differentiable (in the real sense).

Why a holomorphic function is infinitely differentiable just because of satisfying the Cauchy Riemann equations, but on the other side, a two variable real function that is twice differentiable is not infinitely differentiable? I'm asking this for…
Ambesh
  • 3,312
19
votes
2 answers

Let $f(z)$ be entire function. Show that if $f(z)$ is real when $|z| = 1$, then $f(z)$ must be a constant function using Maximum Modulus theorem

Let $f(z)$ be entire function. Consider the functions $e^{if(z)}$ and $e^{−if(z)}$ and applying the Maximum Modulus Theorem, show that if $f(z)$ is real when $|z| = 1$, then $f(z)$ must be a constant function. (We take $f(z)=u(z)+iv(z)$) I am…
19
votes
2 answers

Prove that the composition of differentiable functions is differentiable.

Prove that the composition of differentiable functions is differentiable. That is, if $f$ is differentiable at $z$, and if $g$ is differentiable at $f (z)$, then $g\circ f$ is differentiable at $z$. My attempt: I begin…
19
votes
1 answer

If a holomorphic function $f$ has modulus $1$ on the unit circle, why does $f(z_0)=0$ for some $z_0$ in the disk?

I don't understand the final step of an argument I read. Suppose $f$ is holomorphic in a neighborhood containing the closed unit disk, nonconstant, and $|f(z)|=1$ when $|z|=1$. There is some point $z_0$ in the unit disk such that $f(z_0)=0$. By the…
Hana Bailey
  • 1,699
19
votes
2 answers

Convergence of the infinite product $\prod_{n = 1}^{\infty} \frac{z - \alpha_n}{z - \beta_n}$

I've been trying to solve this homework problem for a while but I can't seem to get any significant ideas about how to approach it, so I would really appreciate any hints that could help me solve it. The problem is exercise 8.14 from Steven Krantz…
18
votes
1 answer

Show that if $|f(z)| \leq M |z|^n$ then $f$ is a polynomial max degree n

I can't prove this statement, can anybody show me how to prove it? $$f:\mathbb{C}\rightarrow \mathbb{C} \in \mathcal{O}(\mathbb{C}), \exists n\in \mathbb{N}, R >0 , M>0 : |f(z)| \le M|z|^{n} \ \ \forall |z|>R \Rightarrow \deg(f)\le n $$ To show is…
user20318
  • 233
18
votes
5 answers

Definite integral calculation with poles at $0$ and $\pm i\sqrt{3}$

$$\int_0^\infty \frac{\sin(2\pi x)}{x(x^2+3)} \, dx$$ I looked at $\frac{e^{2\pi i z}}{z^{3}+3z}$, also calculated the residues, but they don't get me the right answer. I used that $\int_{-\infty}^\infty f(z)\,dz = 2\pi i (\sum \operatorname{Res}…
VVV
  • 2,695
18
votes
1 answer

A criterion for the existence of a holomorphic logarithm of a holomorphic function

Suppose $\Omega$ is a domain of the complex plane (i.e. an open and connected subset of the plane). Suppose $f$ is holomorphic on $\Omega$, and $f$ is not identically zero. Suppose $f$ has a holomorphic logarithm on $\Omega$, which means that there…
Malik Younsi
  • 3,868
18
votes
1 answer

Singularities at infinity

I'm a little confused on the concept of singularities at infinity. For example, take the function $f(z) = 1/z$. This has a removable singularity at infinity, since $f(1/z) = z$ is analytic at zero. However, the residue of $f(z)$ at infinity is by…
18
votes
2 answers

Why can't I combine complex powers

I came across this 'paradox' - $$1=e^{2\pi i}\Rightarrow 1=(e^{2\pi i})^{2\pi i}=e^{2\pi i \cdot 2\pi i}=e^{-4\pi^2}$$ I realized the fallacy lies in the fact that in general $(x^y)^z\ne x^{yz}$. Why doesn't it work with complex numbers even though…
KalEl
  • 3,297
18
votes
2 answers

$f$ entire, $f$ satisfies $|f(x+iy)|\leq\frac{1}{|y|}$ for all $x,y\in\mathbb{R}$. Prove that $f\equiv 0$.

Let $f$ be an entire function. Suppose that $f$ satisfies $$ |f(x+iy)|\leq\frac{1}{|y|}. $$ for all $x,y\in\mathbb{R}$. Prove that $f$ is identically zero. I'm having some trouble with this, but I'm probably just overthinking it. The first…
Blake
  • 2,610
18
votes
3 answers

Why can we view $z$ and $\bar z$ as independent variables in complex analysis?

I am quite confused about how to understand $\frac{\partial f}{\partial z}f(z,\bar z).$ Do $z$ and $\bar z$ in $f(z,\bar z)$ act the same way as $x$ and $y$ in $f(x,y)$? If so, how can we prove this?
Vladimir
  • 2,879
18
votes
4 answers

What is $0^{i}$?

$$\lim_{n\to 0} n^{i} = \lim_{n\to 0} e^{i\log(n)} $$ I know that $0^{0}$ is generally undefined, but can equal one in the context of the empty set mapping to itself only one time. I realize that in terms of the equation above, the limit does not…
soultrane
  • 533
17
votes
1 answer

Does there exist an holomorphic function such that $|f(z)|\geq \frac{1}{\sqrt{|z|}}$?

I have some trouble solving this problem: Does there exist a holomorphic function $f$ on $\mathbb C\setminus \{0\}$ such that $$|f(z)|\geq \frac{1}{\sqrt{|z|}}$$ for all $z\in\mathbb C \setminus \{0\}$? I don't know where to start. My intuition is…
Gary
  • 391
17
votes
3 answers

Singularity at infinity of a function entire

How to prove that every non-constant entire function $\,\,f:\mathbb{C}\rightarrow\mathbb{C}\,\,$ has a singularity at infinity? What type of singularity must this be?