Analysis of PDEs

AG-2026.05-140

math.AP

Threshold-Sharp Conformal Scalar Stability on Carter Slabs and Black Hole Exteriors

Bobby Eka Gunara

We prove a threshold-sharp stability theory for the conformal scalar-curvature sector on zero-curvature Carter backgrounds. The main result is a fully closed bounded-slab theorem: the reflecting evolution is constructed, the conserved energy is proved positive, the complete affine threshold obstruction is identified, and all remaining finite-energy dynamics are shown to be uniformly stable with no unstable modes. This is the sharp statement for compact reflecting slabs, where genuine time decay is false in general. We then extend the same threshold philosophy to black-hole exteriors, separating the intrinsic conformal mechanism from the exterior scalar-wave inputs needed for red-shift, local energy, limiting absorption, and zero-frequency control. The framework gives main applications to Kerr, Reissner-Nordström, slowly rotating weakly charged Kerr-Newman wall exteriors, and extremal horizon-charge obstructions. Our precise result is that it proves stability only for the conformal scalar-curvature sector, not tensorial or nonlinear gravitational stability, and it distinguishes boundedness, qualitative local decay, polynomial decay, and extremal Aretakis-type obstruction without conflating them.

AG-2026.05-008

math.AP

Stability of de Sitter Space and Expansion at the Conformal Boundary

Maurus Leimbacher

Using an approach similar to arXiv:2409.15460, we give a new proof of the nonlinear stability of de Sitter space as a solution to the Einstein vacuum equations with positive cosmological constant in $n+1$ dimensions, with $n\geq3$. Using the gauge freedom of the equations, we are able to prove a precise expansion of the perturbed spacetime at the conformal boundary. In $n=$ odd spatial dimensions, the conformally rescaled metric is smooth up to the future conformal boundary and in $n=$ even spatial dimensions it is smooth if and only if the obstruction tensor of the boundary metric vanishes; if not, then the conformally rescaled metric is log smooth at the boundary. These results also hold for asymptotically de Sitter spaces. Using the results of Fefferman and Graham (1985, Conformal invariants), arXiv:0710.0919, arXiv:1705.09674 and arXiv:2311.02739, the structure of our expansion allows us to establish a 1-1 correspondence between solutions to the Einstein vacuum equations close to de Sitter space and scattering data prescribed on the conformal boundary in general dimension.

AG-2026.05-014

math.AP

Late-time tails for linear waves on radially symmetric stationary spacetimes of two space dimensions

Onyx Gautam

We show that the leading-order term in the late-time asymptotics of solutions to the linear wave equation on radially symmetric stationary perturbations of $(2 + 1)$-dimensional Minkowski space is proportional to $u^{-1/2}v^{-1/2}$ (which solves the wave equation on Minkowski space), where $u$ and $v$ are double null coordinates. Our proof adapts the physical space techniques in the work of Gajic (arXiv:2203.15838) on the wave equation with an inverse-square potential on the Schwarzschild spacetime. In particular, we extend the $r^p$-weighted energy estimates of Dafermos--Rodnianski (arXiv:0910.4957) to two space dimensions.

AG-2026.04-400

math.AP

Landau damping on expanding backgrounds

David Fajman, Liam Urban

We analyse the effect of expansion in Newtonian cosmology on the asymptotic behaviour of charged self-interacting plasmas close to Poisson equilibria. To this end, we study the Vlasov-Poisson system on the phase space of a $3$-torus which is expanding with respect to the scale factor $a(t)$. We show that, for $a(t)=t^q$ with $q\in(0,\frac12)$, solutions to this system exhibit nonlinear Landau damping for initial data that is small with respect to a suitably strong Gevrey class, i.e., the charge density contrast of the plasma decays superpolynomially. For larger choices of $q$ within this range, the initial data requirements become stricter while the decay weakens. To our knowledge, this is the first result showing Landau damping in a cosmological setting.

AG-2026.04-256

math.AP

Massless Maxwell fields on sub-extremal Kerr-Newman exteriors

Bobby Eka Gunara, Mulyanto, Emir Syahreza Fadhilla, Fiki Taufik Akbar

We study the massless Maxwell system on fixed sub--extremal Kerr-Newman exteriors. In the weak Kerr--Newman regimes with $0<|a|\le c_a M$, $0<|Q|\le c_Q M$, and $c_a,c_Q \in (0,1) $, we prove non--degenerate boundedness, Morawetz / integrated local energy decay, the outgoing $r^p$ hierarchy, radiation fields, polynomial decay, and two--sided scattering for the stationary-subtracted Maxwell field. In the axisymmetric relative slow--rotation regime $0<|a|\le \varepsilon_{\mathrm{KN}}|Q|<M$ with $\varepsilon_{\mathrm{KN}} \in (0,1)$, the same conclusions hold on the axisymmetric sector, with no perturbative restriction on $|Q|/M$ beyond sub--extremality. For the full sub-extremal range $a^2+Q^2<M^2$, by adding one order--zero radiative local--energy estimate for this master system, we could obtain similar results as the weak regimes. This separates the unconditional weak theory from the conditional full--range theory within one reconstruction/scattering framework.

AG-2026.04-195

math.AP

Geometrically defined asymptotic coordinates in General Relativity

Carla Cederbaum, Jan Metzger

We review and announce recent results on the asymptotic behavior of asymptotically Euclidean relativistic initial data sets and asymptotic foliations thereof. In particular, we discuss the geometrization of asymptotic flatness and of asymptotic geometric (in-)\-variants such as mass, energy, linear momentum, angular momentum and center of mass as well as their relations to certain geometric asymptotic foliations such as the CMC- and STCMC-foliations.

AG-2026.03-1087

math.AP

Threshold asymptotics and decay for massive Maxwell on subextremal Reissner--Nordström

Bobby Eka Gunara

We study the neutral massive Maxwell (Proca) equation on subextremal Reissner--Nordström exteriors. After spherical-harmonic decomposition, the odd sector is scalar, while the even sector remains a genuinely coupled $2\times2$ system. Our starting point is that this even system admits an exact asymptotic polarization splitting at spatial infinity. The three resulting channels carry effective angular momenta $\ell-1$, $\ell$, and $\ell+1$, and these are precisely the indices that govern the late-time thresholds. % For each fixed angular momentum we develop a threshold spectral theory for the cut-off resolvent. We prove meromorphic continuation across the massive branch cut, rule out upper-half-plane modes and threshold resonances, and obtain explicit small- and large-Coulomb expansions for the branch-cut jump. Inverting this jump yields polarization-resolved intermediate tails together with the universal very-late $t^{-5/6}$ branch-cut law. % At the full-field level, high-order angular regularity allows us to sum the modewise leading terms on compact radial sets and obtain a two-regime asymptotic expansion for the radiative branch-cut component of the Proca field, with explicit coefficient fields and quantitative remainders. We also analyze the quasibound resonance branches created by stable timelike trapping, prove residue and reconstruction bounds, and derive a fully self-contained dyadic packet estimate. As a result, the unsplit full Proca field obeys logarithmic compact-region decay, while the radiative branch-cut contribution retains explicit polynomial asymptotics and explicit leading coefficients.

AG-2026.03-526

math.AP

Energy-Morawetz estimates for Teukolsky equations in perturbations of Kerr

Siyuan Ma, Jérémie Szeftel

In this paper, we prove energy and Morawetz estimates for solutions to Teukolsky equations in spacetimes with metrics that are perturbations, compatible with nonlinear applications, of Kerr metrics in the full subextremal range. The Teukolsky equations are written in tensorial form using the non-integrable formalism in \cite{GKS22}, and we follow the approach in \cite{Ma} of relying on a Teukolsky wave/transport system. The estimates are proved by extending the ideas from our earlier result \cite{MaSz24} on the corresponding problem for the scalar wave, notably the use of $r$-foliation-adapted microlocal multipliers for the wave part, and by incorporating techniques from \cite{Ma} to control the linear coupling terms between the components of the Teukolsky wave/transport system. Additionally, in order to adapt the methodology of \cite{MaSz24} to tensorial waves, we introduce a well-suited regular scalarization procedure which is of independent interest. This result, alongside our companion paper \cite{MaSz24}, is an essential step towards extending the current proof of Kerr stability in \cite{GCM1} \cite{GCM2} \cite{KS:Kerr} \cite{GKS22} \cite{Shen}, valid in the slowly rotating case, to a complete resolution of the Kerr stability conjecture, i.e., the statement that the Kerr family of spacetimes is nonlinearly stable for all subextremal angular momenta.

AG-2026.03-049

math.AP

Dispersive estimates for a system of tensorial quasilinear wave equations satisfying the weak-null condition

Sari Ghanem

We establish both global existence and decay properties for solutions with small data for a general class of coupled system of tensorial quasilinear hyperbolic wave equations in three space dimensions, that covers the dynamical Einstein equations coupled to a class of non-linear matter sources that do not satisfy the null condition of Christodoulou and Klainerman, and have new different non-linearities than the one treated by Lindblad-Rodnianski, for which their celebrated seminal $L^\infty$-estimate does not work, to the best of our knowledge. Global existence of solutions for a general class of quasilinear wave equations satisfying the weak-null condition, with small initial data, is largely an open problem at present. There is no known theory to prove decay for the class of non-linear hyperbolic partial differential equations that we treat in this paper. We establish a technique based on novel decoupling of the higher order energy estimates, at the level of the $L^2$-norm of the Lie derivatives of the tangential components, without involving all the other components, up to some good factor. This generalizes our previous results to include new non-linearities that are not present in the Einstein-Yang-Mills system in the Lorenz gauge.

AG-2026.02-573

math.AP

Decoupled energy estimates for tensorial non-linear wave equations and applications

Sari Ghanem

We prove energy estimates for solutions to a tensorial system of coupled non-linear wave equations, in a way that is suitable to deal with the structure of the non-linearity that arises from the Einstein-Yang-Mills system in the Lorenz gauge as well as with other new different non-linearities. We establish suitable bounds on the $L^2$-norm of each component in a frame decomposition of the tensorial solutions, in way that does not involve all the other components of the tensor, which would allow us to decouple the higher order energy estimates for certain components from the other components. We achieve this partly by exploiting the tensorial structure of the coupled non-linear wave equations, where the background metric that is à priori unknown, is a perturbation of the Minkowski space-time in a certain fixed system of coordinates, and by exploiting the structure of the commutator term for the Lie derivatives of the solutions. These decoupled energy estimates for each component of the tensor in a frame, are new and motivated by a problem that we address in a subsequent paper to prove the exterior non-linear stability of the $(1+3)$-Minkowski space-time governed by a general class of perturbations, that includes the non-linearities that arise from the Einstein-Yang-Mills system in the Lorenz gauge as well as other new non-linearities, which have a different non-linear structure than the one treated by Lindblad-Rodnianski, for which their seminal $L^\infty$-estimate does not work to the best of our knowledge. The decoupled energy bounds on each component in a frame derived here allow us to replace the celebrated $L^\infty$-estimate of Lindblad-Rodnianski in a novel way that permits us to treat these new non-linear structures.

AG-2026.02-320

math.AP

Matching conditions for scattering solutions of scalar wave equations on extremal Reissner-Nordström spacetimes

Yannis Angelopoulos, Istvan Kadar

