Index Estimates for CMC and Minimal Surfaces with Capillary Boundary

2026-03-19T11:33:40Z

We prove that the index of a CMC surface with capillary boundary is bounded from above linearly by its genus, number of boundary components, and branching order, and also by some Willmore-type energy involving the area, mean curvature, contact angle, and ambient curvature. The main auxiliary theorem of more general interest is a comparison of the second variations of area and energy at a branched conformal map with boundary. In the appendix we derive the various second variation formulae for area, enclosed-volume, and wetting functionals away from critical points and for non-admissible variations, the purpose of which is to rather comprehensively fill a gap in the literature.

Physics-grounded Mechanism Design for Spectrum Sharing between Passive and Active Users

2026-03-19T11:30:16Z

We propose a physics-grounded mechanism design for dynamic spectrum sharing that bridges the gap between radiometric retrieval constraints and economic incentives. We formulate the active and passive users coexistence problem as a Vickrey-Clarke-Groves (VCG) auctions mechanism, where the radiometer dynamically procures ``quiet'' time-frequency tiles from active users based on the marginal reduction in retrieval error variance. This approach ensures allocative efficiency and dominant-strategy incentive compatibility (DSIC). To overcome the computational intractability of exact VCG on large grids, we derive an approximation algorithm by using the monotone submodularity induced by the radiometer equation. AMSR-2-based simulations show that the approach avoids high-cost tiles by aggregating low-cost spectrum across time and frequency. In an interference-trap case study, the proposed framework reduces procurement costs by about 60% over a fixed-band baseline while satisfying accuracy targets.

On single-frequency asymptotics for the Maxwell-Bloch equations: mixed states

2026-03-19T11:26:50Z

We consider damped driven Maxwell-Bloch equations which are finite-dimensional approximation of the damped driven Maxwell-Schrödinger equations. The equations describe a single-mode Maxwell field coupled to a two-level molecule. Our main result is the construction of solutions with single-frequency asymptotics of the Maxwell field in the case of quasiperiodic pumping. The asymptotics hold for solutions with harmonic initial values which are stationary states of averaged equations in the interaction picture. We calculate all harmonic states and analyse their stability. The calculations rely on the Bloch-Feynman gyroscopic representation of von Neumann equation for the density matrix. The asymptotics follow by application of the averaging theory of the Bogolyubov type.

Existence Theory for a Cross-Diffusion System with Independent Drifts: Mixing Dynamics

2026-03-19T11:23:29Z

We consider a cross-diffusion system for which the diffusion of each species is governed solely by the aggregate density through a pressure law of logarithmic or fast diffusion type. The model is set over a one dimensional bounded interval, equipped with no-flux boundary conditions, and accommodates for the presence of potential drifts which are allowed to differ across each species. We establish the global existence of solutions without having to assume the total mixing of solutions. As a consequence, we give a full resolution of the PDE systems recently studied by the authors and by Elbar--Santambrogio, by allowing a general class of initial data with finite bounded variation, with no further structural assumptions on their supports.

Spreading of pathological proteins through brain networks: a case study for Alzheimers disease

2026-03-19T11:04:05Z

Mathematical modeling offers a valuable approach to understanding Alzheimers disease (AD) given its complexity, unknown causes, and lack of effective treatments. Models, once validated, offer a powerful tool to test medical hypotheses that are otherwise difficult to verify directly. Our focus here is on elucidating the spread of misfolded tau protein, a critical hallmark of AD alongside Abeta protein, taking also into account the synergistic interaction between the two proteins. We consider distinct modelling choices, all employing network frameworks for protein evolution, differentiated by their network architecture and diffusion operators. By carefully comparing these models against clinical tau concentration data, gathered through advanced multimodal analysis techniques, we show that certain models replicate better the proteins dynamics. This investigation underscores a crucial insight: in modeling complex pathologies, the precision with which the mathematical framework is chosen is crucial, especially when validation against clinical data is considered decisive.

Neumann problem with a discontinuous nonlinearity

2026-03-19T10:29:06Z

This study is devoted to proving the existence of weak solutions for a nonlinear elliptic problem with Neumann-type boundary data. The problem is driven by a discontinuous power nonlinearity and a nonsmooth prescribed data. Additionally, we aim to derive an estimate that proves the well-posedness of the problem. This estimate serves as an evidence for the uniqueness of the existing solution when the boundary term is ``smooth".

Global finite energy solutions of the Maxwell-scalar field system on the Einstein cylinder

