More Like this

1. Counterexamples to maximal regularity for operators in divergence form

   https://doi.org/10.1007/s00013-024-02014-9  

   Bechtel, Sebastian; Mooney, Connor; Veraar, Mark (August 2024, Archiv der Mathematik)

   Abstract In this paper, we present counterexamples to maximal$$L^p$$ $L^p$-regularity for a parabolic PDE. The example is a second-order operator in divergence form with space and time-dependent coefficients. It is well-known from Lions’ theory that such operators admit maximal$$L^2$$ $L^2$-regularity on$$H^{-1}$$ $H^{-1}$under a coercivity condition on the coefficients, and without any regularity conditions in time and space. We show that in general one cannot expect maximal$$L^p$$ $L^p$-regularity on$$H^{-1}(\mathbb {R}^d)$$ $H^{-1}\left(R^d\right)$or$$L^2$$ $L^2$-regularity on$$L^2(\mathbb {R}^d)$$ $L^2\left(R^d\right)$. 

   more » « less
2. Restricted spaces of holomorphic sections vanishing along subvarieties

   https://doi.org/10.1007/s00209-025-03706-w  

   Coman, Dan; Marinescu, George; Nguyên, Viêt-Anh (May 2025, Mathematische Zeitschrift)

   Abstract LetXbe a compact normal complex space of dimensionnandLbe a holomorphic line bundle onX. Suppose that$$\Sigma =(\Sigma _1,\ldots ,\Sigma _\ell )$$ $\Sigma =({\Sigma }_1,\dots ,{\Sigma }_{\ell })$is an$$\ell $$ $\ell$-tuple of distinct irreducible proper analytic subsets ofX,$$\tau =(\tau _1,\ldots ,\tau _\ell )$$ $\tau =({\tau }_1,\dots ,{\tau }_{\ell })$is an$$\ell $$ $\ell$-tuple of positive real numbers, and let$$H^0_0(X,L^p)$$ $H_0^0(X,L^p)$be the space of holomorphic sections of$$L^p:=L^{\otimes p}$$ $L^p:=L^{\otimes p}$that vanish to order at least$$\tau _jp$$ ${\tau }_{j}p$along$$\Sigma _j$$ ${\Sigma }_j$,$$1\le j\le \ell $$ $1\le j\le \ell$. If$$Y\subset X$$ $Y\subset X$is an irreducible analytic subset of dimensionm, we consider the space$$H^0_0 (X|Y, L^p)$$ $H_0^0\left(X\right|Y,L^p)$of holomorphic sections of$$L^p|_Y$$ $L^p{|}_Y$that extend to global holomorphic sections in$$H^0_0(X,L^p)$$ $H_0^0(X,L^p)$. Assuming that the triplet$$(L,\Sigma ,\tau )$$ $(L,\Sigma ,\tau )$is big in the sense that$$\dim H^0_0(X,L^p)\sim p^n$$ $dim{H}_0^0(X,L^p)\sim p^n$, we give a general condition onYto ensure that$$\dim H^0_0(X|Y,L^p)\sim p^m$$ $dim{H}_0^0\left(X\right|Y,L^p)\sim p^m$. WhenLis endowed with a continuous Hermitian metric, we show that the Fubini-Study currents of the spaces$$H^0_0(X|Y,L^p)$$ $H_0^0\left(X\right|Y,L^p)$converge to a certain equilibrium current onY. We apply this to the study of the equidistribution of zeros inYof random holomorphic sections in$$H^0_0(X|Y,L^p)$$ $H_0^0\left(X\right|Y,L^p)$as$$p\rightarrow \infty $$ $p\to \infty$. 

   more » « less
3. Weak-Type (1,1) Inequality for Discrete Maximal Functions and Pointwise Ergodic Theorems Along Thin Arithmetic Sets

   https://doi.org/10.1007/s00041-024-10093-z  

   Daskalakis, Leonidas (June 2024, Journal of Fourier Analysis and Applications)

   Abstract We establish weak-type (1, 1) bounds for the maximal function associated with ergodic averaging operators modeled on a wide class of thin deterministic setsB. As a corollary we obtain the corresponding pointwise convergence result on$$L^1$$ $L^1$. This contributes yet another counterexample for the conjecture of Rosenblatt and Wierdl from 1991 asserting the failure of pointwise convergence on$$L^1$$ $L^1$of ergodic averages along arithmetic sets with zero Banach density. The second main result is a multiparameter pointwise ergodic theorem in the spirit of Dunford and Zygmund alongBon$$L^p$$ $L^p$,$$p>1$$ $p>1$, which is derived by establishing uniform oscillation estimates and certain vector-valued maximal estimates. 

   more » « less
