Related papers: Remarks on the mass constraint for KP type equatio…
We derive explicit formulae for a set of constraints for the Einstein equations on a null hypersurface, in arbitrary dimensions. We solve these constraints and show that they provide necessary and sufficient conditions so that a spacetime…
Let $K_f$ be a closed semi-algebraic set in $\dR^d$ such that there exist bounded real polynomials $h_1,{...},h_n$ on $K_f$. It is proved that the moment problem for $K_f$ is solvable provided it is for all sets $K_f\cap C_\lambda$, where…
We show the NP-completeness of the existential theory of term algebras with the Knuth-Bendix order by giving a nondeterministic polynomial-time algorithm for solving Knuth-Bendix ordering constraints.
We prove global existence of small solutions to the initial value problem for a class of cubic derivative nonlinear Schr\"odinger systems with the masses satisfying suitable non-resonance relations. The large-time asymptotics of the…
In this paper, the compressible quantum model with the given mass source and the external force of general form in three-dimensional whole space is considered. Based on the weighted $L^2$ method and $L^\infty$ estimates, the existence and…
We consider Kirchhoff equations for vibrating bodies in any dimension in presence of a time-periodic external forcing with period 2pi/omega and amplitude epsilon, both for Dirichlet and for space-periodic boundary conditions. We prove…
Maslov's class $\overline{\text{K}}$ is an expressive fragment of First-Order Logic known to have decidable satisfiability problem, whose exact complexity, however, has not been established so far. We show that $\overline{\text{K}}$ has the…
This article finds the answer to the question: for any problem from which a non-deterministic algorithm can be derived which verifies whether an answer is correct or not in polynomial time (complexity class NP), is it possible to create an…
We prove the spacetime positive mass theorem in dimensions less than eight. This theorem states that for any asymptotically flat initial data set satisfying the dominant energy condition, the ADM energy-momentum vector $(E,P)$ of the…
We prove that if for the curved $n$-body problem the masses are given, the minimum distance between the point masses of a specific type of relative equilibrium solution to that problem has a universal lower bound that is not equal to zero.…
There exist two versions of the Kadomtsev-Petviashvili equation, related to the Cartesian and cylindrical geometries of the waves. In this paper we derive and study a new version, related to the elliptic cylindrical geometry. The derivation…
The modified Gross-Pitaevskii equation was derived and solved to obtain the 1D solution in the zero-energy limit. This stationary solution could account for the dominated contributions due to the kinetic effect as well as the chemical…
Motivated by satisfiability of constraints with function symbols, we consider numerical inequalities on non-negative integers. The constraints we consider are a conjunction of a linear system Ax = b and a conjunction of (non-)convex…
We study the non relativistic limit of the solutions of the cubic nonlinear Klein--Gordon (KG) equation with periodic boundary conditions on an interval and we construct a family of time quasi periodic solutions which, after a Gauge…
An anti-de Sitter background four-dimensional type N solution of the Einstein's field equations, is presented. The matter-energy content pure radiation field satisfies the null energy condition (NEC), and the metric is free-from curvature…
This paper deals with the lack of compactness in nonlinear elliptic problems $(P)$. In particular, a domain $\Omega$ is provided where not converging Palais-Smale sequences exist at every energy level. Nevertheless, it is proved that…
We study the nonlinear stability of the $(3+1)$-dimensional Minkowski spacetime as a solution of the Einstein vacuum equation. Similarly to our previous work on the stability of cosmological black holes, we construct the solution of the…
We prove that various spaces of constrained positive scalar curvature metrics on compact 3-manifolds with boundary, when not empty, are contractible. The constraints we mostly focus on are given in terms of local conditions on the mean…
We show that a class of divergence-form elliptic problems with quadratic growth in the gradient and non-coercive zero order terms are solvable, under essentially optimal hypotheses on the coefficients in the equation. In addition, we prove…
We show a spacetime positive mass theorem for asymptotically flat initial data sets with a noncompact boundary. We develop a mass type invariant and a boundary dominant energy condition. Our proof is based on spinors.