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

$f(z)$ and $f(\bar{z})$ both holomorphic in $|z|\leq 1$

Let $f(z)$ and $f(\bar{z})$ be holomorphic in $|z|\leq 1$. Must $f(z)$ be constant in $|z|\leq 1$? There is a fact that $f(\bar{z})$ is holomorphic if and only if $\overline{f(z)}$ is holomorphic, for any $z\in\mathbb{C}$. So we have that $f(z)$…
JJ Beck
  • 2,696
  • 17
  • 36
4
votes
2 answers

An analytic function reduces to a polynomial

Let $f(z)$ be analytic in the whole plane, and suppose that $f(z)$ has a nonessential singularity at $\infty$, Prove that $f(z)$ reduces to a polynomial. My Thoughts so far : Since $\infty $ is not an essential singularity of $f$ one of the…
the8thone
  • 4,111
4
votes
1 answer

Does there exist an analytic function $f$ such that $f(\overline{\mathbb{D}})=\overline{\mathbb{H}}$?

Does there exist an analytic function $f$, defined in a neighborhood of $\overline{\mathbb{D}}$, such that $f(\overline{\mathbb{D}})=\overline{\mathbb{H}}$ ? where $ \overline{\mathbb{H}} = \{ z \in \mathbb{C} | \ Imz \geq 0\} $ and…
the8thone
  • 4,111
4
votes
1 answer

Conformal map from unit disk to polygon

(Stein, Complex analysis, p.253) If $$F(z)= \int_1^z \frac{d\zeta}{(1-\zeta ^n)^{2/n}}$$ then $F$ maps the unit disk conformally onto the interior of a regular polygon with $n$ sides and perimeter …
Gobi
  • 7,458
4
votes
0 answers

Conformal Mappings of Parabola?

Seems like it should be simple enough, but I haven't made any real progress.... Construct a bijective conformal mapping from the region below the parabola $y=x^2$ to the upper half plane. My first thoughts are to map $y=x^2$ or looking around online…
4
votes
3 answers

Conformal Mappings from $xy=1$ to the upper half plane?

For a complex analysis class, I need to find a bijective conformal mapping that maps the region between the hyperbolas $xy = 1$ to the upper half plane. Any ideas? I'm trying to map the curve to $y=0$ as a first step... but no such luck... reference…
4
votes
3 answers

$\lim_{h\rightarrow 0} \dfrac {e^{f(z+h)}-e^{f(z)}}{f(z+h)- f(z)}$

given that $V$ is an open subset of $\mathbb{C}$ and $z \in V$, calculate $\lim_{h\rightarrow 0} \dfrac {e^{f(z+h)}-e^{f(z)}}{f(z+h)- f(z)}$, if $f$ is known to be a continuous complex function in $V$. I know that the result is supposed to be …
4
votes
2 answers

Finding the radius of convergence of the given power series.

Consider the power series $\sum\limits_{n=1}^{\infty}$$a_nZ^n$ , where $a_n$ is the number of divisor of $n^{50}$ . Find the radius of convergence.
Struggler
  • 2,554
4
votes
1 answer

convergence of analytic functions

I am trying to prove analyticity of a limit and I am at this situation. I have a sequence of meromorphic functions $\{f_n\}$ and all of them have singularities at the same points. I have proved uniform convergence in an open disk around $0$, $U$. If…
tst
  • 1,415
  • 9
  • 18
4
votes
0 answers

A problem involves Mittag-Leffler theorem and Weierstass Theorem

$G$ is a region,$\{a_n\}$ and $\{b_m\}$ are two sequence of distinct points in $G$ without limit in G.And $a_n\neq b_m$ for all $n,m$.Let $S_n(z)=\sum_{j=1}^{m_n}\frac{A_{jn}}{(z-a_n)^j} $.We are required to find a $f\in M(G)$ such that $f$ only has…
Daniel S.
  • 553
4
votes
1 answer

Characterize entire functions satisfying $|f(z)|=(x^2+y^2)e^x$

Clearly, $f(z)=z^2e^z$ is one such function. Suppose $g$ is another entire function satisfying the given criterion, then $|f/g|=1$ when $z\neq0$. I want to invoke Liouville's theorem and conclude all such functions are given by $f(z)e^{i\theta}$ for…
dls
  • 4,636
4
votes
2 answers

Existence of a Holomorphic Function

Does there exist a function $f(z)$ holomorphic in $\mathbb{C}\backslash\{0\}$, such that $$\left|f(z)\right|\geq\frac{1}{\sqrt{\left|z\right|}}$$ for all $z\in\mathbb{C}\backslash\{0\}?$ I'm not really sure on how to proceed or which particular…
4
votes
1 answer

Need help proving/understanding an inequality

I have been asked to prove the following inequality, given that $f:\mathbb{D}\to\mathbb{C}$ is an analytic function on the open unit disc $\mathbb{D}\subset\mathbb{C}$. $|f(w)-f(0)-wf~^\prime(0)|\leq|w|^2\sup|f(z)-f(0)-zf~^\prime(0)|$ where the…
RHP
  • 2,553
4
votes
1 answer

Root of $f(z)$ inside $|z|<1$

Let $c\in\mathbb{R}$. A non-constant function $f(z)$ is holomorphic in $|z|<2$. Suppose $|f(z)|=c$ for all $|z|=1$. Show that $f(z)$ must have a root in $|z|<1$. I'm thinking about the maximum principle, which says $f(z)$ cannot attain a maximum…
JJ Beck
  • 2,696
  • 17
  • 36
4
votes
1 answer

Runge's theorem and polynomially convex hull

Runge's theorem says that an analytic function $f$ in an open set containing compact set $K$ can be approximated by a rational function with poles in $E$,where $E$ is a subset of $\mathbb{C}_\infty-K$,and more importantly,$E$ meets every component…
Daniel S.
  • 553