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
8 views

Boundary preserving map

Let $K\subseteq\mathbb{R}^2$ be a compact set. Is it true that for a continuous map $p:K\to\mathbb{R}^2$ we have: $p(\partial K)=\partial p(K)$? Are there any generalizations? P.S. Note that ...
0
votes
1answer
12 views

Runge's Theorem for meromrophic functions

Is there a name for this extension of Runge's theorem? Theorem: Let $K\subset\mathbb{C}$ be compact, and let $A\subset K^c$ be a set which intersects each component of $K^c$. Let $f$ be meromorphic ...
1
vote
0answers
21 views

Multivalued Functions for Dummies

I have been studying complex analysis for a while, but I still cannot "get" how multivalued functions work. Despite having it explained to me many times, my brain cannot process it. For example, I ...
0
votes
1answer
26 views

Existence of analytic function on a unit dsic (Converse of Schwaraz Pick Lemma )

(Schwarz - Pick Lemma) Suppose that $f$ is analytic on the Unit Disk $\triangle$ and satisfies the following two conditions : (1) $|f(z) \leq 1$ for all z $\in \triangle$ (2) $f (a) = b $ for some ...
1
vote
1answer
23 views

Function poles and divergence of series

Yesterday I tried to calculate the residues of a function the way below, but soon I realized it won't work. Now I have a question about the poles of a function, and a series representing it. $$z\in ...
0
votes
0answers
20 views

Complex limit proof

Definition: Say $f: S \longleftrightarrow \mathbb{C} \longleftrightarrow \mathbb{R}^2$, $z_0 \in S$, $l \in \mathbb{C}$. We say $$\lim \limits_{z \rightarrow z_0} f(z) = l_0$$ if $\forall \varepsilon ...
1
vote
1answer
72 views

Proving an entire function is constant

I'm trying to prove that the entire functions such that \begin{equation*} n^2f(1/n)^3+f(1/n)=0 \end{equation*} for all $n\in\mathbb{N}$, are constant. I suppose I should prove that $f$ is bounded ...
0
votes
1answer
16 views

Derivative of a complex conjugate

I anticipate that this is a stupid question, but suppose $c \in C$. What is $\frac{\partial c^{*}}{\partial c}$? I've been trying and failing for about an hour to figure it out from the definition of ...
3
votes
1answer
48 views

residue of a contour integral with a branch point on the boundary

I am considering a problem where I would like to find the contour integral given by \begin{align} \oint_C f(z) dz \end{align} where $f = u+iv$. $C$ is the wedge shaped contour where $0 \leq r \leq ...
0
votes
1answer
36 views

problems with singularity $0$ of $\int_{W} \frac{e^{\frac{1}{z}}}{(z-3)^3} dz$.

I have the complex integral \begin{equation*} \int_{W} \frac{e^{\frac{1}{z}}}{(z-3)^3} dz \end{equation*} on a circle with radius $6$. Obviously we have two singularities, one in $0$ and one in $3$. ...
1
vote
0answers
53 views

3D surface intersections

I tried to look at 3D Hypersurface intersections of 4D this way based on four Mathematica (circular) trigonometric parametrization combination selections. No hyperbolic functions are directly ...
15
votes
1answer
325 views

Convexity of $\theta(q)$

Define Jacobi's (fourth) theta function with argument zero and nome $q$: $$\theta(q) = 1+2\sum_{n=1}^\infty (-1)^n q^{n^2}$$ plot of the function via Wolfram|Alpha plot of the function via Sage I ...
1
vote
1answer
330 views

Equality in the Cauchy-Bunyakowsky-Schwarz inequality for a semi-inner product

I am stuck with an exercise that I found in a textbook by Conway. First, I would like to clarify what is meant by a semi-inner product. Definition. Suppose that $\mathscr X$ is a vector space over ...
3
votes
3answers
36 views

Radius of convergence of power series of complex $\log$

Let $f(z) = \log(z)$ for $z\in \Bbb{C}\setminus (-\infty,0]$. Since $f$ is holomorphic on its domain, we know it has a power series development about each point $z_0\in \Bbb{C}\setminus (-\infty,0]$. ...
1
vote
1answer
12 views

Contour integral of non analytic exponential function

The value of the integration of the function $f(z)$ over the circle of radius 3 centered at $z=1$, where $f(z) = e^{\frac{-1}{(z-1)^2}}$ this function has a pole at $z=1$ of $2$nd order. I don't ...
3
votes
1answer
15 views

$\{\,z\in \mathbb C : \operatorname{Im}(z)>-1 , |z|<2\, \}$ onto upper half space $\{\,z\in \mathbb C : \operatorname{Im}(z)>0 \,\}$

