Let be a minimum for where f is convex, is convex for a.e. x. We prove that u shares the same modulus of continuity of ϕ whenever Ω is sufficiently regular, the right derivative of g satisfies a suitable monotonicity assumption and the following inequality holds This result generalizes the classical Haar-Rado theorem for Lipschitz functions.
We address in this article the computation of the convex solutions of the Dirichlet problem for the real elliptic Monge − Ampère equation for general convex domains in two dimensions. The method we discuss combines a least-squares formulation with a relaxation method. This approach leads to a sequence of Poisson − Dirichlet problems and another sequence of low dimensional algebraic eigenvalue problems of a new type. Mixed finite element approximations with a smoothing procedure are used for the...
The level set method is used for shape optimization of the energy functional for the Signorini problem. The boundary variations technique is used in order to derive the shape gradients of the energy functional. The conical differentiability of solutions with respect to the boundary variations is exploited. The topology modifications during the optimization process are identified by means of an asymptotic analysis. The topological derivatives of the energy shape functional are employed for the topology...
An approach for solving inverse problems involving obstacles is proposed. The approach uses a level-set method which has been shown to be effective in treating problems of moving boundaries, particularly those that involve topological changes in the geometry. We develop two computational methods based on this idea. One method results in a nonlinear time-dependant partial differential equation for the level-set function whose evolution minimizes the residual in the data fit. The second method...
We construct a Lipschitz function f on X = ℝ ² such that, for each 0 ≠ v ∈ X, the function f is smooth on a.e. line parallel to v and f is Gâteaux non-differentiable at all points of X except a first category set. Consequently, the same holds if X (with dimX > 1) is an arbitrary Banach space and “a.e.” has any usual “measure sense”. This example gives an answer to a natural question concerning the author’s recent study of linearly essentially smooth functions (which generalize essentially smooth...