4. The $$L^p$$-Fisher–Rao metric and Amari–C̆encov $$\alpha $$-Connections

   https://doi.org/10.1007/s00526-024-02660-5  

   Bauer, Martin; Le Brigant, Alice; Lu, Yuxiu; Maor, Cy (February 2024, Calculus of Variations and Partial Differential Equations)

   Abstract We introduce a family of Finsler metrics, called the$$L^p$$ $L^p$-Fisher–Rao metrics$$F_p$$ $F_p$, for$$p\in (1,\infty )$$ $p\in (1,\infty )$, which generalizes the classical Fisher–Rao metric$$F_2$$ $F_2$, both on the space of densities$${\text {Dens}}_+(M)$$ ${\text{Dens}}_{+}\left(M\right)$and probability densities$${\text {Prob}}(M)$$ $\text{Prob}\left(M\right)$. We then study their relations to the Amari–C̆encov$$\alpha $$ $\alpha$-connections$$\nabla ^{(\alpha )}$$ ${\nabla }^{\left(\alpha \right)}$from information geometry: on$${\text {Dens}}_+(M)$$ ${\text{Dens}}_{+}\left(M\right)$, the geodesic equations of$$F_p$$ $F_p$and$$\nabla ^{(\alpha )}$$ ${\nabla }^{\left(\alpha \right)}$coincide, for$$p = 2/(1-\alpha )$$ $p=2/(1-\alpha )$. Both are pullbacks of canonical constructions on$$L^p(M)$$ $L^p\left(M\right)$, in which geodesics are simply straight lines. In particular, this gives a new variational interpretation of$$\alpha $$ $\alpha$-geodesics as being energy minimizing curves. On$${\text {Prob}}(M)$$ $\text{Prob}\left(M\right)$, the$$F_p$$ $F_p$and$$\nabla ^{(\alpha )}$$ ${\nabla }^{\left(\alpha \right)}$geodesics can still be thought as pullbacks of natural operations on the unit sphere in$$L^p(M)$$ $L^p\left(M\right)$, but in this case they no longer coincide unless$$p=2$$ $p=2$. Using this transformation, we solve the geodesic equation of the$$\alpha $$ $\alpha$-connection by showing that the geodesic are pullbacks of projections of straight lines onto the unit sphere, and they always cease to exists after finite time when they leave the positive part of the sphere. This unveils the geometric structure of solutions to the generalized Proudman–Johnson equations, and generalizes them to higher dimensions. In addition, we calculate the associate tensors of$$F_p$$ $F_p$, and study their relation to$$\nabla ^{(\alpha )}$$ ${\nabla }^{\left(\alpha \right)}$. 

   more » « less
5. Dimension-free discretizations of the uniform norm by small product sets

   https://doi.org/10.1007/s00222-024-01306-9  

   Becker, Lars; Klein, Ohad; Slote, Joseph; Volberg, Alexander; Zhang, Haonan (December 2024, Inventiones mathematicae)

   Abstract Let$$f$$ $f$be an analytic polynomial of degree at most$$K-1$$ $K-1$. A classical inequality of Bernstein compares the supremum norm of$$f$$ $f$over the unit circle to its supremum norm over the sampling set of the$$K$$ $K$-th roots of unity. Many extensions of this inequality exist, often understood under the umbrella of Marcinkiewicz–Zygmund-type inequalities for$$L^{p},1\le p\leq \infty $$ $L^p,1\le p\le \infty$norms. We study dimension-free extensions of these discretization inequalities in the high-dimension regime, where existing results construct sampling sets with cardinality growing with the total degree of the polynomial. In this work we show that dimension-free discretizations are possible with sampling sets whose cardinality is independent of$$\deg (f)$$ $deg\left(f\right)$and is instead governed by the maximumindividualdegree of$$f$$ $f$;i.e., the largest degree of$$f$$ $f$when viewed as a univariate polynomial in any coordinate. For example, we find that for$$n$$ $n$-variate analytic polynomials$$f$$ $f$of degree at most$$d$$ $d$and individual degree at most$$K-1$$ $K-1$,$$\|f\|_{L^{\infty }(\mathbf{D}^{n})}\leq C(X)^{d}\|f\|_{L^{\infty }(X^{n})}$$ ${\parallel f\parallel }_{L^{\infty }\left(D^n\right)}\le C{\left(X\right)}^d{\parallel f\parallel }_{L^{\infty }\left(X^n\right)}$for any fixed$$X$$ $X$in the unit disc$$\mathbf{D}$$ $D$with$$|X|=K$$ $\left|X\right|=K$. The dependence on$$d$$ $d$in the constant is tight for such small sampling sets, which arise naturally for example when studying polynomials of bounded degree coming from functions on products of cyclic groups. As an application we obtain a proof of the cyclic group Bohnenblust–Hille inequality with an explicit constant$$\mathcal{O}(\log K)^{2d}$$ $O{(logK)}^{2d}$. 

   more » « less