The tag has no wiki summary.

learn more… | top users | synonyms

8
votes
0answers
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
1answer
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
1answer
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
0answers
111 views

Proving identity involving delta-functions

Lately I came across the following identity: ...
0
votes
0answers
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
3answers
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
0answers
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
1answer
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
1answer
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
1answer
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
1answer
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
2answers
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
0answers
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
1answer
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
1answer
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
0answers
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
3answers
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
1answer
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
1answer
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
1answer
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
1answer
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
0answers
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
1answer
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
2answers
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
1answer
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
16answers
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
1answer
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
1answer
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
1answer
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
0answers
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
1answer
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
1answer
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
1answer
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
2answers
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
0answers
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
2answers
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
0answers
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
1answer
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
0answers
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
1answer
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
1answer
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
2answers
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
1answer
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
4answers
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
2answers
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
1answer
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
1answer
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
1answer
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
1answer
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
0answers
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 ...