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

Holomorphic function with constant absolute value

Show that if a holomorphic function has a constant absolute value, it must be a constant. Suppose $f(z)=u(z)+iv(z)$ is holomorphic (where $z=x+iy$ is complex), and that $(u(z))^2+(v(z))^2=C$ for some constant $C$. We have…
PJ Miller
  • 8,193
6
votes
2 answers

Analytic functions close to $\bar{z}$

Is there an analytic function $f\colon\Bbb{C}\longrightarrow \Bbb{C}$ such that for any $z$ on the unit circle $\lvert f(z) - \overline{z}\rvert < 1 $?
Nemes
  • 375
6
votes
2 answers

On analytic functions $f,g$ with the sum of their norms is constant

I am new here. I don't know if this problem is easy or not or is that suitable for this site or not. But I have difficulties dealing with it. Let $A\subseteq \Bbb{C}$ be open and connected. Also let $f,g :A \longrightarrow \Bbb{C}$ be analytic…
Nemes
  • 375
6
votes
2 answers

$\sum_{n=1}^{\infty}f(z^n)$ converges uniformly with $f$ holomorphic

Let $f$ be an holomorphic function on the unit ball with $f(0)=0$. Prove that $\sum_{n=1}^{\infty}f(z^n)$ is uniformly locally convergent in the unit ball. My attemp: It is suffice to prove that $\sum_{n=1}^{\infty}f(z^n)$ converges uniformly …
catch22
  • 3,057
6
votes
1 answer

Entire function $f: \mathbb{C} \to \mathbb{C}$ maps every unbounded sequence to an unbounded sequence then $f$ is a polynomial?

I came across this problem. Hopefully my last for the exam tomorrow. (i) Entire function $f: \mathbb{C} \to \mathbb{C}$ maps every unbounded sequence to an unbounded sequence then $f$ is a polynomial? The other question is (ii) Is the same…
6
votes
1 answer

Classification up to biholomorphism of not simply-connected domains in $\mathbb{C}$

is there a classification theorem for not simply-connected domains in $\mathbb{C}$? I just know the classification for simply-connected domains, and the classification of annuli. Do you know the name of this research area, if it is an unsolved…
Evarist
  • 223
6
votes
1 answer

Average of one over sum of complex exponentials

I need to compute a time-average which is of the form $$ \lim_\limits{T \to \infty} \frac{1}{T} \int_0^T \frac{\mathrm{d}t}{1+\sum_k c_k e^{i x_k t}} $$ where $x_k \in \mathbb{R}$, $c_k \in \mathbb{C}$ and the sum in the denominator is finite,…
6
votes
2 answers

$f(z)$ and $f(z+z^2)$ have the same singularities at 0

Let $f:\mathbb{C}\rightarrow\mathbb{C}$ be an analytic function in a punctured neighborhood of 0 then $f(z)$ and $h(z)=f(z+z^2)$ have the same singularity at $z_0=0$. I was able to show that every removable singularity or pole of $f$ is also the…
The-Q
  • 315
6
votes
2 answers

extension of analytic functions of several variables

Suppose that we have two functions of several complex variables that are holomorphic on the whole euclidean space. If these two functions are equal on an open and connected subset of the REAL euclidean space, can we say that they are equal…
Lav
  • 221
6
votes
2 answers

Continuous extension of a Bounded Holomorphic Function on $\mathbb{C}\setminus K$

Let $f:\mathbb{C}\setminus K\rightarrow\mathbb{D}$ be a holomorphic map, where $K$ is a compact set with empty interior. My question: Prove or disprove that: $f$ extends continuously on $\mathbb{C}.$ Remark: Observe that if $K$ is discrete then by…
Abelvikram
  • 974
  • 4
  • 16
6
votes
1 answer

Orbits of $z_{n+1} = z_n ^2 - 1$

Consider the sequence $z_{n+1} = z_n ^2 - 1$ defined for an arbitrary complex number $z_0$. I am trying to determine all $z_0$ such that the sequence eventually becomes periodic. Here is my progress so far: If $|z_0|> \frac{1+\sqrt{5}}{2}$ the…
6
votes
2 answers

$f(z)$ is holomorphic on $|z| < 1$, with $|f(z)| ≤ 3$ and $f(\frac{1}{2}) = 2$. Show that $f(z) \neq 0$ when $|z| < \frac{1}{8}.$

This is an old Schwarz lemma problem from the August 2020 UMD qualifying exam for analysis, which is posted here. The precise wording from the test is: Suppose $f(z)$ is a holomorphic function on the unit disk with $|f(z)| \le 3$ for all $|z| < 1$,…
6
votes
1 answer

Morera type theorems

In Stein and Shakarchi, Complex Analysis, Princeton lectures in Analysis, Chapter 2, Problem 2 an interesting question is posed. The problem section in each chapter contains more complicated problems, with a research taste. Morera's theorem simply…
Beni Bogosel
  • 23,381
6
votes
2 answers

Laurent series expansion of 1/sin(z) - why is everything before residue 0?

I seem to have taken some bad lecture notes about this... I have written (about $z = 0$) $$\frac{1}{\sin(z)} = \ldots +\frac{a_{-3}}{z^3}+\frac{a_{-1}}{z^{-1}}+{a_{1}}{z^1}+{a_{3}}{z^3}+\ldots $$ Mentioned $\sin(z)$ being an odd function, and…
tgun926
  • 277
6
votes
1 answer

Entire analytic automorphisms of C

I was looking at a proof in Serge Lang's Introduction To Complex Analysis at a graduate-level regarding the form of analytic automorphisms which are entire functions I have a question about one of the steps in the proof. I have trouble…