Some spherical function values for two-row tableaux and Young subgroups with three factors

2025-04-17T16:20:29Z

A Young subgroup of the symmetric group $\mathcal{S}_{N}$ with three factors, is realized as the stabilizer $G_{n}$ of a monomial $x^{\lambda}$ ( $=x_{1}^{\lambda_{1}}x_{2}^{\lambda_{2}}\cdots x_{N}^{\lambda_{N}}$) with $\lambda=\left( d_{1}^{n_{1}},d_{2}^{n_{2}},d_{3}^{n_{3}}\right) $ (meaning $d_{j}$ is repeated $n_{j}$ times, $1\leq j\leq3$), thus is isomorphic to the direct product $\mathcal{S}_{n_{1}}\times\mathcal{S}_{n_{2}}\times \mathcal{S}_{n_{3}}$. The orbit of $x^{\lambda}$ under the action of $\mathcal{S}_{N}$ (by permutation of coordinates) spans a module $V_{\lambda}% $, the representation induced from the identity representation of $G_{n}$. The space $V_{\lambda}$ decomposes into a direct sum of irreducible $\mathcal{S}% _{N}$-modules. The spherical function is defined for each of these, it is the character of the module averaged over the group $G_{n}$. This paper concerns the value of certain spherical functions evaluated at a cycle which has no more than one entry in each of the three intervals $I_{j}=\left\{ i:\lambda_{i}=d_{j}\right\} ,1\leq j\leq3$. These values appear in the study of eigenvalues of the Heckman-Polychronakos operators in the paper by V. Gorin and the author (arXiv:2412:01938v1). The present paper determines the spherical function values for $\mathcal{S}_{N}$-modules $V$ of two-row tableau type, corresponding to Young tableaux of shape $\left[ N-k,k\right] $. The method is based on analyzing the effect of a cycle on $G_{n}$-invariant elements of $V$. These are constructed in terms of Hahn polynomials in two variables.

The higher regularity of the discrete Hardy-Littlewood maximal function

2025-04-17T15:26:48Z

In a recent short note the first author \cite{tem} gave the first positive result on the higher order regularity of the discrete noncentered Hardy-Littlewood maximal function. In this article we conduct a thorough investigation of possible similar results for higher order derivatives. We uncover that such results are indeed a consequence of a stronger phenomenon regarding the growth of $l^p(\Z)$ norms of the derivatives of characteristic functions of finite subsets of $\Z$. Along the way we discover very interesting connections to Prouhot-Tarry-Escott (PTE) problem, and to zeros of complex polynomials with restricted coefficients (Littlewood-type polynomials).

Charged particle motion in a strong magnetic field: Applications to plasma confinement

2025-04-17T13:15:00Z

We derive the zero order approximation of a charged particle under the influence of a strong magnetic field in a mathematically rigorous manner and clarify in which sense this approximation is valid. We use this to further rigorously derive a displacement formula for the pressure of plasma equilibria and compare our findings to results in the physics literature. The main novelty of our results is a qualitative estimate of the confinement time for optimised plasma equilibria with respect to the gyro frequency. These results are of interest in the context of plasma fusion confinement.

Whitney Approximation: domains and bounds

2025-04-17T10:56:20Z

We investigate properties of holomorphic extensions in the one-variable case of Whitney's Approximation Theorem on intervals. Improving a result of Gauthier-Kienzle, we construct tangentially approximating functions which extend holomorphically to domains of optimal size. For approximands on unbounded closed intervals, we also bound the growth of holomorphic extensions, in the spirit of Arakelyan, Bernstein, Keldych, and Kober.

An etude on a renormalization

2025-04-17T10:22:01Z

In this paper, we study renormalization, that is, the procedure for eliminating singularities, for a special model using both combinatorial techniques in the framework of working with formal series, and using a limit transition in a standard multidimensional integral, taking into account the removal of the singular components. Special attention is paid to the comparative analysis of the two views on the problem. It is remarkably that the divergences, which have the same form in one approach, acquire a different nature in another approach and lead to interesting consequences. A special deformation of the spectrum is used as regularization.

