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

Holomorphic function with reals to reals

Suppose that $f$ is an entire function and that there is a bounded sequence of real numbers $a_1, a_2, ... $ such that $f(a_n)$ is real for all $n$. Show that $f(x)$ is real for all real $x$. Thoughts so far: Since $a_n$ is a bounded sequence of…
user19817
  • 455
4
votes
2 answers

Rigorous meaning of the expression $dz = dx + idy$

Many complex analysis books just define $dz$ by $dz = dx + idy$. In smooth manifold theory, the expressions like $dx$, $dy$, $df$ have precise meaning: covector field. My question is: What is the precise meaning of the expression '$dz = dx + idy$'?…
Kwon
  • 41
4
votes
3 answers

Cauchys integral formula on function with pole of order 2

I want to compute the integral $$\int_{|z - 1| = 1/2} \frac{e^{iz}}{(z^2-1)^2} \mathrm{d}z$$ using Cauchy's integral formula (residual theorem is not allowed). Examining the integrand one gets $$ \frac{e^{iz}}{(z^2-1)^2} =…
el_tenedor
  • 3,530
4
votes
2 answers

Image of a function under unit disk.

What can we say about the image of the following function under open unit disk: $$f(z)=\frac{1}{(1-z)(1-a z)},\quad 0
4
votes
2 answers

An entire function which is real on the real axis and map upper half plane to upper half plane

Suppose that $f$ is an entire function that satisfies $f(z)$ is real when $z$ is real and if $Imz>0$ then $Imf(z)>0$. Prove that $f$ can have at most one zero and that the zero, if it occurs, is real. Show also that if $f$ has no zero then $f$ is…
delueze
  • 545
4
votes
1 answer

Branch cut and contour integration along a special function

Define for all complex $z$ except for a slit on the real interval $[0,1]$, the analytic function $f(z)=(z^2-z^3)^{-1/3}$, so that $f(z)$ is real valued on the upper side of the slit. a) How are the values of $f(z)$ on the lower side of the slit…
nerd
  • 1,457
  • 12
  • 20
4
votes
1 answer

A problem regarding meromorphic functions

I was trying to solve problems from Gamelin's complex analysis book, and I came across the following question: Suppose $f(z) = \sum_{k} a_k z^k$ is analytic for $|z| < R$, and suppose that $f$ extends to be meromorphic for $|z| < R+\epsilon,$ with…
Hajime_Saito
  • 1,813
4
votes
4 answers

Proving a function is constant

Let $f$ be an analytic function such that $f(z)$ is an element of $\mathbb R$ for all $z$ element of $\mathbb C$. Prove $f$ is constant. Here's what I have done - $f(z) = c + i0$, where $c$ is an element of $\mathbb R$ So i have component…
Jim_CS
  • 5,331
4
votes
1 answer

$f: \Omega \rightarrow \Omega$ bounded, $f(z_0) = z_0$, show $|f'(z_0)| \leq 1$

I'm stuck on the following problem: Let $\Omega$ be a bounded domain, and $f: \Omega \rightarrow \Omega$ analytic such that $f(z_0) = z_0$. Show that $|f'(z_0)| \leq 1$. What I did so far was suppose that $|f'(z_0)| > 1$, and define $g_n := f…
D_S
  • 33,891
4
votes
2 answers

Schwarz Reflection Principle on a unit disk

Suppose $f$ is a analytic function defined on $\bar{D}(0;1)$ and has real value on the boundary. I'm trying to show $f$ can be extended to entire plane by $$g(z) = \begin{cases}f(z) &, \lvert z\rvert \leqslant 1\\…
4
votes
2 answers

A question regarding a proof in Ahlfors

Ahlfors says the following: if $f (z) $ is analytic on a disc, then its integral along any closed path contained in the disc is $0$. The proof for this is the following: Let $F (z)=\int_\sigma {f (z)dz}$ where $\sigma$ is a rectangular path that…
user67803
4
votes
1 answer

Prove that $f$ is a polynomial

If $f(z)$ is an entire function and $|f(z)|\ge1$ for all $z$ with $|z|\ge \pi$ then show that $f$ is a polynomial. I tried to apply Lioville's theorem on $f$. For $|z|\le \pi$ , $|f(z)|\le k$ for positive constant. But it does not help. I've also…
Empty
  • 13,012
4
votes
3 answers

Rouché's theorem and maximum modulus principle

I have a problem: Suppose $f$ is analytic on closed disk $(\bar{\mathbb{D}} = \{z \in \mathbb{C} : |z| \leq 1 \})$. Assume that $|f(z)| = 1$ for $|z| = 1$, and that $f$ is not constant. Show that image of f contains entire open unit disk…
4
votes
0 answers

Is there a class of functions which is analagous to complex analytic functions?

As far as I am aware it is known that for any complex analytic function, the gradient of the real part of the function and the gradient of the imaginary part of the function are at right angles. For example $f(x+iy)=(x+iy)^2+3(x+iy)+2$, has…
Stephen
  • 51
  • 1
4
votes
1 answer

Regarding a complex analysis problem.

I'm trying to do this problem from Gamelin's book: Let $f_n(z)$ be a sequence of analytic functions on a domain (= open connected set) $D$ such that $f_n(D) \subset D,$ and suppose that $f_n$ converges to $f$ uniformly on each compact subset of $D$.…
Hajime_Saito
  • 1,813