The complex-analysis tag has no wiki summary.

**1**

vote

**0**answers

54 views

### Intuitive explanation for Hardy-Littlewood maximal function

I came across the Hardy-Littlewood maximal function in an analysis course. Could someone help me intuitively understood what the purpose of this map is, and why it is useful?
Thank you.
Regards
...

**0**

votes

**1**answer

106 views

### A question for hyperbolic metric in the proof for Bohr's lemma

Recently I was reading an interesting proof for Bohr's lemma by the tool of hyperbolic metric, however I have a following question:
Given a holomorphic map $f$ on $D$, $f(0)=0$, and $|f|<1$ on ...

**-2**

votes

**1**answer

138 views

### Holomorphic maps on $\mathbb{R}^{n}$ (for n not necessarily even)

Edit according to the comment of user36931 I remove the "motivation" from the previous version and I add an statement to the first question
We consider the following two classes of smooth maps on ...

**3**

votes

**1**answer

376 views

### Good book on analytic continuation?

This is a cross-post from MSE.
For my Bachelor's thesis, I am investigating divergent series summation methods. One of those is analytic continuation. There are quite a few books on complex analysis ...

**1**

vote

**1**answer

145 views

### A family of examples of (Brody) hyperbolic surfaces

Let $P(x)$ and $Q(x)$ be two general polynomial of the same degree $d$ (d can be arbitrary large). Consider the surface $S : z^2 = P(x) Q(y)$ in the projective space $\mathbb{P}^3$. I want to prove ...

**13**

votes

**2**answers

829 views

### Who first defined _simply connected_, reference?

The following definition is due to Donald J. Newman:
A connected open subset $D$ of the plane $\mathbb C$
is simply connected
if and only if its complement $\widetilde D = \mathbb C \setminus D$
...

**10**

votes

**2**answers

608 views

### Is there a holomorphic Morse-Bott lemma?

It asks for a generalization of the question in the post
Normal form for a holomorphic Morse function
Suppose $f$ is a holomorphic function on a complex manifold $M$ which has Bott type critical ...

**2**

votes

**0**answers

250 views

### Separating the eigenvalues of a Hermitian matrix with a special block structure

I have a square matrix $J \in \mathbb{C}^{2n \times 2n}$ where,
$J=\begin{pmatrix} A&B \\\bar{B} & A \end{pmatrix}$
$A \in \mathbb{R}^{n \times n}$ and is ${\bf diagonal}$.
$B \in ...

**-1**

votes

**1**answer

143 views

### Order of the zero of a meromorphic function under the action of $Gal(\mathbb{C},\mathbb{Q})$

Let's take $X$ a Riemann surface as an algebraic curve in $\mathbb{P}^n$.
The group $Gal(\mathbb{C},\mathbb{Q})$ (automorphisms of $\mathbb{C}$ which act as the identity on $\mathbb{Q}$) acts on $X$ ...

**10**

votes

**1**answer

277 views

### Reverse mathematics of meromorphic functions on Riemann surfaces

Various sources touch briefly on the reverse mathematics of measure theory and complex analysis. But I have found none on the uniformization theorem for Riemann surfaces or the existence of ...

**1**

vote

**1**answer

88 views

### Polynomials are dense in $A_{B(0,1)}$

Let $D(0,1)$ be the disk of center 0 and radius 1 and call $A_{D(0,1)}= \{ f:\overline{D(0,1)} \rightarrow \mathbb{C} : f \text{ is continuous and } f|_{D(0,1)} \text{ is holomorphic} \}$.
Can ...

**0**

votes

**1**answer

151 views

### On complex exponential sum estimation

Let $c>0$ a real number, let $N$ a large natural number and let $e\left(x\right):=e^{2\pi ix}$. Is it true that $\forall k\in\left[1,\,2N\right]$, $k$ natural number, that ...

**2**

votes

**2**answers

464 views

### $ 2|f^{'}(0)| = \sup_{z, w \in D} |f(z)-f(w)|$ if and only if $f$ is linear