A Battle-Lemarié Frame Characterization of Besov and Triebel-Lizorkin Spaces

2025-04-17T09:29:31Z

In this paper, we investigate a spline frame generated by oversampling against the well-known Battle-Lemari\'e wavelet system of nonnegative integer order, $n$. We establish a characterization of the Besov and Triebel-Lizorkin (quasi-) norms for the smoothness parameter up to $s < n+1$, which includes values of $s$ where the Battle-Lemari\'e system no longer provides an unconditional basis; we, additionally, prove a result for the endpoint case $s=n+1$. This builds off of earlier work by G. Garrig\'os, A. Seeger, and T. Ullrich, where they proved the case $n=0$, i.e. that of the Haar wavelet, and work of R. Srivastava, where she gave a necessary range for the Battle-Lemari\'e system to give an unconditional basis of the Triebel-Lizorkin spaces.

Sharp estimates for Lyapunov exponents of Milstein approximation of stochastic differential systems

2025-04-17T09:15:32Z

The Milstein approximation with step size $\Delta t>0$ of the solution $(X, Y)$ to a two-by-two system of linear stochastic differential equations is considered. It is proved that when the solution of the underlying model is exponentially stable or exponentially blowing up at infinite time, these behaviours are preserved at the level of the Milstein approximate solution $\{(X_n, Y_n)\}$ in both the mean-square and almost-sure senses, provided sufficiently small step size $\Delta t$. This result is based on sharp estimates, from both above and below, of the discrete Lyapunov exponent. This type of sharp estimate for approximate solutions to stochastic differential equations seems to be first studied in this work. In particular, the proposed method covers the setting for linear stochastic differential equations as well as the $\theta$-Milstein scheme's setting.

Twistor construction of some multivalued harmonic functions on ${\bf R}^{3}$

2025-04-17T07:46:04Z

In this paper twistor methods are used to construct a family of multivalued harmonic functions on ${\bf R}^{3}$ which were obtained by Dashen Yan using different methods. The branching sets for the solutions are ellipses and the functions have quadratic growth at infinity.

The commutator of the Cauchy--Szegő Projection for domains in $\mathbb C^n$ with minimal smoothness: weighted regularity

2025-04-17T00:20:52Z

Let $D\subset\mathbb C^n$ be a bounded, strongly pseudoconvex domain whose boundary $bD$ satisfies the minimal regularity condition of class $C^2$, and let $S_\omega$ denote the Cauchy--Szeg\H{o} projection defined with respect to (any) positive continuous multiple $\omega$ of induced Lebesgue measure for the boundary of $D$. We characterize compactness and boundedness (the latter with explicit bounds) of the commutator $[b, S_\omega]$ in the Lebesgue space $L^p(bD, \Omega_p)$ where $\Omega_p$ is any measure in the Muckenhoupt class $A_p(bD)$, $1

Quantitative Convergence for Sparse Ergodic Averages in $L^1$

2025-04-16T22:07:42Z

We provide a unified framework to proving pointwise convergence of sparse sequences, deterministic and random, at the $L^1(X)$ endpoint. Specifically, suppose that \[ a_n \in \{ \lfloor n^c \rfloor, \min\{ k : \sum_{j \leq k} X_j = n\} \} \] where $X_j$ are Bernoulli random variables with expectations $\mathbb{E} X_j = n^{-\alpha}$, and we restrict to $1 < c < 8/7, \ 0 < \alpha < 1/2$. Then (almost surely) for any measure-preserving system, $(X,\mu,T)$, and any $f \in L^1(X)$, the ergodic averages \[ \frac{1}{N} \sum_{n \leq N} T^{a_n} f \] converge $\mu$-a.e. Moreover, our proof gives new quantitative estimates on the rate of convergence, using jump-counting/variation/oscillation technology, pioneered by Bourgain. This improves on previous work of Urban-Zienkiewicz, and Mirek, who established the above with $c = \frac{1001}{1000}, \ \frac{30}{29}$, respectively, and LaVictoire, who established the random result, all in a non-quantitative setting.

