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

Showing that the image of a function is $\mathbb{C}$ if it satisfies a nice functional equation

Let $f$ be entire and non-constant. Assuming $f$ satisfies the functional equation $f(1-z)=1-f(z)$, can one show that the image of $f$ is $\mathbb{C}$? The values $f$ takes on the unit disc seems to determine $f$... Any ideas?
Thelonius
  • 937
5
votes
1 answer

Zeroes of $z^4+e^z$ in the unit disk

How many zeroes does $f(z)=z^4+e^z$ have in the unit disc? ADDED: can you calculate them? Here the same question is asked about the disk of radius $2$. It can be solved easily by Rouché's theorem since when $|z|=2$, if $z=x+iy$ then $|e^z|=e^x\leq…
Ur Ya'ar
  • 975
5
votes
4 answers

Indefinite integral with residue theorem

I tried to solve the following integral using residue theorem. $$\int_0^\infty\frac{x}{\sinh x} ~\mathrm dx=\int_{-\infty}^\infty\frac{x}{e^x-e^{-x}}~\mathrm dx$$ $e^x-e^{-x}=0$ when $x=n\pi i, n\subset\mathbb Z$ So the residues are (when n is a…
Mike Park
  • 145
5
votes
3 answers

Is $z/z$ holomorphic in $z=0$?

To be holomorphic require to have derivative at $z\to0$ but $f(z)$ is undefined. Does it mean $z/z$ is not holomorphic at $z=0$?
Michael
  • 369
  • 1
  • 10
5
votes
2 answers

Pick out the true statements complex analysis

Pick out the true statements: (a) There exists an analytic function $f$ on $\mathbb{C}$ such that $f(2i) = 0$, $f(0) = 2i$ and $|f(z)|\le 2$ for all $z\in\mathbb{C}$ . (b) There exists an analytic function $f$ in the open unit disc $\{z\in\mathbb{C}…
poton
  • 4,993
  • 1
  • 42
  • 62
5
votes
4 answers

How to evaluate $\frac{1}{2\pi}\int_0^{2\pi}\log\left\lvert re^{it}-\zeta\right\rvert\,dt$?

Prove that if $\zeta \in \mathbb{C}$ and $r>0$ then $$ \frac{1}{2\pi}\int_0^{2\pi}\log\left\lvert re^{it}-\zeta\right\rvert\,dt = \log \left\lvert\zeta\right\rvert\, $$ if $\,r\leq \left\lvert\zeta\right\rvert$, and it is $\,\log r\,$ if $\,r>…
Extremal
  • 5,785
5
votes
2 answers

Using the Weierstrass M-test, show that the series converges uniformly on the given domain

$\sum_{k \geq 0} \frac{z^k}{z^k+1}$ on the domain $\overline{D}[0, r]$, where $0 \leq r < 1$ I'm honestly not sure how to do this. My text mentions the Weierstrass M-test but the example they gave after stating it uses a completely different method…
5
votes
2 answers

Is $\sin z/z$ analytic at the origin?

For $z\in\Bbb C$ let $$ f(z) = \frac{\sin z}{z} $$ Along the real line this is well behaved, and approaches $1$ as $z\to 0$. But is $f(z)$ analytic at the origin ($z=0$)? I tried explicitly checking the Cauchy conditions but that gets ugly (unless I…
Mark Fischler
  • 41,743
5
votes
2 answers

$f(z)=\int_1^\infty e^{-x}x^z\,dx$ is complex analytic

Note: I'm refereshing my complex analysis skills in order to learn some analytic number theory. Here's one (basic) claim I'd like to prove and my attempt. My questions are: Is my partial attempt correct? Are there better (or shorter) ways to prove…
Mila
  • 53
5
votes
2 answers

Laurent expansion of a function

Consider the function $$f(z) = \frac{e^z+1}{e^z-1}$$ This function has a Laurent expansion about $0$ of the form $$f(z) = \frac{a}{z} + \sum_{n=0}^\infty b_nz^n$$ for constants $a, b_1,\ldots, b_n$. Show that $b_n=0$ for all even $n$. What is the…
user2850514
  • 3,689
5
votes
1 answer

Prove a function is constant. (complex analysis)

Suppose function $f$ is holomorphic on $\mathbb C-\{0\}$ and satisfies $$|f(z)| \le \sqrt {|z|} + \frac{1}{\sqrt {|z|}}.$$ Prove that $f$ is a constant function. I think it's related to Laurent series representation and ML inequality but I have no…
5
votes
2 answers

Order of growth of a complex polynomial

Question I want to determine the order of growth of a complex polynomial $p(z)$. My attempt We pick $$p(z)=a_nz^n+\ldots +a_1z+a_0$$ then we know that $$|p(z)| \le |a_nz^n|+\ldots +|a_1z|+|a_0|$$ since $e^x$ is increasing we have that…
user162343
  • 3,245
5
votes
1 answer

Show that $f$ is either injective or a constant function.

Let $\Omega$ be a domain in $\mathbb{C}$ and let $\{f_n\}_{n \in \mathbb{N}}$ be a sequence of injective functions that converge in $O(\Omega)$ to $f$ . Show that $f$ is either injective or a constant function. How does the conclusion change if,…
Rusty
  • 2,868
5
votes
0 answers

What is THE domain of analyticity of a holomorphic function?

I am self-studying complex analysis, and I am a little bit confused on notations. Suppose that $f:U \to \mathbb C $ is a holomorphic function defined on an open subset of $\mathbb C^n $. I understand that every holomorphic extension of $f$ to a…
5
votes
1 answer

conformal but not real differentiable, still holomorphic?

can one prove that a conformal map (one which preserves angles (in sense as well as in size) between arcs with non-zero derivatives at a point z and for which the limit of the absolute value of the difference quotient exists at z) has a complex…
Jorge
  • 63