Structure of measures for which Ehrhard symmetrization is perimeter non-increasing

2025-04-07T18:25:56Z

In this paper, we prove that isotropic Gaussian functions are \textit{characterized} by a rearrangement inequality for weighted perimeter in dimensions $n \geq 2$ within the class of non-negative weights in $L^1(\mathbb{R}^n) \cap W^{1,1}_{loc}(\mathbb{R}^n)$. More specifically, we prove that within this class, generalized Ehrhard symmetrization is perimeter non-increasing for all measurable sets in all directions if and only if the distribution function is an isotropic Gaussian. The class of non-negative $L^1(\mathbb{R}^n) \cap W^{1,1}_{loc}(\mathbb{R}^n)$-weights is the broadest class in which this problem can be posed for distributional perimeter. One of the main challenges in this paper is handling these weights without imposing any additional structure. Principally, we establish that generalized Ehrhard symmetrization preserves $\mu$-measurability through a novel approximation argument. Additionally, our proof that a rearrangement inequality for weighted perimeter implies that half-spaces are isoperimetric sets is new in the context of generalized Ehrhard symmetrization. Moreover, our version of a variational argument, which had previously appeared in [Rosales, 2014] and [Brock-Chiacchio-Mercaldo, 2008], is carried out under minimal regularity. Finally, we establish some basic but useful results for weighted BV functions with non-negative $L^1(\mathbb{R}^n) \cap W^{1,1}_{loc}(\mathbb{R}^n)$-weights which may be of independent interest.

Exponentially Convergent Numerical Method for Abstract Cauchy Problem with Fractional Derivative of Caputo Type

2025-04-07T17:29:15Z

We present an exponentially convergent numerical method to approximate the solution of the Cauchy problem for the inhomogeneous fractional differential equation with an unbounded operator coefficient and Caputo fractional derivative in time. The numerical method is based on the newly obtained solution formula that consolidates the mild solution representations of sub-parabolic, parabolic and sub-hyperbolic equations with sectorial operator coefficient $A$ and non-zero initial data. The involved integral operators are approximated using the sinc-quadrature formulas that are tailored to the spectral parameters of $A$, fractional order $\alpha$ and the smoothness of the first initial condition, as well as to the properties of the equation's right-hand side $f(t)$. The resulting method possesses exponential convergence for positive sectorial $A$, any finite $t$, including $t = 0$ and the whole range $\alpha \in (0,2)$. It is suitable for a practically important case, when no knowledge of $f(t)$ is available outside the considered interval $t \in [0, T]$. The algorithm of the method is capable of multi-level parallelism. We provide numerical examples that confirm the theoretical error estimates.

The Hörmander--Bernhardsson extremal function

2025-04-07T15:54:58Z

We characterize the function $\varphi$ of minimal $L^1$ norm among all functions $f$ of exponential type at most $\pi$ for which $f(0)=1$. This function, studied by H\"{o}rmander and Bernhardsson in 1993, has only real zeros $\pm \tau_n$, $n=1,2, \ldots$. Starting from the fact that $n+\frac12-\tau_n$ is an $\ell^2$ sequence, established in an earlier paper of ours, we identify $\varphi$ in the following way. We factor $\varphi(z)$ as $\Phi(z)\Phi(-z)$, where $\Phi(z)= \prod_{n=1}^\infty(1+(-1)^n\frac{z}{\tau_n})$ and show that $\Phi$ satisfies a certain second order linear differential equation along with a functional equation either of which characterizes $\Phi$. We use these facts to establish an odd power series expansion of $n+\frac12-\tau_n$ in terms of $(n+\frac12)^{-1}$ and a power series expansion of the Fourier transform of $\varphi$, as suggested by the numerical work of H\"{o}rmander and Bernhardsson. The dual characterization of $\Phi$ arises from a commutation relation that holds more generally for a two-parameter family of differential operators, a fact that is used to perform high precision numerical computations.

Forced oscillations for generalized $Φ$-Laplacian equations with Carathéodory perturbations

2025-04-07T15:10:37Z

Using topological methods, we study the structure of the set of forced oscillations of a class of parametric, implicit ordinary differential equations with a generalized $\Phi$-Laplacian type term. We work in the Carath\'eodory setting. Under suitable assumptions, involving merely the Brouwer degree in Euclidean spaces, we obtain global bifurcation results. In some illustrative examples we provide a visual representation of the bifurcating set.

