Search

The total probability formula for continuous random variables is the integral of product of two probability density functions that defines the unconditional probability density function from the conditional one. The need for calculation of such integrals arises in many applications, for instant, in statistical decision theory. The statistical decision theory attracts attention due to the ability to formulate the problems in a strict mathematical form. One of the technical problems solved by the statistical decision theory is the problem of dual control that requires calculation of integrals connected with the multivariate probability distributions. The necessary integrals are not available in the literature. One theorem on the total probability formula for vector Gaussian distributions was published by the authors earlier. In this paper we repeat this theorem and prove a new theorem that uses more familiar form of the initial data and has more familiar form of the result. The new form of the theorem allows us to obtain the unconditional mathematical expectation and the unconditional variance-covariance matrix very simply. We also confirm the new theorem by direct calculation for the case of the simple linear regression.

The paper studies linear differential operators in derivatives with respect to one variable. Such operators include, in particular, operators defined on infinite prolongations of evolutionary systems of differential equations with one spatial variable. In this case, differential operators in total derivatives with respect to the spatial variable are considered. In parallel, linear differential operators with one independent variable are investigated. The known algorithms for reducing the matrix to a stepwise or diagonal form are generalized to the operator matrices of both types. These generalizations are useful at points, where the functions, into which the matrix components are divided when applying the algorithm, are nonzero.In addition, the integral operator is defined as a multi-valued operator that is the right inverse of the total derivative. Linear operators that involve both the total derivatives and the integral operator are called integro-differential. An invertible operator in the integro-differential sense is an operator for which there exists a two-sided inverse integro-differential operator. A description of scalar differential operators that are invertible in this sense is obtained. An algorithm for checking the invertibility in the integro-differential sense of a differential operator and for constructing the inverse integro-differential operator is formulated.The results of the work can be used to solve linear equations for matrix differential operators arising in the theory of evolutionary systems with one spatial variable. Such operator equations arise when describing systems that are integrable by the inverse scattering method, when calculating recursion operators, higher symmetries, conservation laws and symplectic operators, and also when solving some other problems. The proposed method for solving operator equations is based on reducing the matrices defining the operator equation to a stepwise or diagonal form and solving the resulting scalar operator equations.

In this paper we introduce a new class of foliations on Rie-mannian 3-manifolds, called B-foliations, generalizing the class of foliations of non-negative curvature. The leaves of B-foliations have bounded total absolute curvature in the induced Riemannian metric. We describe several topological and geometric properties of B-foliations and the structure of closed oriented 3-dimensional manifolds admitting B-foliations with non-positive curvature of leaves.

Let $M$ be a compact two-dimensional manifold and, $f \in C^{\infty}(M,\mathbb{R})$ be a Morse function, and $\Gamma_f$ be its Kronrod-Reeb graph. Denote by $\mathcal{O}_{f}=\{f \circ h \mid h \in \mathcal{D}\}$ the orbit of $f$ with respect to the natural right action of the group of diffeomorphisms $\mathcal{D}$ on $C^{\infty}(M,\mathbb{R})$, and by $\mathcal{S}(f)=\{h\in\mathcal{D} \mid f \circ h = f\}$ the corresponding stabilizer of this function. It is easy to show that each $h\in\mathcal{S}(f)$ induces a homeomorphism of $\Gamma_f$. Let also $\mathcal{D}_{\mathrm{id}}(M)$ be the identity path component of $\mathcal{D}(M)$, $\mathcal{S}'(f)= \mathcal{S}(f) \cap \mathcal{D}_{\mathrm{id}}(M)$ be group of diffeomorphisms of $M$ preserving $f$ and isotopic to identity map, and $G_f$ be the group of homeomorphisms of the graph $\Gamma_f$ induced by diffeomorphisms belonging to $\mathcal{S}'(f)$. This group is one of the key ingredients for calculating the homotopy type of the orbit $\mathcal{O}_{f}$. Recently the authors described the structure of groups $G_f$ for Morse functions on all orientable surfaces distinct from $2$-torus $T^2$ and $2$-sphere $S^2$. The present paper is devoted to the case $M=S^{2}$. In this situation $\Gamma_f$ is always a tree, and therefore all elements of the group $G_f$ have a common fixed subtree $\mathrm{Fix}(G_f)$, which may even consist of a unique vertex. Our main result calculates the groups $G_f$ for all Morse functions $f:S^{2}\to\mathbb{R}$ whose fixed subtree $\mathrm{Fix}(G_f)$ consists of more than one point., Comment: 5 pages

