• ### A Stochastic Model of Optimal Debt Management and Bankruptcy(1609.05983)

Sept. 23, 2016 math.OC
A problem of optimal debt management is modeled as a noncooperative game between a borrower and a pool of lenders, in infinite time horizon with exponential discount. The yearly income of the borrower is governed by a stochastic process. When the debt-to-income ratio $x(t)$ reaches a given size $x^*$, bankruptcy instantly occurs. The interest rate charged by the risk-neutral lenders is precisely determined in order to compensate for this possible loss of their investment. For a given bankruptcy threshold $x^*$, existence and properties of optimal feedback strategies for the borrower are studied, in a stochastic framework as well as in a limit deterministic setting. The paper also analyzes how the expected total cost to the borrower changes, depending on different values of $x^*$, changes, depending on different values of $x^*$?.
• ### On the Burgers-Poisson Equation(1510.09144)

Sept. 5, 2016 math.AP
In this paper, we prove the existence and uniqueness of weak entropy solutions to the Burgers-Poisson equation for initial data in L^1(R). Additional an Oleinik type estimate is established and some criteria on local smoothness and wave breaking for weak entropy solutions are provided.
• ### Compactness estimates for Hamilton-Jacobi equations depending on space(1504.03200)

April 13, 2015 math.AP
We study quantitative estimates of compactness in $\mathbf{W}^{1,1}_{loc}$ for the map $S_t$, $t>0$ that associates to every given initial data $u_0\in \mathrm{Lip}(\mathbb{R}^N)$ the corresponding solution $S_t u_0$ of a Hamilton-Jacobi equation $$u_t+H\big(x, \nabla_{\!x} u\big)=0\,, \qquad t\geq 0,\quad x\in \mathbb{R}^N,$$ with a convex and coercive Hamiltonian $H=H(x,p)$. We provide upper and lower bounds of order $1/\varepsilon^N$ on the the Kolmogorov $\varepsilon$-entropy in $\mathbf{W}^{1,1}$ of the image through the map $S_t$ of sets of bounded, compactly supported initial data. Quantitative estimates of compactness, as suggested by P.D. Lax, could provide a measure of the order of "resolution" and of "complexity" of a numerical method implemented for this equation. We establish these estimates deriving accurate a-priori bounds on the Lipschitz, semiconcavity and semiconvexity constant of a viscosity solution when the initial data is semiconvex. The derivation of a small time controllability result is also fundamental to establish the lower bounds on the $\varepsilon$-entropy.
• ### On compactness estimates for hyperbolic systems of conservation laws(1403.5070)

March 20, 2014 math.AP
We study the compactness in $L^{1}_{loc}$ of the semigroup mapping $(S_t)_{t > 0}$ defining entropy weak solutions of general hyperbolic systems of conservation laws in one space dimension. We establish a lower estimate for the Kolmogorov $\varepsilon$-entropy of the image through the mapping $S_t$ of bounded sets in $L^{1}\cap L^\infty$, which is of the same order $1/\varepsilon$ as the ones established by the authors for scalar conservation laws. We also provide an upper estimate of order $1/\varepsilon$ for the Kolmogorov $\varepsilon$-entropy of such sets in the case of Temple systems with genuinely nonlinear characteristic families, that extends the same type of estimate derived by De Lellis and Golse for scalar conservation laws with convex flux. As suggested by Lax, these quantitative compactness estimates could provide a measure of the order of "resolution" of the numerical methods implemented for these equations.
• ### Quantitative compactness estimates for Hamilton-Jacobi equations(1403.4556)

