1,247 research outputs found
On the Reduction of Singularly-Perturbed Linear Differential Systems
In this article, we recover singularly-perturbed linear differential systems
from their turning points and reduce the rank of the singularity in the
parameter to its minimal integer value. Our treatment is Moser-based; that is
to say it is based on the reduction criterion introduced for linear singular
differential systems by Moser. Such algorithms have proved their utility in the
symbolic resolution of the systems of linear functional equations, giving rise
to the package ISOLDE, as well as in the perturbed algebraic eigenvalue
problem. Our algorithm, implemented in the computer algebra system Maple, paves
the way for efficient symbolic resolution of singularly-perturbed linear
differential systems as well as further applications of Moser-based reduction
over bivariate (differential) fields.Comment: Keywords: Moser-based Reduction, Perturbed linear Differential
systems, turning points, Computer algebr
Singularly perturbed forward-backward stochastic differential equations: application to the optimal control of bilinear systems
We study linear-quadratic stochastic optimal control problems with bilinear
state dependence for which the underlying stochastic differential equation
(SDE) consists of slow and fast degrees of freedom. We show that, in the same
way in which the underlying dynamics can be well approximated by a reduced
order effective dynamics in the time scale limit (using classical
homogenziation results), the associated optimal expected cost converges in the
time scale limit to an effective optimal cost. This entails that we can well
approximate the stochastic optimal control for the whole system by the reduced
order stochastic optimal control, which is clearly easier to solve because of
lower dimensionality. The approach uses an equivalent formulation of the
Hamilton-Jacobi-Bellman (HJB) equation, in terms of forward-backward SDEs
(FBSDEs). We exploit the efficient solvability of FBSDEs via a least squares
Monte Carlo algorithm and show its applicability by a suitable numerical
example
Formal Solutions of a Class of Pfaffian Systems in Two Variables
In this paper, we present an algorithm which computes a fundamental matrix of
formal solutions of completely integrable Pfaffian systems with normal
crossings in two variables, based on (Barkatou, 1997). A first step was set in
(Barkatou-LeRoux, 2006) where the problem of rank reduction was tackled via the
approach of (Levelt, 1991). We give instead a Moser-based approach. And, as a
complementary step, we associate to our problem a system of ordinary linear
singular differential equations from which the formal invariants can be
efficiently derived via the package ISOLDE, implemented in the computer algebra
system Maple.Comment: Keywords: Linear systems of partial differential equations, Pfaffian
systems, Formal solutions, Moser-based reduction, Hukuhara- Turritin normal
for
Nonlinear zero-sum differential game analysis by singular perturbation methods
A class of nonlinear, zero-sum differential games, exhibiting time-scale separation properties, can be analyzed by singular-perturbation techniques. The merits of such an analysis, leading to an approximate game solution, as well as the 'well-posedness' of the formulation, are discussed. This approach is shown to be attractive for investigating pursuit-evasion problems; the original multidimensional differential game is decomposed to a 'simple pursuit' (free-stream) game and two independent (boundary-layer) optimal-control problems. Using multiple time-scale boundary-layer models results in a pair of uniformly valid zero-order composite feedback strategies. The dependence of suboptimal strategies on relative geometry and own-state measurements is demonstrated by a three dimensional, constant-speed example. For game analysis with realistic vehicle dynamics, the technique of forced singular perturbations and a variable modeling approach is proposed. Accuracy of the analysis is evaluated by comparison with the numerical solution of a time-optimal, variable-speed 'game of two cars' in the horizontal plane
Spatial Manifestations of Order Reduction in Runge-Kutta Methods for Initial Boundary Value Problems
This paper studies the spatial manifestations of order reduction that occur
when time-stepping initial-boundary-value problems (IBVPs) with high-order
Runge-Kutta methods. For such IBVPs, geometric structures arise that do not
have an analog in ODE IVPs: boundary layers appear, induced by a mismatch
between the approximation error in the interior and at the boundaries. To
understand those boundary layers, an analysis of the modes of the numerical
scheme is conducted, which explains under which circumstances boundary layers
persist over many time steps. Based on this, two remedies to order reduction
are studied: first, a new condition on the Butcher tableau, called weak stage
order, that is compatible with diagonally implicit Runge-Kutta schemes; and
second, the impact of modified boundary conditions on the boundary layer theory
is analyzed.Comment: 41 pages, 9 figure
- …