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

$2\left|f'(0)\right|=\sup_{z,\omega \in \mathbb{D}} \left|f(z)-f(\omega)\right|$ implies that $f$ is linear.

Suppose that $f:\mathbb{D}\to \mathbb{C}$ is holomorphic with $$2\left|f'(0)\right|=\sup_{z,\omega \in \mathbb{D}} \left|f(z)-f(\omega)\right|$$ Prove that $f$ is linear. My attempt Suppose that $$f(z)=\sum_{n=0}^\infty a_n z^n$$ Then…
Chiquita
  • 2,930
6
votes
3 answers

Complex Analysis: Showing analytic function is zero

How I can solve this problem: Let $f: D \to D$ be an analytic function where $D$ is the unit open disc in $\mathbb C$. Suppose there is a positive number $\delta > 0$ such that , $$\lim_{z \to e^{iθ}} ⁡f(z)= 0; \qquad \forall \ |\theta| < \delta.$$…
ks1
  • 395
6
votes
3 answers

Show that if $f : G \to \mathbb{C}$ is analytic and $\gamma$ is a rectifiable curve in $G$ then $f \circ \gamma$ is also a recifiable curve.

Show that if $f : G \to \mathbb{C}$ is analytic and $\gamma$ is a rectifiable curve in $G$, then $f \circ \gamma$ is also a rectifiable curve. How can I solve this problem?
pinti
  • 61
6
votes
2 answers

Taylor series expansion of $\log[z]$ about $z=1$ (different branches)

I realize this is not the fastest way of getting a Taylor's series expansion of $f(z)=\log(z)$ about $z=1$. But here goes. I am assuming I am working on the principal branch of the logarithm ($-\pi<\theta<\pi$). I am assuming that $f(1)=\log(1)=0$.…
David
  • 2,262
6
votes
0 answers

A meromorphic function $f$ with poles of order $2$ at $\sqrt { n }$ ($n=1,2,3,...$),

find a meromorphic function $f$ with poles of order 2 at $\sqrt { n }$ ($n=1,2,3,...$), the Residue at each pole is $2$ , and $\lim _ { z \rightarrow \sqrt { n } } ( z - \sqrt { n } ) ^ { 2 } f ( z ) = 1$ for all $n \in \mathbb N$. I tried with $f (…
Riaz
  • 2,174
6
votes
4 answers

Can a holomorphic function of several variables have just one zero?

Of course “several” in the title means $n$ strictly greater than 1 and the function is defined on some open subset of $\mathbb{C}^n$. I tried to use the Weierstrass preparation theorem because it’s the only result on analysis of several variables I…
Invincible
  • 2,572
  • 10
  • 26
6
votes
2 answers

product of harmonic functions

"Let $u, v$ be harmonic functions on a region G. Prove that if the product $uv$ is identically zero, then either $u$ or $v$ must be identically zero." Could sb. give me a hint for this question? I tried all the properties and theorems on harmonic…
wqr
  • 658
  • 5
  • 14
6
votes
1 answer

Problem of Liouville's theorem

Here is my problem: Let $f(z)$ be an entire function such that $|f '(z)| < |f(z)|$ for all $z \in \mathbb{C}$, Show that there exists a constant A such that $|f(z)| < A*e^{|z|}$ for all $z \in \mathbb{C}$. I am trying to use Liouville's theorem to…
6
votes
1 answer

$f_{n}$ converges uniformly on compact sets to a 1-1 function implies $f_{n}$ 1-1?

Say we have a region $D$ and a sequence of functions $f_{n}$ holomorphic in $D$, which converges uniformly on compact sets to a one-to-one function $f$. Can we say that for each compact set $K \subset D$ there is a number $N(K)$ such that $f_{n}$ is…
pel
  • 1,015
6
votes
1 answer

Example of a complex function with "essential singularity" all along the unit circle

I found myself curious whether there existed a complex function which is analytic on the interior of the unit disc, but such that there is no extension of the function to a holomorphic function on a strictly larger connected open set. This was…
6
votes
3 answers

Let $f$ be an entire function such that $f(1)=2f(0)$. Prove that $\forall\epsilon>0, \exists z\in\mathbb{C}$ such that $|f(z)|<\epsilon$

I am asked to prove this: Let $f$ be an entire function such that $f(1)=2f(0)$. Prove that $\forall\epsilon>0, \exists z\in\mathbb{C}$ such that $|f(z)|<\epsilon$ I considered a function $g(z)=f(z+1)-2f(z)$, which is also entire and has a zero at…
NFC
  • 343
6
votes
1 answer

Two entire function are each other's right factors. How are they related?

Let $f,g$ be non constant entire functions. If $h$ is holomorphic on the image of $f$, and $g=h\circ f$, we say $f$ is a right factor of $g$. Suppose $f$ is a right factor of $g$, and $g$ is a right factor of $f$, i.e. there is $h_1$ such that…
Teddy
  • 2,396
6
votes
3 answers

Say $f$ is entire, $|f'(z)|\le e^{|z|}$, and $f$ vanishes on the set $\{\frac{n}{\sqrt{1+|n|}}: n\in \mathbb{Z}\}$. Why must $f$ be constantly zero?

Say $f$ is entire, $|f'(z)|\le e^{|z|}$, and $f$ vanishes on the set $\{\frac{n}{\sqrt{1+|n|}}: n\in \mathbb{Z}\}$. Why must $f$ be constantly zero?
user39992
  • 540
6
votes
1 answer

Finding a trigonometric polynomial

I'm trying to solve exercise 5 in chapter 14 of Rudin's Real & Complex Analysis: Suppose $f$ is a trigonometric polynomial, $$f(\theta) = \sum_{k=-n}^n a_k e^{ik\theta}$$ and $f(\theta) > 0$ for all real $\theta$. Prove that there is a…
PeterM
  • 5,367
6
votes
1 answer

$f : \Bbb{C} \to \Bbb{C}$ is an entire function s.t. $|f(z)| \to \infty$ as $|z| \to \infty$. Prove $f$ is a polynomial.

Let $f : \mathbb{C} \rightarrow \mathbb{C}$ be an entire function such that $|f(z)| \rightarrow \infty$ as $|z| \rightarrow \infty$. Prove that $f$ is a polynomial by following the steps below. (a) Observe that the function $f(1/z)$ defined in $C…
Cheng
  • 63