Variational stability and well-posedness in the optimal control of ordinary differential equations
We investigate the interplay between invariant varieties of vector fields and the inflection locus of linear systems with respect to the vector field. Among the consequences of such investigation we obtain a computational criterion for the existence of rational first integrals of a given degree, bounds for the number of first integrals on families of vector fields, and a generalization of Darboux's criteria. We also provide a new proof of Gomez--Mont's result on foliations...
We prove that a singular complex surface that admits a complete holomorphic vector field that has no invariant curve through a singular point of the surface is obtained from a Kato surface by contracting some divisor (in particular, it is compact). We also prove that, in a singular Stein surface endowed with a complete holomorphic vector field, a singular point of the surface where the zeros of the vector field do not accumulate is either a quasihomogeneous or a cyclic quotient singularity. We give...
We consider a class of linear ordinary differential equations determined by a modular form of weight one, and construct vector-valued modular forms of weight two by using solutions of such differential equations.
We verify functional a posteriori error estimates proposed by S. Repin for a class of obstacle problems in two space dimensions. New benchmarks with known analytical solution are constructed based on one dimensional benchmark introduced by P. Harasim and J. Valdman. Numerical approximation of the solution of the obstacle problem is obtained by the finite element method using bilinear elements on a rectangular mesh. Error of the approximation is measured by a functional majorant. The majorant value...
We verify functional a posteriori error estimate for obstacle problem proposed by Repin. Simplification into 1D allows for the construction of a nonlinear benchmark for which an exact solution of the obstacle problem can be derived. Quality of a numerical approximation obtained by the finite element method is compared with the exact solution and the error of approximation is bounded from above by a majorant error estimate. The sharpness of the majorant error estimate is discussed.