Search

We prove a convex integration result for the Monge-Amp\`ere system, in case of dimension $d=2$ and arbitrary codimension $k\geq 1$. Our prior result stated flexibility up to the H\"older regularity $\mathcal{C}^{1,\frac{1}{1+ 4/k}}$, whereas presently we achieve flexibility up to $\mathcal{C}^{1,1}$ when $k\geq 4$ and up to $\mathcal{C}^{1,\frac{2^k-1}{2^{k+1}-1}}$ for any $k$. This first result uses the approach of K\"allen, while the second result iterates on the approach of Cao-Hirsch-Inauen and agrees with it for $k=1$ at the H\"older regularity up to $\mathcal{C}^{1,1/3}$., Comment: 24 pages

We provide an introduction to the old-standing problem of isometric immersions. We combine a historical account of its multifaceted advances, which have fascinated geometers and analysts alike, with some of the applications in the mathematical physics and mathematical materials science, old and new., Comment: A review paper prepared for the Notices of the AMS

We prove a convex integration result for the Monge-Ampere system in dimension $d=2$ and arbitrary codimension $k\geq 1$. We achieve flexibility up to the Holder regularity $\mathcal{C}^{1,\frac{1}{1+ 4/k}}$, improving hence the previous $\mathcal{C}^{1,\frac{1}{1+ 6/k}}$ regularity that followed from flexibility up to $\mathcal{C}^{1,\frac{1}{1+d(d+1)/k}}$ in our previous work, valid for any $d,k\geq 1$. The present result agrees with flexibility up to $\mathcal{C}^{1,\frac{1}{5}}$ for $d=2, k=1$ obtained by Conti, Delellis, Szekelyhidi, as well as with the $\mathcal{C}^{1,\alpha}$ result where $\alpha\to 1$ as $k\to\infty$, due to Kallen., Comment: 25 pages, 1 figure

In this paper, we study flexibility of the weak solutions to the Monge-Amp\`ere system (MA) via convex integration. This system of Pdes is an extension of the Monge-Amp\`ere equation in $d=2$ dimensions, naturally arising from the prescribed curvature problem, and closely related to the classical problem of isometric immersions (II). Our main result achieves density, in the set of subsolutions, of the H\"older regular $\mathcal{C}^{1,\alpha}$ solutions to the weak formulation (VK) of (MA), for all $\alpha<\frac{1}{1+d(d+1)/k}$ where $d$ is an arbitrary dimension and $k$ is an arbitrary codimension of the problem. This result seems to be optimal, from the technical viewpoint, for the corrugation-based convex integration scheme. In particular, it covers the codimension interval $k\in \big(1, d(d+1)\big)$, so far uncharted even for the system (II), since the regularity $\mathcal{C}^{1,\alpha}$ with any $\alpha <1$ proved by K\"allen, strictly requires a large codimension $k\geq d(d+1)$. We also reproduce K\"allen's result in the context of (MA). At $k=1$, our result agrees with the regularity $\mathcal{C}^{1,\alpha}$ for (II) with any $\alpha <\frac{1}{1+d(d+1)}$, proved by Conti, Delellis and Szekelyhidi. Finally, our results extend the initial findings by the author and Pakzad for (MA) and $d=2, k=1$. As an application of our results for (VK), we derive an energy scaling bound in the quantitative immersability of Riemannian metrics, for nonlinear energy functionals modelled on the energies of deformations of thin prestrained films in the nonlinear elasticity., Comment: 34 pages, 1 figure

The presence of cuts in a thin planar sheet can dramatically alter its mechanical and geometrical response to loading, as the cuts allow the sheet to deform strongly in the third dimension. We use numerical experiments to characterize the geometric mechanics of kirigamized sheets as a function of the number, size and orientation of cuts. We show that the geometry of mechanically loaded sheets can be approximated as a composition of simple developable units: flats, cylinders, cones and compressed Elasticae. This geometric construction yields simple scaling laws for the mechanical response of the sheet in both the weak and strongly deformed limit. In the ultimately stretched limit, this further leads to a theorem on the nature and form of geodesics in an arbitrary kirigami pattern, consistent with observations and simulations. By varying the shape and size of the geodesic in a kirigamized sheet, we show that we can control the deployment trajectory of the sheet, and thence its functional properties as a robotic gripper or a soft light window. Overall our study of random kirigami sets the stage for controlling the shape and shielding the stresses in thin sheets using cuts., Comment: 11 pages, 7 figures

The remarkable range of biological forms in and around us, such as the undulating shape of a leaf or flower in the garden, the coils in our gut, or the folds in our brain, raise a number of questions at the interface of biology, physics and mathematics. How might these shapes be predicted, and how can they eventually be designed? We review our current understanding of this problem, that brings together analysis, geometry and mechanics in the description of the morphogenesis of low-dimensional objects. Starting from the view that shape is the consequence of metric frustration in an ambient space, we examine the links between the classical Nash embedding problem and biological morphogenesis. Then, motivated by a range of experimental observations and numerical computations, we revisit known rigorous results on curvature-driven patterning of thin elastic films, especially the asymptotic behaviors of the solutions as the (scaled) thickness becomes vanishingly small and the local curvature can become large. Along the way, we discus open problems that include those in mathematical modeling and analysis along with questions driven by the allure of being able to tame soft surfaces for applications in science and engineering., Comment: 35 pages, 12 figures, To appear in the Bulletin of the American Mathematical Society

Kirigami is the art of cutting paper to make it articulated and deployable, allowing for it to be shaped into complex two and three-dimensional geometries. The mechanical response of a kirigami sheet when it is pulled at its ends is enabled and limited by the presence of cuts that serve to guide the possible non-planar deformations. Inspired by the geometry of this art form, we ask two questions: (i) What is the shortest path between points at which forces are applied? (ii) What is the nature of the ultimate shape of the sheet when it is strongly stretched? Mathematically, these questions are related to the nature and form of geodesics in the Euclidean plane with linear obstructions (cuts), and the nature and form of isometric immersions of the sheet with cuts when it can be folded on itself. We provide a constructive proof that the geodesic connecting any two points in the plane is piecewise polygonal. We then prove that the family of polygonal geodesics can be simultaneously rectified into a straight line by flat-folding the sheet so that its configuration is a (non-unique) piecewise affine planar isometric immersion., Comment: 28 pages, 19 figures. The proof now works for any configuration of cuts, possibly intersecting. A counterexample to p,q not on the boundary of the domain with cuts, has been added

We are concerned with the dimension reduction analysis for thin three-dimensional elastic films, prestrained via Riemannian metrics with weak curvatures. For the prestrain inducing the incompatible version of the F\"oppl-von K\'arm\'an equations, we find the $\Gamma$-limits of the rescaled energies, identify the optimal energy scaling laws, and display the equivalent conditions for optimality in terms of both the prestrain components and the curvatures of the related Riemannian metrics. When the stretching-inducing prestrain carries no in-plane modes, we discover similarities with the previously described shallow shell models. In higher prestrain regimes, we prove new energy upper bounds by constructing deformations as the Kirchhoff-Love extensions of the highly perturbative, H\"older-regular solutions to the Monge-Ampere equation obtained by means of convex integration.

We propose two asymptotic expansions of two interrelated integral-type averages, in the context of the fractional $\infty$-Laplacian $\Delta_\infty^s$ for $s\in (\frac{1}{2},1)$. This operator has been introduced and first studied in [Bjorland, C., Caffarelli, L. and Figalli, A., \textsl{Nonlocal Tug-of-War and the inifnity fractional Laplacian}, Comm. Pure Appl. Math., \textbf{65}, pp. 337--380, (2012)]. Our expansions are parametrised by the radius of the removed singularity $\epsilon$, and allow for the identification of $\Delta_\infty^s\phi(x)$ as the $\epsilon^{2s}$-order coefficient of the deviation of the $\epsilon$-average from the value $\phi(x)$, in the limit $\epsilon\to 0+$. The averages are well posed for functions $\phi$ that are only Borel regular and bounded., Comment: v3: Updated Funding (to match published paper) and included journal reference below

This paper concerns the fractional $p$-Laplace operator $\Delta_p^s$ in non-divergence form, which has been introduced in [Bjorland, Caffarelli, Figalli (2012)]. For any $p\in [2,\infty)$ and $s\in (\frac{1}{2},1)$ we first define two families of non-local, non-linear averaging operators, parametrised by $\epsilon$ and defined for all bounded, Borel functions $u:\mathbb{R}^N\to \mathbb{R}$. We prove that $\Delta_p^s u(x)$ emerges as the $\epsilon^{2s}$-order coefficient in the expansion of the deviation of each $\epsilon$-average from the value $u(x)$, in the limit of the domain of averaging exhausting an appropriate cone in $\mathbb{R}^N$ at the rate $\epsilon\to 0$. Second, we consider the $\epsilon$-dynamic programming principles modeled on the first average, and show that their solutions converge uniformly as $\epsilon\to 0$, to viscosity solutions of the homogeneous non-local Dirichlet problem for $\Delta_p^s$, when posed in a domain $\mathcal{D}$ that satisfies the external cone condition and subject to bounded, uniformly continuous data on $\mathbb{R}^N\setminus \mathcal{D}$. Finally, we interpret such $\epsilon$-approximating solutions as values to the non-local Tug-of-War game with noise. In this game, players choose directions while the game position is updated randomly within the infinite cone that aligns with the specified direction, whose aperture angle depends on $p$ and $N$, and whose $\epsilon$-tip has been removed., Comment: Added definition to cover singular points where $\nabla u =0$ and proved uniqueness in this more restrictive context

This is a preprint of Chapter 2 in the following work: Marta Lewicka, A Course on Tug-of-War Games with Random Noise, 2020, Springer, reproduced with permission of Springer Nature Switzerland AG. We present the basic relation between the linear potential theory and random walks. This fundamental connection, developed by Ito, Doob, Levy and others, relies on the observation that harmonic functions and martingales share a common cancellation property, expressed via mean value properties. It turns out that, with appropriate modifications, a similar observation and approach can be applied also in the nonlinear case, which is of main interest in our Course Notes. Thus, the present Chapter serves as a stepping stone towards gaining familiarity with more complex nonlinear constructions. After recalling the equivalent defining properties of harmonic functions, we introduce the ball walk. This is an infinite horizon discrete process, in which at each step the particle, initially placed at some point $x_0$ in the open, bounded domain $\mathcal{D}\subset\mathbb{R}^N$, is randomly advanced to a new position, uniformly distributed within the following open ball: centered at the current placement, and with radius equal to the minimum of the parameter $\epsilon$ and the distance from the boundary $\partial\mathcal{D}$. With probability one, such process accumulates on $\partial\mathcal{D}$ and $u^\epsilon(x_0)$ is then defined as the expected value of the given boundary data $F$ at the process limiting position. Each function $u^\epsilon$ is harmonic, and if $\partial\mathcal{D}$ is regular, then each $u^\epsilon$ coincides with the unique harmonic extension of $F$ in $\mathcal{D}$. One sufficient condition for regularity is the exterior cone condition., Comment: This is a preprint of Chapter 2 in the following work: Marta Lewicka, A Course on Tug-of-War Games with Random Noise, 2020, Springer, reproduced with permission of Springer Nature Switzerland AG. The final authenticated version is available online at: https://doi.org/10.1007/978-3-030-46209-3

In this paper we study Lipschitz regularity of elliptic PDEs on geometric graphs, constructed from random data points. The data points are sampled from a distribution supported on a smooth manifold. The family of equations that we study arises in data analysis in the context of graph-based learning and contains, as important examples, the equations satisfied by graph Laplacian eigenvectors. In particular, we prove high probability interior and global Lipschitz estimates for solutions of graph Poisson equations. Our results can be used to show that graph Laplacian eigenvectors are, with high probability, essentially Lipschitz regular with constants depending explicitly on their corresponding eigenvalues. Our analysis relies on a probabilistic coupling argument of suitable random walks at the continuum level, and an interpolation method for extending functions on random point clouds to the continuum manifold. As a byproduct of our general regularity results, we obtain high probability $L^\infty$ and approximate $\mathcal{C}^{0,1}$ convergence rates for the convergence of graph Laplacian eigenvectors towards eigenfunctions of the corresponding weighted Laplace-Beltrami operators. The convergence rates we obtain scale like the $L^2$-convergence rates established by two of the authors in previous work.

This paper concerns the variational description of prestrained materials, in the context of dimension reduction for thin films $\Omega^h=\omega\times (-\frac{h}{2}, \frac{h}{2})$. Given a Riemann metric $G$ on $\Omega^1$, we study the question of what is the infimum of the averaged pointwise deficit of a given immersion from being an orientation-preserving isometric immersion of $G_{\mid \Omega^h}$ on $\Omega^h,$ over all weakly regular immersions. This deficit is measured by the non-Euclidean energies $\mathcal{E}^h$, which can be seen as modifications of the classical nonlinear three-dimensional elasticity. Building on our previous results, we complete the scaling analysis of $\mathcal{E}^h$ and the derivation of $\Gamma$-limits of the scaled energies $h^{-2n}\mathcal{E}^h$, for all $n\geq 1$. We show the energy quantisation in the sense that the even powers $2n$ of $h$ are indeed the only possible ones (all of them are also attained). For each $n$, we identify the equivalent conditions for the validity of the corresponding scaling, in terms of the vanishing of appropriate Riemann curvatures of $G$ to certain orders, and in terms of the matched isometry expansions. We also establish the asymptotic behaviour of the minimizing immersions as $h\to 0$., Comment: 23 pages

We study the mean value properties of $\mathbf{p}$-harmonic functions on the first Heisenberg group $\mathbb{H}$, in connection to the dynamic programming principles of certain stochastic processes. We implement the approach of Peres-Scheffield to provide the game-theoretical interpretation of the sub-elliptic $\mathbf{p}$-Laplacian; and of Manfredi-Parviainen-Rossi to characterize its viscosity solutions via the asymptotic mean value expansions., Comment: 39 pages, 4 figures. arXiv admin note: text overlap with arXiv:1810.03413

We prove the quantitative equivalence of two important geometrical conditions, pertaining to the regularity of a domain $\Omega\subset\mathbb{R}^N$. These are: (i) the uniform two-sided supporting sphere condition, and (ii) the Lipschitz continuity of the outward unit normal vector. In particular, the answer to the question posed in our title is: "Those domains, whose unit normal is well defined and has Lipschitz constant one." We also offer an extension to infinitely dimensional spaces $L^p$, $p\in (1,\infty)$., Comment: 9 pages, 5 figures

We propose a new finite difference approximation to the Dirichlet problem for the homogeneous $\mathbf{p}$-Laplace equation posed on an $N$-dimensional domain, in connection with the Tug of War games with noise. Our game and the related mean-value expansion that we develop, superposes the ``deterministic averages'' ``$\frac{1}{2}(\inf +\sup)$'' taken over balls, with the ``stochastic averages'' ``$\fint$'', taken over $N$-dimensional ellipsoids whose aspect ratio depends on $N,\mathbf{p}$ and whose orientations span all directions while determining $\inf / \sup$. We show that the unique solutions $u_\epsilon$ of the related dynamic programming principle are automatically continuous for continuous boundary data, and coincide with the well-defined game values. Our game has thus the min-max property: the order of supremizing the outcomes over strategies of one player and infimizing over strategies of their opponent, is immaterial. We further show that domains satisfying the exterior corkscrew condition are game regular in this context, i.e. the family $\{u_\epsilon\}_{\epsilon\to 0}$ converges uniformly to the unique viscosity solution of the Dirichlet problem., Comment: 25 pages, 2 figures

In this article, we implement the algorithm based on the convex integration result proved in [Lewicka-Pakzad Analysis and PDE (2017)] and obtain visualizations of the first iterations of the Nash-Kuiper scheme, approx- imating the anomalous solutions to the Monge-Amp\`ere equation in two dimensions.

We study the non-Euclidean (incompatible) elastic energy functionals in the description of prestressed thin films, at their singular limits ($\Gamma$-limits) as $h\to 0$ in the film's thickness $h$. Firstly, we extend the prior results [Lewicka-Pakzad, Bhattacharya-Lewicka-Schaffner, Lewicka-Raoult-Ricciotti] to arbitrary incompatibility metrics that depend on both the midplate and the transversal variables (the "non-oscillatory" case). Secondly, we analyze a more general class of incompatibilities, where the transversal dependence of the lower order terms is not necessarily linear (the "oscillatory" case), extending the results of [Agostiniani-Lucic-Lucantonio, Schmidt] to arbitrary metrics and higher order scalings. We exhibit connections between the two cases via projections of appropriate curvature forms on the polynomial tensor spaces. We also show the effective energy quantisation in terms of scalings as a power of $h$ and discuss the scaling regimes $h^2$ (Kirchhoff), $h^4$ (von K\'arm\'an) in the general case, as well as all possible (even powers) regimes for conformal metrics, thus paving the way to the subsequent complete analysis of the non-oscillatory setting in [Lewicka]. Thirdly, we prove the coercivity inequalities for the singular limits at $h^2$- and $h^4$- scaling orders, while disproving the full coercivity of the classical von K\'arm\'an energy functional at scaling $h^4$., Comment: Accepted in CPAM 2019

We investigate a degenerate elliptic PDE related to the $\infty$-Laplace equation $\Delta_{\infty}u=0$. A stability result is derived. The $\Gamma$-convergence of the corresponding functionals is investigated.