Related papers: Rigorous justification of the short-pulse equation
We study an extension of $\mtl$ in pointwise time with rational expression guarded modality $\reg_I(\re)$ where $\re$ is a rational expression over subformulae. We study the decidability and expressiveness of this extension ($\mtl$+$\varphi…
We consider for the full time-dependent Maxwell's equations the inverse problem of identifying locations and certain properties of small electromagnetic inhomogeneities in a homogeneous background medium from dynamic boundary measurements…
We employ the $\bar{\partial}$-steepest descent method in order to investigate the Cauchy problem of the complex short pulse (CSP) equation with initial conditions in weighted Sobolev space $H^{1,1}(\mathbb{R})=\{f\in L^{2}(\mathbb{R}):…
We consider a modified Boltzmann equation which contains, together with the collision operator, an additional drift term that is characterized by a matrix A. Furthermore, we consider a Maxwell gas, where the collision kernel has an angular…
In this paper we study a generalized class of Maxwell-Boltzmann equations which in addition to the usual collision term contains a linear deformation term described by a matrix A. This class of equations arises, for instance, from the…
We use new bounds of double exponential sums with ratios of integers from prescribed intervals to get an asymptotic formula for the number of solutions to congruences $$ \sum_{j=1}^n a_j x_jy_j^{-1} \equiv a_0 \pmod p, $$ with variables…
The regularized Maxwell theory is a recently discovered theory of non-linear electrodynamics that admits many important gravitating solutions within the Einstein theory. Namely, it was originally derived as the unique non-linear…
The first part of this paper is devoted to introducing an approach to compute the approximate minimum time function of control problems which is based on reachable set approximation and uses arithmetic operations for convex compact sets. In…
We introduce an alternative to the method of matched asymptotic expansions. In the "traditional" implementation, approximate solutions, valid in different (but overlapping) regions are matched by using "intermediate" variables. Here we…
The paper is concerned with the boundary controllability of entropy weak solutions to hyperbolic systems of conservation laws. We prove a general result on the asymptotic stabilization of a system near a constant state. On the other hand,…
We consider the dynamical evolution of a thin rod described by an appropriately scaled wave equation of nonlinear elasticity. Under the assumption of well-prepared initial data and external forces, we prove that a solution exists for…
We consider the long time limit theorems for the solutions of a discrete wave equation with a weak stochastic forcing. The multiplicative noise conserves the energy and the momentum. We obtain a time-inhomogeneous Ornstein-Uhlenbeck…
Coupled-mode systems are used in physical literature to simplify the nonlinear Maxwell and Gross-Pitaevskii equations with a small periodic potential and to approximate localized solutions called gap solitons by analytical expressions…
In this work, we first study the solvability of moment problems involving real exponentials and provide explicit estimates of the associated control cost. The result holds when the increasing sequence of distinct real numbers satisfies a…
In this article, we provide a comprehensive analysis of the asymptotic behavior of Bell numbers, enhancing and unifying various results previously dispersed in the literature. We establish several explicit lower and upper bounds. The main…
This paper is concerned with the derivation of computable and guaranteed upper and lower bounds of the difference between the exact and the approximate solution of a boundary value problem for static Maxwell equations. Our analysis is based…
Reciprocal space methods for solving Poisson's equation for finite charge distributions are investigated. Improvements to previous proposals are presented, and their performance is compared in the context of a real-space density functional…
In this short paper, we derive an alternative proof for some known [van den Berg & Gilkey 2015] short-time asymptotics of the heat content in compact full-dimensional submanifolds $S$ with smooth boundary. This includes formulae like…
This paper explores the theoretical limits of using discrete abstractions for nonlinear control synthesis. More specifically, we consider the problem of deciding continuous-time control with temporal logic specifications. We prove that…
We derive an asymptotic solution of the Einstein field equations which describes the propagation of a thin, large amplitude gravitational wave into a curved space-time. The resulting equations have the same form as the colliding plane wave…