SearcharxivSearch

arXiv subjects

Carlo Ciccarella

Publications and source records attributed to Carlo Ciccarella.

4 recordsLinked to original sources

Stochastic Control Problems Motivated by Sailboat Trajectory Optimization

We develop a mathematical model for sailboat navigation that captures the essential features of the problem and can provide insights that might not be available otherwise. In our model, the motion of the sailboat, which would travel at speed $v>0$ in a constant wind, is the solution of a system of two stochastic differential equations driven by a Brownian motion on a circle with speed $σ> 0$. We formulate two stochastic control/optimal switching problems, in which the objective is to reach a circular upwind target of radius $η\geq 0$ as quickly as possible. In the first problem, there is a tacking cost $c > 0$, so this is an impulse control problems, while in the second problem, we assume that $c=0$ and singular controls are needed. We establish the viability of both models (assuming that $η> 0$ in the second model), that is, their value functions are finite, and we obtain bounds on these value functions related to the parameters of the problem. In the second problem, since the state equation for the optimally controlled motion has discontinuous coefficients and is driven by a degenerate diffusion, standard results on existence and uniqueness of strong solutions do not apply: we provide a proof via the Yamada-Watanabe argument.

math.OC

Strong Solutions to SDEs with Supercritical Drift Arising in Navigation Problems

We prove strong existence and pathwise uniqueness for two stochastic models of a seeker steering toward a target, written in polar coordinates. In both, the angular drift carries a $\frac1{r}$-type singularity which belongs to the supercritical regime in $\mathbb{R}^2$. Standard results for SDEs with singular drift therefore do not apply, and we give a new proof of strong well-posedness based on a pathwise argument. The two models arise from sailboat navigation and proportional navigation. We study the limiting regime in which the stopping radius around the target tends to zero and prove that, despite the singularity at the origin, each system admits a unique strong solution up to the hitting time of the target. These results provide an example of strong well-posedness in a regime where the general theory does not apply.

math.PR

Verification theorem related to a zero sum stochastic differential game, based on a chain rule for non-smooth functions

In the framework of stochastic zero-sum differential games, we establish a verification theorem, inspired by those existing in stochastic control, to provide sufficient conditions for a pair of feedback controls to form a Nash equilibrium. Suppose the validity of the classical Isaacs' condition and the existence of a (what is termed) quasi-strong solution to the Bellman-Isaacs (BI) equations. If the diffusion coefficient of the state equation is non-degenerate, we are able to show the existence of a saddle point constituted by a couple of feedback controls that achieve the value of the game: moreover, the latter is equal to the (necessarily unique) solution of the BI equations. A suitable generalization is available when the diffusion is possibly degenerate. Similarly we have also improved a well-known verification theorem in stochastic control theory. The techniques of stochastic calculus via regularization we use, in particular specific chain rules, are borrowed from a companion paper of the authors.

math.OC

$C^{ 0,1}$ -It{ô} chain rules and generalized solutions of parabolic PDEs

In this paper we first establish an Itô formula for a finite quadratic variation process $X$ expanding $f(t,X_t),$ when $f$ is of class $C^2$ in space and is absolutely continuous in time. Second, via a Fukushima-Dirichlet decomposition we obtain an explicit chain rule for $f(t,X_t)$, when $X$ is a continuous semimartingale and $f$ is a ``quasi-strong solution'' (in the sense of approximation of classical solutions) of a parabolic PDE.

math.PR