Table of Contents
Fetching ...

Integral representation for a relaxed optimal design problem for non-simple grade two materials

Ana Cristina Barroso, Elvira Zappale

TL;DR

The paper addresses the relaxation and integral representation of a relaxed design energy for two-phase materials with a bulk term depending on the second gradient and a perimeter penalty, posed in the BH and BV framework. It introduces the energy $F(\chi,u;\Omega)$ with $\chi\in BV(\Omega;{0,1})$ and $u\in BH(\Omega;\mathbb{R}^d)$ and proves that its lower semicontinuous envelope admits an exact Radon measure representation involving the $2$-quasiconvex envelope $Q^2f$ in the bulk, a Cantor term via $(Q^2f)^{\infty}$, and a jump term with density $g$ computed through a localized relaxation. The main result expresses the relaxed energy as $\mathcal{F}(\chi,u;A)=\int_A Q^2f(\chi, \nabla^2 u)\,dx+ \int_{A\cap(S_\chi\cup S_{\nabla u})} g(\chi^+,\chi^-, (\nabla u)^+, (\nabla u)^-, \nu) \, d\mathcal{H}^{N-1} + \int_A (Q^2f)^{\infty}(\chi, \frac{d D^c(\nabla u)}{d|D^c(\nabla u)|}) \, d|D^c(\nabla u)|$. This extends BV relaxation to the BH setting for non-simple materials and provides a rigorous foundation for relaxed optimal design in two-phase systems, including detailed treatment of bulk, Cantor, and jump contributions and conditions under which the surface density $g$ can be characterized sequentially. The results have implications for mathematical modeling of plastic deformations and structured deformations with linear growth.

Abstract

A measure representation result for a functional modelling optimal design problems for plastic deformations, under linear growth conditions, is obtained. Departing from an energy with a bulk term depending on the deformation gradient and its derivatives, as well as a perimeter term, the functional in question corresponds to the relaxation of this energy with respect to a pair $(χ,u)$, where $χ$ is the characteristic function of a set of finite perimeter and $u$ is a function of bounded hessian.

Integral representation for a relaxed optimal design problem for non-simple grade two materials

TL;DR

The paper addresses the relaxation and integral representation of a relaxed design energy for two-phase materials with a bulk term depending on the second gradient and a perimeter penalty, posed in the BH and BV framework. It introduces the energy with and and proves that its lower semicontinuous envelope admits an exact Radon measure representation involving the -quasiconvex envelope in the bulk, a Cantor term via , and a jump term with density computed through a localized relaxation. The main result expresses the relaxed energy as . This extends BV relaxation to the BH setting for non-simple materials and provides a rigorous foundation for relaxed optimal design in two-phase systems, including detailed treatment of bulk, Cantor, and jump contributions and conditions under which the surface density can be characterized sequentially. The results have implications for mathematical modeling of plastic deformations and structured deformations with linear growth.

Abstract

A measure representation result for a functional modelling optimal design problems for plastic deformations, under linear growth conditions, is obtained. Departing from an energy with a bulk term depending on the deformation gradient and its derivatives, as well as a perimeter term, the functional in question corresponds to the relaxation of this energy with respect to a pair , where is the characteristic function of a set of finite perimeter and is a function of bounded hessian.

Paper Structure

This paper contains 10 sections, 27 theorems, 196 equations.

Key Result

Theorem 1.1

Let $f:\{0,1\} \times \mathbb R^{d\times N \times N}_s\to [0, + \infty)$ be a continuous function as in densityint, where $W_0$ and $W_1$ satisfy growthint, and consider $F:BV(\Omega;\{0,1\})\times BH(\Omega;\mathbb R^d)\times \mathcal{O}(\Omega) \to [0,+\infty]$ defined in Fint. Then, the functiona where $Q^2f$ is the $2$-quasiconvex envelope of $f$ in the second variable and $(Q^2f)^{\infty}$ is

Theorems & Definitions (52)

  • Theorem 1.1
  • Theorem 2.1
  • Definition 2.2
  • Theorem 2.3
  • Proposition 2.4
  • Theorem 2.5
  • Proposition 2.6
  • Definition 2.7
  • Theorem 2.8
  • Lemma 2.9
  • ...and 42 more