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

Prove that $0$ is not an essential singularity (UW Madison Qualifying exam)

I'm trying to do this old qualifying exam problem from UW Madison. Let $D^\ast=\{z\in\mathbb{C},0<|z|<1\}$ and $f$ be a non constant holomorphic function on $D^\ast$. Assume that $\text{Im} f(z)\geq 0$ if $\text{Im} z\geq 0$ and $\text{Im} f(z)\leq…
Simplyorange
  • 1,116
5
votes
1 answer

How to evaluate the Gauss sum using Mordell's Trick?

I have been working on this problem: I have shown that the integral equals $G_n$ using the residue theorem. I have proved that the integral over the horizontal paths $B,D,F,H$ vanish. I have found the functional equation $f(z+n) - f(z) = g(z) :=…
user581023
5
votes
1 answer

A function that satisfies Cauchy-Riemann but is not holomorphic

I'm attempting Chapter 1, Exercise 12 in Stein & Shakarchi's Complex Analysis, which is as follows: Consider the function defined by $$f(x+iy) = \sqrt{|x||y|}$$ whenever $x, y \in \mathbb{R}$. Show that $f$ satisfies the Cauchy-Riemann equations at…
onesix
  • 173
5
votes
2 answers

Is the function, $f(z)=iz\bar{z}$ analytic?

Question: Is the function, $f(z)=iz\bar{z}$ analytic? My approach: We know that for any $z\in\mathbb{C}$, $z\bar{z}=|z|^2.$ Thus $f(z)=i|z|^2, \forall z.$ Now let $z=x+iy\implies f(z)=f(x+iy)=i(x^2+y^2).$ Thus we have $u(x,y)=0$ and…
5
votes
1 answer

Holomorphic function on Upper Half Plane must be rational

Let $f$ be holomorphic on the upper half plane and continuous on $\mathbb{R}$, with $|f(r)|=1$ for all $r\in\mathbb{R}$. Prove that $f$ is rational. I was playing around with conformal maps and $\overline{f(\bar{z})}$, but I would really like a hint…
ergo
  • 161
5
votes
0 answers

True or False: Every entire function $f(z)$ which goes to $0$ as $|z|\to \infty$ is bounded?

I am almost positive I am incorrect, but I was hoping someone could explain why I am wrong because for the life of me I am at a loss. I am not asking for a counterexample or some contra-reasoning as to why my conclusion is incorrect, but rather I am…
user656966
5
votes
1 answer

Using Morera's theorem to prove analyticity

I have a function $F(x,y)$ which is continuous and analytic on the complement of a certain function $x(y)$. Is it possible to use Morera's theorem to show that it is analytic everywhere? Clearly, this approach can be used if it fails to be analytic…
5
votes
2 answers

Show that $\exp(\sin z)$ has an antiderivative on $\mathbb{C}$

How can we show that $\exp(\sin z)$ has an antiderivative on $\mathbb{C}$?
Tony
  • 51
5
votes
1 answer

All Roots to be on unit circle

Suppose $p(z)=1+a(z+z^2+\cdots+z^{n-1})+z^n, a\in{\bf R}, n\geq 2.$ Then the necessary and sufficient conditions for $p(z)$ to have all its roots on the unit circle are $-2/(n-1)\le a\le2n/(n-1)$ for odd $n$ and $-2/(n-1)\le a\le2$ for even $n$.
user159888
  • 1,948
  • 1
  • 14
  • 19
5
votes
0 answers

Residue of product

Suppose $f$ has an $n$-th order pole at $0$ and $g$ is holomorphic at $0$. Can I write the residue of the product "in terms of" the residue of $f$? Since $$Res(fg)=\frac {1}{(n-1!)}\lim _{s\rightarrow 0}\left (\frac {d^{n-1}}{ds^{n-1}}\left \{…
tomos
  • 1,650
5
votes
4 answers

Why is $0^i$ undefined?

Wolfram Alpha returns nothing. I tried working out the algebra on my own and I am stuck. Let $0^i=x$. Then $i=\log_0(x)$. $i=\ln(x)/\ln(0)$. $\ln(0)=-\infty$. Any number $n$ over complex infinity is $0$ so I end up with $i=0$. Or I could multiply…
O.S.
  • 592
5
votes
2 answers

Find all analytic functions $f(z)$ on the open unit disk that satisfy $|f(z)|\leq2^{-\frac{1}{|z|}}$

I am required to find all analytic functions $f(z)$ defined on the open unit disk $D=\{z\in\mathbb{C}\mid |z|<1\}$ that satisfy the following inequality: $$\forall z\in D\setminus\{0\}:|f(z)|\leq2^{-\frac{1}{|z|}}$$ I found that the constant…
Amit Zach
  • 1,626
  • 1
  • 7
  • 17
5
votes
4 answers

The sum $\sum \frac{\sin(n\theta)}{n}$ over odd $n$

I recently saw that the claim that $\sin(\theta) +\frac{1}{3}\sin(3\theta) +\frac{1}{5}\sin(5\theta)+ \ldots$ converges to $\frac{\pi}{4}$ for $0<\theta<\pi$. Has anyone seen this problem or have any suggestions on how to approach such an…
pel
  • 1,015
5
votes
3 answers

Contour Integration of $\sin(x)/(x+x^3)$

How should I calculate this integral $$\int\limits_{-\infty}^\infty\frac{\sin x}{x(1+x^2)}\,dx\quad?$$ I have tried forming an indented semicircle in the upper half complex plane using the residue theorem and I tried to integrate along a curve…
Forgiven
  • 51
  • 2
5
votes
2 answers

$f,g$ are continuous on closed unit disk but analytic on open unit disk and $f(z)=g(z)$

$f,g$ are continuous on closed unit disk but analytic on open unit disk and $f(z)=g(z)$ on $|z|=1$, we need to show $f\equiv g$ so $h(z)=f(z)-g(z)$ has zero set $S^1$ which is analytic on open unit disk $D$ and continous on compact unit disk so …
Myshkin
  • 35,974
  • 27
  • 154
  • 332