We study scattering solutions $φ$ of the linear wave equation on extremal Reissner-Nordström spacetimes, satisfying the following properties: i) $φ$ attains a prescribed radiation field $ψ_{\mathcal{I}}$ through future null infinity, which decays at an inverse polynomial rate; ii) $φ$ is regular in the exterior region up to and including the future event horizon, i.e. $φ\in C^N$, where $N\gg1$ is independent of the decay rate of $ψ_{\mathcal{I}}$. We prove that such solutions exist for arbitrary $N$, and that they are not unique. The proof consists of: 1) finding an approximate solution $φ_{\mathrm{app}}$ with fast decaying error; 2) the use of backwards energy estimates in order to correct $φ_{\mathrm{app}}$ to an exact solution. Extremality is used only in the second step. The methods of the linear case described above are then used to show the same results for semilinear equations where the nonlinearity satisfies the null condition, as well as to geometries describing the hyperbolic orbit of multiple extremal Reissner-Nordström black holes.

AG-2026.02-045

math.AP

Vacuum initial data with minimal decay and borderline decay

Dawei Shen, Jingbo Wan

In this note, we show that the conical solution-operator method of Mao-Tao in [Localized initial data for Einstein equations] applies to a simple construction of vacuum asymptotically flat initial data at minimal and borderline decay thresholds, corresponding to the global and exterior stability of Minkowski spacetime proved by the first named author in [Global stability of Minkowski spacetime with minimal decay] and [Exterior stability of Minkowski spacetime with borderline decay].

AG-2026.01-577

math.AP

Localized Big Bang Stability of Spacetime Dimensions $n\geq4$

Weihang Zheng

We prove the past nonlinear stability of the sub-critical Kasner-scalar field solutions to the Einstein-scalar field equations on a truncated cone domain in spacetime dimensions $n\geq4$. Our analysis demonstrates that the perturbed solutions are asymptotically pointwise Kasner, geodesically incomplete in the contracting direction and terminate at quiescent and crushing singularities characterized by the blow-up of curvature invariants. This work generalizes the result of Beyer-Oliynyk-Zheng in [arXiv:2502.09210v2] to all higher dimensional spacetimes.

AG-2026.01-497

math.AP

Strong Hyperbolicity of Second-Order PDEs via Matrix Pencils

Fernando Abalos, David Hilditch

We introduce a definition of strong hyperbolicity for second order partial differential equations using second order pencils. We show that this definition is equivalent to the standard one, derived by reducing the equations to first order form, but with the benefit of simplifying the calculations necessary to check hyperbolicity. In addition, we observe an interesting property, namely that when a system is strongly hyperbolic, its second order pencil can be factorized as a product of two diagonalizable first order pencils. Finally, we present an application to a vector potential for of Maxwell's equations, with a general extension and gauge fixing.

AG-2025.12-547

math.AP

A critical threshold for the cosmological Euler-Poisson system

David Fajman, Maciej Maliborski, Maximilian Ofner, Todd Oliynyk, Zoe Wyatt

We consider the gravitational Euler-Poisson system with a linear equation of state on an expanding cosmological model of the Universe. The expansion of the spatial sections introduces an additional dissipating effect in the Euler equation. We prescribe the expansion rate of space by a scale factor $a(t)=t^α$ with $α\in(0,1)$, which describes the growth of length scales over time. This model is regularly applied in cosmology to study classical fluids in an expanding Universe. We study the behaviour of solutions to this system arising from small, near-homogeneous initial data and discover a \emph{critical} change of behaviour near the expansion rate $α=2/3$, which corresponds to the matter-dominated regime in cosmology. In particular, we prove that for $α>2/3$ the fluid variables are global in time and remain small provided they are sufficiently small in a suitable norm initially. In the complementary regime $α\leq2/3$, we present numerical evidence for shock formation of solutions to the Euler equation for arbitrarily small initial data. In combination, this establishes the existence of a critical stability threshold for barotropic fluids in expanding domains. In contrast to our previous work on the corresponding relativistic system, the threshold in the classical system considered here is independent of the speed of sound of the fluid. This establishes that fluids in cosmology behave fundamentally different in the non-relativistic regime than in the relativistic one.

AG-2025.12-213

math.AP

The Maxwell equations on full sub-extremal and extremal Kerr spacetimes

Gabriele Benomio, Rita Teixeira da Costa

We study the Cauchy problem for the Maxwell equations in the exterior region of Kerr black hole spacetimes. The equations are formulated for components of the Maxwell field relative to the algebraically special frame of Kerr, with the unknowns treated as tensorial quantities associated with a non-integrable horizontal distribution. The extremal Maxwell components decouple into Teukolsky equations, whereas the middle Maxwell components form a coupled system of transport and elliptic equations. Assuming control over the extremal components, we prove uniform boundedness (without loss of derivatives) and decay estimates for the middle components in the full |a|<=M range of spacetime parameters. Our analysis relies on (i) deriving a decoupled system of transport and elliptic equations for two modified middle Maxwell components and (ii) decomposing general solutions into a dynamical and stationary part, the latter determined by two real (electric and magnetic) charges which are entirely read off from the initial data at the event horizon. In the sub-extremal |a|<M case, works of Shlapentokh-Rothman and the second author provide the necessary control over the extremal components, yielding unconditional boundedness and decay results for all the unknowns in the equations. In the extremal |a|=M case, we formulate a conjectural boundedness and decay statement for the extremal components, motivated by work of Casals, Gralla and Zimmerman on fixed azimuthal mode solutions compactly supported away from the event horizon. Our boundedness and decay results for all the unknowns in the equations remain, therefore, conditional. We show that the complicated dynamics of the extremal components at the event horizon is inherited by the middle components; in particular, we uncover novel conservation laws for the middle components of axisymmetric solutions.

AG-2025.11-649

math.AP

Existence and bounds of nonlinear singularity-free cosmological solutions in a string-inspired gravity

Chihang He, Chao Liu

We provide a rigorous proof for the existence of homogeneous, isotropic and globally singularity-free cosmological solutions in Einstein-dilaton-Gauss-Bonnet (EdGB) gravity with exponential coupling. While numerical studies suggested such solutions exist, a formal proof remained elusive. By employing a novel ``power identity method'' and overcoming significant challenges posed by the strong nonlinearities of the exponential coupling, which are not present in the quadratic coupling analyzed in our companion paper \cite{he2025proofssingularityfreesolutionsscalarization}, we establish a FLRW solution valid for all time $t\in(-\infty,+\infty)$, where the Hubble parameter remains positive and vanishes asymptotically, while the scalar field evolves monotonically. This result align with numerical simulations and offer a firm mathematical foundation for singularity-free cosmology in a string-inspired setting.

AG-2025.10-270

math.AP

Semi-Global Existence and Trapped Surface Formation for the Einstein-Vlasov System

Nikolaos Athanasiou, Puskar Mondal, Shing-Tung Yau

We prove a large-data semi-global existence theorem and the dynamical formation of trapped surfaces for the Einstein-massless Vlasov system in 3+1 dimensions, without any symmetry assumptions. The analysis critically hinges on a finely calibrated hierarchy of estimates for the Weyl curvature, Ricci coefficients, and velocity moments of the distribution function, designed to capture the delicate interaction between the geometric and kinetic structures of the coupled system. The presence of the Vlasov field introduces significant analytic challenges, both in terms of integrability and regularity. These are circumvented through a refined renormalization of the Ricci coefficients, a strategic restriction of the need for the elliptic estimates to a minimal number of Ricci coefficients, and a precise commutator calculus adapted to the geometry of the mass-shell of the tangent bundle of the dynamical spacetime. The results constitute the first large-data, symmetry-free construction of dynamical black hole formation in the context of kinetic matter. Beyond its immediate application to the Einstein-Vlasov system in regimes of strong gravitational interaction and absence of symmetry, we anticipate that this framework will prove useful in a broader context, including, for instance, simplified approaches to the proof of nonlinear stability of Minkowski spacetime with massless Vlasov matter

AG-2025.09-108

math.AP

Integral formulas for under/overdetermined differential operators via recovery on curves and the finite-dimensional cokernel condition I: General theory

Philip Isett, Yuchen Mao, Sung-Jin Oh, Zhongkai Tao

We introduce a new versatile method for constructing solution operators (i.e., right-inverses up to a finite rank operator) for a wide class of underdetermined PDEs $P u = f$, which are regularizing of optimal order and, more interestingly, whose integral kernels have certain prescribed support properties. By duality, we simultaneously obtain integral representation formulas (i.e., left-inverses up to a finite rank operator) for overdetermined PDEs $P^{\ast} v = g$ with analogous properties, which lead to Poincaré- or Korn-type inequalities. Our method applies to operators such as the divergence, linearized scalar curvature, and linearized Einstein constraint operators (which are underdetermined), as well as the gradient, Hessian, trace-free part of the Hessian, Killing, and conformal Killing operators (which are overdetermined). The starting point for our construction is a condition - dubbed the recovery on curves condition (RC) - that leads to Green's functions for $P$ supported on prescribed curves. Then the desired integral solution operators (and, by duality, integral representation formulas) are obtained by taking smooth averages over a suitable family of curves. This procedure generalizes the previous constructions of Bogovskii, Oh-Tataru, and Reshetnyak. We furthermore identify a simple algebraic sufficient condition for (RC), namely, that the principal symbol $p(x, ξ)$ of $P$ is full-rank for all non-zero complex vectors $ξ$ (as opposed to real, as in ellipticity). When the principal symbol has constant coefficients, this is equivalent to (RC) and also to the condition that the formal cokernel of $P$ (without any boundary conditions) is finite-dimensional; for this reason, we call it the finite-dimensional cokernel condition (FC). We give a short proof that all operators above satisfy (FC), and thus (RC). Various applications will be considered in subsequent papers.

AG-2025.09-097

math.AP

On the local existence for the characteristic initial value problem for the Einstein-Dirac system

Peng Zhao, Xiaoning Wu

In this paper, we investigate the characteristic initial value problem for the Einstein-Dirac system, a model governing the interaction between gravity and spin-$1/2$ fields. We apply Luk's strategy \cite{Luk12} and prove a semi-global existence result for this coupled Einstein-Dirac system without imposing symmetry conditions. More precisely, we construct smooth solutions in a rectangular region to the future of two intersecting null hypersurfaces, on which characteristic initial data are specified. The key novelty is to promote the symmetric spinorial derivatives of the Dirac field to independent variables and to derive a commuted "Weyl-curvature-free" evolution system for them. This eliminates the coupling to the curvature in the energy estimates and closes the bootstrap at the optimal derivative levels. The analysis relies on a double null foliation and incorporates spinor-specific techniques essential to handling the structure of the Dirac field.

AG-2025.08-303

math.AP

Spherical solutions to the Klein-Gordon equation in the expanding universe

Karen Yagdjian

We produce an explicit formula for the wave function of the spherically symmetric fields emitted to the FLRW universe with the scale factor generated by the de Sitter universe. As an application of these explicitly written solutions of the Klein-Gordon equation, we test the decay in time of the field generated by a pionic atom.

AG-2025.07-457

math.AP

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

Jean-Philippe Nicolas, Grigalius Taujanskas

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.

AG-2025.07-407

math.AP

Proofs of singularity-free solutions and scalarization in nonlinear Einstein-scalar-Gauss-Bonnet cosmology

Chihang He, Chao Liu, Jinhua Wang

