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. On Harmonic Hilbert Spaces on Compact Abelian Groups

   https://doi.org/10.1007/s00041-023-09992-4  

   Das, Suddhasattwa; Giannakis, Dimitrios (February 2023, Journal of Fourier Analysis and Applications)

   Abstract Harmonic Hilbert spaces on locally compact abelian groups are reproducing kernel Hilbert spaces (RKHSs) of continuous functions constructed by Fourier transform of weighted$$L^2$$ $L^2$spaces on the dual group. It is known that for suitably chosen subadditive weights, every such space is a Banach algebra with respect to pointwise multiplication of functions. In this paper, we study RKHSs associated with subconvolutive functions on the dual group. Sufficient conditions are established for these spaces to be symmetric Banach$$^*$$ ${}^{\ast }$-algebras with respect to pointwise multiplication and complex conjugation of functions (here referred to as RKHAs). In addition, we study aspects of the spectra and state spaces of RKHAs. Sufficient conditions are established for an RKHA on a compact abelian groupGto have the same spectrum as the$$C^*$$ $C^{\ast }$-algebra of continuous functions onG. We also consider one-parameter families of RKHSs associated with semigroups of self-adjoint Markov operators on$$L^2(G)$$ $L^2\left(G\right)$, and show that in this setting subconvolutivity is a necessary and sufficient condition for these spaces to have RKHA structure. Finally, we establish embedding relationships between RKHAs and a class of Fourier–Wermer algebras that includes spaces of dominating mixed smoothness used in high-dimensional function approximation. 

   more » « less
5. A new zero-free region for Rankin–Selberg 𝐿-functions

   https://doi.org/10.1515/crelle-2025-0009  

   Harcos, Gergely; Thorner, Jesse (March 2025, Journal für die reine und angewandte Mathematik (Crelles Journal))

   Abstract Let 𝜋 and ${\pi }^{\prime }$\pi^{\prime}be cuspidal automorphic representations of $\mathrm{GL}\left(n\right)$\mathrm{GL}(n)and $\mathrm{GL}\left(n^{\prime }\right)$\mathrm{GL}(n^{\prime})with unitary central characters.We establish a new zero-free region for all $\mathrm{GL}\left(1\right)$\mathrm{GL}(1)-twists of the Rankin–Selberg 𝐿-function $L(s,\pi \times {\pi }^{\prime })$L(s,\pi\times\pi^{\prime}), generalizing Siegel’s celebrated work on Dirichlet 𝐿-functions.As an application, we prove the first unconditional Siegel–Walfisz theorem for the Dirichlet coefficients of $-L^{\prime }(s,\pi \times {\pi }^{\prime })/L(s,\pi \times {\pi }^{\prime })$-L^{\prime}(s,\pi\times\pi^{\prime})/L(s,\pi\times\pi^{\prime}).Also, for $n\le 8$n\leq 8, we extend the region of holomorphy and nonvanishing for the twisted symmetric power 𝐿-functions $L(s,\pi ,{\mathrm{Sym}}^n\otimes \chi )$L(s,\pi,\mathrm{Sym}^{n}\otimes\chi)of any cuspidal automorphic representation of $\mathrm{GL}\left(2\right)$\mathrm{GL}(2). 

   more » « less