Search arXiv⌕ Search

arXiv · 2609.34403

Sharp Quantitative Matrix-Weighted Estimates for Fractional Integrals and Sobolev Inequalities

Abstract

Let $α\in(0,n)$, $p\in(1,\frac{n}α)$, $q:=\frac{np}{n-αp}$, and $W\in\mathscr A_{p,q}$. We establish the following quantitative matrix-weighted estimate for the fractional integral $I_α$: for any $\vec{f}\in L^p(W^p)$, \begin{align*} \left\|I_α\vec f\right\|_{L^q(W^q)} \lesssim[W]_{\mathscr A_{p,q}}^{ (1-\fracα{n})\max\{1,\frac{p'}{q}\}} \left\|\vec f\right\|_{L^p(W^p)}, \end{align*} where the implicit positive constant is independent of $W$ and $\vec{f}$. Let $n\geq2$ be an integer, $p\in[1,n)$, $q:=\frac{np}{n-p}$, and $W\in\mathscr A_{p,q}$. We also prove the following matrix-weighted Sobolev inequality: for any smooth $\mathbb{C}^d$-valued function $\vec{f}$ with compact support, \begin{align*} \left\|\vec{f}\right\|_{L^{q}(W^q)} \lesssim[W]_{\mathscr A_{p,q}}^{\frac{n-1}{n}} \left\|WD\vec{f}\right\|_{L^p(\mathbb R^n,\mathbb C^{d\times n})}, \end{align*} where the implicit positive constant is independent of $W$ and $\vec{f}$ and $D\vec{f}$ is the Jacobian matrix of $\vec{f}$. In both estimates, the exponent of $[W]_{\mathscr A_{p,q}}$ coincides with the corresponding optimal scalar exponent, and hence is optimal.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Dachun Yang, Wen Yuan, Mingdong Zhang. 2026-09-28. Sharp Quantitative Matrix-Weighted Estimates for Fractional Integrals and Sobolev Inequalities. https://arxiv.org/abs/2609.34403

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

A bilinear approach to the finite field restriction problem, II

Let $P_3$ denote the three-dimensional paraboloid over a finite field of prime order in which $-1$ is not a square. We prove that the Fourier extension operator associated with $P_3$ maps $L^2$ to $L^r$ for $r>\frac{176}{51}=3.45098\ldots$. The argument combines the author's bilinear approach to the problem with point-line incidence estimates. We also prove that the extension operator associated with the paraboloid $P_6$ in six dimensions maps $L^2$ to $L^{8/3}$. This was previously known up to but not including the endpoint, and is the sharp $L^2$ estimate in six dimensions. Finally we observe that the endpoint restriction conjecture for $P_3$ in finite fields implies that the integer lattice points on the $3$-d Euclidean paraboloid are a $Λ(3)$ set.

math.CA↗

Positive Cubature Compression and Optimal Hyperinterpolation Stability on a Conic Surface

We study the computational cost and stability of positive cubature and hyperinterpolation on a truncated conic surface with a Jacobi-type weight. A classical quadratic disk-to-cone map is used in a basis-free form as a measure-preserving $\mathbb Z_2$ quotient. It identifies the full degree-$m$ conic trace space with the even disk polynomials of degree at most $2m$ and converts positive degree-$2n$ cone cubature into centrally symmetric positive degree-$(4n+1)$ disk cubature, and conversely. This yields an exact transfer of Möller's lower bound and of the node excess above it, so that near-minimal disk formulas produce compressed non-product cone rules. The same quotient transfers reproducing kernels and hyperinterpolation operators. Every positive degree-$2n$ cone rule gives an exact $L^2$ sampling isometry on $Π_n(V)$; in particular, the weighted sampling matrix has condition number one, independently of the number and geometry of the nodes. For the unweighted radial case $γ=0$, if $Λ_n^V$ denotes the $C(V)\to C(V)$ Lebesgue constant of degree-$n$ hyperinterpolation, then every positive degree-$2n$ cone cubature rule satisfies the rule-independent sharp law $$c n \le Λ_n^V \le C n.$$ More generally, the upper bound $Λ_{n,γ}^V \le C_γn^{γ+1}$ holds when $γ$ is a nonnegative half-integer. Thus node compression preserves exact $L^2$ conditioning while the associated $L^\infty$ stability has the optimal universal order. Low-degree near-minimal rules and higher-degree optimized disk schemes illustrate the reduction in sampling cost.

math.CA↗

On the rational solutions of generalized Abel equations

We study the nonconstant rational solutions of generalized Abel equations \[ x'=\sum_{i=1}^s A_i(t)x^{n_i},\qquad s\geq3,\qquad 1\leq n_1<\cdots<n_s, \] with polynomial coefficients over $\mathbb{R}$ or $\mathbb{C}$. Using the Newton diagram at infinity and the associated edge polynomials, we obtain, under simplicity and nonresonance conditions on the edge polynomials, the global upper bound $n_s-1$ for the number of nonconstant rational solutions. Over $\mathbb{R}$, the same approach yields the additional bound $\min\{n_s-1,2s\}$. We construct a family of equations showing that both bounds are sharp for every $s\geq3$. When $n_1=1$, the real bound improves to $\min\{n_s-1,2(s-1)\}$. We then specialize to the three-term case with $1<n_1<n_2<n_3$, where we obtain a finer classification of the rational solutions. Under an additional antipodal separation condition, we obtain the real bound $\min\{n_3-1,5\}$, and show that the absolute constant $5$ is sharp.

math.CA↗