The complex-analysis tag has no wiki summary.

**2**

votes

**0**answers

242 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

275 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

458 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

296 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

532 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

69 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

364 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

178 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

166 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 ...

**27**

votes

**1**answer

440 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

231 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

61 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

307 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

114 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 ...

**1**

vote

**0**answers

52 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

175 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

233 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

870 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

92 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

119 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

276 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

73 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

540 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

263 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

164 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

85 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

70 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

141 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

369 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

210 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

93 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

165 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 ...

**0**

votes

**1**answer

75 views

### The influence of eigendecomposition on the periodicity of a (rank 2) Hermitian matrix (of functions)

Let $\boldsymbol{R}(u,v);~u,v\in\mathbb{R}$ be a Hermitian matrix (of Hermitian functions) with entries
\begin{equation}
r_{ij}(u,v) = 1 + Ae^{-2\pi i \phi_{ij}(ul_0 + vm_0)}; ...

**1**

vote

**1**answer

98 views

### Has a universality theorem been proved for the Davenport-Heilbronn L function?

The question is in the title: has a universality theorem in the sense of Voronin been proved for the Davenport-Heilbronn function, or do we expect such a theorem to hold true only for L functions that ...

**2**

votes

**1**answer

149 views

### Inequality for certain analytic functions

Suppose that $f(z)$ is analytic for $\Re(z)>0$ and it is positive on the real axis. Suppose that for some $y_0$ we have
$$
\left| {f\left( {x + iy} \right)} \right| \le f\left( x \right)
$$
for any ...

**4**

votes

**4**answers

2k views

### Does the inverse Laplace transform of the square root exist?

Does the inverse Laplace transform, defined by the integral,
\begin{equation}
F(t) = \mathscr L_s^{-1}\left[\sqrt s\right](t) = \int_{c - i\infty}^{c + i\infty} \sqrt s ~e^{-st} ds
\end{equation}
...

**0**

votes

**2**answers

177 views

### A Functional Equation concerning analytic functions

Let $P$ be a polynomial and suppose $f : \Bbb{C}\longrightarrow \Bbb{C}$ is a non-constant analytic function such for all $z \in \Bbb{C}, f(z) = f(P(z))$. Clearly when $P$ is linear we can find such ...

**3**

votes

**1**answer

154 views

### The Integral Trick and An Equality in Nakajima's Lecture

In Nekrasov et al's series papers MNS, they calculate such kinds of integral
$$\frac{E_1 E_2}{N(2\pi i)^N(E_1+E_2) }\oint d\phi_1 \wedge d\phi_2\wedge ...\wedge d\phi_N \prod_{i<N} (-\phi_i) ...

**1**

vote

**1**answer

250 views

### Two different forms of Schwarz-Christoffel-Mapping of unit disk to rectangle. Are they identical?

I found two different equations for the Schwarz-Christoffel-mapping of a unit disk to a rectangle (which are the general form of the SC-mapping, I guess). The first, e.g. from Link, page 20, is
...