2026-03-19T10:04:14Z

We prove the existence and uniqueness of global finite energy solutions of the Maxwell-scalar field system in Lorenz gauge on the Einstein cylinder. Our method is a combination of a conformal patching argument, the finite energy existence theorem in Lorenz gauge on Minkowski space of Selberg and Tesfahun, a careful localization of finite energy data, and null form estimates of Foschi-Klainerman type. Although we prove that the energy-carrying components of the solution maintain regularity, due to the incompleteness of the null structure in Lorenz gauge and the nature of our foliation-change arguments we find small losses of regularity in both the scalar field and the potential.

Radiation damping of the soliton internal mode in 1D quadratic Klein-Gordon equation

2026-03-19T08:23:07Z

We study long-time dynamics of small even perturbations of the soliton in 1D quadratic Klein-Gordon equation. The soliton possesses both an internal mode and the unstable mode. On a codimension-one manifold of fine-tuned initial data the instability is suppressed and the internal mode decays slowly by transferring energy into the continuum. We show that this decay and the associated nonlinear frequency shift are accurately captured by a cubic resonant approximation, with the damping rate determined by a Fermi golde rule-type coefficient. This provides a quantitative description of irreversible energy transfer from the internal mode to dispersive radiation.

Homogeneous Sobolev gradient flow of the length functional

2026-03-19T05:25:10Z

We study the gradient flow of the length functional on the space of planar immersed closed curves, where the gradient is taken with respect to a family of homogeneous Sobolev $H^1$-type Riemannian metrics depending on parameters $λ>0$ and $a\in\mathbb{R}$. The gradient can be written explicitly in terms of arc-length convolution with the periodic Green's function for the second-order operator associated with the $H^1$ metric, and then the gradient flow is a reparametrisation-invariant nonlocal ODE. Working in the optimal low-regularity setting $W^{1,1}(\mathbb{S},\mathbb{R}^2)$, we show that the gradient is locally Lipschitz to obtain local well-posedness via the Picard--Lindelöf theorem in Banach spaces. A time-reparametrisation reduces the analysis for general $a$ to the model case ${a=2}$, for which we obtain exponential decay of the length and global existence with uniform convergence in $W^{1,1}$ to a constant map. For $C^1$ immersed initial data we show that immersion is preserved for all time, and we further prove that if the initial curve bounds a convex set then convexity is also preserved by the flow.

Resolving the Blow-Up: A Time-Dilated Numerical Framework for Multiple Firing Events in Mean-Field Neuronal Networks

2026-03-19T04:17:47Z

In large-scale excitatory neuronal networks, rapid synchronization manifests as {multiple firing events (MFEs)}, mathematically characterized by a finite-time blow-up of the neuronal firing rate in the mean-field Fokker-Planck equation. Standard numerical methods struggle to resolve this singularity due to the divergent boundary flux and the instantaneous nature of the population voltage reset. In this work, we propose a robust {multiscale numerical framework based on time dilation}. By transforming the governing equation into a dilated timescale proportional to the firing activity, we desingularize the blow-up, effectively stretching the instantaneous synchronization event into a resolved mesoscopic process. This approach is shown to be physically consistent with the {microscopic cascade mechanism} underlying MFEs and the system's inherent fragility. To implement this numerically, we develop a hybrid scheme that utilizes a {mesh-independent flux criterion} to switch between timescales and a semi-analytical ``moving Gaussian'' method to accurately evolve the post-blowup Dirac mass. Numerical benchmarks demonstrate that our solver not only captures steady states with high accuracy but also efficiently reproduces periodic MFEs, matching Monte Carlo simulations without the severe time-step restrictions associated with particle cascades.

On divergence operators: Free space and vanishing charges

2026-03-19T03:00:12Z

We use localized topologies to prove existence and optimal regularity results for the divergence equation $\mathrm{div} (v) = F$ in critical cases $v \in L_1(Ω;\mathbb{R}^m)$ or $v \in C_0(Ω;\mathbb{R}^m)$, i.e. we characterize those $F$ for which a solution $v$ exists whose norm is bounded by an appropriate norm of $F$. We assume $Ω$ satisfies a Poincaré inequality or an extension property. We apply the general theory to give examples of admissible $F$ in each case.

Spectral comparison and splitting theorems for the infinity-Bakry-Emery Ricci curvature

2026-03-19T02:53:40Z

