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

Entire function with prescribed values

I am trying to solve the following problem from Ahlfors' Complex Analysis Chapter 5, Section 2.3: Suppose that $\{a_n\}$ is a sequence of distinct complex numbers such that $a_n\to \infty$ and let $\{c_n\}$ be a sequence of arbitrary complex…
user61747
  • 121
12
votes
2 answers

Proving that if $f: \mathbb{C} \to \mathbb{C} $ is a continuous function with $f^2, f^3$ analytic, then $f$ is also analytic

Let $f: \mathbb{C} \to \mathbb{C}$ be a continuous function such that $f^2$ and $f^3$ are both analytic. Prove that $f$ is also analytic. Some ideas: At $z_0$ where $f^2$ is not $0$ , then $f^3$ and $f^2$ are analytic so $f = \frac{f^3}{f^2}$ is…
Sarjbak
  • 412
12
votes
1 answer

Exercise on a holomorphic $f$ on a strip satisfying $|f(z)|\leq A(1+|z|)^\eta$

Consider the following problem: If $f$ is a holomorphic function on the strip $S=\{z=x+iy:-1
user9464
12
votes
1 answer

Using the identity theorem: can there be an analytic function $f$ with $f\left(\frac{1}{n^2}\right) = \frac{1}{n}$

As Conway states it the theorem is as follows: Let $G$ be an open connected set and let $f:G\rightarrow \mathbb{C}$ is analytic on $G$. Then the TFAE: $f\equiv0$ $\{z\in G: f(z)=0 \}$ has a limit point in $G$. I get confused when I have to use…
Cousin
  • 3,525
12
votes
2 answers

Hadamard's three circle theorem

Hadamard's three circle theorem is given as follows: $$A(a,b)=\{z:a<|z|< b\},$$ and $f$ is a holomorphic function in this annulus $A$. Let $$M(r) = \max_{|z|=r}|f(z)| $$for $a < r < b$. Then $$\log\left(\frac ba\right)\log(M(r)) \le\…
aviress
  • 155
12
votes
3 answers

Evaluating this integral for different values of a constant

As you helped me so well last time, I might as well ask a final question! Today I'm trying to prove this: $$ \int_0^\infty \frac{x^{p}}{ 1+x^{2}}dx = \frac{\pi}{2}\cos\left(p\frac{\pi}{2}\right) $$ For $-1 < p < 1$. I have no idea how to handle the…
boudewijn
  • 141
  • 2
12
votes
1 answer

Complex analysis exercises

These two questions are driving me mad as I need to help my daughter but I can't remember all this stuff. $\,(1)\,\,$ Let $\,p(z)\,,\,q(z)\,$ be two non-constant complex polynomials of the same degree s.t. $$\text{whenever…
DonAntonio
  • 211,718
  • 17
  • 136
  • 287
12
votes
3 answers

Is there an analytic function with $f(z)=f(e^{iz})$?

Does there exist a non-constant analytic function $f$ satisfying $f(z)=f(e^{iz})$ ? I don't know where to start.
Idele
  • 1,928
12
votes
1 answer

Cauchy's Integral Formula and Green's Theorem

I have been re-reading through my complex analysis text and wanted to try something different. Cauchy's Integral Theorem is typically proved using an application of Green's Theorem and then by virtue of the Cauchy-Riemann Equations the integral…
Steven-Owen
  • 5,556
12
votes
3 answers

Proof composition of analytic functions is analytic

Title says it all I looked for a proof on this site but couldn't find one. Prove if $f$ is analytic on $D$ and $g$ is analytic on $\Omega$ containing the range of $f$ show $g(f(z))$ is analytic. The statement seems obvious but I can't seem to be…
Aleksandar
  • 1,771
12
votes
2 answers

Show bounded harmonic function on $\mathbb{C}$ is constant.

There is another post with this exact same prompt which got several down-votes for not showing their work. So I'll show what work I've got. I know being a harmonic function implies satisfying the Mean Value Property, thus what I thought I'd do is…
Set
  • 7,600
12
votes
1 answer

A question regarding a cluster set

I've been having some difficulty trying to prove this exercise in $\textit{Complex Analysis}$ by Gamelin: Let $\{z_k\}$ be a sequence of distinct points in a domain $D$ that accumulates at the boundary $\partial D$ and let $E$ be a closed subset…
Libertron
  • 4,415
12
votes
1 answer

Entire function vanishing at $n+\frac{1}{n}$ for $n\geq 1$.

It was a problem: does there exists an entire function which vanishes at $n+\frac{1}{n}$ for all $n\in\mathbb{N}$? Since the set $\left\{n+\frac{1}{n}\right\}_{n\geq 1}$ has no limit point in $\mathbb{C}$, by Weierstrass theorem, there exist such…
Groups
  • 10,238
12
votes
2 answers

How do I formally define complex exponentiation?

I'm trying to make basic complex analysis tools more concrete. That is, I'm trying to eliminate the term "multi-valued function" in my language. For example, $\log$ can be viewed as a group homomorphism $(\mathbb{C}^*,•) \rightarrow (\mathbb{C}/2\pi…
Rubertos
  • 12,491
11
votes
1 answer

$f: \Omega \rightarrow \Omega$ holomorphic, $f(0) = 0$, $f'(0) = 1$ implies $f(z) = z$

Let $\Omega$ be a bounded connected open subset of $\mathbb{C}$ containing $0$. Let $f: \Omega \rightarrow \Omega$ be holomorphic and $f(0) = 0$, $f'(0) = 1$. The problem I am working on is to show that $f(z) = z$. If $\Omega = \mathbb{D}$, then…