We establish the global existence and precise estimates of a class of singularity-free cosmological solutions in nonlinear Einstein-scalar-Gauss-Bonnet (ESGB) gravity with quadratic coupling, in close agreement with previous numerical results. Our analysis also yields a rigorous mathematical proof of nonlinear spontaneous scalarization, triggered by a tachyonic instability induced by the Gauss-Bonnet term. The proof is based on a set of decoupled differential inequalities for the Hubble parameter $H$, derived from a key structural identity that we refer to as the power identity.

AG-2025.06-585

math.AP

Stationary gravitational modes on Kerr-anti-de Sitter spacetimes

Olivier Graf

We prove that, for any continuous path of Kerr-adS black hole parameters crossing the Hawking-Reall threshold, for all azimuthal number $|m|$ sufficiently large, there exists black hole parameters on the path such that the Teukolsky equations with conformal boundary conditions admit a non-trivial regular stationary (\emph{i.e.} with frequency $ω=mω_+$) mode solution. When $|m|$ goes to infinity, we show that these black hole parameters accumulate at the Hawking-Reall threshold. The major difficulty is that one cannot construct solutions to the system of Teukolsky equations using variational arguments as it is usually done for the classical wave equation. We introduce a new scheme of proof based on a shooting-type continuity argument and a high-frequency WKB approximation.

AG-2025.06-405

math.AP

Asymptotics and Scattering for Critically Weakly Hyperbolic and Singular Systems

Bolys Sabitbek, Arick Shao

We study a very general class of first-order linear hyperbolic systems that both become weakly hyperbolic and contain lower-order coefficients that blow up at a single time $t = 0$. In "critical" weakly hyperbolic settings, it is well-known that solutions lose a finite amount of regularity at the degenerate time $t = 0$. In this paper, we both improve upon the results in the weakly hyperbolic setting, and we extend this analysis to systems containing critically singular coefficients, which may also exhibit significantly modified asymptotics at $t = 0$. In particular, we give precise quantifications for (1) the asymptotics of solutions as $t$ approaches $0$; (2) the scattering problem of solving the system with asymptotic data at $t = 0$; and (3) the loss of regularity due to the degeneracies at $t = 0$. Finally, we discuss a variety of applications for these results, including to weakly hyperbolic and singular wave equations, equations of higher order, and equations arising from relativity and cosmology, e.g. at big bang singularities.

AG-2025.05-544

math.AP

Well-posed geometric boundary data in General Relativity, II: Dirichlet boundary data

Zhongshan An, Michael T. Anderson

In this second work in a series, we prove the local-in-time well-posedness of the IBVP for the vacuum Einstein equations with Dirichlet boundary data on a finite timelike boundary, provided the Brown-York stress tensor of the boundary is a Lorentz metric of the same sign as the induced Lorentz metric on the boundary. This is a convexity-type assumption which is an exact analog of a similar result in the Riemannian setting. This assumption on the (extrinsic) Brown-York tensor cannot be dropped in general.

AG-2025.04-870

math.AP

Formation of trapped surfaces for the Einstein--Maxwell--charged scalar field system

Dawei Shen, Jingbo Wan

In this paper, we prove a scale-critical trapped surface formation result for the Einstein--Maxwell--charged scalar field (EMCSF) system, without any symmetry assumptions. Specifically, we establish a scale-critical semi-global existence theorem from past null infinity and show that the focusing of gravitational waves, the concentration of electromagnetic fields, or the condensation of complex scalar fields, each individually, can lead to the formation of a trapped surface. In addition, we capture a nontrivial charging process along past null infinity, which introduces new difficulties due to the abnormal behavior of the matter fields. Nevertheless, the semi-global existence result and the formation of a trapped surface remain valid.

AG-2025.04-600

math.AP

Complex structure of time-periodic solutions decoded in Poincaré-Lindstedt series: the cubic conformal wave equation on $\mathbb{S}^{3}$

Filip Ficek, Maciej Maliborski

This work explores the rich structure of spherically symmetric time-periodic solutions of the cubic conformal wave equation on $\mathbb{S}^{3}$. We discover that the families of solutions bifurcating from the eigenmodes of the linearised equation form patterns similar to the ones observed for the cubic wave equation. Alongside the Galerkin approaches, we study them using the new method based on the Padé approximants. To do so, we provide a rigorous perturbative construction of solutions. Due to the conformal symmetry, the solutions presented in this work serve as examples of large time-periodic solutions of the conformally coupled scalar field on the anti-de Sitter background.

AG-2025.03-838

math.AP

Relatively non-degenerate integrated decay estimates on subextremal Kerr de Sitter

Georgios Mavrogiannis

We study the Klein--Gordon equation $\Boxψ-μ^2_{\textit{KG}}ψ=0$ on subextremal Kerr de Sitter black hole backgrounds with parameters $(a,M,l)$, where $l^2=\frac{3}Λ$. We prove a "relatively non degenerate integrated" decay estimate assuming an appropriate mode stability statement for real frequency solutions of Carter's radial ode. Our results, in particular, apply unconditionally in the very slowly rotating case $|a|\ll M,l$, and in the case where $ψ$ is axisymmetric. Exponential decay for $ψ$ to a constant is a consequence of this estimate. To prove our result, we introduce a novel pseudodifferential commutation operator $\mathcal{G}$ that generalizes our previous purely physical space commutation \cite{mavrogiannis} and we use it in conjunction with the Morawetz estimate of our companion \cite{mavrogiannis4}. This pseudodifferential operator is defined using Fourier decomposition with respect to time frequencies $ω$ and azimuthal frequencies $m$, but does not require Carter's full separation.

AG-2025.03-837

math.AP

Boundedness and Morawetz estimates on subextremal Kerr de Sitter

Georgios Mavrogiannis

We study the Klein--Gordon equation $\Box_{g_{a,M,l}}ψ-μ^2_{\textit{KG}}ψ=0$ on subextremal Kerr--de Sitter black hole backgrounds with parameters $(a,M,l)$, where $l^2=\frac{3}Λ$. We prove boundedness and Morawetz estimates assuming an appropriate mode stability statement for real frequency solutions of Carter's radial ode. Our results in particular apply in the very slowly rotating case $|a|\ll M,l$, and in the case where the solution~$ψ$ is axisymmetric. This generalizes the work of Dafermos--Rodnianski \cite{DR3} on Schwarzschild--de~Sitter. The boundedness and Morawetz results of the present paper will be used in our companion \cite{mavrogiannis2} to prove a `relatively non-degenerate integrated estimate' for subextremal Kerr--de Sitter black holes~(and as a consequence exponential decay). In a forthcoming paper \cite{mavrogiannis3}, this will immediately yield nonlinear stability results for quasilinear wave equations on subextremal Kerr--de Sitter backgrounds.

AG-2025.03-665

math.AP

Well-posed geometric boundary data in General Relativity, I: Conformal-mean curvature boundary data

Zhongshan An, Michael T. Anderson

We study the local in time well-posedness of the initial boundary value problem (IBVP) for the vacuum Einstein equations in general relativity with geometric boundary conditions. For conformal-mean curvature boundary conditions, consisting of the conformal class of the boundary metric and mean curvature of the boundary, well-posedness does not hold without imposing additional angle data at the corner. When the corner angle is included as corner data, we prove well-posedness of the linearized problem in $C^{\infty}$, where the linearization is taken at any smooth vacuum Einstein metric.

AG-2025.02-465

math.AP

Null coordinates for quasi-periodic $(1+1)$-dimensional wave operators on the circle with applications to reducibility

Athanasios Chatzikaleas, Jacques Smulevici

Given any wave operator with principle part $\partial_{t}^2 -\partial_{x}^2 +\mathcal{B}^{xx}(ωt,x)\partial_{x}^2$, where $\mathcal{B}^{xx}:\mathbb{T}^{ν+1} \rightarrow \mathbb{R}$ is a sufficiently small, quasi-periodic perturbation and $ω\in \mathbb{R}^ν$, we explain how to construct \emph{null coordinates} that respect the quasi-periodicity of the solutions. As it turns out, in these coordinates, the principal symbol of the wave operator above has constant coefficients. To construct these coordinates, we start by writing the wave operator in geometric form, modulo terms of order $1$, meaning as the wave operator arising from an $(1+1)$-Lorentzian metric and then define null coordinates as solutions to the Eikonal equations, so that the metric is conformally flat in these coordinates. The problem of constructing these coordinates is then eventually reduced to that of straightening a vector field with quasi-periodic coefficients. As an application, we give a novel proof of a recent reducibility result of Berti-Feola-Procesi-Terracina for the quasi-periodically forced linear Klein-Gordon equation, the novelty concerning essentially the analysis of the maximal order terms. In particular, the method we propose here does not rely on any quantitative Egorov-type result.

AG-2025.01-712

math.AP

Semilinear wave equations on extremal Reissner-Nordström black holes revisited

Yannis Angelopoulos, Ryan Unger

We revisit global existence and decay for small-data solutions of semilinear wave equations on extremal Reissner-Nordström black hole backgrounds satisfying the classical null condition, a problem which was previously addressed by the first author in joint work with Aretakis and Gajic (Ann. of PDE, 2020). In this paper, we develop a new approach based on propagating a significantly weaker set of estimates, which allows for a simpler and more streamlined proof. Our proof does not require tracking sharp estimates for the solution in the near-horizon region, which means that it is compatible with, but does not imply, the non-decay and growth hierarchy of derivatives of the solution along the event horizon expected from the Aretakis instability. In particular, this approach is in principle compatible with other settings where stronger horizon instabilities are expected, such as nonlinear charged scalar fields on extremal Reissner-Nordström, or nonlinear waves on extremal Kerr. We also sketch how our proof applies to semilinear problems on spacetimes settling down to extremal Reissner-Nordström, such as those constructed in our joint work with Kehle (arXiv:2410.16234, 2024).

AG-2025.01-515

math.AP

Scattering, Polyhomogeneity and Asymptotics for Quasilinear Wave Equations From Past to Future Null Infinity

Istvan Kadar, Lionor Kehrberger

We present a general construction of semiglobal scattering solutions to quasilinear wave equations in a neighbourhood of spacelike infinity including past and future null infinity, where the scattering data are posed on an ingoing null cone and along past null infinity. More precisely, we prove weighted, optimal-in-decay energy estimates and propagation of polyhomogeneity statements from past to future null infinity for these solutions, we provide an algorithmic procedure how to compute the precise coefficients in the arising polyhomogeneous expansions, and we apply this procedure to various examples. As a corollary, our results directly imply the summability in the spherical harmonic number $\ell$ of the estimates proved for fixed spherical harmonic modes in the papers [Keh22b,KM24] from the series "The Case Against Smooth Null Infinity". Our (physical space) methods are based on weighted energy estimates near spacelike infinity similar to those of [HV23], commutations with (modified) scaling vector fields to remove leading order terms in the relevant expansions, time inversions, as well as the Minkowskian conservation laws: $$ \partial_u(r^{-2\ell}\partial_v(r^2\partial_v)^{\ell}(rφ_{\ell}))=0, $$ which are satisfied if $\Box_ηφ=0$. Our scattering constructions apply to systems of equations as well and go beyond the usual class of finite energy solutions. We use this to also derive a scattering theory and prove propagation of polyhomogeneity for the Einstein vacuum equations in a harmonic gauge. In the process, we also need to introduce a novel ansatz accounting for the stronger-than-Schwarzschildean divergence of the light cones, which, in particular, extends existing exterior stability of Minkowski statements in harmonic gauge to allow for slowly decaying data as considered in [Bie10].

