Skip to main content

All Questions

Filter by
Sorted by
Tagged with
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(...
Daniele Tampieri's user avatar
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 ...
MathG's user avatar
  • 131
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 ...
AgnostMystic's user avatar
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 ...
student's user avatar
  • 1,350
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 $\...
Peter Scholze's user avatar
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 ...
Tom Copeland's user avatar
  • 10.5k
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 ...
Nik's user avatar
  • 165
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,...
pipenauss's user avatar
  • 319
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 ...
user49822's user avatar
  • 2,178
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)! ...
Iosif Pinelis's user avatar
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, ...
Said Kamam's user avatar
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 ...
AgnostMystic's user avatar
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}$...
T. Amdeberhan's user avatar
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 $...
zjs's user avatar
  • 465
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 $...
Stiglitz's user avatar
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 ...
Nike Dattani's user avatar
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 ...
Very Forgetful Functor's user avatar
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 ...
Ofir Gorodetsky's user avatar
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 ...
Likes Algorithms's user avatar
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}{...
chronondecay's user avatar
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 -...
asv's user avatar
  • 21.8k
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 ...
Iosif Pinelis's user avatar
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 ...
Yarden Sheffer's user avatar
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} \}$ ...
thomashennecke's user avatar
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 ...
Daniele Tampieri's user avatar
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 ...
JohnMed's user avatar
  • 33
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$ ...
J. E. Pascoe's user avatar
  • 1,429
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 ...
Lasse Rempe's user avatar
  • 6,548
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 ...
Joe's user avatar
  • 779
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 &...
username's user avatar
  • 2,494
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}$...
Yonah Borns-Weil's user avatar
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, ...
Person21312412's user avatar
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....
MCS's user avatar
  • 1,284
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$ ...
Kacdima's user avatar
  • 81
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 $...
aglearner's user avatar
  • 14.3k
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 ...
Hugo Chapdelaine's user avatar
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 ...
Per Alexandersson's user avatar
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.$$...
S. Euler's user avatar
  • 285
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\...
bryanjaeho's user avatar
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 ...
Q_p's user avatar
  • 1,019
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 ...
user142929's user avatar
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{...
Thomas Kojar's user avatar
  • 5,474
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 ...
Johan Wästlund's user avatar
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 ...
asrxiiviii's user avatar
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 $...
asrxiiviii's user avatar
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 ...
student's user avatar
  • 1,350
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 ...
Tom Copeland's user avatar
  • 10.5k
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 ...
user avatar
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 ...
Name1's user avatar
  • 43