Sophomore's dream function: asymptotics, complex plane behavior and relation to the error function

2025-04-07T13:46:46Z

Sophomore's dream sum $S=\sum_{n=1}^\infty n^{-n}$ is extended to the function $f(t,a)=t\int_{0}^{1}(ax)^{-tx}dx$ with $f(1,1)=S$. Asymptotic behavior for a large $|t|$ is obtained, which is exponential for $t>0$ and $t<0,a>1$, and inverse-logarithmic for $t<0,a<1$. An advanced approximation includes a half-derivative of the exponent and is expressed in terms of the error function. This approach provides excellent interpolation description in the complex plane. The function $f(t,a)$ demonstrates for $a>1$ oscillating behavior along the imaginary axis with slowly increasing amplitude and the period of $2\pi iea$, modulation by high-frequency oscillations being present. Also, $f(t,a)$ has non-trivial zeros in the left complex half-plane with Im$t_n \simeq 2(n-1/8)\pi e/a$ for $a>1$. The results obtained describe analytical integration of the function $x^{tx}$.

Remarks on some Limit Geometric Properties related to an Idempotent and Non-Associative Algebraic Structure

2025-04-07T12:39:23Z

This article analyzes the geometric properties of an idempotent, non-associative algebraic structure that extends the Max-Times semiring. This algebraic structure is useful for studying systems of Max-Times and Max-Plus equations, employing an appropriate notion of a non-associative determinant. We consider a connected ultrametric distance and demonstrate that it implies, among other properties, an analogue of the Pythagorean relation. To this end, we introduce a suitable notion of a right angle between two vectors and investigate a trigonometric concept associated with the Chebyshev unit ball. Following this approach, we explore the potential implications of these properties in the complex plane. We provide an algebraic definition of a line passing through two points, which corresponds to the Painlev\'e-Peano-Kuratowski limit of a sequence of generalized lines. We establish that this definition leads to distinctive geometric properties; in particular, two distinct parallel lines may share an infinite number of points.

Error bound for the asymptotic expansion of the Hartman-Watson integral

2025-04-07T12:18:19Z

This note gives a bound on the error of the leading term of the $t\to 0$ asymptotic expansion of the Hartman-Watson distribution $\theta(r,t)$ in the regime $rt=\rho$ constant. The leading order term has the form $\theta(\rho/t,t)=\frac{1}{2\pi t}e^{-\frac{1}{t} (F(\rho)-\pi^2/2)} G(\rho) (1 + \vartheta(t,\rho))$, where the error term is bounded uniformly over $\rho$ as $|\vartheta(t,\rho)|\leq \frac{1}{70}t$.

Open problems UP24

2025-04-07T08:56:48Z

The conference Unexpected Phenomena in Energy Minimization and Polarization, held in Sofia, Bulgaria in 2024, provided a platform for researchers to discuss and propose challenging open questions across various fields, such as potential theory, approximation, special functions, point configurations, lattices, and numerical analysis. The open problems sessions were productive, fruitful and led to a range of interesting questions. In this document, we present these open problems.

Projection Theorems in the Presence of Expansions

2025-04-07T02:33:41Z

We prove a restricted projection theorem for a certain one dimensional family of projections from $\mathbb R^n$ to $\mathbb R^k$. The family we consider here arises naturally in the study of quantitative equidistribution problems in homogeneous dynamics.

Optimal Power-Weighted Birman--Hardy--Rellich-type Inequalities on Finite Intervals and Annuli

2025-04-06T22:45:13Z

We derive an optimal power-weighted Hardy-type inequality in integral form on finite intervals and subsequently prove the analogous inequality in differential form. We note that the optimal constant of the latter inequality differs from the former. Moreover, by iterating these inequalities we derive the sequence of power-weighted Birman-Hardy-Rellich-type inequalities in integral form on finite intervals and then also prove the analogous sequence of inequalities in differential form. We use the one-dimensional Hardy-type result in differential form to derive an optimal multi-dimensional version of the power-weighted Hardy inequality in differential form on annuli (i.e., spherical shell domains), and once more employ an iteration procedure to derive the Birman-Hardy-Rellich-type sequence of power-weighted higher-order Hardy-type inequalities for annuli. In the limit as the annulus approaches $\mathbb{R}^n\backslash\{0\}$, we recover well-known prior results on Rellich-type inequalities on $\mathbb{R}^n\backslash\{0\}$.