AG-2024.12-1191

math.AP

Stable bi-frequency spinor modes as Dark Matter candidates

Andrew Comech, Niranjana Kulkarni, Nabile Boussaïd, Jesús Cuevas-Maraver

We show that spinor systems with scalar self-interaction, such as the Dirac--Klein--Gordon system with Yukawa coupling or the Soler model, generically have bi-frequency solitary wave solutions. We develop the approach to stability properties of such waves and use the radial reduction to show that indeed the (linear) stability is available for a wide range of parameters. We show that only bi-frequency modes can be dynamically stable and suggest that stable bi-frequency modes can serve as storages of the Dark Matter. The approach is based on linear stability results of one-frequency solitary waves in (3+1)D Soler model, which we obtain as a by-product.

AG-2024.12-640

math.AP

Dissipative relativistic fluid flow: A simple Lorentz invariant causal model capturing entropy shocks in its zero viscosity limit

Moritz Reintjes, Adhiraj Chaddha

Zero viscosity limits are central to the study of classical shock waves. By identifying the correct physical (Lax admissible) shocks, they are a cornerstone in the design of analytical and numerical schemes. For relativistic fluid flow, however, the underlying dissipation mechanism, based on the Euclidean Laplace operator (so-called ``artificial viscosity''), violates Lorentz invariance, the fundamental principle of Special Relativity ensuring the speed of light bound. In this paper we show that replacing the Laplacian on conserved quantities by the wave operator on the fluid four-velocity alone, (not involving the density), provides a simplest Lorentz invariant description of dissipative relativistic fluid flow. We prove the resulting equations are causal and well-posed in one spatial dimension, and we establish their dissipativity by proving decay of Fourier Laplace modes near steady states. Moreover, we prove shock waves have profiles (a unique viscous travelling wave approximation in $L^2$) if and only if the shock wave is Lax admissible, and we prove that entropy production of travelling wave solutions is positive if and only if they obey the speed of light bound. This establishes the dissipative relativistic Euler equations introduced in this paper as an efficient model for the study of relativistic shock waves in the zero viscosity limit, both in analytical and numerical approaches, consistent with the laws of Relativity.

AG-2024.12-615

math.AP

Overview of the proof of the exterior stability of the $(1+3)$-Minkowski space-time governed by the Einstein-Yang-Mills system in the Lorenz gauge

Sari Ghanem

We study the Einstein-Yang-Mills system in both the Lorenz and harmonic gauges, where the Yang-Mills fields are valued in any arbitrary Lie algebra $\cal G$, associated to any compact Lie group $G$. This gives a system of hyperbolic partial partial differential that does not satisfy the null condition and that has new complications that are not present for the Einstein vacuum equations nor for the Einstein-Maxwell system. We prove the exterior stability of the Minkowski space-time, $\mathbb{R}^{1+3}$, governed by the fully coupled Einstein-Yang-Mills system in the Lorenz gauge, valued in any arbitrary Lie algebra $\cal G$, without any assumption of spherical symmetry. We start with an arbitrary sufficiently small initial data, defined in a suitable energy norm for the perturbations of the Yang-Mills potential and of the Minkowski space-time, and we show the well-posedness of the Cauchy development in the exterior, and we prove that this leads to solutions converging in the Lorenz gauge and in wave coordinates to the zero Yang-Mills fields and to the Minkowski space-time. This provides a first detailed proof of the exterior stability of Minkowski governed by the fully non-linear Einstein-Yang-Mills equations in the Lorenz gauge, by using a null frame decomposition that was first used by H. Lindblad and I. Rodnianski for the case of the Einstein vacuum equations. We note that in contrast to the much simpler case of the Einstein-Maxwell equations where one can omit the potential, in fact in the non-abelian case of the Einstein-Yang-Mills equations, the question of stability, or non-stability, is a purely gauge dependent statement and the partial differential equations depend on the gauge on the Yang-Mills potential that is needed to write up the equations.

AG-2024.12-498

math.AP

A localized construction of Kasner-like singularities

Nikolaos Athanasiou, Grigorios Fournodavlos

We construct local, in spacetime, singular solutions to the Einstein vacuum equations that exhibit Kasner-like behavior in their past boundary. Our result can be viewed as a localization (in space) of the construction in \cite{FL}. We also prove a refined uniqueness statement and give a simple argument that generates general asymptotic data for Kasner-like singularities, enjoying all expected degrees of freedom, albeit only locally in space. The key difference of the present work with \cite{FL} is our use of a first order symmetric hyperbolic formulation of the Einstein vacuum equations, relative to the connection coefficients of a parallelly propagated orthonormal frame which is adapted to the Gaussian time foliation. This makes it easier to localize the construction, since elliptic estimates are no longer required to complete the energy argument.

AG-2024.12-032

math.AP

Steady states of the spherically symmetric Vlasov-Poisson system as fixed points of a mass-preserving algorithm

Håkan Andréasson, Markus Kunze, Gerhard Rein

We give a new proof for the existence of spherically symmetric steady states to the Vlasov-Poisson system, following a strategy that has been used successfully to approximate axially symmetric solutions numerically, both to the Vlasov-Poisson system and to the Einstein-Vlasov system. There are several reasons why a mathematical analysis of this numerical scheme is important. A generalization of the present result to the case of flat axially symmetric solutions would prove that the steady states obtained numerically in \cite{AR3} do exist. Moreover, in the relativistic case the question whether a steady state can be obtained by this scheme seems to be related to its dynamical stability. This motivates the desire for a deeper understanding of this strategy.

AG-2024.11-477

math.AP

Systems of Wave Equations on Asymptotically de Sitter Vacuum Spacetimes in All Even Spatial Dimensions

Serban Cicortas

This is the second paper of a two part work that establishes a definitive quantitative nonlinear scattering theory for asymptotically de Sitter vacuum solutions $(M,g)$ in $(n+1)$ dimensions with $n\geq4$ even, which are determined by small scattering data at $\mathscr{I}^{\pm}.$ In this paper we prove quantitative estimates for systems of wave equations on the $(M,g)$ backgrounds. The systems considered include the Einstein vacuum equations commuted with suitable time-dependent vector fields, where we treat the nonlinear terms as general inhomogeneous factors. The estimates obtained are essential in establishing sharp top order estimates for the scattering map of the Einstein vacuum equations, taking asymptotic data at $\mathscr{I}^-$ to asymptotic data at $\mathscr{I}^+$.

AG-2024.11-064

math.AP

Local Well-posedenss of the Bartnik Static Extension Problem near Schwarzschild spheres

Ahmed Ellithy

We establish the local well-posedness of the Bartnik static metric extension problem for arbitrary Bartnik data that perturb that of any sphere in a Schwarzschild $\{t=0\}$ slice. Our result in particular includes spheres with arbitrary small mean curvature. We introduce a new framework to this extension problem by formulating the governing equations in a geodesic gauge, which reduce to a coupled system of elliptic and transport equations. Since standard function spaces for elliptic PDEs are unsuitable for transport equations, we use certain spaces of Bochner-measurable functions traditionally used to study evolution equations. In the process, we establish existence and uniqueness results for elliptic boundary value problems in such spaces in which the elliptic equations are treated as evolutionary equations, and solvability is demonstrated using rigorous energy estimates. The precise nature of the expected difficulty of solving the Bartnik extension problem when the mean curvature is very small is identified and suitably treated in our analysis.

AG-2024.10-463

math.AP

Hyperbolic extensions of constrained PDEs

Fernando Abalos, Oscar Reula, David Hilditch

Systems of PDEs comprised of a combination of constraints and evolution equations are ubiquitous in physics. For both theoretical and practical reasons, such as numerical integration, it is desirable to have a systematic understanding of the well-posedness of the Cauchy problem for these systems. Presently we review the use of hyperbolic reductions, in which the evolution equations are singled out for consideration. We then examine in greater detail the extensions, in which constraints are evolved as auxiliary variables alongside the original variables. Assuming a particular structure of the original system, we give sufficient conditions for strong-hyperbolicity of an extension. This theory is then applied to the examples of electromagnetism and a toy for magnetohydrodynamics.

AG-2024.10-443

math.AP

Geometric scattering for nonlinear wave equations on the Schwarzschild metric

Pham Truong Xuan

In this paper, we establish a conformal scattering theory for defocusing semilinear wave equations on Schwarzschild spacetime. We combine the energy and pointwise decay results for solutions obtained in \cite{Yang} with a Sobolev embedding on spacelike hypersurfaces to derive two-sided energy estimates between the energy flux of solutions through the Cauchy initial hypersurface $Σ_0 = \{ t = 0 \}$ and that through the null conformal boundaries $\mathfrak{H}^+ \cup \scri^+$ (respectively, $\mathfrak{H}^- \cup \scri^-$). By combining these estimates with the well-posedness of the Cauchy and Goursat problems for nonlinear wave equations, we construct a bounded linear and locally Lipschitz scattering operator that maps past scattering data to future scattering data.

AG-2024.10-748

math.AP

Non-Smooth Solutions of the Navier-Stokes Equation

J. Glimm, J. Petrillo

Non-smooth Leray-Hopf solutions of the Navier-Stokes equation are constructed. The construction occurs in a finite periodic cube T3. Entropy production maximizing solutions with turbulent initial data are selected. The proof of finite time blowup is based on analyticity properties of the weak solutions of the Navier-Stokes equation. The turbulent initial data is characterized in terms of its expansion in spherical harmonics basis functions. The mean value of a weak solution of the Navier-Stokes equation is identified as a smooth solution of the Navier-Stokes equation

AG-2024.10-116

math.AP

Uniform Energy Bound for Maxwell-Higgs Equations on Reissner-Nordström Spacetimes

Mulyanto, Ardian N. Atmaja, Fiki T. Akbar, Bobby E. Gunara

In this paper, we prove the uniform energy bound for the Maxwell-Higgs system in the exterior region of Reissner-Nordström black holes. By employing an integrated local energy decay (ILED) estimate in combination with the Sobolev embedding theorem on a compact Riemannian manifold, we derived $L^\infty$ bounds for the fields. These results were then used to obtain a bound for the conformal energy of the system using the Cauchy-Schwarz inequality and Hardy-type inequalities.

AG-2024.10-050

math.AP

Energy-Morawetz estimates for the wave equation in perturbations of Kerr

Siyuan Ma, Jérémie Szeftel

In this paper, we prove energy and Morawetz estimates for solutions to the scalar wave equation in spacetimes with metrics that are perturbations, compatible with nonlinear applications, of Kerr metrics in the full subextremal range. Central to our approach is the proof of a global in time energy-Morawetz estimate conditional on a low frequency control of the solution using microlocal multipliers adapted to the $r$-foliation of the spacetime. This result constitutes a first step towards extending the current proof of Kerr stability in \cite{GCM1} \cite{GCM2} \cite{KS:Kerr} \cite{GKS} \cite{Shen}, valid in the slowly rotating case, to a complete resolution of the black hole stability conjecture, i.e., the statement that the Kerr family of spacetimes is nonlinearly stable for all subextremal angular momenta.

AG-2024.10-041

math.AP

Multisoliton solutions for equivariant wave maps on a $2+1$ dimensional wormhole

Piotr Bizoń, Jacek Jendrej, Maciej Maliborski

