Related papers: Algorithm for constructing optimal explicit finite…
In this paper in the space $L_2^{(m)}(0,1)$ the problem of construction of optimal quadrature formulas is considered. Here the quadrature sum consists on values of integrand at nodes and values of first derivative of integrand at the end…
In this paper we prove the existence of extremal functions for the Adams-Moser-Trudinger inequality on the Sobolev space $H^{m}(\Omega)$, where $\Omega$ is any bounded, smooth, open subset of $\mathbb{R}^{2m}$, $m\ge 1$. Moreover, we extend…
A stochastic differential equation with coefficients defined in a scale of Hilbert spaces is considered. The existence, uniqueness and path-continuity of infinite-time solutions is proved by an extension of the Ovsyannikov method. This…
Functional analysis, especially the theory of Hilbert spaces and of operators on these, form an important area in mathematics. We formalized the Isabelle/HOL library Complex_Bounded_Operators containing a large amount of theorems about…
In the past decades, the finite difference methods for space fractional operators develop rapidly; to the best of our knowledge, all the existing finite difference schemes, including the first and high order ones, just work on uniform…
This paper shows how to build a formal analytical solution for a differential equation of arbitrary order and with variable coefficients. It proofs that the most known approximated solutions for such a problem can be derived from the…
This paper is concerned with the numerical minimization of energy functionals in Hilbert spaces involving convex constraints coinciding with a semi-norm for a subspace. The optimization is realized by alternating minimizations of the…
We study Hilbert functions of certain non-reduced schemes A supported at finite sets of points in projective space, in particular, fat point schemes. We give combinatorially defined upper and lower bounds for the Hilbert function of A using…
We develop a constructive process which determines all extreme points of the unit ball of the space of $m$--linear forms, $m\geq1.$ Our method provides a full characterization of the geometry of that space through finitely many elementary…
We show that necessary and sufficient conditions of optimality in periodic optimization problems can be stated in terms of a solution of the corresponding HJB inequality, the latter being equivalent to a max-min type variational problem…
This paper presents a systematic study of the calculus of interval-valued functions and its application to interval differential equations. To this end, first, we introduce new interval arithmetic operations. Under new operations, the space…
In this paper we consider evolution equations in the abstract Hilbert space under the special conditions imposed on the operator at the right-hand side of the equation. We establish the method that allows us to formulate the existence and…
A multiresolution analysis for a Hilbert space realizes the Hilbert space as the direct limit of an increasing sequence of closed subspaces. In a previous paper, we showed how, conversely, direct limits could be used to construct Hilbert…
We study linear problems defined on tensor products of Hilbert spaces with an additional (anti-) symmetry property. We construct a linear algorithm that uses finitely many continuous linear functionals and show an explicit formula for its…
We study numerical integration of functions depending on an infinite number of variables. We provide lower error bounds for general deterministic linear algorithms and provide matching upper error bounds with the help of suitable multilevel…
We present an accurate and efficient framework for real-space Hubbard-corrected density functional theory. In particular, we obtain expressions for the energy, atomic forces, and stress tensor suitable for real-space finite-difference…
We investigate an extended version of Hilbert space of analytic functions called Hilbert space of complex-valued harmonic functions. It is found that functions in Hilbert space of complex-valued harmonic functions exhibit many properties…
In the present paper the problem of construction of optimal quadrature formulas in the sense of Sard in the space $L_2^{(m)}(0,1)$is considered. Here the quadrature sum consists of values of the integrand at nodes and values of the first…
Anomalous diffusion is a phenomenon that cannot be modeled accurately by second-order diffusion equations, but is better described by fractional diffusion models. The nonlocal nature of the fractional diffusion operators makes substantially…
In 1960 Schwinger [J. Schwinger, Proc.Natl.Acad.Sci. 46 (1960) 570- 579] proposed the algorithm for factorization of unitary operators in the finite M dimensional Hilbert space according to a coprime decomposition of M. Using a special…