# Classical Analysis and ODEs (math.CA)

• Simple inequalities are established for some integrals involving the modified Bessel functions of the first and second kind. In most cases, we show that we attain the best possible constant or that our bounds are tight in certain limits. We apply these inequalities to obtain uniform bounds for several expressions involving integrals of modified Bessel functions. Such expressions occur in Stein's method for variance-gamma approximation, and the results obtained in this paper allow for technical advances in the method. We also present some open problems that arise from this research.
• Aug 22 2017 math.CA arXiv:1708.06168v1
The article summarizes some developments about a singular versions of the Sturm Comparison and Separation theorems where the coefficients or the interval of definition may be unbounded.
• In this paper we investigate some questions related to the continuity of maximal operators in $W^{1,1}$ and $BV$ spaces, complementing some well-known boundedness results. Letting $\widetilde M$ be the one-dimensional uncentered Hardy-Littlewood maximal operator, we prove that the map $f \mapsto \big(\widetilde Mf\big)'$ is continuous from $W^{1,1}(\mathbb{R})$ to $L^1(\mathbb{R})$. In the discrete setting, we prove that $\widetilde M: BV(\mathbb{Z}) \to BV(\mathbb{Z})$ is also continuous. For the one-dimensional fractional Hardy-Littlewood maximal operator, we prove by means of counterexamples that the corresponding continuity statements do not hold, both in the continuous and discrete settings, and for the centered and uncentered versions.
• Aug 22 2017 math.CA arXiv:1708.05919v1
For a compact set $E \subset \mathbb R^d$ and a connected graph $G$ on $k+1$ vertices, we define a $G$-framework to be a collection of $k+1$ points in $E$ such that the distance between a pair of points is specified if the corresponding vertices of $G$ are connected by an edge. We regard two such frameworks as equivalent if the specified distances are the same. We show that in a suitable sense the set of equivalences of such frameworks naturally embeds in ${\mathbb R}^m$ where $m$ is the number of "essential" edges of $G$. We prove that there exists a threshold $s_k<d$ such that if the Hausdorff dimension of $E$ is greater than $s_k$, then the $m$-dimensional Hausdorff measure of the set of equivalences of $G$-frameworks is positive. The proof relies on combinatorial, topological and analytic considerations.
• We provide a new closed form expression for the Geronimus polynomials on the unit circle and use it to obtain new results and formulas. Among our results is a universality result at an endpoint of an arc for polynomials orthogonal with respect to a Geronimus type weight on an arc of the unit circle. The key tool is a formula of McLaughlin for powers of a two-by-two matrix, which we use to derive convenient formulas for Geronimus polynomials.
• We exhibit the first explicit examples of Salem sets in $\mathbb{Q}_p$ of every dimension $0 < \alpha < 1$ by showing that certain sets of well-approximable $p$-adic numbers are Salem sets. We construct measures supported on these sets that satisfy essentially optimal Fourier decay and upper regularity conditions, and we observe that these conditions imply that the measures satisfy strong Fourier restriction inequalities. We also partially generalize our results to higher dimensions. Our results extend theorems of Kaufman, Papadimitropoulos, and Hambrook from the real to the $p$-adic setting.

### Recent comments

Barbara Terhal May 29 2016 14:23 UTC

looks like a nice paper. People have looked at how to do wavelets with quantum circuits and i don't see any of these papers referenced, i.e.
http://arxiv.org/abs/quant-ph/9702028
http://arxiv.org/abs/quant-ph/0001077
http://arxiv.org/abs/quant-ph/9909014
so how different are the quantum circuits

...(continued)