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

Why is $z = x+iy \mapsto x$ not differentiable in $0 \in \mathbb{C}$?

Today we had an online-test and one of the question was whether the function $$z = x+iy \mapsto x$$ is differentiable in $0 \in \mathbb{C}$. I thought I'd check it using our definition of complex differentiability and I came to the conclusion,…
Huy
  • 6,674
4
votes
1 answer

Complex Analysis Gauss Mean Value Theorem

Have I done this correctly? Evaluate $\displaystyle\int_{0}^{2\pi}\sin^3(3e^{i\theta} +\frac{\pi}{4})d\theta$ Gauss MVT: $$f(z_0)=\frac{1}{2\pi}\displaystyle\int_0^{2\pi}f(z_0+re^{i\theta})d\theta$$ So we have the…
user42538
  • 601
4
votes
2 answers

Prove that if $f$ is entire and $\vert f(z^2) \vert \leq 2 \vert f(z) \vert$, then $f$ is constant

I'm not sure if this requires Liouville's theorem or the use of the integral formula for the Taylor coefficients but I cant get either to work. By the formula for the Taylor coefficients for $f(z^2)$ we have that: $$\vert a_n\vert = \Big\vert…
user529606
4
votes
4 answers

Zeros of exponential

I'm just want to be sure if the function $f(z)=e^{-iz}, z\in \mathbb C$, has no complex or real zeros??
Annoli
  • 81
4
votes
2 answers

If $f(z)\neq 0$ in a disk $\{z:|z| \leq R\}$, then $\log f(z)$ is a holomorphic function in the disk?

Is this statement true or false? I see it in a book, but I can not give a counterexample. Could you?
user39843
  • 937
4
votes
1 answer

When do a holomorphic function's zeroes occur in conjugate pairs?

I have the following proof that a holomorphic function's zeroes occur in conjugate pairs when its derivatives evaluated at $0$ lie on a line through $0$: Let $f:\mathbb{C}\mapsto\mathbb{C}$ be holomorphic,…
4
votes
2 answers

Find an analytic bijection function ${f(z)}$ on $\Bbb{C}$ such that there exist only one $z_{0}$ such that ${f(z_{0})} = z_{0}$.

Find an analytic one-one onto function ${f(z)}$ on $\Bbb{C}$ such that there exist only one $z_{0}$ such that ${f(z_{0})} = z_{0}$.
4
votes
0 answers

$\frac{\partial }{\partial z}$ and $\frac{\partial }{\partial \bar z}$: Wirtinger derivative?

I am studying the following notations: $$ \frac{\partial}{\partial z} = \frac{1}{2}\left(\frac{\partial}{\partial x} - i\frac{\partial}{\partial y}\right),\qquad \frac{\partial}{\partial\bar{z}} = \frac{1}{2}\left(\frac{\partial}{\partial x} +…
04170706
  • 359
4
votes
1 answer

branch of logarithm of $z^2$

Here's one of the recommended exercises from our complex analysis class. Prove or disprove: There is no analytic $f$ on $\mathbb{C} \setminus 0$ such that $exp(f(z)) = z^2$ for all nonzero $z \in \mathbb{C}$. Via differentiating both sides of the…
user64464
  • 151
4
votes
1 answer

Show that if $f(z)$ is entire and if $f(z)/z^n$ is bounded when $z$ is large then $f$ must be a polynomial.

Suppose that if $f(z)$ is an entire function such that $\dfrac{f(z)}{z^n}$ is bounded for $|z|\ge R$ then $f(z)$ must be a polynomial of degree at most $n$ This same question has already been asked and solved on this website but the solution…
alpastor
  • 1,460
4
votes
1 answer

show that Joukowski transform is one-to-one in the upper half outside the unit disk

I have a problem on showing how the Joukowski transform $w=J(z) = .5(z + 1/z)$ takes the upper half plane, $|z| \gt 1$, one-to-one into the w upper half plane. I have shown how the unit disk itself collapses onto the real axis and how points outside…
jmd
  • 41
4
votes
1 answer

Example of a boundary point that is not simple

Simple boundary point definition at Planet Math Rudin gives the following as an example of a boundary point that is not simple: If $\Omega = U - \{x : 0 < x \le 1\}$ then $\Omega$ is simply-connected. If $0 < \beta \le 1$, $\beta$ is a boundary…
PeterM
  • 5,367
4
votes
4 answers

$\sum_{k=1}^{n-1}\left(1-e^{\frac{2\pi ki}{n}}\right)^{-1}$

How can I go about computing $$ \sum_{k\ =\ 1}^{n - 1} \left(1 - \mathrm{e}^{\large 2\pi k\mathrm{i}/n}\right)^{-1}\ {\Large ?} $$ I originally thought that it was supposed to be the reciprocal of the sum, and I ended up with $1/n$, but now I…
user281997
4
votes
1 answer

Definition of a piecewise smooth path

In Apostol's "Mathematical Analysis" $($page 435$)$, a piecewise smooth path in the complex plane, say $f$, is defined as a path in the complex plane that has bounded derivative $f'$ which is continuous everywhere except possibly at a finite number…
Jason
  • 123
4
votes
2 answers

Conditions for Rouché's theorem

For the statement of Rouché's theorem, I've always seen that both $f$ and $g$ have to be holomorphic on and inside a simple closed curve $ C $. However, I am solving a problem which seems to suggest that I should use Rouché's theorem even though I…
calm
  • 467