We study equivariant wave maps from the $2+1$ dimensional wormhole to the 2-sphere. This model has explicit harmonic map solutions which, in suitable coordinates, have the form of the sine-Gordon kinks/anti-kinks. We conjecture that there exist asymptotically static chains of $N\geq 2$ alternating kinks and anti-kinks whose subsequent rates of expansion increase in geometric progression as $t\rightarrow \infty$. Our argument employs the method of collective coordinates to derive effective finite-dimensional ODE models for the asymptotic dynamics of $N$-chains. For $N=2,3$ the predictions of these effective models are verified by direct PDE computations which demonstrate that the $N$-chains lie at the threshold of kink-anti-kink annihilation.

AG-2024.09-788

math.AP

Existence and Uniqueness of BPS Vacuum and Multi-vortices in Inhomogeneous Abelian Higgs Model

SeungJun Jeon, Chanju Kim, Yoonbai Kim

The BPS limit of the inhomogeneous abelian Higgs model is considered in $(1+2)$-dimensions. The second order Bogomolny equation is examined in the presence of an inhomogeneity expressed as a function of spatial coordinates. Assuming a physically reasonable upper bound on the $L^{2}(\mathbb{R}^{2})$ norm of the inhomogeneity function, we prove the existence and the uniqueness of nontrivial BPS vacuum solution of zero energy and topological BPS multi-vortex solutions of quantized positive energies.

AG-2024.07-591

math.AP

An Analysis of a 2x2 Keyfitz-Kranzer Type Balance System with Varying Generalized Chaplygin Gas

Jack Frew, Nigel Keyser, Ethan Kim, Griffin Paddock, Camden Toumbleston, Sara Wilson, Charis Tsikkou

We consider a system of two balance laws of Keyfitz-Kranzer type with varying generalized Chaplygin gas, which exhibits negative pressure and is a product of a function of time and the inverse of a power of the density. The Chaplygin gas is a fluid designed to accommodate measurements for the early universe and late-time universal expansion while obeying the pressure-density-time relation. We produce an explanation and description of the non-self-similar Riemann solutions, including the non-classical singular solutions. We also find that due to a direct dependence on time, a change in the regions allowing for combinations of classical and non-classical singular solutions occurs, therefore a Riemann solution can have different solutions over several time intervals. Our findings are confirmed numerically using the local Lax-Friederichs scheme.

AG-2024.07-252

math.AP

Linear waves on the expanding region of Schwarzschild-de Sitter spacetimes: forward asymptotics and scattering from infinity

Louie Bernhardt

We study solutions to the linear wave equation on the cosmological region of Schwarzschild-de Sitter spacetimes. We show that all sufficiently regular finite-energy solutions to the linear equation possess a particular finite-order asymptotic expansion near the future boundary. Specifically, we prove that several terms in this asymptotic expansion are identically zero. This is accomplished with new weighted higher-order energy estimates that capture the global expansion of the cosmological region. Furthermore we prove existence and uniqueness of scattering solutions to the linear wave equation on the expanding region. Given two pieces of scattering data at infinity, we construct solutions that have the same asymptotics as forward solutions. The proof involves constructing asymptotic solutions to the wave equation, as well as a new weighted energy estimate that is suitable for the backward problem. This scattering result extends to a large class of expanding spacetimes, including the Kerr de Sitter family.

AG-2024.07-247

math.AP

Asymptotic expansions for semilinear waves on asymptotically flat spacetimes

Shi-Zhuo Looi, Haoren Xiong

We establish precise asymptotic expansions for solutions to semilinear wave equations with power-type nonlinearities on asymptotically flat spacetimes. Our analysis focuses on two key cases: cubic nonlinearities and higher-order power nonlinearities. For cubic nonlinearities of the form $a(t,x)φ^3$, we prove asymptotic expansions for the solution globally in the spacetime. In the special case of compact spatial regions, solutions exhibit the asymptotic behavior $φ(t,x) = ct^{-2} + O(t^{-3+})$. For higher-order nonlinearities $a(t,x)φ^p$ with $p\geq 4$, we prove the solution satisfies $φ(t, x)= d t^{-3} + O(t^{-4+})$, thereby extending the classical Price's law (a late-time tail postulated in 1972) to nonlinear settings in a precise fashion. These results sharpen previous decay estimates for nonlinear waves. We develop a radiation field expansion and a low-energy resolvent expansion adapted to conormal asymptotic inputs, extending Hintz's approach for linear waves to the semilinear setting. Our methods connect geometric microlocal analysis (b-calculus) with classical physical-space techniques, providing a convenient tool for analyzing asymptotic behavior of nonlinear waves.

AG-2024.07-189

math.AP

On boundary conditions for linearised Einstein's equations

Matteo Capoferri, Simone Murro, Gabriel Schmid

We investigate the properties of a fairly large class of boundary conditions for the linearised Einstein equations in the Riemannian setting, ones which generalise the linearised counterpart of boundary conditions proposed by Anderson. Through the prism of the quest to quantise gravitational waves in curved spacetimes, we study their properties from the point of view of ellipticity, gauge invariance, and the existence of a spectral gap.

AG-2024.07-147

math.AP

One-Dimensional Carrollian Fluids III: Global Existence and Weak Continuity in $L^\infty$

P. Marios Petropoulos, Simon Schulz, Grigalius Taujanskas

The Carrollian fluid equations arise as the $c \to 0$ limit of the relativistic fluid equations and have recently experienced a surge of activity in the flat-space holography community. However, the rigorous mathematical well-posedness theory for these equations does not appear to have been previously studied. This paper is the third in a series in which we initiate the systematic analysis of the Carrollian fluid equations. In the present work we prove the global-in-time existence of bounded entropy solutions to the isentropic Carrollian fluid equations in one spatial dimension for a particular constitutive law ($γ= 3$). Our method is to use a vanishing viscosity approximation for which we establish a compensated compactness framework. Using this framework we also prove the compactness of entropy solutions in $L^\infty$, and establish a kinetic formulation of the problem. This global existence result in $L^\infty$ extends the $C^1$ theory presented in our companion paper ``One-Dimensional Carrollian Fluids II: $C^1$ Blow-up Criteria''.

AG-2024.07-146

math.AP

One-dimensional Carrollian fluids II: $C^1$ blow-up criteria

Nikolaos Athanasiou, P. Marios Petropoulos, Simon Schulz, Grigalius Taujanskas

The Carrollian fluid equations arise from the equations for relativistic fluids in the limit as the speed of light vanishes, and have recently experienced a surge of interest in the theoretical physics community in the context of asymptotic symmetries and flat-space holography. In this paper we initiate the rigorous systematic analysis of these equations by studying them in one space dimension in the $C^1$ setting. We begin by proposing a notion of isentropic Carrollian equations, and use this to reduce the Carrollian equations to a $2 \times 2$ system of conservation laws. Using the scheme of Lax, we then classify when $C^1$ solutions to the isentropic Carrollian equations exist globally, or blow up in finite time. Our analysis assumes a Carrollian analogue of a constitutive relation for the Carrollian energy density, with exponent in the range $γ\in (1,3]$.

AG-2024.07-114

math.AP

Quasinormal modes for the Kerr black hole

Thomas Stucker

We provide a rigorous definition of quasinormal modes for the Kerr black hole. They are obtained as the discrete set of poles of the meromorphically continued cutoff resolvent. The construction combines the method of complex scaling near asymptotically flat infinity with microlocal methods near the black hole horizon. We study the distribution of quasinormal modes in both the high and low energy regimes. We establish the existence of a high energy spectral gap and exclude the accumulation of quasinormal modes at zero energy.

AG-2024.06-024

math.AP

A Sufficient Condition for Blowup of the Nonlinear Klein-Gordon Equation with Positive Initial Energy in FLRW Spacetimes

Jonathon McCollum, Gregory Mwamba, Jesús Oliver

In this paper we demonstrate a sufficient condition for blowup of the nonlinear Klein-Gordon equation with arbitrarily positive initial energy in Friedmann-Lemaître-Robertson-Walker spacetimes. This is accomplished using an established concavity method that has been employed for similar PDEs in Minkowski space. This proof relies on the energy inequality associated with this equation, $E(t_0)\geq E(t)$, also proved herein using a geometric method.

AG-2024.05-1956

math.AP

Observed quantum particles system with graphon interaction

Sofiane Chalal, Nina H. Amini, Gaoyue Guo, Hamed Amini

In this paper, we consider a system of heterogeneously interacting quantum particles subject to indirect continuous measurement. The interaction is assumed to be of the mean-field type. We derive a new limiting quantum graphon system, prove the well-posedness of this system, and establish a stability result.

AG-2024.05-052

math.AP

Spacelike initial data for black hole stability

Allen Juntao Fang, Jérémie Szeftel, Arthur Touati

We construct initial data suitable for the Kerr stability conjecture, that is, solutions to the constraint equations on a spacelike hypersurface with boundary entering the black hole horizon that are arbitrarily decaying perturbations of a Kerr initial data set. This results from a more general perturbative construction on any asymptotically flat initial data set with the topology of $\mathbb{R}^3\setminus\{r<1\}$ enjoying some analyticity near and at the boundary. In particular, we design a suitable mixed boundary condition for the elliptic operator of the conformal method in order to exclude the Killing initial data sets (KIDS).

AG-2024.04-531

math.AP

Exterior stability of Minkowski spacetime with borderline decay

Dawei Shen

In 1993, the global stability of Minkowski spacetime was proved in the celebrated work of Christodoulou and Klainerman. In 2003, Klainerman and Nicolò revisited Minkowski stability in the exterior of an outgoing null cone. In 2023, the author extended the results of Christodoulou-Klainerman to minimal decay assumptions. In this paper, we prove that the exterior stability of Minkowski holds with decay that is borderline compared to the minimal decay considered in 2023.

AG-2024.04-186

math.AP

Future stability of perfect fluids with extreme tilt and linear equation of state $p=c_s^2ρ$ for the Einstein-Euler system with positive cosmological constant: The range $\frac{1}{3}<c_s^2<\frac{3}{7}$

Grigorios Fournodavlos, Elliot Marshall, Todd A. Oliynyk

We study the future stability of cosmological fluids, in spacetimes with an accelerated expansion, which exhibit extreme tilt behavior, ie. their fluid velocity becoming asymptotically null at timelike infinity. It has been predicted in the article \cite{LEUW} that the latter behavior is dominant for sound speeds beyond radiation $c_s=1/\sqrt{3}$, hence, bifurcating off of the stable orthogonal fluid behavior modeled by the classical FLRW family of solutions, for $c_s^2\in[0,\frac{1}{3}]$. First, we construct homogeneous solutions to the Einstein-Euler system with the latter behavior, in $\mathbb{S}^3$ spatial topology, for sound speeds $c_s^2\in(\frac{1}{3},1)$. Then, we study their future dynamics and prove a global stability result in the restricted range $c_s^2\in(\frac{1}{3},\frac{3}{7})$. In particular, we show that extreme tilt behavior persists to sufficiently small perturbations of the homogeneous backgrounds, without any symmetry assumptions or analyticity. Our method is based on a bootstrap argument, in weighted Sobolev spaces, capturing the exponential decay of suitable renormalized variables. Extreme tilt behavior is associated with a degeneracy in the top order energy estimates that we derive, which allows us to complete our bootstrap argument only in the aforementioned restricted range of sound speeds. Interestingly, this is a degeneracy that does not appear in the study of formal series expansions. Moreover, for the Euler equations on a fixed FLRW background, our estimates can be improved to treat the entire beyond radiation interval $c_s^2\in(\frac{1}{3},1)$, a result already obtained in \cite{MO}. The latter indicates that the former issue is related to the general inhomogeneous geometry of the perturbed metric in the coupled to Einstein case.