Off-diagonal matrix extrapolation for Muckenhoupt bases

2025-04-16T18:16:20Z

In this paper we extend the theory of Rubio de Francia extrapolation for matrix weights, recently introduced by Bownik and the first author, to off-diagonal extrapolation. We also show that the theory of matrix weighted extrapolation can be extended to matrix $\mathcal{A}_p$ classes defined with respect to a general basis, provided that a version of the Christ-Goldberg maximal operator is assumed to be bounded. Finally, we extend a recent result by Vuorinen and show that all of the multiparameter bases have this property.

A Recipe For Obtaining Algebraic Addition Theorems Of The Weierstrass Elliptic Function

2025-04-16T16:24:17Z

In this paper, we present a general method for obtaining addition theorems of the Weierstrass elliptic function $\wp(z)$ in terms of given parameters. We obtain the classical addition theorem for the Weierstrass elliptic function as a special case. Furthermore, we give novel two-term addition, three-term addition, duplication and triplication formulas. New identities for elliptic invariants are also proven.

An explicit formula for free multiplicative Brownian motions via spherical functions

2025-04-16T16:19:02Z

After some normalization, the logarithms of the ordered singular values of Brownian motions on $GL(N,\mathbb F)$ with $\mathbb F=\mathbb R, \mathbb C$ form Weyl-group invariant Heckman-Opdam processes on $\mathbb R^N$ of type $A_{N-1}$. We use classical elementary formulas for the spherical functions of $GL(N,\mathbb C)/SU(N)$ and the associated Euclidean spaces $H(N,\mathbb C)$ of Hermitian matrices, and show that in the $GL(N,\mathbb C)$-case, these processes can be also interpreted as ordered eigenvalues of Brownian motions on $H(N,\mathbb C)$ with particular drifts. This leads to an explicit description for the free limits for the associated empirical processes for $N\to\infty$ where these limits are independent from the parameter $k$ of the Heckman-Opdam processes. In particular we get new formulas for the distributions of the free multiplicative Browniam motion of Biane. We also show how this approach works for the root systems $B_N, C_N, D_N$.

Weighted estimates for Multilinear Singular Integrals with Rough Kernels

2025-04-16T14:33:04Z

We establish weighted norm inequalities for a class of multilinear singular integral operators with rough kernels. Specifically, we consider the multilinear singular integral operator $\mathcal{L}_\Omega$ associated with an integrable function $\Omega$ on the unit sphere $\mathbb{S}^{mn-1}$ satisfying the vanishing mean condition. Extending the classical results of Watson and Duoandikoetxea to the multilinear setting, we prove that $\mathcal{L}_\Omega$ is bounded from $L^{p_1}(w_1)\times\cdots\times L^{p_m}(w_m)$ to $L^p(v_{\vec{\boldsymbol{w}}})$ under the assumption that $\Omega\in L^q(\mathbb{S}^{mn-1})$ and that the $m$ tuple of weights $\vec{\boldsymbol{w}}= (w_1,\ldots,w_m)$ lies in the multiple weight class $A_{\vec{\boldsymbol{p}}/q'}((\mathbb{R}^n)^m)$. Here, $q'$ denotes the H\"older conjugate of $q$, and we assume $q'\le p_1,\dots,p_m<\infty$ with $1/p = 1/p_1 + \cdots + 1/p_m$.

The Change of Variable Formula Integrals, do they have equal value?

2025-04-16T11:15:30Z

Assuming that the two integrals in the Change of Variable Formula for the Riemann integral on the real line are finite, one can rightfully ask if they have equal value. We give a positive answer to this question. The proof is very easy to follow and to keep in mind. The result is extended to improper Riemann integrals. Three examples are given.