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
11
votes
3 answers

Radius of convergence and ratio test

My book says that given a power series $\sum_{n = 1}^\infty c_nz^n$ where the $c_n$ are complex the radius of convergence of the series is $\dfrac{1}{L}$ where $L = \lim \sup \sqrt[n]{|c_n|}$. So the radius of convergence is defined using the root…
user66960
  • 111
11
votes
2 answers

Understanding branch cuts for functions with multiple branch points

My question was poorly worded and thus confusing. I'm going to edit it to make it clearer, and then I'm going to give a brief answer. Take, for example, the function $$f(z) = \sqrt{1-z^{2}}= \sqrt{(1+z)(1-z)} = \sqrt{|1+z|e^{i \arg(1+z)} |1-z|e^{i…
11
votes
1 answer

set of all holomorphic functions is a integral domain

To show $H(G)=$ set of holomorphic functions on $G$ is a integral domain. i would like to know whether my proof of $H(G)$ does not have divisors of zero correct or not? to show if $fg\equiv 0 \implies f\equiv0$ or $g \equiv 0$ let $fg=0$ $\forall…
jim
  • 3,624
11
votes
2 answers

Unusual evaluation of $\sum \frac{1}{n^2}$

Assume the formula $$\sum_{n=-\infty}^\infty\frac{1}{(n+u)^2}=\frac{\pi^2}{(\sin \pi u)^2},$$ where $u\notin\Bbb Z$. I have been trying to prove that $$\sum_{n=1}^\infty\frac{1}{n^2}=\frac{\pi^2}{6}.$$Setting $u=1/2$, I was able to derive…
Clayton
  • 24,751
11
votes
3 answers

Is complex residue related to the word residue?

I know little formal math terminology and don't understand much of anything about complex analysis. Also, if this isn't a good starting point for complex integration feel free to say (I'm learning about it partly for Cauchy's residue theorem). My…
11
votes
2 answers

About the determination of complex logarithm

Although it must be a silly question, I am really confused. For complex logarithm, in general, $$\log(z_1z_2)\neq\log(z_1)+\log(z_2)$$ even if the logarithm is already determined. I think this is true, right? However, in some proof from complex…
YYF
  • 2,917
11
votes
3 answers

$|\operatorname{Im}f(z)|\leq |\operatorname{Re}f(z)|$ then $f$ is constant

Let $f\colon\mathbb C \to \mathbb C$ be entire. Show that if $|\operatorname{Im}f(z)|\leq |\operatorname{Re}f(z)|$ for all $z \in \mathbb C$, then $f$ is constant on $\mathbb C$. How I can answer this by considering the distance between $f(z)$ and…
neno
  • 151
11
votes
2 answers

$e^z-P(z)$ has infinitely many zeros

If $P\in\mathbb{C}[z]$ is a non-zero polynomial, prove $f(z):=e^{z}-P(z)$ has infinitely many zeros. I've made some progress so far, but I still have a step missing. Here is where I'm at: Suppose $f$ has finitely many zeros, namely…
rmdmc89
  • 9,939
11
votes
1 answer

How to show that $f$ is an odd function?

An entire function $f$ takes real $z$ to real and purely imaginary to purely imaginary. We need to show that $f$ is an odd function. well, $f=\sum_{n=0}^{\infty}a_nz^n$ what I can say is $f(\mathbb{R})\subseteq\mathbb{R}$ and…
Myshkin
  • 35,974
  • 27
  • 154
  • 332
11
votes
3 answers

How to determine the type of singularities

I have the following functions: a) $\displaystyle f:\mathbb{C}\backslash\{0\}\rightarrow\mathbb{C},\ f(z)=\frac{1}{e^{\frac{1}{z}}-1}$ b) $\displaystyle f:\mathbb{C}\backslash\{0,2\}\rightarrow\mathbb{C},\ f(z)=\frac{\sin z ^2}{z^2(z-2)}$ c) …
Chris
  • 1,321
11
votes
3 answers

Show that an entire function $f$ s.t. $|f(z)|>1$ for $|z|>1$ is a polynomial

I have been struggling on the following problem. Suppose $f$ is an entire analytic function such that $|f(z)|>1$ if $|z|>1$. Show that $f$ is a polynomial. My idea is as followed: all zeros of $|f(z)|$ lie inside $|z|\leq 1$. Applying Argument…
iloveinna
  • 597
  • 2
  • 5
  • 9
11
votes
2 answers

If $F$ is entire with removable singularity at $\infty$, then $F$ is constant?

On page 24 of Krantz's Complex Analysis, there is the following proof: Proposition 2: If $F$ is entire and $F$ has a removable singularity at $\infty$, then $F$ is constant. Proof: By examining $F(1/z)$, we see that $F$ must have a finite limit at…
Hana Bailey
  • 1,699
11
votes
4 answers

Schwarz lemma problem

This is taken from an old complex analysis qualifying exam. Problem Let $\Delta$ denote the unit disc $\{z\in\mathbb{C}:|z|<1\}$. Suppose $f:\Delta\rightarrow\Delta$ is holomorphic. Show…
John Adamski
  • 2,202
11
votes
1 answer

Image under an entire function.

Let $f$ be an entire function and $B$ be a bounded open set in $\mathbb {C} $. Prove that boundary of image of $B$ under $f$ is contained in image of boundary of $B$. Does the same result is true for unbounded open set in $\mathbb C.$
neelkanth
  • 6,048
  • 2
  • 30
  • 71
11
votes
1 answer

If $f(a+re^{it})\in \Bbb{R}$ for all $t\in \Bbb{R}$ then $f$ is constant.

I would like to prove that if $f(a+re^{it})\in \Bbb{R}$ for all $t\in \Bbb{R}$ then $f$ is constant. Of course $f$ is holomorphic on a domain $U$ and $r>0$ such that $\overline{D(a,r)}$ is included in $U$. This question arose from another one…
user169373