Darboux theorem to more general context of Frechet manifolds we face an obstacle: in general vector fields do not have local flows. Recently, Fr\'{e}chet geometry has been developed in terms of projective limit of Banach manifolds. In this framework under an appropriate Lipchitz condition The Darboux theorem asserts that a symplectic manifold $(M^{2n},\omega)$ is locally symplectomorphic to $(R^{2n}, \omega_0)$, where $\omega_0$ is the standard symplectic form on $R^{2n}$. This theorem was proved by Moser in 1965, the idea of proof, known as the Moser’s trick, works in many situations. The Moser tricks is to construct an appropriate isotopy $ \ff_t $ generated by a time-dependent vector field $ X_t $ on $M$ such that $ \ff_1^{*} \omega = \omega_0$. Nevertheless, it was showed by Marsden that Darboux theorem is not valid for weak symplectic Banach manifolds. However, in 1999 Bambusi showed that if we associate to each point of a Banach manifold a suitable Banach space (classifying space) via a given symplectic form then the Moser trick can be applied to obtain the theorem if the classifying space does not depend on the point of the manifold and a suitable smoothness condition holds. If we want to try to generalize the local flows exist and with some restrictive conditions the Darboux theorem was proved by Kumar. In this paper we consider the category of so-called bounded Fr\'{e}chet manifolds and prove that in this category vector fields have local flows and following the idea of Bambusi we associate to each point of a manifold a Fr\'{e}chet space independent of the choice of the point and with the assumption of bounded smoothness on vector fields we prove the Darboux theorem.

In 1994, in [13], N. Papaghiuc introduced the notion of semi-slant submanifold in a Hermitian manifold which is a generalization of CR- and slant-submanifolds. In particular, he considered this submanifold in Kaehlerian manifolds, [13]. Then, in 2007, V. A. Khan and M. A. Khan considered this submanifold in a nearly Kaehler manifold and obtained interesting results, [11]. Recently, we considered semi-slant submanifolds in a locally conformal Kaehler manifold and gave a necessary and sufficient conditions for two distributions (holomorphic and slant) to be integrable. Moreover, we considered these submanifolds in a locally conformal Kaehler space form, [4]. In this paper, we define 2-kind warped product semi-slant submanifolds in a locally conformal Kaehler manifold and consider some properties of these submanifolds.

The paper introduces and investigates partial orders that are finer than the minus partial order and are based on inverses along an element and other specific outer inverses. It turns out that in this way a number of classical partial orders can be equivalently defined.

International audience; http://mech.math.msu.su/~fpm/ps/k14/k143/k14303.pdfIn this paper, a computerized model for morphological analysis of languages with word-formation based on affixation processes is proposed. The main idea consists in defining structural patterns of words and corresponding lists of suffixes. First, a detaileddescription of a stemming algorithm, its modification, and the technique of determining grammatical characteristics of word-forms are given. The next part of this work focuses on the application of the proposed algorithms for the French language. Finally, some results of execution of these algorithms are provided.; http://mech.math.msu.su/~fpm/ps/k14/k143/k14303.pdfВ работе предлагается метод структурных схем в качестве модели морфологического анализа словоформ естественного языка с развитым аффиксальным словообразованием и словоизменением. Дано описание алгоритма выделения псевдоосновы, его модификация, а также алгоритм восстановления грамматических характеристик словоформ. Описано применение предложенного метода для анализа словоформ французского языка. Представлены результаты работы предложенных алгоритмов.