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

An exercise from Steins's complex analysis.

This is an exercise from Steins's complex analysis chapter $8$: Suppose $F(z)$ is holomorphic near $z=z_0$ and $F(z_0)=F'(z_0)=0$, while $F''(z_0)\neq 0$.show that there are two curves $\Gamma_1$ and $\Gamma_2$ that pass through $z_0$ , are…
user115608
  • 3,453
4
votes
2 answers

A question about factorization and entire function

Suppose $f_1,f_2,\cdots,f_k$ are entire functions without common zeros.Suppose each $f_i$ has finite number of zeros.Prove that there exist entire functions $g_1,\cdots,g_k$ such that $$\sum_{i=1}^kf_ig_i=1$$ Is it still true without the assumption…
Daniel S.
  • 553
4
votes
3 answers

Maximum of an analytic function on the unit disk.

This question is a old question but in that question one condition was not explained well. Let $f$ be analytic on the unit disk $D$. Assume that $f(r)=\max\limits_{|z|=r} |f(z)|$. (Note that here we are not defining a new function. It just means …
user98619
  • 223
  • 3
  • 11
4
votes
2 answers

Find all zeros of the equation $e^z = 1+2z$ in the unit disk.

I tried solving the pair of equations \begin{align} e^x\cos y&=1+2x\\ e^x\sin y&= 2y \end{align} but I got stuck.
4
votes
2 answers

Motivation for the study of Jacobi Theta Functions

The wikipedia definition says: "There are several closely related functions called Jacobi theta functions, and many different and incompatible systems of notation for them. One Jacobi theta function (named after Carl Gustav Jacob Jacobi) is a…
Marter Js
  • 515
4
votes
1 answer

A problem related to Schwarz reflection principle

Let $\Omega$ be a bounded domain in $\mathbb{C}$. Suppose there is a function $f$ which is analytic in $\Omega$ except a simple pole at $a\in\Omega$, such that $(z-a)f(z)$ is continuous on $\bar{\Omega}$ with $f(z)=\bar{z}$ on $\partial\Omega$.…
user43423
  • 219
4
votes
2 answers

Holomorphic function is bijective if neutral fixed point

I have a question that asks If $S \subset \mathbb{C}$ is a bounded domain and $f : S \to S$ is a holomorphic map such that $f(p) = p$ and $|f'(p)| = 1$ for some $p \in S$, then $f$ is bijective. I am aware of this question: Bijective holomorphic…
4
votes
1 answer

How can the winding number change under a holomorphic map?

This question comes from an old complex analysis qual. First denote $\mathbb{C}^{\times} = \mathbb{C} \backslash \{ 0 \}$, $u = \{ e^{it} : 0 \leq t < 2 \pi \}$, and let $f : \mathbb{C}^{\times} \to \mathbb{C}^{\times}$ be some holomorphic…
4
votes
3 answers

Computing $\int_{|z|=2} z^n(1 - z)^m\ dz$

My two questions are bolded below. Hypothesis: Let $\gamma$ denote the circle about the origin of radius $2$. Goal: Compute $$ \int_{\gamma} z^n(1 - z)^m\ dz $$ Attempt: We have that $$ \int_{\gamma} z^n(1 - z)^m\ dz = \int_{\gamma}…
user1770201
  • 5,195
  • 6
  • 39
  • 71
4
votes
1 answer

Geometric Derivation of the D-Bar Operator $\frac{\partial}{\partial z} = \frac{1}{2}(\frac{\partial }{\partial x} - i\frac{\partial }{\partial y})$

This picture from Visual Complex Analysis is all you need to derive the Cauchy-Riemann equations, i.e. from the picture we see $i \frac{\partial f}{\partial x} = \frac{\partial f}{\partial y}$ should hold so we have $$i \frac{\partial f}{\partial…
bolbteppa
  • 4,389
4
votes
1 answer

A complex integral question

The problem is in the Cauchy Integral Formula section in Gamelin's "Complex Analysis". $$ \oint_{|z-1|=3} \frac{dz}{z(z^2-4)e^z} $$ I have trouble with it because -2 is actually on the boundary.
Hawii
  • 1,279
4
votes
0 answers

Limit at infinity of a complex function

If $f(z)$ is an entire function such that $$ \lim_{x \rightarrow -\infty}\frac{f(x)}{|f(x)|}=1$$ where $|f(x)|$ is the modulus of $f$, and $f(x)$ is just evaluating $f$ at real $x$. What can we say about $f(x)$ (or $f(z)$)?
Kelly
  • 81
4
votes
1 answer

Show that $f$ is identically zero.

Let $f$ be a entire function. Assume that there exist a real number $a$ such that $f^{(r)}(a)=0$ for all integer $r≥0$. My question is show that the function $f$ is identically zero.
DER
  • 3,011
4
votes
1 answer

One-one analytic functions on unit disc

Is the following statement true? Suppose, $ f:D\to \mathbb C $ is an analytic function where $ D $ is the unit disc of radius $ 1 $ around $0 $. Suppose, $ f $ is analytic on the boundary of $ D $ as well. Then prove that, if $ f $ is one-one on the…
Chandan
  • 229
4
votes
1 answer

existence of sequence of polynomial

Is there a sequence of polynomials $P_n$ such that $\displaystyle\lim_{n \to \infty} P_n(z) = \begin{cases} 1, & \text{Im } z > 0\\ 0, & z \text{ is real,} \\ -1, & \text{Im } z < 0 \end{cases}$ I have no clue where to start from. Please provide…
Germain
  • 2,010