**19**

votes

**0**answers

345 views

### Decidability of equality of elementary expressions

In the following definition the term expression is to be understood as a finite tree built from formal symbols without any predefined meaning assigned to them.
Define the set $\mathcal{E}$ of ...

**2**

votes

**2**answers

290 views

### Topological information via cohomology of sheaves

On a projective smooth variety $X$ over complex numbers (or rather compact Kahler) we have a specific set of sheaves, namely sheaves of holomorphic forms ${\mathcal \Omega}^p$ of various degrees. The ...

**-1**

votes

**1**answer

138 views

### Stone Cech compactification for exponential map

Recently I met with a problem related to Stone-Cech Compactification theorem
in Furstenberg's famous paper "non-commuting product."
I try my best to understand Stone-Cech compactification theorem by ...

**5**

votes

**1**answer

56 views

### An corona pair (a,b) satisfies (A_2)

Let $b$ be a non-extreme point in the unit ball of $H^\infty$. Let $(a,b)$ be a corona pair, that is $|a|+|b|$ is bounded away from zero in the unit disc. Also let $|a|^2$ satisfy Hunt-Muckenhoupt ...

**2**

votes

**1**answer

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

**-2**

votes

**1**answer

125 views

### Holder class of analytic functions

Assume that $\lim_{(nt) |z|\to 1}|f(z)|(1-|z|)^p=0$, where $f$ is analytic in the unit disk and $p>0$,where $(nt)|z|\to 1$ nontangentially. Does this implies that $\lim_{|z|\to ...

**3**

votes

**1**answer

258 views

### Normal form for a holomorphic Morse function

Similarly to Morse lemma, a holomorphic Morse function can be written, near a critical point, as $W_1^2+W_2^2+...+W_n^2+C$ , for well chosen coordinates $W_1,W_2,...,W_n$. I want to cite this result ...

**2**

votes

**2**answers

229 views

### The Szego projector, the dual disc bundle $\overline{D}$ and representation of $S^1$ on $H^2$($\overline{D}$)

This construction arises when constructing the Szego projector.
Let's consider the dual disc bundle $\overline{D}$ of a positive Hermitian line bundle ($L$,$h$) over a compact Kahler manifold $M$, ...

**3**

votes

**1**answer

151 views

### Weighted projective space with rational or real weights

The most common formulation of the weighted projective space is perhaps the global quotient
$$
(\mathbb{C}^{n+1} \setminus \{(0,\ldots,0\}) / \mathbb{C}^\ast
$$
with the $\mathbb{C}^\ast$ group action ...

**4**

votes

**1**answer

164 views

### Integral and conformal mappings

Let $f$ be a conformal mapping of the unit disk $U$ into $C$. Is the following integral convergent $$\int_U \frac{dx dy}{|f'(z)|}?$$

**5**

votes

**2**answers

480 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:
...

**3**

votes

**1**answer

289 views

### A particular contour integral

Mathoverflow,
I'd like to carry out the following integral,
$$f(t) = \int_{- \infty}^{\infty}\frac{-i\Omega e^{i \Omega t}}{1-\sqrt{-i\Omega}\coth(\sqrt{-i\Omega})} d\Omega.$$
Here's what I've ...

**17**

votes

**1**answer

527 views

### Almost linearly dependent functions

Everyone knows that analytic functions $f_1,\ldots,f_n$ are linearly dependent if and only if their Wronski determinant is identically equal to zero. There are several proofs of this,
one in ...

**0**

votes

**1**answer

138 views

### Inverse “Riemann mapping” [closed]

The Riemann mapping theorem states, that any simply connected domain $U \subset \mathbb C$ can be conformally mapped to the open unit disk $D$. I.e. there is a Diffeomorphism $\Psi: D \to U$ such that ...

**1**

vote

**0**answers

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

**2**

votes

**1**answer

119 views

### Off-diagonal holomorphic extension of real analytic functions on $\mathbb{C}^n \times\mathbb{C}^n$

I am struggling trying to understand an statement in a paper I am reading:
Let $M$ be a complex manifold of dimension $2n$. Let's consider a function $\xi$: $M$ $\rightarrow$ $\mathbb{C}$ whose ...

**1**

vote

**1**answer

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

**10**

votes

**2**answers

709 views

### How did Riemann calculate the first few non-trivial zeros of Zeta?

Does anyone know how Riemann calculated the first few non-trivial zeros of the Zeta function? I am wondering if he approximated the integral, $\frac{1}{2 \pi i} \int_{R} \frac{{\xi}^\prime(z)}{\xi ...

**0**

votes

**1**answer

97 views

### Comparing two hyperbolic structures on a surface

Let S be a compact hyperbolic surface (a compact riemann surface of genus ≥2). Let S′=S∖P where P⊂S is a finite subset of points. Then S′ is hyperbolic too.
Question: how is related the hyperbolic ...

**8**

votes

**1**answer

288 views

### Local polynomial form of holomorphic functions

It is well-known that a germ of a holomorphic function of $n\geq 2$ variables, with at most an isolated singularity (i.e. the singularity of the analytic variety defined by the zero locus of the ...

**2**

votes

**1**answer

73 views

### How a matrix of C^1 functions on a domain Ω in Cn generates a C^1 distribution in Ω

I am reading the paper Complex foliation generated by (1,1)-forms by M. Klimek. I have a problem understanding why is true a detail in one of the theorems:
Let $\Omega$ be an open connected subset ...

**0**

votes

**1**answer

334 views

### Recomendation of Complex variables book [closed]

I'd like to ask for a book of complex variables that includes a "large" discussion about the Dirichlet problem, Neumann problem, and problems like that, I have now read "basic complex analysis - ...

**3**

votes

**1**answer

189 views

### If $f(x)+f(2x)$ is quasianalytic, is $f(x)$ necessarily quasianalytic?

Assume that $f\in C^{\infty}$ and that $M_n$ is a sequence such that $$\sum_{n=0}^{\infty}\frac{M_n}{(n+1)M_{n+1}}=\infty$$
and for certain compact neighborhood of the origin $U$ of $\mathbb{R}$, ...

**1**

vote

**0**answers

249 views

### Does the property (P) holds true for the derivatives of $L$?

Let $$L(C,s)=\sum_{n=1}^\infty \frac{a_n}{n^s}$$ be the Dirichlet series of the Hasse--Weil L-function of an elliptic curve $C$ over $ℚ$. As $s$ takes on real negative values, there are trivial zeros ...

**1**

vote

**1**answer

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

**1**

vote

**0**answers

47 views

### A criterion or algorithm for polynomial which admits Markov partition on its Julia set

For a given polynomials $P(z)$, whether there exists general algorithm to check it admits a Markov partition on its Julia sets. (in finite computation time.)
May be it is more difficult for the ...

**3**

votes

**0**answers

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

**5**

votes

**1**answer

324 views

### Universal covering map from $\mathcal{H}$ to $\mathbb{C}\setminus \mathbb{Z}\oplus i\mathbb{Z}$ (the countably punctured complex plane)

It's a consequence of the uniformization theorem for simply connected Riemann surfaces that the universal cover of $\mathbb{C}\setminus(\mathbb{Z}\oplus i\mathbb{Z})$ ($\mathbb{C}$ punctured at all ...

**1**

vote

**2**answers

97 views

### general variational principle for the Julia sets of mermorphic function?

I have seen some attempt in considering topological pressure for Julia sets of exponential function, and elliptic function. However, there exists few reference according to my knowledge?
I want to ...

**4**

votes

**2**answers

410 views

### When is $\mathrm{Aut}(X)\times \mathrm{Aut}(Y)$ of finite index in $\mathrm{Aut}(X\times Y)$?

Let $\mathrm{Aut}(X)$ denote the group of biholomorphic autmorphisms of the (non-compact) complex manifold $X$. If $X$ and $Y$ are two (non-compact) complex manifolds, then $\mathrm{Aut}(X)$ and ...

**1**

vote

**1**answer

79 views

### Removing a hyperplane from flag manifolds

It should be known that if we remove a compact complex codimension one submanifold $X$ (hyperplane) of a flag manifold $Z=G/P$, then $Z\setminus X$ is a Stein manifold.
I was wondering if anyone can ...

**1**

vote

**1**answer

200 views

### Composite families of formal power series over $\mathbb C$ as algebraic variety

I was led to prove that the set of composite families $(f_j)_{j \leq k}$ of germs at $0\in \mathbb C^m$ of a holomorphic function (composite = sharing a common divisor belonging to the maximal ideal) ...

**1**

vote

**0**answers

56 views

### irreducible analytic decomposition of sets invariant under a group action

Let $U$ be a complex analytic space with an action of a finitely generated group $\Gamma$. Under what assumptions
is the following true:
Every $\Gamma$-invariant closed analytic subset of $U$ ...

**19**

votes

**5**answers

763 views

### Topology on the set of analytic functions

Let $H(D)$ be the set of all analytic functions in a region $D$ in $C$ or in $C^n$.
Everyone who worked with this set knows that there is only one reasonable topology
on it: the uniform convergence on ...

**3**

votes

**1**answer

173 views

### Fixed points on Riemann surface

It is well known theorem that for a conformal mapping $\phi$ from a bounded and planar domain $\Omega$ to itself has three fixed points , then it must be identity mapping. However, I cannot find a ...

**21**

votes

**4**answers

1k views

### Distribution of roots of complex polynomials

I generated random quadratic and cubic polynomials with coefficients in $\mathbb{C}$
uniformly distributed in the unit disk $|z| \le 1$. The distribution of the roots of 10000
of these polynomials are ...

**5**

votes

**1**answer

139 views

### Ubiquity/scarcity of non-analytically continuable functions

Suppose f(z) is a power series with positive integer coefficients centered at zero and positive radius of convergence. What is the likelihood that f has a dense set of singularities on its circle of ...

**2**

votes

**2**answers

159 views

### Is the Hausdorff dimension $Dim_{H}(J(f))$ of the Julia set less than 2 for quadratic rational map?

Let $f(z)$ be a quadratic rational map with two Siegel disks which can be normalized to be $$f(z)=z\frac{z+e^{2\pi i\alpha}}{e^{2\pi i\beta}z+1}.$$ If one of the ratation numbers $\alpha$ and $\beta$ ...

**1**

vote

**1**answer

133 views

### Forster's Theorem

I am looking for a detailed account, in English or French, of the main result and its proof from this paper by O. Forster
Zur Theorie der Steinschen Algebren und Moduln, Mathematische Zeitschrift 97, ...

**1**

vote

**0**answers

131 views

### Solving a system of rational functions

Given pairwise distinct numbers $c_1, c_2, \dots c_n \in \mathbb{C} \setminus \{0\}$, does the system of equations $$\frac{6}{c_k} + \sum_{i \ne k} \frac{2}{c_k - c_i} = \sum_{i = 1}^n \frac{1}{c_k - ...

**3**

votes

**3**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

151 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

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

**2**

votes

**0**answers

122 views

### topology generated by irreducible componets of $\Gamma$-invariant closed sets

For an analytic space $U$ equipped with an action of a group $\Gamma$,
call a subset $Z\subseteq U$ $\Gamma$-closed iff
it is a closed analytic subset and each of its irreducible components
is an ...

**5**

votes

**1**answer

187 views

### Function transformation of exponentials

I came across the following function transformation:
$$
\sum_{j=-\infty}^{\infty} e^{(-j^2\cdot t)} = \sqrt{\frac{\pi}{t}} \cdot \sum_{j=-\infty}^{\infty} e^{(-\frac{\pi^2}{t}\cdot j^2)}
$$
where $ j ...

**2**

votes

**0**answers

81 views

### How can we describe explicitly the “infinitely complex differentiable” complex-valued local martingales?

Let $\mathcal{F}_t$ be a continuous filtration on a probability space, and let $B$ be a standard $\mathbb{C}$-valued $\mathcal{F}_t$-Brownian motion. Let's call a complex-valued process $X$, possibly ...

**1**

vote

**0**answers

54 views

### Is it obvious that the defining conditions to obtain a particular singularity are well defined on the quotient space?

Let $~f:\mathbb{C}^2 \rightarrow \mathbb{C}$ be a holomorphic function
vanishing at the origin, with
the following properties:
$$ f_{00}, ~f_{10}, ~f_{01}, ~f_{20}, ~f_{11} =0,~~f_{20} \neq 0 ...

**0**

votes

**0**answers

233 views

### Local System and Gauss-Manin connection

Fix a complex manifold $X$. Then if we have a line bundle $L=\mathcal{O}(D)$ together with Gauss-Manin connection $\nabla: L \rightarrow L \otimes \Omega^{1}_X$, we get the locally constant sheaf $F$ ...

**1**

vote

**1**answer

74 views

### Finite construction of lacunary functions using algebraic and certain analytic operations

Algebraic functions have a discrete set of singularities. Lacunary functions, e.g. $f(z)=\sum_{n=0}^\infty z^{2^n}$, have a continuum of singularities at every point of the boundary of their disk of ...