Eigenvalue Inequalities for Fully Nonlinear Elliptic Equations via the Alexandroff-Bakelman-Pucci Method

2025-04-19T00:27:19Z

In this work we establish eigenvalue inequalities for elliptic differential operators either for Dirichlet or for Robin eigenvalue problems, by using the technique introduced by Alexandroff, Bakelman and Pucci. These inequalities can be extended for fully nonlinear elliptic equations, such as for the Monge-Amp\`ere equation and for Pucci's equations. As an application we establish a lower bound for the $ L^p -$norm of the Laplacian and this bound is sharp, in the sense that, when equality is achieved then a symmetry property is obtained. In addition, we obtain an $ L^{\infty} $ bound for the gradient of solutions to fully nonlinear elliptic equations and as a result, a $ C^3 $ estimate.

Large Deviations for Stochastic Evolution Equations in the Critical Variational Setting

2025-04-18T18:36:13Z

Using the weak convergence approach, we prove the large deviation principle (LDP) for solutions to quasilinear stochastic evolution equations with small Gaussian noise in the critical variational setting, a recently developed general variational framework. No additional assumptions are made apart from those required for well-posedness. In particular, no monotonicity is required, nor a compact embedding in the Gelfand triple. Moreover, we allow for flexible growth of the diffusion coefficient, including gradient noise. This leads to numerous applications for which the LDP was not established yet, in particular equations on unbounded domains with gradient noise. Since our framework includes the 2D Navier-Stokes and Boussinesq equations with gradient noise and unbounded domains, our results resolve an open problem that has remained unsolved for over 15 years.

On 1D Mass-subcritical Nonlinear Schrödinger equations in modulation spaces $M^{p, p'} (p<2)$

2025-04-18T17:46:45Z

We establish global well-posedness for the 1D mass-subcritical nonlinear Schr\"odinger equation $$iu_t +u_{xx} \pm |u|^{\alpha-1}u=0 \quad (1< \alpha<5)$$ for large Cauchy data in modulation spaces $M^{p,\frac{p}{p-1}}(\mathbb R)$ with $4/3

Contractivity of Wasserstein distance and exponential decay for the Landau equation with Maxwellian molecules

2025-04-18T17:10:33Z

We consider the Landau equation with Maxwell molecules and show two results: exponential decay of the relative $L^2$ norm and contractivity of the $2$-Wasserstein distance of two arbitrary solutions. The proof of the decay of the relative $L^2$ uses a careful analysis of the operator and weighted Poincar\'e inequalities. Using the framework recently introduced by Guillen and Silvestre in \cite{GS24}, we provide a new, short, intuitive and quantitative proof that the Landau equation is contractive in the 2-Wasserstein metric. To achieve this, we quantify the convexity of the $2$-Wasserstein distance.

Large scale limit for a dispersion-managed NLS

2025-04-18T16:59:06Z

We derive the standard power-type NLS as a scaling limit of the Gabitov--Turitsyn dispersion-managed NLS, using the $2d$ defocusing, cubic equation as a model case. In particular, we obtain global-in-time scattering solutions to the dispersion-managed NLS for large scale data of arbitrary $L^2$-norm.

Stability of nonlinear recovery from scattering and modified scattering maps

2025-04-18T16:56:18Z

We prove stability estimates for the recovery of the nonlinearity from the scattering or modified scattering map for one-dimensional nonlinear Schr\"odinger equations. We consider nonlinearities of the form $a(x) |u|^p u$ for $p\in [2,4]$ and $[1+a(x)]|u|^2 u$, where $a$ is a localized function. In the first case, we show that for $p\in(2,4]$ we may obtain a H\"older-type stability estimate for recovery via the scattering map, while for $p=2$ we obtain a logarithmic stability estimate. In the second case, we show a logarithmic stability estimate for recovery via the modified scattering map.

An eco-epidemiological model with prey-taxis and slow diffusion: Global existence, boundedness and novel dynamics

2025-04-18T16:01:07Z

In this manuscript, an attempt has been made to understand the effects of prey-taxis on the existence of global-in-time solutions and dynamics in an eco-epidemiological model, particularly under the influence of slow dispersal characterized by the $p$-Laplacian operator and enhanced mortality of the infected prey, subject to specific assumptions on the taxis sensitivity functions. We prove the global existence of classical solutions when the infected prey undergoes random motion and exhibits standard mortality. Under the assumption that the infected prey disperses slowly and exhibits enhanced mortality, we prove the global existence of weak solutions. Following a detailed mathematical investigation of the proposed model, we shift our focus to analyse the stability of the positive equilibrium point under the scenario where all species exhibit linear diffusion, the infected prey experiences standard mortality, and the predator exhibits taxis exclusively toward the infected prey. Within this framework, we establish the occurrence of a steady-state bifurcation. Numerical simulations are then carried out to observe this dynamical behavior. Our results have large scale applications to biological invasions and biological control of pests, under the prevalence of disease in the pest population.

Derivation of renormalized Hartree-Fock-Bogoliubov and quantum Boltzmann equations in an interacting Bose gas

2025-04-18T15:53:06Z

Our previous work [37] presented a rigorous derivation of quantum Boltzmann equations near a Bose-Einstein condensate (BEC). Here, we extend it with a complete characterization of the leading order fluctuation dynamics. For this purpose, we correct the latter via an appropriate Bogoliubov rotation, in partial analogy to the approach by Grillakis-Machedon et al. [59], in addition to the Weyl transformation applied in [37]. Based on the analysis of the third order expansion of the BEC wave function, and the second order expansions of the pair-correlations, we show that through a renormalization strategy, various contributions to the effective Hamiltonian can be iteratively eliminated by an appropriate choice of the Weyl and Bogoliubov transformations. This leads to a separation of renormalized Hartree-Fock-Bogoliubov (HFB) equations and quantum Boltzmann equations. A multitude of terms that were included in the error term in [37] are now identified as contributions to the HFB renormalization terms. Thereby, the error bound in the work at hand is improved significantly. To the given order, it is now sharp, and matches the order or magnitude expected from scaling considerations. Consequently, we extend the time of validity to $t\sim (\log N)^2$ compared to $t\sim (\log N/\log \log N)^2$ before. We expect our approach to be extensible to smaller orders in $\frac1N$.

A dynamical Amrein-Berthier uncertainty principle

2025-04-18T15:27:23Z

Given a selfadjoint magnetic Schr\"odinger operator \begin{equation*} H = ( i \partial + A(x) )^2 + V(x) \end{equation*} on $L^{2}(\mathbb{R}^n)$, with $V(x)$ strictly subquadratic and $A(x)$ strictly sublinear, we prove that the flow $u(t)=e^{-itH}u(0)$ satisfies an Amrein--Berthier type inequality \begin{equation*} \|u(t)\|_{L^{2}}\lesssim_{E,F,T,A,V} \|u(0)\|_{L^{2}(E^{c})} + \|u(T)\|_{L^{2}(F^{c})}, \qquad 0\le t\le T \end{equation*} for all compact sets $E,F \subset \mathbb{R}^{n}$. In particular, if both $u(0)$ and $u(T)$ are compactly supported, then $u$ vanishes identically. Under different assumptions on the operator, which allow for time--dependent coefficients, the result extends to sets $E,F$ of finite measure. We also consider a few variants for Schr\"{o}dinger operators with singular coefficients, metaplectic operators, and we include applications to control theory.

A microlocal Cauchy problem through a crossing point of Hamiltonian flows

2025-04-18T13:53:52Z

In this paper, we consider $2\times 2$ matrix-valued pseudodifferential equations in which the two characteristic sets intersect with finite contact order. We show that the asymptotic behavior of its solution changes dramatically before and after the crossing point, and provide a precise asymptotic formula. This is a generalization of the previous results for matrix-valued Schr\"odinger operators and Landau-Zener models. The proof relies on a normal form reduction and a detailed analysis of a simple first-order system.

Estimation of Anisotropic Viscosities for the Stochastic Primitive Equations

2025-04-18T13:29:35Z

The viscosity parameters play a fundamental role in applications involving stochastic primitive equations (SPE), such as accurate weather predictions, climate modeling, and ocean current simulations. In this paper, we develop several novel estimators for the anisotropic viscosities in the SPE, using a finite number of Fourier modes of a single sample path observed within a finite time interval. The focus is on analyzing the consistency and asymptotic normality of these estimators. We consider a torus domain and treat strong, pathwise solutions in the presence of additive white noise (in time). Notably, the analysis for estimating horizontal and vertical viscosities differs due to the unique structure of the SPE and the fact that both parameters of interest are adjacent to the highest-order derivative. To the best of our knowledge, this is the first work addressing the estimation of anisotropic viscosities, with the potential applicability of the developed methodology to other models.

One-side Liouville Theorem for hypoelliptic Ornstein--Uhlenbeck operators having drifts with imaginary spectrum

2025-04-18T13:09:24Z

We prove the Liouville theorem for \emph{non-negative} solutions to (possibly degenerate) Ornstein-Uhlenbeck equations whose linear drift has imaginary spectrum. This provides an answer to a question raised by Priola and Zabczyk since the proof of their Theorem characterizing the Ornstein-Uhlenbeck operators having the Liouville property for \emph{bounded} solutions. Our approach is based on a Liouville property at ``$t=-\infty$" for the solutions to the relevant Kolmogorov equation which, in turn, derives from a new parabolic Harnack-type inequality for its non-negative ancient solutions.

Euler-Lagrange equations for variable-growth total variation

2025-04-18T08:57:57Z

We consider a class of integral functionals with Musielak-Orlicz type variable growth, possibly linear in some regions of the domain. This includes $p(x)$ power-type integrands with $p(x)\ge 1$ as well as double-phase $p\!-\!q$ integrands with $p=1$. The main goal of this paper is to identify the $L^2$-subdifferential of the functional, including a local characterisation in terms of a variant of the Anzellotti product defined through the Young's inequality. As an application, we obtain the Euler-Lagrange equation for the variant of the Rudin-Osher-Fatemi image denoising problem with variable growth regularising term.

The Light ray transform for pseudo-Euclidean metrics

2025-04-18T07:53:14Z

We study the ray transform $L$ over null (light) rays in the pseudo-Euclidean space with signature $(n',n'')$, $n'\ge2$, $n''\ge2$. We analyze the normal operator $L'L$, derive an inversion formula, and prove stability estimates. We show that the symbol $p(\xi)$ is elliptic but singular at the light cone. We analyze $L$ as an Fourier Integral Operator as well. Finally, we compare this to the Minkowski case.

Rigorous derivation of magneto-Oberbeck-Boussinesq approximation with non-local temperature term

2025-04-18T07:28:23Z

We consider a general compressible, viscous, heat and magnetically conducting fluid described by the compressible Navier-Stokes-Fourier system coupled with induction equation. In particular, we do not assume conservative boundary conditions for the temperature and allow heating or cooling on the surface of the domain. We are interested in the mathematical analysis when the Mach, Froude, and Alfv\'en numbers are small, converging to zero at a specific rate. We give a rigorous mathematical justification that in the limit, in case of low stratification, one obtains a modified Oberbeck-Boussinesq-MHD system with a non-local term or a non-local boundary condition for the temperature deviation. Choosing a domain confined between parallel plates, one finds also that the flow is horizontal, and the magnetic field is perpendicular to it. The proof is based on the analysis of weak solutions to a primitive system and the relative entropy method.