Related papers: Rigorous justification of the short-pulse equation
Most of the asymptotically derived Boussinesq systems of water wave theory for long waves of small amplitude fail to satisfy exact mechanical conservation laws for mass, momentum and energy. It is thus only fair to consider approximate…
We prove that suitable asymptotic formulae in short intervals hold for the problems of representing an integer as a sum of a prime square and a square, or a prime square. Such results are obtained both assuming the Riemann Hypothesis and in…
In this paper, we consider the initial value problem for the complex short pulse equation with a Wadati-Konno-Ichikawa type Lax pair. We show that the solution to the initial value problem has a parametric expression in terms of the…
We analyze the conforming approximation of the time-harmonic Maxwell's equations using N\'ed\'elec (edge) finite elements. We prove that the approximation is asymptotically optimal, i.e., the approximation error in the energy norm is…
As quantum optical phenomena are based on Maxwell's equations, and it is becoming important to understand quantum optical phenomena at short distances, so it is important to analyze quantum optics using short distance corrected Maxwell's…
Mathematical proofs are presented concerning the existence of solutions of the Maxwell equations with suitable boundary conditions. In particular it is stated that the well known "delayed potentials" provide effective solutions of the…
Implicit methods for the numerical solution of initial-value problems may admit multiple solutions at any given time step. Accordingly, their nonlinear solvers may converge to any of these solutions. Below a critical timestep, exactly one…
We present a new, short proof of the increased regularity obtained by solutions to uniformly parabolic partial differential equations. Though this setting is fairly introductory, our new method of proof, which uses a priori estimates, can…
We prove the integrability of the short pulse equation derived recently by Sch\"afer and Wayne from a hamiltonian point of view. We give its bi-hamiltonian structure and show how the recursion operator defined by the hamiltonian operators…
In this paper, we extend the definition of qx-asymptotic function, for extended real-valued function that define on an infinite dimensional topological normed space without lower semicontinuity or quasi-convexity condition. As the main…
We prove the uniqueness of solutions of the Maxwell-Schr"odinger system with given asymptotic behaviour at infinity in time. The assumptions include suitable restrictions on the growth of solutions for large time and on the accuracy of…
We prove that the Schafer-Wayne short pulse equation (SPE) which describes the propagation of ultra-short optical pulses in nonlinear media is integrable. First, we discover a Lax pair of the SPE which turns out to be of the…
We review the proof of existence and uniqueness of solutions of the Maxwell-Schr"odinger system in a neighborhood of infinity in time, with prescribed asymptotic behaviour defined in terms of asymptotic data, without any restriction on the…
The problem of extrapolating asymptotic perturbation-theory expansions in powers of a small variable to large values of the variable tending to infinity is investigated. The analysis is based on self-similar approximation theory. Several…
We investigate explainability via short Boolean formulas in the data model based on unary relations. As an explanation of length k, we take a Boolean formula of length k that minimizes the error with respect to the target attribute to be…
Probabilistic justification logic is a modal logic with two kind of modalities: probability measures and explicit justification terms. We present a tableau procedure that can be used to decide the satisfiability problem for this logic in…
In this work we study linear Maxwell equations with time- and space-dependent matrix-valued permittivity and permeability on domains with a perfectly conducting boundary. This leads to an initial boundary value problem for a first order…
We prove the existence of a weak solution to the equations describing the inertial motions of a coupled system constituted by a rigid body containing a viscous compressible fluid. We then provide a weak-strong uniqueness result that allows…
For strictly entropic Riemann shock solutions of strictly hyperbolic systems of balance laws, we prove that exponential spectral stability implies large-time asymptotic orbital stability. As a preparation, we also prove similar results for…
Rate-independent systems arise in a number of applications. Usually, weak solutions to such problems with potentially very low regularity are considered, requiring mathematical techniques capable of handling nonsmooth functions. In this…