More Like this

1. On lower bounds for Erdős-Szekeres products

   https://doi.org/10.1090/proc/15503  

   Billsborough, C.; Freedman, M.; Hart, S.; Kowalsky, G.; Lubinsky, D.; Pomeranz, A.; Sammel, A. (October 2021, Proceedings of the American Mathematical Society)

   Let { s j } j = 1 n \left \{ s_{j}\right \} _{j=1}^{n} be positive integers. We show that for any 1 ≤ L ≤ n , 1\leq L\leq n, ‖ ∏ j = 1 n ( 1 − z s j ) ‖ L ∞ ( | z | = 1 ) ≥ exp ⁡ ( 1 2 e L ( s 1 s 2 … s L ) 1 / L ) . \begin{equation*} \left \Vert \prod _{j=1}^{n}\left ( 1-z^{s_{j}}\right ) \right \Vert _{L_{\infty }\left ( \left \vert z\right \vert =1\right ) }\geq \exp \left ( \frac {1}{2e}\frac {L}{\left ( s_{1}s_{2}\ldots s_{L}\right ) ^{1/L}}\right ) . \end{equation*} In particular, this gives geometric growth if a positive proportion of the { s j } \left \{ s_{j}\right \} are bounded. We also show that when the { s j } \left \{ s_{j}\right \} grow regularly and faster than j ( log ⁡ j ) 2 + ε j\left ( \log j\right ) ^{2+\varepsilon } , some ε > 0 \varepsilon >0 , then the norms grow faster than exp ⁡ ( ( log ⁡ n ) 1 + δ ) \exp \left ( \left ( \log n\right ) ^{1+\delta }\right ) for some δ > 0 \delta >0 . 

   more » « less
2. The Landau Equation with the Specular Reflection Boundary Condition.

   Guo, Yan; Hwang, Hyung Ju; Jang, Jin Woo; Ouyang, Zhimeng (January 2020, Archive for Rational Mechanics and Analysis)

   The existence and stability of the Landau equation (1936) in a general bounded domain with a physical boundary condition is a long-outstanding open problem. This work proves the global stability of the Landau equation with the Coulombic potential in a general smooth bounded domain with the specular reflection boundary condition for initial perturbations of the Maxwellian equilibrium states. The highlight of this work also comes from the low-regularity assumptions made for the initial distribution. This work generalizes the recent global stability result for the Landau equation in a periodic box (Kim et al. in Peking Math J, 2020). Our methods consist of the generalization of the wellposedness theory for the Fokker–Planck equation (Hwang et al. SIAM J Math Anal 50(2):2194–2232, 2018; Hwang et al. Arch Ration Mech Anal 214(1):183–233, 2014) and the extension of the boundary value problem to a whole space problem, as well as the use of a recent extension of De Giorgi–Nash–Moser theory for the kinetic Fokker–Planck equations (Golse et al. Ann Sc Norm Super Pisa Cl Sci 19(1):253–295, 2019) and the Morrey estimates (Bramanti et al. J Math Anal Appl 200(2):332–354, 1996) to further control the velocity derivatives, which ensures the uniqueness. Our methods provide a new understanding of the grazing collisions in the Landau theory for an initial-boundary value problem. 

   more » « less