I know the following is a well-known result.
Let $D = B(0,1) \subset \mathbb{C} $ a disc, $f$ holomorphic on $D$. Show that $$ 2|f^{'}(0)| \le \sup_{z, w \in D} |f(z)-f(w)|$$
Furthermore, there is ...

**4**

votes

**4**answers

298 views

### Extending a function from $\mathbb{Q}$ to the upper half plane $\mathbb{H}\cup\mathbb{Q}\cup\{i\infty\}$

Define the extended upper half plane $$\overline{\mathbb{H}}:=\{z\in\mathbb{C}: \mathrm{Im}(z)>0\} \cup \mathbb{Q} \cup \{i\infty\}.$$
To what extent can an arbitrary function on the rationals ...

**19**

votes

**2**answers

539 views

### Which smooth compactly supported functions are convolutions?

If $f,g$ are smooth functions with support in the interval $[-r,r]$ for some $r>0$, then their convolution $f*g$ is smooth with support in $[-2r,2r]$. My question is about the converse: Given ...

**0**

votes

**1**answer

71 views

### Cardinality of Picard exceptional values of holomorphic function without an isolated singularity

Picard's theorem says that if $f\colon D\to \mathbb{C}$ is an entire nonconstant function or holomorphic with an essential isolated singularity, then $\mathbb{C}\setminus f({D})$ is either empty or a ...

**2**

votes

**0**answers

217 views

### Convergence of certain L-series

Suppose $|a_{n}| \leq 1$ completely multiplicative function assuming real values.
Suppose further that,
$
L(s)=\sum_{n} \frac{a_{n}}{n^s}
$
may be continued analytically to the left of $s=1$ a bit ...

**0**

votes

**1**answer

88 views

### Looking for methods/results for explicitly bounding iterations of rational functions

In Theorem 2.6.4 of Beardon's book, "Iteration of Rational Functions", he states the values for the first two coefficients of an iterated power series.
That is, suppose that
$$
...

**7**

votes

**3**answers

371 views

### Summation of a series

I would like to sum the series
$$
\sum_{n=0}^\infty \frac{1}{(1+a^2 (n+1/2)^2) ^{3/2}} .
$$
It arose when trying to perform a calculation on superconductivity. In particular I am interested in its ...

**0**

votes

**1**answer

181 views

### The dual space of the Dirac measures on an Abelian group

Let $G$ be a Hausdorff locally-compact Abelian group and $L^2(G)$ the Hilbert space of two-integrable complex functions on the group.
Question. What would be natural vector space $\mathcal{R}$ ...

**4**

votes

**1**answer

169 views

### A homogeneous but slightly asymmetric inequality

I need to prove the following inequality: for any $Z=(z_1,\dots,z_l)\in\mathbb{C}^l$ for any $p\geq 2$ and $l\geq 2$
\begin{equation}
\left|\left|\sum_{j=1}^l ...

**28**

votes

**1**answer

469 views

### Rearrangements of a power series at the boundary of convergence

Take some power series $f(z) = \sum a_n z^n$ with a finite non-zero radius of convergence. I can rearrange the terms of the series, say, to get a different infinite series
$$f_{\sigma}(z) = ...

**4**

votes

**1**answer

235 views

### Analytic continuation of a multiple contour integral

Let $W(t_1,\dotsc,t_n)$ a holomorphic function on some connected open set $U$ of $\mathbb C^n$.
Let $\mathbf t^{(0)}$ a point of $U$.
Assume that there exists a cycle $\gamma$ in $\mathbb C^m$ and a ...

**3**

votes

**0**answers

62 views

### Question concerning Mellin transforms

I've recently come across a result I've been trying to generalize.
Say that $\phi(\sigma \pm iy) < Ce^{\frac{\pi}{2}|y|}$ in the strip $a < \sigma < b$
then then the following integral is ...

**3**

votes

**1**answer

312 views

### Series of the inverse quadratic trinomial

Maybe it's a very simple question, but I have a problem with the following series
$$\sum\limits_{n=1}^{\infty}\frac{1}{n^2+pn+q},$$
where $p, q \in \mathbb{R}$. I know about five ways how to calculate ...

**0**

votes

**1**answer

115 views

### Use of Jensen's inequality on a Riemann surface

Let $f:\mathbb{C}\to \mathbb{C}$ be entire and consider the composite function $g(z):=f(\sqrt{z^2 - 1})$ on $\mathbb{C}\setminus \big ((-\infty , -1]\cup [1,\infty )\big )$ on the branch of the square ...

**2**

votes

**0**answers

54 views

### Proving convergence of certain Mellin transforms

I am wondering about the following modified mellin transforms and if they are absolutely converging or not.
Let $\phi$ be some holomorphic function such that for all $y \in \mathbb{R}$ we have ...

**0**

votes

**2**answers

92 views

### Subharmonic function on a twice punctured complex plane

is the twice punctured complex plane parabolic or hyperbolic? In this sense: does $\mathbb{C}-\{0,1\}$ admit a nonconstant, negative, subharmonic function?
Thanks,

**0**

votes

**1**answer

185 views

### Relation between the eigenvalue density and the resolvent?

Disclaimer: This is a cross-post from Math Underflow. Given that there is little activity on the subject (random-matrice) on the aformentioned site, and given that many interesting discussion on this ...

**1**

vote

**0**answers

70 views

### How to find number of points at infinity of a Riemann surface

Let $X \subset \mathbb C^2$ be a Riemann surface with boundary $\partial X \subset \mathbb C^2$ and without compact components. Let $\bar X = X \cup \{p_1,\ldots,p_N\} \subseteq \mathbb CP^2$ be its ...

**5**

votes

**1**answer

234 views

### Asymptotic value of a multivariate integral

The following question is a simple case of a type of problem that occurs in combinatorial enumeration problems.
Define
$$F(x_1,\ldots,x_n) = \frac{1}{(2\pi)^{n/2}}\exp\biggl( -\frac12\sum_{j=1}^n ...

**8**

votes

**1**answer

878 views

### If $f$ is $C^{\infty}$ and $f^2$ is analytic, then $f$ is analytic

Assume that $f:\mathbb{C}^n\rightarrow \mathbb{C}$ is a $C^{\infty}$ function such that $f^2$ is (complex) analytic. Then one can show that $f$ is analytic. (Note: Liviu Nicolaescu and Alexandre ...

**2**

votes

**1**answer

93 views

### Convolution-type operator for series

Suppose $f(z)=\lambda(a_1z+a_2z^2+\cdots)$ is holomorphic in $\{|z|<1\}$ with $\lambda>0$. For each $d\geq 1$ , I am trying to define an operation, $\star_d$ , so that $f(z)\star_d ...

**0**

votes

**1**answer

120 views

### Residues and Mittag-Leffler sequence

Let $X$ be a compact Riemann surface, $\omega$ a meromorphic differential on $X$ and $f$ a meromorphic function on $X$ with poles only over the points $P_1,\dots,P_d$. The product $\;f\cdot\omega\;$ ...

**2**

votes

**2**answers

278 views

### Surjective entire functions without critical points

It is easy to construct surjective locally univalent holomorphic functions $f: {\mathbb D}\to {\mathbb C}$, where ${\mathbb D}$ is the open unit disk.
I am pretty sure that the answer to the ...

**1**

vote

**2**answers

173 views

### Analytic continuation for PI(1+z^(4^n))

How to do analytic continuation for following function?
$$f(z) = \prod_{n=0}^{+\infty} {(1+z^{4^n})}$$
Evidently it satisfies $f(z)f(z^2)=\dfrac{1}{1-z}$...

**1**

vote

**0**answers

74 views

### analytical behaviour of holomorphic functions on boundary

Is there any survey about criterions for a holomorphic function to be analytical on the boundary of a pseudo convex domain on which it is defined ?

**0**

votes

**1**answer

117 views

### Existence of a holomorphic function with specific caracteristics

Is it possible to find a holomorphic function $f : D \rightarrow \mathbb{C}$ where $D$ is the $\mathbb{C}$ open unit disk such that:
$f$ is continuous in $\overline{D}$
$f (\partial D)\subset ...

**2**

votes

**1**answer

339 views

### Finding the residue for a complex function defined using an infinite product

Suppose we define the infinite product $\displaystyle \prod_{n=1}^{\infty} (1+a^{-ns})^{a_n}$, where $a_n$ is some given sequence of positive integers. Is there a way, supposing there is a pole at ...

**5**

votes

**2**answers

553 views

### An extension of Morera's Theorem

Morera's Theorem states that
If $f$ is continuous in a region $D$ and satisfies $\oint_{\gamma} f = 0$ for
any closed curve $\gamma$ in $D$, then $f$ is analytic in $D$.
I have two questions:
...

**1**

vote

**0**answers

267 views

### complex contour integral calculation after Möbius transformation

Good day to everyone.
In my scientific research I've got stuck with a contour integration problem.
I would like to evaluate the following integral:
$$I=\int_0^{\infty } \frac{e^{\frac{\alpha -\mathrm ...

**1**

vote

**1**answer

108 views

### Monotonicity and perturbation of $J$-holomorphic curves

In a symplectic manifold $(M, \omega)$, $J$-holomorphic curves are special minimal surfaces if $J$ is compatible with the symplectic structure and the metric is induced by $\omega$ and $J$.
Minimal ...

**-2**

votes

**1**answer

165 views

### Howto plot a specific complex function [closed]

We need to plot the real and imaginary parts of a complex function $k(\omega)$, and cannot find a good way to do this without using "ad hoc tricks."
Definitions
$k$ is a complex-valued function ...

**1**

vote

**1**answer

88 views

### Normal family and arithmetic progression

It is basic fact that for a holomorphic (or mermorphic) map $f$, the family of iterates $\{f^n\}_{n=1}^{\infty}$, is normal if and only if $\{f^{mn}\}_{n=1}^{\infty}$, is normal $\forall m\geq 1$.
...

**2**

votes

**0**answers

71 views

### Introducing new poles

Suppose we have a contour integral of an entire function along a line in the plane (or perhaps a line segment). I am looking for examples of such integrals that are computed by first altering the ...

**3**

votes

**0**answers

142 views

### elementary proof for existence of point with minimal period 2 for entire function

Fatou proved a very interesting result:
for a transcendental entire function $f$, the second itarate
$f^{2}$ has at least has one fixed point.
(Using the technique of Picard theorem)
This result ...

**7**

votes

**1**answer

380 views

### Abscissa of convergence of Dirichlet series

Let $D(s)$ be a Dirichlet series with abscissa of convergence $\sigma_c=\sigma_a$. Does it follow that the Dirichlet series defined by $P(s)=D(s)\bar D(\bar s)$ has the same abscissa of convergence?
...

**1**

vote

**1**answer

211 views

### Some questions about inner functions

To avoid trival cases, we assume that $f$ is neither a constant nor a finite Blaschke product.
Two celebrated theorems of Frostman say that $f_a(z)$ is actually a Blaschke product for every ...

**0**

votes

**0**answers

94 views

### Derivative of a function related to Dedekind zeta function

Lef $K$ be an algebraic number field of degree $[K:\mathbb{Q}]=n$. For simplicity suppose $K$ is totally real. Define $f(s) = \zeta_K(s) \zeta(1-s)^{n-1}$ where $\zeta = \zeta_{\mathbb{Q}}$.
From the ...

**0**

votes

**1**answer

166 views

### How to characterize the value which assumed by an inner function infinitely often but is an asymptotic value？

The Frostman Shift of an inner function at the value which assumed infinitely and is not an asymptomatic value is an infinite Blaschke Product. But how to charaterize it when it is an asymptotic ...