Questions tagged [cv.complex-variables]
Complex analysis, holomorphic functions, automorphic group actions and forms, pseudoconvexity, complex geometry, analytic spaces, analytic sheaves.
3,168
questions
6
votes
0
answers
169
views
Computing residues at $\infty$
As an initial note, let me show by example what I mean by the terminology 'residue at $\infty$' I use in the title. I assume there is some standard terminology for this stuff, so I'd appreciate it if ...
1
vote
0
answers
68
views
Carleman approximation for functions from $\mathbb R$ to (closed convex subset of) a Lie algebra
I am looking for an approximation result dealing with continuous functions of a real parameter with values in (some subset of) the unitary algebra. However, I wouldn't be surprised if the following ...
2
votes
1
answer
152
views
To which space does the derivative of a function in Fock space belong?
Let $f : \mathbb C \to \mathbb C$ be an entire function belonging to the Fock space $F_\alpha^2$, that is,
$$
\int_\mathbb{C} |f(z)|^2 e^{-\alpha|z|^2} \, dA(z)
$$
with $A$ the Euclidean are measure. ...
2
votes
1
answer
87
views
Pair of positive harmonic functions with negative inner product in Drury-Arveson space
Define a reproducing kernel on the Euclidean ball in $\mathbb{C}^d$ by
$$k(z,w)=\frac{1}{1-\langle z,w\rangle}+\frac{1}{1-\langle w,z\rangle}-1.$$
Call the corresponding real reproducing kernel ...
3
votes
1
answer
556
views
Derivative of the Riemann zeta function at $z=-2$
I have a question regarding the derivatives of the Riemann zeta function. It is known that $\zeta'(-1)=\frac{1}{12}-\ln A$, where $A$ is the Glaisher-Kinkelin constant (which is an elegant ...
0
votes
0
answers
76
views
Geometry of inner products between the unit vector and several given vectors
Let $\mathcal{S}$ denote the set of all unit complex-valued $d$-dimensional vectors, i.e.,
$$
\mathcal{S} \triangleq \left\{ \mathbf{s}\in \mathbb{C}^{d} \mid \mathbf{s}^{\mathrm{H}}\mathbf{s}=1 \...
2
votes
0
answers
83
views
Proving that $u_0$ is a canonical solution
I've asked this question on stack exchange before but no one could help me so I wish I can get some help here.
Let's first start with the definition of the canonical solution:
Consider $\frac{\...
4
votes
0
answers
141
views
Correct way to extend a sequence defined on the naturals into the complex plane
Preamble
Sequences $a_n$ defined on the natural numbers are clearly not uniquely interpolated by only one function. In particular, given an interpolation $f(n) = a_n$, then $f(n) + \sin(2\pi n)$ is ...
2
votes
0
answers
101
views
Real analytic periodic function whose critical points are fully denegerated
I have asked this question on MathStackExchange. My question: is there any non-constant real analytic function $f:\mathbb{R}^n\rightarrow\mathbb{R}$ such that, $$\nabla f(x_0)=0 \Rightarrow \nabla^2 f(...
5
votes
1
answer
275
views
Implicit function theorem with singularities of any order
Let $\mathcal{U}\subset \mathbb{R}\times \mathbb{C}$ a neighborhood of $(0,0)$, and $f:\mathcal{U}\to \mathbb{C}$ differentiable in the first variable and holomorphic in the second variable, with $f(0,...
8
votes
3
answers
422
views
A density claim
Suppose that $g_k\in C([1,2])$, $k\in \mathbb N$ are continuous functions such that $\|g_k\|_{C([1,2])} \leq \epsilon^k$ for some sufficiently small $\epsilon>0$. Is the following claim true:
If $f\...
1
vote
0
answers
76
views
Expectation of moduli of roots
For a complex polynomial $\sum_0^n a_i z^i$ the sum of roots is readily given by the Vieta's formula. However, after trying to find out the sum of moduli of roots in terms of the coefficients, I feel ...
0
votes
0
answers
103
views
Is this formula for 2D Fourier integral of diffraction kernel correct?
Well I have a function parametrized by $z$
$$g_z(x,y) = \frac{z}{i \lambda r^2} e^{i k r}, \quad r = \sqrt{x^2+y^2+z^2},$$
where $\lambda > 0$ is real constant and $k = \frac{2\pi}{\lambda}$. This ...
-7
votes
1
answer
236
views
Is the Klein group related to the Klein bottle? [closed]
Is the group of symmetries of the rectangle-not-square related to the Klein bottle mathematically?
The reason I am asking is because I want to put a Klein bottle coffee cup in a joke about V_4 and ...
0
votes
0
answers
233
views
how to derive this elliptic integral?
I am reading the article arXiv: 2207.09961, there are some interesting elliptic integrals, i.e. the formula (3.7) and (3.8). You can also see this image
where $p_0(z)=\sqrt{-Q_0(z)}$ and $Q_0(z)=-\...
1
vote
0
answers
91
views
Expected Number of roots in $\mathbb D (0;r)$
In the literature about roots of random polynomials there are many results about the expected number of real roots of a complex polynomial building on Kac formula especially in the the asymptotic ...
2
votes
0
answers
231
views
Where does this trig. identity hold?
Fix an integer $n\geq1$.
QUESTION. Is it possible to find ALL pair of sequences of non-negative integers $(a_k,b_k)$, for $k=1,2,\dots,n$, such that
$$\sum_{k=1}^n \sin^{2a_k}\theta\cdot \cos^{2b_k}\...
8
votes
1
answer
511
views
Is anything known about the power series $\sum x^p$ for $p$ prime?
I'm interested in information about the power series
$$\sum_{\text{$p$ prime}} x^p$$
and the related power series
$$\sum_{n=1}^\infty (-1)^n x^{p(n)}$$
where $p(n)$ is the nth prime.
Immediately, the ...
5
votes
1
answer
148
views
Analytic continuation for disjoint domains
This question is a question about nomenclature more than anything. I have shown all the math, but I don't know what to search for for similar results. In such a sense, it is more so a reference ...
0
votes
0
answers
103
views
The upper bound of hyperbolic cosine function in complex plane
I want to find the upper bound of the following function :
\begin{equation}
M(\lambda)=\max _{E \in \mathbb{C}}\left|L_{+}-L_{-}\right|
\end{equation}
where
\begin{equation}
\begin{aligned}
& 4 \...
0
votes
1
answer
298
views
An identity for Weierstrass elliptic functions evaluation
Let $\wp(z), \zeta(z)$ and $\sigma(z)$ be the Weierstrass $\wp$, zeta and sigma functions associated to the ODE:
$$\wp'(z)^2 = 4(\wp(z)-e_1)(\wp(z)-e_2)(\wp(z)-e_3)$$
and we assume $e_1=\frac{2-c}3>...
2
votes
2
answers
261
views
Most general reverse Hölder inequality for polynomials
Theorem. Let $m$ be an integer and $P_m$ the vector space of degree $m$ polynomials in one real variable. There is a constant $C$ such that, for all $a<b$ and $p \in P_m$,
$$\|p\|_{L^\infty(a,b)} \...
2
votes
1
answer
166
views
Existence of the special entire Hardy space function with infinitely many zeros in the strip
Question. Does there exist an entire function $h$ satisfying three following assertions:
$h$ belongs to the $H^2$ Hardy space in every horizontal upper half-plane;
$zh - 1$ belongs to $H^2(\mathbb{C}...
2
votes
1
answer
265
views
Analytic continuation of a function on the half line
Consider the analytic function $f : (0,\infty) \to (0,\infty)$ given by
$$
f(x) = \bigg( \sum_{i=1}^n a_i b_i^{1/x} \bigg)^x
$$
where $n\in\mathbb N$, $a_i>0$ and $0<b_1<\ldots<b_n<1$. ...
2
votes
0
answers
123
views
On the solutions of $_2F_1(\alpha, \beta; \gamma, z) = \Lambda$
More General Question
Let
$$F(\alpha,\beta;\gamma;z) = \sum_{n=0}^{+\infty} \frac{(\alpha)_n(\beta)_n}{(\gamma)_nn!}z^n, \quad |z| < 1, \quad (x)_n = x(x+1)...(x+n-1), \quad (x)_0 = 1$$
be the ...
5
votes
2
answers
295
views
Functional equation of bounded analytic functions
Let $\mathbb{D}:=\{z \in \mathbb{C}|~|z|<1\}$. Consider $f,~g \in H^{\infty}(\mathbb{D}):=\{f\in\text{ Hol}(\mathbb{D}): \|f\|_{\infty}:= \sup_{z \in \mathbb{D}} |f(z)| < \infty\}$ such that $f^...
6
votes
1
answer
226
views
Fractional integrals and $\sum f(n) n^x$
Preamble
The following is a rather unrigorous way to obtain the Euler-Maclaurin formula. Consider some $\sum_{n=1}^\infty f(n)$. We may rewrite this as
$$\sum_{n=1}^\infty f(n)=\sum_{n=1}^\infty \sum_{...
1
vote
0
answers
63
views
Computing some closed trajectories of meromorphic quadratic differentials
I'm learning about meromorphic (!) quadratic differentials on Riemann surfaces, and would like to determine the closed trajectories [EDIT: I mean closed geodesics, not just closed trajectories; ...
2
votes
0
answers
77
views
Reference request for literature on the following function--power counting zeta function
I'll start by writing the character of interest, and describing some properties of it, before I get to the meat of the question. Any help is greatly appreciated, even an offhand suggestion/comment/...
4
votes
0
answers
130
views
Reverse Sobolev inequality for family of holomorphic functions
Denote by $P_m$ the space of polynomials of degree $m$ in a single complex variable $x$. This is a "Reverse Sobolev inequality":
Theorem. Let $U \subset \mathbb{C}^2$ be an open domain and $...
5
votes
0
answers
257
views
What is the winding behavior of the Riemann zeta function around zero along the line $s=1+it$?
Let $\phi: \mathbb R \setminus \{0\} \to S^1 \subset \mathbb C$ be defined by
$$\phi(t)= \zeta(1+it)/|\zeta(1+it)|$$
(the nonvavishing of the denominator being a bit weaker than the prime number ...
0
votes
2
answers
267
views
When I know self convolution of the complex function can I recover function itself or its modulus?
I have a function $A : \mathbb{R} \to \mathbb{C}$.
I know there exists unknown function $u: \mathbb{R} \to \mathbb{C}$, such that $A$ is convolution of $u$ and its complex conjugate $A = u * u^*$.
I ...
2
votes
1
answer
301
views
Value of $\sum_{n=1}^{\infty}\frac{e^{-bn}}{n^2+z^{2}}$
I wonder if any of you knows how to find the value
of the series $$\sum_{n=1}^{\infty}\frac{e^{-bn}}{n^2+z^{2}}.$$
This function shows up while solving a magnetostatic problem
with complex-valued ...
5
votes
0
answers
129
views
Algebraic dependence of the elliptic functions
Let $\{f_i\}_{i=1}^{n}$ be $n$ elliptic functions in $\mathbb{C}$. We say that $f_1, \dots, f_n$ are algebraic dependent over $\mathbb{C}$ if there exists a polynomial of $n$ variables with constant ...
2
votes
1
answer
294
views
Is it possible to define pseudodifferential operator $p(x,T)$ using Cauchy integral formula?
I was wondering how I can define a pseudodifferential operator using Cauchy integral formula.
Consider a differential operator $p(T)$ ($p$ is a polynomial for instance). $p(T)$ can be defined as:
$$\...
2
votes
0
answers
93
views
Reverse Sobolev inequality for holomorphic functions
Problem. Let $U \subset \mathbb{C}$ be open and $[0,1] \subset U$. Assume $f(z)$ is holomorphic on $U$. Is it possible to find a constant $C$ (that depends on $f$) such that, for all $0 \leq a < b \...
4
votes
0
answers
204
views
Cartan–Remmert reduction of an algebraic variety
Let $V$ be a normal connected algebraic (say, quasi-projective) variety over complex numbers. Assume that underlying complex analytic space $V^\text{an}$ is holomorphically convex, and thus admits the ...
2
votes
0
answers
108
views
Examples of compact non-Kähler complex manifolds with Kodaira dimension zero
Let $X$ be a minimal compact non-Kähler complex manifold. Suppose that Kodaira dimension $\kappa(X)=0$.
Is there a known example where the canonical bundle is not holomorphically torsion?
For ...
4
votes
1
answer
157
views
Probability of a number being a bound for roots
Consider the polynomial $p(z)=\sum_0^na_iz^k$ where $a_n=1$ and $a_k \sim N(0,1)$, $k=0,1,2,\dotsc,n-1.$
What is the probability that 2 will be a bound of the roots of the polynomial? How can we find ...
9
votes
1
answer
220
views
Is $(m,n)=(2,3)$ the only solution to $\sum_\limits{k \in\Bbb Z}\frac1{(W_k(x)+1)^m}=\sum_\limits{k \in\Bbb Z}\frac1{(W_k(x)+1)^n}$?
From discussions 1, 2, @HenriCohen wrote a paper on Lambert $W$-Function Branch Identities which includes identities such as $$\sum_\limits{k
\in\Bbb Z}\frac1{(W_k(x)+1)^2}=\sum_\limits{k
\in\Bbb Z}\...
1
vote
1
answer
73
views
Discrete uniqueness sets for the two-sided Laplace transform?
Let $f : \mathbb R_+ \to \mathbb C$ be a measurable and integrable function where $\mathbb R_+ = [0,\infty)$. The Laplace transform of $f$ is given by
$$
Lf(s) = \int_0^\infty f(x)e^{-sx} \, dx.
$$
A ...
1
vote
0
answers
97
views
Do we have an equivariant Newlander-Nirenberg theorem for finite group action?
Let $X$ be a $2n$-dimensional $C^{\infty}$-manifold, let $G$ be a finite group acting smoothly on $X$. Let $J: TX\to TX$ be a map such that $J^2=-id$ and
$g_*Jg^{-1}_*=J$ for any $g\in G$.
We can ...
0
votes
1
answer
169
views
A holomorphic function in the open unit disk satisfying certain properties
Does there exist a function which is holomorphic in $|z|<1,$ continuous in $|z|\leq1$ and such that the series $\sum |a_n|$ is divergent, where $a_n$'s coefficients in the Taylor series expansion ...
2
votes
1
answer
107
views
References for group of invariance of the Painlevé property
I'm searching for some references about groups of invariance of the Painlevé property other than the book of Robert Conte or more generally birational transformation of Riemann surfaces.
8
votes
0
answers
248
views
Switching the order of a summation and replacing a series by its analytical continuation
Background
A useful trick when trying to analyze a series $\sum_{n=0}^\infty f(n)$ is to expand $f(n)$ as some kind of series, swap the order of summation, and then evaluate the inner infinite sum. ...
-2
votes
1
answer
130
views
Convergence of scrambled product for Dirichlet-$L$ function with modulo 4 character
A Dirichlet-$L$ function is typically defined by its series, and its Euler product is a consequence of the definition. Here my approach is the other way around.
I define the function
$$
L_4^*(s) = \...
3
votes
0
answers
57
views
lower bound for zero multiplicity of function formed from determinant of functions
I have a family of single-variable analytic functions, $D(z)$, formed as follows.
Let $L$, $n$ and $T_{0}$ be positive integers, $\varphi_{1},\ldots, \varphi_{L}$ be analytic functions in ${\mathbb C}$...
0
votes
1
answer
151
views
Solutions of complex linear difference equations
I'm wondering what the solutions of complex linear difference equations like
\begin{equation}
f(z+\eta_1)+f(z+\eta_2)+\ldots+f(z+\eta_n)=0,\ \ \ \eta_1 \cdots\eta_n \in \mathbf{C}
\end{equation}
look ...
0
votes
0
answers
139
views
Gegenbauer polynomial relation with complex argument
Gegenbauer polynomials, $C_j^{\nu}(t)$, are defined to be the coefficient of $h^j$ in the expansion $(1-2ht +h^2)^{-\nu}$. It can be shown using [Higher Transcendental Functions, Vol 1, Harry Bateman, ...
5
votes
1
answer
218
views
An inequality for polynomials
I have been thinking about the validity of the following inequality: if $P(z)=\sum_{k=0}^na_kz^k, a_n\neq 0$ and $P(z)$ is non-zero in $|z|<1, $ then for $\theta \in [0, 2\pi],$ and $p>0$
\...