The theory of functions of one complex variable with an emphasis on the theory of complex analytic (or holomorphic) functions of one complex variable. Typical topics include: Cauchy's integral formula, singularities, poles, meromorphic functions, Laurent and Taylor series, maximum modulus principle, ...

learn more… | top users | synonyms (2)

0
votes
1answer
13 views

Explanation of the isolated singularities

We have $f: D \rightarrow \mathbb{C}$, with $D = \mathbb{C}$ \ $( \{ x : x \leq 0 \} \cup \{ 1 \} \cup \{ ik : k \in \mathbb{Z} \})$, defined by $\displaystyle f(z) = \frac{ Log z}{(z-1)^2 ...
1
vote
1answer
17 views

Show that $\int\limits_{C_R} Q(z) \to 0$ as $R \to \infty$.

Let $a_1, ... , a_N \in \mathbb{C}$ be distinct, $N \geq 4$ and $$Q(z) = \frac{z^2}{(z-a_1) \cdots (z - a_N)}$$ Assume the $a_i$ are contained in a circle about the origin of radius $R_0$, and let ...
1
vote
1answer
22 views

Analytic Functions on Upper Half Plane Satisfying Inequality

Problem. Let $\mathcal{H}=\left\{z\in\mathbb{C} : \Im(z)>0\right\}$ be the open upper half plane. Determine all analytic functions $f:\mathcal{H}\rightarrow\mathbb{C}$ that satisfy the ...
1
vote
0answers
28 views

How do I make sure that I've learned and mastered a part of the Visual Complex Analysis book?

So I'm reading Visual Complex Analysis by Tristan Needham. It's a beautiful book that's not very hard to understand at all; however, I just don't know if I have sufficiently learned what I'm supposed ...
-1
votes
0answers
53 views

An exercise in Stein complex analysis

This is the exercise 9 of Stein Complex Analysis. I searched other books and found some different proofs of the equality. But I would like to know how to prove this equality using the contour in the ...
3
votes
0answers
23 views

Animation of Weierstrass $\wp$-function as a map from a torus to the sphere?

I am wondering if there exists somewhere an "animation" of one such map (for some lattice / torus), in the style of the kind of $z \mapsto z^2$ maps one encounters in complex analysis classes (one can ...
3
votes
0answers
83 views

Why is $\sum a_i \exp(b_i)$ always equal to $0$?

Let $z$ be complex. Let $a_i,b_i$ be polynomials of $z$ with real coefficients. Also the $a_i$ are non-zero and the non-constant parts of the polynomials $b_i$ are distinct. (*) Let $j > 1$. ...
2
votes
1answer
14 views

$1$-form of a antiholomorphic function, Cauchy-Goursat Theorem

Let be $f:U\to \Bbb C$ antiholomorphic function. Show that the 1-form $f(z)d\overline{z}$ is closed. We have that $\overline{f}$ is a holomorphic function, so by Cauchy-Goursat Theorem the ...
4
votes
1answer
44 views

Schwarz Lemma of Complex Analysis

Let be $f:B(0,1)\to B(0,1)$ holomorphic function such that $$f(0)=f'(0)=\cdots=f^{(n-1)}(0)=0$$ but $f^{(n)}(0)\neq 0.$ Show that $|f(z)|\le |z|^n,$ for every $z\in B(0,1)$ and $|f^{(n)}(0)|\le ...
2
votes
1answer
29 views

Application of Luca's theorem

Let, $p$ be a polynomial in $1$-complex variable. Suppose all zeros of $p$ are in the upper half plane $H=\{z\in \mathbb C|\Im(z)>0\}. $ Then , which are corrct ? ...
2
votes
1answer
32 views

Jacobi Elliptic Functions built from Jacobi theta functions

I believe I understand the general theory of elliptic functions to an extent. What I can't seem to find is the distinct method which was used to show that a particular combination of Jacobi Theta ...
17
votes
1answer
124 views

$f$ entire, $f$ satisfies $|f(x+iy)|\leq\frac{1}{|y|}$ for all $x,y\in\mathbb{R}$. Prove that $f\equiv 0$.

Let $f$ be an entire function. Suppose that $f$ satisfies $$ |f(x+iy)|\leq\frac{1}{|y|}. $$ for all $x,y\in\mathbb{R}$. Prove that $f$ is identically zero. I'm having some trouble with this, ...
0
votes
1answer
33 views

compact image of a continuous function from compact set to C

Suppose that we have a continuous function $h:[0,1] \times [a,b] \to G$, where $G$ is an open subset of $\mathbb C$. Prove that we can partition $[0,1]$ and $[a,b]$ to $\{x_0, x_1, \ldots, x_n\}$ ...
1
vote
1answer
61 views

A branch of $\sqrt{z^2-1}$

Consider the branch of $\sqrt{z^2-1}$ with the condition that $\sqrt{z^2-1} \sim z $ as $ \ z \to \infty$, the branch cut is $[-1,1]$ With the above branch, Now consider the function ...
1
vote
1answer
55 views

Roots of complex polynomial in $S^1$ [on hold]

roots of complex polynomial Let is $ p(z) = a_0 + ... + a_n z^n$ such that $a_n$ is not equal to zero there is $ j \in \{0, ... ,n \}$ with $ |a_j| > ( \sum_{k=0}^n |a_k|) - |a_j| $. Show that the ...
2
votes
1answer
47 views

Assumptions on functions so that integral is zero

Let $f:\mathbb{R}\to\mathbb{R}$ and $g:\mathbb{R}\to\mathbb{R}$ be two arbitrary functions. Assume $g\in L^2(\mathbb{R})$. I'm looking to find out the minimal set of assumptions on $f$ and $g$ such ...
1
vote
0answers
32 views

How to calculate this residue which has a pole of order n-r?

So I have this complex integral: $$ \oint \frac{dz}{2\pi}\frac{e^{iz(br-(n-r)a)}}{\left(1-(1-q)e^{-ik_{1}-iza}\right)^{n-r}}$$ b,r,q,a,n are all constants in this context. However I'm not entirely ...
0
votes
2answers
37 views

What does this condition mean for Cauchy's integral formula?

** Theorem: ** Suppose that $\Omega$ is a simply connected domain in $\mathbb{C}$, that $f \in H(\Omega)$, that $\Gamma$ is a simple closed contour in $\Omega$ and that $w \in \text{Int} ...
3
votes
1answer
71 views

What does holomorphic at the cusp infinity means

In the usual theory of classical modular forms, the modular forms defined to be "holomorphic at the cusp infinity". I do not know what this should mean? can anyone explain it for me? Thanks
0
votes
1answer
17 views

Solve the moebius transformation $f(z) = \frac {z−1}{iz+i} $For φ ∈ R

I just don't know how the term in the denominator $|e^{iφ} +i|^2$ got there obviously if we factor out the $i$ like $i(e^{iφ} +1)$ and then multiply the numerator and denominator by the conjugate of ...
1
vote
1answer
32 views

Integration along a keyhole

(H. Priestley complex Analysis Chapter 7 Exercise 9) Suppose $f$ is holomorphic inside and on $\gamma(0,1)$. By integration around the usual keyhole like this one : Integration of $\ln $ around a ...
1
vote
2answers
34 views

Complex analysis: partial fraction decomposition

Suppose $p$ and $q$ are polynomials of degrees $m$ and $n$ respectively where $n \ge m+1$, and suppose q has simple zeros at $b_1$,...,$b_n$. By considering $f(w)=\frac{p(w)}{q(w)(w-z)}$ obtain the ...
0
votes
0answers
18 views

Reciprocals of theta functions

I've spent the last few months with partial fraction expansions, and thought to create a function with simple poles over a lattice of zeros, like that of any of the Jacobi theta functions... but I ...
6
votes
2answers
59 views

Is a meromorphic function satisfying $f(2z)=\frac{f(z)}{1+f(z)^2}$ constant?

Let $f(z)$ be a holomorphic function on the unit disk satisfying $f(0)=0$ and $$f(2z)=\frac{f(z)}{1+f(z)^2}.$$ Extend it to a meromorphic function on the entire complex plane using this recursion. ...
3
votes
1answer
36 views

Analytic continuation of a certain Dirichlet series

Is there an elementary way to analytically continue $$f(s)=\sum_{n=1}^\infty \frac{(-1)^n}{(2n+1)^s}$$ to the entire complex plane? It is not hard to see (by grouping terms in pairs and using the ...
8
votes
0answers
157 views
+50

Subring of $\mathcal O(\mathbb C)$

Let $\mathfrak A \subset \mathcal O(\mathbb C)$ be the subring generated by the nowhere zero analytic functions $f: \mathbb C \to \mathbb C$. Does we have a precise description of $\mathfrak A$ ? Is ...
-2
votes
1answer
58 views

Ideal in $\mathcal O(\mathbb C)$

Let $\mathfrak {I}$ the ideal generated by all the holomorphic functions which are never zero. Question : is $\mathfrak {I} = \mathcal O(\mathbb C)$ ?
3
votes
2answers
64 views

How do I prove that for any two points in $\mathbb{C}$, there exists a $C^1$-curve adjoining them?

Let $G$ be an open-connected subset of $\mathbb{C}$. Let $a,b$ be two distinct points in $G$. How do I prove that there exists a $C^1$-curve $\alpha:[0,1]\rightarrow G$ such that $\alpha(0)=a$ and ...
9
votes
1answer
56 views

Functions $f$ such that $f(z+1)-f(z)$ is holomorphic

Find all functions $f:\mathbb C\to\mathbb C$ such that $f(z+1)-f(z)$ is entire. I am curious about this, because an algebraic analog states that if $f:\mathbb Z\to\mathbb N$ is such that ...
0
votes
1answer
28 views

Calculate complex integral

Let $C$ be a circle $\gamma=\partial B (0,2)$ oriented positively. I have to calculate $$\int_\gamma \frac{-\cos(1/z)}{\sin(1/z)z^2}dz$$ My attempt: Notice that $\sin(1/z)$ is meromorphic inside ...
1
vote
1answer
24 views

The Laurent series around $z=0$ of the function $f(z) = \frac{z}{(z-i)(z-2)}$ in the annulus $A(0,1,2)$

What I got so far: $$ \frac{z}{(z-i)(z-2)} = \frac{z}{(2-i)(z-i)} + \frac{z}{(2-i)(z-2)} $$ which is equal to $$ \frac{z}{(2-i)(z-i)} + \frac{z}{(2-i)(z-2)} = \frac{z}{(2-i)z + 1-2i} + ...
1
vote
3answers
53 views

How many zeros does $g(z)= z^4+iz^3 +1$ have in the first quadrant?

Let $g(z)= z^4+iz^3 +1$. How many zeros does $g$ have in $\{z\in \Bbb{C}: \text{Re }(z), \text{Im }(z)>0\}$? I tried comparing the number of zeros of $g$ to that of $z\mapsto z^4$ and ...
1
vote
1answer
25 views

Find the residue of $e^{\frac{1}{z^2-1}}\sin(\pi z)$ at $z=1$

I'm dealing with the following problem (from an old qualifying exam): Let $\gamma$ be a closed curve in the right half-plane that has index $N$ with respect to the point 1. Find $$ ...
0
votes
1answer
30 views

Why are compact complex manifolds Liouville?

I know this is true but strangely can't find references. Also, consider the trivial $n$-bundle over any connected compact manifold, does Liouville imply that all holomorphic sections are constant? ...
1
vote
0answers
42 views

Using estimation theorem to show integrals are zero.

How would I use the Estimation theorem to show the last two integrals on the right equal zero? \begin{equation} \int_{-R}^{R} e^{-\pi x z^{2}}dz= \int_{-R+i \frac{m}{x}}^{R + i \frac{m}{x}} e^{-\pi x ...
-4
votes
2answers
91 views

Nontrivial entire $f(z)$ never equal to $0$ [on hold]

I'm looking for nonconstant entire functions $f(z)$ such that $f(z)\neq 0$ for any $z$. More specifically I'm looking for nontrivial cases. So $\exp(z),\exp(z^2),...$ is not what I am looking for. ...
1
vote
2answers
37 views

Why aren't these two properties of complex powers the same?

Let $z\in\mathbb{C}$ s.t. $z=u+iv$. As an example, take the square in this trivial manner: $(u+iv)^2=u^2-v^2+2iuv$. On the other hand taking the square using the properties of complex powers, i.e. ...
0
votes
0answers
66 views

limit of a complex expression

Suppose that $$R(r)=\left[(a_0-r^2a_2)e^{ir\tau}+(b_0-r^2b_2)\right]^{\frac{1}{r}}\;,$$ where $a_0,a_2,b_0,b_2\in\mathbb{R}$ and $\tau>0$. What is $\displaystyle\lim_{r\rightarrow\infty}R(r)$? I ...
1
vote
1answer
57 views

Showing a function map to itself

Let $ D = \{ z \in \mathbb{C} : |z| < 1\}$. Fix $ w \in D$ and define $f: \bar{D} \to \mathbb{C}$ by $$f(z) = \frac{w-z}{1-\bar{w}z}$$ Show the following: $f$ maps $D$ to $D$ and $\partial D$ to ...
8
votes
1answer
98 views

For which complex $a, b, c$ does $(a^b)^c=a^{bc}$ hold?

Wolfram Mathematica simplifies $(a^b)^c$ to $a^{bc}$ only for positive real $a, b$ and $c$. See W|A output. I've previously been struggling to understand why does $\dfrac{\log(a^b)}{\log(a)}=b$ and ...
6
votes
1answer
130 views

What proof uses both the Riemann Hypothesis and its negation?

Some time ago I happened to see a proof that was remarkable in that it used both the Riemann Hypothesis and its negation. That is, it considered the two cases: RH is true, and RH is false, obtaining, ...
0
votes
0answers
20 views

Smooth interpolation for complex variable function. [on hold]

Is there any smooth interpolation function $T(z)$ that could smoothly connect two complex variable rational polynomial function $H_1(z)$ and $H_2(z)$, for example $$ H(z) = \begin{cases} ...
2
votes
2answers
59 views

Weierstrass's M-test example for uniform convergence and switching Sum and Integral.

How would I go about finding $M_n$ in \begin{equation} \sum_{n=1}^{\infty} \int_{0}^\infty x^{\frac{s}{2}-1}e^{-\pi n^{2}x}dx \end{equation} to show that it is uniformly convergent?
0
votes
0answers
41 views

$\eta(1) = \ln(2)$ proof using Abel's Theorem

Hi I was just wondering how does one justify $\eta(1) = \ln(2)$. Looking at the power series for $\ln(1+x)$ we have \begin{equation} \ln(1+x)= \sum_{n=1}^{\infty} \frac{(-1)^{n+1}x^{n}}{n} ...
4
votes
1answer
91 views

Find the natural boundary of $\sum_{n=1}^\infty \frac{z^n}{1-z^n}$

I'm asked to prove that the natural boundary of $\sum_{n=1}^\infty \frac{z^n}{1-z^n}$ is the unit circle. My try: First, use root test to show that the series converges for $|z|<1$. Then I have ...
0
votes
1answer
31 views

How can I calculate the singularities and residues of…?

$$\frac{e^z}{z^3(z-1)}+\frac{1}{z^3}$$ I have problems specially for $z=0$ Can anyone show me how to do it?
1
vote
1answer
35 views

Evaluating $\int_{\gamma} \frac{z}{\cosh (z) -1}dz$

Evaluate $\int_{\gamma} \frac{z}{\cosh (z) -1}dz$ where $\gamma$ is the positively oriented boundary of $\{x+iy \in \Bbb{C} : y^2 < (4\pi^2 -1)(1-x^2)\}$. I just learned the residue theorem, ...
1
vote
3answers
50 views

Question about the Fourier Inversion Formula

We have $$\hat{f}(\xi)=\mathcal{F}f(\xi):= \int_{-\infty}^{\infty}f(x)e^{-2\pi i\xi x}dx,$$ with $f\in L^{1}$, and the Fourier inversion formula says that ...
3
votes
3answers
57 views

How do limits work in complex functions?

I don't quite understand one example in my notes it says. My query is this: I don't understand what the significance of $\theta$ is. Why does it matter that $\theta \in (-\pi,\pi]$? I see the ...
1
vote
1answer
38 views

Integrating $\sin^2(x)/x^2$, discrepancies with other solutions

I know this is an old problem and it has been answered some times, but I encountered some discrepancies with former solutions and I am not certain what the underlying mathematical reason is. Here ...