More Like this

1. Asymptotic Simplification of Aggregation-Diffusion Equations Towards the Heat kernel

   https://doi.org/10.1007/s00205-022-01838-5  

   Carrillo, José A.; Gómez-Castro, David; Yao, Yao; Zeng, Chongchun (January 2023, Archive for Rational Mechanics and Analysis)

   Abstract We give sharp conditions for the large time asymptotic simplification of aggregation-diffusion equations with linear diffusion. As soon as the interaction potential is bounded and its first and second derivatives decay fast enough at infinity, then the linear diffusion overcomes its effect, either attractive or repulsive, for large times independently of the initial data, and solutions behave like the fundamental solution of the heat equation with some rate. The potential$$W(x) \sim \log |x|$$ $W\left(x\right)\sim log\left|x\right|$for$$|x| \gg 1$$ $\left|x\right|\gg 1$appears as the natural limiting case when the intermediate asymptotics change. In order to obtain such a result, we produce uniform-in-time estimates in a suitable rescaled change of variables for the entropy, the second moment, Sobolev norms and the$$C^\alpha $$ $C^{\alpha }$regularity with a novel approach for this family of equations using modulus of continuity techniques. 

   more » « less
2. The structure of the singular set in the thin obstacle problem for degenerate parabolic equations

   https://doi.org/10.1007/s00526-021-01938-2  

   Banerjee, Agnid; Danielli, Donatella; Garofalo, Nicola; Petrosyan, Arshak (April 2021, Calculus of Variations and Partial Differential Equations)

   Abstract We study the singular set in the thin obstacle problem for degenerate parabolic equations with weight$$|y|^a$$ ${\left|y\right|}^a$for$$a \in (-1,1)$$ $a\in (-1,1)$. Such problem arises as the local extension of the obstacle problem for the fractional heat operator$$(\partial _t - \Delta _x)^s$$ ${({\partial }_t-{\Delta }_x)}^s$for$$s \in (0,1)$$ $s\in (0,1)$. Our main result establishes the complete structure and regularity of the singular set of the free boundary. To achieve it, we prove Almgren-Poon, Weiss, and Monneau type monotonicity formulas which generalize those for the case of the heat equation ($$a=0$$ $a=0$). 

   more » « less
3. 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
4. Continuum limit of 2D fractional nonlinear Schrödinger equation

   https://doi.org/10.1007/s00028-023-00881-3  

   Choi, Brian; Aceves, Alejandro (March 2023, Journal of Evolution Equations)

   Abstract We prove that the solutions to the discrete nonlinear Schrödinger equation with non-local algebraically decaying coupling converge strongly in$$L^2({\mathbb {R}}^2)$$ $L^2\left(R^2\right)$to those of the continuum fractional nonlinear Schrödinger equation, as the discretization parameter tends to zero. The proof relies on sharp dispersive estimates that yield the Strichartz estimates that are uniform in the discretization parameter. An explicit computation of the leading term of the oscillatory integral asymptotics is used to show that the best constants of a family of dispersive estimates blow up as the non-locality parameter$$\alpha \in (1,2)$$ $\alpha \in (1,2)$approaches the boundaries. 

   more » « less
5. An almost linear time algorithm testing whether the Markoff graph modulo p is connected

   https://doi.org/10.1007/s40993-024-00592-9  

   Brown, Colby Austin (March 2025, Research in Number Theory)

   Abstract The Markoff graphs modulopwere proven by Chen (Ann Math 199(1), 2024) to be connected for all but finitely many primes, and Baragar (The Markoff equation and equations of Hurwitz. Brown University, 1991) conjectured that they are connected for all primes, equivalently that every solution to the Markoff equation moduloplifts to a solution over$$\mathbb {Z}$$ $Z$. In this paper, we provide an algorithmic realization of the process introduced by Bourgain et al. [arXiv:1607.01530] to test whether the Markoff graph modulopis connected for arbitrary primes. Our algorithm runs in$$o(p^{1 + \epsilon })$$ $o\left(p^{1+ϵ}\right)$time for every$$\epsilon > 0$$ $ϵ>0$. We demonstrate this algorithm by confirming that the Markoff graph modulopis connected for all primes less than one million. 

   more » « less