In this paper, we prove the diameter comparison, the global weighted volume comparison and the splitting theorem in weighted manifolds when the infinity-Bakry-Emery Ricci curvature has a lower bound in the spectrum sense. Our results extend Antonelli-Xu's spectral Bonnet-Myers and Bishop-Gromov theorems, and Antonelli-Pozzetta-Xu's spectral splitting theorem to weighted manifolds. Our results are also some supplements of Chu-Hao's spectral diameter and global volume comparisons, and Yeung's spectral splitting theorem in weighted manifolds.

The Rabinowitz continuum of subcritical Gelfand problems and free boundary-type equations arising in plasma physics

2026-03-19T01:12:12Z

The qualitative behavior of the Rabinowitz unbounded continuum of subcritical Gelfand problems is well known on balls in any dimension. We don't know of any such sharp and detailed description otherwise, which is our motivation to look for a new approach to the problem. The underlying idea is to describe solutions of Gelfand problems via suitably defined constrained problems of free boundary-type arising in plasma physics and to replace the usual $L^\infty$ norm of the solution with the energy of the plasma. Toward this goal, we first solve a long standing open problem of independent interest about the uniqueness of solutions of Grad-Shafranov type equations. Thus, we exploit these unique solutions to detect a curve containing both minimal and non minimal solutions of the associated Gelfand problem. In other words we come up with a new global parametrization of the Rabinowitz continuum, the monotonicity of the energy along the branch providing a meaningful generalization of the classical pointwise monotonicity property of minimal solutions, suitable to describe non minimal solutions as well. On a ball in any dimension, we come up as expected with a bell-shaped profile of the full branch of solutions of the Gelfand problem.

Sharp interaction estimates and their application: existence of normalized ground states to coupled Schrödinger systems with potentials

2026-03-19T00:24:07Z

In this paper, our aim is to prove the existence of normalized ground state for the following Schrödinger systems with potentials $$\begin{cases} -Δu_1+V_1(x)u_1+λ_1 u_1=\partial_1 G(u_1,u_2)\;\quad&\hbox{in}\;\mathbb{R}^N,\\ -Δu_2+V_2(x)u_2+λ_2 u_2=\partial_2G(u_1,u_2)\;\quad&\hbox{in}\;\mathbb{R}^N,\\ 0-\infty$, which are allowed to be singular at some points. And the nonlinearities $G(u_1,u_2)$ are considered of the form $$ \begin{cases} G(u_1, u_2):=\sum_{i=1}^{\ell}\frac{μ_i}{p_i}|u_1|^{p_i}+\sum_{j=1}^{m}\frac{ν_j}{q_j}|u_2|^{q_j}+\sum_{k=1}^{n}β_k |u_1|^{r_{1,k}}|u_2|^{r_{2,k}},~~\ell,m,n\in \mathbb{N}^+_0, μ_i, ν_j,β_k>0, ~21, i=1,2,\cdots, \ell; j=1,2,\cdots, m; k=1,2,\cdots, n. \end{cases} $$ Under the mass sub-critical assumption, the normalized ground states are obtained as the minimum of the functional $J$ on the manifold $S_{a_1,a_2}$. Since the functional is not weak lower semi-continuous, to prove the minimizing problem is achievable, the key step is establishing the strict sub-additive inequality. Among its main ingredients is the study of the sharp decay of the positive solutions and the interaction estimates.

Nonuniqueness of Leray-Hopf solutions to the unforced incompressible 3D Navier-Stokes Equation

2026-03-19T00:11:47Z

The nonuniqueness of Leray-Hopf solutions to the unforced incompressible 3D Navier-Stokes equations is one of the central open problems in mathematical fluid dynamics. In this paper, we provide, to our knowledge, the first rigorous computer-assisted proof demonstrating such nonuniqueness. Inspired by earlier works in this area, we construct a Leray-Hopf solution in the self-similar setting and then establish the existence of a second solution by analyzing the stability of the linearized operator around this profile, showing that it corresponds to an unstable perturbation. To achieve this, we develop an innovative numerical method that computes candidate solutions with high precision and propose a framework for rigorously establishing exact solutions in a neighborhood of these candidates. A key step is to decompose the linearized operator into a coercive part plus a compact perturbation, which is further approximated by a finite-rank operator up to a small error. The invertibility of the linearized operator restricted to the image of this finite-rank approximation is then rigorously verified using computer-assisted proofs. This certifies the existence of an unstable eigenpair and, consequently, yields a second solution - indeed, infinitely many Leray-Hopf solutions.