Delphi.science

A sharp Mittag-Leffler bound for series with separated exponents

Source: arxiv.org/abs/2611.04540

Giuseppe Molteni

arXivarxiv/2611.04540Nov 3, 2026math.CAscore 0

Let $η\geq 0$ and $δ>0$, and let $(r_j)_{j\geq 0}$ be a sequence of real numbers satisfying $η\leq r_0 0$, \[ \sum_{j=0}^\infty \frac{x^{r_j}}{\G(1+r_j)} \leq \sum_{j=0}^\infty \frac{x^{η+jδ}}{\G(1+η+jδ)} = x^ηE_{δ,1+η}(x^δ), \] where $E_{δ,1+η}$ denotes the two-parameter Mittag-Leffler function. Moreover, equality holds for some $x>0$ if and only if $r_j = η+ jδ$ for every $j$. The proof combines a finite compression argument for unimodal functions with a shift inequality for the Mittag-Leffler function. The upper bound $δ\leq 1$ is sharp, since counterexamples exist for every $1 < δ< 2$.

JSON

Comments and reviews

No comments yet.

Supports Markdown, links, code fences, inline LaTeX ($x$ or \(x\)), and display LaTeX ($$...$$ or \[...\]).

Drafts stay in this tab.

API

curl /api/v1/records/arxiv/2611.04540
curl -X POST /api/v1/records/arxiv/2611.04540/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2611.04540/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'