March 18, 2014 math.AP, math.OC
We study quantitative compactness estimates in $\mathbf{W}^{1,1}_{loc}$ for the map $S_t$, $t>0$ that associates to every given initial data $u_0\in Lip(\mathbb{R}^N)$ the corresponding solution $S_t u_0$ of a Hamilton-Jacobi equation $$u_t+H\big(\nabla_{/!x} u\big)=0\,, \qquad t\geq 0,\quad x\in \mathbb{R}^N,$$ with a uniformly convex Hamiltonian $H=H(p)$. We provide upper and lower estimates of order $1/\varepsilon^N$ on the the Kolmogorov $\varepsilon$-entropy in $\mathbf{W}^{1,1}$ of the image through the map $S_t$ of sets of bounded, compactly supported initial data. Estimates of this type are inspired by a question posed by P.D. Lax within the context of conservation laws, andcould provide a measure of the order of "resolution" of a numerical method implemented for this equation.
• ### Optimality conditions and regularity results for time optimal control problems with differential inclusions(1311.4415)

Nov. 18, 2013 math.OC
We study the time optimal control problem with a general target $\mathcal S$ for a class of differential inclusions that satisfy mild smoothness and controllability assumptions. In particular, we do not require Petrov's condition at the boundary of $\mathcal S$. Consequently, the minimum time function $T(\cdot)$ fails to be locally Lipschitz---never mind semiconcave---near $\mathcal S$. Instead of such a regularity, we use an exterior sphere condition for the hypograph of $T(\cdot)$ to develop the analysis. In this way, we obtain dual arc inclusions which we apply to show the constancy of the Hamiltonian along optimal trajectories and other optimality conditions in Hamiltonian form. We also prove an upper bound for the Hausdorff measure of the set of all nonlipschitz points of $T(\cdot)$ which implies that the minimum time function is of special bounded variation.
• ### Non-Lipschitz points and the SBV regularity of the minimum time function(1211.7039)

Nov. 29, 2012 math.OC
This paper is devoted to the study of the Hausdorff dimension of the singular set of the minimum time function $T$ under controllability conditions which do not imply the Lipschitz continuity of $T$. We consider first the case of normal linear control systems with constant coefficients in $\mathbb{R}^N$. We characterize points around which $T$ is not Lipschitz as those which can be reached from the origin by an optimal trajectory (of the reversed dynamics) with vanishing minimized Hamiltonian. Linearity permits an explicit representation of such set, that we call $\mathcal{S}$. Furthermore, we show that $\mathcal{S}$ is $\mathcal{H}^{N-1}$-rectifiable with positive $\mathcal{H}^{N-1}$-measure. Second, we consider a class of control-affine \textit{planar} nonlinear systems satisfying a second order controllability condition: we characterize the set $\mathcal{S}$ in a neighborhood of the origin in a similar way and prove the $\mathcal{H}^1$-rectifiability of $\mathcal{S}$ and that $\mathcal{H}^1(\mathcal{S})>0$. In both cases, $T$ is known to have epigraph with positive reach, hence to be a locally $BV$ function (see \cite{CMW,GK}). Since the Cantor part of $DT$ must be concentrated in $\mathcal{S}$, our analysis yields that $T$ is $SBV$, i.e., the Cantor part of $DT$ vanishes. Our results imply also that $T$ is locally of class $\mathcal{C}^{1,1}$ outside a $\mathcal{H}^{N-1}$-rectifiable set. With small changes, our results are valid also in the case of multiple control input.
• ### Exterior sphere condition and time optimal control for differential inclusions(1110.1387)

Oct. 6, 2011 math.OC
The minimum time function $T(\cdot)$ of smooth control systems is known to be locally semiconcave provided Petrov's controllability condition is satisfied. Moreover, such a regularity holds up to the boundary of the target under an inner ball assumption. We generalize this analysis to differential inclusions, replacing the above hypotheses with the continuity of $T(\cdot)$ near the target, and an inner ball property for the multifunction associated with the dynamics. In such a weakened set-up, we prove that the hypograph of $T(\cdot)$ satisfies, locally, an exterior sphere condition. As is well-known, this geometric property ensures most of the regularity results that hold for semiconcave functions, without assuming $T(\cdot)$ to be Lipschitz.