3. The Vlasov–Poisson–Landau system in the weakly collisional regime

   https://doi.org/10.1090/jams/1014  

   Chaturvedi, Sanchit; Luk, Jonathan; Nguyen, Toan (January 2023, Journal of the American Mathematical Society)

   Consider the Vlasov–Poisson–Landau system with Coulomb potential in the weakly collisional regime on a $3$-torus, i.e. $\begin{array}{c}{\mathrm{\partial <\#comment/>}}_{t}F(t,x,v)+v_i{\mathrm{\partial <\#comment/>}}_{x_i}F(t,x,v)+E_i(t,x){\mathrm{\partial <\#comment/>}}_{v_i}F(t,x,v)=\mathrm{\nu <\#comment/>}Q(F,F)(t,x,v),\\ E(t,x)=\mathrm{\nabla <\#comment/>}{\mathrm{\Delta <\#comment/>}}^{-<\#comment/>1}\left({\int <\#comment/>}_{{\mathbb{R}}^3}F\right(t,x,v)\mathrm{d}v-<\#comment/>{\int <\#comment/>-<\#comment/>}_{{\mathbb{T}}^3}{\int <\#comment/>}_{{\mathbb{R}}^3}F(t,x,v\left)\mathrm{d}v\mathrm{d}x\right),\end{array}$with $\mathrm{\nu <\#comment/>}\ll <\#comment/>1$. We prove that for $\mathrm{ϵ<\#comment/>}>0$sufficiently small (but independent of $\mathrm{\nu <\#comment/>}$), initial data which are $O\left(\mathrm{ϵ<\#comment/>}{\mathrm{\nu <\#comment/>}}^{1/3}\right)$-Sobolev space perturbations from the global Maxwellians lead to global-in-time solutions which converge to the global Maxwellians as $t\to <\#comment/>\mathrm{\infty <\#comment/>}$. The solutions exhibit uniform-in- $\mathrm{\nu <\#comment/>}$Landau damping and enhanced dissipation. Our main result is analogous to an earlier result of Bedrossian for the Vlasov–Poisson–Fokker–Planck equation with the same threshold. However, unlike in the Fokker–Planck case, the linear operator cannot be inverted explicitly due to the complexity of the Landau collision operator. For this reason, we develop an energy-based framework, which combines Guo’s weighted energy method with the hypocoercive energy method and the commuting vector field method. The proof also relies on pointwise resolvent estimates for the linearized density equation. 

   more » « less
4. On a conjectural symmetric version of Ehrhard’s inequality

   https://doi.org/10.1090/tran/9177  

   Livshyts, Galyna (May 2024, Transactions of the American Mathematical Society)

   We formulate a plausible conjecture for the optimal Ehrhard-type inequality for convex symmetric sets with respect to the Gaussian measure. Namely, letting $J_{k-<\#comment/>1}\left(s\right)={\int <\#comment/>}_0^s{t}^{k-<\#comment/>1}{e}^{-<\#comment/>\frac{t^2}{2}}dt$and $c_{k-<\#comment/>1}=J_{k-<\#comment/>1}(+\mathrm{\infty <\#comment/>})$, we conjecture that the function $F:[0,1]\to <\#comment/>\mathbb{R}$, given by $F\left(a\right)=\underset{k=1}{\overset{n}{\sum <\#comment/>}}{1}_{a\in <\#comment/>E_k}\cdot <\#comment/>\left({\mathrm{\beta <\#comment/>}}_k{J}_{k-<\#comment/>1}^{-<\#comment/>1}\right(c_{k-<\#comment/>1}a)+{\mathrm{\alpha <\#comment/>}}_k)$(with an appropriate choice of a decomposition $[0,1]={\cup <\#comment/>}_i{E}_i$and coefficients ${\mathrm{\alpha <\#comment/>}}_i,{\mathrm{\beta <\#comment/>}}_i$) satisfies, for all symmetric convex sets $K$and $L$, and any $\mathrm{\lambda <\#comment/>}\in <\#comment/>[0,1]$, $F\left(\mathrm{\gamma <\#comment/>}\right(\mathrm{\lambda <\#comment/>}K+(1-<\#comment/>\mathrm{\lambda <\#comment/>})L\left)\right)\ge <\#comment/>\mathrm{\lambda <\#comment/>}F\left(\mathrm{\gamma <\#comment/>}\right(K\left)\right)+(1-<\#comment/>\mathrm{\lambda <\#comment/>})F\left(\mathrm{\gamma <\#comment/>}\right(L\left)\right).$We explain that this conjecture is “the most optimistic possible”, and is equivalent to the fact that for any symmetric convex set $K$, itsGaussian concavity power $p_s(K,\mathrm{\gamma <\#comment/>})$is greater than or equal to $p_s(R{B}_2^k\times <\#comment/>{\mathbb{R}}^{n-<\#comment/>k},\mathrm{\gamma <\#comment/>})$, for some $k\in <\#comment/>\{1,\dots <\#comment/>,n\}$. We call the sets $R{B}_2^k\times <\#comment/>{\mathbb{R}}^{n-<\#comment/>k}$round $k$-cylinders; they also appear as the conjectured Gaussian isoperimetric minimizers for symmetric sets, see Heilman [Amer. J. Math. 143 (2021), pp. 53–94]. In this manuscript, we make progress towards this question, and show that for any symmetric convex set $K$in ${\mathbb{R}}^n$, $p_s(K,\mathrm{\gamma <\#comment/>})\ge <\#comment/>\underset{F\in <\#comment/>L^2(K,\mathrm{\gamma <\#comment/>})\cap <\#comment/>Lip\left(K\right):\int <\#comment/>F=1}{sup}\left(2T_{\mathrm{\gamma <\#comment/>}}^F\right(K)-<\#comment/>Var(F\left)\right)+\frac{1}{n-<\#comment/>\mathbb{E}{X}^2},$where $T_{\mathrm{\gamma <\#comment/>}}^F\left(K\right)$is the $F-<\#comment/>$torsional rigidity of $K$with respect to the Gaussian measure.Moreover, the equality holds if and only if $K=R{B}_2^k\times <\#comment/>{\mathbb{R}}^{n-<\#comment/>k}$for some $R>0$and $k=1,\dots <\#comment/>,n$.As a consequence, we get $p_s(K,\mathrm{\gamma <\#comment/>})\ge <\#comment/>Q(\mathbb{E}|X{|}^2,\mathbb{E}\Vert <\#comment/>X{\Vert <\#comment/>}_K^4,\mathbb{E}\Vert <\#comment/>X{\Vert <\#comment/>}_K^2,r(K\left)\right),$where $Q$is a certain rational function of degree $2$, the expectation is taken with respect to the restriction of the Gaussian measure onto $K$, $\Vert <\#comment/>\cdot <\#comment/>{\Vert <\#comment/>}_K$is the Minkowski functional of $K$, and $r\left(K\right)$is the in-radius of $K$. The result follows via a combination of some novel estimates, the $L2$method (previously studied by several authors, notably Kolesnikov and Milman [J. Geom. Anal. 27 (2017), pp. 1680–1702; Amer. J. Math. 140 (2018), pp. 1147–1185;Geometric aspects of functional analysis, Springer, Cham, 2017; Mem. Amer. Math. Soc. 277 (2022), v+78 pp.], Kolesnikov and the author [Adv. Math. 384 (2021), 23 pp.], Hosle, Kolesnikov, and the author [J. Geom. Anal. 31 (2021), pp. 5799–5836], Colesanti [Commun. Contemp. Math. 10 (2008), pp. 765–772], Colesanti, the author, and Marsiglietti [J. Funct. Anal. 273 (2017), pp. 1120–1139], Eskenazis and Moschidis [J. Funct. Anal. 280 (2021), 19 pp.]), and the analysis of the Gaussian torsional rigidity. As an auxiliary result on the way to the equality case characterization, we characterize the equality cases in the “convex set version” of the Brascamp-Lieb inequality, and moreover, obtain a quantitative stability version in the case of the standard Gaussian measure; this may be of independent interest. All the equality case characterizations rely on the careful analysis of the smooth case, the stability versions via trace theory, and local approximation arguments. In addition, we provide a non-sharp estimate for a function $F$whose composition with $\mathrm{\gamma <\#comment/>}\left(K\right)$is concave in the Minkowski sense for all symmetric convex sets. 

   more » « less
5. A single-point Reshetnyak’s theorem

   https://doi.org/10.1090/tran/9415  

   Kangasniemi, Ilmari; Onninen, Jani (May 2025, Transactions of the American Mathematical Society)

   We prove a single-value version of Reshetnyak’s theorem. Namely, if a non-constant map $f\in W_{\mathrm{l}\mathrm{o}\mathrm{c}}^{1,n}(\mathrm{\Omega },{\mathbb{R}}^n)$ from a domain $\mathrm{\Omega }\subset {\mathbb{R}}^n$ satisfies the estimate $\left|Df\right(x){|}^n\le K{J}_f(x)+\mathrm{\Sigma }(x\left)\right|f\left(x\right)-y_0{|}^n$ at almost every $x\in \mathrm{\Omega }$ for some $K\ge 1$, $y_0\in {\mathbb{R}}^n$ and $\mathrm{\Sigma }\in L_{\mathrm{l}\mathrm{o}\mathrm{c}}^{1+\epsilon }\left(\mathrm{\Omega }\right)$, then $f^{-1}\left\{y_0\right\}$ is discrete, the local index $i(x,f)$ is positive in $f^{-1}\left\{y_0\right\}$, and every neighborhood of a point of $f^{-1}\left\{y_0\right\}$ is mapped to a neighborhood of $y_0$. Assuming this estimate for a fixed $K$ at every $y_0\in {\mathbb{R}}^n$ is equivalent to assuming that the map $f$ is $K$-quasiregular, even if the choice of $\mathrm{\Sigma }$ is different for each $y_0$. Since the estimate also yields a single-value Liouville theorem, it hence appears to be a good pointwise definition of $K$-quasiregularity. As a corollary of our single-value Reshetnyak’s theorem, we obtain a higher-dimensional version of the argument principle that played a key part in the solution to the Calderón problem. 

   more » « less