All Questions
16 questions
27
votes
3
answers
2k
views
Kasteleyn's formula for domino tilings generalized?
It seems a marvel when a bunch of irrational numbers "conspire" to become rational, even better an integer. An elementary example is $\prod_{j=1}^n4\cos^2\left(\pi j/(2n+1)\right)=1$.
Kasteleyn's ...
- 43.1k
13
votes
2
answers
1k
views
Is the exponential function the sole solution to these equations?
Let us take the exponential function $\lambda^z$ where $0 < \lambda < 1$. There are many great uniqueness conditions this holomorphic function satisfies. For example, it is the only function ...
user78249
11
votes
1
answer
1k
views
Extending an assignment property from Q to R (or C)
Property of any odd number of nonnegative integers:
Given $x_1 \leq \cdots \leq x_{2n + 1}$ with each $x_i \in \mathbb{Z}_{\geq 0}$, suppose that for any $x_i$ we remove, the remaining numbers can be ...
- 7,831
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 ...
- 10.5k
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 ...
- 14.6k
6
votes
3
answers
536
views
A need for analytic continuation of a finite sum function
Let $\varphi(n):=(-1)^{n+1}(n+1)2^{2n}$.
I am able to prove the following identity (${\color{red}{\mathbf{LHS}}}$=infinite series, ${\color{blue}{\mathbf{RHS}}}$=finite sum)
\begin{align*}
{\color{red}...
- 43.1k
4
votes
3
answers
667
views
Regularity for the roots of (characteristic) polynomials with given multiplicity
A classical result states that roots of a polynomial are continuous functions of its coefficients.
This is, for exemple, a direct consequence of Rouché's theorem.
Using the implicit function ...
- 2,135
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\...
- 195
3
votes
1
answer
458
views
Limit of an infinite series with quadratic arguments
I have encountered a limiting process on some infinite series. So, I would like to ask:
QUESTION. Assume $n$ is an even positive integer. Is this true?
$$\lim_{r\rightarrow1^{-}}\sum_{j=1}^{\infty}\...
- 43.1k
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$ ...
- 81
2
votes
2
answers
411
views
Asymptotics of the derivatives of analytic functions
Are there sources that treat questions like the following ones?
Suppose that $f\colon\mathbb{C}\to\mathbb{C}$ is an entire function such that $f(x)$ is real for all real $x$ and $f(x)\sim1/x$ as $x\...
- 128k
2
votes
0
answers
173
views
Does this symmetrization operator have a name? Any theory?
Consider a function $f(x_1,\ldots,x_n)$ of $n$ complex variables. Define
$$f_{\mathrm{symm}}(x_1,\ldots,x_n) =
2^{-n}\sum_{\varepsilon_1,\ldots,\varepsilon_n=\pm 1}
f(\varepsilon_1x_1,\ldots,\...
- 37.7k
1
vote
1
answer
179
views
One trig "survives" a binomial summation: why?
I've seen many trigonometric identities but here is one that I encountered for which I did not find a reference.
In case you wonder where this came from, I was investigating certain $q$-series in ...
- 43.1k
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 ...
- 131
0
votes
1
answer
129
views
Seeking an integral formulation for an algebraic function
While working with a generating function for the Catalan numbers, I came across the integral representation
$$\frac1{1+\sqrt{1-4x}}=\frac1{2\pi}\int_0^{\infty}\frac{\sqrt{t}}{(t+\frac14)(t-x+\frac14)}\...
- 43.1k
-3
votes
1
answer
193
views
Bounding a number-theoretic integral
Find a good upper bound on $$\int_1^T\frac{\zeta'(s)}{\zeta(s)\zeta(1-s)}X^sdt,$$ where $s=c+it$ for a constant $c>1$ and $X>0$ is a parameter. If needed, we can assume RH.
My attempt here is ...
- 107