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. Uniform stabilization in Besov spaces with arbitrary decay rates of the magnetohydrodynamic system by finite-dimensional interior localized static feedback controllers

   https://doi.org/10.1007/s40687-024-00490-7  

   Lasiecka, Irena; Priyasad, Buddhika; Triggiani, Roberto (December 2024, Research in the Mathematical Sciences)

   Abstract We consider thed-dimensional MagnetoHydroDynamics (MHD) system defined on a sufficiently smooth bounded domain,$$d = 2,3$$ $d=2,3$with homogeneous boundary conditions, and subject to external sources assumed to cause instability. The initial conditions for both fluid and magnetic equations are taken of low regularity. We then seek to uniformly stabilize such MHD system in the vicinity of an unstable equilibrium pair, in the critical setting of correspondingly low regularity spaces, by means of explicitly constructed, static, feedback controls, which are localized on an arbitrarily small interior subdomain. In additional, they will be minimal in number. The resulting space of well-posedness and stabilization is a suitable product space$$\displaystyle \widetilde{\textbf{B}}^{2- ^{2}\!/_{p}}_{q,p}(\Omega )\times \widetilde{\textbf{B}}^{2- ^{2}\!/_{p}}_{q,p}(\Omega ), \, 1< p < \frac{2q}{2q-1}, \, q > d,$$ ${\tilde{B}}_{q,p}^{2{-}^2{/}_p}\left(\Omega \right)\times {\tilde{B}}_{q,p}^{2{-}^2{/}_p}\left(\Omega \right),1<p<\frac{2q}{2q-1},q>d,$of tight Besov spaces for the fluid velocity component and the magnetic field component (each “close” to$$\textbf{L}^3(\Omega )$$ $L^3\left(\Omega \right)$for$$d = 3$$ $d=3$). Showing maximal$$L^p$$ $L^p$-regularity up to$$T = \infty $$ $T=\infty$for the feedback stabilized linear system is critical for the analysis of well-posedness and stabilization of the feedback nonlinear problem. 

   more » « less
3. 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
4. L-Systems and the Lovász Number

   https://doi.org/10.1007/s00493-025-00136-4  

   Linz, William (April 2025, Combinatorica)

   Abstract Given integers$$n> k > 0$$ $n>k>0$, and a set of integers$$L \subset [0, k-1]$$ $L\subset [0,k-1]$, anL-systemis a family of sets$$\mathcal {F}\subset \left( {\begin{array}{c}[n]\\ k\end{array}}\right) $$ $F\subset \left(\begin{array}{c}\left[n\right]\\ k\end{array}\right)$such that$$|F \cap F'| \in L$$ $|F\cap F^{\prime }|\in L$for distinct$$F, F'\in \mathcal {F}$$ $F,F^{\prime }\in F$.L-systems correspond to independent sets in a certain generalized Johnson graphG(n, k, L), so that the maximum size of anL-system is equivalent to finding the independence number of the graphG(n, k, L). TheLovász number$$\vartheta (G)$$ $\vartheta \left(G\right)$is a semidefinite programming approximation of the independence number$$\alpha $$ $\alpha$of a graphG. In this paper, we determine the leading order term of$$\vartheta (G(n, k, L))$$ $\vartheta \left(G\right(n,k,L\left)\right)$of any generalized Johnson graph withkandLfixed and$$n\rightarrow \infty $$ $n\to \infty$. As an application of this theorem, we give an explicit construction of a graphGonnvertices with a large gap between the Lovász number and the Shannon capacityc(G). Specifically, we prove that for any$$\epsilon > 0$$ $ϵ>0$, for infinitely manynthere is a generalized Johnson graphGonnvertices which has ratio$$\vartheta (G)/c(G) = \Omega (n^{1-\epsilon })$$ $\vartheta \left(G\right)/c\left(G\right)=\Omega \left(n^{1-ϵ}\right)$, which improves on all known constructions. The graphGa fortiorialso has ratio$$\vartheta (G)/\alpha (G) = \Omega (n^{1-\epsilon })$$ $\vartheta \left(G\right)/\alpha \left(G\right)=\Omega \left(n^{1-ϵ}\right)$, which greatly improves on the best known explicit construction. 

   more » « less
5. Photo-response of the $$N=Z$$ nucleus $$^{24}$$Mg

   https://doi.org/10.1140/epja/s10050-023-01111-7  

   Deary, J; Scheck, M; Schwengner, R; O’Donnell, D; Bemmerer, D; Beyer, R; Hensel, Th; Junghans, A R; Kögler, T; Müller, S E; et al (September 2023, The European Physical Journal A)

   Abstract The electricE1 and magneticM1 dipole responses of the$$N=Z$$ $N=Z$nucleus$$^{24}$$ ${}^{24}$Mg were investigated in an inelastic photon scattering experiment. The 13.0 MeV electrons, which were used to produce the unpolarised bremsstrahlung in the entrance channel of the$$^{24}$$ ${}^{24}$Mg($$\gamma ,\gamma ^{\prime }$$ $\gamma ,{\gamma }^{\prime }$) reaction, were delivered by the ELBE accelerator of the Helmholtz-Zentrum Dresden-Rossendorf. The collimated bremsstrahlung photons excited one$$J^{\pi }=1^-$$ $J^{\pi }=1^{-}$, four$$J^{\pi }=1^+$$ $J^{\pi }=1^{+}$, and six$$J^{\pi }=2^+$$ $J^{\pi }=2^{+}$states in$$^{24}$$ ${}^{24}$Mg. De-excitation$$\gamma $$ $\gamma$rays were detected using the four high-purity germanium detectors of the$$\gamma $$ $\gamma$ELBE setup, which is dedicated to nuclear resonance fluorescence experiments. In the energy region up to 13.0 MeV a total$$B(M1)\uparrow = 2.7(3)~\mu _N^2$$ $B\left(M1\right)\uparrow =2.7\left(3\right){\mu }_N^2$is observed, but this$$N=Z$$ $N=Z$nucleus exhibits only marginalE1 strength of less than$$\sum B(E1)\uparrow \le 0.61 \times 10^{-3}$$ $\sum B\left(E1\right)\uparrow \le 0.61\times {10}^{-3}$ e$$^2 \, $$ ${}^2$fm$$^2$$ ${}^2$. The$$B(\varPi 1, 1^{\pi }_i \rightarrow 2^+_1)/B(\varPi 1, 1^{\pi }_i \rightarrow 0^+_{gs})$$ $B(\Pi 1,1_i^{\pi }\to 2_1^{+})/B(\Pi 1,1_i^{\pi }\to 0_{\mathrm{gs}}^{+})$branching ratios in combination with the expected results from the Alaga rules demonstrate thatKis a good approximative quantum number for$$^{24}$$ ${}^{24}$Mg. The use of the known$$\rho ^2(E0, 0^+_2 \rightarrow 0^+_{gs})$$ ${\rho }^2(E0,0_2^{+}\to 0_{\mathrm{gs}}^{+})$strength and the measured$$B(M1, 1^+ \rightarrow 0^+_2)/B(M1, 1^+ \rightarrow 0^+_{gs})$$ $B(M1,1^{+}\to 0_2^{+})/B(M1,1^{+}\to 0_{\mathrm{gs}}^{+})$branching ratio of the 10.712 MeV$$1^+$$ $1^{+}$level allows, in a two-state mixing model, an extraction of the difference$$\varDelta \beta _2^2$$ $\Delta {\beta }_2^2$between the prolate ground-state structure and shape-coexisting superdeformed structure built upon the 6432-keV$$0^+_2$$ $0_2^{+}$level. 

   more » « less