Related papers: Semi-stable minimal model program for varieties wi…
There are two main examples where a version of the Minimal Model Program can, at least conjecturally, be performed successfully: the first is the classical MMP associated to the canonical divisor, and the other is Mori Dream Spaces. In this…
We establish quantitative stability results for classical distortion minimization problems in the theory of quasiconformal mappings. We consider the mean distortion functional and prove sharp stability estimates for the minimization…
This paper aims to develop and analyze a numerical scheme for solving the backward problem of semilinear subdiffusion equations. We establish the existence, uniqueness, and conditional stability of the solution to the inverse problem by…
We formulate a stable reduction conjecture that extends Deligne-Mumford's stable reduction to higher dimensions and provide a simple proof that it holds in large characteristic, assuming two standard conjectures of the Minimal Model…
The paper studies an implementation methodology for partial and disjunctive stable models where partiality and disjunctions are unfolded from a logic program so that an implementation of stable models for normal (disjunction-free) programs…
We consider a minimal residual discretization of a simultaneous space-time variational formulation of parabolic evolution equations. Under the usual `LBB' stability condition on pairs of trial- and test spaces we show quasi-optimality of…
We give a sufficient condition for blow up of positive mild solutions to an initial value problem for a nonautonomous weakly coupled system with distinct fractional diffusions. The proof is based on the study of blow up of a particular…
We provide sufficient conditions for the existence of periodic solutions of the planar perturbed double pendulum with small oscillations.
In this paper, we establish the lower semicontinuity of the solution mapping and of the approximate solution mapping for parametric fixed point problems under some suitable conditions. As applications, the lower semicontinuity result…
We study the minimal model program on the geometric generic fiber of a fibration $f:X\to S$ such that for a Zariski dense subset $S'\subseteq S$, $X_s$ is an $\varepsilon$-lc log Calabi--Yau type for every $s\in S'$. We prove that for a…
We study relations between the property of being log abundant for lc pairs and the termination of log MMP with scaling. We prove that any log MMP with scaling of an ample divisor starting with a projective dlt pair contains only finitely…
We prove the existence of a crepant sdlt model for slc pairs whose irreducible components are normal in codimension one.
For an elliptic, semilinear differential operator of the form $S(u) = A : D^2 u + b(x, u , Du)$, consider the functional $E_\infty(u) = \mathop{\mathrm{ess \, sup}}_\Omega |S(u)|$. We study minimisers of $E_\infty$ for prescribed boundary…
We prove the finiteness of $B$-representations of generalised log canonical pairs. As a consequence, we prove that, the (relative) abundance for a generalised semi-log canonical pair is implied by the abundance for its normalisation.…
We present an algorithm to compute stabilizing minimum dwell times for discrete-time switched linear systems without the explicit knowledge of state-space models of their subsystems. Given a set of finite traces of state trajectories of the…
This paper presents a new methodology and algorithm for solving post buckling problems of a large deformed elastic beam. The total potential energy of this beam is a nonconvex functional, which can be used to model both pre- and…
Motivated by applications in wireless communications, this paper develops semidefinite programming (SDP) relaxation techniques for some mixed binary quadratically constrained quadratic programs (MBQCQP) and analyzes their approximation…
This paper investigates the tilt stability of local minimizers for nonlinear programs under the relaxed constant rank constraint qualification in finite dimensions. By employing a neighborhood primal-dual approach and extending calculus…
This paper investigates the robust stability and stabilization analysis of interval fractional-order systems with time-varying delay. The stability problem of such systems is solved first, and then using the proposed results a stabilization…
The paper presents a distinctive and straightforward technique for stabilization of multi-variable systems. The idea is to decouple the system state matrix depending on different inputs and outputs. Refined special canonical transformations…