The complex-analysis tag has no wiki summary.

**8**

votes

**0**answers

103 views

### Different notions of convergence of complex subvarieties

Let $X$ be a smooth complex algebraic variety (or, better, complex analytic manifold). Let $\{C_i\}$ be a sequence of compact algebraic subvarieties (resp. analytic reduced subspaces) which converges ...

**21**

votes

**1**answer

286 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) = ...

**1**

vote

**1**answer

102 views

### The locus of rational/elliptic curves on a special surface in $\mathbb{P}^3$

Let $P$ and $Q$ be two general polynomials of the same degree $d>5$. Consider the surface $S: z^2=P(x)Q(y)$ in $\mathbb{P}^3$ (after homogenization by the variable $w$). One can show that these ...

**1**

vote

**0**answers

111 views

**0**

votes

**0**answers

58 views

### Boundedness and Convergence of a Complex sequence

Consider a dynamical systems over complex numbers $$ z_{n+1}=\frac{\alpha}{z_{n}}+ \frac{\beta}{z_{n-1}},\qquad n=0,1,\ldots $$
where the parameters $\alpha, ~\beta$ are complex numbers, and the ...

**1**

vote

**3**answers

754 views

### Is Euler's formula a theorem or a definition? [closed]

The first time I tried to understand Euler's formula was about 2 years ago. I didn't need it, I just randomly ran across it, when trying to understand a Fourier transformation. The problem was, that I ...

**1**

vote

**0**answers

90 views

### Asymptotic expansion of an integral, related to Maass forms

I am trying to compute the asymptotic expansion of the integral
$I(t) = \int_{C} e^{\sqrt{1+u}(\frac{1}{t}+\frac{t^2}{\sqrt{u}})}\frac{u^\eta}{\sqrt{1+u}}du$
as $t$ is real and $t\rightarrow +\infty$, ...

**9**

votes

**1**answer

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

**-1**

votes

**1**answer

84 views

### Is there some lattice not rigid

I heard that in complex hyperbolic space setting for example CH2, there is some deformation of lattice nontrivial. What confused me is it seems contradicting Mostow Rigidity. Could someone explain ...

**3**

votes

**1**answer

129 views

### Can someone tell me properties of Douady space?

I want to know the parallel properties of Douady space with respect to Hilbert scheme. For example I want to know what is the irreducible component of Douady space, what if I consider a family of ...

**0**

votes

**1**answer

155 views

### is grassmannian rational connected or not [closed]

I wan to know if Grassmannians are rational connected? Any reference describe how to tell if a variety is rational connected or not?

**1**

vote

**2**answers

144 views

### Measures, orthogonal to holomorphic functions

Let $G$ be a domain in $\mathbb{C}^{d}$ and let $H\left(G\right)$ be the space of all holomorphic functions on $G$.
My question is how to characterize all such (Radon) measures $\mu$ on $G$, that ...

**0**

votes

**0**answers

70 views

### A question related to the Grauert semi-continuity theorem

Let $f\colon X\to Y$ be a proper holomorphic map of complex analytic manifolds. Assume $f$ to be submersive for simplicity, but probably it is not important. Let $\mathcal{F}$ be a coherent sheaf on ...

**2**

votes

**1**answer

106 views

### How to classify the complex function with same natural boundary in complex plane? [closed]

There are complex functions with the same natural boundaries in the complex plane, but,they are different from each other. For example, there are lots of different lacunary power series with ...

**3**

votes

**1**answer

160 views

### Computing Reciprocal Gamma

Reciprocal Gamma $1/\Gamma(z)$ is an entire function and so it has a convergent Taylor series expansion which was given in its wikipedia article.
...

**3**

votes

**0**answers

132 views

### Bounding an integral transform ouside a circle (or inside a strip)

Let $g$ be a symmetric unimodal probability distribution and $H$ be the right half plane.
We call
$$f(z) = \int_{-\infty}^\infty \frac{1}{z-i t}g(t)dt$$
the dispersion function of $g$.
Now, one can ...

**6**

votes

**3**answers

139 views

### Is there a effective computational criterion to all periodic points of a rational function are repelling.

I came up with a question to know the fatou component of of some types of rational function. In some sense, I may need to give a computational criterion to existence of attracting periodic basin for a ...

**2**

votes

**1**answer

97 views

### Roots of modified polynomials