I am search an one to one mapping that maps the domain $$\{\,z\in \mathbb C : \operatorname{Im}(z)>-1 , |z|<2\, \}$$ onto upper half space $$\{\,z\in \mathbb C : \operatorname{Im}(z)>0\, ...
3
votes
2answers
72 views

Is entire function a polynomial? [duplicate]

Let $f:\mathbb{C}\to \mathbb{C}$ be an entire function, and suppose that for every $z\in \mathbb{C}$ there exists $n_z\in \mathbb{N}$ such that $f^{(n_z)}(z)=0$. Is $f$ necessarily a polynomial?
4
votes
2answers
64 views

Entire function with vanishing derivatives?

Let $f:\mathbb{C}\rightarrow\mathbb{C}$ be an entire function. And assume that at each point, one of it's derivatives vanishes. What can you say about $f$? A hint suggests that $f$ must be a ...
2
votes
1answer
70 views

$\oint_{C}(A-\lambda I)^{-1}\,d\lambda=0$ implies interior of $C$ is in the resolvent.

Suppose that $A$ is a bounded linear operator on a complex Banach space $X$ with resolvent set $\rho(A)$. If $C$ is a simple closed smooth curve in $\rho(A)$ such that $$ ...
1
vote
1answer
26 views

General Solution of ODE (complex eigenversion)

I am trying to figure out the general solution to the following matrix: $ \frac{d\mathbf{Y}}{dt} = \begin{pmatrix} -3 & -5 \\ 3 & 1 \end{pmatrix}\mathbf{Y}$ I got a solution, but it is so ...
1
vote
1answer
11 views

Classification of conformally equivalent annuli via periods

How does one define the periods that appear in this question and show they are conformally equivalent? Are the details worked out in a textbook somewhere? Presumably we do something like take the ...
0
votes
1answer
17 views

Normal Family complex

I search about a family of holomorphic complex function that not normal but their derivative is normal. the definition of normality similar to Montel's Thrm
1
vote
1answer
31 views

Given $z$ show that $\left | z\right | = 2\sin\theta$ and $\arg z = \theta$

I've been attempting this complex-related question but couldn't quite crack the challenge. (b) Given that $$z={1-\cos 4\theta+i\sin 4\theta\over\sin 2\theta+2i\cos^2\theta},$$ show that ...
1
vote
1answer
16 views

Complex Analysis Triangular Inequality

I recently started learning Complex Analysis and as of now don't have much command over it, I am stuck up with this assignment Question of mine which is as follows: If $|Z_i| < 1$ and $V_i ≥ 0$ ...
1
vote
1answer
13 views

Orthogonal complex matrices: polar decomposition

Is there a decomposition of $SL_n(\mathbb C)$ as a product of $O_n(\mathbb C)\times Sym_n(\mathbb C)$ ? I mean is there a result as the polar decomposition but with orthogonal (not unitary)? thanks ...
0
votes
1answer
295 views

Solution to equations involving Plasma dispersion function

I am trying to solve an equation involving a complex argument for the plasma dispersion function as: $z = x + \iota y$, $ x = \omega / \sqrt2 k v_{Ti} $ $ y = \nu_i /\sqrt{2} k v_{Ti} $ $S[z] = ...
1
vote
0answers
25 views

Complex Analysis Modulus Property

My teacher has asked an extra question apart from the one mentioned below in the picture: What will happen if |z| = |w| = 1 ? With respect to following answer: I don't see any point in that ...
3
votes
3answers
83 views

Given $Re\{f'(z)\}$, to find $Im\{f(z)\}$

An analytic function $f(z)$ is such that $\Re\{f'(z)\} =2y$ and $f(1+i)=2$. Then the imaginary part of $f(z)$ is $-2xy$ $x^2-y^2$ $2xy$ $y^2-x^2$ Here, by using Milne Thomson's ...
-1
votes
1answer
45 views

Integration of hyperbolic functions. [on hold]

Kindly solve this integral. I shall be very grateful. $$ \int_0^{\infty}\frac{\mathrm{e}^{-x}}{\mathrm{e}^{ax}-1}dx $$ Thanks.
1
vote
1answer
46 views

Computing $\int_{\partial S} \frac{1}{1+z^n} dz$

Let $S=\{re^{it} : 0<r<R, 0< \varphi < 2\pi/n\}$ for some $R>1$ and $n\geq 2$. How can we compute $$\int_{\partial S} \frac{1}{1+z^n} dz?$$ I can't compute it directly, so I assume I ...
7
votes
1answer
142 views

Are multi-valued functions a rigorous concept or simply a conversational shorthand?

In Brown and Churchill's book, the concept of multivalued functions is not discussed in a very rigorous way (if at all). But I can see that branch cuts have importance in complex analysis, so I want ...
0
votes
0answers
23 views

Beyond Schwarz Lemma

Let $f(z)=a_1z+a_2z^2+a_3z^3... $ be a Schwarz function then by lemma $|a_1|\leq 1 $.But what is known about the higher coefficients? For example ; what can be said about $ max [a_1+a_2]$ ? Is there ...
0
votes
1answer
17 views

Establishing a Variant of the Mean Value Property of Harmonic Functions

Let $u:U\to \mathbb{C}$ be harmonic and $\overline{D}(P,r)\subset U$. Verify the following variant of the mean value property of harmonic functions: $$u(P)=\frac{1}{2\pi r}\int_{\partial ...
0
votes
0answers
29 views

Computing an exponential generating function from the first few terms

The current question is related to this one, and this other one. I have a number sequence, and I want to find generating ...
2
votes
1answer
33 views

Non-constant entire function-bounded or not? [duplicate]

Show that if $f$ is a non-constant entire function,it cannot satisfy the condition: $$f(z)=f(z+1)=f(z+i)$$ My line of argument so far is based on Liouville's theorem that states that every bounded ...
3
votes
1answer
45 views

A consequence of Schwarz lemma

Suppose that for some $\epsilon>0$ the function $f$ is holomorphic on $B(0,1+\epsilon)$ such that $f(a) = 0$ and $|f(z)|\leq1$ if $|z| \leq 1$. Prove for $|z| \leq 1$: $$|f(z)|\leq ...
0
votes
1answer
23 views

Maximum /Minimum Modulus theorem for Harmonic Function ( Corollary 6.16 )

Suppose thatt $u(x,y)$ is a real valued non constant harmonic function on a bounded domain D. Then $u(x,y)$ can not attain its maximum or minimum value in $D$. I am studing complex ...
17
votes
2answers
1k views

Evaluating $\sum_{n=1}^{\infty} \frac{n}{e^{2 \pi n}-1}$ using the inverse Mellin transform

Inspired by this post, I'm trying to evaluate $\displaystyle \sum_{n=1}^{\infty} \frac{n}{e^{2 \pi n}-1} = \frac{1}{24} - \frac{1}{8 \pi}$ using the inverse Mellin transform. But my answer is twice ...
3
votes
1answer
183 views

How to find the inverse Mellin transform?

On the wikipedia page http://en.wikipedia.org/wiki/Mellin_transform The second formula is an integral transformation for the inverse Mellin transform. Being new to integral transforms, I wonder how ...
1
vote
2answers
5k views

Show that $\sin(z)$ is analytic

I have show that the function $\sin(z)$ satisfies the Cauchy-Riemann equations but don't know where to go from here. If it saves some working for you they are $$du/dx=-\sin(x)\cosh(y)$$ ...
1
vote
0answers
21 views

Hölder continuity of measure associated to Nevanlinna function

Let $F$ be a Nevanlinna function and $\mu$ the (via Stieltjes inversion formula) associated measure, which is a finite Borel measure on $\mathbb R$ and let $C(\lambda)$ be the function ($\alpha \in ...
2
votes
0answers
22 views

$f_n\to f$ iff for each closed rectifiable curve $f_n (z) \to f (z)$ uniformly for $z$ in the trace of the curve

I'd like to know if the following exercise is correct. I'm not completely sure about the last point but also I don't know what more I'd say. I really appreciate corrections or any suggestion you can ...
0
votes
1answer
18 views

Don't understand proof of minimum modulus principle

Minimum modulus principle: If $f$ is a non-constant holomorphic function a bounded region $G$ and continuous on $\bar{G}$, then either $f$ has a zero in $G$ or $|f|$ assumes its minimum value on ...
0
votes
1answer
18 views

If $f$ is holomorphic and $f(a) \neq 0$, then $\exists B(a,r)$ such that $f(z) \neq 0$ $\forall z \in B$

Let $G$ be a region and $f$ holomorphic in $G$. If there exists an $a$ such that $f(a) \neq 0$, then because $f$ is holomorphic, it is continuous, so there exists a $B(a,r) \subseteq G$ such that ...
3
votes
0answers
157 views

Series expansions of branches of multivalued functions

In David Wunsch's Complex Variables with Applications, Example 3 on page 266 asks the reader to find a Maclaurin expansion of $f(x)=(z+1)^{1/2}$ where the principal branch is used. The principal ...
1
vote
4answers
24 views

Constructing a Fractional Linear Map

I am working on a practice prelim question: "Construct a nonlinear fractional map $\phi(z) = \frac{az+b}{cz+d}$ with $c \ne 0$ such that $\phi(\phi(\phi(z))) = z$. I feel like I just need to take ...
1
vote
0answers
19 views

Irreducibility of analytic varieties

Let $V$ be an analytic variety and $V^{*}$ denote the locus of its smooth points. From Griffiths & Harris, page 21, we have that an analytic variety $V$ is irreducible iff $V^{*}$ is connected. ...
1
vote
0answers
17 views

Singular locus of analytic subvarieties

In Griffiths and Harris page 21, it is proven that the singular locus, denoted $V_{s}$ is contained in an analytic subvariety of the complex manifold $M$ not equal to $V$ which is the analytic ...
3
votes
1answer
16 views

Index of essential singularity

Let $f$ be a holomorphic function on a punctured disk $\Delta^*$ with essential singularity at puncture. Furthermore suppose that it has no zeroes on $\Delta^*$. Question: Does this integral have to ...
1
vote
1answer
20 views

Why can a function in $L^1(\partial \mathbb{D})$ be represented by a Fourier series?

I am looking for a reference to the claim that for any $f\in L^1(\partial \mathbb{D})$, where $\partial \mathbb{D}$ is the unit circle in $\mathbb{C}$, ...