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

A complex map with "bounded" derivative is injective

The exercise I try to solve states: "Let $\,f\,$ be analytic in $\,D:=\{z\in\mathbb{C}\;|\;|z|<1\}\,$ , and such that $$|f'(z)-1|<\frac{1}{2}\,\,\,\forall\,z\in D$$ Prove that $\,f\,$ is $\,1-1\,$ in $\,D\,$. My thoughts: The condition…
DonAntonio
  • 211,718
  • 17
  • 136
  • 287
6
votes
1 answer

Harmonic Function which cannot be described as real part of a holomorphic function

We define $f:\mathbb{C}\rightarrow\mathbb{C},\ f(z)=\log|z|$. $f$ is harmonic. Why can't we describe $f$ as a real part of a holomorphic (analytic) function? Thank you very much for your time, Chris
Chris
  • 1,321
6
votes
1 answer

Find the maximum modulus of $e^{z^2}$?

The maximum modulus of $e^{z^2}$ on the set $S=\{z\in \mathbb{C}: 0\leq Re(z)\leq1, 0\leq Im(z)\leq1\}$ is $e/2$ $e$ $e+1$ $e^2$ My attempt: We know $|e^{z^2}|\leq e^{|z|^2}$ so maximum of $|z|=\sqrt{2}$ since $z$ can be $1+i$, so $|e^{z^2}|\leq…
Harry Potter
  • 1,326
6
votes
2 answers

Contour integral.

Consider the function $y(x)$ defined by $$y(x)=e^{x^2}\int_{C_1'}\frac{e^{-u^2}}{(u-x)^{n+1}}du$$where $C_1'$ is as shown The Author makes following claims regarding the behavior of $y(x)$ in the limit of large $x$ (It is assumed that…
vnd
  • 1,507
6
votes
3 answers

Intuitive explanation why complex differentiation is not linear over real and imaginary part

Suppose we have a complex valued function $f = u + iv \colon U \to \mathbb C$ defined on an open subset $U$ of $\mathbb C$, which is holomorphic. I was asked why it is wrong to use the linearity of the differentiation operator to…
harlekin
  • 8,740
6
votes
2 answers

Possible analytic images of the unit disc?

From Picard's theorem, the image of $\mathbb{C}$ under an analytic function has to the whole plane or $\mathbb{C}$ minus a single point. What about other open sets? This may be too broad, so how about the unit disc? Let $B$ be the open unit disc. If…
user56914
6
votes
2 answers

How to prove that $Res(fg;a)=g(a)Res(f;a)$?

Suppose that $f$ has a simple pole at $z=a$ and let $g$ be analytic in an open set containing $a$. Show that $Res(fg;a)=g(a)Res(f;a)$. I know that as $f$ has a simple pole at $z=a$, this means its Laurent series is of the…
Tanius
  • 1,195
6
votes
1 answer

If $|z|<1$ then $\prod_{k=0}^\infty (1+z^{2^k})$ = $(1-z)^{-1}$

Prove that if $|z|<1$ then $\prod_{k=0}^\infty (1+z^{2^k})$ converges and is equal to $(1-z)^{-1}$. My attempt: Note that \begin{equation} \begin{aligned} (1-z)\prod_{k=0}^N (1+z^{2^k}) &= (1-z)(1+z)(1+z^2)(1+z^{2^2})\cdots(1+z^{2^N})\\ &=…
Peter
  • 77
  • 4
6
votes
3 answers

Where does complex exponential come from?

The complex exponential function is defined as : $$e^{ix} = \cos x + i\sin x$$ It shares most of its properties with real exponential and it allows a lot of trigonometric calculations such as de Moivre's formula : $$(\cos x+i\sin x)^n =…
Cydonia7
  • 891
6
votes
1 answer

Cauchy-Goursat with triangle contour

The Cauchy-Goursat theorem for a triangle contour states the following: Let $\triangle=\triangle(a,b,c)$ be a triangle in an open set $\Omega \subseteq \mathbb{C},p\in \Omega,f:\Omega\rightarrow \mathbb{C}$ continuous and f analytical on $\Omega…
Chris
  • 1,321
6
votes
2 answers

Rules for exponential and logarithm with complex arguments

Stackexchange community, i have a question concerning the rules for exponentials and logarithms with complex arguments. For real arguments we have: $$e^{a+b}=e^a\cdot e^b$$ $$e^{a-b}=e^{a}/e^{b}$$ $$e^{\ln a}=a$$ $$\ln(a\cdot b)=\ln a + \ln…
MrYouMath
  • 15,833
6
votes
2 answers

$X=\{\cos n + i\sin n : n \in \mathbb{N}\}$ is dense in $\mathbb{S}^1 \subset \mathbb{C}$

I'd like a hint to prove the above assertion. My idea was to find a convergent sequence, of points of $X$, to each point $z \in \mathbb{S}^1$, but I don't think it's right.
Jr.
  • 4,026
6
votes
1 answer

analytic extension

Suppose that $f$ is analytic in the annulus $1<|z|<2$ and there exist a sequence of polynomials converging to $f$ uniformly on every compact subset of this annulus. Show $f$ has an analytic extension to all of the disc $|z|<2$.
john
  • 1,191
  • 6
  • 10
6
votes
2 answers

Showing that choice of point on a curve is irrelevant to finding $f(z_0)$ in the curve

Before I start I apologize for the horrible title but I have no idea how to title this. So the problem is as follows: Let $f(z)$ be analytic in and on a simple closed curve $\Gamma$, and let $f(z)$ have no zeros in or on $\Gamma$. Now let $z_0$ be a…
Jeff
  • 1,199
6
votes
2 answers

Show that the set of zeros of $f$ is discrete

Let $\Omega \subset \Bbb{C}$ a region. $f:\Omega \to \Bbb{C}$ holomorphic, $f\neq 0$. Show that the set of zeros of $f$ is discrete. (That is, that it doesn't have any limit points.) This is the second part of an excercise in which I proved…