相关论文: Rigorous justification of the short-pulse equation

We obtain the bi-Hamiltonian structure for some of the two-component short pulse equations proposed in the literature to generalize the original short pulse equation when polarized pulses propagate in anisotropic media.

We study the propagation of ultra-short short solitons in a cubic nonlinear medium modeled by nonlinear Maxwell's equations with stochastic variations of media. We consider three cases: variations of (a) the dispersion, (b) the phase…

We consider the model selection problem for a large class of time series models, including, multivariate count processes, causal processes with exogenous covariates. A procedure based on a general penalized contrast is proposed. Some…

This paper considers the time-harmonic Maxwell equations with impedance boundary condition.We present $H^2$-norm bound and other high-order norm bounds for strong solutions. The $H^2$-estimate have been derived in [M. Dauge, M. Costabel and…

A numerical procedure and its MAPLE implementation capable of rigorously, albeit in a brute-force manner, proving specific strict one-variable inequalities in specific finite intervals is described. The procedure is useful, for instance, to…

Using the recent analysis of the output of the low-energy resolvent of Schr\"odinger operators on asymptotically conic manifolds (including Euclidean space) when the potential is short-range, we produce detailed asymptotic expansions for…

We show the existence of infinitely many admissible weak solutions for the incompressible porous media equations for all Muskat-type initial data with $C^{3,\alpha}$-regularity of the interface in the unstable regime and for all…

We consider a nonlinear parabolic equation with an exponential nonlinearity which is critical with respect to the growth of the nonlinearity and the regularity of the initial data. After showing the equivalence of the notions of weak and…

Some systems of nonlinear wave equations admit global solutions for all sufficiently small initial data, while others do not. The (classical) null condition guarantees that such a result holds, but it is too strong to capture certain…

We prove variants of known singularity theorems ensuring the existence of a region of finite lifetime that are particularly well applicable if the solution admits a conformal extension, a property satisfied e.g. by maximal Cauchy…

In this paper, we consider the gradual-impulse control problem of continuous-time Markov decision processes, where the system performance is measured by the expectation of the exponential utility of the total cost. We prove, under very…

In this paper, we study the regularity of the solutions of Maxwell's equations in a bounded domain. We consider several different types of low regularity assumptions to the coefficients which are all less than Lipschitz. We first develop a…

We study the relationship between asymptotic characteristic initial data for the wave equation at past null infinity and the regularity of the solution at future null infinity on the Minkowski spacetime. By constructing estimates on a…

We study the propagation of ultra-short pulses in a cubic nonlinear medium. Using multiple-scale technique, we derive a new wave equation that preserves the nonlocal dispersion present in Maxwell's equations. As a result, we are able to…

We construct pulse-type approximate solutions to nonlinear hyperbolic equations near diffractive points, allowing arbitrary (even infinite) order of grazing. We show that in low regularity spaces and the high frequency limit, such solutions…

This article establishes an asymptotic theory for volatility estimation in an infinite-dimensional setting. We consider mild solutions of semilinear stochastic partial differential equations and derive a stable central limit theorem for the…

Verification methods based on SAT, SMT, and Theorem Proving often rely on proofs of unsatisfiability as a powerful tool to extract information in order to reduce the overall effort. For example a proof may be traversed to identify a minimal…

We investigate the late-time asymptotic behavior of solutions to nonlinear hyperbolic systems of conservation laws containing stiff relaxation terms. First, we introduce a Chapman-Enskog-type asymptotic expansion and derive an effective…

We study solutions to nonlinear hyperbolic systems with fully nonlinear relaxation terms in the limit of, both, infinitely stiff relaxation and arbitrary late time. In this limit, the dynamics is governed by effective systems of parabolic…

The short pulse equation provides a model for the propagation of the ultra-short light pulse in silica optical fibers It is a nonlinear evolution equation. In this paper the wellposedness of bounded solutions for the inhomogeneous initial…