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

Why can't an analytic function be injective in a neighborhood of an essential singularity?

Let $D \subset \mathbb{C}$ be a domain and let $a \in D$. Suppose $f: D \smallsetminus \{a\} \to \mathbb{C}$ is analytic and that $a$ is an essential singularity of $f$. Show that $f$ cannot be univalent (= injective) in any neighborhood of…
Cheng
  • 41
4
votes
1 answer

Pole at infinity concept question

I don't feel like I understand the concept of pole at infinity very well. Suppose $f(z)$ has a pole of order $k$ at infinity. This means $f(z)/z^k$ is holomorphic in a neighborhood of infinity. Then, since $z$ and $1/z$ are both holomorphic in that…
Mika H.
  • 5,639
4
votes
1 answer

Derived analytic function from real part

I saw Ahlfors's book Complex Analysis. It mentioned that analytic function $f(z)$ can be derived from a given real part $u(x,y)$, where $x$ and $y$ are real. It said that $$ u(x,y)=\frac{1}{2}[f(x+iy)+\bar{f}(x-iy)]. \tag{1} $$ However, it…
Paul
  • 41
4
votes
1 answer

Use residues to evaluate $\int_{0}^{\infty} \frac{dx}{x^2 + 1}$

Use residues to evaluate $\int_{0}^{\infty} \frac{dx}{x^2 + 1}$. Okay so these are the integrals in complex analysis I am a little uncomfortable with. I purposely chose a simple problem out of a book so that I can save the slightly more difficult…
Daniel Smith
  • 213
  • 1
  • 2
  • 10
4
votes
1 answer

what is the significance of the annulus in laurent series?

I am looking at ways which you can write a function as a series. I am aware that one can use the Taylor series. I am currently trying to understand the Laurent series. I understand there are cases where the Taylor series will not work as all the…
Adeeb
  • 733
4
votes
3 answers

The map $w=f(z)=\frac{i(1-z)}{1+z}$.

I am now studying complex analysis now. Now I want to find the image of right half plane $Re(z)>0$ under the linear transformation $w=f(z)=\frac{i(1-z)}{1+z}$.
89085731
  • 7,614
4
votes
1 answer

Constructing a holomorphic function on a disk

Is it possible to construct a holomorphic function on $D(0,1)$ where $D$ is the disk with center $0$, and radius $1$, such that $f(\frac{1}{n}) = z_n$ when $z_n = 0$ for even $n$ and $z_n$ = $\frac{1}{n}$ for odd $n$ Attempt of solution: I have…
user84324
  • 347
4
votes
2 answers

Harmonic conjugate of $\ln(|z|)$

Find the harmonic conjugate of $u$. $u = u(z) = \ln(|z|)$ so $u(z) = \ln(\sqrt{x^2 + y^2})$ I am trying to find now its harmonic conjugate I did all the math: I got two solutions though. One is $v(z) = \arctan(y/x) + C$ if I solve $\partial…
4
votes
3 answers

Integral with differential is purely imaginary

Prove that if $f(z)$ is analytic and $f'(z)$ is continuous on a closed curve $\gamma$, then $\int_\gamma\overline{f(z)}f'(z)dz$ is purely imaginary. I'm not so sure where to start. Maybe parametrize $z$ by $z(t)$, so that the integral becomes…
Paul S.
  • 3,345
  • 4
  • 32
  • 60
4
votes
1 answer

Dealing with Residues on the Real Axis - (Evaluation of Improper Integrals) Problem

Problem Compute $ \int_0^{\infty} \frac{dx}{x^a(x+2)} $, with $a \in \mathbb{R}$, using the Residue Theorem. Find the values of $a$ for which this procedure is valid. Attempt at a solution Looking at this integrand and letting $f(z) =…
user70482
4
votes
2 answers

Integrating conjugate of polynomial

If $P(z)$ is a polynomial and $C$ denotes the circle $|z-a|=R$, what is the value of $\int_CP(z)d\overline{z}$? I parametrize the circle as $z(t)=a+Re^{it}$ where $t\in[0,2\pi]$. Then…
PJ Miller
  • 8,193
4
votes
3 answers

Taylor Series expansion at z=0, and radius of convergence

I have the following question: Consider the domain $$ D=B(0,1)\cup B\left(\frac{1}{2}, 1\right) $$ It is given that $f:D\rightarrow \mathbb{C}$ is an analytic function in $D$, and $f^{(n)}(0)$ is a positive real number for every positive integer…
sigma
  • 41
4
votes
1 answer

Complex differentiability, holomorphicity, analyticity - what's the difference?

From what I gather, a function $f:\mathbb{C} \to \mathbb{C}$ is: -Differentiable at $z_0$ iff the limit $\lim_{z \to z_0} \frac{f(z)-f(z_0)}{z-z_0}$ exists. -Holomorphic at $z_0$ iff there exists a neighbourhood of $z_0$ in which $f$ is…
Spine Feast
  • 4,770
4
votes
2 answers

Does $Re\left( \int_{\gamma} f \right) = \int_{\gamma} Re(f)$?

I'm currently studying complex analysis. My current thinking is as follows: Let $f(t)=x(t)+iy(t)$. By definition, $$\int_{\gamma} f(t) \, \mathrm{d}t = \int_{a}^{b} f(\gamma(t)) \gamma'(t) \, \mathrm{d}t$$ and so by substitution, $$\int_{\gamma}…
4
votes
2 answers

If $f(z)g(z) = 0$ for every $z$, then $f(z) = 0$ or $g(z) = 0$ for every $z$.

This is for homework, and I would really appreciate a hint. The question states "If $f$ and $g$ are holomorphic on some domain $\Omega$ and $f(z)g(z) = 0$ for every $z \in \Omega$, then $f(z) = 0$ or $g(z) = 0$ for every $z \in \Omega$." I tried…
tylerc0816
  • 4,123