http://arxiv.org/api/60E8oPS/Bc/3GNYsaLGgR//Kyws 2025-04-22T00:00:00-04:00 66863 45 15 http://arxiv.org/abs/2504.13513v1 2025-04-18T07:04:08Z 2025-04-18T07:04:08Z

The JKO scheme provides the discrete-in-time approximation for the solutions of evolutionary equations with Wasserstein gradient structure. We study a natural space-discretization of this scheme by restricting the minimization to the measures supported on the nodes of a regular grid. The study of the fully discrete JKO scheme is motivated by the applications to developing numerical schemes for the nonlinear diffusion equation with drift and the crowd motion model. The main result of this paper is the convergence of the scheme as both the time and space discretization parameters tend to zero in a suitable regime.

Anastasiia Hraivoronska ICJ, MMCS Filippo Santambrogio ICJ, MMCS http://arxiv.org/abs/2504.13508v1 2025-04-18T06:59:11Z 2025-04-18T06:59:11Z

We study here the sub-Riemannian geometry on a manifold $M$ induced by a finite family $F$ of vector fields satisfying the H{\"o}rmander condition, as well as the differential operators obtained as polynomials in the elements of $F$. Such an operator $D$ is hypoelliptic if, for any smooth function $f$, the solutions $u$ of the equation $Du=f$ are also smooth. A more refined notion, that of maximal hypoelliptic operators, extends this property in terms of Sobolev regularity, offering a parallel in sub-Riemannian geometry to elliptic operators. In 1979, Helffer and Nourrigat proposed a conjecture characterizing maximal hypoellipticity, generalizing the main regularity theorem for elliptic operators. This conjecture has recently been confirmed using tools from non-commutative geometry. A central element of this work is a natural generalisation in sub-Riemannian geometry, introduced by Mohsen, of the Connes tangent groupoid, in which appear all the tangent cones, key ingredients in the work of Helffer and Nourrigat. In collaboration with Androulidakis and Yuncken, Mohsen developed a pseudodifferential calculus in this context, introducing in particular the notion of principal symbol. They obtained that the invertibility of this symbol is equivalent to maximal hypoellipticity, thus validating the conjecture. This talk will present the ingredients and broad outlines of these innovative advances.

Claire Debord IMJ-PRG in French language S{\'e}minaire Bourbaki, Association des collaborateurs de Nicolas Bourbaki, Mar 2025, Paris, France http://arxiv.org/abs/2412.07361v3 2025-04-18T06:03:20Z 2024-12-10T09:58:19Z

We prove that there is no relaxation gap between a quasi-dissipative nonlinear evolution equation in a Hilbert space and its linear Liouville equation reformulation on probability measures. In other words, strong and generalized solutions of such equations are unique in the class of measure-valued solutions. As a major consequence, non-convex numerical optimization over these non-linear partial differential equations can be carried out with the infinite-dimensional moment-SOS hierarchy with global convergence guarantees. This covers in particular all reaction-diffusion equations with polynomial nonlinearity.

Saroj Prasad Chhatoi LAAS-POP Didier Henrion LAAS-POP, FEL CTU Swann Marx LS2N Nicolas Seguin IMAG, ANGUS http://arxiv.org/abs/2504.13487v1 2025-04-18T05:51:10Z 2025-04-18T05:51:10Z

We are interested in this work in the numerical resolution of the Quantum Liouville-BGK equation, which arises in the derivation of quantum hydrodynamical models from first principles. Such models are often obtained in some asymptotic limits, for instance a diffusion or a fluid limit, and as a consequence the original Liouville equation contains small parameters. A standard method such as a split-step algorithm is then accurate provided the time step is sufficiently small compared to the asymptotic parameter, which is a severe limitation. In the case of the diffusion limit, we propose a numerical method that is accurate for time steps independent of the small parameter, and which captures well both the microscopic dynamics and the diffusion limit. Our approach is substantiated by an informal theoretical error analysis.

Romain Duboscq IMT Olivier Pinaud CSU http://arxiv.org/abs/2504.13485v1 2025-04-18T05:50:02Z 2025-04-18T05:50:02Z

In the scalar light model given by Helmholtz' equation in R^{1+d} , we consider the transformation of an initial scene (a hologram) in {0}xR^d by an arbitrary affine transformation (which can be viewed as a propagation into a tilted hyperplane). In the high frequency regime, we use microlocal and semiclassical analysis to describe the propagator as a semiclassical Fourier integral operator, thus generalising the well-known Angular Spectrum formula from optics. We then prove new precise Egorov theorems, including subprincipal terms, which indicate how to take into account the propagation along rays of geometric optics.

Patrick Gioia IUF, IRMAR San Vu Ngoc IUF, IRMAR 43 pages, 10 figures http://arxiv.org/abs/2504.13481v1 2025-04-18T05:46:23Z 2025-04-18T05:46:23Z

Two-dimensional abelian anyons are, in the magnetic gauge picture, represented as fermions coupled to magnetic flux tubes. For the ground state of such a system in a trapping potential, we theoretically and numerically investigate a Hartree approximate model, obtained by restricting trial states to Slater determinants and introducing a self-consistent magnetic field, locally proportional to matter density. This leads to a fermionic variant of the Chern-Simons-Schr{\"o}dinger system. We find that for dense systems, a semi-classical approximation yields qualitatively good results. Namely, we derive a density functional theory of magnetic Thomas-Fermi type, which correctly captures the trends of our numerical results. In particular, we explore the subtle dependence of the ground state with respect to the fraction of magnetic flux units attached to particles.

Antoine Levitt LMO Douglas Lundholm UMPA-ENSL Nicolas Rougerie UMPA-ENSL http://arxiv.org/abs/2504.13468v1 2025-04-18T05:19:52Z 2025-04-18T05:19:52Z

In this paper, we establish the strong($H^1$) well-posedness of the two dimensional stochastic Navier-Stokes equation with multiplicative noise on moving domains. Due to the nonlocality effect, this equation exhibits a ``piecewise" variational setting. Namely the global well-posedness of this equation is decomposed into the well-posedness of a family of stochastic partial differential equations(SPDEs) in the variational setting on each small time-interval. We first examine the well-posedness on each time interval, which does not have (nonhomogeneous) coercivity. Subsequently, we give an estimate of lower bound of length of the time-interval, which enables us to achieve the global well-posedness.

Ping Chen Tianyi Pan Tusheng Zhang 28pages, comments are welcome http://arxiv.org/abs/2504.13449v1 2025-04-18T04:06:57Z 2025-04-18T04:06:57Z

The study on the partial differential equations (systems) in the graph setting is a hot topic in recent years because of their applications to image processing and data clustering. Our motivation is to develop some existence results for biharmonic-Kirchhoff systems and biharmonic systems in the Euclidean setting, which are the continuous models, to the corresponding systems in the locally finite graph setting, which are the discrete models. We mainly focus on the existence of infinitely many solutions for a biharmonic-Kirchhoff system on a locally finite graph. The method is variational and the main tool is the symmetric mountain pass theorem. We obtain that the system has infinitely many solutions when the nonlinear term admits the super-$4$ linear growth, and we also present the corresponding results to the biharmonic system. We also find that the results in the locally finite graph setting are better than that in the Euclidean setting, which caused by the better embedding theorem in the locally finite graph.

Xiaoyu Wang Junping Xie Xingyong Zhang http://arxiv.org/abs/2504.09425v2 2025-04-18T03:55:36Z 2025-04-13T04:16:38Z

In this paper, we investigate the mean-field optimal control problem of a swarm of Kuramoto oscillators. Using the notion of wrapped distribution, we explain the connection between the stochastic particle system and the mean-field PDE on the periodic domain. In the limit of an infinite number of oscillators the collective dynamics of the agents' density is described by a diffusive mean-field model in the form of a non-local PDE, where the non-locality arises from the synchronization mechanism. We prove the existence of the optimal control of the mean-field model by using $\Gamma$-convergence strategy of the cost functional corresponding to the Liouville equation on the particle level. In the discussion of propagation of chaos for fixed control functions we complete the relative entropy estimate by using large deviation estimate given by \cite{MR3858403}.

Li Chen Yucheng Wang Valeriia Zhidkova http://arxiv.org/abs/2504.13434v1 2025-04-18T03:17:38Z 2025-04-18T03:17:38Z

We establish two global boundedness results for weak solutions to generalized Schr\"{o}dinger-type double phase problems with variable exponents in $\mathbb{R}^N$ under new critical growth conditions optimally introduced in [26, 32]. More precisely, for the case of subcritical growth, we employ the De Giorgi iteration with a suitable localization method in $\mathbb{R}^N$ to obtain a-priori bounds. As a byproduct, we derive the decay property of weak solutions. For the case of critical growth, using the De Giorgi iteration with a localization adapted to the critical growth, we prove the global boundedness. As an interesting application of these results, the existence of weak solutions for supercritical double phase problems is shown. These results are new even for problems with constant exponents in $\mathbb{R}^N$.

Hoang Hai Ha Ky Ho Bui The Quan Inbo Sim http://arxiv.org/abs/2503.16095v2 2025-04-18T00:59:10Z 2025-03-20T12:39:18Z

We study the singular Lane-Emden-Fowler equation $-\Delta u=f(X)\cdot u^{-\gamma}$ in a bounded Lipschitz domain $\Omega$, with a vanishing boundary condition $u|_{\partial\Omega}=0$ and a positive, bounded function $f(X)$. A distinguishing feature of this problem is that the vanishing boundary condition introduces a singularity in the equation. We focus on the well-posedness of the problem and the growth rate of solutions near the boundary. Additionally, we investigate the boundary Harnack principle for the equation. Our results offer new perspectives on singular elliptic equations in non-smooth domains.

Yahong Guo Congming Li Chilin Zhang http://arxiv.org/abs/2504.13335v1 2025-04-17T21:03:10Z 2025-04-17T21:03:10Z

Harmonic generation plays a crucial role in contrast-enhanced ultrasound, both for imaging and therapeutic applications. However, accurately capturing these nonlinear effects is computationally very demanding when using traditional time-domain approaches. To address this issue, in this work, we develop algorithms based on a time discretization that uses a multiharmonic Ansatz applied to a model that couples the Westervelt equation for acoustic pressure with a volume-based approximation of the Rayleigh--Plesset equation for the dynamics of microbubble contrast agents. We first rigorously establish the existence of time-periodic solutions for this Westervelt-ODE system. We then derive a multiharmonic representation of the system under time-periodic excitation and develop iterative algorithms that rely on the successive computation of higher harmonics under the assumption of real-valued or complex solution fields. In the real-valued setting, we characterize the approximation error in terms of the number of harmonics and a contribution owing to the fixed-point iteration. Finally, we investigate these algorithms numerically and illustrate how the number of harmonics and presence of microbubbles influence the propagation of acoustic waves.

Vanja Nikolić Teresa Rauscher http://arxiv.org/abs/2504.13137v1 2025-04-17T17:48:27Z 2025-04-17T17:48:27Z

We discuss the validity of Minkowski integral identities for hypersurfaces inside a cone, intersecting the boundary of the cone orthogonally. In doing so we correct a formula provided in [3]. Then we study rigidity results for constant mean curvature graphs proving the precise statement of a result given in [9] and [10]. Finally we provide an integral estimate for stable constant mean curvature hypersurfaces in cones.

Filomena Pacella Giulio Tralli http://arxiv.org/abs/2504.13094v1 2025-04-17T16:59:55Z 2025-04-17T16:59:55Z

Based on the Lie symmetry method, we investigate a Feynman-Kac formula for the classical geometric mean reversion process, which effectively describing the dynamics of short-term interest rates. The Lie algebra of infinitesimal symmetries and the corresponding one-parameter symmetry groups of the equation are obtained. An optimal system of invariant solutions are constructed by a derived optimal system of one-dimensional subalgebras. Because of taking into account a supply response to price rises, this equation provides for a more realistic assumption than the geometric Brownian motion in many investment scenarios.

Jin Zhang Dapeng Gao 10.3934/dcdss.2024202 http://arxiv.org/abs/2504.13053v1 2025-04-17T16:09:26Z 2025-04-17T16:09:26Z

For a bounded open set $\Omega \subset \mathbb{R}^n$ with the same volume as the unit ball, the classical Faber-Krahn inequality says that the first Dirichlet eigenvalue $\lambda_1(\Omega)$ of the Laplacian is at least that of the unit ball $B$. We prove that the deficit $\lambda_1(\Omega)- \lambda_1(B)$ in the Faber-Krahn inequality controls the square of the distance between the resolvent operator $(-\Delta_\Omega)^{-1}$ for the Dirichlet Laplacian on $\Omega$ and the resolvent operator on the nearest unit ball $B(x_\Omega)$. The distance is measured by the operator norm from $C^{0,\alpha}$ to $L^2$. As a main application, we show that the Faber-Krahn deficit $\lambda_1(\Omega)- \lambda_1(B)$ controls the squared $L^2$ norm between $k$th eigenfunctions on $\Omega$ and $B(x_\Omega)$ for every $k \in \mathbb{N}.$ In both of these main theorems, the quadratic power is optimal.

Mark Allen Dennis Kriventsov Robin Neumayer