相关论文: Rigorous justification of the short-pulse equation
An asymptotic small parameter expansion of a single Cauchy problem is constructed for a singularly perturbed system of hyperbolic equations describing vibrations of two rigidly connected strings. Equations (such as generalized Korteweg-de…
Short pulse initial datum is referred to the one supported in the ball of radius $\delta$ and with amplitude $\delta^{\frac12}$ which looks like a pulse. It was first introduced by Christodoulou to prove the formation of black holes for…
It is shown that the solutions of certain systems of nonlinear \"Orst-order recursions with polynomial right-hand sides may be rather easily ascertained, and display interesting evolutions in their ticking time variable (taking integer…
Justification logics are modal-like logics with the additional capability of recording the reason, or justification, for modalities in syntactic structures, called justification terms. Justification logics can be seen as explicit…
Many results related to quantitative problems in the metric theory of Diophantine approximation are asymptotic, such as the number of rational solutions to certain inequalities grows with the same rate almost everywhere modulo an asymptotic…
Probabilistic argumentation allows reasoning about argumentation problems in a way that is well-founded by probability theory. However, in practice, this approach can be severely limited by the fact that probabilities are defined by adding…
The global existence of mass-conserving weak solutions to the Safronov-Dubovskii coagulation equation is shown for the coagulation kernels satisfying the at most linear growth for large sizes. In contrast to previous works, the proof mainly…
We study the asymptotic behavior and the scattering from infinity problem for the massive Maxwell-Klein-Gordon system in the Lorenz gauge, which were previously only studied for the massless system. For a general class of initial data, in…
We conceptualize explainability in terms of logic and formula size, giving a number of related definitions of explainability in a very general setting. Our main interest is the so-called special explanation problem which aims to explain the…
Justification logics are special kinds of modal logics which provide a framework for reasoning about epistemic justifications. For this, they extend classical boolean propositional logic by a family of necessity-style modal operators "t:",…
We prove Asymptotic Completeness of one dimensional NLS with long range nonlinearities. We also prove existence and expansion of asymptotic solutions with large data at infinity.
We prove the large-time asymptotic orbital stability of strictly entropic Riemann shock solutions of first order scalar hyperbolic balance laws, under piecewise regular perturbations provided that the source term is dissipative about…
In this paper, we consider an initial boundary value problem for Maxwell's equations. For this hyperbolic type problem, we derive guaranteed and computable upper bounds for the difference between the exact solution and any pair of vector…
For the Boltzmann equation with cutoff hard potentials, we construct the unique global solution converging with an exponential rate in large time to global Maxwellians not only for the specular reflection boundary condition with the bounded…
We are interested in a non-local partial differential equation modeling equal mitosis. We prove that the solutions present persistent asymptoticoscillations and that the convergence to this periodic behavior, in suitable spaces of weighted…
We prove several results from different areas of extremal combinatorics, giving complete or partial solutions to a number of open problems. These results, coming from areas such as extremal graph theory, Ramsey theory and additive…
Some superlinear fourth order elliptic equations are considered. Ground states are proved to exist and to concentrate at a point in the limit. The proof relies on variational methods, where the existence and concentration of nontrivial…
In this paper, we consider asymptotics of the optimal value and the optimal solutions of parametric minimax estimation problems. Specifically, we consider estimators of the optimal value and the optimal solutions in a sample minimax problem…
Numerical analysis has no satisfactory method for the more realistic optimization models. However, with constraint programming one can compute a cover for the solution set to arbitrarily close approximation. Because the use of constraint…
Short nonstandard proofs are given for some results about infinite systems of equations in infinitely many variables.