Related papers: Existence, uniqueness and a constructive solution …
Motivated by applications to proving regularity of solutions to degenerate parabolic equations arising in population genetics, we study existence, uniqueness and the strong Markov property of weak solutions to a class of degenerate…
We prove the existence and uniqueness of weak solutions to a class of anisotropic elliptic equations with coefficients of convection term belonging to some suitable Marcinkiewicz spaces. Some useful a priori estimates and regularity results…
We call a group $G$ {\it algorithmically finite} if no algorithm can produce an infinite set of pairwise distinct elements of $G$. We construct examples of recursively presented infinite algorithmically finite groups and study their…
Markov decision problems (MDPs) provide the foundations for a number of problems of interest to AI researchers studying automated planning and reinforcement learning. In this paper, we summarize results regarding the complexity of solving…
A monotone iterative method is proposed to solve nonlinear discrete boundary value problems with the support of upper and lower solutions. We establish some new existence results. Under some sufficient conditions, we establish maximum…
The moment problem in probability theory asks for criteria for when there exists a unique measure with a given tuple of moments. We study a variant of this problem for random objects in a category, where a moment is given by the average…
We present a numerical method to compute the survival function and the moments of the exit time for a piecewise-deterministic Markov process (PDMP). Our approach is based on the quantization of an underlying discrete-time Markov chain…
In various fields of natural science, the chaotic systems of differential equations are considered more than 50 years. The correct prediction of the behaviour of solutions of dynamical model equations is important in understanding of…
We prove new results regarding the existence, uniqueness, (eventual) boundedness, (total) stability and attractivity of the solutions of a class of initial-boundary-value problems characterized by a quasi-linear third order equation which…
Markov's principle is a statement that originated in the Russian school of Constructive Mathematics and stated originally that "if it is impossible that an algorithm does not terminate, then it will terminate". This principle has been…
A model "remarkable" fin equation is singled out from a class of nonlinear (1+1)-dimensional fin equations. For this equation a number of exact solutions are constructed by means of using both classical Lie algorithm and different modern…
We consider grammar-restricted exact learning of formulas and terms in finite variable logics. We propose a novel and versatile automata-theoretic technique for solving such problems. We first show results for learning formulas that…
A general class of nonconvex optimization problems is considered, where the penalty is the composition of a linear operator with a nonsmooth nonconvex mapping, which is concave on the positive real line. The necessary optimality condition…
It is known that positive definiteness is not enough for the multidimensional moment problem to be solved. We would like throw in to the garden of existing in this matter so far results one more, a result which takes into considerations the…
This paper studies the existence, nonexistence and uniqueness of positive solutions for a class of quasilinear equations. We also analyze the behavior of this solutions with respect to two parameters $\kappa$ and $\lambda$ that appears in…
This paper is devoted to study the existence and uniqueness of solutions of a one parameter family of nonlinear fractional differential equation with mixed boundary value conditions. Riemann-Liouville fractional derivative is considered. An…
The research described in this note aims at solving the constructive membership problem for the class of quasisimple classical groups. Our algorithms are developed in the black-box group model; that is, they do not require specific…
In this paper we introduce and solve a class of optimal stopping problems of recursive type. In particular, the stopping payoff depends directly on the value function of the problem itself. In a multi-dimensional Markovian setting we show…
We summarize several results about non-simplicity, solvability and normal structure of finite groups related to the number of conjugacy classes appearing in the product or the power of conjugacy classes. We also collect some problems that…
The existence and multiplicity of positive periodic solutions for first non-autonomous singular systems are established with superlinearity or sublinearity assumptions at infinity for an appropriately chosen parameter. The proof of our…