• We introduce a novel constructive approach to define time evolution of critical points of an energy functional. Our procedure, which is different from other more established approaches based on viscosity approximations in infinite dimension, is prone to efficient and consistent numerical implementations, and allows for an existence proof under very general assumptions. We consider in particular rather nonsmooth and nonconvex energy functionals, provided the domain of the energy is finite dimensional. Nevertheless, in the infinite dimensional case study of a cohesive fracture model, we prove a consistency theorem of a discrete-to-continuum limit. We show that a quasistatic evolution can be indeed recovered as a limit of evolutions of critical points of finite dimensional discretizations of the energy, constructed according to our scheme. To illustrate the results, we provide several numerical experiments both in one and two dimensions. These agree with the crack initiation criterion, which states that a fracture appears only when the stress overcomes a certain threshold, depending on the material.
  • We introduce a new machinery to study the large time behavior for general classes of Hamilton--Jacobi type equations, which include degenerate parabolic equations and weakly coupled systems. We establish the convergence results by using the nonlinear adjoint method and identifying new long time averaging effects. These methods are robust and can easily be adapted to study the large time behavior of related problems.
  • Characterization results for equality cases and for rigidity of equality cases in Steiner's perimeter inequality are presented. (By rigidity, we mean the situation when all equality cases are vertical translations of the Steiner's symmetral under consideration.) We achieve this through the introduction of a suitable measure-theoretic notion of connectedness and a fine analysis of barycenter functions for sets of finite perimeter having segments as orthogonal sections with respect to an hyperplane.
  • We consider a numerical scheme for the one dimensional time dependent Hamilton-Jacobi equation in the periodic setting. We present a new and simple proof of the rate of convergence of the approximations based on the adjoint method recently introduced by Evans.
  • We provide a geometric characterization of rigidity of equality cases in Ehrhard's symmetrization inequality for Gaussian perimeter. This condition is formulated in terms of a new measure-theoretic notion of connectedness for Borel sets, inspired by Federer's definition of indecomposable current.
  • The adjoint method, recently introduced by Evans, is used to study obstacle problems, weakly coupled systems, cell problems for weakly coupled systems of Hamilton-Jacobi equations, and weakly coupled systems of obstacle type. In particular, new results about the speed of convergence of common approximation procedures are derived.
  • The adjoint method introduced in [Eva] and [Tra] is used, to construct analogs to the Aubry-Mather measures for non convex Hamiltonians. More precisely, a general construction of probability measures, that in the convex setting agree with Mather measures, is provided. These measures may fail to be invariant under the Hamiltonian flow and a dissipation arises, which is described by a positive semidefinite matrix of Borel measures. However, in the important case of uniformly quasiconvex Hamiltonians the dissipation vanishes, and as a consequence the invariance is guaranteed.
  • A new necessary minimality condition for the Mumford-Shah functional is derived by means of second order variations. It is expressed in terms of a sign condition for a nonlocal quadratic form on $H^1_0(\Gamma)$, $\Gamma$ being a submanifold of the regular part of the discontinuity set of the critical point. Two equivalent formulations are provided: one in terms of the first eigenvalue of a suitable compact operator, the other involving a sort of nonlocal capacity of $\Gamma$. A sufficient condition for minimality is also deduced. Finally, an explicit example is discussed, where a complete characterization of the domains where the second variation is nonnegative can be given.