Holomorphic functions, automorphic group actions and forms, pseudoconvexity, complex geometry, analytic spaces, analytic sheaves.
1
vote
1answer
95 views
On the geometry of roots of a sum of complex linear fractions
I was wondering if there is anything known about the geometry (position) of the roots of a rational map of the form
$$R(z):= \sum_{j=1}^{n} \frac{a_j}{z-p_j},$$
where the $a_j$'s are nonzero complex ...
-3
votes
0answers
34 views
complexe integration around a branch point [on hold]
I have this complex integral to which I don't know if it's possible to assign a value:
The integral is on a small circle around the origin. The function is 1/((z-1)*sqrt(z)).
The fact is that z=0 is ...
2
votes
1answer
292 views
What is the “complex third derivative”?
Background
I am including this information about real higher order derivatives because it does not seem to be common knowledge. I also include a review of the complex Hessian.
If $f:\mathbb{R}^n ...
-1
votes
1answer
117 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 ...
4
votes
0answers
75 views
Can Voronin's universality theorem be used to show that $\sigma\circ\zeta=\zeta\circ\sigma$ implies $\sigma$ continuous?
Let $\sigma$ be a field automorphism of $\mathbb{C}$ that commutes with the Riemann Zeta function. Can we use Voronin's universality theorem to prove that $\sigma$ is necessarily continuous?
Thanks in ...
1
vote
0answers
26 views
Automorphisms of $\mathbb{C}$, Selberg class and surjectivity
Let $F$ be an element of the Selberg class and $\sigma$ be a field automorphism of $\mathbb{C}$ such that $\sigma\circ F=F\circ\sigma$. Let $Fix_{\sigma}$ be the set of all complex numbers $z$ such ...
1
vote
2answers
111 views
Under what conditions does the Mittag-Leffler function ${E_{\alpha ,1}}(z),(0 < \alpha < 1)$ has no real zero?
I want to know under what conditions does the Mittag-Leffler function ${E_{\alpha ,1}}(z),(0 < \alpha < 1)$ has no real zero, where
${E_{\alpha ,1}}(z) = \sum\limits_{k = 0}^\infty ...
2
votes
1answer
66 views
Uniform estimate for the Cauchy-Riemann equations on a hyperbolic Riemann surface
I have been trying to find the answer to this question in the literature, but have not succeeded. The question is as follows.
Suppose $X$ is a Riemann surface that admits a green's function (i.e. ...
1
vote
0answers
76 views
Translation of “Über kompakte homogene Kählersche Mannigfaltigkeiten”
Has anyone translated Borel and Remmert's 1962 paper titled:
Über kompakte homogene Kählersche Mannigfaltigkeiten?
1
vote
1answer
92 views
Find sufficient and necessary conditions on $f$ in which the level curve $f(x,y)=0$ implies only one case $x=a$ for all real $y$ [closed]
Let $f:ℝ²→ℝ$ be an arbitrary harmonic function. A level curve in two dimensions is a curve on which the value of a function $f(x,y)$ is a constant. My question is: Find sufficient and necessary ...
1
vote
0answers
88 views
On a particular case of the ``Tumura-Hayman" theorem :
Page 69 of $\textbf{[1]}$, one finds the theorem 3.8 (Tumura-Hayma):
Suppose that $~f(z)~$ is meromorphic and has only a finite number of poles in the plane, and that $~f(z)~$ and $~f^{(l)}(z)~$ ...
2
votes
1answer
148 views
ideals in the disk algebra
Let A be the disk algebra, of continuous functions on the closed disk holomorphic on the interior, with sup-norm denoted || . || . Let x be an interior point of the disk. Does there exist a ...
0
votes
0answers
26 views
can the power of a complex number be arbitrary close to a number? [migrated]
Given a complex number $z$ with $|z|=1$ and $z$ is not a root of unit, and a complex number $r$ with $|r|=1$, and a natural number $N>0$. Is it the case that
for any $\epsilon>0$, there exists ...
23
votes
2answers
419 views
Why is there no connection between fast-growing functions and complex analysis
I found myself wondering the other day whether the fast-growing functions from natural to naturals that are studied by people like proof theorists are the restriction to the naturals of analytic ...
4
votes
2answers
395 views
I don't understand behavior of this integral, help!
In an answer to a question I needed the following integral:
$$
f(z):=\int\limits_0^\infty t\coth(zt)e^{-t^2}dt;
$$
it represented deviation from modularity of some other function. However I noticed ...
1
vote
0answers
30 views
Invertibility of Hankel operators?
Let $D$ be the unit disc in the complex plane and $P$ the Bergman projection mapping $L^2(D)$ onto the closed subspace $A^2(D)$ of holomorphic square-integrable functions (w.r.t. Lebesgue measure). ...
8
votes
1answer
287 views
The Riemann mapping theorem via extremal problems
Let $X \subsetneq \mathbb{C}$ be a simply connected domain. The Riemann mapping theorem states that there exists a biholomorphism of $X$ onto the unit disk $\mathbb{D}$. A simple and elegant way to ...
2
votes
1answer
497 views
Absolute convergence of logarithm of polynomial with positive coefficient ($\ln G(z) = \sum\limits_{i = 0}^\infty {{q_i}{z^i}} $)
Special problem: Let $G(z)$ be a probability generating function(pgf, the $z$ can be seen as real number or complex number), that is
$$G(z) = \sum\limits_{i = 0}^\infty {{p_i}{z^i}} ,(\left| z ...
0
votes
0answers
55 views
Growth of sums of multiplicative functions over Squarefrees
When one looks at the quotient of Euler products $$\prod_p\frac{\sum_{\alpha=0}^{\infty}f(p^{\alpha})p^{-\alpha s}}{1+f(p)p^{-s}}$$
with $|f|\leq 1$, it is observed that the resulting expression ...
0
votes
0answers
22 views
A question about the convention for the Plancherel measure on $\mathbb{H}^n$
Say I have to calculate the quantity, $Log Tr [ -\Delta - \frac{1}{4} + m^2]$ on $H^n$. Then looking up the spectral measure $\mu(\lambda)$ and the eigenvalues of the Laplacian ($= -\Delta = - ...
0
votes
0answers
58 views
analytic continuation related to Chebyshev functions
Let $\psi$ be the Chebyshev function. I would like to prove that the function
$\sum_{n\ge0}(\sum_{k=0}^n\binom{n}{k}e^{\psi(k)})w^n$ can be analyticaly continued on an open set of $\mathbb C$ ...
3
votes
1answer
112 views
Entire solutions of finite difference equations
Let $(E):\ \sum_{k=0}^n P_k(z)g(z+k)=0$ with the $P_k\in\mathbb C[z]$ a finite differences equation in $\mathbb C$.
Is it true that every any entire solution $g$ of (E)
of exponential type $<\pi$ ...
1
vote
1answer
181 views
Request for help with two integrals
It would be great if someone can help me do these integrals - using numerical integration on Mathematica it seems that these converge - in what follows $a \in \mathbb{R}$ and $q \in \mathbb{N}$ and $n ...
5
votes
1answer
178 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 ...
5
votes
1answer
192 views
Fourier expansion of Takagi-function (everywhere non differentiable function).
Let us consider Takagi-function defined by
$T(x) \colon\!= \sum_{n=0}^{\infty}s(2^nx)/2^n$,
where $s(x) \colon\!\!= \underset{n \in {\Bbb Z}}{\mathrm{min}} \,|x-n|$.
$T(x)$ has its period $1$, so ...
2
votes
1answer
161 views
almost holomorphic line bundles
Let $(L,\omega_L) \to (M,\omega_M)$ be a symplectic line bundle (symplectic line=real dimension 2) over a symplectic manifold $M$. Each of these objects can be equipped with an almost complex ...
1
vote
0answers
78 views
Algebraic set given by sequence of polynomials
When working on some problem, I have end up with a following situation. Suppose
$P(z)=z^d+a_{d-1}z^{d-1}+\ldots+a_1z+a_0$ is a complex polynomial $d\geq2$ and that $\gamma$ and $\delta$ are non-zero ...
0
votes
0answers
63 views
Finding the Fractional Derivative of This Function [duplicate]
I've been trying to find an answer to this question, and it seems as though the question has gone unanswered. The question regards the derivative of $f(x)=1+n^{-x}$ where $n$ is a natural number. Is ...
10
votes
1answer
248 views
Minimize norm of a polynomial around a circle (count the solutions)
I already posted this question at MSE here, but as it received no significative feedback for a while I cross-post it here.
I also noticed a related question here on MO (which does not answer my ...
0
votes
0answers
106 views
Fractional Derivative of A specific function
I've tried and tried to do this problem myself, but I've hit some snags on the way.
I'm trying to take the fractional derivative of:
$f(x)=1+n^{-x}$ where n is an integer and $n\geq2$ and $x>1$.
...
0
votes
0answers
114 views
Fractional Derivatives Of Sums
I have a question regarding the definition of a fractional derivative. I've searched, but I can't find a definition of fractional derivatives that explain the concept in terms of an operator on some ...
6
votes
3answers
801 views
Objections to and arguments for the simplicity of all Riemann zeros
It seems to be that the simplicity of all the zeros is quite widely accepted as a working hypotheses, and it is known that a positive proportion are as such.
Titchmarsh explains in the last chapter ...
2
votes
0answers
52 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 ...
2
votes
2answers
428 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 ...
2
votes
0answers
155 views
What can be said about a function given its asymptotic expansion?
This is probably not a research level question but I honestly don't know how/where to look for techniques to reconstruct a function from its asymptotic expansion.
The expansion I want to know about ...
19
votes
2answers
448 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 ...
0
votes
1answer
102 views
Approximation of analytic functions by Lp functions
Is there any reference where I can find something on approximation of analytic functions on a domain in complex plane by $L^{p}$ analytic functions of the same domain?
0
votes
1answer
57 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 ...
2
votes
0answers
59 views
riemann mapping theorem for skew-fields of quaternions and beyond
Is there any known generalization of the riemann mapping theorem over skew-fields of quaternions and beyond or at least a conjectured formulation of it?
In a less focused way, how far does the main ...
7
votes
3answers
290 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
0answers
153 views
Contour integral (inverse Laplace transform) with arctan
I have what I think is a relatively simple contour integral involving arctan, but it is giving me difficulty. I would really appreciate any help.
The integral itself is, with $\tau$, $\lambda$, and ...
2
votes
1answer
276 views
Definition of a complex space
In the definition of a complex space (in the sense of Grauert), one defines a model space (one to which we require a complex space to be locally isomorphic) to be the support of the quotient sheaf ...
0
votes
1answer
73 views
quotient of holomorphic functions at a point
Let $0\in U \subset \mathbb{C}$
be a small neighborhood of origin in the complex plane and $f_1,f_2\colon U\to \mathbb{C}$ be two complex valued functions such that
$$f_1(0)=f_2(0)=0$$
...
0
votes
1answer
201 views
automorphism groups of unit disk $\mathbf{D}^n $ and unit ball $ B^n $
How does one compute the group of biholomorphisms of $\mathbf{D}^n = \{(z_1, \ldots, z_n) \in \mathbb{C}^n: \forall_i \; |z_i| \leq 1\}$, i.e., the unit polydisk, and of the unit ball $B^n = \{(z_1, ...
3
votes
1answer
144 views
Local holomorphic equations for symplectic divisors
If $(X,\omega)$ is a symplectic manifold and $J\colon TX \to TX$ is an almost complex structure, we know that $X$ admits a complex structure if and only if the Nijenhuis tensor $N_J(\cdot,\cdot)$ of ...
3
votes
1answer
198 views
Explicit form for hermitian structure $h$ with respect to $\omega$
Let $(M,\omega)$ be a symplectic manifold. and $\pi:L\to M$ be a complex line bundle , we denote $h$ as hermitian structure,i.e. if $s,s'$ are smooth sections of $L$ and if $X$ is a vector field on ...
10
votes
0answers
193 views
Analytic contraction of the Stone-Cech compactification of $\mathbb C$
Let $S$ be the Stone-Cech compactification of $\mathbb C$. Then any meromorphic function $f:\mathbb C \to \mathbb{CP}^1$ extends to $S$.
Do the meromorphic functions separate the points of $S$?
...
0
votes
0answers
80 views
Arakelian's approximation theorem
I have a difficulty in understanding how one gets relation (2) in the proof of the Theorem, in the nice paper
[Jean-Pierre Rosay and Walter Rudin, Arakelian's Approximation Theorem, The American ...
3
votes
0answers
196 views
The Poisson-kernel in the plane and polynomials
Let
\begin{align*}
p(z) & = \ \prod_{j = 1}^{n} (z - z_j) \, ; \ |z_j| \ = \ 1 \\
& = \ \prod_{j = 1}^{l+1} (z - z_j)^{M_j}
\end{align*}
be a non-constant complex polynomial with ...
1
vote
0answers
101 views
Automorphism on F_2[[X,S]]
Let us define the automorphism $\sigma$ on ${\Bbb F}_2[[X,S]]$ such that
$\sigma \colon S \mapsto S + S^2 + S^3$
$\sigma \colon X \mapsto X + S$.
It is easy to see that the ideal $(S)$ is stable ...
