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
4
votes
1 answer

Why is direct analytic continuation not transitive?

Consider the following definitions and remarks which will be referenced in the question: Defn( Direct analytic continuation) A function element in a domain $U$ is a pair $(f, D)$ where $D$ is a subdomain of $U$ and $f$ is an analytic function on…
4
votes
1 answer

Let $f : D → D$ be analytic with $f(0) = f''(0) = 0, f'''(0) = 1$. Prove $\exists r$ independent of $f$ where $B_r(0)\subset f(D)$.

Let $D$ be the unit disc centered at the origin. Assume $f : D → D$ is analytic with $f(0) = f''(0) = 0,$ and $f'''(0) = 1$. Prove $\exists r$ independent of $f$ where $B_r(0)\subset f(D)$. I'm completely lost on what to do here - the idea I…
4
votes
2 answers

University of Cambridge: Mistake on the exam? Extending holomorphic functions on intersecting discs

Consider the following question Let $D_1$ and $D_2$ be two overlapping closed discs. Let $f$ be a holomorphic function on some open neighborhood of $D = D_1 \cap D_2$. Show that there exist open neighborhoods $U_j$ of $D_j$ and holomorphic…
4
votes
1 answer

Question about zeros of finite order functions

Context, I was reading Joseph Bak and Donald J. Newman's Complex Analysis as a refresher on complex analysis (I have some prior experience but am washed) and I was attempting to understand theorem 16.13. Suppose $f$ is an entire function of finite…
person
  • 1,373
4
votes
1 answer

was asked to find out the value of $f(\sqrt{2})$

I was given $f(1+{\sqrt{2}i\over n})=-{2\over n^2}$ where $f$ analytic from $|z|<3\to\mathbb{C}$. and was asked to find out the value of $f(\sqrt{2})$ I defined $g(z)=f(1+z)-z^2$ and then got $f(1+z)=z^2$ by Identity Theorem and then just put…
Myshkin
  • 35,974
  • 27
  • 154
  • 332
4
votes
1 answer

Understanding the image of this complex transformation

Find the image of the infinite strip $$0 c^2$$ and the condition $y>0$, gives that $$v<0$$ I…
AAP
  • 737
4
votes
1 answer

$f$ non-constant and holomorphic, then for each $z_0$ there is a neighborhood where $f$ must take a different value from $f(z_0)$

Let $f:\Omega \to \mathbb{C}$ be non-constant and holomorphic function and $\Omega\subseteq\mathbb{C}$ be an open region. We will show that for any $z_0\in\Omega$, there is a neighborhood of $z_0$ such that for all $z\not=z_0$ in this neighborhood,…
4
votes
2 answers

"Close-to-analytic", but "not quite", functions on the complex numbers.

I heard of a way by which one can say that a given complex function is "close to analytic", namely if its Wirtinger partial $\frac{\partial f}{\partial \bar{z}}$ is small, meaning it "depends only a little bit on $\bar{z}$". So one may consider a…
4
votes
2 answers

Proving that a pole is simple

I’m trying to show that $z=0$ is a simple pole for the function $f(z)=\dfrac{\mathop{\text{Log}}(1+z)}{(e^z-1)^2}$. I can see that $z=0$ is a pole of the function, but how do I show it? And that the order of this pole is one? I was hoping that I…
4
votes
1 answer

Evaluate $\int^{\pi}_{-\pi}\frac{1}{1+\sin^2\!\theta}\mathrm d\theta$ using the Cauchy residue theorem.

The goal is to evaluate $\displaystyle\int^{\pi}_{-\pi}\frac{1}{1+\sin^2\!\theta}\,\mathrm d\theta\;$ using the Cauchy residue theorem. Using the substitution $z=e^{i\theta}$ and $\;\sin\theta =\dfrac{z-1/z}{2i}\;$ with $\mathrm…
violet
  • 164
4
votes
1 answer

If $f$ is an entire function with $|f(z)|\le 100\log|z|$ and $f(i)=2i$, what is $f(1)$?

Let $f$ be an entire function with $|f(z)|\le 100\log|z|,\forall |z|\ge 2,f(i)=2i, \text{ Then} f(1)=?$ I have no idea how to solve this one! $g(z)={f(z)\over \log|z|}$ Then Can I say $g$ is constant by Liouville Theorem?
Myshkin
  • 35,974
  • 27
  • 154
  • 332
4
votes
3 answers

If an analytic $f$ is injective on $\partial D$ then $f$ is injective on $D$

Let $f(z)$ be analytic in a simply connected domain $D$ and on its boundary, the simple closed contour $C$. If $f(z)$ is injective on $C$, then $f(z)$ is injective on $D$. If $z_0\in D$ is a point such that $f(z_0)\notin f(C)$ then we can use an…
4
votes
1 answer

Prove for every $R>0$ there's an integer $n_0>0$ such that if $n\geq n_0$ then $f_n$ has no zeroes. Using Hurwitz Theorem.

Let $$f_n(z)=\sum_{k=0}^n \frac{z^k}{k!}$$ and let $$f(z)=\sum_{k=0}^\infty \frac{z^k}{k!}=e^z.$$ As a polynomial $f_n$ has $n$ roots in $\Bbb{C}$. Prove for every $R>0$ there's an integer $n_0>0$ such that if $n\geq n_0$ then $f_n$ has no zeroes in…
homosapien
  • 4,157
4
votes
1 answer

Show that a complex function is bounded

Let $\mathbb{D}= \{ z\in \mathbb{C}: |z|<1\}$. For $t\in \mathbb{R}$, let $f_t$ denote the holomorphic function on $\mathbb{D}$ defined by $f_t(z)= (\frac{1+z}{1-z})^{it}$, $z\in \mathbb{D}$ with respect to the principal branch of the…
Toasted_Brain
  • 653
  • 5
  • 12
4
votes
1 answer

Find all entire functions $f$ such that $|f(z)| \leq |\sin(z)|$

I am trying to solve the following exercise: Find all entire functions $f$ such that $|f(z)| \leq |\sin(z)|$, $\forall z \in \mathbb{C}$ I think Liouville's Theorem is the way to go. Liouville's Theorem states that: Every bounded entire function…
Andres2003
  • 203
  • 1
  • 7