6,929 research outputs found
Differentiability of the arrival time
For a monotonically advancing front, the arrival time is the time when the
front reaches a given point. We show that it is twice differentiable everywhere
with uniformly bounded second derivative. It is smooth away from the critical
points where the equation is degenerate. We also show that the critical set has
finite codimensional two Hausdorff measure.
For a monotonically advancing front, the arrival time is equivalent to the
level set method; a priori not even differentiable but only satisfies the
equation in the viscosity sense. Using that it is twice differentiable and that
we can identify the Hessian at critical points, we show that it satisfies the
equation in the classical sense.
The arrival time has a game theoretic interpretation. For the linear heat
equation, there is a game theoretic interpretation that relates to
Black-Scholes option pricing.
From variations of the Sard and Lojasiewicz theorems, we relate
differentiability to whether or not singularities all occur at only finitely
many times for flows
The convex hull of a finite set
We study -separately convex hulls of finite
sets of points in , as introduced in
\cite{KirchheimMullerSverak2003}. When is considered as a
certain subset of matrices, this notion of convexity corresponds
to rank-one convex convexity . If is identified instead
with a subset of matrices, it actually agrees with the quasiconvex
hull, due to a recent result \cite{HarrisKirchheimLin18}.
We introduce " complexes", which generalize constructions. For a
finite set , a " -complex" is a complex whose extremal points
belong to . The "-complex convex hull of ", , is the union
of all -complexes. We prove that is contained in the
convex hull .
We also consider outer approximations to convexity based in the
locality theorem \cite[4.7]{Kirchheim2003}. Starting with a crude outer
approximation we iteratively chop off "-prisms". For the examples in
\cite{KirchheimMullerSverak2003}, and many others, this procedure reaches a
" -complex" in a finite number of steps, and thus computes the
convex hull.
We show examples of finite sets for which this procedure does not reach the
convex hull in finite time, but we show that a sequence of outer
approximations built with -prisms converges to a -complex. We
conclude that is always a " -complex", which has interesting
consequences
Non-Lipschitz points and the SBV regularity of the minimum time function
This paper is devoted to the study of the Hausdorff dimension of the singular
set of the minimum time function under controllability conditions which do
not imply the Lipschitz continuity of . We consider first the case of normal
linear control systems with constant coefficients in . We
characterize points around which 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 . Furthermore, we show
that is -rectifiable with positive
-measure. Second, we consider a class of control-affine
\textit{planar} nonlinear systems satisfying a second order controllability
condition: we characterize the set in a neighborhood of the
origin in a similar way and prove the -rectifiability of
and that . In both cases, is
known to have epigraph with positive reach, hence to be a locally function
(see \cite{CMW,GK}). Since the Cantor part of must be concentrated in
, our analysis yields that is , i.e., the Cantor part of
vanishes. Our results imply also that is locally of class
outside a -rectifiable set. With small
changes, our results are valid also in the case of multiple control input.Comment: 23 page
Convex Integration Arising in the Modelling of Shape-Memory Alloys: Some Remarks on Rigidity, Flexibility and Some Numerical Implementations
We study convex integration solutions in the context of the modelling of
shape-memory alloys. The purpose of the article is two-fold, treating both
rigidity and flexibility properties: Firstly, we relate the maximal regularity
of convex integration solutions to the presence of lower bounds in variational
models with surface energy. Hence, variational models with surface energy could
be viewed as a selection mechanism allowing for or excluding convex integration
solutions. Secondly, we present the first numerical implementations of convex
integration schemes for the model problem of the geometrically linearised
two-dimensional hexagonal-to-rhombic phase transformation. We discuss and
compare the two algorithms from [RZZ16] and [RZZ17].Comment: 35 pages, 14 figure
Algorithmic Verification of Continuous and Hybrid Systems
We provide a tutorial introduction to reachability computation, a class of
computational techniques that exports verification technology toward continuous
and hybrid systems. For open under-determined systems, this technique can
sometimes replace an infinite number of simulations.Comment: In Proceedings INFINITY 2013, arXiv:1402.661
- …