AG-2024.03-223

math.AP

Hardy inequalities and uncertainty principles in the presence of a black hole

Miltiadis Paschalis

In this paper we establish Hardy and Heisenberg uncertainty-type inequalities for the exterior of a Schwarzschild black hole. The weights that appear in both inequalities are tailored to fit the geometry, and can both be compared to the related Riemannian distance from the event horizon to yield inequalities for that distance. Moreover, in both cases the classic Euclidean inequalities with a point singularity can be recovered in the limit where one stands "far enough" from the black hole, as expected from the asymptotic flatness of the metric.

AG-2024.02-443

math.AP

The reverse Burnett conjecture for null dusts

Arthur Touati

Given a regular solution $\mathbf{g}_0$ of the Einstein-null dusts system without restriction on the number of dusts, we construct families of solutions $(\mathbf{g}_λ)_{λ\in(0,1]}$ of the Einstein vacuum equations such that $\mathbf{g}_λ-\mathbf{g}_0$ and $\partial(\mathbf{g}_λ-\mathbf{g}_0)$ converges respectively strongly and weakly to 0 when $λ\to0$. Our construction, based on a multiphase geometric optics ansatz, thus extends the validity of the reverse Burnett conjecture without symmetry to a large class of massless kinetic spacetimes. In order to deal with the finite but arbitrary number of direction of oscillations we work in a generalised wave gauge and control precisely the self-interaction of each wave but also the interaction of waves propagating in different null directions, relying crucially on the non-linear structure of the Einstein vacuum equations. We also provide the construction of oscillating initial data solving the vacuum constraint equations and which are consistent with the spacetime ansatz.

AG-2024.02-2276

math.AP

Stability of viscous three-dimensional stratified Couette flow via dispersion and mixing

Michele Coti Zelati, Augusto Del Zotto, Klaus Widmayer

This article explores the stability of stratified Couette flow in the viscous $3d$ Boussinesq equations. In this system, mixing effects arise from the shearing background, and gravity acts as a restoring force leading to dispersive internal gravity waves. These mechanisms are of fundamentally different nature and relevant in complementary dynamical regimes. Our study combines them to establish a bound for the nonlinear transition threshold, which is quantitatively larger than the inverse Reynolds number $ν$, and increases with stronger stratification resp. gravity.

AG-2024.02-2287

math.AP

Rotating Rayleigh-Benard convection: Attractors, bifurcations and heat transport via a Galerkin hierarchy

Roland Welter

Motivated by the need for energetically consistent climate models, the Boussinessq-Coriolis (BC) equations are studied with a focus on the averaged vertical heat transport, ie the Nusselt number. A set of formulae are derived by which arbitrary Fourier truncations of the BC model can be explicitly generated, and Criteria are given which precisely guarantee that such truncated models obey energy relations consistent with the PDE. The Howard-Krishnamurti-Coriolis (HKC) hierarchy of such energetically consistent ODE models is then implemented in MATLAB, with code available on GitHub. Several theoretical results are proven to support a numerical analysis. Well-posedness and convergence of the HKC hierarchy toward the BC model are proven, as well as the existence of an attractor for the BC model. Since the rate of convergence is unknown, explicit upper and lower bounds on the attractor dimension are proven so as to provide guidance for the required spatial resolution for an accurate approximation of the Nusselt number. Finally, a series of numerical studies are performed using MATLAB, which investigate the required spatial resolution and indicate the presence of multiple stable values of the Nusselt number, setting the stage for an energetically consistent analysis of convective heat transport.

AG-2024.02-282

math.AP

Existence of a minimizer to the particle number-Casimir functional for the Einstein-Vlasov system

Håkan Andréasson, Markus Kunze

In 2001 Wolansky \cite{Wol} introduced a particle number-Casimir functional for the Einstein-Vlasov system. Two open questions are associated with this functional. First, a meaningful variational problem should be formulated and the existence of a minimizer to this problem should be established. The second issue is to show that a minimizer, for some choice of the parameters, is a static solution of the Einstein-Vlasov system. In the present work we solve the first problem by proving the existence of a minimizer to the particle number-Casimir functional. On the technical side, it is a main achievement that we are able to bypass the non-compactness of minimizing sequences by new arguments in both $v$-space and $x$-space, which might have several further applications. We note that such compactness results for the Einstein-Vlasov system have been absent in the literature, whereas similar results have been known in the Newtonian case. We also provide arguments which give strong support that minimizers corresponding to small masses are static solutions of the Einstein-Vlasov system. Furthermore, our analysis leads us to propose a new stability criterion for static solutions: We conjecture that a static solution for which the Casimir-binding energy is positive is stable for mass-preserving perturbations.

AG-2024.01-391

math.AP

Initial data for Minkowski stability with arbitrary decay

Allen Juntao Fang, Jérémie Szeftel, Arthur Touati

We construct and parametrize solutions to the constraint equations of general relativity in a neighborhood of Minkowski spacetime with arbitrary prescribed decay properties at infinity. We thus provide a large class of initial data for the results on stability of Minkowski which include a mass term in the asymptotics. Due to the symmetries of Minkowski, a naive linear perturbation fails. Our construction is based on a simplified conformal method, a reduction to transverse traceless perturbations and a nonlinear fixed point argument where we face linear obstructions coming from the cokernels of both the linearized constraint operator and the Laplace operator. To tackle these obstructions, we introduce a well-chosen truncated black hole around which to perturb. The control of the parameters of the truncated black hole is the most technical part of the proof, since its center of mass and angular momentum could be arbitrarily large.

AG-2024.01-354

math.AP

Late-time tails for scale-invariant wave equations with a potential and the near-horizon geometry of null infinity

Dejan Gajic, Maxime Van de Moortel

We provide a definitive treatment, including sharp decay and the precise late-time asymptotic profile, for generic solutions of linear wave equations with a (singular) inverse-square potential in (3+1)-dimensional Minkowski spacetime. Such equations are scale-invariant and we show their solutions decay in time at a rate determined by the coefficient in the inverse-square potential. We present a novel, geometric, physical-space approach for determining late-time asymptotics, based around embedding Minkowski spacetime conformally into the spacetime $AdS_2 \times \mathbb{S}^2$ (with $AdS_2$ the two-dimensional anti de-Sitter spacetime) to turn a global late-time asymptotics problem into a local existence problem for the wave equation in $AdS_2 \times \mathbb{S}^2$. Our approach is inspired by the treatment of the near-horizon geometry of extremal black holes in the physics literature. We moreover apply our method to another scale-invariant model: the (complex-valued) charged wave equation on Minkowski spacetime in the presence of a static electric field, which can be viewed as a simplification of the charged Maxwell-Klein-Gordon equations on a black hole spacetime.

AG-2024.01-218

math.AP

Scattering towards the singularity for the wave equation and the linearized Einstein-scalar field system in Kasner spacetimes

Warren Li

We consider the scalar wave equation $\square_g φ$ and the linearized Einstein-scalar field system around generalized Kasner spacetimes with spatial topology $\mathbb{T}^D$. In suitable regimes for the Kasner exponents, it is known that solutions to such equations arising from regular Cauchy data (e.g. at $t = 1$) have certain quantitative blow-up asymptotics near the initial time (i.e. $t = 0$) singularity of Kasner. For instance, solutions to the wave equation behave as $φ(t, x) \approx ψ_{\infty}(x) \log t + \varphi_{\infty}(x)$ near $t = 0$. This article provides a description, and proof, of a scattering theory for the above equations, linking Cauchy data at $t = 1$ and suitable asymptotic data at $t = 0$ in Kasner. For the scalar wave equation, this means a Hilbert space isomorphism between $(φ, \partial_t φ)$ at $t = 1$ and the functions $(ψ_{\infty}, \varphi_{\infty})$. A curious detail is that certain quantities e.g. $ψ_{\infty}$, feature a gain of 1/2 a derivative when compared to $\partial_t φ$ at t = 1. The study of the linearized Einstein-scalar field system reveals further interesting phenomena, including differences between diagonal and off-diagonal components of certain tensors in the scattering theory, and that the losses of derivatives feature a sensitive dependence on the anisotropy of the background Kasner spacetime. In fact, though our result holds for the entire subcritical regime of background Kasner exponents, the number of derivatives lost and gained in the scattering theory can become unbounded as one nears the boundary of this regime.

AG-2024.01-2239

math.AP

Asymptotic behavior for a new higher-order nonlinear Schrödinger equation

Hongyi Zhang, Yufeng Zhang, Binlu Feng

We investigate the Cauchy problem of a new higher-order nonlinear Schrödinger equation (NHNSE) with weighted Sobolev initial data which is derived by ourselves. By applying $\bar{\partial}$-steepest descent method, we derive the long-time asymptotics of the NHNSE. Explicit steps are as follows: first of all, based on the spectral analysis of a Lax pair and scattering matrice, the solution of the NHNSE is exhibted through solving the corresponding Riemann-Hilbert problem. Secondly, by applying some properties of the Riemann-Hilbert problem, we obtain the long-time asymptotics of the solution to the NHNSE. As we know that the properties of the NHNSE presented in the paper have not been found in any scholar journals.

AG-2024.01-1507

math.AP

Enhanced Stability in Quantum Optimal Transport Pseudometrics: From Hartree to Vlasov-Poisson

Mikaela Iacobelli, Laurent Lafleche

In this paper we establish almost-optimal stability estimates in quantum optimal transport pseudometrics for the semiclassical limit of the Hartree dynamics to the Vlasov-Poisson equation, in the regime where the solutions have bounded densities. We combine Golse and Paul's method from [Arch. Ration. Mech. Anal. 223:57-94, 2017], which uses a semiclassical version of the optimal transport distance and which was adapted to the case of the Coulomb and gravitational interactions by the second author in [J. Stat. Phys. 177:20-60, 2019], with a new approach developed by the first author in [Arch. Ration. Mech. Anal. 244:27-50, 2022] to quantitatively improve stability estimates in kinetic theory.

AG-2021.12-001

math.AP

Inverse problem for the Rayleigh system with spectral data

Maarten V. de Hoop, Alexei Iantchenko

We analyze an inverse problem associated with the time-harmonic Rayleigh system on a flat elastic half-space concerning the recovery of Lamé parameters in a slab beneath a traction-free surface. We employ the Markushevich substitution, while the data are captured in a Jost function, and point out parallels with a corresponding problem for the Schrödinger equation. The Jost function can be identified with spectral data. We derive a Gel&#39;fand-Levitan type equation and obtain uniqueness with two distinct frequencies.

AG-2015.06-1512

math.AP

Existence and symmetries of solutions in Besov-Morrey spaces for a semilinear heat-wave type equation

M. F. de Almeida, J. C. Precioso

This paper considers a semilinear integro-differential equation of Volterra type which interpolates semilinear heat and wave equations. Global existence of solutions is showed in spaces of Besov type based in Morrey spaces, namely Besov-Morrey spaces. Our initial data is larger than the previous works and our results provide a maximal existence class for semilinear interpolated heat-wave equation. Some symmetries, self-similarity and asymptotic behavior of solutions are also investigated in the framework of Besov-Morrey spaces.

