Related papers: Axiomatization of Compact Initial Value Problems: …

We aim to prove a unique solvability of an initial-boundary value problem (IBVP) for a time-fractional wave equation in a rectangular domain. We exploit the spectral expansion method as the main tool and used the solution to Cauchy problems…

We consider the problem of characterizing isomorphisms of types, or, equivalently, constructive cardinality of sets, in the simultaneous presence of disjoint unions, Cartesian products, and exponentials. Mostly relying on results about…

We study the initial value problem for actions which contain non-trivial functions of integrals of local functions of the dynamical variable. In contrast to many other non-local actions, the classical solution set of these systems is at…

This paper provides the existence and representation of solution to an initial value problem for the general multi-term linear fractional differential equation with generalized Riemann-Liouville fractional derivatives and constant…

We discuss existence, non-uniqueness and regularity of one- and two-sided solutions of initial value problems for scalar quasi-linear ordinary differential equations where the initial condition corresponds to an impasse point of the…

A Lax-Oleinik type explicit formula for 1D scalar balance laws has been recently obtained for the pure initial value problem by Adimurthi et al. in [1]. In this article, by introducing a suitable boundary functional, we establish a…

This work presents a generalized implementation of the infeasible primal-dual Interior Point Method (IPM) achieved by the use of non-Archimedean values, i.e., infinite and infinitesimal numbers. The extended version, called here…

We consider an inertial primal-dual fixed point algorithm (IPDFP) to compute the minimizations of the following Problem (1.1). This is a full splitting approach, in the sense that the nonsmooth functions are processed individually via their…

In this paper, we discuss an initial-boundary value problem (IBVP) for the multi-term time-fractional diffusion equation with x-dependent coefficients. By means of the Mittag-Leffler functions and the eigenfunction expansion, we reduce the…

We study the initial-boundary value problem of the Navier-Stokes equations for incompressible fluids in a general domain in $\R^n$ with compact and smooth boundary, subject to the kinematic and vorticity boundary conditions on the non-flat…

Computation of general state- and/or control-constrained Optimal Control Problems (OCPs) is difficult for various constraints, especially the intractable path constraint. For such problems, the theoretical convergence of numerical…

SMT-based program analysis and verification often involve reasoning about program features that have been specified using quantifiers; incorporating quantifiers into SMT-based reasoning is, however, known to be challenging. If quantifier…

We prove a motivic stabilization result for the cohomology of the local systems on configuration spaces of varieties over $\mathbb{C}$ attached to character polynomials. Our approach interprets the stabilization as a probabilistic…

In this note, we show a classical result on the local existence and uniqueness of a solution to an initial value problem subject to a Lipschitz condition. We use only elementary tools from mathematical analysis, without involving any…

We consider the 0-1 Incremental Knapsack Problem (IKP) where the capacity grows over time periods and if an item is placed in the knapsack in a certain period, it cannot be removed afterwards. The contribution of a packed item in each time…

In H\"ormander inner product spaces, we investigate initial-boundary value problems for an arbitrary second order parabolic partial differential equation and the Dirichlet or a general first-order boundary conditions. We prove that the…

Nonlinear boundary value problems (BVPs) by means of the classical Lie symmetry method are studied. A new definition of Lie invariance for BVPs is proposed by the generalization of existing those on much wider class of BVPs. A class of…

Nominal terms extend first-order terms with binding. They lack some properties of first- and higher-order terms: Terms must be reasoned about in a context of 'freshness assumptions'; it is not always possible to 'choose a fresh variable…

We construct the asymptotic approximation to the first eigenvalue and corresponding eigensolution of Laplace's operator inside a domain containing a cloud of small rigid inclusions. The separation of the small inclusions is characterised by…

NP complete problem is one of the most challenging issues. The question of whether all problems in NP are also in P is generally considered one of the most important open questions in mathematics and theoretical computer science as it has…