On the weak Sard property

2025-04-06T20:40:58Z

If $f\colon [0,1]^2 \to \mathbb{R}$ is of class $C^2$ then Sard's theorem implies that $f$ has the following relaxed Sard property: the image under $f$ of the Lebesgue measure restricted to the critical set of $f$ is a singular measure. We show that for $C^{1,\alpha}$ functions with $\alpha<1$ this property is strictly stronger than the weak Sard property introduced by Alberti, Bianchini and Crippa, while for any monotone continuous function these two properties are equivalent. We also show that even in the one-dimensional setting H\"older regularity is not sufficient for the relaxed Sard property.

An affirmative answer to an open problem on Ramanujan's asymptotic formula of zero-balanced hypergeometric function

2025-04-06T15:40:21Z

In this paper, by using recurrence method and new properties of beta function and Ramanujan $R$-function, we prove the absolute monotonicity result for a function related to Ramanujan asymptotic formula of zero-balanced hypergeometric function, which gives an affirmative answer to an open problem proposed by Anderson Vamanamurthy and Vuorinen \cite{Anderson-CIIQM-JW-1997} in 1997.

A Singular Integral for a Simplified Clairaut Equation

2025-04-05T16:47:59Z

This expository article on the Lagrange singular integral contains two novelties. The first novelty involves a connection between the Lagrange singular integral for a simplified Clairaut equation, and Euler's homogeneous function theorem. The paper presents a formal derivation of Euler's solution from Lagrange's complete integral, though with some caveats, and also constructs more general surfaces from the complete integral which go beyond Euler's solutions. The first rather complicated construction is based directly on Goursat's definition of a general integral, while the subsequent simpler constructions are based on a suitably expanded notion of the general integral. This generalized general integral is our second novelty. It bridges some of the gap between the the general integral, and the complete integral, partially addressing Evans' remarks (Partial Differential Equations, AMS Graduate Studies in Mathematics, 1998) on the limitations of the general integral. Finally we discuss some subtleties around complete integrals as noted by Chojnacki (Proceedings of the AMS, 1995) and some around general integrals as noted by Evans, and how they apply to our examples. We aim to present these classical PDE concepts to readers with a basic knowledge of multivariable calculus.

Kernel and image of the Biot-Savart operator and their applications in stellarator designs

2025-04-05T13:47:56Z

We consider the Biot-Savart operator acting on $W^{-\frac{1}{2},2}$ regular, div-free, surface currents $j$ \begin{gather} \nonumber \operatorname{BS}(j)(x)=\frac{1}{4\pi}\int_{\Sigma}j(y)\times \frac{x-y}{|x-y|^3}d\sigma(y)\text{, }x\in \Omega \end{gather} where $\Sigma$ is a connected surface to which $j$ is tangent and where $\Omega$ is the finite domain bounded by $\Sigma$. We answer two questions regarding this operator. i) We provide an algorithm which converges (theoretically) exponentially fast to an element of the kernel of the Biot-Savart operator, as well as characterise the elements of the kernel of the Biot-Savart operator in terms of certain solutions to exterior boundary value problems. This allows one to explicitly exploit the non-uniqueness of the coil reconstruction process in the context of stellarator designs. ii) We provide a simple, concise characterisation of the image of the Biot-Savart operator. This allows to define a 2-step current reconstruction procedure to obtain surface currents which approximate to arbitrary precision a prescribed target magnetic field within the plasma region of a stellarator device. The first step does not require computing integrals involving singular integral kernels of the form $\frac{x-y}{|x-y|^3}$ but may have a potentially slow convergence rate, while the second step requires the computation of integrals involving singular integral kernels but in turn has (theoretically) an exponential convergence rate. This approximation procedure always leads to approximating surface currents which are as poloidal as possible.

The Hausdorff dimension of planar elliptic measures via quasiconformal mappings

2025-04-04T11:56:23Z

In this paper, we obtain new bounds for the Hausdorff dimension of planar elliptic measure via the application of quasiconformal mappings, with these bounds depending solely on the ellipticity constant of the matrix. In fact, in our case studies, we find a quasiconformal mapping that relates the elliptic measure in a domain to the harmonic measure in its image domain, allowing us to deduce bounds for the dimension of the elliptic measure from the known results on the harmonic side. This extends previous works of Makarov, Jones and Wolff.