AG-2015.06-1591

math.AP

Ultrasound modulated bioluminescence tomography and controllability of the radiative transport equation

Guillaume Bal, Francis J. Chung, John C. Schotland

We propose a method to reconstruct the density of an optical source in a highly scattering medium from ultrasound-modulated optical measurements. Our approach is based on the solution to a hybrid inverse source problem for the radiative transport equation (RTE). A controllability result for the RTE plays an essential role in the analysis.

AG-2015.06-1402

math.AP

&#34;Irregularization&#34; of Systems of Conservation Laws

Hunter Swan, Woosong Choi, Stefanos Papanikolaou, Matthew Bierbaum, Yong S. Chen, James P. Sethna

We explore new ways of regulating defect behavior in systems of conservation laws. Contrary to usual regularization schemes (such as a vanishing viscosity limit), which attempt to control defects by making them smoother, our schemes result in defects which are \textit{more singular}, and we thus refer to such schemes as &#34;irregularizations&#34;. In particular, we seek to produce \textit{delta shock} defects which satisfy a condition of \textit{stationarity}. We are motivated to pursue such exotic defects by a physical example arising from dislocation dynamics in materials physics, which we describe.

AG-2015.06-887

math.AP

Linear Inviscid Damping for Monotone Shear Flows

Christian Zillinger

In this article, we prove linear stability, scattering and inviscid damping with optimal decay rates for the linearized 2D Euler equations around a large class of strictly monotone shear flows, $(U(y),0)$, in a periodic channel under Sobolev perturbations. Here, we consider the settings of both an infinite periodic channel of period $L$, $\mathbb{T}_{L}\times \mathbb{R}$, as well as a finite periodic channel, $\mathbb{T}_{L} \times [0,1]$, with impermeable walls. The latter setting is shown to not only be technically more challenging, but to exhibit qualitatively different behavior due to boundary effects.

AG-2015.06-861

math.AP

Dynamics near the subcritical transition of the 3D Couette flow I: Below threshold case

Jacob Bedrossian, Pierre Germain, Nader Masmoudi

We study small disturbances to the periodic, plane Couette flow in the 3D incompressible Navier-Stokes equations at high Reynolds number $\textbf{Re}$. We prove that for sufficiently regular initial data of size $ε\leq c_0\textbf{Re}^{-1}$ for some universal $c_0 > 0$, the solution is global, remains within $O(c_0)$ of the Couette flow in $L^2$, and returns to the Couette flow as $t \rightarrow \infty$. For times $t \gtrsim \textbf{Re}^{1/3}$, the streamwise dependence is damped by a mixing-enhanced dissipation effect and the solution is rapidly attracted to the class of &#34;2.5 dimensional&#34; streamwise-independent solutions referred to as streaks. Our analysis contains perturbations that experience a transient growth of kinetic energy from $O(\textbf{Re}^{-1})$ to $O(c_0)$ due to the algebraic linear instability known as the lift-up effect. Furthermore, solutions can exhibit a direct cascade of energy to small scales. The behavior is very different from the 2D Couette flow, in which stability is independent of $\textbf{Re}$, enstrophy experiences a direct cascade, and inviscid damping is dominant (resulting in a kind of inverse energy cascade). In 3D, inviscid damping will play a role on one component of the velocity, but the primary stability mechanism is the mixing-enhanced dissipation. Central to the proof is a detailed analysis of the interplay between the stabilizing effects of the mixing and enhanced dissipation and the destabilizing effects of the lift-up effect, vortex stretching, and weakly nonlinear instabilities connected to the non-normal nature of the linearization.

AG-2015.06-862

math.AP

Dynamics near the subcritical transition of the 3D Couette flow II: Above threshold case

Jacob Bedrossian, Pierre Germain, Nader Masmoudi

This is the second in a pair of works which study small disturbances to the plane, periodic 3D Couette flow in the incompressible Navier-Stokes equations at high Reynolds number $\textbf{Re}$. In this work, we show that there is constant $0 < c_0 \ll 1$, independent of $\textbf{Re}$, such that sufficiently regular disturbances of size $ε\lesssim \textbf{Re}^{-2/3-δ}$ for any $δ> 0$ exist at least until $t = c_0ε^{-1}$ and in general evolve to be $O(c_0)$ due to the lift-up effect. Further, after times $t \gtrsim \textbf{Re}^{1/3}$, the streamwise dependence of the solution is rapidly diminished by a mixing-enhanced dissipation effect and the solution is attracted back to the class of &#34;2.5 dimensional&#34; streamwise-independent solutions (sometimes referred to as &#34;streaks&#34;). The largest of these streaks are expected to eventually undergo a secondary instability at $t \approx ε^{-1}$. Hence, our work strongly suggests, for all (sufficiently regular) initial data, the genericity of the &#34;lift-up effect $\Rightarrow$ streak growth $\Rightarrow$ streak breakdown&#34; scenario for turbulent transition of the 3D Couette flow near the threshold of stability forwarded in the applied mathematics and physics literature.

AG-2015.06-734

math.AP

General decay for a viscoelastic wave equation with dynamic boundary conditions and a time-varying delay

Gang Li, Biqing Zhu, Danhua Wang

The goal of this paper is to study a nonlinear viscoelastic wave equation with strong damping, time-varying delay and dynamical boundary condition. By introducing suitable energy and Lyapunov functionals, under suitable assumptions, we then prove a general decay result of the energy, from which the usual exponential and polynomial decay rates are only special cases.

AG-2015.06-536

math.AP

Global Well-Posedness Of A Non-Local Burgers Equation: The Periodic Case

Cyril Imbert, Roman Shvydkoy, Francois Vigneron

This paper is concerned with the study of a non-local Burgers equation for positive bounded periodic initial data. The equation reads $$ u_t - u |\nabla| u + |\nabla|(u^2) = 0. $$ We construct global classical solutions starting from smooth positive data, and global weak solutions starting from data in $L^\infty$. We show that any weak solution is instantaneously regularized into $C^\infty$. We also describe the long-time behavior of all solutions. Our methods follow several recent advances in the regularity theory of parabolic integro-differential equations.

AG-2015.06-508

math.AP

Existence, general decay and blow-up of solutions for a viscoelastic Kirchhoff equation with Balakrishnan-Taylor damping and dynamic boundary conditions

Gang Li, Biqing Zhu, Danhua Wang

Our aim in this article is to study a nonlinear viscoelastic Kirchhoff equation with strong damping, Balakrishnan-Taylor damping, nonlinear source and dynamical boundary condition. Firstly, we prove the local existence of solutions by using the Faedo-Galerkin approximation method combined with a contraction mapping theorem. We then prove that if the initial data enter into the stable set, the solution globally exists, and if the initial data enter into the unstable set, the solution blows up in a finite time. Moreover, we obtain a general decay result of the energy, from which the usual exponential and polynomial decay rates are only special cases.

AG-2015.06-443

math.AP

Local monotonicity for the Yang-Mills-Higgs flow

Ahmad Afuni

A local monotonicity formula for the Yang-Mills-Higgs flow on $G$-bundles over $\mathbb{R}^{n}$ ($n>4$) is proved. It is shown that the monotone quantity coïncides on certain self-similar solutions with that appearing in existing non-local monotonicity formulæ for the Yang-Mills and Yang-Mills-Higgs flows.

AG-2015.06-808

math.AP

Exact solution of Helmholtz equation for the case of non-paraxial Gaussian beams

Sergey V. Ershkov

