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

learn more… | top users | synonyms (2)

3
votes
1answer
110 views

What is the image of the Ramanujan Delta function?

Consider the Ramanujan $\Delta$ function as a map from the upper half plane to the complex plane. We know that the image of $\Delta$ is unbounded and that it does not contain the point $0$. What else ...
0
votes
0answers
90 views

Finding singularities from power series

I am sorry beforehand for the length of my post, but I thought I should give some details. I try to figure out where are the singularities of a rather complicated power series. This series comes from ...
2
votes
0answers
94 views

When does analytic in the operator norm imply analytic in the trace class norm?

This is a crosspost from MSE. It's been up there for a few weeks now. A 200 rep bounty yielded no results (or even comments). I'm hoping someone here has some helpful ideas. See this post for the ...
1
vote
1answer
214 views

Class of functions between $C^{\infty}$ and $C^{\omega}$

I am always curious about that whether there exists a class of function which seems that more smooth than the $C^{\infty}$ class, while it is far from $C^{\omega}$ analytic function . From my point ...
5
votes
2answers
105 views

Equivalence of Definitions of Quasiconformal Surfaces?

I have been reading John H. Hubbard's book Teichmüller Theory vol. 1 and I am a little bit concerned with his definition of Quasiconformal Surface. Definition: A Quasiconformal surface $S$ is a ...
1
vote
1answer
353 views

Help with a difficult integral [closed]

