All Questions
Tagged with cv.complex-variables reference-request
271 questions
3
votes
0
answers
120
views
On tangential approach regions for general power series converging on the unit disk
Notation and premises. Here it is a list of notations more or less explicitly used in the question:
If $z\in\Bbb C$ then $z = re(t)$ where $r\in \Bbb R_{\ge 0}$, $t\in [0,1]$ and $e(t)\triangleq \exp(...
1
vote
0
answers
144
views
Zeroes of Mellin transform
There exist a "standard" or canonical way to construct a real valued function whose Mellin transform has a prescribed set of zeroes? Clearly for some set of zeroes this could be impossible ...
4
votes
2
answers
313
views
Request for references in computational complex analysis
We know complex analysis is one of the most important branches of mathematics connecting myriad areas. It is replete with profound results and theorems and theorems. However, a good number of the ...
10
votes
1
answer
705
views
On entire functions with polynomial Schwarzian derivative
The Schwarzian derivative of an entire holomorphic function $f$ is defined as
$$Sf:=\left(\frac{f^{''}}{f'}\right)'-\frac{1}{2}\left(\frac{f^{''}}{f'}\right)^2.$$
In the following, we only consider ...
21
votes
0
answers
2k
views
Cartan–Oka vanishing in one variable without $\overline{\partial}$?
This is a literature question, about possible proofs of some very basic results in complex analysis.
Some key facts about holomorphic functions are proved via reduction to smooth functions, using $\...
7
votes
1
answer
268
views
A differential equation governing compositional inversion
Looking for references for the following theorem.
Given the formal Taylor series/exponential generating function
$$T(z) = \sum_{n \ge 1} a_n \; \frac{z^n}{n!},$$
for which the indeterminates $a_n$ and ...
1
vote
1
answer
61
views
Reference request for value distribution theory of bicomplex meromorphic functions
While there is abundant literature available on value distribution of meromorphic functions, I am interested to know whether the value distribution theory for bicomplex meromorphic functions has been ...
4
votes
1
answer
191
views
Integral of $\ln(1/|f|)$ for $f$ bandlimited
I came across the following assertion: if $f\in PW_\infty([-a,a])$, i.e. the Bernstein space of functions in $L^\infty(\mathbb{R})$ which are the Fourier transform of a distribution supported on $[-a,...
1
vote
1
answer
119
views
Estimating two dimensional theta function
My feeling is that this should be written somewhere but I don't know what to search for.
Let $Q(x,y)$ be a binary quadratic form over $\mathbb{C}$, with $\operatorname{Re}(Q)$ positive definite. Then ...
2
votes
1
answer
177
views
Another combinatorial identity
Is it true that
$$\sum_{r=0}^p \sum_{i=0}^r a_{n,p,r,i}=0$$
for all natural $n$ and all natural $p\ge2n$, where
$$a_{n,p,r,i}:=\frac{(-1)^r (n+p-r-1)! (n p-i (r-i))}{i!(r-i)! (n-i)!
(p-r+i)! (n-r+i)! ...
3
votes
1
answer
174
views
first order quasilinear partial differential equations
I am interested in understanding complex first-order quasilinear partial differential equations. In the real setting there is a huge literature dealing with such equations but in the complex setting, ...
1
vote
0
answers
79
views
Resources/books/articles about estimation of $|f(z)|$ [closed]
I am new to complex analysis and I want to explore the following problem: for a complex valued bounded function $f(z)$ in a domain, I would like to know how we estimate the modulus values in a given ...
1
vote
1
answer
344
views
Is there a way to tie up even and "newly suggested odd" Riemann zeta values?
Define the sequence
$$a_s=(-1)^{\binom{s-1}2}\left(\frac{\pi}2\right)^s\frac1{2\cdot s!}\begin{cases} s\,E_{s-1}, \qquad \text{if $s$ is odd} \\ 2^{2s}B_s, \qquad \,\,\text{if $s$ is even};\end{cases}$...
3
votes
1
answer
326
views
Polynomial and rational approximation of continuous functions in $\mathbb{C}$
I am wondering what the state of the art is for polynomial and rational approximations to continuous/holomorphic functions in $\mathbb{C}$. The particular domains of interest are the closed unit ball $...
4
votes
0
answers
173
views
On the best constant for Carleson's embedding theorem
In "Interpolations by bounded analytic functions and the corona problem", Carleson introduced Carleson measures (for Hardy spaces) and proved the famous embedding theorem according to which $...
10
votes
0
answers
656
views
“Taylor series” is to “Volterra series” as “Laurent series” is to _________?
Preamble
My question is similar to an earlier MathOverflow question:
“Taylor series” is to “Volterra series” as “Padé approximant” is to _________? which I just answered (hopefully my first ever ...
8
votes
2
answers
495
views
Literature on non-Archimedean analogues of basic complex analysis results
It looks like there is some literature out there on what might be called 'non-Archimedean complex analysis' e.g. Benedetto - An Ahlfors Islands Theorem for non-archimedean meromorphic functions and ...
7
votes
1
answer
166
views
Asymptotics of truncated logarithm on a cricle
Consider $f_n(x) = \min_{|z|=x} \Re \sum_{j=1}^{n} \frac{z^j}{j}$, a real function of positive variable $x>0$.
I am interested in lower bounds on $f_n(x)$. Specifically, I ask: what lower bounds ...
4
votes
0
answers
179
views
As increasingly higher degree terms are added to a "random" polynomial, how fast do the roots approach the unit circle?
As increasingly higher degree terms are added to a "random" polynomial, the roots of a polynomial can be proven to approach the unit circle. For example, see the MathOverflow question Why ...
29
votes
2
answers
560
views
A strange infinite fraction, and a functional equation
The following curious-looking fraction, with numerical value approximately $1.7302267782385217$, appears in this Reddit question:
$$1+\cfrac{2+\cfrac{4+\cfrac{8+\cdots}{9+\cdots}}{5+\cfrac{10+\cdots}{...
2
votes
0
answers
90
views
Second order estimates for Dirichlet problem for complex Monge-Ampere equation
Let $\Omega\subset \mathbb{C}^n$ be a bounded pseudo-convex domain. Let $0<f\in C^{\infty}(\bar\Omega)$, $\phi\in C^\infty(\partial \Omega)$. Consider the Dirichlet problem for the complex Monge -...
3
votes
1
answer
308
views
On convergence of entire functions
Suppose we have a sequence of entire functions $f_n$ such that $$\text{$f_n(z)\to0$ for each natural $z$}\tag{1}$$
(as $n\to\infty$).
Is it possible to give general additional conditions on the ...
4
votes
0
answers
109
views
Quasi-crystaline generalization of elliptic functions
I came across some meromorphic function, call it $f(z)$, which is "quasicrystalline" in the following sense: one can write $f$ as:
$$
f(z)=\frac{\sum_i a_i e^{i(q_{i,x}x+q_{i,y}y)}}{\sum_i ...
3
votes
0
answers
226
views
On an exact expression for the squares of the distances of the critical points to a given zero of a polynomial
Let $p(z) = \prod_{j=1}^{l+1} (z - z_j)^{M_j}$ be a complex polynomial of degree $n$, where the $z_j$ are distinct for $1, \ldots, l+1$. The first $l$ entries in the list $\{z'_1, \ldots, z'_{n-1} \}$ ...
8
votes
0
answers
304
views
On the remainder of a power series evaluated on the boundary of its convergence disk
Background
This question is related to this one, in the sense that, as the previous one, it originates from my efforts to extend an estimate on the remainder of a power series on a non necessarily ...
3
votes
1
answer
385
views
A question about Lelong number
If $f$ is plurisubharmonic (not identically $-\infty$) on a neighbourhood of $0$ then the Lelong number of $f$ at $0$ is defined by $$\nu_{f}(0) = \liminf_{|z|\rightarrow 0}\dfrac{f(z)}{\log|z|}.$$
My ...
4
votes
2
answers
177
views
Ordinary generating functions with finitely many singularities at algebraic numbers are rational
I have a proof of the following fact related to ordinary generating functions, and I was curious if it was known, as it seems plausible it is classically known:
"Let $\lambda_1,\ldots, \lambda_k$ ...
5
votes
1
answer
519
views
Branched covers of the sphere branched over few points
Let $X$ be a compact Riemann surface of genus $g\geq 2$. By the Riemann-Roch theorem, $X$ is a branched cover of the sphere, branched over finitely many branched values. What is the smallest number of ...
5
votes
0
answers
586
views
On the Hausdorff dimension of a Cantor set
In what follows I refer to this paper by Orevkov.
I am writing a paper on this, so if somebody is interested we could consider to write a joint paper.
Consider a sequence $R=\{R_n\}_n$ of strictly ...
2
votes
1
answer
210
views
Defining a map into $S^1$ as an "angle" in a non simply connected domain
Suppose that ambient space is $\mathbb R^2$, and $\Omega \subset \mathbb{R}^2 $ is a smooth domain, non simply connected domain. To fix ideas,we can assume $$\Omega = \{(x_1,x_2) : 1< x_1^2+x_2^2 &...
3
votes
2
answers
312
views
Complex Hermite polynomial orthogonality on weighted space
Consider the "probabilist's" Hermite polynomials given by $$H_n(x)=(-1)^ne^{\frac{x^2}{2}}\partial_x^ne^{-\frac{x^2}{2}}.$$
These polynomials trivially extend to functions of $w\in\mathbb{C}$...
1
vote
1
answer
486
views
Mandelbrot set and logistic map connection
I'm currently writing an undergraduate thesis on chaos theory with a particular focus on the connection between the Mandelbrot set and the logistic map. I have found scattered posts on this site, ...
0
votes
0
answers
173
views
Function Spaces on the Open Unit Disk defined by Hardy Space norms
I've been reading up on Hardy spaces and (sub)harmonic functions over the open unit disk $\mathbb{D}\subset\mathbb{C}$, and I've found myself working with atypical objects in mostly-typical situations....
3
votes
1
answer
155
views
Inequality for generalized Laguerre polynomials
Please. Does anybody know a proof of this inequality
$$\Big|\frac{n!\Gamma(\alpha+1)}{\Gamma(n+\alpha+1)} L^{\alpha}_n(x)\Big|\leq e^{\frac{x}{2}}$$ where $\alpha\geq0$ and $x\geq0$ and
$L^{\alpha}_n$ ...
3
votes
1
answer
214
views
Holomorphic vector fields with a non-degenerate isolated zero
Let $v$ be a holomorphic vector field defined in a neighbourhood of $0$ on $\mathbb C^n$ with an isolated zero at $0$. Let $\sum_{i,j}{a_{ij}}z_i\frac{\partial}{\partial z_j}$ be the linear term of $...
4
votes
2
answers
355
views
On a variation of Hartogs' separate analyticity theorem
Let $f(z_1,z_2,\ldots,z_n)$ be a function on $\mathbf{C}^n$ such that for all $i$, the restriction
$$
[z_i\mapsto f(z_1,z_2,\ldots,z_n)]
$$
is a "rational function".
(added: to be precise ...
22
votes
3
answers
3k
views
Cardioid-looking curve, does it have a name?
The curve, given in polar coordinates as $r(\theta)=\sin(\theta)/\theta$
is plotted below.
This is similar to the classical cardioid, but it is not the same curve (the curve above is not even ...
1
vote
1
answer
240
views
Subharmonic function in unbounded regions
The harmonic majorization for a subharmonic function $h$ is well-known for bounded regions $\Omega \subset \mathbb{C}$:
$$h \le 0 \text{ in }\partial \Omega \Longrightarrow h \le 0 \text{ in }\Omega.$$...
12
votes
2
answers
1k
views
Short research articles
I am a masters student. I am interested in short articles which have counter examples and very few references. I want to write a short and interesting article.
For example; One of the best known ...
4
votes
1
answer
1k
views
The cotangent sum $\sum_{k=0}^{n-1}(-1)^k\cot\Big(\frac{\pi}{4n}(2k+1)\Big)=n$
On the Wolfram Research Reference page for the cotangent function (https://functions.wolfram.com/ElementaryFunctions/Cot/23/01/), I saw the following partial sum formula
$$\sum_{k=0}^{n-1}(-1)^k\cot\...
7
votes
2
answers
788
views
Reference request for the explicit formula for $\sum_{n\leq x} \Lambda(n)n^{-s}$
Denote by $\Lambda(n)$ the von Mangoldt function, which is equal to $\log p$ if $p\geq 2$ is a prime, and $0$ otherwise. Let $\rho$ denote a complex zero of the Riemann $\zeta$-function. If I recall ...
0
votes
0
answers
109
views
The role of a combination of Eneström-Kakeya and Gauss-Lucas theorems: reference request or soft question, asking for this combination as tool
In past days I was trying to create problems or direct applications invoking Eneström—Kakeya and Gauss-Lucas theorems for certain arithmetic functions that I know from analytic number theory. These ...
2
votes
1
answer
120
views
Roots for $p(w)=n+\sum_{j=1}^{m}\frac{v_{j}}{w-v_{j}}$
Let $v_{j}\in \mathbb{C}, 1\leq j\leq m$ and $w\in \mathbb{C}\setminus \{v_{j}\}_{j=1}^{m}$ and $n>0$.
Q: Can we say anything about the m roots $w_{1},...,w_{m}$ of
$$p(w)=n+\sum_{j=1}^{m}\frac{...
3
votes
1
answer
219
views
Reference request: The transform of a bounded random variable has a zero in the complex plane
Together with coauthors I'm working on a paper where we use the following Proposition:
If a real-valued random variable $X$ has bounded support, then except in the trivial case that $X$ has all ...
0
votes
1
answer
116
views
Logarithms of $L$-functions of irreducible characters of Galois group
We know that the $L$ functions of Dirichlet characters $\chi$ of $(\mathbb Z / m\mathbb Z)^\times$ satisfy the property that $\log L(s, \chi)$ is holomorphic for $\Re(s) \geq 1$ if $\chi$ is a ...
2
votes
1
answer
186
views
Existence of analytic continuation of Dirichlet series corresponding to the indicator sequence of a complement of a special multiplicative set
Let $K/ \mathbb Q $ be a finite Galois extension and let $X$ be a proper non-empty subset of the Galois group $G=Gal(K/ \mathbb Q)$ that is closed under conjugation. Consider a set of integer primes $...
3
votes
1
answer
171
views
A question on preimage of a locally injective meromorphic function
Let $f: \mathbb{C} \rightarrow \mathbb{C}$ be a meromorphic function such that $f'(z) \ne 0$ for all $z \in \mathbb{C}$. Let $\Gamma \subset \mathbb{C}$ be a curve which has no self intersections. If ...
11
votes
1
answer
486
views
Resources for divergent / asymptotic series
This series is divergent; therefore, we may be able to do something with it. -- Oliver Heaviside
[Edit (1/14/21) from the answer by Count Iblis to a recent MO-Q on math vids: An enthusiastic intro is ...
1
vote
0
answers
199
views
What is decoupling theory means on Tao Blog ? And what is its purpose in mathematics? [closed]
I accrossed on Tao Blog a new theory for me which it is called "Decoupling theory", But I didn't find in the web its definition and its purpose , I find only this article in wiki but this very far ...
3
votes
2
answers
280
views
Reference request for the integral representation of the Hadamard product of two infinite series
Define $F(x) = \sum_{n\geq 1} f_{n}x^n$ and $G(x) = \sum_{n\geq 1} g_{n}x^n$. Then the Hadamard product of $F$ and $G$ is
$$H(x):=(F*G)(x) = \sum_{n\geq 1} f_{n}g_{n}x^n.$$
The author of Riesz ...