Consider the following two polynomials:
$$
g=x^3 - x^2 - (c + 2)x + c
$$
and
$$
h=x^3 - x^2 - cx + c
$$
The roots of $h$ are $1$ and $\pm \sqrt{c}$. I am interested in obtaining the roots of $g$, ...

**1**

vote

**1**answer

295 views

### Infinite product's question

Given a pair of strictly increasing functions $f,g:\mathbb{N}\to \mathbb{N}$
define:
$P_N(f,g)\doteq \left(z\in \mathbb{C}\mapsto \prod_{i=1}^{f(N)}\left(1+\frac{z}{v_i(N)}\right)\in ...

**1**

vote

**1**answer

164 views

### System of quadratic complex equations

I want to solve this system of N non-linear equations without using a numerical method:
$x_{k}^{2}= \alpha_{k }+ \sum\limits_{m=1}^{N} (\beta_{km} x_{m} + \psi_{km} x_{m}^{*})$
With
$\left| ...

**0**

votes

**1**answer

153 views

### Injective element of a commutative Banach algebra

A revision:
According to the comment of Nate Eldredge, in order to avoid the triviality, we revise the property $P$.
Assume that $A$ is a commutative unital Banach algebra. Its maximal ideal ...

**3**

votes

**0**answers

67 views

### Grunsky-Motzkin-Schoenberg formula

I found this formula in Brian McCartin's interesting book "Mysteries of the equilateral triangle" http://www.kettering.edu/news/mysteries-equilateral-triangle and it looks as follows:
Suppose that ...

**1**

vote

**1**answer

83 views

### How far do conjugated Mobius transforms move points?

I start with an automorphism $f$ of the complex unit disc $S^1 = \{ z \in \mathbb{C} : |z| \leq 1\}$. I assume that such a map is given by a Mobius transform, namely
$$
f(z) = \frac{z - ...

**2**

votes

**2**answers

101 views

### Original article about a theorem of Cartan on iterations of analytic functions

I'd like to know in which paper of H. Cartan I could find the following theorem :
Let $\Omega$ be a connected, open and bounded subset of $\mathbb{C}$. Let $a \in \Omega$ and $f \in ...

**2**

votes

**1**answer

394 views

### Homology of a region of the plane

This is related to this MO question, I don't know if it's really "research-level". As in that question, let $U$ be a domain of the complex plane $\mathbb{C}$, i.e. an open connected subset. Let
$$ ...

**43**

votes

**16**answers

9k views

### f(f(x))=exp(x)-1 and other functions “just in the middle” between linear and exponential.

The question is about the function f(x) so that f(f(x))=exp (x)-1.
The question is open ended and it was discussed quite recently in the comment thread in Aaronson's blog here ...

**4**

votes

**1**answer

75 views

### Topology of the space of univalent functions

Let $D\subset CP^1$ be a domain (a nonempty open connected subset) and let $S_D$ denote the space of conformal embeddings $D\to CP^1$ equipped with topology of uniform convergence on compacts. Is it ...

**-3**

votes

**1**answer

112 views

### Analytic limit function

Let $f_{n}$ be a sequence of meromorphic functions that converge locally uniformly on $\{|z|\leq1 \mid \Re z\neq0\}$ to function $f$ which is analytic on the whole unit ball $|z|\leq1$. Is it true ...

**0**

votes

**1**answer

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

**1**

vote

**0**answers

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

**-2**

votes

**1**answer

129 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

345 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

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

**0**

votes

**2**answers

204 views

### Green's function - Hyperbolic Riemann surface

A Riemann surface is said to be:
-Potential-theoretically hyperbolic if it has a non-constant bounded subharmonic function.
-Poincaré hyperbolic if it is covered by the unid disk.
Are this ...

**17**

votes

**0**answers

848 views

### When does a modular form satisfy a differential equation with rational coefficients?

Given a modular form $f$ of weight $k$ for a congruence subgroup $\Gamma$, and a modular function $t$ with $t(i\infty)=0$, we can form a function $F$ such that $F(t(z))=f(z)$ (at least locally), and ...

**13**

votes

**2**answers

807 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$
...

**2**

votes

**0**answers

201 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

138 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$ ...

**9**

votes

**0**answers

161 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

80 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

148 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

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

**8**

votes

**1**answer

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

**4**

votes

**4**answers

280 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

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

**5**

votes

**1**answer

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

**0**

votes

**1**answer

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

**4**

votes

**1**answer

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

**0**

votes

**1**answer

86 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
$$
...

**2**

votes

**0**answers

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