The tag has no wiki summary.

learn more… | top users | synonyms

1
vote
3answers
747 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 ...
21
votes
1answer
258 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
0answers
73 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
519 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
81 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
124 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
153 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
141 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
66 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
103 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
155 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
131 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
130 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
94 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
162 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
152 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
66 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
81 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
99 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
109 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
128 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
320 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
843 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
794 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
192 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
79 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
445 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
830 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
496 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
209 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
85 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
213 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 ...
47
votes
32answers
9k views

Demystifying complex numbers

At the end of this month I start teaching complex analysis to 2nd year undergraduates, mostly from engineering but some from science and maths. The main applications for them in future studies are ...
7
votes
3answers
330 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
1answer
155 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}$ ...
3
votes
1answer
156 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 ...