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

To show an entire function is constant. (only with imaginary bound)

Assume $|f(z)|\leq 1/|y|$ for all $z\in\mathbb{C}$. Here $f$ is entire and we express $z=x+iy$. Then is $f$ constant ?
user74489
  • 497
4
votes
1 answer

Evaluate the following complex integral $\frac{1}{2\pi i}\int_{|z|=1}\frac{\overline{f(z)}}{z-a}\,dz$

Let , $f$ be analytic for $|z|<2$. Show that $$\frac{1}{2\pi i}\int_{|z|=1}\frac{\overline{f(z)}}{z-a}\,dz=\begin{cases}\overline{f(0)} &\text{ if } |a|<1\\\overline{f(0)}-\overline{f(1/a)}&\text{ if }|a|>1\end{cases}$$ By putting $z=e^{i\theta}$…
Empty
  • 13,012
4
votes
1 answer

To show sum of residues of $f(z)$ over all poles is $0$

Let $p(z)$ and $q(z)$ be relatively prime polynomials with complex co-efficients so that $deg(q(z))\ge deg(p(z))+2$ and let $f(z)=p(z)/q(z)$. We need to show that the sum of residues of $f(z)$ over all poles is $0$ Well, I tried like this: by…
Myshkin
  • 35,974
  • 27
  • 154
  • 332
4
votes
1 answer

Is a holomorphic function on $\mathbb{C}$ that's $L^2$ integrable necessarily bounded?

I'm working on a homework problem and if I can prove this claim then I am finished. Intuitively the answer should be yes, but I can't think about how I would attempt to rigorously prove this. I have an entire function…
Jake
  • 1,137
4
votes
2 answers

Definition of a esssential singularity - equivalence?

I previously held the conception that an essential singularity could be defined as a point $z_0$ of the function $f(z)$ for which: $$\lim_{z\rightarrow z_0}(z-z_0)^nf(z)$$ is not finite for any finite $n$. Although I don't think this definition is…
4
votes
1 answer

Complex series: $\frac{z}{(z-1)(z-3)} = -3 \sum\limits_{n=0}^\infty \frac {(z-1)^n}{2^{n+2}} - \frac{1}{2(z-1)}$ for $0 < |z-1| < 2$

Show that when $0 < |z-1| < 2$, $$\frac{z}{(z-1)(z-3)} = -3 \sum_{n=0}^\infty \frac {(z-1)^n}{2^{n+2}} - \frac{1}{2(z-1)}$$ I thought to attack this using a partial fraction decomposition and then breaking the partial fractions into Maclaurin…
Rand
  • 95
4
votes
1 answer

$| f(z)| \le A + B \log {| z|}$ like inequality

Let $f$ be an entire non-constant complex function and let $A$ and $B$ be given positive real constants. Is it possible that $|f(z)| \le A + B\log{| z|}$ for all complex $z$ such that $| z| \ge 1$ ? I've been trying to solve using the fact that…
4
votes
2 answers

Integral of $\frac{1}{\sin z}$ along a path

Suppose $\gamma$ is a simple, closed path, with $0$ in its interior and $\{\pi n:n\in\mathbb{Z}\setminus\{0\}\}\subset\mathbb{C}\setminus|\gamma|$. Find $$ \int_{\gamma} \frac{1}{\sin z} dz $$ Perhaps it's a simple question of Cauchy's formula…
4
votes
2 answers

Does there exists such real analytic function? (NBHM 2016)

a)Let $f(z)=e^x+iv$ then Cauchy Riemann equation will give us contradiction thus this cannot be true as $e^x=v_y \text{and} 0=v_x$, now $v_x=0 \implies v=g(y)$ and first equation then gives $g'(y)=e^x$ which is not true. b) is true take the zero…
Savannah
  • 1,295
4
votes
2 answers

$f$ is bounded iff $\Omega $ is bounded

Let $\Omega \subseteq \Bbb C$ be an open and connected set and let $f:\Omega \to \Bbb C$ be an analytic function .Pick out true ones: $f$ is bounded if $\Omega $ is bounded 2.$f$ is bounded only if $\Omega $ is bounded 3.$f$ is bounded iff…
Learnmore
  • 31,062
4
votes
2 answers

On the complex series $\sum_{n = 1}^{\infty} \frac{z^n}{n}$

I am studying the complex series $$\sum_{n = 1}^{\infty} \frac{z^n}{n}$$ when $|z| = 1$ and $z \ne 1$. I wrote down from class that in this case the series converges by Dirichlet's test. But I don't see why there exists an $M \in R$ s.t. $\Bigg|…
Monolite
  • 4,433
  • 5
  • 24
  • 52
4
votes
1 answer

Show $g(0)=\sup\{ Re(f(0)) : f\in\mathfrak{F}\}$

Define a family of functions by $$\mathfrak{F}:=\left\{ f\in Hol(\mathbb{D}) \ : \ \sum_{n=0}^\infty \left( \frac{|f^{(n)}(0)|}{n!}\right)^2\leq 1 \textrm{ and } f\left(\frac{1}{2}\right)=0\right\}$$. I am trying to show that there exists a…
Scott
  • 719
4
votes
1 answer

Problem Requiring Little Picard's Theorem

While preparing for an exam I got stuck on the following question. Let $f$ and $g$ be entire functions such that $f(0) = g(0)$ and let $p$ and $q$ be polynomials such that the following equality holds: $e^{f(z)}+p(z) = e^{g(z)}+q(z)$. Prove, using…
letreetlneant
  • 134
  • 1
  • 9
4
votes
0 answers

Why does Conway define conformal maps in this way?

I'm reading Conway's complex analysis book and on page 46 the author defines conformal maps: This makes me think why he didn't define conformal maps as usual, i.e., as a function with angle preserving property and that's all.
user42912
  • 23,582
4
votes
1 answer

Antiderivative simply connected region

Why do analytic functions always have an antiderivative on a simply connected region? Thank you for your time, Chris
Chris
  • 1,321