A new type of exact solutions of the full 3 dimensional spatial Helmholtz equation for the case of non-paraxial Gaussian beams is presented here. We consider appropriate representation of the solution for Gaussian beams in a spherical coordinate system by substituting it to the full 3 dimensional spatial Helmholtz Equation. Analyzing the structure of the final equation, we obtain that governing equations for the components of our solution are represented by the proper Riccati equations of complex value, which has no analytical solution in general case. But we find one of the possible exact solution which is proved to satisfy to such an equations for Gaussian beams. Decreasing of the amplitude A of presented solution up to the zero (at the appropriate meaning of angle parameter) could be associated with the existence of an optical vortex at this point. Optical vortex (also known as a &#34;dislocation in wave trains&#34;) is a zero of an optical field, a point of zero intensity.

AG-2015.06-270

math.AP

On the time slicing approximation of Feynman path integrals for non-smooth potentials

Fabio Nicola

We consider the time slicing approximations of Feynman path integrals, constructed via piecewice classical paths. A detailed study of the convergence in the norm operator topology, in the space $\mathcal{B}(L^2(\mathbb{R}^d))$ of bounded operators on $L^2$, and even in finer operator topologies, was carried on by D. Fujiwara in the case of smooth potentials with an at most quadratic growth. In the present paper we show that the result about the convergence in $\mathcal{B}(L^2(\mathbb{R}^d))$ remains valid if the potential is only assumed to have second space derivatives in the Sobolev space $H^{d+1}(\mathbb{R}^d)$ (locally and uniformly), uniformly in time. The proof is non-perturbative in nature, but relies on a precise short time analysis of the Hamiltonian flow at this Sobolev regularity and on the continuity in $L^2$ of certain oscillatory integral operators with non-smooth phase and amplitude.

AG-2015.06-246

math.AP

Tear-off versus global existence for a structured model of adhesion mediated by transient elastic linkages

Vuk Milisic, Dietmar Oelz

We consider a microscopic model for friction mediated by transient elastic linkages introduced in [V. Milisic and D. Oelz. SIAM J. on Math. Anal. (2015). V. Milisic and D. Oelz. J. Math. Pures Appl. (2011)]. In the present study we prove existence and uniqueness of a solution to the coupled system under weaker hypotheses. The theory we present covers the case where the off-rate of linkages is unbounded but increasing at most linearly with respect to the mechanical load. The time of existence is typically bounded and corresponds to tear-off where the moving binding site does not have any bonds with the substrate. However, under additional assumptions on the external force we prove global in time existence of a solution that consequently stays attached to the substrate.

AG-2015.06-208

math.AP

Sharp lower bounds for Coulomb energy

Jacopo Bellazzini, Marco Ghimenti, Tohru Ozawa

We prove $L^p$ lower bounds for Coulomb energy for radially symmetric functions in $\dot H^s(\R^3)$ with $\frac 12 <s<\frac{3}{2}$. In case $\frac 12 <s \leq 1$ we show that the lower bounds are sharp.

AG-2015.06-128

math.AP

A quantitative geometric rigidity result in SBD

Manuel Friedrich, Bernd Schmidt

We present a quantitative geometric rigidity estimate for special functions of bounded deformation in a planar setting generalizing the result by Friesecke, James, Müller obtained in nonlinear elasticity theory and the piecewise rigidity result by Chambolle, Giacomini, Ponsiglione for brittle materials which do not store elastic energy. We show that for each deformation there is an associated triple consisting of a partition of the domain, a corresponding piecewise rigid motion being constant on each connected component of the cracked body and a displacement field measuring the distance of the deformation from the piecewise rigid motion. We also present a related estimate in the geometrically linear setting which can be interpreted as a `piecewise Korn-Poincaré inequality&#39;.

AG-2015.05-2326

math.AP

On the well-posedness of a mathematical model for Lithium-ion batteries

Angel Manuel Ramos

In this article we discuss the well-posedness of a mathematical model that is used in the literature for the simulation of Lithium-ion (Li-ion) batteries. First, a mathematical model based on a macro-homogeneous approach is presented, following previous works. Then it is showed, from a physical and a mathematical point of view, that a boundary condition widely used in the literature is not correct. Although these errors could be just sign typos (that can be explained as carelessness over d/d$x$ versus d/d$n$, with $n$ the outward unit vector) and authors using this model probably use the correct boundary condition when they solve it in order to do simulations, readers should be aware of the right choice. Therefore, the deduction of the correct boundary condition and a mathematical study of the well-posedness of the corresponding problem is carried out here.

AG-2015.05-2107

math.AP

The inviscid limit to a contact discontinuity for the compressible Navier-Stokes-Fourier system using the relative entropy method

Alexis Vasseur, Yi Wang

We consider the zero heat conductivity limit to a contact discontinuity for the mono-dimensional full compressible Navier-Stokes-Fourier system. The method is based on the relative entropy method, and do not assume any smallness conditions on the discontinuity, nor on the $BV$ norm of the initial data. It is proved that for any viscosity $ν\geq0$, the solution of the compressible Navier-Stokes-Fourier system (with well prepared initial value) converges, when the heat conductivity $κ$ tends to zero, to the contact discontinuity solution to the corresponding Euler system. We obtain the decay rate $κ^{\frac12}$. It implies that the heat conductivity dominates the dissipation in the regime of the limit to a contact discontinuity. This is the first result, based on the relative entropy, of an asymptotic limit to a discontinuous solutions for a system.

AG-2015.05-2013

math.AP

On Nonhomogeneous Boundary Value Problems for the Stationary Navier--Stokes Equations in 2D Symmetric Semi-Infinite Outlets

M. Chipot, K. Kaulakyt, K. Pileckas, W. Xue

We study the stationary nonhomogeneous Navier--Stokes problem in a two dimensional symmetric domain with a semi-infinite outlet (for instance, either parabo-\\loidal or channel-like). Under the symmetry assumptions on the domain, boundary value and external force we prove the existence of at least one weak symmetric solution without any restriction on the size of the fluxes, i.e. the fluxes of the boundary value ${\bf a}$ over the inner and the outer boundaries may be arbitrarily large. Only the necessary compatibility condition (the total flux is equal to zero) has to be satisfied. Moreover, the Dirichlet integral of the solution can be finite or infinite depending on the geometry of the domain.

AG-2015.05-1909

math.AP

On defocusing coupled nonlinear Schrodinger equations

Tarek Saanouni

The initial value problem for some defocusing coupled nonlinear Schrodinger equations is investigated. Global well-posedness and scattering are established.

AG-2015.05-1631

math.AP

The Landau-Zener transition and the surface hopping method for the 2D Dirac equation for graphene

Ali Faraj, Shi Jin

A Lagrangian surface hopping algorithm is implemented to study the two dimensional massless Dirac equation for Graphene with an electrostatic potential, in the semiclassical regime. In this problem, the crossing of the energy levels of the system at Dirac points requires a particular treatment in the algorithm in order to describe the quantum transition-- characterized by the Landau-Zener probability-- between different energy levels. We first derive the Landau-Zener probability for the underlying problem, then incorporate it into the surface hopping algorithm. We also show that different asymptotic models for this problem derived in [O. Morandi, F. Sch{ü}rrer, J. Phys. A: Math. Theor. 44 (2011)] may give different transition probabilities. We conduct numerical experiments to compare the solutions to the Dirac equation, the surface hopping algorithm, and the asymptotic models of [O. Morandi, F. Sch{ü}rrer, J. Phys. A: Math. Theor. 44 (2011)].

AG-2015.05-1573

math.AP

From Toda to KdV

Dario Bambusi, Thomas Kappeler, Thierry Paul

For periodic Toda chains with a large number $N$ of particles we consider states which are $N^{-2}$-close to the equilibrium and constructed by discretizing arbitrary given $C^2-$functions with mesh size $N^{-1}.$ Our aim is to describe the spectrum of the Jacobi matrices $L\_N$ appearing in the Lax pair formulation of the dynamics of these states as $N \to \infty$. To this end we construct two Hill operators $H\_\pm$ -- such operators come up in the Lax pair formulation of the Korteweg-de Vries equation -- and prove by methods of semiclassical analysis that the asymptotics as $N \rightarrow \infty $ of the eigenvalues at the edges of the spectrum of $L\_N$ are of the form $\pm (2-(2N)^{-2} λ^\pm \_n + \cdots )$ where $(λ^\pm \_n)\_{n \geq 0}$ are the eigenvalues of $H\_\pm $. In the bulk of the spectrum, the eigenvalues are $o(N^{-2})$-close to the ones of the equilibrium matrix. As an application we obtain asymptotics of a similar type of the discriminant, associated to $L\_N$.

AG-2015.05-1277

math.AP

Concentration and non-concentration for the Schrödinger evolution on Zoll manifolds

Fabricio Macià, Gabriel Rivière

We study the long time dynamics of the Schrödinger equation on Zoll manifolds. We establish criteria under which the solutions of the Schrödinger equation can or cannot concentrate on a given closed geodesic. As an application, we derive some results on the set of semiclassical measures for eigenfunctions of Schrödinger operators: we prove that adding a potential to the Laplacian on the sphere results on the existence of geodesics $γ$ such that $δ_γ$ cannot be obtained as a semiclassical measure for some sequence of eigenfunctions. We also show that the same phenomenon occurs for the free Laplacian on certain Zoll surfaces.

AG-2015.05-778

math.AP

Nonlinear Fokker-Planck equation: stability, distance and corresponding extremal problem in the spatially inhomogeneous case

Alexander Sakhnovich, Lev Sakhnovich

We start with a global Maxwellian $M_{k}$, which is a stationary solution, with the constant total density ($ρ(t)\equiv \wt ρ$), of the Fokker-Planck equation. The notion of distance between the function $M_{k}$ and an arbitrary solution $f$ (with the same total density $\wt ρ$ at the fixed moment $t$) of the Fokker-Planck equation is introduced. In this way, we essentially generalize the important Kullback-Leibler distance, which was studied before. Using this generalization, we show local stability of the global Maxwellians in the spatially inhomogeneous case. We compare also the energy and entropy in the classical and quantum cases.

AG-2015.05-763

math.AP

Decomposition of Three-Dimensional Steady Non-isentropic Compressible Euler System and Stability of Spherically Symmetric Subsonic Flows and Transonic Shocks under Multidimensional Perturbations

Li Liu, Gang Xu, Hairong Yuan

We develop a method that works in general product Riemannian manifold to decompose the three-dimensional steady full compressible Euler system, which is of elliptic-hyperbolic composite-mixed type for subsonic flows. The method is applied to show stability of spherically symmetric subsonic flows and transonic shocks in space $\mathbb{R}^3$ under multidimensional perturbations of boundary conditions.

AG-2015.05-926

math.AP

The relativistic Burgers equation on a de Sitter spacetime. Derivation and finite volume approximation

Baver Okutmustur, Tuba Ceylan

The inviscid Burgers equation is one of the simplest nonlinear hyperbolic conservation law which provides a variety examples for many topics in nonlinear partial differential equations such as wave propagation, shocks and perturbation, and it can easily be derived by the Euler equations of compressible fluids by imposing zero pressure in the given system. Recently, several versions of the relativistic Burgers equations have been derived on different geometries such as Minkowski (flat), Schwarzshild and FLRW spacetimes by LeFloch and his collaborators. In this paper, we consider a family member of the FLRW spacetime so-called the de Sitter background, introduce some important features of this spacetime geometry with its metric and derive the relativistic Burgers equation on it. The Euler system of equations on the de Sitter spacetime can be found by a known process by using the Christoffel symbols and tensors for perfect fluids. We applied the usual techniques used for the Schwarzshild and FLRW spacetimes in order to derive the relativistic Burgers equation from the vanishing pressure Euler system on the de Sitter background. We observed that the model admits static solutions. In the final part, we examined several numerical illustrations of the given model through a finite volume approximation based on the paper by LeFloch et al. The effect of the cosmological constant is also numerically analysed in this part. Furthermore, a comparison of the static solution with the Lax Friedrichs scheme is implemented so that the results demonstrate the efficiency and robustness of the finite volume scheme for the derived model

AG-2015.05-278

math.AP

A Resonance Problem in Relaxation of Ground States of Nonlinear Schrodinger Equations

Zhou Gang

In this paper we consider a resonance problem, in a generic regime, in the consideration of relaxation of ground states of semilinear Schrodinger equations. Different from previous results, our consideration includes the presence of resonance, resulted by overlaps of frequencies of different states. All the known key results, proved under non-resonance conditions, have been recovered uniformly. These are achieved by better understandings of normal form transformation and Fermi Golden rule. Especially, we find that if certain denominators are zeros (or small), resulted by the presence of resonances (or close to it), then cancellations between terms make the corresponding numerators proportionally small.

AG-2015.04-1812

math.AP

Regularity properties of stationary harmonic functions whose Laplacian is a Radon measure

Rémy Rodiac

We study the regularity of Radon measures $μ$ which satisfy that there exists a function $h_μ$ in $H^1(Ω)$, stationary harmonic such that $Δh_μ=μ$ in $Ω$ (here $Ω$ is an open set of $\mathbb{R}^2$). Such conditions appear in physical contexts such as the study of a limiting vorticity measure associated to a family $(u_\varepsilon)_\varepsilon$ of solutions of the Ginzburg-Landau system without magnetic field. Under these conditions we prove that locally there exists a harmonic function $H$ such that the support of the measure is contained in the set of zeros of $H$. Using the local structure of the set of zeros of harmonic functions we can thus obtain that locally the support of $μ$ is a union of smooth simple

AG-2015.04-1672

math.AP

An asymptotic model for a thin bonded elastic layer coated with an elastic membrane

Ivan Argatov, Gennady Mishuris

The deformation problem for a transversely isotropic elastic layer bonded to a rigid substrate and coated with a very thin elastic layer made of another transversely isotropic material is considered. The leading-order asymptotic models (for compressible and incompressible layers) are constructed based on the simplifying assumptions that the generalized plane stress conditions apply to the coating layer, and the flexural stiffness of the coating layer is negligible compared to its tensile stiffness.

AG-2015.04-1470

math.AP

Derivation of a poroelastic flexural shell model

Andro Mikelic, Josip Tambaca

In this paper we investigate the limit behavior of the solution to quasi-static Biot&#39;s equations in thin poroelastic flexural shells as the thickness of the shell tends to zero and extend the results obtained for the poroelastic plate by Marciniak-Czochra and Mikelić. We choose Terzaghi&#39;s time corresponding to the shell thickness and obtain the strong convergence of the three-dimensional solid displacement, fluid pressure and total poroelastic stress to the solution of the new class of shell equations. The derived bending equation is coupled with the pressure equation and it contains the bending moment due to the variation in pore pressure across the shell thickness. The effective pressure equation is parabolic only in the normal direction. As additional terms it contains the time derivative of the middle-surface flexural strain. Derivation of the model presents an extension of the results on the derivation of classical linear elastic shells by Ciarlet and collaborators to the poroelastic shells case. The new technical points include determination of the 2 X 2 strain matrix, independent of the vertical direction, in the limit of the rescaled strains and identification of the pressure equation. This term is not necessary to be determined in order to derive the classical flexural shell model.