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

Finding an analytic function given the real/imaginary part

I want to check if there is (or not) an analytic function on $\mathbb{C}$ \ ${0}$ such that $Im(f)=78+x^2-5y^6- \frac{5y}{3(x^2+y^3)}$. What I thought of doing is first applying the Identity Theorem which guarantees the uniqueness of the analytic…
user786
  • 1,152
4
votes
4 answers

Proof that $\sin(z-w)=\sin(z) \cos(w)-\sin(w) \cos(z)$

Note that \begin{aligned} \sin(z-w) &= \frac{e^{i(z-w)}-e^{-i(z-w)}}{2i} \\ &= \frac{e^{iz}e^{-iw}-e^{-iz}e^{iw}+e^{iz}e^{iw}-e^{iz}e^{iw}}{2i} \\ &= \frac{e^{iw}(e^{iz}-e^{-iz})}{2i}-\frac{e^{iz}(e^{iw}-e^{-iw})}{2i} \\ &=…
Wrloord
  • 1,626
4
votes
1 answer

Codomain of holomorphic function always all of $\mathbb{C}$?

If a holomorphic function $f:\mathbb{C}\to\mathbb{C}$ is bounded, i.e. $|f| \lt A$ for some constant $A$ for the entire domain of $f$, then $f$ is constant according to Liouville's theorem. Does this necessarily mean that any non-constant…
Daniel R
  • 3,199
4
votes
1 answer

Is this expression well-defined: $\int_{-i}^{i} \frac{dz}{z}$? How to evaluate it?

I'm learning some basic complex analysis and came across this integral $$\int_{-i}^{i} \frac{dz}{z}.$$ First of all, Wolfram can't calculate it, but it might be because he treats $i$ like a real parameter (BTW, is there a way to tell Wolfram how to…
Spine Feast
  • 4,770
4
votes
2 answers

How to show a function is holomorphic

Let $f:\mathbb{D}\to\mathbb{D}$ be a holomorphic function s.t $0$ is a zero of order $k\geq 1$. Prove that $f(z)=z^kg(z)$, in which $g:\mathbb{D}\to\mathbb{D}$ is holomorphic. My attempt: Since $f$ is holomorphic on $\mathbb{D}$, then by Taylor's…
Alex Nguyen
  • 1,139
4
votes
1 answer

Complex analysis and analytic functions

I'm having a really tough time understanding complex analysis. The assignment is to find a function $f$, given $z = x + iy$, so that f is analytic on the complex plane, so that $\mathrm{Re}(f) = x^3 y - x y^3$. I tried beginning with the…
dingari
  • 299
  • 2
  • 4
  • 13
4
votes
1 answer

Integrating Around "Poles"?

In complex analysis and the calculus of "residues," Cauchy's integral theorem gives a "shortcut": The integral is $2\pi i$ times the sum of the "residues." This works because there are "singularities," in the area in question. Normally, Green's…
Tom Au
  • 2,450
4
votes
3 answers

Prove that $f(z)=Arg (z)$ is not analytic on $D^*$

Define $D^*=\mathbb{C} \backslash \lbrace z \in \mathbb{C}:\operatorname{Re}(z) \leq 0, \operatorname{Im}(z)=0 \rbrace$. Prove that $f(z)=\arg(z)$ is not analytic on $D^*$. My proof is as follows: Let $\arg(z)= \theta$. Then the function becomes…
Idonknow
  • 15,643
4
votes
1 answer

Entire function is a polynomial

Let $f = \sum_{n =0}^{\infty} a_nz^n$ be an entire function such that $\forall w \in \mathbb{C}, f(z) = w$ admits a finite number of solutions. I want to prove that f is a polynomial. So far, I know that $f(z) - w$ admits a finite number of roots,…
gazo
  • 221
  • 1
  • 9
4
votes
1 answer

Entire extension of a function on a set with an accumulation point

While thinking about the identity theorem the following question came in my mind: Let $A\subset \mathbb{C}$ be a set with an accumulation point in $\mathbb{C}$. What properties does a function $f:A\to \mathbb{C}$ need, such that we can find an…
4
votes
1 answer

Is there a sequence of polynomials $p_n $such that $p_n(0)=1$ for all $n$ but $\lim_{n \rightarrow \infty} p_n(z)=0$?

I want to solve the following problem: Is there a sequence of polynomials $p_n$, such that $p_n(0)=1$, $n \in \mathbb{N}$, but $\lim_{n \rightarrow \infty} p_n(z)=0$ for all $z \neq 0$. As a hint I got: “Consider $K_n:=(\{ z \in \mathbb{C}:|z|\leq n…
Philip
  • 393
4
votes
2 answers

On the extension to boundary for some analytic function

Given analytic function $f(z)$ on $\mathbb{H}:=\{x>0\}$ satisfying $$0\leq \Re{f(z)}\leq M\Re{z}$$ for some $M>0$ and $z \in \mathbb{H}$ I want to show that $f$ takes form $$f(z)=mz+ic$$ where $m\in[0,M],c\in\mathbb{R}$. [Observation] If $f$ can be…
Roy Han
  • 911
4
votes
1 answer

Holomorphic function satisfying $|f(z)^2-1|<1$

Suppose that $f(z)$ is holomorphic and satisfies the condition $|f(z)^2-1|<1$ in a region $\Omega$. Show that either $\Re f(z)>0$ or $\Re f(z)<0$ throughout $\Omega$. ($\Re$ denotes the real part.) I can factor $|f(z)-1|\cdot|f(z)+1|<1$, or if we…
Mika H.
  • 5,639
4
votes
1 answer

Proving $|f'(z)|\leq\frac{\text{Re}(f(z))}{\text{Re}(z)}$

Studying for a preliminary exam, I came across the following question: Let $D = \{z \in \Bbb C : \text{Re}( z )> 0\}$ and $f : D \to D $ be a holomorphic function. Prove that $$|f'(z)|\leq\frac{\text{Re}(f(z))}{\text{Re}(z)}\quad \text{for all…
Clayton
  • 24,751
4
votes
4 answers

Is there an easy way to determine the order of the zero $z = 0$ of the function $f(z) = e^{\sin(z)} - e^{\tan(z)}$?

I've found two ways to determine the order of the zero $z = 0$ of the function $f(z) = e^{\sin(z)} - e^{\tan(z)}?$ Both ways, described below, are unsatisfactory insofar as I need help either from a calculator like Wolfram Alpha or from a collection…
A A
  • 569