Referring to a previous question, I am trying to do the following integral : $$\phi(s)=i\int_{0}^{\infty}\frac{\log \left[1+\frac{\left(s\log\sqrt{1+ix} \right )^{2}}{\pi ^{2}} \right ]-\log ...
0
votes
0answers
137 views

Poisson Kernel and Triangles

The Poisson Kernel is an approximation to the identity, meaning $P_r(\theta) \approx \delta(\theta)$; here is the formula on $\mathbb{D}$: $$ P_r(\theta) = \sum_{n \in \mathbb{Z}} r^{|n|} ...
0
votes
0answers
48 views

Non interacting complex unit

How to work with two non interacting complex units say i and j. These two imaginary complex unit represent different quantities. For example i is for periodicity in theta and j is for frequency or ...
0
votes
0answers
46 views

On sequences of rational functions [duplicate]

Let $\{f_n\}_{n=0}^\infty$ be a sequence of rational functions of the following form: $$ f_n(z) = \sum_{m=1}^\infty \frac{C_{m,n}}{z-m}$$ with $C_{m,n} \in \mathbb{Z}$, $C_{1,n} = 1$, and for each $n ...
6
votes
1answer
317 views

Dominated convergence to characteristic function

Let $\phi_m(x):=\chi_{[0,1]} * \chi_{[0,1]} *...* \chi_{[0,1]}$ be the m -times convolution (so $m+1$ characteristic functions are involved). Then the Fourier transform of this function is given by ...
15
votes
7answers
2k views

Is this a rational function?

Is $$\sum_{n=1}^{\infty} \frac{z^n}{2^n-1} \in \mathbb{C}(z)\ ?$$ In a slightly different vein, given a sequence of real numbers $\{a_n\}_{n=0}^\infty$, what are some necessary and sufficient ...
0
votes
1answer
139 views

When can two Cauchy transforms intersect?

Given two polynomials $p$ and $q$ over reals and being guaranteed that both have all roots real I want to know if there is any characterization of the solutions of the equation $\frac{p'}{p} = ...
4
votes
1answer
111 views

Numerical equality testing

I am working on developing an online homework system. One thing I would like to have is something which compares a student's answer (like $2\sin(x)\cos(x)$) with the intended answer (maybe ...
2
votes
0answers
68 views

What are “minimal lines” in complex geometry?

Schwarz reflection across a real analytic arc $C$ in $\mathbb{R}^2$ is usually defined analytically. Thinking of the arc as the image of an interval in $\mathbb{R}$ under an invertible holomorphic map ...
1
vote
0answers
61 views

Related to derivative of Modified Bessel I function wrt the order

I recently met some problems related to the modified Bessel I funtions. Let $I(\nu,x):=I_\nu(x)$, and $I'_\nu(\nu,x):=\dfrac{\partial}{\partial \nu}I(\nu,x)$. Using maple, it seems that ...
3
votes
2answers
270 views

Conformal map and Jordan curve

Here is my question : Suppose you have a simple (analytic) closed curve $\gamma$ in an open simply connected domain $\Omega \neq \mathbb{C}$. Does there exist a conformal bijection $f : \Omega ...
1
vote
1answer
146 views

A Generalization of growth exponents

The growth exponent of a function $f(\sigma + it)$ is defined as the least nonnegative real number $\psi(\sigma)$ satisfying $$ f(\sigma + it) \ll |t|^{\psi(\sigma) + \epsilon} $$ as $t \to \infty$, ...
1
vote
1answer
67 views

Oscillation of subharmonic functions of slow growth

Given a sequence of real numbers $c_k\to-\infty$, is there always a $C^\infty$ subharmonic function $f$ on $\mathbb R^2$ and a sequence $z_k\to\infty$ with $|z_k|<k$ such that ...
3
votes
2answers
329 views

Smooth paths on affine varieties

I have the following question which is in some way related to an application of Randell Isotopy Theorem to complex hyperplane arrangements. Let $h,k\geq1$ be integer numbers and let ...
0
votes
0answers
75 views

Hurwitz's theorem for a system of functions

First, let me define a notation of $H(G_1\times G_2 \times \ldots \times G_m)$. We say that $f\in H(G_1\times G_2 \times \ldots \times G_m)$ if $$f:G_1\times G_2 \times \ldots \times G_m \rightarrow ...
7
votes
0answers
74 views

Extremal length of graphs in surfaces

Given a surface $\Sigma$ with conformal structure $\omega$, the extremal length of a homotopy class $\gamma$ of curves in $\Sigma$ is defined to be $$ \sup_{g \in \omega} ...
0
votes
0answers
72 views

Derivative of a conjugation of matrices

Let $\mathcal{M}_n$ be the space of complex $n\times n$ matrices. Let $\Phi\colon \mathbb{D}\to \mathcal{M}_n$ and $\psi \colon \mathbb{D}\to \mathcal{M}_n$ be holomorphic functions. Consider the ...
1
vote
1answer
176 views

Singular homology of the zero loci of polynomials

I am very sorry but apparently I am really weak in cohomology flavored questions. I try to reformulate my problem in a very simple and hopefully clear way. This question is related with a problem in ...
1
vote
1answer
132 views

Interesting property of analytic functions

Let $f:(t_0-\varepsilon, t_0+\varepsilon)\to\mathbb{C}$, be an analytic application, such that: $f(t)=0\Longleftrightarrow\ t=t_0$. Is it true that there is an analytic function $g:(t_0-\varepsilon, ...
1
vote
0answers
67 views

Analytic continuation of an integral

Let $$f(y)=\frac{y_1^{1/3}y_2^{1/3}}{y_1+y_2+1}$$. Consider the following integral: $$F(s_1,s_2)=\int_{\mathbb{R}_+^2}f(y)^{s_1}f(y^{-1})^{s_2}\frac{dy_1dy_2}{y_1y_2}$$ where ...
9
votes
1answer
377 views

Higher Fano varieties and Tsen's theorem

The rational connectivity of (complex) Fano manifolds ($c_1(T_X) > 0$) is one of the major, and surely most memorable achievements of Mori's bend-and-break method. To this day, despite intensive ...
2
votes
1answer
857 views

Is the integral always nonzero?

Let $$I_{n,p,a}:=\int_0^{\infty-} \frac{g_{n,a}(t)}{t^{p+1}} \, dt,$$ where $$(*)\qquad\qquad\qquad n\in\mathbb N,\quad -\infty<a<\infty,\quad p_{n,a} < p < ...
3
votes
2answers
344 views

Residue for the generating function of the Euler totient function

Let $\varphi$ be the Euler totient function, and let us define the function $f(z)$ by the series $$ f(z) := \sum_{n=1}^{\infty} \varphi(n) z^n $$ Since $0\le \varphi(n)\le n$, I believe this gives a ...
1
vote
0answers
80 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. ...
0
votes
3answers
330 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
515 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}$. ...
16
votes
2answers
514 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
115 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 ...
1
vote
2answers
96 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 ...
6
votes
1answer
327 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
1answer
150 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 ...
3
votes
1answer
158 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 ...
3
votes
1answer
90 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 ...
1
vote
2answers
154 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
262 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
44 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
209 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
1answer
102 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
2answers
198 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 ...
1
vote
0answers
104 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 ...
9
votes
1answer
195 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 ...
2
votes
0answers
258 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 ...
1
vote
0answers
92 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$ ...
2
votes
1answer
130 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 ...
2
votes
1answer
304 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 ...