Complex analysis, holomorphic functions, automorphic group actions and forms, pseudoconvexity, complex geometry, analytic spaces, analytic sheaves.

learn more… | top users | synonyms (2)

0
votes
0answers
7 views

Euler transformation of pochhammer symbol

From the Euler transformation of Pochhammer symbol $$\sum_{n=0}^{\infty}\frac{(b)_n}{n!}a_nz^n=(1-z)^{-b}\sum_{n=0}^{\infty}\frac{(b)_n}{n!}\Delta^na_0(\frac{z}{1-z})^n$$ the following ...
1
vote
0answers
32 views

Geodesic equation and radial metric

Assume that $g(z)=f(|z|)$ is a radial metric on the unit disk in complex plane, where $f$ is a smooth real function. Is there any simple equation of geodesic lines w.r.t. metric $g$, e.g. ...
30
votes
1answer
615 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) = ...
0
votes
3answers
97 views

Extension of conformal map and annulus

My question is the following : suppose you have a doubly-connected open set $\Omega \subset \mathbb{C}$, that is a domain bounded by 2 non-intersecting circles $C_1$ (the interior) and $C_2$ (the ...
2
votes
1answer
204 views

Real and imaginary part of an holomorphic function

I guess this could be a very elementary question. Anyway I can not find an answer in literature. Let $f:U\rightarrow\mathbb{C}$ be an holomorphic function on an upen subset $U\subseteq\mathbb{C}$. ...
15
votes
2answers
354 views

Classification of complex structures on $\mathbb{R}^{2n}$

Is there anything known about classification of complex structures on $\mathbb{R}^{2n}$ up to isomorphism for $n>1$? Say, are there finitely or infinitely many isomorphism classes? If there is a ...
1
vote
1answer
87 views

If $f$ is separately holomorphic on $\Omega$ then $f\in\mathcal{C}^0(\bar\Omega)\Leftrightarrow f\in L^1(\Omega)$

Let $\Omega\subseteq\Bbb C^2$ be open bounded (and connected), $f:\Omega\to\Bbb C$ separately holomorphic (i.e. $f$ is holomorphic in each variable when the other is fixed). Hartogs theorem is not ...
6
votes
1answer
245 views

Acyclicity of the sheaf of real analytic differential forms

Let $M$ be a real analytic manifold. In the book "Sheaves on Manifolds" by Kashiwara and Schapira it is claimed on p. 127 (without reference or proof) that the Poincare lemma holds for the de Rham ...
1
vote
2answers
77 views

Integrability at $z$ of the 2-form $ d\omega=\frac{\partial_{\bar{\zeta}}g(\zeta)}{\zeta-z}d\zeta\wedge d\bar{\zeta} $

Given $g\in\mathcal{C}^1(\bar\Delta)$, and $z\in\Delta$, how can i prove that the 2-form $$ d\omega=\frac{\partial_{\bar{\zeta}}g(\zeta)}{\zeta-z}d\zeta\wedge d\bar{\zeta} $$ is integrable in $z$? At ...
-1
votes
0answers
45 views

Looking for an example of a contour integral with matrix entries [closed]

Let $A$ be a matrix (if needed assume it to be the adjacency matrix of graph). Let one be given two functions $P(z)$ and $Q(z,A)$ such that both are polynomials in $z$ and $A$, where $z$ is some ...
7
votes
0answers
149 views

When is the Locus of Equi-modular points of two monic polynomials with integer coefficients contained in the unit disk?

If $\lambda_{1}(z)$ and $\lambda_{2}(z)$ are two monic polynomials (relatively prime) with integer coefficients and $$\Gamma=\lbrace z \rm{\ s.t.\ } |\lambda_{1}(z)|=|\lambda_{2}(z)|\rbrace,$$ when is ...
27
votes
1answer
1k views

Computing Self-Intersections with Complex Analysis

It is possible to find the winding number of a path $C \subset \mathbb{C}$ using complex analysis: $$n = \oint_C\frac{dz}{z}.$$ You can also count the number of roots of $f(z) = 0$ inside a close ...
3
votes
1answer
121 views

intersection of holomorphic curve with hyperplane

Let $f : \mathbb{C} \rightarrow \mathbb{C}^n$, $n>1$ be an entire function. Assume for simplicity that $f(0)=0$. Let $B$ be the closed ball of centre $O$ and radius $R$. Is there an upper bound ...
1
vote
1answer
109 views

Zeros of Polynomial with decreasing coefficients [closed]

If $n_1<n_2<n_3\cdots<n_m$ are positive integers. Does the polynomial $a_0+a_1z^{n_1}+a_2z^{n_2}+\cdots+a_mz^{n_m}$ satisfying $$ 0<a_0\leq a_1\leq \cdots\leq a_m $$ has all its zeros ...
2
votes
1answer
67 views

About extending plurisubharmonic function

I came across a problem like this. Suppose that $\Omega$ is an open subset of $\mathbb{C}^{n}$ and $V$ is a complex submanifold of $\Omega$ of codimension 1. Now given a plurisubharmonic function ...
7
votes
3answers
1k views

When is a holomorphic submersion with isomorphic fibers locally trivial?

A justly celebrated theorem by Ehresmann states that a proper smooth submersion $\pi: X\to S$ between smooth manifolds is locally trivial in the sense that every point $s\in S$ downstairs has a ...
1
vote
2answers
123 views

convergence radius of Pochhammer symbol series

What is the convergence radius of the series $$\sum_{n=0}^{\infty}\frac{(-1)^n z^{(n)}}{n!},$$ where $z^{(n)}$ is Pochhammer symbol?
1
vote
1answer
114 views

generalization of fundamental theorem of algebra for several complex algebra [closed]

I am looking for a generalization to fundamental theorem of algebra for several complex variables functions or systems. If such theorem exists, it should concisely relates the number of zeros of ...
1
vote
0answers
34 views

Meromorphic extensions of $\zeta-$functions

Suppose we have a series $\zeta_x(s)=\sum_{n\geq1}x(n)n^{-s},$ where $x=\{x(n)\}_{n\geq1}$ is a bounded sequence. Clearly, $\zeta_x$ is analytic function for $\Re(s)>1.$ Question: is there a ...
2
votes
2answers
164 views

Connected complement manifold

I'm working on some problem in algebraic geometry. I need a reference to the following result: Let $h\in\mathbb{N}$ with $h\geq1$ and let $F\in\mathbb{C}\left[x_{1},\ldots,x_{h}\right]$ be a non ...
0
votes
0answers
21 views

Is the Mellin transform of a measure nongrowing at imaginary infinity everywhere, or just on the fundamental strip?

Let $\mu$ be a measure on the positive real numbers. Its Mellin transform is a complex function defined by $$ M_\mu (s) =\int x^{s-1} d \mu(x) $$ on the set $S_\mu$ of $s \in \mathbb{C}$ where $$ ...
8
votes
1answer
171 views

Continuous Weierstrass map

Let $\mathbb C$ be the complex plane, $H(\mathbb C)$ the set of all entire functions, and $D(\mathbb C)$ the set of all non-negative divisors in $\mathbb C$. Consider the map $Z:H(\mathbb C)\to ...
14
votes
2answers
282 views

Vanishing of Dolbeault cohomologies and Steinness

That Stein manifolds have all $(p,q), p \geq 0, q \geq 1$ vanishing Dolbeault cohomology groups is more or less standard. I am a little bit confused about the reverse implication: whether the ...
1
vote
2answers
126 views

Generalized Schwarz Lemma for near-zeros

In approximation theory, it is classical to use a result that can be considered a generalization of the Schwarz Lemma: Let $f:[-1,1]\rightarrow\mathbb{C}$ be a function that is analytic in a domain ...
13
votes
2answers
343 views

Analog of Newlander–Nirenberg theorem for real analytic manifolds

It is well known that one can specify a complex structure on a real $C^\infty$ manifold in two equivalent ways: an atlas with holomorphic transition functions between charts and an integrable almost ...
0
votes
0answers
28 views

Help with an inequality in Cazenave's book “Semilinear Schrodinger equations” [migrated]

I'm reading Cazenave's book "Semilinear Schrodinger equations" and I found this inequality at page 84 $$\vert\vert u_1\vert^\alpha u_1-\vert u_2\vert^\alpha u_2\vert\vert\leq C (\vert ...
0
votes
1answer
90 views

Dirichlet series without order term

is there a name in use for Dirichlet series without the order term, analogously to Laurent or Puiseux polynomials? Is there work known about such expressions? $D(s) = \sum_{0<n<N}a_n/n^s$ The ...
1
vote
0answers
47 views

Complex Hessian Signature

It' all, simply, about the signature of a matrix. Let $\Omega\subseteq\Bbb C^n$ open, $r:\Omega\to\Bbb R$ twice differentiable (real differentiable, not necessarely complex differentiable, i.e. not ...
46
votes
16answers
10k 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 ...
1
vote
1answer
154 views

Cohomology of lattice with coefficients in field of rational functions

In my research, I came across a 1-cocycle in the following group cohomology complex: Let $\Lambda_\mathbb{Z}$ be a lattice (i.e. isomorphic to $\mathbb{Z}^n)$; let $\Lambda_\mathbb{C} = ...
5
votes
1answer
296 views

Bounds on the derivative of a Riemann map

Let U be a simply connected domain with smooth boundary in the complex plane, and let $\mathbb D$ be the unit disc. Is there a nice sufficient condition for the existence of a biholomorphic map ...
1
vote
0answers
169 views

What is the status on questions related to Bhargava's factorial function?

In Manjul Bhargava's The Factorial Function and Generalizations he motivates a new type of factorial $n!_S$ using by generalizing a few theorems like: For $k, l \in \mathbb{Z}$, we have $k! \times ...
3
votes
1answer
130 views

Singularities of the Remmert reduction of a holomorphic convex manifold

Let $X$ be a holomorphically convex manifold, namely, for any infinite discrete subset of $X$ there exists a holomorphic function on $X$ which is unbounded on this set, then a theorem of Remmert says ...
1
vote
0answers
82 views

holomorphic curves invariant by lattices

Suppose I have an entire function $f : \mathbb{C} \longrightarrow \mathbb{C}^n$ for $n \geq 1$. Let $C$ be the curve $f(\mathbb{C})$ in $\mathbb{C}^n$. Let $\Lambda$ be a lattice in $\mathbb{C}^n$ ...
1
vote
2answers
309 views

Certain inverse problem related to moments

Suppose $D\subset \mathbb C$ is a smoothly bounded domain and it contains the origin. Let $ds$ denote the arc length measure on $\partial D.$ I am interested in the following two inverse problems ...
1
vote
1answer
85 views

About the upper bound on the roots of the matching polynomial

Heilman and Lieb had proven that if a graph had $d$ as its maximum vertex degree then the roots of the matching polynomial are bounded from above by $2\sqrt{d-1}$. Is there a modern exposition of ...
2
votes
1answer
198 views

If a polynomial $p(z)$ omits a value, then $p(z)-\dfrac{(1-e^{i\psi})}{n}zp^{\prime}(z)$ also omits that value

Suppose that a polynomial $p(z)$ of degree $n$ does not assume the value $w$ for $|z|<1$, that is $p(z)\neq w$ for $|z|<1.$ Show that $p(z)-\dfrac{(1-e^{i\psi})}{n}zp^{\prime}(z)\neq w$ for ...
2
votes
1answer
109 views

Prove or disprove an inequality concerning zeros of a polynomial

If a polynomial $p(z)$ of degree $n$ with zeros $z_1,z_2,\cdots,z_n$ assumes maximum at $w$ on $|z|=1.$ Prove or disprove that the Harmonic mean of $|z_k-w|,$ $k=1,2,\cdots,n$ is greater or equal to ...
3
votes
1answer
121 views

Determining the Fourier transform

Let $d>2$. Let $M$ be a 2-dimensional submanifold of $\mathbb{R}^d$. For instance (and this is the type of example I primarily care about) we could have $M$ being the set of scalar multiples of a ...
3
votes
0answers
125 views

Quadrature domains for arc length

Is ellipse a quadrature domain for arc-length? More precisely does there exist points $z_1,\cdots,z_n$ inside an ellipse $E$ and non zero constants $c_1,\cdots,c_n$ such that $$\int ...
2
votes
1answer
118 views

hyperbolic metrics

Let $D_1\subset D_2$ be simply connected domains in the complex plane. Let $\lambda_1$ and $\lambda_2$ be the corresponding hyperbolic (Poincare) metrics. It seems intuitive to me that $\lambda_2$ is ...
5
votes
1answer
137 views

Is the Poincaré metric continuous with respect to the domain?

Suppose $K \subset \mathbb{C}$ is a Cantor set and let $u:\mathbb{C} \setminus K \to \mathbb{R}$ be the maximal smooth function such that the conformal metric $e^{2u}(\mathrm{d}x^2 + \mathrm{d}y^2)$ ...
2
votes
1answer
181 views

A conjecture regarding the integral of the square of an entire function

Can some help me prove or disprove the following assertion which I encountered in research? Thanks! Let $f:\mathbb R\to\mathbb R$ be an analytic function. If for $\forall c > 0$, we can find some ...
6
votes
1answer
460 views

Bound on the sum of arguments

Problem: Show that for all real $s,t,u$ and all complex $z$ with $|z|<1$ one has $$(*)\qquad \arg\frac{1-zf(s-u)}{1-zf(s+u)} +\arg\frac{1-zf(t+u)}{1-zf(t-u)}<\pi, $$ where $f$ is the ...
-1
votes
1answer
189 views

Holomorphic Function on Disk

Let $f$ be holomorphic function on unit disk and it is continuous on boundary of the disk. It is known that $f$ is constant and equal to zero if $f$ is vanishing on sub-arc of boundary (Maximum ...
3
votes
1answer
275 views

If $X$ fails to be holomorphic, what is $\mathcal{L}_X \bar\partial - \bar\partial \mathcal{L}_X$?

I present a simplified version of the problem, and if that's easy to answer then someone can try answering the more complicated version. Simplified version Suppose $X$ is a tangent vector field on a ...
3
votes
0answers
37 views

Multivariate ML inequality and holomorphic functions on the closed unit ball

There exists a dimensional constant $C_n$ such that, for each holomorphic function $f:\overline{B(1)}\to \mathbb{C}$ on the closed unit ball centered at the origin of $\mathbb{C}^n$ and each ...
2
votes
1answer
174 views

Exact reference for Liouville theorem

It seems hard for me to find that the solution of the following equation $$ \Delta u+e^u=0 $$ defined on a simply-connected domain $D\subset R^2$ must be of form $$ ...
18
votes
1answer
647 views

Why would the roots of the generating functions of the number of k-almost primes less than x have negative real parts?

Specifically, I find it appealing to count only squarefree numbers having $k$ prime factors, so I define $$\pi_k(x)=\#\{n\leq x: \omega(n)=k;\mu(n)\neq0 \}$$ and consider the generating functions ...
1
vote
1answer
650 views

Irreducible non-singular M-matrices and complex numbers

It is well known that a non-singular M-matrix that is irreducible has a strictly positive inverse (all entries $>0$). An M-matrix is a matrix that has eigenvalues with positive real part, and the ...